 l = w - 77. Is 19 a factor of l?
False
Suppose 0 = 3*f + u - 1423, 944 = 2*f - 8*u + 4*u. Is f a multiple of 33?
False
Let y(h) = -37*h - 153. Does 8 divide y(-5)?
True
Suppose 5*k = -2*f - 10 + 44, -31 = -2*k + 5*f. Let x = -3 + k. Suppose 3 = -s + 3*q + 2, x*s = -5*q + 55. Is 4 a factor of s?
True
Let d = 125 + -65. Suppose -3*v + d = 2*v. Is 8 a factor of v?
False
Suppose 4*c + n = 9*c - 1663, 0 = -c + 2*n + 338. Suppose -c = -2*h - 3*k + 8*k, -h = 2*k - 166. Is h a multiple of 13?
False
Let t = -10 + 11. Let k be (t/(-2))/(6/(-444)). Suppose m = 3*x + 16, -m - 5*x + 3 = -k. Does 12 divide m?
False
Suppose -3*g + 0 = -9. Suppose -s - 3*i - 3 + 9 = 0, -5*s = -3*i - 12. Let o = s + g. Is o even?
True
Suppose 6*h - 9*h - f + 16 = 0, 0 = 3*h - 2*f - 13. Let g(k) = k**3 - 3*k**2 + k - 7. Is g(h) a multiple of 24?
True
Let f(z) = -2*z + 8. Let q be f(6). Does 38 divide 3/((-18)/111)*3*q?
False
Let g = 13 + -11. Let n be g/3 - (-290)/15. Let v = n - 15. Does 2 divide v?
False
Suppose -957 = -12*t + 5955. Is t a multiple of 17?
False
Let t be (1/2)/(5/(-40)). Let r = t + 4. Suppose 72 = 4*q + 4*f, -5*q + 3*f + 0*f + 114 = r. Is 8 a factor of q?
False
Let w(l) be the second derivative of -l**3 + 7*l**2 + 39*l. Is w(0) a multiple of 14?
True
Let v = 498 - 318. Let w = -95 + v. Let h = w - 31. Is h a multiple of 27?
True
Let n = -1423 - -2359. Suppose -71 = 5*g - n. Is g a multiple of 49?
False
Suppose -9*a + 2*a = -1764. Does 12 divide a?
True
Let y(p) = -49*p + 8. Let b be y(-2). Is 0 + 2 - 9/((-9)/b) a multiple of 38?
False
Suppose 152*x - 151*x - 848 = 0. Does 8 divide x?
True
Let b be -1*62 - (-6 + -2 + 5). Is -3*10/(-15) - b a multiple of 34?
False
Suppose 6*a = 10*a - 264. Is a a multiple of 11?
True
Let x(w) = 3*w**2 - 4*w - 3. Suppose 12*j = 10*j - 6. Does 18 divide x(j)?
True
Let q be (11 - -4)*(-18)/(-30). Does 26 divide (3 + q/(-2))*-24?
False
Let w be ((-14)/5)/(1/(-5)). Suppose -w + 8 = -3*t. Suppose -t*x = 3*j - 22, 17 + 17 = 3*x + 5*j. Is x a multiple of 4?
True
Let j(y) = 13*y**3 + 22 + 10*y + 5*y - 12*y**3 + 16*y**2. Is 11 a factor of j(-15)?
True
Suppose 0 = 3*s - 5*s - 8. Let m(a) = -a**2 - 3*a + 4. Let y be m(s). Suppose 0 = -n + 5*w + 54, y = 2*n + w + w - 132. Is 32 a factor of n?
True
Suppose -44 = -3*r + b, 5*r = 3*b + b + 64. Suppose -4*h = -4*g + 4, 0*g = -g + 2*h. Suppose -5*f - 2*a = -2*f - 23, r = g*f + 2*a. Is f a multiple of 7?
True
Suppose -4*y = 5*a - 596, 0*y = 2*a + 2*y - 238. Suppose 0*t - a = -4*t. Let o = t - 12. Is 9 a factor of o?
True
Suppose 4645 = 12*a - 8471. Is 39 a factor of a?
False
Suppose -4*c + 20 + 5 = 3*a, 0 = 5*c - a - 17. Suppose -c*k - 3*t = -499, 0 = 4*k - 2*t - 706 + 232. Is k a multiple of 11?
True
Suppose -8*g - 2211 = -11*g. Does 5 divide g?
False
Let w(n) = 7*n + 74. Let b be w(-6). Suppose 15 = -m + b. Is 3 a factor of m?
False
Let k be 1440/(-368) - (-4)/(-46). Is ((-245)/28 + k)/(3/(-4)) even?
False
Suppose -12*d = -8641 - 15083. Is 12 a factor of d?
False
Let p = -280 + 495. Suppose 4*i - 12 = i, -5*x - 5*i = -p. Is x a multiple of 13?
True
Suppose -5*l = -5*a - 15735, -11*a + 9*a + 15749 = 5*l. Is l a multiple of 10?
False
Let y(c) = 2*c + 8. Let x be y(-6). Let r = 1 - x. Suppose 55 = -0*a + r*a. Does 7 divide a?
False
Suppose 10 = i + 2*v, 0 = 2*i + 3*v - 22 - 3. Suppose -3*t = -4*g - 4*t + 85, 4*t = i. Let y = g + 22. Is y a multiple of 14?
True
Let m be 5 + -2 + 3 + 4. Suppose -1120 = m*h - 20*h. Is 16 a factor of h?
True
Let r(z) = 8 - 14*z + 45*z**2 + 2*z + z**3 - 56*z**2. Let u be r(12). Is -3 - 0 - (1 - u) a multiple of 4?
True
Suppose -17*k + 660 - 65 = 0. Let g be (-2)/(-7) - 1080/(-42). Let b = k - g. Is 4 a factor of b?
False
Suppose -16 = 5*q + 34. Let l = 75 + q. Does 13 divide l?
True
Let c = -568 + 623. Is c a multiple of 9?
False
Suppose -o = -2*o + 2. Suppose o*k - 9 = 49. Is k a multiple of 7?
False
Is 22/(-121) - 5816/(-44) a multiple of 44?
True
Let h = 77 - 46. Does 3 divide (-18)/(-30)*(h + (2 - 3))?
True
Suppose 4*w + 10 = -2*q + 4*q, -1 = -q - 2*w. Suppose -q*o - 39 = -4*o - r, 2*o + r = 81. Is o a multiple of 7?
True
Let p = -86 - -83. Does 4 divide 684/28 + p*1/7?
True
Let m(o) = -o**3 + 5*o**2 - 4*o - 4. Let l be m(5). Suppose a + 126 = 4*a. Let g = l + a. Does 6 divide g?
True
Is 15 a factor of (40 - 1)/((-342)/(-21432))?
False
Let k be 210/8 - (-2)/(-8). Let q = k + -12. Is 0 - (0 + -1)*q a multiple of 14?
True
Let b(g) = -11*g + 2. Let r be b(4). Let n(h) = -h**2 + h + 26. Let j be n(-6). Does 4 divide (r/8)/(12/j)?
False
Let w(j) = -j + 7. Let a be w(4). Suppose 4*f = a*y - 12, 6*f = 4*y + 2*f - 16. Suppose 3*o - y*o = -9. Is 3 a factor of o?
True
Does 10 divide (11/(-33))/((-2)/1026)?
False
Suppose -5*s + 3436 = -2*x, 1368 = 27*s - 25*s - 4*x. Is s a multiple of 28?
False
Let m be ((-10)/4)/((-15)/30). Suppose 2*k + 66 = m*c, -3*c + 5*c + 194 = -5*k. Is (3 - 5) + k/(-1) a multiple of 9?
True
Suppose 3*x = -4*m + 436, -x + 17 = -2*m - 115. Suppose -5*n + 6*l - 3*l = -x, 4*n + 3*l - 112 = 0. Is 7 a factor of n?
True
Let u be (-84)/(-49) + 2/7. Let t(x) = x**3 - x - 1. Let p be t(u). Suppose -p*r = -34 - 41. Does 5 divide r?
True
Let v = 60 - -40. Suppose 3*x - 3*i = -i + v, -2*x + 69 = i. Is 8 a factor of x?
False
Let b(l) = l**3 - 20*l**2 + 18*l + 21. Let a be b(19). Suppose 5*o + 0*u - a*u = 500, -5*o - 4*u + 500 = 0. Does 32 divide o?
False
Suppose -z + 2 + 1 = -j, -2*j = 4*z + 36. Let r be (-8)/6*(-204)/j. Is 3 a factor of 4/18 - r/9?
False
Let w = -68 + 12. Let a be 8/24 - w/(-6). Let p(t) = t**3 + 9*t**2 - 8*t - 12. Does 12 divide p(a)?
True
Suppose x = 3*v - 6, 0 = 2*v - 3*x - 0*x + 3. Suppose -v*m + 28 = -119. Is m a multiple of 11?
False
Suppose 1212 = -3*f - 2*t, 4*t = -t. Let w = -118 - f. Is 11 a factor of w?
True
Suppose 0 = -5*s + 1389 + 131. Does 76 divide s?
True
Let d = -19 - -19. Suppose -z + 3*b + 24 = d, -4*z - 4*b + 61 = -9*b. Does 9 divide -1 - 1 - (-11 - z)?
True
Let k be (-32)/(-8)*2/4. Let h(f) = f + 4*f**2 + 4*f + 1 - 2*f**2 - k*f. Is 14 a factor of h(5)?
False
Suppose 8 = o - 5*o. Let r be 4 + 2 + (o - 1). Suppose r*k + 39 = 5*u, 8 + 1 = -3*k. Is 2 a factor of u?
True
Let u be (-2)/(-4)*(-900)/(-6). Suppose -u = -4*w - n - 30, -2*n - 42 = -4*w. Is 2 a factor of w?
False
Suppose h = -51 + 185. Suppose -134 = -2*l - 2*f, -l - l = -4*f - h. Does 19 divide l?
False
Suppose -2*t + 4*x + 458 - 124 = 0, -5*t + 829 = -4*x. Is t a multiple of 2?
False
Let m(p) = 20*p + 212. Is 4 a factor of m(17)?
True
Let f = -4 - 0. Let o be -2*31/f*2. Let s = o + -19. Is 12 a factor of s?
True
Let a(b) = -7. Let k be -3*-1*(1 + -2). Let r(y) = -y + 7. Let c(f) = k*r(f) - 2*a(f). Is c(11) a multiple of 25?
False
Let g = -266 + 270. Suppose 8*x = 3*x. Suppose -g*z = -1 - 7, -5*m + 3*z + 244 = x. Is 16 a factor of m?
False
Let b(o) = 101*o**2 + o + 5. Is b(-2) a multiple of 39?
False
Let d(i) = i**3 + 3*i**2 - 4*i + 2. Let o be d(-4). Suppose 2*a + 3*z - 173 = 0, a - 6*a - o*z = -416. Is a a multiple of 12?
False
Suppose -3393 - 278847 = -72*o. Is 13 a factor of o?
False
Suppose -3*k = -4*d - 16, -2*d = -0 + 2. Suppose 0 = k*m - 2*m + t - 145, -m - 5*t = -86. Is m a multiple of 38?
False
Let l(q) = -q**3 + 15*q**2 - 14*q + 4. Let i be l(14). Suppose 0*h - 112 = -i*h. Is (-2)/(-4) - (-826)/h a multiple of 10?
True
Suppose -218 = -2*s - 3*m, 3*s + 168 = 2*m + 508. Is 8 a factor of s?
True
Suppose -10 = 8*v - 50. Suppose 0 = -v*b + 14 + 61. Does 15 divide b?
True
Let b = 387 - -68. Suppose 0 = -5*g - 5*k + b, g + 2*k + 3*k = 103. Let x = -46 + g. Is x a multiple of 21?
True
Let d = 5 + -10. Does 6 divide (-29)/(d/5 - 0)?
False
Suppose -7 - 5 = -4*h. Let t = h + -3. Is (t - 2)*(-44)/8 a multiple of 5?
False
Is 19 a factor of 38*-2*(12 + (-507)/12)?
True
Let p(a) = -a**3 + a**2 - a + 5. Let y be p(0). Let j(r) be the second derivative of r**5/10 - 2*r**4/3 + 2*r**3/3 - 3*r**2/2 - 102*r. Is 17 a factor of j(y)?
False
Let w be (5 + -6)/((-1)/4). Suppose -11 = -w*z + 101. Is z a multiple of 7?
True
Suppose -51*f - 6 = -54*f. Suppose 0 = -f*g + 5*l + 6 + 10, -4*l = g - 34. Is g a multiple of 8?
False
Suppose -12 - 10 = -a. Suppose 6 + 134 = 4*f. Suppose 4*s + 0*w = w + f, a = 2*s - 2*w. Is 2 a factor of s?
True
Let z(i) = 2*i**2 - 10*i + 3. Let x be z(5). I