0. Let g(z) = -9*z**2 - 3*z - 7. Let x(y) = 7*g(y) + 5*m(y). Is x(7) prime?
True
Let t be (-6)/15 + (-77)/(-5). Let f be (-2)/3 - 125/t. Is (-6)/(-27) - 169/f composite?
False
Suppose 2*d + y - 109 = -3*d, 51 = 3*d - 3*y. Is d composite?
True
Suppose 5*b = 4*b + 274. Is b a composite number?
True
Suppose 0 = -u - l + 61, l + 2*l - 299 = -5*u. Is u a prime number?
False
Let k(y) = 40*y - 9. Is k(5) a prime number?
True
Let c = -2 + 6. Let w(n) = -n**3 - 8*n**2 + n + 8. Let g be w(-8). Suppose g = -4*i + 3*s + 6 + c, 24 = 5*i + 2*s. Is i a prime number?
False
Let v = 4 - 5. Let q = 5 + v. Suppose 0 = -q*j - 8, j = -g - 2*g + 100. Is g prime?
False
Let i = 16 + -8. Suppose -7*w + i*w + 31 = 0. Is 2*(0 + w/(-2)) a composite number?
False
Suppose 109 = -2*f - 53. Let h = -12 - f. Is h a prime number?
False
Let u(m) = 74*m**2 + 2*m - 3. Let b be u(2). Let o be 72/(-42) + (-4)/14. Is o + (-5)/((-15)/b) composite?
False
Suppose 0 = -7*n + 5*n + 564. Suppose -4*c + 0*c = 604. Let g = n + c. Is g a composite number?
False
Suppose 2*p = -p - 60. Let c = 36 + p. Suppose 4*g - c = 84. Is g prime?
False
Let w(g) = -208*g - 29. Is w(-6) a prime number?
False
Suppose -6*k + 17*k - 50017 = 0. Is k composite?
False
Is (-1873 - -4)*((-21)/9 + 2) prime?
False
Let k(r) = r**3 - 11*r**2 + r + 3. Let b be k(10). Let d = -34 - b. Is d a composite number?
False
Let s(g) = -g**3 + 5*g**2. Let o be s(5). Suppose 0*c - c + 38 = o. Is c/(-4)*(1 - 3) a prime number?
True
Let y(d) = 2*d + 6. Let i be y(-6). Let w = 19 + i. Is w a prime number?
True
Let a(g) be the third derivative of -3*g**7/280 + g**6/360 - g**5/40 - g**4/8 - g**3/3 - 3*g**2. Let y(x) be the first derivative of a(x). Is y(-2) prime?
True
Suppose 0*v - v + 247 = 0. Let s be (-3)/12 - 958/8. Let m = v + s. Is m prime?
True
Suppose -4*p + 2*a = -102, p - 2*a - 12 = 3*a. Suppose v - p = -2*v. Is v composite?
True
Is 11892/30*25/10 prime?
True
Let j = -109 + 224. Is j composite?
True
Suppose -4*n + b + 9 = -9, -4*b + 8 = 0. Suppose -n*p = 319 - 1099. Suppose 3*z = -3*h + p, -5*z = h - 26 - 46. Is h prime?
True
Let z(q) be the second derivative of -q**5/20 + 3*q**4/4 + 4*q**3/3 + 7*q**2/2 + 3*q. Is z(7) prime?
False
Let z(x) = -173*x - 22. Is z(-9) prime?
False
Let r be (0/(-2))/3 + 30. Suppose 2*f + 2 - r = 0. Is f prime?
False
Suppose -4*g = -0*g - 8. Suppose 3*q - 65 = -g*q. Is 12*(-3)/(-12)*q prime?
False
Let a be (-9)/(2 - 5) + 2. Let n be 2*(-2 + 9/6). Let k = a + n. Is k a prime number?
False
Let w be 1/(-2) + 2/(-4). Let p be w*(-39 + 3 + -1). Let g = p - 12. Is g a prime number?
False
Suppose -4 + 0 = -n. Suppose n + 29 = 3*l. Is l a composite number?
False
Suppose -h = -4, 3*i + 995 - 85 = -5*h. Let x = -99 - i. Let n = x - 144. Is n composite?
False
Suppose 0 = -3*m + 2*u - 14 + 639, -4*m + 3*u + 832 = 0. Is m prime?
True
Let p(d) = 9 + 4 - 4*d**2 + 3*d**2 - 6 - d. Is p(0) a prime number?
True
Let v = 1 + -3. Let g(u) = -130*u + 1. Let c be g(v). Suppose -94 + 270 = 2*j - 2*y, c = 3*j - 2*y. Is j a prime number?
False
Let k = -2 + 4. Suppose -f + 2*a + 57 = 0, 52 = -f + k*f + 3*a. Is f composite?
True
Let m be (3/2)/((-3)/(-6)). Suppose m*b + 665 = 8*b. Is b composite?
True
Suppose -4*r - r + 5*m + 20 = 0, -3*m = -2*r + 8. Suppose -r*v = 58 - 150. Is v a composite number?
False
Is 318/4*(-2)/(-3) a composite number?
False
Let h = -43 + 276. Is h a composite number?
False
Suppose -2473 = -4*d - 141. Is d composite?
True
Suppose 12 = -b + 3*b. Suppose -2*x - b = -4*x. Is x composite?
False
Let q(b) = -b**3 - 3*b**2 + 21*b + 21. Is q(-11) a composite number?
True
Let i = -73 - -184. Is i a composite number?
True
Let z = -110 - -429. Is z a composite number?
True
Suppose 74 = y - 53. Suppose y = 2*c - c. Is c prime?
True
Let r be 2/(-1) + (6 - -1). Suppose -4*s - 234 = -3*i, 0*i + r*s - 355 = -5*i. Is i composite?
True
Is 18/63 + (-887)/(-7) prime?
True
Let f be (-4)/(-14) - 12/(-7). Suppose -2*z = -5*o + 24, -f*o - 2*z = -4*o + 12. Suppose -7*q = -o*q - 75. Is q a prime number?
False
Let p(w) = -6*w**3 + 4*w + 3. Let x be p(-3). Let z be 3/(421/106 - 4). Let v = x + z. Is v composite?
False
Suppose 0 = -2*t + 3*t. Suppose t*f + 4*f - 124 = 0. Is f composite?
False
Suppose 2*y + 3 = -9. Is (-186)/y - (0 + -2) a composite number?
True
Let k = -104 + 171. Is k a prime number?
True
Let k be 8/(-4) + 3 + 5. Is (5322/(-3 + k))/2 a prime number?
True
Suppose 5*o - 4*v + 3 = 0, 2*v - 3 = -o + 4*o. Is (o - 2*-1)*-97 prime?
True
Let f = -139 + 530. Is f a prime number?
False
Is (-3 - -2) + (-6 - -8670) prime?
True
Is 214/((-1)/7*-2) composite?
True
Suppose 15 = 8*a - 3*a, -3*l + 696 = -5*a. Is l a prime number?
False
Let c = 499 - 206. Is c a prime number?
True
Let q be (-12)/8 + 2534/4. Suppose q = 4*i - 0*i. Is i composite?
True
Suppose 4*i + 16 = 5*j - 0*i, -4*j + 5*i + 11 = 0. Suppose -j*s + 5*o = -124, -4*s + 85 + 15 = o. Is s composite?
True
Is 427/6 - 2/12 a composite number?
False
Let f = 50 + 403. Is f prime?
False
Let l = 25 - 18. Suppose 0 = -2*p - 3*o - 6, -l = 3*o - 1. Is (35 + -2)*(1 + p) composite?
True
Let s(t) = -t**3 - 4*t**2 - t + 2. Let d be s(-4). Suppose -d*h + 290 = -h. Is h a prime number?
False
Is (19610/15)/((-2)/(-3)) composite?
True
Let q = 526 - -121. Is q a composite number?
False
Let p(q) = -q**3 + 15*q**2 + 3*q - 17. Is p(14) a composite number?
True
Let z(u) = -u**3 - 5*u**2 - 8*u + 6. Let y be z(-6). Let g = -3 + y. Is g a composite number?
True
Let h = -11 + 174. Is h a composite number?
False
Suppose n - 1324 = -3*n. Is n prime?
True
Suppose 5*w - 5*j = 885, 0*w - 2*j = -4*w + 712. Is w a composite number?
False
Suppose 5*d = 2*y - 1 - 5, 4*y - 12 = 4*d. Suppose -896 = -2*q - k, 4*q - 2*k + k - 1780 = d. Is q prime?
False
Suppose -5*g + 0*g + 6755 = 0. Is g a prime number?
False
Suppose 4*p - d = 24, p + 4*d - 6 = -d. Suppose 0 = -p*x + 3*x + 3*b + 789, 0 = b - 2. Is x composite?
True
Is (-74)/((-4)/102*3) a composite number?
True
Suppose -5*z = -x - 482, -z + 379 = 3*z - 3*x. Suppose -2*h = h, 0 = g - h - z. Is g a prime number?
True
Let r = 95 - -456. Is r a composite number?
True
Let w(t) = 3*t - 16. Let g be w(12). Suppose g = 5*x - 1265. Is x composite?
False
Let g = -2 + 3. Let y(d) be the first derivative of 23*d**4 + 2*d**3/3 - d**2/2 + 1. Is y(g) prime?
False
Let b be -5*(42/15 - 2). Let d(c) = c**3 + 6*c**2 + 2*c - 2. Is d(b) prime?
False
Let l(i) = -258*i**3 - i**2 - i - 1. Is l(-1) a composite number?
False
Let p(m) = 8*m**2 + 1. Let d be p(-2). Suppose 4*x - 211 = -5*c, -x + 21 = c - d. Is x composite?
False
Suppose 0*c + 4 = 2*c. Suppose g - 1067 = -5*n, -c*g = 2*g - 8. Is n a composite number?
True
Let q = -73 - -44. Is (2 - (12 - 3))*q a prime number?
False
Let x = -1124 + 2406. Suppose -137 = -5*z - x. Let p = -120 - z. Is p prime?
True
Let y(x) be the first derivative of x**4/2 + 5*x**3/3 - x**2/2 - x + 1. Let f = 7 + -3. Is y(f) a prime number?
False
Is ((-418)/(-6))/((-7)/(-21)) a prime number?
False
Let b(r) = 5 + r**2 + 2 - r**3 + 2*r + 6*r**2. Suppose -2*n + 5*q + 53 = 2*n, q = n - 12. Is b(n) a composite number?
True
Let t = 3 - 3. Let n be 5/(-2)*(-258 + t). Is n/21 - 4/(-14) a prime number?
True
Let b be (-13 + 9)/(-3 + 1 - 0). Let o be -1 - (-1 + 242)*2. Is (b/3)/((-14)/o) composite?
False
Suppose 7*y = 2*y + 10. Suppose -374 - 448 = -y*r. Is r a prime number?
False
Is -4*2/((-40)/65) prime?
True
Let p = 8671 + -4840. Is p composite?
True
Suppose -5*j = -2*l + 14, 0*j + 12 = 5*l - j. Suppose 69 + 37 = l*m. Is m prime?
True
Let o = 311 - -950. Is o composite?
True
Let f(k) = -20*k - 13 + 14 - 4*k. Is f(-1) prime?
False
Suppose t - 2*r = -r + 729, -3*t = -r - 2195. Is t a prime number?
True
Is 1649/((2/4)/((-10)/(-20))) a prime number?
False
Suppose -a + 1564 = 3*a. Is a a composite number?
True
Suppose w - 3*q - 1451 = -6*q, -4*q + 4333 = 3*w. Is w a composite number?
False
Suppose 3*y = -2*c + 3*c - 351, 5*y = -4*c + 1319. Let p = c + -239. Suppose 3*d - v - v - p = 0, -v + 122 = 4*d. Is d prime?
True
Let w(q) = -1029*q + 2. Is w(-5) composite?
False
Let w be 1 + -1*(-3 - -2). Is 371 + (-5)/((-5)/w) a prime number?
True
Let g(o) = -140*o + 1. Let f be g(-1). Let r = -58 + f. Is r a composite number?
False
Let q = 403 - 194. Is q composite?
True
Le