t a(o) = -9*o**2 + 22*o + 1. Let k(r) = -5*r**2 + 11*r + 1. Let h(m) = -6*a(m) + 11*k(m). Suppose 5*w + 13 + 37 = 0. Is h(w) prime?
False
Let m(h) = h + 1. Let c be m(0). Let j(v) = v**3 - 6*v**2 + 2*v + 5. Let u be j(4). Is 2 - 2 - u*c a prime number?
True
Is 491*2/3*18/12 composite?
False
Let i be (2/5)/(2/(-10)). Is 12*-1*i/4 a composite number?
True
Let i(x) = x + 1. Let u be i(4). Let j = -3 - -3. Suppose j = u*l - 4*l - 59. Is l prime?
True
Suppose -3*a + 491 = 4*c, c - 165 = -2*a + 169. Let n(r) = -116*r**3 + r - 1. Let m be n(1). Let x = m + a. Is x a prime number?
True
Is 310/4 + (-9)/18 a prime number?
False
Let o(b) = 368*b**2 + 2*b + 1. Is o(-1) a composite number?
False
Let o(d) = -d**3 + 3*d**2 + 4*d + 1. Let g be o(4). Let r = -1 + g. Suppose -4*s + 596 = -r*s. Is s composite?
False
Let v(j) = -64*j + 2. Let z be v(-6). Is z/6 + (-14)/(-21) prime?
False
Let b(m) = m**3 + 12*m**2 + 10*m - 8. Is b(-9) a prime number?
False
Suppose -16*y = -21*y + 4195. Is y a composite number?
False
Let b(f) = f**2 - 5*f + 4. Let p be b(6). Suppose -g - 3 = -2*k, 0 = -g + 4*k - k. Let o = p - g. Is o prime?
True
Let u = 790 - 417. Is u a prime number?
True
Suppose -c = -d - 2*d + 7, -2*d + 3*c = 0. Suppose -d*m = -0 - 3. Is 166/12 - m/(-6) a prime number?
False
Suppose -4*c = -3*c - 2. Suppose 4*b = -c*v + 338, -5*b + 167 = v - 4*b. Suppose -4*h + v = -h. Is h a prime number?
False
Suppose t + 124 = 5*t. Is t prime?
True
Let a(u) = 44*u - 3. Let r be a(4). Let m = r + -88. Is m composite?
True
Let h = 272 - -357. Is h a prime number?
False
Let r be (2/1)/2*248. Suppose -4*p - 4*s = -r, 4*s = -5*p + 5*s + 340. Is p composite?
False
Let n = -311 - -622. Let y = n + -4. Is y composite?
False
Suppose 18 = 2*p - 2*t, 2*p - 3*t = 7*p - 53. Suppose 8*x = 3*x + p. Suppose 0*l - 22 = -x*l. Is l a prime number?
True
Suppose 4*x + 0*x = 60. Is x*1/2*2 a composite number?
True
Suppose 0 = -2*v + 4*v + 8, 0 = -3*p + 2*v + 221. Is p a prime number?
True
Let j be 3*(2 - 3/9). Suppose -5*s + 9 = i, j*s - 6 = -5*i - 1. Is s - (-7 - (-2 + 4)) prime?
True
Suppose -4*w - 4*k + 222 = -814, -4*k = -2*w + 488. Is w composite?
True
Let m be (3/2)/(3/(-6)). Let g(w) = -w**3 - w**2 + 3*w - 2. Let o be g(m). Let j(y) = y + 3. Is j(o) prime?
False
Let k be (8/(-6))/(2/(-519)). Let a = k + -155. Is a a composite number?
False
Suppose -2*o = 32 + 26. Let y = o - -80. Is y composite?
True
Let b be 0 - 9/(-3)*-1. Let p(n) = -3*n**3 - 4*n**2 - n - 1. Is p(b) a composite number?
False
Let l = -154 + 64. Let n = l - -155. Is n a prime number?
False
Let y(i) = -6*i - 3. Let n be y(9). Let v(j) = 5*j**3 + 2*j**2 - 3*j + 4. Let a be v(3). Let f = a + n. Is f a composite number?
True
Let r = 15 - 5. Suppose -7*m = -r*m + 399. Is m prime?
False
Let z(w) = w**3 + 12*w**2 + 14*w + 9. Let q be z(-11). Let f be ((-2)/(-3))/((-2)/q). Suppose 4*m = f*m - 140. Is m a composite number?
True
Suppose -2*u + u + 3*h = 15, 3*u - 25 = -5*h. Suppose -2*c + 33 + 101 = u. Is c a prime number?
True
Suppose -3*a + 614 + 933 = 5*n, -4*n + a = -1224. Let k = n - 146. Is k a composite number?
True
Suppose -43 = -4*v + 25. Suppose 2*q + v = -0*q - 5*z, -5*z = 15. Is q - -4 - 3 - -143 composite?
True
Let k(d) = -d**3 - 6*d**2 - 5*d + 2. Let v be k(-5). Suppose 5*n - 32 = -v*y + 3*n, n = 5*y - 68. Is y a composite number?
True
Suppose -5*a - 1101 = -4*h, -a - 5 + 0 = 0. Is h composite?
False
Let l(k) = k**3 + 11*k**2 - 20*k + 6. Is l(-11) prime?
False
Let s(f) be the first derivative of 6*f**4 + f**3/3 - f**2/2 + f + 1. Suppose -15*p + 10 = -5*p. Is s(p) a composite number?
True
Is (-694 + 17)/(1/(-1)) a composite number?
False
Suppose 5*u + 149 = z, -u = 4*z - 6*u - 596. Is z composite?
False
Let j be -1*(-1 + -3 + 1). Is (-3 - 714)*(-1)/j a composite number?
False
Let d(t) = 11*t**2 - 3*t + 1. Let c be d(-3). Let j = 236 - c. Is j a prime number?
True
Let j be (-1)/3 - (-1328)/6. Suppose -3*v + j = 86. Is (-4)/(-18) + 1655/v composite?
False
Let s(d) = -33*d - 5. Is s(-8) a prime number?
False
Suppose 4 = -2*t + 6. Let f = t - -4. Is 611/f + (-3)/15 composite?
True
Suppose z + 8 = -28. Is 4/(-18) + (-1376)/z prime?
False
Let d be ((-15)/(-6))/(-1)*-2. Suppose -d*r - 1 + 11 = 0. Suppose r*z - 3*z = -62. Is z a prime number?
False
Let a(w) = -15*w**2 + 4. Let g = 24 - 16. Let o(s) = 45*s**2 - s - 12. Let i(t) = g*a(t) + 3*o(t). Is i(3) composite?
True
Suppose 0 = -5*i + 4*q + 3339, -5*q = -i - 6*q + 666. Is i prime?
False
Let z = -546 - -1269. Is z prime?
False
Let v(k) = -7*k**3 + k**2 - k + 239. Let p(l) = -6*l**3 + l**2 - l + 239. Let i(n) = 6*p(n) - 5*v(n). Let c be i(0). Suppose 3*r - c = -38. Is r a prime number?
True
Suppose -5 = -0*b - b. Let v = 211 + -101. Suppose n = -b + 1, -v = -2*y + n. Is y prime?
True
Let l(g) = 25*g**2 - 2*g + 5. Let b be l(4). Suppose -28 = -5*k + b. Let y = 512 - k. Is y a composite number?
True
Let h be -156*(-3)/24*6. Let c = -83 + h. Is c a composite number?
True
Let o(a) = 31*a**3 + 6*a**2 + 7*a - 15. Is o(5) prime?
False
Let t = -26 - -107. Let q = t + -43. Suppose 277 = 5*o - 3*y, o = 2*y + q + 23. Is o prime?
True
Suppose -5*y = -3*j + 12, -20 = 3*y - 0*y - 5*j. Suppose y*q - 92 = -2*q. Is q composite?
True
Let t be (-38)/((24/(-52))/3). Is (-1)/((-495)/t - -2) a composite number?
True
Suppose 8*r - 1039 = -a + 4*r, -a + 2*r + 1027 = 0. Is a prime?
True
Is (5540/(-3) + (-5)/15)*-1 prime?
True
Suppose 0 = t - 8 + 2. Suppose 166 = t*d - 20. Is d a prime number?
True
Suppose -4*d + d = -138. Is d a composite number?
True
Let y = 0 - 1. Let x = y + 31. Suppose a + 10 - x = -3*r, 4*a - 95 = 3*r. Is a composite?
False
Suppose 0 = 2*v + v - b - 17, -2*b - 19 = -3*v. Is 1269/15 - (-2)/v a composite number?
True
Let r be 5925*(2 + (-10)/6). Suppose 3*m - r + 348 = -4*p, 5*p = 2*m - 1054. Is m a prime number?
False
Is ((-2 - -5) + 10)/(2/178) a composite number?
True
Let d(g) = -3*g**2 - 6*g - 5. Let i be d(-4). Is (2 + -16)*i/2 a prime number?
False
Let y(b) = 3*b + 7. Let z be y(-7). Let x be (-6 - -7)/(2/z). Let t(d) = -12*d - 7. Is t(x) composite?
True
Suppose a + 374 = 3*a. Suppose -409 = -4*i + a. Is i a composite number?
False
Let y be 106/(-10) - (-12)/(-30). Let m(q) = -33*q + 4. Let n(l) = -65*l + 7. Let v(r) = y*m(r) + 6*n(r). Is v(-3) composite?
False
Suppose -891 = -5*m - 296. Is m composite?
True
Suppose 5*w - 2693 = 3*i, 2*w + 5*i = 603 + 499. Let x = w + -350. Is x a composite number?
False
Suppose 0 = -3*g + g. Let f be 3 - (g - (2 - 1)). Suppose -2*a - 218 = -f*a. Is a a composite number?
False
Is (74/4)/((-4)/(-24)) a prime number?
False
Let i(b) = 2*b. Let d be i(6). Let x be d/(-6) - (-10)/2. Suppose 0*l + 2*l = -10, x*j = 4*l + 59. Is j a prime number?
True
Suppose 4*v + 160 = -4*n, -5*n + 2*n = -3*v - 150. Let f be (1/(-3))/(3/v). Suppose -g + 2*g = 4*u + 66, 3*g = -f*u + 181. Is g a prime number?
False
Is 3664/6 + 2 - (-11)/33 a prime number?
True
Suppose -269 = -2*z + 3*b, -5*z = -0*z - b - 640. Is z a composite number?
False
Let x = 9 + -7. Suppose -5*d + 15 = 0, -a + 157 = -x*d - 0*d. Is a a prime number?
True
Let t = -4 + -6. Let c(p) = -3*p + 11. Let b be c(t). Let f = b + 2. Is f composite?
False
Let b(w) = w**2 - 2. Let r be b(-2). Suppose m + r*m = 0. Is (21 + 1)/(m + 2) a composite number?
False
Suppose 4*h + 5*d = -h - 85, h - 5*d + 41 = 0. Let n be (-4 - -1) + (5 - -66). Let u = h + n. Is u composite?
False
Suppose -h = h - 4*j + 8, -4*h + 5*j = 22. Let v be (-2)/h + 2/(-8). Suppose 3*g + 10 = 2*y - 16, 5*y + 2*g - 27 = v. Is y composite?
False
Is (4 - 2)*(-12590)/(-20) a prime number?
True
Let t = -50 - -99. Is t composite?
True
Suppose -3*h + 113 = 14. Is h composite?
True
Let o(a) = 275*a**3 + 2*a**2 - 1. Let k be o(1). Suppose k = 5*w + 31. Is w a prime number?
False
Suppose 0*c = -5*h + 2*c + 38, 0 = 3*h - 2*c - 26. Suppose -5*r - 4*k = -h*r + 23, -5*k = 2*r + 19. Is r/((-3)/(-6) - 0) a composite number?
True
Suppose 15*f - 1585 = 10*f. Is f a prime number?
True
Suppose 3*z - 278 = z + 4*u, 2*u - 6 = 0. Suppose 3*a = z + 278. Is a a composite number?
True
Let l be 1 - (3 + -3 + -2). Let u = 4 - 1. Suppose u*b + 4*i = 79, 0*i = -l*b + 3*i + 114. Is b composite?
True
Suppose 4*i - 253 = 7. Suppose -3*a - r = -2*r - i, 2*r = -2*a + 46. 