mber?
True
Let h(x) = 20*x**2 - 11*x + 16. Let b be (-42)/(-3)*(-4)/(-8). Is h(b) prime?
True
Let x = -138 - -193. Is x a prime number?
False
Let d = 143 + 122. Is d a composite number?
True
Suppose 3*y = -4*q + 24, 0*y = -5*q - 3*y + 27. Suppose 3*l + q*z - 612 = 0, l + 0*z = -3*z + 206. Is l a prime number?
False
Let a(h) be the second derivative of h**3/6 + 7*h**2/2 - 3*h. Let j be a(-5). Suppose j*l - 5*l + 147 = 0. Is l a composite number?
True
Let m = 2111 - -2966. Is m a prime number?
True
Suppose 0 = -b + 5*b - 268. Is b prime?
True
Suppose -5*n + 5 = -3*d - 11, n + 6 = -4*d. Let x = d + 27. Is x prime?
False
Suppose -3 = 4*b - 11. Suppose -148 + 18 = -b*y. Is y composite?
True
Suppose 5*h - 573 = 2*h. Is h a prime number?
True
Suppose -2*i + 10 = -5*h + 25, 4*i - 30 = -2*h. Suppose -q = -3*w + 741, -2*w - 231 = -3*w - h*q. Suppose -g - g - w = -2*t, t - 147 = -5*g. Is t prime?
True
Let u(g) = -g**2 + 14. Suppose 2*a = -0*a. Is u(a) composite?
True
Let n(y) = y - 4. Let o = -5 - -12. Let q be n(o). Suppose q*s - 3 - 42 = 0. Is s composite?
True
Suppose 3*f + 2*l = -f + 26, -4*l + 32 = 4*f. Suppose f*u + 5*b - 45 = 0, 7 = 4*b - 1. Is u prime?
True
Is 70*9/(-63)*14/(-4) a composite number?
True
Let h(b) = 7*b**2 + 1. Let q be h(-1). Suppose 2*v - 3*a - 2*a = -q, 2*v + 44 = -4*a. Is (-290)/v + 4/14 prime?
False
Let s = -257 - -798. Is s prime?
True
Let a(w) = 6*w**3 - 5*w - 1 + 3*w - 5*w**2 - 7. Let g(p) = -30*p**3 + 24*p**2 + 9*p + 39. Let x(y) = -24*a(y) - 5*g(y). Is x(2) a prime number?
False
Let u(h) = -4*h + 1. Let a = 33 - 58. Let q = a - -17. Is u(q) a prime number?
False
Let s = -5 - -8. Suppose -s*y = -2*y + 20. Let z = 3 - y. Is z a prime number?
True
Is (21/6)/(4/136) a prime number?
False
Let r(o) = -2*o - 18. Suppose 3*n = -n - 3*q - 42, 2 = q. Is r(n) prime?
False
Suppose 2*l - 10 = -3*l. Suppose l*g = 6*g - 136. Is g composite?
True
Let p(f) = 11*f**2 + 4*f + 7. Is p(-6) prime?
True
Suppose -2*m + 4 = -m. Suppose m*w = 5*w - 14. Is w composite?
True
Let w be (-44)/(-6) - (-1)/(-3). Let k(o) = w - 11*o - 5 + 3 - o**2. Is k(-6) a composite number?
True
Suppose 2*q = -3*q + 15. Suppose -v - 4*d + 1 + 2 = 0, q*d = 0. Suppose -v*r + 118 = -221. Is r prime?
True
Let w(n) = 3*n**3 - 2*n**2 - 5*n - 407. Let a(i) = 2*i**3 - i**2 - 3*i - 204. Let l(o) = -5*a(o) + 3*w(o). Let g be l(0). Let z = -143 - g. Is z a prime number?
False
Let y be (1/2)/((-3)/(-438)). Suppose -y = -2*j + 97. Is j prime?
False
Let u(s) = -761*s + 2. Is u(-1) a prime number?
False
Suppose -3*o + 8 + 22 = -3*r, 4*r - 2*o = -44. Let b = 22 + r. Is b a composite number?
True
Let z(j) = -j + 6. Let c be z(3). Suppose 4*g = 5*k - c*k + 2, 2*g + 1 = -k. Suppose g*d = -4*d + 52. Is d a composite number?
False
Suppose 2*x - 2*h + 3989 = 3*x, -5*x + 19945 = -5*h. Is x composite?
False
Suppose -3*q - 111 = 147. Is q/(-1) - 3*-1 a composite number?
False
Suppose -f - 7 = -3*a, 0 = a + 1 - 4. Suppose -2*z - 2*t + 250 = 0, -1 = f*t + 3. Is z composite?
False
Let q(h) = h + 10. Let r be q(-7). Let u(f) = f**2 + 6 + 5*f**2 - 2*f**3 + 3*f**r - 8*f. Is u(-7) a prime number?
True
Let o = 886 - -739. Let z = o + -970. Is z a composite number?
True
Suppose 0 = -13*i + 20*i - 8057. Is i a prime number?
True
Let j = -189 - -325. Suppose 3*o - 1267 = -j. Is o a composite number?
True
Suppose 3*i + 5*k - 252 = 2*i, k + 270 = i. Is i a prime number?
False
Suppose 4*q + 5*n - 97 = 0, 96 = 3*q - n - 3*n. Let t be (1 - 0)*(q - -2). Let a = t - -49. Is a a composite number?
False
Let k = 544 - 225. Is k composite?
True
Let z = 8 - 9. Is z*3/(6/(-130)) a composite number?
True
Let h = -2413 + 6072. Is h prime?
True
Let d(q) = 415*q + 1. Is d(4) a composite number?
True
Let h = -29 + 32. Is h a composite number?
False
Let b(j) = -10*j + 19*j + 3 + 10*j. Is b(4) a composite number?
False
Let d be (-7 - 0)*6/(-6). Suppose 0 = d*z - 6*z - 121. Is z prime?
False
Let q be 1/(-3 + 49/16). Let g(x) = 21*x**2 - 2. Let f be g(-2). Suppose -f - q = -2*r. Is r a prime number?
False
Suppose -3*b - 9 = -3*k, 3*k - 4 - 11 = 0. Suppose 0 = -3*j + b*j + 10. Is j a prime number?
False
Let m(r) = r**2 - 2*r - 1. Let w be m(2). Let p(c) = -14*c. Is p(w) a composite number?
True
Suppose 857 + 10328 = 5*p. Is p a composite number?
False
Let s(c) = 2*c**2 - 2*c + 7. Let r be 1 - 2 - (-2 - -3). Let t be (-1 - 0)/(r/10). Is s(t) a prime number?
True
Let b(o) = -13*o**2 - 2*o - 1. Let w be b(-1). Let k(t) = 9*t - 7. Let x be k(-5). Is (w/(-8))/((-2)/x) a prime number?
False
Let q = 604 + -367. Let m = q - 88. Is m prime?
True
Suppose 3*i = -2*i + 15. Suppose 0*t - 28 = -4*s - 4*t, i*t - 1 = 2*s. Is (-1 - (-2)/s)*-74 composite?
False
Let v = -220 + 407. Is v composite?
True
Let q(d) = -2*d + 787. Is q(0) a prime number?
True
Let l(k) = 4*k**2 + 4*k - 1. Is l(-5) prime?
True
Suppose 0 = -2*f - 2*f + 3*b + 95, 0 = 3*f + 5*b - 64. Is f composite?
False
Is (8/(-12))/(2/33)*-83 a prime number?
False
Let m be -2 - (-2 - (1 - 22)). Suppose 70 = -4*w - w. Let k = w - m. Is k prime?
True
Suppose -15*w = -12*w. Suppose w = -10*p + 14*p - 340. Is p a prime number?
False
Suppose 8 = k + 5. Suppose -s = k*s - 508. Is s prime?
True
Let a be (7 + -2)*12/20. Is a/((-24)/(-21) - 1) a composite number?
True
Suppose l = 4*l - 2589. Is l a composite number?
False
Suppose -7 = -4*g + 97. Is g a prime number?
False
Let g(f) = f**3 - f**2 - f. Let q be g(3). Suppose 0 = 5*x - q - 730. Is x a composite number?
False
Let u be (-148)/(-18)*-3*-3. Suppose -i + g = -u, i = -i - 5*g + 169. Is i prime?
False
Let a = -27 - -27. Suppose -3*j + a*j + 318 = 0. Is j a composite number?
True
Let x(i) = 78*i + 3. Let c be x(4). Suppose -2*h - 3*h = -c. Suppose 0 = b + 2*f - h, 50 - 141 = -2*b + 3*f. Is b a composite number?
False
Let y = -111 - -157. Is y a prime number?
False
Let p(h) = h**2 - 16*h + 15. Let m be p(15). Suppose 3*t - x + 134 = 7*t, 4*t - 2*x - 128 = m. Is t a composite number?
True
Suppose z + 294 = 3*z. Let i = z - 29. Let t = i + -61. Is t a prime number?
False
Let u(v) = -v**3 - 5*v**2 - 4. Let f be u(-5). Let i be (f + 0)/(4 - 5). Suppose -3*p - 476 = -i*a - 123, -4*p = -3*a + 263. Is a composite?
False
Let d(l) = l**3 - l**2 - 4*l + 83. Let o(y) = y - 1. Let q(t) = -t**2 - 7*t - 5. Let z be q(-6). Let v(w) = z*d(w) + 4*o(w). Is v(0) a composite number?
False
Let h be 1*0*(-2)/(-6). Suppose -5*j + 3*x + 0*x + 1 = 0, -4*j + 2*x = h. Is (2 + j)*23*3 composite?
True
Is 14/(-2*2/(-698)*1) composite?
True
Suppose 4*p - 20 = 2*y - p, y + 16 = 4*p. Suppose 4*u - 226 = -3*c, -3*u - 4*c + 173 = -y*c. Is u composite?
True
Suppose 3 = -2*y - y, 2*h - 2 = -4*y. Suppose 18 - 81 = -h*l. Is l a composite number?
True
Let t(c) = 3*c + 1. Let s(q) = q**2 + 9*q - 8. Let h be s(-9). Let u be t(h). Let y = u - -48. Is y composite?
True
Suppose 5*v + 4*p + 6 = 0, 22 + 0 = 5*v - 3*p. Suppose -v*h - 63 = -n, -3*n + 17 + 156 = -2*h. Is n a prime number?
False
Let l be (-4)/(-6) + 1858/3. Suppose 0 = u - 5*u + l. Is u a composite number?
True
Suppose a - i - 5 = 0, a = -4*i + 2*i - 4. Suppose 0 = 2*k + 2*n - 24, -3*n - a*n - 36 = -3*k. Let m = 22 + k. Is m composite?
True
Suppose -3 = 5*n + 7. Let p(j) = -31*j - 3. Is p(n) a prime number?
True
Let g = -872 + 1357. Is g prime?
False
Suppose 0 = -3*n - 4*f + 8, 0*n = 2*n + f - 2. Suppose -p - 4*p = n. Suppose -2*z = -p*z - 44. Is z prime?
False
Suppose 2*a + 0 = -2. Let j(d) = -2*d + 5*d + 1 + 51*d**2 - 2*d. Is j(a) composite?
True
Let g be ((-3)/4)/(4/16). Is (-25 + 1)/g - 2 prime?
False
Suppose -x + 130 - 24 = 0. Suppose 2*n + 0*n - x = 0. Is n a prime number?
True
Let p(i) = -15*i + 19. Is p(-4) a composite number?
False
Let q(c) = 16*c - 7. Let i be 4 - ((-1 - 1) + 1). Let u = 11 - i. Is q(u) composite?
False
Suppose g = 2*d + 3*d - 631, -3 = 3*g. Let f(q) = -q + 1. Let n be f(-3). Suppose 0 = r + 5*u - 35, -3*r = -r - n*u - d. Is r prime?
False
Let m(s) = s**3 - 8*s**2 + 9*s - 8. Let b(o) = o**3 - 8*o**2 + 10*o - 7. Let f(k) = 3*b(k) - 2*m(k). Is f(8) prime?
False
Let s(c) = 27*c + 1. Is s(6) a composite number?
False
Suppose -d - 2*d + 30 = 0. Is 4/d + 1586/10 a composite number?
True
Suppose -41 - 40 = -3*d. Suppose 2*c - 11 - d = -4*y, -c - 4*y = -17. Is c a composite number?
True
Let k(i) = -i*