4*s - 5*w - 67282 - 160772 = 0. Is s a composite number?
True
Let n(g) = 4*g**3 - 7*g**2 + 5*g + 10. Let b(w) = w**3 + w**2 + 1. Let o(v) = 5*b(v) - n(v). Suppose 9 + 15 = -2*z. Is o(z) prime?
False
Let i = -1 - -1. Let k be -2 - (i + -3 + 3). Is 6/k - 10*-13 prime?
True
Let z be (11 + -7)*1/8*-2. Is 159/53*(z - (-3302)/3) a prime number?
True
Suppose 8*i - 404 = 6*i. Suppose -v - i = -1023. Is v a prime number?
True
Let d(t) be the third derivative of 3*t**5/20 - t**4/4 - 2*t**3/3 - 7*t**2. Is d(5) a prime number?
True
Let g be ((-12)/10)/(3/(-10)). Let j be -2 + (-71 + g)*-2. Let x = 161 + j. Is x composite?
False
Let l(u) = -42 - 4*u + 60 + 3*u. Let y be l(-12). Is (-3339)/(-15) - (-12)/y a composite number?
False
Let c(s) = 184*s**3 - 2*s**2 - s + 2. Is c(1) a composite number?
True
Let m(s) be the first derivative of -s**4/4 + s**3/3 - 5*s**2 - 25*s + 10. Is m(-12) composite?
True
Is ((-33)/(-7) - (-74)/259)*1499 prime?
False
Suppose 2*q - 5*q = 4*r - 11, -5 = -5*r + 5*q. Suppose 0 = c + r*c - 12. Suppose -c*z - 129 = -w, -319 = -2*w + z - 40. Is w a composite number?
True
Let h = 6975 - -15994. Is h composite?
True
Suppose 272 = 5*l - 6*l. Let h = 160 + l. Let p = h - -251. Is p a composite number?
False
Let c(u) be the first derivative of -480*u**2 - 5*u + 4. Let x be c(4). Is x/(-65) - 4/26 a prime number?
True
Let z be (2 - -1)*28/(-6). Is -2*541*7/z composite?
False
Suppose -138*b + 129*b = -192393. Is b composite?
False
Let y be ((-8)/(-3))/((-3)/9). Let o = y + 12. Suppose 5*c + 686 - 107 = o*r, 4*r - 587 = -3*c. Is r prime?
False
Suppose 4*b + 47 = 3*l + 6*b, 5*b = 5*l - 70. Let a be 63/l + (-1)/5. Suppose 3*d + 80 = i - 0*i, -411 = -5*i + a*d. Is i a composite number?
False
Let f(b) = b**3 - 6*b**2 + 6*b - 2. Let a be f(5). Let h = -4 - -8. Suppose 4*l - 318 = a*l + y, 3*y + 1273 = h*l. Is l a prime number?
False
Let w be 0 - 7/((-7)/2). Let n = 2 - w. Suppose n*h - 49 = -h. Is h composite?
True
Suppose 6 + 0 = 2*f + c, -5*c - 22 = -3*f. Suppose 0 = -j - 5*h + 1447, -h = f*h + 10. Is j a composite number?
True
Let g = 4 - -20. Suppose -g*n - 805 = -29*n. Is n a composite number?
True
Suppose -3*g + 2 + 10 = 0. Suppose -2*l = g + 830. Let b = -28 - l. Is b prime?
True
Let i be -2*1 - (-3 - -4). Is (i/(-5))/(3*5/525) a prime number?
False
Suppose -594 = -0*h - h. Suppose 0 = 2*v - h - 2784. Suppose 14*r - v = 11*r. Is r a composite number?
False
Suppose 0 = -v - 2, -5*v + 33 = q - 0*v. Suppose -38*c = -q*c + 275. Is c composite?
True
Suppose 0 = 14*b - 3*b - 44. Let f(n) = 16*n**2 + 3. Is f(b) prime?
False
Let u = 11149 - 2406. Is u composite?
True
Suppose 2*c - 108 = 5*c. Let b(z) = z**2 - 3*z + 2. Let k be b(3). Is (1 - k)*(c - 1) a composite number?
False
Let i(j) = 34*j - 1. Suppose 0 = 5*t + l - 29, -2*t + 10 + 3 = -l. Let v be i(t). Let q = -136 + v. Is q composite?
False
Let m = 15 + 14. Suppose 3*c = 2*w - 1252, 2*c + 598 + m = w. Is w prime?
False
Let n(k) be the third derivative of -k**6/120 - k**5/30 + k**4/3 - k**3/6 + k**2. Suppose 1171*p + 12 = 1169*p. Is n(p) composite?
True
Let l = -11046 - -27816. Suppose 0*q = 5*q - l. Suppose -3*t + 2016 = 3*n, 0*t - 3*n = 5*t - q. Is t a composite number?
True
Let h = -2263 - -7238. Let f = -2438 + h. Is f prime?
False
Suppose 0 = -3*m - 4*i + 1294, -5*i + 854 = 4*m - 872. Suppose -2*z + m = -1192. Is z prime?
False
Suppose g + 0*g = 242. Let y = g - 131. Is y prime?
False
Suppose 0*v = a - 2*v - 2990, 4*a - 4*v - 11956 = 0. Suppose n + 266 = d - 483, 4*d - 2*n = a. Is d prime?
False
Is (-1 - (-24138)/21)/((-44)/(-308)) a composite number?
False
Suppose 23*b = -45*b + 19977788. Is b a composite number?
False
Suppose -49*o + 136096 = -17*o. Is o a composite number?
False
Let o(h) be the first derivative of h**7/840 + h**6/40 - h**5/15 - 5*h**4/24 - h**3 + 5. Let f(i) be the third derivative of o(i). Is f(-7) a composite number?
False
Let b(x) = -x**3 + 2*x. Let h be 0 - -2*(-1)/1. Let q be b(h). Suppose -i + 5*i - 256 = -4*k, 216 = 4*k - q*i. Is k a prime number?
True
Suppose 2*h - 6*h - q + 321 = 0, 3*q = -2*h + 173. Is (-15 + 16)/(1/h) a prime number?
True
Suppose -6*c = -2*c - 108. Let m = -27 + c. Is 4/6*(m - -21) composite?
True
Let w be -4 + -1 + 4 + 2. Is (12/w)/(-4) + 256 prime?
False
Is (-55233)/(-63) - 6/(-21) prime?
True
Let u = -80 - -83. Suppose -3 = -a - 2*a, -u*i + 658 = -5*a. Is i composite?
True
Suppose 20*t - 7*t = 559. Let r(s) = 2*s**2 - 6*s + 2. Let i be r(4). Let x = t - i. Is x a prime number?
False
Let s(i) = 5*i**3 + 7*i**2 - 6*i - 4. Let x(t) = t**3 - 1. Let m(v) = -s(v) + 6*x(v). Let k be m(6). Is (176 - -6) + (-6)/k prime?
False
Let i(g) = g**3 - 13*g**2 + 18*g + 17. Suppose 4*l - 39 = l. Let w be i(l). Suppose 0*k + w = k. Is k composite?
False
Suppose -3 = x, 0 = d + 4*x - 24120 - 56434. Is d a composite number?
True
Let j(k) = 49*k + 9. Let x = 4 + 3. Let s be j(x). Suppose -4*l + s = 4*d, -3*d - 431 = -5*l + d. Is l a composite number?
True
Suppose 3*v - 23 = 10. Let r = 11 - v. Is r + (1 + 1227)/4 prime?
True
Suppose 0 = 17*z - 13*z - 236. Suppose -2*q + 75 = -z. Is q a prime number?
True
Suppose -9*j + 14*j - 122495 = 0. Is j a prime number?
True
Suppose -4*k = 0, 2*k = -b + 3*k - 30. Suppose 5*r - 5*j + 15 = -0*j, 0 = -3*r - 2*j - 14. Is (-138)/r*b/(-9) prime?
False
Let h(k) = 102*k**2 + 16*k - 6. Let l be h(-5). Suppose 2*g - l - 1414 = 0. Is g a prime number?
False
Suppose -252 = 4*u - u. Let j = u + 342. Suppose 0 = 5*p + 15, 2*c + 3*p - 179 = j. Is c a composite number?
False
Is 492108/16 + (-2)/(-8) a composite number?
False
Let t(w) = 2*w + 44. Let j be t(-15). Let q(b) = 30*b - 31. Is q(j) composite?
False
Suppose 337*p = 334*p + 2103. Is p a prime number?
True
Let c = -99727 + 169284. Is c a prime number?
True
Suppose 4*b + b = 30. Let y(r) = -r + 9. Let a be y(b). Suppose 2*x = -a*x + 415. Is x a prime number?
True
Suppose -4*f + 5892 = 4*p, 6*p - 5*f - 5901 = 2*p. Let a = p + -801. Is a prime?
True
Suppose 5*t = -5*p + 444311 - 4636, 0 = -p - 2*t + 87939. Is p a prime number?
True
Suppose 0 = -3*y - 4*f + 8 - 22, 0 = 2*f - 2. Let h(j) = 5*j**2 - 5*j + 8. Let r be h(y). Suppose g + g = r. Is g composite?
False
Suppose 0 = -0*q + 2*q + 30. Let x be (-215)/75 - (-2)/q. Is 3 + (-1 - x) + 254 composite?
True
Let o = -7 + 9. Suppose 30 = -2*a - o*t + 3*t, 0 = 2*a - 2*t + 28. Is ((-888)/a)/(1/2) a composite number?
True
Let b = 11400 - 6805. Is b a prime number?
False
Let x = 26 + 95. Is x a composite number?
True
Suppose 18 + 2 = 5*b. Is b/14 - (-2385)/7 prime?
False
Suppose -3*g - 14 = 5*i, 5*g - 5*i - 26 = 2*g. Suppose -2*z - k + 7 = 0, 5*k = z + g*k. Let w = z - -4. Is w prime?
True
Suppose -y + 54065 = 2*f - 0*y, -2*f + 3*y = -54085. Is f prime?
False
Is (-25576)/(-8) + 3 - 9 prime?
True
Let b(u) = -u**3 + 2*u**2 - 21*u - 6. Let y be b(15). Is (y/(-12))/((-3)/(-6)) prime?
True
Let j = -8717 - -12328. Is j composite?
True
Let m(l) = -l**3 + 3*l**2 - 3*l + 5. Let z be m(2). Let y(p) = 5*p**3 + 4*p**2 - 2*p - 2. Is y(z) prime?
True
Suppose 0 = 3*z + 584 - 131. Let o = 254 + z. Is o composite?
False
Let x(s) = -17*s**2 - 16*s - 51. Let o(w) be the second derivative of 2*w**4/3 + 4*w**3/3 + 25*w**2/2 - 8*w. Let v(k) = 13*o(k) + 6*x(k). Is v(-13) prime?
False
Let b(s) = s**3 + 5*s**2 + s + 4. Let r be b(-5). Let h(w) = 2*w**2 - 234*w**3 + 2 - 1 - 16*w + 10*w + 8*w. Is h(r) prime?
False
Let b = 13 - 3. Is ((-5)/b)/((-3)/402) a composite number?
False
Let r be 2 + 9/3*1. Suppose 2*x + 4*g = 16, -x + 20 = -2*x + r*g. Suppose -o = -3*k + 2*o + 255, 3*o - 12 = x. Is k a prime number?
True
Let f(s) = 834*s**2 + 19*s + 8. Is f(3) composite?
True
Let n = 239 + -127. Let u = n + -74. Suppose -3*s = -2*z - 101, u = s + 2*z - 7*z. Is s composite?
True
Let p(k) be the second derivative of k**3/6 + 5*k**2/2 + 6*k. Let q be p(-11). Is ((-1245)/(-10))/(q/(-20)) composite?
True
Is 2 - -9588 - -1*(0 - 3) a composite number?
False
Suppose 21877 = 11*p - 12696. Is p a prime number?
False
Suppose -o - 10 = 5*y, 4*o - 5 + 0 = -5*y. Suppose d + 16 = o*d. Suppose -d*w + 593 = p, -733 = -6*w + w - 4*p. Is w composite?
False
Suppose 4*z - 3*o = -5*o + 16, -5*o = 3*z - 26. Suppose 0 = 5*b - z*b. Suppose 2*k - k - 1041 = -2*u, 5*k + 5*u - 5225 = b. Is k a prime num