428/(-3) + 4)/(-1)?
False
Let v = 2439 - 1575. Is 48 a factor of v?
True
Suppose 3*y - 5*c - 1018 = 0, y - 5*c - 184 = 172. Is y a multiple of 6?
False
Let n be 2/(-12) + 150/36. Suppose -2*k + 20 - n = 0. Suppose -k*g + 12 = -5*g. Is 4 a factor of g?
True
Let c = -13 + 58. Does 15 divide 58/18 - 3 - (-8090)/c?
True
Let l = 147 - 45. Let o = l + -42. Does 6 divide o?
True
Suppose 4*r = -3*y + 6*y + 27, y + 7 = r. Let c = -4 + r. Suppose 0*t + 198 = c*t. Does 23 divide t?
False
Let n(b) = -b**3 + b**2 - b - 50. Let q be n(0). Let u = q - -94. Is u a multiple of 22?
True
Let r be (-1)/4 + (-2303)/(-28). Suppose -2*u + r + 134 = 0. Is u a multiple of 27?
True
Let d = -405 - -463. Is d a multiple of 3?
False
Suppose -16*v + 11385 = 4009. Does 29 divide v?
False
Is (-9)/((-63)/(-1162))*-4 a multiple of 8?
True
Suppose 23*i - 67440 = -7*i. Does 57 divide i?
False
Let g = -550 + 684. Is g a multiple of 11?
False
Suppose 10*y = -24*y + 35428. Does 8 divide y?
False
Is (8724/(-8))/(5/(10/(-3))) a multiple of 47?
False
Let k = 24 - -1. Suppose l + 5*p + k = 0, 5*l + 2*p + 18 = -153. Does 16 divide (11 - 1)/((-10)/l)?
False
Suppose -948 = -3*c - 162. Let r = 388 - c. Is r a multiple of 9?
True
Let u be (-591)/15 - (-4)/10. Let o(q) = -q**3 - 11*q**2 + 10*q - 23. Let h be o(-12). Let d = h - u. Does 14 divide d?
False
Let m be (2 + 0)*(-16)/32. Does 21 divide (10 - 1)*m*-7?
True
Suppose -924 = 13*b - 2874. Is b a multiple of 41?
False
Let k(w) = -7*w**2 - 8*w - 5. Let s(n) = 6 - 7*n - 14 + 4 - 7*n**2 + n**2. Let y(r) = 4*k(r) - 5*s(r). Is 18 a factor of y(-6)?
True
Suppose 0 + 7 = -7*s. Let v(d) = -32*d. Is v(s) a multiple of 20?
False
Let d(s) = s - 4. Let u be d(2). Let p be (-1 + -1 - u)/2. Does 3 divide -1 - (-6*2 - p)?
False
Suppose -13*b + 10*b = 12. Does 4 divide ((2 + b)/(-1))/(5/50)?
True
Suppose 9*t - 14*t = o - 253, -2*t + 112 = 4*o. Is 6 a factor of t?
False
Let b(t) = -139*t + 339. Does 78 divide b(-5)?
False
Suppose p + 14*a - 1732 = 18*a, 0 = 2*a - 2. Does 62 divide p?
True
Suppose -p = -0*t + 5*t, -5*p = 3*t - 22. Let q be 5*4 + (0 - t). Suppose 5*f = 4*m - q, -6*f + 15 = -f. Is m a multiple of 9?
True
Let q be (-4)/(-26) - (-2)/(-13). Suppose q = -0*r + 5*r - 10. Suppose -4*a + o = -317, -r*o = -o + 1. Is 23 a factor of a?
False
Let s be ((-4)/5)/(11/(-55)). Let d be 5/(-3)*(5 + -8). Suppose x = -d*o + s*x + 145, 0 = -3*x. Is 20 a factor of o?
False
Let r = -29 + 30. Suppose r = -2*p - 2*o + 23, 0 = -3*p + o + 17. Is p a multiple of 2?
False
Let x = -183 + 591. Is 68 a factor of x?
True
Let n(t) = 3*t + 60. Is 3 a factor of n(-19)?
True
Let l(g) = g**2 + 6*g + 11. Let m be l(-10). Let n be 6/(7/5 - 1). Suppose n - m = -4*f. Does 7 divide f?
False
Let c be ((-52)/6 + -1)*114/19. Let f = 22 - c. Is f a multiple of 20?
True
Let w be (-2)/(-28)*-2 - 120/(-56). Let d(c) = -c**2 + 7*c + 10. Let b be d(7). Let g = b - w. Is g a multiple of 4?
True
Let g(f) = -2*f**3 + 3*f. Let k be g(-5). Let s be (2/(-1))/(10/k). Let r = 8 - s. Is 11 a factor of r?
True
Does 5 divide (46 + -51)/(1*(-2)/38)?
True
Let p(b) = b**3 - 9*b**2 - 9*b + 45. Let g be p(10). Let o(m) = m**3 + 2*m**2 - 3*m + 1. Let d be o(3). Let y = g - d. Is y a multiple of 4?
False
Suppose -r + 6 = l - 0*l, l = -3*r + 12. Suppose r*f - 1 = 14. Is f a multiple of 2?
False
Suppose -4*g + 197 + 1147 = 0. Suppose -4*a + 2*o + 1352 = 0, -g = -a + 3*o - 2*o. Is a a multiple of 17?
True
Suppose -9*x + 12*x = 6. Suppose 4*u - x*q = 3*q + 459, 4*u - 499 = -3*q. Does 11 divide u?
True
Suppose -9*v - 4*j = -7*v - 664, 3*v = -4*j + 1004. Is v a multiple of 17?
True
Let k(d) = 3*d - 6. Let q(z) = -z + 15. Let u be q(10). Let n(v) = 3*v - 5. Let o(i) = u*n(i) - 6*k(i). Does 5 divide o(-7)?
False
Suppose 14 = 4*i + 2. Suppose 2*m + i = -35. Let y = m - -43. Is y a multiple of 12?
True
Suppose 0 = -8*j + 3*j - 2*o - 12, -j = 2*o - 4. Does 11 divide ((-3 - 48) + j)/(-1)?
True
Suppose 4*s + 8 = 0, 1250 = -0*u + 3*u + 5*s. Suppose u = 3*p + 3*p. Is p a multiple of 10?
True
Let r(j) = -4*j + 40. Does 2 divide r(-4)?
True
Let l(s) = 3*s + 10. Let h be l(-2). Is (-859)/(-4) - ((-2)/2)/h a multiple of 43?
True
Let r be -3*16/(-18)*(-18)/(-4). Suppose v + 5*w - r - 152 = 0, 5*w = v - 154. Is v a multiple of 12?
False
Let z = 6 + -4. Suppose 4*c - 2 = 3*m - 20, 14 = 2*m - 2*c. Suppose g - m = 5*n - z*n, -g + 5 = 2*n. Is g even?
False
Let x = -94 + 97. Is 728/24 - (-2)/x a multiple of 5?
False
Suppose 0 = 5*v - 138 + 53. Suppose -3*i - i + d = -7, i - 4*d = -v. Does 3 divide i?
True
Suppose 5*l = 3*q - 568, -4*l = l + 10. Suppose 3*b - 6*b = q. Let y = -34 - b. Is y a multiple of 14?
True
Let v be 18/22 + 4/22. Is 16 a factor of (42*1 + -2)/v?
False
Let u be -2*(6/(-51) + (-282)/204). Suppose 13*g = u*g + 160. Is 15 a factor of g?
False
Suppose 0 = 2*g + h - 1423, 4*g - 11*h = -12*h + 2849. Is g a multiple of 23?
True
Suppose -5*b = -826 - 154. Is b a multiple of 20?
False
Let g = 36 - 22. Let n = g - 10. Suppose k + 4*h = 56, 0 = n*k + 4*h - 136 - 136. Is k a multiple of 24?
True
Let c = 176 - 121. Let z be (0 + (-8)/(-10))*c. Suppose 2*g - 5*h = 72 + z, 5*g - 352 = -3*h. Does 17 divide g?
True
Suppose 9*s - 929 = 4876. Does 43 divide s?
True
Let l be (-165)/(-9) + 2/3. Let n = l - -2. Does 6 divide n?
False
Suppose -5 = 3*h - 11. Let y(m) = 17*m**2 + h - 7*m - 6*m + 2 + m**3 - 6*m. Is 11 a factor of y(-18)?
True
Suppose -259*r = -267*r + 88. Let q(o) be the third derivative of -o**5/60 + o**4/2 + 8*o**3/3 - o**2. Is q(r) a multiple of 9?
True
Suppose -2388 = -5*n + 3*r, -14*n + 4*r = -12*n - 944. Is 4 a factor of n?
True
Let w(t) = -t**3 - 2*t**2 + t + 13. Does 15 divide w(-7)?
False
Is -2*((2 - 1) + -339) a multiple of 68?
False
Let t(a) = 10*a + 200. Does 8 divide t(20)?
True
Suppose 11*j - 14*j + 15 = 0. Does 5 divide j?
True
Let o = 172 - 182. Let f = -1 - 1. Is 5/(o/(-42)) + f a multiple of 8?
False
Suppose 37*n - x + 6601 = 41*n, x + 3299 = 2*n. Does 25 divide n?
True
Suppose -2172 + 38418 = 42*q. Is 8 a factor of q?
False
Suppose -2*v = -258 - 46. Is 4 a factor of v?
True
Suppose -5821 - 515 = -32*x. Is 22 a factor of x?
True
Let g be 2*(7/42)/((-2)/6). Is 23 a factor of g*(-46)/(-5)*-5?
True
Let c = -338 + 536. Does 18 divide c?
True
Suppose -5*b - 5*s = -170, 0 = -3*b + 2*s - 4*s + 104. Does 6 divide b?
True
Let x(a) = 4*a**2 + 38*a - 1. Does 40 divide x(-12)?
False
Let v(p) be the third derivative of p**7/126 + p**6/720 + p**4/12 + 3*p**2. Let o(y) be the second derivative of v(y). Does 11 divide o(-1)?
False
Let x(u) be the first derivative of -u**4/12 + 4*u**3/3 + 3*u**2/2 + 7. Let w(r) be the second derivative of x(r). Is 10 a factor of w(-6)?
True
Let j be -10*(-7)/(70/4). Suppose -5*h + 485 = 5*g, -j*h = -g - 3*g - 404. Is h a multiple of 11?
True
Let p(q) = 13*q - 3. Let l be p(4). Suppose -a - l = -3*z, -2*z + 2*a + 7 = -27. Is (-2)/(-8) + 380/z a multiple of 12?
True
Let k = -1271 + 2123. Is k a multiple of 12?
True
Let x(h) = -h**2 - 9*h - 15. Let f be x(-5). Is f - (1 - 2)*-2 even?
False
Let d be 6/15 - (-69)/15. Let k(i) = i - 1. Let h be k(d). Suppose -s + 33 = h*w, 2*s = -8*w + 3*w + 39. Is w a multiple of 9?
True
Let w(n) = -802*n + 22. Let d be w(-2). Does 12 divide d/(-4)*(104/(-12) + 8)?
False
Is (9/2 - 4)/((-1)/(-2170)) a multiple of 86?
False
Let n(q) = -q**3 + 42*q**2 + 47*q + 33. Does 13 divide n(43)?
False
Is 45*856*(-4)/(-80) a multiple of 31?
False
Let h = 62 - 52. Suppose 0 = 2*l + 2*s - h, -2*l - 3*s + 0*s = -5. Does 9 divide l?
False
Let t(r) = 2*r**2 - 17*r + 23. Let l = -8 + 18. Is t(l) a multiple of 16?
False
Suppose -2*l - 3*a + 495 = 0, 0 = -17*l + 12*l + 3*a + 1227. Is l even?
True
Let f(j) = 14*j + 48. Let m be f(12). Suppose -m = -2*s - 0*s. Is s a multiple of 33?
False
Is 7 a factor of ((-4)/(-3))/((-17)/(-1173))?
False
Suppose -2*i - 844 = -4*b, -459 = -3*b + 4*i + 169. Is b a multiple of 28?
False
Suppose -74*l = -67*l - 5803. Is 16 a factor of l?
False
Let j = -1058 - -2006. Does 6 divide j?
True
Suppose -4*b + 891 = 3*r - 370, 4*b = 4*r - 1644. Does 33 divide r?
False
Suppose 4*x = 2*y + 34, y + 33 = 4*x + 4. Does 36 divide 1*72*9/x?
True
Let k(u) = u**3 + 9*u**2 - 9*u + 6. Let t be k(-10). Let v(g) = -g**3 - 7*g**2 - 5*g. Let q be v(t). Does 13 divide 8/q