= -201. Is f a multiple of 6?
False
Is (-525)/350 - (-58686)/4 a multiple of 10?
True
Suppose -63*o - 15*b = -61*o - 12825, o - 6404 = b. Is 7 a factor of o?
True
Let s(y) = -4*y**2 + 20*y - 69. Let g be s(17). Let a = g + 1879. Is 14 a factor of a?
True
Suppose -c + 13*b + 5344 = 12*b, -5*c + 26732 = -3*b. Is c a multiple of 33?
False
Let n(p) = -p**2 + 3*p + 12. Let q be -1*(-2)/(8/20). Let t be n(q). Suppose -f - 5*a = -97, -t*f + 101 + 23 = -4*a. Is f a multiple of 18?
True
Let c = 6050 - -7335. Is c a multiple of 44?
False
Let t(b) = 2*b**2 + 22*b - 5. Let r be t(-5). Let y = 69 + r. Does 6 divide (35/(-10) + y)*94*1?
False
Suppose -4*k - g = -5*g + 4, 2*g - 10 = 0. Suppose 326 + 4462 = k*m. Is 15 a factor of m?
False
Let x(c) be the first derivative of 7 + c**2 + 4*c + 7/3*c**3. Is x(2) a multiple of 12?
True
Let j(y) = -15*y + 67. Let q(b) = 7*b - 34. Let p(m) = 4*j(m) + 10*q(m). Let x = 1682 - 1668. Does 7 divide p(x)?
False
Let s = -36 - -35. Let h be (11 - s) + (5 - 1). Does 10 divide (h/40)/((-1)/(-100))?
True
Does 22 divide 131420/(-25)*(-45)/18?
False
Let q(a) = 3*a**2 - 8*a - 35. Let f be q(5). Let k(v) = -v**3 + 13*v**2 + 416. Is k(f) a multiple of 33?
False
Let d(a) = 5*a + 67. Let t be d(-12). Let g(b) = -2*b**3 + 14*b**2 - 2*b + 11. Let o be g(t). Let i(u) = 15*u**2 - 4*u + 2. Is 9 a factor of i(o)?
False
Let d(f) = 7*f + 18. Let v be d(-2). Suppose 5*y + 70 = 2*m - 235, -3*m + v*y = -475. Is m a multiple of 23?
False
Let j(x) = 8*x**2 + 850*x - 241. Is 19 a factor of j(-110)?
True
Let j(w) = 6*w - 37. Suppose -7*z = -76 - 8. Does 14 divide j(z)?
False
Suppose -57*a - 20878 = -68*a. Does 65 divide a?
False
Suppose -f + 2081 = t, 0 = -2*f - 56*t + 53*t + 4162. Does 23 divide f?
False
Suppose 0 = 8*k - 9*k + 7, -7*q + 77042 = -5*k. Is q a multiple of 77?
True
Let o be (-3)/(9/(-2))*3. Let l(x) = x**3 + 4*x**2 + 14*x + 58. Let v be l(-6). Is 25 a factor of 5 - o - (v + (1 - 0))?
True
Let n(b) be the first derivative of -b**5/20 + 3*b**4/4 + 13*b**3/6 - 9*b**2/2 + 20*b + 39. Let j(y) be the first derivative of n(y). Is 5 a factor of j(10)?
False
Suppose 34*o + 93960 = 52*o. Does 87 divide o?
True
Suppose -9 = 3*f, 164*j - 3*f - 117569 = 160*j. Is j a multiple of 10?
True
Let l(i) = i**2 + 36*i + 128. Let s be l(-32). Let n be 2/5 + (-1496)/(-10). Suppose s*y - 2*y = -k + 24, 5*y = -5*k + n. Is k a multiple of 28?
True
Let y(b) = -85*b + 102. Let c be (-22)/5 - (-10)/25. Does 55 divide y(c)?
False
Let i(m) = -m**2 + 5*m + 10. Let o be i(6). Let j be 2/o - (-2 - 34/(-4)). Is j/(-14) + 260/14 even?
False
Suppose -230488 - 157102 = -35*s. Is s a multiple of 77?
False
Suppose 495 = 22*s - 341. Suppose s*a - 462 = 37*a. Is a a multiple of 11?
True
Suppose 5*h - m = -12, 0 = -4*m - 3 + 11. Let f(a) = a**2 + 2*a. Let l be f(h). Suppose l*q = -q + 27. Does 8 divide q?
False
Let s = -1377 - -2399. Let p be (-1 - (2 - (-8)/(-4)))*s. Is (-18)/45 + p/(-5) a multiple of 17?
True
Let v(x) = 4*x**3 - 4*x**2 - 9*x - 28. Let n be v(11). Suppose 9*c - n = 363. Is 8 a factor of c?
False
Suppose a + 0 = 3*u - 1, 0 = -u + a - 1. Let j(f) = 25*f**2 + 6*f + 2. Does 4 divide j(u)?
False
Let n = 74 - 73. Let u be 1359/(-6)*(1 + n/3). Let y = u + 450. Is 31 a factor of y?
False
Is 8420 - 104 - (-6 - -2) a multiple of 16?
True
Let i = -1721 + 2481. Is i a multiple of 40?
True
Suppose 0 = 2*o - 5*k - 391, -5*o - 4*k + 898 = -63. Let a = o - 174. Is a a multiple of 2?
False
Let r(t) = 9*t + 298. Let y be r(-33). Does 55 divide (-19 + y)/((-11)/605)?
True
Does 42 divide (4 - 0) + 1312524/81?
False
Let y = -13352 - -15901. Is y a multiple of 2?
False
Does 25 divide ((-2)/10)/((-7)/79765)?
False
Suppose -4*n + 150 = -p, -3*p + 5*n - 357 = 79. Let f = 192 + p. Does 10 divide f?
True
Suppose -17*b = -1613 + 457. Suppose -b*x = -72*x + 1088. Does 16 divide x?
True
Suppose x = -5*u + 8208, u - 4*u + 3*x + 4914 = 0. Let n = 2780 - u. Does 13 divide n?
False
Let c(x) = -4*x**2 - 26*x + 98. Let b(h) = -6*h**2 - 39*h + 147. Let o(p) = -5*b(p) + 7*c(p). Is 4 a factor of o(-12)?
False
Suppose -227 = 3*i - 239. Is 130 - i/(2/(-1)) a multiple of 11?
True
Let c(d) = -d + 16. Let t be c(11). Is 16 a factor of ((-34)/6)/(t/(-510))?
False
Let s(x) = -10*x + 260. Let f(z) = z**2 + 3*z - 40. Let w be f(5). Does 13 divide s(w)?
True
Let i(c) = 28*c**2 + 54*c - 11. Let u be i(-6). Suppose -122 - u = -5*p. Is p a multiple of 53?
True
Suppose -52*n - 22878 + 3794 = 0. Let c = -37 - n. Does 33 divide c?
True
Suppose -i - 2*i + 2394 = 0. Suppose -120*t - i = -122*t. Does 21 divide t?
True
Suppose -309*c + 201358 = -345572. Is 10 a factor of c?
True
Let q be (2 - 3) + 7/(35/(-120)). Let t = q - -205. Is 48 a factor of t?
False
Let i = -137 - -229. Suppose s - h = i, -h + 32 = s - 52. Is s a multiple of 4?
True
Let x = 13876 - 13048. Does 5 divide x?
False
Let o be 296/6 + 3*2/9. Does 15 divide o/(-250) - ((-1981)/5 + 0)?
False
Let w(h) = -3*h**3 + 166*h**2 - 176*h - 111. Is 29 a factor of w(52)?
True
Let r(p) = -p**2 + 10*p - 12. Suppose 0 = 32*k - 42*k + 80. Let i be r(k). Suppose -346 = -i*j - 54. Is j a multiple of 6?
False
Let y(a) = a**2 + 12*a - 5. Let n be y(-13). Let c(l) = -l**3 + 3*l**2 - 2*l + 2. Let u be c(2). Suppose -n*v = -u*v - 600. Is 8 a factor of v?
False
Suppose -y + 2592 = 4*a, 393*a = 5*y + 388*a - 13110. Is y a multiple of 24?
True
Suppose -5*s - 2*i = -38169 + 174, 5*s - 2*i = 37995. Is s a multiple of 17?
True
Let z be (3 + -5)*5/10*-3. Is 536/z + (-36)/(-27) a multiple of 24?
False
Let s = 17 - 41. Let i = s + 28. Suppose -v + 250 - 96 = i*a, 72 = 2*a - 2*v. Is a a multiple of 14?
False
Let u(a) = 697*a - 605. Is 52 a factor of u(9)?
True
Let m be 0 + (-2 - (5 + -3)*-1). Suppose -7*i = -m*i - 1904. Is 16 a factor of i?
True
Suppose 39*z = -3*d + 42*z + 20415, -4*z = 4*d - 27236. Is d a multiple of 7?
False
Let x = 152 - 149. Suppose -v + 6*v - 5*s - 10 = 0, 5*v - 3*s = 10. Suppose -5*j + 723 = -x*f, -2*f = -3*j + v*f + 425. Is 13 a factor of j?
False
Let a(c) = 4*c**2 - 2*c - 26. Let d be a(-11). Let l = -706 + d. Let g = 356 + l. Does 23 divide g?
False
Let g(h) = -22*h + 21 - 32*h**2 + 16*h**2 + 15*h**2. Let f be g(-15). Suppose f = -2*j + 306. Is j a multiple of 18?
True
Let x = 3034 + -3033. Let t(f) = 2*f**3 + 6*f**2 + f. Let d be t(-6). Is -1 + d/(-3) + (x - 3) a multiple of 10?
False
Suppose -3*f + 13272 = 3*i, -16 = i - 5*f - 4416. Is 7 a factor of i?
False
Suppose -4*d - 4*b = -24, 5*b - 22 = -5*d + 2*b. Let t = -11 - -11. Suppose t = 4*c, -4*v = d*c - 5*c - 208. Is v a multiple of 21?
False
Let z(k) = k**3 + 4*k**2 + 5*k + 6. Let n be z(-3). Suppose 0 = 5*i - n*i + 35. Let y = i - -35. Is y a multiple of 8?
False
Let n(u) = -146*u + 4. Let t be n(2). Does 12 divide 99/(-2)*t/54?
True
Suppose -2*y + 7667 + 605 = 0. Does 44 divide y?
True
Let u(l) be the third derivative of -5*l**6/24 - l**5/15 - l**4/6 + l**3/2 - 111*l**2. Is u(-2) a multiple of 16?
False
Let f be 0 - -55 - (-6)/9*6. Let u = f - 19. Is 40 a factor of u?
True
Suppose 2*f - 16716 = -13*x + 15*x, -15*f = -2*x - 125409. Is 17 a factor of f?
False
Suppose 1459*z = 1468*z - 8019. Is z a multiple of 27?
True
Let h(x) = x**2 - 17*x + 4. Let y be h(17). Suppose -2*f + 0*f - 14 = y*m, -3*m - 5*f = 28. Is -2*((m - 76/8) + -1) a multiple of 16?
False
Let s be 12/(-7) - (-32)/(-112). Is 9 a factor of (-257)/s - (-50)/(-20)?
True
Suppose 3*u + c + 416 = 0, 0 = u + 3*c - 4*c + 140. Let p = 119 - u. Is p a multiple of 25?
False
Suppose -4638 = -16*x + 8130. Suppose -67*r = -60*r - x. Is 10 a factor of r?
False
Suppose 4*s + 5*i + 31 = 0, -3*i + 4 = i. Is (8 + s)*(1 + 1) - -781 a multiple of 9?
False
Suppose -6 - 12 = 9*m. Let h be 0 + -2 + m - 48. Let i = 201 + h. Is i a multiple of 14?
False
Let p(t) = -8*t**2 + 11*t + 40. Let f(n) = -33*n**2 + 44*n + 160. Let u(i) = 2*f(i) - 9*p(i). Let b = 127 - 132. Is u(b) a multiple of 11?
True
Suppose 7*h - 46 + 18 = 0. Suppose 4*d + 4*j + 52 = 176, h*j + 56 = d. Is d a multiple of 20?
False
Let m(k) = k**3 - 17*k**2 - 4*k + 38. Let s be m(17). Let q = s - -126. Is 6 a factor of q?
True
Suppose 1466*a = 1494*a - 105056. Does 5 divide a?
False
Suppose 876*c - 1128*c = -9930312. Is c a multiple of 19?
True
Suppose r - 4 = 0, 3*r - 13 = s - 1. Suppose -3*v + 