 composite?
True
Suppose -z - 681 = -j - 1795, 3336 = 3*z - 5*j. Suppose -n + f + 169 = 0, 5*n - 3*f - z + 274 = 0. Let g = 347 - n. Is g composite?
False
Suppose 374*i = 369*i + 8585. Is i prime?
False
Let k = 7 - 4. Suppose -9*b - 3052 = -16*b. Suppose m - b = -k*m. Is m a composite number?
False
Let q(r) = r**3 - 11*r**2 + r - 6. Let h be q(11). Suppose -13*n + 3832 = -h*n. Is n a prime number?
True
Let c(r) = 2*r + 3. Let q be c(1). Is (-3 + 24 + 2)*q composite?
True
Let b = 3283 + -1638. Let p = b - 786. Is p a prime number?
True
Let n(z) be the third derivative of 611*z**4/24 - z**3/2 + 21*z**2. Is n(2) a composite number?
True
Suppose 0 = -3*d - 12, 0 = 3*y + 5*d + 7 + 7. Suppose 1108 = y*z + 26. Is z a prime number?
True
Let j(y) = -2*y + 16. Let p be j(5). Is ((-9316)/(-6))/(10/p - 1) a prime number?
False
Suppose -j + 3*b - 409 = -3*j, 0 = 2*j + 5*b - 411. Is (15/15)/(1/j) composite?
True
Let u(d) be the first derivative of -d**7/840 - 7*d**6/360 + d**5/15 - 5*d**4/24 + 7*d**3/3 + 3. Let a(g) be the third derivative of u(g). Is a(-9) composite?
True
Let l(r) = 1130*r + 61. Is l(5) composite?
False
Let r(h) = -13*h - 19 + 4 + 192*h + 146*h. Is r(2) a composite number?
True
Let f(x) = x**2 - 1. Let n be f(2). Suppose 0*p + n*p - 4482 = -5*v, -4*p + 4*v = -5944. Suppose z = 5, z - p = -3*i - i. Is i composite?
True
Suppose -2*o - 5*b + 368 = o, -2*b - 361 = -3*o. Let l = o + -84. Suppose 5*f - 129 = -2*x, -5*f + 5*x - l = -152. Is f prime?
False
Is (-14138)/((-144)/76 + (-8)/76) prime?
True
Let b = -5 - -10. Suppose -b*f = -839 + 3244. Let v = 704 + f. Is v a composite number?
False
Suppose 4*z + 4*a - 491 = z, 2*z = -5*a + 325. Suppose -v = -5*x + 16 - 44, 5*x + 25 = 0. Suppose -5*r - v*c + 329 = -z, 0 = -2*r + 2*c + 188. Is r composite?
False
Let o(t) = -t**3 - t + 3. Let h be o(0). Suppose -h*a - 2*y = -7*a + 336, 3*a + 4*y = 274. Suppose -x + 123 = -a. Is x composite?
True
Let s be 1/(2 + -2 + 1). Suppose -10*q = -11*q - 4. Is (q/(-8))/(s/332) a composite number?
True
Suppose 2*w - 594 = 364. Suppose -3*r + w = -2*r. Is r a composite number?
False
Suppose -2*n - n - 2*b + 20427 = 0, 0 = -3*n + 3*b + 20427. Is n prime?
False
Suppose -3*q - 3*j = 2*j - 25, 0 = 5*q - 4*j + 20. Suppose 3*w + 2*w - 1265 = q. Is w a composite number?
True
Let f(j) = -j**2 - 8*j + 11. Let k be f(6). Let a = k + 516. Is a a prime number?
True
Let u be 15/(-9) - 4/12. Let x be (2/5)/(u/(-30)). Is 2/x*(55 - -2) prime?
True
Suppose -5*t - 3*z = 15, -2*t + 10 = -6*t - 2*z. Suppose 0 = -5*o - t*o + 40. Is 11/(-4)*o/(-2) prime?
True
Suppose -11*o + 9*o = -1548. Let c(r) = -65*r. Let a be c(7). Let j = o + a. Is j prime?
False
Is (8426/(-2))/((3 - 10) + 6) a composite number?
True
Let u = 235 - -253. Suppose 0 = -4*b + 3*y + 2337 + u, b - 706 = y. Is b prime?
False
Suppose 77*g = 83*g - 8646. Is g a prime number?
False
Let r = -478 - -218. Let l = 372 + r. Let o = l - 57. Is o a prime number?
False
Suppose 15*w + 1041 = 18*w. Let s = 695 + w. Is s prime?
False
Let m = 26 + 30. Let u = 80 - m. Is u - (-1)/(2/(-6)) composite?
True
Is ((-11202)/9)/(8/(-12)) a prime number?
True
Let i = 81571 + -33810. Is i prime?
False
Let f(t) = -6*t**2 + 7*t + 5. Let p(s) = -1. Let d(w) = -f(w) - 5*p(w). Let q = 16 + -11. Is d(q) composite?
True
Let o = -103 + 106. Suppose 3*k + o*g - 8332 = 5315, -9102 = -2*k - 4*g. Is k a composite number?
False
Let a(m) = m + 1. Let w be a(-1). Let v(z) = 0*z**2 + 3*z + 4*z**2 + 6 + w + 0*z. Is v(-3) a prime number?
False
Suppose -30 - 2 = 8*v. Is (-1*4)/(6 + v) + 41 a prime number?
False
Let o be 2*(-3 - (-3 - 1)). Suppose 0 = 7*p - 8*p + o. Suppose 12 = -4*m - 8, p*n + m = 149. Is n a prime number?
False
Suppose 3*v + 20 = 4*v. Let l = v + -17. Suppose 2*t + 91 = l*h, h + 0*t = -2*t + 41. Is h a prime number?
False
Let n = -1 - 21. Let i = 23 + n. Let p = i + 112. Is p a prime number?
True
Suppose -3*a = 5*a - 6504. Let k = a - 320. Is k composite?
True
Let g be (0 + 7)*16 + 0. Let m be (-11 - g)/(1/3). Let x = m + 604. Is x prime?
False
Let b(i) = -5*i + 27. Let d be b(6). Is d + (-9498)/(-15) + (-12)/(-15) composite?
False
Let q(y) = y**2 - 4*y - 2. Let p be q(5). Suppose -4*v - 332 = p*i - 2833, 0 = v + i - 624. Is v a composite number?
True
Let s(r) = -2465*r - 2. Let g(n) = 822*n + 1. Let x(m) = -7*g(m) - 2*s(m). Is x(-1) a composite number?
False
Let y = 93 + -84. Suppose 5*d - q - 6353 = -5*q, 3*q = -y. Is d prime?
False
Let k(w) = w**3 + 7*w**2 - 3*w + 6. Suppose -d = 5*g + 38, 3*d = -4 - 5. Let o be k(g). Suppose o - 8 = r. Is r a prime number?
True
Let y(x) = 6*x - 1. Let o be y(3). Let i be 1294/17 - 2/o. Suppose 5*t = i + 1039. Is t prime?
True
Suppose -80*m + 84*m = -40. Is -2*(-110)/m*(-6)/4 prime?
False
Suppose 5*q - 4*w = q + 4, 4*w + 9 = 5*q. Suppose 195 = -q*u + 2350. Is u composite?
False
Let k(x) = -15*x**3 - 3*x**2 + 20*x + 33. Is k(-7) a composite number?
True
Suppose 0 = c - l - 0*l - 1, l - 8 = -2*c. Let u be 2 + 1 + 0 + c. Suppose 8 = -4*v, -4*v + 170 = u*y - 5*y. Is y prime?
False
Let h be ((-10)/4)/(12/(-24)). Suppose 0 = 5*z + 5*f - 1885, h*z + f = 2228 - 327. Is z prime?
False
Let l(f) = f - 4. Let b be l(8). Suppose x - 79 = -b*g + 17, -95 = -5*g + 5*x. Suppose g = -4*s + 99. Is s a composite number?
False
Suppose 17*t + 2 = 18*t. Is 7/(35/11775) + t composite?
False
Let v(n) = n**3 + 8*n**2 + 10*n - 5. Let i be v(-5). Is (-5)/4 + 6645/i a prime number?
True
Let c(g) = -6*g**3 + 15*g + 6. Let v be c(-5). Let b = v - -358. Is b composite?
False
Suppose l + 4*r = 6*l - 49, -2*l - 3*r = -38. Let q = -11 + l. Suppose 0 = q*n + 11 - 129. Is n composite?
False
Suppose -5*m + 5*c = -2510, m + 2*m + 2*c = 1526. Suppose a - 3*o + 10 - 290 = 0, -1465 = -5*a + 2*o. Let g = m - a. Is g a prime number?
True
Let u = -29 + 49. Suppose 753 = 23*x - u*x. Is x a composite number?
False
Suppose 4036 = -55*q + 59*q. Is q a prime number?
True
Let j be -8 + (-1 - (1 - -2)). Let o = -6 - j. Is (-183)/(-6)*o + 2 prime?
False
Suppose -a + 15 = -2*g, 2*g = 2*a - 0*a - 22. Let o(r) = 29*r + 8. Is o(a) prime?
True
Suppose -2*w + 3*d + 25565 = 0, -2*w = -d - 21159 - 4404. Is w composite?
False
Let x be (3*(-4)/(-10))/((-18)/45). Is 509 - (4 + (x - 9)/3) prime?
True
Let s = 111 + -110. Let m be 5 - 1/(1/2). Is s - ((2 - m) + -60) a composite number?
True
Let k = -890 + 2287. Is k a composite number?
True
Let d be -72*(74/(-8) - -1). Suppose 5*j + 25 = 0, -2*x + d = -0*x - 4*j. Is x prime?
False
Suppose -v = -3*v + 12. Let i(z) = 5*z**3 + 9*z**2 - 8*z + 5. Is i(v) composite?
False
Let r = 2655 + 1712. Is r a prime number?
False
Let a = 27993 + -14974. Is a a prime number?
False
Let g(n) = 416*n**2 + 16*n - 19. Is g(7) a composite number?
False
Is (4 + 0)*(-12529)/(-44) composite?
True
Let c(s) = 1237*s - 14. Is c(1) a prime number?
True
Let r = 35628 - 25155. Is r a composite number?
True
Let k(f) = f**2 - 3*f + 1. Suppose 1 - 3 = -3*p - 4*q, 0 = -4*p - 4*q + 4. Suppose 4*w - p*d - 18 = 0, 4*w = w + 2*d + 12. Is k(w) prime?
True
Let c(i) be the first derivative of -3*i**4/4 - i**3 - 3*i**2 - 5*i - 2. Is c(-4) composite?
False
Let w(d) = -d + 6. Let m be w(0). Suppose -8811 = -3*v - m*v. Is v composite?
True
Suppose -1252 = -4*x + 2296. Is x composite?
False
Let x be (-8 + 4)/(-1) + 1091. Suppose 6*q = 1287 + x. Is q composite?
False
Is -2*((-12282)/12 - 3) prime?
True
Let d = -3055 - -8076. Is d composite?
False
Is 109389/28 + (-1)/(-4) composite?
False
Suppose -4*b = 2*p - 34662, 2*b + 0*b = -3*p + 52005. Is p composite?
True
Let u = 4041 + -7962. Suppose -35*l = -14*l - 127596. Let r = l + u. Is r a prime number?
False
Suppose 15*m + 12 = 17*m. Let z(f) = -f**2 + f + 413. Let b be z(0). Suppose m*h - b = -11. Is h composite?
False
Suppose 9*z - 4*z + 45 = 0. Let o = -10 - z. Is o/(1328/444 + -3) a prime number?
False
Let y(x) be the first derivative of -2 + 4 + 2*x**2 + 0 - x. Is y(5) a composite number?
False
Let y = -520 - -968. Let x = y - 299. Is x a prime number?
True
Suppose 0 = 50*z + 6*z - 76216. Is z a composite number?
False
Suppose 0 = 5*n - h - 42456, -4*h + 9*h = -5. Is n composite?
True
Is (119127 - 0)/(-1*6/(-2)) a prime number?
True
Let y = 2798 + 22294. Is (-21)/6 + 4 - y/(-8) prime?
True
Suppose 5*f = 5*g - 80, -4*f - 7