Suppose 2*z + 243 = 2*b + z, 0 = -5*b + 3*z + 610. Is b a composite number?
True
Suppose -2*z - 3 = -9. Suppose z*w - 70 = w. Is w a prime number?
False
Suppose 0 = b - 4*b + 669. Is b prime?
True
Suppose -5*l + 26927 = 4*d, -4*l - 8*d = -3*d - 21547. Is l a composite number?
True
Suppose -10 = -5*b - 0. Is -1*b - (-337 - 0) a composite number?
True
Let k be (-2)/8 + 591/12. Let c = k - -130. Is c composite?
False
Let d(r) = r**3 - 3*r**2 - 3*r. Let y be d(4). Suppose -4*z = 2 - 14. Suppose y*l + 3*t - 376 = 0, 146 = l + z*t + 43. Is l a composite number?
True
Let h(y) = y + 9. Let o be 1 + (0 - -1) - 8. Let t be h(o). Suppose 5*w + 2*g = 246 + 305, 321 = t*w - 2*g. Is w a prime number?
True
Let q = -1610 - -3153. Is q prime?
True
Let d(f) be the third derivative of -f**6/60 - f**5/60 + f**4/8 + f**3/3 + f**2. Let i be d(-2). Suppose -i*v + 4*v = -268. Is v composite?
False
Let q be (-5)/(-2)*(-4)/(-5). Is (q - -16 - 2) + 3 composite?
False
Suppose s = 4*n - 4, s = 2*n + 3*s - 12. Let k = 5 - 1. Suppose 0 = -4*r - n*o + 220, 0*o + 204 = k*r - 2*o. Is r prime?
True
Suppose n + 4*t - 219 = 0, -3*n - 2*t = t - 639. Let a = 0 + n. Is a a prime number?
True
Let t(c) = -c + 9. Let d be t(6). Suppose -7*k + 340 = -d*k. Is k prime?
False
Is (2/4)/((-3)/(-582)) prime?
True
Let p(g) = 54*g. Let r be p(1). Let h = 35 + r. Is h prime?
True
Let o(y) = -2*y**2 - 1. Let h be o(2). Let j = h - -18. Suppose -b + 4 = -j. Is b prime?
True
Let t be (-4)/12 + (-3)/(-9). Suppose -n + t*x + 52 = x, -235 = -4*n + 5*x. Is n a prime number?
False
Let u(f) = -5*f**2 - f. Let s be u(-2). Is 871/9 - 4/s a composite number?
False
Let c be 2/5 + (-6)/(-10). Suppose -5*m = q + 7, 2*q - 8*m = -5*m - c. Is q/4*(1 - 15) prime?
True
Let s = 20 + -9. Let x = 25 - s. Is x a prime number?
False
Suppose -7*t + 10*t = 333. Is t a prime number?
False
Let z(a) = 6*a**2 + 4*a - 4. Let s be z(3). Let y be -2 + (s - 2) + 2. Suppose 4*n + 0*n - y = 0. Is n a composite number?
True
Let n = -30 - -3. Let l = n - -46. Is l a prime number?
True
Let w(v) = 3*v**2 + 9*v + 1. Let s = 6 + -12. Is w(s) composite?
True
Suppose -5*h - 3 - 17 = 3*c, -5*c = h + 4. Let l be 3 + 0 - (-167 - c). Suppose -d - 2*d - 53 = -r, 4*d - l = -5*r. Is r prime?
False
Suppose 2*f - 56 = -2*f. Suppose -6*c = -2*c - 364. Let h = c - f. Is h a prime number?
False
Let r be (-3)/(2*6/(-16)). Suppose -r*p - k + 349 = 0, -p = -6*p - 2*k + 437. Is p prime?
False
Let u(z) = 182*z**2 + 2*z - 5. Is u(3) prime?
False
Let y = 288 + 101. Is y a composite number?
False
Let t = 8 - 7. Let c be -6 - -7 - (0 - t). Is ((-3)/(-9))/(c/354) prime?
True
Let o(u) = -u**3 + 7*u**2 + 8*u + 3. Let n be o(8). Suppose -4 = -n*z + 8. Suppose 3*i - 5*t = -13 + 38, z*i + 4*t = 44. Is i prime?
False
Let g be 1*2*4 + -2. Let f(j) = -j**2 + 6*j + 7. Let t be f(g). Suppose 0*p + p = t. Is p composite?
False
Let m(k) = -25*k + 4. Suppose 0 = p - 3*q, 5*p + 8 = p + 4*q. Is m(p) a prime number?
True
Let s = 11 + -7. Suppose 1 = -s*i - 3. Is (-182)/(-8) + i/(-4) a prime number?
True
Suppose -4*i + 6 + 2 = 0. Suppose s = 2*l + 277 + 204, 5*s = -i*l + 2357. Is s composite?
True
Is -1 + 5 - (-2 + -371) prime?
False
Let l(i) = 5*i + 3*i**3 - 1 + 4*i - 3*i - 4*i**3 + 9*i**2. Is l(9) composite?
False
Suppose -2*s + x = -114 - 125, -5*x = -3*s + 362. Is s composite?
True
Let r = 1 - 1. Suppose -3*y + 190 = q, y - 2*q + 2 - 77 = r. Is y a composite number?
True
Let j(w) = 107*w**2 - 5*w + 1. Is j(4) a prime number?
True
Suppose 0 = 5*m - 4*g - 6 + 36, -3*m - 50 = 4*g. Let j = m + 16. Suppose 4*u - 3*u = n + 21, j = -3*n. Is u composite?
False
Suppose 8 + 56 = -4*r. Let z = r + 47. Is z prime?
True
Suppose y - 6 - 4 = 0. Let c = -6 + y. Suppose w = c*k - 320, 3*k - 5*w = 2*k + 99. Is k a prime number?
True
Let c(s) = 2*s + 7. Is c(6) a composite number?
False
Suppose 0*k = -k. Suppose 5*d + 0*d + 4*s = 91, k = -2*d + s + 39. Is d a composite number?
False
Suppose o = -5*o + 2010. Is o prime?
False
Suppose -15 = -5*r - 5. Let j be 2/r + 0 + 1. Suppose -o = -0*o + j, 4*o = 4*a - 276. Is a a prime number?
True
Let k(i) = 5*i**2 - 3*i. Is k(2) composite?
True
Let n = -192 - -395. Is n composite?
True
Let v = 2158 - 1265. Is v composite?
True
Suppose 2*i + 0*i - 14 = 0. Let k(l) = l**2 - 6*l - 4. Let t be k(i). Suppose 6*o - 93 = 3*o - 3*b, -t*b = -3*o + 105. Is o a prime number?
False
Is (4/(-12))/(2/(-1842)) a prime number?
True
Suppose k - 3*g + 9 = -0*k, 0 = 4*k + 2*g + 8. Let q = 17 + k. Is q composite?
True
Let s(b) = 3*b**2 + 2*b + 1. Let k be s(-1). Suppose 15 = 3*x - 5*n, -k*x + 56 = 3*x + 2*n. Is x prime?
False
Let h(l) = 50*l**2 + l + 1. Is h(-2) prime?
True
Let r(o) = 10*o + 10. Let b(s) = 11*s + 10. Let l(p) = -3*b(p) + 4*r(p). Is l(7) a prime number?
True
Let v(o) be the second derivative of 8*o**3/3 + 6*o**2 + 2*o. Let y be v(10). Suppose t - 5*t + y = 0. Is t composite?
False
Let y be (-1 + 65)/(-4 - -5). Let o = 102 - y. Is o composite?
True
Suppose -i - 738 = -10*i. Is i a prime number?
False
Let r = -58 - -115. Is r composite?
True
Suppose -f = f - 718. Suppose 3*o - 124 = f. Is o a prime number?
False
Let h(q) be the second derivative of q**3/6 - 7*q**2/2 - 2*q. Let n be h(11). Suppose -a - n = -18. Is a prime?
False
Is -2999*4/(-6 + 2) a prime number?
True
Suppose 5*w - 1760 = -f - 0*f, 3*f = 4*w - 1427. Is w prime?
True
Let v(o) = 25*o**2 + 6*o - 4. Is v(-3) prime?
False
Let d = 1679 + -882. Is d prime?
True
Suppose 116 = -11*c + 13*c. Is c a composite number?
True
Let l(q) = 14*q + 6. Let y be l(12). Is (-1 + -1)*y/(-4) prime?
False
Suppose -5699 = -5*s + 2*n, 2305 + 2262 = 4*s + n. Is s a prime number?
False
Is 2335/20*(-1 + 5) a composite number?
False
Let v = 13 + -8. Suppose -2*u = 2*m - 3*m + 63, 2*u = -v*m + 279. Is m a composite number?
True
Let b(a) = a**3 + 8*a**2 + 5*a + 6. Let j be b(-8). Is -1 - ((4 - 2) + j) a composite number?
False
Suppose t + 8 = -t. Let g(i) = i**3 + 4*i**2 - 1. Let d be g(t). Let q = 1 - d. Is q a prime number?
True
Suppose v + 4 = 4*f - 22, -2*v - 2*f - 12 = 0. Let c = -5 + 26. Let a = c + v. Is a a composite number?
False
Suppose -3*b - b = 0. Let j = 5 - b. Suppose 0 = -k + j + 1. Is k prime?
False
Let u be -8*(-1)/(-1) + 3. Let i be ((-9)/(-15))/((-1)/u). Suppose i*z + o - 31 = 0, 2*z - 16 = 2*o + 2*o. Is z prime?
False
Suppose -8727 = -q + 842. Is q prime?
False
Let m be 10/(-3)*1035/(-6). Suppose -5*q + 0*q = -m. Suppose -q = 5*a - 350. Is a composite?
False
Let r(s) = 98*s. Let g be r(-1). Let z be 4*(-8)/((-32)/165). Let y = z + g. Is y composite?
False
Let k(s) = s**3 - 6*s**2 - 8*s + 9. Let y be k(7). Suppose y*z + 2*l - 377 = z, 3*z = -l + 1106. Is z prime?
True
Suppose 4*b = -4*y + 44, -2*b = -6*b + 5*y + 53. Suppose -m = 3*m - 8. Suppose b = -m*v + 90. Is v a composite number?
True
Let i be 1/5 - 2/10. Suppose i = 4*b - 4*o - 1077 + 369, 4 = 4*o. Is b composite?
True
Suppose -239 = 5*b - 6*b. Is b prime?
True
Is (93/2)/(3/6) a composite number?
True
Suppose 2*d + 5*h - 1660 = -3*d, 5*h = d - 326. Is d a prime number?
True
Is (-3)/6 - (-766)/4 prime?
True
Suppose 0*p + p - 13 = -4*t, 0 = p - 5*t + 5. Let z(q) be the first derivative of 7*q**3/3 - 5*q**2/2 + 7*q - 5. Is z(p) a composite number?
False
Suppose 5*q + 3*y - 250 = 0, -2*q + 38 = -q + 3*y. Is q a composite number?
False
Suppose -2*k + 3*w + 177 = k, 0 = -2*w. Is k prime?
True
Let m(u) = -u - 3. Let g be m(-5). Suppose -3*o + 5*s - 3*s = -67, g*o - 62 = -3*s. Is o composite?
True
Let h be (790/(-4))/((-1)/2). Suppose -h = -7*r + 2*r. Is r composite?
False
Let q(l) = l**2 + l - 4*l - 1 + 45*l**2. Is q(-3) composite?
True
Let h(o) = o**2 + 2*o - 2. Let y be h(-3). Is -1*(3 + (-56)/y) composite?
False
Suppose 3*j - 15 = 3*f, 5*f + 3 = 3*j + 6*f. Suppose -j*q - 4*z + 224 = 2*q, 5*q + z = 268. Is q a prime number?
True
Let t(g) = -g**2 - 13*g - 15. Suppose 4 = 5*x - 3*x. Suppose 5*n = -5*s - 65, -2*s = s - x*n + 24. Is t(s) a prime number?
False
Let b be 5*(8/10)/2. Suppose 389 = 4*p - b*x - 3*x, 5*x = 3*p - 298. Is p a prime number?
False
Let q(c) = 10*c - 6. Let j be q(-3). Let x = j - -127. Is x prime?
False
Suppose 3*g + 13 - 4 = 0. Let x(o) = -4*o - 2. Is x(g) prime?
False
Let s(k) = -k**3 + 7*k**2 - 3*k + 2. Is s(5) composite?
False
Let