
False
Let o = 11 - 11. Suppose 4*w - 4*j - 5352 = 2796, o = 5*w + 4*j - 10158. Suppose w = 2*k + 358. Is k a composite number?
True
Suppose 2*h - 807635 = -3*o, -346*o + 348*o + 2*h - 538426 = 0. Is o composite?
False
Let t(f) be the third derivative of -f**6/24 + f**5/12 + 3*f**4/8 + 2*f**3/3 - 49*f**2 - 3. Let h = -1 + -6. Is t(h) composite?
False
Suppose 5*u - 102348 = -t + 3*t, -4*t = 16. Suppose -240 = 15*r + 5*r. Is u/16 + (-1 + 4)/r composite?
False
Is ((-3692)/6)/(-9*(-26)/(-351)) a composite number?
True
Let p(g) = -g**3 - 4*g**2 - 4*g - 3. Let l be p(-3). Suppose 12*f - 520 - 11372 = l. Suppose 3*y - 260 = f. Is y prime?
False
Let v be 8/(-6)*(-1755)/18. Suppose -v*n + 139*n - 14913 = 0. Is n a composite number?
False
Let m(s) = -473*s + 2. Let f(o) = 2368*o - 9. Let d(c) = -11841*c + 45. Let p(b) = 4*d(b) + 21*f(b). Let j(y) = 24*m(y) + 5*p(y). Is j(1) composite?
True
Is (-5710 - 1)/(4655/200925 - (-4)/(-90)) composite?
True
Let x be 1/(-2) + ((-91)/(-14) - 4). Suppose 3883 + 2569 = x*m. Suppose -807 = -b - j, 0*b - 5*j = 4*b - m. Is b composite?
False
Suppose 0 = -3*f + 40092 + 28044. Let t be -5 + (-5 - -7) + f. Suppose j + 5*b = -j + t, 5*j + 4*b - 56747 = 0. Is j a composite number?
True
Is (143758/10)/((-14)/(-70)) composite?
False
Suppose -3*u + 98 = -4. Let t = 34 - u. Is (2 - 1) + (-3 - t - -411) a composite number?
False
Let z = 115118 - 65719. Is z prime?
False
Let c(v) = -2*v - 5. Let x be 2/(-6)*(4 - 4). Let k be c(x). Let i(m) = -10*m**3 + 2*m**2 - 5*m - 6. Is i(k) a composite number?
False
Let m be (-3 - (-1348)/12)*(-4431)/(-14). Suppose 15*j - 64531 = m. Is j a composite number?
True
Let z = -24141 - -35690. Is z a composite number?
False
Let i(q) be the second derivative of -2/3*q**3 + 0 - q - q**2 + 8/5*q**5 - 1/12*q**4. Is i(3) a prime number?
False
Let r(f) = -f - 9. Let a be r(-5). Let k(x) = 75*x**3 - 3*x**2 - x - 3. Let c be k(a). Let d = -736 - c. Is d composite?
False
Let o = 261116 + -155649. Is o composite?
False
Let d be 8*(-4 + (-45)/(-10)). Suppose -4*s + d*v + 960 = 0, 4*s + 0*s + v = 970. Let x = s - 31. Is x a composite number?
False
Let r(j) = -j**3 - j**2 + 1. Let a(p) = 5620*p**3 - 5*p + 5. Let i(y) = a(y) - 3*r(y). Is i(1) prime?
True
Let i(z) = 2*z + 40. Let d be i(-19). Suppose -d*c + 36 = 180. Let h = c + 159. Is h prime?
False
Let p be (-6 - -3)*(-15)/3. Let y be 90/(-6)*(-6)/p. Is 377/1 - (y + -2) a composite number?
False
Let l = 23089 + -13206. Is l composite?
False
Let x = -10066 - -98595. Is x prime?
False
Suppose 107667 = 33*k - 12552. Is k prime?
True
Suppose -b - 931 = -2754. Is b a composite number?
False
Let y(n) = -65*n - 62. Let x be y(-1). Is 23367 + x + -5 + -8 composite?
False
Suppose 2*a - 525622 = -2*w, -1087*a - 2*w + 1051256 = -1083*a. Is a composite?
True
Suppose 8*f - 3*f = -4*c - 102883, 3*c + f = -77165. Let t = 37033 + c. Is t prime?
True
Is ((-31061130)/(-35))/6 + (-54)/(-63) a composite number?
True
Suppose 5*i - 1316840 = -5*q, 898*q - 893*q - 4*i = 1316849. Is q a composite number?
False
Let i(m) = 4*m + 3 + 7*m - 17*m + 221*m**2 + 11*m. Is i(-2) a prime number?
True
Suppose -o - 4*j - 2335 = -2*o, 2*j + 9354 = 4*o. Suppose 2*s + 5*b = 4658, -2*b - 3*b = s - o. Is s a prime number?
False
Suppose -y = -4*h - 7854 - 3501, 56665 = 5*y + 2*h. Is y a composite number?
True
Suppose -17 = s + 4*t, 3*t + 60 = -3*s + 18. Is 1/s + 387430/221 prime?
True
Suppose 0*p = 4*p - 900. Suppose 3 = -4*x - w, 0*x - 2*x = -w - 3. Suppose x = -2*m + 1289 + p. Is m a composite number?
False
Suppose 5*w + 5 = -5*p, -4*w + 4 - 8 = -5*p. Suppose -13*u - 434 + 5 = p. Is ((-20751)/u - (-6)/33)*1 composite?
True
Let r be 552/(-15) - 3/15. Let t = -49 - r. Is 4510/6 + 8/t prime?
True
Let w(d) = 3*d**2 - d. Let y be w(1). Let l be 6/(-2)*(y - (-5888)/12). Let h = l - -2619. Is h prime?
False
Is (-248649)/(-1)*92/276 a composite number?
False
Let y(g) = g**2 - 8*g - 9. Let q be y(-4). Let a(m) = -2 + 47*m - q*m + 5. Is a(7) a prime number?
True
Suppose -6*c = -c - 5*t - 6245, 1224 = c + 4*t. Suppose 4*z - 3*d + 29 = 0, 4*d - 14 = -2. Is z/((-20)/c) + -4 a composite number?
False
Suppose 4*c + c - 5745 = -5*f, 4*f + 5*c = 4598. Let y = f + -560. Is y a prime number?
True
Let z(w) be the first derivative of 4*w**3/3 + 5*w**2/2 - 6*w - 31. Let a be z(25). Suppose -2703 - a = -6*i. Is i a prime number?
True
Suppose 90*o - 86*o - 16428 = 0. Suppose 5*r = g + 6845, 3*g + o = 3*r + g. Let v = r - 378. Is v prime?
True
Let a(t) = -6*t**2 - 682*t + 147. Is a(-101) prime?
True
Suppose 0 = 4*j + 5*b + 93, 0 = -10*j + 9*j - 4*b - 37. Is ((-4)/6)/((204/25182)/j) prime?
True
Let b be 6/((-48)/(-18350)) - (-1)/4. Let o = 525 + b. Is o prime?
True
Suppose 3*v = -3*g + 126, 4*g - 5*v - 239 = -35. Suppose 86917 = g*u - 23*u. Is u a prime number?
True
Let f = -354 - -350. Is (f/(-6))/((-120)/(-689580)) composite?
True
Let c = -17463 + 93884. Is c composite?
False
Let p(t) be the first derivative of t**3/3 - 3*t**2 - t - 31. Let w be p(10). Is (-13)/(w/(-1440)) + (-5 - -4) a composite number?
False
Suppose 16 + 71 = 3*x. Suppose -5*m + 41 = -x. Suppose -m*w + 12*w + 1966 = 0. Is w a prime number?
True
Let u(p) be the second derivative of 49*p**5/60 - p**4/24 + 5*p**2/2 + 3*p. Let t(d) be the first derivative of u(d). Is t(2) a prime number?
False
Suppose -5 + 7 = m. Suppose 5*o - 2 = -m*h, o - h + 4*h - 3 = 0. Suppose o = -3*t - d - d + 4925, 0 = 5*t - d - 8204. Is t composite?
True
Let l(x) be the first derivative of x**4/12 + x**3/6 - 19*x**2/2 - 11*x - 2. Let o(v) be the first derivative of l(v). Is o(-21) a composite number?
False
Let d(i) = 1069*i**2 + 12*i - 29. Let s be d(3). Let w = s - 5001. Is w prime?
False
Let r(u) = 254*u**2 + u + 8. Suppose 24*n - 28*n = -8. Suppose 0 = -z - 5*q + n, 4 = z + 4*q + 3. Is r(z) composite?
True
Let n = -49449 - -190292. Is n a prime number?
False
Let j(w) = 281*w - 13. Let s = -61 + 95. Suppose -s = 5*x - 94. Is j(x) prime?
True
Let p = 250 + -248. Suppose -2*a - b = p*a - 69263, -3*a + 51926 = 5*b. Is a a prime number?
True
Let s = 31508 + -19383. Let l = -7222 + s. Is l prime?
True
Suppose 4*y - 5*t = 376, 0*t - 4*t = 3*y - 251. Suppose 0 = -a + 217 + y. Suppose a = -7*l + 13*l. Is l a prime number?
False
Let b(z) = 5*z**2 - 42*z - 80. Let u be b(-35). Let k = -3694 + u. Is k composite?
False
Let f be -4*(0 + 15262/(-8)). Suppose 3*o - 3346 = f. Is o a prime number?
True
Suppose 0 = -9*z + 12*z - 12744. Let h be (3/(-4))/(-3 + 12747/z). Is h/(-10) + (3 - 64/20) composite?
True
Let j(l) = -l**3 - 4*l**2 - l + 5. Let f be j(-4). Suppose 3*o - 8*t + f = -4*t, 5*o = 5*t - 15. Is ((-3246)/o)/(0 + 2) a composite number?
False
Let p(k) = 2536*k + 167. Let r be (-64)/2*9/(-36). Is p(r) composite?
True
Suppose 23*c = -69 + 23. Is 412 + 18/(-6) - c composite?
True
Let h be ((-29477)/14)/(((-1)/1)/44). Let n = h + -16225. Suppose 0 = -7*m - 4*m + n. Is m prime?
True
Suppose 2*i + 3062 = 4*i. Suppose 5*z - 3989 - i = 0. Let x = z + -113. Is x a prime number?
True
Suppose -130*d - 8257342 = -73*d - 91*d. Is d prime?
True
Let y be (-19826)/3 + (-3 - 32/(-12)). Let d = y - -10178. Is d a prime number?
False
Let q = 22792 - 6171. Is q prime?
False
Let u(j) = -22 - 1 - j**2 + 38 + 11*j. Let x be u(12). Suppose 3*f = -2*f - 4*c + 1977, x = c. Is f a prime number?
False
Let x be (-3)/(3/(-4)) - (154 - 161). Let d(r) = 141*r - 190. Is d(x) a composite number?
False
Let h(v) = -25*v**3 - 13*v**2 - 2*v - 23. Is h(-12) a composite number?
True
Let w = 151 - 148. Is (-33)/(-22)*1982/w prime?
True
Let l be 14007/6 - 12/8. Let w = l + 486. Is w prime?
True
Let c(b) be the second derivative of b**5/10 - b**4/2 - 11*b**3/2 + 119*b**2/2 + 125*b. Is c(16) a prime number?
True
Let u(d) = -85*d**3 - 6*d**2 + 8*d + 22. Let c be u(-4). Let r = -3593 + c. Is r prime?
True
Is (-572320 + -1)/(((-54)/6 - -6) + 2) a prime number?
True
Let q(b) = 8343*b**2 - 122*b + 5. Is q(2) prime?
False
Let z = 4332 - 57. Is (-3 + 5 - 6) + z composite?
False
Let h = 317443 - -31888. Is h a composite number?
False
Suppose 0 = 2*l + l - 39. Let b = l - 12. Is b + (-36)/(-1)*1 prime?
True
Suppose -18*b + 2460973 = 400675. Is b composite?
True
Let h = -30 + 35. Suppose h = 3*b - 7, -5*b + 160 = -g. Is g/(-6) + 5/(-15) com