. Is b prime?
True
Let j(b) = 2*b**2 + 8*b + 9. Let p = -13 - -8. Is j(p) a prime number?
True
Let m = -234 - -411. Is m a composite number?
True
Suppose 512 - 41 = 3*h. Is h composite?
False
Let q = -363 + 2972. Is q prime?
True
Suppose -3*y + 4479 = -1458. Is y prime?
True
Suppose -4 = -4*i - 0, a = 2*i. Suppose -a*h + 476 = 2*h. Is h a composite number?
True
Let i(d) = 14*d**2 + 7 - d + 1 - 8. Suppose -3*w + 0 = 3. Is i(w) a composite number?
True
Suppose 5*k + 20 = 2*r, 5*k - 2*k - 4*r + 12 = 0. Suppose 5*p = -0 - 20. Is (k*1)/(p/6) a prime number?
False
Let b(l) = l**3 + 6*l**2 - 6*l + 8. Let j be b(-7). Suppose -h + 3 = j. Let p(x) = 24*x - 2. Is p(h) prime?
False
Suppose 19 = 4*i - 37. Suppose 3*r - 32 = 37. Let f = r - i. Is f composite?
True
Let z be 3/(-1)*20/(-12). Suppose 0 = z*i + 141 - 441. Suppose -2*l + i = 2*l. Is l a composite number?
True
Let h(j) = 62*j - 1. Is h(3) prime?
False
Let r be 959/2 - 2/(-4). Let a = r + -113. Is a a composite number?
False
Let i(o) = o**3 - 8*o**2 + 7*o + 3. Let h(n) = 6*n**3 + 2*n**2 - 2*n + 1. Let u be h(1). Let g be i(u). Suppose -70 = -g*s - 7. Is s composite?
True
Suppose 0 = -g + 33 - 2. Is g prime?
True
Suppose 0 = -2*d + 3*u - 40, -d + 6 = -0*u + 5*u. Let b = -5 - d. Suppose 0 = -2*g + b + 59. Is g a composite number?
True
Is 360 - (-3)/(-2 + -1) a composite number?
False
Is 2*((-812)/(-8) + 4) a prime number?
True
Let k(n) = n**2 - 6*n + 7. Let b be k(5). Let g(h) = -h**3 - 3*h**2 + 0 + b*h + h**2 - 8*h - 1. Is g(-4) a composite number?
True
Suppose z - 7 = -1. Suppose -k = -45 - z. Is k prime?
False
Is -1 - -4 - (-174 - -10) a composite number?
False
Suppose 4*d + 3*j = -j + 32, 5*d = j + 10. Let o(b) = 14*b + 1. Is o(d) a prime number?
True
Let p(m) = -m**2 + m + 15. Let z be p(0). Suppose w + 5*f + z = 0, 0*f - 3 = -3*w - 3*f. Let g = w + -1. Is g composite?
True
Suppose t - 3*t + 782 = 0. Let w = t + -230. Is w prime?
False
Let d(u) = -u**2 + 16*u - 8. Let q(y) = y + 1. Let v be q(-6). Let o be (-33)/v - 2/(-5). Is d(o) a prime number?
False
Let q = -3 - 1. Is ((-14)/3)/(q/6) a prime number?
True
Suppose 10 + 6 = 2*c. Let n be c/(-20) + (-193)/5. Let p = n - -128. Is p a composite number?
False
Suppose 7 + 17 = -4*b. Let j be -3*b/9*1. Suppose -j*i + 63 = w + 2*i, -i = 4. Is w a prime number?
True
Suppose 4*p + p = 1670. Is p prime?
False
Let x be 2/(-3) + 34/6. Suppose -55 - 68 = -t - 4*u, -x*u = -5*t + 565. Is t a composite number?
True
Is (1 - 3) + (-5 - -1478) prime?
True
Suppose -3*v + 651 = -1815. Let o = -449 + v. Is o composite?
False
Is (-8)/10 - (-6354)/30 a composite number?
False
Let x(f) = -78*f - 59. Is x(-7) composite?
False
Let z(y) = -9*y + 13. Is z(-6) a composite number?
False
Suppose -2*z = -6, -3*z = -2*l + 6*l - 29. Let u(a) = 2*a - 8*a - l*a. Is u(-5) composite?
True
Let y(p) = -p**3 + 8*p**2 - 6*p - 2. Let t be y(7). Let x(d) = -t*d - 4*d + 21*d + 1 + 12*d. Is x(2) a prime number?
False
Let v = 6 + -1. Suppose -v*g = -2*d + d + 36, -96 = -4*d + 4*g. Is d composite?
True
Is (5 + -3)/(-2)*-397 prime?
True
Let w(d) = 40*d**2 + 2*d + 1. Is w(5) composite?
True
Let w(l) = 46*l**2 - l. Let d = -7 + 6. Is w(d) a composite number?
False
Let b = -715 + 1638. Is b a prime number?
False
Is 23/(60/28 - 2) composite?
True
Let k(g) be the third derivative of g**5/5 - g**4/12 + g**3/2 - 2*g**2. Is k(2) composite?
False
Let c(n) = n**3 - 4*n**2 + 4*n - 2. Let a be c(2). Let w be (2/(-6))/(a/6). Is w*(-3)/(6/(-62)) prime?
True
Let o = 2 + -2. Suppose -4*c = -4*z + 260 - 44, 5*z - 2*c - 267 = o. Is z prime?
True
Suppose -q + 3*o - 8 = 5*o, 3*o = -5*q - 12. Suppose b - 4*r + 2 = q, 5*b + 2*r = -41 - 57. Is (2 - 0)/((-4)/b) composite?
True
Suppose 60 = -5*x - 8*w + 3*w, 0 = -5*x - w - 72. Is 2/5 + (-1179)/x a prime number?
True
Let y = -426 + 743. Is y prime?
True
Suppose 5*o = 287 + 288. Is o prime?
False
Let a(y) = -54*y**3. Let x be a(-1). Let g = x - -8. Is g a composite number?
True
Let b(j) = j**3 + 20*j**2 + 16*j + 8. Is b(-13) prime?
True
Let n = 255 - 54. Let o = -10 + n. Is o composite?
False
Suppose -3*j + 4*i = j - 1684, 3*j - 1253 = -2*i. Is j prime?
True
Suppose 4 = -a + 3*u, -3*u - 6 = 4*a - 5*u. Let w be a/(-2) + (-3)/6. Suppose -5*x - 2*f = -481, 0 = -3*x - 3*f - w*f + 294. Is x a composite number?
True
Let n(k) be the second derivative of -11*k**3/3 + 5*k**2/2 - 2*k. Is n(-5) prime?
False
Let p = 1574 - 417. Is p a prime number?
False
Let b(z) = -z**2 - 18*z + 18. Is b(-13) prime?
True
Let l = 240 - 161. Is l composite?
False
Let r be (-2)/((-2)/(8/(-2))). Let x(q) = -q**3 - 4*q**2 - 3*q - 1. Is x(r) prime?
True
Suppose -6*l + l - 10 = 3*q, -q - 5*l = 20. Suppose -q*j + 3*z + 277 = 6*z, -5*j + 249 = -4*z. Is j prime?
True
Suppose 3*c - 3*u = -3, -c = 3*u - 2 - 1. Let h = -2 - c. Is (-4)/h*(-111)/(-6) a prime number?
True
Is (28/6)/(4/30) a composite number?
True
Let g = 6 - 5. Let r(b) = 3*b + 1. Let i be r(g). Suppose -2*y + 0*y + 122 = -4*t, 0 = -2*y - i*t + 146. Is y prime?
True
Is 87*(3 - (-6)/(-3)) a prime number?
False
Let z(a) = 56*a - 5. Suppose -3*q + 9 = -9. Is z(q) composite?
False
Is 3 - -8*27 - -4 composite?
False
Let y(l) = -21*l - 4*l + 5 + 5*l - 6*l. Is y(-12) a composite number?
False
Suppose z + 0*p - 9 = 4*p, 2 = 2*p. Suppose -245 = -4*t + 3*j, 0 = t + 3*j - 67 - z. Is t a composite number?
True
Let u(q) = -65*q**2 + 2*q - 1. Let s be u(1). Let v = s - -32. Let p = -17 - v. Is p prime?
False
Suppose -4*u = -5*f + 15, -3*f - 1 = 5*u - 10. Suppose 2*v + 5*z - 30 = u, -v + 10 = -z - 19. Suppose -10 = -2*o + 2*l, -l + v = 2*o - 0*o. Is o prime?
False
Suppose -4*f - p = -4242, 0 = -0*f - 3*f + 2*p + 3187. Is f a prime number?
True
Let r(k) = 7*k**2 - k + 1. Is r(-3) prime?
True
Let r(h) = -10*h**2 + 2. Let c(i) = -99*i**2 + 21. Let x(s) = 4*c(s) - 42*r(s). Let q be x(-1). Suppose q + 32 = 4*b. Is b a composite number?
True
Let l(w) = -w**2 + 4*w - 2. Let v be l(2). Let r be -1 + 2 + v + -1. Suppose -r*i + 6 = -22. Is i a prime number?
False
Let g(v) = 5*v**3 - 5*v**2 - v + 8. Is g(3) composite?
True
Let s be 8/(-4)*(-1 + 2). Let v(c) = 2*c**2 + 3*c + 3. Let l be v(s). Is (-2 - -27)*2/l a composite number?
True
Suppose 6*h - 70 = h + 5*o, -5*h = 2*o - 70. Is h a composite number?
True
Suppose 2*t = 552 + 730. Is t a composite number?
False
Suppose -u + 59 = 162. Let j be -4*1/(-2) - u. Suppose 0*l + j = 3*l. Is l prime?
False
Let x(u) = -u**3 + 14*u**2 - 9*u - 2. Is x(12) composite?
True
Suppose -5*j = -798 - 257. Is j a composite number?
False
Let i(n) = -38*n + 3. Let m(b) = 38*b - 4. Let j(c) = 3*i(c) + 2*m(c). Is j(-3) prime?
False
Let w(d) = 0*d + 2*d - d + 2*d**2 + 6 + 6*d. Let v = -9 + 4. Is w(v) composite?
True
Let p be ((-3)/2)/(2/(-4)). Let f = p + 19. Is f composite?
True
Let g(d) = -d**2 + 6*d + 5. Let s be g(6). Suppose -m = 5*p - 73, -6*p + s*m = -3*p - 55. Is p composite?
True
Let i(b) = -b**3 + b**2 + 211. Is i(0) prime?
True
Let a(y) = -y - 5. Let r be a(-8). Suppose 4*o + 1428 = 2*g + r*g, o = -g - 348. Let h = o - -513. Is h a composite number?
True
Let r(v) = 2*v**3 - 8*v**2 + 5*v - 11. Is r(6) prime?
True
Suppose -2*b + 4*i = -b - 1463, -b = i - 1473. Is b composite?
False
Let m(o) = -o**3 + 212. Let u be 2/6*(1 + -1). Let c be m(u). Suppose 5*x - 3*g = 233, x + 4*g = -3*x + c. Is x prime?
False
Suppose -8 = -2*y + 4. Suppose 0 = -3*d - y, -n = -0*n + 5*d - 11. Is n prime?
False
Let a = 389 - 24. Is a a prime number?
False
Suppose 0 = 2*s - 5*u + 269, 2*s + 5*u + 45 = -194. Is s/(-5) - (-4)/(-10) prime?
False
Let p = 690 - 360. Suppose p = 2*o + o. Suppose -b = -3*b + o. Is b a prime number?
False
Let m = -3 - -8. Suppose -m*d + 4*d = -785. Suppose 5*v - d = -0*v. Is v prime?
True
Suppose 0 = 2*r - 161 - 137. Is r a composite number?
False
Let t be (-51)/(-3) + (2 - 3). Suppose -2*z = 5*f + 14, 0 = -f - 3*f - t. Is (0 - -267)/z*1 a prime number?
True
Let v(h) be the first derivative of -h**4/4 + h**2/2 + 191*h + 1. Is v(0) composite?
False
Let s(x) = 30*x + 13. Is s(20) a prime number?
True
Let z = 8364 + -4907. Is z composite?
False
Suppose 3*l + 3*w + 2841 = 0, -3*l - w - w = 2837. Let g = l - -1362. Is g prime?
True
Is (-4412)/(-6) - (-10)/6 a prime number?
False
Is (-1)/(3/(-534)*2) prime?
True
Suppose -2*d - 861 = -3*