uppose -4 = w, -37 = -5*c + 2*w + w. Let y be (-3)/(-4) - 3/(-12). Is (6 - c)*(y - -156) prime?
True
Let g(w) = -334*w**3 + 3*w**2 - 3*w. Let s(x) = 262523*x**3 - 2359*x**2 + 2359*x. Let o(m) = 2359*g(m) + 3*s(m). Is o(-1) prime?
True
Suppose -1628 = -z + 983. Is z a prime number?
False
Let o = 2 + 0. Let c be (8/o)/(4/(-268)). Is ((-2)/(-4))/((-2)/c) a composite number?
False
Let y = -277 + 420. Is y a composite number?
True
Suppose -2*m - 5*o - 12 = -0*m, 0 = m + 5*o + 16. Suppose w - m = -0. Suppose c = 2*c - 3, -w*v = 2*c - 490. Is v a prime number?
False
Let a be 2/(5/(-3) - -1). Let y = 29 + a. Is y - (-2)/(2*-1) a prime number?
False
Let c = 479 + -340. Is c a composite number?
False
Suppose -5*y = -22*y + 3757. Is y composite?
True
Let a be (-2)/(62/(-58) + 1). Suppose a = 5*p + 134. Let h = -10 - p. Is h prime?
True
Suppose -5*o - 4*y = -1115, -2*o - 2*y + 217 = -o. Suppose -3*h - 4*v + 51 = -88, -o = -4*h + 3*v. Is h a composite number?
False
Suppose 593 = 4*q - 575. Suppose -4*r + 0*z - 4*z + 224 = 0, -z = 5*r - q. Is r composite?
False
Suppose 447 = -3*y - 3*l, l - 4*l + 589 = -4*y. Let o = y + 527. Is o a prime number?
True
Suppose 3*d + 30 = 5*s, 4 - 12 = -2*s + 2*d. Let j be (-254)/(-4) + s/18. Is 2 + j + (-1 - 0) composite?
True
Suppose 3*c - 7*c = -24. Suppose -c*k + 55 = -k. Is k a prime number?
True
Let r(y) = -y**3 + 16*y**2 + 15*y + 17. Let a be r(17). Let w(n) = -n**2 - 19*n - 24. Is w(a) a composite number?
True
Let o(f) = -f**3 - 3*f**2 + 2*f + 7. Suppose 0 = 4*p + t + 27, 3*p + 4*t + 20 = -2*p. Is o(p) a composite number?
False
Is 2107/2 - (-3)/2 composite?
True
Suppose 2*k = -s + 7, k + 0*k + 2*s + 4 = 0. Let q(l) = l**2 + 4*l + 5. Is q(k) prime?
False
Suppose 0 = 5*r - 2*f - 894, -3*r - 4*f - f + 555 = 0. Let v = r - 127. Is v prime?
True
Let a = -38 - -69. Is a composite?
False
Suppose -663 + 267 = -3*k. Suppose 4*n = -0*n + k. Is n prime?
False
Let i(u) = -11 + 5*u + 0*u + u**2 - 8*u. Is i(-8) a composite number?
True
Suppose -x + 0*x = -3*i + 13, 5*x = -i - 1. Suppose -o + 0*o - i*y = 11, 2*o = y + 5. Is 1/((-1)/(-89)*o) a prime number?
True
Suppose -4*m - 524 = -3120. Is m composite?
True
Let s = 607 - 424. Is s a composite number?
True
Let a = -29 + 43. Suppose -4*u + 2 = -a. Suppose -u*v = -v - 21. Is v prime?
True
Let o be (123/12)/(1/4). Let q = o + -16. Is q prime?
False
Let b(q) = q**2 + 5*q - 7. Let m = -7 + 13. Is b(m) a prime number?
True
Let f be (1/(-3))/((-2)/12). Suppose 0*s = -3*s + 12, -4*i + f*s + 4 = 0. Suppose 0*k = i*k - 393. Is k a composite number?
False
Let q be (-10)/(-2)*24/20. Let h be (-131)/(-2) + q/(-4). Let n = h + -38. Is n prime?
False
Let q(d) = -d**3 + d**2 + d. Let v(t) = 3*t**3 - 8*t**2 + 2*t + 2. Let a(k) = -2*q(k) - v(k). Is a(-5) prime?
True
Let o(z) be the third derivative of 3*z**5/20 - 5*z**3/6 - 2*z**2. Is o(6) prime?
False
Let u(a) be the first derivative of a**3/3 + a + 4. Is u(6) a prime number?
True
Suppose -3*x = -4*q + 442, -3*q = -x - x - 331. Let l = q - 63. Is l a prime number?
False
Let m(y) be the second derivative of 5*y**3/6 + 12*y**2 - 9*y. Is m(11) a prime number?
True
Let u be 3/1 - (1 + -3). Is u/((-5)/2) + 37 prime?
False
Let j = 1 - -3. Is (0 - 1)/(j/(-236)) prime?
True
Let k(a) = -a**2 - 2*a. Let m be k(-2). Suppose m = 5*i - 4*c + 387, 3*i - 2*c + 101 = -132. Let n = i + 114. Is n a prime number?
False
Let m = 0 - -4. Let o(g) = 2*g**2 - 4*g + 6. Is o(m) a composite number?
True
Suppose l - 434 = -4*w, -3*l + 5*w + 521 = -781. Let n = l - 277. Is n prime?
True
Suppose -4*z + 39 = -85. Is z prime?
True
Let f = 4 + -1. Suppose 2*h = 5 + f. Suppose h*k + 15 = j, -5*j + 2*k + 75 = 5*k. Is j a composite number?
True
Let v be (1 - 17/2)*2. Let t = v - -46. Is t prime?
True
Let u(l) = l**3 + 299. Is u(0) composite?
True
Let y = 9 - 4. Suppose -y*b + 1 = -24. Let h(p) = 3*p - 4. Is h(b) a prime number?
True
Let u = 3 + -3. Suppose u = -4*o + 2*r - 1 + 5, 23 = 5*o + 2*r. Suppose 0 = -o*s - 2*j + 199, -3*s + 339 = 2*s - 4*j. Is s a prime number?
True
Let z = -6 + 12. Suppose -o = 2*o - z. Suppose 0*u = -o*u + 102. Is u a prime number?
False
Let o = -143 + 200. Is o prime?
False
Let q = 521 + -371. Let z = -97 + q. Is z a prime number?
True
Let v be 5/(-2)*(-6)/5. Suppose 0 = v*j - 5*o - 139, 5*j - 3*o + 0*o = 221. Is j a prime number?
True
Let a(i) = -i**2 - 14*i - 5. Let z = -2 + -8. Is a(z) prime?
False
Let x be (-2)/(-6)*36/4. Suppose -x*t = -4*t + 131. Is t a composite number?
False
Let v be 6/14 + 8105/35. Is (-51)/(-2)*v/12 a composite number?
True
Let s(m) = -m**2 + 7*m + 5. Let o be s(7). Let f be o*(16/(-10) + 2). Suppose 0*y + 154 = f*y. Is y a prime number?
False
Suppose 4*y - b - 22 + 389 = 0, 5*b = 2*y + 197. Let m = 206 + y. Is m a prime number?
False
Suppose 15976 = 5*h - 15259. Is h a composite number?
False
Let x be 15/(-20)*(-25 + 1). Let i be 3/(x/(-154))*-6. Is i/2 - (2 + -4) composite?
False
Suppose b = -0*b + 33. Is b composite?
True
Is (-4)/18 - 3762/(-162) prime?
True
Let b(f) = -113*f - 3. Let t(y) = -y**3 + 7*y**2 - 7*y + 4. Let d be t(6). Is b(d) a prime number?
True
Let o(l) = l**2 + 3*l - 5. Let j be o(-5). Let t = -3 + j. Suppose q - t*s = -3*q + 42, s + 41 = 4*q. Is q composite?
True
Is 3/(-4) + (-13770)/(-24) a composite number?
True
Let i be 1 - (-9)/6*4. Suppose -1 + i = 2*c. Is c a prime number?
True
Suppose 2*c = -2*q + 698, c - 345 = -2*q - 0*q. Is c composite?
False
Is (6*1)/((-14)/(-119)) composite?
True
Let l(z) = z**2 + 12. Is l(-5) a prime number?
True
Suppose 0 = -2*w - 5*g - 22, -3*g + 3 = 3*w + 18. Is 2/(-3)*(-16 - w) composite?
True
Is 173 + 4 + 2 + -2 prime?
False
Let z(p) = 2*p**3 - 15*p**2 - 15*p - 9. Is z(11) composite?
False
Let b(r) = -4*r + 8. Let f be b(11). Let w = -37 + 24. Let q = w - f. Is q composite?
False
Suppose 0 = z - 3*n - 24, 4*n + 0*n = z - 23. Let f = z - 14. Is f prime?
True
Let x(b) = b**3 + 10*b**2 + 7*b - 12. Let l be x(-9). Is ((-3)/l)/(1/(-22)) a prime number?
True
Let h = 115 - -158. Let u = -178 + h. Is u a prime number?
False
Suppose 3*t = 7*t - 2836. Is t prime?
True
Let g(m) = m**3 - 6*m**2 - 6*m - 5. Let c be g(7). Suppose c*h + 5 = 3*h. Suppose -2*p - p - 5 = h*o, -5*p - 21 = 2*o. Is o a composite number?
False
Suppose -5*a = 10, l + 4 = -2*a + 7. Let f = l + -5. Suppose f*s - 4*x = 58, -3*s + x + 65 = 6*x. Is s a prime number?
False
Let i be (-36)/(-162) - (-313)/9. Let g(n) = n**3 - 6*n**2 + n - 1. Let m be g(6). Suppose i = -4*s + m*s. Is s composite?
True
Let n = -5 + 5. Is 2 - n - (-63)/3 a prime number?
True
Suppose 5*m - 2340 = 5*d, 4*m - 3*d + 1152 = 3025. Is m a composite number?
True
Suppose -5 = -3*p + 1. Suppose -z = -4*j - 331, -j - 4*j = p*z - 649. Suppose -z - 1178 = -5*r. Is r a prime number?
False
Suppose -14 = -i - 3*s, -3*s = -4*i - 6*s + 20. Suppose -3*f - 18 - 13 = -i*g, 0 = -4*g + 2*f + 50. Is g prime?
True
Suppose 8*t = 3*t - 40. Let q(w) = -3*w + 9. Is q(t) prime?
False
Let y = -14 - -10. Is 154/4 - (-6)/y a composite number?
False
Let g(d) = d**2 + 3*d + 4. Let v be g(-3). Suppose 4*q + 81 = -5*p, -v*q + 2*p - 8 = 38. Let z = q - -69. Is z a composite number?
True
Suppose 2*w = -3*m + 1240, 3*w = -m + 5*w + 416. Suppose 2*o + 4*g = m, 7*o + 2*g = 3*o + 816. Is o composite?
True
Suppose -11 = -n - 1. Is (-3)/(6/(-7))*n composite?
True
Is -4 + 7 - -718 - 1*-2 a prime number?
False
Suppose -4*o - 338 = -6*o. Is o composite?
True
Let t(k) = 1 + k - 7*k**2 + 30*k**2 + 8*k**2. Let s(l) = l**2 - 5*l + 2. Let a be s(5). Is t(a) prime?
True
Suppose 4*s = -4*a - 52, -4*a - 6*s + 3*s = 51. Let x(r) = -2*r - 3. Is x(a) prime?
False
Is ((-134)/4*-4)/((-6)/(-6)) prime?
False
Suppose 3*v + 4*g + 20 = -2*v, -2*g - 10 = -4*v. Suppose -2*h + m - 2 = -v, 4*h - 4*m = 0. Is 6 + -2*(-2)/h a composite number?
True
Suppose 3*o = 4*o - 5. Suppose -o + 2 = -h. Is 53 - (-3)/h*0 prime?
True
Let k(w) = -w**2 - 9*w + 10. Let l be k(-10). Suppose j + 2*j - 12 = l. Suppose 244 = j*z - 2*f, 2*f + 26 = z - 41. Is z a composite number?
False
Let i = -264 + 459. Suppose 0*n = -3*n + i. Is n a composite number?
True
Let c(t) = 29*t. Let m be c(3). Let u = m + -18. Is u a prime number?
False
Suppose 17 = -3*f - 43. Let m = 74 + f. Suppose 3*r - 2*d = -r + m, 10 = r - 4*d. Is r prime?
False