-56910)/(-18) + 12/9 composite?
False
Suppose 0 = v - 5*v - 160. Let x(w) = 4*w**2 - 4*w - 5. Let n be x(-2). Let y = n - v. Is y prime?
True
Let g be (1 + 3/(-2))*(-4478 - -20). Suppose 3*i + c = g, 3*i - 5*c - 2877 = -648. Is i composite?
False
Suppose 41*x - 12702 = 35*x. Is x a composite number?
True
Let r(d) = 3*d**2 - 15*d - 19. Let k be ((-45)/6)/((-3)/(-4)). Is r(k) prime?
True
Suppose 2*t = -3 - 5. Let s(v) = 5*v**3 - 5*v**2 - 15*v - 22. Let u(g) = -g**3 + g**2 + g + 4. Let y(w) = s(w) + 6*u(w). Is y(t) composite?
True
Let t(y) be the second derivative of y**5/20 - y**4/3 + y**3/3 - 9*y**2 - 6*y. Is t(8) a prime number?
False
Let a be ((-1)/3)/((-8)/(-10056)). Let x = -98 - a. Let d = 512 - x. Is d composite?
False
Let y be ((-2)/(-3))/(4/6). Suppose -4*t + 17 = y. Suppose 0 = -3*c - 0*c, t*c = -3*p + 582. Is p prime?
False
Let g = -3 + 6. Suppose g*x - 10 = x. Suppose 0*h + h - 3*a - 217 = 0, -2*a - 1033 = -x*h. Is h a composite number?
True
Is 709*(4 + -5)*-1 a prime number?
True
Let a be 35*-1*(-9 - -7). Suppose -244 = -3*x - a. Is x a prime number?
False
Let m = 467 + 816. Is m composite?
False
Suppose -d + 12*t - 10*t + 7459 = 0, 4*d = -2*t + 29796. Is d a prime number?
True
Let f = 56 - 42. Is (-3386)/(4/(-5)*35/f) prime?
True
Let u = 3 + 2. Suppose -3*g + 2*f + 122 + 2691 = 0, g = u*f + 916. Is g a prime number?
True
Let h = 355 - 42. Let m = 827 - h. Is m prime?
False
Let x = -654 + 1312. Let u = x - 399. Is u prime?
False
Let s(j) = 67*j**2 - 6*j + 8. Is s(9) a prime number?
True
Let j(v) = 2*v**2 - 4*v - 7. Suppose d = -2*m + 3, -d - m + 1 = -2. Let c = d + 5. Is j(c) a composite number?
False
Let j(a) = 2*a**2 - 9*a + 15. Let r be j(4). Suppose r*x - 491 = 6890. Is x prime?
False
Let z(c) = 343*c**3 + 2*c**2 - 14*c + 2. Is z(3) composite?
False
Is -52*(-276)/48 - 6 prime?
True
Let d(l) = -810*l - 11. Is d(-1) a prime number?
False
Let z(o) = 86*o**2 - 9*o + 5. Is z(-6) prime?
False
Suppose -4*o + 91 + 5 = 0. Suppose 3*u - 3*b - 165 = 0, -16 = 2*b - o. Is u a prime number?
True
Suppose -2*p - 15573 = -5*p. Is p prime?
False
Suppose h = 6*h. Suppose h*d + 612 = 6*d. Let m = d - -85. Is m a prime number?
False
Suppose z + 5*g - 5168 = 19650, 0 = -3*z - 2*g + 74428. Suppose 5*o + 7763 - z = 0. Is o prime?
False
Let j be 4 + -4 - (-2)/(-2). Let y be -3 + -4133*(0 - j). Is y/(-16) + 3/(-2) composite?
False
Let n be 7/(-35) + (-19203)/(-15). Suppose x + 3*x = -2*f + 1046, 5*x = 3*f + n. Is x a composite number?
True
Suppose -3*a - 1439 = 4*l, -2 = -2*l + 6. Let c = a - -1042. Is c a composite number?
False
Let m(k) = -74*k + 5. Let o be 1/(1*(-4)/12). Let t be m(o). Suppose 3*u = -4*p + 1327, -2*p + t = 2*u - 659. Is u a composite number?
True
Suppose 5*r - 3*h = 1810, 0 = r - 5*h - 183 - 201. Is r prime?
True
Let x(p) = 186*p - 14. Let r be x(-5). Is r/16*(-3 + 0) composite?
True
Let n be 414/24 - 4/16. Let i be (9 - n)/((-1)/(-1)). Is 8/(-12)*1884/i a prime number?
True
Let y(z) = -z**2 - 16*z - 44. Let s be y(-4). Suppose -6*r = -2*r - 4, 0 = -4*v - 3*r + 15. Suppose -v*h + 9 = 0, s*l + 1346 = 8*l + 2*h. Is l a prime number?
False
Let s(y) = -11*y + 13 + 11*y**2 + 2*y**3 - 11*y**3 + 8*y**3. Let w be s(10). Suppose 5*i - w*i = 174. Is i a prime number?
False
Suppose 81*w = 90*w - 2313. Is w prime?
True
Let l(p) = 6*p**2 - 3*p - 2. Let y(s) = -s**2 - s + 1. Let h(j) = l(j) - 6*y(j). Let b(g) be the first derivative of h(g). Is b(9) composite?
True
Is (-3 + -1116)*22/(-6) a composite number?
True
Suppose 2*z = -3*s + 75733, -5*z - 47 = -27. Is s a composite number?
False
Let l(f) = 0*f**2 + 5*f + 0*f + 6*f**2 - 3*f**2 - 4. Let r be 23/7 + (-2)/7. Is l(r) a composite number?
True
Let t(u) = u**3 + 9*u**2 + 8*u + 5. Let g be t(-8). Let x = 145 + 111. Suppose -15 - g = -4*l, -o - l + x = 0. Is o a prime number?
True
Let y(q) be the third derivative of -q**5/60 + 7*q**4/24 + 5*q**3/6 + q**2. Let b be y(7). Suppose -h + v + 63 = 3*h, 45 = 2*h - b*v. Is h a composite number?
True
Let a(i) = 3 + 4 - 19*i**2 + 11 - 19*i - i**3. Is a(-19) prime?
True
Let d = -9 + 1. Let u(n) = -4 + 3*n**2 - 10*n + 4*n**2 - 10*n**3 + 11*n**3 - 5. Is u(d) a prime number?
True
Suppose 3*c - 4 = 8. Let k be (1 + -1)*c/8. Let w = k + 13. Is w prime?
True
Let t = 3378 - 937. Is t composite?
False
Let k(d) = 108*d**2 + 2*d + 1. Suppose a - 4 = -a. Let m be k(a). Suppose -t + 3*z = 3*t - 859, 2*t + z - m = 0. Is t prime?
False
Suppose 0 = r - 3*l - 23, 2*r - 47 = r - 3*l. Is r a prime number?
False
Is (-3)/2*(5316/(-18) + 4) a composite number?
True
Is (-1)/(-5)*(11672 + -7) a prime number?
True
Is 22014/(-4)*10/(-15) prime?
False
Suppose 0*f - 1251 = -3*f. Let y = f + 2. Is y composite?
False
Is 1*(89462/6 - 4/3) composite?
True
Let l be -3*1/((-3)/242). Let v = -103 + l. Is v a composite number?
False
Suppose 0*n - 2*n + 6 = 0. Let r = -16 - -15. Is n + 2 + r + 107 composite?
True
Let s(w) = -925*w - 164. Is s(-9) a prime number?
True
Is (5 - 2 - -5844)*(-3)/(-9) prime?
True
Suppose -4*q - 5*a = -170036, -3*q - 10*a = -14*a - 127527. Is q composite?
False
Let a(m) = -m**2 + 6*m - 6. Let o be a(2). Suppose -o*q + 119 = -q. Is q prime?
False
Let p(k) be the second derivative of 127*k**4/6 + 5*k**2/2 + 3*k. Let s be p(-4). Suppose -389 = -6*c + s. Is c a composite number?
False
Let z = 29 - 27. Suppose -3*x + 5*l = -148, z*x - 5*x = -3*l - 144. Is x a composite number?
True
Let c(z) = 1 + 9*z + 13*z + 0*z. Suppose 5 = -n + 8. Is c(n) a composite number?
False
Suppose 0 = -0*m - 2*m - 18. Let a = m + 11. Suppose a*z + 0 = 6. Is z a prime number?
True
Let q be ((-12)/10)/(3/915). Let c = -251 - q. Is c a composite number?
True
Let r(u) = -u**3 + 15*u**2 - 15*u + 17. Let a be r(14). Suppose 0 = 2*f + a*f - 130. Suppose -f = 2*j - 220. Is j prime?
True
Let a(n) = -3*n + 12. Let d be a(9). Let w be 12/2*(-10)/d. Suppose 0 = 4*f + h + w*h - 1035, 1350 = 5*f - 5*h. Is f composite?
True
Let j(x) = 5*x**2 - x + 5. Let s be (-3)/((-60)/(-8)) + 129/(-15). Is j(s) a composite number?
False
Let o = -4 - -6. Let n(j) = 13 + 14 + 4*j**2 - 30. Is n(o) a prime number?
True
Suppose -2*q - 18 = 3*m, 3*q = -m - m - 7. Is 12148/m*(4 + 12/(-2)) prime?
True
Let d = 20 - 14. Let w be -3*4/(d - 2). Is (22/w)/((-30)/315) composite?
True
Suppose 6 = 4*c - c. Let j(k) = -7*k**2 - 2 - k**3 + 4*k**c + k**2 - 6*k**2 + 5*k. Is j(-9) a prime number?
False
Suppose 2*c = -0*x - x + 971, 4*x + 463 = c. Suppose 1112 = 64*f - 68*f. Let j = c + f. Is j a prime number?
False
Suppose 2*p - 14*n = -19*n + 123502, -4*n = -4*p + 247004. Is p prime?
True
Let o = 96657 - 67898. Is o a prime number?
True
Let z(d) = -31470*d**3 - 3*d - 4. Is z(-1) prime?
True
Let b = 2098 - -403. Suppose 5*k - 7*k + 1258 = -4*i, 4*k = 5*i + b. Is k composite?
False
Let u(o) = -o**3 + 14*o**2 + 16*o - 8. Let b be u(15). Suppose 95 = -b*x + 501. Is x composite?
True
Let j(d) = d**2 + 6*d + 7. Let v be j(-5). Suppose -2*r = -5*l - 13 - v, 5*r - 22 = -3*l. Suppose -2*o + r*m = -490, o + 5*m - 450 = -o. Is o composite?
True
Suppose -4*l - 5*u - 37 = 0, -5*l + 4*l - u - 8 = 0. Let i be 216/((1 + l)/(-4)). Suppose -3*t + 330 = 3*a, 4*a - i = -2*t - 0*t. Is a a prime number?
False
Suppose -11*z = -1181 - 3318. Let n = 614 - z. Is n a composite number?
True
Let o = -83 - -83. Suppose -3*b + u + 467 = o, -u + 19 = -b + 176. Is b composite?
True
Suppose 4 = -u + 8. Suppose -23 = -u*w - 3. Suppose -2*g + 1941 = -f + 6*f, 0 = f - w*g - 399. Is f composite?
False
Suppose r - 5123 = -2*p, 9*r = 4*r - 15. Is p composite?
True
Suppose -5*y + 19 = 39, y - 45269 = -3*f. Is f composite?
False
Suppose -10 = -5*m - 4*j - 2, 2*m + 5*j = 10. Let q(b) = -b + 1. Let w be q(-2). Suppose -2*h + 6*h + 510 = 2*c, 3*h - w = m. Is c prime?
True
Suppose -11*x = 3*h - 15*x - 16625, 2*x - 2 = 0. Is h a composite number?
True
Let f = 287 + -278. Let i(u) be the second derivative of 26*u**3/3 + 11*u**2/2 - 2*u. Is i(f) composite?
False
Suppose 93 = -4*i - 5*w, i + 4*w + 9 = -28. Let k = 16 - i. Is k prime?
False
Suppose -3*i + 2*i = -v - 92, 5*i = -v - 98. Suppose -448 + 8 = -2*g. Let h = g + v. Is h a prime number?
True
Let c(y) = -3*y**2 + 4*y + 21. Let a(b) = -4*b**2 + 3*b + 22. Let t(m) = -3*a(m) + 2*c(m). Is t(10) a prime number?
False
Is (-16338)/(-12) +