s p prime?
True
Suppose -1 = x - 6. Suppose -2*z - 3*t = -3*z + 71, 0 = -4*z + x*t + 298. Is z composite?
True
Is 9783*(-4 + (-52)/(-12)) a composite number?
True
Let f be 13 - (2 - 2) - 3. Let g(c) = c**3 - 9*c**2 - 7*c + 13. Is g(f) a composite number?
False
Is 2505/30 + (-2)/4 composite?
False
Suppose 0 = 5*s - 71 - 59. Is s composite?
True
Let t(g) = 2*g - 9. Let p be t(7). Suppose j + p - 4 = 0. Let x = 20 - j. Is x a prime number?
False
Let s(f) = 2*f**2 + 6*f - 11. Is s(-8) prime?
False
Suppose -24*i + 14*i = -19230. Is i a prime number?
False
Let u(s) be the first derivative of s**4/12 - s**3/6 + 15*s**2/2 + 3*s + 1. Let n(h) be the first derivative of u(h). Is n(0) a prime number?
False
Suppose -4*n + 2*l - 10 = -8*n, l = n + 5. Suppose -88 = -4*i - n*i. Is i a composite number?
True
Let m = 52 - -84. Suppose 4*d - 158 = 2*v, 4*v + 29 = 3*d - 92. Suppose -t = d - m. Is t a composite number?
False
Let z = 7 + -12. Let w(b) = 6*b**2 - 5. Is w(z) a composite number?
True
Suppose 3*i = 3*w - w - 98, 4*w - 3*i - 196 = 0. Suppose 4*h + 55 = 5*y, 0 = 5*y - 3*h - 6 - w. Is y a composite number?
False
Suppose -1840 = -6*n + n. Let t = -265 + 484. Let i = n - t. Is i a prime number?
True
Let m(i) = i**3 - 14*i**2 + 4*i - 7. Is m(14) a prime number?
False
Suppose 170 + 198 = -4*c. Let k = c - -149. Is k prime?
False
Let b = -101 + 212. Let i = -53 + b. Is i a composite number?
True
Let k(d) = 2*d + 1 - 1 - 1 + 204*d**2. Is k(1) a composite number?
True
Suppose -i - 315 = -6*i. Let n = i + 64. Is n a prime number?
True
Let y(m) = -m**3 - 5*m**2 - 5*m. Let r be y(-4). Suppose -r*g = -5*u - 524, 26 = -g - 5*u + 157. Is g composite?
False
Suppose -2*t + 2 = -t. Let a be -126*t/8*-6. Let i = a + -112. Is i a composite number?
True
Let s = 116 + -65. Is s composite?
True
Let p = 1 + -1. Suppose 2*v - 50 = -p*v. Is v prime?
False
Let i = 17 + -13. Is (-510)/(-4) - 2/i prime?
True
Let p(k) = 5*k**3 + 12*k**2 + 18*k - 5. Let g(t) = -6*t**3 - 13*t**2 - 19*t + 5. Let q(o) = -6*g(o) - 7*p(o). Is q(8) a composite number?
False
Let l = 131 + -54. Is l composite?
True
Let w(p) = p + 4. Let k be w(-6). Is k*9/(-6) + 108 prime?
False
Let b be 10/25*(11 + -1). Suppose -152 = -5*w - b*u + 499, -3*u + 647 = 5*w. Is w composite?
False
Suppose -2*q + 2731 = -1627. Is q a prime number?
True
Is (-1)/6 + (-2510)/(-12) composite?
True
Let g(i) = i**2 + i - 4. Let d be g(-3). Suppose 3*a = -4*j + 547, 3*a = -d*a - j + 923. Is a composite?
True
Suppose 2*w - 6*w = -9332. Is w prime?
True
Suppose -5*m + 468 + 86 = 2*t, -m = 4*t - 1144. Is t a prime number?
False
Let k(p) = 57*p**2 - 4*p - 6. Is k(-5) a composite number?
False
Let p(j) = 42*j + 1. Is p(7) prime?
False
Let c(m) = 636*m**2 + 4*m - 5. Is c(1) prime?
False
Suppose 0 = -c - 6 + 15. Suppose -2*i - 2*h = -33 + c, 3*h - 15 = 0. Is i a composite number?
False
Let q = -927 - -1832. Is q a composite number?
True
Let u(j) = -57*j**3 + 3*j**2 + 9*j + 7. Is u(-3) a composite number?
True
Let v be (-7 - -2)/((-2)/4). Suppose 20 = -0*f + 5*f. Is (-2 + 6)*v/f a composite number?
True
Let y(r) = -17*r**3 - r**2 + 2*r - 1. Let p = 2 - 4. Is y(p) a prime number?
True
Let d(t) = -2 - 6*t + 2*t**2 - 4 + 2*t. Let z be d(5). Suppose 2*k = -z + 202. Is k prime?
True
Let f be (-3)/(-6) + 9/2. Suppose 3*t = -3*b + 57, -3*b - 2*t + 49 = -3*t. Suppose h - f*x + 9 = 3*h, -3*h - 4*x = -b. Is h a prime number?
True
Let q = -30 + 12. Let n(f) = 2*f + 8. Let v be n(-6). Is v/q + (-331)/(-9) prime?
True
Is 9 + (3 - 0) + -1 prime?
True
Let i be (-2)/(-10) - (-33)/(-15). Is ((-1)/i)/(5/890) prime?
True
Let g be (-15)/6*6/(-5). Suppose -g*h - 354 = -5*h. Is h a prime number?
False
Let h be 3 - -1*(3 + -2). Suppose c - 6 = -c - q, c - 3 = -h*q. Is c composite?
False
Let q be 0 - -7 - 28/14. Suppose -5*l + 0*l + q*c + 1010 = 0, 3*c = -3. Is l a prime number?
False
Let o(n) = -2*n**2 - n. Let v be o(1). Let p(l) = 17*l**2 - 4*l - 4. Is p(v) a composite number?
True
Let h be 21/(-28) - (-90)/(-8). Is -205*(h/(-15))/(-2) a prime number?
False
Let a(j) be the second derivative of 53*j**5/5 - j**4/12 - 6*j. Is a(1) composite?
False
Let o(c) = c**3 - 5*c**2 + 4*c + 3. Let j be o(4). Suppose 47 = j*q - 2*t, 2*q - 35 = -0*q + 5*t. Is q a composite number?
True
Let n(f) = -6*f - 11. Let u = 75 + 33. Let j be u/(-14) - 4/14. Is n(j) a composite number?
False
Let c(i) = 29*i - 12. Is c(7) a prime number?
True
Let v(t) = 5*t**2 - 3*t - 2. Let g be v(-2). Let c = -15 + g. Suppose c*j - 4*j - 175 = 0. Is j a prime number?
False
Let p = -2 - -8. Let g(s) = 2*s**2 + 3*s + 1. Is g(p) a composite number?
True
Let z = 188 + -155. Is z a composite number?
True
Let d(x) = 1 - 1 - 15*x + 1 + 0. Let k be d(-1). Suppose -5*i + 239 = -k. Is i composite?
True
Suppose 3*l + 0*p - 6522 = 3*p, -6504 = -3*l - 3*p. Is l composite?
True
Let h(b) = 15*b + 10. Is h(7) composite?
True
Let v(c) = 5*c**2 + c + 1. Let s be v(-1). Let m(w) = 2*w**2 - w - 7. Let x be m(s). Let y = 64 - x. Is y a prime number?
False
Suppose 5*d - d - 4 = 0. Let h(t) = 0 - d + 0 + 22*t. Is h(1) composite?
True
Let v(f) = 2*f + 16*f + 1 + 0 - 5*f. Is v(4) composite?
False
Suppose 3*u = -4*z + 5*u + 1994, -3*u + 3 = 0. Is z a prime number?
True
Let n = -4 - -14. Suppose -5 = -0*q - 3*q + z, 2*z + n = -2*q. Suppose 3*v - 20 = -2*j + 5*v, 5*j + 5*v - 40 = q. Is j a composite number?
True
Is 38 - 6 - (-1 - 4) a composite number?
False
Is 1239 - 2/(-3 + 5/2) a composite number?
True
Let g(t) = -2*t - 1. Let h be g(-2). Suppose b + h = 16. Suppose 5*y = 117 + b. Is y a prime number?
False
Suppose 3*m + 1 - 35 = -4*l, -2*m + 3*l = 0. Let g = m - 8. Let a(r) = -7*r + 1. Is a(g) a prime number?
False
Let n = 13 + -1. Let d be (n*-1)/(4/6). Let u = 40 + d. Is u prime?
False
Let c(h) be the first derivative of -h**3/3 - 3*h**2/2 - 2*h - 3. Let v be c(-2). Suppose r + 2*r + 2*a - 283 = v, 5*r - 469 = -4*a. Is r composite?
False
Let n(k) = -12*k**2 + 18*k - 15. Let r be n(12). Is r/(-1)*2/6 prime?
True
Let f(y) = 5*y**2 - 7*y - 3. Let k(d) = -9*d**2 + 13*d + 5. Let v(w) = -7*f(w) - 4*k(w). Let r be v(2). Is -10*(-1)/r*-1 a composite number?
True
Suppose 0 = h - 89 - 100. Let i = -58 + h. Is i a prime number?
True
Suppose 5929 = 5*s - u + 592, 3*s + 4*u = 3193. Is s a composite number?
True
Let h(t) = -3*t + 1. Let a be h(8). Let s = 93 + a. Suppose 112 = 2*x - s. Is x prime?
False
Let k be ((-30)/12)/((-2)/(-84)). Let t = -26 - k. Is t composite?
False
Suppose 5*t + w - 314 = 0, t - 65 = -0*t + 2*w. Suppose 0 = -3*k - 0*k + t. Suppose j + 6 = 3*r + 31, -j = -4*r - k. Is j a composite number?
False
Let y(k) = k**3 + 20*k**2 + 6*k + 26. Is y(-17) prime?
False
Let j(v) = -v - 4. Let z be j(-5). Let s be (z + 5)/(3/2). Is 1 + 4/(s/25) composite?
True
Let r be -540*-1*(-6)/(-5). Let k = r + -425. Is k composite?
False
Suppose 7*v = 6*v + 211. Is v prime?
True
Is ((-79)/(-2))/(1/46) a prime number?
False
Let m = 19 - 13. Suppose 3*z - m*z = -303. Let v = 60 + z. Is v prime?
False
Suppose g = 4*i + 507, 2*g = 6*g - i - 2073. Is g a prime number?
False
Let x(q) = 4*q - 19. Is x(8) composite?
False
Let q be (20/50)/(2/1730). Suppose 4*x = 2*v + q, -258 = -3*x + 2*v - v. Is x prime?
False
Let d = 6 + -1. Is (d/15)/(2/186) prime?
True
Let m = -27 + 42. Is m composite?
True
Let d be (-2 - (0 + -1)) + -25. Let n = d - -75. Is n prime?
False
Let s(w) = 2*w**2 - 5*w + 13. Let j(n) = n**2 + n - 10. Let g be j(0). Is s(g) a prime number?
True
Let q be 50/3*(-9)/2. Let u = 134 + q. Is u composite?
False
Let i = 8 - 5. Suppose i*w - 6*w = 0. Suppose 2*v + 2*s - 230 = w, -4*v + 2*v + s + 230 = 0. Is v a prime number?
False
Let d(o) be the third derivative of 2*o**2 + 0 + 0*o - 1/6*o**4 + 11/6*o**3. Is d(-11) prime?
False
Let l = 878 - 627. Is l a prime number?
True
Is 1334 + (-6 - 0)*1/(-2) a prime number?
False
Let p(k) = -17*k**3 + 4*k - 1. Is p(-3) composite?
True
Let a(p) = -p**2 - 7*p - 4. Let w be a(-6). Suppose -w*d = 4*n - 42, n = 2*n - 2*d - 13. Is n a composite number?
False
Let b = 2 + -11. Is 2/(-6) - 336/b composite?
False
Suppose -2*a + 7*a = 2285. Is a prime?
True
Is (287 - -4) + 2/1 composite?
False
Let u be -16*2*(-2 + 3). Let g = u - -22. Let j = 57 + g. Is j a prime number?
True
Let f be 2/(-3) - (-102)/18. Is (28/