 + -61. Suppose w + 5*d - 14180 = -x*w, -4*w + 11323 = -3*d. Is w a prime number?
True
Let p(f) = 16421*f + 413. Is p(4) a prime number?
False
Suppose -116*u - 1115130 = -146*u. Is u composite?
False
Let r(q) = -q**2 + 10*q - 11. Let z be r(6). Let c(j) = j**3 - 6*j**2 + 17*j + 17. Let n be c(z). Suppose -9*x + n = -2*x. Is x composite?
True
Suppose 0 = -4*a - 2*z + 1012, -4*z = 3*a - 0*a - 749. Suppose v + a = -4*s, -v + 0*v + s - 280 = 0. Let y = v + 582. Is y prime?
True
Let f = -2632 - -31613. Is f a prime number?
False
Suppose -4*b = 4*b - 16. Suppose b = 4*r + 6, 2*r + 4668 = 2*m. Is m composite?
False
Suppose 5*v - 3*v + 3*u - 9 = 0, 2*u = v + 6. Suppose v = -2*w - 24 - 56. Is (-2345)/w + 9/24 a composite number?
False
Suppose -97 = -2*l + 169. Suppose 0*s = -2*s, 3*s - 1068 = -3*v. Let r = v - l. Is r composite?
False
Let n be 4212264/105 - (1 + 12/(-10)). Suppose n = 6*i + i. Is i a composite number?
True
Let z = -9426 - -17800. Let p = z + -5005. Is p a composite number?
True
Suppose 0 = -3*l + 2*k + 610, -2*l - 2*k - 408 = -4*l. Suppose -t = -217 - l. Is t composite?
False
Let t(y) = 2*y + 87. Let z be t(7). Suppose -2*r = z - 1359. Is r prime?
False
Let j(z) = -326*z**2 + 8*z + 11. Let c be j(-2). Let y = -696 - c. Is y a composite number?
False
Is 4 - -4 - (-101398 - 1) prime?
False
Let c(g) be the first derivative of 157*g**4/2 + g**3 - 2*g**2 + 8*g + 1. Is c(3) prime?
True
Suppose 2133561 + 2437270 = 91*p + 148868. Is p a composite number?
False
Let l(k) = -4*k**3 - 4*k**2 + 3*k + 6. Let r be l(-3). Let h(q) = 11*q - 115 + r*q + 126. Is h(3) prime?
True
Is (-6)/(-4)*2 + (-18978368)/(-103) a composite number?
False
Let a(n) = 2*n**3 - 85*n**2 - 148*n + 70. Let h be a(44). Suppose 3*y + 6 + 9 = -4*b, -3*b - 5*y - 14 = 0. Is 4/4*b - h prime?
True
Suppose -6*k - 5*o + 4131 = -3*k, -2732 = -2*k + 4*o. Let n = -179 + k. Is n a prime number?
True
Let y = -210 + 207. Is -1*(2/y)/(28/94542) composite?
False
Let c(n) = 7096*n**2 - 4*n - 1. Is c(-1) a composite number?
True
Suppose -t - 928586 = 4*t - 4*l, -5*l - 5 = 0. Is (-15)/(-18)*t/(-13) a prime number?
False
Suppose 0 = 4*y - 1727 + 17067. Let d = y + 8328. Is d composite?
False
Let z be (-147)/((-9)/3) + (-6)/3. Let k = -42 + z. Let b(s) = 46*s**2 - 9*s + 12. Is b(k) a composite number?
False
Let l(r) be the first derivative of 2*r**4 - 2*r**3/3 + 8*r - 726. Let b = 15 - 8. Is l(b) a composite number?
True
Let d(m) = 69*m + 114. Let k(n) = n - 5. Let z(i) = -d(i) - k(i). Is z(-21) a prime number?
True
Suppose -3*l + 277007 = -4*d, -l - 2*l = 3*d - 276993. Is l prime?
True
Suppose -20*q - 22 = -31*q. Suppose -q*t - 3*t = i - 3433, -6866 = -2*i + t. Is i composite?
False
Suppose 5*g = 1623*y - 1627*y + 750273, y - 187569 = -2*g. Is y a prime number?
False
Let n = -3810 + 2533. Let s = n + 2428. Is s composite?
False
Suppose 1684*d - 5869097 = 1667*d. Is d composite?
True
Let v(m) = 230*m**3 - 84*m**2 - 16*m - 21. Is v(11) composite?
False
Suppose -2*g - 32 = -28. Let n be (0 - g - 1) + 4. Is (n + 34)*41/3 a composite number?
True
Let q(n) = -215488*n + 411. Is q(-8) a composite number?
True
Let x be -4 + (-17)/(-4) - (-2)/(-8). Suppose 2*n - 9 = -f, -2*f - 4*n + 9*n - 27 = x. Is (8322/24)/(f/(-4)) a composite number?
True
Let i(p) = -110*p - 142. Let f(j) = 54*j + 71. Suppose y + 4*h - 10 = 6*y, 3*y + 3*h = 21. Let u(r) = y*i(r) + 5*f(r). Is u(17) a prime number?
False
Let b(t) = 541*t**2 - 3. Let w(r) = -1623*r**2 - r + 7. Let p(h) = 7*b(h) + 2*w(h). Is p(-2) a prime number?
True
Let g be (-7770)/(-7) + -3 - (1 - -3). Suppose 0 = t + 4*t - 9180. Let s = t + g. Is s a prime number?
True
Let v be 7 - (4/(-12)*3 + 6). Suppose 153713 = 5*k + v*k. Is k a composite number?
True
Suppose 195 = 14*r - r. Suppose -r*u = -46*u + 72199. Is u a composite number?
True
Let m(g) = -15 + 2*g**2 - 2*g**2 - 8*g + 2*g**2. Let d = 202 - 221. Is m(d) composite?
False
Let i(f) be the first derivative of 40*f**2 + 29*f - 9. Let a be -13*(2 + (-2 - 1)). Is i(a) prime?
True
Let y(g) = -g**3 + 3*g**2 + g - 1. Let v be y(-1). Suppose -3*i + 2 = -2*l, 2*l = v*i - 1 - 1. Suppose -3*o = -2*s + 967, i = 2*s + 5*o - 169 - 774. Is s prime?
True
Let q(j) = 2*j**2 - 4*j + 15. Let r be q(7). Let b be 136/r*((-14)/(-4) + -1). Suppose 3223 = b*o + 7*o. Is o a prime number?
True
Let n be (-4)/22 - ((-601488)/99)/(-2). Let s = n + 9985. Is s a prime number?
True
Suppose -9*x + 44 + 28 = 0. Is 5168 + 1 - (x + -6) a prime number?
True
Let k(g) = -7*g**3 - 17*g**2 + 27*g + 23. Let q(v) = -10*v**3 - 25*v**2 + 41*v + 35. Let p(u) = -7*k(u) + 5*q(u). Let a = 3861 + -3872. Is p(a) a prime number?
True
Let v = 1647285 + -1168204. Is v a prime number?
True
Let o(a) = 411*a + 78. Let j be o(30). Suppose -3998 - j = -26*r. Is r a composite number?
False
Let r = 248 - 148. Suppose -c - r = -100. Is (-2)/(-4)*(1558 + c/(-1)) a composite number?
True
Let c = -48 - -38. Is 203148/60 - 2/c prime?
False
Suppose -6*r - 560 = -14*r. Suppose 0 = -69*f + r*f - 8. Is (1 + 210)/(f - 7) prime?
True
Let r(s) = -25*s - 121. Let v be r(-5). Suppose 0 = 14*u - 9*u - 5*o - 112900, v*o = 3*u - 67737. Is u prime?
False
Let n(q) = 70*q + 427. Is n(27) composite?
True
Let j(n) = -2*n**2 + 22*n + 162. Let v be j(-5). Suppose -3*k + 12452 = -2767. Suppose -5*o + v*o = -k. Is o prime?
False
Let f = 27352 + -11003. Is f composite?
False
Let a(r) = 1093*r**3 - 12*r**2 + 15*r - 7. Is a(3) prime?
False
Suppose 93*g - 46*g = 144027599. Is g prime?
True
Let l = 572 + -574. Is 8 + l - (12 + -12749) composite?
False
Suppose 2*z - 41649 = -5*w, 28*z + 33320 = 4*w + 30*z. Is w composite?
False
Let n(b) = 2*b**2 - 3*b + 1. Let u be n(2). Suppose 239 + 907 = u*a. Suppose 0 = -6*j + 182 + a. Is j a composite number?
True
Suppose -484 = -b - 479. Is ((-43712)/(-3))/8 - b/(-3) composite?
False
Let t be 7 - 11 - 12/(-3). Let p be t - 2 - -1*5. Suppose -5*f + p = -2, -2*a - 2*f + 480 = 0. Is a composite?
False
Suppose 4*c - 6*d - 3377500 = 0, 95*c - 2533113 = 92*c + 3*d. Is c prime?
False
Suppose 5*q + 685895 = 4*s - 1371246, 3*s = 4*q + 1542855. Is s a prime number?
True
Let v = 6490 + 40099. Is v prime?
True
Let y(r) = 60263*r + 517. Is y(2) a prime number?
False
Is (-2)/((-49)/((-86807028)/(-24))) a composite number?
True
Let m(g) = 320*g**2 + 229*g - 5. Is m(6) prime?
True
Suppose -26*t + 28*t = -2326. Is 3*(-20)/15 - t prime?
False
Suppose 6*a = a + 5*g - 20, -2*a + 5*g = 2. Let p = 16 + a. Suppose p*x = 2*x + 1528. Is x prime?
True
Suppose v - 5*x - 214 = 0, 3*v = 4*v - 2*x - 226. Suppose 5*a - v + 799 = 0. Let z = 200 + a. Is z a composite number?
True
Suppose 2*r = -f + 5*f, -f + 10 = 2*r. Suppose f*i - 3 = u + 6, -2*i + 27 = 5*u. Suppose -i*z - 814 = -17*z. Is z a prime number?
False
Suppose -h + 4*f = -10, 4*h = h + 2*f + 80. Suppose 31*k - 3109 = h*k. Is k a composite number?
False
Let o = 63622 + -37543. Let n = 42626 - o. Is n prime?
True
Suppose -107*a - 5*g + 497204 = -106*a, 2*a = -2*g + 994368. Is a a prime number?
False
Let o be (-5)/(-4) + ((-296)/32 - -10). Suppose q + 11199 = z, 6*z - 9*z = -o*q - 33601. Is z prime?
False
Let w be 150/21 - 4/28. Suppose 40 = w*x - 2. Is (9/x)/3 - (-49)/2 a composite number?
True
Suppose -73*n + 71*n + 482512 = -7*h, 0 = 3*n - 4*h - 723807. Is n composite?
True
Let j = 82337 + -35954. Is j a composite number?
True
Let y be 1/(-2 + 0 + (-53)/(-26)). Let k = y - -459. Suppose 0*a + k = a - x, 0 = a - 3*x - 485. Is a a composite number?
True
Suppose 69*j = -5*j + 17592242. Is j composite?
False
Let f = -44717 - -76594. Is f composite?
True
Let r(l) = 25*l**2 - 20*l - 319. Is r(-28) prime?
True
Suppose 3*k - 10 = -3*c + 8, 0 = 5*k - c - 42. Suppose k*i - 667461 = -23*i. Is i a composite number?
True
Let c(t) = 250*t - 59. Let s = 257 - 247. Is c(s) a prime number?
True
Let a(y) = y**2 + 15*y - 35. Let p be a(-19). Suppose -37*k + p*k = -4. Is 4/14 - (k + 170996/(-49)) composite?
False
Suppose -14895452 = -947*z + 903*z. Is z composite?
True
Suppose 0 = -3*o - 183 + 3. Let g = 98 + o. Is g a composite number?
True
Suppose 11 = 9*p - 7. Suppose 0 = -p*j + 14 - 90. Is ((-531)/18)/(1/j) a prime number?
False
Suppose 72*r - 1388255 = -30*r - 113*r. Is r a composite number?
True
Suppose -37*c - 32*c = 872267 - 2299256. Is c pri