 -z = -2*x + 266, 0 = 5*x + 2*z - 3*z - 659. Is x composite?
False
Suppose -81 + 379 = -5*z + 3*b, 4*b - 4 = 0. Let h = z + 162. Is h prime?
True
Is (-335)/(-15) + (-2)/6 composite?
True
Let w = 1760 + -1257. Is w a composite number?
False
Let v(l) = -9*l + 12. Let y = -13 - -4. Is v(y) prime?
False
Suppose -9 = 3*p, 7*p - 4*p = l - 148. Is l a composite number?
False
Is (-331)/(33/9 - 4) prime?
False
Let a(h) = h**2 - 6*h - 7. Let n be a(6). Let y = -28 + 46. Let i = y - n. Is i a composite number?
True
Suppose -2*j - 5*y = -3351, -3*j + 8362 = 2*j - 3*y. Is j a composite number?
True
Is (-13)/(-6) + -2 + (-25585)/(-30) prime?
True
Let r(c) = -2*c**3 - 3*c**2 - c - 1. Let h be r(-2). Suppose 88 + 342 = h*l. Is l a prime number?
False
Suppose 529 + 315 = -2*o. Is (o/8)/(8/(-32)) a prime number?
True
Let k = -2108 - -1399. Let d = -435 - k. Is d a composite number?
True
Is (-6420)/(-45)*6/4 composite?
True
Let g(x) = -x**3 + 5*x**2 + 4*x + 1. Let q be g(-4). Is (q - 2) + (1 - 1) composite?
False
Suppose 5*s = 5*v + 19 + 1, 5*v = -2*s - 34. Let m be 1*(-3)/v*-2. Let o = 5 - m. Is o a prime number?
False
Let i = -12 + 14. Suppose -5*w = 3*z - 445, -i*w - 3 = 3*z - 190. Is w prime?
False
Let b = 643 + -386. Is b prime?
True
Suppose -12 = 3*y + 30. Let l = -20 - y. Is (-4)/l + 542/6 a prime number?
False
Suppose -b = 2*b - 951. Is b a composite number?
False
Suppose -4*z - 277 = w, 2*w - 4*z = -9*z - 548. Is (-4 - -3)*(w + -2) a composite number?
False
Suppose p = 2*p. Suppose -w + 4*x + 31 - 8 = p, 5*w - 94 = -x. Is w a prime number?
True
Let z = -908 + 620. Let p be (-1)/(-2*(-3)/z). Suppose q - 2*a + 0*a - 18 = 0, 0 = 4*q + 4*a - p. Is q a composite number?
True
Suppose -2*k - 12 = 3*d, d + 4 = -0*d. Suppose -3*z + 59 = -k*f - 2*f, 0 = -4*f - 4. Is z prime?
True
Suppose -22 = -4*k - 10, 0 = 2*v + k - 617. Is v prime?
True
Let d(g) = 10*g**3 + g**2 + g - 3. Let q be d(-3). Let o = q + 470. Is o prime?
False
Let f(x) = -2*x - 4. Let m be f(-3). Suppose -4*p = -m*p - 6. Suppose 5*j - 2*w = 16 + 327, p*j - 221 = 5*w. Is j prime?
True
Suppose 4*c + 2*m - 22 = 0, -2*m - 2 = -5*c + 12. Suppose -37 = -2*z + y, 5*z - 3*y + c*y - 96 = 0. Is z composite?
False
Suppose -v - 4*r + 251 = 0, -v + 3*r + 2*r + 251 = 0. Is v a prime number?
True
Suppose -2*k + 2*b + 1 = -17, 2*b = -10. Suppose 2*r + 913 + 1831 = 3*n, 4*r = k*n - 3656. Let p = n + -473. Is p a composite number?
False
Let m(j) = 1110*j**2 - 6*j. Suppose -s = s + 22. Let c(h) = -222*h**2 + h. Let b(v) = s*c(v) - 2*m(v). Is b(1) a composite number?
False
Let i(v) = -2*v**2 - 3*v - 3. Let u be i(-2). Let d(p) be the second derivative of -13*p**3/6 + p**2 - 2*p. Is d(u) a prime number?
True
Suppose c + a = -4*c + 22, -c = 3*a - 10. Suppose s - 5*t = -2*t + 50, 36 = s + c*t. Suppose 0*u - s = -4*u. Is u composite?
False
Suppose 5*u - 23 = 7. Suppose -2*m = 39 - 7. Is m/u*(-21)/4 prime?
False
Let u = -9 - -9. Suppose 5*f - k - 180 = u, 3*f - 2*k - 80 = f. Is f prime?
False
Let i = 119 - -314. Suppose -4*h = -5*a - 376, i = 6*h - h + 3*a. Let x = h - 54. Is x a prime number?
False
Let a(h) = 50*h**2 + 6*h + 1. Is a(3) prime?
False
Suppose 35 = -3*j + 1166. Is j composite?
True
Let i(l) = 14*l - 1. Let d(o) = 29*o - 2. Suppose 0*v + 6 = 3*v. Let c(g) = v*d(g) - 5*i(g). Is c(-1) composite?
False
Suppose 0 = -3*c + 77 + 58. Let v = 64 - c. Is v a composite number?
False
Let h be 1*(-2)/3*-87. Let g = h + 55. Is g a composite number?
False
Suppose 0*g - 3*z = 4*g - 2789, z = -4*g + 2799. Is g composite?
False
Let z = 147 - 87. Suppose -3*k + 639 = 3*f, 155 = f + 2*k - z. Is f prime?
True
Let m = -3 + 7. Suppose -3*y - 33 = 3*j, 3*y + j = -2*y - 35. Let z = m - y. Is z composite?
True
Suppose 0*k + 4*s = 4*k - 912, -4*k + 947 = 3*s. Is k a prime number?
True
Let y be 11 + (-1 - (1 + -3)). Let k(i) = -2*i - 2. Let t be k(-3). Suppose t*p + 5 = o - y, 56 = 2*o + 3*p. Is o a composite number?
True
Let t = -1 + 5. Suppose -t = 3*s - 1. Is s/((-1)/46*2) a composite number?
False
Suppose -2*g = 1 - 7. Suppose 3 = -r + 28. Suppose 0 = 4*f - g*o - 2*o - 32, -f = 3*o - r. Is f prime?
True
Let t be 2*4*6/16. Suppose 0 = 2*f + 2*f + 4*b - 244, f - t*b = 45. Is f a composite number?
True
Suppose 5*b - 324 = -2*c, 163 = c - 0*b + 3*b. Is c prime?
True
Let j = 0 + 3. Suppose 0 = -5*u + 4*r + 905, -j*u - 5*r = -2*u - 210. Is u composite?
True
Let i be (-1 - -177)*12/8. Suppose -o = -2*h - i, -5*h + 8*h - o = -397. Let x = -48 - h. Is x prime?
False
Suppose -3*k = 10 + 2. Is ((-46)/k)/((-1)/(-38)) a composite number?
True
Let y(z) be the second derivative of z**4/12 - z**3/3 - z. Let f be y(2). Let t = 6 + f. Is t a prime number?
False
Is 9/15 - 25784/(-10) composite?
False
Suppose -j = 2*o - 2437, 5*o - 3*j = -2*j + 6082. Is o composite?
False
Suppose 0 = -0*z + 2*z - 28. Let l = z + 5. Is l a composite number?
False
Suppose -u - 2 = 0, -k - u + 578 = 3*k. Is k a prime number?
False
Let p = 24 + -9. Suppose -2*y - y + p = 3*f, -4*y = -f - 10. Suppose 1 = f*x - 69. Is x prime?
False
Let q = 264 + -46. Suppose -b = -5*h + 1018, -5*b = -h - 0*h + q. Is h composite?
True
Is (-957)/(-5) - (-24)/(-60) a prime number?
True
Let w be 2/3 + (-938)/(-6). Suppose 0 = -i - 4*q + 242, -5*i + 933 = 4*q - 293. Let t = i - w. Is t a prime number?
True
Let k(b) = 15*b + 4 - 6*b + 2*b**2 - 3*b**2. Let m be k(7). Suppose -i + m - 3 = 0. Is i a composite number?
True
Suppose x - 1651 - 1632 = -5*d, -4*d = -2*x + 6538. Is x prime?
False
Suppose 0 = -u + 5*u + 12. Let d(h) = 6*h**2 - 5*h - 2. Is d(u) a prime number?
True
Suppose 0 = 2*p - 45 - 289. Is p composite?
False
Suppose -2*z = 3*i - 81, -2*z + 5*i + 36 = -21. Is ((-286)/(-6))/(12/z) a composite number?
True
Suppose b + 1935 = 5*r - 741, 2*r - 1065 = -5*b. Is r a prime number?
False
Is (-2)/4 - (-1050)/4 a composite number?
True
Let w(s) = s**3 - 4*s**2 + 7*s + 13. Is w(10) prime?
True
Is (-3*(-4227)/(-18))/(2/(-4)) a prime number?
True
Let s = 39 - -218. Is s a composite number?
False
Let l(y) = 36*y**2 + 6*y + 5. Let q be 12/9*(0 + -3). Is l(q) a composite number?
False
Let y be 33948/(-48) - 6/8. Let x = -455 - y. Is x a composite number?
True
Let x(o) = 113*o**2 - 2*o - 5. Is x(-2) prime?
False
Is 2515/15 - (-4)/(-6) a prime number?
True
Suppose 0 = -3*s - 5*p + 257, 2*s = 5*p - 2*p + 146. Is s composite?
False
Let x = 227 - 109. Is x a prime number?
False
Suppose 5 = 2*r - 13. Is r a prime number?
False
Let a(h) = 39*h**2 + 14*h + 1. Is a(-7) a composite number?
True
Suppose 5*p - 230 = 3*p. Is p composite?
True
Suppose 15 = 5*z, -4*r + 3305 = 3*z - 3636. Is r a prime number?
True
Suppose -56 = x - 3*x. Let y = -19 + x. Is y a prime number?
False
Is (-85)/(-10)*(0 + 14) prime?
False
Let o(i) = -i - 1. Let b be o(-1). Suppose -5*x = -b*x - 485. Is 2 + (x - 6/3) prime?
True
Let i(f) be the second derivative of 47*f**4/6 - f**3/6 - f**2/2 - f. Is i(-1) composite?
True
Let g be 6/5*20*29. Suppose 2*b = 3*z - 893 - 151, -3*b = 2*z - g. Suppose -z - 296 = -4*p. Is p a composite number?
True
Suppose -3*r - r + 1291 = z, 0 = 3*r + z - 968. Is r a composite number?
True
Suppose -2*z = 3*k - 229, 0*z + 4*k - 346 = -3*z. Is z a prime number?
False
Let w(x) = 2*x**3 + 18*x**2 - 19*x - 15. Let y(z) = -z**3 - 9*z**2 + 9*z + 8. Let g(d) = 3*w(d) + 5*y(d). Is g(-10) prime?
False
Suppose -4*r + r + 4*x = -24, -4*x + 24 = 3*r. Let h(k) = 3*k**2 - 8*k - 1. Is h(r) a composite number?
False
Suppose 2*d - 6*d = 0. Let k(t) = -t + 2. Let c be k(d). Suppose -488 = -2*a - 2*a - c*r, r - 607 = -5*a. Is a composite?
True
Is 1998/24 + (-2)/8 composite?
False
Suppose -10*i + 10 = -5*i. Suppose -3*j + 49 = -i*j + 3*g, -2*g + 82 = 2*j. Is j prime?
True
Let v(u) = u - 8. Let r be v(8). Let l = r + 2. Is 1 + 37 + l/(-2) composite?
False
Let z = -295 + 458. Is z prime?
True
Let o(g) = -g**2 - 5*g - 1. Let r be o(-3). Suppose 4*s - 5*i = -6*i + 4, -2*s + 4*i - 16 = 0. Suppose -h - h - r*p - 1 = s, -2*p = -5*h + 41. Is h prime?
True
Is (-2*(-263)/2)/1 prime?
True
Suppose 5*k - 39 = -14. Suppose -5*v = -3*c - 6, k*v - 2*c = 3*v + 4. Suppose 2*d - 2*n - 64 = v, 2*d - 91 = n - 26. Is d a prime number?
False
Suppose j + 610 = 3*j - 2*h, j = 5*h + 313. Is j a composite number?
True
Let j(x) = 2*x**3 - 6*x**2 - 4*x - 1. 