h. Does 11 divide c?
True
Let l be (2/(-3))/(4/6). Let m be (-3 + 1)*(-53 - l). Let g = m + -70. Is 17 a factor of g?
True
Suppose -12*w = -22*w + 870. Suppose -3*r = 2*s - 0*r - w, 4*r + 60 = s. Is s a multiple of 6?
True
Let v be ((376/(-1))/8)/((-1)/2). Let u = -89 + v. Is u even?
False
Is 80 a factor of (-4)/(-32) - (-55772)/32?
False
Let j(p) = -360*p - 10. Is 10 a factor of j(-3)?
True
Let q = 394 + 955. Does 52 divide q?
False
Let q = 368 - 135. Is q + -2 + -5 + 5 + -3 a multiple of 38?
True
Let u(p) = 2*p + 42. Is 18 a factor of u(15)?
True
Suppose 2*a - 12 = -4*a. Suppose a*s + 6*s = 152. Does 6 divide s?
False
Suppose -5*i - 3*n - n = -1505, -4*i + 4*n + 1168 = 0. Suppose -t - 70 = 3*g, -4*t + 7*g - i = 2*g. Let c = 113 + t. Is c a multiple of 7?
False
Let b(l) = l**2 - 16*l - 17. Let i be b(18). Suppose i = 2*c - 169. Does 12 divide c?
False
Let s = -712 + 1852. Is 15 a factor of s?
True
Let y(k) = -12*k - 6. Suppose -3*s - 3*z - 21 = 0, 0*s + 4*z = -s - 10. Let x be y(s). Let c = x + -47. Does 14 divide c?
False
Let j = 55 + -4. Suppose -2*k - j = -189. Is 17 a factor of k?
False
Suppose 3*p + 2*f = -3*f - 1, -2*p = 4*f + 4. Let x = 9 - p. Is 7 a factor of (2 - x)*(-14)/(-2)?
True
Let j be 1/(2 + (-9)/5). Suppose q + 10 = -j*w, 4*w - 88 = 3*q - 1. Let n = 50 + q. Is n a multiple of 11?
False
Let l = 3 - -2. Suppose -l - 3 = 4*k. Is ((-48)/20)/k*25 a multiple of 30?
True
Let j be (-91)/3 + 8/24. Let a = j + 64. Is a a multiple of 4?
False
Let l = -936 + 1107. Does 9 divide l?
True
Suppose 0 = -15*m + 6603 - 1353. Is m a multiple of 25?
True
Suppose 35*f - 9 = 38*f, -b - 4*f + 523 = 0. Is b a multiple of 16?
False
Suppose 5*z + 7*h - 360 = 3*h, 5 = -h. Let t = 2 + 2. Suppose 0*w = t*w - z. Does 4 divide w?
False
Let w = 2 - 11. Let z = -25 + w. Does 10 divide (10/10)/((-2)/z)?
False
Let o(f) = -2*f**3 + 14*f**2 - 17*f + 31. Does 7 divide o(5)?
False
Let f(i) = 4*i + 1. Let j be f(1). Suppose 3*d - d = -2*o + 40, 3*o = 3*d - 48. Let k = d - j. Is 13 a factor of k?
True
Let h be ((-4)/(-6))/(-6 + (-434)/(-72)). Let n(g) = -g**3 + 11*g**2 - 9*g - 10. Let z be n(10). Suppose z = -3*a + 87 + h. Is a a multiple of 6?
False
Let a(h) = 2*h**3 - 2*h**2 + 2*h - 1. Let n be a(1). Let m be n/(9/6 - 1). Suppose 2*z + 78 = 3*j + 6*z, 2*j = m*z + 52. Is 14 a factor of j?
False
Let m = -1 + 4. Suppose m*h = h + b + 9, 2*h - 4*b = 18. Suppose -h*t + 12 = -2*t. Is 6 a factor of t?
True
Does 27 divide 6 + 16/(-12)*3 + 79?
True
Let w(q) = -3*q**3 - 2*q**2 - 4*q - 2. Let i(l) = -l**2 - 9*l - 10. Let h be (-2)/(-1*3/(-12)). Let o be i(h). Is w(o) a multiple of 11?
True
Let r(w) = -w**2 + 5*w + 1. Let g be r(4). Is (8/g)/(1/35) a multiple of 11?
False
Let w = 2546 - 1257. Is w a multiple of 5?
False
Suppose -4*z - 4*y = -52, -4*z - y = y - 50. Suppose -3*s = -z, -4*p - 4*s + 8 = -0*s. Let q = p - -52. Is 10 a factor of q?
True
Let y(c) = c**3 - 5*c**2 - 4*c + 4. Let a be y(5). Let z be 8 + a/4 + -10. Let j(o) = 2*o**2 + 7*o + 1. Is 31 a factor of j(z)?
True
Let t(w) = w**2 + 4*w + 16. Let v be (17 + -5)*-2*(-4)/(-12). Does 8 divide t(v)?
True
Let u(r) = -3*r**3 - 4*r**2 - 7*r - 8. Let j be u(-2). Suppose 5*w = -5*i + 60, -w = 2*i - 4*w - j. Does 5 divide i?
True
Suppose 8*o - 10503 = -3063. Suppose -5*a - 5*w = -o, 408 = -5*a - w + 1354. Does 38 divide a?
True
Suppose -2*d + 1368 = 4*w, -1368 = -2*d + 4*w - w. Is d a multiple of 19?
True
Suppose 0 = 3*o - 8*o + 180. Suppose 4*c - 4*l - 28 = 128, c - o = 2*l. Does 16 divide (8/6)/(2/c)?
False
Let k be 474/(-15)*-1*(-10)/(-1). Suppose 3*t = -v + k, -t = 2*t - 2*v - 313. Is t a multiple of 21?
True
Let t(l) = l**2 - 8*l - 9. Let w be -5 + (2 - 0) - -12. Let z be t(w). Suppose -4*y = 2*k - 118, y - 4*y - k + 88 = z. Does 15 divide y?
False
Let i(c) = c**2 - 9*c - 1. Let m be i(7). Let p = m - -20. Suppose 3*a - 3 = 4*a + p*b, 3*a - 41 = -5*b. Is a a multiple of 11?
True
Is (-3)/(-6) + 2984/16 a multiple of 11?
True
Suppose -u - 2*u + 59 = k, -2*k + 116 = 4*u. Let w be (6/21)/(4/k). Suppose -w*h + 282 + 118 = 0. Is 22 a factor of h?
False
Let v = 343 + -234. Is 10 a factor of v?
False
Suppose 38*c + 1320 = 44*c. Is c a multiple of 10?
True
Let a = -13 + 34. Suppose 0 = -2*h - h + a. Is (9/(-6))/(h/(-126)) a multiple of 9?
True
Let x(l) = -l**2 - 10*l - 12. Let f be x(-7). Suppose -f*p + 498 = -6*p. Is 38 a factor of p?
False
Let s = 266 - 235. Is s a multiple of 22?
False
Let o = 9 + -4. Suppose -b - 4*x = -2*b + 42, -5*b + o*x + 135 = 0. Let m = 32 + b. Is 18 a factor of m?
True
Let t be (0 + (-9)/(-3))/(3/28). Let r = t - -87. Is r a multiple of 12?
False
Let x(l) = 2*l - 5. Let n be x(17). Let r = 49 - n. Does 7 divide r?
False
Let r(v) be the first derivative of -5*v**3 - v**2/2 - v - 6. Let i be r(-1). Let s = i + 47. Does 16 divide s?
True
Suppose 2*l + 2*g - 1 = -3*g, 5*l + 3*g + 26 = 0. Let x(p) = -p**3 - 6*p**2 - 3*p - 10. Is x(l) a multiple of 30?
True
Let t(x) = -x**3 + 7*x**2 - x + 3. Let d be t(7). Let g be 9 - 4*(d - -5). Suppose -g*n + 3*k = -217, -5*n + 3*k = -n - 173. Is 15 a factor of n?
False
Let h(x) = -17*x + 135. Does 8 divide h(7)?
True
Suppose 91 = j - 159. Is 14 a factor of j?
False
Is (9/(-27))/(5/(-8265)) a multiple of 42?
False
Suppose -8*h + 28 = -10*h. Does 2 divide (h/(-35))/(0 + (-3)/(-105))?
True
Let w = -33 + 33. Suppose 3*x = 4*v - 6, 3*v + w*v = -5*x + 19. Does 2 divide v?
False
Let w = 11 - 11. Suppose y - 3*k = -0*y + 15, w = -3*y + 5*k + 29. Suppose 0*z + 54 = y*z. Is 9 a factor of z?
True
Let q = 125 - -24. Is 6 a factor of q?
False
Suppose -52*i + 25583 = -18617. Is 25 a factor of i?
True
Let d(x) = -x**3 + 7*x**2 + 19*x - 4. Let l be d(9). Is 11 a factor of l/5 - (1 - 2)*142?
True
Let z(o) = -3*o**2 + 7*o - 6. Let s = 10 - 4. Let k be z(s). Let l = 105 + k. Is 11 a factor of l?
True
Suppose 0 = u - 4 + 3. Suppose 5*f = u - 41. Let k = f - -41. Is k a multiple of 5?
False
Is -216*(-13)/((7 - 10)*-1) a multiple of 117?
True
Does 18 divide 7 + -11 + 6 + 2 + 248?
True
Let p be (-8)/(-5 - (-4 + 1)). Let b = p - -143. Is b a multiple of 21?
True
Suppose 3*v - v = 6. Suppose 0*z = b - 4*z + 8, 0 = v*b - 4*z. Suppose -3*j - b*r + 136 = r, 4*r = 4*j - 128. Does 10 divide j?
False
Suppose -2*u = -6*u. Suppose u*z = z - 14. Suppose -12*s = -z*s + 34. Is 7 a factor of s?
False
Let s(l) = l**3 + 7*l**2 + 6*l + 2. Suppose -26 = 4*v - 6. Is s(v) a multiple of 22?
True
Let v be (46/(-4))/(-2*1/4). Suppose 0 = x + v - 142. Is x a multiple of 18?
False
Suppose -14*o - 188 = -18*o. Let p = o - 28. Does 19 divide p?
True
Let q = 578 + -279. Does 13 divide q?
True
Let n be -12*(-4)/12*-3. Let p = -3 - n. Suppose -5*f = 2*h - p, -4*h + 6 = 3*f - 19. Does 2 divide h?
False
Let g(t) = -t**2 - 8*t - 5. Let k be g(-7). Suppose -3*z + 895 = 5*y, 2*z = k*y - 0*y - 342. Let q = y + -118. Is 16 a factor of q?
False
Let b(d) = -110*d + 141. Does 17 divide b(-25)?
False
Suppose 156 = -s + 261. Does 15 divide s?
True
Let c(i) = i - 7*i - 19*i. Does 5 divide c(-1)?
True
Let s = 3758 + -1770. Does 28 divide s?
True
Suppose 4*n + 3*v - 2063 = 0, -12*n + 14*n - 1004 = 4*v. Does 5 divide n?
False
Let n = -1634 + 2324. Is 69 a factor of n?
True
Let t = 0 + -14. Let j = t - -17. Is j + 0 + 22 + 2 a multiple of 10?
False
Suppose -3*g = -g - 188. Suppose -s + g = -3*b - 2*b, 296 = 3*s - b. Suppose -u = 2*u - s. Does 9 divide u?
False
Suppose -777 = 4*n - 3*g, g = n - 13 + 207. Let c = 344 + n. Is c a multiple of 9?
False
Suppose -l = -8*l - 70. Does 11 divide 314/((-3)/(-5) + (-14)/l)?
False
Let m be 1430/88 + (-1)/4. Suppose -3*i + m = -14. Does 4 divide i?
False
Let a = -374 - -673. Suppose -9*b + 853 = -a. Is b a multiple of 34?
False
Suppose -37*r + 40*r - 2742 = 0. Is r a multiple of 45?
False
Let k = -581 + 748. Is k a multiple of 2?
False
Let b(g) = g**2 - g + 6. Let c be b(-3). Suppose -6*f + 48 + c = 0. Is f a multiple of 11?
True
Suppose -2238 = -8*s + 2*s. Is s a multiple of 12?
False
Let o(h) = 7*h**2 - h - 2. Suppose 3*x + 0*x - 12 = 0. Let v be 4 + 1 - (x + -1). Does 5 divide o(v)?
False
Let v = -1520 - -2890. Suppose -7*c - v = -12*c. Is c a multiple of 49?
False
Let f = -664 + 1130. Is 44 a factor of f?
False
Let f(u) = u**3 - u**2 + 2*u + 4. Let k be f(0). Suppose 0*w + 2*h = 2*w - 66, -2*