2*l + 8*l**2 + 6 + 13*l**2 - 5. Is r(-2) prime?
True
Suppose 8*i - 3*i = 575. Suppose 0 = -2*j + 497 - i. Is j a composite number?
False
Is (3084/(-3))/(-4) - -2 composite?
True
Let g(z) be the second derivative of z**4/6 + z**2/2 - 4*z. Is g(-3) a composite number?
False
Let v(k) be the first derivative of 9*k**3 - k**2/2 + k - 1. Let o = -13 - -11. Is v(o) a composite number?
True
Suppose -u + 2*b = -3*u + 10, -u + 20 = -4*b. Suppose -14 = -2*h + u. Is h a composite number?
False
Suppose -3*f + 10 = -2. Suppose -f*c - 9 = -485. Is c composite?
True
Let a(n) = 67*n - 23. Is a(6) a composite number?
False
Let i = 355 - 554. Let b = -116 - i. Is b a composite number?
False
Let a = -4 - -6. Is (0 + a)/((-8)/(-1324)) composite?
False
Suppose 5*f = 4*f - 3*x + 10, -4*x + 14 = f. Let r(d) = 141*d**2 - d - 1. Is r(f) a composite number?
True
Suppose t + 3 = 2*t. Suppose -3 = t*d - 4*d. Suppose 2*h - 51 = -h + 4*f, h = -d*f + 4. Is h composite?
False
Suppose 0*k + 2524 = 4*k. Is k prime?
True
Let y(l) = -l - 2. Let m(u) = 31*u**3 - u**2 - u + 1. Let t be m(1). Suppose 6*z = z - t. Is y(z) composite?
True
Suppose 0 = -2*f + 7*f - 5, -765 = -4*j - f. Is j composite?
False
Suppose 153 = 3*z - 624. Is z prime?
False
Let r be 4/(-24) + (-493)/(-6). Suppose -2*a + 4*b = -r, -5*b + 7 = -13. Is a a composite number?
True
Let x(j) = j**3 - 4*j**2 + 2*j - 6. Let k be x(4). Suppose 115 = k*l - 103. Is l a prime number?
True
Let v(j) = 3*j - 1. Let h be v(1). Let x = h - 0. Suppose i = 4*s + 43, -x*s + 4*s + 172 = 4*i. Is i a prime number?
True
Let x = -300 + 535. Is x composite?
True
Suppose -8*g + 5034 = 1282. Is g a composite number?
True
Suppose 4*h = 4*r + 28, -5*h - r + 6 = -17. Suppose g + g = l - 8, 2*l - h*g = 18. Suppose o + o = -c + 55, -20 = -l*c. Is o a composite number?
True
Let b(y) = -403*y + 16. Is b(-7) a composite number?
False
Let b be (-843)/6 - (-1)/(-2). Is 1*(b/(-1) - -2) prime?
False
Suppose 5*d + 0*d - 180 = 0. Let k = 91 + d. Is k a composite number?
False
Let l(o) = 29*o**2 - 3*o - 1. Let f(b) = -b**3 - 12*b**2 - 12*b - 8. Let y be f(-11). Is l(y) prime?
True
Suppose 758 = 5*l + 2*c - 507, l - 260 = c. Let f = -9 + 11. Suppose -f*z + l = z. Is z a composite number?
True
Let v = 163 - -174. Is v prime?
True
Suppose -4*p = -2*p - 4. Suppose -p*i + 1 = -3*i, -4*k - 4*i + 592 = 0. Is k a prime number?
True
Let i = -403 + 701. Is i a prime number?
False
Suppose -9*o + 12 = -8*o. Let n(f) = -2*f**2 + 9*f - 4. Let m be n(6). Let h = o - m. Is h composite?
True
Let q(o) = o**3 + 4*o**2 - o + 1. Let g be q(-4). Suppose -g*u - 3*k = -671, 0 = 4*u - 2*k + k - 530. Is u a prime number?
False
Let v = -1 + 37. Suppose -5*c + 0*r = -r + 80, 0 = -5*r - 25. Let w = v + c. Is w a composite number?
False
Suppose -2*b - 3*o = 390, -b + 824 = -5*b + 5*o. Let u = b + 26. Let a = u + 252. Is a a composite number?
True
Suppose 32 = c + 6. Let g = 15 + -12. Suppose -3*j - 3*t + t + c = 0, 2*j = -g*t + 14. Is j prime?
False
Suppose -13 - 85 = -2*w. Is w a composite number?
True
Let x = 23 - 21. Suppose -x*o + 180 = -4*q, o = 6*q - 2*q + 98. Is o composite?
True
Let z = -89 + 538. Is z prime?
True
Suppose 10782 = 3*x + 3711. Is x a composite number?
False
Let q(b) = 3*b**2 - 11*b - 1. Is q(5) a composite number?
False
Let a(l) = -103*l + 5. Is a(-2) composite?
False
Suppose 10 = 2*l, -5*c + l = -4 - 6. Suppose 2*o - 4*m = 298, 466 = 2*o + c*m + 140. Is o a prime number?
True
Let w be (1/(-1))/((-1)/2). Suppose -f = -j - 0 + 7, 5 = -j - w*f. Suppose 2*y = -j*y + 255. Is y a composite number?
True
Let o = -4711 - -7394. Is o a prime number?
True
Suppose 5*g = -2*q + 449, g + 5*q + 435 = 6*g. Is g composite?
False
Let w = -23 + 23. Suppose 2*q - 4*q + 42 = w. Is q a prime number?
False
Suppose b + 0 = 2. Suppose 3*g + b*g = 10. Suppose g*l - 115 = -3*l. Is l prime?
True
Let t be 26/7 + 6/21. Let p = 1 + t. Suppose -31 = -p*b + 39. Is b a prime number?
False
Let d(a) = a + 11. Let p(n) = -n - 11. Let h(j) = 3*d(j) + 2*p(j). Let k be h(-9). Suppose 0 = -k*c - 0*c + 170. Is c a prime number?
False
Let n be 0 + (1 - 98) + -3. Let q = n + 211. Is q a prime number?
False
Let j = 580 + -317. Is j a composite number?
False
Let i(o) = -o**3 + 10*o**2 - 4*o + 5. Is i(4) a composite number?
True
Let d(a) = 332*a**3 - a. Is d(1) a composite number?
False
Suppose -2*q + 8 = -14. Suppose -5*d + 4 = -q. Suppose 354 = d*n + 4*f, 2*f + 0*f - 354 = -3*n. Is n a prime number?
False
Let q = 567 + -94. Is q a prime number?
False
Let z(i) = -i**3 + 24*i**2 - i + 25. Is z(19) a prime number?
True
Let s = 9 - 16. Let k(q) = 2*q**2 - q + 8. Is k(s) composite?
False
Let x(d) = 7*d + 9. Is x(7) a prime number?
False
Suppose 7*y - 1191 - 860 = 0. Is y composite?
False
Let d(h) = -16 + 5*h + 4 + 84*h**2 + 7. Is d(2) prime?
False
Let p = -178 - -94. Let s = p - -173. Is s a composite number?
False
Suppose 3*n + n + 4*w - 4504 = 0, 2*n + 3*w - 2255 = 0. Is n a composite number?
False
Let n(i) = -i**3 + 5*i**2 + 18*i + 15. Is n(7) composite?
False
Is 4/(-18) - 2405/(-9) a prime number?
False
Suppose -2*v + 3*v - 4034 = -a, -2*v - 5*a + 8053 = 0. Is v a composite number?
True
Is (4/(-6))/((-10)/555) composite?
False
Is -895*(-3 + (-26)/(-10)) a prime number?
False
Suppose 0 = -h + 2, 2032 - 358 = 4*l - h. Is l composite?
False
Suppose -y = -3*y + 262. Is y prime?
True
Suppose 2*w + 35 = 5*n - 3*w, 0 = -5*n - 5*w - 5. Suppose -p + 0 = -n. Suppose 5*u - p*u = 188. Is u a composite number?
True
Suppose 2*x - 2 = k, -2*x - 6 - 4 = k. Let l(c) = -c**2 - 7*c. Is l(k) composite?
True
Let s = 20 + -38. Is 1857/27 - 4/s prime?
False
Let n(v) = -v. Let d be n(-7). Let h(q) = q**3 - q**2 - 4*q + 1. Is h(d) a composite number?
True
Suppose -20 = j - 6*j. Suppose 35 = h + j*h. Let y(l) = l**3 - 8*l**2 + 9*l + 9. Is y(h) composite?
False
Suppose 2*u - 4*u + 3*j = -1682, -4*u = j - 3364. Is u a prime number?
False
Suppose -4 = 2*b + g, 4*b + 5*g = -0*g + 4. Is (-1 + -1)/(b/158) a composite number?
False
Suppose 0 = -3*g - 4*i + 781, -5*i + 1307 = 5*g - i. Suppose -3*m - 184 = -5*b, 0 = 4*m + 5*b + g - 6. Is 14/m + 344/9 prime?
False
Let w(y) = 234*y - 1. Is w(3) a prime number?
True
Suppose 0*q + 3*q = m + 1090, q = m + 360. Is q composite?
True
Let y(z) = 4*z**2 + 5*z - 25. Is y(18) a prime number?
True
Let i(g) = 2*g**2 + 4*g + 2. Let p be i(-2). Suppose 0*w + p*w = -5*m + 179, 3*w = -4*m + 139. Is m prime?
True
Let m(o) = 2*o**2 - o - 1. Let i be m(-1). Is (-10)/(-5)*191/i prime?
True
Let b(v) = -v**2 - 8*v + 5. Let m be b(-4). Suppose -2*u = -u - m. Is u composite?
True
Let y = -3750 - -7901. Is y a composite number?
True
Suppose 4*n + 670 = 3*n. Is (-1 - n)/3 + 0 prime?
True
Let q = -210 - -1045. Is q composite?
True
Let y = 74 - -41. Let q = y - 32. Is q a prime number?
True
Suppose 320 = 4*h - 2*i, -h + 0*i + 5*i = -89. Is h a composite number?
False
Let s = -10 + 6. Suppose -6 + 41 = 5*d. Let t = d + s. Is t prime?
True
Let h(j) = -57*j + 4. Let r(u) = 6784*u - 477. Let p(z) = 477*h(z) + 4*r(z). Is p(-1) a prime number?
True
Suppose 0 = -0*c + 3*c - 9. Suppose -c + 30 = 3*q. Suppose -h + 28 = -q. Is h a composite number?
False
Let n(d) = 10*d**2 - 22*d - 39. Is n(-19) a prime number?
True
Let i be (-2 - 4)*1/(-2). Suppose -4*m = t - 90, 3*m - 75 = -i*t + 6*t. Let g = 104 + m. Is g prime?
True
Let t = 7 + 72. Is t a prime number?
True
Let a = -80 + 450. Let l = a - 167. Is l a prime number?
False
Suppose 0*t - 5*q - 978 = -3*t, 0 = 2*q - 6. Is t prime?
True
Suppose -5*f = 1632 + 283. Let c = -252 - f. Is c a composite number?
False
Suppose 2*n - 524 = -2*d, 31 = 5*d + 6. Is n composite?
False
Is 1/((-831)/417 - -2) composite?
False
Let m = -10 + 16. Let i(r) = r**3 - 2*r**2 - 5*r - 5. Is i(m) a composite number?
False
Let f(d) = d + 2. Let b be f(-6). Is (-594)/(-4) + b/(-8) a prime number?
True
Let v = -1 + 6. Suppose 2*d = 3*w + 119, -2*d - 3*d = -v*w - 295. Is d a composite number?
True
Suppose 3*b = -2*w + 163, -4*w + 6*b - 3*b + 281 = 0. Suppose 5*a - w - 651 = 0. Is a prime?
False
Suppose -42 = u + 34. Let n = -34 - u. Suppose -3*b + 6*b = n. Is b a composite number?
True
Let k(f) = 267*f + 7. Is k(2) prime?
True
Is 641/((-2 + (-21)/(-12))*-2) composite?
True
Let f(m) = -m**3 + m**2 + 2. Let b