 - 3*z**3 - 2*z**2. Is v(w) a composite number?
True
Let w(m) be the first derivative of -5*m**4 + m**2 + m + 6. Is w(-1) a prime number?
True
Suppose w = 5*d - 4*w - 45, -3*d + 5*w + 35 = 0. Suppose 0*x + d*x = -1650. Is -1 - (x + 4/(-2)) a composite number?
False
Suppose 4*u + 4*q + 17 = 5, 2*u - 4*q - 12 = 0. Let z be 2 - 1/(-2)*u. Is z/(-2) + 1 + 22 prime?
False
Let y = -1 - 2. Let j be (-11)/y*(-3 + 6). Suppose -37 = -x - j. Is x composite?
True
Let n(v) = v - 8. Let r be n(11). Let y = 7 - r. Suppose a - 70 = -4*a + 4*z, y*a + 2*z - 30 = 0. Is a a prime number?
False
Let t = 1959 - 968. Is t composite?
False
Is 4/(12/5535) - -2*1 a prime number?
True
Let b(y) = -34*y - 3. Let j be b(7). Let z = j - -356. Is z composite?
True
Let f be ((-3)/2)/(12/(-16)). Suppose 92 = -f*l + 4*l. Is l composite?
True
Suppose 5*b - 551 = 84. Is b prime?
True
Suppose -10*b + 263 = -9*b. Is b prime?
True
Let l(v) = 7*v**2 - 14*v - 5. Let x be l(6). Is (x/(-2))/((-2)/4) prime?
True
Suppose 0 = -q - 803 + 21. Is q/(-6) - (-4)/6 a composite number?
False
Let x(w) = 124*w**2 - 2*w + 1. Suppose 9*o = 4*o + 10. Let r(i) = -i**2 + 2*i + 1. Let k be r(o). Is x(k) composite?
True
Let y = -47 - -66. Suppose -r + 72 = -y. Is r a prime number?
False
Suppose -2*v - 1 = -11, 35 = 5*i + 5*v. Suppose -3*n = -15, 2*m - 4*m + 8 = -i*n. Suppose 5*q = -3*h + 200, 3*q = -h + 133 - m. Is q a composite number?
False
Suppose -5*v + v = 8. Is (57 + 0 + v)*1 a composite number?
True
Is (-137049)/33*(-1 + 1 + -1) a composite number?
False
Suppose 5*w - 2 = 3*t + 1, 3*w + 3*t + 3 = 0. Suppose -4*b + 145 = -2*s - 115, 0 = 5*b - s - 331. Suppose j + w*j - b = 0. Is j prime?
True
Is 28645/55 + (-4)/(-22) prime?
True
Suppose -3*a + 480 + 204 = 0. Suppose l = 3*l + 2*i - 242, -2*l + 5*i = -a. Is l prime?
False
Suppose 0 = -2*p - 4, 0 = -a + 3*p + 4 + 1. Let j be ((-12)/10)/(a/(-5)). Let i = 9 - j. Is i a prime number?
False
Let k(b) = b - 5. Let r be k(5). Suppose r*v = -2*v + 14. Let d(h) = h**2 - 5*h + 8. Is d(v) a prime number?
False
Suppose 2*a - 8 + 0 = 0. Suppose 2*u - 32 = -4*b, -a*b + 3*u = 7*u - 28. Let j = 15 - b. Is j a prime number?
False
Suppose 5*t + 0 = -10. Is (20/30)/(t/(-603)) a composite number?
True
Let k(p) = -p - 9. Let u = -7 - 5. Is k(u) a prime number?
True
Suppose -7*p + 342 = -3*f - 3*p, -2*p - 6 = 0. Let j = -231 - -398. Let c = j + f. Is c composite?
True
Let q(g) = g**3 + 0*g**3 + 7*g**2 - 3 + 2. Suppose -i + 5*i = 4*l - 32, -i + 3*l = 12. Is q(i) prime?
False
Let k be 144/84*(-7)/(-2). Suppose -w + k*w - 455 = 0. Is w composite?
True
Let f = -659 + 1138. Is f a prime number?
True
Let u(m) be the first derivative of 5*m**2/2 - 5*m - 1. Let x(w) = -w**3 + 12*w**2 + 12*w + 17. Let d be x(13). Is u(d) composite?
True
Let b = 507 + -152. Is b a prime number?
False
Is -74*(-5)/(-5)*(-5)/2 prime?
False
Is 67*(-6 + 5 + 32) prime?
False
Let j(p) = 15*p**2 - p - 1. Let i be j(3). Let f = i + -36. Is f composite?
True
Is (-1041)/(-7) - (-6)/21 prime?
True
Suppose -4*z - 5 = -29. Is (-2 + (-400)/z)*-3 prime?
False
Let z(u) = 7*u**2 - 6*u + 7. Is z(4) a composite number?
True
Let h = -774 + 1295. Is h prime?
True
Suppose 0 = 4*s - s - w - 3200, 0 = -2*s + 3*w + 2131. Is s composite?
True
Suppose -h + 59 = -2*h. Let j = -40 - h. Is j prime?
True
Suppose -3*q = -3*h + 1101, h = -3*q + 5*q + 372. Is h a composite number?
True
Suppose 4*x = o + 105, -3*o = 4*x + 43 - 144. Is x composite?
True
Let s = 46 + 81. Suppose -s = b - 2*b. Is b a composite number?
False
Is 1/(4168/1388 + -3) composite?
False
Let l(d) = -41*d - 5. Let g = -12 - -10. Is l(g) a composite number?
True
Let r = 23 + 1. Let x be r/((-6)/(-27)*3). Suppose 3*j - 10 - 14 = -3*i, -x = -3*i + j. Is i composite?
False
Suppose -5*f = 348 + 102. Let g = f - -714. Is (-2)/11 - g/(-44) a prime number?
False
Let c = 24 - 63. Let g = 15 + -41. Let l = g - c. Is l composite?
False
Suppose -3*f - 4*p = -58, 3*f - 2*f - 26 = -3*p. Let j = 25 + 38. Suppose -c = -f - j. Is c prime?
False
Let d = -2507 + 4216. Is d a composite number?
False
Suppose 0*i - 10 = -2*i. Suppose -2*u = -i*u + 3. Is (-7*u)/((-3)/87) a prime number?
False
Let u(o) = -23*o + 6. Is u(-11) a composite number?
True
Let f be 20/6 - (-8)/12. Suppose 0 = s - 4 + 2. Suppose s*r = f*r - 30. Is r a composite number?
True
Suppose -i - 4 = -4*d + 4, -3*i - 64 = -2*d. Let b = 68 - i. Suppose -c = -3*c + b. Is c a prime number?
False
Let j = -5 - 0. Let y = j + 4. Let w(a) = -2*a + 1. Is w(y) a composite number?
False
Suppose 50 = -2*m + 7*m + 3*d, -3 = m - 2*d. Let v(o) be the first derivative of -o**4/4 + 2*o**3 + 4*o**2 - 4*o + 2. Is v(m) prime?
True
Let g(h) = 2*h**3 + 4*h**2 + 3. Let k be g(3). Suppose -5*m = -c + 67, 0 = -c - 3*m - 10 + k. Is c prime?
False
Suppose -x - 4 = 0, 4*f = 2*x - 4*x + 1620. Is f composite?
True
Let h be ((-1)/(-3))/(2/582). Suppose 0 = v + 8 - h. Is v a composite number?
False
Suppose 4535 = 5*j - 2*l, -5*j + 2*l = -3*l - 4535. Is j a composite number?
False
Let a(s) = s**2 - 14*s - 2. Let v be a(14). Is -226*(-1 + v/(-4)) prime?
True
Let w = 1309 - 678. Is w prime?
True
Suppose -p + h + 5 - 1 = 0, -4*h = -5*p + 16. Suppose 4*i + n - 12 = 2*i, -3*n + 6 = p. Suppose 3*d = i*d - 68. Is d prime?
False
Suppose -2 = 4*z - 5*n + 7, 13 = 2*z + n. Suppose -o - 2*a = o - 44, z*a = 2*o - 32. Is o - (-4 - (1 + -2)) a composite number?
False
Suppose -s + 272 = u, 2*u = -4*s + 7*u + 1061. Is s composite?
False
Is (5072/12 + 3)*3 prime?
True
Let p = 3 + -3. Suppose -3*d + 3 = -p*d. Is 9*7 - (-3 + d) a composite number?
True
Let p be (-1)/3 - (-55)/3. Let n be 16/(-10) + 3/5. Let o = p - n. Is o a composite number?
False
Suppose p + p - 10 = 0. Suppose 2*l - p*l + 57 = 0. Is l a composite number?
False
Let i(g) = g**2 - 8*g - 9. Suppose -45 = -7*z + 2*z. Let x be i(z). Let t(b) = b + 10. Is t(x) a prime number?
False
Let g(d) = d + 9. Let h be g(-4). Suppose 0 = -b - 4*y + 43, 2*b + 5*y = h*b - 78. Is b a prime number?
True
Let r(k) = -355*k - 4. Let d be r(3). Let s = -17 + 8. Is 4/18 + d/s a prime number?
False
Let d = 789 - 412. Is d prime?
False
Let d be ((-178)/(-8) + 0)*4. Let u be (-1)/4 + (-215)/4. Let b = d + u. Is b a prime number?
False
Suppose 224 = 3*j + 23. Is j a prime number?
True
Let o = -8 - -11. Suppose h - 3*c - 40 = 0, 61 = o*h - 4*c - 69. Is h prime?
False
Let u be 1*(-2)/(-1) - -13. Suppose 2*z + 4 - 21 = -a, -a - z = -u. Is a composite?
False
Suppose 0*v - 3*v + 12 = 0. Suppose 2*u = -4*n - v, 5*u + 2*n = 15 - 1. Suppose 844 = u*j - 0*j. Is j a composite number?
False
Let f = 2806 + -1943. Is f prime?
True
Let h = 1479 - 501. Suppose 0 = -3*j - 3*l + h, -4*j = 5*l - 624 - 680. Suppose -3*x = -j + 35. Is x a prime number?
True
Let n = 87 + -26. Let y = n - 26. Is y a composite number?
True
Let p(q) = 23*q**2 - q - 5. Is p(-3) composite?
True
Let q(w) = -14*w**2 - 1. Let o be q(1). Let l = -8 - o. Suppose 2*u - 42 = -3*f + l*f, -92 = -5*u - 3*f. Is u a prime number?
True
Suppose -2*q + 13 = 3. Suppose -3*k + 203 = 2*f, -3*f - q*k + 206 = -101. Suppose f = -3*v + 361. Is v composite?
False
Is (-2)/(-8) + 1430/8 a prime number?
True
Let h be (2408/(-4) + 0)/(-2). Suppose -2*s - j = -192, -3*j - h = -3*s + 2*j. Is s composite?
False
Let a = -174 - -123. Let j = 113 + a. Is j composite?
True
Let t be -7 + 8 + -1 + 0. Suppose r + t*g - 82 = -3*g, g = r - 86. Is r prime?
False
Suppose 4*f - 8 = -0. Suppose -1424 = -2*j - 2*j + 4*o, 696 = f*j + 2*o. Suppose 124 = 4*v - j. Is v prime?
False
Suppose z - 2*a - 63 = -0*a, 8 = 2*a. Is z a prime number?
True
Suppose -2*y + 346 = -422. Suppose -3*x - x = -4*p + 1568, 0 = p + x - y. Let d = p - 261. Is d composite?
False
Let j(x) = -x**2 - 9*x - 4. Let u be j(-12). Is (-10)/(-4)*(-2544)/u composite?
True
Suppose -33 - 7 = 2*y. Let t = 57 + y. Is t a composite number?
False
Let b = -460 + 869. Is b composite?
False
Let h(b) be the first derivative of -b**6/360 + 3*b**5/40 - 5*b**4/24 + b**3/3 + 2. Let f(p) be the third derivative of h(p). Is f(6) a prime number?
True
Suppose 0*a + 3*a - 117 = 0. Let b(w) = -6*w + 2. Let i be b(-6). Let r = i + a. Is r a composite number?
True
Let q = 2409 + -1628. Is q a prime number?
False
Suppose 0 = -5*g - 3*s + 28, 3*g = -3*s + 2*s + 20. Is (-1044)/