 o - 15. Suppose -x + 8 = -o. Is x a prime number?
True
Let l(i) = 3*i**2 + 6*i + 13. Is l(-10) prime?
False
Let n = -2 + 3. Suppose 0 = -0*w - 4*w + 20. Suppose -q + w = n. Is q a prime number?
False
Let g be ((-24)/(-20))/((-3)/10). Let h(j) be the second derivative of j**5/20 + 7*j**4/12 + 5*j**3/6 - j**2 + j. Is h(g) a prime number?
False
Let d = 5 + -3. Suppose -1 = -2*n - t, t + 1 = n - d*n. Is n/4 - (-52)/8 prime?
True
Suppose 2*x - 4*o = 94, 4*o - 4 = 12. Is x composite?
True
Suppose -j + 3*j - t - 760 = 0, 0 = -5*j + 3*t + 1901. Is j a prime number?
True
Let o(x) = -x**3 + 4*x**2 + 3*x - 2. Let j be (-1 + (-21)/(-3))/1. Let u be o(j). Let t = 23 - u. Is t prime?
True
Let x(y) = -17*y**3 + 3*y + 10*y**3 + 6*y**3 - 14*y - 11 - 10*y**2. Let n(d) = d**3 - d**2 + d - 9. Let m be n(0). Is x(m) composite?
False
Let k = 1500 + -755. Is k composite?
True
Let y(n) = 13*n**2 + 1. Let u = 8 + -6. Is y(u) composite?
False
Suppose -n = -3*f + 3, 7 - 3 = 4*n + 4*f. Suppose 0 = -t + 2. Suppose t*i + i - 21 = n. Is i prime?
True
Suppose 3*o - 483 - 186 = 0. Is o prime?
True
Let p(f) = f - 3. Let k be p(5). Suppose k*g - 114 - 79 = 5*y, 0 = -5*y - 4*g - 169. Let x = -12 - y. Is x a composite number?
True
Let w = 135 - 3. Let l = -63 + w. Is l prime?
False
Suppose 0 = -2*k + 5*c + 6702, 3*c = -k - 0*c + 3351. Is k a composite number?
True
Suppose -7*m = -5*m - 6. Suppose 3*h = -w + 53, -m*w - 2*h + 240 = 67. Is w prime?
True
Let u(i) = i**3 + 9*i**2 - 3*i + 3. Is u(-5) prime?
False
Suppose 18 + 4 = 2*j. Suppose j - 365 = -2*v. Is v prime?
False
Suppose 2*j - 3*s = 49, 2*s + 20 - 152 = -5*j. Is j a composite number?
True
Suppose -l = 4*j + 89, l + 0*j + j + 83 = 0. Let c be (7/1*8)/(-1). Let p = c - l. Is p composite?
True
Let o(b) = b**3 - 7*b**2 + 3*b - 5. Let n(z) = 1. Let q(j) = -4*n(j) + o(j). Let r be (-2)/5 + (-126)/(-15). Is q(r) composite?
False
Let s(j) = 464*j**3 + 2*j**2 - 3*j + 1. Is s(2) a composite number?
True
Let b be (-251)/(-10)*6*5. Let w = b - 350. Is w composite?
True
Suppose 0 = 5*j + 3*f + 9, 3*j + 3 = -2*j - f. Is j - (-5 + 1 - 325) prime?
False
Suppose -2*p = -c + 4*c - 149, 5*p + c = 353. Suppose k - 2*k = -5*i - p, 3*i - 62 = -k. Is k a prime number?
False
Is 1009/(-2)*(-3 - -1) a composite number?
False
Let m = 7 - 5. Suppose -m*z = -6*z + 148. Is z a prime number?
True
Let j be 10 + 1/(-1) + 3. Let n be (6/9)/2*j. Suppose 2*g - 2 = 0, -80 = -2*w - 2*w + n*g. Is w prime?
False
Let z = -2 + 4. Suppose -4*h + 105 = 5*j - 341, -j = -z*h + 216. Is h a prime number?
True
Is (205/(-10))/(-1 + (-39)/(-42)) a prime number?
False
Let u = 143 - 19. Let o = u + 37. Is o composite?
True
Let d = -1504 - -3681. Is d a composite number?
True
Let i(o) = -o**3 + 12*o**2 - 12*o - 13. Suppose -3*h + 0*n - n = -35, 0 = -3*h - 5*n + 55. Is i(h) a prime number?
True
Let v = 60 + 9. Suppose 4*g + v = 377. Is g a prime number?
False
Suppose -5*k - 10 = -2*c, -k - 2*c - 4 = k. Let d(u) be the first derivative of -29*u**2 - 3*u - 1. Is d(k) a composite number?
False
Suppose 58 = 4*r - 2*j, 2*r + j + 13 = 40. Is r a prime number?
False
Is 8/(-12) - 1198/(-6) a composite number?
False
Let p(w) = -20*w + 15. Is p(-14) a prime number?
False
Suppose 0 = 5*x + 2 + 13. Let n(r) = -r - 1. Let c be n(2). Is 2 + c/(x/113) composite?
True
Suppose 3*v + 9*x + 15 = 4*x, 3*v = -x - 3. Suppose 4*f + 4 - 92 = v. Is f composite?
True
Suppose b - 555 = -2*b. Is b composite?
True
Let g(k) = k. Let i(n) = 6*n + 3. Let a(d) = 4*g(d) - i(d). Let f be a(-4). Suppose -v = l - 22, f*v - 2*l + 69 - 200 = 0. Is v prime?
False
Let g(p) = -2*p - 8. Let l be g(-6). Suppose 3*d - 3*x = 6, 6*x = 2*x + l. Suppose -f - 8 = -5*b - 0, 5*f + d*b - 44 = 0. Is f prime?
True
Suppose -3*g + 492 = 153. Is g a composite number?
False
Let o(g) be the third derivative of -g**6/120 - g**5/6 - 5*g**4/8 - 5*g**3/6 + 2*g**2. Let h be 108/(-11) + 2/(-11). Is o(h) prime?
False
Suppose -v - 104 = -g - 6*v, -5*g + 4*v + 549 = 0. Is g prime?
True
Suppose -5*m + 3*p = -3433, 0 = -4*m + p - 4*p + 2768. Is m a prime number?
False
Suppose -2 = -b - 0*b. Is 136/2 + (b - 3) a composite number?
False
Suppose 0 = -3*o + 14 + 1. Suppose 146 + 249 = -o*q. Let n = q - -132. Is n a prime number?
True
Is (-1)/((20/445)/(-4)) a prime number?
True
Let v = 1128 - 691. Is v a composite number?
True
Let l(b) = -38*b + 20. Let w(t) = 13*t - 7. Let h be (2/3)/(1/(-6)). Let r(a) = h*l(a) - 11*w(a). Is r(2) a prime number?
False
Let m(y) be the second derivative of -y**6/5 - y**4/24 + y**2 + 2*y. Let g(q) be the first derivative of m(q). Is g(-1) a composite number?
True
Let p(g) = -12*g + 10. Let j be (-4)/((-3)/(1 + -4)). Is p(j) composite?
True
Let p(i) = 7*i**3 + 4*i**2 + 3*i + 3. Let q(x) = -3*x**3 - 2*x**2 - 2*x - 1. Let r(b) = 4*p(b) + 9*q(b). Is r(4) composite?
False
Suppose 7*g = 5*g - 24. Let u = 5 + -11. Is (-40)/u - 4/g prime?
True
Suppose -5*m + 7*m - 226 = 0. Is 0 + m + (-1 - -3) a composite number?
True
Let n = -28 + -15. Let c = -28 - n. Is c composite?
True
Suppose 9 = -2*t + 3*q - 0, -4*t + 5*q - 23 = 0. Is (t/10)/((-2)/15) a prime number?
False
Suppose 5*f = 5*t - 8660, 0 = t + 2*t - 5*f - 5194. Is t prime?
True
Let s be 52/(-91) + (-64)/(-14). Suppose s*a = -a + 1535. Is a a prime number?
True
Suppose 0 = -5*i + z + z - 4, 0 = 2*i + 2*z + 10. Let t(x) = 5*x**2 + 2*x + 3. Is t(i) composite?
False
Let b be 42/8*(-80)/(-15). Suppose 2*h - 4*j = b + 20, -j - 63 = -2*h. Is h a composite number?
True
Let a(i) = 2 + 3 - 1 + 7*i**2 - 3 - 5*i. Is a(4) prime?
False
Suppose -6*w = -157 - 245. Is w composite?
False
Let g = -3 - -6. Suppose 14 = 3*w - 6*w - 5*y, 2*w - 16 = g*y. Suppose 0 = w*k + 3*k - 445. Is k composite?
False
Suppose 2*m = 8 + 58. Let h = 70 - m. Is h prime?
True
Let f = -35 - -86. Let x be (-572)/16 + (-1)/4. Let h = x + f. Is h composite?
True
Suppose -3*u = -5*q + 19, u = 4*q - 2*u - 17. Is (0 - -179) + -2 + q prime?
True
Let d(z) = 7*z**2 + 7*z - 5. Let c(t) = 10*t**2 + 10*t - 8. Let m(f) = 5*c(f) - 7*d(f). Is m(-5) a prime number?
False
Let n(p) = p**2 + 3*p + 3. Is n(-6) a composite number?
True
Suppose -a + 19 = 5*t - 3*t, 0 = -3*t - a + 26. Let w = 3 + t. Is 4/w - 511/(-35) a prime number?
False
Let j be 0/((-5 - -1)/(-2)). Suppose -5*g + 449 + 441 = 5*n, -4*g + 2*n + 736 = j. Suppose -4*r + g = -3*c, 2*r + c = -53 + 149. Is r prime?
True
Let c be (1/2)/((-2)/(-72)). Suppose -2*b + 0*b - c = 0. Is b/(-3)*83/3 a prime number?
True
Suppose z - 2 = 1. Suppose -z*u = u. Is u/2 - -49 - 2 a composite number?
False
Suppose -2*w = -0*w - 10. Suppose 10 = w*c, 4*t - 4*c + 0*c = 68. Is t composite?
False
Let s(w) = -3*w**2 - 6*w + 24. Let y(h) = 2*h**2 + 4*h - 16. Let r(v) = 5*s(v) + 8*y(v). Is r(7) prime?
False
Let c(d) = -d**3 + 9*d**2 + 5*d - 12. Let x be c(9). Let j be x/9 + (-2)/(-6). Suppose -2*a = -5*r - 48, -r - 6 - 54 = -j*a. Is a prime?
False
Suppose 5*m - 2538 = -2*j, -m + 517 = 2*j - 2037. Suppose -2*f - 3*s = -1291, -j = -2*f + 4*s - 3*s. Is f a composite number?
False
Let q(l) = -l**2 - 6*l - 6. Let n be q(-4). Let b(o) = -1 - 2*o**3 - 6*o**2 - o - n*o + o. Is b(-4) a composite number?
True
Suppose -3*g - 3*v = -6, 2*g + 3*v + 2 = 7*g. Suppose g = -2*a + 51. Is a a prime number?
False
Let p(m) = -m**2 - 5*m + 3. Let x be p(-5). Suppose i - x*i - 78 = 0. Let g = i + 92. Is g a composite number?
False
Let b = -23 + 20. Let l be (0 - 1) + 3*1. Is -3 + (b - -81) + l a composite number?
True
Suppose 0 = -2*u - 0*u + 10. Suppose -2*m - 771 = -u*m. Is m prime?
True
Let u be (3 - 3) + (370 - 0). Suppose -4*b + u + 154 = 0. Is b prime?
True
Let f be ((-85)/15)/(1/(-12)). Suppose q = 74 + f. Is q a prime number?
False
Let h(u) = u - 8. Let x be h(6). Let k be x + 11 - (-2)/(-2). Let w = 39 - k. Is w a prime number?
True
Let l(m) = -m**3 - 8*m**2 + m - 17. Is l(-13) a composite number?
True
Let t be (18/27)/(2/3). Let g(h) = 166*h**2 - h + 1. Is g(t) prime?
False
Let g = -51 - -194. Is g composite?
True
Let x = 298 - -347. Suppose -5*m = 220 - x. Is 1/(-1) + -5 + m a composite number?
False
Suppose -i = 2*p - 241, -2*p + 484 = 2*i - 8. Is i a composite number?
False
Let v(w) = -w**2 + w + 6. Let d be v(8). Let p = 83 + d. Is p a prime number?
False
Let a(k) = 35*k - 1. Let t be -4*(0 + (-1)/1).