 33*q**2. Is a(4) a composite number?
True
Suppose -2*l - 2*m + 5883 = -m, m = -5*l + 14700. Is l a prime number?
True
Let u be (0 - 1)*(-2 + -8). Suppose 4*a + 4*l - u = 2, 8 = 5*a - 2*l. Suppose -q + a = -0. Is q a composite number?
False
Suppose -2*v = p - 31, -2*p = 2*p + 4. Let d = -16 + v. Suppose a - 3*j - 14 = 17, d = 4*a - j - 168. Is a a prime number?
True
Let i be 3 + 0 + 5480/10. Suppose -1574 = -3*j - i. Let v = 1018 - j. Is v a prime number?
True
Let v(z) = 2*z**3 + 5*z**2 - 3. Let i(t) = t - 1. Let y be i(-5). Let f be v(y). Is (f/9)/(5/(-15)) prime?
False
Let z = -34 - -37. Suppose 4*j = z*f - 2271, -4*f - 2*j + 3000 = 2*j. Is f a prime number?
False
Suppose 0 = -4*x + 2866 + 1870. Let r = x + -670. Is r prime?
False
Is 57480/45 - 1/3 prime?
True
Let z(x) = 13*x**2 + 7*x + 4. Let n be z(-7). Suppose -5*q = 2*u - 222 - 1, -q + n = 5*u. Is u composite?
True
Let r(d) = -d**3 - 5*d**2 + 8*d + 8. Let g be r(-6). Let c be 1/((-17)/g + -4). Suppose -4639 + 955 = -c*p. Is p composite?
True
Let h = 2861 - 1023. Is h prime?
False
Let c(v) = -3*v**2 - 15*v + 1. Let n be c(-5). Is 2 - -209*n*1 composite?
False
Suppose -2*u - 828 = 3*s, 376 + 443 = -3*s - 5*u. Let v = 139 - s. Is v composite?
True
Let b be (118/(-2*1))/(7/42). Let w = 0 - 3. Is (-1)/((-1059)/b + w) a composite number?
True
Let x(y) = 13*y**3 + 11*y**2 + y - 20. Is x(7) a prime number?
False
Let p = 1776 - -193. Is p a prime number?
False
Suppose -t + 1 = -3*b, 5*b - 4*t + 4 = 3*b. Suppose -4*j + b*j + z + 817 = 0, -5*z = -j + 228. Is j a composite number?
True
Is 60654/10 - ((-86)/10 - -9) composite?
True
Suppose 6*q - 3*q + 4*p = 24, 0 = -5*q - 2*p + 54. Suppose -5*w = -q + 2. Is (w - 1)*-2 - -129 a composite number?
False
Let q(c) = 29*c**2 - 2*c + 6. Let f be q(5). Is (1/((-1)/f*1))/(-1) prime?
False
Let f be ((-4 - -8)/(-8))/((-1)/5238). Suppose 6*u + 3*u = f. Is u a prime number?
False
Let a be (-128)/3*(-6 - -3). Suppose -1850 = -2*l - a. Suppose 2*g = -g + l. Is g composite?
True
Let z be (-184)/(-64) - 2/(-16). Suppose 5*c - 293 = 2*u - 1904, -5*u + 4105 = z*c. Is u a prime number?
False
Suppose -12*u - 86224 = -28*u. Is u prime?
False
Is 6702/(-9)*168/(-16) composite?
True
Let h = -2032 - -23. Let w = h + 2994. Is w a prime number?
False
Suppose -35908 = -4*p + 4*g, 2*p = -2*p + 3*g + 35911. Let i = -4709 + p. Is i prime?
True
Let d(p) = -2765*p**3 - 3*p**2 - 8*p - 7. Is d(-3) a composite number?
True
Let b = 11075 + -7068. Is b prime?
True
Let v(b) = -b**2 - 11*b - 6. Let w = 15 + -22. Is v(w) composite?
True
Is 19/(-95) - (-166716)/30 composite?
False
Let t(y) = y**3 + 4*y**2 + 5*y - 7. Let i be t(-8). Let j = -565 - i. Let a = 641 + j. Is a a prime number?
True
Suppose 3*t + 5*t - 92776 = 0. Is t composite?
False
Let s(r) = 7*r**3 + 6*r**2 - 13*r - 3. Let v(x) = 8*x**3 + 7*x**2 - 14*x - 4. Let t(n) = 7*s(n) - 6*v(n). Let y be 8 - ((-1)/(-1))/((-2)/(-6)). Is t(y) prime?
False
Let b = -8233 - -20304. Is b a prime number?
True
Suppose -5*s + 4669 + 753 = 4*y, y + 4*s = 1361. Is (-2 - -1)/((-8121)/y + 6) prime?
False
Let d(u) = u + 8. Let b be d(-5). Suppose -11 = -j + b*h, -3*j = -7*j - 4*h + 44. Let f(l) = 23*l. Is f(j) a composite number?
True
Let s = 954 - -845. Let c = s + 1014. Is c a prime number?
False
Suppose k = 5*b + 7, 0 = 4*k - k + 4*b - 21. Let l(y) = -8*y + y**2 + 2*y - 3 + y**2. Is l(k) prime?
True
Let t = 4 + 0. Suppose -3*g + p + 279 + 388 = 0, 2*g - 447 = 3*p. Suppose -3*z - g = -4*o + 2*z, -t*o + 230 = -z. Is o prime?
False
Suppose -4*d + 5*h - 40 = 0, 4*h = -3*d + 7*d + 36. Let w(t) = 2*t**2 + t - 12. Is w(d) a prime number?
False
Suppose -2*f + 5*w = 1, 2*f + 4 = 3*w + 1. Is f/(-4) - (-56411)/76 a prime number?
True
Let g(c) = -4*c + 23. Let n be g(7). Let f(u) = 37*u**2 + 8*u + 4. Is f(n) a composite number?
True
Let k(d) = 10*d**2 - 7*d + 6. Let z be k(7). Suppose 3*s - 6*s = -z. Suppose 5*c - s = 4*c. Is c a prime number?
True
Suppose -4*d + 35 = -193. Suppose -5*z + 334 = -3*j, 5*z + 4*j + d = 370. Is z composite?
True
Suppose 278 = 2*h + 28. Suppose 50 = 2*f - 5*a - 77, -4*f = 3*a - 319. Suppose f + h = 3*z. Is z prime?
True
Suppose -l - 5*s + 18942 = 0, 3*l - 5*s = -l + 75893. Is l composite?
True
Let b be 3616/(-112) - (-4)/14. Let m = -6 - b. Is m a prime number?
False
Let w be 8/40 + (-42)/10. Let d be w/18 - 94/(-18). Suppose d*g = -2*s + 1899, -s - 1158 = -3*g + 4*s. Is g a prime number?
False
Let w = 71663 - -84242. Is w composite?
True
Let p = 56113 + -31796. Is p prime?
True
Let r(v) = 579*v**2 - 4*v + 4. Let p be r(1). Is p/(-2)*(16/(-3) + 4) a prime number?
False
Suppose -39 = -r - 219. Let s = r + 76. Is (3/12)/((-2)/s) composite?
False
Let r = 23 - 18. Suppose 4*g - 57 - 28 = -3*c, 3*g - r*c - 71 = 0. Is g prime?
False
Suppose 46 = 4*m + 38. Suppose 4695 = a + 2*a - m*w, -4*w = 4*a - 6280. Is a prime?
True
Suppose 5*b = -17 + 2, z - 5*b - 18 = 0. Suppose -351 = -z*o + 6. Is o prime?
False
Let x be (2 + 611)*-41 + 4. Let q be 8/(-6) - x/39. Let v = 1140 - q. Is v composite?
True
Let p(c) = 2*c**2 - 3*c. Let h be p(2). Suppose 2*z = -h*z + 20. Suppose 885 = z*i - 2*i. Is i prime?
False
Let d = -186 - -201. Let j be 1/(-3) - 11/3. Let w = d - j. Is w composite?
False
Let s(k) be the first derivative of k**4/3 - k**3/6 - k**2/2 + 1. Let x(t) be the second derivative of s(t). Is x(3) prime?
True
Let d = -124 - -127. Suppose 5*c + d*v = 5493, 4*c + v - 4764 + 364 = 0. Is c prime?
False
Suppose -9*b + 4*b = 40. Let r(c) = 20*c**2 - 17*c - 17. Is r(b) prime?
True
Let i(m) = -2*m - 3. Let f(n) = -5*n - 5. Suppose l = -0*l - r + 6, -2*r = -l + 3. Let u(q) = l*i(q) - 3*f(q). Is u(11) a prime number?
False
Suppose -3*j + 197 = 5*v - 83, -3*j - 15 = 0. Is v prime?
True
Let w(c) = 6*c**3 + 8*c**2 - 8*c + 13. Let i(u) = 11*u**3 + 16*u**2 - 15*u + 26. Let q(d) = -4*i(d) + 7*w(d). Suppose 9 = -y + 2. Is q(y) composite?
True
Let t(v) = -162*v**3 - v**2 + 1. Let m be t(1). Let w = 251 + m. Is w a prime number?
True
Suppose -9*c - g = -4*c - 398976, 2*c + 3*g = 159593. Is c a composite number?
True
Let n be 0 + 3 - (-6)/(-2). Is 1 + n + 125 - 3 a prime number?
False
Let z(h) = 11 - h + 5 - 7. Is z(-6) composite?
True
Let j be -5*(-3 + (-2 - -4)). Suppose 0 = 3*n + j*b - 104, n - 3*b + 168 = 6*n. Is n composite?
True
Suppose -4*p - 214 = 2*m, -3*p - 51 = -2*p + 3*m. Let j = p + 3. Let b = 128 + j. Is b a composite number?
True
Suppose 4*s + 7 = 19. Suppose -s = v - 7. Suppose -v*p = -4*r - 3672, p - 2*p + 923 = -2*r. Is p a composite number?
True
Let d(u) be the second derivative of 9*u**5/20 - u**4/4 + u**3/6 - 2*u**2 - 5*u. Let t be d(3). Suppose 0 = -j + 6*j - t. Is j a prime number?
True
Let s = -98915 + 177048. Is s composite?
True
Let q = -12 - -14. Let r(m) = q + 5*m - 6 - 2. Is r(5) composite?
False
Let w = 247397 - 140512. Is w a prime number?
False
Suppose -8*r - 275685 = -5*m - 13*r, -55133 = -m + r. Is m a prime number?
False
Let k(w) = w**3 + 5*w**2 + w - 2. Let g be k(-3). Let y = g - 9. Suppose -y*o = -1241 + 69. Is o prime?
True
Suppose -w + a = -0 + 4, 0 = 5*a - 25. Let d(p) = -6 + w + 3*p + 2*p - p. Is d(5) a composite number?
True
Is (-42754)/6*(-486)/162 prime?
True
Suppose -4*x + 12 = -x. Suppose 5 = -5*v, x*v - 567 - 58 = -a. Is a composite?
True
Suppose 7*q + 519 = 10*q. Let p = -65 + q. Is 2/(-2 - p/(-53)) prime?
True
Let o(a) = 8*a + 4. Let r be o(-3). Let l = -26 - r. Let k(j) = -5*j + 1. Is k(l) a composite number?
False
Let k(i) be the third derivative of 13*i**4/24 + i**3/3 - 12*i**2. Let n be k(10). Suppose n + 366 = 2*j + 2*r, 3*j - 755 = r. Is j a prime number?
True
Suppose 0 = 4*m - s + 10, 6*m + 2*s = 2*m - 16. Let u(x) = 60*x**2 - 2*x - 5. Is u(m) composite?
False
Let l(y) = 1206*y - 263. Is l(16) prime?
False
Let h(g) = -g - 19 + 12*g**2 - 5*g**2 + 3*g. Is h(-6) composite?
True
Let n(f) = 7123*f. Let z be n(1). Suppose -4*u - 3*d + z + 3708 = 0, -3*u - d + 8122 = 0. Is u a composite number?
False
Let o(t) = 580*t - 4. Let y be o(9). Let a = -3117 + y. Suppose 7*p - a - 568 = 0. Is p prime?
False
Suppose 6*v - 184 = 2*v. Let k = v + 115. Is k composite?
True
Suppose -1841 = -j + 662. Is j a prime number?
True
Suppose -55356 = -4*l - 2*i, 0 = 4*l - 294*i + 289*i - 55384. Is l composite?
False
Suppose -18*z + 