Is q a prime number?
False
Suppose -2*m + 0*u + u = 12, -4*u = -4*m - 28. Let p = -5 - m. Is (p - -1)*(6 - -1) a prime number?
True
Let q = -86 - -123. Is q a composite number?
False
Suppose 4*q = 4*x - 9*x + 1164, 3*q = 2*x + 850. Suppose 2*l = 5*j - 335, -4*l = 4*j - 2*l - q. Is j a prime number?
False
Suppose -2*v + 30 = -86. Suppose v + 22 = k + 3*h, -4*k = 2*h - 330. Is k a prime number?
True
Suppose r - 12 = 13. Let o = r + 11. Let s = o + -25. Is s prime?
True
Let s be (9/2)/(4/(-40)). Let u = s + 116. Is u composite?
False
Suppose -3*y - u = -16304, 3*y = -2*y - u + 27174. Is y prime?
False
Is (8/30)/(-2) + 177105/225 a composite number?
False
Suppose -4*h + 3*r = 16, -r - 19 = h + 2*r. Let m(v) = 9*v**2 + 4. Is m(h) a prime number?
False
Let x(f) = -10*f + 8. Let i(b) = -b**3 + 7*b**2 - b + 2. Let n be i(7). Let w(p) = -9*p + 9. Let y(q) = n*w(q) + 4*x(q). Is y(12) composite?
False
Let q = 438 - 109. Is q a composite number?
True
Let n(y) = y. Let c be n(2). Suppose -3*b = t - 20, -5*b - c*t = -2*b - 16. Suppose a - 114 = -b. Is a a composite number?
True
Is (-4)/8*1*-2018 a composite number?
False
Suppose -83 = -2*u + 51. Is u a composite number?
False
Suppose -3 = 3*v, 0*w = 2*w - 4*v + 404. Let q = w - -733. Is q a prime number?
False
Suppose -2*z + 449 = 3*d, -295 = d - 3*d + 3*z. Is d a prime number?
True
Let m be 1332/(-20) - (-2)/(-5). Let n = m - -144. Suppose -h = -n - 20. Is h a prime number?
True
Let k(m) = -93*m - 5. Is k(-3) a prime number?
False
Suppose 216 = -4*h + 5*v, -2*v = 2*h + h + 139. Let i = -2 - h. Is i a prime number?
True
Let u be 6/(-9) - 2/(-3). Suppose -a = 4*a - 525. Is 2*a/6 - u a composite number?
True
Is (-5 - 12)*(-1 - 16) composite?
True
Suppose -d + 5*w + 24 = 9, w - 18 = -4*d. Suppose -5*k + z = -6, -5*k = -d*z + 12 - 2. Suppose -u + 42 = k*u. Is u a prime number?
False
Let f(m) = 6*m**2 + 5*m - 40. Is f(19) a prime number?
True
Suppose -f = 3*p - 13, -4*p + 0*p + 4*f + 44 = 0. Suppose 0 = -g + 2*y + 32, -p*y + 4*y - 128 = -5*g. Let i = g + -5. Is i a composite number?
False
Suppose -2 = -2*y + 8. Suppose y*g - 271 = w, -4*w - 1116 = -2*g - 2*g. Let a = 440 + w. Is a a composite number?
True
Suppose -5*z - 85 + 250 = 0. Is z a prime number?
False
Let l(j) = -23*j - 1. Is l(-4) composite?
True
Let x(n) = 10*n**2 + 3*n + 2. Suppose -5*r + a = 14, 7*r - 4*r - 6 = -3*a. Let k be x(r). Suppose -2*q + 70 = -k. Is q prime?
True
Let i = -4 + 7. Suppose -2*w - 2 = 4*x + 2, -i*w = x - 4. Suppose -f + 5*o = -57 - 3, 55 = w*f + 3*o. Is f a prime number?
False
Suppose 0 = -3*n + 2*n + 5. Suppose 0 = -4*p + n + 35. Is p a composite number?
True
Let k = 407 - 244. Is k a composite number?
False
Suppose 0 = 4*s + 273 + 463. Let i = -117 - s. Is i a prime number?
True
Let x(t) = t**2 + 9*t + 3. Let v be x(-9). Suppose -7*a = -v*a. Suppose k + 107 + 234 = 3*r, a = 3*r - 2*k - 337. Is r prime?
False
Let r(i) = i**2 + 5*i - 9. Let q be r(-5). Is (6 + q)*(-623)/3 composite?
True
Let c be 1049/4 - 2/8. Is c/8 - (-5)/20 prime?
False
Let x(a) = 2*a + 3. Let g be x(-2). Is ((-2)/2 + -30)*g prime?
True
Suppose 0 = 2*l + 2*d - 2720, -5*l + 7751 - 939 = d. Is l composite?
True
Let y(c) = c + 7. Let l be y(6). Suppose -l = -x + 6. Is x prime?
True
Suppose 0 = a - b - 111, 192 = a + 5*b + 69. Is a a composite number?
False
Let f = 2322 + 1313. Is f prime?
False
Let c = -1679 + 2590. Is c composite?
False
Let o(k) = -k**2 + 5*k - 5. Let w be o(5). Let t(d) = -d**3 - 4*d**2 + 4*d - 7. Let y be t(w). Is ((-18)/(-12))/((-1)/y) composite?
False
Let p be ((-2)/(-1) - -27) + 1. Is -3*(2 + -1 - p) a composite number?
True
Is (-1)/(273/138 + -2) a prime number?
False
Suppose -f = p - 178, 3*p + 6*f = 2*f + 529. Is p a prime number?
False
Let c = -7 + 6. Is -2 + 162*c/(-2) prime?
True
Let b = 316 - 196. Let i = b + -65. Is i a composite number?
True
Is (2/1)/(4/50) a prime number?
False
Let c(t) = 77*t**2 - 8*t + 8. Let b(v) = 19*v**2 - 2*v + 2. Let j(n) = 9*b(n) - 2*c(n). Is j(3) prime?
True
Suppose -9*t + 6*t = 2*b - 175, 0 = 2*b - 2*t - 160. Is b composite?
False
Suppose 1055 = 3*c + 2*c. Is c prime?
True
Let r be -921 + (3 + -6 - 0). Let a = -629 - r. Is a prime?
False
Let p be (-12)/6 + 6/2. Is p/(-1)*(-7 + 4) a composite number?
False
Suppose v = -2*u + 85, -2*v + v = 5*u - 94. Let f be 1*-7*1*v. Let a = f - -776. Is a composite?
False
Let f(w) = -w**3 + 8*w**2 - 6*w - 6. Let p be f(7). Suppose p + 5 = 2*k. Is k a prime number?
True
Let w = 1101 - 646. Suppose w = 4*u + u. Is u a prime number?
False
Suppose -3*h + 3*v = -1131, 5*v = -5*h + 467 + 1468. Is h composite?
True
Let m(x) = 43*x**3 + 2*x**2 - 1. Let t be m(-1). Is (-6)/3*t/4 prime?
False
Suppose -904 - 134 = -3*a. Is a a composite number?
True
Let l = 4430 + -2839. Is l prime?
False
Let r be ((-3)/(-2))/(12/40). Suppose 0*h = 5*h - 2*t - 263, r*h - 4*t - 261 = 0. Is h composite?
False
Let h = 9 - 40. Let m = h + 17. Let d = 49 + m. Is d a composite number?
True
Let s = 30 - 23. Is s a composite number?
False
Let v = 769 - 482. Is v a composite number?
True
Suppose -65 = -5*g + 4*p + 26, p = g - 19. Suppose g = 4*l + 3. Is l prime?
True
Let c be -3*((-686)/6 + 2). Suppose 2*z = -5*y + c, 0 = 5*y - z - z - 333. Is y composite?
False
Let o = -20 + 14. Let x be ((-16)/o)/(-4)*-3. Is (-6)/(-12)*19*x prime?
True
Suppose 0 = -m + 3*l, l = -0*l + 1. Suppose z = -y + 6*y - 590, -m*y = -2*z - 347. Is y composite?
True
Is (1/(-1))/(3/(-3027)) a composite number?
False
Suppose 10*d = 5*d + 1175. Is d a prime number?
False
Suppose -2*l + 2394 = 5*w, -5*w + 2267 = 4*l - 2501. Is l a prime number?
True
Let s = 122 + 196. Suppose p - 120 = -x - 12, -5*x = 3*p - s. Is p a composite number?
True
Let p be (0 - 0)/(4 + -6). Suppose -5*c - 2*b + 185 = 0, 0 = -4*c - p*c - b + 145. Is c prime?
False
Let r = 1042 + 935. Is r a prime number?
False
Suppose 5 = -r - 4*h, 0 = r - 5*r + h + 14. Let l(n) = 28*n - 1. Is l(r) composite?
False
Let z(t) be the third derivative of -t**6/120 - t**5/10 + t**4/24 - 2*t**3/3 - 2*t**2. Let a be z(-8). Let o = a + -69. Is o a composite number?
False
Let f(p) = p**3 + 6*p**2 + p. Let y be f(-6). Let c = y + 11. Suppose 3*m = -3*t + 3, 2*m - c*t - 9 = -0*t. Is m a prime number?
True
Let r(z) = -z**2 + 8*z - 8. Let o be r(7). Let d be (-2)/(o - -2) - -2. Is 0 + (d - (2 - 16)) a prime number?
False
Suppose -2*c - 195 = -1949. Is c composite?
False
Suppose -3*z = -z - 694. Is z a prime number?
True
Let g(q) = -q**2 + 9*q - 10. Let v be g(7). Let x(n) = 3*n**2 - 3*n + 0 + v*n**2 + 1. Is x(-5) composite?
False
Let g(c) = 28*c**3 + 13*c**2 - 2 + c - 29*c**3 + 0*c. Is g(11) a prime number?
True
Suppose -o - 4*k + 24 = 0, -2*o + 74 = -k - 10. Suppose 2*b - o = -2*b. Is (b - -3)*(-1 - -2) composite?
False
Let r = 318 + -175. Is r prime?
False
Let d = 6 + -4. Let c be -280 - 1/(d/(-4)). Is 2/3 + c/(-6) a composite number?
False
Suppose -2*l + 3*h = -944, 2*l + 3*h - 826 = 106. Is l composite?
True
Let f(m) = 12*m**3 - m - 2. Let c be f(2). Suppose 0 = 3*p + 4*v - 101, -v - 3*v = -3*p + 133. Let a = c - p. Is a prime?
True
Let j(c) = 3*c**2 + 11*c - 10. Let l be j(-10). Let m = 467 + l. Is m prime?
True
Suppose -26 = -w + 8. Is w prime?
False
Let v = -2 + 2. Let i = -1 - v. Is 1 + 29 + (i - -2) composite?
False
Let f = -304 - -846. Let w = f - 281. Suppose b - w = -2*b. Is b a composite number?
True
Let h = 6 - -1. Let j = h + -4. Suppose 12 = -3*a, 8*x - 435 = j*x + 5*a. Is x a prime number?
True
Let f(j) = -j**3 - 7*j**2 + j + 3. Let d be f(-4). Let q be 118 + 7/(28/(-8)). Let y = d + q. Is y a prime number?
True
Let t(z) = 4*z**3 - 3 + 0*z - z - 3*z**3 + 3*z**2. Let r be t(-3). Is (11 - (r + 2))*1 a composite number?
True
Let x(y) = -9*y**3 - 4*y**2 + 14. Is x(-6) a prime number?
False
Let y(s) = 0 + 3 - 1 - s. Let g(d) = -1. Let a(p) = -6*g(p) - y(p). Is a(6) prime?
False
Let k(y) = -y**3 - 4*y**2 + 6*y + 10. Is k(-7) a prime number?
False
Let s(x) = x**3 - 7*x**2 - 7*x - 3. Let m be s(8). Is m/((-15)/(-66)) - 1 prime?
False
Let q(u) = -10*u. Let f(w) = w**2 + 2*w - 4. Let d be f(-3). Let g be q(d). Suppose -g*i + 5*i + 635 = 0. Is i composite?
False
Suppose 0 = 3*x - 2*x - 4. Let v = 2 - x. Is 2 + v*57/(-6) a composite number?
True
Let s = -102 + 64. Let b = s + 127