
Let h(f) = 6*f - 3. Let m be h(2). Let q(w) = -1. Let t(o) = o**3 - 11*o**2 + 8*o + 9. Let r(v) = 2*q(v) - t(v). Is r(m) a composite number?
False
Suppose 0 = -5*a - 5*h + h + 797, -a = -h - 154. Is a a composite number?
False
Let p(y) = -21*y - 3. Let c be p(6). Let n be c/(-1) - (-1 - -1). Suppose 2*f = 6*f + 4*b - 108, -b - n = -5*f. Is f a prime number?
False
Let x be (-30 + -1)/((-2)/2). Suppose 5*o - 28 = -d, 2*d - x + 3 = 4*o. Suppose 0*m = -2*m + d. Is m a composite number?
True
Suppose -2*p = -3*o + 2, -14 - 6 = -5*o. Suppose -4*h = 2*s - 648, 0 = -7*h + 2*h + p*s + 825. Is h composite?
False
Let o(h) = 2*h**2 - 4*h + 2. Let w be o(2). Suppose y + 246 = -w*y. Let g = -23 - y. Is g composite?
False
Is 4*241 + 9*(-4)/(-12) prime?
True
Let z = 20 - 21. Is z - (4/2 + -538) composite?
True
Let d = 111 - 16. Is d a composite number?
True
Is 3*4/6 + 189 prime?
True
Suppose -j = -3*j - 4. Is 22/(-10)*(j + -3) a composite number?
False
Is 3/(6/10)*11 a composite number?
True
Suppose -4*c - 10 = -5*c. Suppose -c - 25 = -5*m. Is m a prime number?
True
Let j be 3/(-3 - (-496)/164). Suppose s - 3*s - v = -211, -s + j = 4*v. Is s a prime number?
True
Suppose 5*o = -0*o + x - 10, -4 = 2*o - 3*x. Is (2 - (-435)/(-6))*o a composite number?
True
Let o(a) = a**3 + 7*a**2 + 6*a + 10. Let s(p) = -2*p**3 - 15*p**2 - 13*p - 21. Let c(b) = 5*o(b) + 3*s(b). Is c(-10) prime?
False
Let u(d) = 66*d + 7. Let z(f) = -133*f - 14. Let w(o) = 5*u(o) + 2*z(o). Is w(3) a composite number?
False
Let j be 2 - (0 + 1 - -30). Let t = j - -114. Is t prime?
False
Suppose 5*s - 6 = g, s + 2*g - 4 = 6. Is (-216)/(-16) + 3/s composite?
True
Suppose 6*m + 48 = 4*m. Is m/(-32) - (-1762)/8 composite?
True
Let l be 0/(-2 + 5) + 2. Let v(g) = 49*g - 3. Is v(l) a composite number?
True
Suppose -2*s = 4*i - 3958, -7913 = -2*s - 2*s - 5*i. Is s a composite number?
True
Let v = -1 + -1. Let a be (-2)/(-4) - 7/v. Is a/12*3*11 a composite number?
False
Suppose -3*i + 10267 = 5*f + 1605, -6936 = -4*f + 4*i. Is f composite?
False
Suppose -2*j - 2 = 4*i + 3*j, -3*i - 2 = 4*j. Let x(l) = -8 + 7 + 0*l**2 + i*l**2 + 4*l. Is x(-6) prime?
True
Is ((-34)/3)/((-6)/27) a composite number?
True
Let u(j) = -63*j + 1. Suppose 0 = -3*v + f + 1, -3*v - v + 5*f = -5. Suppose -5*l - 4 = 3*h, v = -h - 2*h + 6. Is u(l) prime?
True
Let t = 2 - -14. Let x be 9/(-2)*t/(-6). Let k = x - -25. Is k composite?
False
Is (7405/15)/(4/12) a prime number?
True
Let i(q) = 339*q + 1. Is i(2) a composite number?
True
Let m(c) = c**2 - 5*c - 14. Let g be m(7). Suppose g*k - 147 = -3*k. Is k a prime number?
False
Let g be 44/(-6)*42/(-4). Suppose 5*f = -5*i + 255, -i + g + 23 = 2*f. Is f prime?
False
Let k(i) = i**3 + 11*i**2 + 4*i + 13. Let w be k(-10). Let r = -22 + w. Is r a composite number?
True
Suppose -6 - 6 = -2*b. Let m = 10 - b. Suppose m*d + d = 325. Is d a composite number?
True
Let u be 16/1 - (-12)/(-4). Suppose 5*g - 12 = u. Suppose -g*b + 1876 = -b. Is b a composite number?
True
Let i(b) = -b**3 + 11*b**2 + 2*b + 1. Let u be i(10). Suppose 0 = -3*j + 2*j + 4*q + u, 5*j + 3*q = 674. Is j a prime number?
False
Suppose -4*r - c + 1 = -2*r, 0 = -r - 3*c + 13. Let t = 4 + r. Suppose -56 = -t*k + 4*a, -5*k + 2*a = a - 113. Is k prime?
False
Suppose 3*s + 20 = -10. Let j be (0 - -1)/((-1)/1). Is (28/s)/(j/5) a composite number?
True
Suppose 3*q - 132 = -5*z + z, -q = -4*z - 44. Let v be (-130)/(-6) - 6/9. Let u = v + q. Is u prime?
False
Let t(a) = -33*a - 7. Is t(-6) prime?
True
Let v = 222 + -157. Is v a prime number?
False
Let r(h) = h**2 + 1. Let b be r(1). Let d be 2/(-8) - 2218/(-8). Suppose -4*y = -5*u + d, b*y = 4 - 0. Is u prime?
False
Let d = 203 - -206. Is d a composite number?
False
Suppose -2*l + 134 = -188. Is l composite?
True
Let k(a) = 8*a**2 + 0*a - 8 + 2*a + 1 - 14*a. Is k(-9) prime?
False
Let o = -111 + 962. Is o prime?
False
Let z(a) = 2*a**3 - 18*a**2 - 3*a - 29. Is z(18) prime?
True
Suppose 0 = -6*c - 998 + 4796. Is c a composite number?
True
Suppose 5*x = 3*w - 124, 0 = -4*w + x - 5*x + 176. Is w a prime number?
True
Let p(q) = q**3 - 6*q**2 - 16*q - 3. Let j be p(8). Let i be -1 - -3 - 9*1. Let n = j - i. Is n a composite number?
True
Suppose -2*c - 11 - 5 = 0. Let q = -6 - c. Suppose -q*g - 2*g = -652. Is g a prime number?
True
Suppose -3*j = 6*g - 5*g - 466, 0 = 3*j + 4*g - 451. Is j a composite number?
False
Let u be -4*2*4/(-8). Suppose -m - m + 2*a = -984, -u*m + 1973 = -3*a. Is m a prime number?
False
Suppose -4*r = r + 5*u + 450, 4*r + 354 = -2*u. Let c = 146 + r. Is c composite?
False
Suppose 0*t - 2*t = -4. Is 1025/45 + t/9 a composite number?
False
Let i be (18/12)/(3/16). Is (i/10)/(10/75) prime?
False
Let r = -5 + 11. Let a be 24*4/r + -1. Suppose a = 2*u - 4*j - 7, u - 5*j - 23 = 0. Is u prime?
True
Suppose -3*b + 8*b = 20. Is 214/4 - b/8 prime?
True
Let j(u) = -u**2 + 10*u + 9. Is j(8) a prime number?
False
Let b(v) = 2*v**3 + 7*v**2 + 6*v + 2. Let l(s) = -s**2 + 1. Let c(w) = -b(w) + 4*l(w). Is c(-7) composite?
False
Let y be 12/(-18)*(-6)/(-4). Let w be 2*128 - (y + 2). Suppose 3*p = -2*p + w. Is p prime?
False
Let p(x) = x**2 + 3*x - 14. Is p(-7) prime?
False
Suppose 0*k - k + 121 = 0. Is k a composite number?
True
Let i(o) = -11*o**2 - 2*o - 3. Let x be i(-5). Is (-9)/15 - x/5 a composite number?
False
Let s = 2884 - 327. Is s a composite number?
False
Let u(h) = -2*h + 10. Let d be u(5). Suppose 2*m + d*m = 356. Is m composite?
True
Let h = 335 - 133. Let n = -94 + h. Let s = n + -61. Is s prime?
True
Let j = 163 - 68. Is j prime?
False
Let h be 40/7 + (-2)/(-7). Let j be 44/(-2 - -6)*3. Suppose -3*q + h*q = j. Is q a prime number?
True
Let d = -109 + 19. Let c = -57 - d. Let a = c + 14. Is a composite?
False
Let o be 4/(1 - (-3)/(-2)). Let y be -6*(2 - o/(-6)). Is ((-2)/y)/(3/354) a composite number?
False
Let n(m) = m**3 + 9*m**2 + m + 6. Suppose 2*o = -4*a - 26, 0 = a + 2*o + o + 4. Is n(a) prime?
True
Let r be -3*(22/6 - 3). Let n be -2 + (2 - r) + 0. Is ((-2)/n)/(3/(-267)) a composite number?
False
Suppose -3*g + 2 = -4. Suppose 0 = g*y + 3*y - j - 1059, 5*j + 442 = 2*y. Is y composite?
False
Let h(o) = o**2 + o + 2. Let p be h(-2). Suppose 0 = 2*y + 10, t = -4*t + p*y + 1675. Is t a composite number?
False
Let s = -684 - -977. Let a = 416 - s. Is a a composite number?
True
Let o(h) = -23*h - 16. Let u(y) = -2*y + 5. Let t be u(7). Is o(t) prime?
True
Let s(t) = 3*t**2 + 5. Let y = 1 - -1. Suppose y*w + 0*f - 2 = -3*f, -4*w - f + 14 = 0. Is s(w) composite?
False
Suppose r + 6*o - 4*o = -5, o = 3*r - 20. Suppose r*p - 3335 + 1240 = 0. Is p composite?
False
Suppose 73*f - 476 = 69*f. Is f prime?
False
Is -3 + -1 + 1 - -94 a composite number?
True
Is ((4 - 7) + 8)*29 a prime number?
False
Let l = 30 - 5. Let k = l - 2. Is k composite?
False
Let f be (10 - 3) + -2 + 0. Suppose 0 = f*y - 4*y. Suppose -h + 55 = -y*h. Is h a composite number?
True
Suppose 3*p - 13 = 2*g, 22 = 3*p - p - 4*g. Let b(r) = -2*r + 3. Let x be b(3). Is (x*83/(-3))/p a prime number?
True
Let t be (23/(-2))/(2/(-4)). Suppose t = 2*v - 7. Is v composite?
True
Suppose 0 = 2*q + z - 177, -z = 3*q + q - 351. Is q prime?
False
Let u(n) = 13*n**2 - 4*n - 2. Is u(-3) a composite number?
False
Suppose -v - v - 5951 = -5*d, 3*d - 2*v - 3573 = 0. Is d a composite number?
True
Suppose 65 + 126 = s. Is s composite?
False
Let q = 257 + -593. Let a = q + 220. Let g = a - -171. Is g a prime number?
False
Suppose 4*k + 2*s + 34 = 0, -3*k - 40 = 2*k + 5*s. Is (-4)/(-6) - 48/k a composite number?
True
Suppose -56 = 2*u - 0*u. Let z = 10 + u. Is (2/3)/((-4)/z) prime?
True
Let u(a) = -28*a - 47. Is u(-21) prime?
True
Let m(w) be the second derivative of -13*w**4/24 - w**2/2 + 4*w. Let u(n) be the first derivative of m(n). Is u(-7) composite?
True
Let m = -1614 - -606. Is (-2)/6 + m/(-27) a composite number?
False
Suppose 2*r + 18 = 2*j, -5*r - 5 = j + 16. Suppose -2*q + 3*y - j = -97, 0 = -2*y + 2. Let t = q + -25. Is t composite?
False
Let t be (2/3)/(2/6). Suppose t*a - 43 = a. Suppose a = -4*j + 199. Is j a prime number?
False
Let p = 208 - 79. Is p composite?
True
Suppose p + 3 - 8 = 0. Suppose p*f = 100 + 1195. Is f prime?
False
Let o(z) = z**2 - 6*z - 18. Is o(-14) a composite number?
True
Let g(k) = 2*k - 