u + -12104. Is c a prime number?
True
Let a(u) = u**3 + 27*u**2 + 56*u - 42. Let n be a(-27). Let o = n + 3677. Is o a composite number?
True
Let i(c) = -20*c**2 - 2*c + 2481 - 25*c**2 + 3716 + 43*c**2. Is i(0) a prime number?
True
Let q(k) = -2168*k**3 + 24*k**2 + 68*k - 1. Is q(-3) a composite number?
True
Let b = 4717 - -2746. Suppose -3*i + 2026 = -b. Is i prime?
True
Let o(u) = 43*u + 35. Let w = 19 + -8. Let a be o(w). Suppose -15 = -3*m - 5*h + 766, -2*m = -3*h - a. Is m a composite number?
False
Suppose -9 = -4*m + 7. Suppose 382 = m*z - 38. Let c = 22 + z. Is c composite?
False
Let p(a) be the third derivative of a**6/120 + a**5/5 - 11*a**4/8 - 11*a**3/6 - 136*a**2. Is p(18) prime?
False
Let q(t) = 40*t**2 - 47*t - 72. Is q(25) prime?
True
Suppose 20 = -88*d + 84*d. Let b(m) = 3*m**2 - 16*m + 6. Is b(d) prime?
False
Suppose 5*r + 160049 = 530704. Is r a composite number?
False
Let k = 80576 - -96647. Is k a composite number?
False
Suppose -3*i - 3*s + 312 = 0, 0 = -3*i + 3*s + s + 312. Suppose -197368 = -112*d + i*d. Is d a composite number?
False
Let j(z) = -983*z - 146. Is j(-57) a prime number?
False
Suppose -5*n + 4*m + 1737 = -950, -5*m + 2705 = 5*n. Suppose -3*f - 277 = -o + f, -5*f = -2*o + n. Is o prime?
True
Suppose -23*y = -45803 - 34007. Suppose 2409*j = 2414*j - y. Is j composite?
True
Suppose -5*q - 9*j + 7*j = -330457, -5*q + 3*j + 330477 = 0. Is q a prime number?
False
Suppose 5*o - 195792 = -2*s - 21738, -4*o - 522238 = -6*s. Is s prime?
True
Is ((-279330)/24)/(-5*(-3)/(-24)) composite?
True
Let h(s) = 2*s**3 + 195*s**2 + 16*s - 103. Is h(-82) prime?
True
Let a(u) = -33*u + 1. Let f be a(-1). Suppose f*h = 7384 + 212970. Is h a composite number?
False
Let f = 1568872 + -928679. Is f composite?
False
Suppose 25 - 5 = 4*z. Suppose n + 4*m - 231 = 0, -2*n + 489 - 27 = z*m. Suppose n + 59 = 2*o. Is o a composite number?
True
Is ((-2)/6)/((2/4)/((-4849404)/8)) prime?
False
Suppose -2*h + 3*m + 585028 = 123695, 0 = -3*m - 3. Is h a prime number?
False
Let y(o) = -21*o**3 + 9*o + 17. Let c = -153 + 145. Is y(c) a prime number?
False
Suppose -5*u = -4*t - 140482, -66260 = -3*u + 2*t + 18030. Suppose -5*a - u = 28702. Let s = 17527 + a. Is s composite?
True
Let i = 436 + -130. Suppose -8*r = r - i. Suppose r*w = 35*w - 415. Is w a prime number?
False
Let b(w) = 4209*w - 452. Is b(5) a prime number?
True
Let n = -27668 + 79917. Is n a composite number?
False
Let r be (-1590)/(-21) - (-2 - 24/(-14)). Let t = 81 - r. Suppose t*j - 4149 - 566 = 0. Is j prime?
False
Suppose 0 = 16*r - 7*r + 174339. Is r/(-9) + (-46)/(-69) a composite number?
False
Suppose 0 + 10 = 5*n. Let a be ((-10)/15)/n - 38/(-6). Is a/2 + ((-12)/(-4) - -781) a prime number?
True
Suppose 0 = -l + 11 + 16. Let f be 64018/6 + 9/l. Suppose -f = -z - 9*z. Is z prime?
False
Is (-65)/20 - (-19654570)/104 prime?
True
Suppose 0 = -5*j + 5*s - s + 36, 1 = s. Let q be 2/j*-2 + 90/20. Suppose -q*r + 191 = -365. Is r composite?
False
Let f(p) = -p + 3. Let n be f(-1). Suppose -10*z + n*z = -24. Suppose 3*r + 169 = 4*u, -z*u - r + 90 = -83. Is u a composite number?
False
Let c = -33 + 36. Suppose -3*l + 129 = -c*m, -2*l - 2*l + 151 = 3*m. Is 5/(l/11716) - 2/(-4) prime?
False
Suppose p - k = 24, 50 = 4*p - k - 58. Let w(u) = 49 + 96*u - 32 - p. Is w(4) composite?
False
Suppose 40391 = 8*j - 128113. Suppose 0 = 5*x - 26872 - j. Is x prime?
True
Let m(u) = -2000*u**3 - 9*u**2 - 4*u + 8. Is m(-3) composite?
False
Let k(m) = m**2 + 2*m - 2. Let w be k(0). Let r be (15/(-6) - 0)/(w/4). Suppose 0 = -3*d - r*d + 20584. Is d prime?
False
Let z be (7/2)/(98/56). Suppose -z*s - 3*m + 9737 = 0, -s - 5*m + m + 4881 = 0. Is s a composite number?
False
Let u = 88 + -83. Suppose u*m + 7*m - 24 = 0. Suppose -2811 = -5*i + p, 6*i - 2*i = -m*p + 2260. Is i composite?
False
Let j(d) = -d. Let r(p) = 9*p - 2351. Let s(v) = -3*j(v) - r(v). Is s(0) prime?
True
Let u(f) = 435*f**2 - 16*f + 167. Is u(8) prime?
False
Let a be 4/18 - (-32)/18. Let m(b) = 3495579*b - 1 - 3495450*b + 6. Is m(a) a prime number?
True
Suppose 0 = 3*q - q - 6. Suppose 5*u = -q*g - 0*u + 2396, 3187 = 4*g - u. Let a = 1183 - g. Is a composite?
True
Suppose -p + 31 = -5*k, 3*p = 3*k + 2*p + 19. Is (2/k*-11597)/(17/51) prime?
True
Let g(y) = 250*y - 5. Let r be (3*6/(-27))/((-3)/27). Let z be g(r). Is 2/((-10)/z*-1) a composite number?
True
Let v(p) = 4*p**2 - 26*p - 879. Is v(-110) composite?
True
Let s be (-3479)/((-2 + 8/6)/2). Suppose -5*x = -4*b + 36722, -4*x + 26303 + s = 4*b. Is b a prime number?
False
Let o = -5 + 8. Let l(a) = 15*a**3 - 4*a**2 + 5*a - 7. Let y be l(o). Suppose 0 = -3*c, 4*r - 5*c = 3*r + y. Is r composite?
True
Suppose 248*u - 28595825 = -5628297. Is u composite?
True
Suppose 30 = 3*c + s, -2*c - 1 = -5*s - 4. Let q(a) = 717*a + 30. Let w be q(c). Suppose w = 3*z + 3*x, -5*z + 0*z + 3*x + 10805 = 0. Is z a prime number?
True
Let t be -2 + 15/5*-2. Let k(z) = 29*z**2 - 8*z - 19. Is k(t) composite?
False
Let g = -499289 - -770682. Is g prime?
True
Suppose -a + 2*o + 1673 = 0, 5*a + 5*o = 3*o + 8329. Let i = 77 + a. Suppose 3*m - i = -3*q + 1784, 5*m - 5884 = -q. Is m a composite number?
True
Let n(y) = 19*y**2 + 27*y - 11. Let k(t) = -6*t**2 - 9*t + 4. Let a(r) = -7*k(r) - 2*n(r). Let v be 2208/(-320) - 2/20. Is a(v) a composite number?
False
Let l(n) = 9*n + 15485. Let x be l(0). Suppose 5*t = 2*j + 25767, 2*t = 5*t + 5*j - x. Is t a prime number?
False
Suppose 0 = -6124*m + 6119*m + 497345. Is m prime?
True
Let i(d) = 416*d**2 - 290*d**2 + 113 - 9*d - 64 + 118. Is i(8) a composite number?
True
Suppose -537 = -14*p - 313. Suppose 37*r - 51009 = p*r. Is r prime?
False
Let r(j) = -49*j**3 - 2*j**2 - 7*j + 21. Let i be r(-5). Suppose -4*p = i - 70311. Is p prime?
False
Suppose 227*y - 80*y = 223871151. Is y a prime number?
True
Let f = 96 + -93. Suppose f*m - r - 1721 = 1050, r = 2*m - 1848. Is m a composite number?
True
Let p be (-9 - (-4)/2)*-9. Suppose 4*o = 5041 + 93435. Is o/p - 4/(-18) a composite number?
True
Let i = 13036 - 2987. Is i a composite number?
True
Let l(f) = 312375*f**2 - 54*f - 70. Is l(-1) prime?
False
Let l(o) = 238*o**2 + 71*o + 417. Is l(-16) prime?
True
Let c(d) = 5*d - 57. Let v be c(10). Let p(i) = -3*i**3 - 4*i**2 + 3*i - 15. Is p(v) a composite number?
False
Let t = 72 - 80. Is (t/(-11))/(-4) + 10586/22 a composite number?
True
Suppose 5*o + 156 = 9*o. Suppose 0 = 6*u - o + 15. Suppose -u*v + 7*v - 7419 = 0. Is v prime?
True
Let t(v) = 1685*v. Let g(c) = -21906*c. Let z(y) = -2*g(y) - 27*t(y). Let s be z(-2). Let r = s + -1967. Is r a prime number?
True
Let u = -1088 - -4417. Is u prime?
True
Suppose -z - y = -317323, 4*y - 1332802 = -3*z - 380839. Is z a prime number?
False
Let c(f) = 47*f + 25. Let u be c(-10). Let k be (-3)/(-2)*(-1 - 9). Is ((-4)/(-6) - u/k)*-3 composite?
True
Suppose -6*i - 777 = -33. Let g = 1200 - i. Let b = g - -795. Is b a prime number?
False
Let g = -49912 - -23552. Let o = 51427 + g. Is o a composite number?
True
Let c(f) = -49*f + 283. Let d be c(6). Let i(h) = h**3 + 15*h**2 + 19*h - 60. Is i(d) a prime number?
False
Let t(h) = -h**3 + 4*h**2 + 4*h + 10. Let a be t(5). Suppose a*l = 4*q + 1162, -858 = -q + 4*q + 3*l. Is (q + -5 + -5)*(-62)/4 a prime number?
False
Suppose 12*q - 7 - 41 = 0. Suppose -q*j + 1277 + 1279 = 0. Is 1 + (4 - 3) + j prime?
True
Suppose -i + 7 = 2. Suppose 0 = 3*x - i*p - 2871, 5*x - 4779 = -2*p - 25. Suppose -4*t = -4*c + 940, -4*t + 3*t - x = -4*c. Is c prime?
True
Suppose f = 4*o - 137986 + 30380, 4*f = -2*o + 53830. Is o prime?
True
Let u(b) = -b**3 - 12*b**2 - 13*b - 15. Let m be u(-12). Suppose 2*t + 255 = n, -t + 5*n + 0*n - m = 0. Is (-1786)/(-14) + 72/t a prime number?
True
Let s(x) = 8722*x**3 + 6*x**2 + 3*x - 33. Is s(4) a prime number?
False
Suppose 9*k + 2*k = 202037. Suppose 3*b + 2*b + 91795 = 5*q, q - 3*b = k. Is q a prime number?
False
Let i = 268 - 143. Let g = i - 127. Is (-3)/6 - -1 - 1005/g a prime number?
True
Suppose -368*t + 145978450 = -17*t + 59*t. Is t prime?
False
Suppose -5*t + 0*b + 144 = 2*b, -4*t - 2*b + 114 = 0. Let y = 35 - t. Suppose y*a = 457 + 108. Is a a prime number?
True
Suppose 30*l = 33*l - 6. Suppose 9958 = 4*x + 2*b, b - 4959 = -l*x + 4*b. Is x composite?
True
Suppose -5*i = -