omposite number?
True
Let b = -5 + -1. Let o be 16059/15 - b/(-10). Suppose -5*r + 1247 = -4*h, -4*r - 68 = -h - o. Is r a prime number?
True
Let w(h) = h**3 - 8*h**2 - 9*h + 4. Let z be w(9). Is (z - 325/15)/((-1)/3) a composite number?
False
Suppose 7*d = 4*d + q + 163282, -2*q = -4*d + 217706. Is d a prime number?
False
Let u(a) = 17 - 3*a**2 - 3*a - 4*a - a + 4*a**2. Is u(10) a composite number?
False
Let g(z) = -156*z - 23. Is g(-14) a prime number?
True
Suppose -46*r + 256955 = -41*r. Is r a prime number?
False
Let c = -23468 - -60069. Is c prime?
False
Suppose -2*m + 0 = -6. Suppose j + 5 = -3*k, 6*j = m*j + 4*k + 11. Is (-435)/(-10)*(3 - j) a composite number?
True
Suppose 4*n - 1344 = u - 5*u, -4*u + 5*n + 1308 = 0. Suppose -5*y = -713 - u. Is y prime?
False
Let v be 2/4 + (-7)/(-14). Is (4 - -656) + (4 - (3 - v)) a composite number?
True
Suppose 3*v + 6 = -0*v. Let s(x) = -x**3 + 12*x**2 - 3*x - 1. Let d(g) = 2*g**3 - 25*g**2 + 6*g + 2. Let j(k) = v*d(k) - 5*s(k). Is j(10) prime?
True
Suppose -169953 = -103*m + 181586. Is m composite?
False
Let n be ((-3)/2)/(9/18). Let b(o) = -25*o**3 - o**2 + 1. Let f be b(n). Let s = f - 168. Is s composite?
False
Let n = 151 + -148. Suppose -3*g + 2282 = -y + 6*y, -n*y + 1369 = 2*g. Is y a prime number?
True
Is 9/(-12) + (-6 - 36764/(-16)) composite?
True
Let a = -818 - -504. Let i = 496 + a. Suppose -4*w + i = -342. Is w prime?
True
Suppose -4*a = 2*o - 18, 6*o - 36 = 3*o + 3*a. Let d(c) = c**3 - 10*c**2 - 9*c + 7. Let b be d(o). Let h = b + 278. Is h composite?
False
Suppose -3*a - 30975 = -8*a + 5*o, 0 = 3*a + 2*o - 18595. Is a composite?
False
Let v = -1607 + 5902. Is v a prime number?
False
Let n(j) = -j**2 - 7*j + 1. Let r be n(-4). Suppose -9*o = -r*o + 1388. Is o a composite number?
False
Let v = -44 - -62. Let f = v + -8. Suppose z - f = -3. Is z composite?
False
Let z = -23275 - -52064. Is z composite?
False
Is 2 + -5 - -2934 - 4 prime?
True
Let u(z) = 2573*z + 674. Is u(13) a composite number?
False
Let r(x) = -x**3 + 3*x**2 + 6*x - 5. Let t be r(4). Suppose 0 = -0*b - b + 2*d + 3, t*d = -3*b - 36. Let g(u) = -10*u - 17. Is g(b) composite?
False
Suppose 6*t = 4*t - 56. Let r be t/(-24) + 2/(-12). Is ((-14)/(-6))/(r/15) a prime number?
False
Let l = -26 - -34. Suppose 3*s - l*m = -4*m - 32, 4*s - 2*m = -26. Is 307*(2 - (s - -5)) prime?
True
Suppose 19 = 4*l + 3. Suppose -1349 = -l*i + 303. Is i composite?
True
Is 24/(-8)*(-1 + 1830/(-9)) a prime number?
True
Let o(d) = -45*d + 11. Let h be o(-1). Is 2*h + (12/(-4) - -4) a prime number?
True
Let j be 42/(-4)*(-5 + 7). Let i = j - -62. Suppose s = -5*l + 137 - i, 0 = -5*l - 25. Is s a prime number?
False
Suppose 0 = -4*g + 3*o, -g - 3*g = -5*o + 8. Suppose -34 + 217 = j - g*y, 2*j = -y + 352. Is j a prime number?
False
Suppose -4*k - 2*w + 977 = -w, 3*k - 5*w - 727 = 0. Let j(q) = q**2 + 5. Let g be j(0). Suppose -x - 5*o = -137, -2*x + g*o + k = -0. Is x composite?
False
Let a be (5 + 2 - -1) + 92/(-23). Suppose -a*q + 1799 = -941. Is q prime?
False
Let k = -25 + 28. Suppose -k*u - 4*u = 1113. Let z = u + 253. Is z a prime number?
False
Let d = -20478 + 34507. Is d a prime number?
True
Let n be 1230/9*54/15. Let m(j) = -j**3 + 7*j**2 + 2. Let f be m(7). Suppose n = 3*d - 3*p, -f*d + 298 = -0*d + 4*p. Is d prime?
False
Let f(r) = 17*r**2 - 22*r - 8. Is f(-11) composite?
True
Suppose 39*h - 32*h = 44562. Suppose -h = -9*m + 3849. Is m a prime number?
False
Suppose -395 = -2*j + 491. Suppose -2*i + 43 - 35 = 0. Suppose 3*r + j = i*r. Is r prime?
True
Suppose 3*r = -g + 7118, -3*g = -g - 2*r - 14196. Is g a composite number?
False
Let f = 1190 - 1011. Is f composite?
False
Suppose 5*x = -4*q + 198373, -5*q + x - 4*x + 247976 = 0. Is q composite?
False
Let z = -62 - -133. Let w(n) = -n**2 + 14*n - 5. Let y be w(9). Let x = z - y. Is x composite?
False
Let a(x) = -x + 1. Let l be a(1). Let w(j) = 453 - j**3 - 4*j**2 + 4*j**2. Is w(l) a composite number?
True
Let o = -8822 - -15665. Is o prime?
False
Let w = -1238 - -3008. Let c(q) = q - 4. Let d be c(4). Suppose d = -8*x + 2*x + w. Is x a prime number?
False
Suppose -148 = -3*j - j. Suppose j = -5*i - 8. Let k = 13 + i. Is k prime?
False
Is -8 + (-354)/(-45) + 21574/30 a prime number?
True
Suppose 25*x - x - 166248 = 0. Is x a prime number?
False
Let y(r) = 111*r - 11. Let b(j) = -222*j + 21. Let v(f) = 2*b(f) + 5*y(f). Is v(2) prime?
False
Let o = 1062646 - 739109. Is o prime?
True
Let s = 15 - 13. Suppose -4*q - 3*n + 201 = -2119, -2*n + 1162 = s*q. Let a = -323 + q. Is a a prime number?
False
Let b(o) = -2*o**3 - 20*o**2 + 34*o + 19. Is b(-23) composite?
True
Is -6332*(-27)/36*(-2)/(-3) a composite number?
True
Suppose -29*o + 612 = -25*o. Let g = o - 27. Suppose 2*b - 2*t - 170 = 0, 4*t + 21 = -b + g. Is b a prime number?
True
Suppose -560 = 5*l - 3075. Let c = l - 302. Is -2*(-1 - 0) + c a composite number?
True
Let j be (208/10)/((-20)/15550). Is j/(-36) - (2 + 48/(-27)) a composite number?
False
Let w(h) = -673*h + 1. Let v be w(-1). Suppose 7*u - 2*a = 2*u - 1126, -3*u + 2*a - v = 0. Is u/(-4) - (-24)/(-16) composite?
True
Let l = 27 - 23. Is 11063/52 - (-1)/l composite?
True
Let m = -12 + 6. Let y be (1 + 0)*0/m. Suppose y*o - 635 = -5*o. Is o a composite number?
False
Let z = 136 - 74. Suppose -41 = -w - 2*y + 2, -2*w = -4*y - z. Suppose -w = -3*v + 92. Is v composite?
False
Suppose -v + 2*q = -5, -2*v + 5*q + 0 = -11. Suppose 704 = -x + v*x - 5*l, 357 = x - 5*l. Is x prime?
True
Suppose -5*l + 9071 + 3568 = 4*h, 4*l + h = 10120. Is l prime?
True
Let u(d) = 86*d**2 + 12*d - 199. Is u(-14) prime?
False
Let a be 13 + -1 + (4 - 1) - 1. Is 8/(-56) + 968/a prime?
False
Let i(x) = 371*x - 71. Is i(6) a prime number?
False
Suppose 15*r - 12*r - 6 = 0. Let z be -2*51/(-1) + -1. Suppose 3*c - 4 = r, -3*c + z = 5*o. Is o a composite number?
False
Is (1 - (-769)/7) + 6/42 composite?
True
Suppose 1807 = y - 4*n, -2*y + 3*y = -2*n + 1789. Is y a composite number?
True
Let c(b) = b**3 + 4*b**2 - 3*b - 1. Let o = -24 + 29. Suppose 38 = o*m + 23. Is c(m) a composite number?
False
Let d = 35627 + -4344. Is (d + -7)*4/16 a prime number?
False
Suppose 0 = 14*l - 16*l + 4. Suppose -l*j + 6*j = -20. Is 6/(-15) - 4777/j prime?
False
Let f(m) = m**2 + m + 1. Let o be f(0). Let w(c) = -25*c**3 - 1. Let k be w(o). Is ((-27)/(-18))/((-1)/k) composite?
True
Let j = -4298 - -8851. Is j a prime number?
False
Let h = -5 - -8. Suppose 15 = 2*x + h. Is 596/(-6)*x/(-4) composite?
False
Let i(c) = 6*c**3 - 24*c**2 + 17*c - 67. Is i(16) a prime number?
True
Let o(t) = -7*t**3 - 9*t**2 - 8*t + 9. Let h be o(-6). Suppose k - h = -2*k. Is k composite?
True
Suppose 2*c + 302 = 4*r, -2*c - 3*r + 0*r = 337. Let m = 252 + c. Is m a composite number?
True
Suppose -a = -4*p - 2123, a + 4*p + 0*p - 2107 = 0. Suppose 3*b - 2*o - 2095 = 0, 3*b + 5*o - a = 2*o. Is b composite?
False
Let h(p) = 116*p - 2. Let a be h(1). Suppose -880 - a = -2*d. Is d a prime number?
False
Let a be ((-644)/(-7))/(1/1). Let n(j) = 47*j - 1. Let x be n(6). Let t = a + x. Is t prime?
True
Suppose 24*n = 10*n - 2100. Let j = 256 + n. Is j a composite number?
True
Suppose -9*p = -101652 - 46641. Is p prime?
True
Is (-24493)/(-14)*((-3)/(-3) - -1) prime?
True
Let t = -9863 - 8619. Is -1 + t/(-14) + (-8)/56 prime?
True
Let w = -1 + -4. Is (-746)/w + (-2)/10 prime?
True
Suppose -6*j - 6 = 12. Is (((-447)/(-2))/j)/(3/(-6)) a composite number?
False
Let n = 26 + -23. Let d(x) = -16*x + 3 + n - 5 + 9. Is d(-7) a composite number?
True
Is (-1)/(-4) + 1021275/68 a composite number?
True
Suppose -2505 = 6*h - 7*h. Suppose r = -0*r - h. Let m = 3986 + r. Is m composite?
False
Is 7*-1 - (-3517 + -83) composite?
False
Let i(q) = -3489*q + 22. Is i(-1) prime?
True
Let r be 60*(-3 - (-33)/9). Let p be ((-16)/r)/(1/395). Let w = p - -567. Is w a composite number?
False
Suppose 0 = 7*w - 1295 - 21462. Is w prime?
True
Suppose 10 = 6*k - k. Suppose k*v - 334 + 66 = 0. Let w = v - -197. Is w composite?
False
Suppose -k = -5*m - 4064, -4*m + 12 = -8*m. Is k a composite number?
False
Is (-3)/(-7 + (-46714)/(-4247) + -4) composite?
True
Let s = 2 - -1. Let y = 0 - -26. Suppose s*j - y - 373 = 0. Is j composite?
True
Let l be 4/14 + 103/7. Let a = l + -15. Suppose -3*n - 