-3*z - n + 6*n = 0, v*z - 12 = n. Suppose -a + 49 = -4*q, -3*a - z*q = 34 - 113. Is a prime?
False
Let u(c) = -c**3 + 6*c**2 - c + 6. Let m be u(6). Let r = 2 + m. Suppose 5*x = -3*n + 751, 5*n - 12 + r = 0. Is x a prime number?
True
Suppose 0 = 4*j - 12, 3*l + 2*l - 5*j = 10. Suppose -l - 1 = -3*t. Suppose -10 - 28 = -t*u. Is u a composite number?
False
Let j be (2*1)/(-2 + 3). Let p(s) = 9*s**3 + 3*s**2 - 2*s + 3. Is p(j) a composite number?
False
Let f(y) = 3*y**2 + 4*y + 4. Is f(-5) composite?
False
Suppose -2*f = 2*s + 84, 8 = -4*s - 4. Let k = f - -20. Let r = k - -78. Is r a composite number?
False
Let w be 9/(3*-1)*1. Let q = w - -3. Suppose 3*r - 85 - 14 = q. Is r composite?
True
Let k(o) = -104*o - 2. Let x be k(-4). Suppose 3*u - 6*u = -x. Suppose 3*s = -0*s + u. Is s composite?
True
Let l be 0 + 0*(-2)/2. Let w be (-29)/(-1) + 0/6. Suppose l = 2*c + w - 91. Is c prime?
True
Let r = 2 + 0. Suppose -5*l = -r - 18. Is (-113)/l*(-4)/1 a composite number?
False
Suppose -4*v + 3*v + 7021 = 2*g, 7016 = 2*g + 2*v. Is g a prime number?
False
Let j = -2 - -8. Is (56 - 2) + j/(-2) composite?
True
Let t = 1667 + -533. Suppose -2*y = -3*r + 3*y + 1116, 3*r + y - t = 0. Is r composite?
True
Suppose 5*o = -2*q - 36018, -q + 90022 = -6*q - o. Is (-2)/11 + q/(-44) a prime number?
True
Let j(c) = c**3 - c**2 + c + 58. Let k = 4 - 4. Is j(k) a composite number?
True
Let z(a) = 22*a**2 + 1. Let r(h) = -h**3 + 8*h**2 + 2. Let c be r(8). Is z(c) prime?
True
Suppose 3*q + 317 = 4*q. Is q a composite number?
False
Let y(k) be the third derivative of -47*k**6/120 + k**4/12 + k**3/6 + 4*k**2. Is y(-2) composite?
False
Let h(l) = 63*l - 1. Suppose -3*b - 13 = 5*r, -4*r + 3*r + 7 = 3*b. Is h(b) prime?
True
Suppose 6*n + 1255 = 32797. Is n composite?
True
Let x = -651 - -1011. Suppose -4*p + x = 52. Is p composite?
True
Let o(d) be the second derivative of -d**5/20 - 5*d**4/6 - 2*d**3/3 + 7*d**2 + 5*d. Is o(-11) a composite number?
False
Suppose 0 = 2*x - 3*l - 425, -3*x + 3*l = -2*l - 638. Is x composite?
False
Let a(i) = 164 + 4*i - 3*i - 5. Let s be a(0). Suppose 0 = 2*v + v - s. Is v composite?
False
Let u(a) = 13 - 5*a**3 + 5*a**2 - 3*a**2 - 4 + 3*a - 8. Is u(-3) a composite number?
True
Let v be -4*(-3 - -4) + 4. Suppose 5*g + g - 690 = v. Is g composite?
True
Let m = 4 - 19. Let z be (1/(-3))/(1/m). Suppose -3*c - 2*l + l = -66, -3*l = z*c - 106. Is c a composite number?
False
Let s(j) = 2*j**2 + 5*j + 8. Let c(v) = v**3 + 4*v**2 + 4*v - 2. Let z be c(-4). Let d = z + 11. Is s(d) prime?
True
Let d = -6 + 5. Is (2*(-37)/2)/d a composite number?
False
Let b be 4/14 + 57/21. Suppose -b*u + 60 - 3 = 0. Is u a prime number?
True
Suppose 15 = -z - 4*z. Is z - (-2 - 5)*11 a composite number?
True
Let q be 404/20 - (-2)/(-10). Suppose -q = -b - b. Is b a prime number?
False
Let n be (-2 + 1 - -2)*-3. Let g be (-1 - 10)*(-1 - n). Is g*2/(4/(-2)) composite?
True
Let g(w) = -298*w - 21. Is g(-4) a prime number?
True
Let h be (-30)/(-1 + 21/27). Let q = 30 + h. Suppose 5*v = q + 130. Is v prime?
True
Let b be (-4)/(-8) + (-2)/(-4). Is ((-1)/(-1)*7)/b prime?
True
Let d(j) = 3*j**2 - 10*j + 11. Let r be d(10). Suppose -5*a + r - 36 = 0. Is a a prime number?
False
Let q be (-14)/49 - (-4)/14. Suppose -3*t + 2*t + 2 = q. Is -530*(t - (-10)/(-4)) a composite number?
True
Suppose -2*b - b = -78. Let u = b - -41. Is u a prime number?
True
Is 6/12*(194 + 0) prime?
True
Let h(f) = 96*f - 2. Let p be h(3). Suppose p = 5*q - 29. Suppose -z - q = -4*z. Is z a prime number?
False
Suppose j + 5*j - 2838 = 0. Is j a composite number?
True
Is (2 - (5 + -2)) + 297 + -3 a prime number?
True
Suppose j + 2*r + 6 = 0, 7*j + 4*r + 8 = 4*j. Let c = j - 0. Suppose -3*y + t + 81 = 7, -c*t = -y + 43. Is y a composite number?
False
Let z(j) = -j**3 - 7*j**2 - 6*j + 14. Is z(-6) a prime number?
False
Suppose o + 21 = 4*f, 4*o - 6 = -2*f - 0*o. Suppose 4*i + i - 5*d = f, -3*i + 11 = -5*d. Is -1*(87/i + -2) prime?
True
Suppose 939 = 3*f - 4*a, -2*a + 320 = f - a. Is f composite?
False
Suppose 5*k - 1450 = -5*u, -3*k + 1448 = 5*u - 0*k. Is u prime?
False
Let t be (-7348)/(-16) + 3/4. Suppose 5*r - 8*o - 575 = -3*o, 0 = -4*r - 2*o + t. Let m = -2 + r. Is m composite?
False
Suppose 0 = -3*u - 6*d + d + 628, -5*u = 2*d - 1053. Is u prime?
True
Let i = -1 - 5. Let k be 4 - (-3)/(i/4). Suppose -k*f + 273 = f. Is f a prime number?
False
Suppose -4*x - 19 = 13. Is (-294)/x - (-1)/4 prime?
True
Let p be ((-6)/5)/((-2)/5). Suppose z + p*z = 5*j + 1884, 2*j = -5*z + 2355. Suppose 3*x = 6*x - z. Is x a prime number?
True
Suppose -4*t - 6 + 18 = 0. Suppose 0 = s + 3*s - 344. Is s/6 - (-2)/t prime?
False
Let m = 76 - 21. Is m a prime number?
False
Let a(w) be the first derivative of 2/3*w**3 + 2 + 0*w**2 - w - 9*w**4. Is a(-1) composite?
False
Let c(n) = 60*n - 1. Let j be c(3). Suppose 0 = 2*u - 63 - 27. Suppose -5*q + 271 = -z, -4*q - z + u + j = 0. Is q prime?
False
Suppose -2*a - 3*t = 0, 3 - 9 = -a - 3*t. Is 54 + (-9)/(a/(-2)) a composite number?
True
Let t(f) be the first derivative of -41*f**2/2 - 3*f + 1. Is t(-2) a composite number?
False
Suppose 0 = 4*o + 2 + 2. Is o - (-31 - 2 - 3) prime?
False
Suppose -127 = n + 3*l, -2*n - 3*l - l - 256 = 0. Let q = n + 421. Is q composite?
True
Suppose -3*l - 1284 = -5*c, 2*l = 6*l - 8. Suppose f - 2*j - 377 = -2*f, -2*f = 2*j - c. Is f a prime number?
True
Suppose -b - b = -26. Suppose 8 = 3*q + 2*n - 15, -3*n = -5*q + b. Suppose -h + 3*h = 2*s - 38, -q*s + 135 = 5*h. Is s a prime number?
True
Let h = 930 + -622. Is (-4)/6 + h/21 a prime number?
False
Suppose 6 = 3*k, -3*p + 2*p - 3*k = 191. Let j = -84 - p. Is j prime?
True
Let a(t) = t**3 - 6*t**2 + 2*t - 7. Let d be a(6). Suppose -d*j = -j - 388. Is j a composite number?
False
Let l = 682 - -183. Is l a prime number?
False
Suppose -2665 = -6*a - 7*a. Is a composite?
True
Is -7984*2/(-14) + 3/7 composite?
True
Suppose 10 = -2*u, -2*u = -5*f + u + 22690. Is f a composite number?
True
Let f = -19 - -22. Suppose -5*t = f*m - 1118, 0*t + 5*m = -5*t + 1120. Is t prime?
True
Let h = -19 + 22. Is h a prime number?
True
Suppose -158 - 137 = -s. Is s a composite number?
True
Suppose 0*i + 2 = 2*i. Suppose 0 = -3*r - 11 - i. Is (-581)/r - (-5)/(-20) composite?
True
Suppose -4*t + 2751 - 667 = 0. Is t a composite number?
False
Let i = -1334 + 1867. Suppose 558 = 2*f - 4*b, -5*f + i = 5*b - 922. Is f composite?
True
Suppose 2*x = 1304 - 318. Is x prime?
False
Suppose 12*u - 10779 = 9*u. Is u prime?
True
Let o = 1 - 4. Is (-3)/o*(-1 - -86) composite?
True
Suppose 5*h = 4*h + 2. Let i = h + 5. Is i a composite number?
False
Let t = -4 - -7. Suppose 275 = t*m + 4*w, -3*m + 8*m + 5*w - 460 = 0. Is m composite?
True
Suppose -5*h - 25 = 0, -3*q + 0*h + 20 = 2*h. Let z = q - -23. Is z composite?
True
Is (1082/6 + 0)*6 composite?
True
Let n be (24/9)/((-2)/(-3)). Suppose -5*l = 5*f - 80, 0 = -n*l + f + 9 + 30. Is l prime?
True
Let i = -639 - -1420. Let n = -399 + i. Suppose 3*s - s = n. Is s prime?
True
Suppose 2*b = 3*f - 36 + 369, -165 = -b + f. Suppose 0 = 4*m + b - 654. Is m a prime number?
False
Suppose 5*i = 4*x + 1453, 3*i = -x + 281 + 584. Let n = -66 + i. Is n a composite number?
False
Suppose -2*p = p + 24. Let y = 49 + -30. Let n = p + y. Is n a composite number?
False
Suppose -3*i + 1013 = 5*n, 0 = 4*i - 2*n - 2198 + 882. Is i prime?
True
Is 2253/9 - 2/(-3) composite?
False
Let b = -243 - -560. Is b prime?
True
Let b = -816 + 1154. Let n(t) = -240*t**3 - 2*t**2 + 1. Let f be n(1). Let i = b + f. Is i a composite number?
False
Let r be 1062*-3 - (1 + 1). Let u = -1789 - r. Is u prime?
True
Suppose 2*f - 4*b = 170, 3*b + 425 = 5*f + b. Is f a composite number?
True
Is 1 + 15/(-3) + 475 a prime number?
False
Suppose c + 5*s - 491 = -0*s, -5*s - 1473 = -3*c. Is c a composite number?
False
Suppose 3*b + 330 = -336. Let i = 343 + b. Is i a composite number?
True
Let y(n) = 41*n. Let g be y(-1). Let t = g - -96. Is t a prime number?
False
Let u be -2 + 2 - (-5 - -1). Suppose -16 = -u*w, w - 1024 = -4*d + 4*w. Is d prime?
False
Is 64*4 + 1 + -4 prime?
False
Suppose -l = -2*l + 161. Suppose 3*r - 5*t = l, 52 + 50 = 2*r + 2*t. Let c = -37 + r. Is c a composite number?
True
Suppose -3*h = -6 - 0. Let k be h/1 - 10*-3. Let