ite number?
True
Suppose 0 = -3*g + 2*o + 1, 3*o + 2*o = 2*g + 14. Suppose g*s + s - 520 = 0. Suppose 53 = -p + s. Is p composite?
True
Let k(j) = -132*j + 13. Is k(-4) a composite number?
False
Suppose -23914 = -5*m - 6*m. Is m a composite number?
True
Suppose -o = 2*s - 13, 3*s = 4*o - 0*s + 3. Suppose 2*l - 4*i - 246 = 0, -2*l - o*i + i = -240. Is l a composite number?
True
Let o(b) = b**3 + 4*b**2 + 2*b + 5. Let s(d) = d**2. Let q(c) = -o(c) + s(c). Is q(-6) a composite number?
True
Let x(a) = -a - 1. Let h(i) = -3. Let p(u) = h(u) - 2*x(u). Let y be p(3). Suppose w = y*w - 76. Is w a prime number?
True
Is (373383/(-12))/(-9) - (-3)/(-12) composite?
False
Let v be 1/(3 - (-13)/(-4)). Is 750/8 - 1/v composite?
True
Suppose -4*a = -3*v - 28 - 17, -42 = -3*a + 5*v. Suppose 6*s - 3*s = -a. Is 92/12*s/(-1) a prime number?
True
Suppose 0 = -3*v + 3*m - 12, -5*m + 4 = 5*v - 6. Is 2 - (-2)/v - -199 a composite number?
False
Let n be 3 + -3 + 0 + 7. Let s be (-2)/n - 32/(-14). Suppose 0*b - s*b = -50. Is b a composite number?
True
Let l be ((-18)/(-45))/(2/20). Let s(x) = 19*x + 3. Is s(l) a composite number?
False
Is 1/(9/(-6)) + 8125/15 a prime number?
True
Let j(a) = 0 - 3 + a + 15. Let x be j(-11). Is (0 - 0) + x*33 a composite number?
True
Let y = -29 + 89. Suppose 4*j + 396 = 4*k, -4*j + 126 = 2*k - y. Is k composite?
False
Suppose 271 = -4*f + 4*k - 85, 2*k + 424 = -5*f. Let c = f - -122. Let b = 1 + c. Is b prime?
True
Suppose 5*o = a + 7055 + 12011, 4*o - 15276 = -5*a. Suppose 0 = 5*u - 5*t + 3830, 5*u - 6*t + 5*t + o = 0. Is (1/((-3)/u))/2 composite?
False
Suppose 12684 = 3*o - 2037. Is o a composite number?
True
Let g = 210 + 377. Is g a composite number?
False
Is (-1049)/(18/12*2/(-3)) a composite number?
False
Let d(h) = 428*h + 9. Is d(3) prime?
False
Let q be 489/33 - 4/(-22). Let y be (12/q)/((-1)/(-5)). Suppose 27 + 9 = y*v. Is v a prime number?
False
Suppose k + k = -3*x - 97, -3*x + k = 91. Let o = 140 + x. Is o a prime number?
True
Let k = -9 + 106. Is k a composite number?
False
Suppose -r + 15 = b - 29, -3*r - b + 124 = 0. Let m be 1/(1 - 2) + 74. Let g = r + m. Is g a composite number?
False
Let s be (36/10)/((-4)/(-10)). Let j = s - 0. Is j prime?
False
Suppose -l = -4*l. Let g(a) = a**2 - 17*a - 13. Let j be g(18). Suppose 2*s + s + j*n = 43, l = -2*s - 4*n + 30. Is s prime?
True
Suppose c + 0*o = 4*o + 1429, 3*c = -o + 4248. Is c a prime number?
False
Let q(b) = b**3 + 4*b**2 - 2*b - 1. Is q(2) prime?
True
Let n = -4 - -3. Is (-4)/(4/(-45)) - n prime?
False
Suppose -2*l = 2*x - 3*x, x + l - 9 = 0. Suppose d + 1 = -2*g - 0, d + x = 3*g. Let i = 9 + d. Is i a composite number?
True
Let w(t) = -2*t**2 + 18*t - 3. Is w(5) prime?
True
Let i(m) be the second derivative of m**4/6 - 4*m**3/3 - 5*m**2/2 + m. Is i(8) a prime number?
True
Suppose -35*z + 1975 = -30*z. Is z prime?
False
Let w(k) be the first derivative of -149*k**2/2 - 7*k - 2. Is w(-6) prime?
True
Let f be (2 - -1)*92/(-3). Let c be f/(-6) + (-3)/9. Suppose 4*t - 3*t = m + c, m = -2*t + 42. Is t a prime number?
True
Suppose 0 = 2*y + 4*n - 226, -2*n = 3*y - 0*n - 339. Is y composite?
False
Let g(v) = -1245*v + 8. Is g(-1) a prime number?
False
Let q(g) = 8*g - 7. Let w(y) = 1. Let t(z) = -q(z) - 6*w(z). Let o be t(-5). Suppose -m = -90 - o. Is m a composite number?
False
Let j(l) = 139*l**2 - 2*l - 2. Let r be j(2). Suppose -4*w - n = -4*n - 475, 5*w + 5*n = r. Is w a composite number?
True
Suppose 2*r - 3*w + 3731 = 3*r, -r + 3716 = -2*w. Is r a composite number?
True
Suppose -2*y = -q + 11, 0*y - 2*y - 23 = -5*q. Suppose -2*i + 30 = -3*s, 0 = -3*i + 2*i - q*s + 15. Suppose -p + 2*p = i. Is p composite?
True
Let c(a) = -5*a**3 - a**2 - 2*a - 1. Let m be c(-3). Let x be (-1 + 3)/((-1)/(-2)). Suppose m = -3*l + x*l. Is l a composite number?
False
Let i = -26 - -61. Is i a prime number?
False
Suppose 3*x = -5*o + 2614, -o - 4*x + x + 518 = 0. Suppose 0 = v - 5*v + o. Is v a prime number?
True
Let q = -6 - -3. Let o(a) = a**2 + 1 + 6*a + 2 - 4*a - a**3. Is o(q) composite?
True
Let k(p) = 4*p**2 - 35*p + 18. Is k(25) a composite number?
True
Let g = -149 + 354. Is g prime?
False
Let v = 257 + -54. Is v composite?
True
Suppose 2*y - 5*c - 264 = -0*y, 514 = 4*y - 3*c. Is y a prime number?
True
Let c(z) = 84*z**2 + 3*z - 5. Is c(2) prime?
True
Suppose 2*b - 4*g = 108, -2*g - 3*g = -5*b + 275. Suppose -4*p + b = 12. Is p prime?
True
Suppose -3*y - 4*s = -141, -4*y + 44 + 144 = -5*s. Is y a composite number?
False
Suppose 2*u = -2 + 12. Let k be 0 + u + -1 - 1. Is (-3)/(-2)*44/k composite?
True
Let x(p) = p**3 + 10*p**2 + 16*p + 2. Is x(-7) prime?
True
Suppose -16 = 2*n + 2*y, -n + 3*n - 2*y = 0. Let m be (6/n + 1)*-6. Suppose -5*z = -4*l - 897, -m*l - 256 = -3*z + 284. Is z composite?
True
Let h = -6 - -6. Is (2 + 35)*(1 + h) a composite number?
False
Let m = 7 - 7. Suppose m = p + 21 - 91. Let j = 149 - p. Is j prime?
True
Is ((-25593)/(-38))/(6/4) a prime number?
True
Let l(d) = d**2 - d + 0*d**3 - d**3 + 2*d - 1. Let t be l(1). Suppose -2*s + 2*p - 7*p - 3 = t, -s - 3*p = 4. Is s a composite number?
False
Suppose 4700 = 3*a - 2068. Suppose 391 = -5*c + a. Is c a prime number?
True
Let f(z) = -3*z**3 + z**2. Let g be f(-1). Is (8/12)/(g/3522) a prime number?
True
Suppose 3*a + 2*a = 2*r - 67, 0 = 4*r - 4*a - 128. Is r prime?
True
Let g(n) = 3*n**2 + n + 11. Let w = 13 + -19. Is g(w) a composite number?
False
Let w(i) = 369*i. Let f be w(1). Let o = 620 - f. Suppose -5*s + 494 = -o. Is s a composite number?
False
Let k be 12/54 - 4694/(-18). Suppose k = 2*c - 241. Is c a composite number?
False
Suppose 2*s - 1062 = -4*s. Is s prime?
False
Is 1690/8 - 3/12 a prime number?
True
Let f(d) = d**2 + 15*d - 9. Let m = 22 - 33. Let u be f(m). Let t = u - -75. Is t a prime number?
False
Is 3470/(-10)*(-1 + 0) prime?
True
Let d = -8 + 11. Suppose n - d*n = -70. Is n a composite number?
True
Suppose 4*q - q + 5*h - 15 = 0, -3*q = -2*h + 6. Suppose 5*y - 14 - 171 = q. Is y a prime number?
True
Suppose s + 2*z - 2 = -3*s, 4*s + z - 1 = 0. Let p be (-1 - -2)*-1 - -120. Suppose s = x - 0*x - p. Is x a prime number?
False
Let w(g) be the third derivative of -15*g**4/8 - g**3/3 + 4*g**2. Is w(-3) a prime number?
False
Let x = -144 + 36. Let s be (-1 - 8/(-2))*7. Let r = s - x. Is r a composite number?
True
Suppose 4*b + 77 = u, -2*b - 179 = -2*u + b. Is u composite?
False
Suppose 3*n + 2027 = 6458. Is n a composite number?
True
Suppose 14*s - 7195 = 9*s. Is s prime?
True
Let q = 11 - -8. Is q a composite number?
False
Suppose 6*u - 8864 + 2966 = 0. Is u a composite number?
False
Let x = 2330 + -1219. Is x composite?
True
Let a(i) = 3*i**3 - 9*i**2 - 7*i + 3. Is a(8) composite?
False
Let v be 1/((-1)/(-2)) + -2. Suppose -4*y = -16, -3*d - 5*y + 2*y + 441 = v. Suppose 0 = 2*a - z - d, -3*a + 187 = -2*z - 30. Is a a prime number?
False
Suppose -4*c + 16121 - 1581 = 0. Is c prime?
False
Suppose -4*o + 3713 = 45. Is o prime?
False
Let n(b) = 4*b**2 - 14*b + 9. Is n(11) composite?
True
Let p(i) = i**3 + 6*i**2 - i - 6. Let q be p(-6). Let d be (-46)/3*63/(-2). Suppose -d = -3*w - q*w. Is w a composite number?
True
Let t = -7 + 11. Suppose 5*m = -t*p + 1248, -3*m = 3 + 9. Is p composite?
False
Let r(m) = 1100*m + 1. Is r(1) a prime number?
False
Suppose -u + 5*u - 12 = 0, 0 = j + u - 410. Is j a prime number?
False
Let q = 5 - 19. Suppose 0 = -2*w - 0 + 8. Is 3548/28 - w/q a composite number?
False
Let t = -4 + 5. Let i(q) = q**2 + 5*q + 2. Let k be i(-4). Let l = t - k. Is l composite?
False
Let p(v) = -3*v**2 + 15*v + 12. Let o be p(12). Let g = o + 349. Is g prime?
True
Let t(y) = y**2 - 7*y + 5. Let s be t(7). Let p(w) = 7*w**2 + 6*w + 2. Let o be p(s). Suppose 4*m - o = -59. Is m a composite number?
False
Let j be 60/(-2) - (1 - 3). Let q = j + 39. Let y = -1 + q. Is y prime?
False
Suppose 14*q - 11940 = 254. Is q composite?
True
Let n = 37 + 90. Suppose -312 = -5*s - n. Is s prime?
True
Suppose 0 = 7*z - 2*z - 680. Suppose 359 = p + z. Is p a prime number?
True
Suppose u + 87 = 25. Let k = -139 + u. Let w = k - -364. Is w a composite number?
False
Suppose l + a = 41, -6*a + 8 = -2*a. Is l a prime number?
False
Let w = 1870 - 801. Is w a prime number?
True
Let y = 6 + -6. Suppose -4*k + 