c - 604 = -v + 1717. Is v composite?
True
Let w = 2 + 19. Suppose 5*r - g + 3*g = w, 3 = g. Suppose -l = 4*u - 199, -u + 25 + 15 = -r*l. Is u a prime number?
False
Let p be 1*3*(-8 - 2392/24). Is 4/38 - 551004/p composite?
True
Suppose 4*w - 20 = -4*v, -5*v + 25 = -0*w + 3*w. Suppose -4737 = -v*z - 1052. Is z composite?
True
Suppose -4*z = -5*d + 3, -2*d = 5*z - 2*z - 15. Suppose 0 = -2*p - 4*x - x + 1059, -1592 = -z*p - 4*x. Let w = -281 + p. Is w a composite number?
False
Suppose -66*v = -44*v - 228602. Is v a composite number?
False
Suppose 0 = -w - w + 26. Let f be -1 - (3 - w) - -3. Is f/6 - (-214)/2 a prime number?
True
Suppose -3*x + 5*q - 25 = -7*x, x - 3 = 2*q. Suppose -5935 = -x*n + 860. Suppose -n + 274 = -5*z. Is z a prime number?
False
Suppose -17 - 11 = -4*n. Suppose l - 4*d = 857, 5*d + 2606 = n*l - 4*l. Is l composite?
False
Let y(x) = 8*x**3 + 3*x**2 + 10*x - 22. Is y(7) a prime number?
True
Suppose 5*v - 2*r - 100 = 0, -2*r + 20 = -v + 2*v. Let w be -2*(v/(-8))/5. Let u(g) = 80*g**2 - 3*g + 2. Is u(w) prime?
True
Suppose 2*m = 2*b + 35440, -33*b + 70889 = 4*m - 34*b. Is m prime?
False
Let s(a) = 2*a**3 - 12*a**2 + 2*a - 9. Let n be s(6). Suppose i - 3*i + 2419 = 5*q, -n*i - 9 = 0. Is q a prime number?
False
Suppose -4*g - 983 = -f, 2*g + 4915 = 12*f - 7*f. Is f a prime number?
True
Suppose 0 = -4*h - 0*h + 12, 2*h = -3*z + 13995. Is z a prime number?
True
Let d(q) = -q**2 - 15*q - 24. Let h be d(-13). Suppose -274 - 268 = -h*k. Suppose -6*j = -k + 13. Is j a prime number?
True
Suppose -4*a = -0*a. Suppose 0 = 2*z - a - 10. Suppose z*d = 734 + 371. Is d a composite number?
True
Let m be 2/12 - 17943/(-18). Suppose -2*t = 2*u - 2174, 2*t - 3*u = m + 1177. Is t prime?
True
Let y = 1002 + 9635. Is y composite?
True
Let n = -321 + 841. Suppose r + 3*r = n. Suppose -35 = -5*o + r. Is o a composite number?
True
Suppose -7*y - 11*y = -81738. Let x = y - 3174. Is x composite?
False
Suppose 2*u = 5*n + 3 + 32, -3*n = 15. Suppose 2*q - u*q + 573 = 0. Is q a composite number?
False
Suppose -68*r + 2*r = -1505262. Is r prime?
True
Suppose 3*q + 11 = -2*h, -h + 21 = -3*q + 2*h. Let p be (-38)/(-6) + q/15. Suppose -x = -p*x + 775. Is x a prime number?
False
Let p = 1 + 4. Let t be 8/(-16) - (-3)/6. Suppose 102 = s - p*m + 13, s - 4*m - 89 = t. Is s a prime number?
True
Let f(o) = 1185*o - 4 - 2 - 498*o + 0. Is f(1) a prime number?
False
Let n = -5789 - -11687. Suppose -7*a + n + 8935 = 0. Is a prime?
False
Let n be -6*((-1)/3 - 0). Suppose -j + n*v + 91 = 0, j = -j - 4*v + 182. Is j a composite number?
True
Let n(i) be the second derivative of 205*i**4/12 + i**3/3 - 3*i**2/2 + 13*i. Is n(2) composite?
False
Suppose 3*k + 7730 = 5*c, c - 3*k = 1869 - 311. Is c a composite number?
False
Let z(r) = r**2 - 6*r + 2. Let o be z(4). Let t be ((-56)/(-12))/(-7)*o. Suppose -380 = -0*l - t*l. Is l a composite number?
True
Let k be 4 + -7 + 3*3. Suppose 3*a - k = 0, -492 = -2*b - 2*a + a. Suppose -5*v - s + b = -540, 4*v - 2*s - 628 = 0. Is v composite?
False
Let v(n) = -n**3 - 43*n**2 + 3*n - 25. Is v(-48) composite?
False
Let h(m) = -38*m. Let d be h(-4). Let c = -101 + d. Is c a prime number?
False
Suppose 5*r + 0*x - 8 = 4*x, 2*r - 4*x = 8. Suppose r = -5*a - 20, -u + a + 30 = 12. Let k = 45 - u. Is k composite?
False
Let b(q) = 100*q**2 - 21*q - 6. Is b(11) composite?
False
Let o = -2217 - -3728. Is o composite?
False
Let x = 196 - -14. Suppose o - 317 = -2*i, -x - 87 = -o + 2*i. Is o prime?
True
Suppose -s - 77243 = -2*m, -5*s = 2*m - 22457 - 54780. Is m a prime number?
False
Let p be (-1)/(-1)*(0 - -9). Let u(i) = i**2 - 9*i + 3. Let r be u(p). Suppose -3*z + 282 = -4*n, -r*n - 173 - 203 = -4*z. Is z composite?
True
Let r(t) = t**2 + 2*t - 5. Let y be r(-4). Suppose 18*p + 25 - 205 = 0. Is (758/y)/(p/15) a prime number?
True
Suppose 0 = 2*q - 5*u - 579, 5*q + 3*u = 5*u + 1500. Let j be q - (-5)/((-15)/(-6)). Suppose -4*c = -3*n - j, -n + 63 = c - 5*n. Is c composite?
False
Suppose 165642 = 10*o - 58628. Is o composite?
True
Is ((-2)/6)/((-7)/(-202923)*-3) a prime number?
True
Let d(p) = 204*p - 1. Suppose -g = -2, t - 2*t - 5 = -4*g. Is d(t) a prime number?
False
Let u be (3 - 1)*((-9)/(-6))/1. Suppose -u*y - 7193 = -4*f, 0*y - 1 = -y. Is f composite?
True
Let f(b) = 6*b**2 - 4*b - 5. Suppose -5*k + 3*s = -72, 5*k - 74 = s - 0*s. Is f(k) prime?
False
Suppose 2428 = -2*v + 3*x, 0*v + 3*v + 3672 = -3*x. Let r = 3606 + v. Suppose r = -4*b + 6182. Is b composite?
True
Suppose 5*g - 9546 = 13879. Is g prime?
False
Let a(x) = x**3 - 15*x**2 + 17*x + 8. Let v be (1 + -1)/(11 - 12). Suppose -3*y + s + 46 = v, 2*s + s = -3. Is a(y) a composite number?
False
Suppose -6*w = -0*w. Suppose -5*p = 3*t + 2*t - 8650, w = p + 3. Is t a prime number?
True
Let h = -212 + 745. Is h a composite number?
True
Let z(n) = 7557*n**2 - 2*n. Is z(1) a prime number?
False
Let f(k) be the second derivative of -1/20*k**5 + 965/2*k**2 + 1/6*k**3 + 0 + 0*k**4 + 4*k. Is f(0) prime?
False
Let a(x) = x - 15. Let j be a(-6). Is j/(-28) + (-2585)/(-4) a composite number?
False
Suppose 5*g - 60159 = -o, -2*g - 2*g = -5*o + 300911. Is o prime?
False
Suppose 2*s + 2*h + 18 = -2*h, 0 = -h - 3. Is (-9 - s) + 4 + 382 + 1 prime?
False
Let f be (-4)/(-1)*13678/8. Let r = 10066 - f. Is r prime?
False
Let a = -21 + 35. Suppose -4*k = -a - 2. Is -1 - -2 - (-33 - k) composite?
True
Suppose 3*k - 4*k + 7 = 0. Let o be (-1)/2 - (-2)/4. Suppose 0 = -v - k*y + 2*y + 38, o = -2*v - y + 31. Is v a composite number?
False
Suppose -22861 = -5*l + 2*b + 37150, -35997 = -3*l - 2*b. Is l a prime number?
False
Suppose 0 = 2*f + 2676 + 370. Let d = 760 - f. Is d a composite number?
True
Let r = 16068 + -4955. Is r a composite number?
False
Let k be (-3)/(-2) - (-63)/2. Is 18*k/3 + -4 composite?
True
Let p = -17207 - -27986. Suppose l = 3*x - p, 0*x + 5*l + 10779 = 3*x. Is x a composite number?
False
Let k(d) = 6*d**3 - 10*d - 1. Let s be k(4). Is s - (128/56 - (-2)/(-7)) prime?
False
Let p = -100 - -167. Is p composite?
False
Let f = -54 - -37. Let d be (f/(-3))/((-7)/(-609)). Let m = d + -200. Is m prime?
True
Suppose -2*j = -2*r - 25444, -r - r - 63607 = -5*j. Is j composite?
False
Let m(x) = 6*x**2 - 3*x - 1. Let g(f) = 6*f**2 - 4*f - 1. Let y(j) = -3*g(j) + 4*m(j). Let i be (1 - 3)/((-3)/(-3)). Is y(i) a composite number?
False
Let o(v) = 51*v**2 + 2*v - 9. Let k be o(-7). Let n = 4235 - k. Is n a prime number?
True
Let x(r) = r**2 + 5*r + 6. Let s(o) = 4*o + 5. Let p(g) = -5*s(g) + 4*x(g). Let f be p(1). Is 1/f - (-13140)/27 prime?
True
Suppose -2*v = -5*i - 126462, -7*v - 189735 = -10*v - 3*i. Is v composite?
False
Suppose 4*v - 293640 = -4*l, -4*v + 4*l + 314218 = 20586. Is v a composite number?
True
Let f be (7 + 3)/(-5) + 660. Let h = f + -401. Is h a prime number?
True
Is (-1)/(-1 - 0) + -7 - -37787 a composite number?
False
Is (-168008)/(-8)*5/(0 - -5) composite?
False
Let g(s) = 112*s - 15. Let u be g(-9). Let m = u - -377. Let y = -92 - m. Is y a composite number?
True
Suppose 0 = 5*m - 1358 - 657. Suppose 2*v = -0*j - 3*j + m, 0 = 2*v - 10. Is j a prime number?
True
Let m(p) = 703*p + 56. Let k be m(1). Let i = 1537 - 309. Let r = i - k. Is r prime?
False
Let f = 4 - 1. Suppose 5*m - 2*p - 1438 = 3*m, 1440 = 2*m - f*p. Is m a composite number?
True
Let w = 47 + -42. Suppose 0 = -3*o - 5*x + 1272, -5*x - 2756 = -w*o - 676. Is o composite?
False
Let c be -2 - (-60)/25 - 31047/5. Is c/(-14)*(3 + -1) prime?
True
Let u(x) = x**3 + 40*x**2 + 81*x - 83. Is u(-34) prime?
True
Suppose -66 = -m + 30. Suppose -7*k + 5*k = -m. Let s = k - 11. Is s a prime number?
True
Let m = 26453 + -3058. Is m a composite number?
True
Suppose 2*k + 6 = 0, 0 = -3*j - 0*j + 4*k + 1818. Let g = j + -61. Is g a composite number?
False
Suppose -4*r - 99 = -15. Let o be (-12)/r*(-5 + 12). Suppose l - 2*a = 55, l - 49 = -0*l - o*a. Is l composite?
False
Let z be -5 + 0 + 4 + 21. Suppose -5*x + z + 5 = 0. Suppose -m + 92 - 1043 = -x*j, -3*m = 4*j - 776. Is j a composite number?
False
Suppose 3*k + 27 = 5*u - 2, -3*k = 2*u + 1. Is (-56)/6*k/4 composite?
False
Suppose 5850 = 5*w - 5*r, -4*w = -0*w + 2*r - 4656. Suppose -2*b = -4*b + w. Suppose -148 = 5*v - b. Is v composite?
True
Let c(u) = -5*u**2 - 6*u + 37. Let v(o) = o*