7). Let a be -2 + c + -1 - -5. Suppose -a*j + 1095 = -640. Is j composite?
False
Let v be (-1)/2*(2 - 46). Suppose 4*o = 2*o + v. Suppose -o - 68 = -x. Is x a prime number?
True
Let g = 5234 - 3277. Is g composite?
True
Let d be (-2)/(-11) - (-4)/(-22). Suppose u + 3 = 0, 5*u + 13 = -i - d*i. Suppose -m = 2*f - 517, f = 6*f - i*m - 1279. Is f a prime number?
True
Let r = -8818 - -20153. Is r a prime number?
False
Let i be ((-3)/(-2))/(-12*(-3)/192). Is 8352/10 - i/40 a composite number?
True
Let w(k) = 29*k**3 + 4*k**2 - 4. Let t be w(3). Suppose -8*u + 3*u = -t. Is u a composite number?
False
Let q(j) = 271*j + 4. Let v be q(7). Let z = v + -1024. Is z composite?
False
Let j(u) = -u**2 + 10*u - 13. Suppose 0*c = -2*c + 18. Let h be j(c). Is (h + 8)*367/4 a prime number?
True
Let v be 36/81*(-18)/(-4). Suppose -4*p = -v*p - 174. Is p a composite number?
True
Let l = -120 + 414. Suppose -l + 972 = 3*u. Suppose 0 = i + i - u. Is i composite?
False
Let k(z) = -13*z + 12. Let a be k(-6). Let y = -54 + a. Let w = y + -22. Is w a composite number?
True
Suppose 3 = p + 8. Let s(a) = -15*a**2 + 2*a - 8. Let v be s(p). Let x = 550 + v. Is x a prime number?
True
Suppose -4*m = -5*p, -5*m - p = 4*p - 45. Suppose 5*b + 3*c + 2*c = 1785, m*b - 5*c = 1765. Is b a composite number?
True
Let g(l) = -l**2 - 17*l - 14. Let k be g(-16). Is (-12 + 713)/(2/k) composite?
False
Let k = 1 + -8. Let h(r) = -45*r + 8. Let s be h(k). Suppose -5*u + 1599 = -2*i - 0*i, 0 = u - 2*i - s. Is u prime?
False
Suppose 2*f = -h - 2*f + 3599, -3*h - 4*f + 10829 = 0. Suppose -a = 4*a - h. Let c = -488 + a. Is c prime?
False
Let s(i) = i**3 + 2*i - 1. Let n be s(1). Suppose -5*j + 3*m + 341 = 0, -3*m - n*m + 258 = 4*j. Let x = j - 30. Is x a composite number?
False
Let x(a) = -1216*a + 37. Is x(-10) a prime number?
True
Let r(z) = 21*z**2 + 13. Is r(6) composite?
False
Let g(b) = 9*b**2 + 41*b + 59. Is g(42) a composite number?
False
Suppose -4*m - 4*l - 4 + 72 = 0, m - 18 = -2*l. Let f(t) = t**3 - 9*t**2 - 3*t - 1. Let v be f(9). Is (-2 - v/m)*-356 prime?
True
Suppose b + 12 = 46. Suppose -5*f = -b - 1. Suppose 0 = -4*q + f*q - 435. Is q composite?
True
Suppose 14*d - 41379 = d. Is d prime?
False
Suppose -4*s = -92 + 4. Let g = s + -12. Is g composite?
True
Suppose j = -4*g + 1957, -3*g = -5*j - 7*g + 9753. Is j a composite number?
False
Let y(p) = 20*p**3 - 4*p + 2. Let a be y(3). Let n = a - -129. Is n prime?
True
Let p be -5*(1 + -2)*37. Let g(q) = -q**2 + 2*q + 27. Let k be g(-4). Suppose 3*d = h + 54 + 143, k*d - p = -5*h. Is d prime?
False
Let q(u) = u**3 + 4*u**2 - 2*u - 6. Let x be q(-4). Let i be (-2 - (-18)/4)*x. Suppose 0 = -i*r - 4*z + 717, 3*r - 417 = -0*z + 2*z. Is r a composite number?
True
Suppose 0 = -16*y + 25*y - 54063. Is y a composite number?
False
Suppose -2*i = -3*i + 67. Let m = 70 - i. Is m prime?
True
Let x(h) = -149*h + 279. Is x(-20) prime?
True
Let t(n) be the second derivative of 1207*n**4/12 + n**3 - 3*n**2/2 - 39*n. Is t(2) prime?
False
Let u(l) = -l**3 - 7*l**2 - 4*l - 17. Suppose 17*y + 27 = 16*y. Let v = y + 20. Is u(v) composite?
False
Let v(h) = 11*h**2 + 3*h - 3. Let a(j) = 12*j**2 + 4*j - 3. Let k(w) = -2*a(w) + 3*v(w). Suppose 0 = 3*g - 6*g + 12. Is k(g) composite?
True
Suppose s = 4*i - 73049, -7*i + 5*i - 4*s = -36538. Is i a prime number?
False
Let m = -3 - -3. Suppose -2*r - 3161 = -5*a, 0*a = -4*a - 5*r + 2542. Suppose m = 2*p + p - a. Is p a prime number?
True
Let u(o) = o**3 + 20*o - 13. Is u(6) composite?
True
Let w(a) be the third derivative of -a**4/8 + 3*a**3/2 + 5*a**2. Let c be w(3). Suppose -3*z + 3 = 0, c*q + z - 599 = -2*q. Is q a prime number?
False
Let y(t) be the second derivative of 8*t**3/3 - 25*t**2/2 + 5*t. Is y(8) composite?
False
Suppose 3*b - 5*a - 56271 = 39638, -5*b + 159871 = 3*a. Is b prime?
True
Suppose -84 = -7*p + p. Let o = -17 + p. Is (2/(-6))/(o/117) a prime number?
True
Let w(p) be the second derivative of p**4/2 - 3*p**3/2 - 8*p**2 + 34*p. Is w(11) a prime number?
False
Suppose -5*n = -2*n - 12, w = -3*n + 2191. Is w composite?
False
Let a(z) = -235*z + 7. Suppose 3*y + g - 8 = -31, y = 4*g + 14. Is a(y) prime?
False
Let f = 5145 - 2123. Let d = -848 + f. Is d prime?
False
Let d = 34 - 31. Suppose 0 = m - d, 5*m = 4*g - 0*m - 4129. Suppose 0 = -a + 5*a - g. Is a a composite number?
True
Let j(l) = -l - 7. Let v be j(-7). Let c = 209 + 28. Suppose -3*b + 0*b + c = v. Is b a prime number?
True
Suppose -5*r = -5*q - 45, 10*r - 5*r = -2*q - 39. Let c be q/16 - 15/(-4). Suppose -4*n - 4*y = -1500, c*n = y + 118 + 991. Is n composite?
True
Suppose -n - 4 = -2*a + 4*n, 3*a - 4*n + 1 = 0. Let o(h) = -24*h**3 + 3*h**2 + 4*h - 4. Is o(a) a composite number?
False
Let n = 1065 + 838. Is n a composite number?
True
Let l(p) = -3*p**2 + 3*p - 1. Let m be l(2). Let n = 9 + m. Suppose n = -y + 129. Is y a composite number?
False
Suppose -49*y + 84085 = -44*y. Is y a prime number?
False
Suppose -67*w = 6*w - 457053. Is w composite?
True
Suppose c - 9 + 7 = 0. Let x be (-32)/(-12)*(-3)/c. Is ((-154)/(-33))/(x/(-174)) a composite number?
True
Suppose -5*l + 4 = -3*l. Suppose -l*u - 4069 = -3*f, -f + 2*u = -u - 1361. Is f a composite number?
True
Let d = 244 - 53. Is d a prime number?
True
Let r(j) = 4*j - 1. Let t be r(1). Let p be (-692)/t - (-6)/9. Let b = -117 - p. Is b a prime number?
True
Let r(s) = 1. Let n(l) = -345*l + 15. Let d(z) = -n(z) + 2*r(z). Is d(2) a composite number?
False
Suppose 4 = i + 1. Let u be 1754/(-6) - i/(-9). Let s = u + 503. Is s prime?
True
Is ((-582)/(-18))/(0 - (-6)/90) a prime number?
False
Suppose -2*i + 9*q - 6*q + 10288 = 0, 5*i + q = 25737. Is i a prime number?
True
Suppose 0 = 5*c + 2*w - 80617, 18*c - 3*w = 14*c + 64489. Is c a composite number?
True
Let x be (1 - 1) + -13 + 12. Is (-4984)/(-5) - x/5 prime?
True
Let o(i) = 79*i + 2. Let r be o(7). Suppose -g + r = 27. Let n = -371 + g. Is n a composite number?
False
Suppose 0 = 2*q + 5*f - 0 - 5, -3 = -3*f. Suppose -3*p + a + 2972 = q, 2*p = -p + 3*a + 2982. Is p prime?
False
Suppose 4*l = -5*f - 152, 5*f - 7*f - 72 = -4*l. Is (56768/f)/((4/3)/(-2)) prime?
False
Suppose -2*i + 8 = -0*i. Suppose -208 + 28 = -i*j. Suppose 0 = 4*q - j - 31. Is q a prime number?
True
Suppose -4*v = -5*h - 18, 2*h + 14 = 4*v - h. Suppose -v*d = -0*d - 374. Let i = d + -98. Is i composite?
False
Is (5 + (-3677)/(-2))*(14 - 12) a prime number?
False
Suppose 3*d - 1 = -10. Is d*(-5)/(75/13945) a composite number?
False
Let j(m) = -m**3 + 5*m**2 + 8*m + 11. Is j(-3) a composite number?
False
Let v(p) = 125*p - 4. Let u be v(2). Suppose -u - 156 = -3*h. Is h a composite number?
True
Let y = 1908 - -1209. Is y a composite number?
True
Suppose 5*u = -q + 11135, -12*u + 3*q = -7*u - 11135. Is u composite?
True
Suppose l + 4*l - 4*z = 14, 4*z = 3*l - 10. Suppose 2*v - 5*j = 798, 2*j + 794 = 2*v - l*j. Is v a composite number?
False
Let t(x) = 151*x**3 + x**2 + x - 1. Is t(2) composite?
False
Let q(o) = -o + 1. Let j be q(7). Let m(y) = 4*y**3 + 7*y**2 - 7*y - 11. Let r be m(j). Is r/(-3) + (-2)/(-6) prime?
False
Is (2/(-6))/((-66)/2348874) prime?
True
Let s(o) = o + 15. Let r be s(-11). Suppose -m + r = -0*m. Suppose 1 - 437 = -m*j. Is j a prime number?
True
Suppose -3*v - 21 = -4*j - 0*j, -4*j + 15 = -v. Suppose j = -4*x + 11. Suppose 2*s + x*s - 508 = 0. Is s prime?
True
Let j = 27 + -21. Let d be ((-39)/12)/(j/(-120)). Suppose 0 = 2*l - d - 357. Is l a prime number?
True
Let s = 8 + 2. Suppose -45 = s*j - 5*j. Let y(p) = -p**3 - p**2 + 4*p + 1. Is y(j) a prime number?
True
Is 308/(-88)*(-1418 + 0) composite?
True
Let l = -24 - -13. Is (-7)/((-7)/1950) - (l + 7) composite?
True
Let q(j) = -214 - j + 585 - 2*j. Is q(0) composite?
True
Let u = -830 + 465. Let x = 526 + u. Suppose 3*b = -p + 573 - x, 2046 = 5*p + b. Is p composite?
False
Let o = -2086 + 4445. Suppose -o = -11*b + 4*b. Is b a composite number?
False
Let p = -32338 + 50855. Is p a prime number?
True
Let w = -20392 - -33305. Is w a prime number?
False
Is (3/18*-47942)/(25/(-75)) composite?
False
Suppose -3*c + 0*c = -4917. Is c a composite number?
True
Suppose -3*p - u = -5470, -2*p - 2*p = 2*u - 7294. Is p prime?
True
Let p(r) be the first derivative of 5/2*r**2 + 4 + 1/3*r**3 - 2*r. Is p(-9) a c