ite?
True
Suppose -2*x + 6*x + 2664 = 0. Let j = 815 - x. Is j prime?
True
Let f = 773 + -516. Is f prime?
True
Let a(l) = -38*l + 52. Let h be a(-22). Let k = 5987 - h. Is k a prime number?
True
Suppose 30*n - 44551 = 17*n. Is n a prime number?
False
Suppose 7*x - 6*x = 4. Suppose 3*g - 3148 = -x*r, -g - g = -r + 787. Is r a prime number?
True
Let k = 68715 + -18266. Is k a prime number?
False
Let w(d) = 6*d**2 + d + 4. Let i be w(3). Suppose 5*l = m + 145, -3*l + 48 + 46 = -2*m. Suppose l = o - i. Is o prime?
True
Suppose 15 = -4*g + b, 40 = -2*g - 3*g - 3*b. Let v(x) = -x**2 - x + 8. Let i be v(g). Let m = i - -393. Is m prime?
False
Suppose -6*k = -p - 11*k - 8, 0 = -2*p - 4*k + 2. Suppose -b = p - 10. Suppose b*c + 200 - 1085 = 0. Is c prime?
False
Suppose 1282 = 2*a - 2*g, a - 319 - 292 = -5*g. Suppose -7*k = -k - a. Suppose -5*l - 4*q + 265 = 0, 0*q - 5*q = -2*l + k. Is l composite?
False
Is (-8)/1 - (-22 + -11737) a prime number?
False
Suppose 3*l - 2*l - 2*c = 1543, -3*c - 3083 = -2*l. Is l composite?
True
Is -2 + 1*(-2 - (-2079)/7) a prime number?
True
Suppose 3*y = -2 - 1. Let q(c) = c - 1. Let p be q(y). Is (-2)/(-4)*(292 + p) a prime number?
False
Let s(u) = -14042*u - 33. Is s(-5) a prime number?
True
Suppose 5*v = 9057 + 3123. Suppose 0 = 4*d + 4*f - v, -3*d + 4*f - f + 1857 = 0. Is d composite?
True
Let x(z) = z - 2. Let m be x(1). Let y(u) = 98*u**2 - u. Let f be y(m). Let v = -10 + f. Is v a composite number?
False
Let m(h) = -13*h - 3. Let p be m(-3). Let g(j) = -10*j - 4 - p*j - 6 + 3*j. Is g(-5) a composite number?
True
Is (25/10*(-44636)/(-5))/2 prime?
True
Let f = 6410 + -2087. Suppose 1287 = 2*q - f. Suppose -q = -5*k - 2*h, 4*k - h - 2257 = -0*h. Is k a composite number?
False
Let r = -83 + 89. Suppose r*n - 1194 = -0*n. Is n composite?
False
Let m be 0/(5 - 2)*(-2)/4. Is 1/(-1) - (m + -116) a composite number?
True
Let x be 15 - -1*(4 + 0). Let y = x - 14. Suppose -3*z = y*g + 2*z - 655, 0 = 4*z. Is g a prime number?
True
Let p(c) = c - 6. Let i be p(-9). Is 5606/8 + i/(-60) composite?
False
Is (4 + (6157 - -2))/(2 + -1) a composite number?
False
Let j(y) = 5*y**2 + 50*y**3 - 2 + 2*y**2 - 2*y - 10*y**2. Is j(3) composite?
True
Suppose 4*f - 30 = -f. Suppose l = -f*l + 5173. Is l a prime number?
True
Let d = 2055 - 3597. Let c be (30/(-20))/(6/8). Is (4/12)/(c/d) prime?
True
Let a(h) = -h**2 - 3*h + 12. Let x be a(-5). Suppose -6 = q - x*q - 5*v, 3*q = 4*v + 113. Is q prime?
True
Suppose 0*p + x = -p + 1390, -4*x - 6959 = -5*p. Is p a composite number?
True
Let g(c) = -75*c + 7. Let q(r) = 1. Let b(l) = -2*g(l) - 2*q(l). Let w be b(5). Is (w*(2 + -3))/(-2) prime?
True
Suppose 5*o - 15 = 0, 34466 = -23*u + 25*u - 4*o. Is u a composite number?
False
Let p = -7 - -12. Suppose 0*k - k + 1238 = 3*x, 0 = -x - p*k + 436. Is x a prime number?
False
Let k = -4504 - -10973. Is k a prime number?
True
Let w = -17 - -31. Suppose -51 + w = -j + o, 0 = 3*o. Is j a composite number?
False
Let v = 10 + -5. Suppose -v*f + 35 = h + h, 4*h = 4*f. Suppose -166 = -2*m + f*a, -5*m + 521 - 106 = -a. Is m prime?
True
Suppose 4167 - 59598 = -9*q. Is q a prime number?
False
Let a = 18 - 37. Let l = 15 + a. Is (0 + l/(-8))*818 composite?
False
Let v(u) be the first derivative of 56/3*u**3 - 5*u + u**2 + 5. Is v(3) a prime number?
False
Suppose -4*c = -6*c - 0*c. Suppose 0 = -c*h + 3*h - 447. Is h a prime number?
True
Is 43748/16 - 30/(-40) composite?
True
Suppose -2*c + 7 = -1. Suppose -2*j + c*m = -m - 66, j + m - 47 = 0. Is j composite?
False
Let p = 2677 + -1902. Suppose 3*m - 104 = p. Is m a composite number?
False
Suppose 9 = 3*o + 3. Suppose o*y + 1512 = 6*y. Let x = y + -215. Is x a prime number?
True
Suppose -2*b + 17 = -b + 4*u, 4*b = u + 34. Suppose -2*c - 62 = -20. Is b/c + 282/21 prime?
True
Let k(a) be the first derivative of -10/3*a**3 + 1 - 3*a + 13/2*a**2 + 1/4*a**4. Is k(9) a prime number?
False
Let u(d) be the third derivative of d**8/5040 - d**7/504 + d**6/144 + d**5/15 + 3*d**2. Let z(y) be the third derivative of u(y). Is z(5) prime?
False
Let l = -23 - -25. Suppose 0 = 2*w + l*w - 348. Is w a composite number?
True
Suppose 22 - 7 = 5*o + 3*j, -2*j = 3*o - 9. Suppose 0*k + 4*x + 4 = k, -2*k - 2 = -o*x. Let b(m) = -29*m - 3. Is b(k) composite?
False
Is 3/4 + 10/(600/209295) a prime number?
False
Let v(h) = -1676*h**3 - 4*h**2 + 5*h + 2. Is v(-4) composite?
True
Let z = 67 - -65. Let r be 2/2 - (-4)/4. Is 0 + (z - r - 3) a composite number?
False
Suppose 2*f - 11 = f + 3*a, -4 = 4*f + 4*a. Let r(v) = -v + 12. Let x(k) = -3. Let i(u) = -2*r(u) - 9*x(u). Is i(f) a prime number?
True
Let a be (-10)/15*(-3)/(-2). Let c(k) = 77*k + 2. Let w(l) = -77*l - 1. Let r(i) = 3*c(i) + 4*w(i). Is r(a) a prime number?
True
Let v = 926 - 529. Is v a prime number?
True
Let n(w) = 1295*w**2 - 47*w + 31. Is n(6) composite?
True
Suppose -10158 = -6*x + 10284. Is x a prime number?
True
Suppose -7 = 2*w - 17, 4*c = -2*w + 78654. Is c a composite number?
False
Suppose -4*b - 5*w = -2*b - 16, -1 = b - 2*w. Suppose -t + 12 = -b*t. Is 30308/52 + t/(-39) a prime number?
False
Let c(z) = z**3 + 9*z**2 - 1. Let h be c(-9). Let f(b) = -327*b**3 + b**2 - 2*b - 3. Is f(h) a composite number?
True
Is (2 + 5)/14 - (-34986)/4 prime?
True
Suppose j + 903 = 3*r, j + 2*r - 27 + 935 = 0. Let x = j + 1943. Is x composite?
True
Is -7 - -1660*(-18)/(-12) composite?
True
Suppose -2*b + 0 + 8 = 0. Let c(i) = 7*i**2 + 7*i + 3. Let y(s) = s**2 - s. Let h(j) = c(j) + 4*y(j). Is h(b) a composite number?
False
Let j(v) = 50*v**2 + 10*v - 9. Let s = -75 - -83. Is j(s) prime?
True
Let m(a) = 144*a + 13. Let n be (0 + (-1)/2)*-3*2. Is m(n) prime?
False
Let s(z) = -519*z + 2. Suppose 3*i - 4*x + 1 = 0, -3*i + x - 17 = 5*x. Is s(i) a prime number?
True
Is ((-1882)/7)/(96/(-336)) a composite number?
False
Let g(o) = -o**3 + o + 524. Let c be g(0). Let u = c - 1131. Is u/(-5) - (-15)/25 prime?
False
Suppose 347*z = 319*z + 706132. Is z a composite number?
False
Let v = 483 - -599. Is v a composite number?
True
Suppose 0 = v - 3, 2*r - 10019 = -2*r + 3*v. Is r a prime number?
False
Is 7 + 30/(-10) - -8693*3 prime?
True
Suppose -2*i + 18*a - 14*a + 37890 = 0, 3*i - 56841 = 3*a. Is i a composite number?
True
Let l(b) = b**3 - 5*b**2 - 2*b + 4. Let f be l(5). Let k(a) = -21*a - 16. Let z be k(f). Suppose -2 = -2*q, -50 = -p - 2*q + z. Is p a prime number?
False
Suppose 0 = 3*j + 11*j - 2478. Is j a prime number?
False
Is (-31555)/(-6) - (-4)/(-24) - 2 composite?
True
Is ((-7)/21)/((-5)/(-3682740)*-4) prime?
True
Suppose 0*m - 428 = -d - 2*m, 0 = -m + 3. Suppose c - d = -c. Is c a prime number?
True
Let r be 2555 + (7 + -3)*1 + -4. Suppose 0 = -3*h + m + r + 589, 3*h - 2*m = 3141. Is h a prime number?
True
Let a(c) = 7*c + 5. Let f(l) = -4*l - 2. Let t(s) = 3*a(s) + 5*f(s). Let p be t(0). Suppose 2*w = 4*u + 334, p*u = 3*w + 2*u - 504. Is w prime?
False
Suppose -5*o + 49 = -56. Suppose d - 17 = 3*l - 0, 3*l = 3*d - o. Is 1468*(d - (-14)/(-8)) a prime number?
True
Let b(d) = 49*d - 13. Let i(t) = 2*t**2 + t - 1. Let g be i(-3). Is b(g) composite?
False
Let i be (20/6)/(2/252). Let d(c) = -2*c**2 - c + 7. Let v be d(-10). Let j = i + v. Is j prime?
False
Let m be -6*(-53 - (4 - 3)). Suppose i - 4*g - m = 0, 1801 - 547 = 4*i - 2*g. Let b = i - 153. Is b composite?
True
Let v = -24 - -24. Suppose 18*p - 16*p - 8834 = v. Is p composite?
True
Let f = -9 + 6. Let n = f + 6. Suppose n*w = 2*i - 844, 5*w - 1666 = -4*i - 0*w. Is i a prime number?
True
Let i = 0 - -12. Let m be 46/6 + i/(-18). Suppose 3*z = 2*z + m. Is z composite?
False
Let x = 23 + -35. Let o be x/(-1) - (-7 + 9). Is 37 + -1 + (-10)/o prime?
False
Let r be (-4)/14 + (-6)/(-21). Suppose -9 = -3*h + f, -4 = -r*h + h + 2*f. Suppose -2*z = h*z - 28. Is z a prime number?
True
Suppose -3*o = -3*p - 9, 4*p = -2*o + 5*o - 9. Suppose t + o*t = 3*x + 7384, 4*x - 7356 = -4*t. Is t a composite number?
True
Let y = -37414 + 68795. Is y a prime number?
False
Let q = -9 - -4. Let w be (6 - 2) + (q - -4). Suppose w*i + 171 = 816. Is i a composite number?
True
Let y = 16 + -20. Is (y + (-1084 - -1))/(-1) prime?
True
Let v(o) be the third derivative of o**5/30 - o**4/8 + 5*o**3/3 + o**2. Let x(l) = l**3 + 4*l**2 - 11*l + 13. Let i be x(-6). Is