composite number?
False
Let v be 6/8*(-24)/(24/(-4)). Suppose -5*j + 5*k = -3515, -j - v*k = -2*k - 699. Is j a prime number?
True
Let w(r) = -9*r + 37. Let d be w(3). Suppose -42*j + 37*j + d = 0. Suppose -y + 557 = 2*a, -j*y + 2*a = -y - 573. Is y prime?
False
Let t(f) = -11830*f + 116. Let p be t(-4). Suppose -23711 = -2*o - 3*w, -w + 11874 + p = 5*o. Is o a composite number?
False
Let d(c) = 715*c**2 + 1. Suppose 10*p - 14*p = -16. Let b be ((16/10)/(-2))/(p/(-10)). Is d(b) composite?
False
Suppose -z + 3 = 1. Suppose -z*s = 10, -s = 5*o + 3*s + 10. Suppose 5*p = -3*a + o*a + 1057, 2*p - 4*a = 414. Is p a prime number?
True
Let v = -17707 + 66006. Is v composite?
False
Suppose 1020*f + 17619 = n + 1018*f, -f = 5. Is n a prime number?
True
Suppose 2*o + 4*r - 80016 = 77960, 394934 = 5*o + 4*r. Let y = o + -52615. Is y a prime number?
True
Let n(v) = -10*v**2 - 4*v + 79. Let z be n(-11). Let b = z + 2276. Is b a prime number?
False
Suppose 4*x + 33 - 209 = 0. Is (-20446)/(-6) + x/(-66) prime?
True
Suppose -5 = 5*i, 0*i - 2*i = -b + 5. Let m be 2/(-6) - (-775)/b. Is -1*m/(-2) - (1 - 1) a composite number?
True
Is (8/(-10) - (-609840)/25)*(-20)/(-8) a composite number?
True
Let u = -237 - -234. Is u + 3562 + 1 + -1 composite?
False
Is (1996022/(-8))/(5/10*51/(-102)) prime?
False
Let r be ((-2449)/(-124) - (-1)/4)*-1. Is (-1 + 2)*(20 + r) + 12587 a composite number?
True
Let o = -55281 - -121558. Is o prime?
False
Let n be ((-8)/(-16))/((-4)/220856). Let x = -3114 - n. Is x prime?
False
Suppose -2*v - 2*w + 3 = 17, 3*w = 2*v + 34. Let y(r) = 107*r**2 + 18*r - 15. Is y(v) a composite number?
True
Suppose -2*b + 3*b = -4, 0 = 3*d + 2*b - 74515. Is d prime?
True
Suppose 0 = -i + 278 + 2055. Let b be (-9)/63 + (-9479)/(-7). Let n = i - b. Is n a prime number?
False
Suppose -51*d + 692*d - 105706669 = 0. Is d a composite number?
True
Suppose -1432*h - 2006107 = -1493*h. Is h prime?
True
Let m = -87 - -90. Let t(b) = 138*b**2 - 4*b + 5. Let z(i) = i. Let c(x) = t(x) - 2*z(x). Is c(m) a composite number?
False
Let o = 13 - -127. Suppose 146*u = o*u + 72426. Is u prime?
True
Is -1 + 86931 + -750 + 743 a prime number?
True
Suppose 2*d + 22*d + 8415 - 2409447 = 0. Is d prime?
True
Let c(t) = t**3 + 19 + 746*t - 2234*t + 144 + 746*t + 744*t. Suppose -g = -5*g. Is c(g) a composite number?
False
Is 40/24*(285174/5 + 3) a composite number?
False
Suppose 7*u + 33 = 376. Suppose 2*v - 761 - u = 4*p, -4 = p. Is v composite?
False
Suppose -148817 = -16*h + 194655. Is h composite?
False
Suppose 0 = -2*g + 6 - 22. Let j(q) be the second derivative of -q**5/10 - 2*q**4/3 - q**3/2 + 15*q**2/2 + 5*q + 3. Is j(g) a composite number?
True
Let q = 1805 - 1809. Suppose -3*i - 18 - 9 = 0. Is (-762)/q*(-6)/i a prime number?
True
Let q(d) = 27 - 1815*d + 228*d - 15 - 11 - 253*d. Let f(w) = -w - 1. Let l be f(0). Is q(l) composite?
True
Let q be -1 - 34 - (-4 - -3). Let v = -36 - q. Is (-120846)/(-110) + 3/((-15)/v) a composite number?
True
Let v = -6 + 13. Suppose 48 = -v*q + 19*q. Suppose 3148 = 4*l + q*u, 0*l + l = 3*u + 787. Is l a composite number?
False
Let g be 4 + (-3 - -7 - 3). Suppose 0 = g*u + 22 - 1217. Suppose -3*p = 2*f - u, -3*p - 16 = -1. Is f a composite number?
False
Let f(o) = 18*o**3 + 2*o**2 - o - 4. Let c(g) = g**3 + 8*g**2 + 8*g + 4. Let m be c(-7). Let w be f(m). Let h = 492 - w. Is h a composite number?
True
Suppose 0 = 59*y - 56*y - 9255. Suppose -16*b + 14*b - v = -y, v - 7714 = -5*b. Is b a composite number?
False
Let b(x) = -x**2 + x + 4. Let q be (-32)/(-18) - (-1)/(-9)*-2. Let m be b(q). Suppose m*a - 945 - 1693 = 0. Is a a composite number?
False
Suppose -10*o = -8*o + 2614. Let g = o - -124. Let j = g + 1934. Is j prime?
True
Suppose -160004 = -3*b + 3*s + 761041, -2*b + 614030 = 4*s. Is b a composite number?
True
Let y = 300 + -149. Suppose -34 + y = 9*s. Suppose -s*d + 19*d - 12102 = 0. Is d composite?
False
Suppose 208*y = 25*y - 85*y + 3167492. Is y composite?
True
Let s(a) = -13*a - 91. Let l be s(26). Let g = l - -1972. Is g composite?
False
Is (-24)/72*30 - 897*-269 a composite number?
True
Let w(o) = 1432855*o**2 + 277*o - 275. Is w(1) prime?
False
Is 286314*2 - (-5 + 20 - 32/2) a prime number?
True
Let s(m) = 12602*m**2 + 47*m + 103. Is s(-2) a prime number?
True
Suppose -1460 = 8*p + 612. Let n = 144 - 306. Let a = n - p. Is a composite?
False
Suppose -2*a - x = -84934, -5*a = -4*x + 5*x - 212335. Is a a composite number?
False
Suppose -111*g + 89099 = 34*g - 6*g. Is g composite?
False
Suppose -2*n - 9724 = b, -1187 - 8553 = 2*n - 3*b. Let a be 0 - (-4 - -6813) - 4. Let s = n - a. Is s a prime number?
True
Let t(x) = 33*x - 3. Let n be t(14). Let h = n + 380. Let m = h - -512. Is m a prime number?
False
Let f be 20/8*1*2. Let z be 4/2 - (-80)/(-16). Is 181 + (z + (f - 3))*2 a prime number?
True
Let r = -245399 - -400468. Is r prime?
True
Suppose 3*n - 26 = 19. Suppose 0 = -2*t + 3*d - 3 - 2, -2*d + n = t. Suppose -3*l + 1223 = 2*v, 0*l + 1216 = 3*l - t*v. Is l a prime number?
False
Suppose 4*p + 2*v = 0, -4*p + 8*v = 6*v - 16. Let k(a) = a**3 + 22*a**2 + 10*a - 15. Let m be k(-18). Suppose z - p*z = -m. Is z a composite number?
True
Let r(s) = -3*s**3 - s**2 + 8*s - 6. Let n be r(-9). Let y = -167 + n. Is y composite?
False
Is 35/(-10) + (116431/14 - 2) prime?
True
Suppose -4*u - 166 = -2*a + a, 8*a - 1430 = -2*u. Is a a composite number?
True
Suppose 5*w + 51350 = 7*w. Let l = 12832 + w. Is l composite?
True
Let h be ((-3)/(-6))/((-2)/56). Let s = h - -47. Suppose -g = -4*y + 150, 2*g - s = -y - 0*y. Is y a prime number?
True
Suppose -2*p - 3*n = -2*n - 2061, -5*p + 5120 = -4*n. Suppose -33013 + p = -5*m. Is m prime?
True
Suppose -133 = -5*f - 133. Suppose -9*p + 14*p - 9545 = f. Is p a composite number?
True
Is -12 + (15 - (-514833 - -5)) a composite number?
False
Suppose 0 = 5*j - c + 21342, -j + 4*c - 142 = 4115. Let x = j + 6627. Suppose -4*h = -g - 3137, 0*h + x = 3*h + g. Is h a composite number?
True
Let b be (-6)/9 - (-896)/(-24). Let q = 44 + b. Let z(f) = 6*f**3 - 4*f**2 + 2*f - 13. Is z(q) a prime number?
True
Suppose 2*b - 22211 = 3*d, -b + 689*d + 11093 = 685*d. Is b a composite number?
False
Suppose 3*n + 658446 - 50772 = 3*d, d - 202538 = -3*n. Is d composite?
True
Suppose -2*f + 3*f = -3*f. Suppose -i + d = -7, 3*d + 1 = -i - f*i. Suppose 4*h + 3*a = 6022, -5*h + i*a = -3682 - 3863. Is h a prime number?
False
Suppose t - 135 = 119. Suppose w - 2*l + 381 = -2*w, -5*l = 2*w + t. Let i = w + 206. Is i prime?
True
Suppose 0 = 3*s - 15*s + 14652. Suppose s + 1480 = g. Let f = -1812 + g. Is f prime?
False
Is ((-147614)/(-8))/((925/(-100))/(-37)) prime?
False
Let h(f) = 3609*f**2 - 3*f + 8. Let i be h(2). Let z = -8139 + i. Is z composite?
False
Let l(d) = -880848*d - 967. Is l(-1) a composite number?
False
Let f(y) = 3*y**3 + y - 682. Let o be f(0). Is -1*(-1 + o) + -6 a composite number?
False
Let i = -9175 - -95988. Is i prime?
True
Let f(r) = -3314*r - 5. Let a be f(-1). Let u = a + -830. Is u prime?
False
Let m = 2817514 - 1807307. Is m composite?
True
Suppose 130*u - 83299824 = 14*u - 28*u. Is u composite?
True
Let f(k) = -15*k**3 - 4*k**2 - 8*k - 7. Suppose 3*q = q - 5*j + 19, -5*q + 1 = -3*j. Suppose -2*x + 7*r + 19 = q*r, -2*x - 26 = 4*r. Is f(x) a composite number?
True
Let o(c) = -63*c + 682. Let b be o(-41). Suppose 10*u - 9210 = 5*u. Let a = b - u. Is a prime?
True
Let b be (-3792)/(-7) + -5*12/(-210). Suppose -5*q - 5*o = -4*q - b, 2*q + o = 1111. Is q composite?
False
Suppose 33*k + 3836766 = 13279283 + 6904792. Is k prime?
False
Let b(p) = -1 - 362*p + 8 - 6 + 4. Let s be b(-2). Suppose -2*j + s + 355 = -t, -j + 531 = 5*t. Is j composite?
False
Is ((-28)/(-8) + -1)*5442590/25 a composite number?
False
Let q = 30049 - 8220. Is q composite?
True
Let t = 221493 - 58672. Is t a composite number?
False
Suppose 4*s - 4 - 8 = 5*b, -s + 3 = -4*b. Suppose -3*y - 21059 = -4*w, -s*y = -w - 6*y + 5276. Is w a prime number?
False
Let s(h) be the first derivative of -709*h**2 - 5*h - 25. Let z be s(-1). Suppose -3*k = -4*i + 2*k + z, -4*k = 20. Is i a prime number?
True
Let k be 0*(0 - (-4)/8). Let d be k*-2*(-2)/(-8). Suppose d*m + m = 1693. Is m prime?
True
Suppose -5*y + 10*i + 26 = 8*i, -5*i + 1 = 4*y. Is 1/y + 