 u = 2298 + -1181. Is u prime?
True
Let g(l) be the third derivative of l**5/60 + 3*l**4/8 + l**3/2 - l**2. Let w be g(-9). Suppose -42 = -w*r - 0. Is r a prime number?
False
Suppose 3*p + 238 = -197. Let d = -78 - p. Is d a composite number?
False
Suppose 6*v - 3*i = v + 934, 0 = 4*i + 12. Is v a prime number?
False
Let z be (48 - (-1 - -2)) + 3. Suppose 128 + z = 2*b. Is b composite?
False
Suppose -5*s + 1029 + 696 = 0. Suppose 0*g - s = -5*g. Is g - (0 - -3) - -1 a prime number?
True
Let t = 272 + -191. Let b(o) = -7*o + 2. Let h be b(4). Let g = t + h. Is g composite?
True
Let z be (6/5)/((-38)/(-95)). Suppose z*b + 3*n - 1020 = 0, -3*n = 5*b + n - 1697. Is b a composite number?
False
Suppose 30 = 5*r - v, 13 = -r - v + 5*v. Suppose -r*c = -4*c - 2859. Is c a prime number?
True
Let s(v) = 16*v**2 + 4*v + 3. Let m = 4 - 6. Is s(m) composite?
False
Suppose 5*q - 4*t - 777 = 482, 0 = -3*q + 2*t + 755. Is q a prime number?
True
Let x be 130/39*(-6)/(-4). Suppose 3*t = -x*r + 757, r - 145 = -0*t + t. Is r a prime number?
True
Let g(j) = -j**3 + 6*j**2 - 4*j - 5. Let z be g(5). Let v be 10*(z + 5) + 0. Let a = -25 + v. Is a composite?
True
Is (-2682)/(-8) + 1/(-4) prime?
False
Let h = -411 - -808. Is h prime?
True
Let v(r) = r + 34. Let i be v(0). Let g = 13 + i. Is g a prime number?
True
Let h = -16 - 1. Let m = 104 + h. Is m a composite number?
True
Let v(z) = 18*z + 5. Is v(6) prime?
True
Is ((-265)/(-10))/(2/4) a composite number?
False
Let h(r) = -8*r**2 + 9*r - 19. Let p(u) = 2*u**2 - 2*u + 3*u - 3*u + 5. Let n(b) = 2*h(b) + 9*p(b). Is n(-6) prime?
True
Let a(k) = -2*k**3 - 2*k**2 + 3*k - 5. Let t = 2 - 6. Is a(t) prime?
True
Suppose -123 = -4*y + 401. Is y prime?
True
Suppose 0 = -4*u - 12, -910 = 3*x - 3*u - 3784. Is x prime?
False
Suppose -4*h = -7 - 1. Suppose l - h*l = 0. Suppose l = o + 5, -5*k + 85 + 95 = -3*o. Is k composite?
True
Suppose -13 = -3*l - 4. Suppose 0 = -s - 3*y + 18 - 5, 34 = l*s + 4*y. Is s a prime number?
False
Let q(d) = 3*d**2 + 12*d - 16. Is q(7) prime?
False
Let t be (0 - (-1 - 0)) + 3. Suppose 6 = -t*u + 6*u. Suppose -2 - u = -y, 5*r - 875 = 2*y. Is r prime?
False
Let l(m) = 2703*m + 2. Is l(1) prime?
False
Let l(h) = -2*h**3 + h**2 + 2*h + 1. Let b be l(2). Let f(c) be the first derivative of -11*c**2/2 + 8*c - 1. Is f(b) a composite number?
True
Let d(x) = -x**3 + 20*x**2 - 5*x - 12. Is d(19) a composite number?
True
Let g(y) = 5*y - 3. Let k be g(5). Let r be 8/(-44) + (-876)/k. Let o = r + 59. Is o composite?
False
Let g = -3228 - -4589. Is g prime?
True
Let n = -16 + 125. Is n a composite number?
False
Suppose 3*l + 8 = 2*t, 0 = t - 2*l + 3 - 7. Suppose y = 2*f + t*y - 15, 0 = 3*f + 2*y - 20. Is f composite?
True
Let r(a) = 3*a**3 - 5*a**2 + 8*a - 7. Is r(6) a composite number?
False
Let x(r) = r**3 - 5*r**2 - 4*r + 9. Let y be x(6). Suppose 0 = -3*o - 0*o + s + 17, 5*s = -o - y. Suppose o*p - 2*p = 46. Is p prime?
True
Let l(f) = 2*f**3 - 2*f**2 - 17*f + 10. Is l(7) a composite number?
False
Let i(s) = 263*s - 5. Is i(2) composite?
False
Let j be (-46)/(-6) - (-4)/(-6). Suppose 2*n + 5 = j*n. Suppose h - 52 + n = c, 8 = 4*c. Is h composite?
False
Let o(b) = b**3 - 6*b**2 - 13*b + 11. Suppose -5*h + 35 = -5. Is o(h) composite?
True
Is (-1 + 2438)*(-4)/(-4) a prime number?
True
Suppose -3 = -2*d + 17. Is d/(-45) + 2830/18 a composite number?
False
Suppose -3*c = 348 - 66. Suppose 0 = -4*v + 2 + 6. Is v/(-2)*(c - 0) composite?
True
Let s be (2 - 1)*(7 - 2). Suppose 0*r = r - 3*p - 19, 3*p + 71 = s*r. Is r composite?
False
Suppose -1316 = -5*x + x. Suppose -3*j + 4*s + x = 2*s, -j + 2*s + 111 = 0. Is j a composite number?
False
Let i(a) = a**3 - a + 44. Let s be i(0). Suppose s = 5*p + 2*o, 4*o + 56 + 6 = 5*p. Suppose -3*c = -4*c + p. Is c composite?
True
Let s = -98 + 58. Let p = -223 - s. Let w = p + 346. Is w a prime number?
True
Let p(x) = x - 1. Let a be p(0). Is a*(-1 + -3) - -219 a prime number?
True
Let o(l) be the second derivative of 5*l**3/6 - 2*l**2 + 3*l. Is o(5) composite?
True
Let o(g) = -g**3 - 5*g**2 - g - 3. Let s be o(-5). Suppose -2*u + 58 = -2*t, -s*u - 2*u + 122 = -t. Is u a composite number?
False
Let u = -2 - 0. Let h be (26/3)/((-4)/(-6)). Let j = h - u. Is j composite?
True
Let g(r) = r**3 - 6*r**2 + 3*r - 1. Let b be g(7). Let l = b + -32. Is l prime?
True
Let a(k) = -12*k + 6. Let m(o) = 11*o - 5. Let x(b) = -3*a(b) - 4*m(b). Is x(-4) composite?
True
Suppose 2*q = -4*m + 12, -3*m - 5*q + 15 = 2*m. Let d = -3 + 5. Suppose 2*x + 8 = 0, m*n - 36 = d*x + 173. Is n composite?
False
Is (-35940)/(-24) + (-3)/(-2) a composite number?
False
Let n(l) = 130*l - 1. Is n(8) composite?
False
Suppose -o + 4*k = -4*o + 6, 3*k = 5*o - 10. Suppose i = 2*m + 121, -o*i - 3*m = -0*i - 228. Suppose -q - 2*q + i = 0. Is q prime?
False
Let a = 233 + -72. Is a composite?
True
Let a = 865 + -380. Let v = 886 - a. Is v a prime number?
True
Is (1/1)/(-6) + 565383/126 composite?
True
Suppose -672 = -2*y - 88. Let f = 423 - y. Is f a prime number?
True
Let t = -230 + 565. Is t composite?
True
Suppose -5*w + 1478 = -3*w. Is w composite?
False
Let v(f) be the third derivative of f**5/60 + f**4/4 + f**3/3 + f**2. Is v(-6) a composite number?
False
Let n = -6 + 6. Suppose n*s - 2*s + 266 = 0. Is s a prime number?
False
Let g = 0 + -1. Is (g + (-24)/(-1))*1 a prime number?
True
Let r = 613 - 145. Suppose 611 = 5*h + 4*j, -4*h - 2*j + r = -4*j. Is h composite?
True
Let t(q) = 45*q**2 - 37*q - 17. Is t(-15) a prime number?
True
Let o be 1*3 + 0/(-4). Let d(h) be the third derivative of h**6/120 - h**5/30 + h**4/8 + h**3/2 - h**2. Is d(o) a composite number?
True
Let o be 14/8 - (-1)/4. Suppose -t - o*t = -18. Suppose t*i = 2*i + 4*n + 216, 2*i - 105 = -n. Is i composite?
False
Suppose 3*v - 6462 = 2*w + w, v + 4*w - 2129 = 0. Is v prime?
False
Let a = -3443 - -6262. Is a composite?
False
Is 3/(-6) + (-3915)/(-10) a composite number?
True
Let c(u) = -2*u + 1. Let r be c(-2). Suppose 0*h - 45 = -5*j - 5*h, 4*h - 40 = -r*j. Suppose 0 = -j*a + 115 + 105. Is a composite?
True
Suppose -181 = 2*l - 843. Is l a prime number?
True
Suppose -9 = -7*s + 1538. Is s a prime number?
False
Is 10/5 - 3 - -1042 prime?
False
Let j = 0 - -8. Let t be (j/(-1))/(12/(-318)). Is (15/12)/(1/t) composite?
True
Suppose 0 = 2*v - 3*b - 108 - 134, 3*b - 647 = -5*v. Is v a prime number?
True
Let m = -8 - -11. Let u(c) = 3*c**m + c**2 - 4*c**3 + 6*c + 2 + 3*c**2. Is u(5) prime?
True
Suppose 2*h - 315 - 137 = 0. Suppose -5*p = -h - 99. Is p prime?
False
Let f be 222/9 + (-8)/12. Is (-159)/1*f/(-36) prime?
False
Is (-14 - 23)*(-2 - 11) prime?
False
Is 649*(4 - (4 + -1)) prime?
False
Suppose -13*c = -10*c - 5*y - 78, -5*c + y = -152. Is c composite?
False
Let p(b) = b**3 - 4*b**2 + 2*b. Let c be p(5). Suppose 3*g = 2*g + c. Is g prime?
False
Let q(c) = -c - 3. Let o be q(-6). Suppose -2*r = r + f - 400, -o*f = r - 136. Is r prime?
False
Is (-20)/30 + (-293)/(-3) composite?
False
Let w(s) = s**2 + 2*s + 6. Let g(d) = d + 7. Let i(n) = -3*g(n) + 4*w(n). Let q(u) = 2*u**2 + 3*u + 2. Let h(j) = -4*i(j) + 9*q(j). Is h(-4) a composite number?
True
Suppose 4*o + 2*o = 186. Is o a composite number?
False
Suppose -24 = y - 20. Let l(m) = -3*m**3 - 3*m**2 - 6*m - 5. Is l(y) prime?
True
Let n be 2 - (-6 + (4 - 1)). Suppose 0 = -10*o + n*o + 1115. Is o prime?
True
Suppose -t - 2*t = -9. Suppose 18 = t*v - 0*v. Let l = 12 - v. Is l a prime number?
False
Suppose 4*h - 9 = h, 5*l - 3*h = -2019. Let a = -271 - l. Is a composite?
False
Is -2*(-15)/10 + 62 a composite number?
True
Suppose 12 = -3*h + 3. Let c = 4 - h. Is c a composite number?
False
Suppose -53 = -g - 5*a, 3*a = 5*a - 4. Is g a composite number?
False
Suppose -4*d + 26 = 5*v, -4*v - 10 = -d - 35. Is (-21)/((-1)/(4/v)) prime?
False
Let x = 87 + -56. Suppose -5*v + 29 = -x. Suppose 0 = 4*y + 2*l - 94, -y + 22 + v = -3*l. Is y composite?
True
Suppose -52 = q - 5*j, 9*q - 4*q + 410 = -5*j. Let y = 208 + q. Is y a composite number?
False
Suppose -181 = -s - 5*r, 0 = -5*s + 2*r + 1077 - 199. Let u = s - 123. Is u composite?
False
Let a = -246 - -450. Let p be (3/(-4))/((-3)/a). Suppose 2*r - 262 = 5*x, 4*r - 5*x - 555 = -p. Is r a prime number?
False
Let p(o) = o**2 - 6*o - 6. Let v be p(7). Let t = -28 