ime number?
True
Let l = 155034 - 80111. Is l a prime number?
True
Suppose -2*k + 6*k - 16 = -4*z, 3*k - 4*z = 19. Let b be ((16/(-5))/(-2))/((-6)/(-15)). Suppose s - 1642 = -b*r - 449, 4*r = -k*s + 1181. Is r composite?
True
Let q = 55 + -100. Let z = q - -49. Suppose -2*v = -o - 881, o = z*v - 2130 + 371. Is v a composite number?
False
Is (-1 - (-15)/5 - -5) + 26302 composite?
False
Let f be 350*((-6)/4)/(-3). Let h be f*2/6*-9. Let b = h + 1736. Is b a composite number?
True
Suppose 0 = 24*c + 18016444 - 32003907 - 26632273. Is c a prime number?
False
Suppose -2*h - 12 = 4. Let c be (-230)/(-40) + (-2)/h. Is (-894)/9*((-567)/c)/9 prime?
False
Let q(u) = u**2 + u - 8. Suppose 10*m - 8*m = -8. Let i be q(m). Is (1*3802/i)/((-1)/(-2)) composite?
False
Suppose -2*n + 5235012 = 33*n - 1035343. Is n a composite number?
True
Let j be (-16)/(-40) - (31397/5 - -1). Let u = j - -9751. Suppose -4*z + w = -3*z - 1732, u = 2*z + 5*w. Is z a prime number?
True
Let m be 25/(-30)*(-23 - -11). Suppose 73100 = m*d + 7210. Is d prime?
False
Suppose 25577 = 5*y - 3*w, -w = w + 8. Let j = y + -2867. Let r = j + -693. Is r composite?
False
Is 8580/(-9)*-177 - (-10)/2 prime?
False
Is 6/27 + (-15025276)/(-684) a prime number?
False
Let l(y) = 8*y**3 - 4*y**2 - 6*y - 1. Let g be l(-4). Let a be (2*-4)/(8/296). Let h = a - g. Is h prime?
True
Let a be 22 - 2*(4 - 5). Let l be (-3)/4 - (-114)/a. Suppose -304 = -o - 5*c, -2*o + 738 = l*c + 124. Is o prime?
False
Let x be 22376/6 - 4/(-6). Suppose -2*n + 3 + 0 = 5*g, 13 = 2*n + 3*g. Is x/70 - 4/n a composite number?
False
Let c(r) = 8*r**3 - 5*r**2 + 6*r + 5. Let d = 7 + 10. Suppose -4*f = -4*u - 16, 2*f + 5*u - d = 5. Is c(f) prime?
False
Let k(v) = -3*v**2 + 1229. Let t be k(0). Let b = t + -556. Is b a prime number?
True
Let h = -469 - -471. Is (3338/h)/((-35)/(-70)) a composite number?
True
Let g(r) = 47*r**2 + 15*r - 3. Let h be g(-29). Suppose 0 = -6*u - h + 249695. Is u a composite number?
True
Is (11 - 516828/9)/(-4 - 22/(-6)) a composite number?
False
Suppose 7*q + 34*w = 30*w + 2355257, 5*q - 1682327 = -3*w. Is q a prime number?
True
Suppose 15*o - 2144 - 3241 = 0. Suppose -5*n = x - 1662, -o = -4*x + 2*n + 6267. Is x a prime number?
True
Suppose 53*f - 45*f = 48. Is (-4)/6 - -13793*2/f a composite number?
False
Let t(c) = -2*c - 3. Let h be t(-5). Suppose 5*g - 13 = h, 5*b = 2*g + 15357. Suppose -3*l + 1694 = -b. Is l a prime number?
False
Let x = -13473 - -181702. Is x a composite number?
True
Let m(g) = 49*g + 9. Let l(z) = -51*z - 8. Let u(v) = 7*l(v) + 6*m(v). Let q = -7 + 4. Is u(q) a prime number?
False
Let p be ((4 - 1/1) + 24/(-6))*7. Let n(x) be the first derivative of -5*x**2 + 9*x + 1. Is n(p) prime?
True
Let q(f) = f - 16. Let a(k) = 15. Let x(o) = -3*a(o) - 2*q(o). Let n be x(-6). Is (1*n)/(10/(-9830)) composite?
False
Let k = 230495 - 153890. Suppose -34*g + 31*g + k = 0. Is g a composite number?
True
Let s(j) = 3*j + 1167. Let d(p) = p + 1. Let m(w) = -2*d(w) + s(w). Let r = 174 - 174. Is m(r) a composite number?
True
Suppose 18*j - 22*j - v + 494686 = 0, 0 = 4*j + 2*v - 494680. Is j a prime number?
False
Let a(k) = 6*k + 59. Suppose -71 = -9*x + 82. Is a(x) prime?
False
Let u(z) = -987*z - 311. Is u(-14) a composite number?
True
Let s(y) = 977*y + 15. Let f(z) = -2*z**2 + 9*z - 2. Let o be f(4). Let j be s(o). Suppose -3771 = -a - 4*v, -3*v - j = -2*a + 5617. Is a composite?
True
Let w be 6*((-52385)/(-60) + (-21)/28). Let n = w + -2953. Is n a prime number?
True
Let a(x) = -15*x - 361. Let j be a(-42). Let b = j - -2090. Is b a composite number?
True
Let v = 1516 - -1137. Suppose 3*j + v = d, -d - j = -0*d - 2661. Suppose -4*n + 2929 = -d. Is n a prime number?
False
Is (-15)/(-50) + 9388605/150 prime?
True
Let v(z) = 2*z**3 + 151*z**2 - 317*z - 87. Is v(-76) a composite number?
False
Suppose 346 = 2*h + 2*i - 172, 1040 = 4*h + 5*i. Suppose 13*r - h = 12*r. Suppose -2*g + 275 = -r. Is g prime?
False
Suppose 2206*u = 2204*u - 5*f + 68861, -4*u = -5*f - 137677. Is u prime?
False
Suppose 4*b + 2*u - 3*u = 3264, -b = -3*u - 827. Let j = b + -434. Is j composite?
True
Let c(z) = 26*z - 261 - 72*z**3 - 20*z**2 + 148*z**3 + 61*z**2 - 75*z**3. Is c(-38) composite?
False
Is (4342025/(-58) - -18)/(-1 - (-2)/4) a composite number?
False
Is (43 - 54) + 131460/5 a composite number?
True
Let i = 460332 - 204331. Is i composite?
True
Suppose 5*z + 11 = -3*n - 37, -5*z - 59 = 4*n. Let d(j) = 31*j**2 - 4*j + 4. Is d(n) a prime number?
False
Let q = -11 + 4. Let y(w) = -w**3 - 8*w**2 - 5*w + 15. Let a be y(q). Suppose 0 = 4*l - 267 - a. Is l prime?
True
Suppose -25*y + 1644159 = -3*y - 4634135. Is y a prime number?
True
Let h(r) = -930*r - 893. Is h(-11) prime?
True
Let p(u) = -1 + 385*u**2 + 127*u**2 - 3 - 1 + 9*u. Let n be p(-5). Suppose -3*v - 1489 + n = 4*s, 0 = -4*v - 20. Is s a prime number?
True
Let h be 1177256/18 - (44/(-4))/(-99). Suppose -h = -8*t - 3507. Is t a composite number?
True
Let c = 29809 - 3710. Is c prime?
True
Let u be ((-6)/(-8))/(4/16). Let y(o) = 0*o**3 + u - 3*o**3 - 3*o**2 + 3*o**3 + o + o**3. Is y(4) a prime number?
True
Suppose -58 = -9*d + 23. Is 725*20 + -9 + d + 1 a prime number?
False
Suppose 4*z = -5*s - 0*s + 33, -s - 5 = -5*z. Suppose -77 = s*t + 58. Let q = t + 60. Is q prime?
False
Let f(d) = 3*d**2 + 73*d + 611. Is f(-136) prime?
True
Let g = -708440 - -1482795. Is g composite?
True
Let s = -8957 + 30043. Let v = s + -12321. Suppose 19*c - v = 14*c. Is c prime?
True
Suppose y + 29 = 4*p, -2*p + 8*y = 13*y - 31. Suppose 0 = 2*s - s + q - 1627, 0 = 2*q - p. Is s prime?
False
Let d(b) = -b**2 - 23*b + 250. Let r be d(-31). Suppose -11*q + 8*q + 1720 = 2*x, x + r*q = 859. Is x a prime number?
True
Suppose -2*q - 96 = -6*q. Suppose 0 = -25*i + q*i - 235. Let f = 414 + i. Is f a prime number?
True
Suppose 2*j = -16*s + 12*s + 2, -2*s = -6. Is 1 + 10995*(-8)/50*j prime?
False
Let j(w) = 3*w**3 + 5*w**2 - 2*w + 1. Let t = -11 - -13. Suppose -x + 7 = 2*q, x + t*x + 4*q = 17. Is j(x) prime?
False
Let m = 1044 - 494. Let h = m + -119. Is h composite?
False
Let i = -323 + 364. Suppose i*h = 39*h + 3*r + 5555, h = -4*r + 2805. Is h a composite number?
True
Suppose 49954 - 1135429 = -75*i. Is i a prime number?
False
Let n be (0 - -28283)*(-18 + 19). Suppose -17901 = -8*o + n. Is o prime?
False
Let h = 17390 + -12073. Let d = h + -2030. Is d prime?
False
Suppose -11*c + 17*c = -282. Let z = 438 - c. Is z prime?
False
Let t(y) = 7908*y**2 - 11*y + 4. Is t(-3) a composite number?
False
Let t(a) be the second derivative of a**5/20 - 5*a**4/12 + 11*a**3/3 + 10*a**2 - 96*a. Is t(17) composite?
True
Let v = -65 - -69. Suppose 3*l + 0*r - 8121 = 3*r, -5*l + v*r + 13535 = 0. Is l composite?
False
Is (-10)/(-20)*(0 + 4 - 3)*798654 prime?
False
Let s(n) = 16*n**2 + 10*n - 7. Let a be s(2). Suppose -t + 4*u = -a, -4*u + 165 = 4*t - 203. Is t composite?
False
Suppose 2*m - 3*s = 5, 0 = 3*m + 8*s - 4*s - 16. Suppose m*l + 8*i = 6*i + 2170, i - 544 = -l. Is l prime?
True
Let h be (3 + 2 + 0)*(-4718)/(-35). Suppose -h = -k - 4*u + 497, -5*k - 5*u = -5915. Is k prime?
True
Let p(v) = 189*v**3 - 8*v**2 + 13*v + 8. Let a be p(5). Is a*((135/10)/(-3) + 5) a composite number?
True
Let p = -6764 - -33523. Is p a prime number?
True
Is 744937/8 + (5 - 943/184) a composite number?
True
Let g(w) = w**2 + 69*w - 47. Let u be g(33). Let b = 8876 - u. Is b a prime number?
True
Is 1/(14/(-10573430)*-5) a prime number?
True
Suppose -10*a + 6 = -7*a. Suppose a*d = -1202 + 328. Let t = d - -1428. Is t a composite number?
False
Let x = -279 + 711. Let h = x + 827. Is h a prime number?
True
Is 4/6*(-1693566)/(-84) prime?
True
Let q be 63/84 + 45/(-12). Is 1848 + (q - -4)*9/(-9) composite?
False
Suppose 0 = -2*z, n - 4*z - 553 - 281 = 0. Suppose -12 = 5*t + 3, l - n = 3*t. Suppose -5*d + 719 = 3*h - l, -3*d + 924 = h. Is d prime?
True
Suppose -y = 3*u - 155541, 0 = -u + 4*y - 16238 + 68098. Suppose -3*m = -3*x - 24177, -2*x - 11553 = 5*m - u. Is m prime?
True
Suppose -18*x + x + 10117 + 40237 = 0. Is x a composite number?
True
Let v = -230094 - -490001. Is v composite?
False
Is 15 - (2296140/3)/(-14) a composite number?
True
Let t be (4112/(-10))/((35/25)/(-7)). Suppose 1100 = 2*h + 2*q - 276, 3*h - q = t. Suppose