 composite?
True
Let s(b) = b**3 - 7*b**2 - 19*b - 7. Is s(10) prime?
True
Suppose j = 2*z - 117, -z + j + 61 = 3*j. Let d = -105 + z. Is (-1)/(2 - d/(-22)) a prime number?
True
Suppose -223 = -5*t - h - 0*h, 4*t - 4*h = 164. Let g = t + 8. Suppose 6*p - 2*p = g. Is p prime?
True
Let h(m) = 13*m**2 + 2*m + 4. Is h(3) composite?
False
Suppose 6 + 84 = 5*n. Suppose 2*v + 0*v + n = b, 150 = 5*b + 5*v. Is b a composite number?
True
Is 1/(-2)*3*(-40674)/9 composite?
False
Let j(v) = -v**2 - 14*v - 6. Suppose 26 = -4*w - 2*n, -3*w + 2*n = 22 + 15. Is j(w) a composite number?
True
Let n(t) = t + 9. Suppose -u = r + 3, -3*u + 4 = r + 1. Let a be n(r). Is 483/2*2/a a composite number?
True
Suppose -x + 41 = 3*k, -k = 2*x + x - 155. Is x a composite number?
False
Let f = -4 - -11. Suppose f = 2*g + 3. Suppose 12 = 3*r, -2*z - g*r + 254 = 76. Is z composite?
True
Suppose a - 3*z - 218 = -3, 5*a = 5*z + 1065. Let q = -4 + 7. Suppose -q*l + a = l. Is l a prime number?
True
Let t(l) = 2*l - 8. Let v be t(6). Suppose -v*r = r - 635. Is r a prime number?
True
Let n(h) = 219*h**2 + 4*h + 3. Is n(2) composite?
False
Let k be (6/4)/((-8)/16). Let w(v) = -2*v + 2 - 4 + 17*v**2 - 2. Is w(k) a prime number?
False
Let i = -5 - -10. Let m = -5 + i. Suppose -3*c = 2*q - m*c - 77, -q + c + 26 = 0. Is q composite?
False
Let j be 5*(-1 + -2 - -4). Suppose -j*z = -3*z - 74. Is z composite?
False
Let n(a) = a**3 - 8*a**2 + 11*a - 10. Let m be n(7). Is 3786/m - 2/(-3) a prime number?
True
Suppose 0 = b - 97. Suppose -w = -2*w + b. Is w prime?
True
Let a(i) = 6*i + 3. Suppose 4 = -r + 2*r - 2*z, 3*r + 9 = -z. Let j be a(r). Let d = j + 18. Is d a prime number?
False
Suppose j = -2*j - 129. Let b = j - -94. Is b composite?
True
Suppose 8*u - 4*u = -48. Suppose -f + 2*f = k - 6, -20 = 5*k + 5*f. Is ((-381)/u)/(k/4) a prime number?
True
Let k be ((0 - 708)/3)/(-2). Suppose 207 = 5*h - k. Is h a composite number?
True
Let f be 15/(-2) + 1/2. Let r(j) = -11*j + 11. Let u(n) = -11*n + 12. Let o(t) = 6*r(t) - 5*u(t). Is o(f) a composite number?
False
Let b = -5 - -8. Suppose -136 = -b*o + 5. Is o prime?
True
Let s = 279 + -56. Is s composite?
False
Suppose -4*c - r - r + 3670 = 0, -2*c + r + 1841 = 0. Is c a composite number?
False
Let o be 20/6*24/20. Suppose 2*g + 783 = 5*b, g - 117 = -o*b + 512. Is b a prime number?
True
Let v(j) = j**2 + j + 3. Let o be v(0). Suppose 0 = o*z - 4*z. Suppose -u + 108 = 3*s, 3*s + 3*u - 8*u - 126 = z. Is s prime?
True
Suppose 1814 = 2*g + 4*o, 5*g - 4*o - 1855 = 2708. Is g a prime number?
True
Let u(t) = -t. Let f be u(1). Let y(j) = 14*j**2 - 3 - 2 + 7 - 1. Is y(f) a prime number?
False
Let t = 103 - -46. Is t prime?
True
Suppose 5*t - 3*f + 7*f = 2319, 3*t - 1417 = 4*f. Is t a composite number?
False
Let p = -410 + 219. Is (-8)/36 - p/9 composite?
True
Suppose -2*t = 2*h - 2, -4*t + 24 = -0*t - h. Let n(v) = 52*v - 3. Is n(t) a composite number?
False
Let p be (4/(-1) + 3)*47. Let z = p + 66. Is z a prime number?
True
Suppose 4*z = -5*w + 4525, -z + 896 = w - 2*z. Is w prime?
False
Let s = -23 + 81. Is s composite?
True
Suppose -2*d - 164 = -2*v, 5*d - 231 = -3*v + 3*d. Is v a composite number?
False
Let u = 935 - 490. Is u a prime number?
False
Let x(r) = 50*r - 1. Let k be (-12)/(-9) + 3/(-9). Is x(k) a prime number?
False
Let d = 25 + -7. Suppose 4*o = -5*m + d, m - 4*o = -m + 24. Is m prime?
False
Let m(a) = 1262*a + 1. Is m(3) composite?
True
Let v = 11 + -16. Let y(r) = 2*r**2 + r - 5. Let t be y(v). Let m = t + -25. Is m composite?
True
Is -1 - 1 - -2*(-675)/(-2) a prime number?
True
Let o = -34 - -59. Is o prime?
False
Let s = -8 + 2. Let z(g) = -14*g - 7. Is z(s) a composite number?
True
Is (-147 - 2)/(-2 + 1) composite?
False
Suppose -5*s - 323 = -5*h - 38, -h - 5*s = -33. Is h prime?
True
Let h(z) = -74*z - 5. Is h(-5) prime?
False
Let g(i) = 17*i + 2. Let q = 0 + -2. Let l = 5 + q. Is g(l) prime?
True
Suppose 5 = o + 2. Suppose -i - 238 = -2*k, 371 = o*k - 0*k + 2*i. Is k prime?
False
Let p(x) = -x + 7. Let w be p(6). Suppose -5*u - w = -86. Is -1*1 + 6 + u a prime number?
False
Suppose 4 = h - 1. Suppose 3*u = 3*g - 8*g + 7, -5*g = 5*u - h. Suppose b = 4*m - 23, -g*b = 3*m + m - 26. Is m a composite number?
True
Let n be (-6)/4*112/(-12). Suppose -2*t + 4*t = n. Is t prime?
True
Suppose 20 = -5*g, -5*j + 3*g = 2*g - 639. Is j prime?
True
Let y(i) = 13*i**2 - 2. Suppose 0 = 4*s + 3*n + 18, 3 = 5*s - n + 16. Let o be y(s). Suppose -6*u = -u - o. Is u composite?
False
Suppose 287 = 3*f - 5*s, -5*s = 3*f - 3*s - 322. Suppose -q + f = 2*t - 3*q, -2*q + 108 = 2*t. Is t a composite number?
False
Let u = 3 - 1. Suppose -8*s = -4*s - 2*f - 24, u*s - 12 = -2*f. Is s composite?
True
Let c be (4/(-2) - -3) + 2. Let w be (-11 + 11)/(3 + -1) - -277. Suppose -c*a + 5*k + w = 0, -6*k - 182 = -2*a - 4*k. Is a a prime number?
True
Suppose 0 = -3*k + k + 176. Suppose 5*m = 87 + k. Is m prime?
False
Let f(x) = 169*x - 7. Is f(6) prime?
False
Let k = -4 - 1. Let n(m) = -13*m - 6. Let b be n(k). Suppose 0 = -3*a + 3*f + 2*f + b, -9 = -a - f. Is a composite?
False
Suppose -i + 1 = -1. Let j(q) = -5 - 2*q - 3*q**3 + 4*q**3 + 0*q - 5*q**i. Is j(6) a composite number?
False
Is (-4)/(-16) + (-10209)/(-12) a prime number?
False
Let m be 3/(-5) - (-6)/10. Suppose 3*t - j - 810 = -6*j, 0 = t + 5*j - 280. Suppose -t = -m*d - 5*d. Is d composite?
False
Let m(t) = t**2 + 25*t - 15. Is m(22) a composite number?
False
Let j = -1 - -2. Let b(s) = 7*s - j - 4 + 2. Is b(6) a composite number?
True
Let o(s) = s**3 - 5*s**2 + 6*s - 13. Is o(9) prime?
False
Suppose 3*g - 1139 = 2*g - 3*y, -4*g = y - 4512. Suppose g = 2*q + 289. Is q composite?
False
Let a(t) = -t**3 + 5*t**2 - 5*t + 2. Let m be a(4). Is 89 + 1 + m*2 a prime number?
False
Let b = -189 + 286. Suppose 2*t - b = 57. Is t prime?
False
Let z = 28 - 19. Is 3/z*6 + 2 prime?
False
Let s = -7482 - -12143. Is s prime?
False
Let k(b) = b**3 + b. Let v be k(0). Suppose -12 = -4*z - v*z. Suppose -2*i + 74 = x + 26, z*x - 69 = -3*i. Is i a prime number?
False
Let y be (-66)/(-15) + 4/(-10). Suppose i + 6*v = 3*v + 639, -y*v - 1891 = -3*i. Is i prime?
False
Is 36 + 2/(-4)*-2 a composite number?
False
Let g be 32 - (-1)/1 - 0. Suppose 0 = s - g - 4. Is s a composite number?
False
Let n(r) = r + 1. Let i(s) = 15*s + 7. Let l(a) = i(a) - 6*n(a). Is l(4) a composite number?
False
Let u(i) = 11*i + 61. Is u(18) prime?
False
Is (-1337)/(-3) + 2/(-3) a composite number?
True
Let r(n) = 10*n**2 - 4*n - 15. Let i(j) = -11*j**2 + 3*j + 16. Let a(f) = 6*i(f) + 7*r(f). Is a(8) prime?
True
Let t(j) = -j**2 - 6*j + 2. Let y be t(-5). Suppose -3*i = n + y, 2*n = -5*i + 2*i - 5. Suppose -3*l = -5*u + 11 - 54, 5*u = -n*l + 62. Is l prime?
False
Suppose w = 4*v - 3*w, -3*v + 2*w = -2. Suppose g - v*g + 187 = 0. Is g a prime number?
False
Is ((-122)/4)/((-2)/44) a prime number?
False
Let b(x) = x**3 + 10*x**2 - 6*x + 11. Is b(-8) composite?
True
Let w(a) = -a**2 - 4*a. Let x be w(-4). Suppose 5*u + 20 = 5*l, l + x*l - 13 = -2*u. Is l composite?
False
Let x = 506 + -283. Is x composite?
False
Suppose -2*z - 2 + 6 = 0. Suppose -4*l + 3*o = -z*l - 1076, 4*l - 2154 = 5*o. Is l a prime number?
True
Suppose -127 - 743 = -6*d. Let m = -34 + d. Is m prime?
False
Suppose -75*l + 81*l - 33738 = 0. Is l prime?
True
Let q be 56/10 - (-4)/10. Let s(k) = -1 + 3*k - 8*k**2 + 2*k - q*k + 45*k**2. Is s(-1) a composite number?
False
Suppose 42 = l + 5*k, -17 + 5 = -l + 5*k. Suppose 8*x - 3*x = 4*t + 34, -4*x + 3*t = -l. Suppose -5*v = -x*v + 34. Is v a composite number?
True
Let l = -8 - -11. Let u(z) = 62*z + 5. Is u(l) a prime number?
True
Suppose 5 = 3*w - 106. Is w a prime number?
True
Suppose 0 = -d + 3*m - 5 + 3, -4*m + 5 = d. Let g(q) = 54*q**2 + 2*q - 1. Is g(d) prime?
False
Suppose 2*s - 318 = -5*d, -5*s + d + 861 = -3*d. Is s a composite number?
True
Suppose -4*m + 2014 = -246. Is m prime?
False
Let n(x) = 21*x**2 - 5*x - 9. Is n(-4) composite?
False
Suppose -2*w - 1 = -9. Suppose w*d - 306 = -0*d - 5*x, -5*x - 326 = -4*d. Is d composite?
False
Let v(r) = -r**3 - 7*r**2 - 9. Suppose -4*u + s + 2*s + 17 = 0, 2*s = -4*u + 22. Suppose -9 = -2*t - u*k, -1 = -5*k + 24. Is v(t) a composite number?
True
Let n(z) = 74*z - 1. Is n(8) a prime number?
Fa