 + 28. Is x prime?
False
Let z = -742 - -1250. Suppose 0 = t - 5*t + z. Is t composite?
False
Let n(w) = -11*w + 9. Let u(v) = -23*v + 17. Let d(l) = -5*n(l) + 2*u(l). Let f be d(-5). Let q = -33 - f. Is q composite?
False
Let c(b) = 5*b**3 - 21*b**2 + 2*b - 15. Is c(8) prime?
True
Let z = 8 - 6. Suppose z*x + 726 = -x. Let b = x - -535. Is b prime?
True
Let v(u) be the first derivative of u**3 + u**2/2 - 3*u + 1. Suppose 3*x = -2*c + 6*c + 46, -5*x = 4*c + 30. Is v(c) composite?
True
Is (44/(-8) - -6) + 6626/4 prime?
True
Let g(s) = s**3 - 50*s**2 + 28*s - 249. Is g(50) prime?
True
Let b(h) = h**2 + 5. Let u be b(-4). Suppose -6*q = 141 + u. Is q/18*(0 + -6) a composite number?
True
Let i(v) = v**3 + 10*v**2 - 50*v - 9. Is i(12) composite?
True
Let x = -148 - -134. Is 31602/14 + (2 - (-32)/x) a composite number?
True
Let w(n) = 445*n**2 + 3*n - 2. Let a be w(3). Let s = a - 2534. Is s a composite number?
True
Suppose 6*y + 52003 = 213469. Is y composite?
True
Let s = 48067 - 16398. Is s prime?
False
Suppose -x + 4*f + 8 = 0, 4*f - f = -x + 8. Let p be 0/(1/(4/x)). Suppose -4*q + 1239 + 65 = p. Is q a composite number?
True
Suppose -2*r + 116202 = 2*w, -r - 12*w + 8*w + 58089 = 0. Is r prime?
False
Suppose 2*x - 3*x = 63. Let c be (-2 - -4) + 20*1. Let w = c - x. Is w a composite number?
True
Let j(p) = -p**3 - 15*p**2 + p + 9. Let w(g) = -g**2 - g. Let m(f) = -j(f) + 6*w(f). Suppose 0*d + 4*v = 2*d + 16, 0 = -4*d + 4*v - 32. Is m(d) prime?
False
Let i = -600 + 298. Let t be i*4/4 + 1. Let m = -170 - t. Is m prime?
True
Let y(t) = t - 1. Suppose 0 = -9*i + 12*i - 15. Let p be y(i). Suppose -4*l + 127 = -q, -p*q = 6 + 6. Is l a composite number?
False
Let c = 1 - 4. Let r = 3 - c. Suppose 4*j + 2*n - 42 = 0, -4*n = r*j - 5*j - 14. Is j prime?
False
Suppose 3 = t - 0*u + u, t + 4*u - 3 = 0. Let s(y) = 6*y**3 + 3*y**2 - 5*y + 3. Is s(t) a composite number?
True
Suppose 5*x + 10 = -65. Let c = x + 15. Suppose c*i = 4*i - 1012. Is i prime?
False
Suppose -2*l = -3*u - 0*l - 4, 4*u + 3*l = -11. Is ((-2274)/u)/(-3)*-1 a prime number?
True
Suppose 2*g - 6*g = 16. Let v be (-1)/g - (-95)/4. Is 8/v - (-892)/6 composite?
False
Let r = 45 + 0. Suppose 2*m = r + 57. Is 8/4 + m - -2 composite?
True
Suppose 82*q - 72*q - 70390 = 0. Is q prime?
True
Let v(t) = 60*t**3 + 3*t - 2. Let i be v(1). Let m = i - -616. Is m a prime number?
True
Let a = -13 + 16. Let p(n) = n**3 - 2*n**2 - 2*n - 3. Let r be p(a). Suppose r*m - 429 = -3*m. Is m prime?
False
Let l(n) be the first derivative of 261*n**2/2 + 2*n + 2. Let q be (-2)/(-6)*(-9)/(-3). Is l(q) a prime number?
True
Suppose 161*m - 154*m - 3647 = 0. Is m a prime number?
True
Let m = -16 - -14. Is (-2 + -204)*1/m composite?
False
Suppose 47*j - 5*j - 140154 = 0. Is j a prime number?
False
Let f = -1812 + 1217. Let i = 282 - f. Is i prime?
True
Let m = 11 + -7. Suppose 0 = -m*s + 3*j - j - 212, 0 = -4*s - 5*j - 212. Let n = 36 - s. Is n a composite number?
False
Let r = 674 - 3611. Let a = r - -6572. Is a composite?
True
Let j(l) be the first derivative of -2*l**2 + 1211*l - 38. Is j(0) composite?
True
Suppose 40*l - 36*l - 133585 = -5*c, -3*l = c - 100186. Is l a prime number?
False
Suppose 72872 = 9*j - 105337. Is j prime?
True
Let b = 46 + -66. Let g be 69/(-2)*b/3. Let q = -133 + g. Is q a prime number?
True
Is (-1*6/2)/((-264)/760232) prime?
False
Let j = 14863 - 5405. Is j prime?
False
Suppose 0 = 2*z, 4*z = -564*w + 563*w + 45599. Is w a composite number?
False
Suppose v - 6 = -2*t, -6*t + 14 = 3*v - 2*t. Let d = 44 - v. Let r = d + 11. Is r a prime number?
True
Suppose -5*g + 0*g = 0. Suppose -3*i + f + 7 = 0, f - 21 + g = -4*i. Suppose -5*b - 4*h + 0*h + 2919 = 0, 0 = i*b + h - 2333. Is b a prime number?
False
Let y = -1978 + 3076. Suppose -w = -7*w + y. Is w a composite number?
True
Suppose 3*q + 3*z = 3, 5*q - 4*z - 21 = -5*z. Suppose 7*x + 4*p - 5596 = 3*x, 6987 = q*x + p. Is x composite?
True
Is (-2)/((5/54030)/((-1)/4)) composite?
True
Suppose -2*n - 24318 = -4*t, -t - 13*n = -16*n - 6072. Is t composite?
True
Let t be (-532)/(153/54 + -1 + -2). Let o = -1657 + t. Is o a composite number?
True
Suppose 2*j - 28 = -2*j. Let p = -3 + j. Suppose 0 = 5*w - 15, p*v - 262 + 6 = 4*w. Is v a composite number?
False
Let n = -560 - -978. Let g = 111 + n. Is g prime?
False
Let t(o) = o**3 - 10*o**2 - 10*o - 11. Let p be t(10). Let l = -6 - p. Suppose 0 = -4*j + j + l. Is j composite?
True
Suppose 67503 + 12627 = 6*v. Is v a composite number?
True
Let o(a) = -a**3 + 17*a**2 + 16*a - 34. Let s be o(17). Is (17 - 18)/((-2)/s) - -3 a composite number?
True
Let m(l) = l**2 - 3*l + 5. Let r be m(2). Suppose 670 = r*b - 935. Is b a composite number?
True
Suppose 22*n - 21*n = 10. Let a be (6/n)/((-3)/(-60)). Suppose a*h - 10*h = 502. Is h a composite number?
False
Let j(g) = -2*g + 9. Let o = 8 - -21. Suppose 2*z + 2*q - 5*q + o = 0, 5*z + 64 = -q. Is j(z) a prime number?
False
Let o = 455 + -201. Is o a prime number?
False
Let j(u) = -15*u + 58*u - 13 + 12*u + 3*u. Is j(6) composite?
True
Let m(g) = -2*g**2 + g - 23. Let b(w) = -w**2 - 23. Let a(s) = 3*b(s) - 2*m(s). Is a(-10) prime?
True
Is (-5 + 32177/3)*9/6 composite?
True
Suppose 9*z = 14*z - 10. Is (-3)/z - 52173/(-18) prime?
True
Let z be (-1)/((-1)/((-12)/(-3))). Let i = 16 - 139. Let u = z - i. Is u a composite number?
False
Let d(p) = -2*p**2 - 9*p + 3. Let w be d(10). Let s = 828 + w. Is s a prime number?
True
Let y(q) = q**3 - 16*q**2 + q - 16. Let o be y(16). Suppose 6*j - 3*j - 99 = o. Suppose -2*l = -119 + j. Is l a prime number?
True
Let n(m) = m**3 + 3*m + 337. Suppose 2*w = w - 4*w. Is n(w) prime?
True
Let t(q) = 85*q**2 + 11*q - 63. Is t(-19) composite?
True
Suppose 24*p - 245857 = 220679. Is p a prime number?
False
Let m(a) = 5*a + 4. Let n be m(4). Let k = -21 + n. Suppose 40 = -k*l + 226. Is l prime?
False
Is ((-12770)/(-15))/(6/99) a composite number?
True
Suppose 6*c + 87009 = 45*c. Is c prime?
False
Let m(a) = a. Let w be m(4). Suppose -3*h - 33 + 148 = w*f, 0 = -f + 5*h. Is f a composite number?
True
Let f be (442/(-4))/(6 + (-484)/80). Suppose -102 = 5*i - 2*y - f, -427 = -i - 5*y. Is i a prime number?
False
Let j(o) = -1450*o - 607. Is j(-44) a prime number?
False
Let k be (-130)/(-40) + (-2)/8. Suppose -k*g + 139 = -443. Is g composite?
True
Let s(v) = -v - 16. Let q be s(-20). Suppose h - 387 = -5*r, -4*h + 4 + q = 0. Is r a composite number?
True
Let w = 572 + -501. Is w a composite number?
False
Let z(t) = -3 + 24*t - 101*t + 4 - 27*t. Let b = -1 + -1. Is z(b) a prime number?
False
Suppose -206*z = -174*z - 99296. Is z composite?
True
Let a(r) = 295*r + 1. Let d be a(1). Suppose k + 639 = g, 0 = -4*g + 5*k - d + 2856. Is g prime?
False
Suppose -6*g = -2*g - 4. Suppose -5*h = 4*j - 1, 5*j - 3*j + 3*h - g = 0. Is j/(-1)*(-8 - -207) a composite number?
False
Let f(k) = -31*k - 1. Let p be f(-6). Suppose -2*i - p = -37. Is (i/(-6))/(7/21) prime?
True
Let t = 518 + -950. Let b = -271 - t. Let u = 310 - b. Is u composite?
False
Let s(d) = -d - 1. Let h(k) be the third derivative of -155*k**4/12 - k**3/2 - 2*k**2. Let u(q) = h(q) - 4*s(q). Is u(-1) a prime number?
True
Let g = -33 - -41. Suppose g*a = 10*a + 12. Is (-1790)/(-4) - 9/a a prime number?
True
Let m(y) be the first derivative of 7*y**3 - 4*y**2 - 2*y + 1. Let o = 989 - 992. Is m(o) composite?
False
Let o = 37 - 33. Suppose c = -3*c. Suppose 4*f - 5 - 3 = c, -122 = -2*r - o*f. Is r a composite number?
True
Suppose 23572 = 38*f - 72150. Is f composite?
True
Let f(j) = 157*j - 3. Let n be f(9). Suppose -4*g + n = -g. Suppose 5*w - g = 1260. Is w a composite number?
True
Let v(x) = -149*x - 27*x - 154*x - 17 + 45*x. Is v(-6) prime?
True
Suppose -3*s + 3*j + 2*j = -242, j - 2 = 0. Let v(b) = -b**3 + 73 + 3*b**3 + s - b. Is v(0) composite?
False
Suppose -1204 = -z + 34. Is z composite?
True
Let g(y) = 341*y**2 + y - 2. Let l be g(1). Let x = l + 111. Is x a prime number?
False
Suppose 2*m - 4*c - 1498 = 0, -4*m = m + 3*c - 3745. Is m a prime number?
False
Let o be 80814/45 - (-10)/75. Suppose -o = -8*h - 492. Is h composite?
False
Let i(w) = w**3 - 377. Let m(c) = -2*c**3 + 754. Let o be 14 - 6/(3 + -1). Let b(u) = o*i(u) + 6*m(u). Is b(0) prime?
False
Suppose -24*d = -43*d + 99769. Is 