 c a composite number?
True
Let r be 1*((-10)/(-12))/5*18. Suppose -r*w = 3247 - 10318. Is w a composite number?
False
Let g(d) = -6*d - 11. Let s be g(-6). Let b = 27 - s. Suppose -b*o + 3*n + 267 = -91, -2*o + 5*n + 350 = 0. Is o a composite number?
True
Let y = -86953 + 169174. Is y prime?
False
Let k(o) = 11*o**2 - 62*o - 580. Is k(91) a composite number?
False
Suppose 269 + 87 = 4*t. Suppose 3*b + 3*d + 261 = 0, -2*b + 3*b = 2*d - 84. Let h = b + t. Is h prime?
True
Suppose 2*v + 392 = 428. Suppose v*w = 25*w - 5047. Is w a prime number?
False
Let s(x) = 2*x**3 + 14*x**2 - 13*x - 57. Suppose 0 = 2*z + 3*i - 13, -i + 2*i = 3*z - 47. Is s(z) a composite number?
False
Suppose 291 = 375*z - 372*z. Is z*2*(1 + 45/18) a composite number?
True
Suppose 5*h + 63222 = 4*k, 2*k + 39*h - 31602 = 37*h. Is k a composite number?
False
Let z = -16 + 10. Let y(l) = -l**3 + 11*l**2 - 2*l - 1. Let m be y(z). Suppose -2*n + 2249 = m. Is n prime?
False
Let z be (255 - -1)*(-51)/102. Suppose 3*x - 1119 = -354. Let l = x + z. Is l a prime number?
True
Suppose 5 = 7*b - 16. Let m be b/(-12) - (2031027/(-12) + -5). Is m/121 - (-4)/22 a prime number?
True
Let i be (-12201)/(-2) + 21/42. Suppose 0 = k - 17885 + i. Suppose -4*c + 2044 = -k. Is c a prime number?
True
Let o(s) = -8*s. Let g be o(0). Suppose k = h + 1169, 2*k = -g*k - 4*h + 2350. Is k a prime number?
True
Let b(m) = 5*m + 43. Let s be b(-8). Suppose -s*w - 3259 = -151. Let z = w + 1853. Is z a prime number?
False
Let s = -712283 + 1033365. Is s a prime number?
False
Let z = 78 + -66. Suppose z*n - 7*n - 213965 = 0. Is n prime?
True
Suppose 25*i - 503501 - 89393 = 51931. Is i a composite number?
False
Let r be 3*(53920/(-24))/10. Let x = 1022 + -3749. Let v = r - x. Is v composite?
False
Let y = 308 - 299. Suppose 8426 = 11*i - y*i. Is i a prime number?
False
Suppose -44*k = -50*k + 145914. Let u = -16728 + k. Is u a prime number?
True
Let b be (-2 + 1)*2802*12/(-8). Let m = b + -2302. Is m composite?
False
Suppose -2*y - 7*u + 3*u = -27794, 0 = 8*u - 24. Is y composite?
True
Suppose -3*p + 9*u = 5*u - 3211883, 5*p - 5353130 = 5*u. Is p a prime number?
True
Let a = 41 - 30. Let t = -6 + a. Suppose t*p - 12680 = -3*p. Is p composite?
True
Let h(i) = -11*i + 9. Let v be h(0). Is v/6*((-30660)/(-18) + 4) a prime number?
False
Suppose 22823 = 52*i - 51*i. Let w = i + -15432. Is w a composite number?
True
Suppose 4*n - 234239 = -a, -6*a + 5*n + 3513585 = 9*a. Is a prime?
True
Suppose -37*g + 3433627 - 272310 = 0. Is g composite?
True
Let f be (1/1 - 59/(-2))*302. Suppose 3*n + 14 = -1, 3*l = 5*n + f. Let y = l - 1911. Is y prime?
True
Let i be ((-12)/(-18) - 19/(-3)) + -4. Suppose w = -4*v + 12, -5*v + 2*w + i*w + 15 = 0. Suppose -v*g = -g - 2506. Is g a prime number?
False
Let v(g) be the third derivative of g**4/2 + 19*g**3/2 - g**2 - 45. Is v(6) a composite number?
True
Suppose 13*y + 4 = 15*y. Suppose -5*t + z + 21 = 0, t = 4*t + y*z - 23. Suppose -5*m - j + 3453 = 0, -j = -t*m + 2*j + 3461. Is m prime?
True
Let r be 5 - (-4)/(-20)*5. Suppose 4*n = r, -b + 1 = 2*b + n. Suppose s - 4*s + 885 = b. Is s composite?
True
Let x = -8 + 13. Suppose 5*p - 19 + 2 = -v, x*p = -5*v + 45. Suppose -2*g - 5409 = -v*g + h, 0 = -2*g + h + 2166. Is g composite?
True
Is (-23797261)/(-335) - (-12)/5 prime?
True
Let s(z) = -z**3 - 9*z**2 - 10*z - 12. Let d be s(-8). Suppose -2*o - j = -51, -4*o + 7*j + 127 = d*j. Suppose -o*y = -24*y - 2228. Is y a composite number?
False
Let y(s) = 25517*s + 16. Is y(5) composite?
False
Let f(b) = 7*b**3 + 58*b**2 + 14*b + 2. Let n be f(-8). Suppose 0 = 8*v - n*v + 20170. Is v composite?
False
Suppose -25*c + 199520 + 767226 = -647679. Is c a composite number?
False
Suppose 4*y + 2*q = -28, 5*y - 16 = 5*q - 81. Is y + (1 - -4) + (-1 - -690) a composite number?
True
Suppose 0 = -5*n + 20, 5*r = 4*n - 39 + 8. Let a(j) = 13*j**2 - 4. Is a(r) a composite number?
False
Suppose -q + 1458444 = -5*m + 3892981, -4*q + 1947620 = 4*m. Is m a prime number?
True
Suppose -2*y = -5*g - 1792334, -y - 4*y + 13*g + 4480835 = 0. Is y prime?
True
Let x(r) = -754*r**3 - 5*r**2 + r + 7. Let d(o) = 1509*o**3 + 11*o**2 - 3*o - 13. Let i(n) = -6*d(n) - 13*x(n). Is i(3) composite?
True
Let y be ((-52)/65 + 6/15)*-5. Suppose 0 = -y*o + 5*o - 8367. Is o composite?
False
Suppose -4*s = 2*n - 16, -s - 2*s = n - 11. Suppose 4*d = -j - 0*j + 1467, -5*d + 4408 = s*j. Is j a prime number?
True
Let d = 32 - 28. Is (d*-1 - 493560/36)/(-2) a prime number?
True
Suppose 5*i - f = -6*f + 40, -14 = -2*i - f. Suppose 0 = -d - 5*s + 796, 4*d - 3294 = 8*s - i*s. Is d prime?
True
Let w = -2 - -18. Let c be -39*(-3 - w/(-12)). Suppose 0 = -4*q - q + c. Is q prime?
True
Let a(q) = -12*q**3 + 9*q**2 - 6*q - 7. Let k = -427 - -419. Is a(k) prime?
True
Let q be (-2)/4 + 5/2. Suppose 4*y = q*n - 5*n - 1, -7 = -5*n + 2*y. Let d(o) = 492*o - 1. Is d(n) composite?
False
Suppose -8*b + 96 + 64 = 0. Suppose -3377 = b*q - 21*q + 2*j, -16858 = -5*q + j. Is q a composite number?
False
Let z(x) = -930*x**3 + 4*x**2 + 19*x + 14. Is z(-3) composite?
True
Let c(f) = 5*f - 68. Let y(o) = -2*o + 23. Let r(t) = 4*c(t) + 11*y(t). Let u be r(-8). Let g(m) = 603*m**2 - 5*m - 7. Is g(u) prime?
False
Let b(y) = 628*y**2 + 93*y + 21. Is b(-8) a composite number?
True
Let h = 18 - -1. Let a(w) = 2*w - 35. Let x be a(h). Suppose 0 = 4*j - 5*f - 1248, 0 = -5*j + x*f + 1401 + 172. Is j composite?
False
Suppose -98*g = -97*g + 2, -3*m = 4*g - 174346. Is m composite?
True
Suppose -2*i = 2*u + 6, -u + 4*i - 13 + 35 = 0. Let o be 7/(518/(-892)) + 4/74. Is -10*(-4)/o*(-3063)/u a composite number?
True
Let y be (15/(-10))/(-3 + 108/40). Suppose 2077 = y*u - t, 5*u + 4*t = t + 2069. Suppose r - 62 = -3*c + 23, -5*r - 5*c = -u. Is r prime?
False
Suppose 0 = 3*i - 101 + 5. Suppose -31*q - 2005 = -i*q. Is q a prime number?
False
Suppose 8*i - 10 = 3*i. Let o be i*(1/8 - (-99)/72). Suppose a + 356 = o*a. Is a a composite number?
True
Suppose 9738326 = 56*n - 957842. Is n prime?
False
Suppose -y = -2*q, -2*y - q + 2*q + 12 = 0. Let a be (-285)/(-20)*7 + 2/y. Suppose 0 = -6*h - 10 + a. Is h a prime number?
False
Is (3603033/147)/(18/798) a composite number?
True
Let z be ((-16)/(-32))/(3/((-456)/(-2))). Suppose -z*f + 115996 = -86658. Is f prime?
True
Let o = -24869 + 35352. Is o a composite number?
True
Let p(i) = 5 - i**3 + 0*i**3 + 89*i - 18 - 93*i - 5*i**2. Let s(q) = -9*q**3 + 2*q**2 - 2*q + 1. Let a be s(1). Is p(a) prime?
True
Let n(h) = -h - 9. Let o be n(-4). Let c be (o - (-42)/9)/(2/(-47202)). Suppose 12*k - c = -895. Is k a prime number?
False
Suppose -161*v + 2744948 = -2320273. Is v prime?
False
Suppose -3*k + 6*k = 6, -5*r - 5702913 = -4*k. Is r/(-153) + (-4)/(-18) - 2 a composite number?
True
Suppose 214*m = 202*m + 8225436. Is m prime?
True
Let r = -325 - -339. Suppose r*q - 132697 = 182877. Is q a composite number?
False
Let a(l) = 15*l + 66. Let b be a(-4). Suppose b*p + 81 - 5415 = 0. Is p composite?
True
Suppose -3*d - d = b - 27915, d = 3*b + 6969. Suppose 6*m - d - 4860 = 0. Is m a prime number?
True
Suppose 4*b - 1358989 = -5*o + 91589, 362641 = b + 3*o. Is b composite?
True
Let w = -2701 + 1458. Let o(d) = -3575*d - 1. Let z be o(1). Let k = w - z. Is k composite?
False
Let p(c) be the second derivative of 13*c**4/12 + 2*c**3/3 - 17*c**2 + c + 82. Is p(19) prime?
False
Let h = -108 + 117. Suppose -21*y = -h*y - 15276. Is y prime?
False
Suppose 2 + 6 = v + 2*o, 2*o - 10 = -2*v. Suppose -3*k + 33 = -k + 5*f, -5*k + v*f = -10. Let t = 255 - k. Is t prime?
True
Suppose -m - 461448 = -3*v, 57*v + m = 62*v - 769076. Is v a composite number?
True
Suppose 2*s = -23 + 517. Suppose 3*j + 5*h - 913 = -j, 0 = j + 5*h - s. Suppose 0 = -0*a - 3*a + j. Is a a prime number?
False
Let u(q) = -q**2 - 7*q - 24. Let i be u(-7). Is ((235554/i)/11)/((-3)/12) composite?
True
Let w = 24186 - 18753. Is w prime?
False
Let h(q) = 6*q**3 - 4*q**2 - 6*q + 13. Suppose -15 = -y - 5*w, 0*y - 2*w + 60 = 4*y. Suppose -y = 10*o - 13*o. Is h(o) composite?
True
Let s be 3 + -2 + 6/(-2) - -8. Suppose -x = -s*x + 4455. Suppose 0 = b - 4*t - 903, -3*b + 2*b + t = -x. Is b a prime number?
True
Suppose -668*b = -525*b - 80225717. Is b a composite number?
False
Let b = 40 + -35. Suppose 0 =