- -10. Let z = r + -7. Suppose 0 = m + z*a - 62, 0 = -2*a - 0*a - 6. Is m prime?
False
Is (2 + (-2838)/(-4))/(81/486) composite?
True
Let s(p) = 5569*p**2 + 12*p. Is s(-1) a prime number?
True
Let j(g) be the second derivative of 5*g**4/4 - 7*g**3/6 + 27*g**2/2 - 5*g - 1. Is j(11) a composite number?
True
Suppose -4*m = -3*m - 42450. Is 2 - m/(-27) - (-16)/(-72) prime?
False
Suppose -3*u + 4*r + 312 = 0, -163 = -3*u - 2*r + 149. Let x = u + 11. Is x a prime number?
False
Let u(x) = -x + 21. Suppose v = -4*l + 46, 5*l = 4*v - 3*v + 53. Let a be u(l). Suppose a*p - 205 = 9*p. Is p a prime number?
False
Suppose -3*x - 2058 = 5*m, 2*x - 1230 = 3*m + 5*x. Let b = -191 - m. Is b a composite number?
False
Let u(n) = -3*n**2 + 33*n + 15. Is u(9) a composite number?
True
Suppose -21*f + 6*f + 9195 = 0. Is f composite?
False
Is ((-2)/(-3))/((-38)/(-232731)) a composite number?
True
Let m be (-6)/9*318*-5. Let v(a) = -67*a**2 - 4*a. Let q be v(-3). Let n = q + m. Is n a composite number?
True
Let u(h) be the first derivative of 7*h**3/3 - 10*h**2 - 44*h - 6. Is u(-13) composite?
False
Let l(x) be the third derivative of 7*x**5/30 - 5*x**4/24 + x**3/3 - 4*x**2 + 36*x. Let g(a) = -a**3 + 5*a**2 + 6*a - 5. Let f be g(6). Is l(f) prime?
False
Let o(j) = 2*j**2 - 6*j + 3. Let y be o(4). Suppose 17*s = y*s + 2532. Is s prime?
False
Suppose -12*o = -679 - 9533. Is o a prime number?
False
Let m = 48 + -16. Let h = m + 326. Is h prime?
False
Suppose -3*l - 2 = -5*y + 30, 0 = -4*y + 5*l + 36. Suppose 0*r = 5*r + y*b + 1, 0 = -5*r + b + 19. Suppose 0 = 2*q + r*q - 485. Is q composite?
False
Suppose 43379 = -6*c + 13*c. Is c prime?
True
Let z(w) = w**2 + 7*w + 10. Let h be z(-6). Suppose -3*o = -r - 1136, -3*r = h*o + 2*r - 1521. Is o prime?
True
Suppose 0 = -5*n - 0*v + 3*v + 435176, 2*v + 261105 = 3*n. Is n composite?
False
Suppose 3*j - 244858 = 5*d, 2*j + 4*d - 163668 = -466. Is j a composite number?
False
Let c = -2444 + 1688. Let i = -7 - c. Is i a composite number?
True
Let w be (-285)/6*12/(-15). Let h = w + 195. Is h composite?
False
Let v(y) = -y**3 + 49*y**2 - 213*y - 34. Is v(33) composite?
True
Let o(w) = 9*w + 0*w**3 - 9*w**2 - 2*w**3 - 5 + w**3. Let c be o(-10). Suppose 6*a - 67 = a + j, -5*a + 55 = c*j. Is a a prime number?
True
Suppose 0 = 32*c - 34*c + 2762. Is c a prime number?
True
Is (-20)/(-8)*337424/40 prime?
True
Let v(y) = -62*y + 9. Let f be (26/(-4) + -3)/(3/6). Is v(f) prime?
True
Suppose -4*o = 5*v - 3*o - 63, 4*v + 5*o - 63 = 0. Is (13 - v) + (-252)/(-1) composite?
True
Suppose 4556 = -276*v + 280*v. Is v a composite number?
True
Let n be (63/6)/((-9)/12). Let u = 21 + n. Suppose -a + u*a = 1494. Is a composite?
True
Suppose 0 = r - 4*f - 7578, 7*r + 22748 = 10*r - 5*f. Is r composite?
True
Let u(z) = 137*z**3 - 3*z**2 + 6*z - 3. Is u(3) a prime number?
False
Let m be -2*((-3)/6 + 2) - -2013. Suppose -5*j + m = j. Is j prime?
False
Suppose 0*o + 2*o = -2. Is 1/o*-874*(-1)/(-2) a prime number?
False
Suppose -t + 12*j = 17*j - 5899, -4 = j. Is t prime?
False
Suppose 1516 = 2*a - a. Suppose 581 + a = 3*n. Suppose -r = -4*f + 942, 4*f = f - 3*r + n. Is f prime?
False
Let g be (8 + -5)*(-10)/(-6). Let w(c) = -2*c + 3*c**2 + 6 - g*c - 4*c**2 + 5. Is w(-7) prime?
True
Suppose 24839 = 3*z + 3146. Suppose 5*h = 444 + z. Is h a prime number?
False
Suppose 0 = p + 3*p - 12. Let r be 3*((-1460)/(-6) + p). Is (r/(-3))/(-1)*3 prime?
True
Let g = 8 + -4. Suppose 3*p = b - 16, -4*b + p - g*p + 4 = 0. Is ((-14)/b)/(16/(-1504)) composite?
True
Let g(c) = -c**3 - 23*c**2 - 45*c + 11. Let s = -79 + 57. Is g(s) composite?
True
Let k(f) = -f**2 - 10*f - 7. Let m be k(-9). Suppose m*l - 792 = -218. Is l a prime number?
False
Let n be (-2)/7 + (-9)/(252/(-4264)). Let z = 595 - n. Is z a prime number?
True
Suppose -2*t = t + 87. Let c = t + -3. Is (-11944)/c + 2/(-8) prime?
True
Let q be 4902/10 - (-3 - 22/(-10)). Suppose 0 = c + 2*t - q, 2*t + 1310 + 123 = 3*c. Is c composite?
True
Let i = 3 - -2. Suppose -i*t = -t + 24. Is (10/t)/((-2)/354) a prime number?
False
Suppose -20*x + 130854 = -14*x. Is x composite?
True
Let c(w) = 2*w**3 + 54*w**2 + 6*w - 39. Is c(-26) prime?
False
Suppose -8*b = -9497 - 65199. Is b a composite number?
False
Suppose 0 = 3*z + z - 20272. Let x = z + -3383. Is x prime?
False
Let k(s) = -204*s - 65. Is k(-15) prime?
False
Let n(g) = 10*g**2 + 3*g + 1. Suppose 0*a = -3*a. Suppose -t - 3*t - 40 = a. Is n(t) a prime number?
True
Let j(b) = -476*b + 85. Let n(s) = -17*s + 3. Let a(d) = 3*j(d) - 85*n(d). Let g(h) = h**3 + 4*h**2 - 5*h + 7. Let o be g(-5). Is a(o) composite?
True
Let s = 2 - 0. Let f(d) = -2*d**3 + 6*d**2 + 5*d - 10. Let y(t) = 2*t**3 - 6*t**2 - 4*t + 9. Let i(q) = s*f(q) + 3*y(q). Is i(5) a prime number?
True
Let a = 106 + 379. Let s = a - 236. Suppose -4*k = -s + 93. Is k composite?
True
Suppose 2*b = 4*n + 16, 4*b = -5*n - 5 - 2. Suppose b*i + 9 = -1, 279 = l + 4*i. Is l composite?
True
Let k(y) = y**3 + 55*y**2 + 56*y - 7. Is k(-21) prime?
False
Suppose 194 = -2*v + 5*s - 85, 9 = -3*s. Let h = 880 - v. Is h a prime number?
False
Let j(h) = 28*h + 11. Let n(f) = -f**2 - 18*f - 24. Let p be n(-16). Is j(p) composite?
True
Suppose 5*w + 15 = 40. Suppose w = x, -3*x - 2*x + 24 = m. Is (m/(-2))/((-4)/(-712)) a prime number?
True
Suppose -29248 - 40925 = -27*q. Is q a composite number?
True
Is ((-12601)/9)/((132/11)/(-108)) a prime number?
True
Suppose 5*j + 16 = 36. Suppose -5*u - 669 = j*t - 5168, 4*u - 3*t = 3593. Is u prime?
False
Let d(a) = 35 - 13*a - 6*a + 20*a. Is d(0) prime?
False
Let c(x) be the third derivative of -2*x**4/3 - 7*x**3/6 + 8*x**2. Is c(-2) prime?
False
Suppose 3*a = -2*k - 697, -4*k - 462 = 2*a - 2*k. Let g = a - -522. Suppose g = -2*n + 1101. Is n prime?
False
Let w(s) = 380*s**2 + s. Let t = 51 + -52. Is w(t) a prime number?
True
Suppose 54 = 11*s - 2*s. Suppose -468 = -6*b + s. Is b a composite number?
False
Is 16499 - (-14 - -7 - -3) a prime number?
False
Let r = 150 + 418. Suppose -r = 11*w - 15*w. Is w prime?
False
Let t(i) = 1392*i**2 + 11*i + 16. Is t(-3) a prime number?
True
Let f(j) = -6*j - 6. Let g be f(-3). Is g/16 + 577/4 prime?
False
Let b be 1 + 3 + -3 + -19. Let y = b + 25. Is y a composite number?
False
Let r = -2167 - -8601. Is r prime?
False
Let u(z) = -z**3 + 7*z**2 - 3*z - 8. Let l be u(6). Is -1142*(35/l - 4) composite?
False
Suppose -s - 5*g = -25264, 3*s + 3*g + 35965 - 111781 = 0. Is s prime?
False
Suppose 22*h = 32*h - 211210. Is h prime?
True
Let u(p) be the first derivative of 35*p**2/2 - 2*p - 5. Let l be u(2). Let g = l - 31. Is g a prime number?
True
Suppose 3*i + 2*i + 20 = 0, 2*i + 2 = -3*k. Suppose 2*h = 4*h + 2, 2*c - k*h - 224 = 0. Is c a composite number?
True
Let c be (-704)/(-9) - 2/9. Let x be 12/c - (-4)/(-26). Suppose -3*w + 171 + 210 = x. Is w a composite number?
False
Suppose 13*q + 1421 = 6582. Suppose 5*d - 500 = -5*y, 4*y + 0*y + 3*d = q. Is y a prime number?
True
Let d(b) = b**2 + 8*b. Let m be d(-8). Let n be -20 + 15 + (0 - m). Let v(g) = -42*g + 13. Is v(n) prime?
True
Let x(k) = 5*k**2 - 32*k - 389. Is x(42) prime?
False
Suppose -5*l = -4*j - 15, 3*l - 2*j = j + 9. Suppose 2*z = -l*x + 15, -x + 5*z - 9 = x. Is ((-185)/15)/((-1)/x) prime?
True
Let z(v) = 67*v - 4. Let d be z(1). Suppose 17 = 3*j - 2*j - o, -3*j - 3*o + d = 0. Is j prime?
True
Let u(f) = 61 + 32*f - 2*f + 15*f. Is u(16) a composite number?
True
Let u(q) = 57*q**3 - 19*q**3 - 7 - 8*q - 14*q**3 - 23*q**3 + 12*q**2. Is u(12) prime?
False
Suppose 0*z = -7*z + 7. Let f(y) = 170*y - 1. Is f(z) a composite number?
True
Suppose -4*n = 0, -2*n + 7916 - 1909 = q. Is q a composite number?
False
Let l(s) = 5*s**3 + 25*s**3 + 1 + s + 16*s**3. Let m(q) = 15*q + 137. Let z be m(-9). Is l(z) a composite number?
True
Let c(y) = 162*y**2 + 5*y - 54. Is c(-7) prime?
False
Let k = 1467 + -680. Is k composite?
False
Suppose 0*k - 3402 = -4*k - 3*t, t = -4*k + 3398. Suppose 4*g - 311 - k = 0. Suppose -s + 66 = 4*a, 3*s + s + 3*a = g. Is s a composite number?
True
Let o be (5/(50/4))/(1/5). Suppose -n - 223 = -5*f + 2*n, -3*f = -o*n - 133. Is f a composite number?
False
Let r = -35 - -40. Suppose 3*v - r*d = 163, 3*d + 100 = 2*v + 4*d. Is v a prime number?
False
Let d = 9495 - 2692. Is d a prime number