4362 + 13713 = 55*a. Is a a composite number?
True
Suppose 13 = -2*w - 4*i + 59, 0 = -5*w + 2*i + 91. Suppose 4*y + 25 = -w. Is (-2)/y - 46940/(-44) composite?
True
Let x(a) = 11*a + 0 - 2*a - 3. Let b be x(3). Suppose 95 = g + 2*v + b, 5*g - 343 = -4*v. Is g composite?
False
Let a(u) = 33*u - 118. Is a(33) composite?
False
Suppose 2*k - 19526 = 15828. Is k a composite number?
True
Suppose -b + 3388 = -909. Is b composite?
False
Let m(v) = v**3 - 14*v**2 - 5*v - 10. Let c be m(18). Suppose -5*x + s = -c - 64, 0 = -4*x - s + 999. Is x a composite number?
False
Let a = -2799 - -6422. Is a a prime number?
True
Suppose -g + 104 = -3*k - 148, 3*g = 5*k + 756. Is (-46)/6*(3 + g/(-2)) a composite number?
True
Suppose -5*t + 5974 = -31. Is t prime?
True
Suppose 25 = -3*z + 5*u, -5*z - 2 = u - 7. Suppose -4*s = z, 2*r + s = 2432 + 990. Is r a prime number?
False
Let u = 5317 - -2542. Is u prime?
False
Let g = -39 - -44. Is 9722/g + 0 - 3/(-5) prime?
False
Let f = 32 + 87. Suppose -6*s - 1 = -19. Suppose -f = -s*i + 118. Is i composite?
False
Let h = -215 - -78. Let x = h + 760. Is x a prime number?
False
Let n(h) = -h**2 + 49*h - 7. Let s(r) = -29*r - 3. Let b be s(-1). Is n(b) a composite number?
True
Let n(y) = 41*y**2 + 3. Let x be n(-2). Suppose -x = q - 0*q - 5*r, -3*q - r = 421. Let v = 273 + q. Is v prime?
True
Let l = 1013 - 565. Let b = l + 373. Is b composite?
False
Let v(t) = -190*t + 1. Suppose -9*r - 7*r = 16. Is v(r) a composite number?
False
Is 3*(0 + -1) + (-527694)/(-111) composite?
False
Is 68308/2 + (-13 - -8) a prime number?
False
Is 52*(-22444)/(-24) - 5/(-15) a prime number?
False
Suppose -q + 3*d = -3 + 4, q - d = -7. Let g(j) = -33*j - 35. Is g(q) composite?
True
Let z(s) = 17*s**3 - 2*s**2 - 2*s - 1. Let c be z(-1). Let n = 715 + c. Is n prime?
False
Let o be ((-10)/6 - 1)*(-243)/108. Suppose 5*x - 15 = 0, 4*v - x + o*x - 139 = 0. Is v composite?
False
Suppose a + 31 + 73 = 3*z, -88 = -2*z - 4*a. Suppose -4*t - z = -632. Is t prime?
True
Suppose -52*o = -45*o - 77189. Is o prime?
True
Let d(j) = -4183*j + 3. Let l be d(-11). Let i be (-6)/4*l/(-48). Suppose 0*v + i = 2*v. Is v a prime number?
True
Suppose -5*t - n = -10, -2 = -n + 3. Let x(u) = -7*u**3 + 5*u**2 + 9*u - 11. Let g(c) = c**3 - c**2 - c + 1. Let o(y) = t*x(y) + 6*g(y). Is o(-8) composite?
False
Let v = -18661 + 27894. Is v a composite number?
True
Let d(r) = 40*r**2 - 3*r + 10. Let o(a) = -60*a**2 + 5*a - 15. Let m = 1 - 8. Let g(t) = m*d(t) - 5*o(t). Is g(6) composite?
False
Let v = 17 - 9. Let s = -6 + v. Suppose 516 = s*b - 2*z, 0*z + 254 = b + 3*z. Is b a composite number?
False
Let t(u) = 3*u**2 - 14*u - 210. Is t(-29) a composite number?
False
Is 231320/44 + (-6)/22 composite?
True
Let m(h) be the third derivative of -45*h**4/2 - 11*h**3/6 - 19*h**2. Is m(-4) a prime number?
False
Suppose 5*u + 3 - 18 = 0. Suppose u*t + 0*q - 91366 = q, -q = -2. Is t/45 - 2/(-10) prime?
True
Suppose -2*l = 2*l. Suppose l = 10*g - 12*g. Suppose -3*u + k + 1893 = g, -5*u + 621 = -5*k - 2534. Is u prime?
True
Is (-6 + 40/(-10))*(-1941)/6 composite?
True
Suppose b - 23507 + 3716 = -5*t, 4*b = 4*t + 79212. Is b composite?
False
Let c(z) = -2*z - 9 + 3*z + 29*z**3 + 9. Let k be c(1). Suppose -5*g + k = -3*g. Is g prime?
False
Let u = 2976 + -1615. Is u a composite number?
False
Suppose -5*a = -10 - 50. Let w = a + -7. Suppose w*l + i - 396 = 2*i, 4*i = 2*l - 162. Is l a prime number?
True
Let g(v) = -35*v + 3. Let f = -6 - -1. Let b be g(f). Let w = 287 - b. Is w a prime number?
True
Let b(k) = -k + 14. Let y be b(10). Suppose -4*g - y*n + 1770 = -6*n, 5*g = 2*n + 2213. Is g a prime number?
True
Suppose 0 = -y - 2*y + 96. Let t = y - 6. Let m = t - 3. Is m a prime number?
True
Let t(h) = 3*h**2 - 6*h - 4. Let v(c) = c + 7. Let b be v(-2). Suppose b*g + 9 = -26. Is t(g) prime?
False
Let x(k) = -305*k - 2. Let s be x(-1). Suppose s = -d - 3*p, -2*d - 2*d - 1236 = 4*p. Let g = 439 + d. Is g a prime number?
True
Suppose 1968 = -2*v - 964. Let u = v - -2125. Is u a prime number?
True
Let s(u) = -u**3 + 11*u**2 - u + 14. Let o be s(11). Suppose c - o*c = 2. Is (-3)/c*212 - 3 composite?
True
Let f(l) = -63*l**3 - 5*l**2 - 21*l - 26. Is f(-5) prime?
True
Let y be (-24)/(-16) - (-3)/(-2). Suppose -m = -z - 681, 5*m + y*z - 3389 = -3*z. Is m a prime number?
False
Let t = -2534 + 4243. Is t a prime number?
True
Let q = -10304 + 16767. Is q composite?
True
Let y(s) = s**3 - 8*s**2 - 9*s + 4. Let w be y(9). Suppose -2*c - 1894 = w*f, f = c - 301 - 180. Let a = -109 - f. Is a composite?
False
Let b(x) = -x**2 + 2*x + 2045. Let z be b(0). Suppose 34*o - z = 29*o. Is o composite?
False
Suppose 45*y - 2031465 = 613950. Is y a prime number?
True
Let o(s) = -8*s - 29 - 3*s + 3*s. Is o(-12) a prime number?
True
Let o be 1/(-2) - (-77850)/(-20). Let q = -2496 - o. Is q a prime number?
False
Let i(a) = -172*a - 40. Let h be i(20). Let j = 5241 + h. Is j prime?
False
Let r be ((-108)/(-8))/((-5)/(-10)). Let j = 29 - r. Suppose 2*z + 4*y - 216 = -2*z, -55 = -z - j*y. Is z a composite number?
False
Suppose -5*c - f + 78006 = 0, 0 = -2*c - 3*f + 1540 + 29665. Is c composite?
False
Suppose -17192 = -0*j - 7*j. Suppose 5*c - 9*c + j = 0. Is c a prime number?
False
Suppose -9*i = -4708 + 109. Let c = 16 + -11. Suppose -5*l = -s - 590 - 247, 0 = -3*l + c*s + i. Is l a composite number?
False
Is 4*7/(-28)*-9661 a composite number?
False
Let p(x) be the first derivative of 13*x**4/12 + x**3/6 - 3*x**2/2 - 8*x - 1. Let z(t) be the first derivative of p(t). Is z(-3) a prime number?
False
Let s(q) = -27*q**2 + 8 - 15*q + 2 + 2*q**3 + 11*q**2. Is s(17) composite?
False
Let c(b) = b**2 - 845. Let g be c(0). Let j be 230/4*(17 + (-2793)/105). Let u = j - g. Is u a prime number?
True
Suppose -7*t + 13*t = 11334. Is t composite?
False
Suppose 8*r - 5*r = -3*o + 16416, -5*r = -4*o - 27333. Is r a prime number?
False
Is ((-31649)/(-6) + -1)/((-3)/(-18)) a prime number?
True
Let d = -7 + 8. Suppose 0 = -3*z - 7 + d. Is (-258)/(-2) - (z - -4) a composite number?
False
Suppose -2*l - 3*i = -13027, i + 961 - 13998 = -2*l. Is l a composite number?
False
Let r = 10 - 6. Suppose r*p = -4*b + 12, -2*b - 14 = -4*b - 4*p. Is (3 - (b - 19))*17 a composite number?
True
Is (60 + -68)*(-2234)/8 a composite number?
True
Suppose 381866 = 6*h + 92072. Is h a prime number?
True
Suppose 481*p = 485*p - 16444. Is p a composite number?
False
Suppose 0*f - 7 = -3*w + f, -4*f - 16 = 0. Let x be w - 6/2*2. Is (2/4)/(x/(-530)) a composite number?
False
Suppose 0 = -b - 113 - 187. Let p = -172 - -315. Let o = p - b. Is o a prime number?
True
Let i(m) = -197*m - 5. Let r(v) = -2*v - 18. Let p be r(-8). Is i(p) prime?
True
Let z = 1185 + -174. Is z composite?
True
Is 18/2 + 31963 + -9 a composite number?
False
Suppose -2*n = -4*z - 10 + 44, -5*z = n - 60. Suppose -4*p - 5*s - z = -254, 2*p - s - 125 = 0. Is p a composite number?
True
Let t(j) = j**3 + 12*j**2 + 3. Let y be t(-12). Let h be (0 - y)*(-20)/(-4). Let z = h + 170. Is z a prime number?
False
Suppose -5*w = -26 + 6. Suppose 152 = w*s - 204. Is s composite?
False
Let b = -14896 - -27256. Let m be b/(-8)*4/(-6). Suppose 0*l + n = 4*l - m, -3*l - 3*n = -765. Is l a prime number?
True
Let o(d) = -d + 18. Let c be o(16). Suppose v + 2*q - 10 = 0, -12 = -4*q + q. Suppose 812 = v*n + c*n. Is n prime?
False
Suppose -128 + 36 = k. Is (69/(-6))/(2/k) prime?
False
Let r = 227 - -390. Let p = 867 - r. Let b = p - 144. Is b a composite number?
True
Is (-28 - -30)/(-1*2/(-5549)) prime?
False
Suppose -4*h - d + 18394 = 2*d, -3*h + 3*d = -13806. Let v be (-4)/(-6) - h/(-30). Suppose 0*a + v = 2*a. Is a composite?
True
Suppose -3*c + 2*c = -3. Let y(z) = -13*z + 0*z + 6 + c + z**2. Is y(14) a prime number?
True
Suppose -2*k + 8741 = -o, -3*k - o = 2*k - 21870. Is k composite?
False
Let c = 3536 - -30653. Is c a composite number?
True
Let d = -1478 + 2248. Let k be 0 + 2 - (-2 + 2). Is 3 + (d - k)/3 a composite number?
True
Suppose -26629 = -4*r + 5*i, -4*r - 61*i + 60*i + 26647 = 0. Is r prime?
True
Suppose -12*z - 4*q = -11*z - 16603, z - 16603 = -q. Is z a composite number?
False
Let f = 725 + -354. Is f composite?
True
Let j(n) = -n**3 + 9*n**2 - 6*n + 7. Let m be j(8). Suppose 2*q + 0*q = 332. Let 