= 35*a. Is a a composite number?
True
Let m(b) = -8*b - 3. Let p = -25 - -18. Let o be m(p). Suppose q - 362 = o. Is q prime?
False
Is (9/(-12))/((-81)/2202444) composite?
False
Let g be (4/5)/((-1)/(-5)). Suppose 0 = -4*i - 4, 0 = g*r - 3*i - 1783. Is 3 + r - (-2 - -1) composite?
False
Let u = -618 - -1057. Suppose -6*j - 163 + u = 0. Is j prime?
False
Let j = -31 - -28. Is ((-318)/(-9))/(3 + 7/j) a composite number?
False
Let m be (-2 - -5) + -2 - -2. Suppose m*z = -5*b + 906, 5*b + 10 = -5. Is z prime?
True
Is (-6)/(-4) - 1465/20*-46 a composite number?
False
Let x be (4/(-1) + 4)/1. Is (5 + x)/((-2)/(-118)) prime?
False
Let d = 23 + -3. Suppose 0 = 23*j - d*j - 813. Is j a prime number?
True
Suppose -2*f + g - 2 = -7, 10 = 5*f - 3*g. Let s be ((-47)/(-3))/((-4)/(-168)). Suppose 3*q - f*x = s, q - x = -4*x + 196. Is q a prime number?
True
Let t(n) = 10*n**2 + 5*n - 5. Let q be t(-5). Suppose 3*a = 92 + q. Let d = 97 + a. Is d composite?
True
Let s be (-2)/4*-2 + 186. Suppose u = -4*h + 365, -h = u - s - 187. Is u composite?
True
Suppose 3*p = 4*m + 6, -5*p + 7 = -p - 5*m. Is 11635/40 + p/(-16) a prime number?
False
Let j(g) = -44*g + 10*g - 2 + 3. Is j(-12) prime?
True
Suppose -s + 15*j = 18*j - 5524, 2*j + 6 = 0. Is s a prime number?
False
Let f(x) = -2*x**3 - 2*x**2 - 11*x + 90397. Is f(0) a prime number?
True
Suppose -3*h = -6*q + 2*q - 7177, 0 = -4*h - 5*q + 9559. Suppose 0 = -0*n - 3*n + h. Is n composite?
False
Let p be (0 - -2)*(-1 + 2) - 4. Is 622/4 + (-6)/(-4) + p a prime number?
False
Is 2/3 + 18380/60 prime?
True
Is 40/(-180) - (-38324)/9 composite?
True
Let h(w) = 42*w**2 - 8*w + 371. Is h(14) composite?
True
Let s(x) = -x**3 - 14*x**2 + 10*x + 13. Let n be s(-10). Suppose -7*r + 8*r + 866 = 0. Let j = n - r. Is j a composite number?
False
Let d(c) = 12*c - 17. Let v be d(7). Let l = v + -259. Let n = l + 353. Is n prime?
False
Let x(b) = -b**3 + 5*b**2 - 12*b - 17. Let y be x(13). Let w = -740 - y. Is w composite?
True
Let z(o) = -57*o**3 + 4*o**2 + 14*o + 9. Is z(-4) prime?
False
Let r be (8 - -3) + (-1 - -5). Suppose a + 11 = 2*a + 4*g, 5*g = r. Is 87/(-6)*(a + -9) composite?
True
Let g(l) = -l**2 + 9*l - 4. Let x be g(9). Let k be (-3 - (x - 3))/1. Is k - 4/((-8)/566) a composite number?
True
Suppose 0 = 5*t - 9*t + 8. Let z be 4/2 - (t - 2). Suppose -2*s + x - 21 = -200, -z*s = -2*x - 184. Is s a prime number?
False
Suppose -w = -2*w - 5*f + 16, -18 = -3*w - 5*f. Let d(g) = 294*g - 1. Is d(w) a composite number?
False
Suppose -2*h + 3*d + 33689 = 0, -4*h - d = -3*h - 16842. Is h a composite number?
False
Suppose 2*t + 3*n + 2 = 0, t = 2*n + n + 8. Let f(s) = 18*s + 10*s**2 - 24*s + 8 + 3*s**t - 4*s**2. Is f(7) composite?
True
Let y(a) = -10*a - 1. Let d be y(-1). Let m be (-6)/d*(16 - -2). Let h(j) = 3*j**2 + 15*j + 1. Is h(m) a composite number?
True
Let w(j) = j**3 - 2*j**2 + 3*j - 23. Let a(d) = d**3 - 5*d**2 + 7*d - 46. Let x(k) = -2*a(k) + 5*w(k). Is x(6) prime?
True
Let n(p) be the second derivative of p**5/20 - 13*p**4/12 - 20*p**3/3 + 3*p**2 - 14*p. Is n(16) a composite number?
True
Suppose 5*s + 3*r = 21, s + 3*s + 4*r = 20. Suppose -5*a + 691 = s*y, -3*y = -4*y + 2*a + 223. Let k = y + -100. Is k a composite number?
False
Suppose -4*g + g + n = -445, 280 = 2*g - 4*n. Suppose 0 = -2*q + 5*t + g, 110 = 2*q + 3*t + 2*t. Is q a composite number?
True
Suppose -7*p + 3*p = -3464. Is p a composite number?
True
Suppose -6*s = -1203 + 405. Suppose -2*u = -7*f + 4*f + 433, 5*u = -f + s. Is f prime?
False
Is (4/6)/(5 - 385586/77118) a composite number?
False
Let u be 2/1 - (1 + 2). Let r be -2 + (-813 - u)/(-2). Suppose -j + 4*y = y - r, 0 = 4*j + 5*y - 1667. Is j a composite number?
True
Let u(d) = 33 + 16*d**2 - 17*d + 12*d - 14*d**2. Is u(8) a composite number?
True
Let w be 14/(-21) + (3 - 15/(-9)). Suppose w*q + 687 - 3419 = 0. Is q a composite number?
False
Is (108572/(-6))/(12/(-18)) a composite number?
False
Suppose 0 = 4*o - 10*o + 118434. Is o composite?
False
Suppose 2*l + 2*l = -3*v + 4426, 0 = l - 4. Let h = v + -785. Is h prime?
False
Suppose -480 = -4*d + 5*d. Suppose 706 = l + 3*f, -2158 = -4*l - 5*f + 645. Let z = l + d. Is z prime?
False
Let p(f) = -f**2 + 9*f - 8. Suppose -3*h + 43 = 5*b, 4*b = 2*h - h + 14. Let a be p(h). Is ((-58)/4)/((-1)/a) composite?
True
Let o = -1755 + 904. Let h = o - -1336. Is h a composite number?
True
Suppose 0 = -2*k - 10, 5*k + 5 = -5*g + g. Suppose 0 = g*l - 4414 - 14086. Suppose -l = -8*a + 3044. Is a composite?
True
Suppose 3*d + 3 = 0, 729 = 5*z + 5*d - 371. Is z a prime number?
False
Let n be (-8)/(-4) + (-3 - 0). Is ((-2)/(-4))/(n/(-92)) composite?
True
Let c = -5498 + 11539. Is c a prime number?
False
Suppose 647 = 3*z - 4*f, -6*f = 2*z - f - 462. Suppose 4*h - z = -c, -2*c - 3*h + 201 = -216. Is c prime?
False
Suppose -75*w - 3*i = -77*w + 7790, -5*w = -i - 19488. Is w a prime number?
False
Let m = 7591 + -2120. Is m composite?
False
Is ((-12)/21)/1 - 24183/(-21) composite?
False
Suppose 4*g + 96 = -4*x, -2*g - x - 112 = 3*g. Let b = 0 - g. Is (-6442)/(-22) - (-4)/b a composite number?
False
Let b(p) be the first derivative of 17*p**3 - p**2 - p - 13. Is b(2) a prime number?
True
Suppose -2*c - 27 - 9 = 0. Is (-49334)/c - 0 - (-2)/9 a composite number?
False
Let p(v) = 856*v + 35. Let i(q) = -171*q - 7. Let w(k) = 11*i(k) + 2*p(k). Is w(-2) prime?
True
Suppose 5*a + 5 + 5 = 5*t, 5*a = t - 14. Let h = -1 - t. Suppose -4*c = -16, 3*c - 152 = -4*g - h*c. Is g a prime number?
False
Let n(z) be the second derivative of -z**5/20 + z**4/3 - z**3/6 + 5*z**2/2 - 5*z. Let j be n(5). Is 1/(-5) - 580/j a prime number?
True
Suppose -35 - 17 = -4*r. Suppose -12*y + r*y - 53 = 0. Is y prime?
True
Suppose 0 = -4*o + 1179 + 113. Let j = o + -220. Is j - 3*(-3 - -2) a prime number?
False
Suppose -6*g = 7 - 1. Is 3 + 1 + g + (44 - -4) a prime number?
False
Let z = 4 - 12. Let k(o) = -5 - 3*o - o + 2*o**2 - o. Is k(z) a composite number?
False
Suppose 5*f + r + 40 = -4*r, 5*f = 2*r - 19. Let l be (111/(-6))/(f/(-10)). Is (l/(-2))/(7/14) a prime number?
True
Suppose 5*s = -585 + 2580. Suppose 0*l = -l + 2*y + s, y + 1986 = 5*l. Is l a composite number?
False
Is 36/36*(1712 + 1) composite?
True
Suppose -x + 4*x = 12. Let r(y) = 23*y**2 + 2*y + 1. Is r(x) a composite number?
True
Suppose -p + 6*p = -3*q - 27, 0 = 5*q + 20. Is 5865/20 + p/12 a prime number?
True
Suppose -46*s + 10*s = -359604. Is s a prime number?
False
Suppose -3*x = -3*a - 18, -3*x + 3*a + a = -20. Suppose 4*r - 2*s - 3012 = -6*s, -4*r + 3028 = -x*s. Is r a composite number?
True
Suppose -5*p = 5*u + 34830, p - 15554 + 43421 = -4*u. Let f = u - -14784. Is f prime?
True
Let c(v) = -9*v**2 - 16*v**2 + 0 + 7*v - v**3 - 9 + 31*v**2. Suppose -9 = -2*m + 3. Is c(m) prime?
False
Let z(b) = 233*b**2 + 5. Let g(t) = 350*t**2 + 8. Let o(x) = 5*g(x) - 7*z(x). Is o(-4) a composite number?
True
Suppose 0 = -5*c - g + 8233, 3*c - 3*g - 3300 = c. Suppose 6*h = -r + 9*h + c, -3*h = 6. Is r prime?
False
Suppose 7*i - 34100 = -5043. Is i composite?
True
Let r be ((-2)/4)/(5/40). Let i(g) = -19*g**2 - 5*g - 6. Let x be i(r). Let n = x + 564. Is n a composite number?
True
Suppose -25 = -5*f, 2*f + 540 = -2*c + 34728. Is c composite?
True
Let f(o) = -15*o**3 + o**2 + o - 1. Let v be f(-1). Let b(t) = t**3 - 5*t**2 + 9*t + 7. Is b(v) a prime number?
False
Let x(t) = -27*t + 23. Is x(-24) a prime number?
False
Let x = 4129 - 2106. Let v = x - -444. Suppose 5*z + v = 4*j, -4*j + 0 = 5*z - 2517. Is j composite?
True
Let u(h) be the first derivative of h**3/3 - h**2 - 2*h - 11. Is u(11) a composite number?
False
Suppose -24*d + 13*d + 154319 = 0. Is d a composite number?
False
Is ((-4)/(8/33114))/((-3)/1) a composite number?
False
Is (-35236)/(-14) + (-16)/(-112) a composite number?
True
Let f(y) be the second derivative of y**5/20 - 3*y**4/4 + 3*y**3/2 + 7*y**2 - 9*y. Is f(11) composite?
True
Suppose 3*f = -4*v + 14 + 7, 21 = 3*f + 5*v. Suppose -206 = -9*j + f*j. Is j a prime number?
True
Let u(t) = 2*t**3 + 10*t**2 - 14*t + 9. Suppose -20*o + 12*o + 56 = 0. Is u(o) composite?
False
Let n = 3119 + 1610. Is n a composite number?
False
Let f(o) = -o**3 - o**2 + o - 12. Let j be f(0). Let h be (-3)/j + 1010/(-8). Let v = 393 + h. Is v a prime num