 + 4 - 2. Let w = 33 + -30. Is z(w) composite?
False
Let y(w) = 1 - 2 - w**2 + 1 - w + 1. Let v be y(-2). Let z(q) = 33*q**2 - q - 1. Is z(v) a composite number?
True
Suppose -b = -0 - 1. Is -4 + 3 - (-14)/b a composite number?
False
Let h = 28 - -33. Suppose -42 = -j + h. Is j prime?
True
Let v be (2/(-3))/(4/(-6)). Let o be 5*(v + 0)/1. Suppose o*u - 69 = -14. Is u a composite number?
False
Suppose 2*m + i = 11, -3*m - 1 + 10 = -i. Let b(u) = -1056*u**3 - u**2 - u - 1. Let f be b(-1). Suppose -m*g = -9*g + f. Is g composite?
False
Suppose 14 = -2*z - 8. Let q(x) = x**3 + 10*x**2 - 11*x. Let h be q(z). Suppose -u + 113 = a, 4*a + h*u + u = 458. Is a a prime number?
False
Let f(n) = 4*n**2 + n**2 + 4 + 4*n + 0*n**3 + n**3. Let h be f(-4). Is 305/20 - 1/h prime?
False
Suppose 6*d = 2*d + 60. Suppose l = d + 17. Suppose -2*n + 4*n + 2*w = l, 4*n = 3*w + 85. Is n a composite number?
False
Let n be 1/(-2) + 462/4. Let h = 39 - n. Is ((-1)/(2/h))/2 a prime number?
True
Let q(c) be the third derivative of -c**5/60 - c**4/12 + c**3/6 + c**2. Let y be q(1). Is 3 + (-1)/(y/316) a prime number?
False
Let w(h) = -h**2 + 3*h - 1. Let s be w(4). Let y(g) = -g**2 - 6*g. Let p be y(s). Suppose -5*o - 3*r = -0 - 185, -5*r = -p*o + 145. Is o a composite number?
True
Suppose 0 = -k + 4*t + 143, -4*t + 8*t - 672 = -4*k. Is k composite?
False
Let r = 1394 - 397. Is r a composite number?
False
Let f(s) = -s**2 + 7*s + 4. Is f(5) a prime number?
False
Suppose 3*m = -m + 100. Let r = 92 - m. Is r composite?
False
Is (((-2982)/9)/(-7))/((-2)/(-3)) a composite number?
False
Let d = -2 + 7. Let x = -4 + d. Let f = 38 + x. Is f composite?
True
Let w = 6 - 1. Suppose -7*n = 2*p - 2*n + 2, -w*p + 5*n = 5. Is p/(((-6)/9)/2) composite?
False
Suppose -36*m = -33*m + 30. Let w be (1 + 0)*17 + -1. Let z = w + m. Is z prime?
False
Suppose 99 = 3*i + 273. Let j = i + 83. Is j a composite number?
True
Suppose -3*x = -3609 - 7332. Is x a prime number?
False
Let o be 1/(-3) + (-31)/(-3). Suppose -o*i = -12*i + 282. Is i a prime number?
False
Let q = -2 - -1. Is (-1)/(q/(-3)) + 41 composite?
True
Let x(c) = 11*c - 6. Let k be x(5). Suppose 3*y + 3*i - 5*i - k = 0, -2*y + 3*i + 41 = 0. Is y a composite number?
False
Let v(y) be the second derivative of -y**4/12 + 5*y**3/6 + y**2/2 - y. Let u be v(4). Suppose 0 = -3*j + u*j + 4*m - 58, -5*m = j - 17. Is j a composite number?
False
Suppose -3*r = -2*j - 0*r + 221, j - 2*r = 109. Is j a composite number?
True
Suppose 3*v + 34 + 17 = 0. Let q = -12 - v. Suppose -q*j + 2*t = -34 - 10, 2*j - 26 = -2*t. Is j a prime number?
False
Is (-966)/(-9)*6/4 a prime number?
False
Let w = 48 - 32. Is 612/w + (-3)/12 composite?
True
Let t be (49 + -1)/((-3)/(-9)). Suppose -3*w = -525 + t. Is w prime?
True
Is (-357)/(-34)*(-82)/(-3) composite?
True
Suppose -2*n = -n. Suppose c - 5*c + 296 = n. Is c a prime number?
False
Suppose 2*o = -2*c + 1114, 0*o - 2*c = -5*o + 2757. Is o composite?
True
Let m(d) = -4 + 2*d + 5*d**2 - 1 - 4*d**2. Is m(-4) a prime number?
True
Let w = 300 + -121. Is w a composite number?
False
Let u(g) = 17*g - 24. Is u(11) a prime number?
True
Suppose 3*v - 6 = -3*d, -3*v - 5 = d + 1. Is (d/3 + -1)*22 a prime number?
False
Let h(u) = u - 1. Let y be h(3). Is -118*(5/y - 3) a composite number?
False
Suppose -2*g + 13 + 501 = 0. Is g a composite number?
False
Let c = -57 + 39. Is 30/9*c/(-4) composite?
True
Let p(s) = 3*s**2 - s + 2. Let v be p(1). Suppose 4*w - 1027 = 5*b, b = -v*w - b + 1062. Is w a prime number?
True
Let k be -2 + (-285)/(-1) + -2. Suppose -5*r - 4*l + k = -0*l, 163 = 3*r + l. Is r composite?
False
Let h(n) = 391*n + 52. Is h(7) prime?
True
Suppose -2*s = 2*s. Let i = s - -2. Suppose -3*j = i*j - 55. Is j a composite number?
False
Let r be 4/(0 - (2 + -4)). Is 50 - (1 + r + -6) composite?
False
Suppose -2*c = 2*l + 8, 3 = -2*l + 4*c - 5. Let j = -9 - l. Let f(t) = -8*t - 5. Is f(j) prime?
False
Is (27996/(-24))/((-1)/2) prime?
True
Suppose -5*l = a - 0*a + 21, -l - 5 = 0. Suppose -3*i + a*j - 3*j = -267, 0 = 2*j. Is i prime?
True
Let v(m) = m - 6. Let d be v(6). Suppose 0 = -4*b + 2*s + 4 + 522, -3*b - s + 392 = d. Is b a prime number?
True
Let z(o) = -o**2 + 10*o - 10. Is z(8) composite?
True
Let d = 49 + -28. Let h = 40 - d. Is h composite?
False
Let c be (-5)/(-15) + 14/(-6). Let k(m) = m**3 + 3*m**2 - 3*m + 5. Let g be k(-4). Is ((-262)/4)/(g/c) composite?
False
Let f(w) = 3*w**2 + 5. Suppose 4*u = -0*u - 16. Is f(u) a composite number?
False
Let a(n) = -n. Let m be a(-2). Let j(o) = 23*o**2 + 4*o - 3 - 3*o + 2*o. Is j(m) composite?
True
Suppose 292 + 233 = 5*z. Suppose 5*o = -20 + z. Suppose o = 5*h - q - 87, -40 = -2*h + 2*q. Is h prime?
False
Let j(m) = m**3 + 6*m**2 - 10*m - 14. Is j(7) composite?
True
Suppose -4*g - g + 2*s = -36, 4*g - 5*s = 22. Let o = -10 + g. Is 1/o*-310 - 0 composite?
True
Suppose p - 1276 = 4*v + 2*p, 2*p = 3*v + 957. Let i = -178 - v. Is i a composite number?
True
Let m(g) = -g**2 - g + 4. Let i be m(3). Let l(d) = 2*d + 12. Let v be l(i). Is 20 - (-2 + 4 + v) a composite number?
True
Let t be -2 + 3 + 1 + -2. Suppose 3*b + c - 320 = -t*c, 526 = 5*b - 2*c. Is b prime?
False
Let i(n) = 427*n - 15. Is i(2) composite?
False
Let q(l) be the second derivative of l**6/60 - l**4/24 - l**3/6 - 2*l. Let v(b) be the second derivative of q(b). Is v(-3) composite?
False
Suppose 0 = -2*p - p + 15. Suppose p*h + 16 - 201 = 0. Is h composite?
False
Let o = 12 + -23. Let f be 0/3 + (o - -1). Is (-66)/f + 10/25 a prime number?
True
Suppose 3*g + 6587 = -2*i + 4*i, 5*i = -4*g + 16479. Is i composite?
True
Let f(l) = -l**3 - 6*l**2 - 2*l + 2. Let s be f(-6). Let k = s - -95. Is k composite?
False
Let h be 608/28 - 2/(-7). Let f be h/8 + 2/8. Suppose f*t - 6*t + 69 = 0. Is t composite?
False
Let y(g) = -55*g + 9. Is y(-10) a composite number?
True
Suppose -4*d + 279 = -749. Is d prime?
True
Suppose -o + 2*h + 494 = -1663, 3*h = 2*o - 4319. Is o a prime number?
False
Let z(t) = 45*t**2 + 7*t + 4. Let o be z(-4). Suppose d - o = 665. Is d composite?
False
Suppose -3*a - 4*x - 16 = -56, -a - x + 12 = 0. Suppose -4*h = -a, 0*l + 46 = -2*l - h. Let q = -5 - l. Is q composite?
False
Let b = -107 - -52. Is (-286)/b*5/2 composite?
False
Let z = -3 - -1. Let m = 2 + z. Suppose m = 2*i - 3*x - 27, -4*i - 2 = 5*x - 23. Is i composite?
True
Let x(i) = -i**3 - 14*i**2 - 19*i - 15. Is x(-14) composite?
False
Let c = 1 - 1. Suppose c*m - 3*m - 3 = 3*j, j + 5*m = 19. Let y = j - -10. Is y prime?
False
Let f = 2014 + 59. Is f prime?
False
Suppose 0*g - g + 8 = 0. Suppose 0 - g = -2*c. Suppose -a = -2*a + c. Is a a prime number?
False
Let x(b) = 2*b - 5. Let p be x(4). Suppose -c = p*c + 252. Let i = 16 - c. Is i a composite number?
False
Is 6/10*(0 + 55) composite?
True
Let z(m) = -37*m - 14. Is z(-9) prime?
False
Let l(w) = w**3 - 9*w**2 - 16*w + 13. Is l(11) prime?
True
Let m(o) = -2*o**3 + o**3 + 4*o**2 + 6 - 8 - 2*o. Let n be m(2). Is -471*-2*n/12 a composite number?
False
Let b = -65 + 167. Let o be 3/(-1 + (-44)/(-46)). Let m = b + o. Is m a composite number?
True
Let i be 26 - (-1 - (-2 - 1)). Suppose 4*q + 3 = 3*j, 5*j = 3*q + i - 8. Suppose 3*s - 93 = f + f, -j*s = 5*f - 155. Is s prime?
True
Is (-6970)/(-51)*6/4 composite?
True
Suppose -4*c + w + 466 = -11, 3*w - 103 = -c. Is c composite?
True
Suppose k - 1 = 0, -5*k + 36 = 5*q - 59. Let z be -35*((-33)/(-15) - 3). Let m = z - q. Is m composite?
True
Let u be 10*(0 + (-4)/(-10)). Suppose u*g - 314 = 626. Is g a prime number?
False
Let t = -212 - 104. Let c = 461 + t. Is c a composite number?
True
Let p(f) = f**3 + 9*f**2 + 7*f - 3. Let h be p(-8). Suppose 2 = -c + h. Suppose 4*a - c*n - 135 = 0, -4*a + 4*n = a - 169. Is a a composite number?
True
Let h(a) = a - 2. Let f be h(7). Suppose 2*t + 0*t = 3*k + 4, f*t + k = 44. Is (18/t)/(5/20) a composite number?
True
Suppose 0 = -o + 2*o. Suppose -2*a + 534 = i + i, -2*a + 4 = o. Is i prime?
False
Suppose 2*p = -4, 16 = 3*d + 2*p - 7*p. Suppose -5 + 1 = d*i. Is (-89)/i*(-10)/(-5) prime?
True
Suppose -2*t - 14 = -4*t. Suppose a - 36 = -3*w, 0 = 4*w - 2*a + t*a - 48. Is (88/w)/((-4)/(-30)) prime?
False
Let h = -7 + 11. Suppose -h*l + 394 = -5*a + 39, 4*l = 3*a + 349. Is l prime?
False
Let v = 0 - -3. Suppose -2