
True
Does 185 divide 38/247 + (-1058180)/(-130)?
True
Suppose 51*d + 24*d = 2400750. Is d a multiple of 97?
True
Suppose 24 = 4*o + 12, -3363 = -5*i + 4*o. Does 20 divide i?
False
Suppose -5302*k + 208100 = -5277*k. Is 35 a factor of k?
False
Let n be -64 - (-1 + 6 + -7). Let p = 64 + n. Suppose -2*a = -p*b - 3*b - 673, -a - 2*b = -314. Does 54 divide a?
True
Let a = 9292 + -4684. Is 12 a factor of a?
True
Let w be -2*10/25*(-85)/2. Let a = w - -64. Does 14 divide a?
True
Let j(w) = w**2 - 8*w - 1135. Is j(39) a multiple of 3?
False
Suppose 5*n - 4*t - 391 = 0, -6*n - 5*t - 307 + 737 = 0. Is n a multiple of 2?
False
Let z = 9286 + -2800. Does 141 divide z?
True
Is (-356)/56*-320 - 2/7 even?
True
Suppose 0 = 2*m - d - 303, 0 = -4*m + 4*d - 28 + 636. Let v = m - 35. Suppose 913 - 324 = 5*g - 4*u, -g = u - v. Does 17 divide g?
False
Suppose -55*q + 53*q = 3*y - 159137, -3*q = -5*y + 265260. Does 12 divide y?
False
Let h(s) = -130*s + 2. Let v be h(-2). Is 44 a factor of (57/11 - 5)*11 + v?
True
Let b = -8 - -10. Is 71/(-7)*-20 - b/(-14) a multiple of 10?
False
Is 195 a factor of 2730*(-5)/(30/(-3))*6?
True
Suppose d + 3*l - 90 = 4*d, d + 4*l + 30 = 0. Let n be d/(-12)*8/(-10). Is 2 a factor of (((-2)/n - 0) + -2)*-11?
False
Let m = -37 + 41. Suppose 0 = 5*h - 4*r - 123, 0 = m*h + r - 46 - 65. Does 2 divide h?
False
Suppose n = 4*h - 0*n - 9, h = 4*n - 9. Suppose -23*x + 2*a = -27*x + 2082, -1559 = -h*x - a. Is 74 a factor of x?
True
Let c = 12 + -4. Let v(b) = 2*b**3 - 9*b**2 - 4*b + 11. Let w be v(c). Suppose 2*h - 80 - 138 = -2*n, 4*n - 5*h - w = 0. Does 26 divide n?
False
Suppose -62*j - 57*j = -1218812 + 285733. Does 22 divide j?
False
Does 64 divide (-192*100/(-28))/((-5)/(-35))?
True
Let o(m) = -m**3 - 20*m**2 + 22*m + 26. Let c be o(-21). Suppose -3*z + t = -743, -3*t + c + 7 = 0. Suppose -73 = 2*y - z. Is y a multiple of 18?
False
Suppose 2*f - 4*f = 0. Let q(d) be the third derivative of -d**5/30 - d**4/24 + 10*d**3/3 - d**2 - 90*d. Is 10 a factor of q(f)?
True
Let t be (5 - 2)*(-170)/(-30). Let d be 49/5 + (-3)/(-15). Let l = d + t. Is 10 a factor of l?
False
Let v = -77 + 29. Let n = v - -50. Suppose -5*k + 103 = 2*s, 4*k - 52 = -n*s + 46. Does 14 divide s?
False
Is 2628/(-2)*-1*172/258 a multiple of 13?
False
Let k(p) = -12*p**2 + 2*p + 4. Suppose -30*x + 3 = -33*x. Let g be k(x). Does 11 divide (g - 1)/((-9)/99)?
True
Let j(x) = 17*x**2 - 25*x - 7. Suppose 7 = -2*h + 3*a, -1 = 2*h - a - 4. Is j(h) a multiple of 3?
True
Let b(k) = -k - 9. Let j be b(-11). Suppose -j*p - 10 = 2*u, 2 = 3*p - u + 9. Let c(q) = 6*q**2 + 5*q - 7. Does 21 divide c(p)?
False
Suppose 5*x = -2*d + 1237, 20*x + 3*d - 991 = 16*x. Does 15 divide x?
False
Suppose -x = 21 - 23. Suppose 0*k = 3*n - 4*k - 11, -x*n + 2 = -4*k. Is -2 - (-105)/n*(2 + 1) a multiple of 11?
True
Let u(g) = 2*g - 14. Let v be u(6). Let q be -2*(-9)/(-18)*(v + -1). Does 12 divide ((-3)/(-2))/(q/282) - -3?
True
Let k be (1 - (-54)/(-3))*5. Let o be (-6)/(-3)*k/10. Let g(h) = h**3 + 16*h**2 - 20*h - 10. Does 7 divide g(o)?
False
Suppose -1821 = -5*q + 2*z - 6*z, 5*z = 20. Does 2 divide q?
False
Suppose 0 = -11*n + 52548 + 6450 + 72661. Is 12 a factor of n?
False
Let y(d) = -3*d**3 + 22*d**2 - 12*d + 11. Let g be y(7). Is 12 a factor of 16/g*(-1 - (-157)/(-2))?
False
Let o = -22416 + 36512. Is o a multiple of 4?
True
Let m(j) = 10 - 6*j - 14*j - 17*j - 2*j**2 - 27. Let r be m(-18). Is (r + -18)/(21/(-84)) a multiple of 4?
True
Let m(n) = 23655*n**2 - 35*n - 25. Is 24 a factor of m(-1)?
False
Let u = 2200 - -580. Is 3 a factor of u?
False
Suppose 0 = 5*l - 2*j - 1330, -2*j = -5*l - 6*j + 1360. Let c = l - -417. Is 48 a factor of c?
False
Let r = -17 - -20. Suppose j - 5*j - 5*n = -16, 0 = 4*j - r*n - 48. Suppose -j*f + 28 + 260 = 0. Is 16 a factor of f?
True
Let k be 6*(1 - (-295)/3). Let l = 247 - 238. Suppose -l*i + k + 160 = 0. Is 28 a factor of i?
True
Let r(y) = 7*y**2 + 11*y + 16. Let a = -64 - -62. Does 9 divide r(a)?
False
Let j(h) = -20*h**3 - 3*h**2 - 5*h - 20. Let l be j(-5). Suppose 6*r - l - 708 = 0. Does 9 divide r?
False
Suppose 2 = x, c - 3*x - 440 = -0*x. Suppose 2*n + 2*v = c, 4*v + 6 = -n + 232. Suppose 10*q - n = 4*q. Is 4 a factor of q?
False
Suppose 0 = -3*s - 3*f, -4*f = s + 4*s - 3. Suppose -1916 = -4*m + 4*l - 2*l, s*m - 2*l - 1436 = 0. Is 20 a factor of m?
True
Suppose r + r = 24. Let l(i) be the second derivative of i**3/6 + 5*i**2 - 24*i - 1. Is l(r) a multiple of 10?
False
Let s be 44/33*3*(2 + -1). Suppose 4*y - 796 = -s*f, 0 = 3*f - 3*y - 632 + 5. Is f a multiple of 13?
False
Suppose -h + 7120 + 5673 = 0. Suppose 10*s - h = 1607. Is s a multiple of 16?
True
Let n(y) = 8*y**2 - 25*y - 880. Is n(-32) a multiple of 48?
True
Suppose 0 = 5*q + 2*n + 4, q = -n - 2 - 0. Let a be q - -4 - (-2 + 0). Is (-105)/(-10)*(-2 + 20/a) a multiple of 3?
False
Let y be (0 - -4)*1740/24. Let m be (-2)/(-4)*y/5. Is 5 a factor of m/(36/(-20) - -2)?
True
Suppose 180 = 2*v + 7*v. Let x = -17 + v. Suppose 0 = x*p - 7*p + 152. Is p a multiple of 3?
False
Is 12794 - (-3 - 1)/((-5)/(-10)) a multiple of 74?
True
Suppose 0 = -5*i - 0*i. Let a(n) = i*n**2 + 19 - 21*n - n**2 - 15. Is a(-9) a multiple of 16?
True
Let g = -401 - -450. Suppose g*t - 28*t - 5040 = 0. Does 30 divide t?
True
Let q be (-145)/(-10) + 2/(-4). Suppose 0 = -4*k - q*k + 720. Is 4 a factor of 48/(-14)*(-12 - k/(-8))?
True
Let p be 6/(-12)*-83*-10. Let a = -22 - p. Is a a multiple of 11?
False
Suppose -5 - 18 = 5*l - 2*d, -3*d = -5*l - 27. Let w be (l/9)/((-1)/3). Let q(y) = 85*y**3 + 4*y**2 - 1. Does 8 divide q(w)?
True
Let a(r) = -10*r**3 + 14*r**2 + 10*r + 7. Let d(g) = 12*g**3 - 15*g**2 - 10*g - 8. Let n(z) = -5*a(z) - 4*d(z). Does 47 divide n(9)?
False
Let i = -168 - -168. Does 3 divide 0 + (i + -6 - -66)?
True
Let z be (-7)/(-5) + (0 - (-6)/10). Let g be ((-2)/4*-2)/(z/8). Suppose -4*k + 4*l + 208 = 0, 6*l = -g*k + 3*l + 208. Does 9 divide k?
False
Suppose 4*l + 10*l = 1218. Suppose -l*p = -81*p - 1590. Does 5 divide p?
True
Let c(u) = 29*u - 18. Let h = 44 + -41. Let x be c(h). Suppose -x - 18 = -3*r. Is 29 a factor of r?
True
Let o = -31 - -40. Suppose -x + o*x = -x. Suppose 4*t + 3*f = 377, 2*f - 6 = -x*f. Is t a multiple of 23?
True
Suppose 0 = -4*d + 5*d - 99. Let t = d - 65. Does 25 divide t?
False
Suppose 0 = 69*w - 1322724 + 176082. Is w a multiple of 7?
True
Let n(t) = 26*t**3 + 5*t**2 - 3*t - 2. Is 24 a factor of n(5)?
False
Suppose 26*y + 35377 = 164441. Is 20 a factor of y?
False
Suppose 12351 = m - 5*v, m = -3*v + 11257 + 1046. Does 111 divide m?
True
Suppose 4*y = -v - v + 1600, -9*y = -6*y. Does 2 divide v?
True
Suppose -7*m + 0 = 7. Let p be 22/66*3/m. Does 2 divide ((-12)/(-42))/(p/(-56))?
True
Let w(d) = d**3 - 26*d**2 + 51*d - 26. Let u = 408 - 383. Is w(u) a multiple of 24?
True
Let n = -429 + 423. Let a(x) = -132*x - 39. Is a(n) a multiple of 37?
False
Let n = 37 - 19. Let s be (-272)/(-144) + 2/n. Is 4 a factor of (s*-35)/((-44)/22)?
False
Let p = 118 - 116. Suppose -o = -0 - p, -4*o - 1 = -3*c. Suppose 2*y - 260 = j - c*j, 0 = y - 2*j - 130. Is y a multiple of 13?
True
Suppose 2*f + 4*x - 798 = 0, 3*f - 7*x = -2*x + 1164. Suppose -6441 + f = -18*j. Is j a multiple of 28?
True
Let w(l) = 28*l - 8. Let k be w(-13). Is (k/(-18))/(6/81) a multiple of 31?
True
Let r be ((-16)/(-1))/4 - 2. Suppose 2*t + 2 = -6*d + 2*d, r*d + 2 = -2*t. Suppose d = -11*m + 6*m + 110. Does 11 divide m?
True
Let r(b) be the third derivative of b**8/2240 - b**7/504 - 3*b**5/40 - 13*b**4/8 - 18*b**2. Let i(k) be the second derivative of r(k). Is 50 a factor of i(4)?
False
Suppose 25 = -f - 4*p, 11*p + 50 = -5*f + 6*p. Let z be f + (0 - -2936)/4. Suppose -4*w = 73 - z. Does 28 divide w?
False
Suppose -2*l - 2*w = -10, -10 = -4*w + 6. Let s be (150 - -2) + l + -1. Let v = s - 96. Is 14 a factor of v?
True
Let a be (8/10)/(20/50). Suppose 0 = -a*q - t + 6, 6 = -5*q - 4*t + 15. Is (-8)/12*((-1110)/4)/q a multiple of 10?
False
Let z be 0 + 0 + (-22)/(-11). Suppose 5*h = z*m - 387, -2*m - 3*h + 549 = m. Suppose -o + 0*o - 3*d = -m, -2*o + 4*d + 342 = 0. Is 21 a factor of o?
False
Let k(a) = 19*a**2 + 25*a - 56. Is k(12) a multiple of 37?
False
Let k(n) = -84*n - 50. Let f be k(15). Let z = -890 - f. Is 84 a factor of z?
True
Le