Is x a prime number?
False
Suppose 9*k - 15*k + 85038 = 0. Is k composite?
False
Suppose -127*t + 124*t = -18. Is (7898 + 1)*(1 + (-4)/t) prime?
True
Let q(o) = -o**3 - 5*o**2 - 5*o - 2. Suppose 3*f - f - 26 = 3*p, 5*f + 60 = -5*p. Let d be p/(-15) - 58/6. Is q(d) prime?
True
Let k(s) = 38*s**2 - 18*s + 86. Is k(17) a prime number?
False
Let i(h) = 5*h**3 - 9*h**2 + 18*h + 3. Is i(12) prime?
False
Suppose -36*n = -25*n - 35585. Is n a composite number?
True
Suppose -4*p + 59720 = 5*y, 6*p - 44790 = 3*p - y. Suppose -117*l = -112*l - p. Is l prime?
False
Suppose 31 = 2*o - 3. Let z(d) = -d + 21. Let f be z(o). Suppose v - f*j - 282 = 0, 4*v + 2*j = 2*v + 604. Is v a composite number?
True
Suppose -49*p + 48*p + 1039 = 0. Is p a composite number?
False
Suppose 2*g - 16834 = -0*x - 4*x, -2*x + 25255 = 3*g. Is g a prime number?
True
Suppose 0 = 2*p + 19 - 23. Suppose 3335 = p*d - t + 937, -3*d = 5*t - 3623. Is d prime?
True
Let a be 3*((-5)/(-3) - 2). Let r be -12 + 9 + (a - -35). Suppose -2*q + 117 = r. Is q a composite number?
False
Let h(n) = -262*n - 1 + 3*n - 38*n - 193*n. Is h(-1) a composite number?
True
Let b(d) = -d + 16. Let j be b(12). Let y = -3 + j. Is 251*y + (13 - 15) composite?
True
Let u = 9280 + -6419. Is u a prime number?
True
Let l(i) = -i**2 + 6*i - 1. Let v be l(6). Let o be v*((-2)/(-2) - 0). Let w(y) = 372*y**2 - 1. Is w(o) a composite number?
True
Is 10*((-1691487)/(-70))/9 a prime number?
True
Let y be 77 - (-4)/6*3 - 2. Let f = y - 40. Is f a prime number?
True
Suppose 4*s = 3*u - 7*u + 26960, -5*s = -u + 6734. Is u a prime number?
False
Suppose 0*o - 1884 = -2*o. Suppose -8 = -10*r + o. Is r prime?
False
Let d(n) = 73*n**3 + 3. Let u be d(-2). Let p be 50/3*1*-15. Let g = p - u. Is g a composite number?
False
Let z(w) = 542*w**2 + 70*w - 15. Is z(-13) a prime number?
False
Suppose -3*d = -2*m - 460 - 732, 2*d + 3*m = 812. Suppose d = 4*p - 504. Is p composite?
True
Let v(p) = -p**2 - 5*p - 3. Let x be v(-3). Let y(c) = 121 - x*c**3 + 0*c**3 + 2*c**3. Is y(0) prime?
False
Suppose 9*y = -2028 + 120. Let d = 589 + y. Is d prime?
False
Let r = -11 + 40. Let u = r + -23. Suppose -u*l = -l - 75. Is l prime?
False
Suppose -4*q - i = -15, 0*i - 15 = -3*q - 2*i. Let c(x) = x**2 - 3*x + 4. Let w be c(q). Suppose -w*b + 5*l + 808 = -3*b, -4*l = -2*b + 1628. Is b prime?
False
Let s be (-15)/25 - 47/5. Let y(u) = -2*u**3 - 12*u**2 - 8*u + 10. Let k be y(s). Is 2/3 - k/(-6) a composite number?
False
Is (-38)/((20/(-35))/2) prime?
False
Is ((-6)/4)/((-6)/3980) + -4 a prime number?
True
Suppose 4*x + 0*x + 7 = 3*w, -5*w = -4*x - 9. Is (2 - x)/((-12951)/(-4314) + -3) prime?
False
Suppose -2*q + 3*q - 26 = 4*b, -2*b + 2*q = 16. Let c be (-3790)/(-15)*b/(-4). Let o = c + -6. Is o a composite number?
False
Let z = -2120 - -4208. Let o = -439 + z. Is o composite?
True
Let a be (1078/21)/(-7)*66/2. Let d = a - -643. Is d a composite number?
False
Suppose -2*l + 7*l = 24155. Is l composite?
False
Suppose -3 = -21*q + 18*q. Let s(c) = -q - 3 - 534*c + 1 + 6. Is s(-1) composite?
True
Is (1 - (195 + -3))/((-1)/179) a prime number?
False
Let m(i) = -i**3 + 4*i**2 + 7*i - 5. Let j be m(5). Suppose j*f + 2*y = 27, -2*y - 37 = -3*f + 2*y. Suppose f*r - 12*r + 415 = 0. Is r a composite number?
False
Let u(l) = -l - 1. Let j be ((-4)/(-5))/((-2)/5). Let r be u(j). Is 1/(r/(-53))*-1 prime?
True
Let g = -12443 + 27156. Is g a prime number?
True
Let x = 5781 - -6082. Is x prime?
True
Let m(k) = 132*k - 2. Let z be m(1). Suppose -2*c + 180 + z = 0. Suppose 0 = -3*s - 2*s + c. Is s a prime number?
True
Suppose -2*m - 184 = a, -4*a - 5*m - 736 = -2*m. Let t = a + 674. Let f = -269 + t. Is f prime?
False
Suppose 3*w - 976 = 3*q - 5*q, w = 5*q - 2423. Is q prime?
False
Let d = 7 + -3. Suppose 0*k = d*k - 8. Is (9 - 7)*67/k composite?
False
Suppose 4*y + 1 + 7 = 0. Let j(h) = -330*h + 2. Let p be j(y). Suppose 0 = -8*w + 3*w + 3*t + 1655, -4*t + p = 2*w. Is w composite?
False
Let f = 11 + -6. Suppose -f*a = 5*q - 2260, -1353 = -3*q - 0*a - 2*a. Is q a composite number?
False
Suppose 4*r = -3*w - 0*w + 3131, -3137 = -3*w + 2*r. Suppose -4*m - u + 54 = 0, 5*m + 2*u = -20 + 89. Suppose m*b - w = 8*b. Is b composite?
True
Let t = -2334 + 4667. Is t composite?
False
Is (-4)/6*(7 - 46004/8) prime?
False
Let p(i) = 36*i - 88. Let f be p(3). Suppose v + 4*v = 115980. Is f/35 + v/28 a composite number?
False
Is (-8 - -17) + 37884/3 a composite number?
False
Suppose -6*g + 5*s + 405 = -g, -3*s = -6. Let n = g + 714. Is n a prime number?
True
Is 10425 - (10/2 + -7) composite?
False
Let b(t) = -2*t + 307. Suppose 4*k + 13 + 19 = 0. Let f = k - -8. Is b(f) a prime number?
True
Is (-1)/(-5 - -6)*1676/(-2) a composite number?
True
Suppose -x - 2*k - 9 = -22, -3*k + 6 = -3*x. Suppose 0 = -x*l - 0*l + 5*n + 164, 4*n + 57 = l. Is l a composite number?
False
Suppose z + z - 82 = -4*d, d + 3*z = 13. Suppose 40 = 19*b + 2. Suppose t + d = b*t. Is t a composite number?
True
Suppose -g + 16307 = 5*l - 62353, 5*l = g - 78650. Is g a prime number?
False
Suppose -5*y - 1242 = -2*y. Let n = 971 + y. Is n prime?
True
Let y = 7788 + -4066. Is y prime?
False
Let u(n) = -12 - 4 - 4*n - 1. Let m be u(-15). Suppose l = 4*c + m, -l + 56 = l + 2*c. Is l a composite number?
False
Suppose 0 = -5*u + 3*f + 2*f - 105, -4*f = 5*u + 60. Is u/(2 + 2) + 149 prime?
False
Let m(i) = -7*i**3 - 13*i**2 - 11*i + 8. Is m(-5) a prime number?
True
Suppose -280*j - 4786 = -282*j. Is j composite?
False
Let m(y) = 44*y**2 + 3*y - 1. Let n be m(3). Let f = 1077 + -420. Let x = f - n. Is x a composite number?
True
Let y = -3473 + 2211. Suppose -o + q = -1877, 4*o - 8*o = 5*q - 7499. Let h = y + o. Is h composite?
True
Is (4 - 12/4)/(1/5897) prime?
True
Let w be (-12 + 35)/(1/12). Let d = w + 103. Is d a composite number?
False
Let t(m) = -45*m - 13. Is t(-20) a composite number?
False
Let t(z) = -2*z**3 + 19*z**2 + 2*z + 9. Is t(-26) composite?
True
Let v(s) = -s + 2. Let h be v(-4). Let n(q) = 51*q**2 + 2*q - 13. Is n(h) composite?
True
Let i(j) = -j**2 - 4*j + 5. Let l be i(-4). Suppose 0 = 5*z - m - 8, m + 1 - 3 = -l*z. Is ((-9)/6 + z)*-194 composite?
False
Let a(p) = -p**3 - 5*p**2 + 7*p + 9. Let g be a(-6). Let u(c) = 582*c - 2. Let y be u(1). Suppose -y = -m - g*m. Is m a prime number?
False
Suppose 38 = 5*i - 12. Suppose 2*o = -4*b + i, 0 = o + 3*b - 4 - 1. Suppose 0*u = 3*u - o*z - 96, -5*z + 52 = u. Is u composite?
False
Let j = 71 + 503. Let z be j/8 + (-12)/16. Suppose 4*q = -z + 427. Is q a composite number?
False
Suppose -6*y = -27*y + 106449. Is y a composite number?
True
Let t = 13 - 5. Let b(m) = 22 - m + 47 + t. Is b(0) composite?
True
Suppose q + q = 0. Let s(r) = r**2 + 7*r - 4. Let g be s(-10). Let u = q + g. Is u composite?
True
Suppose 4*g - 2505 = -2*d + 373, 3*g - 2139 = 5*d. Is (g/4)/((-3)/(-6)) prime?
True
Let b(r) = -1629*r**3 - 2*r**2 - 5*r + 1. Is b(-4) composite?
True
Let g = 14 - 1. Suppose 3*r - g*r + 2110 = 0. Is r composite?
False
Suppose 3*s - 8 = s. Let m be (s - 1) + -2 + 37. Suppose -2*c - m = -4*c. Is c a prime number?
True
Let b(z) = 282*z - 5. Let p be b(4). Suppose 0 = -4*l - 303 + p. Is l a prime number?
False
Let w(y) = -y**2 - 9*y + 6. Let l be w(-8). Let q(d) = -d + 17. Let j be q(l). Is ((-1655)/(-20))/(j/12) composite?
False
Let k be -3 - (2 + -668 - 0). Let c = k + -217. Is c a prime number?
False
Let j be ((-120)/(-32) - 4) + (-8342)/8. Let z = j + 2514. Is z prime?
True
Let b(j) be the second derivative of -j**5/20 - 11*j**4/12 - 11*j**3/6 - 5*j**2 - 4*j. Let w be b(-10). Suppose w = -y + 76 + 21. Is y prime?
True
Let x(c) = -1092*c**3 + 24*c + 53. Is x(-2) a composite number?
False
Is -5 + ((-54)/(-7))/(1/1414) prime?
True
Suppose 2*v = 45*v - 1006243. Is v prime?
False
Let l = 11185 + -5178. Is l a prime number?
True
Let m be -1*(-1)/5 + (-18)/(-10). Suppose -m*c - 90 = -3*v + 525, -215 = -v + 4*c. Is v a prime number?
False
Let j = 60 + 61. Suppose -3*x + j + 452 = 0. Is x a composite number?
False
Let w = 7854 + -4363. Is w a prime number?
True
Let o = -7 + -38. Let l be 2 + 1 - (0 + o). Suppose -355 + l = -i. Is i a prime number?
True
Suppose -b + 5*s = -0*s + 29, -2*s + 2 = 0. Let f be (-660)/b*(-18)/(-5). Suppose 2*c - 2*p - 374 = 0, 4*c + 4*p - 831 = -