 + -2)*123/(-3) a prime number?
False
Let v(k) = k**2 + 56*k - 19. Is v(24) a composite number?
False
Let v = -155 + 110. Let l be (-30)/(-4)*132/15. Let x = l + v. Is x a composite number?
True
Let i = 0 + 0. Suppose i*y + 6 = 2*y. Suppose -y*t - 4*m + 53 = 0, 4*m = -t + 11 + 4. Is t a prime number?
True
Let q = 80 - -77. Is q a prime number?
True
Suppose 4*d - 209 - 2019 = 0. Is d a composite number?
False
Suppose 0 = u + 1 - 3. Suppose -u*s + 72 = s. Suppose 0 = -2*j - 2*c + s, 4*j - c = 3*c + 64. Is j a composite number?
True
Let x be 3 + 1 + 5 + -4. Suppose 3*q - 1115 = -2*o, q + 2762 = x*o - 0*q. Is o composite?
True
Is 2 + -5 + 3 - -53 a composite number?
False
Suppose q = 2*r + 6*q - 1082, 0 = q. Is r prime?
True
Let x(l) = 81*l**2 - 5*l - 3. Is x(-2) a prime number?
True
Let n = 31 + -59. Is (-370)/(-7) + (-4)/n a prime number?
True
Let y(d) = 5*d**3 + d**2 - 1. Let u be y(1). Suppose u*w - 8 = 2*f, 1 + 3 = -3*w - f. Suppose 3*c = -3 - w, c = 2*x - 47. Is x a composite number?
False
Let o = 184 + -75. Is o prime?
True
Let u = -14 + 6. Let c = 8 + u. Suppose c = -3*n + 102 + 471. Is n a prime number?
True
Suppose 4*r = 0, 3*c - r - 486 = -5*r. Suppose 4*q = -o + q + 67, 4*q = 3*o - c. Let u = 7 + o. Is u a composite number?
True
Suppose 33 = -b + 4*y, -5*b = 2*y + y + 142. Let k = -4 - b. Is k prime?
False
Let v = 39 - 1. Is v prime?
False
Let u be (-134)/(-26) - (-8)/(-52). Suppose -151 = -u*t + 904. Is t composite?
False
Is (-6)/3 + (-1017)/(-3) a prime number?
True
Let z = 1902 - 863. Is z composite?
False
Let z = 96 + 249. Suppose i + z = 4*i. Is i composite?
True
Let l = 2 + 0. Let h be (-10)/l*1*-1. Suppose h*a = 4*a + 33. Is a a composite number?
True
Is 526*((-15)/6)/(-5) composite?
False
Let x(n) = n**3 + 5*n**2 - 3*n + 6. Let c(a) = -3*a**2 + 2*a + 2. Let w be c(2). Let b be x(w). Is ((-8)/b)/((-2)/(-213)) composite?
False
Suppose 2*x - 9 = -7. Is x + 289 - (4 - 7) a prime number?
True
Let o(j) = j**3 - 4*j**2 - 6*j + 4. Let c be o(5). Let k = 1 - 1. Is 23 + (k - 1) - c a composite number?
False
Let v(k) = -2*k**2 - 4*k - 7. Let f = -12 - -6. Let h(g) = g**2 + 5*g + 8. Let i(t) = f*h(t) - 7*v(t). Is i(-2) prime?
True
Suppose -3*j = -3984 - 3327. Is j prime?
True
Let g = 432 + 47. Is g composite?
False
Let j(n) = -51*n - 2. Is j(-1) composite?
True
Suppose -3*j = -8 + 11. Let i(l) = -81*l + 2. Is i(j) a composite number?
False
Suppose -2*u + 8 = 2. Suppose 3*w + 1 + 20 = 3*n, -u*w = n + 9. Is 90 + 0 + n/(-3) composite?
False
Suppose -5*h + n = -39, 8*n + 48 = 4*h + 3*n. Suppose -8 = u - 5*u. Suppose u*g - h = g. Is g a prime number?
True
Let y = -10 - -87. Is y prime?
False
Let z(b) = -4*b**3 - 2*b - 1. Let q be z(-1). Suppose -q*l + 12 = -58. Is l prime?
False
Let f = -15 + 21. Suppose -f*s = -s - 15. Is s a composite number?
False
Suppose -3*m - 24 = -4*q, -m = q - 3*m - 6. Is (-3)/((-9)/q) + 1 prime?
True
Let a = -1006 + 242. Let l = -496 - a. Suppose l = -w + 5*w. Is w prime?
True
Let f(t) = 14*t**2 - 3*t - 1. Is f(-4) a prime number?
False
Let u(r) = 2*r**2 - 12*r - 27. Is u(11) a prime number?
True
Suppose -w = w + 40. Is (w/(-6))/((-12)/(-54)) a composite number?
True
Let o(a) = -a**2 - 4*a + 4. Let c be o(-4). Suppose -c*s + 2*s = -1146. Is s a composite number?
True
Suppose -4*i + 2*q = -2980, -5*i + 4*i + 745 = -5*q. Is i a prime number?
False
Let t(a) be the second derivative of -a**4/12 - 5*a**3/3 + 7*a**2/2 - 2*a. Let z be t(-7). Let j = z + 69. Is j prime?
True
Let o = 7 + -3. Let l = 0 + o. Is l a prime number?
False
Let c(j) = 3*j + 5. Let m be c(0). Suppose 2*z - m*z - 3*d = -282, 0 = -3*d + 15. Is z a prime number?
True
Let t(h) = h**3 - 8*h**2 + 11*h - 11. Suppose -7 = -j - 7*x + 2*x, 4*x = 0. Let p be (j + 1)*5/5. Is t(p) prime?
False
Suppose 4*l + 3*j - 15 = 0, 2*l - 19 = -3*l - 4*j. Let b(k) = 2*k**2 + 6*k + 1. Is b(l) prime?
True
Let s(t) = -9*t + 4. Let l = -5 + 3. Let i be (-2)/8*-10*l. Is s(i) prime?
False
Suppose 0 = 5*m + l - 5021, m - 2*l = -2*m + 3023. Suppose m = -0*x + 3*x. Suppose 5*a + 4*s - x = 0, -2*a = 2*a - s - 268. Is a a prime number?
True
Let k(x) = -720*x - 1. Let c be k(-1). Suppose 5*h - 926 = c. Is h a composite number?
True
Let r = -8 - 4. Let v be r/27*6*15. Let s = v - -59. Is s a prime number?
True
Suppose d + 2*d - 291 = 0. Is d a prime number?
True
Let g be (-1 - 14/6)*3. Let a = 2 - g. Suppose -4*d = -a - 28. Is d a prime number?
False
Suppose -3*y - 2*y - 401 = -m, -5*y = -2*m + 807. Let p = m + -257. Is p a prime number?
True
Let o(r) = -r**2 + 6*r - 2. Suppose 3*l - 2 = -2*s + 6, 5*s - 3 = l. Suppose f + 14 = 3*h, 3 = h - l*f - 0*f. Is o(h) a prime number?
True
Let v be -1 + 6*(-2)/(-4). Suppose h + v*h = 159. Is h prime?
True
Let n(c) be the third derivative of c**5/12 + c**3/6 + c**2. Is n(-1) a prime number?
False
Let z(o) = 5*o**2 - 4*o + 1. Let q be (-1)/(-3) + (-280)/(-24). Let s = 8 - q. Is z(s) prime?
True
Suppose 0 = 5*g + o - 17, -4*g + 0*g + 18 = 3*o. Suppose -2*q = -2*v + 6 - 14, q = -3*v + 4. Let f = v + g. Is f a prime number?
True
Suppose -r + 3*f - 61 = 0, -5*r - f + 139 - 492 = 0. Let m = 57 - r. Is m a prime number?
True
Let i be (-906)/(-15) - 6/(-10). Suppose -3*f + 146 = -i. Is f composite?
True
Let v be (-3)/(-1 - (-1)/(-2)). Suppose 4*o = -4*p + 22 - 2, -2*o = -6. Suppose p*i - 5*m - 47 = -0*m, v*i - 42 = 4*m. Is i prime?
True
Suppose 3*s + 189 = 4*f, -3*f + 72 = -3*s - 72. Let g = 88 + f. Is g composite?
True
Suppose 0 = -3*t + 2*t - 4. Let z = 7 + t. Suppose -z*c + 6*w + 5 = w, -5*w + 75 = 5*c. Is c prime?
False
Let h be 24/15*5/2. Let c(z) = -4*z**2 - h + 0*z**3 + 0*z**3 + z**3. Is c(5) composite?
True
Let p(i) = -i**2 - 7*i. Let l be p(-6). Is 670/(-1)*l/(-12) a composite number?
True
Let t(y) = -y**3 - 8*y**2 + 9*y + 2. Let j be t(-9). Suppose j*q - 5*q = -30. Is q a prime number?
False
Let t = 85 - 38. Is t a prime number?
True
Let d(z) = 413*z. Let n be (-1)/4 + 5/4. Is d(n) prime?
False
Let z = 14 - 5. Let m = z + -3. Is m + -5 - -86*3 a composite number?
True
Suppose -5*p + 2*o = -1095, o - 876 = p - 5*p. Is p a composite number?
True
Let o be (0 + 2/6)*-3. Is 492/15 - o/5 a prime number?
False
Suppose 2*q = q + 6. Let k be (-1)/((-2)/q)*5. Suppose i + 4*i = k. Is i a composite number?
False
Suppose p = -3, 28 = 3*t - 2*t + 2*p. Is 7518/t - (-2)/(-17) composite?
True
Suppose -6*f + 5*f = -235. Is f a composite number?
True
Suppose -r - h - 2 = -2*r, -5*r + 12 = -3*h. Suppose 10 = v + 5*u - 3, 3*v = r*u - 15. Let o(j) = -12*j**3 + 2*j - 1. Is o(v) a composite number?
True
Let v(o) = o**3 - 11*o**2 + 14*o + 7. Let t = 21 + -11. Is v(t) composite?
False
Let y(d) = 13*d**2 + 2*d - 2. Let h be y(-7). Is 2/11 - h/(-33) a prime number?
True
Suppose -72 = -2*w + 42. Suppose r + 11 = -15. Let o = w + r. Is o prime?
True
Let s(z) = -35*z + 2. Is s(-1) prime?
True
Let g(p) = -p + 14. Let q = -1 - 0. Let n = q + 1. Is g(n) a composite number?
True
Let c(d) = -d**2 - 4*d + 7. Let v be c(-7). Let l be 0 - -1 - (-44)/(-2). Let q = v - l. Is q a prime number?
True
Let m = -9 - -6. Is (25/10)/(m/(-66)) composite?
True
Suppose y - 3*t + 2*t = -10, -6 = -y - 3*t. Let d(u) = -6*u + 3*u + 5*u + 0 + 4*u**2 - 1. Is d(y) prime?
True
Let a = -145 + 243. Let u = -2 + 2. Suppose -x + 3*x - a = u. Is x prime?
False
Suppose -4*q - 2*s - 868 + 2546 = 0, -2*q + s + 837 = 0. Let t = -28 + q. Is t a prime number?
False
Let j(i) = 22*i + 0 + 0. Is j(1) a composite number?
True
Let y(r) be the third derivative of -r**7/2520 + r**6/40 - r**5/40 + r**4/6 - 4*r**2. Let m(p) be the second derivative of y(p). Is m(8) prime?
False
Is (662/(-6))/((-3)/18) composite?
True
Let k(g) = 19*g**2 - 13*g + 1. Is k(-9) composite?
False
Let v(w) = -w**2 + 7*w - 7. Let m be v(5). Suppose -g = -k - 5, 3*k - m + 0 = 0. Is ((-30)/8)/(g/(-24)) composite?
True
Let d = -4 - -75. Is d a composite number?
False
Suppose 0 = -v - v. Suppose v = 2*i + 4 - 12. Suppose -c + 19 = i. Is c a composite number?
True
Suppose 0 = 7*n - 3*n. Suppose -3*x - 7 + 64 = n. Is x a prime number?
True
Let f(s) = 14*s**3 - 8*s**2 + 2*s + 5. Is f(3) a prime number?
True
Let v(j) = j**2 + 7*j + 1. Let a be (-46)/6 + (-10)/(-15). Let w be v(a). Is (-2*w)/(2/(-35)) prime?
False
Let l be 6/27 - 40/18. Let d(h) be the third