s n composite?
False
Let y be 2*(0 + 1) + -3. Let w(i) = 65*i**2. Is w(y) a composite number?
True
Suppose f + 9 = -4. Suppose 8*l - 5*o + 5 = 3*l, 5*l - 11 = -3*o. Is l + f*(1 + -2) a composite number?
True
Suppose 4*y + 4*u + 0 = 48, u = -2*y + 26. Suppose 53 = h - y. Is h composite?
False
Suppose 11 = -u + 19. Suppose -u = x - 31. Is x composite?
False
Suppose p + 1162 = 7271. Is p a composite number?
True
Suppose j - 3*j = -972. Suppose -4*k = 5*l - 0*k - 506, -5*l + k + j = 0. Suppose -l = -s - s. Is s composite?
True
Let b(i) = -i**3 - i**2 - 6*i - 10. Is b(-7) a prime number?
False
Suppose 1004 = 4*i - 4*s, 3*s + 1006 = 3*i + i. Is i composite?
True
Let m(j) = j**2 + 2*j - 4. Is m(17) prime?
False
Let a(j) = 2*j. Let y be a(-3). Is (148/(-6))/(4/y) a prime number?
True
Let c be (-2)/(6 - 2)*-6. Suppose -o = 2*o + c. Is 345/(2 - o) + 0 a composite number?
True
Let j(c) be the second derivative of -2*c + 1/12*c**4 + 0 - 1/3*c**3 + 1/2*c**2. Is j(-2) composite?
True
Suppose -2*g - 2*m + 103 = -117, 0 = -3*g + 4*m + 365. Is g prime?
False
Let k be (236 - 2) + -1 - -2. Suppose -5*b - 5*w + k = 0, 5*w + 1 = b - 46. Is b composite?
False
Let p(f) = -f**3 - f**2 - f + 3. Let n be p(0). Let a = -9 + n. Let o(x) = -x**3 - 7*x**2 - 7*x + 1. Is o(a) a composite number?
False
Let f(a) = 5 + 6 - 9*a - 4*a - a**2. Is f(-11) composite?
True
Is -1*2/(-2)*1151 composite?
False
Let s = 42 + -38. Let w(a) = -2*a**3 - 4*a**2 - 3. Let i be w(-3). Suppose i = d + s*j, 3*d - 58 = -2*j + 3*j. Is d composite?
False
Let b = 113 + -69. Suppose -105 - 128 = -5*x + 4*c, -4*c = -2*x + 98. Let s = x + b. Is s composite?
False
Suppose 3*d - 5*d + 4*f = -170, -2*d = -5*f - 173. Is d a prime number?
True
Suppose -35 = -3*q + 94. Is q a composite number?
False
Let n = 4 + -2. Let k be (n + -1)*-1 - 1. Is (-461)/(-4) - k/(-8) a prime number?
False
Let q(a) be the third derivative of a**5/60 - a**4/6 + 5*a**3/6 - a**2. Let d(v) = -2*v - 9. Let g be d(-7). Is q(g) a composite number?
True
Suppose -5*v - 787 - 88 = 0. Let z = -54 - v. Is z a composite number?
True
Let x = 2341 - 1274. Is x composite?
True
Is (-21)/49 - 25800/(-28) composite?
True
Let t = 214 + 231. Is t composite?
True
Let x(g) = 3*g**2 - 5*g + 1. Suppose 0 = 3*j + 2*j + 80. Let t be -3*(j/3)/(-4). Is x(t) a composite number?
True
Let n(q) = -q**3 - 13*q**2 + 25*q - 15. Is n(-22) a prime number?
False
Let v = -288 + 625. Is v prime?
True
Let g be -3*1*(-1 - 0). Suppose 68 = g*z - 31. Is z a prime number?
False
Suppose -f = 5*s + 4*f - 2655, -2*s - f = -1061. Is s/(-5)*2/(-4) prime?
True
Suppose -1655 + 194 = -3*x. Is x prime?
True
Let a = 233 + -118. Is 0 + a - 2 - -2 prime?
False
Let x be (-2 - -15) + 1 + 0. Suppose -2*o + 56 = -x. Is o composite?
True
Let x be 235/(-20) - (-3)/4. Let p(m) = -m**2 - 19*m - 5. Is p(x) a prime number?
True
Let y = 152 + -67. Is y a prime number?
False
Let o = 2572 + -813. Is o a composite number?
False
Let t(c) = 2*c**3 - 4*c - 7. Let s(o) = 2*o. Let r be s(3). Is t(r) a composite number?
False
Let d(z) = z**3 + z - 1. Let p be d(0). Let o be 65 + 1 - 1/p. Let v = o + -48. Is v a composite number?
False
Let d(q) = q**2 - 2. Let l be d(2). Suppose -p + l*i + 2 + 71 = 0, i + 1 = 0. Is p prime?
True
Let h(d) = -d**2 - 15*d + 14. Is h(-11) prime?
False
Let y be (-4)/(-22) - (-10)/(-55). Let s(h) = -51*h + 1. Let r be s(-3). Suppose y*f = 2*f - r. Is f a composite number?
True
Is ((-1)/(-1) + -299)/(-1) a prime number?
False
Let f be ((-8)/(-3))/(4/6). Suppose 3*s + 8 = -f. Is (-12)/(-15)*(-190)/s prime?
False
Let z(f) = 518*f - 13. Is z(3) composite?
True
Suppose -12*l = -8*l - 1156. Is l a prime number?
False
Suppose -2*h = -r - 1, 5*h + 2 = 2*r + 2*r. Let x(m) = 5*m**2 - 3*m. Is x(h) composite?
True
Suppose -3*k + 23 = -5*r, -3*k - 3 = -2*r - 14. Let c be (k + -3)/(2/5). Is 12/(-20) + (-278)/c prime?
False
Let i = -705 + 1196. Is i a prime number?
True
Suppose 0 = 2*h - 191 - 29. Suppose 3*x = 5*a - h, -a - a + 28 = 2*x. Is a composite?
False
Let o(q) = 44*q - 31. Is o(22) composite?
False
Let f(z) = -9*z - 7. Let c be f(5). Let m = c + 77. Is m prime?
False
Let l(s) = -4*s + 3. Let q = -9 + 5. Is l(q) a composite number?
False
Is (1257/6)/(((-7)/2)/(-7)) a composite number?
False
Let n be 176/18 + 6/27. Let g = -4 + n. Is (-7)/(((-9)/g)/3) a composite number?
True
Let b(v) = v**3 - 7*v - 9. Let z be b(-7). Let g = z + 432. Let n = g - 71. Is n prime?
False
Let s(h) = 2*h**3 + 3*h**2 - 2*h + 2. Let c(t) be the second derivative of -t**3/6 - t**2 + t. Let q be c(-5). Is s(q) prime?
False
Suppose -3*l - 2*g = g - 6987, -2*g - 8 = 0. Is l a prime number?
True
Suppose 7*t - 4*t + 1104 = 0. Let u = t + 569. Is u composite?
True
Suppose -9*b + 573 = -5106. Is b a composite number?
False
Let c(x) = 2*x**3 + x**2 - x. Let a(o) = o**2 - 3*o - 3. Let k be a(4). Let n be c(k). Suppose 0 = n*j - 77 + 7. Is j a prime number?
False
Suppose -2 = -2*v + 20. Suppose -5*w = -9 - v. Suppose w*x = -u + 53, -3*u - x + 246 = 2*u. Is u a composite number?
True
Let r = -2 + 4. Let x(s) = -2 + 4*s**2 - s**2 - r*s - 2*s**2. Is x(-4) a composite number?
True
Is ((-6034)/8)/((-7)/((-28)/(-1))) composite?
True
Let b(j) = j**3 - 5*j**2 - 5*j - 7. Suppose -2*l + 36 = 2*l. Let x be b(l). Let t = x - 145. Is t composite?
False
Let d be (62/8)/(11/44). Suppose r = 8 + d. Is r composite?
True
Let s = 0 + -1. Let o be (-4 - s)/(9/(-6)). Suppose -5*y + 285 = 5*b, 3*y = o*b - 3*b + 163. Is y composite?
False
Let n = 8 - 10. Is n*((-87)/6 - -2) prime?
False
Let p = 701 - 319. Is p a prime number?
False
Suppose -2*i - 5*o + 613 = 0, -2*o = 2*i - 0*o - 616. Let z = -164 + i. Is z a composite number?
True
Suppose 3*h - 575 = 5*q + 423, 661 = 2*h + q. Is h prime?
True
Suppose -4*a - 118 + 30 = 0. Is (-2886)/a - 30/165 composite?
False
Is (-11711)/(-14) + 3/(-2) prime?
False
Let a be (-2)/2*(-4)/(-2). Let v(g) = g**2 - g + 1. Let t(m) = -21*m**2 + m + 4. Let r(d) = -t(d) + v(d). Is r(a) a composite number?
False
Let r(b) = -2*b**2 - 3*b - 3. Let j be r(-2). Let u be j/10*(-18)/1. Is (-111)/((-4)/(24/u)) prime?
False
Let h = -2575 + 5810. Is h a composite number?
True
Let m(v) = -2*v**2. Let s be m(-1). Is (1/(-2))/(s/596) a prime number?
True
Suppose 753 = 2*u + u. Is u a prime number?
True
Suppose 0 = -r - 2*h - h + 13, 2*r - 3*h = -19. Let c(p) = -p**3 + 3*p**2 + p - 1. Let j be c(r). Suppose -4 = -3*a + j. Is a prime?
True
Let b = -354 + 236. Is (0 - b)*(-2)/(-4) a prime number?
True
Let l(f) = f**3 - 2*f**2 - 6*f - 6. Let n be l(5). Suppose s = 4*d - 44 - n, 2*d - 3*s = 29. Is d a prime number?
False
Suppose 2*x + 2 = 4*j, -5*j + 6 = x - 14. Let w(b) = 24*b**2 - 2*b + 1. Is w(j) a composite number?
False
Suppose 1332 = 3*c + 21. Is c a prime number?
False
Let o(y) = -y**2 - 6*y + 10. Let i be o(-8). Let b(j) = -19*j - 1. Is b(i) a composite number?
False
Let i(s) = 110*s + 6. Let p be i(2). Suppose 2*r - p = -4*k, 74 = r + k - 42. Is r composite?
True
Let p(j) = -13*j - 12. Let t be p(-9). Suppose 6 = -3*h + t. Is h a composite number?
True
Let o(l) = -l**2 - l. Let t(h) = 4*h**3 + 5*h**2 + 1. Let s(k) = 3*o(k) + t(k). Is s(3) a prime number?
False
Let g = -148 + 229. Let u = g + -50. Is u prime?
True
Suppose 2 = -p, 3*p = -f + 5*p - 2. Let i = f + -16. Let y = i + 69. Is y a composite number?
False
Suppose 3*x - 13 = 2. Suppose -x*r = -k - 783, -304 = -2*r - 2*k + 7*k. Is r prime?
True
Suppose 5*k - 1 = 4*k, 2*n = -3*k + 7. Suppose 0 = n*q + q + 18. Let b(w) = w**2 + 2*w - 3. Is b(q) a composite number?
True
Suppose 4*y - 538 = 2*y. Suppose -4*l + y = t - 0*t, 5*l - 272 = -t. Is t prime?
True
Let w(u) = -u**3 - 2*u + 67. Suppose 0 = -2*m - 3*m. Is w(m) a prime number?
True
Let y = 1706 + -853. Is y composite?
False
Let w = -1 - -3. Suppose -38 = -p - 0*b + b, 3*p - 89 = -w*b. Is p a prime number?
False
Let x = 2 - -11. Is x a prime number?
True
Let t be 4 - 5 - 5*4. Is (-28)/t*(-30)/(-4) a composite number?
True
Let c(v) = -52*v**3 - 2*v - 1. Is c(-2) composite?
False
Let m be ((-652)/12)/((-2)/6). Suppose -2*t = v - m, 66 + 112 = 2*t + 4*v. Is t composite?
False
Let q = -10 - -5. Is 38*14 + (q - -8) a composite number?
True
Let f(n) = n**2 + 4*n - 1. Let s be f(-4). Let a(c) = -c**3 + c**2 + 2*c + 1. Let d be a