 0 = -2*o + o + l*j + 75, 0 = 2*o + 2*j - 102. Is o a prime number?
False
Suppose 0*x + 2 = x. Suppose -5*g + 2*a = -138, -x*a = -g - 3*g + 112. Is g prime?
False
Let t(d) = -d**3 - 7*d**2 - 10*d - 5. Let w = -10 - -3. Is t(w) composite?
True
Suppose 4*j - 2*j = 4. Suppose j + 2 = t. Suppose 0 = -5*r + 4*v + 399, -39 = -2*r - t*v + 115. Is r prime?
True
Let k be (-2530)/(-3) - 30/(-45). Let m = -3 - 5. Is (-2)/m + k/16 a prime number?
True
Let k be ((-1)/1)/(3/15). Let q = k - -7. Suppose -g - 234 = -3*u, q*u + 7*g = 3*g + 142. Is u a composite number?
True
Let x(q) = -q**2 + 4*q - 1. Let a be x(3). Suppose 3*u + a*j = 483, 2*j + 1121 = 5*u + 316. Is u composite?
True
Let c = -280 + 467. Is c composite?
True
Let u = 3 + 0. Suppose -l + u*l + 4 = 0. Is l/(-4) - 1099/(-14) prime?
True
Suppose 3*g - 1209 - 2397 = 0. Is g prime?
False
Suppose 0 = -3*i + 4*m + 152, 2*i - 71 - 29 = 4*m. Suppose -d + 5*d = i. Is d a composite number?
False
Suppose -2*i = -0*i. Let w(f) = f**3 - f + 20. Let v be w(i). Let l = 33 - v. Is l a prime number?
True
Suppose 3*y - 164 = -0*y + 4*v, -252 = -5*y - 4*v. Is ((-2)/(-2))/(4/y) a composite number?
False
Let w(a) = -39*a + 22*a - 91*a - 88*a. Let x be w(-1). Suppose -77 = -3*p + x. Is p a prime number?
False
Is ((-17)/3)/(18/(-3186)) a prime number?
False
Suppose -644 = 4*c - 8*c. Is c composite?
True
Let p(q) = q**2 - 4*q + 3. Let a be p(4). Suppose g - 2*i - 494 = -172, -5*i = -a*g + 964. Suppose g = 2*h - 4*r, h - 4*r + 8 = 177. Is h a composite number?
False
Let r be (1 + (-4 - -2))*-179. Suppose 3*m - 292 - r = 0. Is m composite?
False
Let j(w) = -w. Let q(m) = 11*m + 1. Let y(c) = -2*j(c) + q(c). Is y(6) prime?
True
Suppose 9124 = 5*j - 3*g, -5*j - 3*g + 9130 = -8*g. Is j composite?
False
Let b(a) be the first derivative of -a**4/4 - a**3/3 + 3*a**2 + 7*a + 1. Is b(-7) prime?
False
Let b = 6 + -4. Suppose -3*i = -b*z - 245, 4*z - 16 = -4*i + 344. Is i composite?
True
Suppose 4*p = -p + 20. Let d(u) = 3*u**2 + 5*u - 2*u - 3 - u. Is d(p) a composite number?
False
Suppose -41*a - 709 = -42*a. Is a a composite number?
False
Let f = -1 - -1. Suppose 5*r - 10 = 3*u - f*u, -3*r - 18 = 3*u. Is (1 - -36) + r + 1 composite?
False
Let w be -57*(-2)/6 + -1. Suppose 4*t + u = -10, -5*t + 0 = 4*u + 7. Let s = t + w. Is s prime?
False
Let d(i) = -8*i + 3. Let j be d(3). Is 486/14 - 6/j a prime number?
False
Suppose -5*n - z + 548 + 1303 = 0, 3*n - z - 1117 = 0. Is n a prime number?
False
Suppose -150 - 715 = -x. Is x composite?
True
Let c(o) = -o - 2. Let j be c(-5). Suppose 0 = -5*x + j*h + 112, -2*x + 2*h + 2*h = -42. Is x composite?
False
Suppose 2*k - 5*m - 765 = 0, -4*m + 298 = k - 117. Is k composite?
True
Suppose -7*t + l + 10 = -2*t, -19 = -3*t - 2*l. Suppose -4*v + 934 - 274 = 0. Suppose -3*k + g = k - 210, -v = -t*k - 3*g. Is k composite?
False
Let i(f) = f**3 + f**2 - f + 54. Let z be i(0). Suppose 2*y - 8 = z. Is y a composite number?
False
Let b be -2*(3*-3 - -2). Suppose 0 = -3*g - b + 161. Is g a prime number?
False
Suppose i - 3*m = -170, 4*i + 0*i + 5*m + 680 = 0. Let s(x) = -14*x**2 + 6*x + 1. Let j be s(-4). Let h = i - j. Is h prime?
False
Suppose -3*t = t + 20. Let d = 5 + t. Suppose -p - 2*l + 0*l = -20, 4*l + 4 = d. Is p a prime number?
False
Let c = -11 - -13. Suppose c*j - 7*j + 290 = 0. Is j prime?
False
Suppose -6*l + 15 = -l. Suppose 0 = -l*b - 122 + 785. Is b composite?
True
Is (2 - (-1769)/(-4))/((-11)/44) a composite number?
True
Let x(d) = 3*d**2 + 4*d + 3. Is x(-5) composite?
True
Suppose -3*x + 6*x - 282 = 0. Let t = -61 + x. Is t composite?
True
Let d(s) = -17*s**2 + 4*s - 4. Let c be 1*(12*1)/(-2). Let g(k) = -18*k**2 + 5*k - 5. Let v(p) = c*d(p) + 5*g(p). Is v(2) composite?
True
Suppose 28 = z - 3. Is z a composite number?
False
Let j(m) = 13*m**2 + 3 + 9*m + 3*m**3 - 7 - 5 - 2*m**3. Let o be j(-8). Suppose 4*t - o = -3*p, t + p + 4*p - 64 = 0. Is t a composite number?
False
Suppose 3*f - x = 3*x + 1254, -5*x = -3*f + 1251. Is f composite?
True
Let t be (-10)/(-4) + (-3)/(-6). Suppose 0 = 4*q + t*n - n - 656, -5*q + 5*n + 805 = 0. Is q prime?
True
Let y = 48 + 425. Is y prime?
False
Let a be ((-3)/2)/((-1)/6). Let v(w) = -w**3 + 4*w**2 - 4*w - 12. Let k(r) = -r**2 - r - 1. Let q(h) = 4*k(h) - v(h). Is q(a) composite?
False
Let p = -4 + -20. Is 1/4 + (-738)/p prime?
True
Suppose 2*l + 26 - 688 = 0. Is l prime?
True
Suppose 0*g - 4*g = -328. Suppose 0 = -4*z + g + 82. Suppose -v + 72 = -z. Is v composite?
False
Let i be (-419)/(-1)*(-22)/(-11). Suppose 0 = 17*s - 15*s - i. Is s a prime number?
True
Let r be (8/2)/(1/11). Suppose -4*i + r + 0 = 0. Is i a composite number?
False
Let k be 1 + -2 + 0 + 46. Suppose z = -4*p + 2, -2*p - 7 = z - p. Let b = z + k. Is b a composite number?
True
Let k = -149 - -278. Let j = k - 52. Is j a prime number?
False
Let i(k) = 6*k**2 - 4*k - 7. Is i(-8) a composite number?
False
Let g = 26 + -45. Let y(i) = -i**3 + 6*i**2 + 4*i - 4. Let r be y(6). Is 1/(-1 - r/g) composite?
False
Let s = 8 + -6. Let l be (2 - (-110 + -2)) + s. Let c = 247 - l. Is c composite?
False
Suppose 5*b + 35 = 4*h, -h + 0*h = 4*b + 28. Is (b - -4)*53/(-3) a prime number?
True
Let a(h) = 25*h**2 - 7*h - 9. Is a(-4) composite?
False
Let g = -9 - -14. Suppose -c = -2*b - 3*b + 15, -g*c = 3*b + 19. Suppose 5*n - 269 = 3*u, -5*u - b = n - 67. Is n prime?
False
Suppose -6*h + 3*h - 30 = 0. Let i = 3 - h. Is i composite?
False
Let g(z) = z**2 - 5*z - 1. Let h be g(5). Let m be ((-46)/(-4))/h*-2. Suppose m = -k + 2*k. Is k prime?
True
Suppose 2*r - 7*r = -215. Suppose -5*i = -g + 33, g = -2*i + 5*i + r. Is g a composite number?
True
Suppose 3*d - 90 = -4*k, 8*d = -4*k + 4*d + 88. Is ((-79)/(-4))/(6/k) a prime number?
True
Let l(r) = r**3 + 6*r + 2. Let u(i) = -i**2 + 7*i + 2. Let m(q) = -3*l(q) + 2*u(q). Let n = -4 + 2. Is m(n) a prime number?
False
Let l be (3/3)/((-3)/12). Let w(q) = -3*q**3 + q**2 + 6*q + 3. Is w(l) a composite number?
True
Suppose -20*y + 889 = -19*y. Is y a composite number?
True
Let v(o) = -1347*o + 8. Is v(-3) a composite number?
False
Let j(i) = -8*i + 6. Let f(a) = -2*a**2 - 2*a. Let t(u) = -u**3 + 1. Let m(w) = f(w) - t(w). Let k be m(2). Is j(k) composite?
True
Is ((-953)/(-4))/((-6)/(-24)) prime?
True
Let k(g) = -44*g**2 + 30*g + 40. Let o(b) = 9*b**2 - 6*b - 8. Let x(r) = 2*k(r) + 11*o(r). Let j be x(-6). Suppose -4*p = -j - 420. Is p a composite number?
False
Is (9 - -62)/(2/34) a prime number?
False
Let m(y) = 2*y**3 + 14*y**2 - 9*y - 3. Let q(p) = -p**3 - 7*p**2 + 5*p + 1. Let i(z) = -6*m(z) - 11*q(z). Suppose 4*d = -27 - 1. Is i(d) prime?
False
Let c(u) = 3*u - 3*u - 3*u**2 + 4*u**3 - 3*u - u**3 + 1. Suppose 5*a - 4 - 16 = 0. Is c(a) prime?
False
Let l(w) = 0*w + 14*w**2 - w + 1 + 0. Is l(1) prime?
False
Let m(v) = 9*v**3 - 4*v - 4*v + 3*v**2 + 0*v**2 + 2*v. Let g(i) = -9*i**3 - 4*i**2 + 7*i. Let s(y) = -5*g(y) - 6*m(y). Is s(-1) prime?
False
Suppose -4*c - 20 = 0, -5*f + 35 = -4*c - c. Suppose -f*b + 15 + 27 = 0. Is b a composite number?
True
Suppose -18*b - 165 = -23*b. Is b a prime number?
False
Let i = 22 + -11. Suppose 0*f - f = -5*g - 9, f - 4*g = i. Is f prime?
True
Let i(p) be the second derivative of -19*p**4/12 - p**3/6 - p**2 - 2*p. Let g(u) be the first derivative of i(u). Is g(-1) composite?
False
Let k be -195*(1 - 21/15). Suppose o = -2*o + k. Is o a composite number?
True
Let r = -962 - -1375. Is r prime?
False
Let q = -67 - -280. Is q a prime number?
False
Let k(o) = -29*o + 35. Is k(-16) composite?
False
Let d be 14/3*3 - 2. Suppose k - 3 = -b, -4*b + 4*k + d = 2*k. Suppose b*r - 6*r + 379 = -2*y, -2*r - y + 255 = 0. Is r composite?
False
Suppose 0 = n + 3*n - 1788. Is 6/(-15) + n/5 composite?
False
Let d(y) = -y**2 + y - 30. Let c be d(0). Suppose -3*h = -h - 314. Let l = c + h. Is l composite?
False
Is -8*((-3)/(-12) - 18/24) a composite number?
True
Suppose -3*q - 3*b = b - 5287, q + 2*b = 1761. Suppose -3*w - 1059 = -3*n, -4*w = 5*n - 0*w - q. Is n prime?
True
Let u(x) = x**3 - 12*x**2 + 11*x + 16. Let q(j) = -j**3 + 12*j**2 - 12*j - 17. Let c(v) = -5*q(v) - 6*u(v). Suppose 45 + 5 = 5*s. Is c(s) prime?
False
Suppose 0 = 4*p - p. Suppose p = -j + 140 + 9. Is j prime?
True
Let d(y) = y**3 - 5*y**2 + 4*y + 2. Let o be d(4). Suppose -2*v