e number?
True
Let x(w) = 9*w**2 + 21*w - 17. Is x(-18) a prime number?
True
Suppose -3*u - 3*o = u + 67, -3*o + 77 = -5*u. Let x be 5 + -6 + u/2. Let b(g) = -7*g + 8. Is b(x) prime?
True
Is (-2*(-2428)/(-24))/(7/(-105)) a composite number?
True
Let n(z) = -z**2 - 12*z - 18. Let w be n(-14). Let j be 27/(-36) - w/8. Suppose -3*a - 110 = -5*m - 5*a, 0 = -j*a. Is m a prime number?
False
Suppose 24 = 5*c - 1. Suppose -4620 = -c*q + 5*w, -3*q - 4*w = 1662 - 4399. Is q a prime number?
True
Suppose 0*b = 4*b. Suppose -7*w + 4022 = -4329. Suppose -2*a + w + 177 = b. Is a composite?
True
Suppose 6*h = 5*h + 2. Let y = 24 + 83. Suppose h*t - 429 = -y. Is t prime?
False
Suppose 5113 + 14623 = 4*h - 4*y, -y = -2*h + 9868. Suppose 2169 = c - h. Is c prime?
True
Let h be (-22)/1*(-9 + -2). Suppose 0 = 4*k + 5*w - h - 2561, 2843 = 4*k - 3*w. Is k a prime number?
False
Suppose 3*n + n - 3276 = 0. Let d = 1192 - n. Is d a composite number?
False
Suppose -5*h + 2954 = -8841. Is h composite?
True
Suppose 2*q + 322 = j + j, 5*j = -3*q + 805. Let f = j - 106. Is f composite?
True
Suppose 5*o - 198 = 3*a + a, 0 = -2*a + 4*o - 102. Suppose 5 - 10 = -5*g. Is (0 + 0)/g - a composite?
False
Let y = -102479 + 162250. Is y composite?
False
Let g be (-1)/((-7)/2 - -4). Is ((-283)/g + 4)*2 prime?
False
Suppose -j - 3*j + 8 = 0. Let b(y) = 8 + 4*y - 11 + 9*y**j + 9. Is b(-5) a composite number?
False
Let o be (12/8)/((-3)/(-4)). Suppose 5*f - o*y + 6 = 23, 2*y - 3 = f. Suppose 18 - 43 = -f*s, -4*q = 4*s - 80. Is q composite?
True
Suppose 3*u - 3 = 0, 1 = 4*t - 3*t - 4*u. Suppose -2*z = t*j - 1465, -3*z - 5*j = -30 - 2180. Is z prime?
False
Let k(w) = -w**3 - 2*w**2 + 3*w + 4. Let r be k(-3). Let y(o) = 16*o**3 + 3*o**2 + 2*o + 2. Let i be y(r). Suppose 4*q + i = 6*q. Is q composite?
False
Suppose -b - 120329 = -c, -2*b + 326896 = 3*c - 34101. Is c composite?
False
Let p(k) = -k**3 - 4*k**2 - 29*k + 13. Let s(v) = v**2 - 6*v - 4. Let o be s(5). Is p(o) composite?
True
Let u(z) = -199*z**2 - 2*z - 1. Let h be u(-3). Let b = h + 3080. Suppose -5*m = -3*m - b. Is m prime?
True
Is (32/(-24) + -3)/((-6)/80334) a composite number?
True
Suppose -n = -6*n + 60. Suppose -n*g - 2937 = -20661. Is g a prime number?
False
Let g(z) = -z**3 + 4*z**2 - 25*z + 43. Is g(-33) composite?
False
Let n(u) be the second derivative of 7*u**4/12 + u**3/6 - 3*u**2/2 - 4*u. Let b be n(-3). Suppose 0 = -4*p - 2*j + 156 + 144, -p = 5*j - b. Is p composite?
True
Let g be -18*1/5*5. Let h(n) = -30*n - 7. Is h(g) prime?
False
Let y be 5/1 - 2 - -5. Let l(o) = o**2 + 42*o - 3. Is l(y) a prime number?
True
Let q(d) = 76*d**2 - 2*d - 1. Let s = -6 + 22. Suppose -2*y + 5*u - s = -5, 3*y = -3*u + 15. Is q(y) a prime number?
False
Let g(c) = -c**3 + 8*c**2 + 2*c - 2. Let m be g(8). Let z(q) = 4*q**2 + 2*q - 10. Is z(m) prime?
False
Let m = 18 - 12. Suppose 0 = 4*i - 5*b - 99, 5*i + 2*b = m*b + 135. Is i prime?
True
Suppose -3*i + 1 = -3*g - 8, i - 2 = 2*g. Is (i - 57*-2)/(2/29) a prime number?
False
Suppose 6*i = 3*i + 1497. Suppose -2*y - 3*m - m + 190 = 0, 4*m - i = -5*y. Is y composite?
False
Let l(i) = -5*i**2 - 1. Let r be l(1). Is (-1)/r - 108153/(-54) prime?
True
Let a(u) = -u**3 + u**2 - u + 3. Let i be a(0). Is (31/(-3))/(i/(-45)) a prime number?
False
Let t = -12 - -14. Suppose -q - 1798 = -t*q. Suppose -q = -f - f. Is f a prime number?
False
Let y(h) = 35*h - 8. Let l(z) = -z + 1. Let s(p) = -3*l(p) - y(p). Is s(-9) composite?
False
Let z(n) = -5*n + 32. Let k(b) = -b**3 - 10*b**2 - 9*b - 13. Let a be k(-9). Is z(a) a composite number?
False
Let p(q) = q + 9. Let t be p(-7). Suppose 438 = -t*s + 2*d + 2642, 3311 = 3*s - 4*d. Is s a composite number?
False
Let z(d) = -438*d - 12. Let p be z(-1). Suppose -4*v = r - 203, -2*r + 2*v + p = -0*v. Is r a prime number?
True
Let j = -2962 + 4340. Suppose -t = 4*q - 765, -5*t + 5222 = q + j. Is t prime?
True
Suppose 0*n + 2*s - 21 = 3*n, -2*n - 9 = -3*s. Is (1 - 12242/n) + (-8)/36 a composite number?
False
Let z = -1192 - -2037. Suppose -3*q = -2*d + 4*d - z, 2*d = -10. Suppose -3*y + q = 2*y. Is y a composite number?
True
Let n be (-41 + -1)*(-4 + (-140)/12). Is ((-60)/(-8) - 7)*(n + 0) composite?
True
Is (10790 + (16 - 7))/1 a composite number?
False
Suppose 3*g - 5*z + 6 + 0 = 0, 2*g - 5*z + 9 = 0. Is g/8 - (-51752)/64 a prime number?
True
Is (8/(-28))/((-14)/1227793) composite?
False
Is (-12)/(-1)*(-9645)/(-5) - -1 composite?
True
Let z = 160107 + -38702. Is z prime?
False
Let r(p) = p + 709. Let q(c) = c**3 + 7*c**2 + 7*c + 6. Let i be q(-6). Suppose -5*o - w - 3 = 0, i*o = 5*o + 4*w + 12. Is r(o) composite?
False
Let d = -3495 + 8642. Is d a composite number?
False
Let p = -14672 - -133333. Is p a composite number?
False
Suppose -9 = -3*y - 0. Suppose -y*o = -0*o - 57. Is o composite?
False
Let g(p) be the third derivative of p**6/60 - 13*p**5/20 - 47*p**4/24 + 5*p**3/2 - 3*p**2 - 6. Is g(22) composite?
True
Let b(x) be the third derivative of x**4/8 - 8*x**2. Let u be ((-21)/12)/(3/(-12)). Is b(u) a prime number?
False
Suppose -269306 = -26*w + 212552. Is w a prime number?
False
Let d(w) = -394*w - 2. Let h be d(1). Let j = -269 - h. Is j composite?
False
Let z = -69 + 79. Let y(l) = -2*l**3 - l**2 - 4*l - 4. Let c be y(-4). Suppose c = -v + 3*v + 5*q, -z = -5*q. Is v a composite number?
True
Let d(z) = -13*z**3 + z**2 + 3*z - 4. Let m be d(-3). Let q be (-723)/(-9)*2/((-4)/6). Let a = q + m. Is a a prime number?
False
Let z(h) = h**2 - h - 6. Let c be (-6)/((-12)/8*1). Let y be z(c). Is y/(-9) - (-383)/3 a prime number?
True
Let y = -10 - -10. Suppose -5*g + y*g = -5. Is 1070/4 - g/2 composite?
True
Let u = -4 + 8. Suppose 3*j = j + u. Suppose -f + 4*g + 79 = j*g, -415 = -5*f + 5*g. Is f a prime number?
False
Suppose -n + 2*b + 1673 + 4100 = 0, -17319 = -3*n - 3*b. Is n prime?
False
Let y(a) be the first derivative of a**4/4 - 13*a**3/3 + 4*a**2 + 19*a + 1. Is y(13) a prime number?
False
Suppose -b + 2*t - 9 = -2*b, -4*b - 2*t + 36 = 0. Suppose -b*k + 95 = -4*k. Is k a prime number?
True
Suppose -v + 3335 = -2852. Let w = -4285 + v. Suppose -5*o + 4*x = -1060 - 849, 3*x = -5*o + w. Is o a composite number?
True
Suppose 20*t = 9*t + 23639. Is t prime?
False
Suppose 0 = -2*y + 4*f + 2422, -4*f = 3*y - 0*f - 3583. Is y composite?
False
Let l(d) = -11*d + 1. Let j be l(-5). Let z be (-3)/7 - (-114320)/j. Suppose 0*i + z = 5*i - 3*a, i + a = 405. Is i prime?
False
Let h = 27870 + -1721. Is h prime?
False
Is 18 - -276 - (-15)/3 composite?
True
Let x = 1 + -15. Is 2667/x*(-4)/6 a prime number?
True
Suppose 2*o - 6 = m, -8*m + 7*m - 2 = 0. Suppose 0 = -t - 3, 8 + 5 = c + o*t. Is c a composite number?
False
Let b be ((-3)/(-2))/(11/4 - 2). Is (6294/(-18))/(b/(-6)) a prime number?
True
Let q(z) = -574*z + 3. Suppose 2*s = -3*x + 11, 3*s + x = -2*x + 9. Is q(s) composite?
False
Suppose -31*a + 30*a + 26929 = 0. Is a a composite number?
True
Suppose 0 = 15*v - 339005 - 629200. Is v a prime number?
False
Let h = 20984 + 7790. Is h composite?
True
Is 215523/154 + (-10)/4 a prime number?
False
Suppose 3*g - 2*b - 96345 = 0, -2*g = b - 20429 - 43808. Is g prime?
True
Suppose 252*v = 240*v + 55884. Is v a prime number?
True
Let i(d) = -5*d - 394. Let w be i(0). Let z = 2897 + w. Is z composite?
False
Suppose -r - 25660 = -4*m, 21916 = 3*m + 2*r + 2671. Is m prime?
False
Is ((-2073)/(-5) + -4)/((-1)/(-5)) a composite number?
False
Let v be 20 + ((-40)/(-2))/(-5). Let w(y) = y**2 + 6*y - 5. Is w(v) a prime number?
True
Let z = -472 + 1971. Is z a prime number?
True
Suppose 0 = -5*r + k + 18, -5*r + k + 26 = 4*k. Let y(l) = l**3 - 4*l**2 + 2. Let u be y(r). Is 1*(2 + 58 + u) composite?
True
Let y(i) = -10*i**2 - 5*i + 24*i**2 - 10*i**2 + 13*i - 9. Suppose -16 = -2*p - 2*p. Is y(p) composite?
True
Let f(j) = 45*j**2 - 10*j + 2. Let n(d) = 23*d**2 - 5*d + 1. Let l(a) = 3*f(a) - 5*n(a). Is l(6) a composite number?
False
Suppose 8*b - 3*b = 2305. Suppose 2*k - 317 = b. Is k composite?
False
Let x = 5 + 2. Suppose -5*l = -4*c - x, 20 = 2*l + 2*l + 4*c. Suppose -l*b = -8*b + 635. Is b prime?
True
Let v be ((-1742)/(-4))/((-1)/(-2)). Let d = v - -1606. Is d a composite number?
False
Suppose 5*m - 21176 = m. Is m a composite number?
True
Let s(v) = 19*v**2 - 4*v - 10. Let o(c