omposite number?
True
Suppose 0*d + 41750 = 5*d - 5*h, -2*d + h + 16703 = 0. Is d composite?
False
Let k = 216985 - 138294. Is k a prime number?
True
Let n be 22*(-3)/6*4. Let g be (-8)/n + (-140)/44. Let d(f) = 94*f**2 + 4*f + 5. Is d(g) composite?
False
Let k be (-135)/(-25) - 2/5. Suppose 3*q + 27 = 2*q - 5*s, k = -s. Is 307 + (-3 - (-5 - q)) prime?
True
Suppose 2*m - 3*b = -2, -m - b + 25 = 4*b. Suppose m*o - 14268 - 5677 = 0. Is o a prime number?
True
Suppose 0 = y + 11*y - 186103 + 6139. Is y composite?
True
Is (-28 + -409927 + 8 + 1)/((-4)/2) prime?
True
Let h = -183 - -199. Suppose 0 = h*j - 62593 - 9103. Is j a composite number?
False
Let m(o) = 5*o**3 - 8*o - 10. Let u(l) = -6*l**3 + 9*l + 10. Let c(r) = -3*m(r) - 2*u(r). Let s be c(-4). Suppose q = 2*q - s. Is q prime?
False
Let r(a) = -296*a**3 + 2*a**2 - 4*a - 5. Let w be r(-2). Suppose 3*d + w = 6648. Is d composite?
False
Let t = 36065 + -1258. Is t a prime number?
True
Let x(n) = 136449*n**2 - 18*n - 20. Is x(-1) a composite number?
False
Is (-1823 + 1)/(((-18)/(-2349)*9)/(-1)) composite?
True
Is (-1513628)/6*(123/164 + 27/(-12)) a prime number?
True
Let u(c) = 2170*c - 1374*c + 13009*c + 6. Is u(1) composite?
True
Suppose 0 = -121*d + 101*d + 5858020. Is d composite?
True
Let p = -150 - -164. Let g(w) = 10*w**2 + 76*w - 2. Is g(p) composite?
True
Suppose 240019 = 5*h - j, 96*h + 48015 = 97*h - 3*j. Let s = -33812 + h. Is s prime?
False
Is (47954/4 + 1)/(-3 + 30/8) a composite number?
True
Let f = -466 + 466. Suppose -36954 = -6*o - f*o. Is o composite?
True
Let h be 12/14 - 90/(-42). Suppose 3*n - 2*t + 2271 - 14238 = 0, 3*n - h*t = 11967. Is n prime?
True
Suppose 0 = 75*k - 72*k + 5*b - 263638, 4*k + 2*b - 351536 = 0. Is k a composite number?
True
Suppose -o - 2*d = 9, 4*d = -9*o + 11*o + 34. Let s(x) = x**2 + x + 1. Let b(t) = 17*t - 2. Let l(g) = -b(g) + 2*s(g). Is l(o) a prime number?
False
Let r(a) = -a**3 - 5*a**2 + 7*a + 5. Let d be r(-6). Let h be -1*((-2)/(-8) - d/(-4)). Suppose -c - 1 = h, 3*q - 5*c - 429 = 149. Is q a prime number?
True
Let u(q) = q + 45. Let p be u(-29). Suppose v = -d - 7, 0*d + p = 2*d - 4*v. Is 6/(d - -5) + 795 a composite number?
False
Let o(c) = 148*c - 33. Let a(q) = 149*q - 32. Let h(k) = -4*a(k) + 5*o(k). Is h(3) a composite number?
True
Suppose -4*l - 8*w = -5*w - 3, l = -2*w - 3. Let z(v) = -v**3 + 2*v**2 + v - 6. Let k be z(l). Let r(f) = -2*f**3 - 10*f**2 - 19*f - 13. Is r(k) prime?
False
Is 19318/(15 + (-12 - 1)) composite?
True
Suppose 11*g - 15*g = 40. Let q(n) = 5 - 4 + 12*n - 10 - 10 - 68*n. Is q(g) composite?
False
Let f be (-10)/((-60)/27)*4/6. Suppose 231 = f*i - 2616. Suppose 3*p + 196 = i. Is p a composite number?
False
Let o(j) = -j**3 - 2*j**2 + 159. Let t be o(0). Suppose 161*c = t*c - 7522. Let u = 7252 + c. Is u prime?
True
Suppose -4*f - 2*t + 52535 + 193653 = 0, 16 = -4*t. Is f composite?
True
Suppose -34*h + 8927500 - 1452974 = 0. Is h a composite number?
False
Let s(w) = 24*w - 1. Let g be s(5). Suppose 0 = -3*b + 69 - 60. Suppose 2*p + b = g. Is p a composite number?
True
Let y(c) = 1314*c**2 - 13*c - 35. Is y(8) composite?
True
Let p(r) = 25*r**2 + 23*r**2 + 3*r + 5 + 0*r. Suppose 0 = -i + 17 - 19. Is p(i) composite?
False
Let p(v) be the third derivative of 61*v**4/12 + v**3/6 - v**2 + 50*v. Is p(14) a prime number?
True
Suppose 2*n + 8*j + 5 = 3*j, -1 = j. Suppose n = -3*u - 5*u + 832. Suppose -4*h + 2980 = u. Is h a prime number?
True
Suppose 2840 = 4*u - j, -3549 = -5*u + 4*j - 3*j. Let z be (-1)/((-10)/(-132))*25. Let v = u + z. Is v a composite number?
False
Suppose 1315 = 3*i + 2*o, -2*o - 454 - 1290 = -4*i. Let l = 250 + -430. Let z = i + l. Is z composite?
False
Is (4*-4)/(-4) + (100664 - (-7)/7) prime?
True
Suppose -3*b - 5*u + 31617 = 0, -72*b + 73*b - 10535 = -u. Is b prime?
True
Let v be -1 + 3162/(-6) + 5. Let p = 316 - v. Is p a prime number?
True
Is (37*-368 + -3 + 2/(-4))*-2 prime?
True
Let s = -177 - -178. Is 3*s*56975/75 a composite number?
True
Let r(l) = -61*l - 7. Let t be r(2). Let w = t - -93. Is ((-9)/(w/(-3560)))/(-2) a composite number?
True
Let l(g) = -g**2 + 6*g - 5. Let a be l(3). Let v be a/10 - (-56)/10. Suppose 0 = -3*z + v, w - 5*w + 326 = -3*z. Is w prime?
True
Let j = -28500 - -166553. Is j a prime number?
True
Let g(r) be the third derivative of r**6/120 - 3*r**5/20 - 2*r**3/3 + 4*r**2. Let d be g(6). Let m = 87 - d. Is m composite?
False
Let y(h) = 15*h + 3. Let c be y(-4). Is ((-95)/c)/(-1 + (-268)/(-267)) a composite number?
True
Let c(x) = x + 1. Let d be c(4). Suppose 0 = -n + 548 - 26. Suppose -3*r - n = -d*r + 4*p, 0 = -2*r + p + 507. Is r a prime number?
True
Suppose 2*h - 128 = -3*u, 117 = -u + 3*u - 5*h. Let n(i) = -806*i - 728. Let v be n(17). Is (v/(-7))/2 - u/(-161) composite?
False
Let j(i) = 4685*i + 11523. Is j(22) a composite number?
False
Suppose -10548 + 571437 = 63*a. Is a a prime number?
False
Suppose -14*z - 3698 = 3176. Let h(x) = -164*x - 6. Let v be h(-6). Let a = v - z. Is a a composite number?
True
Let a(o) = o**2 - 2*o - 6. Let x be a(-4). Suppose -2*d - 14 = -x. Suppose n + 623 = 4*p, 5*p + d*n = 4*n + 775. Is p composite?
False
Let o(s) = -5*s**3 + 5*s**2 - s - 23. Let k(r) = 2*r**3 - 2*r**2 + 8. Let t(y) = 8*k(y) + 3*o(y). Let i be t(3). Is (4 - (-1 - -9)) + 660/i composite?
True
Let u(x) = 18 - 16*x + x + 10*x + 8*x. Let k be u(-4). Suppose d - k*d + 2915 = 0. Is d a prime number?
False
Suppose -9*o + 39314 = -64222. Let m = o - 7361. Is m composite?
True
Let a(p) = 2*p**2 - 34*p - 24. Let q be a(17). Let c(h) = -h**3 - 15*h**2 + 51*h + 29. Is c(q) a composite number?
False
Suppose 0 = 2*c + 14, 2*l - 1023046 = -4*c - 174280. Is l composite?
False
Suppose -4*t - 3*y - 155511 = 0, 3*y - 38879 = t + 5*y. Let u(b) = b**2 + 20*b + 10. Let p be u(-19). Is t/p - -1*4/(-6) prime?
False
Let n = 107 - 62. Suppose -3*w + 55 = 5*m - 4*w, -2*m + 5*w + n = 0. Suppose -613 = -m*l + 9*l. Is l a composite number?
False
Let t be ((-90)/(-24))/((-6)/(-32)). Suppose -26 = -w - t. Suppose -w*c = -2*c - 1516. Is c a composite number?
False
Let d = -22 - -25. Let a(i) = -d*i + 2*i + 2 - i**3 - 7*i**3 - i - 2*i**2. Is a(-3) a composite number?
True
Let s = 468 - 309. Suppose -5*i = s - 8444. Suppose i = 5*u - 4*u. Is u composite?
False
Let y(p) = 2*p**3 - p**2 + p + 1. Suppose -4*w = -6*w + 4. Let l be y(w). Is 2/(-15) - 1/(l/(-11087)) prime?
True
Let h = 280 + 7118. Suppose 2*f - 8608 = h. Is f a composite number?
True
Let l = 2325420 + -1281817. Is l composite?
True
Is (2/((-10)/4583))/(45/(-6525)) composite?
True
Suppose -n + 41295 = 3*u - 105974, -589034 = -4*n + 2*u. Suppose -23*s - 21979 = -n. Is s prime?
False
Suppose 8 = -8*j - 16. Let v be j/((-6)/(-16)*-2). Suppose 44 + 80 = v*x. Is x a prime number?
True
Suppose -6*i - 849 = -9. Is 871/3 - (i/30)/7 composite?
True
Let f(p) = -p**2 - 9*p - 3. Let y be f(-6). Let o(x) = 27753*x + 27787*x - 55503*x + 5 - 61. Is o(y) prime?
True
Is 36217*(14 - 1 - 12) a composite number?
False
Let a = 72 - 71. Let l(w) = 885*w**3 + 3*w**2 - w. Let y be l(a). Suppose 3*d + 0*d + y = b, -b - 5*d = -887. Is b a prime number?
True
Is 1/6 + (-56471324)/(-312) - -3 composite?
False
Let t(l) = -4*l - 21*l**3 + 3683 - 3683 + 2*l**2. Let q be t(-5). Suppose -7*c + 2*c + 5*r = -q, -5*r + 1050 = 2*c. Is c prime?
False
Is 39193 + (-13 + 2 - -9) a prime number?
True
Let p(w) = 11*w - 6. Let i(l) = l - 1. Let b(r) = 2*i(r) + p(r). Suppose -12 = 4*v, q + 2*v + 13 = 2*q. Is b(q) composite?
False
Suppose -5*f + 5*m + 60985 = -26410, f - 17494 = 4*m. Is f a prime number?
False
Suppose -2*s - 5*h + 252716 = -2*h, -126365 = -s + 2*h. Is s a composite number?
True
Is (2901/(-6))/((2/(-213))/((-176)/(-132))) a prime number?
False
Let h = -131395 - -213006. Is h prime?
True
Suppose 77384 = 8*s - 7*s + 9*n, -n + 309781 = 4*s. Is s a composite number?
False
Suppose -4*a - 37 = -57. Suppose 0 = -z - 0*z + a*x + 50, -5*x = 25. Suppose z*w = 20*w + 1775. Is w a composite number?
True
Suppose 4*o - 99463 = 5*y, o - 99503 = -3*o - 3*y. Suppose -5*f = -13*f + o. Is f composite?
False
Let q be (-2)/12 - 22/12. Let y(w) = -25*w**3 - w**2 - 15*w**3 + 2*w + 1 + 2*w - 29*w**3. Is y(q) composite?
False
Let a(j) = j**3 + j + 57. Let q be a(0). Suppose -53*r + q*r