-5*b = -3*r. Suppose b = 4*k + 84 - 1708. Suppose -3*v + 5*d = d - 386, 3*v - k = -d. Is v composite?
True
Suppose -23853 = 5*l - 80088. Suppose -9*d = -l + 2652. Is d composite?
True
Suppose 2*d - 4*i - 2303 = -9*i, 4*i - 4 = 0. Is d prime?
False
Is (-3770)/(-9) + (-43)/(-387) a composite number?
False
Is (-2 + (4 - 3))*0 + 3061 a prime number?
True
Let b(h) = -73*h**3 - 3*h - 2. Let j be b(-1). Is ((-35)/(-7))/(2/j) composite?
True
Let x = 5764 + -4047. Is x prime?
False
Let t be (4 - 1) + (265 - -1). Suppose -t = -3*o + 58. Is o a composite number?
False
Let i(w) = 2*w**3 - 9*w**2 + 6*w - 6. Let x be i(4). Suppose -21 = -z + x*l, 4*l + 36 = 2*z + 3*l. Suppose -z = -m - 3. Is m a prime number?
False
Let i be 2 + -2 + (-5)/(-1). Suppose -i*y - 15 = 0, -4*u - 1326 = -7*u - 2*y. Is u - (0 - (3 + -2)) a composite number?
True
Let p = -42 + 59. Suppose -3*x = -d - 0*x + p, -8 = -4*d - 3*x. Suppose 3*j - d*j = -174. Is j composite?
True
Let k(s) be the second derivative of s**4/12 - 2*s**3/3 - 3*s**2/2 - 2*s. Let n be k(7). Suppose 86 = 4*g - n. Is g a prime number?
False
Is (-2)/((18/(-90486))/((-2)/(-4))) a composite number?
True
Suppose 4*v + 5*m + 68 = 0, -5*m - 40 = 3*v + 16. Let t = -12 - v. Suppose -n + t*n = -39. Is n prime?
False
Let a(d) = 6*d**3 - 4*d**3 + 27*d**2 + 2*d + 17 - d**3 - 12*d**2. Is a(-14) prime?
False
Suppose 15*s - 121614 = 125091. Is s composite?
False
Let o = -16 + 16. Suppose o = -p - p + 162. Suppose l - p = -5*g + 16, -5*g + 3*l = -89. Is g composite?
False
Let v(l) = -l**2 - 16*l + 1. Let u be v(-16). Is (u + 1761/6)*2 a prime number?
False
Let w(f) = 58*f + 35. Is w(20) prime?
False
Let u(c) = -c**2 - c + 1. Let d be u(5). Let s = 140 + -17. Let j = d + s. Is j a prime number?
False
Suppose q = -4*v + 21, v + 3 = 3*q - 8. Suppose u = -0*p + 2*p - 585, v*p = -3*u + 1175. Is p a composite number?
False
Let q = 546 - -536. Is q prime?
False
Let x(k) = 7*k**2. Let v be x(3). Is (1 - (-14)/(-18)) + 109165/v a composite number?
False
Suppose 5*r = -16 + 1. Is (7 - 15/r)*(-1262)/(-8) a prime number?
False
Let v(w) = w + 5. Let p be v(5). Is (-573 - p)/(0 - 1) composite?
True
Let x(t) = -1593*t + 4. Let u be 66/(-24) + 4/(-16). Is x(u) composite?
False
Is (-9314517)/(-621) - (12/(-27))/(-2) a composite number?
True
Let o be (1 + 0)*(3 - (-1024)/(-2)). Is (0 - (-4)/(-4))*o prime?
True
Let i(w) = -2*w - 2 + 2 + 9 - w. Let l be i(13). Let b = 349 + l. Is b prime?
False
Is (-16)/48*-14097*(1 + 0) a prime number?
False
Is 11/22*(-2 + 4 + 3072) a composite number?
True
Let i = 3002 - -431. Is i a prime number?
True
Let v = 91 - 89. Suppose -4*m - 12 = 0, -v*d + 3*m + 122 = -m. Is d composite?
True
Is 1/(8 - 1802757/225346) a prime number?
False
Let d(r) = -253*r - 9. Let u be d(-4). Let o = u + -255. Suppose 0*q + 4*q = o. Is q prime?
False
Suppose d + 3880 = 5*h, 6747 + 8755 = -4*d + 2*h. Let c = d - -5871. Suppose -o = o + 5*w - c, 2*w = 5*o - 4961. Is o prime?
False
Let j = 721 - -18. Is j a prime number?
True
Let q(h) = -h**2 - 6*h + 6. Let t be q(-6). Suppose -z - 2403 = -t*z - 4*u, -2*u = -2*z + 954. Is z a composite number?
False
Is 3/((-9)/(-265))*3 composite?
True
Let u be (-2)/(-1)*(3 - 25/10). Is -3 + 134 + u + -5 a prime number?
True
Let l(b) = -1053*b - 137. Is l(-8) composite?
False
Let a = 19 + -8. Let u = 44 - a. Is u prime?
False
Suppose 0*d = d - 4*c - 823, 2*c - 1696 = -2*d. Let n be (36/(-6))/((-2)/d). Suppose -5*i - 1373 = -2*v, -3*v + 5*i = -n + 477. Is v prime?
False
Let g be (4/3*-3)/(5 + -6). Suppose -c = -5*m - 2*c + 848, g*m = -5*c + 691. Is m a composite number?
True
Let s(y) be the second derivative of y**5/20 - y**4/2 + 2*y**3/3 + 9*y**2/2 + 12*y. Is s(6) a prime number?
False
Is ((-114360)/(-48))/((-1)/(-2)) a composite number?
True
Suppose -6*t = -3*t + 18. Let j(l) = -l**2 - 5*l - 6. Let n be j(t). Let u = 25 - n. Is u prime?
True
Let n = 12562 + -5431. Is n composite?
True
Let n(l) = -7*l**3 - 2*l**2 - 6*l - 10. Let q be n(-7). Let f = -574 + q. Is f prime?
False
Let y be (11 - 5)/(6/(-172)). Let h = -85 - y. Is h a composite number?
True
Let y = 45970 - 32589. Is y a prime number?
True
Suppose 3*r + 19 = -2. Let x = 6 + r. Is 290 + (x - -5 - 7) a composite number?
True
Let w(u) = 894*u**3 - 12*u + 31. Is w(5) composite?
False
Suppose 3*a = 1942 + 239. Suppose 0 = -4*y + t + 5118, y = 5*t + 1884 - 614. Let w = y - a. Is w a composite number?
True
Is (0 - (22 + -19))*35474/(-6) prime?
True
Let p(z) be the first derivative of 37*z**2 + 20*z + 9. Let i(w) = 15*w + 4. Let m(l) = -11*i(l) + 2*p(l). Is m(-15) a composite number?
False
Let w = 39 + -28. Is 4/(-22) + 4204/w a composite number?
True
Suppose -4*p + 15 + 19 = -3*q, 0 = -q - 2. Let d = 9 - p. Is (-1 + -1525)/(-4 + d) prime?
False
Let k = 736 - 397. Is k composite?
True
Is 113839/33 + (3 - 66/18) prime?
True
Is -1*7 - 54426/(-47) a prime number?
True
Let c(h) = -21*h + 6323. Is c(0) composite?
False
Let k(m) = -513*m + 79. Is k(-16) a composite number?
False
Suppose -1753 = -5*d + 8252. Suppose 13*q = 16*q - d. Is q a composite number?
True
Let p = -105564 - -246619. Is p a composite number?
True
Suppose -3*q + 6149 = -4*z, 7*q - 4*q - 6137 = -2*z. Is q prime?
False
Let w = 18 + -14. Suppose -o + 6 = w. Suppose 0 = -5*a - o*i + 1253, -a - i = 2*a - 752. Is a prime?
True
Suppose 16 + 2 = 3*l. Let z be l/(2 - 157/80). Suppose -2*n = m - 258 - z, 5*n = m + 1059. Is n a composite number?
False
Let a = -2088 + 3685. Is a prime?
True
Suppose 809*m - 811*m = -29418. Is m a composite number?
True
Let z = -3912 - -7761. Is z composite?
True
Let n = 5606 - 283. Is n a prime number?
True
Let i(f) = 104*f**2 + 15*f + 15. Is i(-7) a prime number?
False
Let p be (-6 + 1)*3/(-3). Let t(q) be the third derivative of q**5/60 + q**4/12 + 51*q**2. Is t(p) prime?
False
Suppose x + 56 - 58 = 0. Let j = 4 - 1. Suppose x*z + j = 31. Is z a prime number?
False
Let g(x) = -2*x**2 + 6*x - 1. Let h be g(8). Let q = 136 + h. Is q composite?
True
Suppose 4*i = 5*i + 7. Let p(c) be the third derivative of -c**6/120 - 5*c**4/12 - c**3 - 160*c**2. Is p(i) composite?
True
Is ((-220583)/(-22))/(((-3)/2)/(-3)) a prime number?
False
Is (-224385)/(-24) + 76/(-32) + 2 prime?
True
Let k(h) = -h**3 + 4*h**2 - 3. Let o be k(3). Suppose t + 205 = o*t. Suppose t = j - 44. Is j composite?
True
Let q(v) = -34*v**3 - 6*v**2 + 3*v + 3. Let c be q(-3). Suppose 2718 = 6*t - c. Let w = -289 + t. Is w composite?
False
Suppose 5*x - 1525 = 585. Suppose 0 = -9*l + 19 - 1. Suppose 0 = -4*c + l*c + x. Is c composite?
False
Suppose 153 + 231 = p. Let t = p + -173. Is t composite?
False
Is 7*(-6)/(-84)*662 prime?
True
Suppose 4351 = 3*o - 30296. Is o a prime number?
True
Is (1/(-6))/((-119)/5598474) a prime number?
True
Suppose 0*o + 4*o - 24 = u, 3*u = 0. Is o/8 + 32552/32 a composite number?
True
Suppose 4 = -4*w - 0*w, 2*c + 6 = -4*w. Let r be (354/(-4))/(c/(-2)). Let m = 362 + r. Is m a prime number?
False
Let n(j) = j - 1. Let r(i) = -44*i + 1. Let g(u) = -89*u + 1. Let b(y) = -6*g(y) + 11*r(y). Let s(x) = b(x) + 6*n(x). Is s(4) a composite number?
False
Suppose 7*g = 8*g + 9. Suppose 4*z = -3*m + 1987, 7*m + 2*z = 2*m + 3335. Is m/g*(-6 + 3) a composite number?
False
Let u(t) = 1202*t + 843. Is u(67) prime?
False
Suppose 3*w + 5 = 5*n, 0*n - n + 14 = 2*w. Suppose 0 = -n*h - 5*y + 4627, -2*h + 2165 = -4*y - 181. Is h composite?
False
Suppose 464859 = 98*p - 17*p. Is p prime?
False
Is -2 - (-7041)/3 - -6 prime?
True
Let g(f) = f**3 + f**2 + 4*f + 17. Is g(12) a prime number?
False
Suppose 0*z = -3*z + 18. Suppose -w = -z*w. Suppose j + 4*j - 2065 = w. Is j a composite number?
True
Let m = -5 + 17. Let w(x) = -x**2 - 13 + m*x - 23*x**2 + 8*x**2 - x**3 - x. Is w(-17) prime?
True
Let z(m) = -111*m + 8. Let u be z(-9). Let j = 149 + u. Suppose 5*n - 3*n = -2*o + 1168, 2*n - 2*o = j. Is n composite?
True
Let m be (-11)/(((-3)/318)/1). Suppose 4*b - 1598 = 2*f, 0 = -0*b - 3*b - 5*f + m. Is b a prime number?
True
Let q = 4861 + -2682. Is q composite?
False
Let c be (-4)/(-12) + 48/(-9). Let v = 0 - c. Suppose 3*t = -v*o + 2236, 2226 = 3*t + 2*o + o. Is t prime?
False
Let u = 24 + -37. Let r(t) be the first derivative of t**3/3 + 3*t**2 - 14*t + 3. Is r(u) a prime number?
False
Suppose -5*u - 835