. Let l = g - -2. Is l composite?
False
Is 152 - (3 + -6 + 0) a prime number?
False
Let a(u) = -u**3 + 13*u**2 + 12*u - 13. Is a(7) prime?
False
Suppose 3*h - 6*h = 0. Suppose -88 = -0*f - 4*f + 2*g, h = -3*f + 3*g + 69. Is f composite?
True
Suppose -837 = -2*t + 361. Is t composite?
False
Suppose 3*s - 10 = 101. Is s prime?
True
Let m be (-1)/2*(1 - 205). Let i = 151 - m. Is i a composite number?
True
Is 2 + -2 + (-5*2933)/(-5) a composite number?
True
Suppose -136 + 30 = -2*p. Is p a prime number?
True
Let h(u) = 1 + 0*u**2 + 7*u + u**3 - 2*u - u**2 - 3*u**2. Suppose 5*w - 12 = 4*v, 4*w = -4*v - 11 + 35. Is h(w) a composite number?
True
Suppose -2*b - 80 = -2*m, -11 = m - 3*b - 51. Suppose -230 = -2*w - m. Is w composite?
True
Let v be (12/(-2))/(3/8). Let w = v - -47. Is w prime?
True
Let o be (-12)/(-42) + (-19)/(-7). Is 4/(-12) - (-160)/o composite?
False
Let k(g) = g - 4. Let b be k(3). Let q = -3 - b. Is (-598)/(-18) - q/(-9) a composite number?
True
Let l be 1 + 1/(-2)*-2. Suppose -770 = -4*g + 3*x, -l*g + 5*g - 5*x - 583 = 0. Is g prime?
True
Let u(r) = 9*r**2 + 2*r - 5. Is u(8) prime?
True
Suppose 174*j = 179*j - 590. Is j a prime number?
False
Let y(o) = 2*o**2 + 5*o + 4. Let k be y(-8). Suppose -3*i + 349 = -k. Suppose -t + 4*t - i = 0. Is t composite?
True
Let z(n) = 16*n**2 + 4. Let m(x) = -17*x**2 - 3. Let t(l) = -4*m(l) - 3*z(l). Let f be t(-1). Suppose 6*c - f = c. Is c composite?
True
Let z(q) = -q + 3. Let c be z(6). Suppose -6*h + 16 = 2*h. Is ((-978 - 0)/c)/h composite?
False
Let h(z) = 199*z**2 - 5*z + 5. Is h(2) a composite number?
True
Let s be -58*9/(-12)*-4. Let k = 325 - s. Is k a prime number?
True
Is (2/(-8))/(((-2)/2)/508) a prime number?
True
Let z(v) = v**3 - 7*v**2 + v - 4. Let a be z(7). Suppose a*b + 114 = -5*q, -4 + 78 = -3*q + b. Is -2 + 3 + -2 - q a prime number?
True
Let o(m) = 1066*m**2 + 3*m - 2. Is o(1) prime?
False
Let z be 125/30 + 2/(-12). Suppose -140 - 8 = -z*c. Is c composite?
False
Suppose -10*t + 6*t + 664 = 0. Is t prime?
False
Suppose -77 = -2*m - 215. Let i = m - -15. Let c = i - -93. Is c a composite number?
True
Let g be 4/(-4)*(-1 - 2). Suppose 0 = -y + g*y + c - 116, -5*y - c = -287. Let q = y - 22. Is q a prime number?
False
Let n(t) = t**3 - t - 2. Is n(3) a composite number?
True
Let c = -6 + 6. Suppose -j + 3 = -c. Suppose -4*i + k + 0*k = -586, 0 = j*k + 6. Is i prime?
False
Suppose 3*w - w = -4*h - 16, 0 = 4*w - 5*h + 6. Is 83 - 8/(w - -6) a prime number?
True
Let k be (-1)/((-3)/(0 + 3)). Let n(v) = 52*v - 1. Is n(k) composite?
True
Let o be 1/2 + 36/8. Let i(d) = -2*d - 11. Let u(m) = -m - 6. Let l(t) = -4*i(t) + 7*u(t). Is l(o) composite?
False
Let o be 2*-1*(-35)/14. Suppose -1059 = -5*j + 4*d, -2*d + 118 = -o*j + 1175. Is j a prime number?
True
Let r(h) = h**3 + 6*h**2 + 4*h + 1. Let u be r(-5). Suppose 5*t = s - 39, 5*s - u = -2*t - 0. Let a(n) = -n. Is a(t) composite?
False
Let c = 1902 - 478. Suppose -2*x = 2*x - c. Suppose 3*i + 0*v + 5*v = x, -v + 630 = 5*i. Is i prime?
True
Let u(t) = t**2 + 14*t - 1. Let z be u(-6). Let v = z - -264. Is v a composite number?
True
Suppose -3*d - 3*i + 0*i + 996 = 0, -i + 1 = 0. Is d a prime number?
True
Let h be 5/((-5)/4) + 2. Let y be 7 - 3 - (-1 - h). Suppose 4*j - y*r = 100 - 29, -j + 2*r = -24. Is j composite?
True
Let p = -1 - 0. Let l = p + 3. Is (0 + 254)*l/4 composite?
False
Suppose 0 = -2*s - 8, 0*s = -y - 2*s - 10. Let z(g) = -g**2 - 2*g - 3. Let p be z(y). Is p/(-2)*(-40)/(-6) a composite number?
True
Let r = -172 - -388. Let s = r + -119. Let f = s + -30. Is f a composite number?
False
Suppose 0 = 2*j + 4*n - 2310, 6*j + 2*n = j + 5783. Is j prime?
False
Let a(n) = n**3 - 5*n**2 + 3. Let g be a(5). Suppose -4*j + 2*j + 3*f = 1, 4*j - 25 = -g*f. Let w(z) = z**3 - 2*z**2 + 5*z - 3. Is w(j) a prime number?
False
Is -1*(2 + -1)*(-73 + 4) prime?
False
Let c be (-715)/(-3) - (-8)/12. Let w = c + -90. Is w prime?
True
Let c(a) = -a - 9. Let b be c(-10). Is b/((-1344)/(-447) - 3) prime?
True
Let z(s) = 11*s**3 - 17*s**2 - 17*s + 7. Let w(k) = 5*k**3 - 8*k**2 - 8*k + 3. Let v(b) = 13*w(b) - 6*z(b). Is v(-4) a prime number?
True
Let z be (-1)/(-2) - 803/(-2). Suppose 0 = 8*q - 10*q + z. Is q composite?
True
Let o(m) = m**2 - 14*m - 10. Let v be o(13). Let p = 56 + v. Is p prime?
False
Let j(k) = -k**3 - 5*k**2 + 9*k - 2. Is j(-7) composite?
True
Suppose 6*k - 4604 = 2*k. Is k prime?
True
Let p(t) = -t**3 + 12*t**2 + 9*t - 17. Is p(6) prime?
False
Suppose 4*c - 6*p = -p + 2358, 2*p = -5*c + 2931. Is c prime?
True
Let k = 1620 - 391. Is k a composite number?
False
Let x = 18022 - 12165. Is x prime?
True
Let m(s) = -s + 8. Let k be m(6). Let a be 0/(-2) - (-132)/k. Suppose -4*w = -0*n - 4*n - 88, -2*n + a = 3*w. Is w prime?
False
Let y be -1*(9 + 2 - 0). Let s(h) = -29*h**2 - 8*h - 6. Let k(o) = 15*o**2 + 4*o + 3. Let d(x) = y*k(x) - 6*s(x). Is d(-2) prime?
True
Suppose -7*a = -3*a + 4. Is (67 - -3) + 3*a prime?
True
Suppose -l - 25 = -6*b + b, -l + 4*b - 20 = 0. Suppose l = -5*m + 484 + 46. Is m a composite number?
True
Let o(q) = 2*q**2 - 4. Let b be o(7). Suppose -3*j + 158 + 373 = 0. Let t = j - b. Is t a prime number?
True
Let u(s) = 7*s**2 - 18*s + 4. Is u(-17) a prime number?
True
Let n(d) = -d**3 + 2*d**2 + 3*d - 4. Let s(p) = p**3 - 3*p**2 - 4*p + 5. Let h(z) = 4*n(z) + 3*s(z). Is h(-2) composite?
False
Let p = -8 - -10. Suppose x + x - p*r - 1258 = 0, -8 = -4*r. Is x prime?
True
Suppose 7*o + 2*w - 14 = 3*o, 1 = w. Suppose 4*s = y - 123, y - o*y + 224 = 3*s. Is y prime?
False
Let o(w) = -6*w**3 + 5*w + 11. Let v(c) = -7*c**3 + 6*c + 12. Let u(t) = 6*o(t) - 5*v(t). Let r be u(-5). Suppose -114 = -5*i + r. Is i a prime number?
False
Is (-1)/(4 - 7092/1772) composite?
False
Suppose 4*s - 27 = 7*s. Let h(i) be the first derivative of i**3/3 - i**2/2 - 13*i - 2. Is h(s) a prime number?
False
Suppose z + 21 = -z - 5*t, 0 = 5*t + 25. Let s(x) = -42*x**3 + z - 3 + x - 37*x**3 - 2*x. Is s(-1) prime?
True
Let c(k) be the second derivative of k**5/10 + k**4/8 + k**3/6 - k**2 - 2*k. Let q(t) be the first derivative of c(t). Is q(-4) a composite number?
True
Let n be ((-4)/6)/(2/(-6)). Suppose y = n*y. Suppose -5*i + 66 = h, y*i - i = 4*h + 2. Is i a composite number?
True
Let z(h) = -h**3 - 9*h**2 - 8*h + 2. Let f be z(-8). Suppose 265 = 3*r + f*r. Is r prime?
True
Let f be (-2)/4*(-1 + -5). Suppose -892 = -f*j - j. Is j prime?
True
Let k(w) = 0 - 8*w + 0 - 1. Let h(r) = r**2 - 9*r + 18. Let b be h(5). Is k(b) a composite number?
True
Let f = -168 - -545. Is f prime?
False
Suppose v - 10 = 2*o, 38 = -5*o - 2*v + 13. Let s = 5 + o. Suppose -3*g + 78 = -5*t, s = g - 2*t + t - 24. Is g a composite number?
True
Let m(c) = 12*c**2 - 4*c + 5. Is m(6) prime?
False
Let m(u) = -u**2 + 4. Let s be m(0). Suppose s*g - 5*g + 319 = 0. Is g prime?
False
Suppose -9 + 1 = 4*p. Let y be 50*(6/(-10) - 1). Is -1 - (2 - y/p) prime?
True
Suppose f - 6 = -4*o, -f = -0*o + 2*o - 10. Is f a composite number?
True
Suppose 372 = -5*t + 1387. Is t a prime number?
False
Suppose -5*z + 1020 = -4*z. Let i be (z/9)/((-1)/9). Let l = -713 - i. Is l prime?
True
Is (3195/10 - 3)*8/6 composite?
True
Let b = -5 - -8. Suppose b*k = -0*k + 15. Suppose 4*n + 4*u - 39 = n, -k*n + 65 = 5*u. Is n composite?
False
Let j = -31 - -254. Is j a composite number?
False
Let m(b) be the first derivative of b**4/4 - 7*b**3/3 + 3*b**2 + 7*b - 5. Is m(7) a composite number?
True
Let a = -20 + 30. Is 2/a - 74/(-5) prime?
False
Suppose -1990 = -3*a + 2675. Is a a prime number?
False
Let c(p) = 2*p**2 + 6*p - 5. Let m = -9 + 13. Is c(m) composite?
True
Suppose 4*w + 3*y = 7, -3*w - 2*y + 3 + 3 = 0. Suppose 0 = 2*g - j - 469, w*g - 6 - 939 = -5*j. Is g a composite number?
True
Let r(s) be the first derivative of s**3/3 - s**2 - 5*s + 2. Suppose 4*w + 1 = 5*f - 2, 3*w + 26 = -f. Is r(w) a composite number?
True
Let r(j) = -2*j**3 - 8*j**2 + 2*j - 5. Let m = -3 + 8. Suppose 9 = q - m*u, -4*u = 3*q + 33 - 3. Is r(q) composite?
False
Suppose 30 = 2*v + 3*v. Suppose 0 = -v*k + k - 1585. Let b = k - -458. Is b a composite number?
True
Suppose -3*s + 0*s - 851 = -o, 2*s + 4255 = 5*o. Is o composite?
True
Suppose -4*j + 2 + 22 = 0. Is (3/(-2))/(j/(-184)) prime?
False
Suppose -j - 3*h = -5*h + 15, -