m + 3*g = -2*m - 293. Is m composite?
True
Suppose -2*y + 0*y - 42 = 0. Let j = y + 52. Is j composite?
False
Suppose 0 = -2*i + 3*i - 699. Suppose -5*q - 209 = -i. Suppose -2*t + q = -4*m, -3*m = 2*t + 3*t - 284. Is t prime?
False
Suppose -5*c = -x - 2259, -x - 906 = -2*c - 0*c. Is c a composite number?
True
Let i be (0 - -1)/(-1) + 11. Suppose d + i = 6*d. Suppose -61 + d = -q. Is q a composite number?
False
Let v(y) = 17*y**2 - 2*y - 3. Let r be v(-4). Let q = r - 128. Suppose -3*b = 2 - q. Is b prime?
False
Let r(y) = 3*y**2 + y. Let c be r(-2). Let k(a) = 3*a**2 - 3*a**2 + 20*a + 13 - a**2 + 0*a**2. Is k(c) a prime number?
True
Suppose -4*b = 19 - 7. Let n = -1 - b. Is 1 + n - -71 - -3 a composite number?
True
Suppose -2*a = 2*t - 508, 15 = -0*t + 3*t. Suppose -3*z - 103 = -4*z - 4*n, 3*z = 3*n + a. Is z a composite number?
True
Let n(d) = d**2 - d + 2. Is n(-8) a prime number?
False
Suppose -2 = t, 6 = -k - 3*k + t. Let w(v) = -4*v - 2. Let l be w(k). Suppose i + 4*n = -13, 4*i - 5*n + l = 59. Is i prime?
True
Let q = 17 - 12. Suppose 5*x = 0, -z + 3*x = -2 - q. Is z composite?
False
Let k = 314 - 165. Is k composite?
False
Suppose -9*r + 4*t + 5194 = -7*r, -5*r + t + 12958 = 0. Is r a prime number?
True
Let f be -2 + 2 - (4 - -1). Suppose -q + 2*z = -21, 2*q + 2*q - 3*z - 74 = 0. Let m = q - f. Is m composite?
True
Let k = -9 + 0. Is ((-6)/k)/(1/21) prime?
False
Let n(b) = -3*b**2 + 5*b + 2. Let d be n(4). Let x = d + 103. Is x composite?
True
Let i(h) = 1167*h - 10. Is i(3) prime?
True
Let q(b) be the first derivative of 3*b**2 + 4 - 2*b - 1/3*b**3. Is q(4) a prime number?
False
Let i(a) = 3*a**3 + a**2 + a - 1. Let w be i(1). Suppose -w*b = t - 4*t - 154, -b = -4*t - 45. Is b a prime number?
True
Let o be (-15)/(-9) + 2/6. Suppose -3*z - o*w + 5 = -1, 2*w + 6 = 0. Suppose 2*c + 6*r - 18 = 2*r, -z*r = -5*c + 3. Is c prime?
True
Suppose 4*r + 4*x = 3*x + 1235, x = -5*r + 1543. Suppose -5*t - 2*m + 735 = 0, 3*t - 5*m - r - 102 = 0. Is t prime?
False
Suppose 4*l - 838 = -2*w, 2*w - 4*l - 364 = 474. Is w a prime number?
True
Suppose 0 = 2*j - 4*d - 454, d = j - 3*d - 231. Is j prime?
True
Suppose 2*m + 2*p - 830 = 0, p - 175 - 659 = -2*m. Is m a composite number?
False
Let c be (16/(-10))/(10/(-25)). Suppose x - r - 9 = -c, -3*x - r = -3. Suppose 3*p - 395 = -2*t, -2*p - 830 = -6*t + x*t. Is t composite?
True
Let m(v) = v**2 - 5*v + 5. Let d be m(4). Suppose 62 = 3*f - 4*o, 3*o + 13 = f - d. Is f composite?
True
Suppose -3*f + 5*b = -5821, -4*b = 4*f + b - 7738. Is f a prime number?
False
Let f(k) = k**3 + 8*k**2 + k + 10. Let m be f(-8). Suppose m + 2 = 2*s. Suppose -s*w + 46 = -0*w. Is w prime?
True
Suppose 24 = -h + 3*t + 108, -2*h - 5*t + 212 = 0. Let o = h + -41. Is o a composite number?
True
Let b(w) = 27*w + 2. Let u be b(2). Let h = 243 - u. Is h a composite number?
True
Let h(b) = b + 8. Is h(7) a prime number?
False
Suppose 3 = -0*x + 3*x, 4*b = -4*x + 28. Is 378/(-12)*(-4)/b a composite number?
True
Let u(f) = 149*f - 6. Let s(j) be the third derivative of 48127*j**4/24 - 1937*j**3/6 - j**2. Let m(t) = -6*s(t) + 1937*u(t). Is m(-1) a composite number?
False
Let m = -4 + -8. Let f = -8 - m. Suppose q + 355 = 4*q - 5*u, 2*u + f = 0. Is q composite?
True
Let u be (-12 + -1)/(1/(-3)). Let s = 226 - u. Is s prime?
False
Suppose z + 1897 = 5*j + 2*z, 0 = 3*j - 5*z - 1127. Is j composite?
False
Suppose 5*q - 251 = -4*g, 0*q = -4*q + 3*g + 207. Is q composite?
True
Let k be (-27)/(-12) + (-3)/(-4). Suppose 0 = k*f - 961 + 82. Is f a prime number?
True
Is 4126/10 + 11/(275/10) a prime number?
False
Suppose -3*n + 721 = j, 7 = 5*j - 13. Suppose 4*g - 2*l - 111 = n, 187 = 2*g + 3*l. Is g a composite number?
False
Suppose -11 = -4*r - 3. Is (161/r)/(3/6) a prime number?
False
Suppose 4*h - h = 6. Suppose -340 = -4*f + 4*s, -h*s + 283 = 3*f + 2*s. Is f a composite number?
False
Is 14/(-3*(-6)/2763) prime?
False
Let t(j) = 4*j**2 + 3. Is t(-2) prime?
True
Let o(u) = -25*u - 7. Is o(-12) a prime number?
True
Let z(s) = s**3 - 3*s**2 - 3*s + 4. Let a be z(3). Let v = a - -7. Suppose 3*m = -12, v*m - 265 = -2*x - x. Is x composite?
True
Suppose -6*u + 2 = -5*u. Suppose 4*g = u*x + 98, -3*x = -2*g + 37 + 22. Is g a prime number?
False
Let z(y) = 42*y + 3. Let i be z(4). Let h = i + -104. Is h a composite number?
False
Let u(i) = -i - 4. Let f be u(-5). Is (11 - 10)/(f/127) a composite number?
False
Let p be (-51)/(-9) - 3/(-9). Suppose -4*i - p = t + 10, -5*i = 20. Suppose t*o = 2*o - 26. Is o a composite number?
False
Let v be (1*4)/(-7 + 8). Suppose -v*w - s = -77, -4*w + 58 = -w + s. Is w composite?
False
Let x(b) = 21*b**3 + 4*b**2 - 4*b + 7. Is x(4) a composite number?
False
Let q = 15 + -9. Let b(t) = 12*t - 5. Let w be b(q). Let n = w - 46. Is n a composite number?
True
Let w = 53 - -138. Is w a composite number?
False
Let r = 178 - -73. Is r a prime number?
True
Let r(a) = -a**3 + 8*a**2 + 9*a - 3. Let c be r(9). Let w be (1/c)/((-8)/120). Suppose -w*o + 425 = -0*o. Is o composite?
True
Let n = -144 + 437. Is n a prime number?
True
Let c = 27 - 13. Is c composite?
True
Suppose -w - 2*p = -4*p + 103, 0 = -4*p - 12. Let h = -74 - w. Is h prime?
False
Let u be (-393)/(-6) - 1/2. Suppose -b + u + 44 = 0. Is b composite?
False
Let n be ((-6)/4 + 2)*4. Suppose -n*c = c - 9. Suppose 14 = i - 5*g + c, -5*i = -2*g - 147. Is i a composite number?
False
Let h be (-1 + 0)/(-11 + 10). Is 115 - (0 + h + -1) a composite number?
True
Suppose 5299 + 4929 = 4*b. Is b composite?
False
Let t be (0 + 2)/((-10)/(-195)). Suppose -4*u = 3*n - t, 4*n + 4*u - 11 = 37. Suppose -2*r + c = -5*r + 15, 3*r = -3*c + n. Is r a composite number?
True
Let y(j) = 11*j**2 + 15*j**2 + 2*j**2 + 2*j**2 + 1. Suppose -2*v - 2*m = 0, -3*v - m - 3*m = -1. Is y(v) a prime number?
True
Suppose -3*k = -k - 4*u, -u - 25 = -3*k. Let y be ((-16)/k)/((-3)/135). Suppose 4*v + 4*h = v + 73, -2*v + 2*h = -y. Is v a prime number?
True
Suppose 0 = -8*h + 4*h + 2992. Suppose 3*m + 2*m - 380 = -2*x, 4*m - h = -4*x. Is x composite?
True
Let c(l) = l**3 - l. Let y(h) = 4*h**3 - 7*h**2 - 2*h + 1. Let m(u) = 5*c(u) - y(u). Is m(-6) composite?
False
Let s be (3746/10)/((-9)/(-45)). Let q = s + -1238. Is q a prime number?
False
Let x(d) = -d**3 + 11*d**2 - d + 5. Let v be x(11). Is (-4 + 2)*111/v a composite number?
False
Let u = 1 + 8. Is (-2)/3 + 105/u prime?
True
Suppose 0 = -q + 4 + 4. Let p = 9 - q. Is p/((-9)/105)*-3 a prime number?
False
Let y(b) = 35*b - 3. Let f be y(-4). Let g = f - -366. Is (g/4)/(2/8) composite?
False
Let x(s) = s. Let v be x(1). Let m = 34 + v. Is m a composite number?
True
Suppose -2*b + 7*b - 190 = 3*k, b - 45 = 2*k. Is b composite?
True
Suppose -5*g - 5*c + 3 = -7, 4*g - 15 = 3*c. Suppose -2*t - g*t = -2*a - 253, 156 = 3*t + 3*a. Is t a composite number?
True
Suppose 2*c + 23 = 67. Is (-5463)/(-99) + (-4)/c composite?
True
Let v = -89 + 171. Is v a composite number?
True
Suppose q = 2*q - 2, 0 = 5*a + 3*q - 1871. Is a a composite number?
False
Let m(l) = -l - 1. Let i be m(-5). Suppose -b = -i - 9. Is b a prime number?
True
Let a = -44 - -202. Is a prime?
False
Let z(d) = -69*d + 1. Let a be z(-5). Suppose 5*h + 91 = a. Is h a prime number?
False
Let b = 31 - 16. Suppose a + 10 = 2*z, b + 6 = 3*z - 3*a. Suppose -31 = -z*y - 10. Is y prime?
True
Let n = 1360 + 835. Is n a prime number?
False
Let f = 12 - 7. Suppose 5*i = -5, 0 = u + f*i + 6 - 1. Suppose -p = 3*z - 161, -2*p = -3*z - u*p + 173. Is z prime?
False
Is ((-9354)/(-4))/((-102)/(-136)) composite?
True
Suppose -103 = -5*l + 197. Suppose l = 3*q - q. Let m = q + 59. Is m a prime number?
True
Let o(v) = -5*v**2 + v**3 - 4 + 0*v**2 + 2*v - 4. Let q be o(6). Suppose -2*z - 2*z + q = 0. Is z a composite number?
True
Let b(k) = -5 + 1 + 9*k - 3. Suppose 3*y = 14 + 4. Is b(y) composite?
False
Suppose 3*v - 6 = 0, 4*p - 2*v = 2*p + 26. Suppose -2*h + p = -7*h. Let q(s) = -12*s - 3. Is q(h) a prime number?
False
Let r = 175 + -316. Suppose -y - 5*i = 68, -8*y + 3*y - 3*i = 428. Let w = y - r. Is w a composite number?
False
Suppose -1774 = 64*q - 66*q. Is q prime?
True
Let o = 1 - -2. Suppose 2*f + 4*r = f + 19, -o*r = 5*f - 10. Is (f - -13)/1 + 2 a prime number?
False
Let g(c) = 3*c**2 + 6*c + 1. Let j(k) = -k - 1. 