t y = s + 16. Is 4 + 215 + y + 0 a composite number?
False
Is 6*(-137)/(-3) - -3 prime?
True
Is 3 - (-15204)/9 - 2/(-3) a prime number?
True
Let x(i) = i**2. Let j be x(2). Let d(f) = 62*f**2 - 4*f + 3. Is d(j) prime?
False
Let c = 0 - -10. Suppose 0 = c*p - 11*p + 653. Is p composite?
False
Let h(l) = -38*l + 65. Is h(-19) a composite number?
False
Let c(x) = x**3 + 5*x**2 - 10*x - 11. Let a be c(-6). Suppose -3320 = -a*k + 5*k. Is k a prime number?
False
Let j be (-11)/(-3) + 2/(-3). Suppose 6 = 4*c - 2*r - 14, -c = r - 2. Suppose 0 = -5*u - j*z + 445 - 7, 344 = 4*u - c*z. Is u a composite number?
True
Suppose -179*d = -185*d + 57678. Is d a composite number?
False
Suppose 5*j - x - 76490 = 0, -44*j = -46*j - 5*x + 30569. Is j composite?
True
Let x be 8/5*(-15)/(-6). Suppose -4*s - 4 = x. Is -231*(s + 15/9) composite?
True
Suppose 2*k - 20 = -2*k. Suppose 3*a - 155 = -a - k*d, -a + 50 = -d. Let l = 166 + a. Is l a composite number?
False
Let s(j) = -27*j + 8. Suppose v + 3*v + 4*x + 28 = 0, 5*v = -2*x - 29. Is s(v) a composite number?
True
Suppose -3*y - y - 36 = 0. Let g be 3/y + 889/3. Let t = 499 - g. Is t a composite number?
True
Let f(p) be the first derivative of -p**4/4 + 6. Let h be f(0). Suppose -24*o + 19*o + 595 = h. Is o a prime number?
False
Let i be (-2 + 0)*(-1630)/4. Suppose i = 3*o - 514. Let j = 654 - o. Is j composite?
False
Let u = -43 - 177. Let i = u + 611. Is i prime?
False
Let l(d) = -3*d**3 + 3*d**2 - 6*d - 2. Let s be l(7). Let x = s - -539. Let g = 734 + x. Is g a composite number?
False
Let a = -88 - -90. Suppose 4*m - 3821 = -0*m - 5*j, j = a*m - 1921. Is m prime?
False
Let a(z) = -17*z + 5 - 6*z + z**2 - 15*z + 44*z. Let x be a(-3). Is ((-3)/(-6))/(x/(-7016)) composite?
False
Let c(v) = 1504*v - 93. Is c(16) prime?
True
Let n(g) = 4*g**2 + 1. Let m be (6/10)/((-6)/(-30)). Suppose 0*y = -y + m. Is n(y) a composite number?
False
Is 2/7 + (-3 - (-38184)/28) a composite number?
False
Suppose -3*g + 7*n - 4*n + 18510 = 0, -5*n = -4*g + 24677. Is g composite?
False
Suppose 2*b = -4*c + 36764, 43*c - 41*c + 2*b - 18378 = 0. Is c composite?
True
Suppose -4*x = z - 22, -4*z - 10 - 2 = -4*x. Let f be (1/(-3))/(x/(-30)). Suppose -o = -f*j + 163, -j - 4*o = -3*j + 178. Is j a prime number?
True
Suppose -12*o + 6*o = -26202. Is o a composite number?
True
Is 13/((-286)/(-492459))*2/3 composite?
False
Suppose 16*u = 59447 + 67097. Is u prime?
False
Is (9 + 1)*28252/56 a prime number?
False
Suppose -4*c - m + 3985 = 0, 111 = 2*m + 117. Is c a composite number?
False
Let s be 4/(-6)*12/16*-26. Is 43*s*(9 - 8) a composite number?
True
Let b = -509 - -221. Is 20/50 - b/5 a prime number?
False
Suppose 5*b - 25 = -5*w, 0 = 4*b - 4*w - 8 - 4. Let u(a) = -5 + 9*a**2 + 12*a - 16*a**2 + 34*a**2 - 2*a. Is u(b) a composite number?
False
Suppose 0 = 2*o - 6*o + 64. Let s = 0 + 2. Is s - 4/(o/(-636)) composite?
True
Suppose 18 = -3*x - 3. Let r = x + 11. Suppose -r*c - h - h = -2328, -3*h + 577 = c. Is c composite?
True
Suppose 5*f - 10 = -5*g, -4*g - 5*f = -7 + 3. Suppose t + 2*x = 3977, -4*t + g*t - 2*x - 7972 = 0. Is t composite?
True
Is (1 - -2) + 15 + 2500 composite?
True
Suppose 2*o + 5*b + 8135 = 53264, 2*b + 90270 = 4*o. Is o a prime number?
True
Let t = -39 + 126. Suppose -7413 = t*m - 90*m. Is m prime?
False
Let n be (2 + 5 + -3)*1. Suppose 45 = 3*r + 6*i - 3*i, n*i - 74 = -5*r. Suppose -2*w = -r - 0. Is w a prime number?
True
Let y = 15 + 1. Let z be 13/2*y/2. Let p = 103 - z. Is p composite?
True
Suppose 7494 = 21*w + 1173. Is w composite?
True
Let t = -2556 - -7177. Is t prime?
True
Is (-1 - (-36)/2)*(-57 - -74) a composite number?
True
Let s(r) = -2*r**2 - 3*r + 4. Let d be s(0). Suppose -5*o - t = -1255, -5*o + d*t = -0*o - 1255. Is o a composite number?
False
Let m(r) = -83*r + 7. Let s be m(-4). Suppose -p - 2*p + s = 0. Is p prime?
True
Let i(o) = 2*o**2 + o. Let y be i(4). Let s = y + 223. Suppose 5*c - 2*v = -0*c + s, -3*c - 4*v + 171 = 0. Is c a prime number?
True
Is (-5)/2*12838/(-245) prime?
True
Let k(u) = u + 3. Let j be k(-3). Suppose j = 2*p - 3*a + 133, 0*p - 4*p - 5*a = 321. Let z = p + 165. Is z a composite number?
True
Let q = 1 + -4. Is (540/q - -3)/(-1) composite?
True
Let u(k) = -2*k + 1. Let n(p) = -2347*p + 7. Let f(x) = n(x) + u(x). Is f(-1) composite?
False
Suppose -37*a = -34*a - 126129. Is a prime?
True
Let o(d) = -5*d**2 - 7*d - 4. Let b(v) = 15*v**2 + 22*v + 12. Let g(l) = 3*b(l) + 8*o(l). Let r be g(-11). Let h = r + -288. Is h composite?
False
Suppose 5*o - 906 = -m, -3*m = 3*o + m - 547. Let i = -123 + o. Is i a composite number?
True
Let l(r) = r**2 + 3*r + 5. Let o be l(-4). Let h(f) = 7*f**2 - 11*f + 11. Is h(o) a prime number?
True
Let l(i) = -518*i**3 - 3*i**2 + 5*i + 1. Let t(q) = -2073*q**3 - 12*q**2 + 21*q + 5. Let c(o) = -9*l(o) + 2*t(o). Is c(1) a composite number?
True
Let t be 21/2*1222/3. Suppose t = -2*j - 3*p, 0*j + 4*p = 5*j + 10704. Is j/8*(-1 + -1) a composite number?
True
Let j = -156 + 2215. Is j a composite number?
True
Let d(c) = 2*c**2 - 6*c - 3. Let f be d(5). Suppose 0 = -4*k + 5*w + 33, 3*w = 4*k - 3*k - f. Suppose -1810 = -3*v + k*s + 1113, -2*v + 1974 = 5*s. Is v prime?
True
Let z be -1 - (-1 - 3) - 1. Suppose j = 2*o - 0*o + 3263, 0 = z*j - 3*o - 6527. Suppose -4*m + j = m. Is m composite?
False
Let p = 11 - 6. Suppose p = -2*z - 5. Is (-668)/z + (-12)/20 prime?
False
Suppose 10708 = 11*s + 71. Is s a prime number?
True
Let r be -3*(28/(-6) - -2). Let n = r + -1. Is (n - -30)/(2/10) composite?
True
Is (-12 - -21) + -9 + 16620 + -1 prime?
True
Let i = -25 - -506. Is i composite?
True
Suppose 21*d + 8 = 23*d. Is 11*(d + (-3 - -6)) a composite number?
True
Let n(x) = 361*x**2 - 7*x - 85. Is n(-15) a prime number?
False
Let u(s) be the first derivative of 11*s**3 + s - 3/2*s**2 + 1. Is u(2) a prime number?
True
Suppose 3*i - 806 = -4*o - 0*o, 5*o - 1025 = 5*i. Let k = 401 - o. Let p = k - 95. Is p composite?
False
Let w be (12 - 6)/(3/2). Is 55 - (12/w - -1) prime?
False
Suppose 0 = -2*j - a + 299, -a + 28 + 569 = 4*j. Is j prime?
True
Let p = -16 + 21. Is p/(-5) - -3 - -465 prime?
True
Is (-24)/(-20) - (-90116)/20 a composite number?
False
Let q = 2745 - 1186. Is (-4 + 6)*q/2 prime?
True
Suppose 0 = -4*a + 73 + 95. Let c = a + -9. Let x = c - -304. Is x a prime number?
True
Let x = -945 + 936. Let b be ((-1)/(-3))/((-2)/(-30)). Is x/(-15) - (-652)/b a prime number?
True
Suppose 0 = -k - 0*k + 4. Suppose k*g + 22 = 298. Is g prime?
False
Let b = 133 - 153. Let c(f) = -33*f + 58. Is c(b) composite?
True
Is (-5)/(165/6) + (-1396611)/(-99) composite?
False
Let m(t) = -2*t**2 + 22*t - 18. Let r = 52 - 37. Let h be m(r). Let y = 73 - h. Is y composite?
False
Let c = 5 + 0. Suppose -2*t - 4*m + 0*m + 1968 = 0, t - 977 = c*m. Is t prime?
False
Let x(w) = 355*w + 12. Let h(l) = 711*l + 25. Let u(y) = 3*h(y) - 7*x(y). Is u(-4) prime?
True
Let o(d) = d**2 + 7*d - 4. Suppose 9 = 4*i + 45. Let t be o(i). Is (-40)/(-3) + t/21 a composite number?
True
Is 8320 - 52 - (6 + -1) a composite number?
False
Let z be 4 - ((-44)/3)/(10/1005). Suppose -z = 217*g - 219*g. Is g a composite number?
False
Suppose -h - 2363 = 3*a - 24408, 5*h - 110149 = 4*a. Is h composite?
True
Suppose 24401 = 2*m + 8463. Is m composite?
True
Let s(u) = 281*u + 304. Is s(9) prime?
True
Let u = 8 + -5. Suppose -h = u*j - 2111, 2*j - h + 1409 = 4*j. Let p = j + -409. Is p composite?
False
Let i = -18674 - -31517. Suppose 15135 = 6*m - i. Is m a composite number?
False
Let d(z) = 40*z**2 - 5*z + 4. Let l be d(2). Suppose 2*i - 10 = l. Let q = i - -61. Is q prime?
False
Let f(p) = 39*p**2 + 20*p - 34. Is f(21) composite?
True
Let d(b) = -255*b + 16. Is d(-5) a composite number?
False
Let l be -4 - (-14)/6*3. Suppose -7*a + l*a - 5*k = -464, 3*k - 12 = 0. Is a prime?
False
Let b(j) be the first derivative of j**3/3 - j**2/2 - j - 6. Let l be b(-1). Is (-518)/(2/(-1)*l) a composite number?
True
Let y = -125 - -136. Let j(x) = x**3 - 3*x**2 - 6*x + 5. Is j(y) prime?
True
Let z(c) = -5*c**3 - c**2 - 6*c + 1. Let k(x) = -11*x**3 - 2*x**2 - 12*x + 3. Let i(m) = 3*k(m) - 7*z(m). Suppose -4*h - 40 = -60. Is i(h) a composite number?
False
Suppose -3191 = -s + 1340. Is s prime?
False
Suppose -2*f - 4 = 2. Is 1/((f/277)/(-3))