a composite number?
False
Let z be ((-5127)/18)/(2 + (-52)/24). Is 1/(4/4)*z composite?
False
Suppose q + 3*z - 28 = 0, -4*z = -q - q + 96. Let x = q + 86. Suppose -124*t = -x*t + 2246. Is t a prime number?
True
Let r = 3207 + 6466. Is r a prime number?
False
Let q(h) = 4*h. Suppose 2*m - 8 = i - 0*i, -20 = -5*i - 5*m. Let l be q(i). Is 17 + 1550 - (0 + l/2) a composite number?
False
Suppose -2*s - 20650 = -81552. Is s prime?
False
Let y be (-12)/15 + 112/40. Suppose 6*p = p + 30. Is (92/p)/(y/51) a prime number?
False
Suppose -z = 8*z - 297. Suppose 0 = -z*o + 45*o - 3036. Is o prime?
False
Let m(b) = -648*b**2 + 5*b + 3. Let s(u) = -2*u**2 - u. Let p(o) = -m(o) - 3*s(o). Is p(2) prime?
True
Let l(w) = 15785*w**2 + 132*w + 404. Is l(-3) prime?
False
Suppose -2*t + 1916 = -3674. Let d = -3998 + t. Is d/(-6)*-3*-2 prime?
False
Let c(v) = v**3 - v**2 + 2*v + 331. Suppose -l + 3*l = 4*o - 24, -2*o + 8 = 0. Let z be 10/(-15) + l/(-6). Is c(z) prime?
True
Suppose -124*c - 74*c + 16810591 = -19061267. Is c a prime number?
False
Suppose 4*q + 29 = 4*r + 1, 0 = -5*r - 3*q - 5. Suppose -3*y = 13*z - 8*z - 8696, 0 = r*z - 4*y - 3494. Is z composite?
False
Suppose 5*n - 980 = -5*z, -5*z + n + 807 = -191. Let v = z + -95. Let k = v - 91. Is k prime?
True
Let u be 0 + 1 - (-75)/25. Suppose 2*q - 6 = 0, x - 3559 = -0*q + u*q. Is x a prime number?
True
Suppose -9*u + 13*u = 1104. Suppose -u - 897 = -3*g. Let o = -140 + g. Is o composite?
False
Suppose -39 = 5*k + v - 12, -v = 2*k + 9. Let u be ((-4)/k)/((-26)/(-117)). Suppose -n - u*s - 4024 = -5*n, -4020 = -4*n + 2*s. Is n a composite number?
True
Let r = 28071 + -54399. Let s = -17917 - r. Is s a prime number?
False
Suppose 0 = 2*g + 4, -4*q + 84*g = 81*g - 341194. Is q a prime number?
True
Let o(v) = -3787*v - 328. Is o(-5) a prime number?
False
Suppose 3 = -10*d + 33. Let j be -7 + d - (-7)/1. Suppose -4*v - 5*s + 1268 = 0, -2*v - 2*s - j*s = -634. Is v a prime number?
True
Let k be 409294/28*2 - (-8)/(-28). Suppose -2*u - k = -5*d, -4*d + 3*u = 6822 - 30203. Is d a prime number?
True
Let o(m) = -m**2 - 9*m - 15. Let u be o(-5). Suppose -f = u*s - 22, -18 = -f + 4*s + 40. Let x = 211 - f. Is x composite?
True
Let l(i) = -22840*i + 307. Is l(-2) a prime number?
False
Let d be (-6)/(105/(-28) + 3). Let m(j) = 107*j + 21. Is m(d) a prime number?
True
Suppose -3*q + 27 = -4*d, -31*d + 32*d + 5*q - 22 = 0. Let h(b) = -68*b**3 - 3*b - 4. Is h(d) composite?
True
Let n(y) = -16*y + 32. Let s be n(7). Is (14/8)/(20/s)*-97 a composite number?
True
Suppose -2*n = -21*n + 704045. Is n composite?
True
Let w(n) = -143*n**3 + 9*n**2 + 11*n - 49. Is w(-10) prime?
False
Let r(w) be the first derivative of 25/3*w**3 - 5*w + 1/4*w**4 + 13*w**2 - 10. Is r(-21) a composite number?
False
Let q = -1453731 - -3021724. Is q composite?
True
Let b be 18*(-50 + -26)*(-5)/6. Suppose 995 = 3*y + 2*y. Let l = y + b. Is l a composite number?
True
Let j = 155 + -86. Let p = 82 - j. Suppose p*f - 7*f = 1722. Is f a composite number?
True
Suppose -4*i - i - 7*i = 0. Suppose i = m - 5. Suppose -m*a = -l + 27, 17 = 3*l - a + 2*a. Is l a composite number?
False
Let p(r) = -2244*r**3 + r**2 + 7*r - 41. Is p(-3) composite?
True
Let l(z) = -46*z**3 - z**2 - 34*z - 19. Let u be l(10). Is ((-55)/385)/(1/u) a composite number?
False
Let o = -2841 - -6878. Is o composite?
True
Suppose -2*f + 92242 = -a - 46892, 6*a - 69567 = -f. Is f prime?
False
Let k = -1613 + 332740. Is k composite?
False
Let x(q) = 3*q**3 - 17*q**2 - 19*q - 7. Let w be x(18). Let j = 19848 - w. Is j composite?
False
Let a(x) = -2*x**2 - 12*x - 2. Let m be a(-6). Is (24548/85)/(m/(-5)) + -4 prime?
False
Suppose 0*y = -5*x + 2*y + 1536091, 2*y + 614440 = 2*x. Is x a composite number?
True
Suppose -59*u - 28*u - 82496 = -2173193. Is u a composite number?
True
Suppose -w - h + 6 = 4*w, 0 = -4*h - 16. Is 3622/w*(0 + 5) a composite number?
True
Is 6/(-5) + 2279460/50 + -5 a composite number?
True
Let i be (-2 + (-2)/6)/(-1)*25395. Suppose a = -3*f - f + i, 3*f - 44433 = 2*a. Is f composite?
False
Let u be (-1)/((-33)/(-6)) + 184641/33. Suppose 2*m - u = -3*d, -2*m - 7460 = -4*d - m. Is d prime?
False
Suppose 0 = 2*c + 4*m - 2292, -4572 = 6*c - 10*c - 2*m. Suppose -q + c = -365. Is q prime?
False
Suppose 0 = 9*o - 14*o + 5180. Let l = -3849 + o. Is (1/3)/(2 - l/(-1407)) prime?
False
Let f(r) = 91*r - 34. Let g = -22 + 30. Let k be f(g). Suppose 0 = 24*j - 22*j - k. Is j prime?
True
Suppose -5*k - 15 = 0, 5*j = j + 2*k + 2898. Suppose -139*p - 5*c + 54 = -136*p, 5*c = -5*p + 70. Let d = p + j. Is d composite?
True
Let s(l) = -974*l - 511. Is s(-48) composite?
True
Suppose g + z + 1 + 1 = 0, z = 4*g + 23. Is (795 + g + 7)*2 composite?
True
Let w be (-1)/((-5)/(-535)*1/(-3)). Suppose -191 = -322*k + w*k. Is k composite?
False
Let h be ((-4)/(-10))/(-2) + 92/10. Suppose -14 = -i - 3*o, 3*o + h = 6*o. Suppose i*s = -t + 509 + 197, -3*s + t + 430 = 0. Is s a prime number?
False
Let q be (-368 - 1)*-7 - (-20 - -23). Let z = q + -1175. Is z prime?
False
Let x be ((-6)/18)/((-1)/84). Suppose x = 2*t - 2*w, -t + 4*w = 1 - 0. Let g(k) = 2*k + 33. Is g(t) a composite number?
False
Let w(b) = 80*b**3 + 73*b**3 + 10 - 149*b**3 - 3 + 107*b**2 + 4*b. Is w(-26) a composite number?
False
Let g = 694311 + -414110. Is g prime?
False
Is (-8 - 115/(-10))*(-13637372)/(-98) composite?
False
Let w be ((-7)/3)/(3/(-9)). Let m(b) be the second derivative of b**5/20 + b**4/3 + 11*b**3/6 - 5*b**2/2 + 3*b - 984. Is m(w) prime?
False
Let m = -19 + 83. Let n be m/36 - 2 - (-40)/18. Is (4/n + -5)*(-663)/9 a composite number?
True
Let r(o) = 22*o**2 - 114*o + 2331. Is r(61) prime?
True
Suppose 1283 + 305363 = 34*o. Is o composite?
True
Let d(u) be the first derivative of -u**4/4 + 8*u**3 + 7*u**2/2 - 49*u + 136. Is d(18) a composite number?
True
Suppose -134*z + 40150 = -139*z. Let v = -5557 - z. Is v prime?
True
Let i(u) = -170*u + 58. Let x be i(-6). Let z = -521 + x. Is z prime?
True
Let t(w) = w**3 - 13*w**2 + 9*w + 30. Suppose 0 = y + 3*a, -4 = y + 3*a + a. Let m be t(y). Is (2/m)/(1/(-71))*21 a prime number?
False
Let v be 2 - ((-108)/(-16))/((-6)/16). Suppose v*y - 4685 = 25*y. Let r = y + 1671. Is r a prime number?
False
Let m(y) = 53*y - 2. Suppose 4 = -g + 8. Suppose -6 = -2*q + g. Is m(q) a composite number?
False
Suppose 41*r - 382316 = 34*r + v, -5*r + 273088 = v. Is r prime?
True
Let n(b) = -89*b + 15. Let c be n(-6). Let l = c + -304. Suppose 2*q - 4*f = l + 5, 4*f = 4*q - 488. Is q a prime number?
False
Let v be (-66*5 - -1)*1. Let o(l) = 9*l**3 - l**2 - 6*l + 14. Let k be o(4). Let d = k + v. Is d a composite number?
True
Suppose 3*m = -4*r + r + 121032, r - 40342 = m. Is r prime?
True
Let p = -68755 + 119588. Is p composite?
False
Let m(n) = -56941*n**3 - 42*n**2 - 135*n + 17. Is m(-3) prime?
False
Let k = 2429297 + -758272. Is ((-6)/(-15))/(10/k) prime?
True
Suppose -59*o - 366772 + 2325513 = 0. Is o a composite number?
False
Let q(l) = 4*l**2 + 79*l + 24. Let n be q(-20). Suppose 0 = 32*v - n*v + 19092. Is v a composite number?
True
Let g(q) = 20*q - 543. Is g(55) prime?
True
Let j = -148 - -136. Let n(m) = 7*m + 68*m**2 + 35 + 6*m - 60*m**2. Is n(j) prime?
True
Suppose 0 = -13*d + 11*d + 12. Let f be (d/4)/((-5)/(10/(-1))). Suppose 4*q - f*q = 2*a + 4577, -4*q + 18326 = -2*a. Is q a composite number?
False
Suppose 4*u = -15*u + 101080. Suppose -1649 + u = l. Is l a prime number?
True
Let u be (-9518)/(-20) + (-14)/(-140). Suppose -u*r + 466*r = -198010. Is r a composite number?
False
Let p = 193040 - 106971. Is p a composite number?
False
Let x be 6/(-15)*(1 + -4111). Let s = x + -777. Suppose 3*g = 4*c + s, g - 3*g + c = -578. Is g a prime number?
False
Suppose -45*d + 41*d = 0. Suppose -917*j + 911*j + 16734 = d. Is j a composite number?
False
Let s = 21 + 152. Let v = 395 - s. Suppose c + 2*c = v. Is c prime?
False
Let l(b) = -2*b - 30. Let i be l(-13). Is 55407/21 + i*(-12)/(-112) a composite number?
True
Let q(p) = 205*p**2 + 15*p + 487. Is q(-17) a prime number?
False
Suppose 0 = -r - 2*r + 7*r. Suppose 2*k = -r*k + 30. Suppose 0 = k*m - 19*m + 3820. Is m a prime number?
False
Let v be 5/(6 + (-49)/14). Is -4 + 7 - (-2924)/v composite?
True
Let o be (90/120)/((-6)/(-16)). Is (6 + (-1232