 n**3 + 3*n**2 + 2*n - 7. Let r(j) = 2*j**3 + 7*j**2 + 5*j - 15. Let y(l) = -3*r(l) + 7*x(l). Let z be y(-3). Let k = -9 - z. Is k prime?
True
Suppose 4*a + 5*n - 5041 = a, -4 = n. Is a composite?
True
Let n = 53 - 32. Let d = 4 + n. Is d a composite number?
True
Suppose -880 = -4*m - 0*m. Is (1 + 0)*m/10 prime?
False
Let r(k) = -k**3 + k**2 - k + 2. Let j be r(0). Let i(u) = u + 9. Let p be i(-9). Suppose -2*x - j*x + 4*a = -132, 2*x - 4*a - 58 = p. Is x composite?
False
Suppose 0 = -2*m + 5*z - 325, -z = -2*m + m - 161. Let i = m + 296. Let u = i + -21. Is u prime?
False
Suppose 6*v = 4*v + 284. Is v prime?
False
Suppose -267 = 15*l - 18*l. Is l prime?
True
Suppose -a + 19 = 4*x, 5*a + 0*x = -2*x + 23. Suppose a*n = 3*y - 567, 4*n - n + 565 = 4*y. Let q = 66 - n. Is q prime?
True
Let j(f) = -2*f**3 + 2*f**2 + f + 2. Suppose 0 = -5*h + 4*o - o - 6, 0 = -5*h - 4*o - 27. Is j(h) prime?
True
Let j = -4776 - -7775. Is j a prime number?
True
Let m = -197 - -1050. Is m a composite number?
False
Suppose w + 5 = 164. Is w prime?
False
Suppose 8*t - 8506 = 6*t. Is t composite?
False
Is 430/(-3)*(-21)/14 a prime number?
False
Let b(j) = -33*j + 1. Let r be b(-2). Let n = 98 - r. Is n prime?
True
Suppose -2*p = p - 393. Is p a prime number?
True
Let l = -41 - -115. Is l prime?
False
Suppose -8 = -5*m + 12, -3*m + 341 = v. Is v a composite number?
True
Suppose -255 = -m + 4*a, -2*m + 115 + 405 = -3*a. Is m a prime number?
True
Let k(j) = 4*j**2 + 3*j - j - 6*j**2 - 2 + 3*j**2. Let u(w) = w**2 - 7*w + 6. Let d be u(4). Is k(d) a prime number?
False
Let j = 19 - 14. Let o be 1 - (-151 - 1/1). Suppose -4*c + 2*t + 153 = -j, 4*c - t = o. Is c a prime number?
True
Let q = -227 + -579. Is q/(-12) - 2/12 prime?
True
Suppose -z + 816 = 2*z - 3*s, 0 = -z + 2*s + 269. Suppose -380 = 5*f + z. Is (0 + f)/(1 - 2) prime?
True
Let u be -1 - -4 - (-2 + 3). Suppose 4 = u*l, f + l - 8 = -2*l. Is (-1)/2 + 15/f prime?
True
Let s(g) = 14*g**3 + 3*g**2 - 2*g - 2. Is s(3) prime?
True
Suppose 3695 - 12360 = -5*k. Suppose -1341 = -5*d + 3*a, -5*a + k = 5*d + 408. Is d a prime number?
False
Let n be ((-6)/12)/((-2)/20). Suppose -n*m + 177 = -b, -4*b = -m - 11 + 35. Suppose 5*j - m = 79. Is j composite?
False
Suppose -k - 4*k + 1165 = 0. Suppose x = 2*x - k. Is x a prime number?
True
Let t be ((-27)/(-18))/((-6)/(-1232)). Suppose 3*g + t = 7*g. Is g a composite number?
True
Suppose 4*o = 312 + 124. Is o prime?
True
Let y be (-6)/4*8/(-6). Let w be (y - (4 + -1))*36. Let n = 50 + w. Is n a prime number?
False
Suppose 0 = -5*i - 4*u + 10526, -4 = -0*u - u. Is i composite?
True
Let a = 5 - 3. Is ((-53)/a)/((-4)/8) prime?
True
Let d be (10/(-20))/((-2)/(-24)). Is (-2020)/d + (-3)/(-9) composite?
False
Let h(t) = -2*t**3 - 7*t**2 - 7*t - 11. Is h(-6) a prime number?
True
Suppose 53 = g + 7. Suppose -u = 3*j - 252, 2*u - 450 = -4*j + g. Suppose 5*m = -h - 0*m + 30, 4*h - 4*m - u = 0. Is h prime?
False
Suppose 0 = -2*d + 2, 4*r - 3190 + 1166 = -4*d. Suppose -r + 83 = -2*z. Is z prime?
True
Let o = -1378 - -2061. Is o a prime number?
True
Suppose 0*h + 4*h - 644 = 0. Is h a prime number?
False
Suppose 3*u + 5*h = h + 17, -5*u + 19 = 2*h. Let o(p) = -u - 5*p - 3 + 1. Is o(-4) prime?
False
Let u(q) = 1 - q**2 - 2*q + 336 + q + q**3. Is u(0) a prime number?
True
Suppose 0 = -2*m - 4*q + 1423 - 433, q = 5. Is m a prime number?
False
Let z(p) = p**3 + 6*p**2 - p - 2. Let t be z(-6). Suppose -t*x - x = 0. Suppose x - 70 = -2*m. Is m prime?
False
Suppose -3*s = -0*s - 57. Suppose 3*h = -2*w - s + 99, 0 = 4*w + 3*h - 154. Suppose 0 = -5*i + n + w, -2*i + 2*n = 4*n - 10. Is i prime?
True
Suppose -3*y = 5*v - 1, 0 = -3*y + 3 + 3. Let n be 1/((0 + 2)/(-6)). Is (14 - 3)/(v/n) composite?
True
Let w(t) = t**3 + 5*t**2 - 3*t + 9. Let l be w(-7). Let k = 99 + l. Is k a prime number?
True
Suppose 5*j - 3570 = -o - 4*o, -2*o + 1458 = -4*j. Is o prime?
True
Suppose -113 = -5*y + 502. Let j = -84 + y. Is j a composite number?
True
Suppose 0 = -i - 3*i + 236. Is i composite?
False
Suppose 3*b - 234 = b - 3*h, 0 = -b - h + 117. Suppose 0 = 3*z - 15, 2*x - 3*x - z = -b. Suppose -3*n - 19 = -x. Is n composite?
False
Suppose 0 = -3*q + r + 1, -2*r = -2*q - 5*r - 3. Let c be 7/28 + (-211)/(-4). Suppose b - 2*b + c = q. Is b a composite number?
False
Let g(o) = -o**3 + o**2 - o + 3. Let c be g(0). Suppose 2*y + 13 = c*v - 16, 12 = -3*y. Is v composite?
False
Let h be 2/(-7) + (-7104)/(-21). Suppose -w + 4*w - 5*u = -208, 5*w - 4*u + h = 0. Let i = -31 - w. Is i prime?
False
Suppose 2*n + 73 = 887. Is n composite?
True
Let c = 95 - -16. Let k = c - 56. Is k composite?
True
Suppose -2*s - 106 = -4. Is 2/(-4)*2*s a composite number?
True
Let i(w) = 12*w**2 - 14*w + 1. Is i(10) a composite number?
False
Let i = 1848 - 839. Is i prime?
True
Suppose -4*s - 776 = 2*f + s, 0 = -4*f - 2*s - 1536. Is (f + 1)*2/(-4) a composite number?
False
Let r = 4 - 6. Let c be ((-9)/r)/((-3)/(-4)). Suppose j = c*j - 105. Is j a composite number?
True
Let o = 7754 - 4093. Is o prime?
False
Suppose -v - 28 = 4*s, -5*s - 2*v = -0*v + 32. Let h = s + -10. Let j = -5 - h. Is j a composite number?
False
Let x be 14824/40 - 2/(-5). Is 2*-1 + 2 + x a composite number?
True
Let c = 7 - 4. Suppose -2*s - 3*d + 1330 = c*s, 3*s = -2*d + 799. Is s prime?
True
Is -2*(-3 + 231/(-6)) a prime number?
True
Suppose -n = 4*n - 2075. Is n composite?
True
Let f(x) = 5*x**2 - 12*x + 12. Is f(5) composite?
True
Is (1 - 19256/(-28)) + (-4)/(-14) a composite number?
True
Suppose 2*u + 563 = 3*u. Is u a composite number?
False
Suppose -8*c + 3*c - 3*p + 15 = 0, -2*c = 5*p - 25. Is (93/(-6) - c)*-6 a composite number?
True
Let s(z) = z + 111. Let j be s(0). Suppose -f - 3*o + 3 = -8*o, -6 = -2*f + 5*o. Suppose -f*k = -0*k - j. Is k a prime number?
True
Suppose 0 = 8*l - 3*l + 15, -l + 439 = 2*f. Suppose 3*o + 4*r - 2*r = f, -3*o - r + 226 = 0. Is o a prime number?
False
Let u(d) = d**3 + 10*d**2 - 12*d - 5. Suppose 2*p - 14 + 36 = 5*t, -4*t - 44 = 4*p. Is u(p) composite?
True
Let a = 18 - -19. Is a a composite number?
False
Let f = -2 - -4. Let t = f + -2. Is (1 - t)/(2/158) a prime number?
True
Let h(f) = f**3 + 4*f**2 + 2. Let r be h(-4). Suppose -4*c = -v - 2*v, 4*v = -5*c. Suppose v*o + 422 = r*o. Is o prime?
True
Is (1 + 330)/(33/15 - 2) a composite number?
True
Let l be 15/10 + 9/(-6). Suppose -6*v - 2*u + 125 = -v, 3*v + 4*u - 75 = l. Is v composite?
True
Let q = -4 - -6. Suppose -q*w + 40 = -2*l, -5*w - 51 = 4*l + 29. Is l/3*(-15)/10 a prime number?
False
Suppose -4*z - 3*k + 441 = -6*k, 2*k = 2. Is z prime?
False
Let y(r) = -2*r + 9. Let h be y(7). Let t = 5 + h. Let p(b) = -b**3 - b**2 + 7. Is p(t) a prime number?
True
Suppose 0 = 2*x - s - 159, x - 67 - 7 = -5*s. Is x a prime number?
True
Let t(h) = 37*h. Is t(1) a prime number?
True
Suppose 4*q + 57 = 5*y, 2*q = -2*q + 8. Let d = 18 - y. Suppose 4*p + 0*p - 879 = -d*c, -3*p + 673 = c. Is p composite?
True
Let k = 7 + -5. Is (-22)/(k*(-3)/15) a prime number?
False
Let l = 7 - -2. Suppose n - 11 - 2 = -3*f, l = 3*f - 3*n. Suppose -f*b = -3*b - 131. Is b prime?
True
Let t(n) = -n**2 + 8*n - 8. Let z be t(7). Let l(p) = 0*p - 31*p**3 - 16*p**3 - p - 1. Is l(z) a composite number?
False
Let z(w) = w**3 + 8*w**2 - 9*w + 2. Let p be z(-9). Let c(u) = 9*u - p + 3 - 4. Is c(6) a prime number?
False
Let h(l) be the second derivative of 5*l**3/6 - l. Is h(5) a composite number?
True
Let u be (45 - 0)*5 - -2. Suppose 5*x = -3*d + 44 + 238, -4*x = d - u. Is x composite?
True
Suppose -18 = w - 4. Let b = -12 - w. Is b prime?
True
Suppose 0 = 2*q - 2, -y + 5*y = 5*q + 167. Let j = y + 1. Let n = j - -41. Is n a prime number?
False
Suppose 0*n - 95 = 5*n + 5*j, j - 44 = 2*n. Is (-261)/(-7) - (-6)/n composite?
False
Let l(u) = 2*u**2 - 2*u - 3. Let z(p) = -p**2. Let s(k) = -l(k) - 3*z(k). Suppose 14*q + 56 = -0*q. Is s(q) a composite number?
False
Suppose 4*c = 3*s - 49, -3*c + 1 - 24 = -5*s. Is (-970)/(-14) + c/56 composite?
True
Let h be (6 + -3 - -1) + -1. Suppose -8 = -z - h*z. Suppose -5*q + 43 = d, -d - q = -z*q - 37. Is d composite?
True
Suppose -b + 5 + 6 = 0. Let l(t) = 36*t + 1. Let d be l(2). Suppose -2*g + b + d = 5*w, 0 = 3*g - 5*w - 101. Is g prime?
True
Let x = 26 + -46. Let o = 34 + x. Is o prime?
F