 -1. Is -2*(1994/r - -1) a prime number?
False
Let b be (-4)/(-4)*(330 + -1)/1. Suppose 2*t = 2*j - 3*t - b, 0 = -5*j + t + 788. Is j prime?
True
Let i(n) = -n + 17. Let x be i(12). Let t(z) = z + 1. Let g be t(-1). Suppose g = -x*r + 7*r - 1354. Is r prime?
True
Let x(p) = 2689*p**2 - 28*p - 26. Is x(-5) prime?
True
Let b(f) = 2*f - 17. Let s be b(10). Suppose -s*q = -8*q + 2605. Is q a composite number?
False
Suppose 20 = -4*x, -x + 120750 = -0*y + 5*y. Is y composite?
False
Let r(p) = 3*p - 2. Let h(v) = v**3 - 2*v**2 + 5*v - 4. Let t be h(4). Suppose -g = -4*n + 32, 5*g = 5*n - n - t. Is r(n) prime?
True
Suppose -4*m - 12 = 5*g + 551, 446 = -3*m + g. Let z = m - -410. Is z prime?
True
Suppose -10665 + 774 = -9*t. Is t a composite number?
True
Let s(z) = -3*z - z + 3 + 3*z. Let l be s(3). Suppose 2*v - v - 139 = l. Is v composite?
False
Suppose -13*x - 3273 = 17423. Is 0/(-4) - x - -5 a composite number?
False
Let z be (-30)/4*(-2)/3. Let d = 117 - 114. Suppose -u + 221 = -p + d*p, -u = z*p - 560. Is p composite?
False
Let w be 9/(-3 - (-12)/3). Let s be 48/w*(-9)/(-6). Suppose -3*z = -s*z + 485. Is z prime?
True
Let z(g) = -71 + 1116*g + 36 + 54. Is z(8) prime?
False
Suppose 0 = -0*p + p. Let g(v) be the second derivative of v**3/3 + 9*v**2/2 + v. Is g(p) a prime number?
False
Is -3 - (-9)/((-45)/(-31205)) a prime number?
False
Suppose 2*y + 5195 - 13133 = 2*m, 2*y = 4*m + 7942. Is y composite?
False
Suppose -2*p + 24062 = -4*n, 0 = -4*p + 5*p + 3*n - 12046. Is p a composite number?
False
Let v(s) = -51*s**3 - 7*s**2 - 3*s - 2. Let y be v(-6). Suppose 10*t = y + 1810. Is t a prime number?
True
Suppose 2614 = 6*g - 7328. Is g prime?
True
Suppose -54 = -15*t + 6*t. Suppose 2*f + w = 108, -t*f = -f + 2*w - 269. Is f a composite number?
False
Let q = 23 - -951. Let r = -627 + q. Is r a prime number?
True
Let c be 300/(-3) + -3*(-8)/12. Suppose -5*k = -5*r + 860, r - 3*k - 868 = -4*r. Let u = r - c. Is u composite?
True
Let z = -8 - -30. Is (2426/(-8))/(z/(-88)) composite?
False
Let f(b) = 8 + b - 2 + 0*b. Let q be f(-6). Let t(a) = a + 106. Is t(q) a prime number?
False
Suppose 3533 = 5*u - 5*q + q, 0 = -u + 2*q + 703. Is u prime?
True
Suppose 0 = 4*n + h - 68, 4*h = 2*n - 0*n - 16. Let m(s) = -s + 38. Is m(n) a prime number?
False
Let g(p) = 461*p**2 + 30*p - 96. Is g(3) a prime number?
False
Suppose -21*y - 273601 = -1963870. Is y prime?
True
Let h be (2/6)/(11/165). Let g(w) = w**3 - 6*w**2 + 6*w + 3. Let y be g(h). Suppose 0 = y*c - 10*c + 78. Is c a prime number?
False
Is ((-78164)/(-8))/(7/14) a composite number?
False
Let u(x) = 35*x**2 + 46*x + 315. Is u(-34) composite?
True
Let h(b) be the first derivative of 7*b**3 - 2*b**2 + 11*b - 10. Let g be h(5). Let u = 1073 - g. Is u a prime number?
True
Suppose 1273 = 2*c - 36*g + 41*g, 631 = c - 3*g. Is c a composite number?
True
Suppose -2*g + 5*c = -3*g + 5, 3*c = g - 5. Suppose 0 = d - 6 - 17. Is 0/(-2) + g*d a composite number?
True
Let b = 8 - 11. Let f(t) be the third derivative of 13*t**5/60 - t**4/24 - t**3/6 - 10*t**2. Is f(b) composite?
True
Let a(m) = -2*m - 18. Let t be a(-7). Let g be (-13)/2 - (-6)/t. Is g/(-12)*3246/4 a composite number?
False
Suppose 0 = 10*p + p - 44. Suppose 2*c = p*c - 574. Is c composite?
True
Suppose -13*c = -11*c - 55534. Is c composite?
False
Let y(o) = -48*o**2 - 5*o + 1. Let p(x) = -142*x**2 - 14*x + 2. Let b(i) = -3*p(i) + 8*y(i). Let t = 4 + -6. Is b(t) composite?
True
Let n(p) = p**3 - p**2 - p + 27. Let x be n(0). Let z(q) = -4 + 10 - x*q - 4 + 8. Is z(-11) a composite number?
False
Let g(y) = 16*y**2 + 8*y - 5. Let l be (-2)/8 + 31/(-4). Is g(l) a prime number?
False
Suppose 3*v + 14 = -4. Let b(m) = 18*m**2 + 2*m - 1. Let r be b(v). Is (-2 - -5)/3*r a composite number?
True
Let w(o) = o**2. Let s be w(3). Let a be s/(6/2) + -1. Is -2*(3 - 313/a) prime?
True
Suppose 0*w = -3*w + 774. Let r be (-2)/(6 - 4)*w. Is 6/8 - r/8 a prime number?
False
Suppose -4*n + 26 = -2*k + 8, 2*k - n = -6. Let c be (1155/(-28))/(k/4). Suppose -2*x + 4*x + c = 3*y, 0 = -x. Is y a prime number?
False
Suppose -4*v = -3251 - 1197. Suppose 0 = -3*d + 5*d - 4*c - v, d = 5*c + 547. Is d a prime number?
False
Let l(g) = 2697*g**2 - 75*g + 305. Is l(4) a composite number?
True
Let c(n) = -83*n**2 + 8*n - 13. Let i(d) = 41*d**2 - 4*d + 6. Let y(u) = 4*c(u) + 9*i(u). Is y(5) a prime number?
True
Let o = -18 + 26. Let a be (-557 - 1)/(o/(-4)). Suppose -2*k + a = k. Is k composite?
True
Suppose 0 = 2*a - 936 - 592. Let k = a - 243. Is k prime?
True
Let d(p) = -p**3 - 4*p**2 + 4. Let b be d(-4). Suppose -4*v - 48 = -4*g, b*v - 4*g + 38 = v. Let c = -1 - v. Is c prime?
False
Let t = 947 + 455. Suppose l + l = t. Is l prime?
True
Suppose r + 2*r - 359 = 5*o, -r + 3*o + 117 = 0. Suppose 2*x - 25 = -3*x, -5 = -3*c + 2*x. Suppose 8 - r = -c*g. Is g composite?
False
Let z(o) be the second derivative of -o**5/20 - o**4/3 + 5*o**3/2 + 19*o**2/2 + 15*o. Is z(-11) prime?
True
Let a(i) = i**2 - 12*i - 9. Let w be a(14). Let z(r) = 1 - 9*r - w*r - 4. Is z(-2) a prime number?
True
Let k = -3040 + 5373. Is k composite?
False
Let v be 1 + 5 + 2 + -3. Suppose 0*x + v*x = 2345. Is x composite?
True
Let z = -24067 + 34074. Is z a composite number?
False
Let a(d) = -375*d - 118. Is a(-27) a prime number?
True
Let c(f) = -160*f + 33. Is c(-10) a composite number?
True
Suppose -13*a = -18409 - 13649. Let b = -42 + 29. Is a/26 + (-2)/b a prime number?
False
Suppose -z - 3 + 7 = 0. Suppose n = j + 2*n, z*n = -8. Suppose 0*u - j*u = -794. Is u composite?
False
Is 10/2 - (5 - (3452 - -1)) prime?
False
Suppose 13*k + 4470 = 28*k. Is k a composite number?
True
Let q(b) = 3*b**2 - 11*b - 3. Suppose -3*w - 50 = 2*w. Is q(w) composite?
True
Let g = 52316 - 14367. Is g a composite number?
True
Let a(s) = s + 67 - s**3 + s**2 + 6*s**2 - 8*s**2. Suppose -3*b + 6 = 3*i + 21, 5*i = 3*b + 15. Is a(i) prime?
True
Is (-4730748)/(-308) + (-12)/21 prime?
True
Is (-1008 + 26)*33/(-6) composite?
True
Suppose 37 = -3*q - 2*h, 0*h + h = -q - 11. Let z = 147 + -292. Is 2/6 + z/q prime?
False
Let f(u) = -42*u - 19. Suppose -2 = 2*y + 8. Is f(y) composite?
False
Let v be (-65)/9 + (40/90)/2. Let x be 2/(1/(-67) - 0). Let w = v - x. Is w composite?
False
Let q(m) = m**3 + 6*m**2 + 5*m + 35. Let s be q(-6). Suppose -2*d = -2*g + 38 - 226, d + s*g = 64. Is d a composite number?
False
Let j(u) be the second derivative of 29*u**3 - 79*u**2/2 + 14*u. Is j(15) prime?
True
Suppose 2065*g = 2069*g - 17564. Is g a composite number?
False
Let d(x) = x + 16. Let u be d(-16). Let o be u/(-1) + (-1 - -3). Is 23478/56 + o/(-8) prime?
True
Let i = -14 - -16. Suppose -i*o + 7*o - 2943 = -2*t, 591 = o - 2*t. Suppose 0 = -5*y + o + 156. Is y composite?
False
Suppose 4*b = 3*h - 5853, 6161 = 4*h + b - 1624. Let n = h - 908. Is n a prime number?
True
Let n = -2 + 2. Suppose 7*v - v - 54 = n. Suppose 0 = 7*a - v*a + 98. Is a prime?
False
Suppose 4*q = 61 - 169. Let n = q - -22. Let a(t) = t**2 - 2*t + 2. Is a(n) composite?
False
Let f = -58 - -61. Suppose -6*l = f - 3813. Is l composite?
True
Let q be 3*(-8)/36*45. Let f be 18*-2*5/q. Suppose f*k = -0*k + 222. Is k composite?
False
Let r(g) = -1789*g + 117. Is r(-4) prime?
False
Let o(i) = 13*i**2 - 8*i + 8. Let m = 139 - 130. Is o(m) prime?
False
Let q = -67 + 180. Let l = 58 - q. Let z = l + 242. Is z a prime number?
False
Let b be 10/2 - 1 - 4. Suppose -3*d = -4*o + 2*d + 2710, -d + 2 = b. Suppose 3*j + o = 4*u, 5*j + 21 = 1. Is u a prime number?
True
Let s = 1913 - 406. Is s prime?
False
Let b(s) = -7*s**2 - 499 - 8*s**3 - 3*s**3 + 500. Is b(-5) a prime number?
True
Is ((-212)/(-8))/((-9)/(-1206)) a composite number?
True
Let x = -199164 - -306821. Is x a prime number?
False
Let l(f) = -6*f**2 + 3*f**2 - 8*f + 2*f - 7 - f**3 + 4*f. Let q be (0 + -1)*-1 + -8. Is l(q) a composite number?
True
Let k(v) = -2*v - 2. Suppose 4*s + 11 = 43. Let g = s - 12. Is k(g) composite?
True
Suppose 4*c + 156 = 2*c. Let a be 42*(0 + c/(-4)). Suppose -l + 0 = -2, 2*l - a = -5*v. Is v prime?
True
Let x = -1685 - -4146. Is x a composite number?
True
Let w(f) = 15*f**2 + 3*f + 1. Is w(5) prime?
False
Let o(m) = -3*m**3 - 52*m**2 + 35*m - 29. Is o(-24) a prime number?
True
Let h(w) = w**2 - 3*w + 3. Let z be h(3