) a prime number?
True
Suppose 40*k - 608704 - 701734 = 1625442. Is k composite?
True
Let l = -1436 + 684. Let b be -16*24/2 + -1. Let k = b - l. Is k a composite number?
True
Let y(j) be the third derivative of 1157*j**4/24 - j**3 + 64*j**2. Is y(1) prime?
True
Let z(x) = x**3 - 3*x**2 + 4*x + 1. Let n be z(2). Suppose n*u - 11529 = -2*q + 20090, -18963 = -3*u + 3*q. Is u a composite number?
False
Let c(x) = 5351*x**2 - 69*x - 211. Is c(8) composite?
False
Let a = 74 + -80. Let n(m) = 14*m**2 - 12*m - 22. Is n(a) composite?
True
Is (-70734)/(-16) + (-63)/(-504) composite?
False
Let g = 271486 + -128155. Is g composite?
True
Is (-2 - -4) + 90592 - 32/((-512)/(-48)) a prime number?
False
Suppose -4*d + 12144 = -2*f - 10332, 3*d + 3*f - 16857 = 0. Suppose -3*w + 0*w - d = 0. Let z = -596 - w. Is z composite?
False
Suppose -5*m = 20, -3*g = -5*m + 2*m - 24. Suppose -13 + 29 = -g*k. Is (5/((-25)/445))/(2/k) composite?
True
Let i = 808254 + -567425. Is i a composite number?
False
Suppose 5*g + 23 + 16 = 3*t, -2*t = 4. Let w be (((-60)/9)/5)/((-6)/g). Is (317/3)/(w/(-6)) prime?
True
Let d be 630/(-27)*8/(-10)*3. Let u be (-5 - 1)*d/(-6). Is 2*2/(-4) - -25*u prime?
True
Let r be (-6640)/140 - (-1 + (-33)/(-21)). Is 22985/3 + 32/r a composite number?
True
Let j = 10 + -11. Let p be (-2297)/(-3) - (15/9 + j). Suppose 3 = -3*l, 0 = 4*v - 3*l + p - 4244. Is v a composite number?
True
Let i(d) = -13 - 10*d - d**2 - 10*d + 9*d. Let m be i(-10). Is (909/(-12))/m*44 a prime number?
False
Let t(d) = 819*d - 10253. Is t(36) a composite number?
False
Suppose -2693687 + 392504 = -27*j. Is j prime?
True
Suppose 25 = 5*u + h, -3*u + 16 = -3*h + 1. Suppose 1900 = -5*j - o + 8890, -25 = u*o. Is j a composite number?
False
Suppose 2*k = 5*u - 348715, -10875 = -4*u - k + 268097. Is u prime?
False
Let l(d) = d**3 - 4*d**2 - 7*d + 13. Suppose 11 = -4*u - 3*m, -2*u + 3*u = -5*m - 24. Let b be 0 + -2 - -10 - (2 - u). Is l(b) composite?
True
Let l(w) = -w**2 - 7*w + 5. Let z be l(-6). Suppose -z*m + 15*m - 8 = 0. Suppose 892 = 3*u - 5*o, -4*o - 594 = -4*u + m*u. Is u a composite number?
True
Let y be 213 - -2*(-3)/2. Suppose 0 = 2*m + 5*u - y, 5*m - 560 = 4*u + u. Let w = -21 + m. Is w a composite number?
False
Let a(p) = -32*p + 77. Let n be a(14). Let t = n - -760. Is t composite?
False
Suppose 99*b - 51*b - 56*b + 177832 = 0. Is b prime?
True
Suppose -15*o = 128*o - 22*o - 84741745. Is o a composite number?
True
Suppose -4*m = 11 + 21. Let a be (-48)/m*(-4)/(-6). Suppose 5*u = -20, a*i - 1129 = u + 527. Is i prime?
False
Let c = 3489 - -22. Is c prime?
True
Let g(c) = 32*c**3 + 14*c**2 - 15*c - 8. Let d(h) = h**3 - h**2 + 2*h. Let a(k) = -3*d(k) - g(k). Let s = -8 + 3. Is a(s) a prime number?
False
Let b = 270116 + 112125. Is b composite?
False
Let s = -4551 + 9938. Is s a prime number?
True
Let c = 91 - 87. Suppose 4304 = c*f - 16316. Is f a composite number?
True
Let o(k) = 15 - 6 - 4*k**2 + 2*k**2 + k**2. Let p be o(-3). Suppose j + 362 - 1141 = p. Is j composite?
True
Let k be (-4)/(-10) + 26/10. Let x be 28/462 - 582/(-198). Suppose w - 368 = -x*a + 2*w, 5*a = k*w + 620. Is a a prime number?
False
Let v = -161 - -36. Suppose -5*t - 4*q + 1034 = -2*q, -t + 3*q = -217. Let s = v + t. Is s composite?
False
Let j(y) = -680*y + 23. Let r be (-9)/((-1)/4*-6). Is j(r) prime?
False
Suppose -22*o + 10290176 - 413408 = 1470986. Is o a composite number?
True
Let h(r) = 99*r + 20. Let i(d) = -100*d - 21. Suppose -20 = 6*z - 2. Let f(s) = z*i(s) - 2*h(s). Is f(6) a composite number?
True
Let v = 20891 - 12063. Suppose -2*z - 2*k = -v, -3*k = 5*z + 11478 - 33538. Is z a prime number?
True
Suppose 3*f = 3*d + 482304, -5*d + 160798 = 2*f - f. Suppose -203*h + 200*h = -f. Is h a composite number?
False
Is 14543*2/(-26)*-13 a prime number?
True
Let z = 123705 - 51092. Is z a prime number?
True
Let x = 1115068 - 530445. Is x a prime number?
False
Let n = -6 + 28. Let p = -14 + n. Is (-4)/16 + 202/p a prime number?
False
Suppose 0 = -3*n + 5*j - 11 + 80, -2*n = j - 33. Suppose 21*m - 9 = n*m. Suppose 2*u = -l + 801, m*l + 4*u + 275 - 2674 = 0. Is l prime?
True
Suppose -5*y + 2*y - a - 837 = 0, 565 = -2*y - 3*a. Let k(d) = 28*d**2 - 13*d + 1. Let b be k(-4). Let o = b + y. Is o a composite number?
False
Let g = -37753 + 95168. Let n = g - 39632. Is n composite?
False
Suppose -j = 2*m - 7*m + 1731, 0 = -2*j - 4*m - 3462. Let w(x) = -x**3 + 53*x**2 + 118*x - 54. Let c be w(56). Let p = j - c. Is p a prime number?
True
Let l(t) = 57462*t - 857. Is l(2) a prime number?
True
Let w(b) = -2*b**3 + 24*b**2 + b - 22. Let z be w(12). Let n(x) = -x**3 - 10*x**2 - 2*x - 17. Let i be n(z). Is (-2 - -318) + (1 - 0/i) a composite number?
False
Suppose -169*s + 56815566 = 16961817. Is s a prime number?
False
Let d(i) be the third derivative of -i**5/60 + 7*i**4/12 - 4*i**3/3 - 22*i**2. Suppose x - 2*k + 51 = 6*x, 3*k = 3*x - 18. Is d(x) a composite number?
False
Is (3 + -4)/((-14)/679686) a composite number?
True
Let b be (5 + -4)*0*4/(-8). Suppose b*h - 2*h = 3*s - 10552, 4*s = h - 5287. Is h composite?
False
Suppose -4 = -4*i, 0 = -2*l + 4*i - 686 + 220. Let c = -80 - l. Suppose 3*p = 2*j - 166, 0 = 4*j - 3*p - c - 193. Is j composite?
False
Let j(h) = h**3 - 6*h**2 + 7*h - 11. Let s be j(5). Let f be s/(15/3 + -4)*581. Let u = f - -1843. Is u composite?
True
Is (-97622613)/(-333) - (2/(-8) + 50/8) prime?
False
Suppose 122*t + 89*t = 83*t + 75614848. Is t prime?
True
Suppose 3*l + m - 5133700 = 0, 3*l - 13*m = -12*m + 5133686. Is l prime?
False
Let z be (2/(-3))/(2/(-1092)). Let f(v) = -3*v**3 + 27*v**2 - 33*v + 135. Let c be f(8). Let l = z - c. Is l prime?
False
Let b be (0 - 0)*(-1)/(-2). Let d(g) = -2*g - 7. Let y be d(b). Let z(o) = -237*o + 34. Is z(y) prime?
True
Suppose -9*s + 5*s = -2*s. Suppose -5*x + s = -30. Suppose -10*o + x*o + 10532 = 0. Is o a composite number?
False
Let v be 8682 + 28 + 2/2*4. Suppose 24*u = 22*u + v. Is u prime?
True
Let s(j) be the second derivative of j**5/20 + j**4 - j**3/3 + 11*j**2/2 + 81*j. Is s(10) composite?
True
Suppose v = 3*a - 112480, -4 + 2 = 2*v. Is a prime?
True
Is (268104 + (-126)/(-9))*(-1)/(-2) a prime number?
True
Let h(f) = 2*f**3 - 83*f**2 - 10*f - 3672. Is h(59) a composite number?
True
Let m(v) = 58*v**2 - 11*v + 53. Let p(r) = r**2 + r + 5. Let q(l) = m(l) - 3*p(l). Is q(5) composite?
True
Let o(u) = u**3 - 5*u**2 + u - 3. Let p be (-15)/6*(-12)/5. Let w be o(p). Is (w/26)/(1/614) prime?
False
Suppose 2*l = -6*h + 267148, 4*l + 15*h - 534261 = 10*h. Is l a prime number?
True
Let y be 30/285 - 56768/(-38). Let k = y + -1049. Is k a composite number?
True
Suppose 28 = -x - 5*z, -x = -2*x - 2*z - 22. Is ((-7028)/(-16))/(x/(-72)) composite?
True
Let h(l) = 223*l**3 + l + 12. Let c be h(3). Let u = 10757 - c. Is u a prime number?
True
Is (2/12 - (-1411497)/(-108)*-2) + 4 prime?
False
Let t(o) = 193*o**2 + 9*o - 35. Suppose 30 = 14*w - 40. Is t(w) a prime number?
False
Suppose 0 = 3*q - 3, x = -0*q - 4*q + 1396. Let h = x - 709. Is h prime?
True
Let x be -474*1676/(-40) + (-4)/(-10). Let t = x + -5957. Is 4/6 + -1 - t/(-6) prime?
False
Let u = 1783 + -505. Suppose 2*w - 226 = u. Let y = w - 421. Is y a composite number?
False
Suppose z - 4*s = -0*z + 21, z - 21 = s. Is (1 + z)/1*(-471)/(-6) prime?
False
Let h(c) = -4876*c - 22. Let k be h(-5). Suppose -k = -31*g + 12*g. Is g composite?
True
Suppose 0*x = 3*a + 4*x - 24, 5*a - 17 = x. Suppose -a*g - g = 0. Suppose g = 8*k - 5*k - 2121. Is k a composite number?
True
Suppose 2*g - 119 = 553. Suppose -3147 = 333*y - g*y. Is y a composite number?
False
Suppose 20*p - 10880848 = -156*p. Is p a prime number?
False
Let l(c) = 4*c + 21. Let g be l(-4). Let f be ((-36)/20 - -3)*g. Suppose -9*m + 327 = -f*m. Is m a prime number?
True
Let d = 254269 + 20734. Is d a prime number?
True
Let w(x) = 8*x + 0 + 7 - 54*x. Let n be w(-5). Let l = 680 - n. Is l a prime number?
True
Suppose -7*m + 2*m + 56 = 4*q, 2*m + 14 = q. Suppose -5*y + 0*y = -2*n + q, -26 = -3*n + 5*y. Is 691 - ((-14)/21)/(2/n) a composite number?
True
Let r = 46256 + -32491. Let c = -8321 + r. Suppose 0*g = -4*g + c. Is g composite?
False
Suppose -5*f = 2*r - 49038, 2*f = -4*r + 6*f + 98104. Suppose 46*w - 50*w = -r. Is w a prime number?
Tru