*u - 891, m*g - 3*g - i = 4*u. Is 35 a factor of g?
True
Suppose 0 = 4*c - c + 2*k - 945, 3*c - k - 954 = 0. Does 3 divide c?
False
Suppose -4*i - 4 - 5 = 3*k, -4*i - 12 = 4*k. Suppose 0 = 3*s - 3*l + 2*l - 33, i = -4*l. Suppose 172 = s*g - 7*g. Does 17 divide g?
False
Suppose 4*g - 3*l - 15 = 0, 0 = 2*l - 6*l + 12. Is -6*(-5 + (-303)/g) a multiple of 63?
False
Let j be 8 - ((-22)/(-6) - 3/(-9)). Suppose 0 = -4*b - 4*u, 0 + j = b - u. Suppose 184 = 2*q + b*z, -2*z + 96 = q + z. Does 15 divide q?
True
Let l = 3316 - 2579. Is 32 a factor of l?
False
Suppose -25*i + 21*i - 44 = 0. Let x = i - -23. Suppose -252 = 10*r - x*r. Is 21 a factor of r?
True
Let a(v) = v**2 + 24*v + 49. Let c be a(-22). Suppose 4*k - 161 = -c*x, 0 = -3*x + x + 2*k + 50. Is x a multiple of 12?
False
Suppose 0 = -4*o - 5*f + 3118, -o + 35 + 745 = f. Is 17 a factor of o?
True
Let t(f) = 53*f - 51. Let a(g) = -13*g + 13. Let d(m) = 4*m**3 - m**2 - 1. Let x be d(1). Let v(p) = x*t(p) + 9*a(p). Is v(-15) a multiple of 17?
False
Suppose 27 + 9 = -4*f. Let y(g) = -g**2 - 10*g + 3. Let k be y(f). Does 34 divide 1551/k - (-6)/8?
False
Suppose 0 = 22*o - 268577 - 561285. Is 10 a factor of o?
False
Suppose 1 = -3*y + 10. Suppose 3*q - 676 = -2*a, 1152 = 8*q - 3*q - y*a. Suppose 5*g - q = 472. Does 14 divide g?
True
Let w(f) = -f**2 - 63*f + 418. Let s be w(6). Suppose -s*k + 2*x = -x - 327, 2*k = 5*x + 181. Is k even?
True
Let u = -3226 - -5144. Suppose 68*v = 61*v + u. Does 9 divide v?
False
Is (-2)/(-3) - (4 + -1*4780/30) a multiple of 12?
True
Is -1 + 1 - 3 - (168/(-24) + -183) a multiple of 5?
False
Let n be (-10)/4*338/5. Let m = n + 224. Is m a multiple of 2?
False
Let h(u) = 10*u**2 - 7*u - 7. Let m be 10 + -9 - (0 - -4). Is 10 a factor of h(m)?
False
Let t be (25 + -1 + 1)*4. Let z(f) = 881*f + 2785. Let o be z(-3). Let p = o - t. Does 21 divide p?
True
Suppose -r + 16 = 15. Let u be (r/(15/6))/(6/(-60)). Does 27 divide -147*(-2)/u*(-8)/12?
False
Let x be ((-21)/28)/(-1*2/8). Suppose -2*t = -x - 77. Let p = -29 + t. Is p a multiple of 11?
True
Suppose -39*r = -3*r - 72. Suppose -r*m = -5*o + 1231, o + 971 = 5*o + 3*m. Is o a multiple of 7?
True
Suppose 8 = 5*n - 2*s - 7, 15 = 4*n - s. Suppose 4*d = -2*z - 3*z + 2013, -n*z = 5*d - 2010. Is 57 a factor of z?
False
Suppose -4597 = 10*w + 3253. Let y = 1335 + w. Is y a multiple of 10?
True
Let r = -32 + 35. Suppose 0 = -r*j - 0*m + 3*m - 3, -3*j - 4*m - 17 = 0. Does 10 divide -1 + j/3 + 12?
True
Suppose -5*t + r = -0*r - 2737, 3*t = -2*r + 1650. Suppose 0 = -k - 5*l + 143, -4*k - 3*l + 41 = -t. Does 34 divide k?
False
Suppose 6912*w - 6963*w + 83423 - 29669 = 0. Is w a multiple of 4?
False
Suppose 0 = 4*j + 3 + 1. Let u be j/((0 + 3)/(-3)) - -3. Suppose 44 + 4 = u*x. Is x a multiple of 12?
True
Suppose 31*w - 88 = 5. Suppose 24*p + k + 49 = 25*p, -2*k = -w*p + 143. Is 41 a factor of p?
False
Suppose -3 - 117 = -30*i. Suppose -i*f = 2*z - 1836, -f + 538 = 4*z + 93. Is f a multiple of 45?
False
Suppose 16 = 6*a - 8. Let m(t) = 0*t**2 - a*t**2 - 17*t + 8 + 4*t**2 - t**2. Is m(-17) a multiple of 4?
True
Let h be (-56)/(-5) + 1/(-5). Let b(l) = 6*l + 79. Let t be b(-12). Suppose t = n + 4*p, h - 42 = -n + 2*p. Is n a multiple of 10?
False
Suppose r + 30 = 3*t, -3*r - 130 + 26 = -2*t. Let o(b) = -2*b**2 - 18*b - 2. Let l be o(-9). Is 6 a factor of l - 120/(r/6)?
True
Let d = -51 + 58. Let w(y) = y**2 - 9*y - 6. Let x be w(d). Is (1 - -129)/2 + (-21 - x) a multiple of 10?
False
Let p = -886 - -355. Let c = -249 - p. Is c a multiple of 98?
False
Suppose -a = -0*a + j + 4, -5*a + 3*j = 4. Does 100 divide a/(-3 - 14693/(-4900))?
True
Suppose -24*q + 124612 + 352608 = -4*q. Does 157 divide q?
False
Let c(y) = 15*y + 15*y - 19 + 43. Is 27 a factor of c(10)?
True
Let z be (-4368)/(-176) - 6/(-33). Suppose 50 = w - z. Does 5 divide w?
True
Let v(f) = -2950*f - 3. Does 25 divide v(-1)?
False
Suppose -5*j = 4*y + 266 + 1542, 5*y = -2*j - 2243. Let m = y + 732. Does 5 divide m?
True
Let l be 12 + -1 - (4 + -1). Is l + (-1)/(7/(-9702)) a multiple of 82?
True
Suppose 0 = 3*x + 4*x + 210. Let g be (-666)/x + (-12)/(-15). Let r = g - 19. Is r a multiple of 4?
True
Let f(v) = v**3 - 18*v**2 - 21*v + 12. Let u(m) = 2*m**2 - 9*m + 12. Let w be u(5). Let l be f(w). Let k = -418 - l. Is k a multiple of 54?
True
Let y = -960 + 1527. Suppose 13*k - 369 = y. Is k a multiple of 24?
True
Let l be (5 - 6)*0/1. Suppose -m - 3*c + 310 = 0, l = -5*m - 5*c + 275 + 1235. Suppose 2*w - m - 166 = 0. Is 11 a factor of w?
False
Suppose 136555 + 84296 = 53*l. Is l a multiple of 34?
False
Suppose -74*o + 77*o + 159355 = 5*w, w - 31848 = -4*o. Does 31 divide w?
True
Let p(v) = v**3 - 19*v**2 + 18*v + 11. Let r be p(18). Suppose 2261 = r*u + 655. Is 22 a factor of u?
False
Suppose -20*l - 131 + 11 = 0. Does 10 divide (180/105)/(l/(-525))?
True
Suppose 114*p = 139*p - 16575. Does 12 divide p?
False
Is -7 + 437/57 - -604*(-94)/(-12) a multiple of 14?
True
Suppose -3*i = -12*i - 6*i + 110010. Does 33 divide i?
False
Let v(h) be the second derivative of 17/6*h**3 + 18*h - 1/20*h**5 + 0 - 3/2*h**2 - 13/12*h**4. Is v(-15) a multiple of 8?
True
Suppose 0 = -4*c - 176 + 12. Let a = -24 - c. Suppose 4*s - 167 = a. Is 23 a factor of s?
True
Suppose -50*v - 44*v = -383520. Does 20 divide v?
True
Is (41 + 2233/(-55))/((-2)/(-38760)) even?
True
Let x be (-9)/(-6)*(-72)/(-27). Suppose 2576 = 3*l - l + x*v, -2*l - 2*v + 2572 = 0. Is 40 a factor of l/5 + (7 - 272/40)?
False
Let o = -21 - -24. Let l = o + 64. Does 4 divide l?
False
Does 17 divide (-20)/(-2) - (97 + -639)?
False
Let t(d) = 169*d - 2032. Is 16 a factor of t(48)?
True
Suppose -2*d + 4*g = 6 + 86, 0 = -2*d - 3*g - 85. Let n = -44 - d. Suppose n = -5*c - 5*a + 181 + 309, -a + 494 = 5*c. Is c a multiple of 9?
True
Let j = 669 + -684. Does 53 divide 50067/945*7 + (-2)/j?
True
Let u = 480 + -896. Let o = u - -450. Is 4 a factor of o?
False
Let p(q) = q**2 + 10*q - 31. Let r(y) = 2*y**3 + y**2 - 4*y - 1. Let d be r(3). Let b = d + -65. Is 44 a factor of p(b)?
True
Let s(x) = -x**3 + 19*x**2 + 6*x + 21. Let k(t) = -t. Let c be k(-4). Suppose -c*j - 16 = -92. Is s(j) a multiple of 27?
True
Suppose -3*i + 5*r + 19193 = 0, 0*i - 19208 = -3*i + 2*r. Is i a multiple of 91?
False
Let y be (-23 - 1)/2 + 6. Does 22 divide (-1332)/27*(y - 0)?
False
Let r(u) = -599*u - 617. Is 20 a factor of r(-3)?
True
Let u(j) = j**3 + 6*j**2 - 11*j - 5. Let p be u(-7). Let q be (4/(-6))/((-20)/(-510)). Let o = p + q. Is 5 a factor of o?
False
Let d = -133 + 194. Let x = d - -247. Is x a multiple of 14?
True
Let k(f) = -6*f - 44. Let a be k(-7). Let u be (-2465)/(-55) - a/11. Suppose -40*i + u*i - 130 = 0. Is i a multiple of 3?
False
Suppose -5*l + 2*l - 18 = 0. Let d be (0 - -3)/(l/(-8)). Suppose 6 = a - d. Is a even?
True
Let j be 3*-1*(41/(-3) + 5). Let x(t) = 11*t - 7. Let c be x(6). Let k = j + c. Does 17 divide k?
True
Suppose 33*v - 30*v + 153 = 3*r, v = -4*r + 229. Is 4 a factor of r?
True
Suppose 8 = 4*b - 3*n + 23, 0 = 2*b - 3*n + 9. Let h be 1/b - 20/(-60). Suppose h = -6*m + 455 + 25. Is 8 a factor of m?
True
Let s(n) = 38*n**3 + 3*n - 5. Suppose -2*k = 4, 2*y - 4*k - 4 = 4*y. Suppose -31 = -3*v - 5*a, -3*v - y*a + 21 = 5. Is 61 a factor of s(v)?
True
Let x(s) = -14*s + 7. Let w be x(1). Let l(a) = -5*a**3 - 17*a**2 - 2*a + 28. Is 12 a factor of l(w)?
True
Let a(x) = x**3 + 28*x**2 - 142*x - 19. Suppose 11*g = 10*g - 32. Does 14 divide a(g)?
False
Suppose 5*c = 4*w + 15718 + 21515, -3*c + 2*w + 22339 = 0. Is c a multiple of 39?
False
Let g = 220 + -179. Suppose g*u - 45*u + 420 = 0. Does 3 divide u?
True
Let u be ((-6)/2 + 2)*(-66)/11. Is 3002/u + 36/(-108) a multiple of 12?
False
Let y = 12 + -6. Suppose 5*m + y*m = 2838. Does 61 divide m?
False
Let o be (((-732)/(-10))/1)/(5/(-25)). Let h = -321 - o. Is h a multiple of 3?
True
Let w = 1645 - -2710. Is 65 a factor of w?
True
Let j be (-894)/(-3) + (-8 - -4). Is (-49)/j + 1753/6 + 2 a multiple of 6?
True
Let a = 481 - 430. Suppose -9*g + 22620 = a*g. Is 31 a factor of g?
False
Suppose -4*c = -13 - 3. Suppose 0 = 4*f - 4, 2*m + 97 = f + c*f. Let w = 370 + m. Does 45 divide w?
False
Let s be -1*2/(-6)*(99 - -2442). Let q = -433 + s. Does 9 divide q?
True
Suppose r + 0*r - 4 = 0. Suppose 160 = 