5. Is (62 + 0)/(5 - h) prime?
True
Suppose -3816 = 4*l - 15068. Is l a composite number?
True
Let p = -62 - -42. Let b = 57 + p. Is b a prime number?
True
Let r be -2 + 1 - 3/3. Let w be (-2)/(r + 2 - 1). Suppose 3*b = 3*l + w*b - 166, b = -1. Is l a composite number?
True
Let u = -1 - 3. Let c be (-18)/u*8/12. Suppose -c*n = -0*n - 231. Is n prime?
False
Let b = 482 + 266. Suppose -4*r + b + 2256 = 0. Is r prime?
True
Suppose 2*j = 4*j + 18. Let a = 13 + j. Suppose 4*r + y - 76 = -0*r, 0 = -4*r - a*y + 76. Is r prime?
True
Let b = -282 + 910. Suppose b + 134 = 6*m. Is m a prime number?
True
Suppose -t - 2*y - 3 = -1, 5*y - 10 = -5*t. Let d(a) = 5 + a**3 + 3*a - 72*a**2 + 1 - 1 + 67*a**2. Is d(t) a prime number?
True
Let h(n) = n**3 - n**2 + 2*n - 2. Suppose 3*o - 7 = 2. Is h(o) a composite number?
True
Let n = -12 - -15. Is (-295)/(n - (-1 - -5)) composite?
True
Let j be (-2)/(-1) - (0 - -2). Suppose j = s - 40 + 3. Is s a composite number?
False
Let v(l) = -l**2 - 7*l + 7. Let f be v(-7). Is 51/f + 18/(-63) a composite number?
False
Suppose m = -p, 4*m - 11 = 5*p - 47. Let h = 25 + m. Is h a composite number?
True
Let n = 89 - -136. Suppose 2*l + n = 3*l. Suppose 4*k - 3*u - 473 = 0, -4*k + 249 = -2*u - l. Is k composite?
True
Let v = 18 - 8. Suppose -4*d + 3634 = -5*u, -3620 = -4*d - 0*d - 2*u. Is d/v + 4/10 prime?
False
Let s(j) = 5*j**3 - 2*j**2 - 3*j + 3. Is s(3) composite?
True
Suppose -3*x - 4*x = 0. Suppose x = j - 159 - 104. Is j composite?
False
Let x(k) = -26*k + 17. Is x(-13) prime?
False
Suppose -4*t - u - 2*u = 240, -5*t = -3*u + 300. Let j be (-14)/49 + t/(-14). Suppose -44 = -j*m + 48. Is m a prime number?
True
Let i(w) = w - 12. Let z(u) = 1. Let p(l) = i(l) + 3*z(l). Let r be p(6). Is 34/1 + 1*r a composite number?
False
Let v(r) = 13*r. Let p(d) = -d + 1. Let n(i) = 5*p(i) - v(i). Is n(-7) a prime number?
True
Suppose 0 = -r - 2*r + 75. Suppose -5*x = -460 + r. Is x a composite number?
True
Let d(x) = -x**3 + 14*x**2 - 7*x + 11. Is d(13) a prime number?
True
Let o(p) = 2*p + 3. Let q be o(-2). Let k(r) = -2*r. Let s be k(q). Suppose 150 = 2*d - 4*z, -4*z = s*d - 2*z - 126. Is d a prime number?
True
Suppose -908 = -4*d - 168. Is d a composite number?
True
Let f(s) = -s**2 - 6*s - 3. Let y be f(-6). Let p be (2/y)/(2/(-291)). Suppose -138 = -5*q + p. Is q prime?
True
Let m(g) = 34*g**2 - 9*g + 16. Is m(5) composite?
False
Let o be (-35)/5 - 2*-1. Let i(y) = 12*y + 6. Let n be i(o). Let h = n + 121. Is h a composite number?
False
Suppose 9*a = 12*a - 8895. Is a prime?
False
Let k be (0/(-3) - -1)*152. Suppose -2*y = -6*y + k. Suppose s - y = -s. Is s a prime number?
True
Suppose 3*o - 204 = t, 2*o - t = -3*t + 128. Is o a composite number?
False
Let q be ((-5)/(-10))/(1/(-4)). Let d(x) = -9*x**3 + 2*x**2 + x + 1. Is d(q) a composite number?
False
Let n(o) = -6*o**3 - 6*o**2 - 2*o - 3. Suppose 2*u - 3*u - 4 = 5*l, 3*l = -2*u - 8. Is n(u) composite?
False
Let z be (-5)/(-10)*(0 + 38). Let a = -5 + 10. Suppose z - a = 2*p. Is p composite?
False
Suppose 4*p - w = 3, -4*p + 7*w = 2*w + 17. Suppose 2*d - 2 = 6. Suppose 0 = d*x - p*x - 98. Is x a prime number?
False
Let c(n) be the first derivative of -2 - 1/4*n**4 - n + 5/2*n**2 - 7/3*n**3. Is c(-8) a prime number?
True
Suppose 5*o = -v + 4087, 3*o - v - 2457 = -0*v. Is o prime?
False
Suppose 1 = -3*o + 10. Suppose o*j + 2*y = 546, 0 = 5*j + 6*y - 2*y - 910. Suppose -4*k + 5*k + 45 = p, -j = -4*p + 3*k. Is p composite?
False
Let c(v) = -v**3 - 3*v**2 + 2*v - 3. Let d be c(-3). Let f be 3*((-1050)/d - 1). Let l = f - 124. Is l a prime number?
True
Suppose 2*z + 286 = 6*v - 2*v, 0 = 5*v - 2*z - 359. Let s = 72 + v. Is s a prime number?
False
Is (-1 + (-4)/(-2))*(705 + -22) prime?
True
Let u = -7 + 5. Let k be 10*(3/u)/(-3). Suppose -3*p + 270 = -z, -p - 341 = -k*p - 5*z. Is p a prime number?
True
Suppose 2*n - 107 = m + 125, 0 = 3*n - 2*m - 346. Is n prime?
False
Let d = -25 + 14. Let m(r) = -4*r + 1. Let q(p) = p - 1. Let h(i) = -m(i) - 5*q(i). Is h(d) prime?
False
Let p(q) = q**2 + 7*q - 7. Suppose -2*z - 5*g - 130 = -7*z, -4*z - 2*g + 92 = 0. Let f = z - 34. Is p(f) a prime number?
True
Let h(t) = 169*t - 4. Let z be h(4). Let m = -461 + z. Is m a prime number?
True
Let d(f) = -f**2 + 6*f + 3. Suppose 3*i + 45 = 5*l + 8*i, -i = -4*l + 16. Let x be d(l). Suppose -2*o + x = 2*o. Is o composite?
False
Let a(i) = -91*i**3 + i**2 - 8*i + 1. Let t(n) = 0*n + 0*n**3 + 3*n**3 - n - 4*n**3. Let o(d) = -a(d) + 6*t(d). Is o(1) a prime number?
False
Let s(n) = -2*n + 3*n - 1 - 2 - 1 + 29*n**2. Is s(-3) composite?
True
Suppose -j = 4*j - 30. Let t(k) = 6*k**2 + 3*k + 1. Is t(j) a composite number?
True
Suppose 2*t - 2*a = 648, -4*t = -6*t + a + 652. Is t + -3 + -1 + 7 a prime number?
True
Let b = -2 + -5. Let p(w) = -7*w - 2. Is p(b) a prime number?
True
Suppose -4*n = -218 - 158. Is n a prime number?
False
Let c(m) be the third derivative of m**5/60 - m**3/3 + 5*m**2. Is c(-8) composite?
True
Let d(q) = -38*q + 13. Is d(-5) a composite number?
True
Suppose -31*l = -28*l - 771. Is l a composite number?
False
Suppose -13 = -4*m + f, -2*m - 3*f + 9 = 2*m. Suppose -h = m*h. Suppose h*a + 4*a - 268 = 0. Is a a prime number?
True
Is (6772/10)/((-16)/(-40)) prime?
True
Let f = -253 - -428. Suppose 4*b - f = 133. Is b prime?
False
Let o(d) be the second derivative of d**3 + d**2/2 + d. Is o(2) a prime number?
True
Suppose 0*t + 4 = 4*t. Let y be (-1251)/6 + t/2. Let l = y - -353. Is l composite?
True
Suppose 3*n - 8 = -5. Let t(q) = 91*q**2. Is t(n) a prime number?
False
Let p be (-50)/(-8) + (-4)/16. Suppose 3*a = -3*r + 570, -p*r + r - 769 = -4*a. Is a a composite number?
False
Let q(a) = 13*a**2 + 2*a - 5. Is q(-14) a prime number?
False
Let x(k) be the second derivative of -k**5/20 + 7*k**4/6 - 13*k**3/6 + 9*k**2/2 + 6*k. Is x(13) a composite number?
True
Let q(h) = -h**2 - 9*h + 1. Suppose -2*n + 3*i - 28 = 0, -4*n + 4*i - 36 = 3*i. Is q(n) a prime number?
False
Let w = -95 - -414. Is w composite?
True
Let c = -387 + 773. Let h = c - 93. Is h a composite number?
False
Let p be (-2)/(-8) - 50/8. Let d = p - -9. Is (d + 2/(-1))*211 a prime number?
True
Suppose 3*c + 3*d - 43 = 7*d, 0 = -5*c + d + 49. Suppose -c - 46 = -5*t. Is t prime?
True
Is 26/(-39)*6294/(-4) a prime number?
True
Suppose -5*t + 20 = 0, -4*p + 8*t = 3*t - 3144. Is p a prime number?
False
Let q(m) be the first derivative of m**4/4 + 7*m**3/3 - 5*m**2/2 - 7*m + 2. Let l be q(-6). Suppose 4*r + 38 + 8 = 3*j, 2*j = -3*r + l. Is j composite?
True
Let s = 347 + -163. Suppose 0 = 2*m + 2*m - s. Suppose -5*y + 4*o + m = 12, -3*y = 2*o - 16. Is y a composite number?
True
Let r(h) = h**3 - 3*h**2 + h - 1. Let s be r(2). Let d = s - -7. Is d prime?
False
Let j be 1 - (1 - (3 - 0)). Suppose 0 = j*a + 5*m - 118 - 20, -5*m = a - 36. Is a a prime number?
False
Let m(s) = 0 + 0 - s**3 - 2*s - 2*s - 3. Is m(-2) prime?
True
Let x = 341 + -90. Is x composite?
False
Let o(g) = 16*g + 11. Let p be o(-11). Let t = p - -271. Is t composite?
True
Let k(q) = q - 5*q + 3 - 2*q**2 + q**2. Let h be k(-7). Is ((-1)/3)/(2/h) composite?
False
Let s(n) = 0*n - 2*n + 6*n - 9. Let r be s(7). Let a = r + 0. Is a a prime number?
True
Suppose 6 + 128 = 2*v. Is v composite?
False
Let s(x) = 9*x - 2. Is s(5) prime?
True
Let w = -431 - -987. Let f = -369 + w. Is f prime?
False
Let u be 4/(-5)*(-4 + -1). Let s = u + -3. Suppose -3*b + 10 = s. Is b composite?
False
Let z be ((-5)/(-10))/(3/(-18)). Let q be (-1)/(z/6) + 2. Is (-993)/(-21) - q/14 a prime number?
True
Let j be -1*(-3 - (1 + -2)). Suppose l - v = -2*l + 4, 2*v + 7 = 5*l. Is (89/2)/(l/j) a prime number?
True
Suppose 5*t - 275 = 3*w + 119, 3*t = 3*w + 240. Is t a composite number?
True
Let d be (-18)/6*6/(-9). Suppose -2*c - k = -5*c + 1186, d*k - 1183 = -3*c. Is c prime?
False
Let t(v) = 143*v**2 - 2*v + 6. Is t(5) a composite number?
False
Let t be 2 + -2 + 0 + 0. Suppose t*u - 31 = 2*l + 5*u, -5*l - 4*u = 52. Let w = l + 21. Is w prime?
True
Let k = 16 + -14. Suppose -2*i = -5*i - 3. Is (k + -6)*i - 1 a prime number?
True
Let p(y) = y - 4 + 14 + 3. Let w be p(-6). Let l(h) = 3*h + 4. Is l(w) composite?
True
Suppose 0 = -4*a + 3*l - 3, 4*a + l = 1. Suppose a = o + 3, 3*b = b - o + 155. Is b a composite 