er?
False
Let w(p) = p**2 + 11*p. Let j be w(-11). Suppose 2*h = n - j*n + 81, -3*n - 129 = -3*h. Is h prime?
False
Is (-1506)/(-3) + -1 + -4 a composite number?
True
Let g be (-2)/2 + 33/3. Let w = 0 - g. Let z(i) = i**3 + 10*i**2 - 3*i + 7. Is z(w) a composite number?
False
Suppose 7*z = 2*z + 10. Suppose -i + z*q + 340 = 3*i, 0 = -2*i - 5*q + 170. Is i a composite number?
True
Let r = -561 - -864. Is r a composite number?
True
Suppose -97 - 138 = -3*t - l, -2*t = 5*l - 148. Is t a prime number?
True
Let z be 26/65*1*25. Suppose z*b = 7*b + 1407. Is b a composite number?
True
Let w = -2409 - -3600. Is w composite?
True
Is (-2)/15 + 5896/120 a composite number?
True
Suppose 0 = 2*w - w - 2. Suppose w*z + 48 = 4*u, 6*u - u - 60 = 2*z. Let v = 21 + u. Is v prime?
False
Suppose -3 - 12 = -5*m. Suppose 8 = -2*p - 0*p, 4*s - 116 = m*p. Suppose -h - s = -3*h. Is h a composite number?
False
Is 2 + -3 + 2*62 a prime number?
False
Suppose -1452 = -3*p - 3*y, -2*p = -5*y + y - 938. Is p a prime number?
True
Let b(f) = 4*f - 17. Is b(7) a composite number?
False
Suppose 2*w = z - 6*z + 24, -3*w + 3*z = -15. Let k = w - -32. Is k a prime number?
False
Is 59*(8 - -1) + 4 a prime number?
False
Let r(d) = -d**3 - 3*d**2 - 2. Let p be r(-3). Let n(j) = 7*j**2 + 2*j + 2. Is n(p) a prime number?
False
Let l = 1 - 7. Is (-406)/(-7) - l/(-2) a composite number?
True
Let j(o) = -o**3 - o. Let g be j(2). Let i be (-2)/g - 27/(-15). Suppose 0*y - i*y = -3*s - 446, -3*y - 5*s + 669 = 0. Is y prime?
True
Is 1/((3/309)/1) prime?
True
Suppose 0*v - 5*u = -5*v + 5055, 2*v = -2*u + 2002. Is v a prime number?
False
Suppose 2*m + 4*q - 6864 = 266, 4*q = 3*m - 10725. Is m composite?
False
Let j = 2702 + -1551. Is j prime?
True
Let g be (53*-1 - -1) + 0. Let b be 4/(-14) - g/(-14). Is (b + 5)/(1/119) a prime number?
False
Let c(l) = -l**3 + 4*l**2 + 5*l + 5. Let z be c(5). Suppose x - z*x = -28. Is x a prime number?
True
Let m(x) = 0 - 2 + 7 + 78*x. Let v be m(5). Is v/5 - (1 - 1) prime?
True
Suppose 3*d + 7 = -u, -3*u - 2*u + 45 = -5*d. Is 116*1/(-8)*d a prime number?
False
Suppose k - 5*t + 690 = 6*k, 0 = -t - 3. Is k a prime number?
False
Let a(r) = 2*r + 19. Is a(-6) a prime number?
True
Let g = 319 + -74. Suppose 0 = -2*x + g + 27. Suppose 4*p = 4*d - x, -5*d - p + 40 = -4*d. Is d a prime number?
True
Let j be (-4)/(-6) - 202/6. Let t(z) = -5*z + 5. Let v be t(12). Let q = j - v. Is q composite?
True
Suppose 2*t - 514 = 3*o, 0 = -0*t + 3*t - 3*o - 771. Is t a composite number?
False
Let a be 10/15*(0 - -6). Is 2/a + (-69)/(-2) a prime number?
False
Suppose 5*m + 0*m = -460. Let t = -39 - m. Is t a composite number?
False
Let r(u) = -u + 15. Let y(f) = -f + 14. Let j(g) = 6*r(g) - 7*y(g). Let v be j(12). Suppose 235 = v*n + w, -24 = -5*w - 9. Is n a composite number?
True
Suppose 2*g - g - 3 = 0. Suppose -4*i - 9 = -2*i - 3*l, -i + 3*l = g. Is 3/i + (-135)/(-6) prime?
False
Let u(w) = 49*w**2 + 2*w + 1. Is u(2) composite?
True
Suppose -4*y = -7*y - 3. Let z be 3 + (0/1 - y). Suppose 68 - 203 = -z*x - 5*q, 4 = -4*q. Is x composite?
True
Suppose -5*g - 2271 = -3*o, 0*g - g = o - 757. Is o composite?
False
Let k(q) be the third derivative of q**6/60 - 2*q**5/15 + q**4/6 - q**3/6 + q**2. Let u be k(5). Let l = u + 14. Is l prime?
True
Suppose 15 = -5*r, -w + r = 3*w + 345. Let s = w - -142. Is s prime?
False
Let g be (-13)/(-4) - (-5)/(-20). Suppose 0 = -3*d - 2*p - 0*p + 5, 4*d + 12 = 2*p. Is g + -1 + (44 - d) prime?
True
Let q = 468 + -61. Is q a prime number?
False
Let y = 5 - 2. Suppose -2*g = y*g - 265. Is g composite?
False
Let g be 2/(-6)*(-405)/15. Let u = g + 122. Is u a composite number?
False
Let i = -4 - -7. Suppose -i*k - 1 + 4 = 0. Let q(w) = 64*w**3 + w**2 + w - 1. Is q(k) prime?
False
Let v = 14 - -16. Is (3/2)/(v/1340) a composite number?
False
Let s(o) = o**3 - 6*o**2 + 8. Let t be s(6). Let n = t - 13. Let k = 12 + n. Is k composite?
False
Let g be 2/5*(-18 - -8). Is 2006/8 - g/16 prime?
True
Suppose 0 = 3*n + 3*q - 6444, n = -2*n - 2*q + 6445. Is n prime?
False
Is 242*((-45)/(-10) + -4) prime?
False
Let v be 5*-1*(-4)/4. Suppose 1055 = 10*h - v*h. Is h prime?
True
Let b(d) = d**2 + 26*d + 27. Is b(14) prime?
True
Suppose 5*z = -2*g + 5*g, -3*g = -z - 12. Suppose w = g*w - 1492. Is w a composite number?
False
Suppose -s = s, -5 = r - 5*s. Let t be (2 + 1)/(r/(-245)). Let k = t + -24. Is k a prime number?
False
Let u(k) = 7*k**2 + 3*k. Let l be u(-3). Let i = 3 + l. Is i composite?
True
Let j(q) = 164*q - 5. Is j(5) composite?
True
Let t = 9 - -3. Is -1 + t/(-4) - -1139 prime?
False
Let l(s) = -12*s**3 - 4*s**2 + 3. Is l(-3) a composite number?
True
Let a = 345 + -184. Is a composite?
True
Let h be 1/(-2)*(-1 - 3). Suppose 0 = -h*s + s + 110. Let r = s - -17. Is r a composite number?
False
Let q(s) = 5*s**3 + 6*s**2 - 2*s + 11. Let g(v) = v**3 - v + 1. Let d(w) = -w + 9. Let n be d(10). Let u(i) = n*q(i) + 6*g(i). Is u(8) a composite number?
True
Suppose 0 = 3*o + 3, -2*z + 5*z + 16 = 2*o. Let r be (z/9)/((-2)/582). Suppose 0*a = a - 2*l - 85, 4*l - r = -2*a. Is a a composite number?
True
Is -3*(0 - -1) + 136 composite?
True
Suppose 4*a - 3*n + 15 = -0*n, 4*n - 20 = 5*a. Suppose a = 4*t - 565 - 367. Is t composite?
False
Suppose -2*k = 2*c - 4*c - 534, 3*c - 1351 = -5*k. Is k a composite number?
False
Let z(h) = -h - 14. Let t be z(0). Is (t/21)/(4/(-318)) prime?
True
Is (3 - 10)/1*(8 - 109) a prime number?
False
Let c(q) be the first derivative of -2/3*q**3 - 3*q**2 + 1/4*q**4 - 1 + 2*q. Is c(5) a prime number?
True
Let b = 5516 + -765. Is b composite?
False
Let i(x) = 92*x + 15. Is i(11) a prime number?
False
Let d = -10 - -63. Suppose d = 4*y - 31. Is y a prime number?
False
Let q(s) = s**2 - 2. Let k be q(2). Is -3 - (k - (136 + 2)) a prime number?
False
Suppose -70 = -2*a + 168. Is a prime?
False
Suppose -5*n = -4*i, 4*i + 4*n = -0*i - 36. Let g be 2/(-4) + 195/6. Let m = g - i. Is m a composite number?
False
Let l be -327 - (-2)/(-6)*-3. Let t = 629 + l. Is t a prime number?
False
Let a(v) = v**3 - v**2 + v + 1. Let k(r) = 7*r**3 - 5*r**2 + 2*r + 5. Let l(p) = 6*a(p) - k(p). Is l(-4) prime?
False
Let q = 372 + -217. Is q composite?
True
Suppose -5*m - 5*a = -4*a + 384, 0 = -4*m + 4*a - 288. Let c = m + 125. Is c prime?
False
Let x(v) be the first derivative of v**3/3 - 3*v - 2. Let y be x(-3). Suppose y*w - 45 = 3*w. Is w composite?
True
Let s = 13 - 23. Let q be ((-2)/5)/(1/(-5)). Is (q - 6)*s/4 composite?
True
Suppose 5*c - 5 = 0, -5*y + y - c = -4605. Is y a composite number?
False
Let q = 24 - 22. Suppose 3*a - 6 = 0, 644 = 2*o + 3*a + q*a. Is o a composite number?
False
Let n = 0 + 3. Suppose -n*o = -5*o - 5*f + 30, 2*o + 2*f = 24. Is o composite?
True
Let g(s) = s**3 + 4*s**2 - 6*s - 3. Let t be g(-5). Suppose -f + 2*h + 47 = 0, t*h = -f + 10 + 17. Is f prime?
True
Let k(t) = -2*t**2 + 20*t - 9. Is k(8) a prime number?
True
Let s be 3/(-12) - 5/(-4). Let o be s + 1 + 2/(-2). Let r(b) = 86*b - 1. Is r(o) prime?
False
Let p(l) = l**2 - 7*l + 73. Let c(x) = -x**2 + 8*x - 72. Let i(y) = 6*c(y) + 7*p(y). Is i(0) a composite number?
False
Suppose 4*n = 16, -3*l - 3*n - 8 = -8*l. Let c(q) = 3*q**2 + 4*q - l - q**2 + 3*q**2. Is c(3) prime?
True
Suppose t - 12 = -3*t. Suppose t = -x - m + 7, -4*m + 16 = 2*x. Suppose 5*h = 0, x*y + 195 = 3*y + 5*h. Is y a prime number?
False
Suppose -8*j = -5*j - 597. Is j a prime number?
True
Let h = -12 - -43. Suppose 25 = 3*w + 7. Let z = h - w. Is z composite?
True
Let q(y) = y**2 - 4*y - 7. Let b be q(6). Suppose 0 = -2*h + v + b, 4*v = -2*h - 0*v. Is h*2/(-4) + 20 a prime number?
True
Let h be (-3)/2*16/6. Let d be (-17)/h + (-1)/4. Suppose 3*r = d + 2. Is r a prime number?
True
Let r(y) be the first derivative of y**3/3 - 3*y**2/2 - 2*y - 2. Is r(7) a prime number?
False
Suppose 3 = -2*v + 1. Let l(k) = -k**2 + k. Let u(o) = 38*o**2 - 6*o. Let p(j) = 5*l(j) + u(j). Is p(v) a prime number?
False
Suppose -5*y = -6*y - 2*l - 9, 0 = 3*y - l + 20. Let k be (-2)/6 - y/3. Let i(o) = 7*o**2 - 2*o + 1. Is i(k) a prime number?
False
Suppose -2*x = -20 + 8. Let j(a) = 5*a + 1. Is j(x) a prime number?
True
Let l = -198 + 287. Is l composite?
False
Let b be (233 - (2 + -3)) + -2. Let p = 7 + b. Is p prime?
True
Suppose 5*i