-6*t + 2*t = -184. Is t composite?
True
Suppose -10795 = -5*g + 3*w + w, 0 = -2*g - 5*w + 4318. Is g a prime number?
False
Suppose -3*w - 3*t = -2193, -6*w + 3*w - 4*t + 2190 = 0. Is w prime?
False
Let o be 4/6*(4 - 1). Suppose o*z + 3*q - 85 = 0, -z - 3*q = -4*q - 30. Is z composite?
True
Let h = -8 + 8. Suppose -1671 = -3*v - h*v. Is v a composite number?
False
Suppose 5*m - 41 = -0*s - 3*s, 0 = -5*s + 10. Is m prime?
True
Let p be (16/(-6))/((-10)/15). Let b = -11 + p. Let d(k) = -k**3 - 8*k**2 - 8*k - 1. Is d(b) prime?
False
Suppose 2297 = 4*j + 621. Is j composite?
False
Suppose -4*b - 3*j = j - 1684, 5*j - 1688 = -4*b. Is b composite?
True
Suppose 7*m - 2611 = -0*m. Is m a prime number?
True
Let t be 306 + (-4 + -2)/(-3). Is (-10)/45 - t/(-9) prime?
False
Let l = 800 + -169. Is l a prime number?
True
Let f(x) = -40*x**3 + 3*x**2 + x - 2. Let v be f(-3). Suppose 0 = 2*n - b + 2*b - 2199, 0 = n + b - v. Is n prime?
True
Let x(r) = -r**3 + 7*r**2 - 8*r + 7. Let q be x(6). Let v = q + 6. Let p = v + 36. Is p prime?
True
Let a(k) = -76*k - 3. Is a(-2) composite?
False
Let p(a) = -64*a**2 - a - 4. Let b(q) = -32*q**2 - q - 2. Let m(h) = -5*b(h) + 2*p(h). Is m(-1) prime?
True
Let n(d) = 589*d - 2. Is n(1) a prime number?
True
Suppose 4*n - j = 18, n + n = -4*j + 18. Suppose -n*i + 3*i = -30. Is i a prime number?
False
Suppose -5*v + 2052 = 4*u, -5*u + 0*v = -4*v - 2524. Let s = u + -285. Is s a prime number?
True
Suppose 0 = -2*q + 10 - 6. Suppose 0 = q*g - 115 - 67. Is g a composite number?
True
Let z(i) = -7*i - 8. Is z(-9) prime?
False
Let y(h) = -1065*h + 2. Is y(-1) composite?
True
Is -1 + -1 + (-2 - -359) a composite number?
True
Let r be 4/20 + 2/(-10). Suppose w - 14 - 99 = r. Is w a prime number?
True
Suppose 2*m - 277 = 61. Is m a prime number?
False
Suppose -2204 + 16073 = 9*w. Is w a prime number?
False
Let f = -10 - -41. Is f a composite number?
False
Suppose -2*o + 491 = -5235. Is o a composite number?
True
Let z = 81 + 170. Is z a prime number?
True
Suppose 0 = -3*d - 0*d + 6. Let g be 4/4 + d/1. Suppose g*c = c + 172. Is c prime?
False
Suppose -844 = -r - 3*r. Is r a composite number?
False
Let s = -259 + 521. Is s a composite number?
True
Let o = -41 + -28. Let i = 202 + o. Is i prime?
False
Let n(d) = 87*d - 2. Is n(1) a prime number?
False
Suppose -3*t - 286 = -5*t. Is t a composite number?
True
Suppose -339 = c - 3*q - q, 3*c + 1008 = 3*q. Let f = 504 + c. Is f composite?
True
Suppose z + 9*b = 4*b + 10, -4*z = 2*b - 40. Is z a prime number?
False
Let v(p) = p + 5. Let u be v(-5). Suppose 3*k = 5*w + k - 45, 2*w - 3*k - 29 = u. Let z(m) = m**3 - 3*m**2 - 5*m + 2. Is z(w) a prime number?
True
Suppose -2*j - 2*t + 428 = 0, -j + 5*t + 811 = 3*j. Let g = 460 - j. Is g prime?
True
Let t(k) = -k**2 - 10*k - 5. Let i be t(-9). Let l = 6 - i. Suppose 24 - l = 2*n. Is n a prime number?
True
Suppose -3*x + 5 + 4 = 0. Suppose -5*d - 4*j + 205 = 0, x*d - 3*j = -6*j + 126. Is d prime?
True
Let x(z) = -127*z. Is x(-1) prime?
True
Let d = -10 + 29. Is d a composite number?
False
Suppose -3*j + 15 = 0, 0 = -5*l - 0*j + 4*j + 10. Let t(w) be the first derivative of -w**3/3 + 4*w**2 + 3*w - 2. Is t(l) a prime number?
False
Suppose -2 = 2*f - 4. Is 3 + f + -2 + 57 prime?
True
Suppose -4*b + 2*b + 3922 = -4*x, -1962 = -b + 3*x. Suppose 5*c = -3*o + 2*o + 375, -5*o = 4*c - b. Is o prime?
False
Let u(n) = -3 - 23*n + 0 + 1. Is u(-3) prime?
True
Suppose 0 = -3*c + 4*f + 8, -3*c + 2*f = -c - 6. Suppose j + 4*z = 45 - 6, 2*j - c*z = 66. Is j prime?
False
Let m(l) = -l**3 - 5*l**2 - 5*l - 2. Let q(i) = i**2 - 6*i - 4. Let a be q(7). Suppose 13 = -p - 2*o, -4*o - 37 = a*p - 6. Is m(p) a prime number?
True
Suppose 2*v - 5*q = 43, 9 + 22 = 4*v + q. Let n = v + -4. Suppose 0 = -n*i + x + 108, -5*x - 12 = -4*i + 3*i. Is i prime?
False
Suppose 4*t - h - 1227 = -27, 5*t + 4*h - 1479 = 0. Is t a composite number?
True
Let c = 450 + -179. Suppose -125 = -2*u + 2*s - 23, c = 5*u + 3*s. Is u composite?
False
Let z = -2 - -3. Let v(x) = 79*x**3 - x**2 + 2*x - 1. Is v(z) a composite number?
False
Let d(y) = 0 + 2*y - 1 + 4 + 12*y**2 - 3*y. Is d(4) composite?
False
Suppose 2097 = 4*a - 5*d, 1043 = -0*a + 2*a + 3*d. Is a a prime number?
True
Let d be 6/(-4)*(-2)/(-1). Is 33 - 6/((-9)/d) prime?
True
Is 5/1*(-35662)/(-110) prime?
True
Let j(f) = f**2 + 3*f + 4. Let g be j(5). Suppose g = s - 3*t, 3*s - 2*t - 152 = 3*t. Is s a prime number?
True
Let b be (-1)/((-1)/3) + 1. Suppose -b*i = -2*y - 32, 3*y = -2 - 4. Is i prime?
True
Suppose 5*q + x - 3*x = 121, -20 = -q - x. Let a = 11 - q. Let w = 23 + a. Is w a prime number?
True
Let g be 4/(-14) + 58/7. Let k(q) = -5*q + 6. Let w be k(3). Is 538/g + w/36 a prime number?
True
Suppose -3*f + 473 = -1816. Is f prime?
False
Suppose 0 = 4*p - 3*p + 4*g - 413, -3*g = 5*p - 2065. Is p prime?
False
Suppose 3*b - b + 214 = 0. Let i = -54 - b. Is i a composite number?
False
Let i(h) = h**3 + 4*h**2 + 1. Let t(a) = -6*a**3 - 19*a**2 - 4. Let o(z) = 11*i(z) + 2*t(z). Let v be o(3). Is (3 - 7)*v/(-8) a prime number?
False
Let j(q) = 190*q + 43. Is j(3) prime?
True
Suppose 3 - 4 = m. Is ((-295)/10)/(m/2) a prime number?
True
Let k(y) be the third derivative of -3*y**2 + 0*y + 7/120*y**6 + 0 - 1/24*y**4 + 1/6*y**3 - 1/30*y**5. Is k(2) a prime number?
True
Let p(i) = 4*i**2 + 13. Is p(-11) a composite number?
True
Let m(w) = -w**3 + 10*w**2 - 3*w + 10. Let r be m(7). Suppose -5 + r = 3*j + 5*p, -243 = -5*j + 4*p. Is j prime?
True
Let g = 978 + -571. Is g a prime number?
False
Is 4276/(-6)*((-9)/2 + 3) a composite number?
False
Let y(a) = -2*a + 127. Is y(0) a composite number?
False
Let a(x) = -4*x**2 + 5*x - 6. Let l be a(3). Is 6/(-27) - 1005/l a composite number?
False
Suppose -3*i - 2*i = 5. Let j be -1*((-1)/i + -15). Is 542/j + (-6)/(-21) a composite number?
True
Let a = 33 - 22. Let v(h) = -2*h**3 + 10*h**2 - 3*h + 7. Let i(y) = 3*y**3 - 19*y**2 + 5*y - 13. Let d(c) = a*v(c) + 6*i(c). Is d(-2) a prime number?
False
Suppose -w + 5 = 4*w + q, 2*q = -4*w + 4. Is -53*w*(-4)/4 a composite number?
False
Let d(j) = 3*j**2 + 2*j - 5. Let m be d(4). Suppose -4*z + 2*r = -142, 6*r - 3*r = -2*z + m. Suppose 7*p - z = 4*p. Is p a prime number?
True
Let y(a) = 3*a**3 + a**2 + 3*a - 83. Let j(d) = 2*d**3 + d**2 + 2*d - 83. Suppose -4*s - 20 = s. Let n(h) = s*j(h) + 3*y(h). Is n(0) a composite number?
False
Suppose 2*s + 0*m = 2*m + 586, -5*s - 5*m = -1465. Is s a prime number?
True
Is 1134 + ((-4)/(-1) - 5) a composite number?
True
Suppose -2*x = 4*k - 6, -3*x + 4*x - 3 = -5*k. Suppose -2*v + m = -130, 2*v + x*v + 2*m = 343. Is v a composite number?
False
Suppose 0*i - 3*i + n = 19, -2*i - 11 = n. Suppose 8*h + y - 79 = 3*h, 0 = -3*h - y + 47. Let r = h + i. Is r a composite number?
True
Suppose 5*x - 29 = 11. Suppose -30 = -o + x. Is o a composite number?
True
Suppose -878 = -u + 365. Is u composite?
True
Let o(t) = -t**2 + 13*t - 29. Is o(9) a composite number?
False
Suppose 0*k + 4 = 2*k. Suppose k*a - 3*a = -7. Is a a prime number?
True
Is -3 + 258 + 4/(-1) prime?
True
Is (-6)/(-8) + 147/12 a composite number?
False
Suppose 2 = -3*h + 5. Let n = h - -2. Suppose -n*w + 16 = -41. Is w a composite number?
False
Suppose -5*w = 4*f - 42, -w + 4*f - 30 = -4*w. Suppose -z - 215 = -w*z. Is z a composite number?
False
Suppose 0 = 2*v - 3*v + 5. Is 322/v + (-3)/(-5) a composite number?
True
Suppose 4*c - 155 = 49. Is c prime?
False
Suppose 6*r - 2*r - 104 = 0. Is r prime?
False
Is (-2)/(-4) + 5394/12 + -7 a prime number?
True
Suppose 6*w = 2*w + 2*c + 8, 5*w = 4*c + 16. Let f(p) = p**2 + 7*p - 4. Let s be f(-8). Suppose 3*n + 3*i - 756 = -w*i, 4*n - s*i = 1048. Is n composite?
False
Suppose -2*p = -283 - 99. Is p composite?
False
Is 6/(-4)*(-24196)/69 composite?
True
Let j = 4 - -1. Suppose -9 - 1 = -j*s. Suppose -3*u - 5*v + 235 = 2*u, -s*u + 4*v + 106 = 0. Is u prime?
False
Let s = -2 + -1. Let f = s - -6. Suppose -f*g + 88 = 5*q, -2*g + 0*g + 2*q = -32. Is g a composite number?
True
Let o = 31 + -28. Let f = 1406 + -754. Suppose -f = -7*g + o*g. Is g a prime number?
True
Let w = -38 - -98. Suppose -4*g + w = -0. Is g a prime number?
False
Suppose 0 = 2*y - 0*y - 284. Suppose -2*z + 156 = -y. Suppose z = -2*l + 3*l. Is l a composite number?