
Let w be -6*((-75)/(-6) + 1). Let o = -54 - w. Is 2764/36 - (-6)/o a prime number?
False
Suppose 0 = 5*k - 5*c - 10, -k - 2*k = 5*c - 14. Let i be (97 - k) + 0 - -2. Let m = -37 + i. Is m prime?
True
Let s(i) be the first derivative of -25*i**2 + 14*i - 2. Is s(-4) a composite number?
True
Suppose 34*y - 2*q = 30*y + 105936, 5*y - q - 132423 = 0. Is y prime?
False
Let i = -7 + 9. Suppose -5*d = -3*y + 2944, -i*d = 5*y - 962 - 3955. Is y composite?
False
Suppose -12887 = -2270*p + 2263*p. Is p a prime number?
False
Suppose 37598 = 53*c - 51*c. Is c a prime number?
False
Let v be 63/(-18)*(-4)/7. Suppose -3*q + 2 = -4*o - 2, -v*o + 16 = 3*q. Suppose -o*t = -0*t - 38. Is t a prime number?
True
Let b = -52 - -30. Let q = -26 - b. Is 77 - (q - -6 - 4) composite?
False
Let b = 13 - 3. Let c = b + -10. Suppose 0*r = 2*r + 2, c = -3*u - 2*r + 1255. Is u a prime number?
True
Let d = 15 - 21. Let o be (-1)/(-3) - 40/d. Suppose -8*b + 259 = -o*b. Is b prime?
False
Let q = 16447 - -17370. Is q composite?
True
Suppose 5*f = 6*q - 10*q + 77477, -4*f + 61994 = -3*q. Is f a prime number?
True
Let g = -1404 + 3377. Is g a composite number?
False
Suppose -i - 3*i = -16. Let s be (3/4 + 0)*i. Suppose j - 5*g - 176 = -0*g, -s*g = -3*j + 504. Is j a prime number?
False
Let y = -165437 + 255588. Is y a prime number?
False
Suppose 0 = -2*i + 3*i, -4*t = -5*i - 2212. Let q = t - 36. Is q a composite number?
True
Let z = 183 + -181. Suppose p = -599 - 570. Is z/(-1)*p/14 a prime number?
True
Let r be 6*(4/26 + (-160)/(-312)). Suppose -3979 = -r*y + 2649. Is y a composite number?
False
Let v(u) = -13027*u**3 + u**2 - 18*u - 19. Is v(-1) a prime number?
False
Suppose 5*g = 5*v - 1250, 0 = -0*v + 5*v + 3*g - 1250. Suppose 0 = -w + 1047 - v. Is w composite?
False
Let s(y) = -7*y**2 + 29*y - 13. Let p(n) = -13*n**2 + 57*n - 26. Let c(v) = -3*p(v) + 5*s(v). Let k = -6 - -17. Is c(k) a prime number?
True
Let i(h) = -h - 18. Let s be i(-14). Let q = s - -9. Suppose -572 + 1837 = q*r. Is r prime?
False
Let h be -5*(55/25 - 3). Is 1150 + -3 + (8 - h) composite?
False
Let c be (-2)/(6/153*-3). Let l = 22 - c. Suppose -5*u = k - 94, -u - 442 = -l*k + 2*u. Is k composite?
False
Let s = 21 - 36. Let x(f) = -55*f - 28. Is x(s) prime?
True
Let n = -36 + 41. Suppose -318 = n*s - 1313. Suppose 0 = 3*y - s - 134. Is y prime?
False
Let o(b) = 5 - 5*b - 2 - 2 + 3*b**2. Let s(n) = 3*n**3 + 38*n**2 - 12*n + 19. Let r be s(-13). Is o(r) a prime number?
True
Suppose -2*r - 1 = -5. Suppose 3*d = -6*w + w + 1252, 2*d = r*w - 504. Is w prime?
True
Suppose 5*j - 38721 = -3*b, -3*j + 2*j = 2*b - 7740. Suppose j - 872 = 7*x. Is x prime?
False
Suppose 2 = 2*d + 2*t, 2*d = -d + t + 11. Is (65 - (-3 + 1))*123/d a prime number?
False
Let b = -3 - -5. Suppose -h - b - 3 = 0. Is (h/15)/(2/(-354)) a prime number?
True
Let q be 1120/(-3) - 2/3. Let i = 1515 - 2296. Let n = q - i. Is n composite?
True
Is 271719/66 + (-14)/(-308) a prime number?
False
Is (38/12 + (-15)/5)*18654 a composite number?
False
Suppose -7*h + 7285 = -156. Suppose 3*l - 5254 + h = 0. Is l prime?
False
Suppose 40753 = -4*l + 138781. Suppose -3*y = 6*y - l. Is y a prime number?
False
Let g be 33/(-2) + 4/(-8). Let t(h) = -2*h**2 - h + 3. Let l be t(3). Is (l/(-3))/(-2)*g a prime number?
False
Suppose -5*d + 5343 = -3862. Is d a prime number?
False
Suppose 0 = -3*k - 2 - 1, i - 4*k - 1 = 0. Let g(h) = -11*h**3 - 5*h**2 - 5*h - 2. Is g(i) prime?
False
Suppose -240 = 19*f - 22*f. Suppose 2*n + 4*b = f, 5*b - 132 = -3*n + 3*b. Is n a prime number?
False
Let a = 804 + -104. Suppose -j - 5*c = -481 - a, 4724 = 4*j + 5*c. Is j a prime number?
True
Let b(c) = 684*c**2 - c + 7. Is b(2) composite?
False
Let w = 1660 - 2695. Is (-59)/(2/(-9) - 185/w) a composite number?
True
Let d(y) = 674*y**2 - 2*y + 1. Let i(x) = 2695*x**2 - 8*x + 3. Let w(v) = 9*d(v) - 2*i(v). Is w(1) a prime number?
True
Suppose -100 = u + 102. Let m = u + 419. Is m a composite number?
True
Let g(y) = 21*y - 32. Let m(r) = 4*r + 7. Let u be m(0). Is g(u) a prime number?
False
Let h be ((-5)/2)/(4/(-8)). Let w(r) = 31*r**2 - 11*r - 3. Is w(h) a composite number?
True
Suppose 2*s + 85 + 292 = -3*t, -3*s + 4*t = 608. Let h = s - -315. Is h composite?
True
Let f = -12 + 15. Is (67/3)/(1/f) a composite number?
False
Let n(z) = 8*z**2 + 21*z - 42. Is n(-35) composite?
True
Suppose 4*o - o + 1218 = 0. Let x = -67 - o. Is x a composite number?
True
Suppose -4*y + 3702 = 2*t, 0 = 2*y - 5*t - 1806 - 51. Let v = -532 + y. Is v composite?
True
Let r = -144 - 32. Let g = r - -627. Is g prime?
False
Is 2*4/24*213939/3 a composite number?
True
Suppose 3*b + 2*o = 13241, b + 2*b - 4*o = 13271. Is b a prime number?
False
Let o = -111 - 132. Suppose 4*g = -206 - 138. Let k = g - o. Is k a prime number?
True
Suppose 0 = -x - 6 + 7. Let p be 1/(1/3*x). Suppose -t - 3*t = 3*z - 1049, -z + 788 = p*t. Is t a prime number?
True
Suppose -5*c + 45 = -0. Let x be (365/15)/(1/c). Is x - 8/6*3 prime?
False
Let x(t) = t**3 + 4*t**2 - 6*t - 7. Let m be x(-5). Let b be (-3)/(-6) - 71/m. Let y = b + 1. Is y prime?
True
Let s be 2 - 0 - (8674 - -1)/5. Is (-4 + 42/12)*s*2 prime?
True
Suppose -28*m + 352596 - 24184 = 0. Is m a composite number?
True
Suppose -2*q = i + 2*i - 294, i = -2*q + 290. Let a = q - -79. Is a a composite number?
False
Let q be -22*(-11)/(-8)*4. Let i = q + 280. Is i a prime number?
False
Is 31/124 + 29/(-4)*-79 composite?
True
Let x = -624 + 1031. Is x composite?
True
Let b be 1 + (-2)/(-1) + 300. Suppose 0 = -3*a + 3*i + b, -5*a = -a - 5*i - 399. Suppose -3*m = -l - 8*m + a, -3*l + 366 = -m. Is l prime?
False
Let a(x) = 2*x**2 + 14*x + 59. Is a(-20) a composite number?
True
Suppose -66299 = -3*a + 6*n - 8*n, 0 = 4*a - 3*n - 88376. Is a a composite number?
True
Let n(m) = -m**2 - 6*m + 31. Let o be n(-9). Let w(l) = -l. Let c(v) = -4*v + 3. Let x(j) = -c(j) - 3*w(j). Is x(o) a prime number?
False
Let u = 1025 + 1794. Is u prime?
True
Let u(x) = -x**2 + 23*x + 28. Let l be u(20). Let v be (-4)/(-6) - l/(-12). Is -2*3*(-212)/v a prime number?
False
Let c = 45788 - 18747. Is c composite?
True
Let x = -26 + 31. Suppose 4*d - 3*a = 1889, 493 = 3*d - x*a - 921. Is d composite?
True
Let t = 1215 + 15034. Is t prime?
True
Suppose -a = 2*q - 5, 7 = 5*q - 3*a - 0. Is -6221*(-3)/21 + q/7 a prime number?
False
Let n(z) = 1. Let q(f) be the first derivative of -63*f**2/2 + 7*f - 2. Let m(x) = -6*n(x) + q(x). Is m(-4) a prime number?
False
Let t(y) be the third derivative of 19/6*y**3 + 0*y + 10*y**2 + 3/4*y**4 + 0. Is t(13) composite?
True
Let j = 155 + 2274. Is j prime?
False
Let g(f) = -f**2 - 14*f - 2. Let n be -1*2 - (-8)/(-2). Let a be g(n). Suppose -11*j + 9*j + a = 0. Is j composite?
False
Suppose -d + 402 = 3*d - 3*o, d - 3*o - 96 = 0. Suppose l - 521 = -d. Is l prime?
True
Let i be 136*((-3)/(-2))/(-5 + 2). Is 17/i - 15594/(-8) composite?
False
Let c be (-1)/((-2)/(-8)) - -23. Let h(a) = 36*a - 1. Is h(c) a composite number?
False
Suppose -807 = 9*t - 68649. Is t a composite number?
True
Suppose 6*v = 4*v + 8. Suppose 1 = v*j - 7. Suppose 0 = -3*b - 4*n + 703, b - j*n - 85 = 146. Is b prime?
True
Is ((-261980)/30)/(18/(-27)) prime?
True
Suppose -x - 5*h = 3, -x = 3*h - 4 + 9. Is 5 - (-4 - x) - -3592 a prime number?
True
Let a = 8 - 6. Let w = -42 - -686. Suppose -a*p = -6*p + w. Is p a composite number?
True
Let m = -25 + 490. Suppose 0 = -5*t + d - m, 0*t = t + 5*d + 93. Is 0 - t - 1*-1 composite?
True
Let i = -44 - -41. Is 1/((-6)/68*i/9) composite?
True
Let u = -162 - -523. Let p = u + -102. Is p prime?
False
Suppose 0 = -3*x + 4*x - 66. Let a = x - -167. Suppose a + 233 = 2*m. Is m a prime number?
True
Let k = 10272 - 7228. Is k/8*4/2 composite?
False
Suppose 0 = -4*g - 3*c + 116944, -g + 5*c + 116976 = 3*g. Is g a prime number?
False
Suppose -1867 = -39*v + 4256. Is v a prime number?
True
Suppose -9 - 6 = 5*r. Is 3/((-18)/1670)*r a prime number?
False
Let w(l) = -500*l + 5. Is w(-1) a prime number?
False
Let q be (-8)/(-80)*-44 - 2/(-5). Is ((-373)/q)/((-1)/(-4)) a composite number?
False
Let x(v) = 2*v**2 - 21*v - 12. Let a be x(11). Is (1486/8*(5 - 9))/a prime?
True
Let h(b) = 429*b + 4. Let w(r) = -r + 13. Let l be w(8). Is h(l) a prime number?
False
Suppose 24*y + 1387 = 23*y