= -269 + 414. Is m composite?
True
Suppose 0*m = 5*m. Suppose -3*d - 129 + 600 = m. Is d composite?
False
Let g(o) = -o**2 - 10*o - 4. Let l be g(-9). Suppose 2*y + 0*y = -l*u + 173, -37 = -u - y. Is u a prime number?
False
Is -3*319/(-9)*3 a composite number?
True
Let y(l) = 1. Let w(q) = 12*q + 10 + 10 - 10. Let o(r) = -w(r) + 3*y(r). Is o(-5) a prime number?
True
Is (0 - -2041)/(5 - 4) a prime number?
False
Suppose -3*k = -k + d + 55, -56 = 2*k + 2*d. Is (-3231)/k - 4/6 a composite number?
True
Suppose -293 - 433 = -6*l. Is l composite?
True
Let y(d) = -d**2 + 3*d. Let b be y(3). Let t = 22 + -18. Suppose 2*m + b*m - 52 = h, -117 = -5*m - t*h. Is m composite?
True
Let r(a) = 1207*a**2 - 6*a - 9. Is r(-2) prime?
True
Let k = -70 + 123. Is k prime?
True
Suppose -5*r + r = -708. Let h = 518 - r. Is h a prime number?
False
Let c = 13632 + -7175. Is c composite?
True
Let p(a) = 250*a**3 - a. Let b be p(1). Let s = b + 132. Is s a composite number?
True
Let a(k) be the second derivative of -k**3/3 + 3*k**2/2 - k. Let g be a(3). Is (-172)/(-12) - 2/g a prime number?
False
Suppose 5*l = 2*b - 450, -2*b - 2*l + 243 = -b. Is b a prime number?
False
Let m(p) = -p**3 + 18*p**2 + 16*p + 12. Is m(17) prime?
False
Let m(y) = -4*y**2 - 16*y**3 - 1 + 17*y**3 - y**2. Is m(7) a prime number?
True
Suppose -4 = 3*b - 4*i, 4*i - 3 - 1 = 4*b. Suppose -4*p + 5*l + 465 = b, -l - 253 - 208 = -4*p. Is p composite?
True
Suppose -52 = 4*x - 368. Is x a prime number?
True
Let i = 6 - 3. Let p(q) = -4 - 4*q**2 + 4 + 6*q - q**3 - 2 + i. Is p(-6) a composite number?
False
Is (2133/4)/1 - (-2)/(-8) composite?
True
Is (-4)/(-36)*33*(-18)/(-2) a prime number?
False
Let z = 5 + -8. Is ((-19)/(-5))/(z/(-15)) prime?
True
Let v be (-1)/((-2)/6) - -42. Let l = -22 + v. Is l prime?
True
Let o(v) = -v - 1. Let n be 2 + 0 + 1*-3. Let l be o(n). Suppose 3*h - 308 + 107 = l. Is h a prime number?
True
Let m = 2 - -14. Suppose 4*s - 70 = -2*w, s + w + 0*w - m = 0. Let r = 0 + s. Is r prime?
True
Let i = 2481 + -1222. Is i composite?
False
Suppose 2*t + 2*s + 88 = 0, 0 = -3*t - 2*s - 0*s - 129. Let l = -2 - t. Is l a prime number?
False
Suppose 0 = d - 1623 - 747. Suppose 11*x - d = 5*x. Is x prime?
False
Let j(p) = -198*p**3 - p. Let m(v) = -v - 6. Let a be m(-5). Is j(a) a composite number?
False
Suppose 0 = 2*i + 2*h - 2, -2*i + h + 5 = -0*h. Suppose 3*r - i*q = -17, -q + 0*q = -3*r - 22. Let m = r - -18. Is m a prime number?
False
Suppose 0 = -2*w - 0*c + c + 313, -3*w + 3*c = -474. Let y = w + -6. Is y composite?
False
Suppose 2*y = 7*y - 40. Suppose y = 5*w - w. Is w a prime number?
True
Let q(d) = -8*d**2 + 9*d**2 + d**3 + 35 + 0*d**3. Is q(0) a prime number?
False
Suppose -l + 18 = 5*y, -4*y + l = -3*y. Suppose 5*a + 18 = -2*b, y*b + 30 - 8 = -5*a. Let q = 9 + a. Is q a composite number?
False
Let x be 1 + (2 + 152 - 2). Let c = x - 40. Is c prime?
True
Let k = 1785 + 368. Is k composite?
False
Let x = -10 + 19. Let p(l) = l**2 - 6*l + 10. Is p(x) a prime number?
True
Suppose 2*f + 0 = -3*q + 2, 2*q - 2*f = 8. Is q/7 - 3123/(-21) prime?
True
Let d(a) = -8*a**3 - 40*a**2 - 12*a + 16. Let f(b) = 2*b**3 + 10*b**2 + 3*b - 4. Let z(r) = -2*d(r) - 9*f(r). Is z(-7) composite?
True
Let v = 3 - 3. Let b be -1 + (1 - (2 + v)). Is (5/15)/(b/(-114)) a prime number?
True
Suppose 4 = y + 3*f, 0 = -3*y + y + 3*f + 8. Suppose 116 = y*j - 224. Is j prime?
False
Let s(p) = -48*p**3 + 4*p**2 - 3*p - 1. Let r(t) = -49*t**3 + 3*t**2 - 2*t - 1. Let x(c) = -5*r(c) + 4*s(c). Is x(1) a composite number?
False
Let d(c) = c**2 - 2*c + 2. Let w be d(2). Suppose 0 = -w*s + 447 + 55. Is s composite?
False
Let l be 78/4 + 3/6. Is (-5)/l + 213/4 composite?
False
Let x(k) = 121*k - 8. Is x(7) a prime number?
True
Let a(v) = -v**3 - 6. Let x(w) = -3*w**3 + w**2 - 17. Let q(g) = 11*a(g) - 4*x(g). Let n(z) = -z**2 + 8*z. Let j be n(7). Is q(j) a prime number?
True
Suppose 4*p + 177 = 757. Is p a composite number?
True
Let f(h) = 7*h**2 + 7*h - 7. Is f(6) composite?
True
Let d = 13 + -5. Let s be (-10)/d*-4*1. Suppose -s*x = 3*p - 5 - 83, 5*x = 25. Is p a prime number?
False
Let d = 10 - 10. Suppose q - 31 = -d*q. Is q composite?
False
Let s(z) = -7*z**2 + z - 2. Let q be s(1). Is q/(-20) - 146/(-10) prime?
False
Let a = -94 + 135. Suppose 3*g = -h + 234, -4*g + 272 + a = h. Is g prime?
True
Suppose 4*a + 513 = 2*s - a, 5*a - 1041 = -4*s. Is s composite?
True
Let f be 5/20 - (-7)/4. Suppose 0*n + 4*p = 5*n - 99, 0 = -n - f*p + 17. Is n prime?
True
Let a(n) = -n**2 + 8*n + 11. Let w be a(9). Suppose -221 = -3*u + w*q - 0*q, 0 = -u + 5*q + 52. Is u prime?
False
Let j = 221 - 126. Is j composite?
True
Let b = 4760 + -2529. Is b composite?
True
Let d(b) = 4*b + 2. Let l be d(-4). Let w be ((-7)/l)/((-2)/(-8)). Suppose 0 = -y + 5*j + 43, 0*y + 269 = 5*y + w*j. Is y composite?
False
Let s(a) = -a**3 - 12*a**2 - 22*a - 18. Is s(-17) composite?
False
Suppose 0 = 5*x - 187 + 32. Is x prime?
True
Let g(x) = 6*x - 12. Let p(j) = 12*j - 23. Let s(b) = 5*g(b) - 3*p(b). Suppose -v - r - 11 = 0, 3*v - v + 26 = -3*r. Is s(v) composite?
True
Let c(r) = 11*r**2 + 2*r + 4. Let t be (2/3)/(6/45). Let q = -8 + t. Is c(q) composite?
False
Let g(f) = f**3 + 5*f**2 + f. Let b be g(-2). Let j(w) = 23*w + 3. Is j(b) a prime number?
True
Suppose -88 = -3*k + 2. Suppose 0 = -2*y + 40 + k. Is y a prime number?
False
Let c = 43 - -31. Suppose -3*j + j = -c. Is j a composite number?
False
Suppose 0 = 5*c - 5*d + 15, -c - 7*d = -4*d + 7. Is (-6)/c - (-115)/2 a composite number?
False
Suppose 224 = 2*h - 414. Is h a composite number?
True
Let k be 61 - (-6 + 4 + -2). Let c = k + 14. Is c a prime number?
True
Let p(a) = 6*a + 0*a - 5 - 17*a. Let b(r) = r**2 + r - 8. Let s be b(0). Is p(s) prime?
True
Let b be 0 + (1 - 6/(-3)). Suppose -k = b - 17. Suppose -k = 2*m - 80. Is m a composite number?
True
Let g(a) = 2*a**3 - a**2 - 2*a + 3. Let r be g(2). Let j(z) = 5 + 0 + 0*z + r*z**2 + 2 - 5*z. Is j(-5) a composite number?
False
Suppose -2 = -2*d - 18. Let l = d + 9. Let g = 10 - l. Is g a prime number?
False
Let n(b) be the second derivative of 19*b**4/6 - b**3/3 + b**2/2 - 4*b. Is n(1) a composite number?
False
Is 6/(-27) + (-2218)/(-18) a prime number?
False
Let n = -1 + 7. Let b(r) = 10*r**2 - 6*r + 7. Is b(n) a composite number?
False
Suppose 863 = 2*f - c - 2*c, 0 = f - 5*c - 414. Is f composite?
False
Suppose -4*c - 13 = -61. Suppose 0 = -6*z + 2*z - c, 233 = 5*u + 4*z. Is u a prime number?
False
Let l(k) = -k**3 - 10*k**2 + 11*k + 3. Let g(o) = o - 6. Let p be g(-5). Let d be l(p). Suppose -5*q - 2*u - 3*u = -480, d*u - 3 = 0. Is q a prime number?
False
Let v(m) = m**2 - 10*m + 6. Let r = -18 - -28. Is v(r) a prime number?
False
Let x(w) be the first derivative of w**4/12 - w**3 - w**2 + w - 3. Let o(a) be the first derivative of x(a). Is o(9) a composite number?
True
Suppose -2*z + 3*z - 79 = -4*v, -2*z = 3*v - 163. Let b = z + -24. Is b a composite number?
False
Suppose 3 = 4*p - 13. Suppose -3*j + 15 = 3*w, -2*j + 4*j - 15 = 3*w. Suppose -119 = -p*g - 3*v, j*g + v = 2*g + 109. Is g a composite number?
True
Let o(s) = -104*s - 3. Is o(-2) a composite number?
True
Suppose 14 = 2*b + 3*d, -3*b - 5*d - 2 = -6*b. Suppose -3*v - r = -65, 0 = -v + b*r - 2 + 15. Is 12/9*v/2 prime?
False
Suppose 3*a + 6 = 4*p - 2*p, 0 = -2*a - 4. Suppose -2*u + p*q - 6 = 2*q, -15 = -5*u + q. Suppose -130 = -4*o + u*o. Is o a prime number?
False
Let z be 230/2 - 0/3. Let q = 164 - z. Is q composite?
True
Let v be (-20)/(-130) - (-48)/26. Suppose -4*c - 1482 = -2*t - v*c, -c = 4. Is t composite?
True
Suppose x = -2*x + 90. Let p = 58 - x. Suppose l + 3*i - p = 0, -4*l + 55 = 2*i - 27. Is l a composite number?
False
Let f(d) = 7*d. Let l be f(4). Is ((-149)/4)/((-7)/l) prime?
True
Suppose -3*f - x + 21 = -2*x, 3*f + 4*x - 6 = 0. Let q(p) = -3*p**2 - 4*p**2 + p**2 + f*p - p**2 - 3 + 2*p**3. Is q(4) prime?
True
Let x = 583 - -156. Let v = -404 + x. Suppose 0 = -4*l - l + v. Is l a composite number?
False
Let h(k) = -k**3 + 2*k**2 + 2*k. Let w be h(3). Let g(q) = 1 - 7*q - 1. Is g(w) prime?
False
Suppose -5*a = 2*n - 73, 3*n + a - 97 = -4*a. Let y = -17 + n. Is y a composite number?
False
Suppose 5*n - 9*n = 8. Is (n/(-4))/(2/100) composite?
True
Let c(z) = -z - 4*z - 