-5*v + 2*s + 12155 = 3050, -f = -5*v - 5*s. Is v composite?
True
Let y be (-2)/(-5) + 39215/25. Suppose 0 = -3*b + w - 0*w + 2334, -y = -2*b + 5*w. Suppose 2*u + 5*i - b = 0, -i = 5*u - 4*i - 1958. Is u composite?
True
Let d = 14459 - -44742. Is d a prime number?
False
Let u = 34936 + -11153. Suppose 0 = 3*h - 20*h + u. Is h prime?
True
Let d = -1474 + 2194. Let f be d - (10/(-2) + 7). Suppose 2159 = 3*y - f. Is y prime?
False
Let z(m) = 20918*m - 1315. Is z(4) a composite number?
True
Let s(a) = a**3 - 40*a**2 + 20*a + 31. Is s(42) composite?
True
Let j(x) be the second derivative of -13*x**4/8 + 4*x**3/3 - 7*x**2/2 - 18*x. Let y(l) be the first derivative of j(l). Is y(-14) composite?
True
Suppose 5*s + 2*f + 2 = 2*s, -20 = 5*f. Suppose 3*r - s*k - 19 = 0, -5*r + 3*k - 4*k = -10. Let j(z) = 348*z + 5. Is j(r) a prime number?
True
Let p be 1 + 2547 + 0 - (-4)/2. Suppose -8*j + p = -5*j. Suppose -1975 = -5*x + j. Is x a composite number?
True
Suppose 34135 = 2*k - 4*c - 49329, 0 = k - 3*c - 41730. Is k/16*1/((-9)/(-6)) composite?
True
Let p(u) = 21*u**3 - 2*u**2 + 5*u - 4. Let k be p(1). Suppose k*o + 8*o - 47292 = 0. Is o a composite number?
True
Suppose -26*x = -86250 - 116732. Is x prime?
False
Suppose 0 = -5*n + 767084 + 417331. Suppose 26*r - n = -80649. Is r prime?
False
Let m be (6/1)/(3/2). Suppose -5*y - 2 = -17. Suppose -2*f - m*t = -26, y*t - 65 = -5*f - 2*t. Is f composite?
False
Let a(b) = b**2 - 12*b + 30. Let j be a(6). Is 873 + j*(26/6 - 5) a composite number?
False
Is (2 + -3 - 3) + 2085570/(46 + -36) composite?
False
Suppose 74*y + 1256002 = 96*y. Is y a prime number?
False
Suppose 0 = 298*f - 304*f + 893238. Is f a prime number?
True
Let p(g) = 487*g**2 - 173*g - 7. Is p(-36) composite?
True
Let j be (2/(-15)*-12)/((-4)/(-10)). Suppose j*t = 3*x + 8538 + 1266, -t = 3*x + 9789. Let k = x + 5597. Is k prime?
True
Suppose -4*u + 554*p + 5787867 = 549*p, p = 4*u - 5787839. Is u composite?
True
Suppose 21*j - 26*j + 349465 = -3*i, -3*j - i = -209679. Is j composite?
True
Let h = 38 + -38. Suppose -4*g + 8*g - 20 = h. Is (-1672)/32*(-1 - -2 - g) a prime number?
False
Suppose 0 = 4*o + 294 + 730. Let y = -80 - o. Let l = -121 + y. Is l a prime number?
False
Let i(y) = 63507*y**3 + y**2 - 7*y + 6. Let h be i(1). Suppose -273477 = -18*b - h. Is b a composite number?
True
Let z be (((-22)/(-3))/1)/((-8)/(-216)). Suppose -1417 = z*u - 199*u. Is u a composite number?
True
Suppose 5*j - 2*w = -0*j - 48720, -5*j = -5*w + 48720. Let s = 14465 + j. Is s composite?
False
Suppose 5*j + 8108 = 41198. Is j + (-4 - 7/(-2))*-2 composite?
False
Suppose -4*x + 211545 = 43*q - 40*q, 352601 = 5*q - 2*x. Is q a prime number?
False
Let d(m) = -m**2 + 6*m + 15. Let v be d(-7). Let s = v - -80. Suppose -s*x = -8*x + 3556. Is x a composite number?
True
Suppose 0 = -231*t + 246*t - 8110155. Is t composite?
False
Let v(s) = -4*s + 1. Let l be v(-1). Let w(m) be the second derivative of 37*m**3/6 + m**2 + 1719*m. Is w(l) composite?
True
Suppose -27*j + 21*j = -317910. Is j a composite number?
True
Suppose 0 = -7*c - c + 1840. Let x = c + -1670. Let a = x + 3125. Is a prime?
False
Suppose 3*f - 2*v - 1169328 = 0, -420*v = -424*v + 36. Is f a composite number?
True
Let v(k) = 302*k + 303. Let s(x) = -152*x - 151. Let z(u) = 5*s(u) + 2*v(u). Is z(-33) a prime number?
True
Let s be 1*(1 + -2 + 2 + 7). Suppose -2015 = -s*n + 47489. Suppose -5*h = -n + 1413. Is h a prime number?
False
Suppose -68*g + 71*g - 2461 = 126476. Is g prime?
True
Suppose 244*a = 3128417 - 140149. Is a composite?
True
Let p be 48/27 - 2 - 646/9. Let i = p + 82. Let f(u) = 16*u**2 - 24*u + 3. Is f(i) a composite number?
True
Suppose 3*a - 4*b + 2279 = 0, -5*a - 5614 = -3*b - 1823. Let y = a + 6242. Is y a composite number?
True
Suppose 5410 = -5*s + 2*y, -6*y + 2163 = -2*s - 5*y. Let t = 1139 - s. Suppose c + 604 = -5*w + t, 0 = w + 5*c - 343. Is w composite?
True
Let r(a) = 35*a**3 + a**2 - a. Suppose -73 + 61 = -3*g. Suppose w - 4 - 3 = -2*j, -g*w = 2*j - 10. Is r(w) composite?
True
Suppose 1320 = 5*v - v. Let s = -1098 + v. Let w = s + 1969. Is w a prime number?
True
Let k = 22 + -18. Suppose -k = 4*l, 2*s = 3*l - 0*l - 5. Is (23/s)/((-1)/148) a prime number?
False
Let j(h) = 1457*h**2 - h. Let s be j(-1). Let x = 10001 + -9676. Let p = s - x. Is p composite?
True
Let b be 32/(-112) - (-60454)/7. Let c = b + -6027. Is c a prime number?
True
Let c(l) = -l**3 - 12*l**2 - 10*l + 11. Let a be c(-11). Suppose -3*j - s = -13, a*j + s = j - 11. Suppose -2*g = 3*m - 302, j*g - 2*m - 793 = g. Is g prime?
True
Let o = -45243 + 382220. Is o a prime number?
True
Let i = 5037 - -55678. Is i a composite number?
True
Is (28895/(-55))/(12/(-132)) prime?
True
Let v = 29 + -27. Let b be (0 + -5 + v)/((-27)/3420). Let m = 727 - b. Is m prime?
True
Let r(x) = 11*x - 4*x**2 - 13*x**2 - 7*x + x**2 + 4 + x**3. Let i(b) = b**2 - b - 1. Let t(a) = -6*i(a) - r(a). Is t(-7) a prime number?
True
Suppose 3*b - 8 = 7*b, -2*z = -5*b + 38. Let r(o) = 5*o**2 + 16*o - 35. Is r(z) a composite number?
True
Let u = 161768 + -88414. Is u composite?
True
Let y(p) = -2*p**3 + 45*p**2 + 26*p - 70. Let t be y(23). Is t/(-8) + (-7 - (-144376)/64) prime?
False
Suppose 16*d + 209635 = u + 18*d, -628905 = -3*u + 2*d. Is u composite?
True
Let m = -249 - -209. Is (5476 - m/4)*2/4 a prime number?
False
Is (-8)/(-48)*-1572484*((-21)/6 - -2) composite?
False
Let n(f) = -2*f**2 - 41*f - 9. Is n(-8) a composite number?
False
Suppose 0 = -3*l + 4*l. Let z(s) = -s + 10. Let u be z(6). Suppose -5*y - 437 = -u*v, l*v - 3*y - 324 = -3*v. Is v a composite number?
False
Suppose 64*d + 106*d = -9*d + 6198949. Is d composite?
False
Let v = 24 + -21. Let j be 150 + (-4)/3*v/(-2). Suppose j + 401 = p. Is p a prime number?
False
Suppose -5*r + 0 + 30 = y, 4*y - 3*r - 51 = 0. Suppose y*a - 11*a - 35996 = 0. Is a composite?
False
Let y = 115765 - -1376. Is y a prime number?
False
Let k(h) = -25*h - 16. Let i be k(-18). Let o = i - 296. Suppose o = -d + 761. Is d composite?
True
Suppose 130540 = a - 3*l, -12*l - 391616 = -3*a - 7*l. Is a composite?
True
Let q(d) = -d + 41. Let b = 21 + -27. Let c be (-41)/b + (-8)/(-48). Is q(c) composite?
True
Let d be ((-12)/(-10))/((-3)/120). Is (-4)/d*179626 + (-2)/(-12) a prime number?
True
Let s = 705293 - 290058. Is s prime?
False
Let p(s) = 6*s**2 + s. Let l be p(1). Suppose 0 = -l*w + 10*w. Suppose w = -3*v + 12, 5*c + v + 0*v - 5509 = 0. Is c composite?
True
Let a = -1814 - -2605. Is -5 + 7 + 27/3*a a composite number?
False
Is ((-2)/4)/(5567502/(-253068) + 22) a prime number?
True
Suppose 100 - 30 = 5*w. Suppose -2*n + 10 = w. Is 1 + n + -1 - -161 a prime number?
False
Let l be (-3)/(-3) + -2 + 4874. Let s be (18/3)/(18/9). Suppose s*h = f + l, -h - 5*f + 3 + 1600 = 0. Is h prime?
False
Let r(l) = 8573*l**2 - 2. Let p be r(-1). Let x = -3494 + p. Is x prime?
True
Let z = 42050 - 28068. Is z a composite number?
True
Suppose 0 = 6*f - 163 - 11. Let d = -29 + f. Suppose 9*k - 8*k - 579 = d. Is k composite?
True
Let v(b) = 3625*b**2 - 3*b - 25. Is v(-6) a prime number?
False
Let u be (-2)/(-16) + 39/8. Suppose 4*y - 2 = 3*b - 4, -5*y = u*b - 15. Suppose -b*m = -565 - 1633. Is m prime?
False
Let d be 20/90 + ((-32)/(-18) - 2). Suppose -5*k = 5*q - 19780, -5*k = -d*k - 15. Is q a composite number?
True
Let b(r) = 674*r + 795. Is b(16) a composite number?
False
Let o(r) = 5123*r + 945. Is o(8) prime?
False
Let i(n) = -4*n - 32. Let o be i(-8). Suppose -5*c - 3*f = -17 - 91, o = -f - 4. Is 47*7 + c/12 a composite number?
False
Suppose 21*q - 120880 - 714101 = 0. Is q a prime number?
True
Suppose 4760 = d - 14*b + 11*b, -4*b - 4756 = -d. Is d*((-39)/(-20) - (-11)/(-55)) a prime number?
False
Suppose -2*h + 31 = -5*o, 2*o = -3*h + 41 - 4. Suppose 7*k + 15546 = h*k. Is k a composite number?
False
Let c = -2113 + 2042. Let n = 195 + -325. Let l = c - n. Is l a composite number?
False
Is -5*(14 - 22683)*(-4)/(-10) a prime number?
False
Suppose -y + 180799 = 4*z, 182*z = 4*y + 177*z - 723133. Is y a prime number?
False
Let p(n) = 853*n - 2. Let j be -3*((-154)/21 + 7). Is p(j) a prime number?
False
Is (-1 - -2) + (57271 - 9) a prime number?
False
Let k be 7 + -2 + -3 + 4. Suppose k*d + 12 = -0*d. Is (d + 8908/12)*3 a p