 composite?
False
Suppose 5*v + 16 = 126. Let h = -11 + v. Let w = h + -1. Is w a prime number?
False
Suppose 2*m + 148 = 4*c, -2*m + 6 = m. Let f = -1 + c. Is f prime?
True
Suppose -5*z + 15 = -0*z. Let i(s) = 8*s**3 - 2*s**2 - 5*s + 4. Is i(z) a composite number?
True
Let l(v) = -v**3 - 7*v**2 - v + 5. Let f be l(-6). Is 12/(-4) - 0 - f composite?
True
Let o(w) = w - 1. Let j be o(2). Suppose 2*a = 3*a - j. Is 54 + (0 - -1)/a a prime number?
False
Suppose -3*l + 362 = -109. Is l composite?
False
Let m = 3 + 1. Suppose -6 = o - m*o. Suppose z + o*h - 41 = 0, z - 3*z + 86 = 3*h. Is z a prime number?
False
Let l = 1285 + -906. Is l a prime number?
True
Suppose -5*t = 2*o - 31 - 9, 0 = -3*t + o + 35. Suppose 2*r - 10 = 28. Let m = r - t. Is m a prime number?
False
Let f = 184 - -517. Is f prime?
True
Let n(j) = -j - 4. Let t be n(-6). Suppose -3*m + 18 = 5*v - t*v, 5*m = v + 30. Is m prime?
False
Let a(j) = -5*j - 8. Let w be a(-7). Suppose h = 3*p + w, 2*p = 6*p + 20. Suppose -3*c = h, 3*g = -2*c - c + 66. Is g composite?
True
Suppose h - 4358 = -h. Is h a composite number?
False
Suppose 2*k - 180 = -5*r, 5*r = 5*k - 67 - 348. Is k a composite number?
True
Suppose -30*n = -28*n - 1042. Is n composite?
False
Let o be (253 + -4)*1/(-3). Suppose 2*p - 129 = -v - 17, 4*v + 5*p = 460. Let s = o + v. Is s a prime number?
True
Let i(b) = b**3 + 6*b**2 + 9*b + 5. Let w be i(-6). Suppose 5*k = 3*k + 276. Let y = w + k. Is y composite?
False
Let x(i) = -i + 199. Is x(0) composite?
False
Let h(t) = 2 + 2 - 4 - 31*t. Is h(-1) a composite number?
False
Suppose 4*u + 4*x - 2952 = 0, 750 = u - x - 4*x. Is (u/25)/((-4)/(-10)) prime?
False
Let c(n) be the second derivative of 7*n**5/20 - 5*n**4/12 + n**3/2 + n**2 + 2*n. Suppose -4*i - 1 = -2*m - 17, 4*m + 8 = 0. Is c(i) a composite number?
True
Let b = 665 + -436. Suppose -7*k + 97 = -2*k - 4*x, -3*k - x + 48 = 0. Suppose -b = -4*m - k. Is m prime?
True
Suppose -2*d + 3*x = 2*d - 3516, 2637 = 3*d + x. Is d a prime number?
False
Let s = -63 + 94. Is s composite?
False
Let u(g) = -2*g + 1 + 50*g**2 - g + 0*g + 2*g. Is u(-2) a composite number?
True
Let i = -44 + 28. Let p = i + 239. Is p a prime number?
True
Suppose 7 = -4*j + 23. Suppose -4*o = -0 - 8, -j*w - 3*o + 26 = 0. Let z = 2 + w. Is z a composite number?
False
Suppose 0 = -7*r + 415 - 2. Is r prime?
True
Is (376/12)/(4*1/42) a prime number?
False
Suppose w - 415 = -4*w. Is w a prime number?
True
Suppose -5155 = -3*g - 2*z, 4*g + 5*z - 5271 - 1593 = 0. Is g a prime number?
True
Suppose -h = 5*n - 1179, 0*n - 4*h + 486 = 2*n. Suppose -2*c + q = 2*q - n, -3*c + 363 = -2*q. Is c composite?
True
Suppose 0*b - 6*b = -570. Let d = 15 - 10. Suppose -3*z - 3*h + b = -199, -2*z + 161 = -d*h. Is z prime?
False
Let f(p) = 22*p**2 + 3*p + 1. Is f(-2) prime?
True
Suppose p = -5*p + 306. Is p a prime number?
False
Is -2*-662*2/8 a composite number?
False
Suppose -4*n - 2*o + 1546 - 212 = 0, 15 = 3*o. Is n composite?
False
Suppose 3*h = h. Suppose -u + 203 = -h*u. Is u a composite number?
True
Let l = 6 - 10. Is 222/l*(-36)/27 prime?
False
Let u(p) = 23*p - 17. Is u(12) composite?
True
Let u be -6 - -2 - 3 - -2. Is (u/(-15))/((-1)/(-222)) a composite number?
True
Suppose k + 12648 = 4*k. Is (-9)/((-36)/k) + 1 a prime number?
False
Is (17 - -5)*26/4 a prime number?
False
Let n(w) be the second derivative of -5/6*w**3 - 1/20*w**5 - 1/2*w**4 - 2*w + 0 - 5/2*w**2. Is n(-6) composite?
True
Let a(t) = t + 8. Let g be a(-4). Suppose 3*d + 5*o = 396, 0*o = -4*d - g*o + 520. Is d a composite number?
False
Let n = -3 + 5. Suppose -5*h = 3*l - 24 - 56, l - 45 = 2*h. Suppose j = n*j - l. Is j composite?
True
Suppose 3*n - 1197 = -3*g, -n - 2*n + 1594 = 4*g. Is g a prime number?
True
Let n(h) = h**3 - 8*h**2 - 4*h. Let k be n(5). Let i(j) = -36*j**2 + j + 1. Let t be i(2). Let f = k - t. Is f a composite number?
True
Let p be 1 + (2 - 6 - 1). Let t be (-4)/(-14) - (-32)/(-14). Is (152/16)/(t/p) composite?
False
Suppose l + 4 = 7. Suppose 4*q = -l*x + 69, 2*q = -1 + 7. Is x prime?
True
Let v = 689 + -318. Is v prime?
False
Suppose 4*s + 2*i - 8 = 0, 4 = -3*s - 4*i + 5. Suppose 3*x = 3, 5*o + s*x = -0*x + 7713. Is o/30 + (-2)/5 composite?
True
Suppose z + z = 0. Suppose -3*g - g - 864 = z. Let d = g + 329. Is d a composite number?
False
Let j(b) = b**2 + 2*b - 10. Let i be j(8). Suppose -4*c + i = 2*r, -18 = -2*c - 2*r + 20. Let a = 29 - c. Is a a prime number?
True
Suppose 5*j = -3*t + 22, 13 = -2*j + 4*t + 1. Suppose j*a + 638 = 4*a. Is a a composite number?
True
Let j = 1286 + -759. Is j a prime number?
False
Suppose -148 = f - 3*f. Let q = -48 + f. Is q a composite number?
True
Let b = 14416 - 8235. Is b composite?
True
Suppose -4*r + 41 = 5*q, -1 = -4*r - q + 4*q. Suppose r*m - n + 6*n = 4191, -5*m + 5241 = 4*n. Is m prime?
True
Let l = 6 + -1. Suppose 17 = 4*s + 4*g - 143, l*s + 3*g = 194. Is s a prime number?
True
Is ((-15)/(-10))/(6/1588) a prime number?
True
Suppose -h - h = -30. Suppose -u + 19 + 13 = -r, 0 = -3*r + h. Suppose 0 = 2*o + a - u, -2*o = -o - 3*a - 36. Is o a prime number?
False
Let i(c) = -c**3 + 4*c**2 - 4*c - 4. Let y be i(4). Let u = y + 35. Suppose -2*k + 3*k - u = 0. Is k composite?
True
Let a be (-2 - (2 + -5)) + 1. Let r(x) = -8*x - 1 - 1 - a + 2*x**2 - x**3. Is r(-5) a composite number?
False
Let l(i) be the second derivative of -1/3*i**4 - i + 3*i**2 + 1/10*i**5 + 0 - 1/3*i**3. Is l(4) a prime number?
False
Is (-379)/3*3*(0 - 1) prime?
True
Let o = 412 + -203. Is o a composite number?
True
Suppose -2*s + 0*s = -554. Suppose k + t = 190, -427 = -2*k + t - 35. Let r = s - k. Is r composite?
False
Suppose -23*t = -22*t - 419. Is t composite?
False
Suppose 0 = -5*c + 4*l + 639, 2*l = -2*l - 4. Is c composite?
False
Let d be (0 - 2) + (19 - -2). Let p = 2 + d. Is p composite?
True
Let g(b) = -b**3 + 5*b**2 + 8*b. Let d be g(6). Suppose 0 = 4*k - 4*u - 7 - 13, -5*u = -k + 17. Is (d/3 - k) + 109 a prime number?
False
Let j(c) = 498*c**2 + 1. Suppose -4*k = -b - b + 14, 4*b - 3*k = 13. Is j(b) a composite number?
False
Let d(y) = y**2 + 5*y + 1. Is d(4) composite?
False
Suppose -v + 62 = -29. Is v prime?
False
Suppose 4*h = -12, -146 = -y + 3*y + 2*h. Is (2 + 10/(-4))*y composite?
True
Let a(u) = -2*u**3 - 2*u**2 + 5*u - 1. Let v be a(-7). Suppose 2*f + 0*f = -v. Is (-2)/2 + f/(-3) a prime number?
False
Let t(v) = -v**3 - 7*v**2 + 9*v - 12. Is t(-9) prime?
False
Let i(o) = 11*o**2 - 19*o + 14. Let r be i(-17). Suppose 4*j + 976 = r. Is j a prime number?
False
Suppose -g - k = g + 8, -2*k + 26 = -3*g. Let w(s) = -7*s + 7. Is w(g) a prime number?
False
Let z(n) = -n**3 - 12*n**2 - 3*n - 1. Let u be z(-11). Let r = -36 - u. Is r composite?
False
Let n(q) = 15*q**3 + 2*q**2 + q. Let k be n(2). Suppose 0 = t - 3 - 0. Suppose -t*f = 2*f - k. Is f prime?
False
Suppose 0 = 2*f + 2*m - 154, -77 = -f + 2*m + m. Is f a prime number?
False
Suppose -2*y - 1 = -3*y. Let d = 8 - y. Is d composite?
False
Let o(y) = -y**2 - 5*y - 3. Let d be o(-3). Suppose 2*r = d*r - 2*i - 81, -235 = -3*r + 2*i. Is r composite?
True
Suppose 4*i + z + 2082 = 8*i, 4*i - 2094 = -5*z. Is i composite?
False
Let b(p) = -5*p - 5. Let x = -21 - -15. Is b(x) a prime number?
False
Let o = 140 - -241. Suppose 5*k = 2*r + o, r + 113 = -4*k + 423. Is k composite?
True
Let t(v) = 2*v**2 + 7*v + 3. Let s be t(-5). Suppose -3*w + s = -2*w + 4*g, -2*w = -5*g + 16. Is w composite?
False
Suppose -127 = -2*c + s, 4*c - 248 = -0*s - 4*s. Suppose -49 - c = -4*y. Suppose -a = -3*a + y. Is a prime?
False
Let i = 712 - -445. Is i prime?
False
Let l(g) = 117*g + 13. Let k be l(6). Let m = -278 + k. Is m composite?
True
Suppose 0 = 8*f - 7*f - 274. Is f composite?
True
Let f(v) = -v**3 - 10*v**2 - 5*v + 5. Suppose -5*q + 7*q = -20. Is f(q) a composite number?
True
Is (757/2)/((-54)/(-12) - 4) composite?
False
Let n(d) = -5*d - 1. Suppose -7*b = -2*b - 10. Suppose -3*f + 4*p - 9 = -6*f, -11 = b*f - 3*p. Is n(f) composite?
True
Suppose 0 = 3*t - 3, 4*h - 1232 = -0*h - 4*t. Is h prime?
True
Let m be ((-32)/(-10))/(6/75). Suppose 3*f + 6*h - 3*h - 66 = 0, 2*f = 2*h + m. Is f a composite number?
True
Let p(o) = 8*o**3 + o**2 - o + 1. Let g be p(1). Suppose 0 = 2*r + 3*h - 19, 0 = -3*r + h + 4*h - 19. Let b = r + g. Is 