Is (-6)/(-12)*(876388 - 10) a composite number?
True
Let w = 7725 - 3740. Let o = w - 2274. Is o composite?
True
Let v(j) = -36*j + 16. Let u(w) = -w**2 + 2*w + 5. Let z be u(4). Let l(o) = 36*o - 17. Let t(n) = z*l(n) - 2*v(n). Is t(-8) composite?
False
Let b = -25 - -58. Let m(a) = -b*a - 11 + 4 - 12 - 4. Is m(-10) a prime number?
True
Let r(z) = 11*z**2 - 3*z - 5. Let v(i) = i**2 + 13*i + 16. Let h be v(-12). Suppose 2*l - l = -h. Is r(l) a composite number?
True
Suppose -4*a = -0*a - 456. Let m = a + -169. Let x = m - -197. Is x a composite number?
True
Let r(i) = 9*i + 57. Let d be r(26). Suppose 292*z - 18947 = d*z. Is z a prime number?
True
Suppose 0 = 3*d - 78 + 6. Suppose -5*o = -3*v - 69, -o - 3*v = -4*v - 15. Is (1402/4)/(o/d) a prime number?
True
Let o(z) = -260*z**2 - 2. Let x(n) = 260*n**2 + 5. Let i(p) = -4*o(p) - 3*x(p). Is i(-3) a composite number?
False
Is (-20)/4 + 7 + 87468 + 11 a composite number?
False
Let c be (1254/(-190))/(((-2)/(-125))/(-2)). Suppose -2*k + 3*s - 2*s = -424, -5*k = s - 1074. Suppose -k = i - c. Is i a prime number?
False
Is ((-533)/(-39) + -13)/((-1608358)/(-536118) - 3) a composite number?
True
Let t(o) = 1587*o - 1594. Is t(9) composite?
False
Let t(r) = 4508*r**3 + r**2 - 5*r + 3. Is t(2) prime?
True
Let k = -20153 - -40119. Suppose -16*q + 147954 + k = 0. Is q prime?
False
Let f(p) = p - 23. Let b be f(23). Suppose 4*s + 6 + 66 = b. Is s/(-99) + (-54094)/(-22)*1 composite?
False
Let s(w) = 1247*w - 1138. Is s(31) a prime number?
False
Suppose -5*k = -3*t + 28, -4*t - 3*k - 13 = -2*t. Let s(z) = z**2 - 33*z + t + 17*z + 346*z**3 + 13*z. Is s(2) a prime number?
True
Let h(d) = -21669*d**3 + d**2 + 4*d + 4. Let j be h(-1). Suppose -j = -11*k + k. Is k composite?
True
Let x = -627 + 14122. Suppose 0 = -38*q + x - 917. Is q composite?
False
Let f be 6 - 3 - (27 - 0). Let m be (-10)/3*f/16. Suppose -m*t + 2*t = -237. Is t prime?
True
Suppose 0 = -o + 17 + 7. Suppose -4*i = -o - 16. Suppose -i*q = -4*q - 1986. Is q a composite number?
False
Let d(b) = 91295*b + 16. Let c be d(1). Suppose -4*r + c = z, 2*r + r = 3*z - 273903. Is z prime?
True
Suppose 306906 = 193*w - 187*w. Is w composite?
False
Let l be (-3)/(-12)*4*-15. Let z = -79 + l. Let g = z + 285. Is g composite?
False
Let r = 27 + -34. Let x(j) = -14*j**3 - 10*j**2 + 8*j - 3. Is x(r) a prime number?
True
Let g = -135 - -1792. Is g composite?
False
Let t = 209 + -205. Suppose 4*i = -b - b + 6258, -t*b = i - 12530. Is b a composite number?
True
Let y be 3 + (2 - -6) + -6. Suppose -1585 = y*m - 14940. Is m a composite number?
False
Suppose 0 = -2*t + 3*r + 25, -2*r = 4*t - 5*r - 59. Suppose t*d + 7271 = 6*d. Let p = d - -2462. Is p a prime number?
True
Let o = -147 + 154. Suppose -10*p = o*p - 25177. Is p a prime number?
True
Let d(o) = -9838*o**3 - o**2 + 2*o - 1. Let n be d(1). Let r = -4611 - n. Is r composite?
False
Let h(k) = -229*k - 1425. Is h(-22) prime?
True
Suppose 5*v - 389697 = -2*u, 3*u - 117*v - 584573 = -119*v. Is u a composite number?
False
Suppose 0 = 114*d - 55*d - 993737. Is d a prime number?
True
Suppose -8 = -50*f + 48*f. Let h(k) = 19*k**2 - 5*k + 14. Is h(f) composite?
True
Let s(x) = -x + 7. Let p = -1 - 38. Let q = 36 + p. Is s(q) composite?
True
Let a(b) = b**2 + 22*b - 31. Let h be a(-24). Suppose -5*n = 3*z - 23 + 4, -2*z = -n - h. Is (z/(-12))/(4/6)*-389 a composite number?
False
Suppose -5*w = -5*f + 7685, -2*f - 3*w + 3062 = -w. Let j = 2857 - -241. Suppose -4*n - j = -u - u, u = 5*n + f. Is u a composite number?
False
Suppose 0*v - 4*v = -r - 18, -28 = -5*v + 4*r. Suppose 23 = 5*l + 3*u, 4*l = 3*l + v*u. Suppose 2*z - 266 = l*w + 812, 3*z + 2*w - 1593 = 0. Is z prime?
False
Let z(p) = -1055*p**3 - 29*p**2 - 20*p + 17. Is z(-5) a prime number?
True
Let k(i) = 7*i + 9. Let f(h) = 7*h + 10. Let j(m) = -6*f(m) + 7*k(m). Let v be j(-1). Let p(n) = -136*n - 3. Is p(v) a composite number?
False
Suppose -3*l - 9 = 2*j - 3, 0 = -3*j - 2*l - 14. Suppose 3*n = 3*g - 30, -g = 5*n + 15 + 11. Is j/4*((-4632)/18 + n) a composite number?
True
Suppose -2*t - 440 = -5*c, 440 = -2*t - c - 3*c. Let o be (-7 - t)/(-2 + 2 + -1). Is o/2*10/(-3) a prime number?
False
Let v(w) = 5651*w**2 - 15*w + 193. Is v(6) a prime number?
False
Let a(g) = 1838*g**2 + 4*g + 24. Let l be a(-8). Let m be (-18)/(-45) - l/(-15). Suppose -10*j - 1702 = -m. Is j a composite number?
True
Suppose -5*b - m + 11 = 0, -9*b - 5 = -11*b - m. Suppose b*u = 17034 - 2676. Is u a prime number?
False
Let g = 35 - 92. Let f be g/(-11) - 8/44. Suppose 1188 = 3*d - f*j, -2*d + d + 395 = -2*j. Is d prime?
True
Suppose -830 = -5*q + 2*a, -3*q - 2*a = -2*q - 166. Let c = 374 - q. Suppose c = -2*z + 1094. Is z a composite number?
False
Let r(j) = 42*j**2 - 119*j - 324. Is r(25) a composite number?
True
Let s = 32 + -29. Suppose 0 = s*r - 0*r. Suppose 2*l + 0*l + 525 = d, -4*d - 2*l + 2090 = r. Is d composite?
False
Let u = -60188 - -112789. Is u a composite number?
True
Let o be (-1)/4 + 20/(-16)*-25. Let k = 42 - o. Suppose -31 + k = -4*i, -3*q = -4*i - 3577. Is q composite?
True
Suppose -3*c + 9440 = -4*f, -4*f - 3327 = -4*c + 9261. Let m = -635 + c. Is m a prime number?
False
Is ((-105)/21 + 36/8)*(-904323 - -1) composite?
False
Let u = -112509 + 847718. Is u a prime number?
True
Let d be 6*(-3)/(-30) + (-36)/10. Let s be d*4/(-12)*3. Suppose -2*m - s*r + 0*r = -1291, -2*r - 10 = 0. Is m a prime number?
True
Suppose -4*d - d + 2*j + 6023 = 0, 0 = -2*d - 3*j + 2394. Let z be ((-1)/((-1)/(-9)))/(-1). Is d + (-9)/z*(1 + 1) prime?
True
Suppose -93*c = -96*c - 27. Let l(k) = k**2 + 9*k + 5. Let v be l(c). Suppose v*a - 587 = -12. Is a a prime number?
False
Let c(m) = -1419*m - 12. Let h(f) = 4257*f + 36. Let v(j) = -7*c(j) - 2*h(j). Is v(3) composite?
True
Let o(q) = -256*q**3 + 18*q**2 + 89*q - 14. Is o(-9) a composite number?
True
Suppose 20*d - 624416 = 30444. Let t = d - 15578. Is t a prime number?
False
Suppose -12*c = -151 + 367. Let k(x) = 49*x**2 - 24*x - 23. Is k(c) a prime number?
False
Let x = -8799 - -17071. Suppose 2*i + 251 - 1900 = q, 0 = -5*q + i - x. Let o = q - -2556. Is o a composite number?
True
Let c = 93495 + 43438. Is c composite?
True
Suppose -20*b + 5304330 = 70*b. Is b a composite number?
False
Suppose 0 = -2398*o + 2419*o - 10348905. Is o a composite number?
True
Is ((-641722)/4)/((-281)/562) a composite number?
False
Let r(h) = 9*h**3 - 182*h**2 + 29*h - 46. Let g be r(20). Suppose 0 = f - 164 - 281. Let o = f + g. Is o a composite number?
False
Suppose 5*g + 34 = 3*m, 2*g - m - 3*m = -22. Let s be (5 - (-44)/(-20))*g. Is (63/s)/3 - (-215)/2 prime?
False
Let c(v) = -v**3 - 4*v**2 - 4*v + 3. Let w be c(-3). Let t be (w/(-10))/((-1)/10). Suppose 1168 = t*z - 446. Is z composite?
False
Suppose 21*w + 30084 = 23*w. Let b = -7609 + w. Is b a composite number?
False
Let j(b) = b**3 + 119*b**2 - 27*b - 107. Is j(-64) a prime number?
True
Suppose 3*t + r = 534348, -26*r + 25*r - 712471 = -4*t. Is t a composite number?
False
Suppose 0 = 18190*j - 18204*j + 7120246. Is j prime?
False
Suppose -218 = -5*x - 8*m + 7*m, -4*x = 5*m - 187. Let r = 134 + -38. Let l = x + r. Is l a composite number?
False
Suppose -u = -2*z + 7*z - 156, 16 = -4*u. Suppose -2543 + z = -9*d. Suppose -d = -3*m - 0*m. Is m prime?
False
Let z(o) = -o**3 - 7*o**2 - 8*o + 6. Let r(y) = 3*y + 48. Let b be r(-14). Let x be z(b). Let d = 299 - x. Is d prime?
True
Let r = -138 - -144. Is (5 - r)*2*5898/(-4) composite?
True
Suppose 789140 = 3*h + 28*d - 29*d, -2*h + 5*d = -526089. Is h a composite number?
False
Let c be (-14)/(-21)*-6 - (-6965 + 1). Suppose 4*d + p = c, 12*d = 11*d - p + 1743. Is d prime?
False
Is (-294508892)/(-516) + (-2)/3 + 0 + -4 a prime number?
False
Let v(o) = -38*o**3 + 2*o**2 + 58*o + 248. Is v(-13) a prime number?
False
Let q = -274 + 340. Is 276/q + -4 + (-7632)/(-11) a composite number?
True
Suppose -6*c + 6 = 0, 0 = 21*p - 22*p + 2*c + 149527. Is p prime?
False
Let y(o) = 8096*o - 3. Suppose -5*u = 5*n + 15, 17*n = -3*u + 15*n - 5. Is y(u) a prime number?
True
Suppose 2815 = 3*v - 6722. Suppose 5*o - 2*b = v, -13*o - 2*b = -14*o + 639. Is o prime?
False
Let b = -33 - -47. Suppose -b*r = -18*r + 2876. Is r prime?
True
Suppose 0 = 2798*r - 2784*r - 157570. Is r a compos