288, -93 = -v + c*b. Is v composite?
True
Let o be 32/(-12)*9/(-6). Suppose 2*v + 5*b = 1336, -b = -v + o*b + 683. Is v a composite number?
False
Suppose 4*k = -f - 1, k + 4*f = -3*k - 16. Is (-1)/(((-3)/111)/k) a composite number?
False
Suppose -20*k = -7*k - 3211. Is k a composite number?
True
Let l(y) = -y**3 - 5*y**2 - 4*y + 3. Let u be l(-4). Suppose u*c - 2462 = m + 3*m, -c + 808 = 5*m. Is c/10 - 4/(-20) composite?
True
Let k be (-3 - -2)/(1/15). Let o = k - -22. Is o a prime number?
True
Is (-2)/5 + (-42564)/(-60) prime?
True
Suppose -200 = 3*a + 4*m + 160, -2*m = 4*a + 490. Let j = a - -198. Is j composite?
True
Is -337*(4 - (2 + 3)) a prime number?
True
Let x = 3 + -5. Let g be (-2)/(-6)*(x - -14). Is ((-4)/6)/(g/(-978)) prime?
True
Let c(u) = u**3 - 5*u**2 - 5*u - 2. Let q be c(6). Suppose -7*o + q*o - 88 = 2*z, -4*z - 3*o = 176. Let h = -25 - z. Is h composite?
False
Let q be (-4)/(-10)*(1 + 4). Suppose -c + g + 55 = -0*c, g + q = 0. Is c prime?
True
Suppose -5*d = -0*d - 715. Is d composite?
True
Suppose 4*i - 9 - 21 = 2*f, 0 = -5*i - 5*f. Let o(u) = -u**3 + 4*u**2 + 3*u + 7. Let v be o(i). Let p = v - -16. Is p a composite number?
False
Suppose -4*w + 2*u - 1 = 1, 3*w - 5*u + 5 = 0. Suppose w = 3*d + 19 - 343. Suppose -5*q - 3 = -d. Is q composite?
True
Let y(v) = 101*v - 21. Is y(10) a prime number?
False
Let z = -497 + 948. Is z a composite number?
True
Suppose -8*l + 6*l + 818 = 0. Is l a composite number?
False
Let z(q) = 4*q - 13. Let n(i) = -3*i + 12. Let f(h) = 3*n(h) + 2*z(h). Is f(0) composite?
True
Let p = 8 - 6. Is (0 + 1)/(p/30) a composite number?
True
Suppose 1 = -c + 2. Is (c - 0)/(6/282) composite?
False
Suppose 139 = 4*k + 4*d - 533, -4*d + 346 = 2*k. Is k a composite number?
False
Let q = 217 - 90. Is q a prime number?
True
Suppose -4*g + 81 = q - 0*q, -3*g - 313 = -5*q. Suppose -m - 8 + q = 0. Is m prime?
False
Suppose -2*g + 5*g = 1650. Let u = -347 + g. Is u composite?
True
Suppose 4*w = 4*d + 520, w - 82 = 5*d + 32. Is w a composite number?
True
Suppose -z = -6*z + 30. Is (-1527)/(-18) + 1/z a prime number?
False
Suppose -i = -4*l - 67, -97 = 4*l + 2*i + 3*i. Is (-4)/(-18) - 4442/l a composite number?
True
Let y = 10 + -8. Suppose 0 = 5*u + y*i + 3*i - 30, -5*u = 2*i - 18. Is 1/(-4)*u*-14 a prime number?
True
Is -1*(-5 + -134 + 0) prime?
True
Let g be 4/10 - 426/15. Is g/6*156/(-8) a composite number?
True
Suppose 0 = -b - 0*b - 137. Let g = 267 + b. Suppose 2*a = -4*u + g, -58 = -a + 2*u - 13. Is a a prime number?
False
Let n(z) = 2*z - 11. Let c be n(8). Let a = c + 2. Is a composite?
False
Suppose x + 5*g = 5*x - 22, x = -3*g - 3. Let k be (x - 4 - -3) + 3. Let l(t) = t**3 - 4*t**2 - 4*t + 6. Is l(k) a prime number?
True
Let i be (-1)/3 - 3140/12. Is i/(-14) - (-10)/35 prime?
True
Suppose -3*s - 8 = -35. Let i(p) = -s*p + 0*p - 5*p - 8 + p. Is i(-9) a composite number?
False
Let h be (3 + 39/6)*-6. Let c = 124 + h. Is c composite?
False
Let l = -39 + 41. Let h(x) be the third derivative of 11*x**4/8 - x**3/6 + x**2. Is h(l) prime?
False
Is (-21208)/(-11) - (1 + 0) prime?
False
Let y = 3 + -1. Suppose -2*h - y = 0, 173 = 5*m + h + 44. Is 4/m + (-1136)/(-52) a prime number?
False
Let j be (-21)/35 + (-39806)/(-10). Suppose -d = -3*m - m + 3184, -3*d + j = 5*m. Suppose b - 225 = -2*n, 5*n = -4*b + m - 229. Is n a prime number?
False
Suppose 5 = -q, -4*g + 2*g + 3*q = -5. Is 2/g - 2451/(-15) composite?
False
Let t = -156 - -93. Suppose 5*g + 1 = 2*l + 44, l + 3*g + 38 = 0. Let k = l - t. Is k composite?
True
Let a(b) = -b**2 + 37. Suppose -2*v = 3*v. Is a(v) composite?
False
Suppose m - 754 + 14 = 0. Let n be m/25 - 4/(-10). Suppose 4*a - n = a. Is a a prime number?
False
Let i = 11 - 8. Let d be (-2)/(i/5 + -1). Suppose d*s - 6*p - 341 = -2*p, 0 = -3*s - 4*p + 179. Is s composite?
True
Let g(o) = 13*o**2 - 4*o + 3. Is g(6) composite?
True
Let v(w) = 2*w**2 - 16*w - 7. Is v(15) a prime number?
False
Suppose -2*d = -4*d - 18. Is (-462)/d - (-1)/(-3) a prime number?
False
Is (143/(-65))/((-1)/5) a prime number?
True
Let z(n) = 2*n**3 - 2*n**2 - n + 1. Let u be z(2). Let j(w) = 3*w**2 - 10*w + 6. Is j(u) composite?
False
Let l = 1920 - 1340. Suppose -2*k + 6*k = l. Is k a composite number?
True
Let z(f) be the second derivative of f + 5/6*f**3 - 1/2*f**2 + 0. Is z(1) a prime number?
False
Suppose -2*q - 6 = 4. Let m = 48 - q. Is m a prime number?
True
Suppose 2 - 6 = 4*o. Let x(r) = -5*r**3 - r**2 - r - 1. Let j be x(o). Is 55 + 3*j/(-6) composite?
False
Let f = -449 + 814. Let s = -211 + f. Suppose 3*p - p = s. Is p composite?
True
Let t = 5 - 3. Let b(d) = -3*d - t*d + 9 + 7*d. Is b(7) composite?
False
Let r = -1 - -5. Is 88 + 3/(r - 1) a prime number?
True
Suppose 0 = 8*n - 13*n + 2045. Is n a prime number?
True
Suppose -125 = -2*i + i + 4*w, 0 = 5*i - 4*w - 577. Is i prime?
True
Let y be (36/(-10))/(6/(-40)). Suppose 0 = 5*j - 2*a - 44, 8*a = -3*j + 3*a + 45. Let c = y - j. Is c composite?
True
Suppose 2*t = 271 + 39. Suppose y = 0, h - t + 66 = 2*y. Is h a prime number?
True
Let v(o) = -o + 8. Let y be v(6). Suppose 2*n + 10 = -0*n, -y*p - n = -317. Is p a prime number?
False
Let b = 178 - -359. Is b a prime number?
False
Let m = -3 + 0. Let f be 0 - 1 - (1 + m). Is ((f - 3)/1)/(-1) composite?
False
Let w = -172 - -1018. Is 2/5 + w/10 composite?
True
Let k be 4/14 + 52/14. Let w(x) = -x**3 + x**2 - 7*x + 1. Let j(n) = -n**3 + n**2 - 8*n. Let h(u) = 4*j(u) - 5*w(u). Is h(k) composite?
True
Let f be 1*2 - (-6 + 4). Suppose -5*c = -f - 6. Suppose -4 = r - 4*j, j = -2*r + c*j + 6. Is r a composite number?
True
Suppose f - 2 = 1. Let c = f + 1. Is 57/c + (-2)/8 prime?
False
Suppose 11*c - 4*c = 28. Is 192*1 - c - 1 a composite number?
True
Let t(n) = n**3 + 4*n**2 + n - 3. Let x be t(-3). Suppose x*z = 4*z - 7. Is z a composite number?
False
Is (-2 - 9/(-6))*-1262 composite?
False
Let h(z) = -z + 3. Let t be h(0). Suppose 2*d - 252 = -t*n, -5*d = -d - 2*n - 488. Is d a prime number?
False
Suppose -1417 = -2*q + r + 1014, -r + 4871 = 4*q. Is q prime?
True
Let s be 66/(-4)*(0 - 6). Suppose 5*k + 230 = -0*k. Let b = s + k. Is b a prime number?
True
Let d = -7 + 230. Is d a composite number?
False
Let r(w) = -9*w - 8. Is r(-7) a prime number?
False
Suppose 3*s + t - 104 = 0, -2*s + 23 = 4*t - 43. Let v = 234 + s. Is v composite?
False
Suppose 64 = -j + 5*j. Let v = j - -37. Is v prime?
True
Let p = 458 - 91. Suppose 3*v - p = 386. Is v prime?
True
Let a(b) = 5*b + 7. Suppose -2*p + 3*z = p - 21, 3*z = -p + 11. Is a(p) composite?
False
Let p = -13 + 15. Is (-166)/(-3) - p/6 prime?
False
Let s(p) = -p**3 + 8*p**2 - 6*p - 3. Let q = 25 + -18. Let z be s(q). Suppose -m + z = -17. Is m composite?
True
Suppose -i + 6*i = -1285. Let f = i + 468. Is f a composite number?
False
Let c(k) = 995*k**2 + 4*k - 5. Is c(2) prime?
False
Let w be 3 - -631 - -3*1. Suppose 4*o = 5*z + w, o + 3*z = -z + 175. Is o prime?
True
Is (0 - 2)*118079/(-62) a composite number?
True
Let z = -1 + 6. Suppose 0 = 2*l - 17 + z. Suppose 0 = 5*f - 3*n - 727, 3*f - l*f = n - 425. Is f a prime number?
False
Let m = 22 + -7. Let k be 16/(-6)*(-6)/(-4). Let z = m + k. Is z composite?
False
Let b = -41 + 928. Is b composite?
False
Let x(z) = -6*z**3 + 2*z**2 + 12*z - 13. Is x(-6) composite?
False
Suppose 4*j - 7 = -5*r + 5, -4*r = -5*j + 15. Suppose 3*o = -j*o + 1062. Is o a composite number?
True
Suppose 0 = 2*v + 4*j + 371 - 1265, j = -4*v + 1816. Suppose -5*x + 0*x + v = 0. Is x a prime number?
False
Let i(y) = y**3 - 10*y**2 + y - 6. Let x be (-7)/1*10/(-7). Let p be i(x). Suppose k + 177 + 94 = p*w, 4*w - 5*k = 283. Is w prime?
True
Suppose -4*k = 3*q - 0*k - 28, 0 = 5*k - 20. Suppose -2*y - q + 48 = 0. Is y composite?
True
Let a be (25/(-4))/((-1)/20). Let n = 192 - a. Is n composite?
False
Let z = 8 - 1. Suppose -2*m = -z*m + 1685. Is m a composite number?
False
Let q(d) = -4*d**2 + 2*d + 2. Let t(w) = 8*w**2 - 3*w - 5. Let j(u) = -7*q(u) - 3*t(u). Is j(8) composite?
True
Suppose 445 = 3*z - 2*z. Is z a prime number?
False
Let m = -4 + 9. Suppose -u - 4*w + 5 - 2 = 0, -m*u = -w - 57. Is u composite?
False
Let d(f) = f**3 + 5*f**2 + 3*f + 2. Let c(k) = -5*k**2 + 2*k - 1. Let i be c(1). Let q be d(i). Suppose r - q = 133. Is r composite?
False
Let 