 4*j + 647 = 4099. Is j prime?
True
Suppose 2 = 4*l - j - 0*j, -2 = j. Suppose -5*b - 1 + 11 = 0, 5*r = -2*b + 14. Suppose l = r*t + t - 39. Is t composite?
False
Suppose 328 - 1189 = -3*k. Is k a composite number?
True
Let w be (1 - -196) + (2 - 4). Suppose i + w = 4*i. Is i composite?
True
Let q = 17 + -18. Is q/(-2 + 651/327) a composite number?
False
Let z(o) = -2*o - 7. Let q be z(-6). Suppose -q*r = -8 - 7, -v + 4*r = -38. Let n = -25 + v. Is n a composite number?
True
Is (-5)/(-25) + (-732)/(-15) a composite number?
True
Let u(x) = x**3 + 3*x**2 - 3*x + 4. Let n be u(-4). Suppose n*q + 669 = 3*q. Is q prime?
True
Suppose -4*i + 0*i = 2*z - 450, -i - 936 = -4*z. Let s = z + 129. Suppose -5*c + 83 = -s. Is c a composite number?
False
Let x = -606 + 871. Is x a prime number?
False
Is (-9 - (-8)/1)*(-907)/1 prime?
True
Let j(a) = 4*a**2 - 3*a - 61. Is j(14) composite?
True
Is ((-14)/4)/(1/(-178)) a prime number?
False
Let b = -5 - -7. Is 1 + (b*10)/1 a prime number?
False
Let n be 61/(-3*(-1)/33). Is 0/((-2)/(-2)) + n a composite number?
True
Suppose 765 = 4*z - 2*v - 1251, 3*z + v - 1517 = 0. Is z a prime number?
False
Let k = 1161 - 626. Is k a composite number?
True
Let g(s) = -s**3 + 3*s**3 - 1 - 2*s**2 + 5*s**3. Let c be g(2). Suppose 0 = 2*x - 3*x + c. Is x a prime number?
True
Let l(s) = -s**2 - s + 2. Let o be l(2). Let a = o - -39. Is a a composite number?
True
Suppose 4*k = 0, 3*v + 5*k = -12 - 0. Let p(o) = 21*o**2 - o - 3. Is p(v) a prime number?
True
Suppose -1463 = -5*t - 2*o, -2*t + 467 + 115 = 4*o. Is t composite?
False
Let a be ((-1521)/27)/((-1)/3). Suppose -2*p = 4*g - g - a, p - 87 = -4*g. Suppose 27 = 2*r - p. Is r a prime number?
False
Let o(u) be the third derivative of -41*u**4/24 + u**3 + 4*u**2. Is o(-5) prime?
True
Suppose -27 = -4*y + 697. Is y prime?
True
Suppose -3*j = 3*u - 2286, j = 5*u + 3*j - 3816. Suppose -u = -2*k - 2*a, -6*k = -k + 3*a - 1904. Is k a prime number?
True
Let k = -65 + 180. Is k a prime number?
False
Let q = -812 - -543. Let w = q - -402. Is w a prime number?
False
Suppose 3*q + 32 = 80. Let o = q + -7. Is o prime?
False
Let c(j) = 539*j + 1. Is c(2) composite?
True
Let q(x) = 3*x**2 - x - 1. Suppose 12 = -0*b + 4*b. Is q(b) a composite number?
False
Let i(k) = -5*k**3 - 5*k - 3. Let w(h) = -h**3 - 1. Let b(v) = i(v) - 6*w(v). Is b(4) composite?
False
Let b(z) be the third derivative of z**6/120 - z**5/10 - 7*z**4/24 + 5*z**3/3 + 2*z**2. Let q be b(7). Is (11/2)/(1/q) composite?
True
Let m(k) = -k**2 + 3*k + 4. Let h be m(3). Suppose -5*f = -h*x - 2211, -f + 4*x = -589 + 150. Suppose -89 - f = -4*r. Is r prime?
False
Suppose 0 = 13*i - 10*i - 249. Is i composite?
False
Let p = 15 + -424. Suppose 0 = -3*n + 10 + 2, -5*q + 2*n = -2852. Let o = p + q. Is o prime?
True
Suppose 2*w - 5*w + 6 = 0. Let u be (15/(-2))/((-3)/6). Suppose 3*o - 167 = -l, -w*o - u = 2*l - 129. Is o prime?
False
Suppose 170 = -5*b - 625. Let o = -106 - b. Is o prime?
True
Let x(y) be the third derivative of y**6/40 + y**5/30 - y**4/4 + y**3/3 + y**2. Is x(4) prime?
False
Let h = 13 - 5. Suppose m - 2*v = h - 3, 4*v = -5*m + 11. Suppose m*c - 88 = -31. Is c a composite number?
False
Let c(m) = 3*m**2 + 7*m + 9. Is c(10) prime?
True
Suppose -132 - 58 = -5*l. Is l prime?
False
Is (1/(-4))/(1/2)*-3802 a composite number?
False
Let n(x) be the third derivative of x**4/24 + 77*x**3/6 + 3*x**2. Is n(0) a composite number?
True
Is 3773/5 + 8/20 prime?
False
Suppose 4*i - 4*o - 4856 = 0, -3*o = 4*i - 0*o - 4835. Is i prime?
False
Let m(j) = 29*j**2 - 8*j + 5. Let u be m(5). Suppose u = 3*h + 2*h. Suppose g - y + h = 4*g, -9 = 3*y. Is g a composite number?
False
Let n(v) be the third derivative of -v**5/60 - 11*v**4/24 + 3*v**3/2 - 6*v**2. Is n(-7) a prime number?
True
Let f be -9*1*(-4)/6. Suppose -b = -2*b + f. Suppose 27 = 3*v + b. Is v a prime number?
True
Let j(l) = 16*l + 11. Let f be j(8). Suppose 5*r = 10, -3*y - 3*r + 428 = -f. Is y composite?
True
Let x be (1 - -3)*(-11)/(-4). Suppose 3*a - 9 = -4*n, -2*n + 5*a + x = -0*n. Suppose -n*p - 22 = -4*r, -2*r - 3*r - 3*p + 41 = 0. Is r composite?
False
Let g(i) = 80*i**3 + i**2 - i - 3. Let s(j) = j**3 - 1. Let u(c) = g(c) - 4*s(c). Is u(1) composite?
True
Let m(o) = -59*o + 10. Is m(-9) composite?
False
Let h(t) = -t**3 + 12*t**2 - 8. Let b be h(8). Let x = 348 + b. Suppose x = 4*y - 0*y. Is y a prime number?
True
Is 120029/52 - 6/(-8) a composite number?
False
Suppose w + 368 = 3*z - 0*z, 4*w = 16. Suppose -z = -n - 2*y - y, -5*n + 570 = 5*y. Let s = 224 - n. Is s a composite number?
True
Suppose 2*t - 6*t = -480. Suppose t = 3*m - 75. Is m composite?
True
Suppose z = 4*l + 175, 2*z + 4*l - 403 + 89 = 0. Is z a composite number?
False
Suppose 0 = 5*h + 2*y - 14, 0*h - 2*h + 5*y = 6. Suppose -4*f - 2*a = -84, -f + 9 = 4*a + h. Is f a composite number?
False
Let m = -5 - -47. Let a(y) = y**2 + 7*y + 3. Let l be a(-5). Let i = l + m. Is i a composite number?
True
Is (4 - 138)*1/(-2) composite?
False
Let v be (-2)/(-4)*(-2 + 2). Suppose 4*i + 433 + 731 = v. Is i/2*(-2)/3 a composite number?
False
Let v(o) = -o**3 + 25*o**2 - 30*o - 49. Is v(23) composite?
True
Let q(z) be the first derivative of -3*z**2 + 4*z - 2. Let v = -9 + 4. Is q(v) composite?
True
Suppose 5*s = -4*o + 1128, s - 1796 = -4*o - 652. Is o a prime number?
False
Suppose -159 = -2*r + 5*b + 807, 3*r - 2*b = 1471. Is r prime?
False
Let v be 4/22 + 318/66. Let m be 51/2 - (-2)/(-4). Suppose -m = 5*o, -48 = -2*h + v*o + 21. Is h a prime number?
False
Let j(c) = c**3 + 8*c**2 + c + 10. Let f be j(-8). Suppose d + f*d = 18. Let y(x) = x**3 - 3*x**2 - 6*x + 7. Is y(d) composite?
False
Suppose 2*a = -2*a - 36. Is (335 + -1)*a/(-6) a prime number?
False
Let f be ((-2)/6)/((-1)/3). Suppose f = 3*l - 5. Suppose -l*x - x = -18. Is x composite?
True
Let k = 18 - 12. Suppose -h - 31 = -5*c, c + c + k = 5*h. Is c a composite number?
False
Let b be 2/(-5) - (-108)/20. Suppose -b = 3*s - 2. Let z(l) = 38*l**2 - 1. Is z(s) a composite number?
False
Suppose 4*p + 2935 = 9*p. Is p prime?
True
Let s = -6 + 9. Let g = 2 - s. Is (-280)/(-12) - g/(-3) a composite number?
False
Suppose 0 = 3*i + 2*d - 4391, -4*d + d + 5854 = 4*i. Is i composite?
True
Suppose -3*j - 5*p = -2*p - 9, -4*j = -5*p - 12. Suppose -30 = h - j*h. Is h composite?
True
Suppose -5*b - 5*o = -207 - 113, b - 5*o - 94 = 0. Is b composite?
True
Let j(v) = v**3 - 5*v**2 + 12*v - 37. Is j(12) prime?
False
Let k(s) = 8*s**3 + s**2 + s. Let i be k(-1). Let y be i/12 + (-10)/(-6). Let n = y + 9. Is n prime?
False
Let z(m) = m - 2. Let d be z(15). Suppose 2*t - 55 - d = 0. Is t prime?
False
Suppose -6*t + 10*t = 24. Suppose -t*f = -3*f - 3. Is 44 + (-1)/1*f prime?
True
Let y(h) = h**2 - 6*h - 3. Let g be y(7). Let m be (6 - 8)*(-10)/g. Suppose -3*z + 269 = 5*i - 0*z, 5*z - 265 = -m*i. Is i prime?
False
Let o(l) = 4 - 4*l - 3 + 4*l**2 + l**3 + 2. Is o(4) composite?
True
Let p(z) = -18*z**2 - 3*z + 2. Let w be p(2). Let f be (-48)/(-4)*13/(-4). Let n = f - w. Is n a composite number?
False
Let u(x) = -x - 5. Let z be u(-9). Suppose -515 = -z*y - 39. Is y a composite number?
True
Suppose 3*x = h - 3*h + 13123, -4*h - 8738 = -2*x. Is x prime?
True
Let j(n) be the first derivative of n**3/3 - 2*n**2 - n + 3. Let r be j(4). Is (130/(-15))/(r/3) a composite number?
True
Is (-597)/(-5) + 24/(-60) a prime number?
False
Let g = 391 - 222. Is g a prime number?
False
Let o(c) = 41*c**2 + 2*c - 125. Is o(-12) a prime number?
False
Let u(l) = 3*l**2 + 3*l - 3. Let c be u(7). Suppose 0 = -3*h + c - 24. Is h prime?
True
Suppose 0 = 2*o - 743 - 699. Is o prime?
False
Let p = -2 - -5. Let c(m) = 7*m**3 + 3*m**2 - 3*m - 4. Is c(p) prime?
False
Let o be (-1)/(-4) - 3/12. Suppose o = 3*a + a + 4. Is (a - -1) + 49 + 4 composite?
False
Let n(c) be the third derivative of c**5/15 + 7*c**4/24 - c**3 + 6*c**2. Is n(7) prime?
True
Let y = 229 + -338. Let l = y + 198. Is l composite?
False
Let v(y) = -2 + 5 - 1 - 3 + 2*y. Let s be v(-5). Let p = 11 - s. Is p composite?
True
Let c = 63 - 38. Is c a prime number?
False
Let a = -1 - -13. Let l be 7/5 + a/20. Suppose l*r - 50 = -0*r. Is r a composite number?
True
Let s be (2 - 68/5)*-10. Suppose 0 = -3*a - 210 - 33. Let h = a + s. Is h composite?
Tru