= 4*j + 5*p - 55, 0 = -2*p. Is j composite?
False
Let w = 300 - 187. Is w a prime number?
True
Suppose -3*b = -8*b - 2*a + 28, -2*b + 11 = a. Suppose 0 = f + 2*f - b. Suppose 4*d + 296 = 3*k - 85, -5*d = f*k - 277. Is k a composite number?
False
Suppose 0 = 3*u - 45 + 15. Let r be (-14)/35*u/(-1). Suppose 0 = 2*p - 4, -3*g = -2*g - r*p - 2. Is g prime?
False
Is (6/8)/(20/4720) composite?
True
Let m = 390 - 227. Is m prime?
True
Let w(u) = 22*u**2 + 3*u + 15. Is w(-8) composite?
False
Suppose -5*x + 3 = -12. Suppose u = x*o - 92, 2*o - u = o + 30. Is o composite?
False
Let n(r) = -2*r**3 - r**2 - 3*r - 1. Is n(-3) composite?
False
Let x(y) = -y**2 + 5*y - 4. Let g be x(4). Suppose 5*o + 0*o - 2115 = g. Is o/5 + 4/10 a prime number?
False
Suppose -2*g + 2*r = -r - 12, 6 = -3*r. Suppose 2*f = g*f - p - 396, 25 = -5*p. Is f prime?
False
Let u = -18 - -33. Is u a prime number?
False
Suppose 4*k - 14 = 2. Suppose 7*z - 483 = k*z. Is z prime?
False
Let u = 18 + -18. Suppose 48 = 4*w + 5*l + 2, u = 4*w + 4*l - 48. Is w composite?
True
Let i(x) = 2*x**2 + 6*x - 8. Let b be i(-9). Let j = b - 13. Is j prime?
False
Let h = 2105 - 1216. Is h a prime number?
False
Let p(c) = 63*c - 4. Suppose 0 = 5*l - 4 - 31. Let y be p(l). Suppose -5*w + y = 3*n, 7*w - 4*w - 275 = -5*n. Is w composite?
True
Let i(v) be the second derivative of v**5/5 - 2*v**4/3 - 5*v**2/2 + 5*v. Is i(4) composite?
True
Suppose 844 = -0*m + 4*m. Is m prime?
True
Let t = -209 - -449. Suppose -2*o + t = o - 3*w, -5*o - w = -394. Is o prime?
True
Let a(h) = 2*h + 2. Is a(16) prime?
False
Let c(m) = -m**3 + m**2 + 2*m - 2. Let b be c(5). Let h = -27 - b. Is h a prime number?
False
Suppose 2*f = 2 + 4, f + 66 = 3*w. Suppose -w = g + 21. Is g/(-8) + (-2)/(-4) composite?
True
Let y = 151 - 21. Is ((-5)/(-10))/(1/y) composite?
True
Let l(o) = 2*o**3 + 6*o**2 + 7*o - 5. Let h be l(-6). Let v = -132 - h. Is v a composite number?
False
Let y = 14 + -8. Let o(g) = -g**2. Let f(m) = 2*m**2 - 9*m + 7. Let q(n) = -f(n) - o(n). Is q(y) a prime number?
True
Let n(p) = 1201*p**3 - 2*p**2 + 6*p + 1. Is n(2) a prime number?
True
Suppose 2*t - 3 = 5*o, -5*t - o + 22 - 1 = 0. Suppose 6*p - 38 = t*p. Is p prime?
True
Let o(n) = -n**2 - 6*n + 2. Let t be o(-6). Suppose 0 = a + q - 3*q - 26, -t*a + q = -37. Let f = 17 + a. Is f composite?
True
Suppose 2263 = -3*s - 4*v + 6324, -2*s + 4*v = -2694. Is s composite?
True
Let b(v) = 48*v**3 - v**2 - 13*v - 5. Is b(4) a prime number?
True
Let y(v) = 101*v**2 - 8*v - 11. Is y(-4) a prime number?
True
Let m = -22 - -9. Is -2 + 2 - m - -2 composite?
True
Let f be (-377)/(-5) + (-4)/10. Let o = 112 - f. Is o a composite number?
False
Let s(x) = -11*x + 3. Let f(y) = -12*y + 3. Let t(j) = 3*f(j) - 2*s(j). Is t(-13) composite?
True
Suppose w = 6 - 2, x - 34 = -2*w. Suppose l - x = 29. Is l a composite number?
True
Suppose 550 = -5*d + 1605. Is d a prime number?
True
Let y(m) = 2*m + 22. Let q be y(-10). Suppose -2*b - 2*l = -126, -5*b + 323 = q*l + l. Is b a prime number?
True
Suppose 0 = 5*v - 16 - 439. Is v prime?
False
Let a = -30 - -19. Let q be (a + 1)/((-3)/45). Is q - (4 + -1)/3 prime?
True
Let w = -80 + 221. Suppose -7*a - 20 = -3*a, 5*a = -2*x + w. Suppose l = -2, 0*l + 2*l + x = t. Is t prime?
True
Is 4878/4 - 1/2*1 a prime number?
False
Let k(z) = -6 - z**2 + 0*z**2 - 5*z + 3*z**2. Is k(8) composite?
True
Let i(t) = 3*t**2 - 31*t - 5. Is i(-16) a prime number?
True
Let r(u) = 64*u**2 - 2*u - 3. Let t be 1 + 1 - (1 - -3). Is r(t) a prime number?
True
Let a = 37 + 76. Let h be -1*9*9 + 2. Let t = h + a. Is t a composite number?
True
Let u = 26 - -5. Is u a prime number?
True
Suppose -20 = -3*s - 2*a - 2*a, 2*a = -4*s + 10. Let f = s + -11. Is 3/((-6)/f)*6 composite?
True
Let h(u) = u + 11. Let p be h(-11). Suppose -s = r + 2*s - 85, 5*r - 5*s - 505 = p. Is r a composite number?
False
Let t(g) be the first derivative of -g**6/120 + g**5/20 + g**4/12 - g**3/6 - g**2/2 + 1. Let b(v) be the second derivative of t(v). Is b(-3) prime?
True
Let x = -2 - -6. Suppose -3*o - 2*t + 18 = -t, -x*o + 11 = -3*t. Suppose 5*q - 110 - o = 0. Is q prime?
True
Suppose 2*v - 31 = v - 5*h, 3*h = 9. Let d = 71 - v. Is d composite?
True
Let o(f) = f**3 - f**2 - 2*f. Let u be o(2). Suppose r - 12 = -3*r + l, u = 5*l. Is r composite?
False
Suppose g - 1019 = 5*m - 224, -2*m = 5*g - 3921. Is g a composite number?
True
Let r(c) be the first derivative of -37*c**2/2 + 2. Is r(-1) a prime number?
True
Let h be (3/4)/(1/20). Suppose -w = -2*q - h, -q - 6*w = -9*w. Is (-330)/q - 1/(-3) a prime number?
True
Suppose 3*q = -3*z + z + 617, 0 = 2*q + 6. Let x = 740 - z. Is x composite?
True
Let s = 171 + 208. Is s composite?
False
Let b = 65 + -30. Is b a prime number?
False
Let l be 1*-306 - (-1 - -1). Let c = -187 - l. Is c a composite number?
True
Let y = 533 + -66. Is y a composite number?
False
Let j = 7 - 3. Let r be -1*0/(-2) + j. Suppose r*q - 12 = -0*q, 3*q = -3*z + 78. Is z a composite number?
False
Let s(k) = k**3 + k**2 + 2*k + 2. Let c be (3 + -8)*4/10. Let x be s(c). Let y = x - -9. Is y a prime number?
True
Is (1 - -88)*(-1 - -2) prime?
True
Let l = -24 + 133. Is l composite?
False
Suppose 0 = 5*n + 5*m - 3230, 2*m - 8 - 2 = 0. Is n prime?
True
Let i(w) = -w + 1. Let g(h) = 5*h + 5. Let q(d) = g(d) - 4*i(d). Let t = -5 - -7. Is q(t) prime?
True
Is 1/(-3)*(-3 - (-1 - -139)) composite?
False
Let m be ((-28)/8)/((-1)/(-2)). Let g = m - -14. Is g a composite number?
False
Let n(x) = -x**3 - 2*x**2 + 2. Let z be n(-2). Let q be (-3)/(-12)*2*z. Suppose -4*t + 5*y + q = 0, -2*t + 3 = -5*y + 10. Is t composite?
True
Suppose 4*p + 3 = -3*z, 0*p = -2*z + 3*p + 15. Suppose 3*n = -z*o - 2*o + 62, 0 = -4*o - 4*n + 48. Is o a prime number?
True
Suppose -109 - 121 = -5*a. Is a prime?
False
Let s(a) = -3 - 2 + 4 + 3*a + a. Let g be s(1). Let z = 0 + g. Is z composite?
False
Suppose -2*q + p + 248 = 0, -4*q - q + 3*p + 621 = 0. Is q composite?
True
Let u(n) = n**2 - 8*n + 11. Let k be u(9). Suppose 0 = r - 3*r + k. Is r prime?
False
Let q(a) = -92*a + 2. Let j be q(-14). Suppose -9*b = -3*b - j. Is b a prime number?
False
Suppose 0 = 3*c - 3 + 18. Is c/((-5)/2) - -87 a composite number?
False
Let o be (3 - 6/3)*7. Let b be o*13*(3 - 1). Let g = b + -103. Is g prime?
True
Suppose -2*r + 12 = 2*n - 4, -r - 4*n = -17. Suppose -3*d - 5*l = -0*l + 4, 2*d + l - 2 = 0. Suppose -94 = -4*b + d*s, -r*b + 36 = 3*s - 54. Is b composite?
True
Suppose -149 = 5*y - 14. Is ((-414)/y)/((-2)/(-3)) prime?
True
Suppose 0 = t - 5*m + 22, 4*m - 24 = t - 2. Let j be 4/(-10) + t/(-5). Let l = j - -61. Is l composite?
True
Let b be ((-4)/12)/(1/(-57)). Let s = b + 2. Is s a prime number?
False
Suppose -2*j + 3 = -5. Is j/12 + (-752)/(-3) prime?
True
Suppose 5*n = n + 12. Let q(h) = -4*h**3 + n + 4*h**3 + h**3 + 7*h**2 - 3*h. Is q(-6) a composite number?
True
Suppose -2*h + 583 = -203. Suppose -g = 2*g - h. Is g prime?
True
Let z be 1/(-3) - (-145)/(-15). Let x be (-2)/z - (-14)/5. Is 4/6 + 316/x prime?
False
Let z(i) = -i**2 - i + 77. Suppose 2*a + 24 = -0*a. Let p be (-1)/4 + (-3)/a. Is z(p) prime?
False
Let b(r) be the second derivative of 23*r**4/12 + r**3 - 5*r**2/2 + 3*r. Let u be b(4). Suppose 3*i - 2*j - u = 0, -4*i + 517 = j - 4*j. Is i a prime number?
True
Let y(n) = 364*n + 4. Let j be y(4). Let o(g) = g - 4. Let t be o(0). Is j/44 + t/22 a prime number?
False
Is ((-6)/5)/(2/(-10)) composite?
True
Suppose -4*k + 0*n - 4 = 3*n, -4*k = -2*n - 16. Suppose -b + 90 = k*b. Let g = b + -20. Is g prime?
False
Suppose -14 + 38 = 2*n. Suppose k = -4, -l - 3*k + n + 1 = 0. Is l prime?
False
Suppose -2*y - 540 = d - 7*y, -d - 2*y - 512 = 0. Let k = d + 785. Is k a composite number?
True
Let p(j) = -j**2 - 6*j - 6. Let n be p(-4). Let q be (-1)/(-2) + 7/n. Suppose -q*s = 235 - 983. Is s a composite number?
True
Let c be (42/18)/(2/132). Suppose -5*s = -c - 3546. Let t = s + -441. Is t composite?
True
Let p(l) = 4*l**2 - 15*l - 32. Is p(11) prime?
False
Is (-33)/(0 - (-6)/(-22)) composite?
True
Suppose -5*h + r = -4*h - 1141, 5*r = -10. Is h a prime number?
False
Let i(t) = 22*t + 1. Let k be i(-1). Let c = k - -31. Suppose c = j - 12. Is j prime?
False
Let p(f) = -71*f. Suppose 4*k + 24 = -4*w - 0*w, -w - 5 = 0. Is p(k) a comp