 = 4*o. Is g a composite number?
True
Let a(d) = d**2 + 4*d**2 - 9 + 2*d - 4*d**2. Let n = 13 - 7. Is a(n) composite?
True
Let n be 3/((-3)/2) + 1. Let o = 7 - n. Suppose 0 = -3*p + o*p + 5*q - 1450, 2*p - 589 = q. Is p a prime number?
True
Let t = -46 - -167. Is (-6 - t)/(-1 - 0) prime?
True
Is (-3 - 2) + 33*3 composite?
True
Let l = 107 + -67. Suppose -l = -a - 5*c, 0 = -2*c - 0*c + 2. Is a composite?
True
Let s(l) = l**2 - 3*l + 2. Let m be s(3). Let a = 1 - m. Is (0 + a - -2) + 92 a prime number?
False
Suppose -5*f = -3*g + 2, -f + g + 4 = -4*f. Let j(w) = 31*w**2. Is j(f) composite?
False
Suppose i = -4*i + 70. Suppose -5*f + i = -736. Suppose 2*y = f + 4. Is y a prime number?
False
Let n = -1 + 3. Suppose 3*q = -n*h - 3*h + 64, 5*h = 4*q - 97. Is q composite?
False
Suppose 0 = -p - 3*p - 12. Let f be (-110)/(-3)*p/(-2). Suppose 3*o = -5*i + f - 7, 3*i - 20 = -o. Is o composite?
False
Let m(r) = r**3 + 9*r**2 + 8*r + 5. Let v be m(-8). Is v/(-20) + 85/4 a prime number?
False
Suppose -10*h + 11*h + 163 = 0. Let o = -86 - h. Is o composite?
True
Let f(u) = -u**2 - 7*u + 1. Let k be f(-5). Let h = k + -5. Is h a composite number?
True
Let n(c) be the first derivative of -c + 0*c**2 + 2 + 70/3*c**3. Is n(1) a composite number?
True
Let i(d) = 31*d + 45. Is i(16) a composite number?
False
Let n(i) = i**2 + 7*i + 8. Let q be n(-6). Suppose -126 + 1036 = q*k. Suppose -4*p + 141 + k = 0. Is p a composite number?
False
Let p = 20 - -17. Suppose 2*k - 4*k = 3*u - 21, 0 = -4*k - 5*u + p. Suppose k*m + 31 = 2*a - 16, 36 = a + m. Is a a prime number?
True
Suppose -3*q + 0*q + 17 = 4*m, -q = -2*m + 11. Is 2 + 2*145 - q composite?
False
Suppose -2*v - p = -131, 5 = -2*v - 5*p + 140. Suppose -s - m = -2 - 17, v = 5*s - m. Is s composite?
True
Let g = 854 + -4744. Is g/(-15) - 1/3 prime?
False
Suppose -d - 2*d = -6. Let t(n) = -8*n**2 + 15*n + 3. Let z(k) = -4*k**2 + 7*k + 1. Let l(a) = 3*t(a) - 7*z(a). Is l(d) composite?
True
Suppose n + 2 = 8. Let t be (-4)/n*(-429)/1. Suppose -5*u + t + 9 = 0. Is u a composite number?
False
Let i be (-2475)/(-35) - (-2)/7. Suppose 4*d + i = 5*h - 2*h, 0 = -3*h + d + 65. Is h prime?
False
Let v(k) = -360*k - 1. Let q be v(1). Suppose -6*g + 2*g = 504. Let m = g - q. Is m composite?
True
Let m = 3 + 1. Suppose -m*n = n. Suppose -5*t + n*t = -50. Is t prime?
False
Let w = -178 + 320. Suppose 5*x - 5*p - w + 7 = 0, 5*x - 126 = 2*p. Let t = 151 - x. Is t prime?
True
Let y(n) = n**3 + 9*n**2 + 9*n + 12. Is y(-5) prime?
True
Suppose -47 = -5*q - 12. Suppose 3*d = -2*w + 8 + 10, -4*d = -16. Suppose q*k - 8 = w*k. Is k prime?
True
Let l = -3 - -11. Let f(w) = w**3 - 8*w**2 - 2*w - 5. Let p be f(l). Is 2/(-7) - 1665/p composite?
False
Let p be (24/((-6)/(-2)))/2. Suppose n + p*n = 1080. Suppose -2*k + 2*r = -53 - 67, -4*k - 4*r = -n. Is k a prime number?
False
Suppose 33 + 9 = -x. Let d be (x/4)/((-3)/4). Let n = d - 3. Is n composite?
False
Suppose u + 170 = -3*z + 661, 5*z - 2475 = -5*u. Is u a composite number?
True
Suppose 0 = -3*g + 2*g - q + 559, 3*q - 1114 = -2*g. Is g composite?
False
Let g(k) = 8*k**2 - 6*k + 13. Let v(x) = -9*x**2 + 5*x - 14. Let r(f) = 7*g(f) + 6*v(f). Is r(8) a composite number?
True
Let u(s) = s - 1. Let w(j) = 84*j + 1. Let f(h) = -3*u(h) - w(h). Is f(-1) a composite number?
False
Let f = -127 - -234. Let x be 52 - ((-4)/(-1) + -6). Let w = f + x. Is w composite?
True
Suppose 0*x + 2*x = 264. Suppose -4*t = -t - x. Suppose r = t + 47. Is r a prime number?
False
Let z(p) = -6*p + 5. Is z(-12) prime?
False
Let a(v) = -36*v - 20. Let w(o) = -12*o - 7. Let g(y) = -6*a(y) + 17*w(y). Is g(4) a composite number?
True
Let d(n) = n**3 - 10*n**2 - 15*n - 11. Let h = -32 - -15. Let q = -5 - h. Is d(q) prime?
True
Suppose 23 = 4*j - 9. Suppose -j*t = -11*t - 9. Is 47 + t + 1 + 2 composite?
False
Suppose -3*z = -3*d, -3*d + 8 = 3*z - 10. Suppose -m = -z*m + 442. Is m composite?
True
Let m(h) = h**3 - 7*h**2 + 7*h. Let f be m(5). Suppose 21 = -0*s + s. Let x = s + f. Is x a prime number?
False
Let u(f) = -f. Let q(p) = -3*p**2 - 2*p + 1. Let y(s) = q(s) - 4*u(s). Let r be y(4). Let n = -28 - r. Is n a composite number?
False
Let g = -2045 + 3399. Is g prime?
False
Suppose 0 = 3*y - 5*y + 3*u + 7, 5*y - 26 = -u. Suppose g + y*v - v = 35, -3*g = -3*v - 45. Is g prime?
True
Let g = -1130 + 3147. Is g a prime number?
True
Let v(w) = 7 - w - 3*w + 3*w. Let c be v(0). Let i(j) = 5*j + 8. Is i(c) a composite number?
False
Is (0 + 149)/(16/48) a prime number?
False
Suppose 3*k + 90 = 8*k. Suppose -4*o + 69 = 49. Is k/(-45) + 747/o a composite number?
False
Suppose -s - 3*f = 10, -4*s - f + 20 = s. Suppose s*d = z + 231, 2*z + z + 35 = d. Let c = d + 42. Is c a prime number?
True
Suppose -3*q - 2*q = 0. Suppose -2*m + 3*m = q. Suppose m = -s - 3*s + 812. Is s a composite number?
True
Let v(d) = -403*d + 12. Is v(-5) composite?
False
Suppose 1 = t - 1. Suppose -q = t*m - 0*m - 107, 0 = -q - m + 109. Is q a prime number?
False
Suppose -3*r + 545 = -2*w, 5*r = 3*w + 605 + 305. Suppose -r = -10*d + 5*d. Is d a composite number?
False
Let z = 4109 + -2772. Is z composite?
True
Let m(y) = -3*y**2 + 5*y + 2. Let s be m(-4). Let o be ((-62)/4)/(2/4). Let d = o - s. Is d composite?
True
Suppose -20 = 3*t - 746. Suppose 0 = 4*h + 3*x - t, -5*h + 109 = -3*x - 180. Is h a prime number?
True
Let h(t) be the second derivative of t**2 + 11/12*t**4 + 3*t - 1/20*t**5 - 5/6*t**3 + 0. Is h(9) a composite number?
True
Let r be 16/(-10)*15/(-6). Is (2 + 2)/r*983 a prime number?
True
Let l(c) = 78*c**3 - 2*c**2 + c. Is l(1) composite?
True
Suppose -8*s + 3802 = -6*s. Is s prime?
True
Let x = 1415 + -576. Is x composite?
False
Suppose -5*m + 2346 = 3*b, b + 331 = 3*m - 1085. Is m prime?
False
Suppose -3*q = -716 - 3943. Is q prime?
True
Is 8/(-28) - (-22044)/28 composite?
False
Let t = -11 + 7. Is (-5 - -7)/(t/(-370)) a prime number?
False
Let k be 159 - (0 - 0/(-3)). Suppose 0*s + k = 3*s. Is s a composite number?
False
Suppose 3*u = u + 48. Suppose 2*q = -2*q + u. Is q a composite number?
True
Let v = -12 + 17. Suppose -d - v*q = -99 - 202, -2*d + q + 580 = 0. Is d prime?
False
Suppose 23*t - 10084 = 19*t. Is t a prime number?
True
Let l be 2/4 + 8657/22. Suppose o = w + l, 8*o = 3*o - 2*w + 1977. Is o a composite number?
True
Let l(p) = -4*p - 1. Let n be l(-1). Suppose 5*r + 4*o = 2*o + 236, n*r - 132 = 2*o. Is r prime?
False
Suppose 5*f - i + 23 = 93, 5*i = 2*f - 5. Is (4 + -1)*130/f a prime number?
False
Suppose 3*n - 1520 = -2*n. Let b = n + -209. Is b prime?
False
Let f(i) = 5*i**2 + 3*i + 2. Let w be f(5). Is w + 0 + 2 + -1 prime?
False
Let q(r) = -42*r - 1. Let f be (-3)/9*0 - 2. Is q(f) prime?
True
Let s = -10 - -1. Let x(o) = 4*o**2 + 4*o + 3. Let v be x(s). Suppose -d = 2*d - v. Is d prime?
True
Let g(v) = v**2 + 7*v + 3. Let h be g(-7). Suppose -3*p + 4*p - 90 = -h*b, -b + 30 = -5*p. Suppose x = -x + b. Is x a composite number?
True
Suppose 5*n - n = 20. Suppose 5*m = -n*x + 440, -m + 0*m = 2*x - 171. Is x a prime number?
True
Let b = 256 - 104. Let n = -85 + b. Is n a prime number?
True
Let r be (-14)/7 + (-1 - -1689). Is r/5 + (-5)/25 composite?
False
Suppose 0 = 2*i - 0*i - 3*d - 36, 0 = 5*i + d - 73. Suppose -7*k = -2*k - i. Suppose 0 = -h + k*h - 174. Is h a composite number?
True
Let n = -4 + 1. Let l be n/((-49)/24 + 2). Suppose -l - 55 = -4*p + 3*v, 4*v - 58 = -2*p. Is p a prime number?
True
Let d be 12/42 - (-880)/7. Let g = d + -33. Is g a prime number?
False
Suppose 0*o - 3278 = -2*o. Is o a composite number?
True
Let f(j) = -3*j + 2. Let m be f(2). Let i(z) = z + 3. Let g be i(m). Is (3/3 - g) + 12 a prime number?
False
Suppose 2*i = 3*l + 4 + 9, 36 = 5*i - 4*l. Suppose 0 = 3*u - u + i. Let o(c) = -2*c**3 - 3*c**2 - 4*c - 5. Is o(u) a prime number?
False
Suppose -2*m + 14968 = 2*m - c, 5*m = -2*c + 18697. Let f = m + -2488. Is f a composite number?
True
Let i(b) = 5*b**2 - b**3 + b + b**3 + b**3 + 5. Let h be i(-5). Is 12 - ((-1 - h) + 2) prime?
True
Let b = 801 + -1173. Let k = b + 547. Suppose -9 = s - 4*v - 24, -k = -5*s - 5*v. Is s prime?
True
Suppose -h + 379 + 890 = 5*w, 0 = -3*h - 2*w + 3755. Is h composite?
False
Let x be (-6)/(0 + (-12)/8). Suppose 0 = -4*i + u + 793, x*u = 4*i - 0*u - 784. Is i a compos