composite?
False
Let d = -10 - -1. Let w be (d + -1)*20/8. Is 354/10 + 10/w composite?
True
Suppose -2*a = 2*a - 4. Is 1*(67 + a + -1) a composite number?
False
Let g(k) = -62*k - 2. Is g(-2) prime?
False
Suppose 5*m - 5*v + 3*v - 5911 = 0, -5*v = -m + 1173. Let o = -600 + m. Is o prime?
False
Suppose 82 = -4*l - f, -f = -4*l - l - 107. Let u = l - -44. Is u composite?
False
Let r = 1540 + -719. Is r prime?
True
Let c = 15 + -19. Is (1 - 189/12)*c a prime number?
True
Let l = 0 + -4. Is (-2)/(-1)*(-22)/l a prime number?
True
Let x(h) = -h**2 + 8*h + 10. Let p be x(9). Let y be -705 + p + -1 - 0. Is (-2)/8 - y/20 a prime number?
False
Suppose 15 + 1 = 4*p. Suppose 0 = p*r - j - 24 + 5, -5*j - 5 = -5*r. Is r prime?
False
Suppose 0 = 3*y - 2*y + 33. Is (-5)/15*(y - 0) a prime number?
True
Suppose 3 = 3*i + 21. Suppose 0 = 7*d - 10*d + 75. Let q = i + d. Is q prime?
True
Let c = 7 - 2. Suppose 2*j - 6*j + 6 = 5*x, c*x = j + 11. Suppose -4*y - 2*q + 120 = 2*q, 4*q = x*y - 30. Is y prime?
False
Let w(c) = -29*c + 3. Suppose 0 = 3*x + x - 40. Let p = 6 - x. Is w(p) prime?
False
Suppose -z = -24 - 197. Is z a composite number?
True
Let t(l) = l - 4. Let n be t(10). Let h(v) = 24*v - 1. Let k be h(n). Suppose -5*g - 3*y + k = -3*g, 5*y = -25. Is g composite?
False
Let q(c) = -2*c**3 - 2*c**2 - 1. Let a(h) = 2*h + 9. Let m be a(-6). Is q(m) composite?
True
Let o(t) be the third derivative of t**8/6720 + t**7/280 - 13*t**6/720 - t**5/8 - t**4/8 - 3*t**2. Let y(m) be the second derivative of o(m). Is y(-10) prime?
False
Let x = 337 - 206. Is x prime?
True
Let z = 3 + -9. Let g be ((-8)/z)/((-2)/(-3)). Suppose 0 = -g*b + 859 - 189. Is b a prime number?
False
Is 3*(-66)/(-27)*3 prime?
False
Suppose 0 = 2*j + 3*j + 5*a + 10, 6 = -3*a. Suppose -4*f + 15 + 125 = j. Is f prime?
False
Suppose 3 = f - 0. Let c(k) = k**3 - 4*k + 3 + 0*k**3 - 2*k**f + 10*k**2 - 3*k. Is c(9) prime?
False
Let z(t) = t**2 - t - 2*t**2 - 3 + 2 + 3. Is z(0) a prime number?
True
Suppose 1 = -5*m + 11. Suppose m*g = g. Is (g - 1/(-2))*6 a composite number?
False
Let c = 7187 + -4998. Is c composite?
True
Let n be (-24)/(-5)*125/10. Suppose -3*y + n = 15. Is y a prime number?
False
Suppose v = 4*v + 30. Let y = 31 + v. Is y a prime number?
False
Let u be 1*0/(-3 + 0). Suppose u = l - 3*l + 110. Is l a composite number?
True
Suppose -b - 14 - 2 = 0. Let c = 17 + 12. Let t = c + b. Is t a composite number?
False
Let y(i) = -14*i**2 - 3*i - 2. Let w(z) = -27*z**2 - 5*z - 4. Let l(r) = 6*w(r) - 11*y(r). Let q be l(2). Is (-1476)/q + (-4)/(-14) composite?
False
Suppose 7*w = 2*w + x - 2, 4 = w + 2*x. Suppose w = -5*k + 6*k - 23. Is k prime?
True
Is ((-813)/(-12))/(6/24) prime?
True
Let m be (-836)/5 + 3/15. Let x = 316 + m. Is x a prime number?
True
Let s be ((-24)/9)/(2/(-3)). Is ((-798)/(-9))/(s/6) a composite number?
True
Let g(k) = k**3 + 6*k**2 - 4*k - 1. Let t(j) = -2*j**2 - 5*j - 4. Let x be t(-3). Let h be g(x). Let s = h - -59. Is s a composite number?
False
Let s(c) = -c**2 + 307. Is s(0) a prime number?
True
Suppose 4*b - 1332 = -5*z, 8*b - 3*b = 5*z + 1710. Let n = -199 + b. Is n composite?
False
Let g be 63*3*16/18. Let y = g - 96. Suppose 4*u = 76 + y. Is u composite?
False
Let i(k) = 114*k - 7. Is i(4) prime?
True
Suppose -5*g = 5*v - 310, -3*v - g + 196 = -0*g. Suppose -m + 167 = -3*j, m - 96 = j + v. Is m a prime number?
False
Let i = -466 - -742. Let l = -8 - -12. Suppose -5*k = -l*k + 3*b - 69, 5*b - i = -4*k. Is k a composite number?
True
Let q(t) be the second derivative of t**3/6 - 5*t**2/2 + t. Is q(9) a prime number?
False
Let n(c) = -4*c - 11. Suppose 14 = 3*g + 38. Is n(g) prime?
False
Let z be 6/21 + 178/14. Let v = z - -20. Is v a prime number?
False
Suppose a = -3*a + 172. Is a prime?
True
Let s(k) = -27 + k + 84*k**2 + 27. Is s(1) prime?
False
Is (9 + -6)*(-215)/(-3) a prime number?
False
Suppose -2*t + 0*y + 3 = -y, y + 3 = 0. Let h(p) = p**3 + 157. Is h(t) composite?
False
Suppose 78 = 2*u + 3*c, -3*u - 4*c - 35 = -151. Let d = 3 + u. Is d a composite number?
True
Let a = -6 - -8. Suppose a*w - 206 = -0*w. Is w prime?
True
Is 4/(-12) + (-2254)/(-3) a prime number?
True
Let a = -15 + 20. Suppose -2*i + a*q + 253 = 0, i = -5*q + 60 + 44. Is i a prime number?
False
Suppose -4*l + 556 = -3*l. Let z = -161 + l. Is z a prime number?
False
Let b(t) = t**3 + 8*t**2 + 2*t + 7. Let d be b(-7). Let i(j) = -j**3 + 6*j**2 + 4*j + 2. Let v be i(7). Let l = d + v. Is l a composite number?
False
Suppose -4*z + 2027 = 3*n, -3*z = 4*n - 4410 + 1705. Is n a composite number?
False
Let j(z) = -z - 1. Let w be j(-6). Let s = w + 62. Is s prime?
True
Let v be (-3 + 4)/(2/242). Let b = 64 + v. Is b composite?
True
Let a be (-2 + -22)*(0 - 6). Suppose a = 3*h - 339. Is h composite?
True
Suppose -1227 = -7*v + 4*v. Is v a composite number?
False
Let m(k) = -k - 3. Let a be m(-7). Suppose -g + a*g = -9. Let s(z) = -2*z**3 - 4*z**2 - 3*z - 4. Is s(g) a composite number?
False
Is -4 - ((-520 - -3) + -1) a prime number?
False
Is 1658 - ((-6)/3)/(-2) prime?
True
Let i = 699 - 327. Suppose 3*o - 367 = -2*z, o + 2*o - i = -3*z. Is o composite?
True
Let h = -91 + 142. Is h a composite number?
True
Let a(h) = 4*h**3 + h**2 - h + 1. Let b be a(1). Suppose k + 14 = w, -9 = -b*w + 4*k + 60. Is w a prime number?
True
Let c(a) = a. Let h(m) = 74*m + 1. Let i(p) = -c(p) + h(p). Is i(1) a prime number?
False
Suppose -3*q = -4*q + 18. Is 7*-3*(-6)/q prime?
True
Let j(a) = a**3 + 6*a**2 + 5*a - 1. Let f be j(-5). Let l = 3 - f. Suppose -4*d = -16, l*s + 20 - 100 = 3*d. Is s prime?
True
Suppose a - 5*r = -27, 12 = -a + 3*r - r. Let u = a - -16. Is u a prime number?
False
Let m = -24 + 33. Let c(d) = -5*d**3 + 8*d**2 + 18*d - 10. Let i(y) = y**3 - y + 1. Let n(u) = c(u) + 4*i(u). Is n(m) a prime number?
False
Let c = -1809 - -2858. Is c prime?
True
Is (-2)/4*(5 - 321) a prime number?
False
Suppose -4*a + 2*a = -18. Let l(w) = -2*w**2 - 6 - 4 + 10*w + 3*w**2. Is l(a) a composite number?
True
Let r = -606 + 1297. Is r composite?
False
Let l(y) = -77*y**3 - 5*y**2 - 3*y + 2. Is l(-3) a composite number?
True
Let v(m) = -m**3 - 5*m**2 + 7*m - 2. Suppose 5 = c + 1. Let h(x) = -x - 3. Let t be h(c). Is v(t) a prime number?
True
Suppose 3205 = 4*z + o - 1834, -2*z + 2515 = -o. Is z a composite number?
False
Let q be 5218/14 - (-4)/14. Let i = -216 + q. Is i a prime number?
True
Let k be (-492)/(-8) - (-1)/2. Let w be k*1*3 + -1. Suppose -w = -5*p - 0*p. Is p prime?
True
Let t(g) = -g**3 + 6*g**2 + 5*g + 5. Let v be t(6). Suppose 0*y - y = -v. Is y composite?
True
Suppose -3*s + 5*h = -1, 5*s - h - 15 = -6*h. Suppose 0 = s*q + 2*q - 620. Suppose 0 = -0*i + 4*i, -5*n + q = i. Is n composite?
False
Suppose -2*s = 2*s - 960. Suppose 6*y - 4*n - 464 = 2*y, -2*y - 2*n = -s. Suppose -y = -4*h + 4*q + 98, 5 = -5*q. Is h a prime number?
True
Let y(o) = 2*o**2 - 10*o - 17. Is y(-8) a prime number?
True
Let r(o) = 8*o**2 + 2*o - 3. Let f be r(-3). Let h = f + -34. Let j = h + -18. Is j composite?
False
Suppose 4 = -0*k + 5*k - y, -3*k = -2*y - 1. Let x be 4*48 + (k - 3). Suppose -2*f = -4*d - x, 3*f - d + 6*d = 263. Is f a prime number?
False
Let j = 8 + -6. Suppose -j*n = -5*n + 27. Let o = n + -6. Is o prime?
True
Let d = -1532 + 2409. Is d prime?
True
Let b = -5 + -14. Let n = b - -13. Let v(t) = -2*t**3 - 3*t**2 + t - 1. Is v(n) composite?
False
Let r(o) = 485*o + 6. Is r(3) a prime number?
False
Let b(w) = -24*w**3 + 2*w**2 - 2*w - 1. Suppose -k = 4*k - 10. Let z be k*(2 - 5 - -2). Is b(z) a prime number?
False
Let y(u) = -u + 7. Let c be y(5). Suppose 2*q = 5*h - 8, 0 = -0*q + 3*q - 4*h - c. Is 4/q + 326/6 prime?
False
Let x(f) = f + 1. Let v(a) = -313*a + 6. Let j(y) = -v(y) + 5*x(y). Let k be j(1). Suppose -4*m - 1 = -k. Is m prime?
True
Let p be 0 - (2 - (4 + -2)). Let w(z) = -z + 270. Let u be w(p). Is u/4 + 5/(-10) prime?
True
Suppose 4495 = 2*l + 813. Is l composite?
True
Let w be 3/2*2/(-3). Let i be 0/(-3) + -97 + w. Is (-1 - 2) + (0 - i) a prime number?
False
Is ((-586)/4)/(8/(-16)) prime?
True
Let m(q) = 5*q**2 - 1. Let t be m(-1). Suppose 4*a - 4*y = 28, a + 0*a - t*y - 19 = 0. Let k = 7 - a. Is k a prime number?
False
Suppose 4*t - 18 = t. Suppose -1 + t = j. Suppose -12 = 3*b, -2*p - b + j*b + 254 = 0