e ((-276)/21)/(6/(-21)). Suppose 2*w = 2*m - o, 2*m = 3*m + 2*w - 8. Is 8 a factor of m?
False
Suppose 4*z - 30 = -z + 3*o, -4*o = -2*z + 12. Does 6 divide 10/(-4)*1*(-72)/z?
True
Let a be 43*-2*(3 + (-35)/10). Suppose -a - 145 = -u. Is u a multiple of 47?
True
Does 26 divide 3 + (-31)/11 - 7410/(-143)?
True
Suppose -42*h - 10 = -47*h. Is 7 a factor of h - ((-3 - -6) + 1 + -10)?
False
Suppose -3*t + 4*d = -62, -3*d = 2*t + 3*t - 55. Is (-1)/(2 + (-29)/t) a multiple of 7?
True
Suppose -7*x + 9 = 2. Is 2 a factor of 2071/57 + x/(-3)?
True
Suppose 5*q - 3*r = 9870, 5*q + 5*r = 8*q - 5922. Does 19 divide q?
False
Suppose -4*g - 1643 = -5*n, 12*n - 2*g - 658 = 10*n. Is n a multiple of 5?
False
Suppose -150*w = -162*w + 49140. Is w a multiple of 19?
False
Is -10*(5 + -11) + -6 a multiple of 3?
True
Let s be ((-30)/75)/((-2)/35). Suppose 0*y + 3*y = -m + s, -5*m - 2*y + 48 = 0. Does 9 divide m?
False
Suppose -v - 2 = -17. Does 21 divide (-252)/(-15)*v/2?
True
Suppose -3*o + u + 0 = -8, 4*u + 12 = 2*o. Suppose -2*d - 2*k = -202, -o*k + 11 = -d + 127. Does 6 divide d?
False
Let q(x) = 102*x + 2. Let m be q(1). Let u = m + -38. Does 21 divide u?
False
Let v(d) be the second derivative of 12*d - 17*d**3 + 9*d**3 + 7*d**3. Is v(-3) a multiple of 9?
True
Suppose 0 = 11*z - 12*z - 14. Does 2 divide z/(-63) - (-102)/27?
True
Suppose 0 = 2*u + 6. Let b be (u + 1)/(0 + 2). Let w = 21 - b. Does 10 divide w?
False
Let f(o) = o**3 - 12*o**2 + 2*o - 1. Let n be f(12). Let i be (22/4)/((-1)/10). Let u = n - i. Is 26 a factor of u?
True
Suppose -w = k - 18, -3*k + 2*w - 4*w = -56. Let z = -18 + k. Suppose 0 = -2*b + 4*j + 12, z*b = -b + 4*j + 22. Is 4 a factor of b?
False
Let w = -21 - -18. Let h be w - -6 - 33/3. Is 34 a factor of ((-180)/h + 1)*2?
False
Is 37 a factor of (-784)/10*(-20 + 15)?
False
Let u be (-1)/((-60)/28 - -2). Let x = u + 44. Is x a multiple of 51?
True
Suppose 0 = -w + 3*x - 7, -3 = 5*w + 2*x - 19. Suppose d - w*d = -127. Does 38 divide d?
False
Suppose -4*z + 39 = p + z, 0 = 4*p - 3*z - 225. Suppose -9*y + 11*y = p. Is y a multiple of 15?
False
Let y = -1151 + 1855. Is 9 a factor of y?
False
Let y = 15 - 40. Let a = y + 37. Is 3 a factor of a?
True
Let n(c) = 42*c**2 + 41*c - 5. Is 62 a factor of n(3)?
True
Suppose q = 12 - 7. Suppose 2*b + q*y - 39 = 0, 3*b + 10 - 63 = -2*y. Is b a multiple of 4?
False
Let b be 17 - 7/((-28)/12). Suppose -15 = 5*c, 0*c + b = m + c. Does 18 divide m?
False
Suppose -26*g + 23*g + 3*i = -4707, -2*g - i = -3126. Is 5 a factor of g?
True
Suppose -6200 = -5*r - 285. Does 38 divide r?
False
Does 5 divide 4/8 - 573/(-6)?
False
Let a(u) = -u**3 - 10*u**2 - 9*u + 3. Let l be a(-9). Suppose -l*r = -184 + 4. Does 9 divide r?
False
Let w = -2165 - -3670. Is 4 a factor of w?
False
Suppose 27*p + 12 = 31*p. Suppose -4*q = 2*z - 256, -2*z = 5*q - p*z - 313. Is q a multiple of 14?
False
Let a(c) = -2*c**2 + 6*c + 7. Let r be a(5). Let p = r - -6. Let k(t) = -t**2 - 10*t - 1. Is k(p) a multiple of 7?
False
Let m = 2473 - 396. Does 31 divide m?
True
Suppose -15 = 4*k + 4*s + 21, -3*s + 9 = -3*k. Let l be k*(-1 - 2 - -2). Suppose 20 = z + l. Does 7 divide z?
True
Suppose -5*f + 140 = -7*f. Let g = -6 - f. Does 8 divide g?
True
Let b = -89 - -91. Is 23 a factor of b/(-13) - ((-16398)/39)/3?
False
Suppose -j - 8 + 59 = 0. Does 51 divide j?
True
Suppose -2*m + 3*m - 190 = -4*z, 140 = 3*z + 2*m. Is 16 a factor of z?
True
Suppose -3*x + 0*i = -3*i + 12, -4*i = 2*x - 4. Is 5 a factor of 650/52 - x/4?
False
Let u(q) = 98*q**3 + 8*q**2 - 11*q + 1. Is u(2) a multiple of 53?
True
Let h(u) be the first derivative of u**3/3 - 9*u**2/2 + 10*u + 10. Does 23 divide h(13)?
False
Suppose s - 4*l = 5*s - 24, -5*s + 5*l + 80 = 0. Let x(i) = 7*i**2 - 8*i + 13. Let j(o) = 3*o**2 - 5*o + 5. Let a(n) = 5*j(n) - 2*x(n). Does 3 divide a(s)?
True
Let b(k) = -16*k**2 - 36*k - 11. Let z(o) = 4*o**2 + 9*o + 3. Let r(l) = 2*b(l) + 9*z(l). Is r(-5) a multiple of 11?
False
Does 84 divide (-86)/43 - 300*-3?
False
Suppose o - 2*q - 127 = 4*o, -3*o - 128 = q. Let j = o + 13. Is 10 a factor of (j/(-18))/(3/27)?
False
Let k(f) = -f + 3. Let t be k(6). Let x be (15 - 0)*(-1)/t. Suppose -3*q = -4*d + 325, x*d + 4*q + 208 = 622. Does 22 divide d?
False
Is 3 a factor of ((-156)/36)/((-3)/(219 - 3))?
True
Suppose 0 = -9*i + 144. Let j = i - -20. Is j a multiple of 6?
True
Suppose -2*u + 662 = -4*l, 3*l + 153 + 178 = u. Let k = -220 + u. Is k a multiple of 24?
False
Let b(d) = 2*d**3 - 18*d**2 + 3*d + 2. Let l be b(9). Suppose -2*o + m = -91, o - l = -2*m - 3*m. Is 4 a factor of o?
True
Let q = 78 + -26. Let m = 100 - q. Is m a multiple of 8?
True
Is ((-2373)/(-14))/(-3)*(-16)/2 a multiple of 13?
False
Let g = 95 + -64. Let k = -5 + g. Is k a multiple of 14?
False
Suppose 4*h + 8 = 56. Is 6 a factor of h?
True
Suppose 5*o + u - 109 = 551, 121 = o - 2*u. Does 15 divide o?
False
Let q(x) = -3*x. Let h(j) = -3*j + 1. Let c(m) = -6*h(m) + 5*q(m). Suppose -2*g - 4*u - 14 = -50, -3*u = -5*g + 64. Does 12 divide c(g)?
True
Suppose 2716 = 8*c + 812. Does 34 divide c?
True
Let y(t) = -t**3 - 7*t**2 + 78*t - 32. Is 13 a factor of y(-15)?
True
Let x(m) = m**2 + 12*m + 17. Let o be x(-5). Let t = o + 21. Suppose 2*l - 3*j - 184 = -52, t*j = -2*l + 132. Does 12 divide l?
False
Suppose -578 = -12*z - 1478. Is -1 + -5 + (-3 - z) a multiple of 12?
False
Suppose 0 = 2*t + 3*y - 482, 0 = -3*t - 3*y + 4*y + 734. Is 4 a factor of t?
True
Let a = -537 - -1007. Does 47 divide a?
True
Let j = -33 - -38. Suppose -4*l - 3*w + 29 = 0, 3*l - j*w + 19 = 6*l. Is l a multiple of 2?
True
Let k be (2/5)/((-12)/(-360)). Suppose k*s = 2*s + 150. Does 13 divide s?
False
Let q(f) = 61*f**2 - 11*f - 22. Is 35 a factor of q(-3)?
True
Let a(i) = i**2 - 5*i + 44. Does 10 divide a(9)?
True
Suppose 4*w - 5 = -c, 2*c + 5*w - 2 = c. Is c a multiple of 5?
False
Suppose 0 = 4*u + 3*w - 2849, -2138 = -u - 2*u - 2*w. Is u a multiple of 14?
False
Let x be ((-30)/180)/(1 - (-10)/(-12)). Suppose b - 4 = -12. Is 5 a factor of 28 + x - (b + 10)?
True
Let b(d) = -d - 3. Let q be b(-2). Let p = q - -3. Suppose -p*k = -4 - 4. Does 4 divide k?
True
Let p = 812 - 369. Suppose u - 3*z - p = -73, 3*u - 5*z - 1130 = 0. Is u a multiple of 55?
True
Let v = -517 - -1086. Does 8 divide v?
False
Let u(i) = 0*i**3 - 65 - 2*i**3 + i**2 + 6*i**3 + i - 3*i**3. Let q be u(0). Let o = 98 + q. Is 11 a factor of o?
True
Let k(x) = 10*x**3 + 5*x**2 - 5*x. Is 8 a factor of k(2)?
False
Suppose 7*d + 1064 = 35*d. Is 2 a factor of d?
True
Let n = 82 - 78. Suppose 2*i = n*b + 274, -4*b + 167 = 2*i - i. Is 42 a factor of i?
False
Let y = 354 + 603. Is 40 a factor of y?
False
Suppose 2*f = -2*p, 2*f + 4 = -5*p + 16. Suppose n - 4*m = 297, 3*n - 5*m = p*n - 297. Is n a multiple of 33?
True
Let k(x) = -2*x**2 + 18*x - 58. Let g be k(9). Let b = g - -124. Is 33 a factor of b?
True
Suppose 5 = 3*u - 7. Let v be ((-6)/(-39) - 60/(-117))*3. Suppose -v*g = 3*o - 89, -3*g + 8*g - 128 = -u*o. Is o a multiple of 9?
True
Let d = -284 + 348. Is d a multiple of 32?
True
Suppose 5*p + 0*s = -s - 7, 0 = -5*p + 4*s + 3. Let w(m) = -70*m - 2. Does 15 divide w(p)?
False
Suppose 0*d = 4*d - 6512. Suppose d = 10*h + 28. Is h a multiple of 32?
True
Let l be (140/5 - 1) + 3. Suppose -8*c - 4840 = -l*c. Is 10 a factor of c?
True
Suppose 3*r - 24 = r. Let u(j) = -j + 16. Let l be u(r). Suppose l*k + 54 - 226 = 0. Is k a multiple of 16?
False
Suppose -x + 2*a = -1731, 2*a + 1373 = 3*x - 3808. Does 42 divide x?
False
Let q(p) = -p**3 - 10*p**2 - 12*p - 18. Let m be q(-9). Let o(d) = 13*d + 81. Is o(m) a multiple of 11?
True
Suppose c + 0 - 2 = 0. Suppose -2*g + 42 = 2*j, 4*j = -g + c*g - 36. Is g a multiple of 12?
True
Suppose -2*f = -4*f - 8. Let v be (6/f)/((-3)/(-4)). Is 5 a factor of ((-1)/v)/((-2)/(-36))?
False
Let h(q) = 2*q**2 - 26*q - 60. Does 15 divide h(-13)?
False
Let y = 10 + -3. Let a = 12 + y. Does 17 divide a?
False
Suppose 44*q - 6384 = 38*q. Does 7 divide q?
True
Let c(p) = 5 - 6*p**2 + 5*p + 12*p**2 - 5*p**2. Let h be c(-5). Suppose -h*s = 20, -5*r - 20 = 5*s - 110. Is r a multiple of 11?
True
Let d(q) = 123*q**2 - 8*q - 2. Is d(-1) even?
False
Let b = 78 - 62. Suppose -2*w - 3*d = -5 - b, 3*w - 31 = -5*d. Is 2 a factor of w?
True
Suppose -4*y - 58*y = -