- (-6)/2. Suppose -953 = 15*a + b. Let h = a + 211. Is h a prime number?
True
Let t be (-99)/(-27) + -4 - 1/(-3). Suppose -2*g + a + 7313 = t, 4*g + 0*a = a + 14631. Is g composite?
False
Let z(d) = 598*d**2 + 14*d - 43. Suppose 3*b + 12 = 2*m - 0*b, 4*m - 4*b = 20. Is z(m) a composite number?
False
Let l be (-25 + -3 + 4)*8/16. Let k(n) = 23 + 5*n**2 + n**3 - 2*n**3 + 2*n - 9*n**2. Is k(l) a composite number?
False
Suppose -103*t = 115*t - 198*t - 1599340. Is t a prime number?
True
Let l = 293193 + 191272. Is l a composite number?
True
Let b = 85 + -27. Suppose b*c = 49*c + 30663. Is c a prime number?
True
Let u(g) = g**2 - g + 7892. Let p be u(0). Suppose -4882*h = -4742*h - 22680. Suppose -h*v = -158*v - p. Is v a prime number?
True
Is (14/(-4) + 4)*(12 + 4087 + 7) a prime number?
True
Is (358/8*20/15)/(1/879) a composite number?
True
Let g(h) = h**3 - 18*h**2 + 18*h - 15. Let q be g(17). Let o(u) = 5*u - 7. Let v be o(q). Suppose v*i = f - 3*f + 977, 2*f = -i + 975. Is f a composite number?
False
Let f(v) = 3*v**2 - 22*v + 45. Let p be f(6). Suppose -i = -3*s - 854, -2*i + 18*s + 1663 = p*s. Is i a prime number?
True
Suppose 3*m + 523620 = 4*d - 124831, -3*m = -2*d + 324233. Is d prime?
True
Let x be 2 + 6*-1*3/(-6). Suppose 4971 = 3*c + 3*h, x*c + 2*h = 6101 + 2178. Let p = 3016 - c. Is p prime?
True
Let s(w) = 11*w**2 + 11*w + 19. Let p be s(-2). Let q = p - 41. Suppose q = 2*x - 6*x + 11812. Is x a prime number?
True
Suppose -n + 13307 = -4*o, 4*n + 1938 = 2*o + 55110. Is n prime?
True
Suppose 12976*q - 12982*q = -11190. Is q composite?
True
Is (3 + 3)*((-9002950)/(-75))/22 a prime number?
False
Suppose 0 = 5*f + 82 - 87. Let h = f - -4. Suppose 2*z - h*i = 5*z - 3142, i = 2*z - 2099. Is z a composite number?
False
Let f(l) = l**2 - 5*l - 5. Let u be f(6). Let y(q) = q**2 - 9*q - 112. Let o be y(-7). Is (o + (-524)/(-12))/(u/3) a composite number?
False
Let c(h) = 2*h**2 + 1. Let d(x) = x**2 + 12*x + 17. Let b(r) = 2*c(r) + d(r). Is b(-6) prime?
True
Let j(r) = -29663*r + 4712. Is j(-7) a prime number?
True
Let k = 8087 - 21283. Let h = -9019 - k. Is h composite?
False
Let f(m) = -m**3 + 7*m**2 - 9*m + 6. Let i be f(5). Is (4562 - 1)*(i + -10) prime?
True
Let f(t) = 8*t + 5299. Let k = 113 - 113. Let g be f(k). Is (-2 + (-12)/(-3) - -2) + g composite?
False
Let g = -31437 - -65254. Is g a prime number?
False
Suppose -11*c = 3*c - 23310. Suppose 5*a + 2*m - 5876 = 0, 0*a + 3*m = -5*a + 5874. Let o = c - a. Is o prime?
False
Let t = 32 - 28. Suppose 2*o - 6*l - 2 = -t*l, 2*o = -l + 8. Suppose 5*n - 11780 = 5*s, 4*n + s = o*n + 2362. Is n a prime number?
False
Suppose 11 = v + 5. Is (-1)/1*-2153*(-5 + v) a composite number?
False
Suppose g - 3 = -4*o, -5*o - 5*g + 15 = -0*o. Suppose o = 3*c - 5*c + 524. Is c a composite number?
True
Let n(p) = 118*p - 1. Let w be n(-1). Let c be 9/30*2 - w/35. Suppose c*i + 12 = 0, 0 = 2*f - 3*f + 2*i + 2339. Is f composite?
False
Let v(o) be the first derivative of -4621*o**4/4 - o**3/3 - 2*o**2 - 3*o + 174. Is v(-1) prime?
True
Let k(b) = 94*b**3 + 6*b**2 + 31*b - 235. Is k(6) a composite number?
True
Suppose -3*a + 7 = -2. Suppose a*m = -f + 2*m + 1147, -4*m = 5*f - 5737. Is f*1/3 - 4 a prime number?
True
Let k = 802651 - 354512. Is k a composite number?
False
Suppose -5*h - 3*l = -1341200, -208*h + 213*h + l = 1341190. Is h a composite number?
False
Is 8/(-12) + 189023/3 - 8 a composite number?
True
Suppose 2*s - 18 = 5*b, b = -2*s + 4*s - 10. Suppose 3*h - 78 = -5*r, 4*h - 37 = -s*r + 19. Is 204 - r - (2 - (-1 + 2)) a composite number?
True
Let p(v) = v**2 - 21*v + 3. Let n be p(14). Let f = 97 + n. Is -3 + (f + (1 - 2) - -1659) composite?
False
Let h = -286 - -297. Suppose 8*i - h*i - 379 = -m, -m - 2*i = -399. Is m a composite number?
True
Let o(c) be the third derivative of 247*c**8/20160 - c**7/336 + 43*c**6/720 - 2*c**5/3 + 9*c**2. Let f(g) be the third derivative of o(g). Is f(5) prime?
True
Suppose 0 = -29*c + 37*c - 18488. Let a = c - 362. Is a a composite number?
False
Let c = -4325 - -19296. Is c prime?
False
Let q be 17309 + (0 - -1 - -4). Suppose 3*v + 35509 = 4*s, -3*v + v - 3*s - 23701 = 0. Let a = q + v. Is a a composite number?
False
Suppose 19127 = -d + 2*d + 4*w, 5*w = -2*d + 38242. Is d composite?
True
Suppose -3*z - 5*p = -48083, -5*z + 3*p = -60170 - 19923. Suppose 0 = -v - 2, -5*b + 4*v - v + z = 0. Suppose 4*w - 6129 - b = 0. Is w a composite number?
False
Let d(n) = 4905*n**2 - 26*n - 2. Let q be d(-5). Suppose 18*g - q = -25895. Is g prime?
True
Let d be (-52)/(-12) + -4 - 818688/36. Let q = d - -35322. Is q a composite number?
True
Let s = -960 - -3618. Suppose -s = -v + 7213. Is v composite?
False
Let k(f) = 6920*f**3 + 582*f**2 - f + 8. Is k(5) a prime number?
True
Let k(c) = -c**3 + c**2 - 115*c - 58. Is k(-27) prime?
True
Let c = 65 - 62. Is (-4561)/c*(-93)/31 prime?
True
Is (-548)/(-1233) + (-4347869)/(-9) composite?
False
Suppose 0 = h - a + 49, 31 = -3*a + 22. Is (0 - -3 - -1)*(-71461)/h a prime number?
False
Let l(m) = 4*m**2 - 3*m - 6. Let o = 13 + -5. Let g be l(o). Let w = g + 21. Is w a prime number?
False
Let f = 18 - -13. Suppose -16 = 3*l - f. Suppose 0 = -l*v - 4*p + 1313, 4*v - 80 = p + 983. Is v composite?
True
Let c(w) = 13*w**2 - 11*w - 11. Suppose -5*j = -4*j + 10. Is c(j) prime?
True
Let r(l) = -l**3 - 9*l**2 + 10*l + 2. Let v be r(-10). Suppose 0*c + v*c = 14152. Suppose -5*z + c + 1209 = 0. Is z prime?
True
Let d(p) = -31*p**3 - 4*p**2 - 4*p - 13. Let g = 108 - 103. Suppose 4*z - 16 = 0, -g*z - 14 = -s - 10*z. Is d(s) prime?
True
Suppose -2*s = 2, -3*s - 14 = -4*a - 7. Suppose -3*f = r + 10, 4*r + 25 = 4*f + a. Let g(y) = -272*y + 27. Is g(r) composite?
False
Suppose 3*r - 34 = 2*q, 4*r + 16*q - 36 = 21*q. Suppose r*w - 50*w = -105876. Is w prime?
False
Let q(z) = z**3 + 2*z**2 + 16*z + 17. Let f be q(12). Suppose 3*l - 5*d - f = 0, l - 2*d = -3*l + 2976. Is l a composite number?
True
Suppose -46 = -5*z + 4. Suppose -67936 - 17436 = -7*y. Suppose -y = -14*m + z*m. Is m composite?
False
Let k = 2 + 2. Suppose h + k*u = -0*h + 27, -3*u + 29 = 2*h. Is h - (-34244)/35 - 4/10 composite?
True
Let y = 127 + -120. Is -1493*y/(-14)*6 a prime number?
False
Is (-27349)/2*(11 - 711/63) a prime number?
True
Suppose 0 = 25*v - 2806791 - 4361234. Is v composite?
False
Let h = 19 - 8. Let d(q) = q**2 + 6*q - 25. Let b be d(3). Suppose -28062 = -h*i + b*i. Is i a prime number?
False
Let r(u) = -9*u - 96. Let f be r(-11). Suppose f*q + 4*v = 9077, -34*q + 29*q + 15075 = -4*v. Is q prime?
True
Suppose -8*m - 554 + 442 = 0. Is ((-4)/m)/1 - 26025/(-175) a composite number?
False
Suppose -10*p + 14*p - 224 = 0. Suppose 1 = -b, 0 = -r - 0*r - 4*b. Suppose r*c - 3*u - 204 = 0, u - 46 - p = -2*c. Is c a prime number?
False
Let l = 0 + 2. Suppose 4*y - 6*d = -4*d + 664, -y + 167 = -d. Suppose 668 = o - l*r - y, -4*r - 3336 = -4*o. Is o a prime number?
False
Suppose 95*j - 1080811 = -214221. Is j composite?
True
Suppose -21*d - 43*d = -2752. Suppose 0 = d*g - 60*g + 26129. Is g a prime number?
False
Let x(p) = 3704*p - 31. Let k(w) = -11108*w + 94. Let n(j) = -6*k(j) - 17*x(j). Is n(3) composite?
False
Let c(h) = h**3 + 3*h**2 - 13*h - 33. Suppose 2*g + 21 = -3*n, 2*g + 3*g = -2*n - 25. Let q be c(g). Is 267/(-9*(-1)/q) - -1 a composite number?
False
Suppose -4*y - 4 = -20. Suppose 0 = h - 5*m - 2986 - 5937, 4*m + 35628 = y*h. Suppose -4*f - 3*r + 7121 = -0*r, 5*f = -2*r + h. Is f a composite number?
True
Suppose 11*k - 9*k - 39926 = 0. Suppose -5*w = -4*a - 2*w + k, 5*a - 2*w = 24945. Is a a prime number?
True
Let y(n) = -69*n - 4. Let k(j) = 70*j + 4. Let r(u) = 4*k(u) + 3*y(u). Let c(g) = -g + 29. Let b be c(14). Is r(b) prime?
False
Suppose -f + 5*w = 52, 0*f = 2*f - w + 86. Let d = 45 + f. Suppose 1307 = d*r - 1912. Is r a prime number?
False
Let o(f) = -f - 4. Let k be o(2). Let y be (-9)/k + 15/(-10). Suppose y = -2*b + 2292 - 58. Is b composite?
False
Suppose 0 = 2*g + 4*q - 18, g = -4*g + 3*q + 19. Suppose -d + 588 = -3*z, -2*d + g*d + 3*z = 1776. Is d a prime number?
False
Let g = 483 - 485. Is 1153572/315 - g/(-15) prime?
False
Suppose -3 = -4*a + 17. Let f(l) = -6*l + 27. Let t be f(a). Let z(w) = -361*w - 28. Is z(t) prime?
False
Let z = -22 - -30. Suppose -4*r