0, -2*d - 41 = -3*j - 637. Is d prime?
False
Suppose 0 = -29*r + 57*r + 1018640. Let x = -20619 - r. Is x composite?
False
Let u(l) = -242*l + 97. Let o be u(6). Let h = o - -1909. Is h a composite number?
True
Suppose f = -5*m + 3*m - 709, 4*f = 20. Let u be 3 + 26*(-26)/4. Let t = u - m. Is t a composite number?
False
Let c = 101 - 37. Suppose 2*p + 75 = 3*g - p, 3*g = 5*p + 71. Let o = c - g. Is o a composite number?
False
Let t(i) = 2*i**2 - 4*i + 3. Let l be t(2). Suppose l*h + 20 = -49. Let f = h + 60. Is f a composite number?
False
Let n(b) = 4289*b**2 + 152*b + 23. Is n(8) composite?
True
Let o(j) = -2*j**2 + 26*j + 11. Let p = 93 + -82. Let c be o(p). Is 4/22 + 555/c*251 a composite number?
True
Suppose 0 = 93*g - 2*g - 4434521. Is g prime?
True
Suppose -5*q = -3*k + 1612531, 179*k - 2*q = 183*k - 2149972. Is k prime?
True
Suppose -4*v = 3*m + 4, 3*m + 0*v = -v - 10. Let t be (-213440)/(-112) - m/14. Is (t/8)/((-13)/(-104)) prime?
False
Let g = -6383 - -13366. Is g a composite number?
False
Suppose 5*z - 552605 = -w, 442084 = 4*z - 28*w + 26*w. Is z prime?
False
Is ((-2)/5)/((-118129344)/6562740 - -18) composite?
False
Let b(l) = 13*l**2 - 5*l. Let o be b(-11). Suppose s = 4*d + 1627, -2*s + 4*d + o = -1606. Suppose -s + 78 = -q. Is q a prime number?
False
Let d = 6 + -6. Let p(c) = -c**2 - c + 2. Let y be p(d). Suppose -4*x - 464 + 2564 = y*t, 0 = x + 3*t - 535. Is x a prime number?
True
Suppose 0 = -4*i - z + 23, 3*z + 11 = 2*i + 4*z. Let h = -9 + i. Is h + 0/(-1) - 224/(-1) prime?
False
Let y be 5/(-3 + (-300)/(-99)). Let j = -119 + y. Let v = j + 403. Is v composite?
False
Let a(z) = -7*z - 24. Let q be a(2). Let k = q - -58. Let m(v) = -v**3 + 27*v**2 + 12*v - 5. Is m(k) a composite number?
True
Let g(d) = 269*d**2 + 507*d - 4705. Is g(9) composite?
False
Suppose 160*f - 354*f + 2236662 = -176*f. Is f prime?
False
Let k(r) = -83*r - 13*r**3 + 81*r - 28*r**2 + 25*r**2 - 7. Let v be (-2)/(-7) + 138/(-42). Is k(v) composite?
True
Suppose 0 = 6*u - 9*u + 3345. Let w be (15/(-6))/((-12)/24). Suppose -u = -w*n - 0*n. Is n prime?
True
Let v = 3477 - 5847. Let c = -1415 - v. Is c a composite number?
True
Let i = -87 + 88. Let v be i*(-5 - -2 - -5). Let s(x) = 1071*x + 11. Is s(v) composite?
False
Let k be (4775/3)/((-30)/(-90)). Suppose 3*n - 1043 = -5*b + k, -4*b + 20 = 0. Is n a composite number?
False
Suppose -41*w - 36*w + 3692775 = -2*w. Is w a composite number?
True
Let q(b) = 198*b - 165. Let t be q(6). Let k = t - 458. Is k a prime number?
False
Suppose g - 37534 = -3*f, -4*g - 37529 = 136*f - 139*f. Is f a composite number?
False
Let c(r) = 7*r + 27. Let m be c(18). Suppose -3*p = 5*d - m, 5*d - 185 = 10*p - 5*p. Suppose -31*w + d*w - 318 = 0. Is w a prime number?
False
Is 15/(-360)*-321414*6/4*8 prime?
False
Suppose -15 = 5*c, 9*g - 2*c = 13*g - 5014. Let p = 3198 - g. Is p prime?
False
Suppose 0 = -383*h - 29618076 + 68363076 + 76840187. Is h prime?
True
Suppose -4*w + 8423 = -3305. Suppose x = 2*b + 3*b - w, -x = -3*b + 1758. Is b composite?
False
Is (1611/(-716) - 10/(-8))*-3127867 prime?
False
Let c = 592539 + -274162. Is c prime?
True
Let a = -104348 + 1435485. Is a prime?
False
Let q(p) = -p**2 + 16*p - 26. Let t be q(4). Let o = t - 18. Suppose 0 = -4*k - 2*v + 21224, -k - 2*v = o*k - 26529. Is k a prime number?
False
Suppose -5*h - 20 = -200. Let f be ((-28)/(-6))/(24/h). Suppose 2*j + 345 = f*j. Is j a composite number?
True
Let p(q) = 2*q**2 - 17*q - 1. Let y be p(10). Let s = -31 + y. Is (2696/(-16))/(s/4) a prime number?
True
Let q be (10/(-4) - -1)*8/(-6). Let w(b) = 1335*b**2 - 8*b + 21. Is w(q) a composite number?
True
Let g = 58863 + 32408. Is g prime?
False
Suppose 5*j - 478232 = 3*g, 4*j - g - 344110 = 38477. Is j a composite number?
True
Let s = 64273 - 43796. Is s composite?
False
Suppose -498533 - 3015383 = -28*n. Is n a composite number?
False
Suppose -5*q = 2*l - 32062, -2*l + 19238 = 3*q - 0*l. Suppose 150*s + 72*s = 2047062. Let z = s - q. Is z composite?
True
Let c(l) = 3*l + 0*l + 12 + 3*l. Let v be c(6). Suppose 433 = b - v. Is b prime?
False
Let r(x) = x**2 - x - 16. Let l be r(5). Let d(n) = 3*n - 9. Let q be d(l). Suppose -1501 = -4*b - q*w, 10*b - 12*b + 4*w = -734. Is b a composite number?
False
Is 36/24 - (-20)/8 - -74073 a composite number?
False
Let i = -50 - -53. Suppose -i*q = -z - 3*z - 10239, 5*q = -z + 17042. Is q a prime number?
False
Let c = -113532 + 222219. Is c a composite number?
True
Let b be 41145/(((-45)/(-10))/(-3)). Is (-72)/108 + b/(-6) prime?
False
Suppose -989 = 2*v + 119. Let u = 1724 - 947. Let d = u + v. Is d prime?
True
Let z(g) = -463*g - 61. Suppose 0 = 3*u + 2*k + 42, -8*k + 3*k = 0. Is z(u) prime?
True
Let u be -1123065 + (-11)/(55/(-10)). Is ((1 - 3)/2)/(131/u) a prime number?
True
Let o = -11 - -13. Suppose g + 3*f = o*g - 13, -7 = -g - 3*f. Is ((-18)/(-5))/6 - (-29624)/g a prime number?
True
Let r(a) = -71*a**3 + 2*a**2 + 4*a - 6. Suppose -4*x - h + 12 = 0, -2*x + 0*x + 6 = 5*h. Let y be r(x). Let j = y - -3236. Is j a composite number?
True
Suppose u + h - 1137747 = 0, u - 27*h - 1137751 = -29*h. Is u composite?
False
Let r = 55080 - -3079. Is r prime?
False
Let g be (2 + -1)*((-3)/3 - -2). Let s be (15 - (7 + -1))*(-2 + g). Is ((-28620)/21)/(-2) - s/(-21) composite?
True
Suppose 8*b = -n + 6*b + 164507, -4*n + 658006 = -3*b. Is n a prime number?
True
Let g = -5 - -14. Suppose -6*r + 651 = -g*r. Let x = r + 666. Is x a composite number?
False
Is (10/2)/(((-21)/2866332)/((-2)/8)) a composite number?
True
Let f(c) = -2*c**3 + c**2 + 1. Let l(i) = -6*i**3 - i**2 + 8*i + 6. Let m(j) = -2*f(j) + l(j). Is m(-13) a prime number?
False
Let d = -34 - -37. Let n(x) = x**3 - 5*x**2 + 4*x + 2. Let a be n(d). Let k(p) = -795*p + 23. Is k(a) composite?
False
Let s be ((-61)/122)/(1/2). Is (214526/(-37))/(s*2) a composite number?
True
Let r(h) = -15*h - 11 + 20*h**2 + 4*h - 17*h**2. Suppose 0*j + j = -9. Is r(j) composite?
False
Let c be (2/(-8))/(13/2756). Let u be -4 + 0 + (c - 13). Is (u/(-30))/((-1230)/1233 + 1) composite?
True
Let h = -150111 - -466316. Is h prime?
False
Let r be (-3 + 2480/(-30))/((-1)/3). Suppose 4618 = 5*o + 2*y, -3*o - y + r = -2513. Is o a composite number?
True
Let v(i) be the third derivative of 20*i**2 + 0*i + 0*i**3 + 0 + 29/24*i**4. Is v(5) a prime number?
False
Let r = 151 + -141. Is (-1 - -6) + (-834 - r)*-8 composite?
True
Suppose 0 = -3*f + 6*f - 9. Let c be 2/5 + (-91112)/(-20) - f. Suppose -c = -5*k + x, 0*k - 2*x - 907 = -k. Is k composite?
False
Let a(s) = -s**3 + 14*s**2 - 17*s + 56. Let c be a(13). Let t(p) = 33*p**3 + 6*p**2 - 5*p - 9. Is t(c) a prime number?
True
Let r(u) = -19*u**3 - 3*u - 27*u**3 - 8*u**2 - 151 + 39*u**3 - 6*u. Is r(-9) a composite number?
True
Let v = 112822 - 43889. Is v a prime number?
False
Let v(y) = 4*y + 105. Let t be v(12). Is (0 + 0 + 219)*t/27 a prime number?
False
Let q(f) = f**2 - 8*f + 21. Let i be q(8). Let k = i - 14. Suppose 4231 = k*n + 612. Is n prime?
False
Let r(f) = -f**2 - f - 1. Suppose -2*b + 0 = 3*w - 1, -3*b - 3 = 0. Let c(p) = 14*p**3 + 5*p**2 + 8*p + 10. Let g(k) = w*c(k) + 4*r(k). Is g(5) a prime number?
True
Let b(f) be the first derivative of -767*f**2/2 - 15*f - 9. Is b(-8) prime?
True
Suppose -g = -97*m + 95*m + 42268, -m + g = -21131. Is m a prime number?
False
Let r(o) = 78*o**2 - 3*o - 28. Let l be r(-14). Suppose 2*h = -8, 2*f + 0*h - h = l. Suppose 0 = 6*k - 1609 - f. Is k composite?
False
Let v(o) be the third derivative of 343*o**4/6 - 5*o**3/2 + 3*o**2 + 2. Let w be v(3). Is w + ((-138)/(-33) - (-2)/(-11)) a prime number?
False
Let c be (-16)/(-40) - 18/45. Is (-6)/(c + -2) + 382*25 composite?
True
Is ((-7)/(-4 - 10))/(1/395422) a composite number?
False
Suppose 194*g = 193*g + 7155. Let c = g - -172. Is c a prime number?
False
Let x(q) = 102*q - 419. Suppose 16*u - 19*u + 2*g = -95, -5*g = -3*u + 80. Is x(u) prime?
False
Suppose 12*r = 17*r + 45040. Let f = -3957 - r. Is f prime?
True
Suppose -34*g + 21*g = -26. Suppose 0 = 2*l - r - 21693, -l - g*r - 1108 + 11957 = 0. Is l composite?
False
Suppose v = -140 - 24. Let a = v + 610. Suppose -2*h = -2*y + a, h + 892 = 4*y + 2*h. Is y a composite number?
False
Let g(h) = -4*h + 860 + 928 - 226 - 65. Is g(0) a composite numb