 Is t a prime number?
True
Let m(x) = 6*x**3 + 2*x**2 - x. Let b be m(1). Suppose s = 9 - b. Suppose -3*w + 4*v + 37 = -68, -6 = s*v. Is w composite?
False
Suppose -4*v + 26 = 5*t, 5*v - 5*t = 8 + 2. Let b(d) = d**2 - d. Let q be b(v). Suppose 4*r - q = 2*r. Is r a prime number?
False
Suppose -z - 2 = -2*z. Is (-6)/(-8)*24/z a composite number?
True
Let a be (566 - 0)/2 - -3. Let c be (11/(-22))/((-1)/a). Let i = 240 - c. Is i composite?
False
Is (3 + 233)*(-7)/(-4) prime?
False
Let z be 5/(30/44)*3. Suppose 4*y + 3*o + z = 71, -2*o = 2*y - 26. Is 764/10 - (-6)/y prime?
False
Let g be (-4)/(-1)*3/2. Let b(y) = 2*y + 7. Is b(g) a composite number?
False
Let o = 753 + -488. Suppose 4*y = 2*t + o + 83, -405 = -5*y - 5*t. Is y prime?
False
Let p(q) = q**2 + q + 97. Let h(b) = -b**3 + 6*b**2 + 7*b + 2. Let j be h(7). Suppose y = j*y. Is p(y) a prime number?
True
Let c(w) = 177*w**2 + 10*w - 3. Is c(-2) composite?
True
Suppose 4*d = 0, -4*t - t + 25 = 4*d. Let y be 75/(((-15)/(-2))/t). Suppose -4*a = -y - 38. Is a prime?
False
Suppose 5*m + 4*v = -0*m + 16845, -2*m + 6738 = v. Is m a prime number?
False
Suppose 5*f + 8*w - 8789 = 4*w, -4*f = -5*w - 7023. Is f a prime number?
False
Let f = -4 + 8. Suppose -6 = 3*s - 18. Suppose f - 19 = 5*n, -5*n + 77 = s*z. Is z a prime number?
True
Suppose -5*l + 5*s = -20, 5*l = -s - 19 + 45. Let n(a) = -2*a + 0*a**2 + a**2 + 4*a. Is n(l) prime?
False
Let i = 102 - -35. Suppose -i = -u + 3*l, -174 = -3*u + 4*l + 212. Let o = 181 - u. Is o prime?
True
Is 247 + (-2 - (1 + -5)) a prime number?
False
Let b(a) = 282*a + 27. Is b(5) a prime number?
False
Suppose -m = -k - 1, 3*m = -5*k - 2 - 3. Let x = m - -6. Is 46/x + (-8)/12 composite?
False
Suppose t + t - 2 = 0. Is 7/(t/(-2) - -1) composite?
True
Let y(v) = -3*v**2 + 10*v + 12. Let i be y(11). Let l = i + 443. Is l a prime number?
False
Suppose -5*k - 769 = -6*k. Is k a prime number?
True
Suppose -2*z - 3904 = -y - 0*z, 0 = z + 3. Is y prime?
False
Let u = 176 - 107. Is u a prime number?
False
Let l(o) = 2*o**2 + 3*o - 4. Let r be l(-3). Let k = r + -8. Is (-47)/k + 2/(-3) a prime number?
False
Let s(p) = 2*p**2 + 5*p - 2. Let k = 6 + -3. Is s(k) composite?
False
Suppose -4*k + 14 = 2*z, 3*z + 0*k = 5*k - 1. Suppose 2*p + z = -3. Is (-268)/p + 1/(-3) prime?
True
Suppose 2 = -2*o + 6. Suppose -4*n + 9 = 1. Suppose n*u - 28 = -o*u. Is u prime?
True
Let k be (-4)/14 - (-36)/(-21). Is k/(-4) - 102/(-4) composite?
True
Let v be -1*(-3 + 3)/(-1). Let k(x) = -x**2 - x + 37. Is k(v) a prime number?
True
Suppose 8*n - 1180 = 4*n. Suppose y - 2*f + 160 = 0, -f + 4*f = -3*y - 516. Let q = n + y. Is q composite?
False
Let l(o) = o - 2. Let p be l(2). Suppose p*f = f - 7. Is f composite?
False
Is ((-2694)/(-4))/(6/8) a prime number?
False
Suppose 52 = n - 54. Suppose -q = q - n. Is q prime?
True
Let d(n) = n**3 - 2*n**2 - n - 12. Is d(5) a composite number?
True
Let p be (1/3)/((-1)/(-6)). Suppose -5*r = -p*r - 159. Is r a composite number?
False
Suppose 2*o - 6*o = 0. Suppose o = z - 2 - 10. Suppose -2*r - 9 = -u + 9, 2*u + 2*r - z = 0. Is u prime?
False
Let v(a) = a**3 - 6*a**2 - 3*a + 9. Let i be v(7). Suppose 0 = l - i - 4. Suppose l - 139 = -2*f. Is f prime?
False
Let p(a) = a**2 + 14*a - 2. Let q be p(-14). Let r = q - -165. Is r composite?
False
Let g = 3175 + -2222. Is g a composite number?
False
Let w(b) = -9*b - 6. Is w(-3) prime?
False
Suppose 3*h + 18 = 4*h + b, 5*h - b = 102. Suppose -4*w + 20 = -h. Is w a prime number?
False
Suppose 5*b - 145 - 190 = 0. Is b a prime number?
True
Let m(o) = 38*o**2 - 4*o + 11. Is m(5) a composite number?
False
Suppose -3*g + 262 + 371 = 0. Is g a prime number?
True
Let d(w) = 1 + 5*w - 6*w - 1. Let t be d(0). Suppose t = -5*r + 6*r - 55. Is r a prime number?
False
Let l(v) = -76*v**3 + v**2. Let i = 7 + -8. Is l(i) prime?
False
Let s = 62 - 15. Let c = -26 + s. Is c a composite number?
True
Suppose 2*h + 3 = -5*n, -n + 9 = h - 2*n. Suppose h*s - 130 = s. Is s a prime number?
False
Suppose 5*n = 262 + 333. Is n a composite number?
True
Let q = -1 - -2. Suppose v + q = -1. Let i(o) = -44*o + 1. Is i(v) composite?
False
Suppose -5*c - 77 = -17. Let z be (-2)/((-21)/c + -2). Is z/12 - 566/(-6) prime?
False
Let x(m) be the first derivative of m**4/4 - m**3/3 + 119*m - 11. Suppose -1 = 4*i - 4*a - 13, -3*i + 2*a = -6. Is x(i) prime?
False
Suppose 3*g + 9*u - 12*u = 17931, 29909 = 5*g + u. Is g a composite number?
False
Suppose 5*m - 4*g = 6*m + 12, 4 = 5*m + 4*g. Suppose -3*a = m*d - 70, -2 - 23 = 5*d. Suppose -3*v + a = -v. Is v a composite number?
True
Let t = 14 + -9. Suppose 5*b = t*y + 440, 2*b - 93 - 73 = -3*y. Is b a prime number?
False
Suppose 4*a + 5*z = -66, -2*z + 61 = -3*a - 0*z. Let i = -11 - a. Suppose -i = -q - q. Is q a composite number?
True
Let w(g) = g - 2*g**2 + 3*g**2 + 6*g + 3. Let r be w(-7). Suppose -r*p = -7*p + 248. Is p a composite number?
True
Let y = 520 + -89. Is y composite?
False
Suppose 0 = -4*y - y - 15. Is ((-26)/3 - y)*-21 a prime number?
False
Let b(u) = -u - 3. Let m be b(-5). Suppose 2*p = -m*p + 1304. Let i = -197 + p. Is i composite?
True
Is 1*-71*-3*(-21)/(-9) a prime number?
False
Suppose 2*h - 2881 = -947. Is h a composite number?
False
Suppose -2*v = 226 - 938. Suppose t = -4*d + v, d + 0*t - 3*t = 89. Is d composite?
False
Suppose -2*l - 1 = 61. Suppose -5*c + 7 - 2 = 0, -4*t + 3*c - 443 = 0. Let b = l - t. Is b a composite number?
False
Suppose -y + 112 = 3*q + 26, -5*q + 4*y = -115. Suppose -3*d + 3*z = q - 114, 91 = 3*d - 2*z. Is d a prime number?
False
Suppose 15*x - 397 - 4028 = 0. Is x a prime number?
False
Suppose -825 = -t - z - 4*z, 0 = -2*t - z + 1605. Let q = 1335 - t. Is q composite?
True
Suppose 0 = -0*u + 4*u - 220. Is u composite?
True
Let z(h) = -8*h**2 - 4*h + 3. Let q be z(2). Let a = -1 + -14. Let s = a - q. Is s composite?
True
Suppose -2*w = -4*z + 28, 46 - 5 = 5*z - 4*w. Suppose -z*v + 883 = 293. Is v composite?
True
Let r be (0 - (3 - 4))/1. Suppose 0*v + v = -r. Let y = 34 + v. Is y a composite number?
True
Let q be (-2 - -6)/(3/(-6)). Let j be 34/(-4) - (-4)/q. Let n(a) = -4*a + 1. Is n(j) a composite number?
False
Let x be (-10)/4*(-10)/5. Suppose -3*l - d - x + 17 = 0, -4*l = d - 16. Suppose 5*c - 37 = l*c. Is c prime?
True
Suppose -2*f + 3*w = -5*f + 2097, -2*w = -3*f + 2117. Is f a prime number?
False
Suppose 3*s - 5*m = 277 + 39, 4*s - 408 = 4*m. Is s a prime number?
True
Suppose 13 = -m + 3*d, -6*m + 3*d = -4*m + 23. Let v be (-4)/10 + (-244)/m. Let t = 9 + v. Is t composite?
True
Suppose 5*d - 3*x + 3242 = 14071, 3*d + 4*x - 6509 = 0. Is d composite?
True
Let j = -6 - -8. Suppose y + j = 1. Let f(u) = -36*u + 1. Is f(y) a composite number?
False
Let g be (6 - 0)/(2 - 0). Let x be 1/(-3) + 766/g. Is x/(-6)*(0 + -2) a composite number?
True
Let t(m) = -4*m**2 + 8*m - 4. Let q be t(5). Is (2 + q/2)/(-2) prime?
False
Let u = 119 - 61. Is u composite?
True
Suppose 0*h + h - 5*k = 1406, -7051 = -5*h + 4*k. Is h a prime number?
False
Suppose 2*x - 2 = -10. Is ((-259)/x)/(15/60) a prime number?
False
Suppose 0 = -3*b - 5*s, 2*b - 4*s = -b. Suppose 0 = 2*r - 4*i - 128, -2*i + 6 = -b*i. Suppose 9*f - 4*f - r = 0. Is f composite?
True
Is (1/5 + (-21986)/5)/(-1) a composite number?
False
Is (-8)/(-2) - 263/(-1) composite?
True
Suppose 342 = -0*l + 5*l + 2*h, -4*l + 4*h + 268 = 0. Let i be (-1)/3 - (-62)/(-3). Let t = i + l. Is t a prime number?
True
Let z(w) = w**3 - 15*w**2 - 17*w + 6. Let l be z(16). Is 1758/30 - 4/l a composite number?
False
Let a(r) = -10*r**3 - 5*r**2 - 4*r + 7. Is a(-4) prime?
False
Let i = 323 - -155. Suppose 6*j = i + 158. Is j composite?
True
Let p(n) = -4*n**2 - 1. Let c be p(-2). Let k be (c + -1)/(-1 - 0). Let r = k + -12. Is r prime?
False
Is 276/27 - (-2)/(-9) prime?
False
Let d(j) = -2*j + 15. Let b(y) = -y + 8. Let a(r) = -5*b(r) + 3*d(r). Let o be a(7). Is 1 + (2 - o)*28 prime?
True
Suppose -3*j + 19164 = -3*r, 7*j - 5*r + 19172 = 10*j. Is j a composite number?
False
Suppose 2*g + 3*k = 7, -3*g + 7 + 4 = 5*k. Suppose -2*u + 3*f = u - 270, -g*f - 4 = 0. Is u - (-1 + 2 + -2) prime?
True
Let p be 111*1 + (1 - 1). Let r(f) = f**2 - 7*f + 5. Let q be r(7). Suppose -q*v + 2*v = -p. Is v prime?
True
Let v = -10 + 7. Let z(q) = -17*q + 1 + 5 