 Is f prime?
True
Suppose -5*n = -3*c + 4973, 3*c - 1205 = 2*n + 3783. Let t be c/8 + (-6)/24. Suppose r = 207 + t. Is r a prime number?
False
Suppose 6*a = a - 235. Let y = a + 88. Is (-1)/(-3) + y/3 a composite number?
True
Let f be 2/8 + (-33)/(-12). Let k(v) be the second derivative of v**5/20 + v**4/4 + v**3/6 - v**2 - 169*v. Is k(f) a prime number?
False
Let o = -22 - -12. Let y(w) = -w**2 + w + 1. Let p(i) = 4*i**2 + 5*i - 5. Let f(d) = p(d) + 2*y(d). Is f(o) a prime number?
True
Suppose 9*s + 4311 + 20025 = 0. Let x = -1361 - s. Is x a prime number?
False
Suppose 5*w + 455 = 3*v, -v = -5*w - 110 - 55. Let t = 26 - v. Let l = t - -198. Is l prime?
True
Let u = 15752 + -10701. Is u a composite number?
False
Let p(b) = -31*b**2 + b + 1. Let n be p(3). Let h = 405 + n. Let x = h + -72. Is x composite?
True
Let c = -39 - -42. Is 57/c*1 + 3 composite?
True
Suppose 0 = 7*g - 2839 - 920. Is g a composite number?
True
Let m(c) = -1095*c + 269. Is m(-2) prime?
True
Is 4*(3 - 4) + 2361 a prime number?
True
Let w = -133141 + 263870. Is w a composite number?
False
Let d = -3981 + 6758. Is d composite?
False
Let v(z) = 21*z**2 + 14*z + 166. Is v(-19) composite?
False
Let s(a) = -a**3 + 4*a**2 - a + 6. Let b be s(4). Suppose 2*y + 2*y = 0. Suppose -h + 225 - b = y. Is h a composite number?
False
Is (-29346)/(-21) - (-3)/(-7) composite?
True
Let b(x) = 167*x**2 - 4. Let p be (1 - 0)*(5 + -3). Let k be b(p). Suppose z - 333 = -2*a, 2*z - a - k = -3*a. Is z composite?
False
Let l(o) = -9 - 1 - 2 - 4*o + 18*o. Is l(5) prime?
False
Let w = -68531 + 117820. Is w composite?
True
Suppose -5*n - 2*p + 5*p + 10100 = 0, -8063 = -4*n - p. Is n composite?
False
Let n be -1 - (-12)/3 - 1. Suppose n*y = 718 + 552. Is y prime?
False
Let o(t) = t**3 - 7*t**2 - 7*t - 11. Let g(y) = 3*y - 7. Let j be g(5). Let h be o(j). Is h + 6 + (-20)/(-2) composite?
False
Suppose 0 = 2*c - 5*w + 559, -3*c = -6*c + 2*w - 855. Let r = c - -754. Is r composite?
False
Let c(a) = -a**3 - 10*a**2 - 10*a + 12. Let r(u) = -u - 2. Let i be r(-4). Let h be -4*((-34)/(-8) - i). Is c(h) prime?
False
Let m(x) = -43*x**2 - 6 + 4*x + 49*x**3 - 40*x**2 + 81*x**2. Is m(2) a prime number?
False
Suppose 4*m - 2*z = -80, 6*z = 2*m + 2*z + 52. Let l = m - -20. Is (30/(-45))/(l/(-651)) prime?
False
Suppose -140 = -4*i + 5*k, 0 = 4*i - 3*i + 4*k - 14. Is i*7 + (-16)/(-16) composite?
False
Suppose -425 = 22*b - 17*b. Is -1 + 2 - (b/1 - -3) a composite number?
False
Let u(q) = q - 9. Let c be u(7). Let i(o) = 20*o**3 - 7*o**2 + 17*o - 20. Let s(j) = -5*j**3 + 2*j**2 - 4*j + 5. Let k(t) = c*i(t) - 9*s(t). Is k(4) prime?
False
Let c = 3462 - 2395. Is c a composite number?
True
Let u(a) = -22*a**2 + a. Let m be u(1). Let b(v) = v**3 + 28*v**2 - 7*v + 31. Is b(m) a prime number?
False
Suppose 3*t + 3622 = 4*t. Let r = t - 1365. Is r prime?
False
Let d(m) = 9*m**2 + m. Let z be d(-1). Suppose -7*x + z = -5*x. Suppose 0 = -4*q + 3*y + 859, -x*y + 446 = q + q. Is q prime?
False
Let w(t) = 72*t**2 + 6*t - 73. Is w(-11) a composite number?
False
Let l be (-1 - 2 - 82)*8. Let k = -345 - l. Is k a composite number?
True
Let a = -4 + 0. Let x(u) = -27*u**2 + 2*u - 1. Let q be x(a). Let k = -240 - q. Is k prime?
False
Let z be 12 - 11 - -196*23. Suppose -p - 4*j + 544 = -z, -p = -4*j - 5013. Is p a prime number?
False
Suppose 2*w - 5*t = -4, -10*w + 14*w + 5*t = 52. Let c be (-2)/8 - 98/(-8). Is c/(-16) - (-2574)/w prime?
False
Suppose -15*o - 24630 = -21*o. Is o prime?
False
Is (-23281)/((3/12)/((-5)/20)) composite?
True
Let u(k) = -k**3 + 7*k + 3*k - 2*k - 17 + 2*k**2 + k. Is u(-8) composite?
True
Let t(u) = u**2 - u - 4. Let c be (-6)/(-9) - 4/6. Let h be t(c). Is (2 + 249/(-6))*h a prime number?
False
Let y(m) be the first derivative of -37*m**2 - 27*m - 17. Is y(-7) composite?
False
Suppose -k + 2 + 2 = 0. Suppose 3*g - 1013 = 4*y + 2618, k*g - 2*y - 4828 = 0. Is g a prime number?
False
Let s(t) = 4 - 201*t - 1 + 59*t - 10. Is s(-5) a prime number?
False
Let w be ((-10483)/11)/(0 + 1). Let f = 1362 + w. Is f a composite number?
False
Is (-6919)/(-209) + 4/(-38) composite?
True
Is 1 + 6683 + -20 + 15 prime?
True
Let j be 2 - (9/3 - 16). Suppose -2*m = -8, 4*y - j = -5*m + 77. Let o(l) = l**2 + 9*l - 17. Is o(y) composite?
True
Suppose 4*o = 5*s + 1344, -33*s + 35*s = -4*o + 1316. Is o composite?
False
Suppose 0 = 2*h + s - 509, -5*s = -5*h - 7*s + 1272. Is h a composite number?
True
Let x = 15033 + 7014. Is x a prime number?
False
Suppose 309*a = 301*a + 178136. Is a a prime number?
False
Let o(b) = -3*b**3 + 8*b**2 + 12*b + 30. Let x(c) = -4*c**3 + 8*c**2 + 11*c + 29. Let a(l) = -3*o(l) + 2*x(l). Is a(13) a prime number?
True
Let b = -5 + 9. Suppose h - 2*y = -3*h + 4032, 2*y = b. Is h prime?
True
Let m = -389 + 802. Is m a prime number?
False
Suppose 3 = -m - 1. Is (-3 - 394/m)*2 composite?
False
Let k(m) = 141*m - 87*m + 1 + 71*m + 147*m. Is k(5) a prime number?
True
Let q be (-1 + 0)/((-4)/8). Suppose q*d + f - 27 + 2 = 0, -d + 25 = 3*f. Is d a composite number?
True
Suppose 5*b - 33 = 3*g, -6*g = -g - b + 33. Let p be (g/5)/(1/(-405)). Suppose 0 = -5*q - 2*s + 2503, -3*q - s = -p - 1015. Is q a prime number?
True
Suppose 6*d - 20466 = -12*d. Is d composite?
True
Let d = 4454 - 10094. Let y be 2/(-3) + d/(-36). Suppose 3*h + 4*p - 381 = 0, 3*h = 5*p + 225 + y. Is h prime?
True
Let n = 6765 + -1576. Is n prime?
True
Let b(t) = 12*t**3 + 3*t**2 - 10*t - 9. Let k = 7 - 2. Let w be b(k). Suppose -34*x = -30*x - w. Is x a prime number?
True
Let a(v) = 4*v**2 - 4 + 0*v**2 + 4*v + 5 - 5*v**2. Let z be a(3). Suppose 2*h = z*f - 508, -48 = 4*f - 3*h - 556. Is f prime?
True
Let v = 71 - -769. Suppose -4*s + 10*s - v = 0. Suppose s - 1937 = -3*g. Is g a composite number?
False
Suppose 4*l - 32 = -5*f + 1, 5*f = 2*l + 21. Let v be (6/(-5))/((-6)/20). Suppose -254 = l*s - v*s. Is s prime?
True
Let p = 4 + 4. Let o(y) = 4*y**2 - 3*y**2 + 4*y**2 - y - 2 + 4. Is o(p) prime?
False
Let a = 19 + -29. Let c = a - -13. Suppose -x + 2*q = -67, -3*x + c*q + 215 = 4*q. Is x a composite number?
False
Is (4/(-10) - 39567/(-55))*1 prime?
True
Let f(k) = -62*k - 49. Let p(v) = -60*v - 43. Let b(z) = -4*f(z) + 5*p(z). Let j = 14 - 20. Is b(j) composite?
False
Suppose -2*t = 2*u - 6*u + 562, 4*t - 438 = -3*u. Suppose 2*j - 3*j + u = 0. Is j a composite number?
True
Suppose -95 = -18*g - g. Suppose -u - 2142 = -3*u + 4*s, -g*u + 4*s + 5343 = 0. Is u prime?
False
Suppose -5*s + 7*s = -88. Let i = -6 - s. Suppose 2*f = 4 + i. Is f composite?
True
Suppose 3*h + 5*z = -7 + 2, z = -2*h + 6. Let c be (3926/4)/((-30)/12 + 3). Suppose -4*x + h*t + c = 0, -4*t = -4*x - x + 2447. Is x composite?
False
Is -1 - -6513 - (-15 - -24) composite?
True
Let t(u) = 43*u**2 - 9. Is t(-4) composite?
True
Let m = 15479 - 5268. Is m prime?
True
Let v(c) = 6*c - 2*c**2 - 7 - c**3 - c**2 - c**2 - 2*c**2. Let a be v(-7). Suppose a = 2*y - 5*p - 48, -4*y + 0*y = p - 74. Is y prime?
True
Let y(m) = -3 - 52*m + 10 + 2. Is y(-10) a composite number?
True
Let y = -1038 - -1653. Suppose -6*k + k + y = 0. Is k a composite number?
True
Let l = 3 + -1. Suppose 0 = -7*j + l*j - 1680. Is (j + -2)/((-4)/2) a composite number?
True
Is (-101964)/(-14) - (-13)/(-91) a prime number?
True
Let j(i) = i**3 + 6*i**2 + 7*i + 9. Let c be j(-5). Is 16/(5 + c) - -313 a composite number?
False
Let l(p) = p**3 + 8*p**2 + 6*p - 3. Let f be l(-7). Suppose 20 = -v + m + f, -3*m = -v - 16. Let z = v - -19. Is z prime?
True
Suppose -2*t + 27733 = -80809. Is t composite?
True
Let l = 67 - 67. Suppose 0 = 5*k - 5*x - 13065, -4*k - 2*x + 7*x + 10456 = l. Is k composite?
False
Let z = -30278 + 103501. Is z composite?
True
Suppose 5*z + m - 4*m + 55 = 0, -3*m = -3*z - 39. Let i(a) = -a**3 - 5*a**2 + 11*a + 7. Is i(z) a composite number?
True
Let o = 0 - -2. Suppose o*n - 79 = 45. Let r = n - 27. Is r prime?
False
Let w = 25568 - 9033. Is w prime?
False
Is (2 - (-82334)/12) + (-32)/192 a composite number?
False
Let l(u) = -248*u**2 + 3*u - 2. Let d be l(-3). Let k = d - -3394. Is k a composite number?
False
Suppose 2*q - 3 - 13 = 0. Suppose -q*c + 4*c = -5860. Is c prime?
False
Is 1984 + -3 - 1/2*-2 prime?
False
Let p(z) = -z**3 - 6*z**2 + 2. Let c be p(-6). Suppose -c*w + 2 = -4. Suppose w*i = 455 