ime?
True
Let m be 107 + ((-3)/1 - -1). Let t = 137 + m. Suppose -2*r + 0*u - 4*u + t = 0, -u = 4. Is r prime?
False
Let i be -1*0/(-2 + 0). Suppose 0 = y - 5, i*y - 19 = -w + 4*y. Is w a prime number?
False
Let y = 2174 + -279. Is y a prime number?
False
Suppose 8 + 3 = q. Is q prime?
True
Let q be (-2 - -2)/1 - -4. Suppose k = -q*t + 78, t + 5*k - 27 = k. Is t prime?
True
Let d = 695 + -316. Is d a composite number?
False
Suppose -8064 = -s + l, l - 3*l - 8069 = -s. Is s a prime number?
True
Let r be 8*((-1)/(-2) + 0). Suppose 200 = 4*w - r*h, -5*w + 6*h = 3*h - 254. Let l = -17 + w. Is l a prime number?
False
Suppose 0 = -4*b - 0*b. Let i(n) = -n**3 + n + 4. Let q be i(b). Suppose 4*g = -8, -72 = d - q*d - 3*g. Is d composite?
True
Let o(a) = -a**3 + 6*a**2 + 7*a + 4. Let j be o(7). Let i be 2/5*(-10)/(-1). Suppose s - 51 = -j*b, 0 = -i*s + 3*b + 2*b + 120. Is s composite?
True
Let r(u) = -2*u**2 + 4*u + 1. Let m be r(3). Let k(z) = -9*z + 6. Is k(m) a prime number?
False
Suppose 12 = d + 1. Let v = d - 6. Suppose -5*r + 20 = -v*s, 3*r + s = 5*r - 11. Is r prime?
True
Suppose -3*s + 5*u = -0*u - 679, -5*s = -5*u - 1125. Is s composite?
False
Suppose -3*b - 4*g + 2*g = -271, 178 = 2*b + 2*g. Is b a prime number?
False
Suppose -5*d - 208 = -2*k, d - 3 = -5. Let i = k + 161. Suppose 0*l = -4*l + i. Is l a composite number?
True
Suppose 2*s - 11 = s. Let m = -3 + s. Is 5/(-20) - (-634)/m a prime number?
True
Let c = -464 + 987. Is c a composite number?
False
Let i be 0/(-3 - (-7 - -2)). Suppose 4*g - 8*g + 332 = i. Is g composite?
False
Let m = -1 - -3. Suppose -5*q = 5*c - 40, -m*q - q + 17 = -4*c. Is q a prime number?
True
Is -2 - 2*-44 - 1 a composite number?
True
Let u = 18 - 12. Suppose u*z = 2*z. Is 2*1 - (-41 - z) composite?
False
Suppose 2*m = -5*x + 697 + 902, 4*x + m - 1281 = 0. Suppose 2*r - x = k - 0*k, 646 = 4*r + 2*k. Is r prime?
False
Let l = -15 - -17. Is -3 - 3/l*-108 composite?
True
Let c(b) = 2*b**2 - b + 3. Let r be c(7). Suppose -5*f + r = -511. Is f composite?
True
Let x = 146 + -63. Is x composite?
False
Let v = 9 - 8. Let w = v - -2. Suppose -187 = -5*z + 3*r, -w*r + 163 = 2*z + 3*z. Is z prime?
False
Let m(b) = -b**2 + 11*b - 10. Let p be m(8). Suppose -3*o - p = -2*i, 2 = 2*i - 0*o + 3*o. Suppose 5*j - 1777 = -0*j - t, i*j = -2*t + 1424. Is j composite?
True
Let w = -43 - -63. Suppose w = -2*g + 4. Let q = g - -11. Is q prime?
True
Let w = 58 - -1. Is w - 4/2 - -2 a prime number?
True
Suppose 9615 = -11*s + 14*s. Is s composite?
True
Suppose -678 = -2*r + 396. Is r a composite number?
True
Is 5305/(4 + 1) - 4 a composite number?
True
Let t(w) = -w**2 + 5*w + 6. Let k be t(6). Suppose 10*c - 14*c + 1156 = k. Is c composite?
True
Let w = 2 + 2. Suppose -v - w*v = -10. Suppose -v*n + o + 3*o + 46 = 0, 5*n + 5*o = 175. Is n composite?
False
Let v = -21 + 13. Is 455/20 - 2/v prime?
True
Suppose -5*t = -h - 10990 - 8274, 2*h + 19268 = 5*t. Is (-1)/(-5) + t/15 a composite number?
False
Let z = -301 - -594. Is z prime?
True
Suppose -5*w + 2184 - 349 = 0. Suppose 3*x = -3*l - x + 1153, l - w = 3*x. Is l a composite number?
False
Suppose -4*t + 2230 = 6*t. Is t a composite number?
False
Let d(c) = 4*c**3 - c**2 + 5*c + 3. Is d(7) prime?
True
Is 2/(-3) - (-8990)/30 composite?
True
Let s = 232 - 386. Let r = -83 - s. Is r prime?
True
Let d(n) = -6*n + 7. Let l(f) = f - 1. Let j(u) = -d(u) - 5*l(u). Let i be j(-8). Is (-2)/(-10) - 2108/i prime?
True
Let m = 0 - 1. Is -2 + (m + 59 - 1) prime?
False
Suppose 3 + 1 = -2*l. Let n be -1 + (0/2)/l. Is (-4)/(-2) - 75/n composite?
True
Suppose -72 = -h + 293. Is h prime?
False
Let a(l) = 122*l**3 - l. Let w be (-3 + 1)*(-2)/4. Is a(w) prime?
False
Suppose -2*t + 2 = -4. Is (220/(-15))/((-2)/t) composite?
True
Let z(w) = 0 + 2*w - 2*w**2 - 5 + 4*w**2 - 6*w. Is z(7) a prime number?
False
Suppose 4*c - 10 = 2*c. Suppose 7*v = c*v + 38. Is v a prime number?
True
Suppose 3*l = -2*l + 10. Suppose -l*z + 422 = -0*z. Is z a composite number?
False
Suppose -1348 = -41*g + 37*g. Is g a prime number?
True
Suppose 0 = -a + 3*s + 28, -5*a + 5*s + 80 = -70. Suppose -5*d + 234 = -a. Is d composite?
False
Let q(c) = -c**2 + 7*c - 2. Let n be q(6). Suppose 0 = -h + n*h - 237. Is h prime?
True
Suppose 3*o = o + 42. Is o a composite number?
True
Suppose -3*u + 5*u = 16. Suppose -u*v + 66 = -5*v. Is v composite?
True
Suppose -6*d + 4*d = -6, -2*d - 19 = -5*w. Let p(i) be the second derivative of i**3/2 + 3*i**2 - 2*i. Is p(w) composite?
True
Suppose 4*d - 387 - 625 = 0. Is d a prime number?
False
Suppose 76 + 56 = 6*s. Is s composite?
True
Let f(x) = -68*x**3 + x**2 + x + 1. Let s be f(-1). Suppose -2*p + s = -89. Is p composite?
False
Let g(w) = -7*w**2 + 3 + 8*w + 3*w**3 + 0*w**2 - 2*w**3. Is g(6) prime?
False
Let d(p) = -3*p + 1. Let o be d(-1). Let m = 454 + -275. Suppose -o*l - m = -711. Is l a composite number?
True
Let o(l) = -3*l - 7. Let d(g) = -1. Let p(n) = n - 6. Let a(z) = 6*d(z) - 2*p(z). Let x be a(6). Is o(x) a composite number?
False
Suppose w + 1 = -3*u, 2*w = 6*w - 5*u - 64. Is (w/33)/((-1)/(-69)) a prime number?
True
Suppose -4*n + 11 = 5*k, 5*k - 29 + 10 = 4*n. Suppose -1004 = -4*b + 1328. Suppose -136 = k*g - b. Is g a composite number?
False
Let f = 9 + -7. Is (-70)/(-2) - f/(-1) composite?
False
Is (2 + 20)/(14/1043) a composite number?
True
Let t(w) = -w**3 + 7*w**2 - 7*w + 6. Let a be t(5). Let p = a + 90. Is p composite?
True
Suppose -12 = 3*i - 3*u, 2*i + 3*i + 5*u = 20. Let h = 10 - i. Is h a composite number?
True
Let a be ((-10)/(-4))/(6/12). Suppose -a*d = -2*d - 210. Suppose g - 6*g = -d. Is g composite?
True
Let y be (-1 - 1)*(1 + -3). Is 30/y*(11 + -9) prime?
False
Is (2/(-3))/((-8)/1596) a composite number?
True
Let u(k) = -2*k + 7. Let v be u(8). Is v/6*254/(-3) a prime number?
True
Is 3/(-3) + (-492)/(-3) a composite number?
False
Let k = 194 - -3099. Is k a prime number?
False
Let t(a) = -13 + 5*a - a**2 + 4 + 3*a**2. Is t(-8) composite?
False
Let w(a) = 2*a**3 - 23*a**2 - 2*a - 29. Let l(p) = -p**3 + 11*p**2 + p + 15. Let n(i) = -5*l(i) - 3*w(i). Is n(13) prime?
False
Let m be (-2)/(-10) - (-12)/(-10). Let c(d) = -89*d**3 + d + 1. Is c(m) a prime number?
True
Suppose 2*i = 2*f - 0*i - 2, 5*i = -2*f - 5. Suppose f = -0*p - 3*p + 30. Is p a prime number?
False
Let b = -6 - -9. Suppose b*i - 706 + 28 = 0. Is i a prime number?
False
Let v = 2 + 197. Is v prime?
True
Suppose -4*a = -9*a - 15. Let l be ((-6)/(-7))/(1/7). Is (-95)/a - 4/l a composite number?
False
Let o(p) be the third derivative of -p**6/120 - 2*p**5/15 - p**4/8 + p**3 - p**2. Let i be o(-8). Suppose 2*a = 7*a - i. Is a prime?
False
Suppose 0 = -2*m + 6 - 0. Is (-572)/(-6) + (-1)/m a composite number?
True
Suppose 3*m - 15 = -0*m. Suppose 3*c + 2 + 1 = 0, 0 = -2*o + c + 5. Suppose 17 + 7 = o*g - 4*v, -5*g = m*v - 135. Is g a composite number?
True
Is (2/2)/((-1)/(-149)) composite?
False
Let x = 167 - 70. Is x a composite number?
False
Let d = 8 + -6. Let m be 1*(d - 5 - -31). Let l = -13 + m. Is l composite?
True
Is (2 - (4 - 2)) + -4 + 2057 a prime number?
True
Is (-8)/4 + (-1455)/(-3) + 4 prime?
True
Let m(q) = 5*q - 6. Let u(h) = 14*h - 17. Let k(a) = 11*m(a) - 4*u(a). Let c be k(2). Suppose -o - 264 = -4*v, c = 2*v + 2*v - 4*o - 276. Is v composite?
True
Suppose -4*d + 226 = 2*z, -226 = -3*z + z + 3*d. Is z a composite number?
False
Suppose -5958 = -3*n - 1545. Is n prime?
True
Let h(x) = -2*x**3 + 2*x**2 - x. Let m be h(2). Let g be 12/(-20) - 36/m. Is 6/(-2) - (-6 - g) a prime number?
False
Suppose -2*w - 4*s = -2*s, -w + s = 2. Let h(d) = -45*d**2 + d. Let v(f) = -90*f**2 + 2*f. Let z(x) = 11*h(x) - 6*v(x). Is z(w) composite?
True
Is 6 + -2 + -2 + 120 + -4 a prime number?
False
Let q = 477 - 23. Is q a composite number?
True
Suppose 0 = 4*i - 1 + 5. Let o be 21/6*(-1 + i). Is (o/(-14))/(1/42) a composite number?
True
Is (-2 - (-2306)/6)*(-24 - -27) prime?
False
Let o = 474 - 282. Let p = o - 79. Is p prime?
True
Let z = 236 - 31. Is z a prime number?
False
Suppose 2*b - 5376 - 2722 = 0. Is b prime?
True
Suppose 5*z - 1080 = 5*w, -121 = -z - 3*w + 75. Is z a prime number?
True
Suppose t + 2*m = 4 + 14, 5*m = 0. Suppose -6*x = -3*n - x + 31, -4*x = n + 18. Suppose 3*d - y = y + t, d - n*y - 6 = 0. Is