= -r + 126. Is r composite?
False
Let o(d) = -180*d + 6. Let n be o(5). Is n/(-4)*(-10)/(-15) a composite number?
False
Let n(u) = 414*u**3 + 2*u**2 - 1. Is n(1) a composite number?
True
Let f = 873 + -476. Is f composite?
False
Let v(r) = r + 1. Let q be v(-4). Let z be 18/4*46/q. Let y = 136 + z. Is y a prime number?
True
Suppose y - 889 = -170. Is y prime?
True
Let a(l) = 5*l - 13. Let d be a(3). Let u(c) = c**3 + 5*c**2 + 5*c + 6. Let g be u(-4). Suppose g*h - 3*s + 65 = 3*h, d*s = 0. Is h a composite number?
True
Suppose u = 4*x - 84, -u - 22 = -2*x + 22. Let r = 18 - 12. Let p = x - r. Is p prime?
False
Let d be (1/(-2))/(4/32). Let m = -4 - d. Suppose m = -q - 3*q + 56. Is q a prime number?
False
Let k(z) = 4*z**2 + 6*z - 12. Is k(7) a composite number?
True
Let a(x) = -1 + 36*x - 2 + 10*x. Is a(2) a prime number?
True
Suppose 4*m = -8, 22 = 4*c - 0*c - m. Suppose -c*s = -3*s - 4. Suppose 0 = 3*x + w - 203, -s*x + 132 = -0*w - w. Is x composite?
False
Let k be (-2 - -4) + (-2 - -1). Suppose v + k = 12. Is v prime?
True
Let s(u) be the first derivative of 4*u**3/3 + 3*u**2/2 + 4*u - 2. Is s(5) composite?
True
Let f = 1092 - 737. Suppose -2*h = 5*n - f, -3*h + 142 = 2*n + h. Is n a prime number?
True
Suppose 3*m - 1179 = s, -5*s = -3*s. Is m composite?
True
Let r(m) = -4*m**3 - 16*m**2 - 13*m - 6. Is r(-7) composite?
False
Let x(c) = -66*c - 13. Is x(-4) a composite number?
False
Suppose 15*q - 20*q = -1885. Is q a prime number?
False
Let a(u) = 6*u**3 - 4*u**2 - 6*u + 8. Let y(d) = 7*d**3 - 4*d**2 - 7*d + 9. Let c(i) = 6*a(i) - 5*y(i). Let g = 38 + -31. Is c(g) a prime number?
False
Suppose 4*d - 4*s = 28, -7*d + 5*s + 31 = -3*d. Suppose 0 = -y - d*y + 345. Suppose 6*k - y = 3*k. Is k composite?
False
Suppose -w + 725 + 357 = 0. Is w a composite number?
True
Let j = -1878 - -3725. Is j a prime number?
True
Is 4/(-18) + (-40315)/(-99) a prime number?
False
Let w = 2 - -1. Suppose y + w*y - 436 = 0. Suppose 4*u + y = 3*l + 3*u, 4*u + 191 = 5*l. Is l a prime number?
False
Let x be (-4)/(-16) + 3/4. Is 1/((-108)/(-106) - x) a composite number?
False
Let d(u) = -45*u + 9. Let r(m) = -44*m + 10. Let c(l) = -6*d(l) + 5*r(l). Let s be c(5). Suppose -2*f = -4*g - s, f + 0*g = 3*g + 121. Is f composite?
False
Suppose 2*z + 29 = q - 74, -551 = -5*q - 2*z. Let i = -76 + q. Is i prime?
False
Suppose -3*t - t = -1292. Is t prime?
False
Suppose -3*r + 1320 = -3*s, r + 5*s - 593 = -159. Is r prime?
True
Let o(w) = -w**2 - 7*w + 11. Let k be o(-8). Suppose -4*n + k*d + d + 80 = 0, -44 = -3*n - 5*d. Suppose -5*y + n = -327. Is y a prime number?
False
Let p(g) = -7*g**3 - 3*g**2 - 3*g - 3. Is p(-4) composite?
False
Suppose 2*c + 8 = 0, -3*g - 2*c = -g - 28. Suppose -j - g = -3*j. Is ((-6)/j)/(2/(-153)) prime?
False
Is -4 + 1/(4 - 3) - -164 prime?
False
Suppose -5*a + v = -394, v + 4*v + 153 = 2*a. Is a a prime number?
True
Let g be (1353 + -1)*1 + 3. Let l = -906 + g. Is l prime?
True
Let f be ((-9)/2)/(4/8). Let c(i) = i**2 + 10*i + 11. Let t be c(f). Suppose q - t*q = -19. Is q a composite number?
False
Let d = -94 - -257. Is d prime?
True
Is -3*(-39)/(-18)*-10 a prime number?
False
Let b(k) be the second derivative of -14*k**3/3 - 9*k**2/2 + 4*k. Is b(-6) composite?
True
Suppose -7 - 5 = -3*j. Suppose -5*c + 5 = -j*c. Suppose 5*s = 4*n - 53, -c*s - 48 = -4*n - s. Is n composite?
False
Let w = 7 + -33. Let k = 183 - w. Is k a composite number?
True
Let t = -487 - -864. Is t composite?
True
Let j = -21 - -84. Suppose 0 = 4*n - 7*n + j. Is n a prime number?
False
Let h(v) = v**3 - v**2 - v + 3. Let r be h(0). Let z be -1*r/(-6)*76. Suppose -p + z = p. Is p composite?
False
Suppose 486 = 4*r - r. Suppose -z + 79 = -2*z. Let c = r + z. Is c composite?
False
Let n = -275 - -388. Is n composite?
False
Suppose -148 = 3*k - 7*k. Let i be k*(4 + -2) + 0. Let b = -9 + i. Is b composite?
True
Suppose -3*o = o - 28. Suppose 0 = -o*s + 8*s - 57. Is s a composite number?
True
Suppose -2*z - 3*z = -1225. Suppose z + 9 = 2*o. Is o a prime number?
True
Suppose 3*c - 283 = -5*o + 3*o, -4*o = 3*c - 581. Let x = o - 84. Is x composite?
True
Suppose -5*n - 5 = -0*n. Let b = -191 + 428. Is (-2)/((-243)/b - n) a composite number?
False
Let i be (-2325)/(-4) - (-2)/(-8). Let t = i - 382. Is t composite?
False
Let r = -1095 + 2236. Is r a prime number?
False
Suppose -109 = 2*u + 4*d + 113, -3*d = -3*u - 351. Let q(v) = 116*v - 2. Let x be q(2). Let f = x + u. Is f a composite number?
True
Is 13324/10 - (-6)/10 a composite number?
True
Is 10 + -9 - (-1848 - -2) a composite number?
False
Is (-1)/1 + 1799 + (4 - 1) prime?
True
Suppose 15*h = 13*h + 506. Is h a composite number?
True
Let i = -185 + 262. Suppose -i = -p + 126. Is p a composite number?
True
Suppose q = -4*a + 8, 0*q + 11 = 3*a + 2*q. Let x be 2*a*(-18)/(-12). Suppose -2*s + x*s - 4*r - 57 = 0, 214 = 4*s - 2*r. Is s a composite number?
False
Suppose -1735 = -v - 653. Is v prime?
False
Let v be (-1268)/12 - 6/(-9). Let l = 208 + v. Is l prime?
True
Let i(q) = 125*q + 7. Let x be i(3). Is (x/(-8))/((-9)/36) a prime number?
True
Let q = 0 + 1. Is q - 216/(-2 - 2) prime?
False
Let t(n) = -40*n**2. Let v be t(-1). Let z = -29 - v. Is z composite?
False
Is (3/(-3))/((-2)/4542) composite?
True
Suppose 0 = -2*o + 2 + 2. Suppose -191 = -o*p + 63. Is p a composite number?
False
Suppose -4*q + 83 + 129 = 0. Is q composite?
False
Suppose -9*c = -8*c. Suppose c = -3*o + 4*y + 820 + 515, o + 3*y = 445. Is o composite?
True
Let m = -1408 + 5889. Is m a composite number?
False
Let a(h) = 0*h**3 - 2*h**2 + 8 + 10*h + 3 - 2*h**3 - 4. Is a(-6) composite?
False
Let p = 263 - 97. Is p a prime number?
False
Let s be 7*20 - 1 - -2. Let r = -11 + s. Let q = -77 + r. Is q a prime number?
True
Is 12/(-15)*1565/(-2) prime?
False
Let w(t) = -t - 3. Let g be w(-5). Suppose -1103 = -5*n - 2*a, n + g*n + 4*a - 659 = 0. Is n composite?
True
Let p be (-1 - 0)*(0 + -3). Let r = -3 + p. Suppose r = 5*q - 2*q - 30. Is q prime?
False
Suppose -3*s + 4606 = 175. Is s prime?
False
Let o be (15/5)/(-3)*2. Suppose 8*d = 3*d + 20, -2*v = 5*d - 26. Is -3 - o - -125 - v composite?
True
Let z be (10/(-8))/((-3)/60). Suppose w - 4*g + 6 = z, g = -2*w + 2. Is -1 - -285 - w*-1 composite?
True
Let o(z) = -z**3 - 5*z**2 - 4*z - 6. Let a be o(-6). Suppose b - a = -2*b. Suppose b = t - 5. Is t composite?
False
Suppose 0 = b - 0*b - t - 1778, -4 = 4*t. Is b composite?
False
Let n be 4/16 - (-33)/12. Let t = n + -3. Suppose 5*p - 4*s - 227 = 0, -4*p + 3*p + 4*s + 39 = t. Is p a prime number?
True
Suppose -6*y = -8*y + 2302. Is y a prime number?
True
Let n be (-6 - 2)/(1/1). Let x be 2*((-6)/(-2) + -2). Is -5*x*12/n a composite number?
True
Let a = 210 - 68. Let l be (1 + 4)/(2/a). Suppose 5*u - l = -4*f, -2*f = 5*u - 383 + 38. Is u composite?
False
Let x = -2477 - -3498. Suppose 245 - x = -4*p. Let r = -103 + p. Is r prime?
False
Let n(k) = -9*k**2 - k - 1. Let m be n(-1). Let w = 14 + m. Let a = w - -2. Is a a prime number?
True
Suppose 2*w + 5*o + 195 = 0, w - 3*o - 98 = 2*w. Is w/(-5)*1/1 a composite number?
False
Let c = -10 - -6. Is (-16)/c*127/4 a composite number?
False
Let z(x) = 5*x**3 - 9*x**2 + 7*x - 4. Suppose 2*l + 4 = -18. Let j(n) = -14*n**3 + 26*n**2 - 21*n + 11. Let r(y) = l*z(y) - 4*j(y). Is r(5) prime?
False
Suppose -4*w + 2*w = -10. Let f be (6/5)/(2/w). Suppose r + f*r - 308 = 0. Is r a prime number?
False
Let p(i) = 25*i + 12. Is p(13) a prime number?
True
Let m = 3051 + 3088. Is m prime?
False
Let s(j) = 9*j**2 + 4*j + 1. Let b(g) = 8*g**2 + 4*g + 1. Let m(r) = 3*b(r) - 2*s(r). Let u = -17 - -20. Is m(u) composite?
False
Let u(y) = -y**3 + y + 2. Let q be u(0). Suppose -q*a + 192 = -2. Is a prime?
True
Let r(j) = j**3 - 2*j**2 - j + 1. Let x be r(1). Let h be ((-45)/(-6))/(x/(-2)). Is 28/10 - (-3)/h a prime number?
True
Let k(i) = i**3 - 2*i**2 - 3*i. Let l be k(3). Suppose l*d + 3*d = 57. Is d a composite number?
False
Suppose 0 = -q + 4 - 1. Suppose -q*a - 106 = -5*a. Is a a composite number?
False
Let b = -3 + 6. Suppose 2*a = 595 - 189. Suppose -15 = 6*x - b*x, -2*f + a = -5*x. Is f composite?
False
Let x(c) = 6*c**3 - c + 13. Let l(o) = -5*o**3 - o**2 + o - 12. Let n(p) = 5*l(p) + 4*x(p). Is n(-7) composite?
False
Let r be (0 - 1) + (5 - 4)