 w a prime number?
True
Let y be 1*(-4 + 2 + 2). Suppose y*a + 4 = 2*a. Suppose -86 = -a*x - l + 19, 0 = 4*x - 4*l - 240. Is x composite?
True
Suppose 16*x = -14539 + 123387. Is x composite?
False
Let b = -4334 + 7743. Is b a composite number?
True
Let z(t) = 4*t**2 - 7*t + 35. Is z(52) composite?
False
Let r(j) = j**3 - 4*j**2 - 5*j + 7. Suppose 54 = -3*z + 2*s, 0*z + 4*s = 5*z + 90. Let i be 4/18 - 86/z. Is r(i) a prime number?
True
Suppose -11*p = -0*p + 121. Let q(d) = 19*d + 34. Let h(s) = 6*s + 11. Let l(t) = -7*h(t) + 2*q(t). Is l(p) a prime number?
False
Suppose 6*x - 25 = x. Suppose -74*p + 71*p + 12 = 0. Suppose -2*n = -2*t - 26, -p*t = -4*n - x*t + 62. Is n composite?
True
Suppose -11 + 16 = x. Suppose -x*f + 2240 = 2*y, 3*f - 4 = f. Is y prime?
False
Suppose 0 = 2*y + 2*d - 8, 2*y = 7*y + d. Let b be 2/(-1 + y) - -71. Suppose -3*j + 42 = 2*p, -j + 2*p = 4*j - b. Is j composite?
True
Suppose -3*o + 15195 = -54*r + 50*r, -2*r + 25351 = 5*o. Is o composite?
True
Suppose -2*u - 2*u + 20 = 0. Let s be ((-2)/4)/(u/1330). Let o = s - -366. Is o a prime number?
True
Let d(u) = u - 5. Let f be d(5). Let c = -12 + f. Let j(m) = m**3 + 14*m**2 + 17*m + 5. Is j(c) composite?
False
Let c be (0/1)/(9 + -11). Suppose -5*a - 3*j - 90 + 587 = c, -a = 3*j - 109. Is a composite?
False
Suppose 3*n = 4*z - 1 - 2, 3*n = 2*z - 3. Suppose z = -3*w - 2*r - 0 - 1, -2*r - 7 = w. Suppose 0 = w*x - 5*m - 160, m = 4*m - 3. Is x prime?
False
Is (-17998)/(-6)*1065/71 composite?
True
Let r be (-1)/(-6) + (-7144)/(-48). Let m be r + (-2 - -2)/3. Let n = m + -70. Is n a prime number?
True
Suppose -5*l - 3354 = -12089. Suppose 3*c - 1154 - l = 0. Is c a composite number?
False
Suppose -27*j = -43*j + 24688. Is j prime?
True
Suppose 0 = -3*o + 8*o + 35. Let d(k) = 25*k + 16. Let r(i) = 50*i + 31. Let a(y) = 7*d(y) - 4*r(y). Is a(o) composite?
False
Let a be (3 + -299)*((-21)/(-2) - 2). Is -3 - (0 + 0) - a a composite number?
True
Let g be ((-7)/4 + 2)*12. Let h(x) = 2*x + 20. Let i be h(-8). Suppose -3*j + 9 = 0, i*l + g*j = 6*l - 1301. Is l composite?
True
Let m(k) = k**3 + 10*k**2 - 8*k - 6. Let v be m(-11). Is 22007/13 + (-6)/v prime?
True
Let w be (-2)/((-2)/(-1))*-2692. Suppose 2*s - 3*r = 3*s - 1341, -r + w = 2*s. Is s prime?
False
Suppose 3 = m - g + 11, 35 = -4*m + 5*g. Let a(r) = -r - 2*r**2 + r + 0*r**3 - r**3 + 2*r + 2. Is a(m) prime?
True
Suppose -5*c = 5*o - 40, -4*c + 0*o + o + 12 = 0. Suppose 0 = 5*h, 3*h = c*x - x - 483. Is x a prime number?
False
Is (-51)/(-85) - (-1224)/10 a composite number?
True
Let w be (2/(-2))/((-513)/(-257) + -2). Let a = w + -135. Is a composite?
True
Suppose 3*j + 2*w + 2 = 12, -2 = j + 2*w. Suppose -y + j = y. Suppose y*v - 21 = -3. Is v composite?
True
Let d be (((-3)/1)/9)/((-2)/12). Is 6 + 2319 - (d - -2) composite?
True
Suppose 5*a = 3*w - 683, 8*w = 9*w + 2*a - 224. Is w a composite number?
True
Suppose 0 = -2*k - 2*d + 834 + 2676, 0 = 5*k + 2*d - 8787. Is k a composite number?
False
Let o(p) = -25*p**2 + 7*p - 1. Let y be o(-7). Let l = y + 2193. Suppose -4*a = 4*f + a - 1223, -l = -3*f - 3*a. Is f a composite number?
False
Let p(a) = -a + 1. Let x be p(3). Let k be x/((-16)/(-20))*-2. Suppose -4*w - k*j = -1, 4*w - 10 + 0 = -2*j. Is w composite?
True
Let b = 6 + -8. Let a = 17 - 172. Is (4/b)/(10/a) composite?
False
Let z be -3*(-6)/9*-5. Is 2/2 + 796 + z prime?
True
Suppose 0 = -2*b - 30 + 4. Let j = b + 119. Suppose -2*k = 4*i - 394, k = i + 12 - j. Is i prime?
True
Suppose -5*h + 2*h = -2940. Suppose 3*b - 5*s - h = 925, 3*b = -5*s + 1905. Is b a composite number?
True
Let y = -331 + 535. Let j = 169 + y. Is j a composite number?
False
Let g(r) be the first derivative of 63*r**2/2 - 43*r + 2. Is g(10) a composite number?
False
Suppose 0 = -137*z + 145*z - 108392. Is z a composite number?
True
Let w = 37 - 21. Suppose 508 = 9*y - 923. Let t = y - w. Is t composite?
True
Let l = -5062 - -10323. Is l prime?
True
Suppose 5*j = 3*j + 3912. Let a = j - 1069. Is a a composite number?
False
Suppose 4*a - 33 = -21. Is (-1)/((-14)/5348*(a - 1)) prime?
True
Let b(n) = n**3 - 2*n**2 + 3*n - 5. Let g be b(2). Let r be 0 - -1 - g - 190. Let w = r - -404. Is w composite?
True
Let j be (-20)/(-70) - (-173)/7. Let a = j + -1. Is (-16)/a + 671/3 prime?
True
Suppose 0 = j + 3*x - 104653, -69926 = -2*j + 2*x + 139380. Is j composite?
True
Let w = 17 + -6. Is w a composite number?
False
Let t = 84 + 10247. Is t composite?
False
Let d(l) = -43*l. Let f(t) = -42*t - 1 + 1 - 1. Let r(a) = -3*d(a) + 4*f(a). Is r(-2) a composite number?
True
Let v = 1052 - -1357. Let y = v - 1096. Is y prime?
False
Suppose -o - 49946 = -27*o. Is o a prime number?
False
Let k(f) = 2*f**2 - 9*f + 12. Let z be k(2). Suppose n = d - 1116, -6*d + z*n = -5*d - 1117. Is d a composite number?
True
Let r = 19 + -15. Let n be r/(-14) + 96/42. Suppose n*x = w + 298, -2*x - w - 149 = -3*x. Is x a composite number?
False
Is 5*((-39873)/(-15) - 4) composite?
True
Suppose -1017 + 87 = 5*x. Let w(u) = u**3 - 30*u**2 - 11*u + 5. Let i be w(30). Let k = x - i. Is k a composite number?
False
Suppose -2*k = 3*w - 614655, 0 = -0*w + 4*w - 3*k - 819523. Is w prime?
False
Let t(r) = r. Let m(x) = -32*x + 40. Let f(w) = -m(w) + t(w). Let p be f(17). Is (2/(-2))/((-1)/p) a prime number?
True
Let l = 3 + 2. Let t(n) = -n**3 - 3*n**2 - 7*n - 6. Let b be t(-4). Is b/1 - (l + -2) prime?
False
Let k be (-2)/(2/(-1) + 489/243). Let w = k + 661. Is w a prime number?
True
Let r(x) = x**3 - 4*x**2 - 6*x + 10. Let l be r(5). Suppose i - 66 = -5*z, 2*i + 3*z - l*z - 96 = 0. Is i a composite number?
True
Let y(x) be the first derivative of -x**2/2 - x - 1. Let z be y(-4). Suppose z*q = l - 50, l - 2*q = -2*l + 171. Is l a prime number?
True
Suppose 7 - 27 = -5*p. Let n = 1254 - 554. Suppose 0*q + p*q - 4*d - n = 0, 5*q = 4*d + 877. Is q composite?
True
Let n(m) be the third derivative of 91*m**5/60 + 5*m**4/24 - 7*m**3/6 - 24*m**2. Is n(6) prime?
True
Let s(w) = -94*w - 3. Let d be 2/4*(5 - 3). Suppose -4*y - 5*j - 1 = 0, -5*j - d = 2*y - 8. Is s(y) a composite number?
False
Let g = -14 - -18. Suppose 0*i = i - g. Is 6/i*2224/24 prime?
True
Suppose 3*x - 2*n - 6379 = 0, -4*x + 5*n + 1029 = -7467. Is x composite?
False
Suppose -13*r - 310 = -18*r. Suppose 0 = -5*u + 3*u + r. Is u a composite number?
False
Suppose 0 = -3*s + 5*v + 38518, -7*s + v + 64204 = -2*s. Is s a prime number?
True
Suppose 3*y = 4*y + 5. Is ((-2235)/(-12))/y*-8 composite?
True
Let j = 34775 + -36. Is j composite?
False
Let h(r) = 90*r + 55. Let v(j) = -j**3 + 13*j**2 + 13*j + 12. Let z be v(14). Let o(k) = 18*k + 11. Let s(p) = z*h(p) + 11*o(p). Is s(8) a prime number?
False
Let s = 13454 + -8307. Is s a composite number?
False
Suppose -422 - 8091 = -k. Is k a prime number?
True
Let r(n) = -9*n**3 + 2*n**2 + 8*n + 20. Is r(-7) a prime number?
False
Suppose 0 = 7*m - 64 + 169. Let u(j) = -94*j - 49. Is u(m) a prime number?
True
Suppose v - 194 = -f, -4*f - 3*v + 620 = -151. Let x be f + -4 - (-1 - 0). Suppose -26 - x = -4*q. Is q composite?
False
Suppose 2717 = 2*r - 3*c, 4*r = -3*c - c + 5424. Is r a composite number?
True
Suppose 12339 = 5*x + 144. Let w = x + -1738. Is w prime?
True
Let g = -18045 - -30994. Is g a prime number?
False
Suppose -1 = 2*f + 33. Let g = -9 - f. Suppose 4*k - 4*v = -0*k + 1500, -2*v = g. Is k a prime number?
False
Is (-15)/((-75)/13474)*5 prime?
False
Let o = -28 + 30. Suppose 21 = -o*d - 3*i, -i + 22 = -3*d + 4*i. Let x = d - -19. Is x composite?
True
Let k be ((-22728)/(-36))/((-4)/(-6)). Let m = 1734 - k. Is m a composite number?
False
Let g = -86 - -2747. Is g prime?
False
Let x(a) = a**3 - 2*a**2 + 3. Let g be x(0). Is (2 - g - 2) + 191 - -3 prime?
True
Let l = -17044 + 31325. Is l a composite number?
False
Let o be 5 + -2 - (-1 - 18). Suppose -2*q + 4*n + o = 0, -3*n + 2 = -q + 14. Is 803/q + 6/(-27) composite?
False
Is 1003639/182 - 2/(-4) composite?
True
Suppose 23*v - 84141 = 14*v. Is v a composite number?
False
Let k = 1 + 2. Suppose -4*p + 46 = 5*d, k*p - 2*p = 3*d - 31. Is ((-12)/d)/((-4)/670) a composite number?
True
Suppose 0 = 5*r - 85 - 120. Suppose 3*j - r - 118 = 0. Is j prime?
True
Let l = -12 + 8. Is (8 - 1)/(l/14644*-7) prime?
False
Suppose 9*z = -3*z + 49260. Is z pri