2)/12*2 + 46974/9 composite?
True
Let k be (15/6 + -3)*4. Let s(v) = v + 4. Let o be s(k). Suppose -o*b + b = -77. Is b a prime number?
False
Let s = 8566 + -4006. Suppose s + 1113 = 3*q + 3*p, -2*q + p + 3788 = 0. Is q composite?
True
Suppose -b = 5*p - 31 - 1, 3*p = 0. Let f = 58 - b. Let a = 433 - f. Is a a composite number?
True
Let b = 7 - 7. Let m be 387/3*1 - b. Suppose -t + 20 = -m. Is t composite?
False
Suppose 27*y - 6330 = 21*y. Is y composite?
True
Let l be 1*634*(-5)/2. Let i = l + 2708. Is i a composite number?
False
Suppose 4*k - 184813 = -46481. Is k a composite number?
False
Suppose -3 + 15 = 3*d. Suppose -5*t + d*m = -1127, -2*t = -7*t - 3*m + 1106. Is t composite?
False
Let t = 3 - -3. Let u = t + -9. Is (-100 - -1)*1/u composite?
True
Is (-52)/6*(-789)/2 prime?
False
Let w(s) = 2*s**2 + s + 4. Suppose 0 = -3*z + d + 2*d + 78, 89 = 4*z - d. Is w(z) a composite number?
False
Let j = 19 - 14. Suppose z + 18 = 2*o + 5*z, -j*z + 35 = 5*o. Suppose -o*s - 33 = -6*s. Is s prime?
False
Let y(t) = 2*t + 7. Let p be y(-2). Suppose p*g - 745 = 149. Is g a prime number?
False
Let f(p) = 15*p**2 - 9*p - 10. Let h be f(7). Let d = h - 105. Is d prime?
True
Let f(q) = -q**2 - 5*q + 9. Let h be f(-8). Let a = -114 - h. Let t = a + 248. Is t prime?
True
Let x = 635 + 4148. Is x prime?
True
Let x(t) = -200*t - 5. Let j be x(-1). Is -1*(-1 - (j - -3)) composite?
False
Let m(y) = y**3 + 12*y**2 - 11*y + 35. Let r be m(-13). Suppose 0 = r*v - 8780 - 6457. Is v a prime number?
True
Let t = -32 + 27. Let y be (-8068)/t - (-4)/10. Is (-6)/15 + y/10 a composite number?
True
Let t = 79 + -74. Let o = 2 - -1. Suppose o = -t*y + 158. Is y a prime number?
True
Let n = -2935 + 5154. Is n prime?
False
Let u(l) = 1904*l - 49. Is u(3) composite?
True
Suppose -3*n - 26 = 19. Is n/(-45) + 1504/6 composite?
False
Let z(q) = 5389*q**3 + q**2 + q - 2. Is z(1) prime?
False
Suppose 295 + 26 = d + 5*l, -8 = 4*l. Is d composite?
False
Suppose 3*p + 4*o - 1905 = 0, -4*o = -4*p - o + 2515. Suppose 0 = -m + 3, 2*y + m - p = 2*m. Is y prime?
True
Suppose -744 = -5*j + 3*j. Let g = -1505 + 2170. Let u = g - j. Is u a composite number?
False
Suppose 0 = -4*u + 766 + 274. Let p = 901 - u. Suppose -q + p = -0*q. Is q a composite number?
False
Let u = -299 + 499. Suppose 2*z = -5*m - u, 2*m - 566 = 5*z - 2*m. Let x = -57 - z. Is x a composite number?
False
Let z(t) = t**3 + 10*t**2 + 4*t - 22. Is z(11) a composite number?
True
Let v(c) = -3*c - 3 + 2*c**2 + 2*c + 168 + 572. Is v(0) a composite number?
True
Suppose -29*f - 18*f = -553237. Is f a prime number?
False
Let p be (-24)/(-3) - 3 - 1 - 21. Let b(l) = 5*l**2 + 17*l + 15. Let k(n) = -14*n**2 - 51*n - 46. Let y(j) = -8*b(j) - 3*k(j). Is y(p) a composite number?
False
Suppose 1144*r - 6377 = 1137*r. Is r composite?
False
Let k(b) = -26*b**3 - 17*b**2 - 77*b - 7. Is k(-8) composite?
True
Suppose 5*k - 5*i = 92640, 5*i = 5*k - 10*k + 92690. Is k prime?
False
Let c(y) = -2*y + 2. Suppose m = 6 + 1. Let o be c(m). Let n = o + 25. Is n composite?
False
Let p(y) be the third derivative of 1/10*y**5 + 1/12*y**4 - 1/2*y**3 - 6*y**2 + 0*y + 0. Is p(8) composite?
False
Let z be (3 - -7)*(-44)/10. Let h be (-497 - 40)*((-1)/(-3))/(-1). Is h*-4*11/z prime?
True
Suppose 2*b + 0*b = 14. Suppose b*h = 3190 + 1227. Is h a prime number?
True
Suppose 0*t - 10 = -5*t. Suppose r + t*r + 36 = 0. Is 8140/16 + (-3)/r a composite number?
False
Suppose -2*t = 2*r - 142, -2*r + 5*r - 206 = 4*t. Let b(h) = 3 - 4 - h**2 + r*h**3 + 0 + h. Is b(1) composite?
True
Suppose 0 = r + 3*a - 10389, -3*r + 0*r + 5*a + 31209 = 0. Suppose 43*d - 37*d = r. Is d a prime number?
True
Suppose -2*g - 4*r = -266, 2*r = -g + 5*r + 118. Is g composite?
False
Let o = -138862 - -207063. Is o a prime number?
False
Suppose -6*n = 4*n - 12580. Suppose -d + 841 = -n. Is d composite?
False
Let f(u) = 2*u + 372. Let y be f(0). Suppose 6314 = 2*t + y. Is t prime?
True
Let s(p) be the third derivative of 0*p - 1/8*p**4 + 0 + 0*p**5 + 1/24*p**6 - 10*p**2 + 1/6*p**3. Is s(2) prime?
False
Suppose 0*z - 4*z = -8. Suppose z*n = -2*a + 404, 2*n - 808 = -2*n + 2*a. Suppose -y + 3*u + 324 = -n, -y = -4*u - 521. Is y composite?
False
Let h = 2449 + 26452. Is h composite?
False
Let p(t) = 323*t**2 + 21*t - 91. Is p(4) prime?
False
Let x(a) = -a**3 + 10*a**2 + 3*a - 3. Let t be x(8). Let q = t - 350. Let b = -14 - q. Is b prime?
False
Suppose -4*y - 2*s + 4331 = -2297, 0 = y - 4*s - 1657. Is y composite?
False
Let w be 4/(-3)*9/(-6). Suppose x - w*x + 67 = 0. Suppose -304 = -4*k + 4*g - 0*g, -k = -4*g - x. Is k composite?
False
Suppose -5*f + 80 = -10*f. Let q be (12/f)/((-2)/568). Suppose -q = o - 4*o. Is o a prime number?
True
Let j(i) = 251*i + 3. Suppose -4 = -0*b - b. Let l be j(b). Let v = l - 708. Is v prime?
False
Suppose -k + 6 = 3. Suppose q = -4*t - 205, -3*t + 421 = -5*q + k*q. Let c = 156 - q. Is c composite?
True
Let x = 26295 - -296. Is x composite?
False
Let k(v) = 83*v + 7. Let r(m) = 415*m + 34. Let g(y) = -11*k(y) + 2*r(y). Let f be g(-6). Suppose 2*b - f - 409 = 0. Is b a composite number?
False
Let g(v) = -1743*v - 35. Is g(-8) composite?
True
Let g(m) = -m**3 + 12*m**2 - 11*m + 4. Let c be g(11). Let b = c + 65. Suppose r + 6*z = z + b, -178 = -2*r - 2*z. Is r prime?
False
Is (3 - (-55035)/18)/(1/6) a prime number?
False
Let r = -11 + 3. Suppose -4*k + 2*s - 34826 = -0*k, 25 = -5*s. Is r/(-20) - k/15 composite?
True
Let v = -20 - -24. Suppose 476 = 2*z + 2*f, 6*z - z - 1181 = v*f. Is z composite?
True
Suppose -4*x = 3*i + 313, 5*x = -5*i - 0*i - 530. Let p be 4/(-14) + i/(-21). Suppose -102 = -p*l + 3*l. Is l a composite number?
True
Let w = -733 - -2036. Suppose 8*t - h - w = 3*t, t = -4*h + 269. Let q = t - 127. Is q a prime number?
False
Suppose 0 = 5*b + 3*t - t - 5778, 3470 = 3*b + 2*t. Is b composite?
True
Let p(t) = -2*t - 18. Let g be p(-9). Suppose g = -10*y + 14*y - 11116. Is y composite?
True
Suppose 2*i = 3*s + 16276, 5*i + 8141 = 6*i - 3*s. Is i a composite number?
True
Suppose g - 4*d + 9094 = 3*g, 5*d + 9130 = 2*g. Is g a prime number?
False
Suppose 14 = n + 5*p - p, n - 2*p + 10 = 0. Let b be (6/n)/(6/(-30)). Is (6/b)/((-4)/(-340)) composite?
True
Let h(m) = m**3 + 1. Let o(i) = -i**2 + 3*i + 3. Let n be o(4). Let z be h(n). Suppose -5*g + 1475 = -z*g. Is g composite?
True
Suppose 3*k - 88 = 4*t, -k + 14 + 8 = -5*t. Suppose 2*m - 2 = -2*g - k, 3*g + 25 = -m. Let r(n) = 8*n**2 - n - 13. Is r(m) composite?
False
Let l(y) = y - 10. Let u be l(7). Let b be (-28)/8 - 2/(-4) - -226. Is (-1 + u)/(-4)*b composite?
False
Suppose 5*c - 4*y - 910 = 14909, 4*c - 3*y - 12655 = 0. Is c a composite number?
False
Let f(w) = 7*w**2 - 8*w - 2. Let a = -86 - -52. Let d = a - -27. Is f(d) composite?
False
Suppose -3*f + 5*f - 1370 = 0. Is f prime?
False
Let c = -5286 - -16720. Is c composite?
True
Suppose 3*s + 4*r = -0*s + 102, 5*r = s - 15. Suppose -s = -2*a - 3*a. Suppose 2*y - a*y = -1612. Is y composite?
True
Suppose -3972 = 2*o - 6*o. Let q = 128 + -126. Suppose -o = -q*l - l. Is l composite?
False
Suppose 22*p = 8*p + 158214. Is p composite?
True
Is (5574/(-12))/(7/(-42)) a composite number?
True
Is ((-13252)/(-6))/(52/1482) - 0 a prime number?
False
Let t be 30/7 - 2/7. Suppose b = 5*v + 25, v + 12 = t*b - 12. Suppose b*u - 1455 - 80 = 0. Is u a prime number?
True
Let o(b) = -b**2 - 1. Let f(n) be the third derivative of n**6/120 - n**5/30 + 5*n**4/24 + 7*n**3/6 + 7*n**2. Let z(t) = f(t) + 2*o(t). Is z(11) a prime number?
True
Let x = 66655 - 38196. Is x prime?
False
Suppose -8 = -4*m, -b + 77 = m - 510. Suppose 5*v - 680 - b = 0. Is v a prime number?
False
Let b(r) = r - 31. Let n(k) = -k - 1. Let y(t) = -b(t) - 2*n(t). Is y(-14) a composite number?
False
Suppose 2*y = -y + 11196. Let w = 1400 - y. Is 1/(w/778 + 3) prime?
True
Suppose i = -2*i + 15. Suppose -4*m + 2*h - i = -21, -4*m + h + 14 = 0. Suppose m*p + 427 = 4*p. Is p a prime number?
False
Let j(f) = 79*f**3 + 3*f**2 - 3*f - 4. Let b(s) = -s**3 + s. Let a(u) = 4*b(u) + j(u). Is a(3) a composite number?
True
Suppose -44*a = -67*a + 101407. Is a composite?
False
Suppose -5*x = -4*s + 59784, 0 = s - 19*x + 14*x - 14931. Is s a composite number?
False
Let w = -8 - -10. Is (0 - -201)*w/6 composite?
Fals