114. Is z composite?
True
Let w(s) = -3*s + 0*s + 1 + 3*s + 6*s**2. Is w(-4) composite?
False
Suppose 85 = 3*h - 56. Let f = 0 + h. Is f a composite number?
False
Let w = 170 - 43. Is w prime?
True
Is 13350/70 - (-4)/14 composite?
False
Suppose -n + 2*b + 555 = 0, n = 3*b + 131 + 426. Is n composite?
True
Suppose -108 - 17 = -5*p. Suppose p = -w + 2*w. Is w composite?
True
Let u be (-1*2)/(4/(-6)). Suppose -u*n = -6*n + 6. Is n a prime number?
True
Is 42/(-63)*(-978)/4 a composite number?
False
Let d be (0/(0 + 1))/(-1). Let j be 18*(-2 + (-14)/(-4)). Suppose d = -2*q + j + 79. Is q a prime number?
True
Is (8/(-12))/((-8)/372) composite?
False
Let q(h) = h**3 - 2*h**2 + 9*h - 7. Is q(6) prime?
True
Let a(b) = 3*b**3 + 4*b**2 + 8*b + 2. Let m(u) = u - 1. Let z be m(5). Let p(i) = i**3 + i + 1. Let k(g) = z*p(g) - a(g). Is k(5) a prime number?
True
Is (12 - 11)*(-3118)/(-2) composite?
False
Let t(x) = 5*x**2 + 3*x - 31. Is t(-11) a composite number?
False
Suppose q = 4*n + 158, 3*n = -4*q + q + 429. Is q composite?
True
Let v = -2 - 1. Let o be 1322/(-6)*(v + 0). Suppose 2*c + 3*a = 280, -4*c = a + 91 - o. Is c prime?
False
Is (-4)/(-12) - 1264/(-6) composite?
False
Suppose 0 = -2*i + 4*i. Let j(y) = -y + 37. Is j(i) composite?
False
Let a be (-1 + 3)/2*5. Suppose 4*k - 539 = -a*d, 4*d = -0*d - 3*k + 432. Is d a composite number?
True
Let o be ((-2)/(-6))/((-2)/(-24)). Suppose 35 = f + 3*d, 84 = o*f + 2*d - 26. Is f composite?
True
Suppose -4*h = 8, -3*h + 717 = t - 0*h. Is t a composite number?
True
Suppose -5*u - 4 = k + 4, -5*u - 5*k = 20. Is -7*(70 + u)/(-3) a composite number?
True
Suppose 0*c = 4*c - 596. Suppose 0 = 4*g + 2*l - 14, -l - 15 = -3*g + 2*l. Suppose -g*u + f + 153 = 0, f = -3*u - 43 + c. Is u a composite number?
False
Suppose -5*k + p = 5, -3*k = -4*k + 5*p - 1. Let z = 1 + k. Suppose 5*v - 23 = r, 0 = -4*v - 3*r - z*r + 7. Is v composite?
True
Suppose 0 = -42*x + 38*x + 348. Is x composite?
True
Suppose 2 = -w + 3*w. Let b = 34 - w. Is b prime?
False
Suppose 5*z - 4918 = 4*r, -5*r = -0*z + 3*z - 2936. Is z prime?
False
Is 9/6*(105 - -1) prime?
False
Let k = -21 + -8. Let d = k + 71. Suppose -2*a = -d - 8. Is a prime?
False
Let b(l) be the third derivative of 1/2*l**3 + 3/10*l**5 + 0 - 3*l**2 - 1/6*l**4 + 0*l. Is b(2) prime?
True
Is ((-2 + 1)*1)/((-3)/2379) composite?
True
Suppose r - 52 = 2*r - 4*q, -2*r - 3*q - 82 = 0. Let u = -10 - r. Is u a composite number?
True
Suppose -21 = 3*o - 3*w, 7*o - w = 3*o - 19. Let k = o + 53. Suppose 0 = -2*c + k + 25. Is c prime?
True
Let w(c) = 34*c**2. Suppose 4*d - d - 3*b = -18, d - 4*b + 21 = 0. Is w(d) composite?
True
Suppose 0 = -3*v - 0*v + 3. Suppose -4*f + 8*f = -12, -5*b - 3*f + v = 0. Suppose b*l = -2*l + 44. Is l prime?
True
Let d(y) = -29*y - 7. Is d(-4) a prime number?
True
Is (-6623)/(-4) + 1 + (-4)/(-16) composite?
False
Let y be (-1 + 2 + 1)/1. Is 330 + (y - 2/2) composite?
False
Suppose -4*h - 2 + 20 = 2*l, -l + 3*h - 11 = 0. Let j be l*(-2)/6*-12. Let q = 7 + j. Is q a prime number?
True
Suppose 14 = 5*o + h - 6, -5*h = 2*o - 8. Suppose 7*d - o*d = 75. Is d composite?
True
Suppose -t - k = -3, -2*k - 3*k = -t - 21. Is t/4 - (-747)/12 composite?
True
Let l be 4/10 - (-6)/(-15). Suppose 4*g - 194 = -5*m + 28, 4*m - 5*g - 194 = l. Is m a prime number?
False
Let q(s) = 306*s + 1. Is q(1) composite?
False
Suppose -2*f + 2 - 124 = 0. Let r = f + 94. Is r a composite number?
True
Suppose 6*p = -4*p + 15430. Is p prime?
True
Let k be (3 - 5)/((-2)/283). Suppose 2*n + 3*u + 2*u = -323, 4*n + 654 = -2*u. Let p = k + n. Is p composite?
True
Let a(m) = -44*m**2 + 4*m + 7. Let s(l) = 22*l**2 - 2*l - 3. Let p(g) = 2*a(g) + 5*s(g). Is p(2) prime?
True
Suppose 3*n = -5*d + 6, -n = -4*d + d + 12. Let z(v) = 2*v + 2*v + v - d*v + 4. Is z(5) a prime number?
False
Suppose -2*i - 2*m = 2*i + 2, i + 3*m + 8 = 0. Let g be (6 - -1) + -2 + i. Is 3/9 + 88/g composite?
True
Is ((-1574)/(-6))/(-5 - 80/(-15)) composite?
False
Suppose 0 = 2*s + 3*s - 1845. Suppose 78 = 3*g - s. Is g composite?
False
Let i be (10 - -2)*1/2. Suppose -4*y + i = -y. Suppose 4*a + 3*l - 329 = -9, a - 69 = y*l. Is a prime?
False
Let z = 183 - -68. Is z a prime number?
True
Let t = -9 + 4. Is 3*3 - (3 + t) composite?
False
Suppose -3*d + 3*j + 11 = j, 4*d = -3*j - 8. Let t = d - 3. Is 53/t*4/(-2) prime?
True
Let l = -559 + 818. Suppose -3*d + 32 + l = 0. Is d prime?
True
Suppose -2*g - 18 = -3*g. Suppose -2*w + 2*j + g = 5*j, 37 = 3*w + 2*j. Is w a prime number?
False
Suppose 5*t + 5822 = 807. Let i = -704 - t. Is i composite?
True
Suppose -i + 1100 = -381. Is i composite?
False
Let y(c) = -c**2 + 5*c - 4. Let m be y(3). Let h = m + 2. Suppose -4*u = -3*u - h. Is u prime?
False
Let n(g) = 177*g + 16. Is n(5) composite?
True
Suppose 0 = -0*a + 5*a - 375. Let n = -42 + a. Suppose -b + n = -44. Is b composite?
True
Suppose -3*a + 6 = -4*v - 0, -2*v = 3*a - 6. Suppose -3*m - 2*z - 1 = 0, 0 = -5*m + a*z - 6*z - 5. Suppose 8*d = m*d + 175. Is d prime?
False
Let k(z) = -83*z - 35. Is k(-11) a composite number?
True
Suppose -4*l + 22 = 2*f, -3*f - 2*f = -3*l - 3. Suppose -l*t + 2 + 6 = 0. Suppose -t*c = -7*c - 2*p + 55, 5*c - 2*p - 55 = 0. Is c prime?
True
Suppose 0 = -3*n + 4*n - 1. Let d = n - -1. Suppose v - j - 31 = 0, 0*v + 4*v - 148 = -d*j. Is v a composite number?
True
Let n(v) = -2 + 4 + 6*v + 0 + 2*v. Is n(13) a prime number?
False
Suppose 52 = 5*c - 2013. Is c composite?
True
Let q(p) = 11*p**2 + 4*p - 4. Let x be q(3). Suppose 104 = v - x. Is v a prime number?
True
Let g(z) = -6*z**2 - 35*z + 30. Let a(t) = 3*t**2 + 18*t - 15. Let c(f) = -7*a(f) - 4*g(f). Is c(-12) composite?
True
Suppose -n = -5*n - 16, c = -5*n + 95. Is c a composite number?
True
Let z = 2405 + -1307. Let f = z + -687. Is f a composite number?
True
Let n(z) = 1. Suppose w + 24 = -3*w. Let a(s) = -s + 15. Let t(b) = w*n(b) + a(b). Is t(0) composite?
True
Let c = -825 + 1272. Is c composite?
True
Suppose 472 = 9*j - 5*j. Is j composite?
True
Suppose 3*z + z - 1256 = -4*y, -5*y = -4*z + 1283. Is z composite?
False
Let q(c) = -c + 2. Let d be q(8). Let r be (d/8)/((-1)/4). Suppose -s = -6*s + 25, r*s = -2*h + 77. Is h composite?
False
Let z = 89 + 150. Is z prime?
True
Let j be 2/4 - 3/(-2). Suppose 3*g - 4*w - 465 = -2*g, -79 = -g - j*w. Is g prime?
True
Let l(j) = -2*j + 8*j - 4*j**2 - 2 + 3*j**2. Is l(5) prime?
True
Let j = 418 - 83. Is j a composite number?
True
Let i(q) = q - 2. Let n(f) = f**3 - 5*f**2 + 2*f + 2. Let j be n(4). Let d be i(j). Let s = d - -17. Is s prime?
False
Let c = -4 - 2. Let x be (-2)/(c/(-837)*-1). Suppose i + 2*i = x. Is i composite?
True
Suppose 3*c - v - 9 = 0, 3*c + 0*v + 3*v = 21. Suppose -3*a = s - 14, 0 = a + c*s - 2*s + 2. Is a a prime number?
False
Let k = 322 + 1311. Is k prime?
False
Let c(r) = r**3 + 6*r**2 - r - 3. Let m be c(-6). Let l be (-8)/(-3) + 6/(-9). Suppose 3*o = l*w - 0*w - 32, -m*w - 5*o = -67. Is w a prime number?
True
Suppose 3*u + u = 508. Is u a composite number?
False
Suppose -2*l + 116 = -154. Let y = -82 + l. Suppose 0 = -0*h - h + y. Is h composite?
False
Let o(j) = 9*j**2 + 31*j + 19. Let f(v) = 14*v**2 + 47*v + 29. Let i(r) = -5*f(r) + 8*o(r). Is i(-10) prime?
False
Let n = 1 - 0. Let l(f) = f**2 - f. Let t be l(n). Suppose 2*i - 4*o + 5*o - 173 = t, 0 = 3*i - o - 272. Is i composite?
False
Let n(h) be the first derivative of 2*h**3/3 - 3*h**2 - 9*h - 3. Is n(10) a composite number?
False
Suppose -3*r - 2*r = -3540. Suppose 0*g = -3*g - r. Let d = -153 - g. Is d a composite number?
False
Let p(i) = 5*i - 7*i + 35*i - 1 + 18*i. Is p(4) composite?
True
Let g = 347 - 73. Is g a prime number?
False
Let c(t) = -t**3 - 3*t**2 + t. Let y be c(-4). Suppose 2*w = -2*z + 6, -4*z - 35 + y = -3*w. Is 20 + (-1)/(-2)*z composite?
False
Let f(b) = b**2 + 3*b - 1. Let t be f(-4). Suppose t*g - 285 = -2*g. Is g prime?
False
Let l = -234 + 335. Suppose -l = -2*p - 5*k, -5*k - 170 = -5*p - k. Is p composite?
True
Let n(o) be the second derivative of 0 - 2*o - 1/20*o**5 - 2/3*o**4 + 2*o**2 + 4/3*o**3. Is n(-9) a prime number?
True
Let t(r) = -r**3 + 4*r**2 + 6*r - 3. Let d be t(5). Is 21*d/(4/2) a prime number?
False
Suppose 2*u = -j + 73, -j - 4*j = -4*u - 393. Is j a composite number?
True
Let k(x) = 4*x - 