rue
Suppose 18 = -0*y + 3*y. Suppose -y - 14 = -4*p. Suppose -p*r - 22 = -2*m - m, r = 4. Is m prime?
False
Let w(z) be the second derivative of 3*z**5/4 + z**4/12 - z**3/3 + z**2/2 - 2*z. Let y = 1 - 0. Is w(y) a prime number?
False
Suppose -4*f - 4*v + 72 = -60, -5*v + 54 = 2*f. Is f composite?
False
Is 1/4 - (-3489)/12 composite?
True
Let j(z) = -7*z + 2. Is j(-3) prime?
True
Suppose -198 = -o + 3*a + 2, -3*a = -3*o + 618. Is o prime?
False
Is -2 + 8 + -3 - -1 prime?
False
Let h(j) = 5*j**2 - 12*j + 8. Let i be h(8). Let m = i + -38. Is m a prime number?
False
Let t(n) be the second derivative of -n**4/12 - 11*n**3/6 - 9*n**2/2 - 2*n. Let r be ((-14)/8)/((-1)/(-4)). Is t(r) a prime number?
True
Let y = -263 + 1170. Is y prime?
True
Suppose 0 = 4*y + 22 - 2. Let z(s) = 4 - 3*s - 4. Is z(y) prime?
False
Let v = 5 - 5. Is v + 1 + -1 + 6 a composite number?
True
Let l be 27/6 + 2/4. Let t = 5 - l. Suppose 2*f + 134 = 4*v, t = -0*v + 3*v + 2*f - 97. Is v prime?
False
Let v(r) = -r**3 - 7*r**2 + r + 9. Let m be v(-7). Suppose -30 - 124 = -m*x. Is x a prime number?
False
Let c(f) = -f**3 - 6*f**2 - 2*f + 7. Is c(-6) a prime number?
True
Let h(u) = 5*u**2 + 7*u - 4. Let c(q) = 9*q**2 + 14*q - 8. Let x(o) = -4*c(o) + 7*h(o). Let d be x(-6). Is (d/15)/((-2)/(-33)) composite?
False
Let b be 92 - (-2)/(4/2). Suppose -6*j + 2*j + b = k, 4*k + 2*j = 316. Is k a prime number?
False
Suppose -2*l + 11604 = l. Suppose -12*w + l = -8*w. Is w a composite number?
False
Is (-5)/(70/(-4)) + (-7911)/(-21) prime?
False
Let p = -15 + 17. Suppose 4*y - 1070 = p*y. Is y a composite number?
True
Suppose 4*t + 2*p - 7*p = -793, t + 3*p = -194. Let h = t - -354. Is h a composite number?
False
Let o(u) be the third derivative of u**4/24 + 11*u**3/2 + 4*u**2. Is o(0) a composite number?
True
Suppose 0 = 2*k - 1087 - 223. Is k prime?
False
Let a = -5 - -7. Suppose 0 = a*z - 7*z. Suppose 3*h - 105 = -z*h. Is h composite?
True
Let f = -68 + 130. Suppose -5*h = -5*t + 155, 3*t - 4*h = t + f. Let x = t - 12. Is x a prime number?
True
Let g be 11/(-2)*(-36)/2. Is -2 - g/(-5 - -2) a prime number?
True
Let h be 6/9 + (-7150)/6. Is (-24)/(-36)*h/(-2) a composite number?
False
Let s = 2 + -44. Let v = 3 + s. Let w = v - -58. Is w prime?
True
Let u(f) = 96*f**2 - 5*f + 10. Let z be u(4). Let g = 2155 - z. Is g a composite number?
True
Suppose -5*m + 5*x = 0, -3*m + 2*x = 6*x - 28. Is 131 + 0 + m/(-1) a composite number?
False
Let p(z) = 5*z**3 + 2*z**2 - z. Let r be p(1). Suppose 2*b - 16 = -r, -2*o = 3*b - 23. Suppose 2*j - 36 = -o*t + 162, 2*t - 90 = -4*j. Is t composite?
True
Let p(j) = -j**3 - 5*j**2 + 6*j + 2. Let w be p(-6). Suppose -w*u = -0*u + 18. Let t(o) = o**3 + 8*o**2 - 13*o - 1. Is t(u) a prime number?
False
Let s(u) = 2*u**2 + 12*u - 13. Is s(10) composite?
False
Let l(v) = 11*v**2 - 4*v - 10. Is l(-7) prime?
True
Let r = -6 - -12. Suppose -n + r*n - 8 = y, 0 = -5*y - 15. Let s(k) = 56*k - 1. Is s(n) a prime number?
False
Suppose 5*m - 2*a - 804 = 0, -634 = -3*m - 4*a - 136. Let g be (-1136)/(-3) - (-1)/3. Suppose -2*d + m = -t, -4*t = d + 4*d - g. Is d a prime number?
True
Let k be (1*3)/(8/8). Suppose 6*a - 334 = k*a - u, 555 = 5*a + 2*u. Is a a prime number?
True
Let u be 4*19 - (-2 - 0). Is -2 - (-4)/(8/u) a composite number?
False
Suppose 3*c = 5 + 1. Suppose c*m - 921 = -m. Is m composite?
False
Let r(f) = -f**3 - 3*f**2 + 6*f - 5. Is r(-8) a prime number?
False
Suppose -4*r = 7951 - 22075. Let n = -2380 + r. Is n composite?
False
Suppose -2*n + 45 = m, 13 = -4*n + 4*m + 121. Let i = -10 + n. Is i prime?
False
Let p(q) = -q**2 + 9*q + 10. Let h be p(9). Suppose h*t - 5*t - 395 = 0. Is t prime?
True
Suppose -2 = q - 1. Let c be -1 - (q - 3) - 2. Is (c/3)/((-2)/(-222)) a composite number?
False
Let v = -1109 - -4318. Is v a prime number?
True
Let j(k) = k**2 - 3*k - 4. Let u be j(5). Let t = 61 + -64. Is t + (-376)/(u/(-3)) composite?
True
Suppose 2*z = 5*r - 15, 0 = 4*z + 4*r + 7 - 19. Suppose -3*j - j + 16 = z. Suppose j*p - 213 - 7 = 0. Is p a composite number?
True
Is (-5)/((-25)/1880) - -3 a composite number?
False
Let p = -3994 + 6887. Is p prime?
False
Let f(x) = 2*x**2 - x. Suppose -b - 3 = -2. Let h be f(b). Is (2/h)/((-2)/(-6)) composite?
False
Let d(j) = -12*j - 2. Let l be d(-6). Suppose h = -h + l. Is h composite?
True
Let j = -21 + 36. Suppose 3*w + u + 35 = 5*u, -2*w - 26 = -4*u. Let l = w + j. Is l a prime number?
False
Suppose -2*i + 8 + 0 = 0. Suppose 298 = 2*a + 3*f, a + i*f + f = 149. Is a prime?
True
Let n = -17 + 19. Suppose y - 20 = -4*y. Suppose -1 = y*m + 3, n*v = -m + 3. Is v a composite number?
False
Suppose 7*n + 2432 = 3*b + 2*n, -2*b + 1615 = 3*n. Is b a prime number?
True
Let i = -1763 - -3396. Is i prime?
False
Let z = -5 - -3. Let b be (-3)/z*12/9. Is ((-48)/(-9) + b)*3 a prime number?
False
Let c(q) = -q**2 + 12*q - 7. Let x be c(6). Let s = x + -19. Suppose s = -3*j + 49. Is j a composite number?
False
Let v(u) = -324*u**3 + 2*u + 1. Let g be v(-1). Let p(i) = -481*i**3 - 1. Let f be p(-1). Let c = f - g. Is c prime?
True
Let j = 1 + -1. Suppose j = -2*z - 2 - 2. Is 22*14/(-8)*z composite?
True
Let u(x) = -x**2 - 9*x + 2. Let l be u(-9). Suppose 12 = l*w - 106. Is w a prime number?
True
Let k = 92 - 3. Is k a prime number?
True
Let t(b) = 8*b**2 - b. Let p be t(2). Is 2383/6 - 5/p a prime number?
True
Suppose b = 3*p + 12, -5*p - 23 + 5 = -b. Suppose w = -2*z + 239, 5*w + b*z - 1181 = -0*w. Is w composite?
True
Let m = -727 + 2064. Is m a composite number?
True
Let l be 106 + (1/1)/(-1). Let c be 1*(-11)/(-1) - 3. Suppose -3*i - l = -c*i. Is i a composite number?
True
Let u(f) = -f - 1. Let c be u(-5). Suppose 5*x + c*s - 283 = 0, -x + 5*s + 45 = -0*x. Is x composite?
True
Let q be 22/5 - (-4)/(-10). Suppose -3*a + q*t = -4*a - 42, 0 = -3*a - 2*t - 146. Let d = 9 - a. Is d a composite number?
False
Suppose 4*w = -w + 115. Suppose o - 4*n + 0*n + 18 = 0, o + w = 5*n. Suppose -o*d - 4*m = -12, 2*d + 2*m = 3*m + 22. Is d a composite number?
True
Suppose -4*w - 3*d + 3887 = 0, -1056 = -3*w + 3*d + 1875. Is w a composite number?
True
Let i(p) = p**2 + 4*p + 2. Suppose -5*v = 17 + 28. Let u be i(v). Let l = 69 - u. Is l prime?
False
Let i = 2 + -2. Let v be (4/(-5))/((-4)/30). Suppose v*q - q - 70 = i. Is q a composite number?
True
Suppose a = -20 + 24. Suppose -f - 837 = -a*n + 3*n, -4*n = 2*f - 3360. Is n composite?
False
Let c be (28/3)/(2/18). Let h = -17 + c. Is h prime?
True
Let q(g) = -3*g**2 + 4*g + 3. Let b be q(6). Let i = 38 - b. Is i a prime number?
False
Let u(b) = 140*b - 41. Is u(12) a prime number?
False
Let c(n) be the third derivative of -n**6/120 + n**3/6 + 3*n**2. Let a = -1 - 1. Is c(a) a prime number?
False
Suppose -5*m + 3*p - 9 = 2*p, -2*m = 4*p - 14. Let n(d) = 281*d**2 - 5*d - 8. Let v(r) = 94*r**2 - 2*r - 3. Let l(w) = 4*n(w) - 11*v(w). Is l(m) prime?
True
Suppose 2*g = 62 + 368. Is g a composite number?
True
Let s = 4 + -1. Suppose -s*m - 2*b = -11, -15 = -4*m + 4*b - 7*b. Is m a composite number?
False
Suppose -5*z - 24 = 5*p - 644, -4*z = 2*p - 492. Suppose 0 = -2*h + 48 + z. Is h a prime number?
False
Let x(f) = 254*f - 11. Is x(5) prime?
True
Suppose -24 = -4*k + 4*m, -5*k = -0*m + 3*m - 6. Suppose k*i = 2*i. Suppose i = -4*f + 12, -2*f + 8 = -4*g + 46. Is g a prime number?
True
Let g = -1 - 0. Let n be -1*21/g + 2. Let j = n - 8. Is j a prime number?
False
Let j(f) = -555*f**2 - 7*f + 7. Let y(u) = -277*u**2 - 4*u + 4. Let z(q) = -3*j(q) + 5*y(q). Let i be z(1). Suppose -i = -3*x - 31. Is x a composite number?
False
Suppose l - 2 = 3*l, 4*l - 20 = -2*g. Is g/(-4) + 132 + 2 composite?
False
Let z be 0 + 6/3 - 3. Suppose 47 = 5*w + 3*n - 0*n, 2*n + 12 = w. Is w + (2 - 2)/z composite?
True
Let k = 216 + -130. Is k a prime number?
False
Suppose 3 + 24 = 3*j - 5*i, -4*i = 3*j. Suppose 0 = j*d - 5*d + 6. Is (2/d)/((-2)/(-18)) a composite number?
False
Let t = 3 + -3. Let q(z) = 11*z + t - 2 + 3. Is q(2) a prime number?
True
Let a(c) = 6*c - 11. Is a(13) a prime number?
True
Suppose -2*b + 4*i + 4006 = 0, 2*b - 3*b + 4*i = -2003. Is b a prime number?
True
Let g(q) = 83*q**2 - q + 1. Is g(1) composite?
False
Let b = 106 + -53. Is b composite?
False
Let k = 690 - -1049. Is k a prime number?
False
Suppose 7 +