 v a prime number?
False
Let h be (2 + -1)*(2 - 2). Let q(y) = y**2 + 7 + 4*y + h*y**2 + 0*y**2. Is q(-6) composite?
False
Let k(r) = 8*r**2 - 5*r - 10. Is k(-9) prime?
True
Is ((-1)/(-3))/(((-9)/(-3))/24669) a composite number?
False
Let v = -624 + 889. Is v composite?
True
Suppose -5*h + h = 4. Is ((-8)/6)/(h/3) a composite number?
True
Suppose l - 449 = -r, 0*r - 1814 = -4*l + 2*r. Suppose 3*u - l = -2*s, s - 2*s + u = -221. Is s a prime number?
True
Let c(t) = 10*t**2 + 11*t - 13. Is c(6) a composite number?
True
Let o(v) = -v**3 + v**2 + 5*v - 6. Let r be 1*(-15)/3*1. Is o(r) prime?
False
Let q be 150/(-35) + 4/14. Is 3951/15 - q/(-10) a prime number?
True
Suppose 4 = -a + 2*a. Is (-8670)/(-110) + a/22 a prime number?
True
Let g = 141 + -130. Is g prime?
True
Let m(d) = d**3 - 4*d**2 - d + 2. Let x(a) = -4*a**3 - a - 1. Let i be x(-1). Let k be m(i). Is 1*k + (40 - 1) prime?
True
Let f(w) = 2*w**2 - w - 1. Let i be f(2). Suppose -i*q + 115 = 5. Is q a composite number?
True
Suppose -3*n = -420 - 153. Is n prime?
True
Suppose -w - w = 4*h - 1156, 5*h - 1423 = 3*w. Is h prime?
False
Suppose 0 = 4*z - a - 11, 5*a = 5*z - 0*z - 25. Suppose z*c - 4 + 0 = 0. Suppose r = 4*f + 29, -r = c*f - 5*f - 31. Is r a prime number?
True
Let c(a) = 3*a**2 + 26 + 3*a**3 + 21 - a - 4*a**2 - 2*a**3. Is c(0) prime?
True
Let g(w) = -2*w - 6. Let b be g(-5). Suppose 7*u - 237 = b*u. Is u a composite number?
False
Suppose 0 = y + y + 4. Let g = y - -13. Let l = g + -5. Is l composite?
True
Let c(w) = -w**2 + 3*w + 2. Let r(d) = d + 1. Let u(j) = c(j) - 3*r(j). Let o be u(-3). Let t = o + 33. Is t composite?
False
Suppose u - 92 = -d, -4*u + 85 + 286 = d. Suppose 2*z = 5*z - u. Is z a composite number?
False
Let o(w) = 12*w**2 - 3*w - 3. Is o(6) a composite number?
True
Let p(q) = 202*q. Suppose -4*l = l - 5. Is p(l) a prime number?
False
Suppose -3*p + 14349 + 7698 = 0. Is p composite?
False
Let s(q) = -q + 8*q - 2*q + 5 + 14*q**2. Is s(-4) prime?
False
Let c = 145 + -50. Is c prime?
False
Suppose -12*b - 873 = -15*b. Is b composite?
True
Let h(b) be the first derivative of b**3/3 - 6*b - 2. Is h(-10) a prime number?
False
Is (24/6 - -2)/((-2)/(-41)) prime?
False
Let o be 1 + 1 - (-2 + 1). Let u be 14/8 + 1/4. Suppose -u*h = -2*r - 34, 4*h - 47 = -o*r - 7. Is h a prime number?
True
Suppose -2*p = -2 - 6. Suppose -p = 4*x, -4*m = 4*x - 8 - 0. Suppose m*t = 4*h + 65, 4*h = -2*t + 7 + 3. Is t a prime number?
False
Is (57/(-15))/((-1)/5) composite?
False
Let m(p) = -p**3 - 5*p**2 - 4*p + 1. Let x(i) = -i**2 + 7*i + 2. Let z be x(5). Let f = z - 17. Is m(f) prime?
False
Let r be (-2)/7 - (-1707)/21. Suppose 3*u = -u + 12. Suppose d + d = -5*v + r, 0 = u*d - v - 164. Is d composite?
False
Let t(d) = 31*d**2 - 2*d - 1. Let p be t(2). Let y = -76 + p. Is y a prime number?
True
Suppose x = 4*z + 25, -2*x = -3*x + 2*z + 17. Is ((-15)/x)/5*-18 prime?
False
Let m(z) = 86*z + 67. Is m(5) a prime number?
False
Let z(b) = 12*b + 7. Let j be z(5). Let r be (-1 - 1)*(-18)/(-3). Let h = j + r. Is h composite?
True
Suppose -20 = -m + 123. Let n = m + -97. Let f = -33 + n. Is f a prime number?
True
Let d = 1 + -2. Is ((-3)/3)/(d/14) composite?
True
Let m(a) be the second derivative of a**5/24 + a**4/4 - a**3/3 - 2*a. Let f(g) be the second derivative of m(g). Is f(5) prime?
True
Let t be -794*2*(-2)/8. Let l = t - 266. Is l a composite number?
False
Let z = -58 - -147. Let f = z + -38. Suppose -5*b + 24 + 65 = -4*u, -3*u = -3*b + f. Is b prime?
False
Suppose 5*s - 3 = 2*s. Let t(z) = -16*z. Let m be t(s). Is 1 - m - (4 + -2) a composite number?
True
Let g = -7 + 2. Let w(l) = -4*l**3 + 7*l**2 + 3*l - 5. Is w(g) prime?
False
Let x = 125 - 72. Let u = 357 + x. Suppose 0 = 2*m - s - 3*s - 138, 5*m - u = -3*s. Is m a prime number?
True
Let l(k) be the second derivative of -k**5/20 + k**4 + k**3/2 - 7*k**2/2 - 2*k. Is l(5) composite?
True
Let b(i) = i**3 - 7*i**2 - 9*i - 9. Let h be b(8). Let r(y) = -8*y - 2. Let p be r(-4). Let x = h + p. Is x prime?
True
Let i(u) = 2*u + 6. Let d be i(-5). Let f = 1 - d. Suppose 270 = 2*b + f*c - c, 5*b - c - 730 = 0. Is b prime?
False
Let m be (-1)/(-1 - (-32)/34). Suppose -8 = -5*g + m. Suppose 3*f = g*f - 14. Is f a composite number?
False
Let r(x) = 11*x + 7. Let b(c) = -5*c - 3. Let z(m) = -13*b(m) - 6*r(m). Let k be z(7). Is (-3706)/k - 2/(-5) composite?
True
Let z be (-2)/9 + (-256)/(-18). Let q be 4/(-14) + 74/z. Suppose -q*w + 17 = -48. Is w composite?
False
Suppose -x + 2*x + 225 = 0. Let i = -136 - x. Is i prime?
True
Let t be ((-87)/6)/(2/(-12)). Suppose -5*g - 7*u = -3*u - t, 3*g - u - 59 = 0. Is g prime?
True
Is 275/5*(-2)/(-2) a prime number?
False
Suppose 0 = 5*q + 4*o - 765, -4*o - 395 - 253 = -4*q. Is q prime?
True
Let b = -1718 - -3079. Is b composite?
False
Let o(x) = -x**3 + 4*x**2 - 4. Let i be o(3). Let g = -11 + i. Is 1326/10 - g/15 a prime number?
False
Suppose n + 2 - 5 = 0. Is n a prime number?
True
Let n = 74 - 37. Is n prime?
True
Suppose 5*m = -264 + 719. Is m a prime number?
False
Is (-4370)/(-40) - (-1)/(-4) prime?
True
Suppose 4*m - 8 = 0, 5*x - 2*m - 2*m - 92 = 0. Is (-30)/x*556/(-6) prime?
True
Is (-12)/(-16) + 34600/32 a composite number?
True
Suppose 5*d - 5*k - 205 = 4000, 5*d - 4197 = k. Is d composite?
False
Let o = 7 - 4. Is (27/o)/(-3) + 77 a composite number?
True
Suppose 0 = -3*u + 3*j + 204, 0*u = 4*u - 5*j - 272. Suppose -5*y - 4*m + 6*m = -170, -3*m - u = -2*y. Is y a prime number?
False
Suppose c - 7*g = -3*g + 3, 4*g - 15 = -5*c. Is 1*(c + (3 - -7)) prime?
True
Let q = -58 + 185. Is q a composite number?
False
Suppose -4*g + 0*g + 2*u = -36, g + 4*u = -9. Let m = g - 0. Is m a composite number?
False
Suppose k - 3 - 4 = 0. Let z(w) = -w + 4*w + 10 - 4*w. Is z(k) a composite number?
False
Let a(i) = 108*i**2 + i. Suppose -c - 3*c = -d + 17, -11 = -3*d + 2*c. Is a(d) a prime number?
True
Let g(i) = -5*i - 6. Let s be g(8). Let t = 28 - s. Is t composite?
True
Let g(c) = 2*c**3 - 7*c**2 - 7*c - 4. Let z be g(-4). Let i = -121 - z. Is i composite?
True
Let r = 502 - -1259. Is r a prime number?
False
Is (-4)/(-12) - 7386/(-9) prime?
True
Suppose -3*y = 4*a - 0*y - 179, y - 5 = 0. Suppose 5*f - 7 - 30 = -2*g, -4*g + f + a = 0. Is g a prime number?
True
Let f be (-24)/2*4/8. Is 45/2 + (-3)/f composite?
False
Let a be 310/(-8) - 1/4. Let v = 123 - 63. Let x = a + v. Is x prime?
False
Is -3*(-2)/(-3) - (-3366 - 1) composite?
True
Let c = 2403 - 1600. Is (-4)/18 - c/(-9) a composite number?
False
Suppose 4*w = -4*a + 1536, -2*w + 5*a - a + 738 = 0. Is w composite?
False
Suppose 3*m = -12, p - 2*p + 69 = 2*m. Is p a composite number?
True
Let n(f) = -f + 1. Let x be n(-1). Let k(p) = -3*p**x - 3*p**2 + 14 + 4*p**2 + p + p**2. Is k(0) a composite number?
True
Let i = -11 - -14. Suppose -i*c = -w + 108, -2*c - 470 = -5*w - c. Is w a prime number?
False
Is (26 + -24)*(-95)/(-2) a prime number?
False
Let d(h) = -h**2 + 3*h + 7. Let b be d(5). Let g = 7 + -3. Let r = g - b. Is r composite?
False
Let m(z) = z**3 - 6*z**2 - 11*z + 13. Is m(9) prime?
True
Let m(n) = 178*n - 25. Is m(6) prime?
False
Let m(x) = 4*x + 1. Let t be m(3). Let j be (40/15)/((-1)/(-9)). Let d = j - t. Is d composite?
False
Suppose 4*k - 53 = -17. Let y be (-4)/(12/k) - -3. Is y + 1 + 45/1 composite?
True
Let i = 203 - 117. Is i composite?
True
Let h = -9 + -19. Is (58/4)/((-2)/h) prime?
False
Suppose -5*o - 2*v - 7 = 0, 7*o - 4*o - 2*v + 1 = 0. Is o/3 - 212/(-6) a composite number?
True
Suppose 8 = 2*d - 6. Is (1 + 0)/(d/371) a composite number?
False
Suppose -4*p - p - u + 474 = 0, -5*p + 2*u = -477. Is p a composite number?
True
Let t(w) = -w**2. Let j(f) = 9*f**2 - f + 6. Let b(a) = j(a) + 5*t(a). Let l be b(-6). Suppose -2*o + 3*d + l = 2*d, 298 = 4*o + 5*d. Is o prime?
False
Is 4 + (-32)/4 + 675 composite?
True
Suppose 5*q + 1187 = 2*g - 2199, 4*g + 4*q - 6828 = 0. Is g a prime number?
False
Let h = -1686 - -3239. Is h prime?
True
Suppose 0 = 3*a - 4*p - 1563, -3*a + p + p + 1563 = 0. Is a a prime number?
True
Suppose 0 = -4*u + 2*c + 4354, 2*u + 1078 = 3*u + 3*c. Is u a composite number?
False
Let u = 19 + 471. Suppose 2*z + 485 = -5*w - 0*w, 3*z + u = -5*w. Let s = 208 + w. Is s composite?
False
Let n = -1160 - -2081. Is n composite?
T