e 4*l = j*g - 182 + 754, 0 = 3*g. Is l a prime number?
False
Suppose 0 = -3*a - 5*f + 2*f + 18, 4*f = 2*a. Suppose -4*u - 5*v = -1633, -a*u + 1632 = -3*v + 7*v. Is u a composite number?
True
Let u be ((-30)/(-4))/(-3)*2. Let k be (12/u)/(2/25). Is (-4)/(-30) + (-12566)/k composite?
False
Let a(t) = -15*t + 797. Is a(0) a composite number?
False
Let w(c) = 21*c**2 + 7*c + 5. Suppose -5*h + 10 = -5*b, 0 = -0*b + 3*b + 2*h + 26. Is w(b) composite?
False
Let f = 1727 + -984. Is f a composite number?
False
Let u be -3 + 1 + (7 - 1908). Let y = -1106 - u. Is y prime?
True
Let q be -2*(-1)/((-3)/(-39)) + -3. Let l = 60 - q. Is l a prime number?
True
Let j = 1002 + -113. Is j composite?
True
Let f(s) = -14*s**3 + 7*s**2 - 8*s + 38. Let t(h) = 5*h**3 - 2*h**2 + 3*h - 13. Let n(d) = 6*f(d) + 17*t(d). Let o be n(-7). Let g = o - -12. Is g prime?
True
Let o(f) = -6801*f**3 - 6*f**2 - 11*f - 5. Is o(-2) a prime number?
True
Let x(b) = 62*b**2 + 100*b - 491. Is x(47) composite?
True
Let y(q) = q**3 + 12*q**2 - 2*q - 5. Let l = -6 - 5. Let g be y(l). Suppose g = 3*a - 657. Is a composite?
True
Suppose -6*h + 2*h - 2200 = 0. Let b = 159 - h. Is b composite?
False
Let g(b) = 2*b**2 + 1. Let t be g(2). Let p = t + -6. Suppose -6*n = -p*n - 657. Is n a prime number?
False
Let l = 10099 - 5834. Is l a composite number?
True
Let i(b) = b**3 - 9*b**2 - 9*b - 6. Let v be i(10). Suppose 6*s - 4*w - 19 = s, 3*s + v*w = 5. Is -1 + s - (-153 + -4) a prime number?
False
Let d = 50 + -50. Suppose d = f - 338 - 379. Is f composite?
True
Suppose 0 = -3*n - 5*s + 1765, 0*s = s + 1. Suppose 18*g - 23*g + n = 0. Is g prime?
False
Is (-7 + -35627)/(-1 + -1) a prime number?
False
Let g = -8 - -8. Suppose 4*u - 2*u - 3*f = -16, -2*u - 12 = -2*f. Is 1*12 - (g - u) a composite number?
True
Is 8713 + -5 + 17 + -6 composite?
False
Let f = -1 - -1. Suppose f = t + 3*t - 2788. Is t prime?
False
Let p = 13 - 12. Let h be p*(-1 - (-1 - 2)). Suppose h*c = l - 2*c - 79, -l - 2*c + 85 = 0. Is l prime?
True
Let b(d) = -d**3 + 31*d**2 - 35*d + 331. Is b(29) prime?
False
Suppose 4*n = -5*q + 38026, n - 3411 - 4194 = -q. Is q a prime number?
False
Let c be 4 - (2 + 1)/(-1). Is 13893/c + 2/7*1 composite?
True
Suppose 3*p + 2*x = 0, 3*p - 3*x = 4 + 11. Suppose -p*i + 173 + 13 = 0. Suppose -3*z = 3*t - i, -5*t + 0*z + z = -179. Is t a composite number?
True
Suppose -u = 2*m + 615, -3*m + 3117 = -5*u + m. Let d = u + 1474. Is d a composite number?
False
Is (9 - 2) + 2439 - -1 prime?
True
Let n = -8 - -10. Let t(l) = l**3 - l**2 - l. Let u be t(n). Let m = u + 31. Is m prime?
False
Let o be (3 + 0)*(252 - 1). Let t = 1640 - o. Is t prime?
True
Is (1087/3)/(-1*2/(-6)) prime?
True
Let f(m) = -m**3 + 4*m**2 - 2*m - 2. Let z be f(4). Let h(j) = -2 + j**2 + 5*j + 1 + 0. Is h(z) prime?
False
Is -5*((-10676)/10 + 3) prime?
True
Suppose f = 2*m - 0*f - 138, m - 51 = 5*f. Let c be (6 - (5 - 1))/(2/(-38)). Let l = c + m. Is l a prime number?
False
Let d(k) = 8058*k + 9. Let i be d(-7). Is i/(-7) + (-1)/(56/(-16)) a composite number?
True
Suppose -1321 = -3*w + 5*y, -4*w + 2*y = 5*y - 1800. Suppose -2*m + w = m. Is m a composite number?
False
Let s be -4 + 1 - (-200)/(-4). Let p = 528 - s. Is p composite?
True
Suppose -5*t - 5*p + 32105 = 0, -5*t + 8*p + 32105 = 12*p. Is t prime?
True
Suppose 0 = -2*z + n - 2*n + 3012, 6022 = 4*z + 3*n. Let f = 2273 - z. Is f prime?
False
Let v(y) = -y**2 - 4*y + 15. Let p be v(-7). Let h = -7 - p. Is (2/((-10)/635))/h a composite number?
False
Let j(w) = 2*w - 4. Let g be j(4). Let d = -6 + g. Let o(v) = -27*v**3 + 4*v + 3. Is o(d) a composite number?
False
Is ((-345)/9)/(-5)*(4 + 3449) prime?
False
Let i(c) = 612*c**2 + 13*c - 1. Let f be ((-4)/5)/(4/(-10)). Is i(f) a prime number?
True
Let h = -14 + 11. Is (3 + 6/h)*59 prime?
True
Let y = 1 - -197. Let p = y + -64. Is p composite?
True
Let p(d) = d**2 + 6*d + 5. Let u be p(-6). Let z = -4 + 6. Suppose 0 = v + z*q + 3*q - 67, u*q + 134 = 2*v. Is v prime?
True
Let y = -17 - -9. Is ((-2998)/y)/(2/8) prime?
True
Let p = 2601 - 3737. Let i = 2895 + p. Is i prime?
True
Let f be 943*-5*2/(-10). Is (-1)/(-1) + f + 9 a prime number?
True
Let r(i) = -i**3 + i**2 - 7*i - 8. Let s be r(-8). Let p = s + -157. Is p prime?
True
Let t = 9951 + 1316. Suppose 0 = 3*v + 5*b - 11260, 3*v + 2*b = 4*b + t. Is v a composite number?
True
Suppose -6 = -4*m + m. Let b(k) = 88*k**3 - 3*k**2 + 2*k + 1. Is b(m) composite?
True
Let k(h) = -365*h**3 + 13*h - 29. Is k(-4) prime?
True
Let t(x) = 3*x + 6*x - 8*x - 3. Let b be t(9). Let f(l) = l**3 - 4*l**2 + 2*l + 1. Is f(b) a composite number?
True
Suppose -4*x = 6*n - 3*n - 16450, 4*n = -2*x + 8230. Is x composite?
False
Let x be (-18)/(-3)*2/6. Suppose -p = -f - 27, 2*f + x*f = p - 39. Is p a prime number?
True
Let i(d) = 14*d**2 - 2*d - 9. Suppose y = 4*y. Suppose -2*a + 3*a - 10 = 3*r, -2*r + 5*a + 2 = y. Is i(r) prime?
True
Let t(v) = 4*v**3 + 13*v**2 - 16*v - 6. Let q(g) = -5*g**3 - 12*g**2 + 17*g + 7. Let z(b) = 3*q(b) + 4*t(b). Is z(-9) prime?
False
Let v be 1404/14 + -4 + 26/7. Suppose 0*c + 5*c - 170 = 0. Suppose 2*m - v = c. Is m prime?
True
Let g be (-1655)/(-40) - (-6)/(-16). Suppose 0 = 3*w - g + 11. Let q(j) = 34*j + 13. Is q(w) composite?
False
Let f be 0*(0 - 1/(-4 - -6)). Let o(g) = -3*g + 1171. Is o(f) prime?
True
Is (2 + -1 - 0) + 301 + -99 a prime number?
False
Let r be (-6)/(-21)*(-14)/(-2). Suppose -2*z + 4 = 3*x - 23, -r*x = 5*z - 62. Suppose -4*w - z = 0, -5*w = -s - 3*s + 67. Is s composite?
False
Is 8 + -5 + 11765 + 9 composite?
False
Let d be 2/((-7)/(28/8)). Let l = d - -4. Suppose 5 + 4 = -l*c, 2*c - 176 = -2*i. Is i a prime number?
False
Let z = 23 - 16. Let x = z + -3. Suppose 88 = x*b - 44. Is b a composite number?
True
Let y(v) = -11*v**3 - 9*v**2 + 9*v + 13. Let s(h) = 5*h**3 + 4*h**2 - 4*h - 6. Let q(r) = 5*s(r) + 2*y(r). Is q(3) a composite number?
False
Let m(h) = -55*h - 17. Is m(-4) a composite number?
True
Let y(m) be the second derivative of 7*m**4/6 + 3*m**3/2 - m**2/2 - 33*m. Is y(6) a composite number?
False
Let y be 4/(1/1 + 0). Suppose -y*w = 649 + 255. Let f = w + 603. Is f a prime number?
False
Let w(k) = 3475*k - 136. Is w(5) prime?
True
Suppose 25*j - 3030 = -755. Is j composite?
True
Let z(j) = 6*j**2 + 4*j - 2. Let x(a) = a + 5. Let q be x(-10). Let d be z(q). Suppose 3*f + 5*l = 126, 5*l - 32 = 3*f - d. Is f a prime number?
True
Suppose 12441 + 15429 = 6*l. Is l a prime number?
False
Suppose 8*d = -77885 + 526549. Is d prime?
False
Let y = -3063 - -4502. Is y prime?
True
Suppose -5*b + u + 9 = -u, -3*b + 12 = u. Suppose 2*m + 1565 = b*m. Is m a prime number?
False
Let p(o) = -63*o**2 - 6*o + 4. Let d(a) = -190*a**2 - 17*a + 11. Let w(c) = -6*d(c) + 17*p(c). Is w(-3) a prime number?
False
Suppose 54 = -r - 8*r. Is 205 + 4 + 2/r*0 prime?
False
Suppose 17*q - 37581 = 125840. Is q composite?
False
Suppose 13844 = 3*i - 847. Is i composite?
True
Let k = 434 + 201. Is k a prime number?
False
Suppose 54322 - 196987 = -15*v. Is v prime?
True
Let g be ((-9)/(-6))/(3/6). Suppose i + 422 = g*i. Is i composite?
False
Let q = 37 + -38. Is (26 + 3)/(q/(-62)) + 3 prime?
True
Let t = -619 - -3338. Suppose 0 = r + 2*s - 1357, 6*s - t = -2*r + s. Suppose 0 = k + 2*k - r. Is k prime?
True
Suppose -7*m - 7 = 28. Let f be 3*2/(-6)*m. Let z = 24 - f. Is z a prime number?
True
Suppose 2*j - 10*j = -1833640. Is j a prime number?
False
Let g(t) = -t**3 - 12*t**2 - 9*t + 8. Let m(y) = -2*y + 6. Let l be m(9). Let q be g(l). Suppose -q = -7*v + 710. Is v a prime number?
False
Let s(y) = y**3 - 15*y**2 - 5*y + 100. Let r be s(15). Suppose 0 = -5*p + 2*g - 1470, -5*p - 5*g - 198 = 1237. Let m = r - p. Is m a composite number?
False
Let p be 6/(-3) + 1 + -3. Is -3 + (-7612)/(-14) + p/(-14) a prime number?
True
Suppose 97*q = 248189 + 68322. Is q a composite number?
True
Suppose 3*c + 12 = 7*c. Suppose 4 = -c*t + 28. Suppose t - 118 = -2*q. Is q composite?
True
Let x(w) = 264*w + 95. Is x(12) composite?
True
Suppose -j + 76 = -28. Let n = j - 25. Is n composite?
False
Let f(q) = 149*q**2 + 7*q - 13. Is f(-9) a prime number?
False
Suppose 4*r = -w - 3 + 11, -5*r + 7 = 2*w. Let h = w + 14. Is 2508/h + 9/45 prime?
True
Let l = 36 + -30. Suppose 0 = 5*d - 2*y - 2223, -l*y + 2*y = d 