r?
False
Suppose -5*s - 40 = -5*d, 0 = -5*d - 2*s + 6*s + 38. Suppose -14*o + d = -12*o. Suppose -o*j + 77 = 8. Is j a composite number?
False
Let w(t) = 4*t**3 + 14*t**2 + 8*t - 4. Let s be w(-5). Is (8 + -3)/((-2)/s) a composite number?
True
Suppose 5*p + 10 = 0, -5*y - p + 159 = 16. Let g = 111 - y. Is g a composite number?
True
Let x(v) = -v**2 - 3*v + 26. Let g(t) = 2*t - 27. Let r(s) = -3*g(s) - 4*x(s). Is r(18) a prime number?
True
Let o(c) = -5*c + 12. Let g be ((-68)/(-8) - 2)*4. Suppose -5*q - 25 = -2*q - 4*t, 0 = -2*q - 2*t - g. Is o(q) composite?
False
Let i = 1549 + -320. Is i composite?
False
Let r(t) = -t**2 + 11*t - 17. Let l be r(12). Let j = -100 - l. Let h = 138 + j. Is h a composite number?
False
Let p = -64 + 56. Let t(y) = 2*y**2 + 12*y + 5. Is t(p) a composite number?
False
Suppose -4*o - 2 = -5*o. Suppose 9*q - o*q - 2149 = 0. Is q composite?
False
Suppose 4*k - 4 = 16. Suppose 3*y = 5*y - 306. Suppose -2*s = -k*s + y. Is s prime?
False
Suppose -5*n = -2481 - 8369. Suppose -5*f + 5415 = -5*g, 2*f - 2*g - g - n = 0. Is f prime?
False
Let r be (8/20)/((-4)/(-20)). Suppose 3*s - 346 = -r*a - 37, 3*a + 429 = 4*s. Suppose s + 47 = 4*b. Is b a composite number?
True
Let k(f) = -30*f - 481. Is k(-44) composite?
False
Let j be ((-6)/(-10))/((-9)/(-45)). Suppose 8 = -j*b + 4*y, 2*b - 2*y = -1 - 1. Suppose 2*f = -5*d + 48, -4*f - 2*d + b*d = -72. Is f a prime number?
True
Let h(f) = 2*f + 2. Let a be 2/(-3) + 16/24. Let c be h(a). Let w(m) = 15*m**3 + 3*m**2 - 3*m + 1. Is w(c) composite?
False
Suppose -s - 3*r = 4*s + 20, 5*s - 15 = 4*r. Let y be (s + -1)*30/(-20). Suppose -2*v + y*f = 3*v - 730, v + f = 138. Is v a prime number?
False
Let w be (-1 + 2)/((-2)/(-8228)). Let x = -2441 + w. Is x a composite number?
True
Let h = 3043 + 13578. Is h composite?
True
Is -5 + (-7)/((-91)/210444) composite?
False
Let z = 2026 - 92. Is z prime?
False
Let i = -33 - -21. Let r be (12/7)/(i/(-42)). Suppose 9 = b - r. Is b prime?
False
Let s(z) = 343*z - 11. Let k = 19 - 15. Is s(k) composite?
False
Let s = 92339 + 44108. Is s a prime number?
True
Let x(f) = -2*f - 5. Let h be x(-4). Let y(d) = -6 - 6*d + d**h - 8*d**2 - 12*d + 8*d. Is y(10) composite?
True
Suppose 1 = 4*h - 3*h - 2*i, -2*i - 7 = -3*h. Suppose 0 = -5*p + 4*n - 0*n + 2457, -4*p - h*n = -1947. Is p prime?
False
Let u(x) = -67*x + 46. Let k be 10/(-25) + (-43)/5. Is u(k) composite?
True
Suppose -h + 5*k = 2*h - 10789, 5*k = -2*h + 7201. Is (h/5)/((-2)/(-5)) a composite number?
True
Suppose -2*n + 11 = 4*p - n, -4*p = -n - 5. Suppose -5*a - 508 = -w, p*w + 5*a = -w + 1504. Is w a prime number?
True
Let u(c) = 167*c**2 - 877 + 881 - 3*c + 3*c. Is u(-3) composite?
True
Let u = 42 + -26. Let h be u - 6/8*4. Let i(p) = p**2 - 5*p - 10. Is i(h) a prime number?
False
Let t(c) = c**2 + 7*c - 14. Let n be t(-9). Suppose -25 = -n*j - 9. Let g(m) = -m**3 + 4*m**2 + 2*m + 3. Is g(j) prime?
True
Let j(r) be the first derivative of -r**4/2 - r**3/3 + 3*r**2/2 + r - 74. Let g(d) = -d**2 - d + 3. Let x be g(-3). Is j(x) composite?
False
Let w(j) = -91*j**3 + j**2 + 9*j - 9. Let n be w(1). Suppose 5*t + 676 = t. Let h = n - t. Is h a composite number?
False
Let g(b) = -4783*b**3 + b**2 + 5*b + 4. Is g(-1) composite?
False
Let g(t) = 38*t**2 - 209*t - 51. Is g(-34) a composite number?
True
Let m(k) = -k**2 - 4*k. Let z be m(-3). Is -3 + z/12 + (-486)/(-8) a composite number?
True
Let m = -9 - -12. Suppose -m*d + 460 = 2*d. Suppose 5*i + 3*u - 745 = 0, -2*u + d = i - 57. Is i composite?
False
Let x(r) = -326*r**3 + 21*r**2 + 50*r - 11. Is x(-5) composite?
True
Let c(l) = 8*l**3 - 5*l**2 - 11*l + 15. Is c(6) a composite number?
True
Let f = 22 - 674. Let d = f - -290. Let q = -235 - d. Is q prime?
True
Let w(i) = 15*i + 14 + 3 + 13*i**2 + 8*i**2. Is w(-11) composite?
False
Suppose -2*x - 4*p + 26 = 0, -3*p - 3 = -2*x + 2. Let a be (1 - 4491/5)/(16/(-80)). Suppose -x*v + a = 1217. Is v a composite number?
False
Suppose -3 = -6*s + 9. Is s*1676/(-16)*-10 a prime number?
False
Let m = 2038 + -89. Is m a prime number?
True
Let p(i) = 9*i**3 + 9*i**2 - 19*i + 14. Let w(b) = 5*b**3 + 5*b**2 - 10*b + 7. Let r(g) = -4*p(g) + 7*w(g). Is r(-9) a composite number?
False
Suppose 3*f = 7*f - 992. Suppose -5*d - 13 = -f. Is d prime?
True
Suppose -2*p = -9 - 1. Suppose 4*d - t - 9 - 3 = 0, p*d = -t + 24. Suppose -d*u + 20 = 0, 70 = 3*o - 4*u - 27. Is o composite?
True
Let p(t) = t**2 - 4*t + 5. Let w be p(4). Suppose 9595 = 5*y + w*x, 5*y + 2*x + 2220 = 11821. Is y composite?
True
Let n(a) = 3202*a + 3. Is n(1) composite?
True
Let q(y) = 3*y**2 - 103*y + 61. Is q(-25) a prime number?
False
Let c(z) = -3163*z**3 + z**2 + z. Suppose 3*o + 15 = 12. Is c(o) prime?
True
Let p be 0*(25/(-10) + 2/1). Suppose 4*f - u - 1387 = 0, p = -5*f + 6*u - 2*u + 1731. Is f composite?
False
Let a = -23 + 11. Let h be 3/4*a/(-3). Suppose 199 = h*l - 2*l. Is l a composite number?
False
Suppose 4*h + 2 = -66. Let z = h - -209. Is 4/10 - z/(-20) a prime number?
False
Suppose 319*u + 170662 = 321*u. Is u prime?
True
Let z be (-2 - 2)*(0 + -1). Suppose 0 = z*a - 770 - 1202. Is a prime?
False
Let x be 2/(4/360*4). Suppose 6*a + x = -45. Is 3/a + 5832/10 a prime number?
False
Suppose 19*z - 262330 = 46819. Is z a composite number?
True
Suppose 0 = -g - 2*g. Let d(o) = 373*o - 1. Let n be d(2). Suppose -5*f - 4*x = -n, 2*x + g*x = -3*f + 447. Is f a composite number?
False
Let t(y) = -52*y - 7. Let c be ((-8)/(-12) + -1)*(10 + -1). Is t(c) a composite number?
False
Is (60115/65 - 6) + 6/39 a prime number?
True
Let v = -5 - -8. Suppose -l + 301 = -0*y - v*y, 2*y = 4*l - 1194. Suppose 4*i + l = h + 2006, 5*h = 5*i - 2135. Is i a composite number?
True
Suppose -7*x + 9713 = -5*x - 3*h, 14552 = 3*x - h. Is x composite?
True
Is (-153076)/(-84) - (-6)/9 a composite number?
False
Let d(n) = 2*n - 9. Let r be d(-4). Let h(x) = -148*x - 57. Is h(r) prime?
True
Let d = -6707 + 12090. Is d composite?
True
Is (-33)/99 - (-1 + 161833/(-3)) prime?
False
Suppose -4*k - 2*l + 3*l = -41, -25 = 5*l. Let r = k + -9. Suppose r = -6*s + 8*s - 298. Is s composite?
False
Let u(c) = 16*c**3 + 3*c**2 + 10*c - 8. Let x be u(4). Suppose -4*v + x + 140 = 0. Is v a prime number?
True
Let x(w) = 5*w**3 - w**2 - 3*w + 3. Suppose -6*i + 4*i = 2. Let m be (-4)/i - (4 - 2). Is x(m) a prime number?
False
Let s = -58 - -109. Is s a prime number?
False
Let c = 55810 - 26444. Is c composite?
True
Suppose 0 = -k + 2*k. Suppose -f = k, -3*f + 775 = 5*s - 0*f. Is s a prime number?
False
Is (2313/9)/((-3)/(-33)) composite?
True
Let h = 52 - 74. Let r be h/6 - 10/(-15). Is r + (3 - 2) - -55 a prime number?
True
Is 1*-72164*(-11)/44 prime?
True
Suppose -i + 5*m + 164 = 0, -2*m - 123 - 229 = -2*i. Suppose 4*y - 1524 = 2*j, -y + 553 = -4*j + i. Is y a composite number?
True
Let z(l) = l**3 + 13*l**2 + 6*l - 14. Let f be z(-12). Suppose 613 = 3*v + f. Is v composite?
True
Let g(v) = v**3 + 3*v**2 - 5*v - 2. Let z be g(-4). Let t(u) = -43*u**2 + 44*u**2 + 1 - 2 - z*u. Is t(12) composite?
True
Suppose -4*g + 23 - 3 = 0. Suppose 0 = -3*z - 4*s - 12, -3*z - g*s = -8*z + 15. Suppose z = -2*t - t + 6. Is t prime?
True
Suppose -2*w - 22 = -4*w. Let a = w + -11. Is 185/5 + -2 + a prime?
False
Let r = 267 - 89. Suppose c = -c - r. Let d = c + 354. Is d composite?
True
Suppose -709947 = -51*p - 12*p. Is p prime?
False
Let z = 41 + -36. Suppose 5*g + 0 - 5 = 0, -2*q = z*g + 19. Let s(a) = a**3 + 12*a**2 - 2*a - 9. Is s(q) a composite number?
True
Suppose -2*x + 3*a + 10 = -4, -5*x - 4*a = -12. Is 1*5305/(x + 1) a prime number?
True
Suppose 2*k + 5*k - 6825 = 0. Suppose -5*p = -k - 1000. Is p prime?
False
Let p be ((-4)/(-2))/(2/5*-1). Is ((-6)/9)/(((-30)/(-3771))/p) composite?
False
Let d = 101305 + -64767. Is d a composite number?
True
Let a = 51 + -35. Suppose -r - 4*m + 11 = -10, 4*r = m + a. Is (35/(-2))/(r/(-10)) composite?
True
Let g = -4 - -7. Suppose g*o - o + 16 = 4*z, -5*z = -5*o - 30. Is (-667)/o - 8/(-32) prime?
True
Let b be (1 - -25 - -1)*(-27728)/24. Is (-12)/(-42) - (b/(-14))/(-3) a prime number?
True
Let a = -762 - -1581. Suppose 3*z = -5*n + 1384 + a, -5*n = 2*z - 2207. Is n prime?
True
Suppose p = -9*p. Suppose p*a - 5730 = -6*a. Is a composite?
True
Is (45/12)/(-15) + (-88589