x composite?
False
Let x(q) = 14*q**3 - 35*q**2 + 30*q + 10. Let g(l) = 5*l**3 - 12*l**2 + 10*l + 3. Let k(h) = -17*g(h) + 6*x(h). Let j = -17 - -9. Is k(j) a composite number?
True
Suppose 0 = -120*i + 115*i + 925. Is i prime?
False
Suppose 3*h + 917 = 5*y, 0 = 2*y - 4*y + 5*h + 382. Is y composite?
False
Let p(n) = 10*n**3 - 2*n**2 + n. Suppose -d + 2 = 3*b - 3, 5*b + d - 9 = 0. Suppose -b*j + c = -j + 4, 2*j + 23 = 5*c. Is p(j) a composite number?
True
Let d = -681 + 1138. Is d a composite number?
False
Let i(u) = 554*u - 21. Is i(2) prime?
True
Let p(t) = 3*t + 5. Let q be p(5). Suppose -q = g - 5*g. Suppose 2*o - g*o = -147. Is o prime?
False
Suppose -4*u + 232 = 5*h, -2*u - 249 = -7*u + 4*h. Suppose -3*o + 3*x - 107 = 4*x, -5*o - 165 = -x. Let j = o + u. Is j composite?
False
Suppose -4*u = -3*d + 4*d - 13, -5*d = -2*u + 1. Is 3*d + (-992)/(-8) a prime number?
True
Let n = -1628 + 2656. Is (n/(-20))/(2/(-10)) prime?
True
Let w = -2382 + 234. Let a = w - -4243. Suppose -5*s = -0*s - a. Is s composite?
False
Let o = 22 - 40. Let r = -7 - o. Is (0 - -1)*7*r composite?
True
Let m be -49 + (0/2 - 3). Suppose -2*n + 234 = -5*p, -5*n - p + 137 + 394 = 0. Let q = n + m. Is q composite?
True
Suppose -4*m + 17653 = 3*x, 27*m - 22*m - 4*x = 22105. Is m a composite number?
True
Let a = -4 + 4. Suppose -2*u + 11 + 251 = a. Is u a composite number?
False
Suppose -22 = l - 1. Is 14/l*387/(-6) a prime number?
True
Let b(l) = -l**2 + 16*l - 9. Suppose 0 = 3*n + 4*d - 1, -5*d = -5*n - 54 + 9. Let v(h) = h**2 + 4*h + 1. Let f be v(n). Is b(f) a prime number?
False
Suppose 0 = 4*g - 5 - 3. Let l(p) = 18*p**2 + 3*p + 4. Let x be l(-2). Suppose -3*c = -r + 26, 0 = g*r + r - c - x. Is r prime?
True
Let h(c) = -341*c**3 + c**2 - c - 1. Let d be h(-1). Let p = 525 + -244. Suppose -5*s = w - 368 - d, 2*s - p = -w. Is s a composite number?
True
Let t(o) = o**2 + o + 2. Let l be t(0). Let f be ((-12)/(-10))/(l/(-30)). Is 5/(-2)*(-4 + f) a prime number?
False
Suppose -g = -2*g. Suppose 2*q - 62 = -g*q. Is q a composite number?
False
Let p(f) = f**3 - 4*f**2 + 5*f - 4. Let y be p(3). Suppose -4*m - m = -4*b - 391, 5*b + 153 = y*m. Is m prime?
True
Suppose 0 = 2*r - r + 59. Let z = r + 150. Is z a prime number?
False
Let l(h) = 2*h**3 - 6*h**2 + 6*h - 3. Is l(5) prime?
True
Let o be -3*((-1400)/(-6))/(-5). Suppose -3*f = 2*l - o, 4*l + 5*f = 2*l + 144. Is l composite?
False
Let n(d) = d + 11. Let f be (54/(-24))/(1/4). Let t be n(f). Is -31*1/t*-10 a prime number?
False
Let n = 27 - 19. Let s be (n/(-10))/(4/(-10)). Is (-1 - -3)*7/s composite?
False
Let h(w) = w**2 - 6*w + 2. Let q be h(6). Suppose 0 = q*p + 2*p - 748. Is p a prime number?
False
Let k(f) = -2*f - 3. Let x be k(3). Let v = -1 + x. Is (-2)/v - 174/(-5) a prime number?
False
Suppose -5*a + 43 = -2*s, -a + 51 = -4*s + 2*a. Let z = s + 44. Is z composite?
True
Suppose 0*f + 3*f = 0. Let p be f - (3 + -1) - -6. Suppose -p*d + 369 = 109. Is d a prime number?
False
Suppose 6*g = 8*g - 598. Is g a composite number?
True
Suppose 5*f - 2939 = 456. Is f a prime number?
False
Suppose -5*s = 0, s + 0 = 3*x + 12. Let k be (6/x)/((-2)/4). Is (-1)/k - (-13)/3 a prime number?
False
Let w = -12493 - -18108. Is w a composite number?
True
Suppose 0*s - 477 = -3*s. Is s a prime number?
False
Let b = 2 - 1. Suppose -x + i = -0*x - 3, 6 = -4*x - 2*i. Is x + (25 - b) + -2 prime?
False
Let g = -1 + -10. Let s = g + 100. Is s composite?
False
Let c = -12 + 17. Suppose 4*n = n + 9. Suppose 70 = a + a + n*j, c*a - 175 = -2*j. Is a a composite number?
True
Let s = 4214 + -2690. Is s/8 + 1/2 composite?
False
Is (-3)/(-5) - (-39616)/40 a composite number?
False
Is (-40)/(-5) - 6 - (1 - 1) composite?
False
Let x(t) = t**3 + t**2 - 9*t - 12. Is x(7) composite?
False
Let m(u) = 2*u**2 + 13*u - 2. Suppose -4*s - s - 50 = 0. Let w be m(s). Let a = w + -15. Is a a prime number?
True
Let k(u) = 152*u - 3. Is k(7) prime?
True
Let m be 0 + (-3 - -3) - -6. Suppose m*p - 9*p = -309. Is p prime?
True
Let h(r) = -149*r - 3. Is h(-2) a composite number?
True
Suppose 4*y + 0 - 36 = 0. Let q = -6 + y. Suppose -q*t = -4 - 53. Is t composite?
False
Suppose -2990 = -2*m - 8*m. Is m prime?
False
Let f(c) = -54*c**3 + c**2 + 6*c - 4. Let o(d) = 53*d**3 - d**2 - 7*d + 5. Let s(i) = 4*f(i) + 3*o(i). Let v be s(2). Is (1 + v)/(4/(-2)) a composite number?
False
Let s(u) = -u**3 + 5*u**2 + 4*u + 5. Let r be s(6). Is 6/15*5 - r prime?
False
Suppose 0 = 5*t - 4*k - 5815, 3*t = 2*t + k + 1163. Is t a composite number?
False
Let u(o) = 42*o**3 + 2*o + 1. Let v be u(-1). Let l = v + 76. Is l composite?
True
Is 6520/6 + 3/9 prime?
True
Is (((-20)/6)/1)/((-48)/9864) a prime number?
False
Suppose -2*w - 4*o + 324 = 0, 4*w - o = 2*o + 637. Let u = w - 83. Is u composite?
True
Suppose 0 = 4*b + 3 - 11. Let f be 1/((-3)/(-9)) + b. Suppose 0 = -5*s + f, s - 69 = -2*a - 0*a. Is a a composite number?
True
Let o = -32 + 43. Is o composite?
False
Let f be -5*-1*(-4)/(-10). Let g be f + 1*-2 + 130. Suppose 0 = -8*v + 3*v + g. Is v composite?
True
Let t(g) = -g**3 - 4*g**2 + 4*g - 3. Let o be t(-5). Suppose o*w - 11 = 123. Is w a prime number?
True
Let u(k) be the second derivative of k**5/20 + 7*k**4/12 + k**2/2 - 2*k. Is u(-6) composite?
False
Suppose 105 + 85 = 2*f + 4*j, -j - 292 = -3*f. Is f a prime number?
True
Suppose 0 = 2*j + 2*h - 154, j - 235 = -2*j - h. Is j a composite number?
False
Suppose -5*g = -662 - 453. Is g composite?
False
Suppose 3*w = -o + 1111 - 345, -2*w = -o + 791. Is o prime?
False
Suppose 4*d - 19 = 3*d. Is d composite?
False
Let j(r) = 54*r**2 + 4*r - 9. Is j(5) composite?
False
Let q(g) = 57*g**3 - 3*g**2 - 2*g + 7. Is q(2) a prime number?
False
Let l(q) = -109*q - 13. Is l(-3) composite?
True
Let c = -10 + 18. Let d = c - -23. Is d a prime number?
True
Suppose -8 - 61 = l. Let r = -34 - l. Is r a prime number?
False
Suppose -2*g + 1 + 7 = 0. Suppose 0 = g*q - q. Suppose q = -2*s - 4*v + 32, -3*s - v = 3*v - 46. Is s prime?
False
Suppose -2*u + 4*b - 1164 = 3*b, -3*u + 5*b - 1739 = 0. Is (-3)/(3/u) + 0 composite?
True
Let i = 5 + -2. Suppose -24 = -i*k + 18. Is k a composite number?
True
Let t = 118 - -277. Is t prime?
False
Let x be ((-1)/(-3))/(5/45). Suppose -1 = -h - 4, -x*q + 5*h + 60 = 0. Is q prime?
False
Let o(n) = n - 2. Let g be o(2). Suppose g*f + 224 = -2*f. Let y = -3 - f. Is y a composite number?
False
Suppose -8*u = -3*u - 340. Let r = u - 17. Is r composite?
True
Let g(m) = -m - 13. Let z be g(-10). Let a = -3 - z. Suppose 0 = d - a*d - 10. Is d composite?
True
Suppose -b = -3*v - v - 63, 5*b - 279 = 2*v. Is b composite?
True
Suppose -g - 1746 = -3*h - 0*g, -4*h - 4*g = -2312. Is h prime?
False
Suppose 4*w + 848 - 243 = 3*m, -2*w + 2 = 0. Is m a prime number?
False
Suppose -3*g - 4*d + 34 = 0, 0 = -3*g + 2*g - 5*d + 15. Is (-228)/15*g/(-4) a composite number?
True
Suppose 0 = 4*x + x - 15. Suppose -x*k - 3*b + 18 = 0, 5*b - 7 - 13 = 0. Suppose f - k*f = -3. Is f a prime number?
True
Let f = 132 - 26. Suppose f = u + u. Is u a composite number?
False
Suppose -1603 - 1725 = -4*g. Let r = -550 + g. Suppose 5*t = -4*h + 513, 3*h - 3*t - 96 = r. Is h a prime number?
True
Is -8*718/(-4)*(-3)/(-12) prime?
True
Let u(g) = 30*g**2 + 4*g + 7. Is u(-3) prime?
False
Let m(w) = -84*w**3 - w**2 - w - 1. Is m(-1) a composite number?
False
Let f = -222 - -385. Is f prime?
True
Let l(n) = -17*n - 2. Let j(o) = 35*o + 3. Let u(b) = -2*j(b) - 5*l(b). Is u(5) composite?
False
Suppose 0 = w + 2*w - 4*d - 28, -2*w + 16 = -2*d. Is (-2)/16*-106*w a composite number?
False
Let g be (-2)/3 - 40/(-6). Is (-4 - -7)*446/g a composite number?
False
Let l be 40/(-18) - (-12)/54. Is ((-348)/(-3))/(l/(-1)) a composite number?
True
Let b be 3 + (524 - -3) - 2. Let a = b - 367. Is a prime?
False
Suppose -2*q - 4*m + 10 = 0, -2*m = 5*q - 4 - 13. Suppose -2*p + 326 = 4*y - 0*y, -5*y - 478 = -q*p. Is p a prime number?
False
Suppose 0 = 5*l - 1249 - 616. Suppose -i = -0*i - l. Is i a composite number?
False
Let n = 16 + -8. Let k = -6 + n. Suppose -k*o + 111 = o. Is o a composite number?
False
Suppose -u + 4*u = 204. Let k = u + 79. Let v = -98 + k. Is v composite?
True
Let w(a) = 2*a**2 - 4*a + 12. Let h be w(8). Let i = h - 53. Is i a prime number?
False
Let o(p