) a prime number?
True
Suppose -2*b - 5*p = -681, -b + p = -385 + 27. Is b a composite number?
False
Suppose 3*r + 2*w - 11 = w, w = -r + 7. Let n(v) = 6*v - r - v + v. Is n(4) composite?
True
Suppose 6*r + 4*w = r + 1353, 5*r - 5*w = 1335. Is r prime?
True
Is 3466*6/(18 + -6) a composite number?
False
Let d(i) = -i**3 - 10*i**2 + 12*i + 13. Let z be d(-11). Suppose -3*b + 67 = -20. Suppose 0 = -3*x - h + 127 - 25, 0 = x + z*h - b. Is x a composite number?
True
Suppose -n - 423 = -2*m, m + 6*n - 207 = 2*n. Is m composite?
False
Suppose -j + 4*v = -4*j + 1427, 2*j - 2*v - 942 = 0. Is j a prime number?
False
Let q = -4 - -7. Suppose q*g = -54 + 204. Suppose 6*m = 4*m + g. Is m composite?
True
Let d = 10 + -7. Suppose -d = -2*n + 7. Suppose -p = -2*f - 9, -n*p + 0 = -5*f - 55. Is p prime?
True
Let q(f) = f**3 + 14*f**2 - 12*f - 6. Is q(11) a prime number?
True
Let y(u) = 4*u + 0*u + 2 + 20*u**2 - 3*u + 2*u. Is y(3) prime?
True
Let j(l) = -2*l**2 - 6*l. Let n be j(-4). Let q = 77 + n. Suppose -4*y = -y - q. Is y a composite number?
False
Let x be 5/(((-2)/2)/5). Suppose -5*t + 179 - 4 = 3*r, 64 = r - 4*t. Let k = r + x. Is k a prime number?
False
Let n = -16 + 12. Is 106/n*2/(-1) composite?
False
Let a = 946 + -469. Suppose -12 = 2*r + 4*i, 0 = -3*i + 4*i + 5. Suppose -a = r*v - 7*v. Is v a composite number?
True
Is (-179)/2*-2*1 prime?
True
Let r be 56 + 2*(-2)/(-4). Suppose r + 3 = 3*h. Suppose 2*o - 18 - h = 0. Is o prime?
True
Is -4 - -3 - (-927 - -3) composite?
True
Suppose 4*k = -k - 10. Is -22*(1 + 4/k) a composite number?
True
Let d = 1180 - 699. Is d prime?
False
Let a be 3*1/(-3) + 4. Is a/(1/159*3) a composite number?
True
Suppose -4*n + 1496 = 4*d, -2*n - 4*d = -0*n - 738. Is n a prime number?
True
Let r(l) = 5*l**2 - l. Let c be r(-1). Let w be ((-3)/6)/((-1)/c). Is 1/w - (-32)/3 prime?
True
Suppose 4*w + 986 = 2*g, w - 196 - 1283 = -3*g. Is g prime?
False
Let b = -30 - -30. Let k be 4/14 + (-201)/(-7). Suppose 2*p - 9 - k = b. Is p a composite number?
False
Suppose 4*h = 5*h - 287. Is h a prime number?
False
Suppose -95 = -x - 3*n, 3*n = 3*x + 72 - 321. Let l(g) = 6*g - 2. Let i be l(2). Is (i/(-5))/((-4)/x) a composite number?
False
Let i(d) = -d**2 + 2*d - 10. Let j be ((-32)/6)/4*-6. Let q be i(j). Let p = q - -81. Is p prime?
True
Suppose 0 = 3*o - 2*o - 4*m - 1365, 0 = 5*o - 5*m - 6810. Is o a composite number?
False
Suppose -4*g + 4 = i - 9, 3 = -i + 4*g. Suppose -4468 = i*k - 9*k. Is k composite?
False
Let h be -2 - 0 - (-501)/(-3). Let t = h - -404. Is t a prime number?
False
Suppose 3*m + 4*q + 3 = 2, m = -4*q - 3. Let b(x) = -3 + 2 - 12*x + 102*x. Is b(m) composite?
False
Is (-11878)/(-6) + 14/(-21) a composite number?
False
Is (2 + -640)/(-1 + -1) prime?
False
Suppose -66 = -y + 4*u, -3*u + 154 = -4*y + 6*y. Is y a composite number?
True
Suppose 5 = 3*u + 2*u. Let t be ((-2)/(-4))/(u/(-20)). Let x(w) = w**2 + 6*w - 6. Is x(t) prime?
False
Suppose -3*n - 41 = -2*c, -4*c + 6*n + 84 = 2*n. Let h = c + 11. Is h composite?
True
Let n(t) = 2*t**3 + 2*t - 5. Suppose 0 = -2*o - 0 + 8. Is n(o) a prime number?
True
Let r = -116 + 255. Is r composite?
False
Let b = 250 + -176. Is b composite?
True
Suppose 7*z - 4*z = 0. Let c = z + 4. Suppose -5 = -3*k + c*q, 2*q + 3*q + 15 = 5*k. Is k a prime number?
True
Let i be ((-11 - 0)*1)/1. Let j be i/2 - (-2)/4. Is (-14)/(-4)*(j - -15) a composite number?
True
Suppose -5*z = 8*j - 3*j + 35, -3*z + 2*j = 16. Let a(b) = -2*b**3 - 9*b**2 - 8*b - 1. Is a(z) composite?
True
Suppose 3*z - 4*i = 4099, 3*i + 2003 = -4*z + 7510. Is z composite?
False
Let w(t) = 4*t**2 + 2*t - 1. Is w(-4) a prime number?
False
Suppose 5*j + d - 617 - 271 = 0, 5*j - 898 = 4*d. Let i = j - 101. Is i a composite number?
True
Suppose 3*r - 2*u = -13, 2*r - u + 5*u + 30 = 0. Let v(w) = -w**3 - 2*w**2 + 8*w - 10. Is v(r) a prime number?
True
Suppose 5*x = -3*g + 262, -2*g - x + 5*x + 204 = 0. Is g a composite number?
True
Suppose -75 = 7*z - 4478. Is z a composite number?
True
Let r(f) = 2*f + 3. Let g be r(-3). Is (450 - 4)/((-6)/g) prime?
True
Let a be -1*(-6 - (0 - 0)). Let l be ((-9)/(-6))/(-3)*a. Is (0 - (-14)/(-3))*l composite?
True
Let v(q) = -q**3 - 9*q**2 - q + 9. Let b be v(-9). Let h = b + 15. Is h a composite number?
True
Suppose -5*u + 25802 = -y, 5*y - 20659 = 3*u - 7*u. Is u a prime number?
False
Let y(c) = 154*c**2 - 4*c + 1. Is y(-3) a composite number?
False
Let d be -12*((-5)/(-4) - 2). Let r = d + -15. Is (402/9)/(r/(-9)) a prime number?
True
Let h be 8/36 + 6/(-27). Suppose h = 4*k - 26 - 610. Is k a composite number?
True
Let s be 95/(-3 + 4) - -3. Suppose a = -4*i + 38, 2*a + 3*i = 4*a - s. Is a prime?
False
Let u(p) = -3*p + 5. Let o be u(2). Is o/(-2) + 1256/16 prime?
True
Suppose -8 - 19 = -3*m. Let u = m + -3. Is u a composite number?
True
Let c(k) = 304*k + 5. Suppose 0 = 4*s - 0 - 8. Is c(s) a prime number?
True
Suppose 22 = -5*j - 23. Let m(q) = -35*q - 7. Let v be m(j). Suppose -w - v = -5*w. Is w a prime number?
False
Let g(t) = -3*t - 3. Let w be g(5). Is 462/4*(-12)/w a prime number?
False
Suppose 0 = -2*v + 350 - 52. Suppose 2*s + s - 2*g - v = 0, -4*g - 249 = -5*s. Is s a composite number?
True
Let i(r) = r - 8. Let y be i(11). Suppose -118 = -y*b + 29. Is b prime?
False
Suppose 0 = o - 4*p - 3974 + 703, 3*o - 9778 = 5*p. Is o prime?
True
Suppose -5*i - 4*n + 2503 = -0*i, 497 = i + 2*n. Let c = 820 - i. Is c a composite number?
False
Let q(u) = 2*u**3 + 8*u**2 + 8*u + 3. Let x be q(-5). Suppose -568 = -w - 3*w. Let y = x + w. Is y a prime number?
False
Is 11050/8 + 7/(-28) composite?
False
Suppose 5*d - 174 = -c - 0*c, -4*d - 4 = 0. Is c a composite number?
False
Let x(p) = 6*p**2 - 2*p + 7. Is x(-6) a composite number?
True
Let a = 103 + 418. Is a a composite number?
False
Let r(m) = 54*m**2 + 2*m + 1. Let p be r(-1). Let s = p + -34. Is s composite?
False
Let i = -5 + 8. Suppose q - 432 = -i*q. Suppose 16 = -4*v + q. Is v prime?
True
Let a(j) = -3*j**2 + 20*j - 23. Let c(l) = l**2 - 10*l + 11. Let b(u) = -4*a(u) - 9*c(u). Let q be b(-8). Suppose 5*x = -0*x + q. Is x a prime number?
False
Let c(w) = -w**3 - 3*w + 1. Let q be c(3). Let h = -5 - q. Let y = 55 - h. Is y a prime number?
False
Let w = 103 - -19. Suppose 2*n - w = 852. Is n prime?
True
Is (12701/26)/((-1)/(-2)) a composite number?
False
Suppose 0*s - 3*s + 2*n = -2359, 2*s - 1569 = 5*n. Is s prime?
True
Let h = -203 - -352. Is h composite?
False
Let h = -131 + 576. Let q = h - 26. Is q a prime number?
True
Suppose -2*s + 2 = -0*s. Let c be -1 + s + 12/(-3). Is ((-2)/c)/(5/390) prime?
False
Suppose -1 = -p - 37. Let w = 73 - p. Is w composite?
False
Let d(b) = -b - 1 + 13 + 43. Is d(0) composite?
True
Is ((-9)/(-24))/((-12)/(-16))*9892 a composite number?
True
Let b = -170 + 249. Is b a prime number?
True
Let d = 1520 - 837. Is d a prime number?
True
Suppose -3*a = 12, 18 = 4*c - c - 3*a. Suppose 3*b = c*p + 19, 4*b - b + 3*p = 24. Is b a composite number?
False
Suppose -8*j + 10*j = 1786. Is j composite?
True
Let p = 59 - 111. Let w = -13 - p. Is w a composite number?
True
Let c be -8*(0 + (-1023)/12). Suppose 0 = -p - 3*s + c + 393, -2*p - 2*s + 2150 = 0. Suppose 0 = -6*x + x + p. Is x composite?
True
Suppose 2*j = u, -5 = 4*u + j - 23. Let g be u/(-14) - (-324)/(-42). Is 156/3*(-6)/g a prime number?
False
Let v(z) be the first derivative of z**5/20 - z**4/4 - 7*z**3/6 + 3*z**2 - 2*z + 2. Let s(n) be the first derivative of v(n). Is s(5) a composite number?
True
Let p(o) = -o**2 + 8*o - 4. Let v be p(7). Suppose 5*c - 6 = -2*q, 4*c - 2*c - 31 = -v*q. Let a = q - 7. Is a composite?
True
Let r be ((-201)/(-2))/((-15)/(-20)). Let u = r - 3. Is u composite?
False
Suppose -4*v - 40392 + 14124 = 0. Is v/(-13) - (-4)/(-26) a composite number?
True
Suppose 0 = -4*b - 166 - 106. Is (b/3 - 3)*-3 composite?
True
Let p(j) = 6*j - 9. Let c = -11 + 19. Is p(c) a composite number?
True
Is 3152/5 - (-12)/20 composite?
False
Let j(v) = 2*v - 2. Let o be j(3). Suppose -o = l - 2*l. Suppose 2*h - 30 = -l*u, -4*h = h + u - 111. Is h prime?
True
Let y = -51 - -154. Is y composite?
False
Let r(n) be the first derivative of 5*n**2/2 - 3*n - 4. Is r(8) a prime number?
True
Let d(g) = -g + 1. Let t(b) = b**3 - b**2 - b + 5. Let u be t(0). Let r 