 composite number?
True
Suppose -30 = -4*m + 14. Let v = 75 - 68. Suppose -m*q + v*q = -5140. Is q a prime number?
False
Let j = 89 - 34. Suppose -3*g = -14*g + j. Suppose 2148 = g*i + 7*i. Is i prime?
True
Let u(l) = 34*l**2 + l - 4. Let x be ((-1)/(-2))/(-8 - (-1687)/210). Suppose 4*b = -12*d + x*d - 9, 3*d = 5*b + 12. Is u(b) a composite number?
True
Suppose 2*x - 6*x = -16. Suppose 4*h - 40 = -5*n, 2 = x*h + 4*n - 34. Suppose -h*k + 178 = -112. Is k a composite number?
True
Suppose 5*v + o = 0, 4*v - 5*o = -o + 24. Suppose -v = -4*z + t + 8, 0 = -5*z + 4*t + 14. Suppose -3*u = 6, -z*f = -0*u - 2*u - 358. Is f prime?
False
Let h be (125/10)/5*6. Let q(f) = 41*f - 10*f + 3 - 18*f + h*f**2 - f**3 - 16*f. Is q(14) prime?
True
Let b = -1855299 - -1254777. Is (-4)/6*b/52 prime?
True
Let k be 4980 + -4 + -2 + 9. Suppose 27804 = 3*i - k. Is i a prime number?
False
Is (-962)/(-130) + -7 - ((-4979593)/5 + 0) prime?
False
Suppose -24*h + 22*h = 124. Let c = 2195 + h. Let s = c + -1460. Is s a prime number?
True
Suppose -4*m + 312523 = -1463*v + 1466*v, -5*v = 3*m - 234384. Is m prime?
False
Let x(z) = -12*z - 152. Let u be x(-13). Suppose u*v = 46748 - 2872. Is v a composite number?
True
Suppose 0 = -k - 3, -2*w - 4*k + 8*k = -84. Is (709/(-4))/((-9)/w) a composite number?
False
Suppose 0*z - z = -3*j + 5899, -j + 29439 = -5*z. Let r = -4020 - z. Is r composite?
False
Suppose h = 3*t + 37, -t - 64 = 4*t - 4*h. Let o = 14 + t. Is (186 + 5)/(-1 + o) prime?
True
Let h(v) = 276*v**2 + 6*v + 193. Is h(-40) composite?
True
Let r = 267745 + -66806. Is r a prime number?
False
Suppose -45*s + 1623453 = 40*s - 4532332. Is s a composite number?
False
Suppose 62*p + 57*p = 16*p + 41896486. Is p composite?
True
Suppose 7271230 = 6*w + 2726614. Is (w/207)/(-3 - 58/(-18)) composite?
True
Let c be 0 - (-419 - -3 - 0). Suppose 8*m + 2*r = 5*m + 7, -4*r - 1 = 3*m. Suppose 5*n - c = -a, 0 = m*n - 0*n - a - 414. Is n a composite number?
False
Suppose -4*n + n + 38 = r, 3*n + 4*r - 35 = 0. Suppose 0 = -8*m + 11 + n. Suppose m*j + j = 2*x + 4030, x - 2021 = -2*j. Is j prime?
True
Suppose -290*c + 285*c - 116930 = 0. Let q = c + 35183. Is q composite?
True
Suppose -33*v - 3*m = -9525363, 15*v - 3*m + 577306 = 17*v. Is v a composite number?
False
Suppose -2*c + g + 557 = 126, -5*g = 3*c - 640. Suppose 0 = -5*f + 25, f - 33 + c = v. Is v composite?
True
Suppose -13*b + 294750 = -11*b + 4*f, 294738 = 2*b + f. Is b a prime number?
False
Suppose 5*u - 414024 = -3*b, 2*u + 3*b - 33513 - 132102 = 0. Suppose 0 = -7*i + 3598 + u. Is i a prime number?
True
Let c be (-4)/(-5) - (-4)/(-40)*-12. Let s(j) = 727*j**3 + 4*j - 6. Let a be s(c). Suppose -8*r + a - 338 = 0. Is r composite?
True
Suppose 6*w + 4*w - 60590 = 0. Let i = w + -163. Suppose 0 = 4*f + 204 - i. Is f a prime number?
True
Suppose l + 5*r = -5 + 32, -5*l = r - 15. Suppose -1794 = -o - 3*m, -5*m = l*o - 4*m - 3563. Is o a composite number?
True
Let j(x) = 2213*x**2 - 114*x - 1562. Is j(-15) prime?
True
Let v = -37 + 37. Let o be 13569 + -15 - 2*(v + -1). Suppose -14*w + 18*w - o = 0. Is w prime?
True
Suppose -203*p - 105 = -208*p. Suppose -p*y + 18*y + 4605 = 0. Is y a composite number?
True
Let a = -170 + 229. Let n = 778 - a. Is n a composite number?
False
Let j be (-256)/(-6)*((-54)/24)/(-1). Let c = 110 - j. Is -4 + c*(-345)/(-10) composite?
False
Let w(r) = -319*r + 2. Suppose -5*c = -0*c - 40. Let y(i) = i - 9. Let o be y(c). Is w(o) a composite number?
True
Let i = 242512 + -131421. Is i composite?
False
Let u(z) = -z**2 - 9*z - 16. Let k be u(-3). Suppose -k*c = -4*l - 4*c + 5264, 5*l + 2*c = 6580. Suppose -l = 12*j - 16*j. Is j a composite number?
True
Suppose 213*x = 178*x + 4329535. Is x a composite number?
False
Suppose -f + 26 = 3*x - 2*x, 3*x - 80 = -4*f. Suppose 15 = x*g - 19*g. Suppose g*q = -612 + 14745. Is q a prime number?
False
Let i(m) = 80*m + 150. Let s be i(19). Suppose -5*b - 10 = 0, -5*b + 10*b + s = 4*u. Is u a prime number?
False
Let a be 2534*(-6)/(-20)*(11 - 56). Is (a/(-6))/3 + (-4)/(-8) composite?
False
Let q(a) = -15*a - 2. Let v(m) = m**2 + 9*m - 1. Suppose 0*u - 2*w + 16 = -2*u, -2*u - 5*w = 9. Let i be v(u). Is q(i) prime?
True
Let l = 49102 - 32811. Is l prime?
False
Let p be (24/(-16))/(3/20) + 1. Let b be (p - -11)/((-4)/(-6)). Suppose -3*x + 395 + 199 = 3*t, b*t - 2*x - 609 = 0. Is t a composite number?
True
Let a = -59616 + 96217. Is a prime?
False
Is 145358/23*(-253)/(-22) a prime number?
True
Suppose -14*o + 6544507 + 2935551 = 0. Is o a prime number?
True
Let t = -308401 + 648200. Is t composite?
False
Suppose 4*t - 6*l - 42 = -4*l, -3*t - 3*l + 36 = 0. Suppose 3*g + 29150 = 5*u, -3*u - 16*g + 17524 = -t*g. Is u a composite number?
True
Suppose 0 = -h - 4*q - 1307, -3*q - 7 - 5 = 0. Let x = 2964 + h. Is x a composite number?
True
Let q = 8101 - 4008. Is (-24 + 15)*q/(-3) composite?
True
Suppose 177*k - 2651559 = 3074922. Is k composite?
False
Suppose -232 + 694 = -21*j. Is (-16951)/j + 10 - (-1)/2 a composite number?
True
Let m be (-1)/(((-1)/25)/(12/30)). Suppose 6*s - m*s = 24. Is (-1 - (-3)/9)/(s/3663) composite?
True
Suppose -8*c + 3559 + 3689 = 0. Suppose 0 = 3*u - 3*s - c, 3*u + 1550 = 8*u + 3*s. Is u a prime number?
True
Suppose -2*i + 2 = 0, p - 4 = 4*i + 5. Let r(x) = 3*x - 41. Let n be r(p). Is ((-409)/n)/((-5)/(-2) + -2) a composite number?
False
Let c(s) be the first derivative of -s**3 - 16 - s**4 - 3*s - 1/2*s**2. Is c(-4) prime?
False
Let a be (-5099 + 1)*7*(-10)/(-140). Let o = a + 3630. Is o a composite number?
True
Suppose -2*d = 4*f - 18782, 12 - 37 = 5*d. Suppose f - 51358 = -20*y. Is y a composite number?
False
Let w(j) = -j**3 + 8*j**2 + 16*j + 14. Let l be w(10). Let d(y) = y**3 + 30*y**2 + 38*y + 11. Is d(l) a composite number?
True
Suppose -11*t + 11*t + 30 = 3*t. Suppose 57935 = 5*z + 5*r, -z - z - 4*r = -23176. Suppose 0 = 16*f - t*f - z. Is f a composite number?
False
Let n(g) = 12674*g + 18. Let i be n(1). Suppose 41*t + i = 45*t. Is t a composite number?
True
Suppose 11*r = -8*r + 54721 + 191918. Is r prime?
False
Let j(c) = 12*c**2 + 119*c - 18. Let a be j(-10). Let l(n) be the first derivative of -37*n**2/2 - 3*n - 1. Is l(a) prime?
True
Suppose -365 - 160 = -25*u. Is (-5 - (-91)/u)*9795/(-2) prime?
False
Suppose -26*r + 410709 = 45643. Suppose -8*v + r = -7167. Is v prime?
False
Let r = 51 + -48. Suppose 0*t + r*t + t = 0. Suppose -5*h + 79 - 305 = -2*m, -5*m + h + 611 = t. Is m a composite number?
True
Let m = -44880 + 504. Let w = 75145 + m. Is w a composite number?
True
Let k(j) = -j**3 - 11*j**2 + 18*j + 7. Suppose 4*g + 33 = 7*g. Suppose g*t = 5*t - 78. Is k(t) a composite number?
True
Suppose 87 = 34*c - 31*c. Suppose -5*z = -c - 306. Suppose 5*x - 343 = z. Is x a prime number?
False
Is (-67 - -58) + 61823 + -1 composite?
False
Let p(d) be the third derivative of d**5/3 + d**4/24 + 23*d**3/6 - 81*d**2. Is p(6) a prime number?
False
Suppose 54*g + 26*g - 475120 = 0. Is g a composite number?
False
Let k(c) = -c**3 - 5*c**2 + 8*c + 8. Let y be k(-6). Let s = 11 + -14. Is (s - 2)*(-2)/y*-422 a prime number?
False
Let i be ((-4)/2)/((-6)/(-57)*-1). Let p = 22 - i. Suppose -5*x - 26 + 1 = 0, -p*a - 3*x = -1104. Is a a prime number?
True
Suppose -d = 11*o - 9*o, -4*d - o + 28 = 0. Is -1 + (d - 154800/(-8)) a composite number?
True
Let v(n) = -237*n - 11. Let k be v(-4). Suppose -i - 6434 = -8*d + 4*d, -3*i - 1614 = -d. Let z = d - k. Is z prime?
False
Suppose 0 = -2*h + 1045 + 14103. Is h/3*39/(-52)*-2 a composite number?
True
Let l(a) = -18*a**2 - 3 + 12 + 2*a - 885*a**3 - 6 - 7. Is l(-3) composite?
True
Let b(q) = 23*q**2 + 23*q - 95. Let g be b(8). Let i = 28 + -20. Suppose c = i*c - g. Is c prime?
True
Suppose 4*q - 259285 = 2*q - 5*b, b = q - 129660. Is q composite?
True
Let d = 70 - 70. Suppose l = -d + 4. Suppose 4*y - 3*r - 8186 = 0, l*y = -y - 3*r + 10219. Is y prime?
False
Let x = 39809 - 22672. Is x a composite number?
False
Suppose -5*z - 3*o = -1799246, -208*z + 209*z = 3*o + 359860. Is z a composite number?
False
Let k(p) be the second derivative of 28*p**3 + 13/2*p**2 - 8*p + 0. Is k(5) composite?
False
Let x = -55541 - -93447. Suppose 2*w = 5*q + 12896, 5*w - x = -3*q - 5697. Is w prime?
False
Let s(u) = -44 - 8*u**2 + 13*u**