-1)/4 + 12/(-16). Let r be y(t). Suppose -2*w + r = -o, -2*w + 235 = 3*w - o. Is w a prime number?
True
Let n(m) be the first derivative of m**4/4 - 2*m**3 + m**2 - 7*m + 2. Let g be n(6). Suppose w = 3*r + 2*r + 27, 3*r = -g*w + 23. Is w prime?
True
Suppose -c = 3*z - 0*c + 341, z + 5*c + 95 = 0. Let d = z + 242. Is d a composite number?
False
Is (0 - (-3)/(-6))*(-3768)/12 composite?
False
Is 4/6*(-4431)/(-14) prime?
True
Let q(p) = -p**3 + 7*p**2 + 3*p - 1. Let o be ((-6)/3)/4*-28. Suppose 4*c = 38 - o. Is q(c) a composite number?
False
Let p = -53 - -105. Let y = p + -13. Is y composite?
True
Suppose 3*q + 15 = 5*y - 4, 4*q + 5*y - 33 = 0. Suppose j = 0, 2*f + q*j = -2*j + 118. Is f a composite number?
False
Let d be 16*(382/(-4))/(-1). Suppose v - 2*v - d = -4*r, -3*v = 5*r - 1893. Suppose -r = -0*b - 3*b. Is b prime?
True
Let c(v) = v + 2. Let o be c(0). Let a be (2 - (o - -19))/(-1). Suppose -h - h + q + 18 = 0, 2*q - a = -h. Is h prime?
True
Let t = -983 - -1706. Is t a composite number?
True
Let c = -4 - -7. Let m = c + -5. Is 85*1 - (m + 0) a prime number?
False
Let i = -11 + 10. Is (i/2)/((-2)/124) a prime number?
True
Let s = 14 + -23. Let v = s + 46. Is v a prime number?
True
Suppose 0 = 5*s + 3*h - 15200, h - 6064 = -2*s + 3*h. Is s a composite number?
False
Suppose n = 5*t - 4*n - 90, 2*t - 5*n = 45. Let w = t + -11. Suppose 0 = 4*l + 12, 10 + 225 = w*m - 5*l. Is m composite?
True
Suppose -5*u - 2*y = -5*y - 5, 2*u = 4*y + 2. Let d = u + 7. Suppose 2*i = -l + 47, -115 = -d*i + 3*i - 2*l. Is i prime?
False
Suppose -4*n - 4*f + 1005 + 163 = 0, 4*n = f + 1173. Is n a prime number?
True
Let d be (-9)/5*(-6 + 1). Let h be 1/3 - (-24)/d. Is 1 + 0 + h + 2 a composite number?
True
Let q = 877 + -626. Is q composite?
False
Let g(f) = -2*f + 13. Let c be (13 - 7)*(-4)/(-6). Let k(z) = z - 12. Let o(t) = c*g(t) + 5*k(t). Is o(-6) a composite number?
True
Let h = 16 - -3. Is h prime?
True
Let k(p) = 15*p**2 - p. Let b be k(1). Suppose -4*r + 13 = f - b, -5*r - 160 = -5*f. Is f prime?
True
Let j(f) = -89*f - 3. Let y = -7 + 4. Let t be j(y). Suppose -5*h + 106 + t = 0. Is h a composite number?
True
Let p = -7 + 11. Let k(y) = -65*y + 2. Let z be k(p). Is z/(-2 + 0) - 2 a prime number?
True
Let q(f) = -5*f**3 - f**2 - f - 1. Let p be q(-1). Suppose p*r - 2*r = 74. Is r a composite number?
False
Let c(u) be the second derivative of -1/6*u**3 - 3*u + 0 + 17*u**2. Is c(0) composite?
True
Let d be (2 + -3)*(-1 + 1). Suppose d = 4*o + o - 1225. Suppose 0*h = -5*h + o. Is h a prime number?
False
Suppose 127 = -2*j + 1233. Is j composite?
True
Suppose 51 = -5*k + 306. Is k a prime number?
False
Suppose 190 = 3*s - 77. Is s a composite number?
False
Let q(k) = k. Let h(n) = 10*n - 5. Let o(a) = h(a) + 6*q(a). Suppose 0 = -4*z - 16, -3*z - 34 = -3*w + z. Is o(w) composite?
True
Suppose 15 = 5*o, o + 3 = 3*t - t. Let p be (-10 - -4)*53/(-2). Suppose 161 = i - b, b - p = -i + t*b. Is i composite?
False
Let b = -1 - -3. Let g = 2 - b. Suppose -x - 4*x + 65 = g. Is x composite?
False
Suppose -3*d + 5*o + 34 = 0, d + 4 = -o + 2. Suppose 4 = h, -d*n - h = -2*n - 545. Is n composite?
False
Let j be -3 + 8/4 + 3. Suppose 0*a - 610 = -j*a. Is a a composite number?
True
Suppose -3*j = 2*n - 317, -2*j + 4*n = 3*j - 565. Is j composite?
False
Let b be 286/6 - 1/(-3). Suppose 0 = -h + 5*h. Suppose -2*v + b = 3*d, -5*v + h*d + 107 = d. Is v a composite number?
True
Let h(i) = 83*i**2 + i - 1. Is h(-2) composite?
True
Is 4916/12 + -1 - 1/(-3) prime?
True
Let w(p) = 18*p**2 + p - 2. Suppose -2*y + 5*u + 4 + 12 = 0, 0 = 2*y + 3*u. Is w(y) composite?
False
Is (-10)/(-45) - 12927/(-27) a prime number?
True
Let w = 3863 - 2185. Is w/18 - 6/27 a prime number?
False
Suppose -1576 = -i - i. Suppose b = -5*p + 2*b + i, -5*p + 792 = b. Is p a composite number?
True
Let c(w) = -w**3 + 10*w**2 - 4*w - 6. Is c(7) composite?
False
Suppose 28 + 6 = n. Let g = n - 20. Is g a composite number?
True
Let r(t) = -3*t. Let s be r(-3). Let y = s + -5. Suppose 2*z = y*z - 8. Is z prime?
False
Let m(r) = r. Let a be m(2). Suppose c - a*c = -77. Is c prime?
False
Is (-164)/(-8) + (-1)/(-2) prime?
False
Suppose -2*y + 6 = -2*d, 3*d - 5*y + 3 = -0. Let p(s) = -5*s + 1. Let o be p(d). Suppose -5*v = 5*k - 310, -2*k - o + 150 = v. Is k composite?
True
Let t(y) = -10*y - 3. Let i(x) = -x. Let d = -3 - -1. Let a(v) = d*i(v) + t(v). Is a(-5) a composite number?
False
Let u(c) = 4*c**2 + 13*c - 8. Is u(-13) a prime number?
True
Let x(n) = -170*n + 1. Suppose -u - u = -k + 4, 0 = -5*u - k - 10. Is x(u) a composite number?
True
Suppose 6*b - 2*x = 2*b, -x = 5*b - 14. Suppose -2*z = -4*y + 252, -3*z = -b*y - 6*z + 142. Is y prime?
False
Suppose 5*f + 1357 = 4*z, -5*z + f - 5*f = -1727. Suppose 0 = 3*k - 2*r - 379, 2*r - 40 = -3*k + z. Is k composite?
False
Let o = 2 - -20. Is o composite?
True
Suppose -495 = 3*x - 99. Let o = -61 - x. Is o prime?
True
Is (-12)/24 + (-2526)/(-4) a prime number?
True
Let h(c) = 3*c**2. Let l be h(-1). Let i be -5 + l - (0 + -13). Suppose a = 11 + i. Is a a composite number?
True
Let n = 0 + 0. Suppose -2*v - 3*q + 5*q + 318 = n, 20 = 5*q. Is v composite?
False
Suppose 5*a + 21 = 8*a. Is a a composite number?
False
Suppose 0 = 5*w - 1492 + 17. Is w a prime number?
False
Suppose -6*m - 4832 = -2*m. Is 2/3 - m/24 a composite number?
True
Let o(c) = -c**3 - 3*c**2 - 18*c - 5. Is o(-6) a prime number?
True
Let t = 224 - -563. Is t a composite number?
False
Let m = -9 - -11. Suppose 5*g = m*i - 5, 0 = i - 4*g - 1 + 3. Is i prime?
False
Let c be -1 + -2 + 3 - -3. Let s(m) = 9*m - 1. Let b be s(c). Let u = 277 - b. Is u prime?
True
Suppose -s = -q + 4*s + 28, -4*q + s = -207. Suppose q = 2*w - 9. Is w prime?
True
Let u be -6*-8*(-1 + 2). Suppose -3*q = 2*q - 4*v + u, -4*q - 24 = 4*v. Is ((-154)/q)/((-1)/(-4)) composite?
True
Let r = 1 + -1. Suppose -33 + 8 = -x - 5*l, r = 5*x + 2*l - 10. Suppose x = -2*s - s - 3*b + 207, 5*b = 4*s - 258. Is s a prime number?
True
Let o = 590 + -303. Suppose -94 - o = -3*i. Is i prime?
True
Suppose -2 = 6*r - 4*r, -3*r = -5*k + 268. Is k a prime number?
True
Let q = 41 + -1. Suppose 0 = -5*d + 5*m - 45, 22 = -2*d + 2*m - 4*m. Is 16/q - 526/d prime?
True
Let b(w) = -w**3 - 10*w**2 - 10*w + 13. Suppose 11 = -m + 2*i, -3*m + 2*i - 30 = -i. Is b(m) a composite number?
True
Suppose 0 = 4*d + 1 - 9. Suppose -d*m + 206 = -92. Is m composite?
False
Let w = 177 - 99. Let p = w - 25. Is p composite?
False
Let g(r) = r**3 - 6*r**2 + r - 1. Let c be g(6). Let w = c - 11. Is (2 + 33/w)*-22 prime?
False
Let r(k) = k**2 - 6*k - 5. Let q be r(7). Suppose l - 2 = -0*l - q*v, -24 = -5*l - 3*v. Suppose -80 = -4*m - x, -l*x = m - 2*x - 35. Is m composite?
False
Let j(p) = p**3 + 6*p**2 - 2*p + 2. Suppose -m - 2 = 3. Is j(m) a composite number?
False
Is 1039/(0/(-3) - -1) a prime number?
True
Let k = 26 + 27. Is k a prime number?
True
Let l = 61 + -24. Is l a prime number?
True
Let o(i) = -i**3 + 5*i**2 + i + 5. Let n be o(5). Let v be 4/n - (-572)/20. Is 1/3 + v/3 prime?
False
Let s(x) = -x**3 - 3*x**2 + 8*x + 3. Is s(-5) a composite number?
False
Let p = -2364 - -3555. Suppose -h - 2*h = -p. Is h a composite number?
False
Suppose -5*z = -0*z - 85. Let x = z + 14. Let a = 54 - x. Is a a prime number?
True
Let k = 1 + -1. Suppose -4*h = 5*r - 411, -2*r + 5*h + 0*h + 171 = k. Suppose -r - 10 = -3*q. Is q composite?
False
Let b(t) = 3*t**2 + 19*t + 13. Let q(l) = -l**2 - 6*l - 4. Let u(p) = -6*b(p) - 17*q(p). Is u(-8) a prime number?
False
Let c = 3514 + -1715. Is c prime?
False
Let r(y) = y**2 - 6*y + 7. Let z be r(5). Suppose 0 = -5*i - 4*c - 10, -z*c = i + 11 - 3. Suppose -i*q - q = -111. Is q a composite number?
False
Let v be (-9)/(3/(-2) - 0). Let k(c) = c**3 + v - 1 - c**2 - 2 - 3*c + 5*c**2. Is k(3) prime?
False
Let s be (-9)/(0 + 1/5). Let c = 35 - 111. Let x = s - c. Is x composite?
False
Let j be (-8)/(2*1/(-8)). Suppose 0 = 3*o + 3*l + 3, 0*o + 4*l + 32 = 3*o. Suppose 4*d + o - j = 0. Is d a prime number?
True
Let n(c) = -23*c**3 + c**2 - c + 3. Let v be n(3). Let h = -409 - v. Is h a composite number?
True
Let k = 269 - 84. Is k a composite number?
True
Let y = -126 - -329. Is y a composite number?
True
Suppose 0 = 8*d - 5089 - 5767. Is d composite?
T