8 + 116. Is -5 + 132/x + (-13645)/(-7) a prime number?
True
Suppose -32*x + 39*x - 30247 = 0. Is x composite?
True
Let f = -7 - -7. Suppose 10 = 5*p - f*p. Let m(n) = 35*n - 3. Is m(p) a composite number?
False
Suppose 10*i = 5*i - 5020. Let y = 1598 + i. Let c = y + -183. Is c composite?
True
Let d(r) = 162*r**2 + 2*r + 7. Is d(3) a prime number?
True
Let s(q) = 63*q**2 + 26*q - 64. Is s(9) prime?
True
Let z(d) = d**2 - d - 9. Let x be z(-3). Suppose -x*s + 24 = m + 2*m, 3*m = -2*s + 29. Is m a composite number?
False
Is (-3509300)/(-500) + 2/(-5)*-1 a composite number?
False
Suppose -19*x = -28728 - 31217. Is x a composite number?
True
Let p(i) = 363*i + 116. Is p(23) prime?
False
Suppose 2*y - 4*y = -5*c - 2, 4*c + 2*y + 16 = 0. Is (517 - -13)*(-1)/c a prime number?
False
Let u = -14 - 10. Let v = -16 - u. Suppose 84 = 2*x - v. Is x prime?
False
Let o(g) = 7 - 36*g - 17*g - 32*g - 79*g. Is o(-8) a composite number?
False
Let s = -4209 - -12496. Is s prime?
True
Let y(q) = 14*q - 5. Let x be y(1). Let o(z) = 71*z - 26. Is o(x) a composite number?
False
Suppose -3*s + 172 = s. Let n = 44 + s. Suppose -4*p + n + 65 = 0. Is p a prime number?
False
Let d(a) = 150*a + 4. Let x be d(1). Let p = 285 - x. Is p a composite number?
False
Suppose -10967 = -2*h + 8615. Is h prime?
True
Suppose -3*c = -892 - 1775. Suppose 78*o = 85*o - c. Is o a composite number?
False
Let w = -2951 + 4348. Is w a prime number?
False
Let s(o) = 83*o**2 - 1. Let h(f) = f**2 - 8*f + 9. Let z = -1 - -8. Let n be h(z). Is s(n) composite?
False
Let s(b) = -5*b - 8. Suppose -5*a = -d + 11, 2*a - 3 = 5*d + 11. Let j be s(d). Suppose -4*c = -344 - j. Is c a prime number?
True
Let u be (2 + 9)*142 - -3. Let t = u + -1108. Is t prime?
True
Let p = 12425 + -8728. Is p composite?
False
Let y(u) = 3*u**2 - 4*u + 5. Let a be y(4). Suppose 2*w - 81 - a = 0. Suppose 0 = -2*r + 5*z + w, 4*z - 52 + 151 = 3*r. Is r a composite number?
False
Let x be (-5)/(-2)*(-24)/(-15). Is x/(-6)*2082/(-4) a prime number?
True
Suppose -f + 3*x = 3*f + 3, 4 = -3*f + 4*x. Suppose g - 46 = -f*g. Is g a prime number?
False
Is (-139674)/(-14) + 150/525 prime?
False
Let z = 12 - 6. Suppose -5*k + 7 = 3*y, -4*y + 0*y + 4 = 4*k. Is z/k + 3 + 1 prime?
True
Suppose f = 2*f, 12638 = 2*r + 3*f. Is r a composite number?
True
Let g(j) = -j**2 + 13*j - 3. Let f be g(12). Suppose -5*t - f = 11. Is t/14 + 4404/28 prime?
True
Suppose -5*t - 1555 = 2*g, -4*t - 278 = -2*g + 948. Let z = 440 + t. Is z a prime number?
True
Suppose -3*z - 109 = -418. Suppose 3*m - 2*j + z = 6*m, 33 = m + j. Is m composite?
False
Suppose 10740 = 19*o + 3121. Is o a prime number?
True
Suppose 0 = 4*y - 5*y + 8. Suppose 3021 = 5*n - 4*n - 2*a, 0 = -4*a - y. Is n composite?
True
Is (5 - -1688)/(-1 - -2) a composite number?
False
Let a(s) = 461*s**2 - 9*s - 15. Is a(-2) prime?
True
Let t be (-1 - -15)*(-12)/(-7). Let w = t - 22. Suppose c = -2*i + 53, 0*i + 5*i = w*c + 128. Is i a composite number?
True
Suppose 4*w - 15793 = t, 3*t = 9 - 0. Let g = w + -2550. Is g a composite number?
False
Suppose -4*h + 6187 = 4*b - 1185, -b = -4*h - 1863. Is b a prime number?
True
Let d = -11 - -18. Let p = 92 - d. Is p prime?
False
Suppose 5*s - 33*c = -32*c + 47458, s = -3*c + 9482. Is s composite?
False
Suppose 3*m + 4*y = 1509, 2*m - 4*y + 329 = 1315. Is m a prime number?
True
Let u(y) = 14*y**3 + y**2 - 7*y - 7. Suppose 20 = -5*t + 10*t. Is u(t) prime?
True
Let q = 332 + -212. Suppose -c - 129 = 2*s, -s + 3*c - 10 - 72 = 0. Let j = s + q. Is j a composite number?
False
Suppose -521*t + 555*t - 276794 = 0. Is t a composite number?
True
Let s(l) = 3*l**2 - 21*l - 17. Suppose -7*p = 121 - 9. Is s(p) a composite number?
False
Let a(d) be the second derivative of d**4/12 + 7*d**3/6 + 11*d**2/2 - 24*d. Is a(-12) composite?
False
Let z be -3 - (4*-2 + 2). Is (0 + -3)*(-13)/z composite?
False
Let l = -185812 + 444375. Is l a composite number?
False
Let h(w) = -4*w**2 + 10*w + 4 + 5*w**2 + 2. Let k be h(-7). Is ((-254)/(-6))/((-5)/k) prime?
True
Let k(x) = -15*x + 11. Let m(w) = -29*w + 22. Let y = -2 + 5. Let z(r) = y*m(r) - 5*k(r). Is z(-9) prime?
False
Let p(i) = -8 + 26*i - 13 + 18. Let d(t) = -1. Let q(w) = 4*d(w) + p(w). Is q(6) composite?
False
Let g(m) = m**2 - m + 4*m - 6*m - 4 + 9. Suppose -2*s + 18 = 2*t - 0, 4*t - 22 = -2*s. Is g(s) composite?
True
Suppose -45*z + 46*z = s + 33257, s + 133028 = 4*z. Is z a composite number?
True
Let f = 6191 - -3470. Is f a prime number?
True
Let u(k) = 2998*k**3 + 3*k**2 + 4*k - 6. Is u(1) prime?
True
Let z = 107 - 40. Suppose z = -3*i + 163. Suppose 0 = q - i - 377. Is q prime?
True
Let r be 1 + (6579 - (-7 - -4)). Let w = -754 + r. Suppose -5*h + w = 624. Is h composite?
True
Suppose 8*g + 623 = 14839. Is g a prime number?
True
Let o(n) = -194*n + 5. Let t(j) = j**2 + 14*j + 17. Let v be t(-11). Is o(v) prime?
True
Let h be (4 - 0)/((-24)/(-18)). Suppose -2*g + h*p + 300 = -p, 5*g - 736 = 3*p. Is g prime?
False
Let t(k) = 121*k**3 + 4*k**2 + 7*k + 17. Is t(6) composite?
False
Let c(s) = s - 1. Let x be c(2). Let i(p) = 358*p**2 + p. Is i(x) a composite number?
False
Suppose 21*w - 31121 - 1702 = 0. Is w composite?
True
Let q be (3 + -1 + -3)*-3 - -1. Suppose 4*c - 104 = -q*s, c = 2*c - 1. Is s a composite number?
True
Let o(p) = 3*p**3 + 75*p - 49. Is o(16) prime?
False
Suppose s - 6 = 3*j, -2*s - 6*j + 45 = -j. Suppose a + s = 50. Let b = a - -486. Is b prime?
True
Let q(c) = -1088*c + 3. Let x be q(-1). Let p = 622 + x. Is p a prime number?
False
Let f(d) = -d**3 - 5*d**2 - d. Let n be f(-5). Suppose 0*q - n*q = -20. Suppose -q*c - 651 = -5*w, -5*c = -0*c + 20. Is w a prime number?
True
Let l(b) = 14*b**3 + 7*b**2 - 14*b - 8. Is l(5) prime?
True
Let x(c) = 8*c**2 - 12*c + 10. Let q be x(-5). Let j = q + -5. Is j composite?
True
Let h(j) = -2*j**2 - 17*j + 8. Let p be h(-9). Let m(n) = 488*n**2 - 4*n - 3. Is m(p) a composite number?
True
Let v(z) = -2*z**2 + 6*z - 5. Let o be v(3). Let q(i) = -2*i**3 + 2*i**2 - i - 3. Is q(o) a composite number?
True
Is 4 - 117/26 - (-87846)/4 a composite number?
False
Let n = -26 - -142. Suppose 4 = l + 2. Suppose -l*c + 414 = n. Is c a prime number?
True
Let j be (-2)/(-4) + (-45)/(-10). Let d be (16/20)/(2/j). Is (-2272)/(-40)*5/d a prime number?
False
Let d = 24 - 14. Suppose -2*k - 3*i = -k - 123, -d = 5*i. Is k a composite number?
True
Let t be 446/8*(6 + -50). Let u = 3996 + t. Is u prime?
True
Let k(n) = -n**2 + 25*n - 2. Let c be k(12). Suppose 2*o + 4*u - c = 74, 3*u = 5*o - 583. Is 1/2*(o + 2) a prime number?
True
Suppose 0 = -3*n + 1 + 8. Let m be (((-36)/(-15))/(-3))/((-3)/15). Suppose m*d = n*d + 43. Is d a composite number?
False
Suppose 0 = -5*l - 1273 + 108. Is l/2*2/(-1) prime?
True
Let g be (-164385)/(-60) + 2/8. Let j = 6 + -3. Suppose -j*l = l - g. Is l a composite number?
True
Let l(f) = -3*f - 24. Let b be l(-11). Is (2/b + 3080/72)*1 a composite number?
False
Let y = 32 - 40. Let p(c) = -c**3 - 8*c**2 - 6*c - 17. Is p(y) composite?
False
Suppose 0 = -3*x - 46 - 23. Let z = x - -33. Let q = 36 - z. Is q prime?
False
Suppose -2055 - 2825 = -8*c. Suppose 0 = -3*n + 10 + 5. Suppose 0*j + 5*j = -n*q + 1020, 3*q - c = -j. Is q a composite number?
True
Let i(o) = o**2 - 9*o - 17. Let u be i(11). Suppose -s + 172 = -5*g, -131 = 5*s - u*g - 931. Is s composite?
False
Suppose -4*d + 36 + 12 = 2*c, -4*c = 4*d - 108. Let o be (3/5)/(3/c). Let j(r) = 5*r + 13. Is j(o) prime?
True
Is (-9057)/2*232/(-348) a prime number?
True
Suppose -2*n - 3*o - 19 = 0, 2*n + 5*o + 43 = 14. Is ((-1)/(-1) + n*1)*-2819 a composite number?
False
Let s = 64 + -74. Is (s/(-3))/(24/612) a prime number?
False
Let d = -34 + -5. Let f = -16 - d. Is f prime?
True
Suppose 0 = -3*l + 4*y - 3, 8*l - 3*l = -5*y + 30. Let w = -1452 - -14509. Suppose 5*r + x - w = 0, -l*x = r + 90 - 2707. Is r a prime number?
False
Let z be -1 + 1 - 4 - 2. Let a(w) = 3*w**2 - 11. Is a(z) a composite number?
False
Let b(k) = -k**3 - 17*k**2 - 19*k + 14. Let z be b(-22). Suppose 2827 = 3*y - 4*n, 3*y + 3*n = 2*n + z. Is y prime?
False
Suppose 4*v = -5*m + 120947 + 5302, -5*v - m + 157806 = 0. Is v a composite number?
True
Let t be (1 + 2)*(1 + 4 - 4). Suppose 2*d = -4*f + t*d + 4777, f = -5*d + 1168. Is f a composite num