1 a multiple of 105?
True
Suppose -3*b - 5*r = -3753, 34*b - 36*b = -3*r - 2521. Is b a multiple of 91?
False
Let t(n) = -4*n**2 + 5*n - 1. Let x(l) = 5*l**2 - 5*l. Let a(d) = -4*t(d) - 3*x(d). Let k be 5/(-1)*(-1 + 22/10). Is a(k) a multiple of 10?
True
Suppose 6*y = y + 55. Let q = 68 - y. Is q a multiple of 9?
False
Let w(r) = -r + 4. Let j be w(-8). Suppose -4*x + 16 = -2*m + 6*m, 3*m = -2*x + j. Suppose n - 27 = -2*o - o, -m*o + 4*n + 52 = 0. Does 10 divide o?
True
Let k(q) = q**3 + 11*q**2 - 15*q - 28. Does 21 divide k(14)?
True
Let z(g) = g**3 + 2*g**2 - 2*g + 9. Let c be z(-5). Let x = c - -156. Let r = x - -75. Is 25 a factor of r?
True
Is 63 a factor of -10 - 4 - -5044 - -10?
True
Let i = -742 - -2874. Is 13 a factor of i?
True
Let h(n) = n. Let w(t) = 4*t + 13. Let g(z) = -6*h(z) - w(z). Let m be g(-8). Let v = 111 - m. Does 32 divide v?
False
Suppose 25*l + 20 = 30*l. Suppose -3427 = -l*o + 5*q, 2*q + 1167 = 2*o - 547. Does 13 divide o?
True
Does 10 divide -2 + (-6 - -4) - (-17 + -12627)?
True
Does 25 divide (50/(-6))/((-406)/172956)?
True
Let u = 26876 - 24695. Does 4 divide u?
False
Let g be -2 + 3233/5 + 2/5. Suppose 14*h - 17*h = -g. Is 11 a factor of h?
False
Let v = 5806 - 2882. Suppose -45*r = -v - 451. Is 5 a factor of r?
True
Let y = -102 - -299. Suppose 4*b - y = 187. Is 5 a factor of b?
False
Let o = -42 - -117. Let u be 475/o + (-4)/3. Is 6 a factor of ((-4)/3)/(u/(-30))?
False
Does 49 divide (-56)/(-32)*140/15*(1 + 242)?
True
Let m(s) = -159*s - 1074. Is 9 a factor of m(-8)?
True
Let g = -90 - -90. Suppose -3*w + 3*x = 57, 4*w - 3*x + 5*x + 82 = g. Is (-3)/w*-4 + (-66)/(-10) a multiple of 2?
True
Suppose -5*z = -r - 2144, -539*z + 2*r = -544*z + 2147. Is z a multiple of 7?
False
Suppose -157*n + 1290 = -127*n. Let r be 4 + -4 - (1 + -45). Let h = n + r. Does 32 divide h?
False
Let q = 252 + 295. Suppose -4*o + 1523 = q. Does 14 divide (1/2)/(2/o)?
False
Let y = 4872 + -757. Does 9 divide y?
False
Let w(k) = 20*k**2 + 65*k + 1173. Is 8 a factor of w(-25)?
True
Suppose 0 = 13*n - 10*n - 1047. Let z = 688 - n. Suppose -6*a = -159 - z. Does 11 divide a?
False
Let w(z) = z**2 + 5*z + 8. Let p be w(-4). Let l be -3*2/p*-2. Suppose -3*s - 434 = -5*n, l*n + s - 139 - 127 = 0. Is 11 a factor of n?
True
Let p = 6379 - 2690. Does 13 divide p?
False
Let p be (144/6)/((-1)/1). Let o(f) = -4*f - 55. Does 32 divide o(p)?
False
Let d = 119112 - 69551. Is 40 a factor of d?
False
Suppose -184802 = -16*k + 196210 - 127588. Does 89 divide k?
False
Suppose 15*y = 14*y + 9760. Suppose -69*a + 53*a = -y. Does 33 divide a?
False
Suppose 0 = u - 5*q - 13, 7 - 1 = -2*q. Is (1978 - -39) + (-4)/u a multiple of 13?
False
Does 20 divide 134*11/6 - 12/(-36)?
False
Suppose -2*w + 27 = 3*u - 0*u, 2*w - 2*u - 12 = 0. Let r(x) = 4*x + 52. Is 17 a factor of r(w)?
False
Let v be (-370)/(-22) - 4/(-22). Let c = 21 - v. Suppose -w - w + 262 = -c*p, -5*w + 667 = 2*p. Is w a multiple of 19?
True
Suppose 0 = -20*g + 9*g + 44. Suppose 0*p - 13 = -5*s - 4*p, 3*s = g*p - 5. Suppose 3*r - 523 + s = 0. Is 29 a factor of r?
True
Let w be (1*18)/(-18 - -17). Let f(k) = -k**3 - 18*k**2 + k + 21. Let j be f(w). Suppose -y - j*y = -72. Is y a multiple of 2?
True
Let u = -600 + 273. Let s(i) = -23*i - 7. Let v be s(8). Let z = v - u. Does 14 divide z?
False
Let o = -1752 - -5101. Does 17 divide o?
True
Let g(w) = w**2 + 16*w - 14. Let i be g(-17). Suppose 250 = -y + 2*y + 5*n, -822 = -3*y + i*n. Let o = -60 + y. Is o a multiple of 15?
True
Suppose 149*a - 153*a = -3*p - 5908, a + 4*p - 1458 = 0. Does 8 divide a?
False
Let m(p) = p**3 + 10*p**2 - 14*p + 7. Let b(d) = d**3 - 18*d**2 - 11. Let z be b(18). Let w be m(z). Is 18 a factor of 675/(-100)*w/(-3)?
True
Is (2 + (-81)/45)/1 + (-208)/(-10) a multiple of 2?
False
Let l(d) = d + 33. Let u be (-5 - -1)/((-14)/(-7)). Let a be (u/(-10))/((-8)/20)*-14. Is l(a) a multiple of 8?
True
Let m(u) = 406 - 7*u - 163 + 0*u. Does 6 divide m(22)?
False
Let x(w) be the first derivative of 11*w**4/2 + w**3 - w**2 - 7. Let j be x(2). Suppose 2*m + 3*n = m + j, 0 = -4*n + 16. Is 43 a factor of m?
True
Let z(l) = -l**3 + 27*l**2 - 39*l - 71. Is z(11) a multiple of 4?
True
Let v(t) = -3*t**2 + 17*t - 26. Let i(b) = 4*b**2 - 32*b + 52. Let o(z) = -6*i(z) - 13*v(z). Does 14 divide o(9)?
True
Let f be -1 - 2 - 9/(-3). Suppose f = -39*o + 6778 + 5507. Does 24 divide o?
False
Let y(f) be the third derivative of f**6/120 + f**5/30 - f**4/8 - 2940*f**3 - 30*f**2. Let i be y(0). Is 8 a factor of ((-4)/(-10))/(7*(-7)/i)?
True
Let l(f) = 2*f**3 - 10*f**2 - 2*f + 40. Let i be l(11). Suppose 0 = -30*u + 23*u + i. Is 14 a factor of u?
True
Suppose -30*j + 2015 = -4285. Let v = 1460 + j. Is 13 a factor of v?
False
Let u be (-6)/(-11) - 378/(-154). Let q(r) = 36*r**2 + 8*r - 12. Does 42 divide q(u)?
True
Let a(v) = 56*v + 126. Let o be a(-16). Let j = o - -1169. Is j a multiple of 48?
False
Let c(g) = 43*g - 101. Let t be c(-14). Let n = -311 - t. Does 14 divide n?
True
Is 2 a factor of (8 + 5580/(-25))/(15/(-300))?
True
Let h be -204*(-4 + 0 + 12/8). Suppose -4*o - 2*r + h = 0, 4*o - 6*o = -5*r - 285. Is 30 a factor of o?
False
Let k = 471 + -464. Suppose -k*d - 1064 = -3010. Is 12 a factor of d?
False
Suppose -l = -2*j + 3, 47*j - 4*l + 9 = 46*j. Suppose 2*i = -5*y + y + 1444, -j*y + 1082 = i. Does 17 divide y?
False
Let j(a) = -196*a - 458. Does 5 divide j(-18)?
True
Let z(w) be the second derivative of 17*w**5/120 - 7*w**4/12 - 14*w**3/3 - 20*w. Let g(m) be the second derivative of z(m). Does 20 divide g(6)?
False
Does 12 divide (-16002)/(7/(-84)*9)?
True
Suppose -58*o - 29*o + 26791 + 24104 = 0. Is 2 a factor of o?
False
Let d be 127*-5*3/(-6)*2. Suppose -d = -i + 107. Is i a multiple of 14?
True
Let b(a) = 68*a + 7. Let l be b(5). Let t be ((-6341)/68)/((-2)/8). Suppose 0 = -5*u + t + l. Is u a multiple of 18?
True
Let v = 138 - 82. Let s = -53 + v. Suppose 3*r = s, -5*r = 3*a - 116 + 39. Does 12 divide a?
True
Let v be ((-12)/(-21) - 0)/(2/7). Suppose 12*g - 8*g = -2*l + 304, 160 = v*g + 5*l. Is g a multiple of 17?
False
Let q be 75/10*(-1)/(-5)*12. Is 43 a factor of 200/450 + 14896/q?
False
Let y(s) = 2*s**2 - 8*s + 1. Let g be y(4). Let u be (148/(-6))/(8/(-36)) - g. Suppose 0 = -l - 5*h + u, -4*h = -7*h. Is l a multiple of 22?
True
Let b be (0/3 - 0)/(-3). Suppose b = -c + 4*c - 15. Suppose -2*o + d = c*d - 80, 0 = 5*o + 2*d - 192. Is o a multiple of 38?
True
Let c(l) = 57*l + 188. Is c(14) a multiple of 17?
True
Suppose 3*o = -h - 0*h + 4, -3*h = -4*o - 12. Suppose 1 = x, -h*x = 6*y - 10*y + 76. Is y a multiple of 20?
True
Let j = -15333 - -38469. Is j a multiple of 15?
False
Let i be ((-121)/(-3) + (-5 - -3))*-6. Let y = 535 + i. Is 51 a factor of y?
False
Suppose 0*l = 2*x - 4*l + 24, 2*x + 4*l = -8. Let b be (10/(-8))/(3 - (-23)/x). Let c(s) = -10*s - 35. Is 13 a factor of c(b)?
True
Let j = -149 + 149. Suppose 2*y + 2*g - 2212 = j, 0 = 4*y + g - 4738 + 308. Is y a multiple of 79?
False
Let g(x) = -106*x - 4. Let h(w) = -w**3 - 17*w**2 + 38*w - 1. Let j be h(-19). Let p be g(j). Suppose -8*v + 10 = -p. Does 7 divide v?
True
Let b be (-27)/12*6320/(-30). Let h = 766 - b. Is 6 a factor of h?
False
Suppose -4*f + 1008 = 88. Let z = f - 116. Suppose 330 - z = 9*s. Is 6 a factor of s?
True
Let o = 406 - 500. Let m = 98 + o. Is m even?
True
Let k(c) = 3*c**3 - 14*c**2 - 55*c + 15. Let w(u) = u**3 - 8*u**2 - 27*u + 8. Let y(t) = 2*k(t) - 5*w(t). Is 3 a factor of y(-9)?
False
Suppose 7*c - 33*c + 236388 + 230806 = 0. Does 60 divide c?
False
Does 17 divide 294614/34 - (-132)/(-1122)?
False
Let m = 6342 - -7287. Is m a multiple of 33?
True
Let n = -1820 - -4948. Is n a multiple of 46?
True
Let a be (-2)/3 - 116/(-3). Let o = 33 - a. Let q(h) = -41*h - 37. Does 21 divide q(o)?
True
Suppose -7 - 26 = 5*q - a, -4*q = -5*a + 39. Let m be (-4)/q - 4/(-12). Is m*-3*(-6 - 15) a multiple of 21?
True
Let j(c) = 9*c**3 - 19*c**2 - 16*c - 6. Does 24 divide j(9)?
True
Let g be 4 + (4 + -3 - -19). Let m = 67 - 62. Suppose -m*v = -6*v + g. Does 3 divide v?
True
Let z = 80 + 34. Suppose 17*h + z = -124. Is -2*(h - -5)*(-1)/(-2) a multiple of 3?
True
Let g = 266 - 261. Suppose 0 = 5*b + g, -2*b - 778 = -c + 2*b. Does 89 divide c?
False
Suppose 3*n - 7*n = -776. 