 3*w - 4*k. Is w prime?
True
Let g(m) = 757*m**2 - 756*m**2 + m**3 - 13 + 56 - 16*m. Is g(0) a composite number?
False
Let a = 867 + -280. Let t = a + 514. Is t a prime number?
False
Let n(m) = -42*m - 24. Let p be n(-1). Suppose 29016 + 10206 = p*v. Is v composite?
False
Suppose 11 = 3*j - c, 15 + 2 = 4*j + c. Let k = 551 - -612. Suppose 0 = -w - 0*w - 3*f + k, j*w = 2*f + 4596. Is w prime?
True
Let r = 20 + -15. Suppose -3*c = r*b - 0*c - 1751, 0 = 3*b - 2*c - 1043. Let s = 762 - b. Is s composite?
True
Let g(v) = v**2 + 2*v - 2. Let x be (-4)/(-2) - 1 - -3. Suppose 2*k + 16 + 6 = 5*o, x*k - 2*o + 28 = 0. Is g(k) a composite number?
True
Let k be 34*(-1 + (-4 - -7)). Suppose -58*c = -k*c + 35930. Is c a prime number?
True
Suppose -3868061 = -34*p + 1489557. Is p a prime number?
False
Suppose -5*m - 190 = 3*c, 4*c = -5*m - 201 + 6. Let b be (48/28)/((-10)/m). Suppose 0 = -4*d - b*g + 8*g + 844, 0 = 2*d + g - 422. Is d a composite number?
False
Let p(f) = -57721*f - 1124. Is p(-7) a composite number?
False
Let q be 182/(-49) - ((-5)/7 - -1). Let u be -16*((-5 - q) + 211 - 4). Let m = -1959 - u. Is m prime?
False
Suppose -83*i - 130*i = -75*i - 1680702. Is i a prime number?
False
Let t = -6 - -8. Suppose -2138 = -2*s - t*y, 8*s - 5345 = 3*s - 3*y. Suppose 8*p + 5*r = 3*p + 5360, -4*r + s = p. Is p composite?
True
Suppose c = 5*i - 11249498, -24*i - 6749712 = -27*i + 5*c. Is i a prime number?
False
Let f(h) = -h**3 - h**2 + 2*h - 6. Let d be f(0). Let v be d/(-36) - (1 + (-35)/6). Suppose -3*w - v*l + 3236 = 0, -4*l = -5*w - 3*l + 5440. Is w prime?
True
Let w(x) be the second derivative of 13*x**4/4 + x**3/6 - x**2/2 + 24*x. Is w(1) composite?
True
Let o(s) = s**2 + 19*s - 47. Let r be o(-20). Is (-12)/r + 1613339/63 a composite number?
False
Suppose 3*d - 2499 = 42. Suppose d = 8*j - 249. Let i = j - 66. Is i a composite number?
False
Suppose 0 = -o + 4. Suppose -o*t + 4664 = 2*l, 3*l = -4*t + t + 6987. Suppose -259 = -5*p + l. Is p prime?
False
Let n(v) = 2*v**3 - 3*v**3 + 0*v**2 + 19 - v + 4*v**2 - 14. Let u be n(4). Let r(m) = 585*m - 2. Is r(u) a prime number?
False
Let q = -26605 + 46373. Let w = -9917 + q. Is w composite?
False
Let z = -13973 - -53266. Is z a prime number?
True
Suppose 36*s - 38*s + 3242 = 0. Let f be s - (3 - 2)/((-3)/9). Is 1 - 5/((-20)/f) composite?
True
Let d be (0 + 2 - 3) + 4. Let a = 3923 + -2664. Suppose d*w + 140 = a. Is w prime?
True
Suppose 0 = -5*c - 5*f + 2470000, 3*c - 1482035 = -1979*f + 1983*f. Is c a prime number?
False
Suppose 4*o = 2*c + 74, -56 = -3*o - 0*c + 2*c. Suppose -4*m + o = -14. Let z = 79 - m. Is z prime?
True
Let v(z) = -3*z + 36. Let d be v(7). Let c = d - 10. Suppose 5*h - h = 3*s - 6883, -c*s - h + 11464 = 0. Is s composite?
False
Is ((-205)/(-35) - 5) + (-1)/(42/(-3814446)) a prime number?
True
Suppose -46*l - 70521 = -57*l. Suppose 20347 = 16*h + l. Is h prime?
False
Let y(n) = 2*n**2 + 27*n - 17. Let i be y(15). Suppose -i = -2*u - 5*o - 180, 5*u = -5*o + 1615. Let g = -28 + u. Is g composite?
True
Suppose 2459*t - 2497*t = -7541062. Is t prime?
False
Suppose a = -13*a - 18900. Let d = a + 2711. Is d a composite number?
False
Let p = -3108 - -1683. Let h = 598 + -1136. Let t = h - p. Is t a composite number?
False
Suppose -408864 = -50*k + 64686. Suppose 13*h - 10510 = k. Is h prime?
False
Let f be 0 - 16/(-2) - 4. Suppose -14*t + f*t = 0. Suppose -5755 = -5*n - t*n. Is n a composite number?
False
Suppose 60*u - 217*u - 95*u = -26057556. Is u a composite number?
True
Let b(f) be the second derivative of -f**5/20 + f**4/6 + f**3/3 - 5*f**2/2 + f. Let l be b(-5). Is (-6154)/8*-1 + (-40)/l a composite number?
False
Let q = 36019 + 114232. Is q composite?
True
Suppose -23*d + 118296 = -11*d. Suppose d = 5*b + b. Is b a composite number?
True
Let w be 2/(-3) + 76/(-12). Let c be (36/14)/(1/w). Let r = c + 25. Is r a prime number?
True
Let b(a) = 184*a**3 + 2*a**2 - 52*a + 37. Is b(8) a prime number?
False
Is (-2868770)/(-41) + (-16 - (1 + -6)) a composite number?
False
Suppose -192*a + 801*a = 745990287. Is a composite?
False
Let s(w) be the first derivative of -7 + 11*w + 13/2*w**2 - 7/4*w**4 + 2*w**3. Is s(-7) a prime number?
False
Let b(g) = 598*g**2 - 36*g - 161. Is b(-6) prime?
False
Is (-979280)/(-6) - ((-1624)/348 - (-5)/1) a composite number?
True
Suppose -5*d - 1321 = -126. Let s = d + 359. Suppose -5*o + 14 = 3*c - s, -4*c - 4*o = -176. Is c composite?
False
Suppose 9802 = 6*j - 78050. Let q = j + -7729. Is q a prime number?
False
Suppose z + 6691 = -2*x, -x - 11*z + 6*z = 3350. Let c = x + 7334. Is c prime?
True
Let y = -17975 + 12709. Is ((-114)/12 + 9)*(y - 0) a prime number?
True
Suppose 2*c + 2*c = -3*c. Suppose c = 3*f - 1326 + 417. Is f a prime number?
False
Suppose -2*s + 175 = 3*s. Let u be (-7)/(s/(-10)) - 3. Is (19*(0 - u))/((-1)/(-5)) prime?
False
Let t be (((-12568)/6)/(-2))/(10/30). Let y = t - 71. Is y a composite number?
True
Suppose -2*b = 4*o - 6, 2*b - 4*o + 5 + 5 = 0. Is ((-344811)/102)/((-22)/20 - b) a composite number?
True
Suppose -5*s - 1 = 3*v - 13, -5*v = -4*s - 20. Let f(k) = k**2 - 5*k + 3. Let c be f(v). Is (c - -2)*-2 + 2841 composite?
True
Let j(d) = -2*d + 3. Let w be j(0). Is (-1 + w)*-4*5598/(-48) a composite number?
True
Suppose 7*s + 491 + 195 = 0. Let w = s - 430. Let t = 779 + w. Is t a prime number?
True
Suppose 14 = -3*u + i, 5*u = -2*i - 0 - 5. Let c be (-6 + 73)*(-153)/u. Suppose c = 31*s - 28*s. Is s a composite number?
True
Let a = -748 + 750. Suppose 5*k = 4*m + 24317, 0 = -a*k - m + 6687 + 3032. Is k prime?
True
Suppose l = -2*q + 4, 2*l + 24 = 2*q - 2*l. Suppose -3*p + 26711 = 4*h + 7785, -18924 = -q*h - 4*p. Suppose -h = -2*f + 2853. Is f prime?
True
Is 70/1260*18 - 266/(-4)*13448 a composite number?
True
Let o(b) = -5702*b - 567. Is o(-10) a composite number?
False
Is (99 + -100)/((-3)/1821858) prime?
False
Suppose 4*q + 23350 = 9*q. Suppose q - 735 = 5*k. Is k prime?
True
Let d = 10646 + -15900. Let o = d - -17823. Is o a composite number?
False
Let z(c) = 2479*c - 3344. Is z(25) a prime number?
True
Let t(c) = -12970*c + 13. Let v be t(-3). Let j = v - 19317. Suppose j = 14*d - 35652. Is d composite?
False
Suppose 2*w = -0 + 8. Let t(q) = 10*q**3 + 3*q**2 - 2*q - 15. Let i(u) = 29*u**3 + 8*u**2 - 6*u - 42. Let r(o) = 6*i(o) - 17*t(o). Is r(w) composite?
True
Suppose 15 = 3*m, -4*m + 26 = 3*i - 54. Suppose -r - r + k = -i, -k = -r + 11. Let t(h) = 62*h - 16. Is t(r) a composite number?
True
Let f(x) = 25049*x + 1434. Is f(7) prime?
True
Suppose -4*i - 3*n + 464 = -8*i, 0 = 4*n. Is i/(-203) - 14090/(-28)*2 composite?
True
Is (14 - 7) + -8 - -200772 a composite number?
False
Let x be 11/(110/(-896))*-25. Let c be (-9)/15 + x/25. Suppose 0*a + 4*a = -3*y + c, a = -2*y + 51. Is y a composite number?
False
Suppose 2*y - 8553 - 22741 = 0. Suppose -y - 7889 = -8*h. Is h a composite number?
True
Let p = 248 + -739. Let f = 4466 - p. Is f a composite number?
False
Suppose -139*k = -327*k + 86*k + 18401106. Is k composite?
True
Suppose -w - 1 - 3 = 0, 0 = s + 4*w + 1195. Let t(l) = 65*l**3 - 2*l**2 - 5*l + 10. Let m be t(3). Let f = s + m. Is f a composite number?
True
Let m be 5/(-1 + 2 - 0). Suppose 0 = -3*w + 2*y + 25, 4*w + m*y = y + 20. Suppose -r = 4*x - 317, -986 = 4*r - w*r - 5*x. Is r a prime number?
True
Let d = 56143 - 26546. Is d a prime number?
False
Suppose 0 = 8*q - 24. Suppose 0 = c + q*c - 5*g - 40, -5*g - 10 = 2*c. Suppose -4*y + 1854 = 2*d, 0*y + 942 = d + c*y. Is d a composite number?
True
Let z = 245 + -242. Suppose -10977 - 1980 = -z*l. Is l a prime number?
False
Suppose -2*v - h - 627 = -1998, 0 = -3*h - 9. Suppose -v + 145 = -2*r. Suppose -5*m + r = -514. Is m prime?
True
Let j = 1 + 58. Suppose -o = -3*r - j - 734, -o + 4 = 0. Let q = -30 - r. Is q a prime number?
True
Let s(i) = 5*i - 56. Let a be s(12). Suppose -7*y - 1593 = -12*y - 2*j, 0 = -a*y - 5*j + 1288. Is y composite?
False
Let d be 3/(-3)*(2 + -1). Let q = -1 + d. Let n = 77 - q. Is n prime?
True
Let b(a) = -a**2 - 9*a + 22. Let y be b(-11). Suppose 3*f - 8*f + 210 = y. Suppose 0 = -46*r + f*r + 1212. Is r composite?
True
Let h = -405 - -425. Is 1*-2*((-20170)/h + -6) prime?
True
Suppose -z = 2*y + 11, z - 3*y - 8 = 1. Is (-668)/z - (-2)/6 composite?
