a a prime number?
False
Let f = 4167 + -2218. Is f a composite number?
False
Is (5*-2)/((-2)/23) prime?
False
Suppose 5*k = 6*k - 415. Suppose k - 1120 = -5*w. Is w prime?
False
Let w = -8 + 7. Is (-170)/(-8) - w/(-4) prime?
False
Suppose -7165 - 3412 = -7*q. Is q a prime number?
True
Suppose -78 = -2*t + u - 12, 4*t - 132 = -u. Is t prime?
False
Suppose 5*h + 63 - 308 = 0. Is h a composite number?
True
Let u(b) = 9*b**2. Let r be u(7). Suppose 0 = 3*d - 33 + r. Let s = d + 242. Is s composite?
True
Let f = 1722 - 166. Suppose -i + 5*i = f. Suppose 2*z + 4*v = 5*v + 156, i = 5*z - 2*v. Is z a prime number?
False
Let y(o) be the first derivative of 6*o**3 + o**2/2 - 2*o + 2. Is y(-3) a prime number?
True
Suppose -v + 2*a = -357, v - 2*v = -a - 356. Is v composite?
True
Let d be 0 - (-3)/1 - 2. Let w(v) = 82*v**2 + v. Is w(d) prime?
True
Let w(b) be the first derivative of 5*b**3/3 - 4*b**2 + 8*b - 4. Is w(5) a prime number?
False
Is 5/((-10)/(-3704)) - -1 prime?
False
Suppose -4*d = d. Suppose -45 = -y - 4*c, d = y + 2*y - 5*c - 101. Is y prime?
True
Let z(q) = q**3 + q**2 - q - 1. Suppose -5 = -3*b - 8. Let u be z(b). Suppose u*f = 5*f - 485. Is f a prime number?
True
Let w = 98 + -52. Let q = w + -27. Is q a composite number?
False
Is (-1338)/4*8/(-12) a composite number?
False
Is (-1 + -2)*335/(-3) a composite number?
True
Let j(r) be the third derivative of 3*r**4/2 - r**3/3 + 2*r**2. Is j(5) prime?
False
Is 61 + 1 + 0 + -3 a prime number?
True
Let d(v) = -5 + 106*v + 5 - 36*v. Let c be d(1). Suppose r - 4*x - 21 = c, 4*r - 3*x = 364. Is r prime?
False
Let v(m) = m**2 - 5*m + 1. Let r be v(5). Let s(j) = 276*j - 1. Let x be s(r). Suppose x = -3*h + 8*h. Is h composite?
True
Let v(n) = -24*n - 3. Let s be v(5). Let w = s - -451. Let h = 483 - w. Is h a prime number?
False
Let w(q) = q - 1. Suppose 4*x + x - 1 = -3*k, -3*x + 3 = k. Let y be w(x). Is y/(123/(-63) - -2) prime?
False
Suppose 4*g + 12 = 2*v, -2*v - g = -4*g - 9. Suppose v = -3*i + 7 + 14. Is i composite?
False
Let p(c) = 12*c**3 - c**2 - c - 4. Let n be p(-3). Let m = 521 + n. Is m a prime number?
False
Let f = 1 + 1. Let t be 4*(-1 + 2 - 0). Suppose -f*x = -4*v, -t*x + 20 = -4*v - 0*v. Is x prime?
False
Let a(k) = -k**3 - 4*k**2 - 1. Let r be a(-4). Let j(l) be the second derivative of -35*l**3 + l**2/2 + 3*l. Is j(r) prime?
True
Suppose 3*l - 345 = 8*l. Suppose 0*f - 220 = 5*f. Let i = f - l. Is i composite?
True
Let c = -5322 - -7793. Is c prime?
False
Let c be 26 - (0 + 1 + -2). Let a(o) = -o**2 + 8*o - 5. Let h be a(5). Let v = h + c. Is v composite?
False
Suppose c - 773 = -4*g, 129 = 2*g + 3*c - 260. Suppose 5*x - 63 = -3*r + g, -5*x = 5*r - 410. Is r prime?
False
Let s = -945 - -1584. Suppose -s = -5*h + 1226. Is h a prime number?
True
Suppose 0 = -2*o + 4*m + 1916 + 406, -3*o - m + 3448 = 0. Is o prime?
True
Let u = 3325 - 1674. Is u a composite number?
True
Suppose -571 = -b - 30. Is b a composite number?
False
Let t = 2014 - 1348. Suppose -k = 2*k - t. Suppose 0 = 2*w - 32 - k. Is w prime?
True
Suppose 5*b = -g + 138, -2*g - 2*b = b - 269. Suppose -u + g = -0*u. Is u composite?
True
Suppose 5 = -5*j, 0 = n - 3*n - 5*j + 1265. Is n composite?
True
Let f(u) = -1406*u - 5. Is f(-2) composite?
True
Suppose -144 = -2*o - 2*o. Is 3362/18 - (-8)/o a prime number?
False
Let y = -179 - -255. Suppose -k = 3*h + k - y, 0 = 4*k - 20. Is h composite?
True
Let u(j) = -2 + 6*j + 10*j - 5*j. Is u(5) prime?
True
Let d(o) = -o**3 + 10*o**2 - 6*o - 1. Let l be d(6). Let s = 184 - l. Let k = -39 + s. Is k a prime number?
False
Let u = 16 + -14. Suppose u*a = 3*a - 86. Is a a prime number?
False
Let k = 11539 + -8028. Is k a composite number?
False
Let v(y) = -y**3 + 10*y**2 - y + 8. Let s be v(9). Let w = s - 33. Is w a composite number?
False
Let m(z) be the third derivative of z**5/60 - 7*z**4/24 + 3*z**3/2 - 2*z**2. Let c be m(6). Suppose c*y = 5*y - 18. Is y a composite number?
True
Let i(b) = -5*b**2 - b - 1. Let n be i(-4). Let p = 10 - n. Is p a composite number?
True
Let m(l) = -2*l + 1. Let f be m(-2). Let w(y) = y**3 - 5*y**2 - y - 3. Let i be w(f). Let c(j) = j**3 + 10*j**2 + 9*j - 3. Is c(i) composite?
False
Let l = -1 - 15. Let f = l - -29. Suppose 4*d - f = 43. Is d prime?
False
Suppose -2*y + 1645 = 5*w, -2*w - 321 = -3*w - 2*y. Is w a prime number?
True
Suppose -o - x - 7 = 0, o - 2*x - 4 + 17 = 0. Let v = o + 24. Is v prime?
False
Suppose 5*x - 107 = 48. Is x a composite number?
False
Let r be 6 - (2 - (-3 - -4)). Suppose 4*w = r*n - 4, 0 = -5*w - 2*n - 0*n + 28. Suppose w*h - 11 = 41. Is h composite?
False
Is (-266)/(-8) + 3/(-12) composite?
True
Let t(x) = -x**2 + 10 + 4*x - 10. Let y be t(3). Suppose 0 = -y*q - 9 + 120. Is q prime?
True
Let g(u) = 12*u**2 + 13*u + 15. Is g(-8) prime?
False
Let a(h) be the third derivative of -h**6/120 - 11*h**5/60 - h**4/8 + h**3/6 - 2*h**2. Is a(-11) a composite number?
True
Let f(v) = v**3 + 6*v**2 + 6*v + 7. Let s be f(-5). Suppose -4*m + 1 = 2*a - 3, -2*m + s = -5*a. Is (-2)/((-243)/(-249) - m) prime?
True
Let t(x) = 41*x + 7. Is t(6) a prime number?
False
Suppose 2*d + 5*u + 79 = 0, -80 = 3*d + 5*u + 36. Is 2/((-8)/d)*4 prime?
True
Let y be -1 - (-5)/((-5)/(-22)). Suppose y = -3*v + 51. Suppose -v = -2*p + s + 3*s, -3*p + 17 = -4*s. Is p a prime number?
True
Suppose 3*t + 15 = 4*t. Suppose -b + t = 2*b. Suppose 0 = -5*c - b*f + 195, -c + 5*f + 20 = -7. Is c a composite number?
False
Let n(z) = -52*z - 3. Let s be n(-3). Suppose 2*j - 479 = -s. Is j a prime number?
True
Suppose -g - 4*g = 3*q - 683, 450 = 2*q + 2*g. Is q a composite number?
True
Suppose 0 = y - 1 + 5, -5*v + 4*y = -41. Suppose -4*d + 200 = -4*m, v*d - 35 - 218 = 4*m. Is d a prime number?
True
Suppose 2*q - 5*c + 3*c - 2 = 0, 2*c + 14 = -q. Is (-3 + 8 + q)*191 a composite number?
False
Let m(y) = -y**2 + 3*y + 4. Let x be m(-4). Let k = 50 + x. Is k prime?
False
Suppose 3*l = 2*l + 1741. Is l prime?
True
Suppose 4*b = 5*b - 1471. Is b composite?
False
Let r = 6 + -4. Is (-189)/(-4) - r/8 a prime number?
True
Let l(y) = y**3 - 5*y**2 - 3*y + 6. Is l(7) a prime number?
True
Let f = -98 + 143. Suppose -f = -5*a - 15. Is a a composite number?
True
Suppose -2*f + 1446 = -0*f - 4*o, 4*o = -5*f + 3671. Let p = 392 - f. Is p*((-1)/3)/1 a prime number?
True
Let x(z) = -z**3 - 2*z**2 + 2. Let o be x(-2). Suppose -o*f = -3*u - 0 + 6, 4*u - 5*f - 1 = 0. Let r(q) = 23*q - 3. Is r(u) prime?
True
Suppose 2*k + 3*h - 13625 = 0, 15 + 5 = 4*h. Is k a prime number?
False
Let s = 7 + -11. Let p = s + 8. Is (-705)/(-9) + p/6 prime?
True
Let y = -12 - -22. Is (5/(y/148))/2 a prime number?
True
Let m(c) be the second derivative of -1/20*c**5 + 1/2*c**3 - 1/4*c**4 - 2*c + 1/2*c**2 + 0. Is m(-6) a composite number?
True
Is 5065/2 + ((-1)/(-2) - 2) prime?
True
Suppose -4*i + 3*m = 20, 4*i - 14 = i - 5*m. Let v(l) = 263*l**2 + l - 1. Is v(i) a composite number?
False
Let m = -12 + 17. Is (-22)/m*(4 + -9) a composite number?
True
Suppose 0 = 354*t - 357*t + 6519. Is t a composite number?
True
Let z(a) = -54*a - 39. Is z(-8) composite?
True
Suppose -p + 5*p = 892. Is p a composite number?
False
Is -221*(2 + 2 + -3)/(-1) composite?
True
Suppose 3 + 1 = 2*j. Suppose -2*c + 1 = o - 6*o, -3*c = -j*o - 7. Suppose 0*i - c*i = -66. Is i a prime number?
False
Suppose -2*x - 13 = -5*d, 3*d + 9 = -4*x + x. Let h = -4 - x. Suppose 0 = -h*m - m + 21. Is m a prime number?
False
Let o = 402 - 257. Is o a composite number?
True
Let m(z) = 287*z - 1. Let h be m(1). Let i be (-1)/(-4) - h/(-8). Suppose -5*w - i = -131. Is w a prime number?
True
Let g = -3 + 10. Suppose 638 = g*q - 5*q. Is q a prime number?
False
Suppose 0 = -3*i + 7*i - 7036. Is i composite?
False
Suppose 7*u - 3*u + 216 = 0. Let d = u - -137. Is d prime?
True
Let j be (-852)/(-9)*9/6. Let r be (0 - 2/2) + 3. Suppose r*f = -0*f + j. Is f prime?
True
Suppose 0*w + 3*w = 3. Is (-4)/((-3)/(-9) - w) a composite number?
True
Suppose 5*i + 17 = -t + 5, -5*i - 5*t = 0. Let r be (-44)/i + 2/(-3). Let d = 12 + r. Is d a prime number?
False
Let d = -199 - -386. Is d composite?
True
Let y be (12/9)/(-4)*6. Let k = y - -2. Suppose k = 5*m - 3*n - 1184, 5*n = 3*m + 2*n - 714. Is m prime?
False
Let w = 466 - 108. Is w a prime number?
False
Suppose -7*b 