o a composite number?
False
Suppose 0 = -4*o + 2*s - 62 + 5662, 4*o - 5586 = -5*s. Is o a prime number?
True
Let j(k) = 16*k + 44*k + 28*k. Let g be j(2). Let w = -123 + g. Is w a prime number?
True
Let m = 16 - 16. Suppose 62 = -m*j + j. Is j composite?
True
Let y = 293 - -5. Is y prime?
False
Let j(a) = 6*a**2 - 12*a - 11. Is j(20) a prime number?
False
Suppose -5*s - 2*q = -1489, -3*s + 5*s + 3*q - 589 = 0. Is s a prime number?
False
Let y(l) = -110*l**3 + l**2. Is y(-1) prime?
False
Suppose a + 20 - 53 = -4*k, k - 5*a = 3. Let o be (-4)/16 - (-170)/k. Is (-4)/(-6) + 1477/o a prime number?
True
Suppose -z + 177 = 2*z. Is z composite?
False
Suppose c = -5*w - 32, 6*w + 29 = -2*c + 3*w. Let s = c - -13. Let a(u) = u**2 - 3*u - 7. Is a(s) composite?
False
Let u(t) = 55*t**2 + 14*t - 34. Is u(9) a composite number?
False
Let w(b) = 3*b**2 + 2*b + 1. Let v be w(-1). Suppose v*u + 2 = 8. Suppose u*r - 35 = -i + 2*r, -i - 5*r + 19 = 0. Is i prime?
False
Let u = 0 + 0. Suppose u = 2*d - 444 - 400. Is d prime?
False
Let c(m) = m - 6. Let b be c(3). Is (-520)/(-15) + 2/b a composite number?
True
Let l(f) = f**2 + 5*f + 3 - 7 - 2 - 4*f**2 - f**3. Is l(-5) prime?
True
Suppose 3*z + 27 = 4*q, 5*q + 5*z = 2*q + 13. Suppose -5*v + 2*h + 15 = 0, 3*v - h = 3*h + 9. Suppose v*w - 3*p = 75, -3*p - 50 = -2*w - q*p. Is w prime?
False
Let i = 5 - 5. Suppose 4*r - 2 - 2 = i. Let n = 2 + r. Is n a prime number?
True
Suppose -3*k = t - 20, -2*k = t - 2*t + 10. Let i = t + -8. Is 2/i - (-32)/3 prime?
True
Suppose -4*z = -f + 491, -4*z + 2004 = 4*f - 0*z. Is f prime?
True
Suppose 0*d = 2*d - 1190. Suppose 63 + d = 2*z. Is z prime?
False
Let s = -250 + 368. Is s prime?
False
Suppose -5*w - 5 - 5 = -b, -2*b = -w - 11. Suppose 7*q - 2*q = b*d - 340, -5*q + 310 = 5*d. Is d composite?
True
Let f(g) = 17*g - 6. Let h be f(4). Suppose -k - 159 = 4*k + p, k + 15 = 4*p. Let r = h + k. Is r composite?
False
Suppose 2*l + 4*t = 258, 2*t + 2*t = l - 105. Is l prime?
False
Let o(a) = 12*a**2 - 2*a + 3. Is o(5) a prime number?
True
Suppose -3*r = 3*w - 458 + 68, 4*r = 3*w + 499. Is r composite?
False
Suppose -m = -2 - 0. Suppose 4*k = -5*f - 2, -3*f + 2*f = 5*k - 8. Suppose -v - m*p = k*v - 61, -v + 2*p + 15 = 0. Is v composite?
False
Let l(s) = 22*s**2 - 6*s + 9. Let v(z) = 44*z**2 - 12*z + 18. Let q(b) = 5*l(b) - 2*v(b). Let g be q(-7). Let f = g + -716. Is f composite?
True
Let h(d) = -d**3 - d**2 + d + 4. Let o be h(0). Suppose 2*s - o*s = -662. Is s composite?
False
Let t(g) = -g**2 - 7*g + 6. Let q(l) = l**2 + 7*l - 5. Let w(y) = 5*q(y) + 6*t(y). Let u(f) = -f**2 + 1. Let b be u(-3). Is w(b) a prime number?
True
Let f be 22/(-8) + (-1)/4. Let b(a) = -a**3 + 3*a**2 + 9*a - 22. Let h be b(4). Is 114 + (f - h)/1 a prime number?
True
Let o(i) = -i - 1. Let z be o(-5). Let w(y) = y + z - y**2 - y**2 + 3*y**2. Is w(-3) a composite number?
True
Let y be -2 - -6*(-3)/(-2). Suppose 3*p - y = 26. Let w(b) = b - 8. Is w(p) prime?
True
Let v be (-9)/2*8/(-12). Suppose -r + 119 = -v*n, 2*r - 2*n - 115 = r. Suppose -228 - r = -5*l. Is l composite?
False
Suppose -6 = -b + 4*x, 0 = -3*b + b - x + 39. Suppose -5*a - 3*w - 3 = 0, 14 = -4*a + 5*w - b. Is (126/(-8))/a*4 a composite number?
True
Let a = 3714 - 2125. Is a a composite number?
True
Let w(k) = -20*k + 2*k + 3 - 5 - 3. Is w(-6) a composite number?
False
Suppose -2*p - 627 = -5*p. Is p composite?
True
Suppose 2*k = 5*z - 4027, 4*k - 1040 = -z - 217. Is z composite?
True
Let b(r) = 13*r**3 + r**2 + 2*r + 7. Is b(3) prime?
True
Let h = -19 - -28. Suppose b = 4*b - h. Is -7*(-15)/b + 2 a composite number?
False
Let m(u) = 8*u**2 + u + 2. Is m(7) composite?
False
Let f(g) = 8*g**3 + 6*g - 21. Is f(5) a composite number?
False
Let b = 34 + 33. Is b composite?
False
Suppose -3*j - 110 = 2*j. Let b = j - -1. Is 3 - 2 - b*4 a prime number?
False
Let z(w) = w**2 - 3*w + 4. Let l be z(4). Is (-1 - 1)/(l/(-892)) a prime number?
True
Let i be -1 + 0 + -1 - 1. Let p(v) = -4*v**3 + v + 3. Let m be p(i). Let n = m - 51. Is n a prime number?
False
Suppose 3*g = 2*t + 20 + 15, 5*g + 5*t - 50 = 0. Let x(o) = -g*o + 3 + o + o**2 + o**2. Is x(7) a prime number?
True
Let v(t) = -t**3 - 6*t**2 - 3*t - 1. Let w(q) = -q - 4. Let y be w(3). Is v(y) prime?
False
Let j = 433 - 266. Is j a composite number?
False
Let f be 2/(120/57 - 2). Suppose -f = 5*l - 464. Is l a composite number?
False
Suppose 0 = -6*h + 2*h + 2*w + 1794, -3*w + 2248 = 5*h. Is h composite?
False
Suppose 5*t - 29 = -2*i, 2*t - 6 = -4*i + 12. Suppose -i*h - 4*m = -1106, -4*h + 2212 = -2*m + 3*m. Is h prime?
False
Let f = -1138 - -761. Let w = -168 - f. Is w a composite number?
True
Let i(u) = 0*u + 2*u - 2 + 5. Let r = 2 - -1. Is i(r) a prime number?
False
Let n(x) be the first derivative of x**3/3 - 9*x**2/2 + 10*x - 1. Let f be n(9). Let m = 16 - f. Is m a prime number?
False
Suppose 5*o = -0*o + 3725. Suppose -g + 6*g - o = 0. Is g prime?
True
Let r = -1087 - -1553. Is r prime?
False
Let g = 8 - 7. Suppose -7 = 4*o + g. Let d(l) = -14*l**3 - l**2 - 2*l - 3. Is d(o) composite?
False
Let t = -53 - -3. Suppose -g - 171 - 275 = -5*j, -4*g = j - 85. Let f = j + t. Is f a prime number?
False
Suppose 2*w - 1686 + 366 = -4*t, 0 = 2*t - 3*w - 668. Is t composite?
False
Let a be -1*(130 - 3 - 2). Let g = -72 - a. Is g a composite number?
False
Let x = 0 - -2. Suppose x*r = -0*r - 388. Let y = -103 - r. Is y composite?
True
Suppose -2036 = -t - 309. Let m = t - 979. Suppose m = 5*l - l. Is l a prime number?
False
Suppose 0*k - 15 = -3*k. Suppose -106 = -k*y + 159. Is y a composite number?
False
Suppose 3 = 4*l - 5*m, m = -3 + 4. Is 389/(-5)*(-7 + l) prime?
True
Let s(z) be the third derivative of 61*z**5/60 + z**3/6 + z**2. Let r be s(-2). Suppose 7*l - 2*l = r. Is l composite?
True
Let j be (-6)/5*(-50)/15. Is (-45)/(-2) + j/(-8) composite?
True
Suppose -6*g = 357 - 2631. Is g a prime number?
True
Suppose 4*x = -3*h + 19 - 2, 5*x = -4*h + 22. Suppose -x*j - 3*j + 105 = 0. Is j composite?
True
Let p be (1/(-1))/(2/(-10)). Let o(x) = x**3 - 6*x**2 + 7*x - 5. Let c be o(p). Suppose 3 = -c*w + 38. Is w a composite number?
False
Suppose -5*f - 16 = -f - 4*l, -3*l + 4 = f. Let r be 0*(6/(-2) - f). Suppose 740 = -r*g + 4*g. Is g prime?
False
Let i(f) = f + 15. Is i(4) a prime number?
True
Let b be (4/2 - 0) + 0. Suppose 0 = -2*r - b*r + 784. Suppose -5*a + 9*a - r = 0. Is a prime?
False
Let d = -5 - -8. Suppose -4*h - 8 = 0, -2*a + 5*h = 3*h - 14. Suppose -n + d*b = -3*n + 75, 5*b + a = 0. Is n a prime number?
False
Let t = -1207 - -1904. Let v = t + -162. Is v a prime number?
False
Is -4 - (-4)/((-20)/(-21075)) a prime number?
True
Let v(i) = -i - 11. Let u be v(-5). Let k(c) = c**2 + 9*c + 8. Let t be k(u). Let d(r) = -10*r + 13. Is d(t) a prime number?
True
Suppose 2*y - 2*t - 266 = 12, 2*t + 135 = y. Let m = 378 - y. Is m a composite number?
True
Suppose 10 = -2*d + 26. Let t be 34/d + (-2)/8. Is 28/(-16)*t*-1 a composite number?
False
Let k(q) = q**3 - 8*q**2 + 9*q - 10. Let b be k(7). Suppose 5*l - b*l - 328 = 0. Suppose 5*u + 42 = -4*r + 355, l = 5*u - r. Is u composite?
True
Suppose -3*i = 5 - 2. Is -1 - (-31 + 1/i) prime?
True
Suppose -2*n + 494 = 5*u, 5*n + 5*u - 751 = 2*n. Is n prime?
True
Let z be ((-6)/(-4))/((-3)/(-4)). Suppose 1131 = g + z*g. Is g composite?
True
Let a(t) = t**3 - 6*t**2 + 2. Suppose 0 = -2*d - 2 + 14. Let p be a(d). Is (8 - p)/3 + 33 a composite number?
True
Let x(k) be the second derivative of 11*k**3/2 + 11*k**2/2 - 5*k. Is x(6) a composite number?
True
Let l be (20/(-6) + 3)*-165. Let t = l - -22. Is t a prime number?
False
Suppose 5*d + 1 = -3*v, 0 + 7 = d + 3*v. Is d/3*(-1461)/2 prime?
True
Suppose 5*u = 0, -u - 45 = -3*s + 6*s. Let h be (3*(s - 0))/(-1). Let i = -14 + h. Is i composite?
False
Let a(v) = v**2 - 20 + 7 - 14*v + 2*v**2 - v**2. Let r be a(-10). Suppose 0 = -2*k + r - 73. Is k composite?
False
Let x = -2 + 8. Suppose x*d - 4*d - 48 = 0. Let b = 35 + d. Is b prime?
True
Let o = 440 + -114. Is o prime?
False
Let z(k) = 78*k**3 + 13*k**2 + 7*k - 4. Let m(j) = -39*j**3 - 7*j**2 - 4*j + 2. Let h(r) = -5*m(r) - 3*z(r). Let o be h(-2). Suppose 122 - o = -2*v. Is v prime?
True
Suppose -i - 2*j = -0*i - 2301, 2*i + 3*j = 4598. Is i a prime number?
True
Suppos