 -64*w. Is w composite?
False
Suppose v = -4, 2*v - 3*v + 2245 = o. Is o composite?
True
Let z(s) = 7*s**2 - 3*s - 2. Let k be z(6). Let o = k + -41. Is o a composite number?
False
Suppose -2*y = -3*i + 96 - 3495, 4*y + 3*i - 6753 = 0. Let x = y + -1193. Is x a composite number?
False
Let o = -26 + 17. Let p be (1218/o)/((-2)/3). Suppose 5*y = p + 62. Is y a prime number?
True
Suppose 5*c = 3*c - 4938. Let a = -1700 - c. Is a prime?
True
Suppose -19*d - 6821 = -20*d. Is d composite?
True
Suppose 14*w + 25 - 5891 = 0. Is w prime?
True
Let u be (6/3 - 1) + -23. Let f = u - -24. Suppose f*v - 15 = -m, -39 = -m + v + 3*v. Is m prime?
True
Let h(c) = -c**3 - 2*c**2 + 2*c - 11. Let y be h(0). Let d(u) = -14*u + 37. Is d(y) a composite number?
False
Suppose 2081 + 169 = 5*v. Suppose m - v = 295. Is m prime?
False
Let k = 1132 - 678. Is k composite?
True
Suppose -17232 = -4*v - k + 32832, 2*v - 25042 = 2*k. Is v prime?
True
Let c(d) = d**2 + 674. Is c(0) composite?
True
Let j(p) = 2*p - 7. Let i be j(6). Let g(z) = 11*z**2 + 3*z - 3. Is g(i) composite?
True
Let p = 15 + -13. Suppose 3*u - r = p*u + 2931, 2*u + 4*r - 5844 = 0. Is 6/30 - u/(-10) prime?
True
Let q(a) = -a**3 - 36*a**2 + 2*a + 45. Is q(-38) prime?
True
Let z(d) = -d**3 + 15*d**2 + 15*d - 9. Let j(a) = 8*a - 2. Suppose -3*s - 4 = -2*v - 0*s, 0 = 4*v + 5*s - 8. Let u be j(v). Is z(u) prime?
True
Let l = -4870 - -9927. Is l a composite number?
True
Suppose 0 = -3*s + 80 + 403. Let p = 62 + s. Is p composite?
False
Let d(j) = -36*j**3 - j**2 - 4*j - 5. Let c be 18/27 + 8/(-3). Is d(c) a prime number?
False
Suppose -3*d - 3*l = -637 - 1034, -3*d = 4*l - 1672. Let m = -92 + d. Suppose -h = -m + 97. Is h prime?
True
Let u = -9525 + 14464. Is u composite?
True
Suppose 4*q - 7*q + 12 = 0. Suppose 16 = q*m - 3*m. Let t = m + 99. Is t a composite number?
True
Let j = -1276 + 3998. Is j a prime number?
False
Let l(f) = -1034*f + 5. Suppose 2*j - 11 + 13 = 0. Is l(j) prime?
True
Suppose -4*k + 47683 + 12369 = 0. Is k prime?
True
Let i = 93 - 97. Is i/(-8) - 1983/(-6) a composite number?
False
Suppose 0 = 11*f - 6*f - 30. Is 82 - f*4/8 composite?
False
Suppose -5*g - n + 4291 - 72 = 0, -g + 835 = -2*n. Is g a prime number?
False
Let m = -64 + 68. Suppose -3*q + 1043 = -m*i, 4*q - 1683 = -5*i - 251. Is q prime?
True
Let g(j) = -j**3 + 11*j**2 - j + 11. Let v be g(11). Suppose 3*w - 45 = 2*x - 284, v = 2*x + 3*w - 221. Is x prime?
False
Let j be -2 + (-2)/(-2) + -3. Let h be ((-6)/j)/((-12)/(-24)). Suppose o = -h*o + 28. Is o a prime number?
True
Let p be 5 - (-8)/(-4) - 1. Let f be -1 + p + (-1 - 293). Let n = -110 - f. Is n composite?
True
Let x = 156 - 147. Suppose 0 = x*m - 5517 - 13374. Is m composite?
False
Let a(v) = -v**3 + 13*v**2 - 12*v + 12. Let z be a(12). Let g = 17 - z. Suppose -f + 978 = g*f. Is f prime?
True
Let c(z) = -47*z**2 - 19*z - 27. Let p(v) = 71*v**2 + 29*v + 41. Let w(j) = -8*c(j) - 5*p(j). Is w(-9) prime?
False
Let i(o) = 2*o - 9. Let v be i(5). Is (v/(-2))/((-22)/9812) prime?
True
Let t(i) = -228*i + 67. Is t(-13) a prime number?
False
Let z = 30768 + 1639. Is z prime?
False
Is ((-353)/(-1))/(17 - 16) prime?
True
Suppose -n = -3*h, -2*h = -2*n + 3*n - 5. Suppose n*a + 7 + 11 = 0. Is 892/(-10)*15/a a prime number?
True
Suppose 0 = -3*c - 2*c + 20. Let j be 4/(-5) + 37376/20. Is (3 + j/c)/2 composite?
True
Let v = -30 + 38. Let c = v + 38. Is c a prime number?
False
Let w(h) = -15*h + 1. Let q be w(-6). Let a = 216 + q. Is a prime?
True
Let i be -505 + -4 - (-1 - (-1 + 2)). Let b = i + 922. Is b composite?
True
Suppose w + 62 = -18. Let y(z) = -148*z + 1. Let j be y(1). Let n = w - j. Is n a prime number?
True
Let g(z) = 145*z - 43. Let t(q) = -36*q + 11. Let i(b) = 2*g(b) + 9*t(b). Suppose f + 0*f = -6. Is i(f) prime?
False
Let g(k) = 3*k**2 - k - 2. Let v be g(2). Let p(m) = 13*m - v + 8. Is p(3) a composite number?
True
Let s = 29 + -21. Is (-119)/(s/(-2) + 3) a prime number?
False
Let c be 6 + -3 - ((1 - 3) + 0). Let d(v) = 2*v**3 - 5*v**2 + 6*v + 6. Is d(c) prime?
False
Let s(j) = 296*j**2. Let o be s(1). Suppose -2*p + 30 = -o. Is p a composite number?
False
Suppose 4*q + 2*v - 6700 = 3*q, -4*v - 20150 = -3*q. Is q/14 - 18/63 composite?
False
Let v(b) be the first derivative of -b**5/5 + b**4/4 + b**3/3 - b**2 + 3*b - 11. Let f(r) be the first derivative of v(r). Is f(-3) prime?
True
Let k be 12/2*(-2)/(-3). Suppose -k*f + 76 + 312 = 0. Suppose f = m - 30. Is m prime?
True
Let q = -2939 + 1473. Let t = 2637 + q. Is t composite?
False
Let z(d) = 17*d - 6. Let q be z(13). Suppose 4*s = 5*s - q. Is s prime?
False
Suppose -24*d = -37*d + 13897. Is d composite?
False
Let n be (-7 - -1)*24/(-72). Suppose n*c + 5*m = 3*c - 1481, 5*c - 7293 = -3*m. Let i = c - 908. Is i a composite number?
True
Let c = 505 - 799. Let s be 1500/16*-2 + (-3)/6. Let f = s - c. Is f a composite number?
True
Let m = -28 + -25. Suppose -9*t = -11*t + 932. Let y = m + t. Is y composite?
True
Suppose -5*z = -15, -202 = -3*h + 4*z - 76. Let c be h*-1*(-6)/(-12). Let m = c + 54. Is m a prime number?
True
Let g be (-72)/(-28) + -3 - (-31)/7. Suppose g*p - 505 = 51. Is p a prime number?
True
Suppose -2*o + 3*i + 2629 = -25, -2654 = -2*o - 4*i. Suppose -b + 6*b - 3*j - o = 0, 1036 = 4*b + 4*j. Is b composite?
False
Let o(w) = w**3 - 7*w**2 + 4*w + 5. Let a be o(10). Suppose v = -2*v + 3*k + a, -5*k + 575 = 5*v. Is v composite?
True
Let x(m) = -16 + 4*m**2 - m**3 + m**3 + 2*m**3 + 0. Is x(5) prime?
False
Is 39/65 - (1850946/(-15) - 0) composite?
False
Let g(s) = -s**3 - 5*s + 3. Let w be g(3). Let v = 104 - w. Is v a prime number?
False
Suppose 3*o - 4438 + 949 = 0. Is o a composite number?
False
Suppose -7*b + 21 + 0 = 0. Is -4 + (784 - -2) - b composite?
True
Let l be 29/(-145) + (-3311)/(-5). Is l/(-10)*(2 + -7) composite?
False
Suppose j = 2*o + 21, -3*o - 2*j + 30 = -6*o. Let u be (26 - 27)/((-2)/46). Let v = o + u. Is v a composite number?
False
Let f(o) = 15*o - 8*o**3 - 5*o**2 - 3 - 19*o + 11*o. Is f(-7) a composite number?
False
Let s(x) = x - 22. Let n be s(10). Let l = -8 - n. Suppose l*b - b = 573. Is b composite?
False
Let z(v) = 35*v**3 + 2*v + 1. Let d be z(-1). Let k(g) = 132*g**3 + g**2. Let f be k(1). Let t = d + f. Is t a prime number?
True
Suppose 338 = u + p, 3*u - 21*p = -23*p + 1015. Is u prime?
False
Suppose -20711 = -r - 3*p, 0*p = -5*p. Is r/9 - (-14)/(-63) - -1 composite?
True
Let s(h) = 1250*h**3 - 1. Let q be s(1). Suppose -5*d + q = -3*n, -2*n = 4*d - 3*n - 1002. Is d prime?
True
Suppose 6*b - b = -5045. Let r = -596 - b. Is r a prime number?
False
Is (-3)/(-3)*(1 - 2238)*-1 a prime number?
True
Let h(d) = 3*d**2 - d - 1. Is h(-9) a prime number?
True
Let o(r) = r**2 - 6*r + 5. Let f be 8*(0 + -3)/(-6). Let q(v) = v. Let j(u) = f*q(u) + o(u). Is j(-8) composite?
True
Let n be ((-4)/14)/(8/(-56)). Suppose -5*p + 2*p = -n*v + 3466, -2*v = 3*p - 3490. Is v a composite number?
True
Let t = 82 + -77. Suppose w - 664 = -3*w. Suppose -8*g - w = -t*k - 4*g, 5*g = 5. Is k a prime number?
False
Let o(h) = 3*h**3 - h**2 + h + 2. Let s = 15 + -19. Let l be o(s). Let a = l - -503. Is a composite?
False
Let u = -20022 + 32029. Is u prime?
True
Let o(v) = -2*v**3 + 40*v**2 + 5*v - 38. Is o(19) composite?
True
Let o(n) = -56*n**3 - n**2 - 2*n - 1. Let u be -1*(3/3 - -1). Is o(u) a composite number?
True
Let m = -3598 - -1403. Let q = m - -4229. Suppose 0 = -4*o - 2*u + q, 4*o - 2666 = -u - 631. Is o prime?
True
Let q = -234 + 527. Is q composite?
False
Let q be (-1885 - 3)/2 + 0. Let d = -465 - q. Is d prime?
True
Let f(q) = -q**2 + q - 1. Let v(k) = 209*k**2 + 5. Let n(z) = 3*f(z) + v(z). Is n(-1) a prime number?
False
Let w = 407 + 346. Is w a prime number?
False
Suppose 3*b - 6633 = 2*b - 4*i, 26472 = 4*b + i. Is b a prime number?
False
Suppose 5*x - 2*x = 6. Is 4/8*(x + 224) a prime number?
True
Let z(w) = 9 - w**2 - 14*w - 5*w**3 + 4*w**3 + 5*w**3 - 3*w**3. Let h be z(6). Suppose -3*u + h = -0. Is u composite?
True
Is (-1)/(-5 + 2 - (-188504)/62836) prime?
False
Is (0 - -4047) + -2*(-3)/3 a composite number?
False
Let b(v) = 9*v**2 + 23*v - 2. Let q be b(19). Suppose -d = 3*d - q. Is d prime?
False
Suppose -2*c = -3*t - 58418 - 10377, -t = -5*c + 171968. Is c composite?
True
Let j(i) = -