1 + 0. Let c = r - -76. Is c composite?
True
Let q = 338 + -8. Suppose 5*c = m + 3*m + q, -c + 5*m = -66. Let x = c - 45. Is x a composite number?
True
Let h(k) = 2*k**3 - 4*k**2 - 5*k - 9. Is h(8) a prime number?
True
Let t(q) = 22*q**2 + q. Let b be -1 + 6/(3/1). Is t(b) a composite number?
False
Suppose 175 = -h + 6*h. Let c = -9 + h. Let f = c - 11. Is f a prime number?
False
Let u(g) be the third derivative of g**5/20 + g**3/3 - 4*g**2. Is u(2) a composite number?
True
Let m = -19 + 33. Let u be (-298)/m + (-4)/(-14). Is (-964)/(-6) - 7/u a prime number?
False
Let r be 2 + -1 - (1 + -2). Suppose 3 = u + r*o, 0 = -0*u - 3*u - 5*o + 9. Suppose -g + 84 = u*g. Is g prime?
False
Let r = 168 + 35. Is r a prime number?
False
Let d(z) be the third derivative of 7*z**5/6 - z**4/12 + z**3/6 - z**2. Let n(b) = -b**3 - 3*b**2 - 2*b + 1. Let j be n(-2). Is d(j) composite?
True
Suppose -127 = -12*o + 11*o. Is o prime?
True
Suppose 330 = 4*d + d. Suppose -s + d = -45. Let h = s + -65. Is h composite?
True
Suppose 0 = -5*x + 855 - 200. Is x composite?
False
Let g(h) = 10*h + 1. Let c be g(2). Let m = -18 - -18. Is (1 + m/(-2))*c a composite number?
True
Let h be (-6)/(-4) + 42/(-4). Let m = h - -9. Is (m - -2)/(6/561) prime?
False
Suppose 2*m + 3*m = 2*u + 3365, 2*u = 0. Is m composite?
False
Suppose -2*y + 6*y = 8. Let a be 5*23/5*y. Suppose o + 9 = a. Is o composite?
False
Suppose 2*f = 3*f - 54. Let y be 2/(-9) + (-2472)/f. Let r = y + 81. Is r prime?
False
Let d = 0 - -8. Suppose -5*b + 3 = -d*b. Is (14/(-4))/(b/6) prime?
False
Let b be 10*(3/2 - 1). Suppose -b*z + 7*p = 4*p + 8, 0 = -3*z + 2*p - 4. Is (28/16)/((-1)/z) composite?
False
Let m(v) = -2*v - 8. Let x be m(-6). Let n(u) = -3*u + 2. Let d be n(x). Let s = 24 + d. Is s a composite number?
True
Let w = -3 + 8. Suppose -w*j - 365 = -5*x, -5*x = -0*x + 2*j - 337. Is x a prime number?
False
Suppose -4*n + 17 = -159. Let q = -14 + n. Suppose q = d + d. Is d composite?
True
Let k(s) = s + 35. Suppose 0 = -7*h + 3*h + 5*m - 45, h - 15 = -4*m. Let x be 2/h + (-8)/(-20). Is k(x) composite?
True
Let d(p) = 16*p - 5. Let o(g) = g**3 + 6*g**2 + 5*g - 4. Let h be o(-5). Let l be ((-2)/(-4))/(h/(-48)). Is d(l) a composite number?
True
Let p(g) = -5*g**2 - 5 - g**3 - g + 2*g - 2*g. Let d be p(-5). Suppose 3 = z - d*z. Is z prime?
True
Suppose 2*h - 7*h = 0. Is h + (0 - 3 - -98) prime?
False
Is (-45)/60 - 470/(-8) prime?
False
Let n be (-2 - 7) + 4 + -2. Let y be 6/(-21) + (-604)/n. Suppose 4*t + 30 = 5*t - 2*d, 3*t - 5*d = y. Is t a prime number?
False
Suppose m + 12 = -2*m, -6 = 3*h + 3*m. Let w be (2/(-3))/(h/(-228)). Let b = 153 - w. Is b a prime number?
False
Let d be 3 + (-33 - 3) + -4. Let f = d - -306. Is f a prime number?
True
Suppose -8*c + 385 = -3*c. Suppose -5*z + 237 = -4*k, 4*k + 326 = z + c. Is 1/(k/(-31) + -2) prime?
True
Suppose 2*f = w + 2550, 4*w = 6*f - 2*f - 5092. Is f prime?
True
Is 152 + 4/((-12)/9) composite?
False
Suppose -4*q + 10 = 2*m, 3*q + 0*q - 2*m - 18 = 0. Suppose -1 = q*d + 2*s + 31, 4*s = -4*d - 28. Let k = -3 - d. Is k a prime number?
False
Is (-4)/16*0 - -2231 prime?
False
Let p(s) be the second derivative of 3*s**4/4 + s**3/6 - 3*s**2/2 - 3*s. Is p(4) prime?
False
Let l = -180 - -282. Suppose -2*n - 10 = 0, -n - 4*n + l = o. Is o a composite number?
False
Suppose 0*v - 2*v - 16 = 0. Let m(c) = -c + 1. Let t be m(v). Suppose -y + 4*y = t, -2*y = 3*r - 39. Is r a composite number?
False
Let h(j) = -43*j + 10. Let y be (4/10)/((-4)/20). Let v(q) = -22*q + 5. Let u(d) = y*h(d) + 5*v(d). Is u(-6) prime?
True
Is (-5292)/(-30) + (-6)/(-10) a prime number?
False
Is (7 - 2) + 1906 + -2 prime?
False
Suppose -4*q + 532 = 4*v, 4*q - 2*v = -q + 644. Suppose -q = u - 2*u. Suppose -3*r + u = 2*r. Is r prime?
False
Let g be 7/((-7)/(-3)) - 49. Let i be (-914)/(-14) + (-2)/7. Let q = i + g. Is q a composite number?
False
Let t(l) = 586*l - 8. Let h be t(4). Suppose -671 = -2*a + z + 494, -h = -4*a + 4*z. Is a composite?
True
Suppose -3*t - 2*t = -380. Suppose 0*r + 4*r = t. Let c = r + 16. Is c a prime number?
False
Let u(i) = i**3 + 10*i**2 + 9*i + 1. Let o be u(-7). Let t = o + 6. Is t composite?
True
Let l(h) be the first derivative of 4/3*h**3 - h + 1 + 0*h**2. Is l(-1) composite?
False
Let s(h) = h - 5. Let r be s(6). Let c be 1 + (-1 + 5)*r. Suppose c*i - 164 = 221. Is i a composite number?
True
Let d(q) = -3*q**3 + 5*q**2 - q - 8. Let p(a) = 5*a**3 - 10*a**2 + 3*a + 15. Let v = 3 + 4. Let k(f) = v*d(f) + 4*p(f). Is k(-6) a composite number?
True
Suppose 0 = k + 2*g - 945, -g - 3807 = -4*k - 0*g. Is k a prime number?
False
Let q(u) = -u**3 + 8*u**2 - 6*u - 3. Let f be q(7). Suppose 0 = -d + 3*d + f. Is 2*((-197)/d + 3) a composite number?
True
Let y(n) = -n**2 - n + 2. Let u be y(0). Suppose -3 = -2*b + 1, -4*m + 120 = -u*b. Is m prime?
True
Let y = -14 + 37. Let c = y - 12. Is c composite?
False
Let z be 4/(-12) - 21/(-9). Suppose z*j = -3*j + 310. Is j composite?
True
Let i(u) = 41*u**3 - 7*u**2 - 7. Is i(5) a composite number?
False
Suppose 0 = 6*l - 5*l - 479. Is l composite?
False
Let k = 11 + -9. Is 306/2*k/6 composite?
True
Suppose 2*y = 6*y - 740. Is y a prime number?
False
Let c be (-4)/(-6)*(78 + 3). Is c - (-3 + (1 - -1)) prime?
False
Let g = -245 + 436. Is g a prime number?
True
Let v(c) = -c**3 + 11*c**2 + 2*c - 16. Is v(11) a prime number?
False
Let j = -17 + 22. Suppose -n = 5*b + 4*n - 470, -j = -n. Is b composite?
False
Suppose -3*j - 3*q - 8396 = -5*j, -10 = -5*q. Is j prime?
True
Let r(v) = 4*v. Let n be r(-5). Let o = 51 + n. Is o prime?
True
Let i = -3 + 4. Let m be i + (-3 - 1) + 3. Suppose m = -4*r + 3*r + 71. Is r composite?
False
Let l(f) = -4*f**3 - 5*f**2 + 10*f + 7. Is l(-6) prime?
True
Let b = 363 - 206. Is b a prime number?
True
Let w be 530/2*(2 - 1). Let a be 31/3 + 1/(-3). Suppose a*b - 5*b = w. Is b a prime number?
True
Suppose -g - 3*m = m + 13, -g = 5*m + 17. Suppose -4*n = -g*n - 21. Is n a composite number?
True
Suppose -4*z - 117 + 17 = 3*h, -2*h = 5*z + 118. Let w = z - -13. Let m = w + 24. Is m a composite number?
True
Suppose 0 = -v - v + 422. Is v a composite number?
False
Let d = -278 - -489. Is d composite?
False
Let c(t) = 2*t**2 - 24*t - 57. Is c(-19) composite?
True
Let y(o) = -o**3 + 9*o**2 - 8*o + 7. Suppose 0 = 4*w + i - 55, -6*w - i = -5*w - 16. Suppose v + 4 = -2*d, d - 2*d = 3*v - w. Is y(v) composite?
False
Suppose 0 = 2*g - 3*c - 5 + 4, c - 28 = -5*g. Suppose 210 = 5*s + 5*l, 114 = g*s - 3*s - 4*l. Is s composite?
False
Let n = -7 + 11. Suppose 85 = -f + 6*f - n*l, f - 3 = -2*l. Is f a composite number?
False
Let h(k) = 106*k. Is h(1) a composite number?
True
Let m(f) = f**3 + 21*f**2 + 3*f + 17. Is m(-16) a prime number?
True
Let a(s) = 0*s**2 - s**2 - 34 - 6*s + 32. Is a(-4) a composite number?
True
Let q(g) = -2*g**3 - 3*g**2 + 7*g - 7. Is q(-8) a composite number?
False
Let v(q) = 8*q**3 - 2*q. Let f be (-8)/(-6)*(-3)/(-2). Let n be v(f). Let c = -7 + n. Is c prime?
True
Suppose -2*n - 5 = -4*p - 1, 5 = -p + 2*n. Suppose p*m - 31 - 62 = 0. Is m a composite number?
False
Suppose 10 = u + 2*u - 5*a, 4*u - 18 = 2*a. Suppose -225 = u*k - 1040. Is k composite?
False
Let g = -38 - -121. Suppose 0 = -2*k + g + 27. Is k composite?
True
Suppose 2 + 0 = a. Let s(r) = 13*r**3 - 3*r**2 + 4*r - 3. Is s(a) prime?
True
Suppose 4*i = 2*i - 4. Is (-1)/(3/678*i) prime?
True
Let q(w) be the third derivative of -3*w**4/4 + w**3/6 + w**2. Is q(-2) a composite number?
False
Suppose 0 = 3*u - 6*u - 2*o + 179, -5*o = 3*u - 191. Is u composite?
True
Suppose -128 = -4*a - 6*o + 2*o, a + 2*o = 31. Is a composite?
True
Let p = 92 + -64. Suppose o + y = p, -4*y + 26 - 7 = o. Is o prime?
True
Suppose -8*u = -5*u. Suppose -2*o - o + 249 = u. Is o a prime number?
True
Let s(m) = 4*m**2 - m - 7. Let q(b) = b**2. Let r(i) = 3*q(i) + s(i). Is r(-8) a composite number?
False
Let a = 7 - 5. Let v = a + -2. Suppose 10*t - 5*t - 925 = v. Is t prime?
False
Let s(i) = -53*i - 1. Let r be s(6). Let z = r - -468. Is z prime?
True
Suppose -k = -17 - 182. Is k composite?
False
Let h(m) = -m**3 + 2*m**2 + 5*m + 2. Let b be (2/5)/((-1)/10). Let s be h(b). Is 4/(-26) - (-2742)/s a composite number?
True
Let j(b) = b**2 - 10*b - 6. Let y be j(11). Let i(k) = 32*k 