4*n = -i*p + 1128. Suppose b + 4*a = 5*b - 268, -4*b + a = -p. Is b a prime number?
True
Is (-4)/(-6)*(-116694)/(-36) prime?
True
Let m = 1080 + -734. Suppose 4*r + 789 = 5*n, 436 + m = 5*n + 3*r. Is n prime?
True
Suppose 3*a + 1232 + 379 = 3*v, -4*a + 1639 = 3*v. Is v composite?
False
Let p = -7 - -686. Is p a prime number?
False
Let h = -8 - -11. Suppose j - 88 = -4*u + 106, h*u + 5*j - 137 = 0. Is u composite?
True
Suppose 2*r - 18 = -4*d, r - 1 = 2*r. Suppose -2*x + 16 = -8. Suppose 77 = d*m + x. Is m a composite number?
False
Suppose 0 = 3*o - 6 - 6. Is (301/o)/(6/24) composite?
True
Let n(p) be the second derivative of -p**4/12 + p**3/6 + 83*p**2/2 + 5*p. Is n(0) a prime number?
True
Suppose -5*f = 2 + 3, 0 = 3*r - 5*f - 365. Suppose r = 4*l - 164. Is l a prime number?
True
Let z(p) be the first derivative of -3*p**2/2 - 5*p + 7. Let k = -2 - 2. Is z(k) a prime number?
True
Let j = 102 + 55. Is j a composite number?
False
Let z(l) = 3*l**2 - 19*l + 37. Is z(15) a composite number?
True
Suppose -h + 19372 = -3*d, 5*h - 21*d + 19*d - 96925 = 0. Is h prime?
True
Suppose d - 393 = -2*g, 0 = -2*d + 3*g + 378 + 415. Is d a composite number?
True
Let v(f) = 24*f**2 + 5*f - 8. Let z be v(7). Is (-6)/21 + z/21 a prime number?
False
Suppose -5*j + 3*q = -2212, 3*j - 2*q = 1385 - 57. Let r = -1 - -1. Suppose 5*a + b = j, a + r*b - 77 = 2*b. Is a a prime number?
False
Let u(g) = 67*g - 8. Let k(z) = 1. Let j(p) = 24*k(p) + 3*u(p). Let c(x) = -67*x. Let t(n) = -8*c(n) - 3*j(n). Is t(-1) a prime number?
True
Let c be (-1)/4 + 15/(-4). Let v = c + 7. Suppose 6*j - v*j - 114 = 0. Is j prime?
False
Let x = -4 + 1. Let d be (-1)/2 - x/(-6). Is 38 + (0 - (0 - d)) prime?
True
Let s(m) be the first derivative of -15*m**2 + m + 1. Is s(-1) a prime number?
True
Let o = 11 - 8. Suppose -3*l - 16 - 20 = 0. Is (1 + o)*(-45)/l composite?
True
Suppose -3*z = -z + 2*t - 2, 5*z + 2*t + 1 = 0. Let s(x) = -4*x. Let m be s(z). Suppose 368 = m*v + 4*k, 3*v - 4*k + k - 258 = 0. Is v prime?
True
Let i(m) = 4*m - 1 - 3*m - 2*m + 5*m. Is i(1) composite?
False
Let s(y) = 110*y + 59. Is s(7) composite?
False
Let n(c) = 10*c**2 + c - 1. Is n(4) prime?
True
Let q = -580 - -1249. Is q a prime number?
False
Let h(w) = w**3 - 4*w**2 - w + 5. Let k be h(4). Let z be 204 + (2 - 0 - k). Suppose -133 = -5*s + 3*u + z, 131 = 2*s + 3*u. Is s a composite number?
False
Suppose -5*y = -4*n - 10, -n - y + 3*y = 4. Let r be 0 - (0 - 0 - n). Suppose r*j + 575 = 5*j. Is j a composite number?
True
Suppose -p = -1 - 4. Suppose 3*s = 6*n - 2*n - 2, -p*n = 3*s - 43. Is 1/3 + 112/s a composite number?
False
Is ((-8)/(-24))/(2/186) a prime number?
True
Let g(c) be the first derivative of c**3/3 - 5*c**2/2 + 5*c - 2. Is g(-5) a composite number?
True
Suppose o - 1 = 390. Is o a prime number?
False
Let z(w) = w**2 + 9*w + 9. Let b = -4 - -8. Suppose -n + 2*n - 3*f - 17 = 0, b*n - 41 = 3*f. Is z(n) composite?
True
Let l(m) = 4*m. Let k be l(2). Suppose 4*y + k = 68. Is y a prime number?
False
Suppose m + 5*b + 14 = 4, 3*b + 6 = 0. Let g(o) = o + 158. Is g(m) prime?
False
Let i = -1595 + 2586. Is i a composite number?
False
Let o(t) = 3*t**2 + 14*t + 6. Let m be o(-9). Let h = 142 + -228. Let x = m + h. Is x a prime number?
True
Let u = 996 - 545. Is u prime?
False
Let w(j) = j**2 + j - 2. Let d be w(-3). Is 132/9 - d/6 prime?
False
Is -2*2/(-4)*1405 a composite number?
True
Let r(d) = -d**2 - 3*d - 1. Let m be r(-1). Let n(v) = -v**3 + 5*v**3 + 2*v**3. Is n(m) a prime number?
False
Let j = -3284 + 5257. Is j prime?
True
Suppose 3*b - 4*b + 907 = 0. Is b a composite number?
False
Suppose -m + 6*n = 3*n - 388, -n - 1140 = -3*m. Is m composite?
False
Let d = -498 - -1427. Is d a prime number?
True
Let b(q) = 3*q**2 + 8*q + 22. Let l(h) = 4*h**2 + 12*h + 33. Let a(n) = 7*b(n) - 5*l(n). Is a(9) a composite number?
True
Suppose -5*g + 2*x = 5*x - 189, 0 = -g - x + 37. Is g a composite number?
True
Suppose -i = -0*a + 2*a - 173, -2*i + 257 = 3*a. Is a prime?
True
Is 1/2*422/((-3)/(-3)) a composite number?
False
Let a(s) = 3*s**2 - 5*s - 12. Let q be a(9). Suppose 2*x - 106 = 4*o, 2*o + o = -3*x + q. Let t = x - 33. Is t a composite number?
True
Suppose 0 = p - 6*p. Suppose 0*q - q = p. Suppose -x - 3*x + 452 = q. Is x prime?
True
Let t be 3/6*(-1 - -43). Suppose -x + 2*p + 17 = 0, -t + 79 = 5*x - p. Suppose x = -5*w + 186. Is w a prime number?
False
Let q(j) be the first derivative of j**3/3 - 11*j**2/2 + 5*j - 7. Is q(14) a composite number?
False
Is (2 - 0 - 1)/((-1)/(-419)) prime?
True
Let g = -203 - -285. Is g composite?
True
Let c(b) = -18*b**3 + 3*b + 5. Let h be c(5). Is -2*(h/4)/5 a prime number?
True
Suppose 2*i + 510 = 4*q, 4*q = 5*i + 188 + 325. Let d = 218 - q. Is d a composite number?
True
Let h(m) = -2*m + 3. Suppose 0 = -2*w + 5*o + 24, -2*w - 2*o - 2 = 2. Suppose -5*a - w*x = 20, x + 1 = 4*a - 5*a. Is h(a) a composite number?
True
Let x = 0 + 2. Let o(m) = -7 - m**2 - m**2 + 3*m**x + 5*m. Is o(-7) prime?
True
Let g(n) = -n**3 + 7*n**2 - 4*n + 5. Let b(j) = 8*j**2 - 7*j + 6 + j**3 + 14*j - 2. Let a be b(-7). Is g(a) composite?
False
Suppose 5*k + 24 + 1 = 0, -o + 2*k + 1149 = 0. Is o composite?
True
Is (728/20)/(18/45) a composite number?
True
Suppose -1 = -2*g + 9. Suppose -d = -g*d + 1724. Is d prime?
True
Let b = -558 + 1031. Is b a prime number?
False
Let n be -29*(-2)/(-6)*-9. Let k be (216/28)/((-2)/14). Let t = k + n. Is t a prime number?
False
Suppose -4*p - p = -525. Let u = 190 - p. Is u prime?
False
Suppose 1272 = -0*g + 3*g + 3*h, 5*g + h = 2120. Suppose 0 = -3*n - k + 62 + 360, g = 3*n - k. Is n prime?
False
Let j be (-1)/2 - (-273)/6. Let z = 78 - j. Is z composite?
True
Suppose 3*h + 6 = -9, -2*h = -3*t + 22. Suppose -5*z = t*w - 651, -5*w + 807 = 5*z - z. Is w prime?
False
Suppose 0*y + 2 = -y, -2*o + y = -6. Suppose -v - 7*k + 27 = -3*k, -o*v + k + 36 = 0. Is v composite?
False
Let k(z) = -12*z + 19. Let j(x) = -6*x + 9. Let y(i) = -9*j(i) + 4*k(i). Is y(4) a prime number?
True
Suppose 3*g - 179 = -23. Let q = g - 1. Is q a prime number?
False
Is (-6)/15 + (-3591)/(-15) composite?
False
Let i = -357 + 1531. Is i composite?
True
Suppose -4*h - 420 = 4*f, -5*h - 4*f = -2*f + 516. Let u = 32 - h. Is u a prime number?
False
Is 1/2 + (-243)/(-2) composite?
True
Suppose 200 = -7*t + 921. Is t prime?
True
Suppose 35*f + 899 = 36*f. Is f a composite number?
True
Suppose p = 2*p - 2. Suppose 0 = -l + p*d - 13, -18 - 18 = 4*l - 4*d. Let j = l - -16. Is j a prime number?
True
Let w(s) = 6*s**3 - 3*s**2 - 2*s + 5. Let r(h) = 11*h**3 - 5*h**2 - 3*h + 9. Suppose 1 = l + 5. Let z(c) = l*r(c) + 7*w(c). Is z(-2) a composite number?
True
Is (-25146)/(-26) + 4/(-26) a composite number?
False
Let p = 158 + -39. Is p prime?
False
Let q be (6/(-8))/(2/(-16)). Suppose q + 2 = 4*j. Suppose 43 = 3*a + j*i, 2*i + 24 = 2*a - 8. Is a a prime number?
False
Let s = 148 + -61. Suppose -n - s = -3*t + 71, -t + 4*n + 71 = 0. Let h = t + -17. Is h a prime number?
False
Suppose 2*d - 2*u - 24 = 2, 0 = -3*d + 2*u + 34. Let h = d + -5. Let i(c) = c**3 - 2*c**2 + c + 2. Is i(h) a prime number?
False
Let d be (-8)/3 - (-1)/(-3). Let l(f) = -9*f - 4. Let k(a) = a - 1. Let y(z) = -3*k(z) + l(z). Is y(d) a prime number?
False
Let l(j) = -j**3 + 9*j**2 + 14*j - 2. Let q be l(10). Let o = 171 - q. Is o a prime number?
False
Let h(r) = -r**2 + r + 1. Let g be h(1). Let n be ((-3 - -1) + g)/(-1). Suppose n + 6 = q. Is q a prime number?
True
Suppose -5*f + 214 = -3*y, 0 = 4*y - 5*f - 0*f + 287. Let x be (-1)/4 - y/4. Is 40/x - (-2)/(-9) a composite number?
False
Let l(f) = 3*f**2 + 50*f - 30. Is l(23) a prime number?
True
Is 1 + 0 + -2 - (-2795 + 5) a prime number?
True
Let i be -1 - (-16)/4 - 1. Is -4*i/((-16)/314) prime?
True
Suppose -4*g + 34 = -2*x, 12 = 3*g - 4*x - 6. Suppose 0*c - g = -5*c. Suppose 2*a - 4*h = 106, 2*a = -2*a + c*h + 200. Is a prime?
False
Let c(q) = 0*q + 74 - q + 20 + 69. Is c(0) prime?
True
Let g = 0 + 4. Suppose 3*k = 36 + 45. Let n = k - g. Is n a prime number?
True
Let v(u) = 3*u**2 + 0 - 5*u**2 - 1 - 5*u + 3*u + u**3. Let y be v(-3). Let z = y + 75. Is z a composite number?
True
Suppose 3*q - 2*w = 3687, 0*w - 4*w = q - 1215. Suppose -5*l - 1540 = -5*c, 4*c + 0*l = -l + q. Is c a prime numb