. Let z be v(-39). Let i = z - f. Is i composite?
True
Suppose -22*f = -29*f + 37135. Suppose f = -0*a + a. Suppose -40*r + a = -35*r. Is r a composite number?
False
Suppose -p + 4*n = 6, -n + 125 = 144*p - 149*p. Is (p - -24)/((-2)/691) a prime number?
True
Let u(g) = -g**2 + 6. Let a be u(-2). Suppose -a*y + 6 = 4*y. Is (y/2)/(20/5960) a prime number?
True
Suppose 0*l + 3*l - 54 = 0. Let i be ((-6)/(-4))/(l/(-24)). Is (i - -4)/(-4 - 1530/(-381)) a composite number?
False
Let j(x) be the third derivative of 1/2*x**5 + 0 + 1/8*x**4 + 0*x - 21*x**2 + 2*x**3. Is j(-7) composite?
True
Suppose 0 = -t + k + 171254, 33*t - 171266 = 32*t + 5*k. Is t a composite number?
False
Let z = 350638 - 210656. Is z composite?
True
Suppose 0 = 23*q - 17*q - 24. Suppose 4*v + 3970 = i, -q*v + 6 = -2*v. Let o = i + -2447. Is o a prime number?
False
Let h(o) = -2*o + 25. Let m be h(-7). Let t = 60 - m. Is (1088 + -1)/(22 - t) a composite number?
False
Let v(u) = 124*u**2 + 6*u - 4. Let g be v(1). Suppose 69699 = 129*x - g*x. Is x composite?
True
Let n(o) = 2*o**3 - 54*o**2 + 2. Let m be n(27). Suppose z = w, 6 = z + m. Suppose -5*s - 2*t + 1266 = 0, -2*t + t = -w*s + 1018. Is s a prime number?
False
Let u be (-383)/((-355)/(-175) - (-1 + 3)). Let v be (0 - 3)/(-1) + u. Is (14/(-12))/(-7) + v/(-12) a prime number?
True
Let b(k) = 8563*k**2 - 4*k + 167. Is b(6) prime?
True
Suppose -6*d = -4*d - 872. Suppose 6*x = -2*h + 4*x + 440, -x = 2*h - d. Let o = h + -137. Is o prime?
True
Suppose 813*u + g + 1487346 = 817*u, -2*g = 4*u - 1487352. Is u a prime number?
True
Suppose 5*p - 2118260 = -5*t, 16*p - 2277836 = t + 4500545. Is p a composite number?
False
Let p(b) = -1392*b + 467. Is p(-17) a composite number?
True
Let n = -98253 + 1228244. Is n a composite number?
False
Let q be (-3 - -2)*(9 + 4)*-22. Suppose -6*c = -2*c - 2436. Let d = c - q. Is d prime?
False
Suppose 11 = -5*n + 36. Suppose n*d = -h + 18241, -3*h + 7*h = -2*d + 7282. Is d a prime number?
False
Let r(x) = x**3 - x**2 + 7*x + 11. Let b be r(5). Let o = 149 - b. Suppose 5047 = 4*i + o*i. Is i a prime number?
False
Let j(v) = 43*v**3 - 8*v**2 - 27*v - 83. Is j(14) a composite number?
False
Let a = 26565 - -41002. Is a composite?
False
Let d be (-9220)/(-40) + 1/(-2). Let f = d + 161. Is f composite?
True
Suppose -3560175 = 7918*z - 7963*z. Is z prime?
False
Suppose 0 = 30*x - 22*x - 27624. Suppose -8*r + x = -4*r + w, -2*r + 2*w = -1724. Is r a prime number?
True
Let f = -42 - -45. Let q(w) = 0*w**f + 6*w + 0*w**3 - 15*w**2 + w**3 - 4*w**3 + 7. Is q(-7) composite?
True
Let x(r) = 21*r**2 - 10*r - 7. Let s be x(-7). Suppose -31*c - v - 1020 = -28*c, -2*c - v = 681. Let h = c + s. Is h composite?
True
Let y = -251 + 255. Suppose 6*l - 1602 = 3*l + 5*r, r = y*l - 2119. Is l a prime number?
False
Suppose -2*c + 13 = 2*l + 11, 0 = 2*c - l - 14. Suppose -c*g + 13678 + 957 = 0. Is g composite?
False
Is 9/(-6) - (7442418/(-248))/(3/2) prime?
False
Suppose 0 = -6*s + 279 - 75. Suppose -37*g + 435 = -s*g. Is g prime?
False
Let y(x) = 5451*x + 4. Let d be y(3). Let w = -11360 + d. Is w composite?
True
Let z(b) = -4*b**3 - 18*b**2 - 23*b + 16. Let g(n) = n**3 - n - 1. Let d(p) = 5*g(p) + z(p). Is d(20) composite?
False
Suppose 396148 = 3*n - b, 29*n - 27*n - b = 264097. Is n a prime number?
False
Suppose -11*z + 33762 + 45768 = 0. Suppose -6*k + 4*k + z = 2*x, -2*x - 5*k = -7242. Is x a prime number?
False
Let m be (332 + -15 - 6/4)*-24. Let x = m - -15859. Is x composite?
False
Let o(l) = -l**2 - 11*l + 15. Let p be o(-12). Suppose -8*g + 700 = -p*g. Suppose 0 = r + 3*h - g + 9, 5*r - h - 607 = 0. Is r prime?
False
Let j(w) be the first derivative of 357*w**2 + 187*w - 48. Is j(13) prime?
False
Is (17339500/(-750))/((-4)/6) a prime number?
True
Suppose 0 = 74*q - 53*q - 9268329. Is q composite?
False
Suppose -68*t + 20923 = -61*t. Let m = t + -606. Is m a prime number?
True
Let g(c) = -c**3 - 16*c**2 + c + 14. Let u be g(-16). Let k(o) = 111*o**2 + 4. Let v be k(u). Suppose 4*a + d - 368 = -3*d, -5*a = d - v. Is a prime?
True
Suppose -4 = -u, -10 = -6*r + 8*r - 3*u. Let c be 362 - ((-1)/r - -4). Suppose 3144 = 5*k + c. Is k a composite number?
False
Suppose -11*p - 27*p = -36714765 - 9685857. Is p a composite number?
True
Suppose 6*a - 306 + 360 = 0. Let f(b) = -137*b + 46. Is f(a) a prime number?
True
Let j(m) = -m. Let c(k) = k**2 + 13*k - 21. Suppose 4 = -2*s + 2*l + 8, -5*l = 5*s. Let u(f) = s*c(f) + 2*j(f). Is u(-19) composite?
False
Suppose 6*w + 466 - 1888 = 0. Let h be (-2 + w/6)*508/5. Suppose -2*d + h = 4*d. Is d a composite number?
True
Let f be (-7)/70*2 + 21/5. Is 14029*(24/f)/6 a prime number?
True
Let k = -1004 - -2110. Let z(t) = 5*t**2 + 124*t - 21. Let g be z(-25). Suppose 4*i = b - k, 0 = g*b + i - 208 - 4301. Is b composite?
True
Let x = 125914 - -97215. Is x a prime number?
True
Suppose -4549700 = -7*k + 3*k - 4*f, -5*k = 4*f - 5687120. Let a be ((-1)/(12/8))/(4/k). Is 1/((-22)/a) - (-18)/99 prime?
False
Let y(i) be the second derivative of 133*i**3 + 158*i**2 + 138*i. Is y(5) prime?
False
Suppose 17*x - 12*x = 10. Is 0 - (x - 1)/((-1)/2357) prime?
True
Suppose -z - 9 = 5*t, -7*z + 3*t = -11*z - 2. Is ((-370440)/16)/(-15) - z/2 a composite number?
False
Let c be ((-56284)/(-3))/(-3 + 40/12). Suppose -11*o = 11371 - c. Is o prime?
False
Suppose 18750 = 11*p - 175378. Suppose -5*x - 3*d = d - 22061, p = 4*x + 4*d. Is x a composite number?
True
Let b = -67054 + 668197. Is b composite?
True
Let r(f) = -3991*f - 23. Let h be r(-2). Is (h/42)/((-3)/12*-2) a prime number?
True
Let w(s) = s**3 - s**2 + 2*s - 36. Let k be w(0). Let c be 1/(-3) - 8832/k. Suppose -4*v = -5*z + 889, -z + c = 5*v + 44. Is z a prime number?
True
Let q = -8005 + 21619. Let v = q + -4321. Is v a composite number?
False
Suppose 0*q = -q + 6, -4*x = 3*q - 102030. Is x composite?
True
Let a = 91 + -55. Suppose -v + a = 5*v. Let w(x) = x**3 - x**2 - 2*x - 5. Is w(v) a prime number?
True
Let v = -464708 + 718465. Is v a prime number?
False
Let j(o) = 2159*o - 8. Let a be j(4). Suppose -4*p + a = -4508. Suppose 33*n = 29*n + p. Is n a prime number?
True
Let f(i) = -6 - 27*i**3 - 31*i**3 + i**2 + 1 + 62*i**3 + 10*i. Is f(4) prime?
True
Let j(q) = 711*q + 2884. Is j(53) a prime number?
False
Let k = -28425 - -46544. Is k a composite number?
False
Let m(y) = 5*y - 6. Let z be m(2). Suppose -3*q + 37 = 5*b - 6*q, 3*b + 1 = -z*q. Suppose -2*k - 2*o + 0*o = -338, -4*k + b*o = -649. Is k prime?
False
Let l(i) = -i**3 + 11*i**2 + 17*i + 88702. Is l(0) prime?
False
Suppose 30 = -34*u + 40*u. Suppose -u*x + 765423 = 22*x. Is x prime?
True
Suppose -3*t + 5*m - 13 = 0, 0 = -3*t - 2*m + 12 + 10. Let g = 377 + -370. Suppose -4*o + g*b = t*b - 229, -2*o + 3*b = -113. Is o composite?
True
Let l(d) = -2*d**3 - 19*d**2 + 10*d + 19. Let o = 206 + -224. Is l(o) a composite number?
False
Let z(p) = -2*p**2 - 2*p + 61 - 3*p**2 - 2*p - 5*p + p**3. Is z(18) composite?
False
Let m(j) = 4*j**2 + 21*j - 44. Let r be m(17). Let y = 2322 + r. Is y a composite number?
True
Let y = 525 + -427. Let x = 186 - 99. Let i = x + y. Is i a composite number?
True
Let x = -261 - -182. Let k = -86 - x. Is ((5012/(-4))/k)/(0 + 1) a composite number?
False
Suppose 70 = 8*f - 18. Suppose 3*i - 16 = f. Suppose -96 = -5*t + i. Is t composite?
True
Let h = -42 - -45. Suppose h*z + 170 + 65 = 2*b, 5*b - 3*z - 583 = 0. Suppose -379 = -v - b. Is v a composite number?
False
Let z(u) = 29*u**2 + 8*u - 10. Let b be (5 + -2)/(3/(-9)). Is z(b) prime?
True
Let g(y) = -309*y**3 - y**2 - 4*y - 7. Suppose 4*c + 4 = 0, 2*p - 5*c - 37 = -2*p. Suppose -4*l + 4*b = -l + 14, 2*b = 2*l + p. Is g(l) composite?
True
Let i = 13 + -10. Suppose -12 = -i*h - 0. Suppose 5*o - 6838 = -2*j, -h*o + 9030 + 1213 = 3*j. Is j composite?
True
Suppose 2*s - 6 = 2*p, 3*p - 5*s + 7*s = 6. Suppose -3*r + 220 + 791 = p. Is r a composite number?
False
Suppose 2*c - 4 = 5*f, 5*c + f - 5*f - 10 = 0. Suppose 38 + 4 = -c*x. Is -1307*x/(-6)*-2 composite?
True
Suppose 3*j = 0, 5*b + 3*j = -589 + 9. Suppose -a + 24*l = 21*l - 751, 5*a + l = 3755. Let y = b + a. Is y composite?
True
Let v = 304220 + -83119. Is v composite?
False
Let i be (-20)/(-80) - (-474)/(-8). Let c = 38 - i. Is c composite?
False
Suppose 4*r - 3*o =