 x(13) a composite number?
False
Let t = 96 - 94. Suppose -3*w = -4*d - 758 - 665, 5*d + 958 = t*w. Is w composite?
True
Suppose x + 8866 = 5*o - 371, -5*o + 9225 = 5*x. Is o a prime number?
True
Let c be (-7)/21 + 194/6. Let h be 8/c + 166/8. Suppose -p + 3*x + 12 = -16, -p = 4*x - h. Is p composite?
True
Let f(i) = -239*i**3 - 3*i**2 - 8*i - 7. Is f(-2) composite?
True
Let i(a) = 33*a**3 - 5*a**2 + 2*a + 7. Let v(p) = -17*p**3 + 2*p**2 - p - 4. Let x(d) = 3*i(d) + 7*v(d). Is x(-4) composite?
True
Let u = -3 + 10. Let a = u - 8. Is -2 - ((a - 1) + -301) composite?
True
Let q = -8 - 2. Let h be 29164/q - 2/(-5). Is 3/21 - h/21 prime?
True
Is (-9660)/(-168)*(-34)/(-5) composite?
True
Suppose -d = -5*d - j + 892, 669 = 3*d - 2*j. Is d a prime number?
True
Let r(j) = -j + 5. Let y be r(5). Suppose 0 = 2*u + 4 - 6. Is (-5 - y)/(u/(-7)) a composite number?
True
Suppose 0 = -l - 2*l - 3*p + 777, -2*l + 530 = -p. Is l prime?
True
Let y = -14 + 19. Suppose -5*j - 17 = m + m, j = -y*m + 15. Suppose -3*u + u = 2*v - 264, m*v + 3*u = 525. Is v composite?
True
Let y = 226 - 155. Suppose -2*x = -a + 43 - 3, y = 2*a + 5*x. Is a a prime number?
False
Let f be (5 + -1)/4 - 1. Suppose p + p - 66 = f. Is p composite?
True
Let m be ((-108)/8)/9*-24. Let w = m + -37. Let g(h) = -204*h - 1. Is g(w) prime?
False
Suppose -1157 = 2*a - 381. Let d = a - -639. Is d a prime number?
True
Suppose 0 = 3*c - 8*c + 185. Suppose 5*m = 4*y - 198 + 56, -2*m - c = -y. Is y a composite number?
True
Suppose 4*w - 334 = w + 2*x, 5*x = -5*w + 590. Let m be (-37*1)/((-6)/w). Suppose -89 + m = l. Is l a composite number?
True
Let z(t) = 13*t**3 - 3*t**2 + 5*t - 1. Is z(6) a composite number?
False
Suppose 0 = 18*x + 20*x - 261554. Is x a prime number?
True
Let y = -1900 - -3056. Suppose 448 = 17*v - 1235. Let i = v + y. Is i composite?
True
Let n be 3 - ((-1388)/(-16))/(1/4). Let f = 690 + n. Is f a composite number?
True
Let o = -42 - -42. Suppose -5*y + 294 + 281 = o. Is y a prime number?
False
Let y be ((0 - -102) + -1)/(2/2). Let x(q) = -q**3 + 2*q**2 + 4*q + 4. Let g be x(-5). Let s = g - y. Is s composite?
True
Suppose -5*i - 9127 = -g, -10*g + 4*i + 45635 = -5*g. Is g a composite number?
False
Let t = -27394 + 42093. Is t a prime number?
True
Suppose 20*i + 4071 = 23*i - 3*a, -3*i + 4071 = -4*a. Is i a composite number?
True
Let v = 23 - 18. Suppose -5*m + 4*m - v*o = -399, 3*m - 1133 = o. Is m a prime number?
True
Suppose 5*o + 0*o - 25 = 0. Let c(r) = 21*r + 7*r**2 - 60*r + 1 + 22*r + 24*r. Is c(o) a prime number?
True
Let f be 35/11 + (-12)/66. Suppose 0 = 2*x - 3*w - 1256, f*x - 627 = 2*x + 2*w. Suppose 0*j + j - x = 0. Is j prime?
True
Suppose 2*n + 4*g = 11046, 12790 = 3*n - 2*g - 3811. Is n composite?
False
Let h = -2451 - -4213. Is h composite?
True
Let y = -14 - -14. Suppose -3*s + 3*h + 288 = y, 20 = -6*h + h. Suppose -385 = -3*z + s. Is z prime?
False
Suppose -4439 = -2*v - 5*r, -3*v - 3*r = -4*r - 6650. Suppose -5*b + 2*b + v = 0. Is b a composite number?
False
Suppose 0 = -4*j - 3*r + r + 24, 5*j = 4*r + 17. Suppose -524 = -j*z - 24. Suppose -4*b - z + 248 = 0. Is b composite?
False
Suppose 0 = -4*c + 8 - 0. Let l be (8/(-12))/(c/33). Let z(u) = 3*u**2 + 10*u + 16. Is z(l) composite?
False
Suppose -15*l + 51595 = 2*l. Is l composite?
True
Let b(l) = -l**2 + 4*l - 1067. Let m(j) = j**2 - 5*j + 1066. Let v(q) = -3*b(q) - 2*m(q). Is v(0) a composite number?
False
Let v(y) be the third derivative of 0 + 0*y**4 + 1/30*y**5 + 1/2*y**3 + 0*y - y**2. Is v(-5) composite?
False
Suppose 6*b - 4*b - 315 = -m, -4*m - 3*b = -1270. Is m prime?
False
Let a = -10 + 1. Let p = a + 13. Suppose -8*s + p*s = -476. Is s a composite number?
True
Suppose -k = -4*q + 12260 - 2549, 4878 = 2*q + 4*k. Is q a prime number?
False
Suppose -74*q + 1542039 = -1373339. Is q a prime number?
True
Suppose 0 = 5*n - 18 - 42. Suppose n*q = 23412 + 4872. Is q a composite number?
False
Suppose 1555 + 825 = 10*b. Suppose -b - 2393 = -3*x. Is x a prime number?
True
Suppose 0*m = 2*m - 630. Let o = 609 - m. Is o/4*(-12)/(-18) a prime number?
False
Suppose -47*s + 1162 = -40*s. Is s prime?
False
Let b(v) = v**2 - 7*v - 18. Let q be b(9). Suppose 2*w = -3*k - w + 3261, q = 5*k + 2*w - 5435. Is k prime?
True
Let t(s) = 5*s - 3*s + 3*s**2 - 2*s**2 + 6 + 10*s. Let j be t(9). Suppose 8*n - 3*n - j = 0. Is n composite?
True
Let d(c) = -2*c**2 + 4. Let f be d(4). Let w = f - -35. Is w composite?
False
Suppose 0 = -3*p + 6, 14221 = w + 4*w + 3*p. Is w prime?
True
Suppose -4*x + 42*p + 35406 = 40*p, 0 = 5*x + p - 44240. Is x prime?
True
Let h = 24155 - 17038. Is h composite?
True
Let u be (112/(-21))/((-4)/6). Let f(g) = -g**3 + 8*g**2 + 2*g - 11. Let n be f(u). Is ((-77)/(-2))/(n/10) a composite number?
True
Suppose 2*f = -12*b + 7*b + 215991, 5*b - 3*f = 216001. Is b a prime number?
False
Suppose -5*v = -4*v. Suppose 5*n + 3*s = 6437, v = -n - 2*n - 3*s + 3867. Is n composite?
True
Suppose 0 = -x + 2*x - 408. Suppose x = -q + 3*q. Suppose -3*z + q = 27. Is z a prime number?
True
Let k = -2066 + 3329. Is k composite?
True
Is (-5 + 130/20)/((-6)/(-10216)) a composite number?
True
Suppose 0 = y + 3*p - 1654, 5*y - 3*p + 2686 - 11010 = 0. Is y prime?
True
Suppose -2*o = -3*o - p + 2, -2*o + 16 = -p. Suppose 6 = 3*v - 5*u - 22, 0 = -3*v - 3*u - 12. Is 90*v - (3 - o) prime?
False
Suppose 4949 + 242 = g. Is g a composite number?
True
Suppose -6*z + 13 = -17. Suppose z*m + w = 218, -4*m - 4*w + 184 = -0*m. Is m prime?
True
Let z be 304/64 - 2/(-8). Let j be 4 - ((-5)/z + -2). Suppose 0*m - j*m + 3815 = 0. Is m prime?
False
Suppose -5*w = -i + 71, 2*i = i - 5*w + 91. Suppose 0*j - i = -j. Is 18/j - (-2401)/9 a composite number?
True
Let u be 2/(-3)*(0 + -381). Let t = 393 - u. Is t prime?
True
Let g(z) = z**2 + z - 3. Let c be g(2). Suppose 4*i - a - 13865 - 1952 = 0, -11874 = -c*i - 3*a. Is (1 + 0)/(7/i) prime?
False
Suppose 0 = 12*l - l - 33. Is 1 + l/(-2) - (-2698)/4 a composite number?
True
Let q(x) = -2*x**2 + 0*x**3 + x**3 - 3*x + 5 - 5 - 1. Let f(n) = -n**3 - 7*n**2 - 6*n + 4. Let d be f(-6). Is q(d) a composite number?
False
Let s(x) = 22*x**3 - 4*x**2 - x + 12. Is s(5) composite?
False
Let v be 6*584/(-4) - 0. Let l = v + 1783. Suppose l = 2*x + 93. Is x composite?
True
Let u = -728 + 23581. Is u a prime number?
True
Suppose -4*q + x - 6*x = -16, -q - 5*x + 4 = 0. Suppose -q*f + 671 - 35 = 0. Suppose -362 = -a + f. Is a prime?
True
Let q(f) = -f**2 + 15*f + 16. Let v be q(17). Let r = v + 49. Is r a prime number?
True
Suppose 2*z = -j - 1, 15 = -6*j + j. Let l(o) = -3*o + 24*o + 78*o - 14*o. Is l(z) composite?
True
Let a be 27/(-36) - 1109/4. Is (16/(-32))/(1/a) a composite number?
False
Suppose 0*k + 3*k + 3 = 4*v, 0 = -3*k + v - 3. Let y be (-3)/(k - (-1)/(-2)). Suppose 0 = -2*l - 5*b + 1091, -232 = l + y*b - 779. Is l prime?
False
Suppose v - m - 2037 = 3*v, 2*m - 4070 = 4*v. Let w = 1827 + v. Is w prime?
True
Let w(z) = 4*z - 2. Let t be w(1). Suppose 4*p + p - 112 = -4*k, -t*k = -5*p - 86. Is k a prime number?
False
Is 1871896/88 + (-78)/143 composite?
True
Suppose 0 = -2*i - 0*i + 4*u + 13560, -4*i - 2*u + 27070 = 0. Suppose i = 2*f + 8*f. Is f composite?
False
Suppose s - 5*q - 32 = 0, -2*s + 3*q = 2*s - 77. Let o(f) = f**2 - 3*f - 33. Is o(s) a composite number?
True
Let i be 0/(-6 + 2 - -2). Let v(h) be the second derivative of -h**3/3 + 211*h**2/2 - 8*h - 4. Is v(i) composite?
False
Suppose 2*a + 5*d = -0*a - 80, -5*a = -4*d + 233. Let t be (18/10 + -1)*125. Let g = a + t. Is g prime?
False
Suppose -1336 + 8774 = 2*s. Is s composite?
False
Suppose 0 = -o - 799 + 110. Suppose -3*r - 1649 - 1537 = 0. Let f = o - r. Is f a composite number?
False
Let r(k) = 67*k**2 - 26*k + 2. Is r(-13) composite?
True
Suppose -4*b + 45844 = 2*f, -2*b + 10647 + 12287 = 4*f. Is b a prime number?
False
Suppose -3*p + 131689 = 5*f, -2*p - 35049 = 3*f - 114062. Is f a prime number?
True
Suppose 0 = 2*c - 2, -q = 5*c - 9. Suppose q*s = 5*l + 34, -6*s = 3*l - s + 13. Is l/(-9)*546/4 a prime number?
False
Suppose 0*v + 2*c - 8 = -2*v, -25 = -5*c. Let u(h) = -4*h**2 + h + 1. Let i be u(v). Is 6/(-4) - 2594/i a composite number?
False
Let o(z) be the first derivative of z**7/280 - z**6/60 - z**5/40 + z**4/24 - 4*z**3/3 + 5. Let x