?
True
Is (-4)/(-8)*6 - -50 a composite number?
False
Let c = 188 - 109. Is c prime?
True
Suppose -2*f = -6*f. Suppose f = -z - 0*m - 5*m + 72, -4*z = 3*m - 271. Is z composite?
False
Let j(z) = 11*z - 2. Let p = -7 + 9. Let m be j(p). Is -3 + 2 - m*-1 prime?
True
Let t be 235 - ((2 - 2) + -3). Suppose -t = -4*o + 830. Is o a composite number?
True
Suppose -76 = -3*g + 671. Is g a prime number?
False
Suppose 968 = 4*m - 5*x, -2*x + 0*x = -m + 245. Is m composite?
True
Let p = -15 + 9. Let f = p + 29. Is f prime?
True
Let a be (-4)/14 - 654/14. Let p be a/((-2)/12*2). Let s = 304 - p. Is s a prime number?
True
Let s = 8 + 11. Suppose -s = 2*n + 21. Let a = 89 + n. Is a a composite number?
True
Let q(b) = 4*b**2 - 3. Let a be q(6). Let f = -99 + a. Is (f/(-2))/(-5 - -4) composite?
True
Suppose 59 = t + 3*m, 3*m - 215 = -4*t - 2*m. Suppose 5*w = -0*w + t. Is w composite?
True
Let q be 4/18 + (-119)/9. Suppose -2*c - 28 = -3*c. Let v = q + c. Is v composite?
True
Is (238/21)/((-2)/(-21)) a prime number?
False
Let j = -13 - -51. Let b = 23 - j. Let l = 24 - b. Is l a prime number?
False
Let c = 1 + -7. Let d be 4 + c + 4 + 2. Suppose -d*z = 3*w - 376, -342 = -4*z + 5*w + 66. Is z a composite number?
False
Let p(z) = 305*z + 2. Is p(1) a composite number?
False
Let p(i) be the first derivative of 12*i**3 + i**2 - i - 1. Is p(1) prime?
True
Let f(g) be the first derivative of 41*g**3/3 + g**2 + g + 4. Is f(-2) prime?
False
Let v = -184 - -310. Let k = v - 7. Is k prime?
False
Suppose -7*b + 79 = -6*b. Is b prime?
True
Let y(d) = 5*d**3 - d**2 + 1. Let l be y(1). Suppose -l = 5*a - 35. Suppose 0*x - a = -x. Is x a composite number?
True
Suppose h - 1 - 2 = 4*g, 12 = g + 4*h. Is 329 + -2*(g + -1) a prime number?
True
Suppose 3 + 65 = -2*f. Let d be (-8)/20 + f/(-10). Suppose -d*c - 110 = -5*c. Is c a composite number?
True
Let t = 0 + 3. Suppose 3 - 9 = -t*b. Suppose -s = l - 115, 4*s + 230 = b*l - 0*s. Is l prime?
False
Let h(x) = 13*x - 3. Let m(i) = -25*i + 5. Suppose -4*t - 1 = 27. Let c(j) = t*h(j) - 4*m(j). Is c(4) composite?
False
Let h(z) = -4*z**3 + 2*z**2 + 9*z + 3. Let f(c) = 7*c**3 - 5*c**2 - 18*c - 5. Let g(n) = 3*f(n) + 5*h(n). Is g(7) a prime number?
False
Let n be 2/(-3) + (-64)/12. Let h = n - -12. Is h a prime number?
False
Let d be (-32)/(-12) + 1/3. Let j(b) = -b**2 - b. Let q be j(-1). Suppose -t + 9 = 4*s - q*t, -4*s - d*t = -3. Is s composite?
False
Let k be (-8)/56 + (-281)/(-7). Is (-6)/10 - (-1384)/k a composite number?
True
Suppose 0 = -6*q + 4*q - 2886. Let z be 10/45 + (-17968)/18. Let i = z - q. Is i a composite number?
True
Let o = -13 - -5. Let z(m) = -m**3 - 8*m**2 + m + 8. Let i be z(o). Suppose 5*f - 7*u + 2*u = 385, 2*u = i. Is f a composite number?
True
Is (5/3 - 1)*282/4 prime?
True
Is 7/((-21)/9) - -540 a composite number?
True
Let m = -7 + 40. Let i = -44 - -50. Is m/i*7*2 a prime number?
False
Suppose 4 = -3*s + 4*n - 3, -8 = -2*n. Is 70 - ((s - 3) + 3) a composite number?
False
Is (-1*3)/(3*1/(-359)) composite?
False
Is 1*(-3 - -4 - 2)*-517 a composite number?
True
Suppose 5*i + 3*k = 2*k + 25, 3*i = -3*k + 27. Suppose -340 + 36 = -i*j. Let u = j + -54. Is u composite?
True
Let b(t) = 6*t**2 + 2*t - 21. Is b(8) a composite number?
False
Suppose -4*a = -2 - 18. Suppose 0 = -4*s + a*s - 4*m - 135, 0 = 3*s + m - 379. Is s a prime number?
True
Let m = 1 + -3. Let b be m + 0 - (-31 + 1). Suppose -120 + b = -2*c. Is c a composite number?
True
Let i be 0 - (-10)/(-1 + 0). Let z be ((-25)/i)/(2/4). Suppose -8 + 77 = k + 2*a, -z*a - 25 = 0. Is k a composite number?
False
Suppose 0 = -w + 5*w - 16. Is 150/w + 2/(-4) composite?
False
Let f(k) = -10*k - 3. Let w(q) = -q - 1. Let b(j) = -f(j) - 2*w(j). Is b(5) a prime number?
False
Let o(x) = -x**3 - 7*x**2 + 8*x - 2. Let l be o(-7). Let z = l + 104. Is z prime?
False
Suppose 4*c + 2*b - 1618 = 0, -b - 1638 = -4*c + b. Is c a prime number?
False
Suppose 430 = 2*i + 4*x, 7*i - 2*x - 677 = 4*i. Is i prime?
True
Let x(b) = -4*b**3 - 4*b**2 + 2*b + 1. Let p be ((-3)/2)/(6/16). Let j be x(p). Suppose -j = -3*o - 2*o. Is o prime?
True
Let b be 1 + (3 - 2)*1. Is 101 + -4 - (b + 1) a composite number?
True
Let o(p) = 5*p**2 + 15*p - 1. Is o(10) composite?
True
Let d = -79 + -33. Suppose -3 = 2*u + 51. Let w = u - d. Is w a composite number?
True
Let u = -6 - -6. Suppose u = -2*q - 3*q. Suppose 0 = -4*y - 4*t + 60, -2*y = -q*y + 3*t - 26. Is y prime?
True
Let i = -35 - -16. Let k = i + 27. Let p = 13 + k. Is p a prime number?
False
Suppose b - 444 = -2*b. Let r = b - -59. Suppose -3*i = -0*i - r. Is i composite?
True
Suppose -17 = -4*i + 5*j, -4 = -0*j + 4*j. Suppose 3*a = -i, 0*c - 2*c + 47 = -a. Suppose -150 = -h - c. Is h a composite number?
False
Let v(k) = -k + 5. Let t be v(3). Let m = t - 17. Is (-1)/5 - 738/m composite?
True
Let k = -127 - -308. Is k composite?
False
Let u(w) = -311*w + 5. Is u(-4) prime?
True
Suppose -10 = 2*f + 4*c, 0*c + 3*c + 40 = 5*f. Let g(p) = 22*p**3 + p**2 - 2*p + 4. Let u be g(2). Suppose 0 = f*v - u - 85. Is v composite?
False
Let b(o) = o**3 + 2. Let q be b(4). Let c(u) = -u**2 - 3*u. Let w be c(-2). Suppose -q = -5*r + w*r. Is r prime?
False
Suppose 0*x = -3*x + 18. Suppose -575 = q - x*q. Is q a prime number?
False
Let w(i) = 5*i - 1. Let b be w(2). Let l = -15 + b. Is (-281)/l - (-2)/12 composite?
False
Is (-34)/(0 - 2/29) prime?
False
Let z = 10 - 5. Let q be z/2*(-6)/(-3). Suppose 3*w - 12 - 22 = -n, 0 = w - q. Is n prime?
True
Let f(p) = 3*p**3 + 3*p**2 + 2*p - 1. Let g be f(3). Suppose g = 4*a + 5*j - 170, 0 = 3*a + 4*j - 211. Is a a prime number?
False
Let t(o) = -o + 2. Let b be t(-2). Suppose 0*p + b*p = -32. Is (148/p)/((-2)/4) composite?
False
Let a be 4/10 - (-1828)/5. Let g = a + -157. Suppose 4*n = 3*n + g. Is n a composite number?
True
Suppose v - n = 70, -v - v + 134 = 4*n. Let r = -2 + 5. Suppose 5*z - v = -5*f + 2*z, 2*z + 49 = r*f. Is f composite?
True
Let q(o) = 968*o**2 + 3*o + 2. Is q(-1) prime?
True
Let g(f) = 77*f**2 + 2*f + 1. Let j be g(-1). Let r = j - 42. Is r prime?
False
Let s(c) = 409*c**2 - c - 1. Is s(-1) composite?
False
Let o be 12 - (-3)/((-9)/6). Let z = o - -43. Is z a composite number?
False
Let u(m) = m**3 + m. Let x(w) = -20*w**3 - w**2 - 2*w + 1. Let o(l) = -4*u(l) - x(l). Is o(2) prime?
True
Suppose 3*x - 1142 = x. Is x a prime number?
True
Is ((-2)/(-5)*83)/((-2)/(-10)) prime?
False
Let d(r) = -318*r**3 + r**2 + r - 3. Is d(-2) prime?
True
Let l = 35 + -25. Let u be 2*(-1)/(-4)*l. Let d(i) = -i**3 + 7*i**2 - 5*i - 6. Is d(u) composite?
False
Suppose 6 = -2*r, 4*d - r + 218 = r. Let j = 91 + d. Is j prime?
False
Let f(d) = 7*d**3 + d**2 - d - 1. Let c(n) = -15*n**3 - n**2 + 2*n + 3. Let p(t) = -6*c(t) - 13*f(t). Let q be p(-7). Is q/(-3)*43/4 prime?
True
Let a = 12 - 7. Suppose -395 = -a*s + 50. Is s composite?
False
Suppose -4845 = -2*k - 13257. Is k/(-9) + (-2)/6 a prime number?
True
Suppose a - 49 = -2*m + 2, 3*m = 12. Suppose -2*g + g = -a. Is g composite?
False
Let f = 2 - 7. Let a(z) = -8*z + 7. Is a(f) a prime number?
True
Suppose 2*q + 4*a = 76, 4*q - 6*q + 76 = a. Suppose 5*c + 57 = 3*x, -q = -x - x - 3*c. Is x composite?
False
Is ((-131)/2)/((-7)/14) a prime number?
True
Suppose 0 = 3*o + 4 + 50. Is -4*(2 - o/(-4)) a composite number?
True
Suppose 13*v = 6*v + 8057. Is v a composite number?
False
Suppose -241 = -3*v + 5*k - 0, -3*k + 99 = v. Is v prime?
False
Suppose 5*i - 376 = 7879. Is i prime?
False
Let n = -1 + 2. Let v be 1/((n/(-30))/(-1)). Suppose -4*f + 150 = 4*m - v, 2*f - 84 = m. Is f a prime number?
True
Let i = 15 - -156. Let z = i - 121. Suppose -w + z = w. Is w composite?
True
Let s be 6*((-3)/(-6) - 0). Suppose s*v + 5 = -55. Let z = v - -33. Is z a prime number?
True
Let t(m) = -60*m - 2. Let n be t(-3). Suppose 3*h - n = -5*y + 130, 0 = -3*y - 2*h + 185. Let l = 98 - y. Is l a prime number?
True
Is -1*(2 - 5 - 1006) a prime number?
True
Suppose -b = -2*j + 44, -4*j - 47 + 131 = -b. Suppose s = 4*l + 40, 2*l - 4*s = -0*s - j. Is 6/l + (-648)/(-30) a prime number?
False
Let q(a) = -194*a - 7. Is q(-6) a composite number?
True
Suppose 0 = v - 1 - 2. Let k(b) = 0*b - b**2 + v - 5*b + 4. Is k(-5) a composite number?
False
Suppose 0 = 2*n - 3*n - 3*p - 10, -p - 12 = -4*n. Suppo