= -15 + 25. Is b a composite number?
True
Let x = -604 + 941. Is x prime?
True
Let o be -9 - -1 - (-2 + 3). Let z be (16/10)/(1/(-10)). Let l = o - z. Is l composite?
False
Let f(q) = 25*q + 4. Let b(y) = 2*y - 3. Let p be b(3). Is f(p) a prime number?
True
Is 7/42 + 1217/6 prime?
False
Let a be (30/3*-1)/(-2). Suppose -a*w + 0*w - 5*p = -50, w + 5*p - 22 = 0. Is w a prime number?
True
Suppose -7*k + 11473 = 4*k. Is k a composite number?
True
Suppose -3*s - 12 = -5*b, 4*b - 3*s = 1 + 8. Suppose b*n + 8 = n. Is (-345)/n + 6/8 prime?
False
Let m(w) = w + 9. Let o be m(-6). Let k be 1 + 0/o + 0. Let b = k + 20. Is b composite?
True
Suppose 0 = y - 5*y - 224. Let g = y + 111. Is g prime?
False
Let w(y) = -66*y + 7. Suppose 3*x + 12 = -4*k, 2*k + 8 = 2*x + 2. Is w(k) composite?
True
Suppose -3*a + 1535 = 2*a. Is a composite?
False
Let a = 5298 + -3769. Is a a composite number?
True
Suppose 7 = 3*y + 1. Suppose 2*p - 5*u = -2*p + 791, 2*u + 396 = y*p. Is p a composite number?
False
Suppose -a = o - 1101, -4*a + 2*o = -0*a - 4428. Is a/10 - 1/(-2) prime?
False
Let u(w) = -19*w + 12. Let q be u(-5). Is q/5 + (-8)/20 a composite number?
True
Let n(m) = -m**3 - m**2 - 115. Let h be n(0). Suppose -5*u + 564 = -356. Let i = h + u. Is i composite?
True
Let c = -4 + 5. Let s be -1*c*(2 + 26). Let i = s + 111. Is i prime?
True
Let p = -24 - -43. Suppose 11 = 2*n - p. Is n a prime number?
False
Let o be (-18)/(-8) - 4/16. Suppose o*n - 3*x = 244, x + 482 = 4*n - 2*x. Is n a composite number?
True
Suppose -4*i + 131 = -565. Suppose -g - i = -3*g. Is g a composite number?
True
Let g = 168 - 103. Is g a composite number?
True
Suppose 0 = 3*h - 5*v + 16, 5*v - v - 32 = -4*h. Suppose h*b = 4*b - 95. Is b prime?
False
Let x(o) = -2*o**3 - 4*o**2 - 8*o - 7. Is x(-5) composite?
True
Let w = -1 - -6. Suppose -w*s + 454 = 3*a - 785, 0 = -5*s. Is a a composite number?
True
Suppose 0 = -2*j - j + 603. Is j a prime number?
False
Let f(s) = s**2 - 5*s - 4. Let x be f(7). Let u = 19 - x. Suppose c - u = 10. Is c a composite number?
False
Let o be 1 + 2/(-2) + 5. Suppose -5*v = -527 - 248. Suppose -o*m + v = -0*m. Is m composite?
False
Let r be 2/8 - (-127)/4. Let n(i) = 20*i**2 + 21*i**2 + r*i**2 - 11*i**2. Is n(-1) a composite number?
True
Let z(q) = 8*q**2 + 5*q - 9. Is z(4) a composite number?
False
Let h be (-8)/36 + (-58)/(-18). Suppose 2*l - 3*l = -h*p + 10, -5*l = p - 14. Suppose 4*g + 367 = 3*z, 3 = -g + l. Is z composite?
True
Let r(o) = -134*o - 17. Is r(-4) prime?
False
Let p = 10 + -8. Suppose -1018 = -5*c - 3*t, c + 0*c + p*t = 205. Is c composite?
True
Suppose -c - 2*l = 16, -c + 1 = -5*l + 17. Is (44/c - -3)*52 composite?
False
Is (-1)/(-2) + (-9)/(-6) a prime number?
True
Let z = 1473 - 992. Is z a prime number?
False
Let l = 6 - -27. Is l a composite number?
True
Let x be (202 - 1)*(-126)/(-27). Is (1 - 2/4)*x a prime number?
False
Suppose -3*h + 3*c + 131 = -73, 0 = h - 4*c - 65. Is h a prime number?
False
Suppose -5*q = -5, 3*q = -f + q + 7. Suppose -1 - f = t + 3*c, 3*t - 4 = 2*c. Is 6/(-2) - -26 - t a prime number?
True
Is 6/10 - 104336/(-40) prime?
True
Suppose 4*o = -2*f - 2, f - 7 - 27 = 5*o. Let j be (-30)/f*6/(-5). Is 310/j + 1/(-2) a prime number?
False
Let j(t) = -2*t**3 - 5*t**2 + 8*t + 9. Is j(-6) composite?
True
Suppose -2*t - t + 1473 = 0. Is t prime?
True
Suppose 0 = -7*b + 5*b + 1294. Is b a prime number?
True
Let i(b) = 2*b**3 + 3*b**2 + b. Let k be i(-2). Let l = 71 - k. Is l a composite number?
True
Is (-2)/(-10) + -4564*(-6)/30 prime?
False
Let v be ((5 - 3)/2)/(-1). Let y(s) be the first derivative of -17*s**2 + s - 2. Is y(v) a composite number?
True
Suppose 0 = q - 775 - 274. Is q composite?
False
Let d = 1752 - 1195. Is d prime?
True
Let b(k) be the third derivative of 5*k**4/12 - 3*k**3/2 - 2*k**2. Is b(4) prime?
True
Is (-5 - -1) + 1783 + -17 a prime number?
False
Suppose 7*i = 5*p + 2*i - 190, -p + 4*i + 35 = 0. Let m = 166 - p. Is m composite?
False
Let k(p) = 6 - 3 - p**3 + 2*p**2 + 2*p**3 + 4*p + p. Is k(4) a prime number?
False
Let d(f) = 7*f + 2*f - 1 - 2*f + 5*f**2. Is d(9) a prime number?
True
Let i(p) = -10*p**2 - 4. Let j be i(5). Is j/((-1)/(3/6)) a prime number?
True
Let i(t) = -207*t. Let d(f) = -4*f - 7*f - 9*f - 3*f. Let m(x) = -46*d(x) + 5*i(x). Is m(1) composite?
False
Let c(v) = 8*v - 1 + 5 - 2*v. Is c(3) prime?
False
Let h = -631 + 950. Is h prime?
False
Suppose -6*k + 5*f = -2*k + 46, k + 4*f = -22. Let r = -12 - k. Is r composite?
False
Suppose 0 = -3*h - 3*c - 0*c + 15, -h - 4*c = -14. Suppose -v + 18 = -20. Suppose 112 = h*d + v. Is d composite?
False
Suppose 0 = 5*s - 71 + 26. Suppose -2*h + 19 + s = 0. Is h a composite number?
True
Suppose r = -3*r + 148. Is r a composite number?
False
Let r be (3 - 27/6)*-2. Let v(t) = -t. Let p be v(0). Let s = r + p. Is s prime?
True
Let m(u) = -u + 12. Let z be (-18)/(-4)*(2 + -4). Is m(z) a prime number?
False
Let i = -451 + 684. Is i prime?
True
Suppose -6*n - 3*f = -n - 19, -3*f + 5 = -2*n. Suppose -i - z = 2*i + 6, 4*i = n*z + 2. Let m(o) = -14*o**3 + o**2 + o + 1. Is m(i) composite?
True
Let w(d) = -d - 5. Let b be w(-5). Suppose o = 2*r + 4*o - 4, 2*o = -5*r + 10. Suppose -r*h - h + 177 = b. Is h a prime number?
True
Let f be 0*1/4*2. Suppose -o + 2 = -b, 4*b - 5*b - 5*o + 10 = f. Suppose b*w - 5*w = -185. Is w prime?
True
Suppose 0 = -2*m - 0 + 4. Suppose m*y + 2*t = -2, -5*y - 2*t + 4 = -0*t. Is -15*(1 - 2) - y prime?
True
Suppose -5*z - 763 + 2668 = 0. Is z a composite number?
True
Let f = 91 - -124. Suppose -4*w - f = -k, -2*k + k + 225 = w. Is k a prime number?
True
Let h(i) = -20*i + 2. Let k be h(-5). Let u = k + 11. Is u composite?
False
Suppose 363 = 3*b - 18. Suppose -61 - b = -4*q. Is q prime?
True
Let b(a) = -1. Let p(d) = d**3 + 6*d**2 + 5*d - 1. Let t be p(-5). Let i(u) = -20*u + 4. Let s(g) = t*i(g) - 5*b(g). Is s(1) prime?
False
Let v(i) = -2*i - 9. Let w be v(-6). Suppose -2*h + 5*y = w*y - 218, -2*h - 2*y + 234 = 0. Is h prime?
True
Is (2333/5)/((-5)/(-25)) composite?
False
Let p(t) = t**3 + 6*t**2 - 6*t - 5. Let h be p(-7). Let c be (-65)/(-3) - 4/h. Suppose 0*u = -2*r - 3*u + 16, -r + 2*u + c = 0. Is r composite?
True
Let y(j) = -j + 1. Let b(s) = s. Let p(m) = -2*b(m) - 3*y(m). Let a be p(7). Suppose 2*u = -a, 5*d + 0*u - 81 = 3*u. Is d composite?
True
Is (3147/(-12))/((-9)/4 + 2) composite?
False
Suppose -3*q + w = 103, 3*q + w = -50 - 57. Let p = 58 + q. Is p a composite number?
False
Suppose 3*y - 952 = 1301. Suppose -y = -2*l + 87. Is l a prime number?
True
Is 915 - -4 - 3 - -5 a composite number?
True
Let p(v) = 27*v**3 + 4*v**2 - 2*v - 2. Let h be p(2). Let x = 425 - h. Is x a composite number?
False
Suppose 5*d - 2*r = 2, -d + 2*d - 2*r = 2. Suppose d = c - 2*c + 7. Let a(s) = 2*s**2 - 5*s + 2. Is a(c) composite?
True
Let j(r) = 2*r + 4. Let s be j(4). Suppose s = -3*a + 4*a - 5*t, -4*t = -3*a + 58. Is a a composite number?
True
Suppose -2*w + 3*w - 2 = 0. Suppose -w*n = 2*n - 148. Is n a composite number?
False
Let p(h) = 10*h - 8. Let f(b) = 11*b - 9. Let t(g) = 4*f(g) - 5*p(g). Let m = 4 - 7. Is t(m) prime?
False
Suppose 0 = 23*o - 30*o + 31367. Is o a prime number?
True
Suppose 4*l + 3*a - 8*a = 32, 0 = -4*a - 16. Suppose -3*d + 33 + 69 = -3*h, 14 = d + 3*h. Suppose 0 = l*j - 40 - d. Is j a prime number?
True
Let z = 3 - 2. Let f(c) = z - c - 3*c - c - c. Is f(-2) a prime number?
True
Is (0 - 1)/((-9)/19935) a composite number?
True
Suppose 0*v - v + 5 = 0. Suppose v*b + 131 = -l + 522, -5*b = 0. Is l composite?
True
Let c = 1319 - 360. Is c prime?
False
Let p be -5 - 4/((-4)/3). Let x be 2 + 234 + (p - -3). Suppose 7*v - 4*v - x = 0. Is v prime?
True
Suppose -2*f + a + 2 = 0, 3*a = 3*f + 2*a - 5. Suppose -5*c = -4*g + 2207 - 6646, -f*g + 1771 = 2*c. Is c prime?
True
Let r be (-40)/(-16)*12/10. Suppose -872 = -r*b + 367. Is b a composite number?
True
Let u(a) be the first derivative of a**3/3 - 7*a**2/2 + 12*a - 2. Let t be u(8). Suppose c - 43 = -0*s - 2*s, -t = -4*s. Is c composite?
True
Let c(k) be the third derivative of k**5/60 - k**4/24 + 5*k**3/6 - 2*k**2. Let a = 1 - 7. Is c(a) a prime number?
True
Let t = 44 - 7. Is t prime?
True
Suppose -697 = -9*k + 716. Is k a prime number?
True
Let y(l) = l + 5. Let b be y(0). Let