 37412/20 - (-14)/35 composite?
False
Let b(s) = 632*s + 21. Let p(c) = -318*c - 11. Let f(i) = -6*b(i) - 11*p(i). Let y(x) = -x**3 - 1. Let k be y(1). Is f(k) a prime number?
False
Let g = 12 + -22. Let r(z) = 6*z**2 - 2*z - 9. Is r(g) a composite number?
True
Let t(g) = -2*g + 6. Let p be t(3). Suppose 3 = i - p. Suppose -2*w + 4*n = -258, -2*n = 5*w - i*n - 636. Is w composite?
False
Suppose 6*v = 3*v + 42. Let x = 19 - v. Suppose 0 = x*p - 66 - 44. Is p a composite number?
True
Suppose 7*h - 6748 = -7*h. Suppose -h - 2030 = -16*k. Is k a prime number?
True
Let m(d) = -d**3 - 9*d**2 - 6*d + 11. Suppose 4*c = 19*c + 165. Is m(c) prime?
False
Let a(u) = -u**3 - 20*u**2 - 8*u + 10. Let n be a(-19). Let c = -72 - n. Is c a composite number?
False
Let l(n) = 3*n**2 + n. Let t(k) = k**2 - 1. Let d(z) = l(z) + 3*t(z). Let m(s) = 2*s**3 - 4*s**2 + 3*s - 2. Let x be m(2). Is d(x) a prime number?
True
Is 57/(-38)*(-7554)/9 prime?
True
Let z(f) = -f**3 - 8*f**2 - 2*f + 4. Let a be z(-8). Suppose -a = -6*m + m. Suppose m*r - 2*c = -4*c + 204, 0 = 3*c + 12. Is r a composite number?
False
Let s = -3838 + 13109. Is s a prime number?
False
Let w(b) = 28*b + 15. Let q(z) = -z**3 + 7*z**2 - 5*z + 5. Let y(d) = -3*d - 9. Let x be y(-5). Let t be q(x). Is w(t) prime?
False
Let v = -14450 + 25417. Is v a composite number?
True
Suppose -2*m = -5*m - 2*s, 5*m - 13 = s. Suppose -m*c = 3*c - 30. Suppose -2*a + 68 = -2*v, 2*v - c = 2. Is a a prime number?
False
Let v(j) be the second derivative of j**3/6 - 11*j. Let f(r) = -9*r**2 + 4*r + 7. Let c(h) = -f(h) + 3*v(h). Is c(-5) a prime number?
True
Let o = -808 - -1215. Is o composite?
True
Suppose -4*u - 2433 + 20101 = -3*b, 3*b = -3*u + 13251. Is u prime?
False
Is (-167)/(-5)*8 - (-104)/(-520) prime?
False
Let o = 29 - 19. Suppose -i - o = -2*i + k, 2*k + 30 = 4*i. Suppose i*u - 20 = 4*z + 30, -u + 3*z + 10 = 0. Is u a composite number?
True
Let a = -18 - -20. Suppose 2*i + 2*i = a*r + 1292, 0 = 5*i - 5*r - 1615. Is i prime?
False
Suppose 41 = 3*v - 43. Suppose 0*c + 8 = 4*c. Suppose 10 = c*f - v. Is f a prime number?
True
Let l(n) = -39*n + 17. Let s = 34 + -40. Is l(s) prime?
True
Let d = -8 - -9. Let k be 4 - (-285 - (1 - d)). Let z = -120 + k. Is z a composite number?
True
Let b(f) = -11*f**2 - 8*f - 7. Let o be b(12). Is (o - -9)*(-2)/4 a prime number?
True
Let f = 944 + -2206. Is (f/(-3))/((-24)/(-36)) prime?
True
Suppose 210 - 50 = 4*l. Suppose 0 = 3*i - 5*d + 147, 2*i - 3*d + l = -57. Let j = 95 + i. Is j a prime number?
False
Let b = 210 + 87. Suppose 2*i - 481 = b. Is i composite?
False
Let u(d) = 11*d**2 - 10*d - 26. Let n be u(-19). Suppose 683 = -4*q + n. Is q composite?
False
Suppose -2*x - 5 = 4*q - 3*q, 5*q - 4*x - 31 = 0. Suppose 0*f = 3*f - 4*r + 20, -3*f - q*r + 15 = 0. Let n(v) = v + 119. Is n(f) prime?
False
Suppose 3*m = 5*a + 51256, 0*a = -4*a - 20. Is m prime?
True
Suppose 45*o - 5844 - 25431 = 0. Is o prime?
False
Let d(s) be the second derivative of 9/4*s**4 + 0 + 3/2*s**2 - 2*s - 1/6*s**3. Is d(-4) a prime number?
True
Let x(h) = h**3 - 11*h**2 + 19*h - 4. Let q be x(9). Suppose 776 = -q*t + 13*t. Is t a composite number?
False
Let z(f) = 5 - 12*f - 30*f**2 + 15*f**2 + 14*f**2. Let m be z(-12). Suppose o = -5*i - o + 45, -32 = -i - m*o. Is i a composite number?
False
Let t = -143 + 122. Suppose 0 = 2*o + 5*d - 116, 8*o + 2*d - 290 = 3*o. Let s = t + o. Is s composite?
False
Let x = 7 - 6. Let p be (0/(-1))/(3*x). Is (-331)/(-2)*(p + 2) prime?
True
Let f(v) = -3*v**3 + 13*v**2 - v + 49. Is f(-14) a prime number?
False
Let b(d) = 10 - 2*d + 4 - 1. Let x be b(-6). Let c = 38 - x. Is c a composite number?
False
Let b be (-8742)/(-27) + 4/18. Let a = 535 - b. Is a prime?
True
Suppose 2*u - 26956 = 34986. Is u a prime number?
True
Let q(a) = 3135*a**2 + 2*a + 4. Is q(-1) a composite number?
False
Let m = 23 - -24. Suppose 5*r - 8 = m. Is 492/10 + r/(-55) a prime number?
False
Is (-2)/3 + 51165/81 prime?
True
Suppose c - 3781 - 1066 = 0. Is c composite?
True
Is (-170100)/(-125) + (-2)/(-10) composite?
False
Suppose 30190 = 4*s - 123214. Is s a composite number?
False
Suppose -747 = -6*x + 3681. Suppose -6034 = -4*k + x. Is k prime?
True
Let c(r) = -68*r**2 + 2*r - 1. Let h be c(-2). Let s(u) = 37*u - 13. Let d be s(7). Let p = d - h. Is p prime?
True
Is ((-147)/14 - -11) + (-21386)/(-4) composite?
False
Suppose -4*c + 13 = 1. Is 1/((12/1636)/c) composite?
False
Let s = -87 - -200. Is s composite?
False
Let p(s) = 12*s + 2. Let t be p(-1). Let l(h) = -h**3 - 9*h**2 - 12*h - 9. Is l(t) a composite number?
False
Let v(p) = -177*p**3 - 2*p - 1. Let h(s) = 530*s**3 + s**2 + 7*s + 4. Let i(j) = 2*h(j) + 7*v(j). Is i(-2) a composite number?
True
Let m(k) = k**3 + 7*k**2 + k - 1. Let r be m(-7). Let i be ((-663)/6)/(2/r). Let u = 809 - i. Is u a prime number?
True
Suppose 2*h + 9 = h. Suppose -156 = 9*n + 15. Is (n/3)/(h/27) a prime number?
True
Let o(g) = -g**3 + 5*g**2 - 4*g + 3. Let n be o(4). Let k(i) = 3*i**2 - 3*i + 3. Let z be k(3). Is ((-49)/z)/((-1)/n) composite?
False
Let c(l) = -9*l**2 + l - 1. Let v be c(1). Let y be ((-80)/12 + 3)*v. Is y*(2 - (-10)/6) a prime number?
False
Is (182/21 - 8)/(4/12318) a composite number?
False
Suppose -2*u - i = -0*i - 89, 5*u - 2*i = 200. Is (-2)/4 + 17367/u a prime number?
False
Let b(g) = 3*g**3 - 2*g**2 - 3*g - 47. Is b(8) a composite number?
True
Suppose -41 - 1964 = 5*i. Let y be 1*(-1 - -2) - i. Let h = -283 + y. Is h a composite number?
True
Let c be (24/(-9))/((-3)/(-9)). Let y be c/(-3) + 10/(-15). Is (1/y)/(7/2212) composite?
True
Let m = -85 - -49. Is 6250/18 - (-8)/m composite?
False
Let y be 2/(-2) - (-18)/(-9). Let w be 15*(26/6 + y). Suppose 3*s - 13 - w = 0. Is s composite?
False
Is -1 + 4/2 + 3 + 3393 prime?
False
Suppose -9221 - 9373 = -6*f. Is f prime?
False
Suppose 3*m = -3*f + 6, 3*m - 1 = f - 11. Let b(u) = -50*u**2 + 2*u - 1. Let y be b(m). Let j = -60 - y. Is j prime?
False
Let l(z) = z - 1. Let s be l(6). Suppose 3*f - 24 = -3*j, -f - 2*f = s*j - 36. Is (-15)/j*(-78 - 4) a composite number?
True
Let y(o) = -3*o + 21. Let b be y(7). Suppose b = -4*a + 5*a - 386. Let w = a + -192. Is w a composite number?
True
Let u = -443 + 750. Is u a composite number?
False
Suppose 27*h - 28*h + 289 = 0. Is h composite?
True
Suppose 76814 + 279080 = 22*k. Is k prime?
False
Let k be (54/(-21))/((-2)/42). Suppose 55 = g - k. Is g composite?
False
Let p(x) = 6*x - 6. Suppose -y = 6*y - 84. Let s be p(y). Let r = s - -61. Is r a prime number?
True
Let g = -3609 - -5540. Is g a composite number?
False
Let v(f) = -59*f**3 - 14*f**2 + 6*f - 14. Let a(q) = 20*q**3 + 5*q**2 - 2*q + 5. Let s be 206/12 - 8/48. Let i(g) = s*a(g) + 6*v(g). Is i(-2) a prime number?
True
Suppose 0 = -3*o + 6*o - 30. Let p be (38224/20)/(4/o). Suppose -i + 3961 = 4*q, 4*q = 4*i - 802 + p. Is q a prime number?
True
Suppose -1068 = -9*h + 3*h. Suppose h = 10*p - 8*p. Is p a composite number?
False
Suppose 0 = 2*u - 5*q - 60 + 17, q + 50 = 5*u. Suppose -4*g - 7 = u. Is -361*(16/4)/g prime?
False
Let n(m) be the third derivative of -31*m**4/12 - 5*m**3/3 + 9*m**2. Is n(-6) a prime number?
False
Let o(c) = -11*c + 18. Suppose 0 = -2*x - 42. Let p = x - -13. Is o(p) a composite number?
True
Suppose 4 - 5 = -s. Let n be (-52)/(-8) + s/(-2). Suppose 0 = n*t - 5*t - 223. Is t a prime number?
True
Suppose -5*l + 8305 = 5*g, 0*g = -g + 3*l + 1645. Is g composite?
False
Is 15 + -14 + (-1 - -1069) prime?
True
Let y(f) be the first derivative of f**3/3 + f**2/2 + 2*f - 9. Let b be y(-3). Suppose b*j = 4*j + 308. Is j a prime number?
False
Let y be 5/(-25) + 52/10. Suppose -m = y*h - 118, 5*m - 3*h - 553 = 121. Is m composite?
True
Let j(f) = -5*f + 1. Let u be j(0). Is (4/14 + 15051/21)*u prime?
False
Let h = -130 + 757. Let j = h - 104. Suppose 6*r - 5*r - j = 0. Is r prime?
True
Let h(c) = -27*c - 2. Suppose 0 = 9*p - 4*p. Suppose -x + p*x = 3. Is h(x) prime?
True
Suppose 5*c = 32*c + 5157. Let u be 2*304*(-1)/(-2). Let f = u + c. Is f prime?
True
Let k(p) = p - 1. Let q be k(1). Suppose -172*w + 168*w = -20, 0 = -5*i - 2*w + 20. Suppose q = -i*m - 0*m + 382. Is m a composite number?
False
Suppose -3*p - 49 = -4*r - 2417, 3*p - 601 = r. Let n = 1584 + r. Suppose 103 = -4*f + n. Is f a com