 i - 13431. Is i a prime number?
True
Let z(n) = -3551*n - 358. Is z(-7) prime?
True
Let m(b) = 250*b**3 + 4*b**2 - 34*b + 39. Is m(5) composite?
False
Suppose 15*m + 11*m = 85202. Is m a prime number?
False
Suppose -4 = d - 3*d. Let f(p) = 7*p**2 + 1. Let i be f(d). Suppose -s + 4*s = o + 95, o = -s + i. Is s composite?
False
Suppose 0 = -12*n + 335505 + 262947. Is n prime?
True
Let o(q) be the second derivative of -q**3/6 - 3*q. Let m be o(-2). Suppose m = 2*t - 2, 5*k + 5*t = 345. Is k prime?
True
Let u(l) be the second derivative of l**5/20 - l**4 - 11*l**3/6 + 15*l**2/2 - 8*l. Let a be u(13). Let t = a + -7. Is t a prime number?
False
Suppose 5*n - 13 = -228. Let i = n + 80. Is i a composite number?
False
Suppose 4*y = -4, -4*k - 28*y + 56211 = -23*y. Is k a prime number?
False
Suppose -2*x = 3*x - 1820. Suppose -x + 24 = 2*m. Is m/(-15)*(-30)/(-4) a prime number?
False
Suppose -5*w + 56 = 2*j - 50, 0 = -3*j + 9. Suppose -38 = -11*s + 589. Let z = s - w. Is z composite?
False
Let m(j) = j + 24. Let i be m(-22). Is 3898/(-4)*(i + -3 + -1) a composite number?
False
Let j = -540 + 12239. Is j prime?
True
Let x be 21/(-14)*4/(-3). Suppose -x*p = 10 + 10. Let i = p + 75. Is i a prime number?
False
Let f = -2 + 8. Let q(l) = -6*l + 1 - 4 + 4*l**2 + 3 + 0*l**2 + 3. Is q(f) a composite number?
True
Suppose 0 = 2*o - 3*o + 1538. Is o a composite number?
True
Suppose 17473 = 5*g - 7102. Suppose 2*l = 5*k - g, -k + 117 + 866 = -5*l. Is k a prime number?
True
Suppose 4*a = -3*j + 23765, -3*j = 5*a - 4*j - 29692. Is a composite?
False
Is 0 + (-5)/20 + (-147399)/(-12) a prime number?
False
Let l(i) = 38*i**2 + 18*i + 249. Is l(73) prime?
False
Suppose 2120 = 2*i + 2*u, 2*i - 3*u + 120 = 2215. Is i a prime number?
False
Let v be ((-7)/(-4))/(4/3984). Let f = 2540 - v. Is f prime?
True
Let z(b) = 867*b - 110. Is z(7) a composite number?
True
Let a = 56 + -32. Let j = a - -7. Is j a prime number?
True
Let j(t) be the first derivative of 0*t - 4 - 67/2*t**2. Is j(-1) prime?
True
Let r = 4875 - -1904. Is r prime?
True
Let g(r) = -r**3 + 4*r**2 + r + 1. Let w be g(4). Suppose -w*q = -1468 - 1397. Suppose -5*d + q = -2*d. Is d a composite number?
False
Suppose 13*p - 1367 = 12*p. Is p a composite number?
False
Let c be (-2 + -1)/(3/(-157)). Let v = -30 + c. Is v composite?
False
Let a be (540/(-25))/((-2)/10). Suppose -879 - a = -3*y. Suppose 285 = 2*d - y. Is d prime?
True
Let q(x) = -x**3 + x + 1. Let h be q(-2). Suppose 0*n + h*n - 21 = 0. Suppose 0*b + n = -b, -5*o - 5*b + 2050 = 0. Is o a prime number?
False
Let f(q) = -q**3 - 21*q**2 - 20*q + 5. Let k be f(-20). Suppose 285 = -0*o + k*o. Is o prime?
False
Let z(o) = 7*o**2 - 3*o - 3. Let s(q) = -6*q**2 + 2*q + 2. Let h(a) = -6*s(a) - 5*z(a). Suppose x = 2*l - 9, 0*l + 3*l = -x - 9. Is h(x) prime?
False
Let b(n) = 459*n**2 - 12*n + 28. Is b(5) composite?
False
Let w = -64 - -109. Suppose 35 = -4*k - 3*z, 0 = -5*k + 3*z - 19 - w. Is 2*(-4)/(8/k) prime?
True
Let w be 2*-2*-1 - (-12 + 10). Suppose -w*u + u = -11215. Is u composite?
False
Suppose 0 = -4*u + 4 + 4. Suppose -5*h + u*y = 22 + 12, -y + 21 = -3*h. Let x(p) = p**2 + 7*p - 2. Is x(h) a composite number?
True
Let i(d) = -d**3 + 9*d**2 - d + 2. Suppose -7 = 4*c - 39. Is i(c) a composite number?
True
Let f be (-4 + -1)/(-4 + 5). Let j = 7 + f. Suppose -5*c = -7*t + 4*t - 277, -2*c = j*t - 98. Is c prime?
True
Let l be -1 + (-4 - (3 - 4)). Is (l/60*-5)/(1/21) a composite number?
False
Suppose -a = -0 - 4, -4*g = -3*a - 8384. Is g a prime number?
True
Let b(o) = 127*o - 57*o + 124*o - 54 - 21. Is b(19) prime?
False
Let a(j) be the first derivative of -5*j**3/3 + 4*j**2 - 9*j - 6. Let v be a(9). Let z = v + 809. Is z a prime number?
True
Let k = 12 - 6. Let v(b) = -5*b**2 + b + 5. Let x be v(k). Let a = 330 + x. Is a a composite number?
True
Suppose -2*y - 5*g = 15, 3*g + 25 = 3*y + g. Suppose -j - 2*q + 1630 = -817, q - y = 0. Is j a composite number?
False
Suppose -3*y - 26 + 38 = 0. Suppose 375 = g - n, -y*n + 1139 = 3*g - 0*g. Is g a prime number?
False
Let f be -4*2/(-4)*-1. Let i(s) = 2 - 688*s + 686*s - 3 + 88*s**2. Is i(f) a prime number?
False
Suppose -16 = 2*q + 3*l, -24 = 4*q - q + 5*l. Is 2 + -1178*4/q a composite number?
True
Let w(i) = -i**2 - 16*i + 14. Let a = -15 + -11. Let m be 1/((-2)/(-1))*a. Is w(m) composite?
False
Suppose 27 = 2*r + 11. Let j(u) be the first derivative of 33*u**2/2 - 5*u + 37. Is j(r) prime?
False
Let i be (-4)/(-4 - 170/(-45)). Let s = i - 17. Suppose -s = w - 52. Is w composite?
True
Let a(k) = 8 + 2 - 2*k + 3*k. Let c be a(-7). Is -42*((-6)/4)/c a composite number?
True
Is 5672/6 + (-637)/273 composite?
True
Let h = -30 - 257. Let t = h + 478. Is t a composite number?
False
Suppose 22*w = 21*w + 60. Is (-514)/(-10) + 1 - w/(-100) prime?
True
Let m(o) = -1609*o**2 - o + 2. Let f be m(-2). Let l = f + 11131. Is l prime?
False
Let g = -45 + 30. Let f = g + 20. Suppose 336 = f*t - 2449. Is t a composite number?
False
Let l(f) = -20*f + 91. Is l(-5) a composite number?
False
Suppose -387 = -u - 42. Suppose 5*f + 29 = w - 44, -5*w + 5*f + u = 0. Suppose h = -4*v + 153, h - 99 = 3*v + w. Is h a prime number?
False
Let p = 14514 + -8203. Is p a composite number?
False
Suppose -1 = -p + 4. Suppose -p*w - 1770 + 6340 = 0. Suppose 2419 = 5*i + w. Is i a composite number?
True
Suppose -2*z = -3*i + 18373, -24660 = -5*i + 5*z + 5970. Is i a composite number?
False
Suppose 0 = -5*c - u + 7, 2*c + u = 2*u. Is -17 - -20 - (-685 - c) a composite number?
True
Let u(k) = k**2 + 22*k - 58. Is u(13) composite?
False
Let w(u) = 74*u**2 + u. Let c be w(-2). Let j be (-10)/(2*(-3)/c). Suppose -j + 1466 = 8*k. Is k composite?
True
Suppose -1 = -4*g + 3*g. Suppose g = 2*c + 7. Is 2/c - (-2350)/6 a prime number?
False
Let s be 4/(-8) + (-37)/2 + 4. Is (s/12)/((-957)/956 - -1) composite?
True
Let v(k) = -30*k**3 + k**2 - 4*k - 1. Let u(w) = w**2 + 5*w - 8. Let r be u(-6). Is v(r) a composite number?
False
Let b = 7899 - 290. Is b a prime number?
False
Let l = 5301 - 2382. Let s = l - 1246. Is s prime?
False
Suppose 20*y = 15*y - j + 13883, -4 = 2*j. Is y a prime number?
True
Suppose 6 + 4 = 5*m. Suppose -3*j - o + 757 = 0, -m*o + 1006 = j + 3*j. Is j composite?
True
Let o(d) = -20*d**3 + 3*d**2 + 3*d - 4. Let q be o(-4). Suppose 0 = -3*p + q - 199. Is p a composite number?
True
Let z be (27 + (-2 - -5))*(-1)/(-2). Is (3 - 5748/z)*-5 a prime number?
True
Let a = 22 + -24. Let d(m) = -2*m + 1. Let y be d(a). Is 12570/50 - 2/y prime?
True
Suppose 13*t + 12 = 15*t. Suppose 4*f - 6 - t = 0. Suppose -2*a - f*a = p - 607, 2*a - 240 = p. Is a prime?
False
Let b be (15/30)/(1274/1272 - 1). Suppose -3*u + b = 3*u. Is u a composite number?
False
Let n(o) = -5*o + 29. Let s be n(6). Is s/(128/132 - 1) prime?
False
Suppose -27*n + 220 = -22*n. Let v = 66 - n. Is v prime?
False
Suppose -8*o = -2*o - 30. Suppose 2*h - w - 67 = 0, -o*w - 125 = h - 5*h. Is h a composite number?
True
Let y = 75 + -405. Let f = 749 + y. Is f prime?
True
Suppose 3*z = -4*b + 32245, 7*z - 2*b = 12*z - 53751. Is z a prime number?
False
Suppose 3*m = 9, -w + 0*m - 217 = 4*m. Let o = 23 - 91. Let t = o - w. Is t composite?
True
Let o = -4387 + 8670. Is o a composite number?
False
Let r(q) = 133*q + 3. Let s be r(5). Suppose -w - 87 + s = 0. Suppose 5*j = 5*b - 650, 4*b = -5*j - 88 + w. Is b a composite number?
False
Suppose -14*k + 3227 = -12663. Is k a composite number?
True
Let h(m) = 21*m**2 + 7*m - 131. Is h(14) composite?
True
Suppose 0 = -4*b - b. Let d(i) = 16*i + 505. Let k be d(0). Suppose 2*a + 5*t - 181 = b, 6*a = a - 2*t + k. Is a composite?
False
Let q = 6077 - -4520. Is q composite?
False
Let y(p) = 263*p**2 - 14*p + 33. Is y(10) a composite number?
True
Suppose 0 = l + 154 + 100. Let b = l + 795. Is b a prime number?
True
Suppose -129*n = -125*n - 63148. Is n composite?
False
Suppose h = 4089 + 6092. Is h a composite number?
False
Suppose -3*q + q = 0. Suppose 5*t - a + 5 = t, q = 2*t + a + 1. Is (-2 - -2 - -32) + t a prime number?
True
Suppose -7 = -4*m - 43. Is ((-6)/m)/(4/10398) a prime number?
True
Let w = -418 - -287. Is (w - 2)/(0 + -1) composite?
True
Let l = 196 - 68. Let o = l + -57. Is o prime?
True
Let f(b) be the second derivative of -28*b**3 + 13*