ose 3*h - u = h. Is h a composite number?
True
Suppose -4*o - 3*v = -8 - 4, 0 = -4*o + 2*v - 8. Suppose 5*g - 420 = 5*k, -257 = -3*g - o*g + 2*k. Is g composite?
False
Suppose -2*k - 1511 = -s, 3*k + 2*k + 3*s + 3783 = 0. Suppose 3*d + 10 = -2*d. Is k/(-16) + d/8 prime?
True
Let s(p) = -2*p**3 - 2*p**2 + 3*p + 2. Let r be s(-2). Suppose 152 = r*o + b, -56 = -o - 5*b + 1. Suppose 3*k - o = 4*w, -3*k + 5*w + 29 = -3. Is k prime?
True
Let a(f) = 15*f + 2. Let y(q) = -16*q - 3. Let v(z) = -z**3 - 2*z**2 - 2*z. Let c be v(-2). Let m(s) = c*y(s) + 5*a(s). Is m(3) composite?
False
Is (-6)/(8 - 2)*(-1847 - 0) a prime number?
True
Let h = 5 - 7. Let g be h*(106/(-4))/(-1). Let a = 50 - g. Is a a prime number?
True
Let r be 3*(-6)/9 - -2. Suppose r = 5*g + z - 25, -4*z = 2*g - 0*g - 28. Let a(s) = s**3 - 3*s**2 + 6*s - 5. Is a(g) a composite number?
True
Let u = 29 - 12. Suppose -4*q + 14 = -22. Let f = q + u. Is f a prime number?
False
Suppose 2*o - 1262 = 692. Is o prime?
True
Let g(u) = -12 - 6*u + 8 + 9*u**2 - 2*u**2. Is g(5) a composite number?
True
Is 291/6 - (-1)/2 - 2 a prime number?
True
Let o be 2910/(-27) - (-4)/(-18). Let h = o - -163. Is h prime?
False
Let d = -1 + 4. Suppose 10 = d*b + 1. Suppose 2*q - 343 = -b*q - 4*x, -5*q - 5*x + 345 = 0. Is q composite?
False
Let i(v) = v**2 + 4*v + 5. Is i(-8) a prime number?
True
Let o = -378 + 535. Is o composite?
False
Suppose b - 2*b + 4 = 0. Let w(m) = m + 5. Let z be w(b). Let i(g) = 5*g + 6. Is i(z) composite?
True
Let l be (-2)/(-4)*0/(-9). Suppose l*x - x + 543 = 0. Suppose 3*h + 4*d - 719 + 172 = 0, 3*d - x = -3*h. Is h prime?
False
Let v(s) = 6*s + 7. Let m(h) = 17*h + 20. Let f(g) = 3*m(g) - 8*v(g). Is f(5) a composite number?
False
Let a be (0 - 0)/(-1 - 0). Suppose a = 3*x - 132 - 117. Is x a prime number?
True
Let r(o) = -4*o + 3. Let k(d) = d - 3. Let g be k(-10). Let w = g + 9. Is r(w) prime?
True
Suppose 3*c - 9*c = -390. Is c prime?
False
Suppose 0 = 4*a - u - 0*u - 9, 1 = a + u. Suppose 1 = -a*m + 29. Suppose 39 = b - m. Is b a composite number?
False
Suppose 0 = 11*j - 14*j + 12. Suppose 5*p = 2*p - j*k + 155, 4*p = 5*k + 217. Is p a prime number?
True
Suppose d - 1 - 3 = 0. Suppose 0 = d*f - 2*f - 254. Is f a composite number?
False
Suppose -5*o = -o + 5*s, 0 = 5*o - 3*s. Suppose o*d = d - 2. Suppose 0*q + d*q = 44. Is q a composite number?
True
Let z(t) = 12*t**3 + t + 1. Let b be z(-1). Is (-578)/(-6) - 8/b a prime number?
True
Let n be ((-12)/15)/(4/(-10)). Suppose 0 = -n*w - 4*k + k + 251, -5*w + 680 = -3*k. Is w a composite number?
True
Suppose q = -0*q + 150. Suppose 2*b - 110 = 4*s + q, 4*b - 16 = 0. Is (2/1)/((-6)/s) composite?
True
Let k = 290 - -45. Is k composite?
True
Let v be (-1 + 534/(-4))*-2. Is 12*(v/4 + 2) a prime number?
False
Let g(o) = -7 + 44*o**2 + 7 - 1 + 2*o. Is g(-3) a composite number?
False
Let m(n) = n**3 + 12*n**2 - 2*n - 16. Let c be m(-12). Let i = -40 - -65. Let g = i + c. Is g prime?
False
Let h be (-4)/(-6) + 2/(-3). Is (-3 - 1338/(-3)) + h a prime number?
True
Is (-2)/10 - (-5118)/15 prime?
False
Suppose -4*m - m = -2*g + 22, -2*g = 2*m + 6. Let x be ((-6)/m)/((-3)/144). Let r = x - -123. Is r composite?
True
Let o be (0/(-3))/(2 + 0). Let v be 76 + (-1 - -1 - o). Suppose 2*p - v + 30 = 0. Is p prime?
True
Let c be (18/(-3 + 2))/(-2). Let v = c + -7. Suppose -38 - 56 = -v*f. Is f a prime number?
True
Suppose w + 2 = 4. Is (-476)/(-8) - w/4 composite?
False
Let u(x) = 84*x**2 + 3*x + 5. Let o = 14 - 18. Is u(o) composite?
True
Let l = 4 + -2. Suppose -l*y + 77 = -y. Is y composite?
True
Let w(j) = j**3 - 10*j**2 + 9*j + 3. Let v(c) = -c**2 + c. Let a(f) = -5*v(f) + w(f). Let o be a(4). Is (-1)/(2*o/(-114)) composite?
False
Suppose 12 = 4*n + i, 2*n + 4*i = -i + 24. Suppose -n*j = -0*j - 12. Is j prime?
False
Let c be -3 + (-2 - 1)/(-1). Suppose c = -3*j - 5*s + 470, 0 = -j - 4*s + 3*s + 160. Let x = j + -38. Is x a prime number?
True
Let c(o) = -3*o**2 + 4*o + 7. Let t(x) = -7*x**2 + 9*x + 14. Let a(b) = -5*c(b) + 2*t(b). Let n be a(-5). Suppose 0 = -3*s - s + n. Is s a composite number?
False
Suppose 0 = 6*d - 1839 - 3891. Is d prime?
False
Suppose 104 = 4*w - 120. Is (-10)/(w/(-26) - -2) a prime number?
False
Suppose -2*f + 10 = 3*f + 5*u, -u = -3. Let x be -2 + 3 - (0 - f). Suppose x = -0*z + 4*z - 12. Is z a composite number?
False
Let j = 138 + -72. Suppose j = 3*d + 3*a, -a - 3*a = -3*d + 45. Is d a prime number?
True
Let r(k) be the third derivative of -k**4/24 + 7*k**3/6 - 4*k**2. Let s be r(7). Suppose n - 18 - 4 = s. Is n prime?
False
Let w be (-24)/(-5)*(-120)/(-18). Suppose -198 = s - 4*s. Let x = s - w. Is x prime?
False
Is (398/(-5) + 1)*-5 a composite number?
True
Let f = -13 - -15. Suppose 4*c - 818 = f*c. Is c prime?
True
Let w be -154 - (-3)/((-9)/3). Let m = -109 - w. Is m a composite number?
True
Let l(g) = -g**2 - 7*g - 8. Let x be l(-6). Is ((-2)/(-4))/(x/(-124)) a composite number?
False
Suppose 5*i + 39 = p, -3*i + 2*p + 3 - 25 = 0. Let f be ((-20)/i)/((-1)/(-2)). Suppose j - f*h = 41, 23 = j - 0*h + 4*h. Is j prime?
True
Let u(i) = i**3 + i - 5. Is u(9) composite?
False
Is ((-5739)/6)/(2/(-4)) composite?
False
Is -1*(-3 + 4 + -24) a prime number?
True
Suppose 2*v - 11 = -7. Let b = -14 + 44. Is ((-12)/b)/(v/(-110)) composite?
True
Let a = -4 + 5. Suppose r + 4 = -a, -4*m - 19 = -r. Is 90 + -1 + m/(-3) a prime number?
False
Let u(n) = -6*n**2 + 4*n - 1. Let h be u(-3). Let c = 19 - h. Is c prime?
False
Let k(z) = z - 4. Let g be k(5). Is g/4 + (-294)/(-8) a prime number?
True
Suppose j + 14 = -6. Let x = -86 + j. Is -1 - (x/2 - -1) a prime number?
False
Suppose m - 45 = 4*p, -m - 4*p + 25 = -3*p. Let t = m - 18. Is t prime?
True
Let r(g) be the first derivative of -13*g**3/6 + 2*g**2 + 3*g + 2. Let q(y) be the first derivative of r(y). Is q(-3) prime?
True
Suppose -16 = -2*c - 5*l, -3*l = c - l - 8. Is (c/(-3))/(6/(-9)) composite?
True
Let g(v) = v**3 + 16*v**2 - 2*v + 13. Is g(-12) prime?
True
Let n be 12/(-16)*-4 + 2. Suppose 3*g = -f + 826 - 158, 0 = -n*g + 4*f + 1119. Is g prime?
True
Let c(y) = y + 5. Let m be c(-3). Let t(r) = -6*r - 6 - 7 - m*r. Is t(-10) a prime number?
True
Suppose 20*o + 230 = 22*o. Is o prime?
False
Let m(b) = -4*b**3 - 14*b**2 + 18*b - 2. Let t(w) = w**3 - w - 1. Let d(a) = -m(a) - 5*t(a). Is d(9) a prime number?
False
Let f = 3 - 1. Let z = 11 + -7. Suppose n - t - 7 = -3, f*t + 22 = z*n. Is n a composite number?
False
Let n = 0 - -3. Is 30*(2 + (-5)/n) prime?
False
Let j(h) = 2*h**2 + 27*h - 4. Is j(-21) composite?
False
Let z(i) = -32*i - 29. Is z(-2) a prime number?
False
Suppose -16 = -2*y + 3*y. Let a = 9 - y. Is a composite?
True
Let q(c) = -c**3 - 7*c**2 - 10*c - 22. Is q(-12) composite?
True
Let j = 12 - 10. Suppose -j*h + 435 = 3*h. Is h a prime number?
False
Is -635*3/(-6)*2 a composite number?
True
Let f(s) = -25*s + 4. Let h(l) = -l**3 + l - 1. Let g(w) = 3*w**3 - 6*w**2 - 4*w + 11. Let v(k) = g(k) + 2*h(k). Let x be v(6). Is f(x) a composite number?
False
Let x be 2/(-3) + 838/6. Suppose -2*g = 5*f - 31, 4*g - f - x = -44. Is g composite?
False
Let u(b) = b - 2. Let k be u(3). Suppose 8*c - 19 + 3 = 0. Is 441/14 - k/c composite?
False
Let a = 31 + -17. Suppose 5*v + 0*h + 2*h = 14, 3*v - 2*h = 2. Suppose -t = -v*t + a. Is t a composite number?
True
Let j = -472 + 971. Is j a composite number?
False
Let i(h) be the third derivative of h**5/10 + h**4/12 - h**3/3 - 2*h**2. Is i(3) prime?
False
Let h = 297 + -200. Is h a composite number?
False
Suppose -4*p + 33 = 5*z, 2*z + p - 15 = -3. Suppose -5*g = 2*t + 2*t - 514, 5*t - 645 = -z*g. Is t a prime number?
True
Let x = 14 - 24. Let t(d) = -d**3 - 10*d**2 - 3*d + 5. Is t(x) composite?
True
Let z be (15 - 3)*(-6)/9. Let v(o) = -o**2 + 3 - 6*o - 7*o**2 - o**3 - 2. Is v(z) composite?
True
Suppose 0 = w + 4, -3*h - 1 = w - 3. Let r be 18/30 + (-44)/(-10). Suppose 0*n + h = -n, -280 = -5*l - r*n. Is l prime?
False
Let u(m) = -2*m - 2 + 1 - 2*m. Suppose 0 - 3 = y. Is u(y) composite?
False
Suppose -4*c + 2382 = -266. Is c a composite number?
True
Let b(g) be the second derivative of -g**4/12 + 11*g**3/6 + 3*g**2/2 + 2*g. Let v be 15/10*(-40)/(-6). Is b(v) a composite number?
False
Let f(s) = 18*s**3 + 2*s**2 + 8*s - 7. Let r be f(6). S