2) composite?
True
Let i(x) = 16*x**2 - 13*x + 59. Is i(6) prime?
True
Let g be (-5)/(-20) - (-13)/(-4). Is (370 + 4)/(-1 - g) composite?
True
Suppose -11*p = -24*p + 7631. Is p a prime number?
True
Is 6/4*1597*(-14)/(-21) a composite number?
False
Let p be -3*(34/(-6))/1. Let f(x) = x - 26 + p + 4*x. Is f(7) prime?
False
Suppose 5*l + 54*g - 160701 = 50*g, 0 = -l - 4*g + 32137. Is l a composite number?
False
Suppose -5*p = 3*q + 52, -4*p - 34 + 10 = -2*q. Let j(m) = -m - 3. Let z be j(p). Suppose z*d - 3174 = -239. Is d prime?
True
Let v = 38003 + 2604. Is v prime?
False
Suppose 0 = -2*t + 6*t + 56. Let u be (t/49)/((-1)/7). Is (0 - -1)/(u/422) a prime number?
True
Let x = -9561 - -20353. Suppose -6*p + x = -1526. Is p a prime number?
True
Suppose -6*a + 2*a - 5*n = -25, -5*a - 15 = -3*n. Suppose 4*g + 5*i - 9 = a, -8*i + 3*i - 45 = -5*g. Is g prime?
False
Let f(p) = 468*p**3 - 2*p**2 - p + 2. Let u be f(1). Suppose w = 386 + u. Is w a composite number?
False
Let a be 6*-3*1/(-3). Let f(n) = a*n**2 + 0*n + 1057 - 5*n**2 + n - 2*n**2. Is f(0) prime?
False
Suppose -15111 = -3*f - 5*c - 4172, -2*c - 7282 = -2*f. Is f a composite number?
False
Suppose 6*w = 4*w. Suppose w*z = 2*z - 756. Suppose 5*g + z = 3*f, 4*f + 5*g = 318 + 151. Is f composite?
True
Let s(a) = 12*a**3 - 6*a**2 + 2*a - 3. Let m be s(5). Let o = 3602 - m. Is o a prime number?
False
Let y = -30 - -24. Let b be (75/y)/(2/(-4)). Suppose 2*u = -2*g + 48, 0 = -4*u + 3*g - b + 107. Is u a prime number?
False
Let m = 3192 - -691. Is m prime?
False
Suppose -9*m - 2115 = 3978. Let j = 26 - m. Is j a prime number?
False
Let r(k) = -3*k - 24. Let f be r(-7). Is f/((42/170)/(-7)) composite?
True
Suppose 0 = -j - j + 8. Suppose -4*b + j = 0, -3516 = -h - h - 2*b. Suppose 0*p + 7*p - h = 0. Is p a composite number?
False
Suppose -4*t - 3 = 1, 3*a - 5*t = 38. Is (-2322)/(-1) - (a - 6) composite?
True
Suppose 47*j - 8782 = 45*j. Is j a prime number?
True
Suppose -4*o = -o - c - 1888, 2*o = 3*c + 1247. Is o prime?
True
Suppose 19*n = 20*n - 24709. Is n a composite number?
False
Let w be (4/6)/((-5)/(-15)). Suppose 2 = -2*v, w*u - v = -2*u + 9. Suppose c + u*c = 69. Is c a composite number?
False
Suppose -27*u + 1439320 = 13*u. Is u a prime number?
True
Let s = -13 + 20. Suppose -s*f + f = -6. Is 2 - (-584)/f - -3 composite?
True
Let v(k) = -138*k**3 + 6*k**2 - 10*k - 25. Is v(-3) prime?
False
Let c = -26 - -29. Suppose m = 2*r + 23, c*m - 5*r - 24 - 41 = 0. Is m prime?
False
Suppose -5*q + 135 = -4*o - 5, 4*o = 20. Let n = 17 - q. Is (0 + -59)/(15/n) a prime number?
True
Let z(r) = -101*r - 24. Suppose -3*k + 119 = -10*k. Is z(k) a composite number?
False
Let w(i) = i**3 - 13*i**2 + 14*i + 12. Let f be w(11). Let a = f - -113. Let h = a + -23. Is h a composite number?
True
Suppose 30*x - 531565 = 86705. Is x a prime number?
False
Let c be 9279/18 - ((-5)/(-2) - 1). Let h = 1095 - c. Is h composite?
True
Let w(z) = 3*z**2 - z - 1. Let y be w(-1). Suppose 2*g = -0*o + 3*o - 1175, -5*o + 1958 = -y*g. Is o prime?
False
Is (-25)/(-30)*6 + 4542 a composite number?
False
Let k = 1308 + -677. Is k composite?
False
Suppose 10 = -4*l + 6, 5*l = -3*u + 61426. Is u a composite number?
False
Suppose c - 362 = 47. Suppose 2*h - c = -113. Suppose -f + 0*n + h = -3*n, 311 = 2*f - 3*n. Is f a composite number?
False
Let b be 705/12 + (-2)/(-8). Suppose 0 = 5*q + 124 + 16. Let s = q + b. Is s prime?
True
Suppose p + 0*p - 5813 = 0. Suppose -3*b = 2*r + 3*r - 5812, 2*b - p = -5*r. Is r a composite number?
False
Let k = -2330 - -12499. Is k composite?
False
Let t be ((-10)/(-3) + -2)/(4/18). Suppose -t*l + 6725 = -l. Is l a composite number?
True
Let v(s) = -2*s**3 + 54*s**2 + 2*s + 23. Is v(25) composite?
True
Let p = -3 + 170. Let g = 524 + p. Is g composite?
False
Let d(g) = -64*g + 8. Let s be d(-8). Suppose -s + 2865 = 5*b. Is b prime?
False
Let g = 3110 + 14103. Is g prime?
False
Suppose g - 3*p - 15 = 0, g - 3*p - 7 = -2*p. Suppose -4612 = -4*u - 4*k, 5*k - 2 = -17. Suppose -4*h + 4*c = -u, -1160 = -4*h + g*c - 0*c. Is h a prime number?
True
Let l = -159 + 1988. Is l a composite number?
True
Let r be -18*9/(27/26). Let o = -41 - r. Is o prime?
False
Let v(d) = -14*d + 7. Let z(u) = -55*u**2 + 1. Let t be z(-1). Let k be (t/63)/((-2)/(-14)). Is v(k) composite?
True
Let w = -25796 + 53223. Is w composite?
False
Let k = -2041 - -2918. Is k a composite number?
False
Suppose 4*h = -2*x + 30450, 3 = 4*x - 7*x. Is h a prime number?
False
Let t(x) = -5*x**2 + 17*x + 11. Let z(c) = 10*c**2 - 35*c - 22. Let l(w) = 5*t(w) + 3*z(w). Is l(-14) composite?
False
Let t = -23090 - -39961. Is t composite?
False
Let d be 8/(-6)*(245/10 - 2). Is (46/4)/(-5 + (-155)/d) prime?
False
Suppose -m - 4 + 14 = 0. Let r(i) = -18*i + 9. Let x(c) = -35*c + 18. Let d(u) = 11*r(u) - 6*x(u). Is d(m) composite?
True
Suppose -2*s - 86 = 5*g, -5*g + 0*s = -4*s + 98. Let a = g - -15. Is 7990/40 - a/(-4) a composite number?
False
Let u = 17 - -13. Is (u + -11 + 7)*97/2 a composite number?
True
Let r = 50 - -69. Is r a composite number?
True
Let k = 53 - 50. Suppose -294 = -3*f - k*v, 181 = 2*f + 4*v + v. Is f composite?
False
Let f(t) be the first derivative of -69*t**2/2 - 10*t - 18. Is f(-5) a prime number?
False
Let x(g) = 36*g - 4. Let b be x(-6). Let t(m) = -2*m**2 - 9*m - 83. Let f be t(-6). Let a = f - b. Is a composite?
True
Suppose -71420 + 739355 = 9*x. Is x a composite number?
True
Suppose -k - 5*k = -396. Suppose 3*v - k = 327. Is v prime?
True
Let o(d) = 5*d**2 + 6*d - 13. Let j(i) = -9*i**2 - 11*i + 25. Let g(m) = -3*j(m) - 5*o(m). Let s(z) = 3*z + 1. Let q be s(2). Is g(q) composite?
False
Let a(q) = q**2 + 5. Let r be a(5). Suppose j = -2*j - 3*t + r, -4*j - 2*t + 32 = 0. Is j a composite number?
True
Let h = -3 - -7. Suppose -13 = -h*f + 3. Is (4 - -34) + -3 - f prime?
True
Suppose 0 = -3*y + 5*l + 581, -3*y + 5*l - 227 = -4*y. Let z = y - 72. Suppose 6*b - 314 = z. Is b composite?
True
Suppose g = 5*g - 1024. Let a be -1*(-1 - g - 1). Suppose -2*k = -s - a, -k - 4*k + 623 = 3*s. Is k prime?
True
Suppose 32*a - 21171 = 29*a. Is a composite?
False
Suppose 20 = 10*h - 0*h. Is (-13 - -12)/(h/1354)*-1 composite?
False
Let k(s) = 3*s - 15. Let d be k(8). Let f(l) = 57*l + 8. Is f(d) prime?
True
Let b be 1/4 - 21/(-12). Suppose 4*a + b*m = -3*m + 5093, -4*a - 3*m + 5091 = 0. Let s = a - 827. Is s prime?
False
Is (-51)/(-2)*14312/12 composite?
True
Let y be 8 + -4 + (-12)/(-4) + -1. Is 0 - (-3 + (-211 - y/(-2))) a composite number?
False
Let y = -116 - -1035. Is y prime?
True
Let f = -567 - -1690. Is f composite?
False
Let u(o) be the first derivative of 11*o**2 - o + 11. Is u(5) composite?
False
Let t(b) = 5*b**2 - 3*b - 2*b + 2*b**3 - 18*b**2 + 4*b**2 + 1. Is t(7) prime?
True
Suppose 467 = u - 680. Is u composite?
True
Let b(t) = -2*t**2 + 21*t + 6. Let q be b(9). Is (-10 - -405)*q/15 prime?
False
Suppose -8*b = 5*b - 1170. Is (-4)/(-18) + 20320/b prime?
False
Let t be 9/(-3) + 0 - -41. Let g = 53 - t. Suppose -g*x = -18*x + 27. Is x a composite number?
True
Suppose 0 = 3*a + 5*k - 2*k - 552, 512 = 3*a - 5*k. Is a a composite number?
False
Suppose 0 = -f + 4*f + 21. Let t = f + 15. Let w = -5 + t. Is w composite?
False
Let r = 117 + -530. Let h = 858 + r. Suppose -i = 4*i - 4*u - h, -5*i + u + 430 = 0. Is i composite?
True
Let q = 14 + -10. Let g(t) = -t**3 + 14*t**2 - 14*t + 16. Let b be g(13). Suppose -16 = -q*m, -2*h + 2*m + 322 = b*m. Is h composite?
True
Let f = 5375 + -116. Is f a composite number?
True
Let b(n) = 5*n + 5. Let i be b(-25). Let l = -63 - i. Is l prime?
False
Let m(y) = 35*y**2 + y + 1. Suppose n - 58 = -55. Is m(n) a prime number?
False
Suppose w = 3 - 1. Suppose -p - 1135 = -w*p. Is p a prime number?
False
Let h = -8 - 28. Let c be 310/6 - 6/9. Let k = c + h. Is k a composite number?
True
Let x be (-60)/(-9) + (-4)/6. Suppose 4*w + 2*y - 1170 = 0, -w + x*w = -y + 1458. Suppose -2*v - v = -w. Is v a prime number?
True
Let k be 8/(-40) - (-28)/(-10). Let w be (k/5)/((-2)/10). Suppose -4*x - 5*f + 43 = -w*x, 129 = 3*x - f. Is x prime?
True
Let o = -2230 + 5727. Is o a composite number?
True
Suppose -4*v + 337 + 147 = 0. Suppose -2*s - v = -383. Is s composite?
False
Is (-6)/(-24) + (-133260)/(-16) prime?
True
