1308. Is y a prime number?
True
Suppose 32109 = r - 5*t + t, r - 5*t = 32108. Is r a composite number?
True
Let r = -228 + 407. Let q = r + 120. Is q a prime number?
False
Let k(x) = -462*x**3 - x**2 - x + 3. Is k(-2) a prime number?
True
Let x(u) = -u. Let v(b) = -3*b**2 + 23*b + 11. Let k(w) = -v(w) - 4*x(w). Is k(15) composite?
False
Let q(a) = a**2 + 7*a + 8. Let b = 10 + -16. Let i be q(b). Suppose -7*v + i*v + 263 = 4*n, -n = 3*v - 162. Is v a composite number?
True
Suppose -2*l = -2*q + 5 - 1, 36 = -3*l - 3*q. Let r be 15787/l + (-12)/(-42). Is r/(-11) + (-1 - 1) composite?
True
Suppose -10*q + 9*q = -4. Let f(c) = 3 - q + 105*c**2 + 0. Is f(-2) prime?
True
Let t(y) = 43*y**2 - 34*y - 264. Is t(-15) composite?
True
Suppose 3*s + 6 + 3 = 0. Is (s + 2)/(6/(-78)) a prime number?
True
Suppose -30844 = 15*c - 97879. Is c composite?
True
Suppose 3*y - 343831 = 4*a, 0*y + 5*a + 573045 = 5*y. Is y composite?
True
Let t(z) = -117*z + 17. Let k be t(3). Is (-20)/(-4) + -5 - k*1 composite?
True
Let j = -38 - -38. Suppose j = 28*u - 29*u + 2. Suppose 0 = -u*b + 7*b - 1085. Is b a composite number?
True
Let b(m) be the second derivative of 3/2*m**2 - 5/2*m**3 + 1/6*m**4 - 10*m + 0. Is b(10) a composite number?
False
Suppose 3*p - 4 = 8. Let k(q) = -q**3 + q**3 + 6*q + 14*q**2 - p*q + 2 + q**3. Is k(-13) a prime number?
False
Let d(q) = 335*q + 27. Is d(4) a prime number?
True
Let o(b) = 71*b**2 - 16*b - 10. Is o(-3) composite?
False
Is 43 + -45 + 5147*3 prime?
True
Is (-79)/(-2)*158 - (-8 + 6) a composite number?
True
Let m = -97 + 99. Suppose -3*r = 3*d - 9363, m*d + r - 921 = 5317. Is d prime?
False
Suppose -63 = -3*c + 27. Suppose 0 = -5*b - 45 - c. Let a = b - -34. Is a a prime number?
True
Let u(s) = -s**3 - 7*s**2 + 40*s + 17. Is u(-37) a prime number?
True
Let f = 25 + -27. Is 4 + (-2)/(f/289) prime?
True
Let u = -84 - -77. Let p(n) = -31*n + 37. Is p(u) prime?
False
Let a(d) = d. Let r(z) = 73*z**2 + 5*z + 1. Let j(v) = -2*a(v) + r(v). Is j(3) composite?
True
Suppose 12*f = -7*f + 85006. Is f a composite number?
True
Let g(t) = 543 + 30*t**2 + 50*t**2 - 544. Suppose 0 = -2*z - 4*l + 20, -5*l + 16 - 6 = -5*z. Is g(z) a composite number?
True
Suppose 2*j + 5*r - 360 = 0, -2*r = 4*j - 970 + 250. Suppose -4*m = -l - 113, 3*m + 378 = -3*l + 2*m. Let n = j + l. Is n a prime number?
False
Suppose 8703 = 5*b - 1562. Is b a composite number?
False
Let r = 62308 + -8274. Is r composite?
True
Let s = -1823 - -3336. Is s a prime number?
False
Let y = 14 + -8. Let d(l) = l**3 - 4*l**2 - 6*l - 2. Let r be d(y). Suppose 0 = -h + 17 + r. Is h a prime number?
False
Let z(k) = 163*k**2. Let m = 10 - 12. Let p(g) = 81*g**2. Let y(n) = m*z(n) + 5*p(n). Is y(-1) prime?
True
Let r(l) = -8*l**3 + 2*l**2 - 2*l - 1. Let w be (-4)/12*7*3. Let k be (w + 8)*-1*3. Is r(k) a composite number?
False
Suppose -3*r + 5*r + 8 = 0. Let h be (-28)/(-70) - r/(-10). Suppose v + 4*v - 1255 = h. Is v a prime number?
True
Let z = 2245 + -414. Is z composite?
False
Suppose -4*q + 490 = 5*s, -s = 3*s + 4*q - 396. Let j = 148 - s. Let h = 121 - j. Is h a composite number?
False
Let p = 1922 - 3073. Is 16/(0 + -4) - p a composite number?
True
Suppose -w + 62 = -5*s, 4*s - 2*w = 2*w - 56. Let n(k) be the first derivative of -5*k**2 - 5*k - 70. Is n(s) composite?
True
Let i(l) = 2*l**2 + 2*l + 2. Let g be i(-1). Suppose -g*d - 156 = -1402. Is d composite?
True
Let a(x) = x**3 - 5*x**2. Let d be a(5). Let w be (0 + -2 - -1)*d. Suppose 141 = 3*g - w*g. Is g a composite number?
False
Suppose -4*z + 10796 - 455 = -5*m, 0 = -5*z - 4*m + 12875. Is z a composite number?
False
Let r(k) = 134*k + 5. Let o(q) be the first derivative of 669*q**2/2 + 26*q + 6. Let g(u) = 2*o(u) - 11*r(u). Is g(-2) composite?
False
Suppose 6 = 3*h + 3*d, 4*h + 4*d = 2*h. Suppose 2*y - y - 13 = -4*u, 0 = -h*y + 3*u - 5. Is 415 - 1*2/y prime?
False
Let q(u) = u**2 + 4*u - 21. Let n be q(-7). Suppose s - 5*h - 672 = 225, n = -5*s - 3*h + 4541. Is s composite?
False
Suppose -13 = -3*r + 11. Suppose 2630 = r*a - 2066. Is a composite?
False
Suppose 0 = -2*t - 2*g - 66 - 966, g - 526 = t. Let c = -226 - t. Suppose 4*u + u = c. Is u a prime number?
True
Suppose v - 3*f - 32131 = 0, 2*v = 6*v - 3*f - 128542. Is v a prime number?
False
Suppose 4*n + 6*g - 2824 = 11*g, -5*n = -4*g - 3521. Is n a composite number?
False
Suppose 0 = -z - 3*z - t - 138, 0 = -2*z + 5*t - 58. Let s = 92 + z. Is s a prime number?
False
Suppose -14*s + 5313 = 2191. Is s prime?
True
Let k(n) = -833*n - 37. Is k(-4) a prime number?
False
Suppose -5*w + 3*n + 4738 = 0, -4736 = 4*w - 9*w + n. Let x = w + -546. Is x composite?
False
Suppose 698260 = 3*q + 17*q. Is q prime?
True
Let k = -1211 - -1824. Is k prime?
True
Suppose 81*f - 42*f = 236067. Is f composite?
False
Suppose 5*i - 511 - 244 = 0. Let h = i - 24. Is h a composite number?
False
Let i be (46/69)/(2/(-6)). Is i/11 - (-19586)/154 a prime number?
True
Suppose -10*r = -2*r. Suppose r = -o + 23 - 2. Is o composite?
True
Let a(j) = j**3 + 4*j**2 + 4*j - 4. Let d be a(-4). Let h be d - (9/3 + -1). Is (-4)/h - 4260/(-44) prime?
True
Suppose -148*d = -149*d + 3027. Is d a composite number?
True
Let o(g) = -1604*g**3 - g**2 + 7*g + 16. Is o(-3) a prime number?
False
Let y = -645 - -954. Let u be ((-24)/(-18))/(2/3). Suppose p + u*p = y. Is p prime?
True
Let g(l) = -4*l - 3. Let b = -37 + 52. Let n be ((-7)/(-3))/((-5)/b). Is g(n) composite?
True
Suppose -236887 = -2*s - 5*s. Is s a composite number?
True
Let g = -14 - -15. Is (-12)/(-3) - g/((-2)/1250) a composite number?
True
Suppose -79 - 32 = 5*w - 3*n, -15 = 5*n. Is 1/((w/43256)/(-4 - -1)) a prime number?
True
Suppose 0 = 7*z - 3*z - 1628. Is z a prime number?
False
Suppose 9 + 7 = -4*r. Let x be 2*(-8)/r*1. Suppose -x*i = 4*q - 852, -3*q + 643 = -0*i + 4*i. Is q prime?
False
Suppose -c - 10 = -257. Let u = c - 388. Let s = 410 - u. Is s a composite number?
True
Let b(m) = 4*m - 19. Suppose -5*r = -z + 10, -4*z - 7 = -2*r - 47. Is b(z) a prime number?
False
Suppose -30145 = -5*m + 5*c, -4*m + c = -31588 + 7472. Is m a composite number?
False
Let h = 158933 - 59760. Is h composite?
False
Suppose 16*w - 356632 = 8*w. Is w prime?
True
Let a(l) be the second derivative of 9/2*l**2 + 3/2*l**4 + 11*l + 0 + 4/3*l**3. Is a(-5) a composite number?
False
Let o(d) = d**2 + 11*d - 14. Let r be o(-10). Let u be 90/r + 3/(-12). Is 829 - 0/(u + 7) composite?
False
Let c = -15 - -18. Suppose 0 = -2*j + c*b - 17, -2*b + 3*b = -3*j - 31. Is (-788)/j - 1/(-5) composite?
False
Is (-9036)/(-54)*3/2 a composite number?
False
Suppose -j + 5*k = -17301, -5*j + k + 40961 = -45496. Is j a composite number?
False
Is (-78)/143 + (-162377)/(-11) prime?
False
Suppose 3*f - 5*f + 32 = 0. Is 10444/f - 1/(-4) a composite number?
False
Let a(i) = -i**3 - i**2 - i + 10. Let p be a(0). Suppose -3*u - 2*u - p = 0. Is (694/4)/(u/(-4)) prime?
True
Let o(j) = 3*j**2 - 7 - j + 2*j**2 - 4*j**2. Suppose 6*m = -6 - 24. Is o(m) a prime number?
True
Let z(o) = 6*o + 3*o + 6*o**3 - 10*o**2 - 8*o - 12 - 4*o**3. Is z(7) a prime number?
True
Suppose -3*v + 10 = 2*v. Let x = v - 3. Is 3 + 495 + x + 2 a prime number?
True
Let z be 3 - -4 - (-4)/(-2). Suppose 3*h - t = 12, 2*h + t - z*t - 8 = 0. Suppose -85 = -x + g, h*g = 4*x + x - 429. Is x a composite number?
False
Suppose 6 + 5 = -3*m + 4*l, -20 = 5*m - 5*l. Is 8/(-10)*m/2 a prime number?
True
Suppose 2*u + 4*s = 18, -3*s = -4*u - 13 - 6. Suppose 2*b = 32 + 18. Let a = b - u. Is a a prime number?
False
Suppose 0*t = -t. Suppose 0 = -z + 4*z + s - 8, 5*z - s - 8 = t. Suppose -4*q + 4*d = q - 798, d + z = 0. Is q a composite number?
True
Let c = -26 + -41. Let x = -27 - c. Suppose -z + 6 = -x. Is z a prime number?
False
Suppose 12*c - f + 8329 = 15*c, -f + 11106 = 4*c. Is c a composite number?
False
Let w(s) = -s**3 + 15*s**2 - 3*s + 22. Let i be w(15). Let f be 7314/66 - (-2)/11. Let g = f - i. Is g prime?
False
Let k(c) = c**3 - c**2 + c + 1. Let h be k(0). Is 3*(h - (-168)/9) a composite number?
False
Let i(z) be the first derivative of 124*z**2 - 7*z - 3. Is i(3) a prime number?
False
Let j = 9 + -7. Let i(h) = 7*h**2 + 6*h + 2*h**j + 4*h + 7 - 4*h. Is i(-4) prime?
True
Let o(i) = i**2 + 7*i + 11. Let j be o(-5). Let q(s) = 1410*s**2 - 2*s 