 - h**2 + 8 + h**3. Is w(6) a prime number?
False
Let j(g) = -g**2 - 14*g - 9. Let b(x) = -5*x + 10. Let z be b(4). Is j(z) prime?
True
Is 3/12 + (-7 - 184513/(-28)) a prime number?
False
Let i(y) = -8*y**2 + 19*y**2 - 6*y - 2*y**2 - y**3 + 3. Is i(7) prime?
True
Let c(o) = o + 1552. Let k be c(0). Let j = -357 + k. Is j composite?
True
Suppose -3*v = h - 58, 3*h = -2*v + 3*v - 26. Suppose -v = -g - 4*g. Suppose -g*o = -1694 - 830. Is o a composite number?
False
Let a = -9 - -1. Let l be (-24)/a + 1*-1. Is ((-182)/l)/((-3)/3) a composite number?
True
Suppose -5195 = 48*l - 53*l. Is l prime?
True
Let w(s) be the third derivative of 0 - s**2 + 7/6*s**3 + 13/12*s**4 + 0*s. Is w(6) composite?
False
Suppose 2*n = -0*n + 28. Let y = n - 14. Suppose 4*a + y*a = 84. Is a a composite number?
True
Let t be (2/6)/((-2)/(-2418)). Let l = 1718 - t. Is l composite?
True
Let i be (-1 - 0)/(2 - (-5)/(-2)). Suppose 3042 = p - 5*c - 229, -c = -i*p + 6542. Is p a composite number?
False
Let t = -7 + 9. Let w be ((-6)/4*-4)/t. Suppose w*b - 489 = -60. Is b prime?
False
Suppose 2*l - 8 = -2*g + 4*g, -l + 4 = -2*g. Suppose 5*r + p - 280 = 0, 255 = 5*r - l*p - 0*p. Is r a prime number?
False
Suppose -27*h = -23*h - 16. Suppose d - 5*d = 36. Is (6/d)/(h/(-522)) prime?
False
Let l = -8960 + 26923. Suppose y + 2*y - l = -5*z, 4*y + 16 = 0. Is z a composite number?
True
Suppose 0 = 8*r - 19659 - 20813. Is r composite?
False
Let r(c) = c**2 - 14*c - 9. Let w be r(15). Let y = w + -18. Is ((-298)/3)/(y/18) a composite number?
False
Let k(o) = 3*o**2 - 14*o + 9. Is k(-10) composite?
False
Let p(d) be the third derivative of 0 + 6*d**2 + 0*d - 61/24*d**4 - 1/6*d**3. Is p(-6) a prime number?
False
Let z = 28 + -18. Suppose z*r = -4681 + 20271. Is r a composite number?
False
Suppose 4*m = 3*m + 2. Let w be 1 - (-6 + (5 - m)). Suppose -2*g - 174 = -w*g. Is g prime?
False
Let h be (-263)/(4/(-9 - -1)). Is (-5)/30*-3*h a prime number?
True
Suppose -3*k - 315 = -12*k. Let t = k - 13. Is t composite?
True
Let p = 76 - 51. Suppose 0*n = -n + 5*h + 25, -5*h - p = 2*n. Suppose -3*v + 66 + 12 = n. Is v a prime number?
False
Let m(c) = c**2 + c. Let k be m(-2). Let g(j) = 4*j**2 + 14*j - 18. Let y be g(4). Suppose -3*q - k*q + y = -2*t, 5*q - 130 = -5*t. Is q a prime number?
False
Let p(q) = 743*q - 10. Is p(3) composite?
True
Suppose -2*z = -0*z + y - 395, -y = -z + 190. Suppose 0*a + 2*a - 5*p = -z, 3*a = -p - 250. Let k = -30 - a. Is k composite?
True
Is 3495204/702 + (-2)/(-26) composite?
True
Let x = 1195 - 755. Let u = 8 - 8. Suppose h - 2*h = 3*v - 229, -2*h + 3*v + x = u. Is h prime?
True
Let c = -19 + 22. Suppose c*h + 75 = -2*h. Is 4 + 5/h*-471 composite?
True
Suppose -4*g + 3*g = -2. Suppose -3*q + g + 10 = 0. Suppose -d + 128 = -3*i, -q*d + 0*i + 427 = 5*i. Is d a composite number?
False
Let v = 24 + -24. Suppose 0 = -4*n + 4*g + 216, -n + 3*g + 64 = -v*n. Is n a prime number?
False
Let d(g) = 889*g**2 - 2*g - 2. Let w(h) = -h**2 + 11*h + 11. Let x be w(12). Is d(x) prime?
False
Let q = -2145 - -4666. Is q prime?
True
Let s = -23 - -34. Let v = -10 + s. Is (-3 + -3)*-13 + v a composite number?
False
Suppose 0 = 10*y - 15*y, 0 = -2*b - 4*y + 21118. Is b prime?
True
Suppose -v - 2*g = -5373, 2*v - 10706 = 4*g - 0*g. Is v a composite number?
True
Let m(r) = 63*r**2 - r + 26. Let x be m(-5). Suppose -a + 3*a - x = -4*j, -3*a = j - 394. Is j composite?
True
Suppose -2*u + y + 11 = 0, 2*y = 3*u + 3*y - 4. Suppose -u*r - 696 = -2457. Is r a composite number?
False
Suppose -b + 5*v = -853, 14*v = 5*b + 16*v - 4265. Is b composite?
False
Let b = -3 - -6. Suppose 4*i - 941 = b*i. Is i prime?
True
Suppose 5*r = -5*q + 420, r - 3*q = 2*q + 54. Is r composite?
False
Let m(u) be the third derivative of -u**4/24 + 2*u**3/3 - 5*u**2. Let z be m(0). Is z/8*1902/3 prime?
True
Let y = 40721 + 30398. Is y a composite number?
False
Let a(h) = h**2 - h + 236. Let b be a(0). Suppose 0 = -2*w + 152 + b. Is w a composite number?
True
Is (-2)/(-26) - 3326312/(-143) composite?
True
Is 191714/7*308/88 a prime number?
True
Suppose -146171 - 272126 = -11*l. Is l a prime number?
False
Let x = 280776 + -189787. Is x a prime number?
True
Suppose 4*v = 3*o + 2*v + 38, 0 = -5*o - 2*v - 42. Let z be (-3)/6 - (-75)/o. Is z/(-28) + 1405/7 prime?
False
Let y = 6021 - -5156. Is y a prime number?
True
Let w(y) = 234*y**3 - 15*y**2 + 31*y - 19. Is w(8) a composite number?
True
Let i(s) = 8*s - 11. Let o be (-20 - -12)*(1 + 1)/(-2). Is i(o) a composite number?
False
Let t(s) = -s**2 + 2*s + 5. Let j be t(3). Suppose -3*p + 7 = -j. Suppose 5*h = -3*i + 263, -283 = -5*h + 5*i - p*i. Is h prime?
False
Is 24/132*-1 + 101191/11 composite?
False
Let r = 840 - -543. Is r a prime number?
False
Suppose -b = -5*c + 4*b, -4*c + b - 3 = 0. Let a = c - -5. Is (1 + 1)*38/a composite?
False
Let k be (-6)/(-2)*(-3 + (-8)/(-1)). Let t = k - -434. Is t a composite number?
False
Let o be 4/(-18) - (-470)/90. Suppose -458 = -w - o*a, a + 92 + 366 = w. Is w a prime number?
False
Let q = 2822 - 189. Is q a composite number?
False
Let a be (-20)/(-3)*(-9)/(-2). Let p be ((-2)/(-4))/(3/a). Suppose 0 = p*n - 154 - 21. Is n a prime number?
False
Let c(m) = 795*m**2 - 4*m + 2. Let j be c(3). Suppose j - 2066 = 3*a. Is a prime?
True
Let l(u) be the second derivative of 11*u**3/6 - u**2 - 6*u. Let r be l(1). Is 88 + 3/r*3 a composite number?
False
Let i be 20/4 - (-2 + 4). Let v be i - 0*(-3)/9. Suppose 0*x + 3*x = v*r - 867, 582 = 2*r - x. Is r a composite number?
False
Let s(u) be the second derivative of 4*u**7/35 - u**6/180 + u**4/24 - u**3/6 + 3*u. Let w(d) be the second derivative of s(d). Is w(1) a prime number?
False
Suppose -2*a + 5*a + 3*u = -123, -a = 3*u + 43. Is 2096/5 + 8/a composite?
False
Let g(f) be the second derivative of f**4/12 - 4*f**3/3 - 2*f**2 + 7*f. Let v be g(8). Is ((-254)/(-3))/(v/(-6)) a prime number?
True
Suppose 0*p + 2 = p. Let m(s) = -s**3 - 7*s**2 - 5*s + 8. Let c be m(-6). Suppose -y = p*a - 242, -4*a + 0*y = -c*y - 468. Is a prime?
False
Is -71234*(6 + (715/(-10))/11) prime?
True
Suppose 0 = -14*p - 16*p + 129810. Is p a prime number?
True
Suppose 0 = -3*h + l + 8162, 4*h - 10904 = 61*l - 65*l. Is h composite?
True
Suppose 102*l - 986531 = 11*l. Is l a composite number?
True
Let p = -9221 - -16530. Is p a composite number?
False
Suppose 657 = 4*v - 8647. Is (v/4)/(-5 + (-11)/(-2)) composite?
False
Suppose -2*d + 4007 = -d. Is d a prime number?
True
Suppose 15*w - 80138 = -9113. Is w composite?
True
Suppose 5*r - 2*f = 58, -6*r + 3*f + 32 = -4*r. Let l(w) = 3*w**2 + 8*w + 2. Is l(r) prime?
False
Let z = -4581 + 9884. Is z composite?
False
Let h be (6/12)/((-3)/(-48)). Let s(g) = 4*g**2 - 7*g + 11. Is s(h) a prime number?
True
Suppose -14 = -t + 173. Suppose 0 = -14*p + 6*p - 8. Is -1*(t/p - -2) prime?
False
Suppose -2*a + 5*a - 21 = -2*r, -5*r = -3*a. Suppose 2*u = -p + 1181, r*u - 1789 = -0*u + 2*p. Is u a composite number?
False
Suppose m + 0*m - 4*h - 18 = 0, 2*h + 8 = 0. Suppose -3*w + 6 = 0, 5*v - 755 = m*v + 2*w. Is v composite?
True
Let u(w) be the second derivative of w**5/20 + 5*w**4/3 + w**3/2 + 7*w**2/2 - 2*w. Is u(-15) a composite number?
False
Let c(h) = 61*h**2 + 151*h - 35. Is c(17) composite?
False
Let g be (-1)/(-4) + (-106)/8. Let x = g + 12. Is 70 + 7 - (x + 1) composite?
True
Let y(o) = -57*o + 7. Let a = -8 + 15. Let i be y(a). Let x = i - -739. Is x prime?
True
Let p = 20 - 14. Suppose p = v + 1. Is v*((-3810)/25)/(-3) a prime number?
False
Is 2 + 79563/21 - 18/(-63) composite?
True
Is (4542/12 + 6)*6 prime?
False
Let k(o) = -17*o. Let c(h) = -h**3 + h**2 + 2*h - 3. Let l be c(2). Let v be (-6)/9*l - 13. Is k(v) prime?
False
Suppose -5*h - 5*q + 55 = 0, -2*h + q = 6*q - 25. Let d be ((-16)/h)/(2/1065). Let a = d - -1299. Is a prime?
False
Is ((-540492)/(-8) - -1) + (-42)/28 prime?
False
Suppose 0*w + 62300 = 5*w. Is (-2)/(-3) + w/12 prime?
True
Let a(c) = -492*c**2 - 7*c - 27. Let o be a(-4). Let s = 14014 + o. Is s composite?
False
Suppose -14*k - 2784 = -2*k. Let l = 483 + k. Is l composite?
False
Is 1/(-2)*(-13094 - 144) a composite number?
False
Let n(b) = b**2 - 8*b - 2. Let k be n(8). Let v be (1 - -2) + -54 - k. Let l = v - -114. Is l composite?
True
Suppose -2*f + 3*o + 8989