*r = -3 + 9. Is (i/(-12))/(r/4) a prime number?
True
Let v(d) = d**2 + 3*d - 1. Let z(m) = m - 2. Let c be z(-2). Let b be v(c). Suppose -b*t - 4*p + 0*p + 45 = 0, -69 = -3*t + 4*p. Is t a prime number?
True
Suppose 0 = -5*o - 4*o + 27. Suppose 5279 = 2*q + o*l + 186, -5*l = 2*q - 5095. Is q a composite number?
True
Suppose -6*o + 10312 + 16892 = 0. Is o composite?
True
Let b = -3 + 5. Let p(c) = -c**3 + 4*c**2 - 3*c + 4. Let y be p(b). Suppose y*m + 0*m - 1074 = 0. Is m composite?
False
Is (7 + -3)*(-497)/(-28) composite?
False
Let v(z) = 73*z + 2. Let m be -3 - (2 - 3) - -4. Let d be ((-50)/20)/(m/(-4)). Is v(d) prime?
True
Suppose -2*i = 3 - 1. Let v be 8 - (0 + i/(-1)). Is (-371)/v*1*-1 a composite number?
False
Let h be 4/(-12)*(0 - -2)*-3. Suppose -u = x - h*u - 461, 4*x - 5*u - 1842 = 0. Is x a composite number?
False
Let j(y) = 4739*y**2 + 6*y - 33. Is j(-4) a composite number?
False
Suppose 0 = -89*a + 98*a - 16029. Is a prime?
False
Suppose 10*w - 75290 = 5*w. Is w a composite number?
True
Suppose 324 = d + d. Suppose i = -i + 550. Let z = i - d. Is z a composite number?
False
Let w = 246 - 481. Let o = 120 + w. Let g = -53 - o. Is g composite?
True
Let o(n) = -7*n**2 - 2*n - 21. Let j be o(7). Is 1*(-4 + -1) - j a prime number?
True
Suppose -5*s = -5*a - 1225, -s - 3*a = s - 470. Let k(t) = -t**3 + 7*t**2 - 4*t + 16. Let w be k(7). Let b = s - w. Is b a composite number?
True
Let z be (-636)/5 + (-7)/(-70)*2. Let s = -48 - z. Is s prime?
True
Let y(s) = 2*s**2 - 4*s + 3. Let a be y(2). Suppose -a*j - 2*k = 13, k - 3*k + 5 = -3*j. Is ((-3)/(-9))/(j/(-711)) a prime number?
True
Let n(z) = 16 - 68*z - 128*z + 60*z + 21. Is n(-6) a composite number?
False
Let l(x) = 72*x**2 + 93*x + 22. Is l(23) a composite number?
True
Let a be 9 + -1 - 6/2. Suppose 5*h - 14 = 11, -4*h = -3*g - a. Suppose 4*i + g*x = 636, -i + 117 + 42 = x. Is i a composite number?
True
Let i = -1 + 1. Let u be 121 - (-3 - 0/3). Suppose i = 4*d - u - 112. Is d a prime number?
True
Let b be -2 + -22 - (1 + -3). Let j = b - -437. Is j prime?
False
Let g = -26 - -27. Is (-1 - (3 + g + -3)) + 375 composite?
False
Let z(t) = t + 8 - 9 + 0*t. Let q be z(3). Suppose 2*l = b + l - 84, -q*b - l + 171 = 0. Is b a prime number?
False
Suppose 2*y - 3*a - 996 = -y, 4*y - 1322 = -2*a. Suppose -3*r + r = 5*w, -4*w + 18 = -2*r. Suppose i + y = w*i. Is i prime?
True
Let k be (-22)/(-8) - (-2)/8. Let n(x) be the second derivative of 33*x**4/4 + x**3/2 + x**2/2 - 74*x. Is n(k) a composite number?
True
Suppose m = -4*c, 0 = -5*m - 16 - 4. Is 496 + (12/8)/(c/2) a composite number?
False
Suppose -4*f = -j - 17, 3*j = -j - 2*f + 22. Suppose -j*i = 2*n - 2017, -4*n + 1835 = 4*i - 861. Is i a prime number?
False
Let x = 921 + -584. Let k = x + -201. Let s = 210 - k. Is s prime?
False
Let y(t) = 11*t**2 + 18*t - 22. Is y(21) prime?
False
Let z(c) = 106*c**2 + 9*c - 17. Is z(-26) composite?
True
Let p(w) = -4476*w - 97. Is p(-9) prime?
False
Let v(z) = 8*z**2 - 6*z - 1. Let t be v(6). Let s = -26 - 106. Let g = s + t. Is g a prime number?
False
Suppose -q + 4 = -3*q. Is q*(2314/(-4) + (-9)/3) composite?
False
Let z(c) = 141*c - 13. Suppose 2*k = 3*k - 1, 0 = -4*j - 2*k + 18. Is z(j) composite?
True
Let n = 1140 - 1326. Let x(c) = -4*c**2 - 2*c + 5. Let o be x(4). Let u = o - n. Is u prime?
False
Suppose x + x = -2*x. Suppose x*q - 10*q + 4990 = 0. Is q a prime number?
True
Let n be ((-1)/(-3))/((-2)/42). Let m(x) = -x**2 + x + 1. Let h(l) = 6*l**2 - 15*l - 11. Let u(d) = h(d) + 5*m(d). Is u(n) prime?
True
Let d = 11 - 9. Suppose d*c - 2 = c. Is 432 + -5 + (2 - c) a composite number?
True
Let k be (26/(-8) - -2)*-4. Suppose 4*w - 3*j + 17 = 0, -3*j + 2 = k*w + 3. Is -6*w/4 + 80 composite?
False
Suppose 0*l + 4 = 4*l. Let t(u) = 177*u + 1. Let j be t(l). Is (j/4)/(1/2) a composite number?
False
Suppose -4*s - s + 5*i = -3645, 2*s - 1463 = i. Is s composite?
True
Let v(c) = 70*c**3 + c**2 - 2*c + 19. Let o be v(5). Suppose 0 = 4*j - 1832 - o. Is j a prime number?
False
Let q(r) = -r**3 - 8*r**2 + 10*r + 12. Let w be q(-9). Suppose -4*c + 3145 = k, 2*k + 15 = -w*k. Is c a composite number?
False
Suppose 12 = 5*t - 2*q - 26, -4 = -t + 4*q. Suppose -10 = -t*f + 3*f. Suppose f*p + 85 = 3*p. Is p a composite number?
True
Suppose -5*q - 23 = -4*w, 0*q = 5*w - 4*q - 40. Let t be (-16)/(-6) - 8/w. Is (53/t)/(4/40) prime?
False
Let c(t) = t**3 + 17*t**2 - 10*t - 54. Is c(-10) a prime number?
False
Let k(o) be the third derivative of -1/6*o**3 + 1/12*o**4 + 0 - 4*o**2 + 23/60*o**5 + 0*o. Is k(2) a prime number?
False
Is ((-386042)/(-114))/(2/30) - 6 a prime number?
True
Let o(s) = 230*s - 25*s - 22 + 409*s. Let l be o(11). Suppose 4*m = -1040 + l. Is m prime?
True
Suppose 3*j = -3*m - 9, -5*m - 19 = 1. Let t(u) = 313*u + 4. Is t(j) prime?
True
Suppose -5*i + 5*y + 20 = -10*i, -5*y - 20 = 3*i. Suppose 5*q - 6450 + 2195 = i. Is q a composite number?
True
Let w(i) = 30494*i - 67. Is w(1) a composite number?
False
Suppose -3*x = -a - 21838 - 39368, 20398 = x + a. Is x a composite number?
True
Let i = -312 - -129. Let o = -82 - i. Suppose -3*t = -2*r - 106 - 157, t - 4*r = o. Is t a composite number?
True
Is (-2129)/(0 + 4 + -3 - 2) a prime number?
True
Let w(r) = -r**3 + 8*r**2 + 6*r - 5. Let m(u) = -u**3 + 5*u**2 - 2*u - 1. Let x be m(4). Let a = x + 1. Is w(a) a composite number?
False
Let t = 106001 + -65214. Is t a prime number?
True
Let v be -2 + (-28)/(-4) + -1. Suppose -5*t = 5*j - 3435, -4*t + v*j + 1428 = -1304. Is t composite?
True
Suppose 3*o - 14445 = 3*z, 2*z + 3*z = -10. Is o a prime number?
True
Let c = 4960 + -3447. Is c a composite number?
True
Suppose 161*d - 1462 = -s + 162*d, 4*d = 2*s - 2916. Is s a prime number?
False
Let l = 9116 - 1215. Is l composite?
False
Suppose -6*w + 10768 = -1466. Is w composite?
False
Suppose -11*y = -12*y + 1657. Is y a composite number?
False
Suppose 5*k + 3 = -4*i, -8*k + 3*k + 5*i = 30. Is (k/(-2) + -1)*(-3 + 577) prime?
False
Let z be 0 + (0 - 0) + 0. Suppose -4*g + 2*y - 13 + 1 = z, g = -5*y + 8. Is (-104771)/(-255) - g/15 a prime number?
False
Suppose 2*j = 10 - 0. Let z = -5 + j. Suppose z*l + 3*l - 269 = -h, -l = -h + 261. Is h composite?
False
Let p(v) = v - 8. Let z be p(10). Let u be (1 + 2/z)*4. Suppose u*l - 185 = 3*l. Is l a composite number?
False
Suppose 0 = 3*l - q - 1517, -3*l + 2*q + 619 + 900 = 0. Is l a composite number?
True
Let o be (3520/25)/((-9)/5 + 2). Suppose -2*d - 4*g + 2470 = -o, 2*g = d - 1567. Is d composite?
True
Suppose -10*q + 62048 = 16688. Suppose -u - 6*n = -11*n - 1140, -4*u = 4*n - q. Is u a prime number?
False
Let v(p) = p**2 - 13*p - 6. Let b be v(11). Let o = b + 43. Is o a composite number?
True
Suppose -5*u + 16 = -3*u. Suppose -u*g = -5*g - 393. Is g composite?
False
Let s(q) = -8*q**3 - 3*q**2 - 5*q - 13. Is s(-6) prime?
True
Suppose o = 4*o - 153. Suppose 4*v + 60 + 52 = 0. Let x = v + o. Is x prime?
True
Suppose -90*w + 97*w - 59962 = 0. Is w composite?
True
Let s(u) = -5*u**2 + 6*u - 19*u**3 + 6*u + 4*u - 21*u - 1. Suppose 4*z = 7*z - 3*n - 9, -4*n - 30 = 5*z. Is s(z) composite?
True
Let c be -2*126 + -1 + 5. Suppose -2*k + 10 = 3*k. Is 0 + k + (1 - c) a composite number?
False
Let l(g) = 5008*g + 485. Is l(6) a composite number?
True
Let f = -19 - -1. Let v = 27 + f. Suppose 6*n = v*n - 921. Is n composite?
False
Suppose 8*o = -3*o + 8459. Is o composite?
False
Let o be (-18)/(-12)*(1 + -2 - 5). Is 33*(0 + (-411)/o) prime?
False
Let d = 9888 - 6529. Is d a composite number?
False
Let q be (-16)/4 - -2 - -3. Let m(a) = -2383*a**2 + a. Let h be m(q). Is (-9)/6*h/9 a composite number?
False
Let v(y) = -16*y**3 - 4*y**2 - 5*y - 13. Let f be v(-4). Suppose 0*a - 5*a = -4*r - f, 5*a = 3*r + 964. Is a a prime number?
True
Let d = 10656 + -889. Is d a prime number?
True
Is (0 - 2)/((-6)/127671) a composite number?
False
Suppose 12*n + 96 = 8*n. Let c(x) = -34*x - 37. Is c(n) prime?
False
Let f(q) = -2*q + 2*q - q. Let r be f(-5). Let z(w) = 5*w**2 - 4*w - 8. Is z(r) composite?
False
Suppose -m + f - 2 = 0, -2*m = -0*m + 3*f - 11. Let l(k) be the second derivative of 53*k**5/5 - k**4/6 + k**3/3 - k**2/2 - k. Is l(m) a prime number?
True
Let x = -3102 - -5285. Is x composite?
True
Suppose -8*v - 4*v + 300 = 0. Suppos