 - i**2 - 12*i + 0 - 3*i**2. Is l(q) a composite number?
True
Let m = 959 - 108. Is m a prime number?
False
Suppose 0 = o - 106 - 105. Is o prime?
True
Suppose 0 = 3*s - 4*s + 14. Suppose s - 5 = k. Let o(i) = i - 3. Is o(k) prime?
False
Let u = -6 + 6. Let n = 3 - u. Is n a composite number?
False
Suppose -4*j - 1088 - 409 = 3*w, -1113 = 3*j - w. Let p be 1/(-2)*0 + j. Is p/(-10) + (-2)/10 a prime number?
True
Let j = 310 + -5. Is j a composite number?
True
Suppose -18 = -4*d + d. Let q(f) = f**3 - 5*f**2 + 8*f - 4. Let j be q(d). Suppose 16 = -4*r + t + j, -4 = t. Is r a prime number?
False
Let q = 15 - -5. Suppose 0 = 3*t - 2*j - 129 + q, 3*t - 5*j - 124 = 0. Is t a composite number?
True
Suppose 4*w - 495 - 3677 = 0. Is w a composite number?
True
Suppose -541 = -4*a - 97. Is a a prime number?
False
Let c(i) = 10 + 3*i**2 - 9*i - 2*i**2 + 0*i. Is c(9) a composite number?
True
Let j be ((-8)/12)/(2/(-3)). Let t(r) = 3*r**3 + 2*r**2 - r. Let s be t(j). Let a = 17 + s. Is a a prime number?
False
Let n = 174 - 63. Is n a composite number?
True
Suppose -56 = -0*d + 4*d. Is (-170)/20*(0 + d) a composite number?
True
Suppose 0 = -2*k + 4*k - 530. Is k prime?
False
Suppose 4*x = 8*x - 16. Is 14/((-3)/((-30)/x)) prime?
False
Let m(d) be the second derivative of d**3/6 + 5*d**2/2 + 3*d. Let p be m(-3). Suppose 4*h = p*h + 28. Is h composite?
True
Let l(r) = -r**3 - 4*r**2 + 2*r + 10. Suppose 3*d + 10 = 5*d. Let p = -12 + d. Is l(p) a prime number?
False
Let w = -245 + 1152. Is w composite?
False
Suppose -h = -0*h - 253. Suppose 3*c + 948 = -3*c. Let l = h + c. Is l prime?
False
Suppose 0*r + 2 = -2*r. Suppose 50 = -4*j - 5*t - 34, -5*t + 124 = -4*j. Let s = r - j. Is s a composite number?
True
Suppose -9538 - 8293 = -11*j. Is j a composite number?
False
Is -4*(332/(-16) + 1) prime?
True
Let u(r) = 11*r + 14. Let c be u(6). Let t = 113 - c. Is t a composite number?
True
Let p = 105 + 104. Is p composite?
True
Let i = -42 - -118. Let s = 139 - i. Let p = 140 - s. Is p composite?
True
Let f be (-1)/(-4) + 45/12. Suppose 391 + 73 = f*v. Let o = 103 + v. Is o a prime number?
False
Let p be (1 - -3)*(-4)/(-4). Suppose -26 = -p*z + 18. Is z a prime number?
True
Suppose 1032 + 253 = 5*r. Is r prime?
True
Suppose 0 = -a + 5. Let u(m) = m**2 - 6*m - 3. Let k be u(a). Let z(v) = v**3 + 10*v**2 + 10*v + 7. Is z(k) composite?
True
Suppose 8 = 2*g - 0, 0 = v + 5*g - 57. Suppose 2*j - 339 = v. Suppose 6*p - 2*p = j. Is p composite?
False
Let v = 92 + -63. Let h(g) = 24*g**3 + g - 1. Let z be h(1). Let u = v + z. Is u composite?
False
Let t(g) = 299*g - 18. Is t(5) a composite number?
True
Let z = 2346 - 26. Suppose 3*a - a - z = 0. Suppose -a = -5*d - 435. Is d a prime number?
False
Suppose -7*d - 9740 = -5*a - 2*d, 0 = -3*a - 3*d + 5850. Is a prime?
True
Suppose -3*w - 2*w = 0. Suppose w*m + 3*m = 3. Is 86 - 1/(0 + m) composite?
True
Let u(o) = -3*o**2 - 2*o + 6. Let v be u(6). Let p = -61 - v. Is p prime?
True
Let r be 1043/14*(-2 + 12). Suppose 4*k - r = -k. Is k a composite number?
False
Let x be ((-4)/5)/((-8)/20). Suppose -2*n - 425 = 3*w, -3*n - 426 = -n + x*w. Is 2 + 3 + -2 - n a prime number?
False
Let p(q) = -128*q**3 + 2*q**2 - q. Let i be p(1). Let s be (2066/11 - 2/(-11)) + -2. Let x = s + i. Is x prime?
True
Let j(p) = p - 6. Let f(s) = -s + 5. Let h(d) = 3*f(d) + 2*j(d). Let a be h(4). Is (10/a)/((-4)/6) a composite number?
True
Suppose w + 6 = 4*w. Suppose 3*k + w = 14. Suppose 2*b - k*d - 82 = 0, -4*b + 2*d + 185 = d. Is b a prime number?
True
Let p(g) = -55*g + 10. Is p(-9) a composite number?
True
Suppose 0 = -3*l + g + 2373, 2*l - 2204 + 622 = -5*g. Is l prime?
False
Let k(t) = -4*t**3 + 2*t**2 + 4*t + 3. Let r(b) = -b**2 - 10*b - 11. Let q = -28 - -19. Let x be r(q). Is k(x) prime?
False
Let w(a) = 142*a + 35. Is w(6) prime?
True
Let d(v) = -4*v**3 + 11*v**2 + 6*v - 2. Let o(r) = -9*r**3 + 22*r**2 + 13*r - 5. Let g(c) = 7*d(c) - 3*o(c). Let n be 1 - 2 - 11/(-1). Is g(n) composite?
False
Let h = 320 + -109. Is h a composite number?
False
Let v(x) = 55*x - 9. Let g be v(10). Let t = -242 + g. Is t composite?
True
Let u be (-24)/10*460/8. Let c = -87 - u. Is c composite?
True
Let v(u) = 38*u. Let t be v(6). Let p = -85 + t. Is p prime?
False
Suppose p - 3 = 3*l, -3*l + 0*l = 5*p - 33. Let t(q) = 3*q - 3. Let u be t(p). Suppose 4*i - u - 96 = -5*z, 2*i + 2 = 0. Is z composite?
False
Let z(j) = -2*j**3 - j**2 + 1. Let n be z(-1). Let x(s) be the second derivative of 19*s**5/20 - s**4/6 + s**3/3 + s**2/2 - 3*s. Is x(n) a prime number?
True
Suppose 0 = 5*s + 2*i - 107, 2*s = -3*s - 4*i + 109. Is s prime?
False
Let u be (-2)/(-4) - 2/4. Let p(y) = 4*y**2 - y - 3 + u*y**2 - 3*y**2. Is p(7) a prime number?
False
Let s(z) = -160*z - 1. Let u be s(1). Let a = 418 + u. Is a composite?
False
Let b(t) = t**2 + 6*t. Let a = -6 - 0. Let o be b(a). Is (53*2)/2 + o composite?
False
Let p = -1383 + 1970. Is p a prime number?
True
Suppose v + v = -4. Let q be v/7 + (-88)/(-14). Let a = 12 - q. Is a a composite number?
True
Suppose 0 = 10*g - 4*g - 2514. Is g a composite number?
False
Is 2/1*1437*2/12 prime?
True
Let o(g) = -178*g - 1. Let j be o(-1). Suppose -2*m + u = -271, 3*u - j = -3*m + 216. Suppose -347 = -3*k - m. Is k composite?
False
Suppose 4*m + 0*m = 16. Suppose -2*d + 139 = -m*h + 839, 2*h + d = 358. Suppose h = 5*c - 2*x, 3*x + 174 = 5*c + 4*x. Is c composite?
True
Let r = 24 + -2. Let q = r - -71. Is q a composite number?
True
Suppose -t + 5*z - 6 = -2*t, 0 = 3*t + z - 18. Suppose f - t*f + 170 = 0. Is f composite?
True
Let g(a) = 4*a**3 + 6*a**2 + 3*a + 2. Let y(w) = -w**3 + w**2. Let u(h) = g(h) + 5*y(h). Is u(11) a composite number?
True
Suppose -4*k = t + k - 10, 2 = -2*t + k. Let x(n) = 2*n + 377. Is x(t) a prime number?
False
Let n(g) = g**2 + 6*g + 15. Let j(c) = c**3 - 6*c**2 + 2*c + 1. Let v be j(5). Is n(v) a prime number?
True
Let p(s) = -3*s - 1 + 2 + s + 5*s. Let q be p(-2). Let u = q + 7. Is u a composite number?
False
Let l = 0 + 0. Suppose 0*m + 5*m - 125 = l. Is m a composite number?
True
Is (-1)/((-299)/1758 - (-6)/36) composite?
False
Let d(s) = -s**2 + 6*s + 9. Let i be d(7). Suppose l = -q + 31, i*q = 4*l + 4 + 28. Is q a prime number?
False
Suppose -4*y + 1220 = -4*k, 0 = -6*y + y - k + 1501. Let p be 634/(-3) + (-4)/6. Let r = y + p. Is r a composite number?
False
Suppose -3*p + 107 = -2*f - 3*f, f + 23 = p. Let v be (f - 1)*(-4)/2. Suppose -2*t = -v - 6. Is t a composite number?
False
Suppose 11323 = 6*i - 10859. Is i a composite number?
False
Let h = 638 + -451. Is h a composite number?
True
Let u(d) = d**3 + 5*d**2 + d - 5. Is u(-4) composite?
False
Let c(j) = 6*j**2 - 7*j - 8. Suppose 2*a - a = 0. Suppose a = -5*r + 4*r + 9. Is c(r) prime?
False
Let d = -134 - -57. Is (-1)/(-1 + 2)*d prime?
False
Let d be (9/3 + 1)/2. Suppose -95 = -d*y + 35. Is y composite?
True
Suppose -m + 4*m = -k + 130, k = -m + 132. Let v = k + -44. Is v a composite number?
False
Let o = 85 + -197. Let a = o - -239. Is a composite?
False
Suppose -10*n = -13*n + 4197. Is n composite?
False
Suppose 133 + 186 = 3*t + x, 3*t - x = 317. Suppose 0 = -2*i - 0*i + t. Is i prime?
True
Let y(c) be the first derivative of -31*c**4 + 2*c**3/3 + c**2 + c + 2. Let o be y(-1). Let i = -28 + o. Is i composite?
False
Suppose 4*b = 2*b - 1054. Let f = -364 - b. Is f a prime number?
True
Suppose 0 = -5*s + 4*o + 47, -5*o = -3*s + s + 29. Let x(n) = n**3 - 5*n**2 - 2*n + 5. Is x(s) prime?
True
Let v(l) = -l + 23. Is v(0) prime?
True
Suppose 3*y - 379 = -0*y + 2*m, 3*m = 5*y - 632. Is y prime?
True
Suppose -l + 3*c + 124 = -462, -l + c + 578 = 0. Suppose -n + 0*p + 130 = 4*p, 2*p = 4*n - l. Is n prime?
False
Let a = -110 + 159. Suppose 2*f - a = 21. Is f composite?
True
Let r(d) = 12*d**3 + d**2 + d. Let o be r(-1). Let j = o - -22. Is j prime?
False
Suppose 15 = 2*v + 1. Suppose v*d - 3*d = 0. Is d - (-114 - (-1 + 2)) prime?
False
Let m(b) = 4*b + 1. Suppose 0 = 5*f - 8 + 23. Let r = 2 - f. Is m(r) a prime number?
False
Let l = 17 - 14. Let q(y) = 26*y - 1. Is q(l) composite?
True
Let w = -471 + 1034. Is w a composite number?
False
Let m(l) = -18*l + 1. Let c be m(1). Let q = c + 26. Is q prime?
False
Suppose -62 = -0*u - u. Let v = u - 27. Suppose -5*q + 138 = 4*y,