674. Suppose 3*u - 4*u = 5*x - y, 4*u - 20008 = -4*x. Is x a prime number?
True
Suppose -5*m - 106*r = -105*r - 2820033, -5*r = m - 563997. Is m composite?
True
Suppose 0 = -2*w + 43 + 75. Suppose -w*d + 19506 = -53*d. Is d prime?
True
Let s(k) = -k**3 - 7*k**2 - 18*k. Let v be s(-5). Suppose -v*m = -0*m - 711320. Is m a composite number?
False
Let k = 7864 + -778. Let x = k + -4253. Is x composite?
False
Let b(p) be the first derivative of 56*p**3/3 + 6*p**2 - 19*p - 191. Is b(-20) composite?
True
Let z be 2/(-6) - 56/(-42). Let v(r) = 219*r**2 + 3*r + 1. Is v(z) a prime number?
True
Suppose 23*l - 45504 = 19*l. Suppose -5*v + 1966 = -3*d - l, 0 = 3*v - 4*d - 8003. Is v a composite number?
True
Suppose -157339 = -8*z - 11*z. Suppose 3*g = z + 12458. Is g prime?
False
Let a be (-15)/(-30)*(0 - -3)*-8. Let k(z) = -4*z**3 + 12*z**2 - 2*z + 19. Is k(a) a composite number?
True
Let j(n) = 4994*n**3 + 6*n**2 - 42*n - 13. Is j(3) a composite number?
False
Let l = 144458 - 69897. Is l prime?
True
Is (-1)/5*(-295)/472 - 34598190/(-16) prime?
True
Let z(t) = -7*t + 51*t**2 + 38*t**2 + 7*t**2 - 22*t**2 + 46. Is z(11) a prime number?
True
Let v be ((-9)/(-45))/((-1)/(-115)). Suppose -v*s = -24*s. Suppose 3*c + 401 = t, 4*t - t + 5*c - 1175 = s. Is t composite?
True
Suppose 16 = -2*p - 4*o, 5*p + 8 + 8 = 2*o. Let h be -14*p/(40/15815). Suppose h = 4*q + 3*q. Is q prime?
True
Suppose -395*u - 438376 = -205*u - 198*u. Is u a composite number?
True
Let w(a) = -a + 1. Let q(n) = 3594*n - 5. Let i(l) = -q(l) - 3*w(l). Is i(-1) composite?
False
Let s(i) = -2*i**3 - 25*i**2 - 17*i + 19. Let y be s(-16). Let h = y + -1016. Suppose 0 = -5*f + 3*n + 2639, 0 = -2*f - 2*n + 7*n + h. Is f a composite number?
True
Let w(a) = -502*a + 1. Let n be w(-14). Suppose n = 4*t - t. Suppose -12*y = -15*y + t. Is y prime?
False
Suppose 15*t - 38*t + 2469519 = -14*t. Is t composite?
True
Let p(d) = d**3 + 2*d**2 - d + 9. Let z be p(-3). Suppose 2*g + z*r = 1070, -8*r + 7*r = 2*g - 1078. Is g a composite number?
False
Suppose 5*v + 5*x - 241430 = 0, 6*x + 193159 = 4*v + 5*x. Let q = -23500 + v. Is q prime?
False
Suppose 0 = -p - 21*p + 40*p - 133542. Is p a composite number?
True
Let m = 9279 - -7298. Let n = -8596 + m. Is n prime?
False
Let i(h) be the second derivative of 11*h**3/3 + 17*h**2/2 + 30*h. Let n(v) = -v + 1. Let u(j) = i(j) - 3*n(j). Is u(17) prime?
True
Suppose -9*g + 4*g = -2*b + 318200, 2*g - 795413 = -5*b. Is b a prime number?
False
Let m be (-605)/(2/(-5)*(-15)/(-12)). Suppose 0 = -5*j - m + 3330. Let l = -221 + j. Is l prime?
False
Let k(l) = -l + 5. Let q be k(5). Suppose -4*j + 3*z + 69862 = q, 36081 = 3*j + 2*z - 16324. Is j composite?
False
Let d = 30829 - 19233. Suppose 16*s - 36188 + d = 0. Is s composite?
True
Suppose 0 = 3*i - 2*g - 10101413, -5481658 - 11354032 = -5*i + 3*g. Is i prime?
True
Let f(p) = -p**3 - 13*p**2 - 14*p - 11. Let j be f(-7). Let o be -2*2/(-4) + -129. Let x = o - j. Is x a prime number?
True
Let q = 71 - 56. Suppose 0 = -6*m + 9*m - q. Suppose -m*x + 234 = -2*z + 59, -2*x = z - 79. Is x a prime number?
True
Let m be 296 + (56/(-24) - 1/(-3)). Suppose 4330 + m = 3*h - 5*a, -1546 = -h - 3*a. Is h composite?
False
Let n(t) = -2*t**3 + 15*t**2 + 33*t + 21. Suppose -8*r - 2*r = 130. Is n(r) prime?
True
Let n(r) = -r**3 + 2*r**2 - 9*r - 17. Let w be (50 + -32)/(0 - 2). Is n(w) a prime number?
False
Suppose 0 = -5*q + 2*r + 75276, -5*r - 112114 = -5*q - 36844. Let i = -8059 + q. Is i a prime number?
True
Let f = 32 - 30. Let o(k) = -2*k**2 - 25*k + 9*k**f + 45*k**3 + 14*k + 4. Is o(3) a composite number?
False
Suppose 2*z + 2*b = -2*b, 5*b - 22 = 3*z. Is (-3)/z - (8 + (-17282)/8) a composite number?
False
Let k(u) be the third derivative of 1/6*u**3 + 1/8*u**4 + 0*u**5 + 0 + 0*u - 15*u**2 + 1/120*u**6. Is k(4) a composite number?
True
Suppose 3*r - 4253751 + 855139 = -25*r. Is r a composite number?
False
Let c(p) = -8 + 9*p - 60*p**3 + 18 + 7*p - 6*p - 2*p**2. Let s be c(-3). Is -2 + ((-6)/(-4) + 0)*s composite?
False
Let b be (112/(-147))/(-8) + 23770/21. Suppose 574 = 2*x - 2*w, 3*w + 0*w = -4*x + 1176. Suppose -b = -y + x. Is y composite?
False
Let l(i) = i**3 + 23*i**2 + 16*i - 130. Let j be l(-22). Suppose -2*b - b = -5*q - 11263, -4*b = j*q - 15052. Is b composite?
False
Let j(d) = 38*d**2 - 81*d - 829. Is j(-10) a composite number?
True
Let a = 364975 - 42942. Is a a prime number?
False
Let l(p) = p**2 + 18*p + 84. Let c be l(-9). Let y = 18 - 8. Suppose -y*b + 4438 = -c*b. Is b prime?
False
Let i(y) = -164*y**2 + 5*y + 26. Suppose -2*u = k + 2*u - 5, -2*k + 4*u = 38. Let f(w) = -33*w**2 + w + 5. Let o(q) = k*f(q) + 2*i(q). Is o(-2) a prime number?
True
Suppose 1898 = w + 4*d - 1112, -w = -2*d - 3016. Let a = w - -975. Is a prime?
True
Let l(a) = 102*a + 17. Suppose 0 = 47*v - 54*v + 112. Is l(v) a prime number?
False
Let m be (-12*3/(-45))/(2/(-9930)). Is ((-28)/12)/(3 + 11920/m) a prime number?
False
Suppose -3*q + 2*q = -341. Suppose 0*x = -x - 4, -2*h - 3*x = -5400. Suppose h - q = 5*u. Is u a composite number?
True
Suppose 3109923 + 11750739 + 12529118 = 220*d. Is d prime?
False
Let q(h) = h**2 - 14*h + 26. Let n be q(12). Is 8287 + (5 + -5 + -1)*n prime?
False
Suppose -7*i = -0*i + 150103 - 757304. Is i a prime number?
True
Is (22/(-88) + (-732369)/12)*-1 prime?
True
Let k = -13376 - -26332. Let g = -13 - -17. Suppose -2*m - k = -4*p - 3690, 9263 = g*p - 5*m. Is p composite?
True
Suppose 3*j = 2*y + 32, -4*j + 18 = -2*y - 28. Let s be (-8)/2 + 0/(j/7). Is -131*4/(-4) + s composite?
False
Let m(h) = 3*h + 24. Let s be m(-8). Let w = -6 - -10. Is s/1 - (-141 - w) prime?
False
Let p = 335 + -337. Is (-44)/11 - (-45061 - p) prime?
False
Let z = -10005 - -55742. Is z a prime number?
True
Let r(g) = -128*g + 37. Let u be r(-25). Let j = u + 4016. Is j composite?
False
Let v be 14955024/476 - 2/17. Suppose v = 14*y - 7404. Is y composite?
True
Let h(m) = -9*m - 82. Let q be h(-16). Suppose q*j - 3793 = 61*j. Is j prime?
True
Suppose -63 = -14*n + 21. Let m be n/(-24) + (-82)/(-8). Let u(q) = -2*q**2 + 23*q + 7. Is u(m) a composite number?
False
Let c(y) = -y**3 - 8*y**2 - 12*y. Let k be c(-6). Let l(s) = -5*s + 709 + s**2 + 8*s - 2*s. Is l(k) composite?
False
Let d(s) = -s**3 - 7*s + 8. Let u(y) = -y**3 + y**2 - 6*y + 7. Let w(m) = 3*d(m) - 4*u(m). Let f be w(3). Is (-4722)/4*f/6 a composite number?
False
Let b be ((-108)/81)/(2/3). Let h = b + 1951. Is h a composite number?
False
Let g = 153 + -147. Suppose 60 = 6*q + g*q. Suppose -2*u + 115 = -q*r - 403, -3*u + 2*r = -766. Is u composite?
True
Suppose -5*p = 3*h + 5, 3*p + 34 - 2 = 4*h. Suppose 4*w = -4*f - 0*f + 104336, h*f + 25 = 0. Is w composite?
True
Suppose -8*n = 18470 - 103910. Suppose 3*v + 4*y - n - 73931 = 0, -2*v - 5*y + 56412 = 0. Is v composite?
False
Let w(h) = 1667*h + 1674. Is w(7) prime?
False
Let g(c) = -63935*c - 89. Is g(-2) prime?
True
Is ((-4)/12)/(20/(-16169825 - -5)) a composite number?
True
Suppose 2278 = -2*x - 10204. Let s = -3020 - x. Is s a prime number?
True
Let n = -5528 + 35001. Is n a composite number?
False
Suppose 4*y + 3*r - 981914 = 0, -24*y - 245465 = -25*y - 3*r. Is y a composite number?
True
Let l = -32 + 45. Suppose -3*z = l + 14. Is (35756/(-32))/(-1) - z/(-24) composite?
False
Suppose -4*b = -9*b + 25. Suppose -6 = -3*a - b*z, -2*a + 0*a - 3*z = -4. Is 1516/8*(0 + a) a prime number?
True
Let f be 2 - (-24)/(-10) - (-2)/5. Is f + 1142 + 15/3 a prime number?
False
Let t = -28143 + 9260. Let r = -4030 - t. Is r a prime number?
False
Let o(h) = -h**2 + 19*h + 3. Let z be o(19). Suppose 5*i - z = 22. Is i/15 - (-2044)/6 a composite number?
True
Suppose 0 = -3*n - 9, 3*a - n - 17 = a. Let q(k) be the third derivative of 5*k**4/2 - 11*k**3/6 + 3*k**2. Is q(a) prime?
True
Let j = 25 + -17. Let f be j + -3 - (1 - -2). Suppose 296 = 3*h - p - 692, -1647 = -5*h + f*p. Is h a composite number?
True
Let y(r) = -4 + 4*r - 9*r**2 + 31*r**2 - 10*r**2 - 13*r**2 - 1294*r**3. Is y(-3) a prime number?
True
Let t = -67195 - -149078. Is t a composite number?
False
Let t(o) = 84*o + 335. Is t(-1) prime?
True
Let v(u) = -2*u - 11. Let h(z) = z + 6. Let a(c) = 5*h(c) + 2*v(c). Let l be a(-5). Is l - (15/(-5) + -385) a composite number?
True
Suppose 471*i -