
Let v be (1 + -39)*(4 + -25). Is 15/(-3) - v*-5 prime?
False
Let w = 1759 + 129544. Is w prime?
True
Let c be (10 - 5)/(-1) - -7370. Suppose 1491 = v + 4*m, 3*m = -5*v + m + c. Is v prime?
True
Suppose 3758289 = 68*q - 5284691. Is q composite?
True
Suppose 48 = -2*r + 5*r. Suppose -x + 3*x = v + 7, -2*v + r = 2*x. Suppose 3*o + x*s = 1532, -4*o + 1783 = 5*s - 258. Is o composite?
False
Let o be (0 + 3 + -434)*13. Let n = o - -14634. Is n a prime number?
False
Let l = -5970 + 26597. Is l a composite number?
False
Let z(x) be the first derivative of 13*x**3/3 + 31*x**2/2 - 204*x + 74. Is z(19) composite?
True
Suppose 0 = -2*u - 5*i + 206848, 5*u - 775139 = -4*i - 258002. Is u prime?
False
Suppose t + 13 = 2*l, 4*t + 6 = 2*t. Suppose 2*s = 2*c + 3*c + 19, l*s + 4*c = 97. Suppose 0 = -9*n + 476 - s. Is n composite?
True
Suppose 0 = 5*g, 3*p - 545661 - 1011576 = -4*g. Is p a prime number?
False
Let k(w) be the third derivative of -13*w**6/20 + w**5/20 - w**4/24 - w**3/2 + 490*w**2. Suppose -b + 6 = -3*o, 0*b - b + 4 = -2*o. Is k(o) prime?
False
Let j(n) = 356*n + 17. Let m(u) = u**3 - 19*u**2 + 15*u + 13. Let p(s) = s**2 + s. Let d(y) = -m(y) - p(y). Let c be d(17). Is j(c) prime?
False
Suppose -16*v - g = -20*v + 8719, 0 = -g - 3. Is v a prime number?
True
Suppose -u = 4*s + 11, u - 6*s = -5*s - 36. Is (1 + -2)/(u/31837) a composite number?
True
Is (-8)/14 + (77/(-22) - 16606967/(-182)) composite?
False
Suppose 5*s - 5 = -0*s. Let n = 74 + -31. Is ((-12)/18)/(n/45 - s) composite?
True
Suppose -38 = 3*a - 5*a. Let w(o) = 4*o**2 - 11*o - 42. Is w(a) a composite number?
False
Let v(h) be the first derivative of -h**4/4 + 4*h**3 + 12*h**2 + 10*h + 24. Is v(11) a prime number?
False
Let x be 3032/14 - (-12)/56*2. Suppose 4*z - x = 67. Suppose z*y - 75*y = -4604. Is y prime?
True
Let p be (40576/24)/((-1)/(-3)). Let t = -2025 + p. Is t composite?
True
Suppose -13 = 2*z - 3*d, -z + d - 6 = -0*d. Is ((-4772)/(-10) - z)*5 composite?
False
Let m be 4/(-8)*(1 - (-5)/(-5)). Suppose m = -4*x - 4*h + 7072 + 31996, -5*x = h - 48835. Is x composite?
False
Let l(i) = -10 + 9*i + 3*i + 756*i**2 - 8*i. Let w be l(2). Suppose 3*u + 913 - w = 0. Is u composite?
True
Suppose -5*i + 5*j + 5717 = -7133, 5*j + 7712 = 3*i. Suppose 0 = -2*p + 1467 + i. Is p a prime number?
False
Let l = -87331 - -151394. Is l a composite number?
False
Let b(d) be the first derivative of 29*d**7/168 + d**6/360 - d**5/60 + d**4/8 + 22*d**3/3 - 19. Let p(l) be the third derivative of b(l). Is p(2) prime?
True
Let n(u) = 13*u**2 - 8*u + 16. Let g be n(-21). Suppose 5*a - g = -3*p, -5*p - 1346 = -a - 185. Suppose 2*y = -2, 0*k - 3*k = 4*y - a. Is k a composite number?
True
Is (-2184 + -12)/(-18)*(-5897)/(-2) a composite number?
True
Let w be -2 + ((0 - 1)*361 - -1). Let q = w - -669. Is q a composite number?
False
Let n(f) = -237*f - 173. Let m(p) = -356*p - 259. Let r(w) = -5*m(w) + 7*n(w). Is r(13) prime?
True
Is (-22)/(-99) + 1003960/684*(-101)/(-2) composite?
True
Is ((-5 - -10) + 2 + -5)/((-2)/(-35201)) a prime number?
True
Let s(w) = 23*w + 15. Let o be s(3). Let f = o + 1627. Is f a prime number?
False
Let w(q) = 7*q - 11. Let k be w(3). Let z be 108/20 - 4/k. Suppose a + 5*b = -3*a + 1571, -z*a - 3*b + 1954 = 0. Is a composite?
False
Suppose -6*s = -2*s - 60. Let w be 5/(0 - s/(-18)). Suppose g + w*g - 917 = 0. Is g composite?
False
Let o(r) = r**2 - 4*r + 6. Let u be o(6). Suppose 7 = 3*m + 1, 5*m - u = -4*h. Suppose 4*s = h*s + 178. Is s composite?
False
Suppose -42*g + 2381503 = -38*g + 5*q, -1190699 = -2*g + 5*q. Is g prime?
False
Suppose -60 = -4*y + 80. Suppose -5*s + y = -0. Is (s + -9)*479/(-2) a prime number?
True
Let p(n) = -2*n**2 + n - 50. Let s(k) = k**2 + 49. Let c(d) = -4*p(d) - 5*s(d). Is c(-16) composite?
False
Let u = -30507 + 49628. Is u composite?
False
Let u = -5205 + 7642. Is u a prime number?
True
Let p be 8/20 - (-7 - (-162)/30). Suppose -p*k + 6612 = r, 8 = -4*r - 0. Is k composite?
False
Let r = -2 + 6. Let t be (15 - (-1224)/(-85))*(0 - -5). Suppose 0*h = t*h - 15, r*q = h + 4343. Is q a prime number?
True
Let d be (-12)/(-2) + -4 + (6 - -1). Suppose -5*f = -2*r - 3589, 2*f - 10*r = -d*r + 1435. Is f composite?
False
Suppose -94*y = -91*y - 30. Suppose -y*v = -5*v - 10. Suppose -24 = -v*w + o + 126, -4*o + 288 = 4*w. Is w prime?
False
Suppose j - 2*l = -l + 136056, 0 = -4*l - 4. Is j a prime number?
False
Suppose -134*b + 217180 = -63*b - 67*b. Is b a prime number?
False
Let z(n) = 7*n**2 - n - 8. Let w(v) = 3*v**2 - 4. Let b(h) = -5*w(h) + 2*z(h). Let o be b(2). Is (-59)/o - (-19)/76 a prime number?
False
Let q(f) be the third derivative of -5/12*f**4 - 7/6*f**3 + 0*f - 3*f**2 + 0 + 1/2*f**5. Is q(-6) a composite number?
True
Let w(q) = -89*q**3 - 10*q**2 + 35. Is w(-6) composite?
False
Let l(u) = -128*u + 143. Suppose 0*n + n + 8 = -b, -3*n - 5*b - 32 = 0. Is l(n) a prime number?
False
Suppose 6445 + 91857 = l + 5*r, 491490 = 5*l + 5*r. Is l composite?
False
Let v be (-2)/7 - 6645/(-105). Let u = v - 61. Suppose 2*m = -4, -u*y + 5*m + 6254 = 2*y. Is y composite?
True
Let g(c) = -120*c - 36. Let f(b) be the second derivative of 4*b**3 + 7*b**2/2 + 27*b. Let u(n) = 21*f(n) + 4*g(n). Is u(11) a composite number?
True
Let l(f) = f**2 - 78*f + 41539. Is l(0) a composite number?
False
Suppose -3*i + 22*i = 2302954 - 411257. Is i composite?
False
Let o(z) = -7*z**2 - 2*z + 1. Let s be o(1). Let p = 4832 - 4834. Is p - -1147 - s/(2 + -4) prime?
False
Let o(b) be the second derivative of 343*b**4/12 + b**3/6 + 7*b**2/2 - 4*b - 8. Is o(2) composite?
False
Is 569111/(-19 - 2 - -22) composite?
False
Let m(i) be the third derivative of 2*i**5/15 + 5*i**4/24 + 8*i**3/3 + 10*i**2. Let y(b) = 2*b**2 + 11*b + 3. Let x be y(-6). Is m(x) prime?
True
Is 58228/(-14)*(-8 + 1) a composite number?
True
Let k(f) = 25*f**2 + 3*f + 23. Suppose -3*o = -t + 59, 18*o + t + 13 = 17*o. Is k(o) a prime number?
True
Let m(y) = y**3 - 28*y**2 + 51*y + 17. Let r be m(26). Let b(v) be the second derivative of -59*v**3/6 + 13*v**2 + 24*v. Is b(r) prime?
True
Let h(f) = -17*f - 16. Let m(b) = 49*b + 45. Let k(z) = 146*z + 134. Let x(r) = -2*k(r) + 7*m(r). Let d(w) = 8*h(w) + 3*x(w). Is d(14) a composite number?
False
Let n(o) = -o**3 + 37*o**2 + 9*o + 2. Suppose -199*g = -193*g - 114. Is n(g) prime?
False
Let k be (-9 - -10)*((-1)/(-1) + 3). Suppose -3*m = w - 1343, -w + 1341 = -k*m + 8*m. Let h = 2066 - w. Is h a composite number?
True
Let u = 61200 - -17227. Is u prime?
True
Let z = -63 + 65. Suppose -17*s - 4 = -18*s, -2742 = -z*d - 5*s. Is d prime?
True
Let c = -41889 - -66252. Let o = -7702 + c. Is o a prime number?
True
Is (-9 + 8)*14 - -12 - -147741 composite?
False
Suppose 726*d = 701*d + 4252025. Is d a prime number?
True
Let l = -135 - -139. Suppose 0 = -l*a - y - y + 6766, -3*a + y + 5072 = 0. Is a a composite number?
True
Let q(m) = 2*m**3 + 30*m**2 - 2. Let l be q(-15). Let f(j) = -60*j**3 - 2*j - 5. Is f(l) a prime number?
True
Suppose 0 = -5*t - 2481 + 6186. Suppose -3689 + t = -2*k. Let g = -323 + k. Is g prime?
True
Suppose 2*z + 4 - 4 = 0. Suppose -14*f + 19*f - 46915 = z. Is f prime?
False
Suppose -20*z = -18*z. Suppose z = 5*n - 5*q - 12430, -6*n + 3*q - 9923 = -10*n. Is n prime?
False
Let h(l) = -l**3 + l**2 + 3. Let n be h(0). Let p(m) = m - 8. Let b be p(n). Let c(v) = 27*v**2 + v + 9. Is c(b) a composite number?
True
Suppose 46 - 238 = 16*y. Is (13325 + y + 13)*2/12 composite?
False
Let f = -74846 + 105733. Is f prime?
False
Suppose k - o - 1160 - 293 = 0, -3*o = -k + 1449. Suppose k*m + 52225 = 1460*m. Is m prime?
False
Let x be (1 + 1)*(1518 - 8/(-1)). Suppose -422 - x = -6*f. Is f a composite number?
True
Suppose -9*o = -222924 - 93885. Is o a prime number?
True
Suppose -19 = -7*y + 16. Suppose -y*o - 2*q + 1088 = q, 864 = 4*o - 4*q. Suppose 0*w = -w + o. Is w a composite number?
True
Suppose -2*f - 3*h + 242230 = 0, -39*h + 1089973 = 9*f - 41*h. Is f a composite number?
True
Suppose 3*c + 20 - 128 = 0. Is 577410/c + -2 + (-11)/(-6) composite?
True
Let z = -107872 - -300249. Is z prime?
True
Suppose -5*j - x = 68 + 141, 3*x + 176 = -4*j. Let k = -40 - j. Is (0 - k)/(-1)*5*1531 prime?
False
Let y = 57 + -55. Let b(u) = -6 - 3*u**2 + 9*u**2 - 15*u - 10*u**y - 22*u**3