= f**2 - 6*f - 3. Is p(r) a prime number?
True
Suppose 2*d = 2*k + 2*k - 160, -2*k - d + 76 = 0. Suppose -5*h = -h - 3*a - 159, k = h - a. Is ((-3)/(-6))/(1/h) composite?
True
Let y be (-281)/(-9) - (-14)/(-63). Suppose y = -3*x + 133. Is x prime?
False
Let n(a) = -799*a**3 - a**2 - 3*a - 2. Is n(-1) prime?
False
Let t(r) = 4*r**3 - 3*r**2 - 5*r + 3. Is t(5) prime?
False
Suppose 0 = -5*h + 33 + 37. Suppose 0 = -3*l - 4*m + h, 3*l - 22 - 1 = 5*m. Is l a composite number?
True
Let r = 235 + -116. Is r prime?
False
Is (51/6 + 1)/(1/26) a prime number?
False
Let f(s) = 5*s. Let i be f(4). Suppose 5*b - 75 + i = 0. Suppose 0 = 2*q - 79 + b. Is q a prime number?
False
Suppose 3*g - 5*s = 1033, -g - 3*g - 3*s = -1358. Is g prime?
False
Let v = 21 + -19. Suppose -l - 3*d = d - 15, v*d - 17 = -l. Is l a prime number?
True
Let j(t) = -3*t - 4. Let x be j(-4). Let l = x + 34. Let n = -27 + l. Is n composite?
True
Let h(g) = -g**2 - 3*g**2 - 3 - 3*g + g**3 + 5*g**2. Let k be h(-2). Is (-1 + k)*35/(-10) a prime number?
True
Let u be (-21)/(-3)*10 - 3. Let x = 0 + u. Is x composite?
False
Let n(f) = -f**2 + 5*f + 2. Let w be n(5). Let g be 5/(-20) + 2/8. Is (-4)/w - (-9 + g) prime?
True
Suppose 10455 + 14703 = 6*f. Is f a composite number?
True
Let b(o) be the second derivative of 7*o**4/12 - o**3/2 + o**2 + o. Let p(x) be the first derivative of b(x). Is p(4) a composite number?
False
Suppose 37 = y + 5*x, 2*y + 74 = 4*y + 2*x. Is y a composite number?
False
Let r = -121 - -171. Let z = r - -8. Suppose 2*g - z = -2*q + 12, -2*g + 101 = 3*q. Is q a prime number?
True
Let d = -53 + 78. Suppose 0*q + 182 = q - 5*x, d = -5*x. Is q a composite number?
False
Let y(v) = -v**3 + 16*v**2 + 5*v - 18. Is y(16) a prime number?
False
Let x(u) = 6*u - 4. Let p be 4/((-1)/(-2) - 0). Let f be x(p). Let i = f - -13. Is i prime?
False
Let x = 4 - 4. Suppose x*p + 42 = 2*p. Is p a prime number?
False
Is (1 - -1) + (6 - -371) prime?
True
Let q = 351 + -169. Let h = 198 - 135. Let b = q - h. Is b a composite number?
True
Let j = -3 + -2. Let n = 8 + j. Suppose -2*t + b = -263, 5*b + 174 + 210 = n*t. Is t a prime number?
False
Is 28*((-213)/12)/(-1) a prime number?
False
Suppose 4*p + 5*s - 2 = -42, -s = -p - 1. Let y(d) = d**3 + 5*d**2 + 3. Let h be y(p). Suppose -l - 4*i = h*l - 220, 3*i = -12. Is l a prime number?
True
Suppose 126 = -0*d + 3*d. Let w = d - 19. Is w composite?
False
Suppose 13*g - 14449 = 3738. Is g a composite number?
False
Is ((20980/15)/4)/(1/3) a prime number?
True
Let i = 880 + -471. Is i prime?
True
Let t(x) be the first derivative of -7*x**4/4 - 2*x**3/3 - x**2/2 - x + 3. Is t(-2) a prime number?
False
Let a = -64 - -299. Is a a prime number?
False
Suppose 2 - 7 = 3*b + 2*q, 3*q + 8 = -5*b. Let w(s) = -51*s**3 + s**2 - 1. Is w(b) a prime number?
False
Let a(p) = 6*p**3 - 5*p**2 - 11*p - 7. Is a(6) composite?
True
Let s(u) be the second derivative of 73*u**4/4 - u**2/2 + 3*u. Let w be s(-1). Suppose 0*y - 2*y = -w. Is y a composite number?
False
Suppose 6*q - 4*h = 2*q + 172, 4*h + 129 = 3*q. Is q composite?
False
Let l(k) = 3*k**3 - 2*k**2 + 2*k - 1. Let u be l(1). Let d(i) = 21*i**3 - i**2 - 4*i + 3. Is d(u) composite?
True
Let u(n) = 250*n**2 - n - 1. Suppose -4*o - 2*h - 8 = 0, -4*o + 0*h - 14 = 5*h. Let b be u(o). Suppose 2*x + 2*t = b - 20, 2*x - 222 = -4*t. Is x prime?
False
Let u = 8 + -2. Suppose h - u*h = -655. Is h composite?
False
Let f(l) be the first derivative of -l**3/3 - 5*l**2/2 - 2*l + 1. Let q(x) = -x**2. Let n(r) = -f(r) - q(r). Is n(5) a composite number?
True
Is (-2)/5 - 11133/(-45) a composite number?
True
Suppose 0 = -t - 3, -5*p = t - 3*t - 566. Suppose -4*k - 3*x = 38 + p, -4*k + 3*x - 162 = 0. Is (-1 - k)/(0 + 2) a composite number?
False
Suppose 4*d = 5 + 15. Suppose 3*j = d*n + 37, 3*j - 6 = 3*n + 27. Suppose 2*u - 3 = j. Is u a prime number?
False
Is 6069/28 - (-2)/8 prime?
False
Let z be 25/(-10)*(-28)/10. Suppose 4*k = -z*f + 4*f + 817, -f + 204 = k. Is k a composite number?
True
Let q be (9/6)/((-1)/(-26)). Let d = q + 55. Is d a prime number?
False
Let t be 5*(2 - (1 - 0)). Let n be 4/t*645/(-6). Let k = n + 175. Is k prime?
True
Suppose 0 = -2*z + d + 22, -3*z + 4*d + 33 = d. Let y(p) = 15*p - 14. Let q be y(z). Let c = q + -86. Is c a composite number?
True
Let m(r) = -r. Let d be m(-4). Suppose d*y - 159 = y. Is y prime?
True
Suppose -3*c + 118 = b, -2*c = 2*b + 3*c - 239. Is b a prime number?
True
Suppose -4*b = -23748 + 4304. Is b composite?
False
Let l be (-70)/2 + 2/1. Let x = l + 88. Is x a composite number?
True
Let o = 144 - 5. Suppose -b - o = -2*b. Is b composite?
False
Let b(m) = 72*m - 1. Let k be b(-1). Suppose 0*c + 284 = 2*c. Let p = c + k. Is p a composite number?
True
Let g(y) = 26*y + 1. Let l be 8 - (1/(-1))/1. Suppose 0 = 4*a + 5*f - 3, 3*a + f = -2*a + l. Is g(a) a composite number?
False
Suppose -9*s + 10489 + 428 = 0. Is s a prime number?
True
Suppose 33 = -2*w + 143. Is w prime?
False
Let j(m) = 4*m**2 + 7*m - 1. Let z be j(-8). Let b = z - -8. Let y = b - 118. Is y a prime number?
True
Let y = -257 - -598. Is y composite?
True
Suppose -8*x + 5*r - 34 = -4*x, 0 = 2*r - 4. Is x/21 + 555/7 composite?
False
Let b(x) = 1303*x - 15. Is b(4) a composite number?
False
Let t = 204 - -155. Is t prime?
True
Let p(g) = -104*g - 29. Is p(-9) a composite number?
False
Let y = 21 - 34. Let r = -19 - y. Is (147/r)/((-2)/4) a composite number?
True
Let t = 2 - 0. Suppose 7*b - t*b - 680 = 0. Suppose 4*h - 53 = -u, -5*u + 3*h = -u - b. Is u composite?
False
Let z = -76 - -221. Is z a composite number?
True
Let j = -4 + 10. Is j/(-10)*(-148 + 3) composite?
True
Let q = 307 + -174. Let s = 552 - q. Is s a prime number?
True
Let d be -2 - 4/(0 + 2). Let n = -2 - d. Is 1 + (6 - n) - -2 a prime number?
True
Let z = 2 + 1. Suppose 247 = 5*k + 2*d - z*d, -5*d = 10. Suppose -4*m + 4*x = -0*x - 128, -2*m + 5*x = -k. Is m a prime number?
True
Let a(p) = -p**3 - 2*p**2 + 2*p + 2. Let i be a(-3). Suppose 0 = 5*u - 3*n + 3, -n = -2*u + 4*n - i. Suppose u*q - q = -3, -y + 70 = q. Is y composite?
False
Suppose m + 14 = -2*q, -q - 10 = m - 3*q. Is (-1 + 2)*1 - m a prime number?
True
Let n = 3233 - 1632. Is n a composite number?
False
Suppose 5*u + 3*s = 942, -2*s + s = -4. Let z = -73 + u. Suppose -5*y + z = 18. Is y a prime number?
True
Suppose q = -0*q. Suppose -4*p = 4*r - 352, -r + 4*p = -q*r - 83. Is r composite?
True
Suppose -2*d - 21 = -5*d. Suppose -2*p = -5*i + 551, -2*i + d*p - 3*p + 214 = 0. Is i prime?
False
Let z = 17 + 40. Is z a composite number?
True
Suppose -4*i - 3*n + 3596 = 0, -i = -0*n - n - 899. Is i composite?
True
Suppose 4*m = -0*m + 1028. Let l be (-92)/(-4 + (-56)/(-12)). Let z = m + l. Is z a composite number?
True
Let i(s) = 10*s**3 - 3*s**2 + 3*s - 3. Is i(2) a composite number?
False
Suppose 5*u = -136 - 194. Let a be (-12)/u + (-123)/11. Let b = 3 - a. Is b prime?
False
Let w(k) = k**3 + 9*k**2 + k + 11. Suppose -5*r = -2*i + 48, 5*r + 24 = -i - 3*i. Is w(r) composite?
False
Let k(q) = -q**2 + 4*q + 7. Let j be k(6). Let m = 9 + j. Suppose 3 = -2*c - 5, 0 = m*l + c - 52. Is l a prime number?
False
Let w be (2 + (-36)/15)*-1030. Let x = w - 669. Let f = x - -462. Is f a prime number?
False
Let s(z) = -459*z - 2. Is s(-1) composite?
False
Let r be (0 - 15)*2/(-6). Suppose 7 = 4*k + r*d - 10*d, -2*d = 2*k - 26. Let z = 21 - k. Is z prime?
True
Let f = -22 - -16. Let v(o) = 2*o**2 - 5*o + 7. Is v(f) prime?
True
Suppose 3*m = 2*m. Suppose -5*r - 65 + 780 = m. Is r a composite number?
True
Let r be 4 - 0*(-3)/(-6). Suppose -r*d + 2681 = -2171. Is d prime?
True
Suppose -7*m + 5*y - 132 = -3*m, 4*y - 72 = 2*m. Let i be ((-150)/35)/(2/m). Suppose -3*t = -p + 28, 0*t + i = 3*p + 3*t. Is p prime?
False
Suppose -3*g - 7 = -6*g - 2*n, -5*n = -2*g - 27. Let p = g + 1. Suppose p = -9*d + 4*d + 105. Is d a prime number?
False
Is 765/6 + (-3)/6 composite?
False
Let d = -7 + 12. Suppose -135 = -2*v - d*a + 23, 368 = 4*v - 3*a. Suppose -2*b + v = -b. Is b prime?
True
Suppose n = -2*c - 3*c + 14, 4 = 2*c + 2*n. Suppose 0*m - 171 = -c*m. Is m a composite number?
True
Is 3/9 - (466/(-6) - 1) a prime number?
True
Suppose -q = -63 - 6. Let o = q - 34. Is o a prime number?
False
Let h(v) = 282*v - 5. Is h(3) a pri