. Let r = w + -249. Is r prime?
True
Suppose k - 2*k = -5*z + 4351, -3*z + 5*k = -2615. Suppose 0 = 6*d - 16728 - z. Is d a composite number?
True
Let l = 11 - -2890. Is l composite?
True
Is (9 + (-13400)/16)*-4 prime?
False
Let l(k) = 16*k**2 + k - 14. Let i be l(-6). Suppose 5 = 5*f - 5*y, 0 = -2*f - 0*y - 4*y - 4. Is f + i + 2 + -1 prime?
True
Let u(b) = 3*b**2 - 14*b + 13. Let r(y) = 8*y + 18. Let j be r(0). Is u(j) a composite number?
False
Let j be (-8984)/(-4)*(14/(-4))/(-7). Suppose p = -4*p + 2*l + j, -p + l + 227 = 0. Is p composite?
False
Let h be (-3)/12*-4*0. Suppose 9 = -3*q - h*q. Is 623*(q - (0 - 4)) composite?
True
Let y = -279 + 4072. Let c = y - -4942. Is c prime?
False
Let i = 5492 - 2641. Is i a composite number?
False
Suppose 0 = -5*o + 213 + 657. Suppose -2*k - 90 = o. Let a = k - -223. Is a composite?
True
Is ((-1)/1)/((-26)/261586) a composite number?
False
Suppose -5*j + 3290 = -1400. Let m = 2155 - j. Is m prime?
True
Suppose -276 - 3830 = -2*j. Is j a composite number?
False
Is (-8)/(-14) + (-1727217)/(-119) a prime number?
False
Let n be 4*((-75)/(-20) - 3). Suppose 0 = -4*z + n*z + 8. Suppose -z*d - 5*v = -3*d - 1530, 0 = 5*d + 3*v - 1524. Is d a composite number?
True
Let g = -1146 + 2707. Is g a composite number?
True
Suppose 2*l = -g + 256, -2*l + l + 2*g = -133. Suppose -5*i = -3*i - 110. Suppose -l = -3*y - 3*n, -2*y + y + 2*n = -i. Is y a prime number?
True
Suppose -2*q - q = 879. Let a = 566 + q. Suppose 5*y - 5*o - 1315 = -0*o, 0 = -y - 4*o + a. Is y a prime number?
False
Let w be 2*2/2 + 2. Suppose 3*h + 3*j = 5*h + 15, j = -w*h + 5. Suppose -6*f + 2*f + 2084 = h. Is f prime?
True
Let m(k) = -k - 1. Let w be m(-5). Let o be 498/w*12/9. Suppose 3*a - 366 = -c, 2*a = c + o + 73. Is a a composite number?
True
Suppose 1508 = 3*h - 2323. Is h composite?
False
Suppose -34056 + 441141 = 21*r. Is r a prime number?
False
Is -1*1*-23515*(-12)/(-20) a composite number?
True
Suppose 0 = 30*x - 369296 - 1560274. Is x a prime number?
True
Suppose 0*q = -4*q + 36. Let v be 3*1/(q/(-21)). Let n = v - -714. Is n composite?
True
Let g be ((-2)/3)/((-1)/(-3)). Let w be g + 2 - -1 - -3. Suppose w*c - 423 = c. Is c a prime number?
False
Let j = 651 + -13. Let b be ((-27)/2)/((-11)/j). Is (b/(-36))/((-1)/4) a prime number?
False
Is 189015/(-25)*(-55)/33 a composite number?
False
Let f = 11 + -6. Suppose -f*x + 3*x + 180 = 0. Suppose 0 = 5*r + r - x. Is r composite?
True
Suppose 3*w + 62 - 764 = 0. Suppose -3*n = c - 164, 3*c + 44 = 5*n - w. Is (-4)/10 + 58047/n a composite number?
True
Is 9158/6 + 120/180 a prime number?
False
Let d(r) = r**3 + r**2 - 18*r + 17. Is d(12) prime?
False
Suppose -m = 4*c - 933, -4*c = -2*m - 2*m + 3712. Is m prime?
True
Let b(s) = 5*s**2 - 4*s - 3. Let k be 10*4/(-24)*3. Let n = k + 0. Is b(n) prime?
False
Let c(o) = 55*o**2 + 3*o + 1. Suppose -25 + 65 = 4*f. Let s = 7 - f. Is c(s) a composite number?
False
Let f = -5096 + 14095. Is f composite?
False
Let q be ((-4)/5)/(2/(-905)). Suppose 5*o + 4*f = q, 4*f + 263 = 4*o - 41. Is o a prime number?
False
Let n(q) = -619*q + 35. Is n(-8) prime?
True
Suppose 5*y = 4*z + 7324 + 18321, 10258 = 2*y + 4*z. Is y a composite number?
True
Let f = -24 - -34. Suppose 0 = 5*b - t - 30, 0 = -3*b - 6*t + t - f. Suppose 3*n = -w + 4*n + 59, 4*w = -b*n + 236. Is w composite?
False
Let q = -3791 + 6606. Is q composite?
True
Suppose 0 = 3*w + 4*l + 14, -4*w = w - 4*l - 30. Let x(k) be the third derivative of 13*k**4/24 - 5*k**3/6 + k**2. Is x(w) prime?
False
Suppose -24*f + 229054 = -7634. Is f a prime number?
False
Suppose -y - 2*t = -19 - 0, 0 = 3*y - 2*t - 41. Let v = y + -7. Let l = v + 11. Is l composite?
False
Suppose 7 = 4*u - 29. Let a = 7 - u. Is 315/9*(-1 - a) prime?
False
Let p(k) = -k**3 + 4*k**2 + 9*k - 5. Let u be p(6). Let m = -21 - u. Suppose m*y - 262 = 4*g, -3*g - 296 = 5*y - 1016. Is y composite?
True
Suppose 4*g - 9*h + 7*h - 1484 = 0, 0 = 4*g + 2*h - 1500. Is g composite?
False
Let w = 15404 - 9081. Is w a composite number?
False
Let i(w) = 3883*w - 466. Is i(5) composite?
True
Suppose -490265 = 102*p - 133*p. Is p prime?
False
Let h(y) = 5*y + 14. Let m be h(-3). Is m*((-8558)/8 + 15/20) prime?
True
Suppose -4*z + 3*z - 5 = -3*r, r - z = 5. Suppose -j + 5*j + 1548 = r. Let y = -200 - j. Is y a prime number?
False
Is ((-168)/420)/((-4)/310190) prime?
True
Let k(o) = -o**2 + 6*o + 3. Let m be k(6). Is 2*719 + m + -4 + 2 composite?
False
Suppose -5*r = 2*c - 13428 - 9475, 2*c + 2*r = 22912. Is c prime?
False
Suppose 0*v = -3*v - 2*v. Suppose -2*a = -5*g + 2459, v*g - 5*a = 2*g - 1001. Is g a prime number?
False
Suppose 71*f = 67*f + 28. Is (-377)/(-4)*(f - (-5 + 8)) a prime number?
False
Suppose -4*d - 5*z = -238836 - 1332, -3*d - 4*z = -180127. Is d composite?
False
Suppose 50*a - 1474547 = 27203. Is a composite?
True
Let k = -2 - -5. Suppose -k*x + 2*m = -12, 4*x + 5 = 5*m + 21. Suppose 156 = z - 2*s - 0*s, x*z = 4*s + 628. Is z composite?
True
Let t(y) = -2*y**2 - 10*y - 6. Let p be t(-5). Let l(a) = -7*a**3 + 5*a**2 + a - 13. Is l(p) prime?
False
Let s = 18140 - 8676. Is s/21 + (-2)/(-6) a composite number?
True
Let k be 3/(0 - 1/(-9)). Let t = k + -3. Suppose -18 = -2*h + t. Is h prime?
False
Let x(u) = 1122*u**3 + 4*u**2 - 6*u + 2. Let z be x(1). Is z + (-6)/(-4)*(-16)/(-6) prime?
False
Let t = -1065 - -2611. Is t a composite number?
True
Is (-1199358)/(-30) - (51/(-15) + 3) a composite number?
False
Is (10/4)/(28/23464) a prime number?
False
Let g be 8/5*(-55)/(-22). Suppose -g*z - 1172 = -8*z. Is z composite?
False
Let u(g) = -2*g**3 - 39*g**2 + 30*g + 76. Is u(-33) composite?
True
Suppose 242 = -4*s + 14. Let j(q) = 2*q**2 + 10*q + 22. Let x be j(-9). Let t = s + x. Is t prime?
True
Let l(n) = 0 - 7 + 14*n - 50*n + 0. Is l(-2) a prime number?
False
Let c(u) be the third derivative of u**5/30 - 5*u**4/12 + 13*u**3/6 - 4*u**2. Is c(9) composite?
True
Let x(i) = 1409*i + 43. Is x(6) a prime number?
False
Let y(t) be the third derivative of 5*t**4/2 + 29*t**3/6 + 14*t**2 + t. Is y(27) composite?
True
Let b(o) = 2*o**2 - 5*o + 5. Let w(l) = -l - 25. Let u be w(-11). Is b(u) a composite number?
False
Suppose -3*d + i = -11, 0*d - 2*d - 6 = 2*i. Let c(l) = l**2 - 3*l. Let k be c(d). Let t(s) = 33*s**2 - 5*s - 1. Is t(k) composite?
True
Let v be -8 - -11 - (1 + -588). Let x = v - -321. Is x a prime number?
True
Suppose 273*o - 290*o + 388637 = 0. Is o prime?
True
Suppose 0 = -l + 5*g - 3908 + 16028, -2*l + 5*g + 24235 = 0. Is l prime?
False
Let f(y) = -3 - 2*y**2 + 29*y**3 - y**2 + 83*y**3 - 121*y + 125*y. Is f(2) a composite number?
True
Let q(w) be the second derivative of -w**5/20 + 11*w**4/12 - w**3/3 - 13*w**2/2 + 7*w. Let o be q(10). Let a = 228 - o. Is a composite?
True
Is (5*-1)/(52/(-6604)) prime?
False
Let i(n) = -2*n - 2. Let m be i(-9). Let c be (36/m)/((-15)/(-20)). Suppose 422 = 5*j - c*j. Is j composite?
False
Let l(g) = g**3 - 4*g**2 - 18*g + 7. Let m be l(6). Let q(h) = -3*h**3 + h**2 - h + 3. Let k be q(-3). Let u = k + m. Is u a composite number?
False
Let q = 10454 + -5854. Let o = -2009 + q. Is o a prime number?
True
Let a be (2 + 4 - 2)/(3 - 1). Suppose 859 = g + 5*m, a*g - 3*g - m + 867 = 0. Is g prime?
False
Is (-441)/(-14)*6 - 2 a prime number?
False
Suppose -4*u + 5*n + 7197 = 0, 89*u - 4*n = 85*u + 7192. Is u a prime number?
False
Let m(q) = 13*q**3 + 7*q**2 - 11*q + 14. Is m(7) a composite number?
True
Suppose z - b = -0*b - 6, -3*z = 5*b - 14. Let n = z + 2. Let t(j) = j**3 - j**2 + j + 131. Is t(n) a composite number?
False
Suppose b = -4*c + 247, -4*c - 412 + 1169 = 3*b. Suppose -a = b - 742. Is a prime?
True
Suppose -3*k + 3280 = -5*k. Is (-1)/(4/k) + 3 a prime number?
False
Let t = 80 + -77. Is 472*1/(-2)*t/(-4) a composite number?
True
Is 40956 + (5/(-25) - 16/20) prime?
False
Is (-5)/(-25) + 89292/15 prime?
True
Let l(d) = d**3 + 8*d**2 + 7*d + 4. Let c be l(-7). Let q = c - -8. Is 27/(-15)*(-40)/q composite?
True
Suppose -786*y = -788*y + 254. Is y composite?
False
Let h(d) = 101*d**3 + 13 - 105*d**3 - 3*d**2 + 2*d**2 + d. Is h(-4) composite?
True
Suppose f + 5*w = 2*f - 7, 2*w + 10 = 4*f. Suppose 0*b + 5*b - 1053 = f*j, 5*b = -4*j + 1059. Is b a composite number?
False
Suppose -5*q = -0 + 30. Let j = q - -9