= -22*h. Is h a prime number?
False
Let w be 1 + (-7651 - 1)/2. Let l = -2688 - w. Suppose -v + l = 2*v. Is v a prime number?
True
Suppose 0 = -4*y - 3*x + 52, -7*y - 4*x - 96 = -12*y. Suppose 0 = y*k - 10*k - 4038. Is k composite?
False
Let r(j) = 63*j**2 - 3*j - 7. Suppose 4*s = 5*i - 45, 3*s - 5*s = -5*i + 35. Is r(i) a prime number?
True
Let l be (212/1 - 2)*(-36)/(-8). Let d = l - 566. Is d composite?
False
Let m = 1193 - -2535. Let n = m - 2167. Is n a composite number?
True
Let n = 12905 - 6268. Is n composite?
False
Let z(o) = -13*o + 1. Let g(s) = s**3 - 2*s**2 - 4. Let q be g(3). Let b be z(q). Let u = b + 323. Is u a composite number?
True
Let m = 3044 - 411. Is m composite?
False
Suppose 2*z + 5*m = 4312, -m - 4 = m. Is z prime?
True
Suppose -o + 4*o + 72 = -3*x, 4*o = -x - 81. Let h = 26 + o. Suppose -h*q + 170 + 369 = 0. Is q a composite number?
True
Let t(o) = -12*o**2 - 6*o - 15. Let y(n) = n**3 - 47*n**2 - 24*n - 61. Let a(r) = 9*t(r) - 2*y(r). Is a(-12) composite?
False
Let w(t) = -22 + 6*t**2 + 40 - t**3 - 14. Is w(3) a prime number?
True
Suppose 3*s - 13 = 2*x, s + 2*x = -x - 3. Suppose 4*w + s*t = 1799, 2*w - 900 = -4*t + 2*t. Is w a prime number?
True
Let a(m) be the first derivative of -m**2/2 + 20*m + 1. Let v be ((-4)/5)/(2/(-15)). Is a(v) composite?
True
Is -1*((-181430)/30 + 4/6) a composite number?
False
Let r(x) = x**3 - 23*x + 6103. Is r(0) a composite number?
True
Let t be 6776/(-21)*3*-1. Let j = t - 497. Is j a composite number?
True
Suppose 5*q - 4060 = -3*m, -5*q - 4*m + 2197 = -1868. Is q prime?
True
Let t be (-6)/(-9) - (-6320)/15. Let h = 369 + t. Is h a prime number?
False
Is (0 - (-15)/(-5)) + 1544 a composite number?
True
Suppose -r + 13772 = -8967. Is r prime?
True
Let x = 16370 - 4299. Is x composite?
False
Let u be 25*(16/(-20))/1. Let j = -26 + 61. Let q = j + u. Is q a composite number?
True
Let u(f) = -f + 12. Let m be u(11). Is ((2056/4)/m)/2 prime?
True
Let a = 124 + -50. Let f be ((-472)/4)/((-4)/a). Suppose -f = -4*z + 45. Is z a prime number?
True
Suppose -5*h + 0*h = 25. Let n = h - -19. Suppose 13*b = n*b - 309. Is b composite?
True
Let t be (-2 + -1)/((-21)/1393). Let r be (-3 - (-1)/1) + -138. Let v = t + r. Is v a composite number?
False
Let v(u) = 14*u + 1 + 4*u**2 - 2*u + 12. Suppose -4*h = 2*y + 3*y - 33, 2*y - 27 = 3*h. Is v(y) prime?
False
Let a(w) = 302*w**2 + 1. Let s be a(-2). Let z be s/(-4) + 2/8. Let h = 653 - z. Is h a composite number?
True
Suppose 5*x = -2*v - 3, -4*v - 20 = -3*x - x. Let f = 4 - x. Suppose 28 = -f*w + 289. Is w prime?
False
Suppose 4*z + 402 = 3*j, 3*j = -z + 3*z + 402. Is -2*j/4*-1 composite?
False
Let m(t) = 5*t - 2. Let l be m(2). Let q = l + -11. Is (q/(-5))/((-1)/(-185)) a composite number?
True
Let a(g) = 2*g**2 - 11*g - 14. Let w(l) = 6*l**2 - 33*l - 41. Let z(j) = -j**3 + 8*j**2 - 5*j - 8. Let b be z(7). Let x(n) = b*w(n) - 17*a(n). Is x(11) prime?
True
Is (4 - (7 + 0)) + 520 prime?
False
Let g(b) = -13*b**3 - 10*b**2 - 85*b + 14. Is g(-17) composite?
True
Suppose -5*p - 3*x - 689 = -4*x, 2*p + 4*x = -258. Let u = 650 - p. Is u a composite number?
False
Let s(d) = 6482*d + 37. Is s(2) prime?
True
Let a(c) = 1665*c**2 + c + 1. Let k = 11 + -12. Let h be a(k). Suppose -4*g = j - 317, g = -5*j - 3*g + h. Is j a prime number?
True
Let y(b) = 1408*b**3 + b. Let h(r) = 2*r**3 + 4*r**2 - 2*r - 3. Let l be h(-2). Is y(l) a composite number?
False
Let j(k) = -4 - 2 + 1 + 8*k. Let u(p) = p**2 - 4*p + 5. Let h be u(4). Is j(h) a prime number?
False
Suppose -60748 = -13*c + 184419. Is c prime?
True
Is (-62215)/(-40) - 6/16 a composite number?
True
Suppose 16*i + 12666 = 13*i. Let c = -1391 - i. Is c prime?
False
Let i(s) = -s**2 + 10*s. Let b be i(10). Let x = 202 - -15. Suppose 4*r - u = -x + 673, -2*r - 4*u + 246 = b. Is r composite?
True
Suppose 10609 + 996 = 5*u - 4*n, -4*n = 2*u - 4642. Is u a prime number?
False
Let o(u) = 67*u**3 - 5*u**2 + 4*u - 2. Let p be o(2). Let k = 175 + p. Is k composite?
True
Let z = -1462 - -2188. Let y be -10*(z/(-4) - -3). Let n = -532 + y. Is n a composite number?
True
Let f = 49790 + -28229. Let p be (-4)/(-14) - f/(-21). Let y = p - 722. Is y composite?
True
Suppose -26 = -5*v + 4*w, -6*w - 14 = 3*v - w. Is v/(-4) + (-2646)/(-28) composite?
True
Let k(y) = 2*y**2 + 9*y + 14. Suppose -3*s + 2*s - 5*b + 6 = 0, -4*s + 3*b = 45. Is k(s) a composite number?
True
Suppose y = 3*w, 3*w - y - y + 3 = 0. Is w*337 + 0/(4 - 6) a prime number?
True
Suppose b = 8*b + 679. Let t = -3 + 6. Is t/(-1) - (3 + b) a composite number?
True
Let f(q) = -12 - 21 - 6 + 9 - 5*q. Is f(-19) a composite number?
True
Suppose -7*t + 15 = 5*f - 2*t, t + 1 = f. Is f/(-14) - (-6480)/35 a prime number?
False
Let i be 4 - 1/((-2)/12). Suppose 0 = -5*y + i + 10. Is y composite?
True
Let h = 2299 + -1427. Let d = h - 613. Is d prime?
False
Let z be (0 + 27/(-6))*20/15. Is z/4 - 20172/(-24) a prime number?
True
Let a be (-27)/(-6) + (-1)/2. Is ((-2)/a)/(2/(-236)) a prime number?
True
Let h(b) = 2*b**2 + 3*b + 2. Let f be h(-2). Suppose v = m, -2*v = -6*v - f*m. Suppose 3*t = 0, -n + v*t + 211 = -3*t. Is n a composite number?
False
Let v = 33 - 51. Let j(u) = u**3 - 5*u**2 - 7*u + 1. Let g be j(6). Let k = g - v. Is k prime?
True
Let v = 90792 - 55109. Is v a composite number?
True
Suppose 0 = 20*h - 18*h + 2*k - 17554, -3*h = -5*k - 26347. Is h a prime number?
True
Let d = -1 + 4. Suppose d*w - 5*w - 4 = 0. Is (-415 + -4)*2/w composite?
False
Let x = -14 + 25. Suppose -4*y + x = 3. Suppose n - 4*n - 2*f = -155, 103 = y*n + f. Is n a composite number?
True
Is (-58)/3*1*(-9210)/20 a composite number?
True
Suppose -28*q = -32*q + 520. Suppose 0 = 5*j + 5*b - 4510, 4*j = -5*b + q + 3473. Is j composite?
False
Suppose 10*y + 4*c = 9*y + 20705, y + 5*c - 20702 = 0. Is y composite?
False
Suppose 26 = -2*u + 18. Let d be 4*(1 + (-1)/2). Is 3 - (u + -400 - d) a prime number?
True
Suppose 3*t - j = -1751, j = t - 2*j + 597. Is (t/(-4))/(9/12) composite?
True
Let b(u) = -u**2 - 2*u + 1. Let d be b(2). Let n(t) be the first derivative of 2*t**3/3 - 7*t**2/2 + 2*t - 101. Is n(d) a prime number?
True
Let c(t) be the third derivative of 17*t**4/24 - 2*t**3 + 6*t**2. Let n be c(3). Let m = 97 - n. Is m composite?
True
Let l(n) be the second derivative of -79*n**5/5 - n**3/6 + 15*n. Is l(-1) composite?
False
Let o(k) = -39*k - 4. Suppose 0*b + 5*b = 5*m + 10, 0 = 4*m - 5*b + 12. Let x(s) = -38*s - 3. Let h(w) = m*o(w) - 3*x(w). Is h(3) composite?
False
Let o(s) = -2*s - 5*s - 130*s**3 + 8*s + 2*s**2. Suppose -k - 3*g - 13 = 0, 2*k + 10 = -2*g - 0*g. Is o(k) prime?
True
Suppose 0 = 2*s + 15 - 123. Suppose -s = -4*d + 542. Is d composite?
False
Suppose 94*p + 4747510 = 19264964. Is p a composite number?
True
Is 3 + 2 + 3 + -5 - -244 prime?
False
Suppose -2*b = -0*b. Suppose -o + 2 = 1. Is (-5 + -86)*(b - o) a prime number?
False
Let k(n) = 3*n + 90 + 72 - 20 + 24. Is k(0) prime?
False
Suppose -2*z - m + 7283 = 0, 6*z + 3*m = z + 18208. Is z prime?
False
Let b(s) be the third derivative of -249*s**4/8 + s**3/2 - 7*s**2. Let o be b(-1). Suppose 0 = 5*m + 2*a - 1649 - o, 0 = 2*a - 4. Is m composite?
False
Suppose 5*s + 114 = -3*n, -s = -4*s - 5*n - 62. Let m be (-76)/s - 4/24. Suppose -m*l + 253 = w, 5*l - 71 - 352 = -w. Is l a composite number?
True
Suppose -7*b - 884 = -8*b. Suppose 269 = -3*a + b. Is a prime?
False
Let m(b) = 25*b**2 + 6*b - 20. Let r be m(7). Suppose 2*c = r + 1127. Is c composite?
False
Let y(q) = -q + 10. Let u be y(4). Suppose 0 = -3*x + 16836 - 3711. Suppose u*i - x = -1249. Is i a prime number?
True
Let r = 873 + -286. Is r a composite number?
False
Suppose -6*a = -7*a + 2*l, 0 = 4*a - 5*l. Let h(n) = -369*n + 3. Let z be h(-4). Suppose -8*p + 11*p - z = a. Is p prime?
False
Let h(n) be the third derivative of -83*n**4/8 - n**2. Let l be h(-5). Suppose 3*r = -2*r + l. Is r a composite number?
True
Suppose 54*n - 52*n - z - 44937 = 0, 3*n - 5*z - 67388 = 0. Is n a composite number?
True
Let m be (-1)/(-1)*(707 - 4). Suppose -3362 = -2*h + 4*j, -j - m - 981 = -h. Is h prime?
False
Let j(t) = 4*t**2 + 20*t - 29. Let z be j(-15). Let v = 3820 + z. Is v prime?
True
Let j = 5937 - -3476. Is j a prime number?
True
Let d(t) = -68*t**3 + 10*t**3 + 56 - 57 - 2*t