 = 5 + -2. Suppose 4*b + 2957 = 5*m - h, d*b - 3718 = -5*m. Is m composite?
False
Let s(d) = -d**3 + 7*d**2 - 8*d + 13. Let x be s(6). Let p be (-4*(-98)/4)/x. Is (-42)/p + 5564/14 a prime number?
True
Suppose 0 = -3*t + 4*t. Let w be ((-12)/(-4) - 0) + t. Is 3 - (w - 66) - 1 a composite number?
True
Let q = 22 - 12. Suppose q = -0*j + 2*j. Suppose 166 = j*f + 11. Is f a composite number?
False
Let n(a) = a**3 + 38*a**2 + 8*a - 80. Is n(-27) a prime number?
True
Suppose -2 - 10 = -3*c, -c = -2*v + 19722. Is v a composite number?
True
Let d(z) = -24*z**3 + z**2 + 2*z. Let s be d(-1). Let g = s + -5. Is ((-178)/3)/(g/(-27)) prime?
True
Let i(l) = l**2 + 6*l - 5. Let n be 14 + (-5 - -3)/1. Suppose -x = 2*x - n. Is i(x) prime?
False
Suppose 5*a - 36987 - 21508 = 0. Is a prime?
True
Suppose -27009 - 67670 = -13*q. Is q a composite number?
False
Suppose 5*v - 7547 = 3*y + 77, 5*v + 5*y - 7600 = 0. Is v a composite number?
False
Let c = -203 + 72. Let y = c + 437. Suppose -3*q + y + 267 = 0. Is q prime?
True
Suppose -2*k - 2*k = 5*j + 4, 0 = 2*j + 8. Suppose k*r + 3*m = 9*r - 2800, 4*m - 20 = 0. Is r a prime number?
True
Let m(a) = -5019*a - 61. Is m(-4) composite?
True
Suppose 4*x = 88958 + 7374. Is x composite?
False
Suppose -2*g + 2*a + 24 = -2*a, 5*a + 4 = -4*g. Suppose -3*o = -2*n + 804, -5*n = -3*o - 473 - 1537. Suppose -6*s + n = -g*s. Is s a composite number?
True
Suppose -54*t + 2646 = r - 49*t, 0 = 5*r - 3*t - 13370. Is r a prime number?
True
Suppose -5*s + 74*n - 72*n + 35349 = 0, -s = 4*n - 7061. Is s composite?
False
Let t be 0/1 + -1 - -114. Let y = 203 - t. Let a = y - 37. Is a composite?
False
Suppose 4*k + 49859 = 2*p + 124357, 4*k + 2*p - 74486 = 0. Is k a composite number?
True
Let p(h) be the third derivative of -1/120*h**6 + 3*h**2 + 0*h + 1/6*h**5 + 0 + 3/2*h**3 - 11/24*h**4. Is p(7) prime?
True
Let i(r) = 551*r**3 + r**2 + 4. Let d be i(2). Suppose d = 2*a + 482. Is a a prime number?
False
Let a = 17077 + -11976. Let k = 7434 - a. Is k a prime number?
True
Let q = 2322 - 1105. Is q composite?
False
Let h(g) = -26*g**3 + 4*g**2 - 4*g - 4. Let c be h(-4). Suppose 5*f - c = 2*w + 2000, 3*f - w - 2243 = 0. Is f prime?
False
Suppose 1916 = 7*z - 261. Is z prime?
True
Let r(m) = -122*m**2. Let n be r(-6). Let o = n - -8291. Is o a composite number?
True
Is 135/(-25) - -5 - 187755/(-75) composite?
False
Let z(l) = 273*l**2 + 15*l - 17. Is z(6) a composite number?
False
Let a be (-52)/6 + (-3)/9. Let i = -13 - a. Is (-3084)/(-12) - i/2 a composite number?
True
Suppose 0 = 3*h - 2*u - 15977, h - 5*u = 5*h - 21272. Is h a composite number?
False
Let n(y) = 14691*y**2 - 32*y + 11. Is n(2) a prime number?
True
Is ((-8872)/(-6))/(6/(-18) - -1) a prime number?
False
Let x(w) = w**2 + 16*w - 19. Let h(p) = 2*p**2 + 33*p - 38. Let y(a) = 3*h(a) - 5*x(a). Is y(16) prime?
True
Is (-15777)/(-18) - (-7)/14 composite?
False
Let p(v) = v**3 - 7*v**2 + v - 5. Let l be p(8). Suppose 0 = b + 3*w - 2 - 67, l = b + 4*w. Suppose -241 = -4*f + b. Is f prime?
True
Let r(s) = 2*s + 4. Let c be r(-5). Let n be (-8)/c*615/10. Suppose 0 = 5*l - 2*q - 184, 2*l = 2*q - 4*q + n. Is l prime?
False
Let q be 1*((-8)/20 + 6894/10). Suppose -2*w + 0*w + 3*g = -3485, 3*g - 5205 = -3*w. Let z = w - q. Is z a prime number?
True
Suppose 8*y + 0*y = 712. Is y a prime number?
True
Let z = -1714 + 35393. Is z prime?
True
Is (-8)/(-2) - (-3)/((-24)/(-44696)) prime?
True
Let t(v) be the first derivative of 17*v**2/2 + 3*v + 8. Let i be t(9). Suppose 3*j - 1563 = -i. Is j a prime number?
False
Let h(f) = -f + 4. Let r be h(4). Suppose 0*x - 4*x + 1792 = r. Let k = 827 - x. Is k composite?
False
Let x = -4617 - -10286. Is x a prime number?
True
Is (-1 + -6 - -2) + 7722 a composite number?
False
Let x(u) = 96*u + 15. Let g be x(9). Let p = 482 + g. Is p prime?
True
Let y(x) = x**3 + 6*x**2 - 2*x - 7. Let v be y(-6). Suppose -4*q + 1025 = 6*u - v*u, u + 5*q = 1029. Is u prime?
True
Let s(y) = 2*y**3 - y**2 + y - 1. Let v be s(1). Suppose v + 9 = -u. Is 277/9 + u/(-45) a prime number?
True
Suppose 4753 = 6*g - 5*g + 2*i, 3*i = 2*g - 9499. Is g composite?
False
Let k(x) = -x**3 + 19*x**2 - 18*x + 4. Let b be k(18). Suppose 3*a - b*o - 1237 = -2*o, -5*o = 2*a - 812. Is a a prime number?
False
Is 835080/84 - 9/21 a composite number?
False
Let g be ((-4)/12)/(1/(-15)). Suppose -2*f = 7*r - g*r - 264, 4*f - 4*r = 488. Is f prime?
True
Suppose 133*t - 127*t = 45042. Is t composite?
False
Let f(r) = 245*r**2 - 37*r - 47. Is f(15) prime?
False
Let l = 1 - 12. Let t(f) = f**2 - 14*f - 8. Is t(l) composite?
True
Let t(h) = 7*h**3 - 21*h + 62. Let r be t(12). Let l = r + -8335. Is l a prime number?
True
Let m = -108 - -625. Is m a prime number?
False
Let o be -10 + (-4 - -6) + -1. Is ((-69)/o)/((-3)/(-117)) a prime number?
False
Let b = 627 - -101. Let u = b + -397. Is u a composite number?
False
Suppose 7*q - 11*q + 8 = 0. Let d = -74 - -71. Is q - (d - -2) - -628 prime?
True
Let n(f) = 60*f + 23. Let d(m) = -60*m - 23. Let c(z) = 4*d(z) + 3*n(z). Is c(-13) composite?
False
Let n(c) = -c**3 - 6*c**2 + c + 6. Let s be n(-6). Let j = -154 - -154. Suppose s*v + v - 59 = j. Is v prime?
True
Suppose 6*q + 12 - 42 = 0. Suppose 0 = -4*c + 3*c + 2*w + 589, q*c + 2*w = 2909. Is c prime?
False
Suppose -8 = -2*l - 2*w, 0 = -0*l - 2*l - 4*w + 8. Let f(p) = 112*p - 3. Is f(l) prime?
False
Suppose 9*t - 4*t = 5*h + 45, t + 2*h = 12. Let l = -9 + t. Suppose -l = -z + 14. Is z prime?
False
Suppose -5*r - 4*b = 8, 4*b - 1 + 9 = -3*r. Suppose 5*o - 6*y + 2*y - 4263 = 0, r = 2*o + y - 1700. Is o a prime number?
False
Let r(w) be the first derivative of 16*w**3/3 + w**2/2 + 2*w - 6. Is r(3) prime?
True
Suppose 0*k = -5*o - 4*k + 1960, -4*o - 2*k + 1568 = 0. Let r = 128 + -10. Suppose -z + 98 = 5*h - r, -o = -2*z - 2*h. Is z prime?
True
Let d = 6511 - 3692. Is d a prime number?
True
Let u(c) = -134*c**3 + 4*c + 5. Suppose 3 = 3*f, -2*d - 3*f - 1 = -0*d. Is u(d) a composite number?
False
Let j = -3610 + 6964. Let u = j - 1749. Suppose -i + u = 4*i. Is i a prime number?
False
Let f(g) = -g**3 + 15*g**2 + 15*g + 22. Let h be f(16). Suppose 3453 = -3*r + h*r. Is r prime?
True
Suppose -c + 3*c - 174 = 0. Let j = c + 62. Is j composite?
False
Let q(y) = 2*y + 3*y - 7*y - 6 + 0. Let m be q(-4). Is m/(-3) + 14881/69 composite?
True
Let j(n) = 30*n**3 - 5*n**2 + n + 145. Is j(8) composite?
False
Let n(f) = 3*f**2 + 4*f - 7. Suppose 0 = -5*v - 5*p, -v + 30 - 5 = -4*p. Let o be n(v). Let j = -63 + o. Is j a composite number?
True
Suppose 6*m + 20 = 5*m + 5*s, 8 = -m + 2*s. Suppose m = 3*i - 2*z - 3045, -4*z + 1026 = i - z. Is 10/(-25) - i/(-5) a prime number?
False
Is (-2)/(-6)*(-2 - -13751) composite?
False
Suppose -3*g = g - i + 121, 3*i = -5*g - 147. Let w be 6/(-2)*20/g. Suppose -w = -x, 3*l - l = -4*x + 750. Is l a prime number?
False
Let z(x) = 2*x + 5. Let b be z(-4). Is b - -2 - 3456/(-3) a prime number?
True
Let u = 1 - -1. Suppose 4*m + u*r = -4198, -2*m - r = -m + 1048. Let f = m - -1562. Is f a composite number?
True
Let x(p) = 20*p**3 - 12*p**2 + 21*p + 12. Is x(5) prime?
False
Let y be 24594/15 + (-2)/(-5). Suppose 0*u - 20 = -5*u - 5*l, -5*l - 30 = -5*u. Suppose -y + 150 = -u*b. Is b prime?
False
Let o(a) = 3 + 0*a**2 - 6*a + 3*a**3 - 3*a**2 - a**2 + 5*a**2. Suppose 0 = 2*w - 5 - 3. Is o(w) a composite number?
True
Let l = -7 + 11. Suppose l*f - 2*k - 4381 + 1689 = 0, k - 1346 = -2*f. Is f a prime number?
True
Suppose b - 9 = -4*i, 7 = 2*i - b - 2. Suppose 5*q = 5*c + 3735, i*c = -5*q + 5*c + 3723. Is q prime?
True
Let v be (-428)/(-1) + 5 + -9. Suppose 5*q = -5*w + 4370, -q + v + 460 = -4*w. Let c = -289 + q. Is c prime?
True
Let n = 7 + -7. Suppose -2*l + 3*l - 138 = n. Is -2 - (-2 + l/(-3)) a composite number?
True
Let x = 4875 + -3176. Suppose -b + 553 = -2*w, 0 = -3*b - 2*w - 0*w + x. Is b composite?
False
Is (0 - 2341926/(-126)) + (-4)/(-14) a prime number?
True
Suppose -726965 = 283*r - 288*r. Is r a prime number?
False
Suppose 5*v - 20 = 0, 7*z - 5*z - 44370 = 2*v. Is z a composite number?
False
Suppose -13*m - 1011 = -10*m. Let i = m + 4548. Is i a composite number?
False
Let d(n) = n**3 - 6*n**2 + 6*n - 7. Let l be d(5). Suppose 5*a + 113 = -12. Let p = l - a. Is p a prime number?
True
Let h(r)