ite?
True
Suppose -4*d - 2174 = b, -4*d + 2899 + 1449 = -2*b. Is b*(3 + 7/(-2)) a composite number?
False
Let u(t) = -182*t + 30. Let p be u(-8). Let c = p + -319. Is c a composite number?
True
Suppose -6*g + 19 = -29. Suppose -6*h = -g*h + 230. Is h prime?
False
Let c = -4 + -2. Let p(l) = -l**3 - 5*l**2 + 7*l + 9. Let o be p(c). Suppose 4*n = -3*m + 25, -o*m = 2*m + 3*n - 60. Is m composite?
True
Suppose -2*p + 61 + 33 = 0. Is p a prime number?
True
Suppose -114436 + 23144 = -4*l + 2*u, -5*l + 2*u + 114113 = 0. Is l a prime number?
False
Let u = -1641 + 3109. Let z = u + -376. Suppose -4*q + z = -568. Is q a prime number?
False
Suppose 12*h = 3*h + 1017. Is h a prime number?
True
Let k = 21793 + -14006. Is k a prime number?
False
Let n(o) = 91*o + 40. Is n(27) prime?
False
Let m(r) = -40*r - 3. Let p be m(-3). Let g be ((-7)/3 - -2) + 2865/(-45). Let f = p + g. Is f composite?
False
Let x = 42 + -37. Suppose 8 = 4*w, -3*w = c - x*w - 73. Is c prime?
False
Let g(v) = -2*v**3 - 3*v**2 + 4*v + 11. Let z be g(-4). Suppose j + 5*t = 64, -3*t - z = -3*j + 207. Is j a prime number?
True
Suppose -3*v = -m + 3*m - 28, 3*m - 4 = 5*v. Let g be (129 + 0)*m/24. Suppose -5*f + 3*h + 239 = h, 0 = f - 2*h - g. Is f prime?
False
Let a(g) = 12491*g**2 - 3*g + 3. Is a(1) composite?
False
Suppose 5*x + 5 = 0, -t - 484 = -x - 84. Let v = 1197 - 1887. Let p = t - v. Is p composite?
True
Let j be (-50)/4 + (-4)/8. Let n = -17 - j. Is 729/21 - n/14 a prime number?
False
Let c(f) = -37*f - 5. Let z(q) = q**3 - 10*q**2 - 9*q - 11. Let t be z(11). Let n = t + -15. Is c(n) a prime number?
False
Let a = 1161 - 1952. Let o = -444 - a. Is o a composite number?
False
Let h(b) = -2*b - 6. Let q be h(-5). Suppose 2*v - q*r = 26, 2*v - 5 = -r + 1. Suppose v*w = -2*j - 2*j + 318, -j + 87 = 5*w. Is j a composite number?
True
Let l be (-2)/(4/(-6)) - 1. Suppose 3*u + 847 = r, 2*r = -l*u - 2*u + 1734. Is r prime?
True
Suppose 5*m - m - 1084 = 0. Suppose -3*j = 5*p - m, -3*j + 145 = 3*p - 20. Is p prime?
True
Let w(c) be the third derivative of 173*c**5/15 - c**4/8 - 2*c**3/3 + 18*c**2. Is w(-1) a prime number?
True
Suppose -1385*h = -1372*h - 242593. Is h a prime number?
True
Let v = -1927 + 2896. Let q = 1822 - v. Is q composite?
False
Suppose 37*k - 28*k = 3411. Is k composite?
False
Let t = 60 - 55. Suppose -t*w - 1143 = -8*w. Is w composite?
True
Let m be ((-114)/4)/(5/220*2). Let w = m + 1070. Is w prime?
True
Is 1294*6*(-11)/(-132) a composite number?
False
Suppose -7*y + 3*y = -k - 7671, -5*k = y - 1944. Is y prime?
False
Let q(m) = 0*m + 1 + 37*m + 14*m. Let o be q(-9). Let w = -207 - o. Is w a composite number?
False
Let a(x) = -2 - 4 + 0 + 12*x + 9*x**2 - 2. Is a(7) composite?
True
Suppose -12 - 13 = -5*l. Is 3142/l + 5*15/125 composite?
True
Let o(q) be the first derivative of 9*q**3 + 5*q**2/2 + q - 5. Is o(3) composite?
True
Let t be ((-3)/((-9)/8))/((-4)/1590). Is (-2)/(-9) - (t/9 + -1) a prime number?
False
Let k(g) = 3983*g**2 - 4*g + 2. Is k(-1) a composite number?
False
Let n = -19040 - -12943. Let o = n - -9600. Is o composite?
True
Let x(h) = 2*h**3 - 64*h**2 + 64*h - 27. Is x(38) composite?
True
Let c be ((-6)/(-1))/((-6)/(-2972)) + -1. Suppose 0 = -k + t + 867, -3*t = 3*k + 394 - c. Is k a prime number?
True
Let x be (6/3 - 75)/(-1). Let n = x - 21. Suppose t - 3*j + 12 - n = 0, 5*j + 44 = t. Is t a prime number?
False
Suppose -3*n - 2*n = -6330. Is ((-24)/36)/((-4)/n) composite?
False
Let b(v) = v**3 - 18*v**2 + 34*v - 28. Is b(27) composite?
False
Let q(t) = -t - 2. Let v be q(-2). Let u(l) = l + 395. Let f be u(v). Suppose 7*m - 2*m - f = 0. Is m composite?
False
Suppose -4*n - 38079 = -13*n. Let u = n + -966. Is u composite?
True
Let u(x) = -4670*x - 36. Is u(-11) a composite number?
True
Let b = -4414 - -10973. Is b a prime number?
False
Let c(r) = 4*r - 18. Let i = -5 + 10. Let z be c(i). Suppose 4*u - 93 = -g, -2*g = z*g - 3*u - 296. Is g a composite number?
True
Let h(n) = 126*n**3 + 1. Let t(c) = c**2 + 7*c + 1. Suppose 4*u - 2*u + 14 = 0. Let v be t(u). Is h(v) prime?
True
Suppose 3*j - 12 = g, 2*g - 3*g = -4*j + 15. Suppose 50 = 3*d - 5*f, -j*f + 3 - 6 = 0. Is d prime?
False
Let h(i) = -i**3 - 12*i**2. Suppose 0 = -5*f - 4*o - 68, -2*o + 44 = -4*f - 0*o. Let v be h(f). Suppose v = -w - 99 + 302. Is w composite?
True
Suppose 3*t + 4*w + 4 = t, -2*w = -t + 14. Let y(o) = -14 + 20*o**2 + 7 + t + 4. Is y(5) a composite number?
False
Let n = 2793 + 4105. Is n composite?
True
Let h = 7024 - -24895. Is h a prime number?
False
Suppose 3*n - 5635 - 3632 = 0. Let b = n - 1708. Is b a composite number?
False
Let y = 79765 - 36471. Is y composite?
True
Is 527 + 30 + (-4)/6*-3 composite?
True
Let h = 16 + -40. Let r be (-231)/6*h/7. Let d = 25 + r. Is d a prime number?
True
Let o(u) = -u**3 - 3*u**2 - 8*u + 43. Is o(-21) composite?
True
Let s be 96/42 + (-4)/14. Suppose -z + 603 = s*z. Is z composite?
True
Suppose 5*c + 5*t = -1880, -2*c - c - 1130 = 4*t. Let z be (c/(-6))/((-8)/(-24)). Let g = z - 108. Is g prime?
True
Let a = -13 - -7. Let m be 18972/27*a/4. Is m/(-8) - (-9)/(-12) composite?
False
Is ((21 - -2) + -1)/(22/90299) a composite number?
True
Suppose 23*r = 37*r - 9590. Is r prime?
False
Suppose 21*n - 306148 - 138653 = 0. Is n composite?
True
Suppose -70443 = -5*c - b, -2*c - 5*b + 28191 = -0*b. Suppose 0 = -4*o + 12*o - c. Is o composite?
True
Is 1973/(-3)*(2 + -10 - 1) prime?
False
Let f(g) = -2 + 2*g**2 + 5*g**2 - 6*g**2 + 3. Let t be f(0). Let q(d) = 748*d + 1. Is q(t) prime?
False
Let w = 74 + -65. Is (-2)/w + (-2)/(-54)*6999 a composite number?
True
Let r(n) = 68*n**2 - 7*n - 3. Is r(14) a composite number?
True
Suppose -4*z + 28 = 3*i, -75 = -5*i + z - 2*z. Suppose -7*c + 5*c + i = 0. Suppose 13*w - c*w = 2485. Is w a composite number?
True
Suppose -5 = 4*g + 19. Let p be -1 + (-12)/((-4)/1). Is (-1)/p - 1905/g composite?
False
Suppose 29*q = -19*q + 683664. Is q a prime number?
True
Let y be 20/3*351/6. Let q = -554 + y. Let n = 27 - q. Is n a prime number?
True
Let p(f) = -3*f - 15. Let r be p(-6). Is (1/r)/((-12)/(-15192)) a composite number?
True
Let z(r) = -r**3 - 2*r**2 - 3*r + 1. Let x be 136/24 + (-4)/6. Let s be z(x). Let t = 366 + s. Is t prime?
False
Let u be (10/35 - (-519)/21) + -1. Let g = u - 13. Is g a composite number?
False
Let o(g) = 4*g + 24. Let m be o(-5). Suppose 2*f + 10231 = 3*j, -2 = -f - m. Is j a prime number?
False
Suppose 3*s + 344 - 1235 = d, 879 = 3*s - 5*d. Is s composite?
True
Let v(l) = -l**3 - 8*l**2 - 2. Let h be (-48)/(-15) - (-1)/(-5). Suppose j = -4*x - 3*j - 44, 42 = -4*x - h*j. Is v(x) a prime number?
True
Let x = 14 + -12. Let j = 2 - x. Suppose 310 = l - 3*v, -5*l - 4*v = -j*v - 1531. Is l composite?
False
Let c = 88 - 50. Suppose c = -49*l + 50*l. Is l a prime number?
False
Let z(n) = 3*n**2 - 14*n + 66. Is z(-17) a composite number?
False
Let p(a) = 5*a**2 - 206*a + 563. Is p(84) prime?
True
Let q(s) = 357*s - 46. Is q(5) prime?
False
Let y = -2275 - -1055. Let i = y + 2229. Is i prime?
True
Let p(l) = -l**2 + 1764. Let q be p(0). Let f = -1057 + q. Is f a composite number?
True
Suppose 0 = -p + 1148 + 4793. Is p composite?
True
Let q be (36/(-20) - -2) + 12559/5. Suppose -4*r = -4*l + q, -l + 1251 = l - 3*r. Is l prime?
False
Let z = -3 + 6. Let y(q) = -q**3 + q - q - 4*q + z + 4*q**2. Is y(2) prime?
True
Let a(n) = n**2 - n - 137. Let l be a(0). Let z = -622 - -880. Let g = l + z. Is g prime?
False
Let y = -312 - 186. Let q be 285/75 - 2/(-10). Is (q/(-4) - y) + 0 a composite number?
True
Suppose -3*w = -0*a - a - 1692, 2*w = -3*a + 1117. Is w a composite number?
False
Suppose 2*i - 31735 = -5*v, -12*v - 4*i + 25376 = -8*v. Is v a composite number?
True
Let p(q) = -q**2 + 6*q - 3. Let j be p(3). Let z be ((-14)/j - -2)*-1446. Suppose z = 5*s - 113. Is s a prime number?
False
Let c(b) = b**3 - 6*b**2 - 15*b - 6. Let n be c(8). Suppose n*s + 2*s + 2508 = 0. Let r = -160 - s. Is r a composite number?
False
Suppose -25 = -53*c + 48*c. Let i(w) = 34*w - 11. Is i(c) a prime number?
False
Suppose 48*o - 2*o - 694186 = 0. Is o a composite number?
False
Let s(f) = f**2 - f + 4. Let u be s(0). Suppose -u*c = -7448 + 2764. Is c composite?
False
Is (-1)/(7 - 1307640/186804) a prime number?
False
Let 