+ 111. Is r prime?
True
Let j be (-1 - -33) + -3 - -1. Suppose -2*o + 132 = 2*t + j, 0 = -5*t + 5*o + 275. Is t composite?
False
Let p be 2/(-8) - (-753)/(-12). Let y = 55 - p. Is y a prime number?
False
Let t(z) = 2*z**2 + 4*z - 7*z**3 + 5 + 5*z - 6*z**2. Let n(g) = 6*g**3 + 3*g**2 - 8*g - 5. Let x(j) = 6*n(j) + 5*t(j). Is x(5) composite?
True
Suppose 1154 + 6 = 8*o. Is o composite?
True
Suppose z = 185 + 194. Is z composite?
False
Suppose -8*i - 10 = -3*i. Is (13/(-3))/(i/6) prime?
True
Let q(f) be the third derivative of 1/2*f**3 - 1/24*f**4 - f**2 + 0*f + 0 + 1/60*f**5. Is q(5) a prime number?
True
Let b be 272/(-3) - 2/6. Let c = b + 153. Is c composite?
True
Let a = 376 - -150. Is a a prime number?
False
Suppose 2 = 3*v - 5*c, -c + 3*c = 10. Let m = 7 - v. Is (-5 - -4)*(-51 + m) composite?
False
Let r = -77 - -136. Suppose -3*o - 3*u + 608 - r = 0, -o + u = -187. Let x = -126 + o. Is x a prime number?
True
Let a = -13 + 8. Let o = 8 + a. Suppose 3*t = b + 31, 0 = -2*t - 3*t - o*b + 47. Is t a prime number?
False
Suppose 0 = 3*z - 2*c - 1767, 2*c + 1788 = 3*z + 7*c. Let m = z + -328. Is m prime?
True
Is 4/14 - 75361/(-77) a composite number?
True
Suppose -2*f = 40 + 20. Is (-2)/2 - (f - 2) prime?
True
Let b = 246 - 85. Is b prime?
False
Suppose -2*s - 5*w + 98 + 36 = 0, 0 = -3*s + 2*w + 182. Let h = -7 + -33. Let q = h + s. Is q a prime number?
False
Let h(j) = -153*j**2 - 5*j - 4. Let r be h(-6). Is 6/39 + r/(-26) a composite number?
False
Let j(o) = o**2 + 10*o + 9. Let h be j(-9). Let u = h + 2. Suppose -873 + 287 = -u*q. Is q a prime number?
True
Is (5/15)/((-4)/(-3048)) a prime number?
False
Let b = 1267 - 521. Is b prime?
False
Is ((-814)/3)/(4 + 42/(-9)) a composite number?
True
Let y(u) be the second derivative of u**3/3 - 3*u. Let r be y(1). Is ((-4)/(-8))/(r/140) a prime number?
False
Let m(i) = 0*i - 4 + 2 - 3 + 3*i**2 + 3*i. Is m(6) composite?
True
Let s(x) = 2*x**2 - 3*x - 2. Suppose -2*n + v - 5*v = 2, -3*v - 3 = n. Is s(n) a prime number?
True
Let o(s) = -64*s + 1. Is o(-4) a composite number?
False
Let y = -179 - 56. Let h = -108 - y. Is h composite?
False
Let k be (-4149)/(-15) - 8/(-20). Suppose -k - 807 = -4*q. Is q composite?
False
Let g be (-24)/4*59 + 0. Let q = g - -611. Is q prime?
True
Let v(y) = -120*y + 11. Is v(-3) prime?
False
Suppose 8800 = 8*k - 11512. Is k a prime number?
True
Suppose -5*t = -3*t - 1304. Is (2/(-4))/((-2)/t) composite?
False
Let q be ((-16)/12)/((-4)/6). Suppose -5 = q*x - 1. Is (-46)/x - 2/(-1) prime?
False
Let k(t) = t + 5. Let i be k(-6). Suppose -4*p - 5 = v, 5*v - 8 + 1 = -4*p. Is i/(1*p/6) composite?
False
Is (-4 - -3)*(-129)/3 prime?
True
Let p be 1297 + 9/(9/3). Let y = p - 593. Is y prime?
False
Let b = 168 + -134. Suppose -3*c - 517 = -10. Let i = b - c. Is i composite?
True
Let q(i) = i + 5. Let c be q(-5). Suppose c = -2*o, 2*s - 3*o = -o + 8. Let j(h) = h**3 - 3*h**2 + 2*h - 5. Is j(s) a composite number?
False
Let b be (6/9)/((-2)/(-18)). Suppose 0 = 3*i - b*i + 237. Is i a prime number?
True
Let q = -3 + 5. Suppose q*v - 60 = 82. Is v a composite number?
False
Suppose -11024 = -13*t - 2769. Is t prime?
False
Let n be -34*2/(-12)*6. Let s = n + 273. Is s prime?
True
Let h(j) be the second derivative of -j**5/20 - j**4/2 - 5*j**3/6 + 9*j**2/2 + j. Is h(-7) prime?
False
Suppose -3*b + 8*b + o = 12, 3*o = -5*b + 16. Suppose -j + 203 = b*p, 0*j - 2*p - 207 = -j. Is j prime?
False
Let n be 6 + -7 - (1 + -107). Suppose 2*x = -x + n. Is x a prime number?
False
Let s(k) = k**3 + 10*k**2 + 5*k - 9. Suppose -q + 0*q = -5*o - 8, 3*q - 5*o + 6 = 0. Is s(q) composite?
False
Let u = 11921 - 7536. Is u prime?
False
Let q(b) = -15*b + 2. Let j = 9 + -14. Is q(j) a composite number?
True
Is (-1766)/(-4)*(13 - 11) prime?
True
Let h(f) = 14*f**2 - 8*f - 5. Is h(4) prime?
False
Suppose 10671 = 2*h - 17255. Is h a composite number?
False
Let r(f) = 2*f**2 + 6*f + 4. Let j be r(-4). Let x(u) = -4*u**3 + 3*u**2 - 2. Let n be x(-2). Is (n/j)/(2/52) a composite number?
True
Is ((-11)/(385/(-14)))/(1/2845) a composite number?
True
Suppose 4*w = -4*o + o + 9, -o = -4*w + 13. Suppose -5*v + x = -538, 2*v - 3*x = 144 + 79. Suppose v + 70 = w*k. Is k composite?
False
Suppose -2*z = -5*i - 1362, 2*i = 2*z + i - 1362. Is z composite?
True
Suppose -4*b = -172 + 28. Let m = b + -22. Is m a prime number?
False
Let p(a) = -4 - 3*a - 4*a**3 + 5*a**3 + a + 4*a**2. Let o be p(-4). Suppose -5*r - o*v = -373, r + v + 80 = 2*r. Is r a prime number?
False
Suppose -l - 97 = -831. Is l composite?
True
Suppose 0 = 4*g + 55 + 9. Is (-12)/g - (-514)/8 a prime number?
False
Let q = 10 - 0. Suppose -5*v = 5*w - q - 60, 32 = 2*w - 2*v. Is w a prime number?
False
Let h(a) = -a - 1. Let i be h(-6). Let l be i*18 + 7/(-7). Let v = l - 34. Is v composite?
True
Suppose -3*t + 4*r - 16 = -2, -2*t - 10 = -3*r. Let y be (t/4)/((-4)/368). Suppose -j + 177 = y. Is j composite?
False
Suppose 5*b = 2*n - 783, 4*n = -b + 30 + 1525. Is n prime?
True
Let o = 102 + -76. Is o a composite number?
True
Let v be ((-6)/7)/(3/(-21)). Is (178/(-4))/((-3)/v) a composite number?
False
Let l = 24 - 21. Let x(u) = 21*u**2 + 15*u + 20. Let r(q) = 4*q**2 + 3*q + 4. Let p(z) = 11*r(z) - 2*x(z). Is p(l) composite?
False
Let w(n) be the third derivative of n**6/60 - n**5/30 - n**4/6 - n**3/6 - n**2. Let t be (-6*(-4)/(-6))/(-1). Is w(t) composite?
False
Is -3*(-3)/9 - -446 prime?
False
Suppose 5*o + 6805 = 10*o. Is o a prime number?
True
Let m = 1626 + -167. Is m a prime number?
True
Suppose p - 3 + 2 = 0. Let r be (-2 - -3) + (p - -40). Suppose -4*h = -5*i + r, -1 = 2*h + 5. Is i prime?
False
Let y(h) = 524*h**3 + 2*h**2 - 4*h + 3. Is y(2) a prime number?
False
Suppose -q = -2, 4*p + 2*q + 7 = -5. Is 2/8 + (-83)/p composite?
True
Suppose -r = -4*f - 3739, -2*r + 2*f - 6*f + 7418 = 0. Is r a prime number?
True
Suppose -4*j - 4*a = -132, -5*j - 4*a = -a - 173. Is j a composite number?
False
Let s(m) = m**3 + 8*m**2 - 2*m - 12. Let j be s(-8). Let p(h) = 7*h**2 + 4*h - 5. Is p(j) a prime number?
False
Let k = -20 + 20. Suppose -5*z + j + 284 + 606 = k, 0 = 4*z + 3*j - 731. Is z composite?
False
Let m be (2/3)/(8/84). Suppose -4*f + m*f - 9 = 0. Is 6 + 1/f*0 a prime number?
False
Suppose 3*b = 6*b - 1005. Is b prime?
False
Suppose -3*n = 3*r - 87 - 75, n - 49 = -2*r. Is n a prime number?
True
Let d = -18 - -40. Suppose d = q + q. Let r = -5 + q. Is r composite?
True
Suppose 4*h - 72 = 3*y - 193, 5*y + 5 = 0. Let t = -12 - h. Is t a prime number?
True
Suppose 19*j = 16*j + 261. Is j composite?
True
Let j = 212 + -142. Let h = -3 + j. Is h prime?
True
Let p(w) = w**3 + 16*w**2 + 11*w + 7. Is p(-15) composite?
False
Suppose -2*i + 128 = 2*f, 5*f = 4*f + 3. Suppose 3*l + 2*u - 19 = 0, -3*l - u - 13 = -6*l. Suppose -l*s = -124 - i. Is s a composite number?
False
Is ((-6991)/(-3) + -3)/((-2)/(-3)) a composite number?
False
Let k(d) = -d**2 - 20*d + 38. Let h be k(-22). Suppose 2*f - 62 = -0*f. Let w = f - h. Is w prime?
True
Suppose 5*k + 102 = 737. Is k composite?
False
Let y = -1 + 3. Suppose y*p - 26 = p. Is p a prime number?
False
Let n(b) = -b**3 + 2*b**2 + 3*b + 4. Let q be n(3). Suppose 5*c = q*v + 26, 3*c + 13 = -2*v - 11. Is -4*(-2 - v/6) a prime number?
True
Suppose 2*z - 4*l - 1 - 5 = 0, 13 = 3*z - 2*l. Suppose 5*f = 5*k - z, -2*k - 2*k = 4*f - 20. Suppose f*o = -17 + 45. Is o a prime number?
False
Let i(v) = -79*v. Let t be -2 - -5 - (1 + -1). Suppose -t = -u - 4. Is i(u) composite?
False
Suppose -2*c - 8 = -4*c. Suppose -c*k = 5*l - 185, -3*k + 0*k - 185 = -5*l. Is l a composite number?
False
Suppose 4*g = 2*c - 72, 115 = 8*c - 3*c + 3*g. Let d = -42 + c. Is (21/2)/((-12)/d) composite?
True
Let y(u) = u**2 + u. Let j(r) = -20*r**2 - r - 2. Let k(z) = j(z) + 2*y(z). Let c be k(-4). Let x = -199 - c. Is x prime?
False
Let m(l) = 4*l**3 - 3*l**2 - 37. Let n(h) = -h**3 + h**2. Let s(r) = -m(r) - 3*n(r). Is s(0) a composite number?
False
Is (104/16)/(2 + (-294)/148) prime?
False
Suppose -5*a - 43 = 12. Let x(b) = 5*b - 14. Let k(y) = 15*y - 41. Let n(c) = -4*k(c) + 11*x(c). Is n(a) composite?
True
Let u(f) = f**3 - 3*f**2 - 4*f - 2. Let s be u(4). Is (-1)/s*(-190)/(-5) a prime number?
True
Let q(r) = 21*r + 2. Let i(j) = -43*j - 4. Let o(u) = 4*i(u) + 9*