s r a prime number?
False
Let x = -289 - -37668. Is x a composite number?
False
Let g = -380 - -385. Let c(z) be the third derivative of 19*z**4/24 - 5*z**3/3 + z**2. Is c(g) prime?
False
Suppose 4*f + 20 = 3*i, f - 4*i + 20 = -f. Let r be -2*(21/f)/7. Is 1666/12 + r/18 prime?
True
Is (1/(-4))/(9/36) - -4046 composite?
True
Let j(z) = 2406*z + 173. Is j(3) a composite number?
True
Suppose 0 = 3*l + 4*c - 3353, 2*c = 5*l + 3*c - 5594. Is l a prime number?
False
Suppose -29176 = -11*d - 5537. Is d a prime number?
False
Let s = -33822 - -49731. Is s composite?
True
Let a(o) = -210*o - 73. Is a(-3) prime?
True
Suppose 195 + 15 = -7*w. Is 5/w*3*-638 prime?
False
Let a(t) = -2*t + 93. Is a(-11) prime?
False
Let z = -9415 + 16712. Is z prime?
True
Let f(m) = 228*m**3 + 8*m + 7. Is f(4) prime?
False
Let u(j) = j**3 + 15*j**2 - 15*j + 24. Let v be u(-16). Is (-1235)/(-3) - v/12 prime?
False
Let a(d) be the second derivative of 9*d**5/20 - d**4/12 - d**2/2 + 38*d. Is a(1) a composite number?
False
Let i = 4050 - -10567. Is i prime?
False
Suppose 38*w - 75*w + 5092421 = 0. Is w prime?
True
Suppose -3809 = -36*z + 35*z. Is z prime?
False
Suppose 4*g = g + 147. Suppose -g = 4*x - 3*y, -x + 4*x + 28 = 4*y. Is x/(-4) - (0 + -187) a composite number?
False
Suppose 0*a + 6 = 3*a. Suppose 2*x = 3*r - 3, -5*x - 23 - 1 = -a*r. Is 1/x - (-13995)/54 a prime number?
False
Suppose -2*r = -3*h - 2*h - 15, 2*h - 70 = -3*r. Let o = 24 - r. Suppose -4*k + 2*k - 2*s = -70, -k - o*s + 47 = 0. Is k composite?
False
Let f = -15 + 17. Suppose 5*l = -f*h + 498, -2*l = -7*h + 3*h + 1044. Is h prime?
False
Let p(u) = 15*u**2 - 13*u - 4. Let i(m) = m**2 - 4*m - 6. Let l be i(7). Let c be p(l). Suppose -12*g + c = -4*g. Is g a prime number?
True
Suppose 20272 = 7*x - 62251. Is x a composite number?
False
Suppose 0 = 3*o - 4*b - 16316 + 2185, -o = 3*b - 4693. Is o composite?
True
Let w = -21 + 18. Let y(r) = r**2 - 5*r + 6. Let o be y(4). Is -3 - (o - (w - -63)) composite?
True
Let c(j) = -j**3 + 5*j**2 - 40*j - 25. Is c(-27) prime?
False
Let z(w) = 49*w**2 - 2*w - 11. Let l be z(5). Suppose u + 2*k = 5*u - l, 0 = -u + 5*k + 301. Is u a composite number?
True
Suppose 4 = 9*s - 7*s. Is (-2193)/(-6) + (-1)/s prime?
False
Suppose -38 = -3*x - 14. Is (724/x + -7)/((-1)/(-4)) composite?
True
Suppose u - 72 = -5*d, d + 188 - 55 = 2*u. Suppose -3*v - u = -3*y + 674, 2*v - 1263 = -5*y. Is y prime?
True
Suppose -2*h - 4*a - 14 = 0, 3*a = 3*h + 2*a - 14. Suppose 5*d - 460 = -5*m, -h*d + m + 425 - 169 = 0. Is d composite?
True
Let a = -18621 - -35294. Is a composite?
False
Let l be (306/(-27))/((-4)/6). Let a(q) = q**3 - 18*q**2 + 22*q + 38. Is a(l) composite?
True
Let c(g) = g + 7*g - 9 + 10*g**2 + 0*g + 15*g**2. Let z be c(7). Is (7/(-4))/((-6)/z) composite?
True
Let h be (6/4)/(12/(-64)). Let x(t) = -4*t - 5. Let n be x(h). Suppose 3*l - 15 = n. Is l a prime number?
False
Let v = -40 + 59. Suppose 0 = -v*t + 16*t + 138. Is t composite?
True
Let y(p) = -p**3 + 66*p - 29 - 12*p**2 - 44*p - 37*p. Is y(-11) a composite number?
True
Suppose 4*a + 72 - 364 = -2*t, 3*t = -3*a + 219. Suppose -3*v - 85 = -7. Let n = v + a. Is n a composite number?
False
Suppose -3*z + 5*r = -4145, 2*r - 6927 = -5*z + r. Is z composite?
True
Let u(z) be the second derivative of 10*z**3/3 + 13*z**2/2 + 7*z. Let h = 45 - 31. Is u(h) a composite number?
False
Let i be 2 + 15/(-9) + 23831/3. Is (2/(-8))/((-6)/i) a prime number?
True
Let z(v) = -37*v - 2. Let l(x) = -x**2 + 10*x - 3. Let h be l(10). Let i be z(h). Suppose 113 = 3*b - i. Is b composite?
True
Suppose -3*i = 4*f - 29, -3*i + f = -f + 1. Suppose 5*a = k + 1622, i*k = -2*k - 10. Suppose -6*d = -2*d - 4*s - a, -d = 3*s - 89. Is d a composite number?
False
Suppose 4*b - 125 = 3*v, b + b = -5*v - 217. Let g = v + 382. Is g prime?
False
Suppose -46*a = -9*a - 138343. Is a composite?
False
Suppose -7*p = -2*p + 6820. Let d = 2017 + p. Is d a composite number?
False
Let s be (0 - -3)/((-19)/(-25403)). Suppose -8*z = -11*z + s. Is z a composite number?
True
Let p(y) = -y - 31. Let k be p(0). Let s = 46 + k. Is (6 - 1)/(5/s) a composite number?
True
Let t = 4935 + -992. Is t a prime number?
True
Let h(s) = -s**2 - 12*s + 18. Let j be h(-13). Suppose -10515 = -j*u + 3550. Is u a composite number?
True
Let r be 4/(-14) + 72/(-42). Let l(k) = 3*k + 2. Let g be l(r). Let h(q) = -q**3 - 4*q + 3. Is h(g) prime?
True
Let k be (2232/(-20) - 4)*-15. Suppose -17643 = -9*r + k. Is r composite?
False
Suppose -4 = 5*a - 9. Suppose 2*c - 4 = -0. Is a*2/c*103 a composite number?
False
Let c(a) = -52*a - 29. Let y(h) = -h + 1. Let s(f) = -c(f) - 6*y(f). Is s(12) a prime number?
True
Let h(j) = -j**3 + 6*j**2 + 17*j - 3. Let z be h(8). Suppose -z*f + 79 + 196 = 0. Is f a prime number?
False
Let c be 8/12*-850*(-9)/12. Suppose -h + 3*r = -394, 5*r + 71 = -h + c. Is h a prime number?
True
Let b be 1/(-3) - (-40)/12. Suppose -4*a + 535 = -5*g, 234 = b*a - 4*g - 167. Suppose -198 = -3*n + a. Is n a composite number?
True
Suppose 3*i + 2*h - 62 = 0, -3*i + 4*i + 4*h - 24 = 0. Suppose 17*k = i*k - 237. Is k a composite number?
False
Suppose -n + 0*g = -g - 6, 4*n - 5*g - 27 = 0. Suppose 24 = 2*u - 102. Suppose 0*v + u = n*v. Is v prime?
False
Suppose 4*x + 5*p + 394 = 4*p, 5*x - 4*p = -503. Let r = 290 - x. Is r prime?
True
Suppose 0 = 2*k - k - 1542. Suppose 4*g - 370 = k. Is g prime?
False
Let y = -23 - -66. Suppose g = -j - 14, 4*g - 2*g + 5*j = -y. Let k(p) = -p**3 - 8*p**2 - 10. Is k(g) composite?
False
Suppose -2*w - 64 = -4*w. Let h = 35 - 68. Let t = w - h. Is t composite?
True
Suppose h + 62 = 4*n, 4*n + n = -3*h + 69. Suppose 5*k + 10690 = n*k. Is k a prime number?
True
Let b(z) = z**2 + 2*z - 219. Let m be b(0). Let y = 101 + m. Let u = 587 + y. Is u a composite number?
True
Let z be (28/(-7))/(-1 + -1). Suppose 4 + 2 = z*k. Suppose 4 = -b + v + v, b + 7 = k*v. Is b prime?
True
Suppose 220*h - 102823 = 213*h. Is h a composite number?
True
Suppose 9*k = 2*k - 602. Let w be (-1)/(-4) + 939/4. Let a = w + k. Is a composite?
False
Suppose 13*d = 9*d. Suppose 3*l - 4*n = -d*n + 455, n - 296 = -2*l. Is l prime?
True
Is ((-28)/(-56))/((-1)/(-4562)) prime?
True
Let j(o) = -3*o**3 + 2*o**2 + 13*o + 31. Let t be j(-4). Suppose a = -a + 216. Let u = t - a. Is u composite?
True
Is (-2)/(-8) + 2/(40/207375) a composite number?
False
Let q(s) = -865*s - 84. Is q(-7) prime?
False
Let h(t) = 109*t**2 + 4*t + 5. Let b be h(-3). Suppose b - 30 = 4*p. Suppose -2*x + 18 = -p. Is x a prime number?
True
Suppose c + 229086 = -5*r + 8*r, 0 = 2*r - 2*c - 152720. Is r a composite number?
True
Let z be 22 + 4 + -9 + 4. Suppose -z*m = -29*m + 36376. Is m a composite number?
False
Let z(l) = -407*l + 195. Is z(-38) a composite number?
False
Let y(q) = 54*q**2 - 4*q + 1. Let x(k) = k. Let c(u) = 6*x(u) + y(u). Is c(-1) prime?
True
Let h = -8252 + 17251. Is h a prime number?
True
Let r(w) = 3 + 3*w - w**3 - 13 + 8 + w**2. Let j be r(2). Suppose j = -5*l + 20, q + 5*l = -q + 46. Is q prime?
True
Let q = -1429 - -845. Is 1 + q/(0 - 2) a composite number?
False
Let t be (5 + 0 - 1) + 0. Let m be (0*(-4)/(-12)*-1)/2. Suppose -t*x + 19 + 185 = m. Is x a prime number?
False
Let h = -47 + 110. Let x be (-14)/h + 4/18. Suppose x = -3*r + 6*r - 381. Is r a composite number?
False
Let j = 60849 + -29878. Is j a prime number?
True
Is (-9 - -58) + (0 - 8/(-2)) a prime number?
True
Let w(m) = -m + 12. Let r be w(5). Suppose -9*z + r*z = 0. Suppose -5*l + 583 + 72 = z. Is l prime?
True
Suppose 17*s + 1122 = 20*s. Suppose 4*q = 482 + s. Suppose -2*y + q - 8 = 0. Is y a prime number?
True
Let r(k) = -k - 4 - 1 + 3*k**2 - 4. Suppose 14*g - 12*g = -h, 0 = -3*h + g + 21. Is r(h) prime?
False
Let u(y) = -y - 7. Let l be u(-7). Suppose l = -4*c + 6*c. Suppose -5*o - 211 = 2*j - 627, c = -3*o + 2*j + 240. Is o a prime number?
False
Let y(r) = -26*r + 21. Let s be (12/(-18))/(4/102). Is y(s) prime?
True
Suppose 0 = -4*u - l - 2*l + 47189, 4*u - 3*l - 47219 = 0. Suppose -u = -5*y + 2*w, -3*y - 3*w + 5888 = -1180. Is y a composite number?
True
Let b(r) be the second derivative of 7*r**4/4 + 7*r**3/6 - r**2/2 - 39*r. Let l(v) = 3*v - 3. Let m be l(3). Is b(m) a composite number?
False
Suppose 5*y = -2*r + 59697, -3*r - y - 47697 