a composite number?
True
Let q(t) = t**3 - 7*t**2 - 6*t + 8. Let u be q(7). Is ((-194)/(-5))/(u/(-85)) prime?
True
Let y = -153 - -347. Is y a composite number?
True
Suppose n + 73 = 2*m, -3*n - 37 = -2*m + 46. Is m prime?
False
Is ((-20)/(-8) - 2)*134 composite?
False
Let m(q) be the third derivative of -q**6/120 - q**5/30 + q**4/12 + q**3/3 + 3*q**2. Let f be m(-2). Is 128/3 + f/(-6) prime?
True
Is (-51)/(-7) - (-14)/(-49) a prime number?
True
Suppose 2*b + 4*d = -b + 601, b + d - 200 = 0. Is b composite?
False
Suppose 5818 - 1944 = 2*j. Is j a prime number?
False
Suppose -4*d = -5*d + 1, -3*i + 505 = 4*d. Is i composite?
False
Let n(v) = -20*v + 1. Let c be n(-3). Let x be -3 + 2 - c/1. Let g = -9 - x. Is g composite?
False
Let b = -784 + 1221. Is b composite?
True
Suppose 136 + 115 = s. Is s a composite number?
False
Suppose -5*j + 4*t = -634, 0*t + 382 = 3*j - 4*t. Let k = j + -35. Is k a composite number?
True
Let d(c) = 4*c**3 + 7*c - 3. Let n(z) be the third derivative of -z**6/120 - z**5/60 + z**3/6 + z**2. Let q(x) = d(x) + 5*n(x). Is q(-7) prime?
False
Suppose -2*j + 3*w = 3*j - 187, 5*j - 167 = -2*w. Is j prime?
False
Suppose -r + 0*d + 14 = -2*d, -3*r = d - 14. Is 1666/6 + 2/r composite?
True
Suppose 2*j + 5*t = 39, -4*j - 4*t + 25 + 23 = 0. Let n = 10 - j. Suppose 639 = 2*s + n*s + 2*v, s - 5*v = 117. Is s prime?
True
Suppose -5*o - 2*w + 101 = 0, -53 = -2*o - w - 4*w. Let h = o + -4. Is h a prime number?
False
Let y(h) = h + 4. Suppose -3*g - 9 = -2*l - 6*g, 5*l + 10 = -g. Let w be y(l). Is (w - (-1)/(-2))*62 prime?
True
Suppose -b - 4 = -2*v - 3*v, 0 = -4*v - 8. Let a = 20 + b. Is a/21 - 52/(-14) prime?
False
Let k = -5 + 5. Suppose -2*o + 4*n + 8 = k, 4*o - n - 27 = o. Is o composite?
True
Let w be 3/15 + 24/5. Suppose 0 = m - w*i - 102 - 141, 0 = -4*i + 16. Is m a composite number?
False
Suppose -l + 8 = -2*m, -2*m = -5*l - 0*l. Is (0 + -31)*2/l prime?
True
Suppose -3*b = i + i - 23, 0 = 2*i - 5*b + 17. Suppose -y - 1048 = -5*p, -i*p = 5*y - y - 848. Suppose 0*l = 3*c - l - p, 2*c + 2*l = 148. Is c prime?
True
Let t(h) = h**2 + 3*h - 3. Is t(10) composite?
False
Suppose 0*z = -2*z + 1346. Is z a prime number?
True
Suppose -588 = -3*j - 3*y, -4*j - 2*y = j - 974. Is j a prime number?
False
Let d = 1459 + -970. Suppose -3*u + d = -0*u. Is u a composite number?
False
Suppose -2*o + 3*y = -122, -5*o + 0*y + y + 331 = 0. Is o composite?
False
Suppose 2 = 2*b - 2. Let k be (3 - -2)*(-6)/(-2). Suppose b*w = 3*w - k. Is w composite?
True
Suppose z = -h + 60, 0*z + 2*h + 272 = 5*z. Suppose -z = -i - 17. Is i prime?
False
Is -1 - ((-395)/(-15))/((-3)/234) composite?
False
Suppose -2*r + 178 = -856. Is r composite?
True
Let j = -6 - -11. Let a(f) = -f**3 + 5*f**2 + 8*f - 3. Is a(j) prime?
True
Let o = -16 + 69. Suppose 4*a + o = 5*a. Is a composite?
False
Let x(h) = 2*h**2 - 13*h - 7. Let p be x(12). Let n = p - -2. Is n composite?
False
Let o = 8 - 11. Let t(f) = 10*f**2 + 2*f - 1. Is t(o) a prime number?
True
Suppose 4*m + 15 = 3*i, -m - 13 = 4*i + 5. Let n = m + 6. Suppose -5*l = 2*r - 29 - 61, n = -3*r + 2*l + 97. Is r prime?
False
Let w be (-36)/(-3)*261/4. Suppose 3*u - w = 774. Is u a composite number?
True
Let p(b) = 14*b**2 + 46*b**2 - 4*b**2 - b. Is p(1) composite?
True
Let g = -18 + 24. Suppose v + 155 = g*v. Is v composite?
False
Suppose u = 4*u + 54. Let w be (-2)/9 - 76/u. Let j = w + -1. Is j composite?
False
Suppose -c = -6*c + 1495. Is c composite?
True
Suppose 4*q - 85 = 1919. Suppose 3*i + 3*f - f = 300, -5*i - 3*f + q = 0. Suppose -3*z = 4*b - 387, -i - 16 = -b - 5*z. Is b a composite number?
True
Let y be (-16)/(-7) + 4/(-14). Suppose -y*n = 2*n. Suppose 4*l + 0*l - 196 = n. Is l a composite number?
True
Let c(u) = -u**3 + 4*u**2 - 1. Suppose -21 = 5*d - 3*z, 0 = -2*d - z + 5*z. Let y(b) = b + 8. Let n be y(d). Is c(n) a composite number?
False
Let s(m) = -m**3 - m + 1. Is s(-4) a prime number?
False
Let j(i) = 7*i**2 - 6*i - 2. Is j(5) composite?
True
Let y(t) be the first derivative of -t**2/2 + 2. Let i be y(-6). Suppose -4*s + 115 = -3*b, -5*s + 5*b + 120 = i*b. Is s prime?
False
Let c be 3/15 + (-98)/(-10). Suppose -2*l - 2 = 2*v, -l = -2*l + 5*v - 31. Let n = c + l. Is n a composite number?
True
Suppose 2*o - 1519 = -3*c, -3*c - o = -8*c + 2523. Is c a prime number?
False
Let f be ((-1)/1)/((-2)/10). Suppose f*w - 50 = 80. Suppose 3*r - 4*r = -w. Is r a prime number?
False
Let u(m) = -226*m - 69. Is u(-23) composite?
True
Let a be (-1)/(-3) + 3/(-9). Let h be -1 - (a + -2) - -2. Suppose -p - 38 = -h*p. Is p a prime number?
True
Suppose 5*t + 256 = -3*j - 69, -2*j = t + 65. Let d = t - -118. Is d a composite number?
False
Suppose 35 + 31 = -q. Is (-1 + q)*-1*1 a composite number?
False
Let k = 1367 - 364. Is k a prime number?
False
Suppose 0 = -3*k + 2*z - 0*z + 4, 4*k + z + 2 = 0. Let i = 4 + k. Suppose -4*s + h + 248 = 51, -i*h = 4*s - 192. Is s a prime number?
False
Let b be 10*(2/(-4))/(-1). Suppose 3*h - b*j = -53, 3*j = 3*h - 0*j + 57. Is h/6*(-24)/14 composite?
True
Let t(b) = 18*b**2 + b - 8. Let m(x) = -36*x**2 - 2*x + 17. Let r(y) = 6*m(y) + 13*t(y). Let f be r(6). Is (-2)/7 + f/28 composite?
False
Let t(x) be the first derivative of 10*x**3/3 - 5*x**2/2 - 2*x + 1. Suppose -15 = -3*y - 0. Is t(y) a prime number?
True
Let g(x) = x - 6. Let u be g(10). Suppose u*w + 15 = -1. Let n(a) = -8*a + 1. Is n(w) a prime number?
False
Suppose 4*s = -2467 + 923. Let v = -51 - s. Is v a composite number?
True
Suppose 3*p = -h - p + 13, -4*h - 4*p + 28 = 0. Suppose 0 = h*a + 20, 0 = 3*k - 2*k + 4*a - 355. Is k a composite number?
True
Let j = 4 + -23. Is 4/(1*-4)*j a prime number?
True
Let g = -18 + 32. Let l = g + 29. Is l composite?
False
Let b(t) = -t**3 + 8*t**2 - 9*t + 9. Let y be b(7). Let u = y - -3. Let k = u - -13. Is k a prime number?
True
Let j = -4 + 12. Let f(y) = -9*y - 4 - 2*y + 2*y**2 - 1. Is f(j) composite?
True
Let i(q) = q**3 - 13*q**2 - 17*q - 10. Suppose -4*z - 2*x = 3*x - 35, -4*x - 20 = 0. Is i(z) prime?
False
Let l(j) = -5*j + 8 - 14*j + 9 - j. Is l(-7) prime?
True
Suppose -4*i - 4*o + 32 = -0*o, -2*o = -10. Suppose 4*f + 16 = 4*r, 4*f = -6*r + r + 20. Suppose -i*y + 275 - 74 = f. Is y a composite number?
False
Let r(o) = -2*o**3 + o**2 + o + 2. Let a(v) = v + 4. Let n be a(-7). Let x be r(n). Is (-1)/(-1 - (-60)/x) composite?
False
Let z = 2 + 13. Let s = 7 + -16. Let c = s + z. Is c composite?
True
Suppose i = -5*o - 8 + 1, -3*i - o = -21. Suppose -10 = i*g - 3*g, 0 = -l + 5*g + 169. Is l composite?
True
Suppose -2*y + 0*s + 5 = 3*s, 0 = 2*y + 4*s - 4. Let k = 5 + -3. Suppose 3*m = -15, y*h - 6 + 0 = -k*m. Is h a composite number?
True
Let d(n) = -84*n + 1. Suppose 3*b - 3 + 6 = 0. Is d(b) a prime number?
False
Let j = -765 - -425. Let l = j - -647. Is l prime?
True
Let p = 4 - 0. Suppose p*b + 12 = b. Let g(a) = -19*a - 5. Is g(b) a prime number?
True
Is 6 + 2/(12/52638) a prime number?
True
Let i(d) = 4*d**3 - d**2 - 6*d + 7. Is i(6) a composite number?
True
Let f(r) = r**3 + 5*r**2 + 3*r - 4. Let x be f(-4). Suppose -4*s + 4*p + 40 = x, -5*p + 2 + 3 = 0. Let n = s + -4. Is n composite?
False
Let w be (72/(-10))/((-14)/35). Let v be 1/(-2) + (-345)/(-2). Suppose -w + v = 2*n. Is n a prime number?
False
Let j(t) = 199*t**2 - 2*t - 1. Is j(2) a composite number?
True
Let n = 13 - 8. Suppose 2*u + 0 = 4, -4*u - 2 = -n*r. Is ((-6)/4)/(r/(-4)) a composite number?
False
Let s = -106 - -993. Is s prime?
True
Let z be 2/(1*3/6). Suppose 2*p + z = -a + p, -5*p - 15 = 0. Is a - (2 - (20 - 2)) prime?
False
Suppose 13230 + 9626 = 8*a. Is a a composite number?
False
Suppose 1437 = -8*u + 11*u. Is u prime?
True
Suppose 4*y = b + 28, -37 = -5*y + 2*b + 1. Let z = 9 - y. Suppose -z*f + 15 + 15 = 0. Is f prime?
False
Suppose 3*f - 8*f + 955 = 0. Is f a composite number?
False
Let k(m) = -3*m - m**2 - 1 - m + m. Let x be k(-10). Let l = 162 + x. Is l prime?
False
Suppose -k - 3028 = -2*x, 3*x = -k + 4*k + 4545. Is x a composite number?
True
Let s(r) = -r**3 + 18*r**2 + 23*r + 13. Is s(19) a composite number?
False
Let n(l) = 1. Let k(d) = -d**2 - 10*d + 12. Let c(s) = -k(s) + 5*n(s). Is c(-11) a composite number?
True
Let v(h) = -h**3 - 6*h**2 - 6*h - 3. Let m be v(-5). Is (-423)/(-33) + m/11 a prime 