rue
Let n(c) = -4*c**3 - 2*c**2 - c - 1. Let s be (-4)/12 - 10/6. Is n(s) a composite number?
True
Let w(l) = -8*l + 7. Suppose 3*z = 32 + 28. Let b = 14 - z. Is w(b) prime?
False
Let u(a) = a**3 - 11*a**2 - 9*a + 18. Let j be u(12). Let m be (8 + -4)/(4/j). Is 3 + 5/(15/m) composite?
True
Let d be (3 + 0 + -2)*1. Let l(w) = 4*w + 6*w + 3*w + d. Is l(6) a composite number?
False
Suppose 3*j - 2114 - 682 = 0. Suppose -2*w = 2*w - j. Is w a composite number?
False
Let m(j) = -j**3 - 5*j**2 - 3. Is m(-6) a prime number?
False
Let j(y) = -y**2 + y + 2. Is j(0) composite?
False
Let u = -3 - 3. Let v = u - -9. Suppose -2*b + v*b - 15 = 0. Is b a prime number?
False
Let l(a) = 188*a**3 - a. Let z be l(1). Suppose z + 78 = 5*m. Is m prime?
True
Let o(i) = -36*i + 1. Is o(-4) composite?
True
Let f = 1 + 2. Suppose 4*v - 347 = -3*s, 0*s + f*s - 351 = -3*v. Is s a prime number?
False
Suppose -c + 60 = 4*c. Suppose p + 10 = -c. Let k = 59 + p. Is k a composite number?
False
Suppose -2*q = -2*o + 4*o - 28, q - 3*o = -6. Let f = q - 4. Let r(c) = -c**3 + 9*c**2 - 3*c - 6. Is r(f) prime?
True
Suppose 0 = -0*q + 3*q - 54. Let b be 76/q + 4/(-18). Suppose -2*m - 73 = f - 230, -4*m = -b*f - 296. Is m composite?
True
Suppose -4*l + 2*l - 283 = -3*d, 3*d = -l + 268. Is d a prime number?
False
Suppose -2*x = -v - 1 + 7, -5*x = -2*v + 11. Suppose g - 4*w - 34 = 0, v*g - 3*g - w - 170 = 0. Is g prime?
False
Let s be (-1)/3 - 358/6. Let y = -200 - s. Let x = 217 + y. Is x a prime number?
False
Suppose 389 = h + 3*t, -5*h - t - 365 + 2338 = 0. Is h composite?
True
Let c(b) = b**3 - 6*b**2 + b - 4. Let a be c(6). Is 62/(2 - 0/a) a composite number?
False
Let p = -125 + 264. Suppose -u + 0*c + p = 3*c, 3*c = -4*u + 538. Is u a composite number?
True
Suppose 15*m - 10*m - 1325 = 0. Is m a composite number?
True
Let l = -588 + 1495. Is l composite?
False
Let y = 382 + -179. Is y a composite number?
True
Let j = 99 + -25. Is j a composite number?
True
Suppose -a - b + 2*b + 296 = 0, 1169 = 4*a - b. Is a composite?
True
Let k = -5 + 2. Let x = 10 - k. Is 3*x*(-2)/(-6) composite?
False
Suppose -c + 4*x = -4, -c + 3*x = 4*c + 31. Let m be (20/c)/(2/4). Let g = m - -19. Is g composite?
True
Let b be ((-5)/10)/(1/(-816)). Suppose -5*n + 60 + 1345 = 0. Let o = b - n. Is o composite?
False
Suppose 3*g = 2 - 8. Is g/(0 - (-4)/(-22)) composite?
False
Suppose 2*m = 3*m - 3*s, 4*m - 17 = -5*s. Is 922/m + 4/(-12) a prime number?
True
Suppose 0 = -61*r + 57*r + 2516. Is r a prime number?
False
Let z(t) = -13*t + 6*t - 1 - 20*t. Let u(y) = -y - 7. Let q be u(-5). Is z(q) composite?
False
Suppose -5*r = -0*r - 1465. Is r composite?
False
Let c = -205 + 344. Is c prime?
True
Suppose 2*s + 5*p = 38 + 661, -4*p = -s + 317. Is s a prime number?
True
Suppose 0*v + 2980 = 4*v. Suppose -3*a - 2*d = -v, -514 = -3*a + a + 3*d. Is a a prime number?
True
Suppose -4*p = 2*q - 730, 0 = -3*p + 4*q + q + 580. Is p composite?
True
Let z(i) = -18*i**2 - 2*i + 1. Let m be z(4). Let h = -186 - m. Is h a prime number?
True
Let w(t) = -6*t**3 - 7*t**2 - 11. Let b(v) = -3*v**3 - 3*v**2 - 5. Let n(p) = -9*b(p) + 4*w(p). Is n(2) prime?
False
Let s(d) = d**3 + 9*d**2 - d - 7. Let l be s(-9). Let r be (-6)/(l/2 + -2). Let f(q) = 2*q**2 - 8*q - 1. Is f(r) a prime number?
True
Let n(x) = 34*x**2 + 9*x + 10. Is n(5) prime?
False
Is (-54852)/(-63) - 2/(-6) prime?
False
Is 14651/26 - 3/2 composite?
True
Let j = 557 - 16. Is j a composite number?
False
Suppose 0 = 3*a, -5*x - 4*a + a = -20. Let m(k) = -3*k - 3 - 20*k**2 + 22*k**2 + 8*k. Is m(x) composite?
True
Suppose 0 = -4*y + m + 10, 3*y - 5*m = 6 + 10. Let h = 21 + y. Let d = h - -2. Is d a prime number?
False
Suppose -4*r - r = 0. Suppose 3*u - 4*u + 83 = r. Is u a composite number?
False
Suppose 4*n - 9 = n. Suppose 2*o - 15 = -3*o. Is n/(-9)*-23*o a prime number?
True
Is (-3)/(-2) + 1571/2 a composite number?
False
Let o be ((-4)/(-3))/(1/(-12)). Let c(f) = -4*f**3 + 3*f**2 + 3*f + 1. Let b be c(-3). Let d = o + b. Is d a composite number?
True
Suppose z + 4 = 3*z, 0 = 3*d + 5*z - 7195. Is d a prime number?
False
Suppose 56 - 188 = -2*o. Suppose 3*p - 5*p + o = 0. Is p a prime number?
False
Suppose -265 = -m - 3*s, 2*m - 4*s = 5*m - 805. Is m a composite number?
False
Let j = 8 + -5. Is j prime?
True
Let f(g) = 17*g + 7. Suppose 4*u - 15 + 3 = 0. Let a be (-3 - -5)*u/1. Is f(a) a composite number?
False
Suppose -3*z + 1524 = z. Suppose -z = -3*x - 36. Is x a prime number?
False
Let k = -11 + 15. Suppose 28 = -3*r + k*x, 7*x + 8 = -5*r + 4*x. Let l = r + 83. Is l a prime number?
True
Let f(m) = -9 + 6*m + 10*m**2 + m**3 - 17*m + 7*m. Is f(-10) prime?
True
Let j(f) = f**2 + 5*f - 15. Is j(8) composite?
False
Suppose -23 - 35 = -g + 3*h, 4*h = 5*g - 323. Is g composite?
False
Let r = 22 - 9. Suppose 3 - r = -2*b. Suppose -3*f - 2*s = -241, b*f - 3*s + s - 391 = 0. Is f composite?
False
Is (-397)/(10/(-7) + (-3)/(-7)) a composite number?
False
Let h(v) = 53*v - 54. Is h(7) prime?
True
Let p(z) be the third derivative of 37*z**4/12 - z**3/2 - 2*z**2. Is p(2) prime?
False
Suppose 3*f = -0 + 12. Suppose -f*z + 4 = -24. Let y(s) = 2*s**2 - 7*s + 4. Is y(z) composite?
False
Suppose 0 = 4*r - 3*r - 2819. Is r prime?
True
Let q(w) = -5*w**3 - 7*w**2 - w + 12. Is q(-5) a composite number?
False
Let i(m) = -m - 2. Let h be i(-4). Let o be (-1)/h + (-5)/(-10). Suppose o = q + q - 134. Is q a prime number?
True
Let t(i) be the first derivative of 17*i**2/2 + 2*i + 2. Let j(h) = 2*h + 31. Let o be j(-14). Is t(o) prime?
True
Is (2/(-6))/((-1)/2391) composite?
False
Let m(i) = -i**3 + 2*i**2 + 3*i - 1. Let q be m(3). Let b be q/2*(-3 + -1). Suppose -3*p = -3*u + 66, -2*u - 3*p - b*p = -37. Is u composite?
True
Let u(m) = m**3 + 2*m**2 - m. Let d be u(2). Suppose -3*k + 16 = -d. Is k prime?
False
Let b(m) = m**3 + 9*m**2 - 8*m - 7. Suppose -g - 12 = -3*g. Suppose -g + 18 = -2*y. Is b(y) composite?
False
Is 662*6/(-24)*(0 - 2) a prime number?
True
Suppose 0*g = 2*g - 114. Is g prime?
False
Suppose 8*a - 1245 = 5*a. Is a composite?
True
Suppose 23 + 2 = 5*f. Suppose f*t - 111 = 224. Is t composite?
False
Is 2290 - (16/4 - (-14)/(-2)) a prime number?
True
Let k = 470 - 247. Is k a prime number?
True
Is (-25130)/(-154) + (-4)/22 a composite number?
False
Let v(i) = 2*i**2 + 1. Let h be v(-1). Suppose h*w + s - 1045 = -3*s, 1391 = 4*w + 3*s. Is w composite?
False
Suppose -2*k = -5*m - 2533, -4*k + 461 = 5*m - 4560. Is k composite?
False
Let g = 6 + -6. Suppose 2*a = g, 8 = -2*b + 4*b + 5*a. Suppose -b*p + 7*p = 285. Is p a composite number?
True
Let i(z) = 16*z + 11. Is i(14) composite?
True
Let j = -2260 + 5469. Is j a prime number?
True
Is (-306)/(-4) + (-6)/(-12) a prime number?
False
Suppose 0 = 3*z - 0*z - 3. Is ((-55)/(-20))/(z/4) a composite number?
False
Suppose -5*c + 198 = -872. Is c prime?
False
Let d = -3 + 5. Suppose k + d*c + 14 = 4*k, -2*c = -k + 10. Is k composite?
False
Suppose 0 = -4*s - 5*m - 61, 5*s + 2*m = -0*m - 72. Let q be 8/28 + (-108)/s. Let z(r) = 3*r - 3. Is z(q) a prime number?
False
Let v(a) = -a**3 - 2*a**2 + a. Let t be v(-3). Let m(p) = 21*p - 5. Is m(t) a composite number?
True
Suppose -3*x - 8 = -7*x. Suppose 0 = 3*h + 3*p - 8*p - 221, -3*h = x*p - 235. Is h a composite number?
True
Let p(o) = 3*o**3 + 4*o**2 - o + 5. Is p(6) composite?
True
Let x(i) be the third derivative of -i**4/12 - i**3/2 - i**2. Let d be x(-4). Suppose 0 = b - l - 81, 2*b - 3*b + 57 = d*l. Is b a prime number?
False
Suppose -2*w = -4*j + 170, -3*j + 4*w = -174 + 34. Suppose 5*h - 99 = 4*d, -2*h + d + j = -d. Is h composite?
False
Let v be 8/2 - -1 - 3. Let r = -3 + v. Is ((-38)/(-6))/(r/(-3)) composite?
False
Suppose c - 2*x - 15 = 0, 0*c + 4*c = 4*x + 60. Is c a composite number?
True
Let h(z) be the first derivative of 2*z**3/3 - 5*z**2/2 + 7*z + 2. Let j be 2*1*(3 - 0). Is h(j) prime?
False
Suppose 5*k = 1162 + 853. Is k a composite number?
True
Let d(u) = -u**3 - 6*u**2 - u + 4. Let r be d(-6). Let v(m) be the second derivative of -m**4/12 + 5*m**3/2 - 11*m**2/2 + m. Is v(r) a composite number?
True
Let u(t) = t**3 + 10*t**2 - 2*t - 14. Let x be u(-10). Let n be 2/x + 40/24. Suppose -n*s + g = -78, 3*s + 115 = 6*s - g. Is s composite?
False
Let q(a) = 1. Let f(x) = 3*