 Is 1*(q*17)/(-2) composite?
True
Suppose l = -2*l. Suppose l = y - 30 - 53. Is y a prime number?
True
Let h be ((-51)/(-9) + 3)/(2/(-6)). Suppose 5*t + 0*t - 455 = 0. Let a = t + h. Is a a composite number?
True
Suppose -4*d - 12 = 0, 1 + 138 = 5*w + 2*d. Let h = 101 - w. Let v = h - 35. Is v a composite number?
False
Let r be (0 + 60)/(-3) - -2. Suppose -3*g + 85 = 2*n, 5*n - 100 = -3*g - 0*g. Let o = g + r. Is o a prime number?
True
Let s(j) = 38*j**2 - 1. Is s(1) a composite number?
False
Let p = -3 - -3. Suppose p = -3*u + 6. Suppose 4*i = -16, 0*z = 2*z - u*i - 126. Is z composite?
False
Suppose 4*b = -b - 4*j + 4489, -4*j = -2*b + 1818. Is b prime?
False
Let m be ((-2)/(-4))/(2/8). Is (25 - 6/2)/m composite?
False
Let r = -640 - -1111. Is r composite?
True
Suppose -5*b + 3*n = 6, 6*b - 2*b + 8 = 4*n. Let m be (-1)/(-2)*b/4. Suppose 3*k - 2*k - 35 = m. Is k a prime number?
False
Let r(j) = 129*j - 41. Is r(10) composite?
False
Suppose 0 = -4*j - 10 + 2. Let d be -1 + 4 + 1 + j. Suppose -3*y + d*y + 55 = 0. Is y a prime number?
False
Is (-2)/(-10) + (-12456)/(-20) a prime number?
False
Let f = 43 + -28. Is ((-10)/f)/(1/(-141)) a prime number?
False
Let q be (0 - -2)/((-8)/(-12)). Suppose q*g - 22 - 233 = 0. Is g a prime number?
False
Let s(q) = -11*q**3 + 3*q**2 - 3*q + 1. Let u be s(2). Let i(j) = 8*j**2 - 4*j + 4. Let x be i(4). Let l = x + u. Is l composite?
True
Let c(w) = -8*w**3 - 2*w**2 - 33*w - 24. Let u(g) = -3*g**3 - g**2 - 11*g - 8. Let h(k) = -4*c(k) + 11*u(k). Is h(-7) a prime number?
True
Suppose -3*t - 18 + 6 = -3*r, -14 = -4*r + 3*t. Let y(w) = 19*w**3 + 2*w**2 + w + 1. Is y(r) prime?
True
Let i(j) = -4*j**2 + 8*j + 13. Let n be i(9). Let x be n/(2 + (1 - 4)). Is x/3 + (-2)/3 a prime number?
True
Let z = 19 + -13. Is 90 - (-3 - z/(-3)) a prime number?
False
Let c(x) = -61*x + 1. Suppose d + 4 = 2. Is c(d) composite?
True
Suppose -5*f + 8*w + 3 = 4*w, 3*w = -f - 7. Is 259 + f - (2 - 3) a composite number?
True
Suppose 5*h - h - 8 = 0. Suppose 15 = h*n + 1. Is n composite?
False
Suppose 2*t = -7*v + 2*v + 156, 0 = 4*t + 2*v - 312. Suppose -2*c + 26 + t = 0. Is (c/(-2))/((-4)/6) prime?
False
Suppose -5*d - 13 + 338 = 0. Is d a prime number?
False
Let c(a) = a**3 + 10*a**2 - 3*a + 1. Let y be c(-10). Suppose y + 15 = o. Is o prime?
False
Let i = -1226 - -611. Let x(a) = -360*a**2 + 4*a - 2. Let q be x(1). Let t = q - i. Is t prime?
True
Let r(i) = i**3 + 6*i**2 + 4*i - 3. Let c = 6 - 11. Let a be r(c). Let k = a + 2. Is k a prime number?
False
Let n(c) = -2*c**3 + 2*c**2 + c + 4. Is n(-5) a prime number?
False
Let v = -18 + 9. Suppose 15 = s + 2*s, 5*s - 109 = 3*k. Let p = v - k. Is p prime?
True
Let q be (-14)/(-6) + (-2)/6. Suppose 96 = q*g + g - 3*b, -2*b = -10. Is g a prime number?
True
Suppose -4*c - 12 = 0, -21 = -0*l + 5*l - 3*c. Let r(t) = t**3 + 5*t**2 - 7*t - 4. Let z be r(l). Suppose -z*k - 155 = -7*k. Is k composite?
False
Let o = 332 + 281. Is o a composite number?
False
Suppose 1077 = 5*k - 278. Is k a composite number?
False
Suppose 0 = -12*a + 7*a + 2855. Is a a composite number?
False
Is (118/4)/(2/8) prime?
False
Suppose 4982 = 7*a - 3131. Is a composite?
True
Let g(h) = -h + 17. Let m be g(13). Suppose -4*b = 3*s + 2 - 14, 4*b - m = -s. Suppose -i - 4*p + 50 = b, 34 = -4*i + 5*p + 150. Is i prime?
False
Suppose -3*w = -h - 7*w - 14, 4*h - 7 = 5*w. Let s be (-1062)/(-12)*h/(-1). Suppose s = d + 2*d. Is d a composite number?
False
Is (-2642)/(-8) + (-5)/4 + 2 composite?
False
Let z be (-2)/5 - 448/5. Let q = z - -159. Let m = q + -34. Is m a prime number?
False
Suppose 3*f - f + 28 = 0. Let c = f - -133. Is c a composite number?
True
Let y be (-10)/4 + (-6)/12. Let c(t) = 1 - 41*t + 21*t - 46*t. Is c(y) composite?
False
Is 147 + 0 + (3 - 1) a prime number?
True
Let w(i) = -2*i**3 - 13*i**2 - 9*i + 5. Is w(-9) prime?
True
Suppose -125 = -5*m + 5*n, 2*n = m + 3*n - 31. Let q = m - -27. Is q a prime number?
False
Let r be 1158*(12/9)/(-1). Let m = r - -2245. Is m prime?
True
Suppose -y + 3*y = 4*o - 56, -5*o = 4*y - 44. Suppose p - 13 = f, p + f + o = 35. Let q = 89 - p. Is q a composite number?
False
Suppose 5*x - 172 = -3*n, 0*n = 3*x - 2*n - 88. Let a = -23 + x. Let j = 2 + a. Is j a prime number?
True
Let a(m) = -12*m - 7. Let k be 2/(-6) + 152/(-12). Is a(k) composite?
False
Suppose 3360 = 5*o - 5*u, -4*u + 2*u = 5*o - 3353. Is o prime?
False
Let g = 11 - 6. Suppose -g*d = -0*d - 65. Is d a composite number?
False
Suppose 16*j = 12*j + 580. Is j prime?
False
Let o be (-1106)/(-10) - (-4)/10. Suppose -5*g = -2*g - o. Is g prime?
True
Let v = 79 - 46. Let m = 220 - v. Is m composite?
True
Let h(b) = 3*b - 9 + 5*b + 2*b - 4 + b**2. Let d be h(-12). Suppose -2*z = -d - 11. Is z composite?
False
Let i be (-1276)/(-16) - (-2)/8. Suppose 2*s - 306 + i = 0. Is s a prime number?
True
Let d = 16 + 13. Let t = 96 - d. Is t a composite number?
False
Suppose -5*t = 3 - 43. Is (t/(-12))/(2/(-381)) composite?
False
Let w = 240 - -559. Is w a composite number?
True
Let r = -994 - -1441. Suppose 0*u = 3*d - 2*u - 447, -3*d + r = 3*u. Is d a prime number?
True
Suppose 2*p - 2*j + 10 = 0, 5*p - 5*j + 16 = 3*p. Let f(r) = -11*r. Is f(p) a prime number?
False
Suppose 0 = 5*b + 153 + 37. Let p = 123 + b. Is p prime?
False
Is 662/8 + (-2)/(-8) composite?
False
Let g = 2357 - 1074. Is g a prime number?
True
Let o(w) = -w**2 - w - 8. Let h be o(0). Let a be (9/(-6))/(6/h). Suppose 298 = 4*v - a*v. Is v a composite number?
False
Let s be (16/(-6))/((-1)/(-3)). Let r(n) = 5*n - 5. Let p(w) = -25*w + 24. Let f(o) = -2*p(o) - 11*r(o). Is f(s) a composite number?
False
Is (-1822 - 3 - 3)/(-2) composite?
True
Let b = 3 + 0. Let h(s) = 8*s - 4 + 0*s - b*s. Is h(5) composite?
True
Let i = -2 + 1. Let y be i + 286 - 1*-2. Let s = y - 132. Is s composite?
True
Suppose -2*c - 1373 = -4135. Is c a prime number?
True
Let k(q) = -45*q - 5. Is k(-2) a prime number?
False
Suppose -5 = -g + 2*q - 3*q, 4*g + q = 8. Let y(i) = 128*i - 1. Is y(g) prime?
True
Suppose d - 2 = -8. Let f(a) = a**3 + 5*a**2 + a - 5. Let v be f(d). Let u = 93 + v. Is u a composite number?
True
Is (-22)/(-33) - (-37)/3 a prime number?
True
Let p(g) = -2 - 1 + 4*g**2 + 2*g + 14 + 2*g. Is p(8) prime?
False
Is ((-2)/4)/((-6)/228) composite?
False
Let c(m) = -m**3 - 11*m**2 + 11*m + 14. Suppose 15 = 5*k, 5*u + 2*k = -0*k - 59. Is c(u) composite?
True
Suppose 0 = 2*t + 2*t - 304. Is (t/(-8))/(1/(-2)) a composite number?
False
Suppose 2*w + 2*w + 64 = 0. Let u be w/(-6) + 2/(-3). Suppose 332 = 2*s + u*s. Is s composite?
False
Let j(r) = -2*r**3 + 6*r**2 - r - 5. Is j(-4) composite?
False
Let r(u) = -17*u - 4. Let x(h) = 33*h + 9. Let i = -10 + 16. Let k(b) = i*x(b) + 11*r(b). Is k(7) a composite number?
True
Let o(t) = -110*t - 5. Is o(-2) a prime number?
False
Let x = -6 - -10. Let z be 30/(-9)*(-6)/x. Suppose w = r + 13 + z, -5*r = 5*w - 120. Is w a prime number?
False
Let y = -167 - -264. Is y prime?
True
Let b(n) = n**2 - n + 22. Is b(0) a composite number?
True
Let t(l) = -l**2 - 12*l - 1. Suppose -2*h = -3 + 19. Is t(h) a prime number?
True
Let z be (0*1/(-4))/(-3). Suppose -u - 4*u = -2*x - 293, z = u - 2*x - 57. Is u a composite number?
False
Let a be (-108)/(-20) - (-4)/(-10). Suppose 451 = 3*w + b, -4*b - b = -a*w + 725. Is w prime?
True
Let a(q) = q**2 + q - 3. Let m be a(-3). Suppose -28 = -5*v + 47. Suppose 4*b = -m + v. Is b a prime number?
True
Suppose -9 = 4*n + 5*s - 2, -4*n + 5 = s. Suppose -4 = -n*t - 0. Suppose -t*a + 3*z + 172 = -2*z, -5*a + 461 = 3*z. Is a composite?
True
Let f be (35/(-2))/((-1)/16). Let r = -392 + f. Let a = 111 - r. Is a a prime number?
True
Suppose -p - 3*j = -14, -3*p - 3*j + 9 + 15 = 0. Suppose 0*v = -p*v + 725. Is v a composite number?
True
Let g be -2 + (14 + 1 - -1). Suppose 3*f + 2*a - g = 0, 1 - 2 = -a. Suppose -v - 234 = n - f*n, 5*n + 2*v - 379 = 0. Is n composite?
True
Let d = 627 + -395. Is ((-1)/(-2))/(2/d) prime?
False
Let j(a) = 7*a + 9. Is j(7) a composite number?
True
Suppose 5*u + 2*f = 5*f + 41, -2*u - 2*f + 10 = 0. Suppose 0 = -u*z + 3*z - 4. Is 67 - ((-1)/z - -1) composite?
True
Suppose -2131 = -3*b + 266. Is b a composite number?
True
Let b = 370 - 122. Suppose 3*f = b - 74. Is f composite?
True
Let k(n) = -123*n 