 Is s a prime number?
True
Let c be 336/(-3) - (2 - 3). Let d = -34 - c. Is d a prime number?
False
Let q(g) = g**2 + 35. Let w be 20*1 - (3 + -3). Suppose 2*y = 2*i + 10, y = -4*i - w - 0. Is q(y) composite?
True
Let o(x) = -x + 16. Let d be o(-8). Let c = d + 11. Is c a composite number?
True
Suppose -2763 - 387 = -4*h - p, -3*p = -h + 781. Is h a composite number?
False
Let g = 79 + -33. Is g prime?
False
Let s(d) = 23*d**2 + 6*d - 1. Let o(j) = 22*j**2 + 6*j - 1. Let r(v) = -3*o(v) + 4*s(v). Is r(5) composite?
True
Let j(b) = b - 4. Let t be j(-6). Let z be 176/t - 18/(-30). Let v = 162 + z. Is v a prime number?
False
Suppose -5 = 2*c - 15. Suppose 3*g - n = g + 96, -c*g = n - 226. Is g composite?
True
Let g(j) = -j**3 + 8*j**2 + 8*j + 10. Let k be g(9). Suppose 3*z + a = 15, -3*a + 8 = -k. Suppose 0*l - z*l + 76 = -4*c, -2*l - 4*c + 38 = 0. Is l prime?
True
Let o(b) = 44*b**2 - 12*b - 3. Is o(-7) a composite number?
False
Suppose 0 = 4*w + 5*b - 2, -4*b - 10 = -3*w + 7. Suppose r - 2*t = 132, 2*t - 6*t = -w*r + 388. Suppose -o - 4*q = -57, -r = -2*o - q - 17. Is o prime?
True
Let f = -11 + 9. Let q(b) = 2*b**3 - 2*b**2 - b. Let w(s) = -5*s**3 + 5*s**2 + 3*s. Let i(n) = -8*q(n) - 3*w(n). Is i(f) prime?
False
Suppose 0 = u - 2, -2*n + 5*u + 602 = -0*n. Suppose 5*y + n = 1261. Is y a prime number?
True
Let y(o) be the first derivative of -o**4/4 + o**2/2 + 85*o + 2. Is y(0) composite?
True
Suppose 4*i - 320 = -0*i + 2*p, 0 = 2*i + 3*p - 152. Is i prime?
True
Let i(h) = -5*h - 1. Let q be i(-1). Suppose q*p = p + 27. Suppose y - 1 = p. Is y composite?
True
Is (298/(-8))/((-6)/24) prime?
True
Let f(z) = -z**2 - 5*z + 9. Let p be f(-7). Let w = p - -5. Suppose 5*k - l + 5*l - 715 = w, -2*k = -4*l - 286. Is k composite?
True
Let f = 242 - 115. Is f a composite number?
False
Let u(m) = -m**3 + 7*m**2 - 4*m + 5. Suppose 7*g = 4*g. Suppose 3*p = -g*p + 15. Is u(p) a composite number?
True
Is (425/(-20) + -1)*-12 composite?
True
Suppose -2*a - 52 = -4*o, -5*o - 3*a = -3*o - 10. Is o a composite number?
False
Is (5811/234)/((-14)/(-12) + -1) a composite number?
False
Let t(n) = -n + 2. Let s be t(9). Let x = 116 - s. Is x composite?
True
Suppose 5*l + 7 = 572. Is l a composite number?
False
Let c(g) = g**2 + 6*g + 3. Let d be c(-6). Let s = -1 + d. Suppose -41 = -3*t - s*j + 114, -4*t + 5*j = -245. Is t composite?
True
Suppose -21 = -s - 3*g, s = g + g - 4. Let o(w) = -w**2 + 5*w + 6. Let j be o(s). Suppose j = 4*m - 16 - 0, 4*l = 2*m + 124. Is l a prime number?
False
Let x be 176/(-10) + 6/(-15). Let l(p) = -8*p - 1. Let o be l(-9). Let y = x + o. Is y prime?
True
Let y = 6 - 12. Let h = y + 5. Let t(p) = -5*p**3 + 2*p**2 + 2*p + 1. Is t(h) a composite number?
True
Suppose -h + 5*w = -19, 0 = -3*h + 2*h + 2*w + 4. Let n(a) = a**3 + 7*a**2 - 2*a + 5. Is n(h) a composite number?
False
Let x(v) = v**2 + 2*v - 13. Is x(-11) a prime number?
False
Suppose 3*t - 250 = -1. Is t composite?
False
Let b = -3 - 4. Let u(q) = 7*q**2 + 2*q + 6. Is u(b) a composite number?
True
Suppose -4*x = v - 182, 8*v = 2*x + 3*v - 80. Suppose -2*r = r - x. Is r prime?
False
Suppose -12*w + 227 = -2593. Is w composite?
True
Suppose 0*j + 5 = 4*l - j, 4*l = 2*j + 10. Let b be (6/(-3) + 1)*l. Let x(i) = i + 6. Is x(b) prime?
False
Is -4 + 16/2 - -67 a prime number?
True
Let l(v) = -85*v**3 - 2*v**2 + v. Let a be l(1). Let z = a - -219. Is z prime?
False
Suppose 0*i - 4*f - 192 = -i, 0 = -5*i + 2*f + 978. Suppose -5*l + i = -l. Is l prime?
False
Let q = -3 + 5. Suppose -2*k - q*k = -1820. Suppose b - k = -4*b. Is b a prime number?
False
Suppose 0 = -3*q + 132 - 12. Let x = q + -5. Is x a prime number?
False
Let v(m) = -m**2 + m - 3. Let q be v(4). Let f = 24 - q. Suppose 5*o - 214 = -f. Is o a composite number?
True
Let l = -1163 + 1720. Is l a prime number?
True
Let l(b) = b. Let z be l(1). Is ((-47)/(-5))/(z/5) a prime number?
True
Let q = 23 - 18. Suppose 42 = -3*u + 4*u - o, 2*u + q*o - 49 = 0. Is u prime?
True
Suppose -z + 6 = -l, 5*l = 2*z - 35 - 7. Let o be (8/l)/((-4)/30). Let a(n) = n**3 - 4*n**2 - 2*n - 7. Is a(o) composite?
False
Suppose 0 = 3*w - w + 20. Let k = w + 25. Suppose -3*p - k = -3*q, 5*q - 28 - 7 = -5*p. Is q composite?
True
Suppose 0 = j - 5*l + 6 + 2, 2*j + 4*l - 26 = 0. Let y(c) = -1 + c**2 + j*c - 3 - 1. Is y(4) prime?
False
Let b = 307 + 266. Is b composite?
True
Suppose -16 = b + 3*b - 4*o, -3 = o. Let i(r) = 5*r - 3*r**3 + 9 + 3*r**3 + r**3 + 8*r**2. Is i(b) a prime number?
True
Let o = -13 - -16. Suppose -2*h - 4 = 0, -2*h = -o*w + 59 + 56. Is w prime?
True
Let i(p) = p**3 - 8*p**2 + 8*p - 1. Suppose 4*b - 4 = 4. Suppose -3*x = b*x + 2*a - 25, 4*x - 43 = 3*a. Is i(x) composite?
True
Let v(r) = -r**2 - r + 4. Let h be v(0). Suppose -h*w - w + 40 = 0. Is 4/w + 74/4 composite?
False
Let r(h) = 52*h**2 - 35. Is r(-8) a prime number?
False
Let z(f) = -f**3 - 6*f**2 - f - 4. Let c be z(-6). Let w = c - -1. Suppose 33 = 2*a + m, 34 = a + m + w*m. Is a a composite number?
True
Let k(d) = d**3 + 10*d**2 - 3*d + 5. Let u(g) = g - 4. Let c be u(7). Suppose -3*o - 4*f = -5, 0 = 3*o - c*f - 15 + 45. Is k(o) a prime number?
False
Suppose 4*j + 3899 = 11*j. Is j composite?
False
Let o = 1 - 1. Suppose o = -q - 4*a - 4, -6*a = -2*q - a + 18. Suppose 5*g = -5*b + 8*b - 32, b = -5*g + q. Is b a prime number?
False
Let w be (-12)/(-16)*8/2. Let n = 50 + w. Is n a prime number?
True
Let v(r) be the third derivative of r**5/60 - r**4/24 - 7*r**3/6 - 3*r**2. Is v(7) a composite number?
True
Let o(a) = -3*a**3 + 6*a**2 + 5*a + 4. Let u be o(6). Let q = 699 + u. Is q composite?
True
Let h(s) = -2*s**2 + 12*s - 4 + s**2 - 4*s - s. Let f be h(6). Is (-2 - (f + 85))*-1 a composite number?
False
Let r be 255/(-6)*12/(-10). Let h = 72 - r. Is h a prime number?
False
Suppose -3*j + 13 = 2*x, 2*x - 5*j = 8 - 3. Suppose 57 = 8*m - x*m. Is m composite?
False
Suppose -3*c + 255 = -39. Suppose 3*n - 13 = c. Is n prime?
True
Suppose 1276 = -0*x + 4*x. Suppose -5*q - 4*r + x = -2*q, 2*q - 2*r = 236. Is q composite?
False
Suppose -4*k - z = -9, 2*k + z = 3*k - 6. Suppose h = y + k*h, -5*y + 4*h = 0. Is 13 - (-1 + (y - 0)) a prime number?
False
Suppose 5*n + 9536 = n. Is n/8*1/(-2) prime?
True
Let p = 7 - 5. Suppose -15*a + 11*a = 0. Is 59 + (0 - a) - p a composite number?
True
Suppose 0 = q - 4*q - 3. Is (266/4)/(q/(-2)) a prime number?
False
Suppose 12*k - 3 = 9*k. Let f(j) = 380*j**2 - j. Is f(k) prime?
True
Let y(s) = s. Let n be y(2). Suppose -n = -h, 2*p + 2*h = 4*p + 8. Is 1/p - (-255)/2 a composite number?
False
Let x(r) = r**2 + 4*r. Let u be x(-5). Suppose -5*i + u*s = 3350, 0 = -3*i - 2*i + 4*s - 3352. Is i/(-10) - (-1)/(-5) prime?
True
Suppose -x - 9 = -3*i, 5*i + 2 - 6 = -2*x. Let y(u) = -29*u - 4. Is y(x) a composite number?
False
Let g = -39 - -114. Let l = -135 + g. Let u = -41 - l. Is u a prime number?
True
Suppose -2*a = y - a - 10, -5 = y + 4*a. Is y prime?
False
Is (-2)/(8/(-2))*(-14718)/(-11) prime?
False
Let n = -10 + 6. Let z be n/18 + 4/18. Suppose z = -p - f + 52, -4*p = f - 143 - 80. Is p a prime number?
False
Let q(b) = 28*b**3 + 4*b**2 - 3*b + 5. Is q(2) prime?
True
Suppose 2*f - 431 = -f + v, f - 3*v - 133 = 0. Is f a prime number?
False
Let o(k) = -9 + 8*k - 2*k - 3*k. Is o(10) composite?
True
Suppose 2*r - 366 = -0*r + 3*w, -4*w - 901 = -5*r. Is r a prime number?
False
Let c(u) = u**3 - 3*u**2 + 4. Let y be c(2). Suppose y = 2*g - 55 - 109. Is g prime?
False
Suppose 0 = -5*v - l + 402, 4*v - 316 = 3*l - l. Suppose v = -3*f + 7*f. Is 1 + 0 - f/(-1) a composite number?
True
Let b = 94 - -139. Is b a composite number?
False
Let r be (-2)/7 - 2/(-7). Let t = 0 - r. Suppose l + 2*l - 285 = t. Is l prime?
False
Let n(g) = g**3 - 6*g**2 - 6*g - 6. Let t be n(7). Is (2 + 179)/(t/1) a prime number?
True
Let g be 2*(-2 - 14/(-4)). Suppose 0 = d - 0 - g. Suppose -d*o = -o - 70. Is o a prime number?
False
Is 2/(-7) - (-26415)/63 a composite number?
False
Let j = 115 - 48. Is j a prime number?
True
Let n = 1 + -1. Let g be (-1)/(-1) - (-1 - n). Suppose -4*i - g*l = -124, -13 = -i + 2*l + 28. Is i composite?
True
Let k = 182 + -129. Is k a prime number?
True
Is 20/14 - 1 - (-71584)/28 a prime number?
True
Let k(g) be the third derivative of g**6/120 - 11*g**5/60 + 7