= 13 + 9*o**2 + 7 + 6*o**2 - 14*o**2. Let j be w(0). Let v = 137 + j. Is v a prime number?
True
Let b be (-3*(-4)/(-24))/(3/(-30)). Suppose b*f - 623 = 1152. Is f a composite number?
True
Let q(g) = 121*g**2 + 2*g - 1. Let t be 12 + 4*12/16. Let w = 17 - t. Is q(w) a composite number?
False
Suppose 4*b - 16859 + 3255 = 4*h, -2*b = 4*h - 6802. Is b composite?
True
Let v = -383 - -6912. Is v prime?
True
Let w = 51 - 49. Is w + 2844 + -1 + 0 prime?
False
Is (-651267)/45*15/(-9) a prime number?
True
Let n(l) = -l + 5. Let w be n(-4). Suppose 5*j - w = -24. Is 0 + 5 + (-3)/j prime?
False
Let h(x) = -6*x + 1. Let a be h(-1). Is (a - 77/21)/((-4)/(-894)) composite?
True
Let g = -41 + 64. Suppose -34 = -3*l + g. Is l a composite number?
False
Suppose 8843 - 42008 = -9*a. Let u = -2306 + a. Is u a prime number?
False
Let b(i) = i**2 + 10*i + 24. Let u be b(10). Suppose -2388 = -4*h - u. Is h a prime number?
True
Let v = -4 - -40. Let o(t) = t - 9 + 7*t - v*t. Is o(-6) a prime number?
False
Let g(k) = -40*k**2 - 4*k - 2. Let b be g(-2). Suppose -11*x + 15*x = 1484. Let i = x + b. Is i composite?
True
Let n = -13898 + 25761. Is n a prime number?
True
Let g be (-6)/(-4) + (-2)/4. Suppose 3*o + 1 = u, 14 = -2*u + 3*o + g. Let p(t) = -7*t - 15. Is p(u) prime?
True
Suppose 5*w = 5*b, 7*b + w = 6*b. Suppose -2*f = 2*f + 3*n - 8918, b = 5*f - n - 11157. Is f prime?
False
Let y = -1924 + 3285. Is y prime?
True
Let r(c) be the first derivative of 5*c**4/3 - c**3/6 + c**2/2 - 2*c - 2. Let m(i) be the first derivative of r(i). Is m(2) a composite number?
False
Is (-2 - -4 - 4)*(-364912)/32 composite?
False
Let m(u) = 11*u + u**3 + 2*u - 27 + 15*u**2 + 47 - 30. Is m(-7) composite?
True
Let h(t) = -t**2 - t + 8. Let i be h(4). Is (-9)/i - (-133)/4 composite?
True
Let g = -1535 - -2574. Suppose 6*k - 2965 + g = 0. Is k composite?
True
Let n(l) = -l**3 + 4*l**2 + 7*l - 5. Let s be n(5). Suppose 0 = -3*d + s*d + 2*k - 116, 3*k = 9. Is d a prime number?
False
Suppose 8*b + 2178 = 2*b. Let v = 848 - b. Is v a composite number?
True
Let y = 12617 + -8958. Is y prime?
True
Suppose 4*y + 8 = 12. Is y/((-1120)/(-1115) - 1) composite?
False
Suppose 3*b = 2*n - 2, -2*b + 5*b - 14 = -2*n. Suppose 12 = 5*p - b*p. Suppose z - 215 = -2*c, -4*z + p*c + 840 = 2*c. Is z composite?
False
Let j(s) = -771*s**3 - 2*s. Let h be j(-2). Suppose 6*m + h = 10*m. Is m a prime number?
True
Suppose 0 = 6*h - 20*h + 17486. Is h a prime number?
True
Let s(i) = i**2 + 43*i + i**3 - 5 - 31*i - 13*i**2. Let n be s(11). Suppose 381 = -n*l + 9*l. Is l prime?
True
Is (-175486)/(-6) + 10/(-15) a prime number?
False
Let c(l) be the first derivative of l**3/3 + 5*l**2/2 + l - 7. Let q be c(-4). Is (-4 - q)/(2/(-238)) a prime number?
False
Let k(j) = 74*j**2 + j - 1. Let p = 1 - 3. Is k(p) a composite number?
False
Let h(q) = 809*q - 109. Is h(18) a composite number?
True
Let f = 566 + -276. Let l = 408 - f. Is l a composite number?
True
Suppose -6*i + 5*i = -9311. Is i a prime number?
True
Let p = 92380 + -54582. Is p a prime number?
False
Let z(k) = -16*k**3 + 10*k**2 - 5*k - 7. Let x(p) = 24*p**3 - 15*p**2 + 7*p + 10. Let y(q) = 5*x(q) + 7*z(q). Let s be y(4). Let r = 620 - s. Is r composite?
True
Suppose -7*d = -3*d - 23240. Let b = d - 1075. Is b prime?
False
Let q = 5519 + -147. Is (q/(-6))/(2/(-3)) prime?
False
Suppose -g = -6*k + 2459 - 21610, 0 = -3*g + k + 57368. Is g composite?
False
Let v be -5 + 4 - -5 - -3. Suppose 4*z + 9 = -3*b + z, v = -4*b + z. Is -4*(2 + 101/b) composite?
True
Let c(t) = t**3 - 5*t**2 - t + 5. Let b be c(5). Suppose -38 = -4*m + 2*j, m - j = -b*j + 8. Suppose z - 86 = m. Is z composite?
False
Let z be 2/(-5) + (-24410)/(-25). Suppose -7*r - 2915 = -8*r. Suppose 3*x + 4*i - r = 0, -3*i - z = x - 2*x. Is x composite?
True
Is ((-30)/(-9))/(-1)*(-309945)/10 a prime number?
False
Suppose 22*x - 4554127 = -61*x. Is x a prime number?
True
Suppose 4*o = 3*v - 69 + 320, v + 52 = -5*o. Is v*(0 - (-4 - -5)) a prime number?
False
Suppose 0 = 5*l + w - 9530, l + 4*w = 2*w + 1897. Is l prime?
True
Let a be -1 + 18/2 + 2. Let p be (-24)/a*(-10)/4. Let s = 17 - p. Is s a composite number?
False
Suppose -3*g = -2 + 29. Let m(r) = r**2 + 14*r + 9. Let p be m(g). Let z = -21 - p. Is z composite?
True
Suppose w - 2403 = -224. Is w composite?
False
Suppose -5*u + 7*u + 4 = 0. Is 668/12 - u/(-3) a prime number?
False
Let s = 3391 + -2178. Is s a prime number?
True
Let u = 415 + -960. Let h be 2 + -2 + u + 1. Let v = -285 - h. Is v a prime number?
False
Let f(h) = 4*h**2 - 7*h**2 + 6 + h - 7*h**2 + 4*h + h**3. Let q be f(9). Let g = q - -45. Is g prime?
False
Suppose 3660 = -5*i + 5*h + 1185, h = -4*i - 1970. Is -1 + (2/2 - i) a composite number?
True
Suppose -10 = -4*a + 10. Suppose 0 = a*w - s - 1492, 3*w - 3*s = -0*w + 900. Is w composite?
True
Let a(y) = y**2 + 10*y + 12. Let b be a(-8). Let m be 6/b*(-2 + -2). Is (-9)/(-6) - (-1257)/m prime?
True
Let m(q) be the first derivative of 9*q**5/10 + q**4/24 + 5*q**3/6 - 4*q**2 - 8. Let v(f) be the second derivative of m(f). Is v(-4) composite?
True
Let s(k) = 16*k**3 - 8*k**2 - 12*k + 31. Is s(3) composite?
True
Let u(f) = -f**3 + 6*f**2 - 5*f + 6. Let b be u(5). Suppose -2*h - 7036 = -b*h + 4*y, -h - 4*y = -1759. Is h a prime number?
True
Suppose -5*o - 236 - 6973 = -4*x, -4*x = 3*o - 7201. Suppose -2*k = -k - x. Is k a composite number?
False
Let o(f) = -5*f. Let c be o(1). Let v be (-13)/(-4) + c/20. Suppose v*z - 318 = 189. Is z a prime number?
False
Suppose -55927 = -10*i + 201243. Is i a composite number?
False
Let u(r) = r**3 + 14*r**2 - 16*r - 12. Let k(x) = x**2 + 4*x. Let d be k(-9). Suppose 2*o - 3*z = -d, -2*o + 2*z - 20 = 4*z. Is u(o) a prime number?
True
Suppose 0*r + 16 = 4*r. Suppose -r*t + 16 = -8. Suppose t*o + 599 = 3*u + o, -o + 611 = 3*u. Is u a prime number?
False
Suppose 3*q + f = 71, 3*q - f - 3 - 76 = 0. Suppose -3*y + q = -4*y. Let z = y + 35. Is z prime?
False
Let u(y) = -y**2 - 15*y - 10. Let x be u(-14). Suppose 4*p = -0*p. Suppose -x*l + p*l = -812. Is l a prime number?
False
Suppose -6*s = -3161 + 1085. Is s prime?
False
Suppose -523846 = -78*h + 41*h. Is h composite?
True
Suppose -3*j = -4*j + 7. Let y = 40 - j. Is y composite?
True
Let f(n) = n**2 + 11*n + 15. Let r be f(-10). Suppose 4*t - 7373 = -r*a, 4*a = -t + 2982 + 2923. Is a a composite number?
True
Let b be ((-10)/(-4))/((-5)/(-10)). Suppose g = -b*n + 186, -36 = -5*n - 11. Is g a composite number?
True
Let n = -15 + 5. Let w(o) = -66*o + 41. Is w(n) a composite number?
False
Suppose -c + 2*c - 2 = 0. Suppose -1 - c = -r. Let y(u) = 53*u**2 + 4*u. Is y(r) a prime number?
False
Suppose -2*x + 9 = 37. Let h = 23 + x. Suppose -10*w = -h*w - 635. Is w a prime number?
False
Suppose -150 = -q - 140. Suppose 6*x - q*x = -3148. Is x a prime number?
True
Let l = 31308 - 18849. Is l a prime number?
False
Suppose 15*o - 49670 = 10*o. Let h = o - 6525. Is h composite?
True
Suppose 495 = -3*a + 8*a. Let w = a - -10. Is w prime?
True
Suppose -j - 3*t + 5 = 0, 4*j - 2*t - 1 - 5 = 0. Suppose -3*m + v = -j*v + 3621, -4*v + 2412 = -2*m. Let c = -489 - m. Is c a prime number?
True
Let c = 165 - 46. Suppose 4*b - 3*k - 231 = 0, -4*b + 0*k + 243 = k. Let z = c - b. Is z a composite number?
False
Suppose 2*s + 4*p = -0*s + 12, -4*s = p - 3. Suppose -2*g + 3*z + 13591 = s, -g - 2*z = -2*g + 6793. Is g composite?
False
Suppose 0 = -5*a - 15, -2*a - 2*a = -3*h + 21. Suppose -3*t = h*m - 2559, -4*m - 2*t - 3*t = -3412. Is m a prime number?
True
Suppose -490 = 2*c - 5*f - 1707, 2*c - f = 1205. Suppose -2*d - 123 + c = -2*y, -5*d + 1191 = -4*y. Is d composite?
True
Let c(n) = -88*n + 5. Let s be 0 - 3*32/12. Is c(s) a composite number?
False
Let g(v) = 9*v**2 + 4*v - 1. Let s(m) be the second derivative of -m**3/3 + 6*m**2 + 5*m. Let l be s(8). Is g(l) composite?
False
Let y be 3 + (1 - 0)*-1. Suppose 8 = 2*u + y*u. Suppose -n - u*i = -26 + 5, 5*n - 140 = -3*i. Is n a prime number?
True
Let c(t) = 5*t**2 - 27*t - 19. Is c(19) a prime number?
False
Suppose -s - 2*s - 9 = 0, -99 = -q + 4*s. Is q a prime number?
False
Suppose -3 = -r - 3*f, -5*r - 36 = -4*f + 6. Let l be 36/(-24)*20/r. Suppose -351 = -l*a + 2*k, 0 = -3*a - 0*a - 4*k + 221. Is a composite?
False
Let o(b) = 71*b**3 