composite number?
True
Is (0 - 2/(-4))*974 a prime number?
True
Let b(d) = d**2 + 2*d + 5. Let t be b(-6). Suppose -4*p = 279 + t. Let s = 124 + p. Is s prime?
True
Let y(n) = -78*n + 2. Let o be y(6). Is (-4)/14 - o/14 a composite number?
True
Let z = 331 + 10. Is z composite?
True
Suppose 4*l = -5*m + 3, 4*m = -l + 9*m - 18. Let r = -5 - l. Is (0 - (2 + r)) + 31 prime?
True
Let y = 1036 - 713. Is y prime?
False
Let n(x) = x. Let c be n(1). Suppose 3*j = 2*g + c, 4*g - 2*j = j - 11. Let t(i) = i**2 - 6*i + 4. Is t(g) a prime number?
True
Let l(n) = -n**3 + 37. Suppose 4 = -d + 2*o - 6*o, -5 = 4*d + 5*o. Is l(d) composite?
False
Let l(m) = 5*m + 5. Let t = 6 + -24. Let k be ((-4)/6)/(2/t). Is l(k) composite?
True
Let j = -1 - -4. Suppose -826 = -j*i - 229. Is i a composite number?
False
Let r(q) = 35*q - 16. Let y(v) = 17*v - 8. Let p(u) = -2*r(u) + 5*y(u). Let b = 0 - -7. Is p(b) a prime number?
True
Let d(z) = -37*z - 16*z - 14*z. Is d(-1) a prime number?
True
Suppose -6*n = -9060 - 18. Is n prime?
False
Let f(l) = 2*l**3 + l**2 - 3*l + 1. Is f(3) a composite number?
True
Suppose 2*t = -5*c - 12, -13 = 5*c + 3*t - 0*t. Let d be 2 - (20 - -1) - c. Let u = d + 28. Is u a prime number?
True
Suppose -w + 1082 = w. Is w a prime number?
True
Suppose 0 = -3*j - j - 892. Let c = -173 - -27. Let s = c - j. Is s prime?
False
Suppose -3*g + m = -2*g - 188, -g = -4*m - 179. Is g prime?
True
Let x = -3 - -2. Let k(i) be the third derivative of -3*i**4/4 + i**3/6 + 6*i**2. Is k(x) prime?
True
Suppose -3*v - 3 = -5*l, -2*l + 0*l = 2*v + 2. Let t = 157 - 80. Suppose l*p + t = p. Is p a composite number?
True
Let m(n) = -2*n**2 - n - 2. Let v(f) = -f. Let b be v(2). Let x be m(b). Is 2/x + (-1050)/(-8) a composite number?
False
Suppose -4*d = 2*w - 20, 2*d - 13 = -5*w + 5. Let h(s) = -s**3 - 20*s**2 - 10*s - 25. Let k be h(-20). Suppose -w*x - 3*x + k = 0. Is x a composite number?
True
Suppose l - 9 = 49. Let b = l - 3. Is b a composite number?
True
Suppose 13 = 3*r - 2. Suppose 663 = -6*s + 3375. Suppose -r*d + s = -d. Is d a prime number?
True
Let v = 5 + 26. Suppose -f + 2*f = v. Is f prime?
True
Let i = 0 + 3. Suppose 0 = -2*a - i*a + 55. Is a prime?
True
Suppose 0 = -l + x - 0*x + 2488, -5*x - 7458 = -3*l. Is l composite?
True
Suppose -3*y = -3*n + 7*n - 287, 2 = 2*y. Is n composite?
False
Let c(o) = o**3 + 7*o**2 + 3. Let p be c(-7). Let m(s) = 4*s**3 + 0*s**p + 9*s**2 + 0*s**3 + 7 - 10*s - 5*s**3. Is m(7) a prime number?
False
Let r be (-3)/4 - 44/(-16). Let d(p) = r*p + 53 + 0*p - p. Is d(0) a composite number?
False
Suppose 5*l + 4*i = -0*i + 561, 3*l - 335 = -4*i. Is (8 + -10)*l/(-2) a prime number?
True
Let r(d) = d**2 + 12*d - 8. Let p be r(-13). Suppose -2*u + 2135 = y, p*y + 0*y = -15. Is u composite?
False
Let n(i) = -i**2 + 15*i - 4. Is n(10) a prime number?
False
Let v = -7 + 13. Suppose -4*i = 4*x - 372, -i - 5*x = -v*i + 425. Is i a composite number?
False
Let v = 8 - 6. Suppose -x = -2*t - 113, -v = x + 2*t - 115. Is x prime?
True
Let i(d) = d**3 + 16*d**2 - 4*d + 23. Suppose -3*r - 48 = -0*r. Is i(r) a prime number?
False
Let s(o) be the third derivative of -3*o**2 + 0*o - 1/2*o**3 + 5/6*o**4 + 0. Is s(2) a composite number?
False
Suppose q + 0*q = 11. Is q*5/1 - 2 a composite number?
False
Suppose 4*u - 3*f = 2801, 2*u - 7*f - 1397 = -2*f. Is u a composite number?
False
Let s = 1 - -11. Suppose 0 = -f + 4*c - s, 0 = -2*f + f + 2*c - 4. Suppose -5*q + 0*q - f*k + 251 = 0, 4*k = -4. Is q composite?
True
Let p be (-88)/(-24) - 4/6. Let c(t) = 3*t**3 + 4 + 2*t**3 - 3*t**3 - 3*t**2 + 2*t. Is c(p) a composite number?
False
Let c = 62 - 41. Is c a prime number?
False
Let l(n) = 6*n - 5. Let m(v) = 2*v**2 - 2*v + 1. Let f be m(3). Suppose 0 = 3*a - 5 - f. Is l(a) a prime number?
True
Let q(a) = a**2 - a - 1. Let j be q(2). Let t be (1 + j)*(-2)/2. Is (t + 15/(-2))*-2 composite?
False
Is (3 + -3 - 92)*(-201)/12 composite?
True
Let o(f) = 2*f - 12. Let q = -51 + 96. Suppose r - 6*r = -q. Is o(r) composite?
True
Let q(h) = 12*h**3 - 2*h**2 - 3*h - 2. Is q(3) composite?
True
Is 38/((21/1498)/(3/4)) a prime number?
False
Let n = 741 + -405. Suppose 3*j - 273 = n. Is j composite?
True
Let i be -26*3*2/12. Let l = 18 + i. Suppose -85 = -l*q - 2*n, -n = -q - q + 43. Is q composite?
False
Suppose 6*i = 8*i - 94. Is i composite?
False
Suppose 0 = 4*t + 2 - 6, -492 = -b - t. Is b prime?
True
Suppose -5*y = 3*o - 6*o + 88, 4*y = -4*o + 128. Is o prime?
True
Let c = 7 + -14. Let h(j) = 4*j**2 + 9*j - 6. Is h(c) a composite number?
False
Let s = 8 + 7. Let d be 141/s + 6/(-15). Is (2 - 1)*(d + -2) composite?
False
Let h be (-1 + 5)*15/(-2). Is (-1)/(h/(-31) - 1) a prime number?
True
Suppose 3*c + c = 2332. Is c a composite number?
True
Let o = 42 - 3. Is o composite?
True
Let s be (102/(-8))/((-8)/32). Suppose -8*n + 5 = -3*n. Is s/n - (-2 - -2) a composite number?
True
Suppose -q = -6*q - 40. Is 4/q*26/(-1) composite?
False
Suppose 3*k + s - 918 = 0, s - 5*s + 1523 = 5*k. Is k a prime number?
True
Let r(z) = z**3 + 3*z**2 + 3*z + 3. Let a be r(-3). Is a/2 - (-26 + 1) a composite number?
True
Suppose 2*o - u = -o + 1313, -5*o + 4*u = -2179. Is o prime?
True
Suppose 2*l - 627 - 55 = 0. Is l a prime number?
False
Let j = -65 - -188. Let w = -72 + j. Is w composite?
True
Let f = 586 - 349. Suppose 3*b = -4*y + 224, -74 + f = 3*y + b. Let j = y + 30. Is j prime?
True
Suppose 3*a = 2*l - 2*a + 23, 3*l - 4*a = -17. Let w = l + 1. Is (0 + 22)*5/w a composite number?
True
Let i(k) = -78*k - 2. Let p(m) = 39*m + 1. Let x(z) = -2*i(z) - 5*p(z). Let n(v) = v - 3. Let d be n(1). Is x(d) a composite number?
True
Let d(g) = -26*g - 3. Suppose -3*k = 5*q + 12, -4*q + 23 - 2 = -k. Let n be d(k). Suppose -4*u + n = -245. Is u composite?
True
Let v(u) = -u. Let a be v(-3). Suppose a*q + 990 = 4*s - 188, -3*q = -5*s + 1471. Is s a prime number?
True
Suppose 10*x - 941 = 1049. Is x a prime number?
True
Suppose 4*r + 0*r + w + 81 = 0, 82 = -4*r - 2*w. Suppose -29 - 41 = -2*a. Let j = a + r. Is j prime?
False
Let m(q) = 7*q**3 - q - 1. Let z be m(-1). Let a be (-681)/z + (-6)/21. Suppose a = 5*k + 2*r, -k - 2*r - 74 = -5*k. Is k composite?
False
Suppose h = -2*h + 9. Suppose 4*z = 1 + h. Is 13 + z - (-3 + 3) prime?
False
Let p = 1560 - 919. Is p a composite number?
False
Let c = -410 - -961. Is c a composite number?
True
Suppose -s = -c + 8, s - 2*c - 33 = 6*s. Let t be (-2)/(-5) - (-63)/5. Let v = s + t. Is v a prime number?
False
Suppose -4*h + 6*h - 454 = 0. Suppose 2*u - 7*u + 247 = 3*w, -3*w = -5*u - h. Is w a prime number?
True
Suppose 3*c = 8*c - 5505. Is c prime?
False
Let q(w) = 8*w**2 + 3*w + 13. Is q(6) prime?
False
Let c = 10 + -15. Let a be (3/c)/((-4)/20). Suppose 0 = a*q + v - 137, -3*q + q - 5*v = -74. Is q prime?
True
Let s be (1 - 0)*-2 + 39. Suppose 5*t = 4*j - s, -4*j + 3 - 1 = 2*t. Suppose -2*g = 4*p - 50, 0 = j*p - 9. Is g a prime number?
True
Suppose j - 5*g = -3*g + 7, -j = 3*g + 18. Let m(b) = 2*b**2 + 4*b + 1. Is m(j) prime?
True
Suppose -5*t = -4*y - 17 - 19, -5*t + 16 = y. Suppose -t*b + 5*k + 1945 = 0, 3*b + 5*k - 1451 = k. Is b a composite number?
True
Is 58/(-3)*(-1 - 2) a prime number?
False
Let t be ((-1)/2)/((-3)/12). Suppose 0 = 2*m - 5*p - 378, -m + 114 + 84 = t*p. Is m a composite number?
True
Is 116/2 - (-1)/1 a composite number?
False
Suppose 2*b - 4 = 0, -t + 7*b - 2*b - 3 = 0. Suppose t*a = 4*a + 12. Suppose a*o - 2*o = 158. Is o a prime number?
True
Suppose 410 = -w - 4*w + 4*x, w + 88 = 2*x. Let d = 27 + -52. Let h = d - w. Is h composite?
False
Let b(c) = -2*c**3 - 5*c**2 + 3*c + 5. Let k be b(-7). Let h = -174 + k. Is h composite?
False
Suppose 0 = 5*i - 2*q - 31, -3*i + 1 = 4*q - 2. Is (-1188)/(-15) + (-1)/i a composite number?
False
Let j(p) = -p**3 - 9*p**2 + 16*p + 11. Is j(-11) a prime number?
False
Let r(f) = f**2 - 4*f - 3. Let g be r(5). Let q = g + 23. Is q a prime number?
False
Let n(a) be the second derivative of -a**5/20 + a**4/2 + a**3/3 + a**2 - 2*a. Let r be n(7). Let w = r + 80. Is w composite?
False
Let x(q) = -394*q + 3. Let m = 7 - 2. Let h be x(m). Is 4/(-6) - h/21 a composite number?
True
Suppose a - 77 = 510. Is a a prime number?
True
Let v be -59*(0 + -1)/(-1). Let m = v - -92. Is m composite?
True
Let k = 1