2*p - 10034 = -3762, -4*z + 6274 = -3*p. Is z a prime number?
True
Let f = -146 + 331. Suppose -l + 2*l = 0. Suppose -f = -5*i - l*i. Is i composite?
False
Let o(g) = -10 + 2 - 5 + 94*g. Suppose 172 = 20*d + 12. Is o(d) a composite number?
False
Let u = 2 + 2. Suppose q = -0*q - 4*g + 291, u*q + 4*g - 1164 = 0. Let j = 672 - q. Is j a composite number?
True
Let z = 7 + -1. Suppose -9*s = -z*s - 1227. Is s a composite number?
False
Let p(h) be the first derivative of 39*h**2/2 + 26*h + 29. Is p(7) prime?
False
Let q(c) = -7*c**3 - 91*c**2 + 11*c - 6. Is q(-17) composite?
True
Let h(y) = -355*y + 20. Let n(i) = 118*i - 7. Let r(k) = 2*h(k) + 7*n(k). Is r(5) a composite number?
False
Let o = -20 + 39. Let u = 11 - o. Let q(p) = -3*p - 10. Is q(u) a composite number?
True
Let w = 1550 + 14969. Is w composite?
False
Suppose 0 = 3*l - 5*m - 11952, -l - 9*m + 3992 = -8*m. Is l composite?
False
Let y(j) = 265*j + 103. Is y(6) composite?
False
Let f be 1022 + (-2 - -12)*(-22)/(-55). Let q = f + 1421. Is q a composite number?
False
Suppose 0 = -13*p + 12*p + 801. Suppose 6*q - 507 - p = 0. Is q a prime number?
False
Let b(q) = -402*q + 265. Is b(-7) a composite number?
False
Let p(q) = 507*q - 44. Is p(13) prime?
True
Let q(p) = 19*p + 119. Let y be q(-6). Suppose 1 = -4*u + 17. Suppose -3*b + 81 + 119 = 4*m, -y*m - u*b = -251. Is m a composite number?
False
Is (6 - (3 - 4)) + 300 a composite number?
False
Let u(a) = -a + 11. Let h be u(-17). Is (0 + 1)/(h/1484) a prime number?
True
Let i(q) = q**3 + 4*q**2 - q - 3. Let h be i(-3). Suppose -1 - h = 5*g. Is 45/g*(-20)/30 composite?
True
Let d be -7 - ((-4)/((-16)/(-4)))/(-1). Is ((-36)/d)/(-9)*-290 composite?
True
Let d(y) = 88*y**3 + y**2 + 9*y - 17. Is d(3) a prime number?
False
Suppose 6*i = i + 15, 2*w - 167 = -i. Let y = 171 - w. Is y composite?
False
Suppose 0 = 11*k - 48068 - 72635. Is k a prime number?
True
Let m(x) = x**2 + 3*x + 5331. Is m(0) composite?
True
Let c = 39855 - -8384. Is c a composite number?
False
Let c = -997 - -344. Let d = -922 - c. Let q = 508 + d. Is q composite?
False
Let t(o) be the second derivative of -o**3/6 + 5*o**2 - 6*o. Let g be t(6). Suppose 2*h + 1019 = 4*s + 5*h, g*s - 1017 = -h. Is s a prime number?
False
Suppose 0*n = -4*n - 4*k - 128, 4*n + 133 = -5*k. Is (-1349)/(-3) - (-18)/n a composite number?
False
Let w(u) = u**2 - 6*u + 18. Let f(p) be the first derivative of -p**3/3 - p**2/2 - p + 4. Let d(g) = -3*f(g) - w(g). Is d(6) a prime number?
False
Suppose -12 = 5*k - 9*k. Is 3067 - k*(-8)/6 a prime number?
False
Let n = 3262 - 653. Is n composite?
False
Is 2/((-84870)/(-84858) - 1)*1 composite?
False
Let b be ((-13)/5 - -2)/(8/(-40)). Suppose -i + 2412 = b*r, 4*r + 791 = 5*r - 4*i. Is r a prime number?
False
Let m(a) = 127*a**2 - 9*a - 19. Is m(-3) a prime number?
True
Suppose -4*s + 1882 = 166. Suppose -s = -2*x - 107. Is x a prime number?
False
Let m(l) = 7*l**2 + 46*l - 59. Is m(-30) a prime number?
True
Suppose 11*b - 37499 + 7590 = 0. Is b a prime number?
True
Let q be 2/(-6) - 183249/(-81). Let c = -977 + q. Is c a composite number?
True
Suppose -5*j + o + 45000 = 0, -o - 3*o = 4*j - 35976. Is j a composite number?
False
Let n = 246 + -244. Suppose -3*l + 136 = -203. Suppose -122 = -3*h + 5*x, l = n*h - 4*x + 31. Is h prime?
False
Suppose -4*k - 3*q - 388 = 0, -2*k = -6*q + q + 194. Let z = k - -231. Is z a composite number?
True
Is (-34)/68 + (-25798)/(-4) a prime number?
True
Suppose -17*m + 2828 + 11979 = 0. Is m composite?
True
Let l = 8 - 16. Let q be 2/((32/(-210))/l). Suppose -q = -y + 162. Is y prime?
False
Suppose -92*a + 120*a - 212044 = 0. Is a composite?
False
Let i(k) = 65*k - 31. Suppose z = h + 7, 3*z - 2*h - 21 + 1 = 0. Is i(z) prime?
True
Let o(h) = 15*h**3 - 12*h**2 + 12*h - 9. Is o(8) a prime number?
False
Suppose 5*s + 16995 - 108082 = -o, -3*o + 72874 = 4*s. Is s prime?
True
Suppose 2*w = -0*w. Let k be (w - 0) + (-5 - -427). Suppose 2*t - k = 48. Is t composite?
True
Let v(p) = 225*p. Let t be v(2). Suppose -t = -3*m - 2*m. Is (0 + 0 - 3) + m a prime number?
False
Let n = 42 - 30. Suppose 3*o - 2 = -3*l + 8*o, 3*o - n = 4*l. Let b = l + 25. Is b prime?
True
Suppose -2*s + 1 = -3*q, 0*s + s - 2*q - 2 = 0. Is s/(-6)*-314*(-18)/24 composite?
False
Suppose -4 = 14*w + 24. Is (10 - 8) + w/(2/(-2475)) composite?
False
Suppose -5*j - d = 544 - 2470, d = -3*j + 1154. Suppose -5*b = c - j, 5*c = c + b + 1523. Is c a composite number?
True
Suppose 18*i = 156718 + 81188. Is i a prime number?
True
Suppose -284 = -3*i + 184. Let q = 83 - i. Let c = -40 - q. Is c a prime number?
False
Suppose -4*b - 3*f + 87059 = b, -3*b = 4*f - 52231. Is b a prime number?
False
Let r be 9/(-36) - 111/4. Let a be r*(-3)/(12/10). Let d = a - 39. Is d a prime number?
True
Let d be (9/4)/(12/352). Suppose d = 4*h - h. Is (h/(-33))/(2/(-141)) prime?
True
Suppose 5*d = 3*d - 5884. Let k = d + 5015. Is k a composite number?
True
Suppose -294 = 2*w - w. Let f = w - -481. Is f a composite number?
True
Let u = 2862 + -703. Is u a prime number?
False
Let v be 2 + (4 + -4)/(-4). Suppose 3*o - 8358 = -3*w, -o + 0*o + 2795 = -v*w. Is o a composite number?
False
Is (-2 - -8)/(-2) - (12 + -494) prime?
True
Suppose 5*s - 11 = 14. Suppose -4*i + 138 = 2*m - 100, -s*m = 4*i - 619. Is m a prime number?
True
Suppose 3*o - 3 + 0 = -2*j, -4*o = -4. Suppose 3*a + w = a, j = w - 4. Is 3/a*(13 - 15) a prime number?
True
Let w(o) = -o. Let j(f) = -35 - 2*f + 4*f - 2*f - 4*f. Let c(u) = -j(u) + 3*w(u). Is c(0) a prime number?
False
Let b(s) = 7*s**2 + 19*s + 7. Let t be b(-15). Suppose 5*x + t = 4502. Is x composite?
False
Let s(n) = 171*n**2 - 12*n - 5. Let k be (-1 + (2 - -1))/(5/(-10)). Is s(k) a prime number?
False
Let x(i) = 7*i**2 + 12*i + 4. Let r(d) = -d**3 + 18*d**2 + d - 35. Let j be r(18). Is x(j) composite?
False
Let l = 33 - -80. Let v = 300 - l. Is v prime?
False
Suppose -3*i + 255 = -1413. Suppose -23 - 79 = -6*s. Let w = i + s. Is w a composite number?
True
Suppose 3*s + 14 = -10. Let w(c) = -8*c**3 - 16*c**2 + 10*c + 7. Is w(s) prime?
True
Is (3 - 6)*18484/(-12) a prime number?
True
Suppose -12 = 3*x, 14 = -2*n + 3*n - 2*x. Is ((-42)/3)/(n/(-159)) prime?
False
Suppose 0 = 7*k - 5*k - 1474. Suppose -3*x + 410 + 133 = -4*b, k = 4*x - b. Is x a composite number?
True
Is (1*-359)/(-10 - -9) prime?
True
Is (-12)/(-8)*(-7)/(21/(-59258)) prime?
True
Suppose 401 - 141 = 2*u. Suppose -20 = -5*r, -2*r - u = -2*a - 7*r. Is a a prime number?
False
Let x = 3184 + -1644. Let v be (x/16 - -2)*12. Suppose 3*d - 3*n - v = -0*n, 5*n = 10. Is d a prime number?
False
Is (-138)/483 - (-98326)/14 a prime number?
False
Let u(j) be the first derivative of 690*j**3 - j - 42. Is u(1) a prime number?
True
Suppose 0 = 2*z - 5 - 7. Suppose -2*w + z = -0*w. Suppose 2*y + 4*r = 286, -y - y + 293 = -w*r. Is y a composite number?
True
Suppose -62 = -4*h - 3*p, -2*p + p - 70 = -4*h. Let v = h + -21. Is (-548)/(-6)*(7 + v) composite?
True
Let m(h) = 17*h - 7. Let q(c) = 8*c - 3. Let d(g) = g + 10. Let v be d(0). Let t(z) = v*q(z) - 4*m(z). Is t(2) composite?
True
Suppose -4*r - 4*t + 56 = 0, -4*r + 3*t = -24 - 39. Suppose 0 = 5*b + r, -5*b = -5*z - b + 3127. Is z composite?
True
Let w(l) = -l**3 + 4*l**2 + 3*l - 10. Let x be w(4). Suppose v - 34 = -3*h, -5*h - 18 = -6*h + 3*v. Is 4/h*942/x a composite number?
False
Suppose 0 = -2*o - s + 593, -2*o + 626 = 3*s + 27. Is o composite?
True
Let c(q) = 43*q**2 + 21*q + 1. Is c(-14) a composite number?
True
Let k = 765 + -298. Is k composite?
False
Suppose 0 = -4*y - 245 - 503. Let l = 1052 + y. Suppose 5*m = -h + 202 + l, 2*h = m - 220. Is m prime?
False
Let w(x) = x**3 + 5*x**2 - 5*x + 8. Let f be w(-6). Let c(l) = 44*l + f + 29*l - 15*l. Is c(2) a prime number?
False
Let n be 4/2*6/4. Let p(w) = 150*w + 3. Is p(n) a composite number?
True
Suppose 138505 = 31*a - 223668. Is a prime?
False
Let i(y) = y**2 + 14*y - 3. Let d be i(-13). Is 3/12 + (17740/d)/(-1) prime?
True
Let i be ((-25)/(-5) + -4)*1. Let v be 15/5*i - -755. Suppose -3*n = -v - 1801. Is n composite?
False
Let r = 3183 + 1724. Is r composite?
True
Let j(f) = -2*f**2 + 25*f + 16. Let i be j(13). Suppose i*c = d - 892, 40 = -d - c + 936. Is d a prime number?
False
Let g(x) = x**3 + 5*x**2 - 17*x -