 Let a be l(0). Suppose -a*r = -r - 10. Suppose -s = -r*s + 19. Is s composite?
False
Let p(g) = g**3 - 6*g**2 + 7*g - 1. Let s be p(5). Suppose -3*u = -42 + s. Suppose 2*z + o = u, z - 5*o - 22 = -0*z. Is z prime?
True
Let o(c) = -c + 12. Let z be o(11). Let g(h) = 161*h**3 - h**2 + 2*h - 1. Is g(z) a composite number?
True
Suppose -2*m + 399 = 3*m - s, 4*m - 2*s - 318 = 0. Suppose -m = u - 5*u. Suppose 5*j - 75 = u. Is j prime?
True
Suppose 2*o - 11 = 7. Let v be (-471)/o + (-4)/6. Let t = 106 + v. Is t a prime number?
True
Let h(b) = 73*b - 5. Is h(4) composite?
True
Suppose 0 = -2*c - 25 - 21. Let v = c + 92. Let s = v - 36. Is s a composite number?
True
Let z be (3/(-5))/((-3)/(-15)). Is 7530/21 + z/(-7) a prime number?
True
Is (2/8)/(3/636) composite?
False
Suppose -2*u = 2*g + 9 - 35, 60 = 5*u + 4*g. Is (-830)/u*(-9 - -5) composite?
True
Let q(b) = b**2 - b + 2. Let n be q(3). Let i(r) = 0 + 7 + 5*r - 6*r + n*r. Is i(6) a composite number?
True
Let q be 1*6/9*9. Let r(c) = -c**3 + 7*c**2 - 5*c - 2. Let d be r(q). Suppose o - 5*o - j = -104, 0 = -o - d*j + 41. Is o composite?
True
Suppose 50 = 4*b - 2*d, 3*b - 3*d - 55 = -b. Is b a composite number?
True
Let y = 1174 + 303. Is y a prime number?
False
Suppose -2*t = -4*c - 3*t + 2167, -3*c - 2*t = -1629. Is c a prime number?
True
Suppose 0 = 9*u - 11*u + 3386. Is u composite?
False
Suppose -18*h + 1435 = -13*h. Is h prime?
False
Suppose -h - 14 = 5*z, 13 = -4*z - 4*h + 5*h. Let n be 1*(-3)/(z/41). Suppose p + p + 3*a - 35 = 0, 0 = 2*p - 3*a - n. Is p prime?
True
Let v = 5 + -3. Let j(q) = -1 + q**3 - v*q**3 - 4*q**2 - q - q**2. Is j(-5) prime?
False
Let a = 1206 + -559. Is a a composite number?
False
Let l = 3698 - 1463. Suppose 2*r + l = 5*r. Is r a composite number?
True
Suppose -3932 - 1222 = -6*z. Suppose -5*k - 2*i + 104 = -z, 2*i + 947 = 5*k. Is k a prime number?
True
Suppose -4*k - 14 = -74. Let m = k + -11. Suppose 20 = 2*t + y + m*y, 0 = 3*t - 3*y - 30. Is t a prime number?
False
Suppose -4*a + 5*j - 33 = -0*j, 0 = -2*a + 4*j - 24. Is ((-106)/a)/(0 + 1) prime?
True
Suppose -2*o + 41 = 3*l - 43, -4*l + 113 = 3*o. Is l composite?
True
Let p(m) = 9*m**2 - 3*m - 5. Let x be (-1)/(-1 - (-3)/6). Let l be (3/x)/((-6)/(-16)). Is p(l) prime?
True
Suppose 5*z = 8*z - 777. Is z composite?
True
Let i(z) = 2*z**2 - 3*z - 1. Is i(4) a prime number?
True
Suppose 0*d = -h + d - 2, -3*h - d = -14. Let o be 2/(-7) + 1092/49. Let v = o - h. Is v prime?
True
Suppose k - 2*v - 6 = -v, 9 = -3*v. Suppose -k*l - g - 14 = 0, -l - g + 0*g = 6. Is (-226)/l - (-9)/(-6) prime?
False
Let o(u) = -u**3 - 2*u**2 + u - 3. Let j be o(-3). Let w = 34 - j. Is w a composite number?
False
Suppose -4*w - w = 0. Suppose w = z - 1, 2*q - 36 - 6 = -4*z. Is q composite?
False
Let j be 506/6 - (-1)/(-3). Let b = j - 5. Is b a composite number?
False
Let r be (2 - -2 - 2)*-2. Let m(b) = -23*b - 5. Is m(r) composite?
True
Suppose 74 = 2*i - 344. Is i a prime number?
False
Suppose 2*y + 2*c + 131 + 11 = 0, 2*y - 2*c = -146. Let s = y - -161. Is s a composite number?
False
Let a = -6 - -15. Let j(b) = 2*b**2 + 7*b - 2. Let r be j(-6). Let w = a + r. Is w prime?
True
Suppose 3*h = 2*q - h + 44, 64 = -3*q + 4*h. Let p = q + 31. Is p a prime number?
True
Let l = -2 + 0. Let u be (42/7)/(l/(-9)). Suppose 5*v - 138 = u. Is v a composite number?
True
Suppose 4 = u, -2*u + 7 = -2*c - 1. Suppose -3*o + 2*q + 605 = c, -185 = -o + 6*q - 2*q. Is o a composite number?
True
Is -1 + (-1084)/(2 + -4) a prime number?
True
Suppose q - 5 = -2*s, 5*s + 3*q - 15 = 2*s. Suppose s = -0*l + l - 221. Is l prime?
False
Suppose -3*x + 19 = -53. Let y = x - -13. Suppose 0*i + i - y = 0. Is i prime?
True
Let w(v) = v**3 + 2*v**2 - 3*v + 3. Let n be w(-3). Let a = -58 - -105. Suppose -g = m - 15 - 4, -n*g - m = -a. Is g prime?
False
Let g = 10 + -16. Let w(t) = -6*t**2 + 2*t**3 - 4*t + 3*t - 3*t**3 + 1. Is w(g) composite?
False
Suppose 11*u - 9*u - 1166 = 0. Is u a composite number?
True
Let j = -7121 + 15016. Is j a composite number?
True
Let z(w) be the second derivative of -26*w**3/3 + 3*w**2/2 + 6*w. Is z(-4) prime?
True
Let c(m) = 11*m**2 - 5*m + 23. Is c(-6) prime?
True
Suppose -3 = -3*i, s + 4*i = -2*s + 13. Suppose -s*j + 212 = j. Is j a composite number?
False
Let r(x) = 10*x**3 + 2*x - 1. Let w be r(2). Let d = -50 + w. Is d a prime number?
False
Suppose s - 1 + 4 = 0, -5*z = 5*s - 4300. Is z a prime number?
True
Let d(a) be the second derivative of -1/2*a**2 + 1/12*a**4 - 2/3*a**3 + a + 0. Is d(6) prime?
True
Suppose -2*c - 2*w - w - 11 = 0, 0 = 3*c + 5*w + 17. Let f = 10 + c. Is f a prime number?
False
Let u(t) be the third derivative of t**5/30 - t**4/3 + 3*t**3/2 + 3*t**2. Is u(6) a prime number?
False
Let b be (3/(-3) - -2)*3. Let k(j) = 2*j**3 - b*j**3 + 3*j**2 - 3 - j + 3*j. Is k(3) a prime number?
True
Suppose -6*t + 56 = -2*t. Let y be 48/21 - 4/t. Suppose -3*s - y*g + 431 = 0, -3*g - 6 = -0*g. Is s a prime number?
False
Let w = 80 + -41. Is w a prime number?
False
Let a = 633 - 366. Suppose -4*u + a + 1 = 0. Is u a composite number?
False
Let o(r) = 107*r - 41. Is o(8) composite?
True
Let a(d) = -d**3 - 8*d**2 + 10*d + 3. Suppose -32 = 4*j + 4. Let g be a(j). Is 2*127*(-3)/g a composite number?
False
Let i(s) = -324*s + 1. Let v be (-3 - -1) + (6 - 5). Let k be i(v). Suppose 2*f + 3*f - k = 0. Is f a composite number?
True
Let b = 7 - 4. Let u = 6 - b. Suppose -u*v + 5*v = 20. Is v prime?
False
Suppose u + a + 7 = -a, 5*u + 80 = -a. Let v = u + 30. Is v a prime number?
True
Let x be 1/(-2 - (-51)/24). Is ((-18)/x)/(6/(-16)) composite?
True
Suppose 443 = 3*a - 136. Suppose -n + 3*x = -183, 4*x + x + a = n. Suppose 5*d + 0*d - 5*b = 205, -4*d + 5*b = -n. Is d a prime number?
True
Let r(c) = -6*c - 35. Is r(-34) composite?
True
Suppose -7*n - 3*n + 9590 = 0. Is n prime?
False
Let g(t) = -t**2 + t + 293. Let a = -1 + 1. Is g(a) a prime number?
True
Suppose 0*c = -4*c + 8, 2*r = c + 136. Is r prime?
False
Suppose 2*v = 2 + 4. Let b(p) = -p**2 + 5*p - 3. Let t be b(v). Is (29/(-4))/(t/(-24)) composite?
True
Let b(m) = -m**2 + 2. Let z = 10 - 16. Let w be b(z). Let j = 113 + w. Is j composite?
False
Let p(l) = 3*l + 2901. Is p(0) a prime number?
False
Let j be -3 + (0 - 0) + 3. Suppose -5*z = -2*l - 1283, -5*z + 4*l - 3*l + 1284 = j. Is z composite?
False
Suppose k - w - 1 = 3, -2*k - 2*w + 8 = 0. Suppose -5*x - v + 5 = 1, 0 = -4*x - v + k. Suppose -2*u - 9 + 31 = x. Is u a composite number?
False
Let d be (-22)/(-33) + 173/(-3). Let z = 124 + d. Is z a composite number?
False
Let o(v) = 81*v**2 + 6*v + 13. Is o(6) a prime number?
False
Let d = 17 - 14. Suppose 0 = -d*p - 2*y - 2*y + 1901, -3*p - 5*y + 1900 = 0. Is p a prime number?
False
Suppose z - 1195 = -s, -1820 = -4*s + z + 2940. Is s prime?
False
Let j(k) = -2 + 11 - 4*k - 3*k - k**2. Let d be j(-9). Is 3/9 - 168/d composite?
False
Suppose -34100 = -4*v + 4*f, 2*v = -3*f + 14051 + 2979. Is v a composite number?
False
Let c(a) = 27*a - 9. Let q be c(7). Suppose -3*n - 2*n + q = 0. Is 1*n + (-3 - -2) prime?
False
Suppose c = 2*v - 21, 4*v = 4*c + 11 + 29. Let h = 46 - v. Is h prime?
False
Let h = 26 - -63. Is h prime?
True
Let g = -265 + 470. Is g composite?
True
Let w(j) = -j + 12. Let r be w(9). Suppose 8*l - 3*l + 6 = 2*f, -9 = -r*f - l. Suppose 2*v - t = f*v - 15, 5*v - 5*t = 115. Is v prime?
True
Suppose -12 = 3*m - 33. Let v = 10 - m. Suppose v*n - 5 = 4. Is n a prime number?
True
Is (-2 - -3) + -4 - -1405 prime?
False
Suppose 5*h - 100 = 125. Suppose 0 = 3*x - 6*x + h. Is x a prime number?
False
Let t(b) = 16*b + 71. Is t(21) a prime number?
False
Suppose 14*c + 2050 - 25248 = 0. Is c a composite number?
False
Suppose -4*f + 21 - 1 = 0. Let x be ((-32)/(-40))/(1/f). Suppose -97 = -x*u + 39. Is u a prime number?
False
Suppose 5*i - 151 + 839 = a, 0 = a + 3*i - 664. Is a prime?
True
Let d be -2 + -4*6/4. Let z = d - 25. Let q = z + 84. Is q prime?
False
Suppose -5*q + 10*q = -4*m + 902, 4*q = 8. Is m composite?
False
Let y(w) = -w**3 + 17*w + 5. Is y(-9) prime?
False
Suppose -w + 4*v = -2*w + 19, -v + 13 = 3*w. Is (0 - (-3)/w)*58 a prime number?
False
Is (-314 + 16)*(-1)/(4/10) a composite number?
True
Suppose 2*o - 5 = 1. Is 9/o + (0 - -82) a prime number?
False
Let l(n) = 6*n*