ultiple of 30?
True
Let r = 1131 + -831. Is 10 a factor of r?
True
Let y = -365 + 505. Does 28 divide y?
True
Suppose 4*s - 436 = -4*y, 0*y + 10 = 2*y. Let f = -44 + s. Is 10 a factor of f?
True
Let v be 49 + -9 - 2/((-2)/(-1)). Let n = v - -160. Is 35 a factor of n?
False
Let s = -21 - -23. Is 10/((-3)/(-15)*s) a multiple of 6?
False
Let i(g) = -14*g - 6. Is 24 a factor of i(-23)?
False
Suppose -6*j - 2 = -4*j. Let l be 11/(-6) - j/(-6). Does 23 divide (-1)/l - (-180)/8?
True
Suppose d = 4*a + 14, -4*a - 2*d - 24 + 4 = 0. Let j = -1 - a. Suppose j*o - o = 64. Is 8 a factor of o?
True
Suppose 0 = p + 3*w - 19, -p = p + w - 13. Suppose 4*m = -0*m + p*v - 840, 3*v = 2*m + 418. Let h = m + 323. Is h a multiple of 37?
True
Suppose 4*j - m - 80 = -5*m, 2*j - 5*m = 40. Suppose 0 = 11*t - 13*t + j. Does 7 divide t?
False
Suppose -6*d + 11*d = 1780. Is d a multiple of 31?
False
Let w be ((-2)/(-1))/((-2)/(-9)). Suppose -2*f = f + 9. Is 6/w + (-82)/f a multiple of 14?
True
Let l = -9 - -11. Let p(u) = -u**2 + u - 1. Let w(m) = m**3 - 3*m**2 + m - 5. Let t(o) = l*p(o) + w(o). Does 8 divide t(5)?
True
Let n be 1*-63 - 8/4. Let u = n - -95. Does 3 divide u?
True
Is -60 - -55 - (-17 - 0) a multiple of 4?
True
Let l(w) = 2*w**3 - w**2 - 25*w - 5. Is l(6) a multiple of 9?
False
Let k(d) be the first derivative of d**2 - 8*d - 1. Let s be (-13)/((-4)/(-6) + 20/(-12)). Is k(s) a multiple of 4?
False
Suppose -3*i + 4*g + 4241 + 1246 = 0, 0 = -g. Is i a multiple of 130?
False
Let h(s) = -s**2 - 27*s + 12. Let z be h(-27). Let o be -3 + (1 - (1 + 1)). Let m = z + o. Is m a multiple of 3?
False
Let a = 20 + -17. Suppose 2*z = a*z - 6. Is 3 a factor of z?
True
Suppose -5*k - t = -3684, -2*k - 4*t = -t - 1484. Is 46 a factor of k?
True
Let q be (-2493)/36 - 1/(-4). Let m = q + 121. Does 10 divide m?
False
Let c(v) = -v**2 + 3*v - 1. Let o be c(2). Suppose 0*s - 4*s + 4*a + 8 = 0, 5*s - 2*a - 7 = 0. Is 32 - -6 - (o - s) a multiple of 11?
False
Let a = -58 - -198. Does 31 divide a?
False
Suppose -4*m + 3*b = -6571, -m + 269 = 2*b - 1382. Does 34 divide m?
False
Does 19 divide 2/8 + -13 + (-60298)/(-56)?
True
Suppose 2*s + 3*s = 15. Suppose -8*w + s*w = -10. Suppose -4*c + 24 + 28 = -t, 5*c = -w*t + 52. Does 4 divide c?
True
Let c(w) = -115*w - 69. Is 52 a factor of c(-11)?
True
Let c(j) = -4*j**2 + 298*j + 26. Is 27 a factor of c(34)?
False
Is 2 + 293 - (-1)/(-1) a multiple of 14?
True
Does 24 divide ((-17205)/27)/(-1) + (-4)/18?
False
Suppose -38 = -2*l + 5*g, -2*l = -0*l - 2*g - 26. Let f = l - -113. Is f a multiple of 13?
False
Is 15 a factor of 15/6 - ((-2325)/2 + -8)?
False
Suppose 25 = 3*b - 0*q + 5*q, -3*b + 3*q = 15. Suppose 2*j - j = b. Is 5 a factor of (-1)/(j - (-3)/(-36))?
False
Let j(a) be the first derivative of a**6/120 + a**5/60 - a**4/24 - 5*a**3/3 + 6. Let f(t) be the third derivative of j(t). Is 3 a factor of f(1)?
False
Suppose -3*r - v = -21, 5*r - 3*v - 10 - 11 = 0. Suppose s - r*s - g = -72, 4*g = s - 27. Let b = s - 0. Is b a multiple of 15?
True
Suppose 3*r = 4*r - 34. Let c = r + 46. Is 20 a factor of c?
True
Suppose -4*s - 165 = -a, 143 = -5*s - a - 70. Suppose -p + 8*p + 42 = 0. Let z = p - s. Is z a multiple of 12?
True
Let x be ((-3)/4)/(4/(-16)). Let p = -43 + 115. Suppose -x*f = f - p. Is f a multiple of 12?
False
Let o be (-4)/((-2)/(-31) - 0). Let b = 34 - o. Is b a multiple of 24?
True
Suppose 3*d + 2*w - 4 = 5, 0 = 2*d - 2*w - 6. Let t be (2 - (-3 + d))*-11. Does 5 divide (-8)/(-12) + t/(-3)?
False
Let x = -21 - -23. Let a(d) be the second derivative of 5*d**3/6 + d**2/2 - 3*d. Does 6 divide a(x)?
False
Let q be (-150)/22 + 8/(-44). Let i be 9/(-21) + (-31)/q. Is 36 a factor of 4 - (4 - i) - -32?
True
Suppose 3*b + 40*k = 35*k + 719, -5 = k. Does 10 divide b?
False
Let d(t) = 39*t**3 - t**2 - 7*t + 6. Let u be d(2). Suppose 115 = -5*f + u. Does 6 divide f?
False
Let a = -7 + 17. Suppose 5*s + 0 = -a, 2*s - 84 = -2*f. Suppose -3*v = -34 - f. Does 13 divide v?
True
Suppose -2*x - p + 1156 = 83, -2*p - 2678 = -5*x. Does 8 divide x?
True
Let b(r) be the first derivative of r**2/2 + 6. Let s be b(-4). Is s*(-2)/2 - -14 a multiple of 6?
True
Let n(j) = j**3 + 14*j**2 + 10*j + 28. Let g = 55 - 68. Is n(g) a multiple of 24?
False
Let h be (-2)/((-12)/(-8) - 1). Is 13/(-52) + (-269)/h a multiple of 7?
False
Suppose 4*n - 143 = -2*z + 145, -2*z - 2*n = -296. Is z a multiple of 19?
True
Suppose 4*y = -s + 881, 0 = 5*y + s - 0*s - 1100. Let j = y - 105. Does 19 divide j?
True
Let g(p) = p**2 - 2*p. Let q be g(2). Suppose q = -5*n + 4*n + 4. Suppose -n*x - x = c - 79, 21 = x - 5*c. Is x a multiple of 8?
True
Let t = -3 + 6. Let w be (-6)/21 + 8/28 + 0. Suppose -5*f + 67 + 20 = -h, -t*f + 2*h + 55 = w. Is 3 a factor of f?
False
Suppose 2*q + 3210 = 4*l + l, -1947 = -3*l - 3*q. Is 12 a factor of l?
False
Suppose 3*k - 2*n - 182 = -k, 4*n = -5*k + 260. Does 44 divide k?
False
Suppose 3*m - 15 + 6 = 0. Suppose -6 = m*a - 2*a - 4*x, -4*a + 4 = -2*x. Suppose -l + a*l = 46. Does 17 divide l?
False
Suppose -55 = -3*g + 2*a - 18, 3*g - 4*a = 47. Suppose 8*q - g*q = -30. Is 10 a factor of q?
True
Suppose -4*l = -17 + 1. Suppose -5*j + 0*j + 492 = l*y, -471 = -5*j + 3*y. Is j a multiple of 14?
False
Let b(m) = m**2 - 6*m + 15. Suppose 3*o + 4*a = 36 - 4, -16 = -o - 4*a. Is b(o) a multiple of 31?
True
Suppose 3*k = 7*k + 4, -4*t - 3*k = -189. Let y = t + -4. Is 22 a factor of y?
True
Suppose 4*z - 7 = f, -3*z + 5 = -2*f - 4. Let t = z - 4. Is 4 a factor of (-25)/t + 1/(-3)?
True
Suppose x - 353 = -3*v, 1362 = 5*x - 4*v - 384. Is 3 a factor of x?
False
Is (-6)/4*(8 + 7720/(-30)) a multiple of 11?
True
Let q(h) = h**2 + 8*h + 8. Let x be q(-7). Let l(u) = 73*u - 3. Is 8 a factor of l(x)?
False
Is 3 a factor of (10 - 11)*98/(-2)?
False
Suppose 0 = 4*u + y - 9902 - 14290, -4*y + 6048 = u. Is (2/(-4))/((-21)/u) a multiple of 12?
True
Let y be ((2/3)/1)/((-2)/(-21)). Suppose 0 = -y*p + 8*p - 250. Is 25 a factor of p?
True
Let x(y) = 200*y**2 + 18*y - 98. Is 41 a factor of x(5)?
False
Suppose 5*v - 2*p = -0*p + 4550, -5*v + 3*p = -4545. Suppose -f = 7*f - v. Is f a multiple of 34?
False
Suppose 28 = 2*u + 4*x, 0 = -4*u - 2*x + 18 + 14. Is 18 a factor of 250/u + (-2)/(-6)?
False
Suppose -y + 20 = 3*y. Suppose -4*q - y*n + 7 = -42, 4*n = -q + 4. Is 16 a factor of q?
True
Let a(g) = -4*g - 22. Let w be a(-11). Suppose 27*o = w*o + 165. Is 7 a factor of o?
False
Suppose 4 = -0*v + 4*v + 2*z, -2 = -4*v - 3*z. Suppose 0 = -4*u + 221 + 175. Suppose u = v*o + 31. Does 13 divide o?
False
Let d be ((-6)/7)/(3/(-252)). Let b be 18/d + (-94)/(-8). Suppose 0 = -3*p - c + 44, 4*c - 7*c - b = 0. Is p a multiple of 5?
False
Let l be -2 + -1 - 27/(-9). Let m(q) = -q**2 - 2*q + 2. Let o be m(l). Suppose -o*n - n = -60. Does 5 divide n?
True
Let z = -1566 + 2379. Suppose -2*s - 3*s - z = -4*o, -3*o = -3*s - 606. Is 9 a factor of o?
False
Let z(f) = -8*f + 99. Let b = -22 - -22. Is z(b) a multiple of 27?
False
Let o(t) = -t**3 + t - 2. Let i be o(-2). Is 9 a factor of -54*((-21)/(-6) - i)?
True
Suppose x - 5*x = 5*k - 185, -102 = -2*k + 4*x. Let p = -20 + k. Is 2 a factor of p?
False
Suppose -16*t + 1449 = -9127. Does 38 divide t?
False
Let k = 5 + -5. Suppose 140 = 4*w + 5*a, w + k*a - a = 26. Is w a multiple of 30?
True
Suppose -4*v - 307 = -4*y + 1873, -v - 2713 = -5*y. Is 44 a factor of y?
False
Let f = 1694 + 353. Is 89 a factor of f?
True
Let b = 166 + -320. Does 9 divide -400*7/b - (-4)/(-22)?
True
Let f = 412 - 312. Is 20 a factor of f?
True
Suppose -303 = 5*x + 5*c + 27, -2*x + 5*c - 104 = 0. Let o = -7 - x. Is 3 a factor of o?
False
Suppose 4*r + g = 974, 2*g = 2*r + 3*g - 488. Suppose -3*b + u = -0*b - r, -3*u = 9. Suppose -6*h + b = -h. Is 6 a factor of h?
False
Let a = -21 - -23. Suppose -y + 2*g = -a*y + 36, 0 = -4*g. Is 18 a factor of y?
True
Let z(k) = 3*k**3 - 2*k + 1. Let o be z(1). Suppose -5*y = w + o*w - 53, 2*w = 2*y + 30. Is w a multiple of 8?
True
Let r be (-1)/(-2) - 1/(-2). Let y be -9*((-2 - 0) + r). Let f = 14 - y. Does 3 divide f?
False
Suppose -2*v - 4*i + 44 = 0, -3*v + 7*v - 121 = 3*i. Suppose 0 = -3*j + 4*b + v, 0 = 3*j + b - 11 - 42. Does 3 divide j?
False
Suppose 0 = -4*w + 4*f - 20, 0 = -3*w - f - 4*f - 15. Is (48/(-10))/(w/25) a multiple of 4