 f. Is f prime?
True
Suppose 219 = v - 668. Is v a prime number?
True
Let q(l) = 22*l**3 - 5*l**2 + 9*l + 3. Is q(4) composite?
False
Suppose 2899 - 490 = 3*r. Is r a prime number?
False
Let r(q) = 25*q + 4. Is r(10) prime?
False
Is 4/(1 - -3)*209 a composite number?
True
Let z = 96 - -65. Is z a prime number?
False
Suppose l + x - 105 = 49, -2*x = 3*l - 458. Suppose -4*y + 1046 = -5*d, -y + l = -5*d - 119. Is y a prime number?
False
Let o(j) = -27*j + 1. Let t = 13 - 16. Is o(t) prime?
False
Suppose 5*k = -3*a + 23, -5*k + 4*k - 4*a + 8 = 0. Suppose k*l - l = 111. Is l prime?
True
Suppose -3*m = i - 1088, 2*i - i = -m + 362. Suppose 128 = -5*d + m. Is d a prime number?
True
Let j(l) = 4*l**2 + 7. Is j(-7) a prime number?
False
Suppose -4*b = -3*c - 26, -21 = -3*b + 4*c + 2. Suppose 4*w = -n + 211, 4*w + b*n - 83 = 124. Suppose u - w = 24. Is u prime?
False
Is 127/((-4)/(-8)*2) composite?
False
Let k = -54 + 133. Is k composite?
False
Is 2/5 + (-12830)/(-50) composite?
False
Suppose 5*w + 243 = -z, -3*w - 63 - 451 = 2*z. Let j = -142 - z. Is j prime?
False
Let q(d) = 273*d**2 - 3*d + 7. Is q(-3) a prime number?
True
Suppose 3*j = -4*z - 4, 5*z = 5*j + 17 - 57. Suppose 0*w - j*w = -8. Suppose -49 = q - w*q. Is q composite?
True
Let v = 598 + -387. Is v a composite number?
False
Let m(f) = 2*f**2 + 5*f + 8. Is m(7) a composite number?
True
Suppose -2*o - 54992 = -18*o. Is o composite?
True
Let b(g) = -g**2 - g + 187. Is b(0) prime?
False
Let j be 8/20*-1*-155. Let o = j - 25. Is o a composite number?
False
Suppose 0 = 2*j + 3*a - 19, 28 = -2*j + 6*j + 4*a. Suppose 98 = j*g + 36. Is g a prime number?
True
Suppose 5*z - 972 = 263. Is z prime?
False
Let b = -15 - -154. Is b a composite number?
False
Suppose -2*d + 2*x - 229 = -5*d, 4*d - 308 = -4*x. Let a = d + -10. Is a prime?
False
Let a = -2 + -2. Let l = 3 + a. Is 60 + -1 + l + -3 composite?
True
Let x(s) = -s**3 - 2*s**2 + 6*s - 1. Is x(-4) a composite number?
False
Let b be (4 - 5)/(2/118). Let y = b + 82. Is y a composite number?
False
Let a(g) be the first derivative of 29*g**5/60 + g**4/24 - g**3/3 - 3. Let z(c) be the third derivative of a(c). Is z(1) a composite number?
False
Suppose 5*k - 582 = 2*k. Suppose n + n = k. Is n composite?
False
Let a(h) = h. Let w(i) = -3*i - 5. Let x(u) = 4*a(u) + w(u). Is x(9) a composite number?
True
Let z = -294 + 683. Is z a composite number?
False
Suppose 4*g - g + 1893 = -4*a, a + 469 = -5*g. Let x = 677 + a. Is x composite?
True
Suppose 0 = -5*a - 5*f + 40, 3*a = a + 5*f + 51. Is a a prime number?
True
Suppose 0 = 6*s - 7*s + 835. Suppose 3*j + o = 2505, j = -0*j - o + s. Is j composite?
True
Let v(d) = -d**3 + 9*d**2 + 5. Let h be v(9). Suppose -2*q + 7*q - h = 0. Is q + (-3 - (2 + -131)) a composite number?
False
Let l(q) = -q**2 - 7*q - 2. Let h be l(-6). Suppose 3*f + 5*k - 8 = 0, h*k = 3*f + 5*k - 4. Is 3/f - -33 - 3 prime?
False
Suppose 5*x + 112 = x. Is ((-7)/(x/60))/1 a composite number?
True
Let m(i) be the third derivative of -i**5/60 + i**3/2 - 2*i**2. Let x be m(0). Suppose -n - 50 = -x*n. Is n a composite number?
True
Let l(f) = -6*f + 6. Let b(d) = 5*d - 5. Let h(i) = -5*b(i) - 4*l(i). Let p be h(-3). Suppose 0 = p*z + z - 35. Is z a composite number?
False
Suppose g - 5*g - 50 = -3*n, 3*g = -4*n + 75. Let h = -11 + n. Is h prime?
True
Let w = -74 + 38. Let u = w - -185. Is u prime?
True
Suppose -2*u = -5 - 19. Let b be (-9)/u*-2*2. Suppose -5*a = -4*g + 133, 5*g = -b*a + 8*a + 170. Is g a composite number?
False
Let n(f) be the second derivative of f**4/6 + f**2/2 + f. Let m = 7 - 10. Is n(m) prime?
True
Suppose -3*f + 3*k - 51 = -6*f, 5*f - 73 = -2*k. Is f prime?
True
Let n be 2 + -1 - (-2 - -3). Suppose n*u = -5*u + 15. Suppose u*y = 3*a - 194 + 38, 3*y - 220 = -5*a. Is a composite?
False
Let j(s) be the first derivative of 13*s**3/3 - s**2 - 8. Is j(-3) prime?
False
Let y(t) = -t**3 + 4*t**2 + 5*t + 5. Let m be y(5). Suppose 173 + 42 = m*h. Is h a composite number?
False
Let c(j) = j**3 - 5*j**2 + 6*j + 5. Is c(6) a composite number?
True
Let z = -221 + 157. Let p = 81 - z. Suppose -p = -2*u + 93. Is u a composite number?
True
Let m(a) = 253*a**3 - a**2 + 1. Let v be m(1). Suppose x + 3*c - v = 2*c, 0 = x - 5*c - 241. Is x composite?
False
Let h(y) = -y + 31. Let x be 1*(-2 + 3)*0. Let w be h(x). Is (-5 - -3)*w/(-2) a composite number?
False
Suppose 14*p + 18145 = 3*i + 10*p, 3*i - 2*p = 18137. Is i a prime number?
True
Suppose 0*c + 190 = 5*c. Let d(x) = -x**2 + 11*x - 11. Let j be d(7). Suppose u - c = j. Is u a composite number?
True
Suppose 0 = -3*t + 317 - 26. Is t a composite number?
False
Let j be ((-2)/4)/((-2)/12). Suppose -2*f = -4*y - 2, f + j = 3*y + y. Is y/(-9) - 2215/(-45) a prime number?
False
Let t(c) be the first derivative of c**2/2 - c + 2. Let o be t(4). Suppose 0 = -3*g + 2*g - o*z + 47, -4*z - 47 = -g. Is g a composite number?
False
Let k = 17419 + -31359. Is (-2)/(-11) - k/44 composite?
False
Suppose 4*g = -307 + 855. Suppose 4*t = t + 4*s + 121, -4*s + g = 3*t. Is t prime?
True
Let s = 833 + 184. Suppose 3*i - s = -0*i. Suppose -i = -3*f - 3*u, 2*f + 0*u - 4*u - 202 = 0. Is f prime?
True
Let f be (3*-149)/(3/(-3)). Suppose -4*a + 636 = -2*s, -3*a + f + 21 = 3*s. Suppose 0 = o + o - a. Is o a composite number?
False
Let d be 130/50 + 4/10. Suppose 0 = -2*h + 3*o + 158 + 221, -o = d*h - 552. Is h a prime number?
False
Let o = 14 + -26. Let b be 1*(-4)/(o/15). Suppose 0 = 2*q - 8, -1047 = -b*m + 5*q - 3*q. Is m composite?
False
Let v(f) = -3*f - 9. Is v(-10) composite?
True
Let h(s) = 11*s**2 - 2*s - 5. Is h(-4) a prime number?
True
Suppose -d = h - 2*h + 17, 5*d - 20 = -2*h. Suppose w - h = 11. Is w - 6 - (-2 + 1) composite?
True
Suppose -2*v = -3*u + v + 300, -4*u = -3*v - 396. Let w be (-4)/6 + 31/(-3). Let h = w + u. Is h a prime number?
False
Suppose -5*m = -2*p - 6595, 3*m + 2*p - 5764 = -1807. Is m prime?
True
Let r be (3/2)/((-3)/(-6)). Suppose -2*a = 2*o + 6, -3*a - 5*o = -r*o + 4. Let q(j) = 43*j - 3. Is q(a) prime?
True
Let x = -170 + 463. Is x a composite number?
False
Let w = 8 + -7. Is 67/(1*w/1) prime?
True
Let c = -391 - -682. Is c a composite number?
True
Suppose s = -3*i + 44, -4*i - s = -2*s - 61. Is i a composite number?
True
Suppose w - 105 - 14 = 0. Suppose -2*i = -0*i - 5*x - w, x = -5*i + 284. Is i a composite number?
True
Let l(w) = -2*w - 8. Let d be l(-6). Let b be (1*d)/(2 + -1). Suppose -82 = -b*h + 10. Is h a composite number?
False
Suppose -4*a + 2122 = -5*p, -5*a - 1710 = 4*p - 2*a. Let c = 637 + p. Is c a prime number?
True
Let o = 140 + -82. Suppose 4*d - 206 = -o. Is d prime?
True
Suppose -815 = -3*l - 2*l. Is l composite?
False
Suppose d - 986 = -d. Is d a prime number?
False
Let i = 41 + 12. Is i composite?
False
Let l = 142 - 75. Is l a prime number?
True
Suppose 4894 = 2*z + 5*v, 2*v = 3*z - 4379 - 2924. Is z a composite number?
False
Suppose 0 = 3*s - 721 + 106. Is s a composite number?
True
Let w(a) = -a + 1. Let r be w(2). Let z be -12*(-4)/12*-2. Let d = r - z. Is d a composite number?
False
Let s = -1562 - -2302. Suppose 5*c - s = -0*c. Suppose 5*b - b - c = 0. Is b a composite number?
False
Let m = 4 - 1. Suppose 4*z + 5*n = 311, z + m*n = 4*z - 240. Is z prime?
True
Suppose 0 = 5*z - 10, -g + z - 38 = -4*g. Suppose -38 = -3*y - 5*a, 0 = 2*a - 3*a + 1. Suppose p = g + y. Is p a composite number?
False
Let b(j) = -5*j - j**2 + 6*j + 8*j. Let z be b(9). Suppose z*a = -a + 53. Is a a composite number?
False
Let m(q) be the first derivative of -q**3/2 + 3*q**2/2 + q + 1. Let o(u) be the first derivative of m(u). Is o(-6) prime?
False
Let n = 7010 - 4011. Is n composite?
False
Let v(i) = i - 5. Let g be v(8). Suppose 1 = -g*t + 13. Suppose t*r + 134 = 6*r. Is r a composite number?
False
Let a(n) = n + 21. Let u be a(-11). Suppose u + 2 = 4*x. Is ((-112)/(-24))/(1/x) composite?
True
Let k(t) = 3*t**3 - 4*t - 1 + t + 4*t**2 + t. Let a be k(2). Suppose -m = -0*m - a. Is m a composite number?
True
Let k be (0 - -2)*(-4 + 5). Suppose -k = 2*j - 5*y, -2*j - 11 = -y - 1. Let w(r) = r**3 + 6*r**2 - 5*r + 1. Is w(j) a composite number?
False
Let h(c) = 3*c**2 + 3*c - 2. Is h(4) a composite number?
True
Suppose 5*b = 4*m - 768, -5*b = 3*m - 283 - 293. Let l(v) = 30*v + 7. Let 