k = 6524 + -4764. Is k a multiple of 10?
True
Let y = 387 + -487. Is 9 a factor of y/(-30)*(2 + 412/10)?
True
Suppose 48*f - 47*f = 0. Suppose 5*g + 25 = f, 0*r = r + 3*g + 11. Is 4 - ((1 - r) + -4) even?
False
Suppose -13*m = 5*m - 6966. Suppose -9*x = -m + 36. Is x a multiple of 29?
False
Let k = -7 - 58. Let h = k - -75. Suppose 0 = h*o - 9*o - 149. Does 21 divide o?
False
Suppose g + 2316 = y - 396, 2*y + g - 5427 = 0. Is 3 a factor of y?
False
Let w = 422 + -286. Let z(n) = 22*n - w*n**2 + 229*n**2 - 21*n + 146*n**2. Is z(1) a multiple of 40?
True
Let j = -281 + 280. Let l(t) = -1491*t + 28. Is l(j) a multiple of 57?
False
Let r(l) be the third derivative of 11*l**5/5 - 3*l**4/8 + 2*l**3 + 265*l**2. Does 18 divide r(2)?
True
Let g = -93 - -674. Let b = 1013 - g. Does 16 divide b?
True
Let u(b) = b**3 - 13*b**2 + 8. Let l be u(13). Let r be (l/(-10))/((-104)/20 - -5). Suppose 5*k = -0*j - r*j + 105, 2*j - 65 = -5*k. Is 3 a factor of j?
False
Let j = 403 - 415. Is 94 a factor of 4/j + 13/3 + 285?
False
Let z(b) = -559*b + 7773. Is z(-19) a multiple of 37?
False
Let v be (-4)/(-8) + (-11)/(-2). Let p(d) = 11*d + 22. Does 22 divide p(v)?
True
Let z = 219 + -392. Suppose o + 5*d + 18 + 313 = 0, 0 = -d + 5. Let g = z - o. Does 11 divide g?
False
Let i(w) = -w + 1. Let d be i(-2). Suppose 0 = -d*u - 4*t + 524, 5*u = 3*t + t + 820. Is u a multiple of 14?
True
Is (-168)/(-18)*8/((-160)/(-375)) a multiple of 5?
True
Suppose 111232 = 8*b - 15928. Is 11 a factor of b?
True
Let s = -3160 - -10228. Does 19 divide s?
True
Suppose -3*f = 15, 75566 = 447*n - 443*n + 2*f. Is n a multiple of 15?
False
Let h(b) = 2*b**2 - 91*b + 84. Let p(w) = 2*w**2 - 93*w + 84. Let k(x) = -7*h(x) + 6*p(x). Is 15 a factor of k(38)?
True
Let u = 216 - 234. Is 27 a factor of (189/u - -10)*(-802 - 0)?
False
Does 21 divide ((-3274)/(-2))/((-165)/(-330))?
False
Let j(t) = -4*t + 5*t + 680 - 11*t + 4*t**2 - 600. Does 9 divide j(8)?
False
Suppose 85013 = 18*v - 172969 - 46074. Is v a multiple of 109?
False
Suppose -2*w - 14 = -2*z, 0 = -3*z + 4*w + 57 - 32. Suppose -3*f = z*c - 267, 0 = -2*f - 12*c + 13*c + 169. Is 6 a factor of f?
False
Let g(y) be the second derivative of y**5/20 - 7*y**4/3 - 9*y**3/2 + 11*y**2/2 - 8*y + 1. Let b be g(29). Let r = b + -8. Does 46 divide r?
False
Let j(o) = 472*o - 870. Is 3 a factor of j(5)?
False
Let q(y) = -28*y**3 - 9*y**2 - 110*y - 165. Is q(-7) a multiple of 6?
True
Let z = -259 + -105. Let j = 985 + z. Does 16 divide j?
False
Suppose 4445*f - 4449*f - 72 = 0. Let w(u) = 54*u**3 - u**2 - 2*u - 1. Let o be w(-1). Let k = f - o. Does 10 divide k?
False
Is (186*(-2)/(-10))/(-34*(-17)/7225) a multiple of 33?
False
Let t be ((-20)/(-8) + -1)*2. Suppose 0*n + t*n + 4*q = 88, 3*q - 115 = -4*n. Does 7 divide n?
True
Suppose -n = -3*y - 75, 4*y + 17*n = 14*n - 87. Let h = 41 + y. Does 17 divide h?
True
Let l = -2 - -2. Suppose -4*a - 13 - 3 = l. Is a/(-10) + 612/20 + 1 a multiple of 3?
False
Suppose -2*i - 24 = -8*i. Suppose 0 = -3*u + 5*m + 1035, i*m + 171 = u - 174. Suppose -7*q - u = -12*q. Does 14 divide q?
False
Let u = 27490 + -3631. Is 203 a factor of u?
False
Let m(p) = -2*p**3 - 2*p**2 - 4*p + 12. Let j(s) = -s**3 - s**2 - s + 1. Let y(g) = -5*j(g) + m(g). Is 6 a factor of y(5)?
True
Let q = -183 - -188. Suppose -f = -i + 184, 0*i + q*f = 3*i - 560. Is 10 a factor of i?
True
Suppose 4 = 34*q - 32*q. Suppose -4*x + q*x = -d + 41, -5*d = -2*x - 181. Is d a multiple of 5?
True
Let f(l) = 9038*l + 23. Let j be f(1). Suppose -44*u = -61*u + j. Is 44 a factor of u?
False
Let x be (-61 + -1)/(-12 + 118552/9880). Is ((-12)/14)/2 - x/(-434) a multiple of 41?
False
Suppose -l - 323 = -665. Suppose -346*r + l*r = -72. Is r even?
True
Let n(j) = 2*j**2 + 7*j**3 + 0*j**2 - j + 0*j + 2*j**2. Is n(2) a multiple of 7?
True
Suppose 28*k - 4*c = 33*k - 28831, 21*k - 121043 = -5*c. Does 17 divide k?
True
Let q(i) = -2*i + 34. Let z be q(20). Let o be (-1 + 10)/((z/969)/(-2)). Suppose 8*l - o = -9*l. Is 9 a factor of l?
True
Suppose 3*b - 5*b = -164. Suppose 9*t + 374 = 374. Suppose -4*r + 46 + b = t. Is 3 a factor of r?
False
Is 14014 + (-9 - (29 - 20)) a multiple of 8?
False
Suppose -395*f = -453*f + 43036. Is f a multiple of 14?
True
Let s = 19 + 8. Suppose -2*g + 3*g - 5*m = -3, 3*g - s = -3*m. Suppose 0 = -2*b + n + 19, b + g = -2*n - 3*n. Is b a multiple of 2?
True
Suppose 282*u - 96 = 276*u. Suppose -u*w + 5211 = 1163. Is 23 a factor of w?
True
Let p = 512 - 477. Suppose p*v + 1472 = 39*v. Does 46 divide v?
True
Suppose 54*g - 57*g = -13122. Suppose -8*l = -26*l + g. Does 9 divide l?
True
Suppose -3*n = -31*z + 35*z - 2366, -4*n = 3*z - 3143. Does 19 divide n - ((-2)/(-21) + 488/168)?
True
Is 160 a factor of -2496*(-18)/(-135)*-70?
False
Let l(a) = -901*a + 6. Let g be l(-1). Suppose -4*q + g = -1305. Does 7 divide q?
True
Let c(p) = 27*p**2 + 575*p - 102. Is 55 a factor of c(-24)?
True
Suppose x + 67028 - 5315 = 5*t, 5*x + 15 = 0. Is 17 a factor of t?
True
Suppose 0 = 16*h - 23*h - y + 50500, -3*y = -4*h + 28875. Is h a multiple of 12?
False
Let n = -183 - -185. Let b(r) = 108*r**2 - 6*r. Is b(n) a multiple of 15?
True
Let p(g) be the first derivative of g**4/12 + 3*g**3/2 + 3*g**2 + g + 11. Let h(a) be the first derivative of p(a). Does 5 divide h(-9)?
False
Is (3 + (-12)/3)*-1 - 180036/(-27) a multiple of 19?
True
Let s(p) = p**3 + 58*p**2 + 110*p - 34. Does 26 divide s(-56)?
True
Suppose -238*u = -235*u - 9216. Is 48 a factor of u?
True
Suppose 5*b = -6 - 4. Let y(z) = -z**2 + 3. Let d be y(b). Is 161/28*(-20)/d a multiple of 16?
False
Suppose -4*y = -2*y - 232. Let l = -95 + y. Let w = 119 - l. Is w a multiple of 7?
True
Let r(c) = 2*c**2 + 10*c + 7. Let v be r(9). Let j = 57 + v. Suppose 0 = -u - u - 4*a + j, a = -u + 157. Is u a multiple of 13?
True
Suppose 0 = -4*h - 12, -2*x + 5*h - 4 = -11. Let p be (-2 + 2)*2/x. Suppose -391 = -3*v + y, 2*v - 4*y = -p*y + 244. Does 11 divide v?
True
Suppose 0 = 2*x + 6, 0*x = -3*y + 2*x + 3876. Suppose -3*m + 689 = -r - y, 4*m - r - 2639 = 0. Is 20 a factor of m?
True
Suppose -21*u - 5*u + 51038 = 0. Suppose -5*c + 1945 = 5*i, -9*i = -4*i - 4*c - u. Does 3 divide i?
False
Let t = -3175 - -6759. Suppose -2*i = 2*i + s - t, i = 4*s + 879. Let h = -607 + i. Is h a multiple of 36?
True
Suppose 9417 = 19*s - 5460. Suppose -4*y = 5*h - 6*h - s, 3*y = -4*h + 573. Does 13 divide y?
True
Let s = 1090 + -30. Suppose -2*i = -4*i + 8. Suppose -i*n + s = n. Does 36 divide n?
False
Does 246 divide (-507)/1859 + 1469367/33?
True
Is -164*2/2*(219 + -220) even?
True
Let b(r) = 2*r**3 - 11*r**2 - 10*r + 8. Let h(i) = 6*i**3 - 33*i**2 - 31*i + 24. Suppose 41*o = 42*o + 2. Let n(u) = o*h(u) + 7*b(u). Does 48 divide n(8)?
False
Let i(f) = 6*f - 5*f - 15*f + 11. Let s(u) = -u + 1. Let k(r) = i(r) - s(r). Does 11 divide k(-6)?
True
Let n be 9/12 - 3556/(-16). Suppose n = -2*a + 25. Let v = 145 + a. Does 14 divide v?
False
Let c(j) = -4*j + 12. Let w be c(4). Let k(m) = -27*m - 41. Is k(w) a multiple of 7?
False
Let t = -8 + 42. Suppose -28 = 33*s - t*s. Suppose -s*d - 100 = -33*d. Is 4 a factor of d?
True
Suppose 3*w + 5*a = a + 1843, -5*w = a - 3049. Suppose 0 = 4*o + m - 1760, -m + 271 + w = 2*o. Does 52 divide o?
False
Let j = 22208 + 61638. Is 24 a factor of j?
False
Let a(f) = 6*f**3 + 84*f**2 + 4*f - 44. Is 6 a factor of a(-11)?
False
Let y(b) = b**3 - 3*b**2 - 6*b + 11. Let k be y(4). Suppose k*z - 8208 = -15*z. Is z a multiple of 24?
True
Suppose 28*f - 26*f - 5*s = 21852, -5*f = 4*s - 54729. Is 114 a factor of f?
False
Suppose -6 = 3*x, -10*w = -12*w + 2*x + 29768. Is w a multiple of 14?
True
Let s = 219 + -644. Let t = 755 + s. Is 11 a factor of t?
True
Suppose 9*h - 11*h = 5*r + 36, 4*r + 5*h = -39. Let s(d) = 8*d**2 - 15*d - 1. Does 6 divide s(r)?
False
Suppose 3*c - 688 = 5*l, l - 5*c = 5*l + 580. Does 19 divide 15 - (l/(-5))/(-7)?
True
Let v(x) = 26*x**2 - 381*x + 253. Does 194 divide v(-19)?
True
Let r be -72*10/(-75) + 4/10. Suppose 3*k - r = 56. Does 3 divide k?
False
Let s be (1 + 0)/(5/10). Suppose 0 = -6*c - s*c - 1808. Is (5/(-10))/(c/(-228) - 1) a multiple of 17?
False
Is 222 a factor of (6253000/(-5070))/(0 - 1/9)?
True
Let m = -353 + 680. Let r = 537 - m. Is 30 a factor of r?
True
Let z = 118 - 116. Sup