2580 = u. Is y prime?
True
Let a be ((-21)/9 + 4)/((-10)/(-12)). Suppose -a*y = y + 6. Is 1 - (-2 + 158*y) a prime number?
False
Let n(u) = 29*u**2 - 11*u - 29. Suppose 0 = 4*b + 32 - 8. Is n(b) a composite number?
True
Suppose -14*r - 33073030 + 12067542 = -126*r. Is r composite?
True
Suppose -3*d = 2*v + 1847, 59*d + 3*v - 634 = 60*d. Let p = 1140 - d. Is p composite?
False
Let u(g) = g**3 + 14*g**2 - 3*g + 9. Suppose 15*w = 11*w - 316. Let s = -86 - w. Is u(s) a composite number?
False
Let a = -267 - -267. Suppose a = -g - 6*g + 18263. Is g composite?
False
Suppose 19751 = 344*q - 339*q - 7*r, -19761 = -5*q + 2*r. Is q prime?
False
Suppose 3*f = -2*o + 8945, 21*o + 4465 = 22*o + 3*f. Suppose -y + o = -2643. Is y a composite number?
True
Suppose -56 = 4*y - 0*y. Suppose 133*c = 145*c + 12. Is 12 + y + (c - -676) composite?
False
Let z(v) = 6746*v**3 + 4*v**2 + 2*v + 4. Let o be z(2). Suppose 9*s - 16109 = o. Is s composite?
False
Let d(i) = 8*i**2 + 73*i - 92. Is d(-39) a prime number?
False
Let m be 2/(32/34700) - 4/(-16). Let p be (1/2)/(3/72). Is 1 - p/20 - m/(-15) composite?
True
Suppose 31*u - 26*u - 4*g - 19137 = 0, -g - 15303 = -4*u. Let b = u + -2266. Is b prime?
True
Let w(v) = 38*v**3 - 2*v**2 - 9*v + 17. Is w(2) prime?
False
Let t(j) = 8*j**3 - 19*j**2 - 111*j + 151. Is t(36) a prime number?
False
Suppose 0 = 56*y + 11*y - 252255. Is (y/(-15))/(2/(-86)) a composite number?
True
Is ((-2)/(-4))/(12/2695848)*1 a composite number?
False
Suppose 0 = g - 5*b - 61675, 2*g - 4*g = 4*b - 123322. Suppose 5*n - 216952 = -3*v, -25122 = -2*n + 5*v + g. Is n a composite number?
False
Let b be 1/6 + (-502355)/(-42). Suppose 5*t = -10, 0*n + b = 5*n - 3*t. Is n a prime number?
False
Let g(k) = -k**2 - 5*k + 27. Let l be g(3). Suppose -x + 10*i = 9*i - 398, 1188 = l*x - i. Is x composite?
True
Let d(c) = 685*c + 19. Let b be 4*(4/(-14) + (-55)/28). Let p be d(b). Let z = p - -9693. Is z composite?
False
Let b(a) = 3*a**3 + 20*a**2 + 5*a + 15. Let l(r) = 7*r**3 + 40*r**2 + 9*r + 29. Let z(s) = 9*b(s) - 4*l(s). Let x = 102 - 82. Is z(x) composite?
False
Let v(l) = -9120*l + 125. Is v(-4) composite?
True
Is 45605 + (-10)/(-1) + 30/(-15) a prime number?
True
Is ((-33)/44)/(5/20) + 50204 a composite number?
True
Suppose 0 = 5*a + 2*u - 153637, 4*a - 122912 = -0*a - 4*u. Let i = 45690 - a. Suppose 10*w + 3*w = i. Is w composite?
False
Let d(r) = 8*r**3 + 5*r**2 - 15*r + 5. Let z be d(2). Suppose -z*n - 179240 = -67*n. Is n a prime number?
False
Is (53/(-3))/((-57)/13509) a composite number?
True
Let u be 3/(-6)*0/(-2). Suppose u = 7*v + 232 - 652. Suppose -z + 17 + v = 0. Is z a composite number?
True
Let f = 88596 - -18331. Is f prime?
False
Let z(w) = 47*w**2 - 89*w + 193. Is z(36) prime?
True
Let m(j) = 782*j**2 + j - 224. Is m(-9) composite?
True
Let c(d) be the first derivative of 19*d**2 - 2*d + 4. Let s be (2 - 28/10)*(-120)/16. Is c(s) composite?
True
Let v = -14 + 21. Suppose -8 = 2*c + 2*f, v = -3*c + 3*f - f. Is (-1 - 0*c/9)*-497 composite?
True
Let k(r) be the first derivative of -r**5/120 + 3*r**4/8 - 23*r**3/3 - 33. Let u(y) be the third derivative of k(y). Is u(-6) prime?
False
Let u(l) = l**2 - 42*l + 28. Let v be u(41). Is 5081 - v - 2/(-2) a composite number?
True
Suppose 3*i = i. Suppose -25 + i = -l - 5*s, 25 = -4*l + 5*s. Suppose -3*g + 12 = l, -4*k = g - 2*g - 2452. Is k a composite number?
True
Suppose -5*m - 2669 = p, -m = 4*m + 4*p + 2666. Let f = 302 - m. Suppose 0*a - 4*h = 2*a - 818, 0 = 2*a - 2*h - f. Is a composite?
True
Let t be (135016/(-84))/(0 - (-3)/18). Let h = 18253 + t. Is h a composite number?
False
Let t(b) be the third derivative of 2987*b**4/24 - 3*b**3/2 - 50*b**2 - 2*b. Is t(2) prime?
False
Let v(g) = 544*g**2 + 91*g - 529. Is v(10) composite?
True
Suppose 0 = w - 1, 5*d + 5*w = -2485 + 11105. Suppose -d - 60932 = -15*s. Is s prime?
True
Suppose 695*g = 661*g + 1335214. Is g composite?
True
Let m = 3215 + -14660. Is (m/(-6) - 1) + (-2)/(-4) composite?
False
Let j = -93 - -75. Let m be 11/(198/4) + (-50)/j. Suppose 5*o + 3*z = 250, 0 = -o + z + m*z + 73. Is o composite?
False
Let c(t) = 2 + 5 + 4*t**2 + 8 - 11*t. Suppose 630 = -45*m - 0*m. Is c(m) a composite number?
False
Suppose 5*u = -3*a + 15, -3*a + 6 = 2*u - 0*a. Suppose 3*d + u*o - 489 + 26016 = 0, 4*o = 3*d + 25548. Is 31/(-155) + (-1)/(10/d) composite?
True
Let j = 11 + -12. Let m be (36/48)/(j/48). Let i = 197 + m. Is i prime?
False
Suppose -1544967 = 30*r - 57*r. Is r composite?
False
Suppose u = -4*t + 8575, -39291 = -5*u - 4*t + 3600. Is u a composite number?
True
Suppose 0 = -2*l - 567 + 1355. Suppose 4385 = 4*v - 1639. Suppose -p - x = 2*x - l, 4*p - 2*x = v. Is p prime?
True
Let z(v) = 120*v**2 + 8*v + 2. Let k be z(3). Suppose -k - 5416 = -6*r. Is r a prime number?
True
Suppose g + 3*g = -5*b - 51, 3*g + 41 = -4*b. Let t be 35468/(-6)*(231/14)/b. Let x = 12414 - t. Is x prime?
True
Let f be (8/(-3))/(4/654). Let u = 15 + -936. Let n = f - u. Is n a composite number?
True
Let p = -268 + 273. Suppose -4*j = p*o - 15230, -4*o + 8*j + 12184 = 13*j. Is o a prime number?
False
Suppose 10 = 5*g, -y + 2*g + 2606 = y. Let k = 203 + y. Suppose -3*t = t - k. Is t prime?
False
Suppose -5*c - 1469 = -21079. Suppose a - 3922 = -2*i + 4*a, 0 = -2*i - 2*a + c. Suppose i = 12*g - 1843. Is g a composite number?
False
Let s be (84/9)/((-12)/126). Is -1 - (4 - s)*-79 a prime number?
False
Suppose 11*m = 16*m - 102305. Let w = -14342 + m. Is w composite?
True
Let v(i) = i + 2. Let a be v(0). Suppose 4*m = a*m + 4. Suppose u = 0, -3*x + 2*u = -m*x - 191. Is x a prime number?
True
Let n be 3 - 6 - (-4)/((-4)/1). Is (2459/n)/((-11)/44) composite?
False
Suppose 102 = -3*g - 0*g. Let k = -34 - g. Suppose -u + k*a + 2217 = -5*a, u = 4*a + 2221. Is u prime?
True
Let k = 10613 - 5333. Let b be 8/44*11*1067. Suppose -k = -5*g + 5*x, x + 2087 = 4*g - b. Is g a composite number?
True
Suppose -42 = -6*s - 15*s. Suppose -2*x - s*f = -7*x + 5763, 0 = 3*x - 3*f - 3465. Is x a composite number?
False
Suppose 4*g - 5*u + 13 = 0, 0 = 2*g - 5*u + 20 - 1. Let q(w) = 1 + 2*w + 2*w - g*w**2 + 7*w**3 + 4*w**2. Is q(3) composite?
False
Let q = 1456745 - 703516. Is q composite?
False
Let n(a) = 2*a**2 + 3*a - 1. Let g be n(-2). Suppose 0 = 3*o - 5*d - 0*d - g, 3*d - 9 = -3*o. Suppose -5178 = -4*y + o*y. Is y a composite number?
True
Let u be ((-2)/4)/(4/96). Is (970/u + -6)/((-1)/6) a composite number?
False
Let t(b) = -b**3 + 52*b**2 + 742*b - 29. Is t(40) composite?
True
Let f be (0/(-2)*(-16)/(-32))/(-1). Suppose f = 3*p - 3581 - 2197. Let j = -1139 + p. Is j a composite number?
False
Suppose 36*m = -5*m + 1618393. Is m prime?
False
Suppose 0 = 5*s - 25 + 5. Suppose 769 = 5*d + s*g, 5*d - 4*g - 133 = 668. Is d a composite number?
False
Let c(t) = 626*t - 1. Let a be c(2). Let n = a + 889. Suppose -9 = -3*l, 2*p - 5*l = -3*p + n. Is p composite?
False
Let l(k) = 1 - 22*k - 27*k + 3*k - 20*k. Let z be l(-4). Suppose -j = -0*j - z. Is j a prime number?
False
Let l(m) = 56405*m + 42. Is l(1) prime?
False
Let w(i) = 15*i**2 - i - 1. Let f be w(-1). Suppose -5*q - f = 0, 3*v = -0*q + 3*q - 15. Is 4*((-2782)/v - 3) a prime number?
False
Is (-7240938978)/(-780) + 3/(-30) prime?
False
Let f = 9 + -679. Suppose 0 = -4*s - 2*q + 4540 + 694, 4*q - 1291 = -s. Let y = f + s. Is y prime?
True
Suppose -2*p = 4*t - 5858, -3*p + 772 + 2155 = 2*t. Let o = -2592 + 1684. Let x = t + o. Is x a prime number?
True
Let x = -5 + 10. Let j be 3/5 - (13/x - 3). Is ((-23)/1)/(j/(-37)) a composite number?
True
Let r(n) be the third derivative of -23*n**4/12 - 7*n**3/6 - 5*n**2. Let q be r(4). Let v = q + 348. Is v a composite number?
False
Let s(t) = -17*t**2 - 48*t - 3. Let h(g) = -6*g**2 - 16*g - 1. Let d(l) = -11*h(l) + 4*s(l). Let c be d(-8). Is (2722/(-8))/(c/4) composite?
False
Suppose 2*n = -2*q + 1644, 0 = -q - 2*q + 3*n + 2442. Suppose 6 = -3*v, -5*d + d + q = 3*v. Let i = d - 127. Is i a composite number?
False
Let s be 0 + (-5848)/(-1 - 0). Let n = -5167 - -5164. Is n/(-15) - (s/(-10) - -2) composite?
True
Let w = -14 - -34. Suppose 3 = -w*m + 21*m. Suppose 3*x - 5847 = 2*n - 4*n, m*x - 2*n = 5847. Is x a prime number?
True
Let s(i) = -i + 12. Let z be s(12). Let v(m) be the second derivative of -m**