+ 129 - 924 = z. Is g a prime number?
False
Is (-1 - (-30)/(-4))/((-7)/4354) a composite number?
True
Let h = 127964 - 72093. Is h a prime number?
True
Suppose 0 = -2*d + 2*o - 2 + 10, -5*d + 20 = -o. Let n(y) = 23*y**2 - 9*y - 1. Is n(d) prime?
True
Let o be (-5 - -3)*(-2 - -3) + -4. Suppose 2*w = 3*b + 26, b + 2*w + 14 + 8 = 0. Is (-334)/o + b/18 composite?
True
Let b(t) = 3*t - 12. Let y be b(6). Suppose -24719 = -y*i - 9305. Is i a prime number?
False
Let l be 240/(-70) + 6/14. Let o(v) = -76*v**3 + 2*v + 7. Is o(l) prime?
True
Let q(v) = -28*v**3 - 8*v**2 - 8*v - 11. Is q(-4) a prime number?
False
Let v = 6380 + 423. Is v composite?
False
Let d be (-1)/(0 - 1/1944). Let a(u) = -u**3 + 5*u**2 - 4*u + 3. Let v be a(4). Suppose 5*m = c - 642, -v*c - 2*m + d = m. Is c composite?
False
Is 3/(-9)*-350709*1 prime?
True
Suppose 29*d - 23905 = 39286. Is d composite?
False
Suppose -2*r + r = -d - 1, -4 = -r - 2*d. Let c(a) = -a**3 + 8*a**2 - 4*a - 7. Let f be c(6). Suppose 61 = r*q - f. Is q prime?
False
Suppose -q + 3 = -3*h - 1, 0 = -3*h. Suppose -2*p + 4 = -b, 0 = 4*b + q*p - 4 - 28. Suppose -m + 35 = b*g - 84, 0 = -5*m - 25. Is g a composite number?
False
Let j(o) be the first derivative of 52*o**3 + 3*o**2/2 + 22*o + 22. Is j(-3) composite?
True
Let d(f) = -f**3 - 3*f**2 - 3*f - 5. Suppose 3*a = 4*x + 22, -2*x + 2 = -2*a + 14. Is d(x) a composite number?
False
Let s(y) = -7*y**3 + 8*y**2 + 5*y - 95. Is s(-17) prime?
True
Suppose -5*x + 2 - 31 = d, 3*x = -d - 25. Let j = -22 + d. Let c = j + 62. Is c a prime number?
False
Let f be (-2)/3 - 66/(-18). Suppose 4*t + f = -9. Is (-21 - 2)*(-6 - t) a prime number?
False
Let b(z) = 587*z - 27. Is b(4) prime?
False
Let q be -7 + ((-1)/(-1))/(6/6). Suppose 4 = 5*l - 6. Is (1893/q)/((-1)/l) a prime number?
True
Let m = 150510 - 91853. Is m composite?
False
Suppose 0 = -2*n + 10*n - 40. Suppose -2674 = -4*m - 5*l, -2*m - n*l + l + 1334 = 0. Is m a prime number?
False
Let s(t) = 46*t**3 + 4*t**2 - 5. Is s(3) composite?
True
Let l(n) be the third derivative of 0 - 1/120*n**6 + 0*n + 1/24*n**4 + 23/2*n**3 - 5*n**2 - 1/60*n**5. Is l(0) a prime number?
False
Let j be (-1)/(-3) + 56/12. Let p = 3 - j. Is (6/3)/(p/(-46)) composite?
True
Suppose -3515 = -6*i + 907. Is i a prime number?
False
Suppose 7*f + 4*b = 4*f - 1, -2*b = -5*f + 33. Let c be -10*(-2 - 6/(-4)). Suppose -k = f*t - 786, c*t - 790 = k - 6*k. Is t composite?
False
Let q = 5077 - -2002. Is q composite?
False
Let z(h) = -17 - 40*h + 9*h + 128*h + 96*h. Is z(10) a prime number?
True
Let p(v) = v**3 + v**2 - 4*v + 1. Let x be p(-3). Is 638 - x/(25/15) a prime number?
True
Suppose 0*v - 138 = -2*s - 4*v, 2*v = 0. Is s composite?
True
Suppose 0 = g + 2*b + 251, -6*b + b + 797 = -3*g. Let d = 382 - g. Is d a composite number?
False
Suppose 0 = -15*d - 2*d + 1436483. Is d prime?
True
Suppose -44*k + 58*k - 169358 = 0. Is k composite?
False
Let k be (35/(-20))/(1/4). Let c(n) = 6*n**2 - n - 2. Let o(p) = -p**2 + p + 1. Let x(u) = c(u) + 4*o(u). Is x(k) a prime number?
True
Let f be 1/2*-1*-4. Let i(y) = -4*y**2 - y - f*y**3 - 5 + 3*y**3 + 0. Is i(5) a composite number?
True
Suppose 4*n - 13277 = -4*p + 759, 4*n = 4*p - 14052. Is p composite?
False
Let f(m) = -m**3 + 8*m**2 + m - 8. Let z be f(7). Suppose z = -3*g + 135. Suppose -24*q + g*q = 295. Is q composite?
False
Suppose -343 - 87 = -10*j. Let v = j - -296. Is v a prime number?
False
Let v(d) = -d**2 + 1. Let i(h) = 3054*h**2 - 4*h - 9. Let w(q) = i(q) + 6*v(q). Is w(-1) prime?
True
Let p = -194 + -18. Let a = 331 + p. Is a composite?
True
Let t(w) = 3*w - 10. Let l be t(5). Suppose -7*u - 6 = -10*u. Suppose 2599 = l*y - u*m, 0 = -3*m - 5 - 1. Is y composite?
True
Let a(b) = b**2 - 5*b + 7. Let n be a(4). Let s be 7 + 1 - n/1. Is (-47 - -18)/((-1)/s) a prime number?
False
Let i = 21 + -16. Suppose -m - 111 = 2*h, -6*m = -3*m - i*h + 366. Let d = m - -262. Is d a composite number?
True
Suppose -2*b = -4*n + 8966 + 181586, 285819 = -3*b - 3*n. Is (-2)/(-3) + b/(-54) a prime number?
False
Suppose -a = 4*a. Suppose -5*r + 100 = -4*w, 5*w + a*r = -r - 125. Let x = 38 + w. Is x a prime number?
True
Is (11762 - 4)/((-28)/(-42)) a composite number?
True
Let n = 5412 - 3401. Let r = n + -1044. Is r composite?
False
Suppose 0 = 7*s - 6*s - 5, 5*m = -4*s + 14655. Is m a prime number?
True
Suppose 48812 = 35*j - 20243. Is j a prime number?
True
Suppose 3*z + 9383 = 2459. Is 4*z/(-32)*2 a prime number?
True
Suppose 1081 = 2*u + b - 2010, -3071 = -2*u + 3*b. Is u a prime number?
True
Let u(b) = 5 - 8*b**2 + 2*b**2 + b**3 + 5*b**2 - 5*b**2. Let w be u(7). Let r = -11 + w. Is r a prime number?
True
Let l = 30 + -30. Suppose l = -29*r + 32*r - 3357. Is r a composite number?
True
Suppose 0*t - 4*t = b - 4, 5*b + 24 = 2*t. Let v be (14 + -10)*3/t. Suppose 288 = v*w - 66. Is w a prime number?
True
Let a(h) = h**2 - 14*h + 20. Let o be a(11). Let n = 16 + o. Suppose -n*b - 68 = -5*b. Is b a composite number?
True
Let d(a) be the first derivative of a**3/3 + 7*a**2/2 - 4*a - 2. Let f be d(-8). Suppose 0 = -f*l + 327 + 5. Is l prime?
True
Let a = -734 - -1419. Is a composite?
True
Let a = 14399 - -7068. Is a prime?
True
Let v = -3 - -10. Let y(n) = 4*n**2 + 4*n**2 - 8*n**2 + 3*n - n**3 + 11*n**2 + 9 - 3*n**2. Is y(v) a prime number?
True
Let u be 3 + (1 + -3 - 1). Is (u - (-8)/2) + 87 a composite number?
True
Let f be (3/(-1))/(-1 - 0). Let n be 9 + 222/(-24) - 1049/(-4). Is n + (6 - (f + 0)) composite?
True
Let b = -7 + 19. Suppose -4*g + b = -g. Suppose g*l = -139 + 591. Is l prime?
True
Let n(j) = -968*j**3 - j**2 - 2*j - 2. Let c be n(-1). Suppose 0 = 3*a - 4*p - 170 - c, -379 = -a - 3*p. Is a prime?
True
Suppose 36208 = 2*k - 3*i, 0*k - 3*k = 3*i - 54297. Is k composite?
True
Let f(d) = -d**3 - 11*d**2 + 19*d + 7. Suppose -2*h + 7*h = -2*u - 18, 2*u = h - 30. Is f(u) a composite number?
True
Suppose 0 = 4*g + 3*h - 26, -3*h - 7 = 5*g - 38. Suppose 2*s - 2*q - 8 = 0, -g*s - 3*q + 0*q = 20. Is (-10)/(((-2)/(-23))/s) a composite number?
True
Suppose -2*v + 13*f - 15*f = -12326, 4*v + 3*f - 24656 = 0. Is v a prime number?
False
Let v be -2*1*(-17)/17. Suppose -2*o + 3*o = -v*a + 3496, 2*o + 5237 = 3*a. Is a a prime number?
True
Let t(d) = -2*d + 32. Let l be t(17). Is 419*(-4 - -5)/(l/(-2)) prime?
True
Let v(c) = -99*c - 8. Let g(i) = -i. Let o(f) = 6*g(f) + v(f). Is o(-3) prime?
True
Let t = -9239 + 15862. Is t prime?
False
Let m be 2 - ((-4 - 0) + -515). Suppose 4*x - 1235 = m. Is x a prime number?
True
Suppose 4*l - 6461 = -5*y, -3*y + 3871 = -0*y + l. Let u = -394 + y. Is u a composite number?
True
Let i(g) = 171*g**2 + 9*g + 19. Is i(-9) prime?
True
Suppose 5*p - 1455 = 2750. Is p composite?
True
Let p = -21720 - -43603. Is p prime?
False
Suppose -6 = -5*g - 3*j, 0 = 4*g - 0*g + j - 2. Suppose 0 = -5*b - 5*w - 15, 3*b + 5*w + 19 = -g*b. Suppose 2 = -b*c + 176. Is c a prime number?
False
Let y(d) = -4749*d + 149. Is y(-6) prime?
True
Suppose -2*o + 0*o = -3314. Is o a prime number?
True
Let o = 1268 + -619. Is o prime?
False
Let l be (-96)/30*(-5)/2. Let v = 10 - l. Is 790/(-15)*(-3)/v a prime number?
True
Let p(o) = -4*o**2 + 10*o - 13. Let c be p(12). Let i = -307 - c. Suppose 2*l + t = 215 + i, 186 = l + t. Is l composite?
False
Suppose g + 1 = 3. Suppose 0 = -5*j - 25, g*u + 4*j + 6 = u. Let l(i) = 2*i**2 - 21*i + 15. Is l(u) a composite number?
False
Let a(l) = 10*l - 7*l + l - 10 + l. Let n be a(-3). Is (-968)/(-10) - 5/n prime?
True
Let v(h) = 10*h**3 + h**2 - h. Let x be v(1). Let t be (16/2)/(x/205). Let y = -85 + t. Is y a composite number?
False
Let r(l) = -31*l - 57. Is r(-10) prime?
False
Let r = -2473 + 1517. Is ((-2)/(-4))/(((-6)/r)/3) composite?
False
Let r = 474 + -65. Is r prime?
True
Suppose 4*h = 8330 + 4674. Is h a composite number?
False
Let d be ((-225)/10)/(9/12). Let n = d - -36. Suppose -v - 121 = -q, -n*q + q + 2*v = -611. Is q a composite number?
True
Suppose 19 = 4*o + 7. Suppose 4*i + 4 = 6*i - g, 0 = o*i + 5*g + 20. Suppose -b - 2 = i, -24 - 4 = -2*l + b. Is l composite?
False
Is (-4 + 6/4)*292540/(-25) a prime number?
False
Suppose u + 3 = -1. Let d be 3 + 242/u*-2. Suppose 5*h - t - 3*t - 575 = 0, -t = h - d. Is h prime?
False
Suppose -10*s + 15*s = 125. Suppose -s*k + 725 = -20*k