= z*v - 49448. Is v composite?
True
Let f(m) = 1135*m**2 - 3*m. Suppose -2 - 72 = -37*g. Is f(g) prime?
False
Suppose 4*a - 9*b + 4*b + 10 = 0, -5*a + b = 2. Suppose a = q - 169 - 1902. Is q prime?
False
Let b(f) = -5*f - 2. Let n be b(3). Let h = -15 - n. Suppose t = w - h*w + 902, w - 3*t = 890. Is w a prime number?
False
Let n(b) = 2*b**3 - 192*b**2 - 327*b + 236. Is n(99) prime?
True
Let k be 6*(-4 - 0)/(-12)*742. Let a = k + -837. Is a prime?
True
Let u be 18/3 - (11 - 8). Suppose 6*n + r = 4*n + 33203, -u*r = 5*n - 83006. Is n composite?
False
Suppose 2*j + 4*a + 8 = 2*a, -3*j + 8 = -2*a. Let l = j + 4. Suppose 10438 = 2*y + 2*y - 2*f, l*y + 2*f - 10434 = 0. Is y composite?
False
Suppose 197*i = 202*i - 15. Let x(f) = 80*f**3 - 4*f**2 + 2*f + 7. Is x(i) a composite number?
False
Suppose -16*y - 62207 = -2175. Let t = -643 - y. Is t prime?
True
Let b be -10 + 1340/110 - (-4)/(-22). Suppose 2*n + 6685 = q, 20045 = 5*q - b*q + 4*n. Is q a composite number?
True
Let p be ((-11704)/6)/(0 - 5/60). Let c = p - 9423. Is c prime?
False
Let s be (-18)/(-3) + 0 - 22108. Let k = -7665 - s. Is k prime?
True
Suppose -4*c - 33119 = -s, 3*c - 53237 - 46075 = -3*s. Is s prime?
True
Suppose w - 2*x - 78413 = 0, -270*x = -4*w - 273*x + 313586. Is w a prime number?
True
Let d be ((-4400)/(-24) - -9)*(-480)/(-2). Suppose 127110 = 50*m + d. Is m a prime number?
True
Let m(r) = -2*r + 2729. Let n(y) = 17*y - 34. Let g be n(2). Is m(g) prime?
True
Suppose 850*q - 426*q = 433*q - 576567. Is q a composite number?
False
Let z(d) = -8*d**2 + d - 13. Let q be z(7). Let n = q + 763. Is n a prime number?
False
Let n(s) = 8*s + 27. Let a be n(-4). Let h be 1/(1/(-450)*a). Suppose -89*f - 6449 = -h*f. Is f a prime number?
True
Let h(r) = -8*r**3 + 12*r**2 - 20*r - 60. Let y be h(-10). Let i = -2667 + y. Is i composite?
False
Suppose -181 - 131 = -26*d. Suppose -5*q - d*q + 29495 = 0. Is q composite?
True
Suppose -3*u + 447 = -6*u. Suppose 35*s = 36*s + 370. Let a = u - s. Is a composite?
True
Let h be 2 + (-2)/(-4)*6. Suppose -2*i = h*i - 56. Suppose i*k - 3935 = 3*k. Is k prime?
True
Suppose 0 = q + h - 306, -q - 10*h + 309 = -8*h. Is q a composite number?
True
Suppose 3*d + 15 = 3*a, 3*a - 25 = d + 4*d. Let r be (4 - (0 + 0))/(d - -7). Suppose r*n = -l + 163, -3*l + 550 = 4*n + 67. Is l a composite number?
False
Let s = 5170 - 3648. Suppose -2*f - s = -p + 1333, -5*p = 2*f - 14299. Is p a prime number?
False
Let h = 877988 + -555147. Is h a prime number?
False
Let b(d) = -101*d**3 + 2*d**2 + 49*d + 401. Is b(-9) a composite number?
False
Let w = 91 - 261. Let v = 602 + w. Suppose 0 = -2*r + 2*n + v, r + 4*n = 6*r - 1075. Is r a composite number?
False
Let d(x) = -1907*x**2 - 28*x - 17. Let j(b) = 953*b**2 + 13*b + 9. Let y(q) = 4*d(q) + 9*j(q). Is y(-2) prime?
False
Let o(g) be the second derivative of 5*g**4/12 - g**3 - 5*g**2 - 142*g. Let v be (-13)/(-1)*(1 - 2). Is o(v) a prime number?
False
Suppose -2556*q + 1631802 = -2550*q. Is q composite?
False
Suppose 0 = 23*t - 243 - 1229. Suppose -o + t = -10. Is o composite?
True
Suppose l = -29 + 29. Suppose -3*n = -l*g + 2*g - 18, n - 5*g = -11. Is -1 + (-318)/(-2) + (n - 3) composite?
True
Let p(w) = 1358*w**2 - 67*w - 308. Is p(-5) a prime number?
False
Let s be (-2 + -2 + 1)*(-10)/(-2). Let y be (-8)/(-3)*s/(-20). Suppose -y*d = -2 - 76. Is d prime?
False
Let u be ((-8)/5)/(-4) - (-30813)/5. Suppose -2*i + 5*s + u = 0, 0*s = -2*i + s + 6167. Suppose 0 = c + 3*c - i. Is c prime?
False
Suppose -10*z + 4*z = 156. Let g = z - -23. Is (-3)/(-2)*(5156/12 - g) prime?
False
Suppose 46*a = 2*y + 52*a - 509576, -10 = -2*a. Is y prime?
True
Let r(t) = 141 - 268 - 23*t + 133. Is r(-13) prime?
False
Let s(c) = -2*c**3 - 13*c**2 - 13*c + 22. Let v be s(-12). Is v/14 + 1 - (-1)/7 composite?
False
Let l = 18627 - 2284. Is l a composite number?
True
Let v(q) be the first derivative of 11*q**3/3 + 9*q**2 + 54*q + 40. Is v(-7) a prime number?
True
Let v = 8492 + 51635. Is v a prime number?
True
Suppose 0 = 3*x + 3*n - 607419, -174 + 182 = 2*n. Is x a composite number?
True
Suppose 0 = -2*w + 26 + 18. Let t be w/(-88) + (-2)/((-8)/(-27)). Let i(y) = 13*y**2 - 4*y + 8. Is i(t) composite?
False
Suppose -7*r + 4*r = -15. Suppose -10 = -3*q - 2*q, r*q + 2460 = -5*z. Let b = z + 3715. Is b a composite number?
False
Suppose -34*q - 191614 = -3866062. Let k = 182893 - q. Is k prime?
True
Suppose -3*g + 2*k = 867 - 195, 3*g + 672 = -3*k. Let q be (-1 - 0)/(-3 - -4). Let b = q - g. Is b a composite number?
False
Let z be 20/130 - 120/(-65). Suppose -3*l + 78421 = -2*i, 3*i - 6*i - 52279 = -z*l. Is l a prime number?
True
Let i(x) be the third derivative of 203*x**5/60 - x**4/12 - 5*x**3/3 + 3*x**2. Let k be i(-4). Suppose -8*b = -2*b - k. Is b prime?
True
Is 3/24*-2 - 65881917/(-324) composite?
False
Let k = 197 - 195. Suppose -3148 = -4*p - 3*y + 11021, -p - k*y = -3541. Is p composite?
True
Suppose 4*c + 200604 = 4*d, 4*d = 3*d + 5*c + 50167. Is d a composite number?
False
Let a be 1/(16/12) - 7412/(-16). Suppose 0 = -16*i + a + 1488. Is i - 99/(-22)*4/(-6) composite?
True
Let g(j) = -391*j - 240. Let v(p) = -783*p - 479. Let a(s) = -5*g(s) + 2*v(s). Is a(31) composite?
False
Suppose -188499 = -3*m - 6*l, -49*m + 62812 = -48*m - l. Is m a composite number?
False
Let p = -188 + 556. Suppose p*a = 372*a - 33412. Is a a composite number?
False
Suppose -3*k = 12661 - 45214. Is k a prime number?
False
Let k(d) be the first derivative of d**4/4 + 5*d**3 + 13*d**2/2 - 29*d - 25. Let h be k(-13). Let g = h + 63. Is g a prime number?
False
Let k(x) = -x + 19. Let p be k(-4). Suppose 5*t - o - o - p = 0, t + o - 6 = 0. Suppose 4*z - i - 3674 = 0, -t*i + 780 = z - 149. Is z a composite number?
False
Suppose -3*g = -i + 13841, 5*i + 3788 - 73065 = -3*g. Is i prime?
False
Suppose -o = -2*t - 10, 5*t + o + o + 25 = 0. Let g(k) = 3*k + 22. Let r be g(t). Suppose -10*c = -r*c - 8457. Is c prime?
True
Let m(y) = -3*y**2 + 90*y + 170. Is m(12) prime?
False
Let x = -45 - 33. Let q be (-12)/21 + 2832/(-42). Let y = q - x. Is y prime?
False
Suppose p + 3*p - x = 41, 2*p = -3*x + 17. Suppose -p*q = -25*q + 106935. Is q composite?
False
Let x be (45336/16)/(1/6). Suppose 19915 = 4*i - x. Is i a composite number?
True
Let b(l) = 39*l + 43*l - 81*l + 67. Is b(30) composite?
False
Let i(b) = 641*b**2 - b + 1. Let r(u) = u**3 - 6*u**2 + 9*u - 3. Let f = 8 - 4. Let z be r(f). Is i(z) composite?
False
Suppose 0 = -5*u + 3*w + 14 + 2, 3*u = 5*w + 16. Suppose u*i + 4085 = 3*t - 0*t, 3*t - 4081 = -2*i. Is t a composite number?
False
Let r = 44208 - 18791. Is r prime?
False
Let o = -1016 - -2415. Suppose -2*t + 5*k = -1429, -2*t - 13*k + 8*k + o = 0. Is t a composite number?
True
Suppose 0 = 5*y - 9*y + 20. Suppose 2 + 8 = y*p. Suppose -2*k + 2*o = -3132, 5*o - 3097 = p*k - 4*k. Is k a prime number?
False
Suppose 32 = 3*w + 4*o, 4*w = -4*o + 34 + 2. Suppose -u + w + 2 = 2*i, -2*i = -2*u. Suppose -g = i*m - 1010, 0 = -3*m + 5*g - 4*g + 1515. Is m composite?
True
Let z(a) = -a**3 + 38*a**2 + 7*a - 17. Suppose 15*v + 40 + 260 = 0. Is z(v) composite?
True
Let j(v) = -49*v + 30. Let a be j(-24). Is a + 5 + -2 + -7 + 0 prime?
False
Suppose 40 = 4*b - 5*j + 3, 2*j = -3*b - 1. Is (-1 + 1892/b)/(5/15) a prime number?
True
Suppose z - 11361 = 2*j, -z = -4*j - 5261 - 6106. Let c = 3344 + z. Is c prime?
True
Let b = 90961 - 64944. Is b prime?
True
Let a be ((-3)/(-9)*0)/(-1 + 2). Suppose -5*c + a*c + 21 = w, w - 9 = -2*c. Suppose -5*v + 794 = c*k - 758, -4*k = -3*v - 1520. Is k composite?
False
Let l(j) = -7*j**3 + 2*j + 1. Let s be l(-1). Let c(y) = 11 - 2*y - s*y**2 + 3*y - 4 - y**3 + 0*y**3. Is c(-8) a prime number?
True
Let s(f) = -f**3 - 23*f**2 - 112*f + 4. Let h be s(-16). Suppose -13*g + 14*g - 8275 = -3*u, -2*u - 33072 = -h*g. Is g a prime number?
True
Is 3 + ((-39584)/40)/((-2)/10) a composite number?
False
Let l = -27018 - -64255. Is l composite?
True
Suppose 0 = -a + 5*t + 33, -4*a - 79 = -7*a - 5*t. Let o(w) = 316*w + 175. Is o(a) prime?
False
Let d(a) be the second derivative of -15*a - 1/10*a**5 - 9/2*a**2 + 1/2*a**4 + 0 + 1/3*a**3. Is d(-5) composite?
True
Suppose -215872 + 1446359 = 25*o - 1613838. Is o a composite number?
True
Suppose -3*r = -2*z + 15, z - 5*z - r - 