t w(c) = c**2 + 2*c - 7. Let m be w(-5). Let o = 24 - -9. Let a = o - m. Is a composite?
True
Suppose 2*i - 3*i = -211. Is i a prime number?
True
Let d = 4 + -7. Let f(a) = -6*a**2 + 3*a + 6. Let k(t) = 7*t**2 - 3*t - 7. Let q(u) = d*k(u) - 4*f(u). Is q(-4) prime?
False
Suppose a + 3*a - 1508 = 0. Is a a composite number?
True
Let j = -13 + 124. Is j a composite number?
True
Let y(g) = -g**3 - 4*g**2 - 3*g + 2. Let a be y(-3). Suppose a*s = -4*p - 28, 3*p + 12 = 2*s - 2. Let w = p - -28. Is w composite?
True
Suppose -m + 5*x - 11 = 0, 4*x - 32 = m - 6*m. Let s(p) = -p**3 + m - 2*p**2 + 2*p + 0*p**2 - 2*p**2. Is s(-5) a prime number?
True
Suppose 5*b + 8*z - 3*z = 20, 4*b - 16 = -z. Suppose -26 + 214 = b*c. Is c composite?
False
Let h = -7207 + 11906. Is h prime?
False
Let u = 1585 + -914. Is u prime?
False
Let a be (4 + 5)/(0 - 1). Let b be (5 + a)/((-1)/5). Is 3/2*b/3 a composite number?
True
Suppose 0 = -j - 2. Let a(f) = -1 - 2 - 2*f + 7*f**2 + 23*f**2. Is a(j) composite?
True
Let g(b) = 7*b**2 - 6*b - 2. Is g(9) a composite number?
True
Let f(m) = m**3 + 16*m**2 - 7*m + 1. Is f(-15) prime?
True
Let a(g) = -5*g + 4*g - 44*g**3 - 2*g**2 - g**3. Let i be a(-1). Is (-7)/12*-3*i a composite number?
True
Suppose -14943 = -11*m - 6*m. Is m a composite number?
True
Let c(p) = p**3 + 9. Let k be c(0). Suppose -3*i = 3 - k. Is (2/(-6))/(i/(-1086)) a prime number?
True
Let o(f) = f + 11. Let v be o(-6). Suppose -h + 4*r - 35 = 0, 5*r + 25 = -3*h + v. Let l = h + 34. Is l composite?
False
Let k(b) = 3*b + 14. Let s(p) = -4*p - 14. Let m(l) = -3*k(l) - 2*s(l). Let f be m(0). Is (-8)/28 + (-942)/f composite?
False
Suppose -7*b = -3*b. Is 0 + 59 + -2 + b composite?
True
Suppose 4*i = -2*i + 1746. Is i a composite number?
True
Let u(v) = 5*v + 3. Is u(2) composite?
False
Let b = -17 + 28. Suppose b = a - 3. Is a composite?
True
Suppose 2411 = 8*k - 7*k. Is k a prime number?
True
Let s(a) = a + 9. Suppose -4*t + 28 + 12 = 0. Is s(t) composite?
False
Let m(s) = 7*s**2 + 6*s - 12. Is m(7) a prime number?
True
Let r(w) = w + 3. Let n be r(-3). Let d(m) = -m**2 - 6*m - 5. Let g be d(-4). Let j = g - n. Is j a prime number?
True
Suppose -g + 834 = -449. Is g prime?
True
Suppose 4*c - d + 0*d - 16 = 0, 0 = -5*d. Let q(x) = -x**2 + 2*x - 2. Let m be q(c). Is (0 - m)*2/5 prime?
False
Let n be 3/(-6)*-2*-3. Let f be (-3)/(-2)*(-4)/n. Is (-843)/(-27) - f/9 composite?
False
Let f(x) = 10*x + 9. Is f(7) prime?
True
Let d(f) = 13*f**2 + 5*f - 13. Is d(10) prime?
False
Let p(b) = b**3 - 9*b**2 + 12*b - 17. Is p(10) prime?
False
Let u(j) = -40*j**3 - 2*j**2 - 2*j + 2. Let l be u(2). Is ((-1)/3)/(2/l) a composite number?
True
Let b(n) = -3*n + 6 + 4*n - 2*n. Let l be b(5). Suppose 3*s - 5*r = -l - 0, 0 = 2*s + r - 8. Is s a prime number?
True
Let z(a) = 16*a - 6. Let u be z(6). Suppose -5*p + u = 5*r, 4*r - 3*p - 124 = -17. Is r a prime number?
True
Suppose -2*x + 5*n = 2*x + 23, -3*x = -3*n + 15. Let m be (-64)/(-36) - x/9. Is 15/(2 + (1 - m)) composite?
True
Suppose a = -3*a. Suppose 4*d - 28 = -k, a*k = -3*k. Is d prime?
True
Let s(i) = i + 5. Let a(h) = h + 9. Let r(m) = -4*a(m) + 7*s(m). Let c be r(2). Suppose 3*u - 72 = -k + 8*u, c*k - u - 384 = 0. Is k a composite number?
True
Let m be (-2)/((-2)/(-14)*-2). Let a(i) = i**3 - 7*i**2 - i + 6. Let v be a(m). Is 6/((-4)/14*v) prime?
False
Suppose 4*r = 19 + 5. Suppose r - 26 = -5*q. Suppose 4*v + 3*h - 60 = 131, -q*h + 98 = 2*v. Is v a prime number?
True
Let p(s) = 3070*s**3 + 2*s**2 + s - 2. Is p(1) prime?
False
Suppose 43 + 161 = 3*j + 3*i, -5*i = -4*j + 254. Suppose -122 - j = -4*p. Is p a prime number?
True
Suppose -6 - 6 = 4*w. Let i(t) be the first derivative of 8*t**3/3 + t**2 + 3*t + 3. Is i(w) a prime number?
False
Let s = 213 + -84. Suppose 105 = -5*n + 5*d, 5*n - 3*d = -6*d - s. Let c = 63 + n. Is c prime?
False
Let y = 11 - 9. Suppose 3*r - 5*j + 21 = 0, 2*r + y*j - 42 = 6*r. Let g = 49 + r. Is g a composite number?
False
Let t(c) be the third derivative of -c**4/24 + 11*c**3/3 + 3*c**2. Is t(9) composite?
False
Let u(s) = 20*s + 4 - 3 + 0. Suppose 2*l - 32 = -2*l. Is u(l) prime?
False
Let c(o) = 4*o**2 + 2*o - 1. Is c(-6) composite?
False
Let u be -1 + 247 + 2*-1. Suppose 3*v - u - 170 = 0. Suppose -v = -2*z - 5*n, z + 2*n = 5*n + 69. Is z a prime number?
False
Suppose 380 - 9320 = 5*l. Is 1/(-3)*l/4 composite?
False
Let l(a) = 11*a + 1. Let u be l(9). Let c = u + -47. Is c composite?
False
Is (-30)/(-135) - 6757/(-9) a prime number?
True
Let f(k) = 54*k - 8. Let i be f(4). Suppose -4*j + 148 + i = 0. Is j a composite number?
False
Let v = -44 - -51. Let g(a) be the first derivative of -a**3/3 + 7*a**2/2 + 4*a - 1. Is g(v) a composite number?
True
Let w be 90 + 1 + -5 + 2. Let z be ((-8)/(-6))/((-8)/(-12)). Suppose -z*l + 6*l = w. Is l prime?
False
Suppose 3*a + 2*w - 5539 = -0*w, 0 = 2*w + 2. Is a composite?
False
Suppose -3*q - q + 12 = 0. Suppose q*f - y = y + 104, -5*f - 2*y = -200. Is f a composite number?
True
Let v = 8 + -3. Let r(x) = x**2 - x. Let h(m) = 6*m**2 - 4*m - 5. Let s(g) = h(g) - 5*r(g). Is s(v) composite?
True
Suppose 14*q - 435 = 223. Is q a prime number?
True
Suppose -3*y = -y - 10. Suppose -y*n = -2*o + 3*o - 22, 0 = o - 3*n + 18. Let x(l) = -5*l - 2. Is x(o) a composite number?
False
Let l(p) = 61*p**2 - 2*p - 1. Let d = 11 + -9. Is l(d) prime?
True
Let j = 0 - -2. Let s(m) = 41 + 36 + 28*m - 78. Is s(j) composite?
True
Is 69 + (4 - 4)/(-4) composite?
True
Let j(v) = -v**3 + 4*v**2 + 8*v + 8. Is j(-7) composite?
False
Suppose -4*g + 7*g - 42 = 0. Suppose 19*t - 285 = g*t. Is t a composite number?
True
Suppose 0*a = -7*a + 11417. Is a composite?
True
Let c = 15 + -10. Suppose -c*h + 934 + 671 = 0. Is h prime?
False
Suppose -1348 = -2*x + 2*z, -x - x = 2*z - 1368. Is x a prime number?
False
Let m be (-5)/((-5)/6) - 3. Suppose 95 = 4*x - m*x. Is x prime?
False
Let m = -42 + 143. Suppose 0 = 10*g - 9*g - 24. Is (-6)/g + m/4 prime?
False
Let n be (-2)/6 - 50/(-6). Let f be n/12*-1*6. Let l(d) = 3*d**2 + 2*d - 1. Is l(f) prime?
False
Let q = 302 + 261. Suppose -5*d = 2*u - q, 4*d - 7*u + 6*u = 453. Is d composite?
False
Suppose -3*n + t = -2*t - 24, -4*t = 8. Suppose 6*m - n = 4*m. Suppose m*i = -40 + 313. Is i a composite number?
True
Let d be ((-8)/12)/(2/(-24)). Suppose -3*s + s - 17 = -f, -s - 5*f = -d. Let k = s + 13. Is k a prime number?
False
Suppose -a = 4*a - 10. Suppose 5*m - 401 = -3*r + 426, r + 322 = a*m. Is m a prime number?
True
Let w(c) be the first derivative of -c**5/20 - c**4/2 + c**3 - 2*c**2 + 3*c + 4. Let r(d) be the first derivative of w(d). Is r(-7) a prime number?
True
Suppose -5*w = 20, 4*n + 0*w = w. Let a be -1 + -2 + n + 42. Suppose -a = -4*r + 102. Is r a composite number?
True
Let i = 175 + -44. Is i prime?
True
Let r = -25 + 39. Let b be (5 + -7)/((-2)/4). Suppose -r + 2 = -b*v. Is v a composite number?
False
Let n(h) = -h**2 + 9*h + 3. Let f be n(9). Suppose 2 = -2*z - 4*d - 32, d = -f*z - 31. Is ((-654)/9)/(6/z) a composite number?
False
Let d(l) = 4*l**3 - 2*l**2 + 6*l + 1. Suppose 3*t = 2*f + 5, 37 = 5*t + 4*f - 8. Is d(t) a prime number?
False
Let l(g) = -g**3 + g**2 + 46. Let t be l(0). Suppose 2*q = 2*j - t, j + q = -7 + 36. Let b = j - -9. Is b a prime number?
False
Let q be (-4)/6*(-4 + 1). Suppose 5*t - 2*t = m - 76, t - 187 = -q*m. Is m prime?
False
Let v(x) = -x**2 - 20*x - 18. Is v(-17) a composite number?
True
Let h = -3 - -3. Suppose -10 = -l - h. Is l a prime number?
False
Is 9212/8 + 4/(-8) composite?
False
Suppose 5 = -2*s - h, h + 0 = s + 1. Let w = s + 2. Suppose -4*y + k + 93 = 0, w = -3*y - 4*k + 17 + 29. Is y prime?
False
Let v be ((-1)/2)/(2/(-72)). Suppose -5*z - v = -f, 0*z = 3*z + 9. Suppose 2*i - 185 = -0*m + f*m, -2*i + 180 = 2*m. Is i a composite number?
True
Suppose 2*v - 2292 = -10*v. Is v prime?
True
Let j be (-1)/(-5) + 3757/65. Let a = j - 24. Is a prime?
False
Suppose -g - 2*b = -b + 22, 29 = -2*g - 5*b. Is (-6)/27 - 5244/g a composite number?
True
Suppose 5*s + 2*f + 3*f - 4810 = 0, 4*f - 1918 = -2*s. Is s prime?
False
Let b(y) = y**3 - 7*y**2 + 7*y - 2. Let t be b(6). Suppose t*r + 3 = -29. Let q = r - -11. Is q composite?
False
Suppose -5*z = -1923 + 303. Let j = -33 + z. Suppose 5*v - j = 154. Is v composite?
Fal