7*m + 28. Let n be q(-4). Suppose 2*o + 336 - 1814 = n. Is o composite?
False
Suppose 5*y = -20, -2*y = 4*o - 6*y - 952. Let q = o - 647. Is (-4)/(-10) - q/5 composite?
False
Suppose -9*r - 10 = -10*r. Suppose r*l - 3*l = 2891. Is l prime?
False
Suppose 632 = 3*k + 3713. Let j = k - -2088. Is j prime?
True
Let p = 129 - -42. Let l = p + 166. Is l composite?
False
Suppose -65*h = -63*h - 40562. Is h prime?
False
Let s be (-31 + 305)*10/4. Suppose -3*j - u + 685 = -2*j, -j + s = -u. Is j prime?
False
Let h be 4 - (3/1 + -123). Suppose -3*q = -q + 3*a - 120, 5*a = -2*q + h. Is q a prime number?
False
Suppose -12*o + 23915 = -7*o. Is o prime?
True
Let l(y) = y**3 - 5*y**2 + y + 5. Let k be l(4). Suppose -116 + 29 = -3*t. Let s = k + t. Is s a composite number?
True
Let n(t) = t**2 - 6*t + 5. Let h be n(4). Let l(o) be the second derivative of 11*o**4/12 - o**3/3 + o**2/2 - 12*o. Is l(h) composite?
True
Suppose -2*f + 2*x + 9 = 3, f - 4*x = 9. Suppose -8 - f = -3*l. Suppose 3*q = -n + 5*n - 242, -l*q = -5*n + 301. Is n a composite number?
False
Let i be 3*((-8)/12)/(-2). Suppose i + 7 = 2*y. Suppose 0 = -y*j - 12, c + 7*j - 116 = 2*j. Is c prime?
True
Suppose a + 0 = -2*r + 5, r - a = 10. Suppose 0*s = r*s + z - 39, -4*s + 3*z = -16. Suppose -1335 = -s*g + 2*g. Is g composite?
True
Let r(t) = -1414*t - 87. Is r(-13) a composite number?
True
Let y = -1185 + 1351. Is y composite?
True
Let a(k) = 3*k. Let v be a(4). Suppose 2*z - 209 = 3*i, v - 4 = 2*z. Let w = i + 186. Is w a prime number?
False
Let i = 3 + -3. Let c be -2*1495/10 + i. Let y = -66 - c. Is y a prime number?
True
Let w(f) = -f**3 - 10*f**2 + 14*f + 25. Let q be w(-11). Is 1086/4*(2 - q/(-12)) a composite number?
True
Suppose 0*j - 51 = 3*j. Let u(k) be the first derivative of -5*k**2/2 + 42*k - 75. Is u(j) a prime number?
True
Suppose 8 = 2*w - 6. Suppose w*d = 2*d - 5, 0 = -3*q - d + 2720. Is q a composite number?
False
Let v(d) = 78*d**2 - 14*d - 2. Is v(6) composite?
True
Suppose 2*g + 0*l = -4*l - 4, -g - 4*l = 8. Suppose -a - 3*a - g = c, 3*c - a = 1. Suppose 3*m - 222 - 15 = c. Is m a composite number?
False
Let a = -337001 + 486131. Is ((-1)/2)/((-45)/a) a prime number?
True
Suppose 4*t + 4*w = t, 5*t - 14 = -2*w. Let s = t - 0. Suppose -5*i + 1009 = -4*u, -5*u - 684 = -s*i + 116. Is i a prime number?
False
Suppose 6*l - 13*l + 4417 = 0. Is l a composite number?
False
Let c = 4794 + -2405. Is c a composite number?
False
Suppose 15 = -3*p - 2*p, 0 = -3*d + 2*p. Is (-4 - d)*(-11338)/4 composite?
False
Let g(w) = -w**3 + 7*w**2 + 6*w - 1. Let l = -9 + -13. Let a = 27 + l. Is g(a) prime?
True
Let c = 2567 - 1822. Is c composite?
True
Let t(m) = 29*m**2 + 3*m + 3. Let r be t(2). Let y = 1036 - r. Is y composite?
False
Suppose 4*s - 22671 = -5867. Is s prime?
True
Let l be (3 + (3 - 6))/1. Suppose 8*m = -l*m. Suppose 5*n + h = -3*h + 190, -2*n + 2*h + 76 = m. Is n a prime number?
False
Suppose 7*f + 11830 = 9*f + 3*g, 0 = 2*f - 2*g - 11850. Is f a composite number?
True
Suppose -13*p = -17*p, -3*k - 2*p + 22827 = 0. Is k composite?
True
Suppose -3*m = 3*o - 18, 3*o + 4*m - 7 - 14 = 0. Suppose -v + 4356 = 2*d, 5309 = o*d + 3*v - 1222. Is d composite?
False
Suppose -2*l - 2*l + 140 = 0. Let c be (-10)/l*(-8 - -1). Suppose -q = c*q - 1221. Is q prime?
False
Suppose -2 = -2*h, 0 = -3*o + h + 7 + 4. Suppose -o*f + f = 5*y - 1330, 4*y - 2195 = -5*f. Suppose -5*j + f = 2*s - 346, -5*j = 4*s - 777. Is j a prime number?
True
Let a(i) = -i**3 - 5*i**2 - 3*i + 4. Let v be a(-4). Let c be ((-16)/32)/((-1)/62). Suppose c = u - v*u. Is u composite?
False
Suppose 0 = -26*l - 53*l + 29309. Is l composite?
True
Let m = 71 + -79. Let o(z) = -z**3 + 6*z**2 + 11*z + 13. Is o(m) composite?
False
Suppose 5*h + 3*w - 49602 = -4613, 0 = -4*h - 3*w + 35990. Is h composite?
False
Suppose -3*u + 6 = 36. Suppose -5*n - 3745 = 4*p, 4*p + 3735 = -5*n + 2*p. Is (n/u)/(3/6) a composite number?
False
Let z(s) be the second derivative of -1/6*s**4 + 11*s + 0 + 2*s**2 - s**3 - 1/20*s**5. Is z(-7) prime?
False
Let q(l) = 8*l**2 - 6*l - 24. Is q(7) composite?
True
Suppose -19*b = -21*b - 40. Is 3/(-5) - 2272/b prime?
True
Suppose 5*s - u - 52 = 0, -s + 9 = -u - 3. Suppose 3*t + 1339 = t + 5*v, -2*v + s = 0. Let p = -278 - t. Is p a composite number?
False
Suppose 124*m + 34025 = 129*m. Is m prime?
False
Let z(n) = -n**3 - n**2 + 3. Let p be z(0). Suppose w + p*k = 133, 5*k - 12 + 2 = 0. Is w a prime number?
True
Let a = -4 - -7. Let y(k) = -96*k + 3. Let z be y(a). Let v = z - -496. Is v composite?
False
Let f(g) = g**2 + 6*g - 9. Let r = 9 - 10. Let m be (-122)/12 + r/(-6). Is f(m) prime?
True
Suppose 0 = -g - g + 2*i + 10, -5*g + 2*i = -22. Let k(q) = q + 2*q + g*q + 5*q**2 - 1 + 2*q. Is k(7) composite?
False
Is (32/12)/(-4) - 158094/(-54) a composite number?
False
Let m(q) = q**3 + 5*q**2 + 6*q - 1. Suppose -3*u - 3*u + 42 = 0. Is m(u) a composite number?
True
Suppose 6*c - 7904 + 2192 = 0. Suppose 2*d = 4*l - 758, -3*l - 2*l + d + c = 0. Is l composite?
False
Let r = -5 - -7. Suppose 5*y = -18*y. Suppose 2*u - 2*p = -r*u + 266, y = -3*u + 3*p + 192. Is u composite?
True
Let x = 9 + -4. Let h be 0*(x + -3)/(-2). Suppose t + 90 = 5*t - 3*q, -3*t + 5*q + 73 = h. Is t a composite number?
True
Is ((3530842/(-7))/7)/(-2 + 0) a composite number?
True
Let t(g) = 9*g**2 - 4*g - 1. Let y = 3 + 1. Is t(y) a composite number?
False
Let v be ((-54)/45)/((-9)/30). Suppose 0 = -3*s + 5*s. Suppose s = t + v*t - 255. Is t composite?
True
Let m be 16/56 - 3566/(-14). Let b be (-808)/(-6) + (-6)/9. Let s = m - b. Is s a composite number?
True
Let i be 12*28/63 + (-8)/6. Suppose i*t = 329 + 1083. Is t composite?
False
Let x be 2/(-12) - (-10681)/6. Suppose 4*t - 2*r - x = 0, 3*t - r - 447 = 2*t. Is t composite?
False
Let c(n) = 15*n**3 - 45*n**2 + 50*n - 36. Let r(o) = 3*o**3 - 9*o**2 + 10*o - 7. Let f be 55/(-25) + (-2)/(-10). Let v(z) = f*c(z) + 11*r(z). Is v(6) prime?
True
Let n(c) = -c**3 + 7*c**2 - 7*c + 10. Let p be n(6). Let f be -2 - (-2 - (-2 - -122)). Suppose f = p*u + 4*i, 0 = -u - 4*i + 21 + 24. Is u prime?
False
Suppose -h + 45 = 5*a, -a + 2 = -h - 1. Let x = a - 5. Suppose -2*s + 226 = 2*m, x*m + 177 = -4*s + 629. Is s prime?
True
Suppose 0*m - 4*m = -40. Let b be (0*2/m)/2. Suppose -2*f - 661 = -5*f + 5*i, b = 3*i + 6. Is f a composite number?
True
Suppose 85*q = 1914052 + 5984233. Is q composite?
False
Let r = 2871 + 848. Is r composite?
False
Let s(o) = -28*o**3 - 4*o**2 + o - 36. Is s(-5) prime?
True
Suppose 8*b = 6*b. Suppose -q - 3*q + 1028 = b. Is q composite?
False
Let b(n) = -8*n - 21. Let k be b(10). Let r = -12 - k. Is r prime?
True
Let s = 557 - -3358. Suppose 5*n - 5*k - s = 0, -5*n + 0*k - 3*k + 3883 = 0. Is n a prime number?
False
Suppose -3*i + 52*n = 54*n - 3517, -5*i + 5851 = -2*n. Is i a prime number?
True
Suppose -3*u - 12 = 0, u = 2*w + 268 + 188. Let r = w + 499. Is r composite?
False
Suppose -10*z = -17948 - 47622. Is z a composite number?
True
Let a = 2295 + -1298. Is a composite?
False
Is -1*(3/(-7) + 253456/(-49)) prime?
False
Is -1944*5/(-2) + 4 - 3 a composite number?
False
Let a(l) = -l**3 - 5*l**2 + 6. Let x be a(-5). Suppose -x*c = -390 - 108. Is c a composite number?
False
Let d be (1 + 5659)*(-2)/(-5). Suppose 2*n + 522 = d. Is n a composite number?
True
Let r be (-4125)/3*(-3 + 7 + -5). Suppose 2*k - 4487 = r. Is k a composite number?
True
Let q = -37 - -65. Is 1/7 - (-9208)/q a composite number?
True
Let b(s) be the first derivative of 2*s**3 + 7*s**2/2 + 6*s - 4. Let n be b(-6). Let q = n - 31. Is q a composite number?
False
Is (-886)/(-6)*1998/18 a prime number?
False
Let w = -8 + 13. Let y = 22 - w. Suppose 2*k = 245 + y. Is k composite?
False
Is (-4*(-1082)/12)/((-40)/(-1860)) composite?
True
Let k = -2018 + 2859. Is k a prime number?
False
Let q = 3997 + -1788. Suppose 5*o - g = 3*o + q, 3*o = -g + 3306. Is o prime?
True
Let r(q) = -90*q + 9. Let s(z) = -89*z + 9. Let f(n) = -6*r(n) + 5*s(n). Is f(4) prime?
False
Let p(w) = 80*w**2 - 6*w - 3. Let x(y) = 81*y**2 - 7*y - 2. Let z(b) = 3*p(b) - 2*x(b). Is z(-3) prime?
True
Is (668/(-3) + -2)/((-6)/45) composite?
True
Let v(n) = 2*n**2 + 26*n - 61. Is v(27) a prime number?
True
Let z be (4 - (-1 - -4))*7. Suppose 0 = 4*i - 3*h - z, 