f = -2*w - w. Is w prime?
True
Suppose -3*z + 431 = 4*o - 2*o, 2*o - 5*z = 471. Is o prime?
True
Is (22/33)/(4/1506) a composite number?
False
Let x = 1626 + -929. Is x composite?
True
Let f(o) = o - 7. Let t be f(11). Suppose -5*u - 9 = -t. Is 1284/30 - u/5 prime?
True
Suppose 4*q + 12 = 0, -4*f - q + 331 = -2*q. Suppose 3*x - 5*i = f, -x - 2*i + 4 = i. Is x a composite number?
False
Let r(o) = o - 4. Let b be r(2). Is 7*(1 - b) - -1 prime?
False
Let c = 215 - 398. Let o = c - -278. Is o composite?
True
Let y(u) = 6*u**3 - 2*u**2 + u - 2. Suppose 5*q - 10 = 2*h - h, 3*h = 15. Is y(q) composite?
True
Let o be (-76)/8 + 2/4. Let z(v) = v**2 + 22*v - 2. Let k be z(o). Let c = -80 - k. Is c prime?
False
Let j be ((-86)/(-4))/(1/8). Suppose 4*i - j = -0*i. Is i prime?
True
Suppose v - 1005 = -2*v. Is v composite?
True
Let r = 1322 - 444. Is r composite?
True
Let k(s) = 3*s + 10*s**3 - 46 - 3*s**3 + 45 - s**2. Is k(2) a prime number?
False
Let w(a) = 6*a**2 - 24*a + 61. Let q(n) = -n**2 + 5*n - 7 - 4 - 1. Let h(z) = -11*q(z) - 2*w(z). Is h(-7) composite?
True
Suppose 4*q = 5*w + 7872, -4*w + 8 = -2*w. Is q a composite number?
False
Let n be -5 + 4 - 3*-1. Suppose 2*x - 4*z = 12, x + 5*z + 12 = n*x. Suppose 5*h = 3*w + 63, -x*w + w = -3*h + 41. Is h prime?
False
Let v = 3 + 17. Suppose 3*z + 5 = v. Suppose -2*f + 3*c = -9, -z*c + 2 = -3. Is f prime?
False
Suppose 6*s - 3*s - 678 = 0. Is s a composite number?
True
Suppose 2*m = 7*m + 15. Let i(w) be the first derivative of w**3/3 + 3*w**2/2 + 4*w + 1. Is i(m) prime?
False
Let v(c) = 3*c**3 + 8 - 82*c**2 + 3 - 4*c**3 + 77*c**2 - c. Let p be 2/6 - 75/9. Is v(p) a prime number?
True
Let w(m) = -9*m + 4. Suppose 3*g + 40 = -g. Is w(g) a composite number?
True
Suppose 15 = 5*l - 8*a + 3*a, -6 = -2*l - 5*a. Suppose 4*f - 351 = -3*w, -l*f + 787 - 191 = 5*w. Is w a composite number?
True
Let d = -169 - -246. Is d composite?
True
Suppose 6 + 4 = 5*c. Suppose 172 = 5*h - 2*t - 59, 4*h = c*t + 186. Suppose 4*l - h = -z, z - 3 - 26 = 4*l. Is z a prime number?
True
Let v = 14 + -9. Suppose v*q - o + 35 = 0, -q + 13 = -4*o + 1. Let y(t) = -5*t + 6. Is y(q) composite?
True
Is -3273*(4 - (6 + -1)) - 2 a composite number?
False
Let d = 839 - 330. Is (-9)/6 - d/(-2) a prime number?
False
Let d(u) = 8*u + 1. Let v be d(9). Is v - (5 + (0 - 3)) composite?
False
Suppose n + 0*n + 5*h - 26 = 0, 4*n - 9 = -h. Let d be (n + -2 - -1) + 2. Suppose -5*t = -d*t - 285. Is t composite?
True
Let r be (-4)/(-14) - 971/(-7). Let w be ((-35)/(-3))/(4/24). Let d = r - w. Is d prime?
False
Let d(h) = 185*h + 10. Is d(11) a prime number?
False
Is 4/(-22) - 3075/(-33) composite?
True
Suppose 0 = -4*w + 8, -2*w = a + 3*w + 21. Let y = 4 - a. Is y a prime number?
False
Is ((-8)/12)/(-2)*2019 a prime number?
True
Let k = 459 + 1022. Is k a prime number?
True
Is 1/(-2) - 1761/(-6) a prime number?
True
Let a be 8/(-12) + (-578)/6. Let u = 210 + a. Suppose -5*s = -132 - u. Is s composite?
True
Suppose -45 = -8*l + 3*l. Let t be 2/(6/l - 0). Suppose -3*c + 7*i + 21 = 4*i, -5*c = -t*i - 27. Is c a prime number?
True
Suppose 0 = -4*o - 2*m + 7*m - 40, 4*m + 9 = -5*o. Let t(i) = -i**3 - 5*i**2 + i + 4. Let q be t(o). Let b(w) = -120*w**3 - 2*w**2 - w. Is b(q) composite?
True
Let c(w) = 908*w**3 - 2*w**2 + 3*w - 2. Is c(1) prime?
True
Let z = -3 + 5. Suppose -5*s = 15 + 10, 0 = z*m - s - 43. Is m prime?
True
Let x be (4 + (-2)/2)/(-1). Is (-2 - -3)/(x/(-69)) a composite number?
False
Let f be 0/1 + 0 + 886. Suppose -2*v + l + f = 0, 2*v = -4*l + 958 - 52. Is v a prime number?
False
Let x = 420 - -375. Suppose -2*j + x = 3*j. Is j a prime number?
False
Let s be ((-2)/3)/(2/(-15)). Suppose s*l - 134 = 671. Is l a prime number?
False
Let y(z) = -z + 53. Let s = 1 + -1. Is y(s) a prime number?
True
Suppose 5*p = -3 + 23. Suppose -8*v + p*v = -1876. Is v a composite number?
True
Suppose -9698 = q - 6*q + h, -15 = 5*h. Is q a composite number?
True
Let s = 1 - -2. Let v(b) = -3*b**2 + 2*b**3 - s*b - 3 - b - 4*b**3 + 0*b**2. Is v(-2) a composite number?
True
Let n be ((-46)/5)/(1/(-5)). Let u = n - -11. Let z = u - 20. Is z a composite number?
False
Let f(i) = 5*i**3 - i - 1. Is f(2) a composite number?
False
Let a = -761 - -2020. Is a composite?
False
Suppose -3*j - 3*f + 1404 = -522, -2*j + f = -1272. Suppose -j = -5*v + 757. Suppose -3*b + v = 2*g, -g + 185 = 2*b - 0*g. Is b a prime number?
False
Let i = 4511 + -2332. Is i prime?
True
Suppose -66 = -3*w - 2*h - 3*h, -4*w + 88 = -3*h. Suppose -d + 12 + w = 0. Is d composite?
True
Let v(a) = -2*a**2 + 5*a + 4. Suppose -20 = -4*j - 2*s, 0 = -4*s + 2*s. Let w be v(j). Let t = 10 - w. Is t composite?
False
Let g = 1 - 2. Is g/((-3)/(-636)*-2) a prime number?
False
Let i(p) = 7*p**3 - 3*p - 3. Let s be i(-2). Let j(z) = -z**3 - 9*z**2 - 4*z + 1. Let b be j(-8). Let w = b - s. Is w composite?
True
Is 18 + -19 - (0 + -90) prime?
True
Let w(x) = 5*x**2 - 8. Let o(a) = a + 1. Let n(z) = 6*o(z) + w(z). Is n(-5) a prime number?
False
Let y(c) = -12*c - 13. Let x be y(-6). Suppose -25 = -6*m + x. Is m prime?
False
Let x(g) = 5*g**2 + 2*g - 2. Is x(4) composite?
True
Let u(b) = 16*b**2 - 8*b - 4. Let o be u(-5). Suppose a = 5*a - o. Is a a composite number?
False
Suppose 0 = -0*t - 3*t + 4677. Is t composite?
False
Let t be -110*((-5)/(-2) - 3). Suppose -6*r + t = -5*r. Is r prime?
False
Let v be (-3)/(-2)*(-4)/3. Let p(f) = 3*f**2 + 2*f + 1 - f**2 + 5*f**2. Is p(v) a composite number?
True
Suppose 2*h = 5*q - 27, h + 8 + 0 = -3*q. Let i = -7 - h. Is ((-76)/(-16))/(1/i) prime?
True
Let y = -335 - -3598. Is y composite?
True
Suppose 13 + 128 = -3*s. Let c = s + 126. Is c a composite number?
False
Suppose 0 = -0*x + 8*x - 1688. Is x composite?
False
Let a(d) = -33*d - 17. Is a(-12) a composite number?
False
Let h(d) = 68*d - 3. Is h(3) composite?
True
Let o be 694/6 - (-2)/(-3). Suppose 3*m - o = -3*c + 125, 397 = 5*c + 4*m. Is c composite?
True
Let h = 8 + -89. Let i be (-1)/(-2) - h/(-6). Let j = i + 23. Is j a composite number?
True
Let h = 4 + -5. Is (3884/(-2))/(2*h) a composite number?
False
Suppose -3*k = -1 - 8. Let a(c) = 10*c**3 - 3*c**2 + 4. Is a(k) a composite number?
True
Suppose -5*z - 3223 = -4*j, 0*z = 5*j - 4*z - 4031. Is j a prime number?
False
Let u(k) be the second derivative of k**3/6 - k**2 + 2*k. Let z be u(4). Suppose 7*m - 4*m = -15, -73 = -z*a - 5*m. Is a a prime number?
False
Suppose 0 = -2*q + 4*q - 10. Let a be 20/(-15)*3/(-2). Suppose 44 = a*u + q*b - 57, 5*u - 4*b - 269 = 0. Is u a composite number?
False
Suppose y - h - 142 = 285, -3*y + 1279 = -2*h. Let q = -214 + y. Is q a composite number?
False
Suppose 23 = 3*u - 4*p, 5*p = -3*u + 2*p + 9. Suppose 2*w - 135 = -t - 0*w, -u*t + 3*w = -662. Is t composite?
True
Let y(w) = -2*w - 21 - 12*w + 13*w**2 + w**3 - 7*w. Is y(-14) a prime number?
False
Suppose 4*d = -6 + 22. Suppose -5*b = -2*o + 63, -2*b + 162 = 8*o - d*o. Is o a composite number?
True
Let r(o) = o**2 - 6*o + 2. Suppose 5*k - 8 - 22 = 0. Let y be r(k). Suppose -5*u = 3*f - 66 - 386, -y*f + 300 = 2*u. Is f prime?
True
Let c be -58*1*(-39)/6. Suppose -5*i + c = -n, -5*n - 348 = -4*i - 59. Suppose 2*r + 2*r = i. Is r a prime number?
True
Let k = -3 - -6. Suppose -2*g + 0*g = -k*o + 65, -2*o + g + 42 = 0. Is o composite?
False
Let q be (3 - 1) + (-2)/(-2). Let h(s) = -s**3 - s**2 - 2*s + 3. Let t be h(0). Suppose -3*b - 10 = -4*b - t*j, 4*b - q*j = 40. Is b a prime number?
False
Suppose 2*t = -2*g - 6, -t - 3*g - 2*g = 15. Suppose t = -3*a + 56 + 37. Is a prime?
True
Let a = 0 + 2. Suppose -a*o = -6*o - 228. Let g = -36 - o. Is g a prime number?
False
Let j(n) = 268*n. Let r(v) = -v. Let y(t) = j(t) + 201*r(t). Is y(1) a composite number?
False
Let g = 15 + -8. Let n(l) = -6*l**2 + 10*l + 7. Let f(h) = -17*h**2 + 29*h + 21. Let u(a) = -4*f(a) + 11*n(a). Is u(g) composite?
True
Let x(q) = -q**3 + 6*q**2 - 1. Suppose 0 = 2*v - 6*v + 16. Is x(v) a prime number?
True
Let y(q) = -q**3 - 9*q**2 - 10*q - 11. Let m be y(-8). Suppose 0 = -m*p - 4*x + 715, 0 = -0*p + 2*p - 4*x - 286. Is p prime?
False
Suppose -3*w - 2*v = 45 - 12, -4*v + 55 = -5*w. Let t = 37 - 13. Let q = t + w. Is q composite?
False
Let l be (-3)/((-30)/8)*-10. Let x = 19 + l. Is x a prime number?
True
Suppose -887 =