9219. Is x a prime number?
False
Suppose 0 = -4*p - 3*z + 12, 4*z - 2*z + 38 = 5*p. Let w be p/15 - (-32635)/(-25). Let j = 2226 + w. Is j composite?
True
Suppose 18*v + 17358 - 328596 = 0. Is v a prime number?
True
Let i(z) = z**3 + 49*z**2 - 71*z - 151. Is i(-44) prime?
True
Let p(i) = 8*i**2 + 3*i - 1. Let t be p(1). Suppose -t*l = -5448 - 1462. Is l a prime number?
True
Let q be (14/8)/((-7)/(-84)). Suppose 5 = -4*y + q. Is 83/1*(5 - y) composite?
False
Suppose 6*l = 3*l + 957. Let h be 4/(-3)*(-9)/4. Suppose -z = -2 - 0, -5*j = -h*z - l. Is j a composite number?
True
Let a be 34*4*4/32. Let o = a + -12. Suppose -3353 = -o*w - 2*w. Is w a composite number?
False
Let h = 4259 - 52. Is h a prime number?
False
Let f = 4391 + -2634. Is f a composite number?
True
Let f be ((-45)/(-3))/(0 + 1). Let b be (-1412)/(-5) - 6/f. Suppose -5*w + 1767 = 2*d - b, 807 = 2*w + 5*d. Is w composite?
True
Let t(o) = 5*o**3 - o - 7. Let f(j) = -j + 15. Let z be f(10). Is t(z) prime?
True
Is (-287314)/(-36) - (-5)/90 prime?
False
Let h(i) be the second derivative of -2*i**3/3 - 3*i**2/2 - 3*i. Let j be h(-2). Suppose 2*a - 170 = 3*x, -a + 95 = x - j*x. Is a a prime number?
True
Suppose -5*t - 3*i + 20 = 0, i + 11 = 3*t - 1. Suppose -t*b - 287 = -723. Is b prime?
True
Suppose -3 = -i, 45*m + 4*i = 48*m - 55767. Is m a prime number?
True
Suppose z + 1 - 4 = 0. Suppose 2*p = z*r + 15, p - 20 = -3*p - 4*r. Suppose b + 907 = 4*s, -p*b = -s - 11*b + 211. Is s prime?
False
Let k = -1375 + 6392. Is k composite?
True
Suppose 9*c + 16168 = 89491. Is c composite?
False
Let r be ((-101994)/(-12))/((-1)/(1*-2)). Suppose 2425 + r = 16*j. Is j a prime number?
False
Suppose -11*x = 15*x - 4862. Is x prime?
False
Let p(j) = j**3 - 16*j**2 + 8*j + 9. Let s be p(16). Suppose -s = -t - 0*t. Is 3/(-3) - (2 - t) a composite number?
True
Let c = 13 - -3. Let o(q) = 10*q**2 + 15*q - 33. Is o(c) a prime number?
True
Let u be 2/(-10) - (-13010)/50. Let m = 579 + u. Is m a composite number?
False
Let g = -23 + 19. Let f be (g + 11/4)*8. Is 228/5 - 4/f a composite number?
True
Let q(g) = -g**2 - 7*g - 10. Let u be q(-5). Suppose u = 2*n + 2*k - 1141 - 387, 2*k + 2317 = 3*n. Is n a prime number?
True
Let m(h) = 3*h - 3. Suppose -5*f - 3*j + 6 = -f, 0 = -3*f - 3*j + 3. Let t be m(f). Let w(b) = b**3 - b**2 + 8*b - 5. Is w(t) a prime number?
True
Let a = 907 + 87. Let g(r) = r**2 - 4. Let l be g(3). Suppose l*f - a = 3*f. Is f composite?
True
Suppose 52*t - 3318394 = 6*t. Is t a prime number?
True
Let u be ((1 - -2) + 470)*-1. Let j = u + 275. Let y = 365 + j. Is y a prime number?
True
Suppose 15 = -5*d - 10. Let c(r) = 24*r**2 + 17*r + 2. Is c(d) a composite number?
True
Is (-6 + (-6797)/2 + 3)*-10 a prime number?
False
Suppose 2*v = -2*t + 22, -v + 8 = 13. Suppose 0 = -t*b - 2418 + 9122. Is b composite?
False
Let t(b) = 633*b**3 - 4*b**2 - 22. Is t(3) a composite number?
False
Let o be (1 + 97)/((18/51)/(-3)). Let y = 1824 + o. Is y prime?
True
Suppose 78566 = 2*h - 3*y, h + 39293 = 2*h + y. Is h prime?
False
Let z = 39 + 495. Let f = -699 - -428. Let k = z + f. Is k composite?
False
Let a be (13 + -5)*1/(-2). Let t be 4/(a/(-141)) + 2. Suppose -w + 394 = t. Is w prime?
True
Let q = 137 - 134. Suppose 2*u = -3*o + 57, -2*o + 44 - 6 = q*u. Is o a composite number?
False
Suppose 0*c + 5*c + 4*b = 19, 4*c - 3*b = 9. Let m be 179*2*(-4)/2. Is c/(0 - 12/m) a composite number?
False
Let u = -2027 - -4258. Is u a prime number?
False
Let p(x) = 43*x + 4. Let l(q) = -1. Suppose 0 = -5*y + 3*y + 10. Let o(g) = y*l(g) - p(g). Is o(-6) a prime number?
False
Let s(k) = 23*k**3 - 4*k**2 - 5*k - 9. Is s(5) a prime number?
True
Let l = 42 - 39. Suppose 2*a = -l*a + 1055. Is a prime?
True
Let n(m) = 83*m**3 - 2*m**2 - 2. Let u be n(2). Suppose 0 = 4*k + 4*j - 656, 2*j = 4*k + 4*j - u. Is k composite?
False
Suppose 4*s - 302 = y - 3, 3*y = -4*s + 319. Let k = 277 + s. Is k composite?
False
Let n be (9/(-2))/(-3)*(-172)/6. Let g = n - -185. Is g a prime number?
False
Let r(c) = c**3 + 3*c**2 - 11*c - 22. Let i be r(-4). Suppose -q = -i*q + 8795. Is q a prime number?
True
Let r = 86817 - 38714. Is r prime?
False
Let x be (81/(-12))/((-6)/16). Suppose 2*q = h + 3*q - x, 2*q = -10. Is h prime?
True
Let g = 6 - 12. Let i(q) = -q**2 - 8*q - 7. Let w be i(g). Suppose w*j = 4*z - 289, z + 3*j + 44 = 112. Is z composite?
False
Suppose o = 3*o + 4*t - 3708, -5*t = -5*o + 9240. Suppose 0*q = 10*q - o. Is q prime?
False
Let w be (-3 + 35/10)*10. Suppose 3*d + 446 = w*d + 4*t, 4*t + 205 = d. Is d a composite number?
True
Let z be ((-36)/8 + -2)*2. Let v be z/(-3) + 6/9. Suppose 3*u - 2*w = 139, -v*u + 47 + 193 = -5*w. Is u a composite number?
False
Suppose -6*i - 47 = 151. Let t = i + 112. Is t a prime number?
True
Let l = 956 - -6807. Is l a prime number?
False
Let p = 8792 - -291. Is p a composite number?
True
Suppose -18*w + 1410 = -23*w. Suppose 0*t - 620 = 4*t. Let q = t - w. Is q prime?
True
Let w(l) = 2273*l**2 - 6*l - 2. Is w(-3) composite?
True
Suppose 1 = -4*h + m, 3*h - 4*m = -0*m - 4. Suppose -11*j + 6*j + 1465 = h. Is j a composite number?
False
Let g be (22/(-11))/(4/(-10)). Suppose 4*t = 5*k + 17, 2*k + g = -3*k. Is (t - 14/4)*-94 prime?
True
Suppose b = 2*t + 131, 2*b + 4*t = b + 143. Let p = -197 + b. Let q = p - -99. Is q a prime number?
True
Is 1 + 0 - 8 - -5968 a composite number?
True
Suppose -4*o + 3*h + 105757 = 0, 7*h = -4*o + 4*h + 105763. Suppose -o + 6588 = -4*d. Is d a prime number?
False
Let z(y) = -y**2 - 4*y + 4. Let l be z(-5). Let j be -4*(-3)/6 - l. Suppose q = -j*q + 232. Is q a prime number?
False
Let m be 1553/(-5) + (-6)/(-75)*-5. Let s = 3078 + m. Is s a prime number?
True
Let a(h) = 3*h**2 + h. Let b be a(-1). Suppose o + 9 = -b*o. Let t(k) = -101*k + 4. Is t(o) composite?
False
Is (-72)/27 + (-17194)/(-6) a prime number?
False
Suppose 0 = -l - l + 4692. Suppose h + h + 4*u = l, 0 = -3*h - 3*u + 3513. Suppose 5*s - r = 2*r + h, -5*r = -2*s + 460. Is s prime?
False
Let c(b) = -b**3 - 21*b**2 - 2*b + 2. Let q(i) = i**2 + 9*i - 12. Let s be q(-9). Let t be c(s). Is t/15*(-3)/2 composite?
False
Is (858264/(-120))/(3/(-15)) a composite number?
True
Suppose 31*j - 1093483 = 3128500. Is j a composite number?
False
Let s(a) = 3*a**3 + a**2. Let j be (-9)/(-3)*3/(-9). Let z be s(j). Is 14*(-3 + (-7)/z) a composite number?
False
Suppose 6*k = 5*k - 570. Let m = 1261 + k. Is m composite?
False
Let l(i) = i**3 - 7*i**2 - 8. Let n = -14 + 20. Let g be l(n). Let o = g + 295. Is o prime?
True
Let h be (4 + 18)/(-2 + 0). Let q(s) = 4*s**2 + 17*s + 8. Let i be q(h). Let m = i + 92. Is m prime?
True
Let v be 2/7 - (-4)/(-14). Suppose -3*l - 7 = -4*h - 2*l, v = -4*h - 2*l + 10. Is (h + -251)*(-2)/3 composite?
True
Let m = -6802 + 11655. Is m composite?
True
Let s = 51375 + 44308. Is s composite?
True
Suppose -2*s = 3*s - 80. Is (-19803)/(-12) - (-12)/s prime?
False
Let s be (-16 - -20)*((-3)/(-2) - 1). Suppose -2*i = -s*n - 1036, 3*i + 0*n - 1566 = -n. Is i a prime number?
True
Let s(c) = -7*c**3 + 7*c**3 + 0*c**2 - c**3 - 3*c**2 - 10. Let i be s(-7). Suppose -5*a + 4*l + 178 = -3*a, 2*a - 2*l - i = 0. Is a prime?
True
Let b = -2 - -4. Suppose -b*w = -0*w - 44. Is (-6)/(-33) - (-1822)/w composite?
False
Suppose d + 3 - 6 = 0. Is (d + -76*(-14 - -3))*1 a prime number?
True
Let v = 44916 - 31163. Is v a prime number?
False
Let i(b) = -b**3 - 8*b**2 + 22*b + 5. Let a be i(-10). Let n(g) = -88*g + 19. Is n(a) a prime number?
False
Suppose -515967 - 435668 = -29*f. Is f a composite number?
True
Let o(j) = -655*j + 434. Is o(-45) composite?
True
Suppose 2*b + 3*u + 16 = 0, -5*u = 7*b - 9*b + 16. Let y(f) = -296*f**3 + f**2 + 2*f + 1. Let c be y(-1). Is b + (c - -3) - 4 prime?
True
Is 2*(4 + -3) + 2175 composite?
True
Let h be (-5)/((-5)/2) + 9. Let c be ((-514)/(-1))/(h + -13). Let o = c - -492. Is o composite?
True
Let t(y) = -187*y**3 + 6*y**2 + 6*y - 5. Let c be t(-4). Is (-6)/27 + c/9 a prime number?
False
Suppose -2557 = -6*j + 3695. Is j a prime number?
False
Suppose 12*s - 1006 = 11*s - 4*p, -4024 = -4*s + 4*p. Is s a prime number?
False
Let i(w) = -w**3 - 8*w**2 + 3*w + 7. Let p(a) = a**2 + 7*a - 9. Let t be p(-7). Let y be i(t). Let r = 126 - y. Is r a prime number?
False
Suppose -7 = -t - q,