r of v?
True
Suppose -10*d - 13*d = -7659. Is 37 a factor of d?
True
Suppose -59*n + 54*n = -2*g - 1589, 0 = n - 2*g - 313. Is n a multiple of 12?
False
Let q(r) = -6 + 2 - 12*r - r**2 + r. Is 5 a factor of q(-5)?
False
Let v(o) = 85*o + 150. Does 10 divide v(16)?
True
Let q = -3 + 8. Let c = q + 19. Is 12 a factor of c?
True
Let b = 578 - 538. Let l be 0 + 0/(-1) + 99. Let v = l - b. Is v a multiple of 28?
False
Let d = 1874 - -84. Is 45 a factor of d?
False
Suppose 1098 = 2*h + z, 5*z + 590 = 2*h - 520. Does 11 divide h?
True
Suppose -252 + 0 = -6*g. Suppose 18 - g = -q. Is 6 a factor of q?
True
Suppose z + q - 7 = 0, -3*z + 4*q = -3 + 10. Suppose y - 1 - 14 = -z*j, 13 = y + 4*j. Suppose 2*t - y - 3 = 0. Is 5 a factor of t?
False
Let h be (340 - (-2 - -1)) + 0 + -2. Suppose -h = -4*l + x + 736, l = -3*x + 259. Is 35 a factor of l?
False
Suppose 0 + 6 = 3*l. Suppose 4*k - 9 = l*i + 35, -i + k = 23. Is (-3)/(-18) + (-2012)/i a multiple of 21?
True
Suppose 142*u - 2 = 141*u. Suppose -u*x = -387 - 109. Is 22 a factor of x?
False
Let n(m) = 2*m - 5. Let u be n(5). Let k(z) = -z**3 + 2*z**2 + 2. Let c(i) = 7*i**3 - 17*i**2 - 4*i - 12. Let q(y) = -c(y) - 6*k(y). Does 5 divide q(u)?
True
Let g(d) = d**3 + 3*d**2 + 2*d - 13. Let f(x) = x**2 + x. Let o(w) = 3*f(w) - g(w). Let c be o(0). Let p(a) = a**3 - 12*a**2 - 11*a + 8. Is 16 a factor of p(c)?
False
Is (-4)/(-10) + -2514*112/(-105) a multiple of 37?
False
Let a be (12 - 8) + (-1 - 3). Suppose -3*m + 54 = 2*k - 148, -k - 4 = a. Is m a multiple of 10?
True
Let y(j) = -16*j - 136. Is 12 a factor of y(-16)?
True
Let x = 634 - 294. Is x a multiple of 17?
True
Let c = -42 + 38. Is ((3 - 2) + c)*-28 a multiple of 13?
False
Suppose 1 = -2*d + 3. Let m be (-15)/(6/(-2))*1. Let t = d + m. Does 4 divide t?
False
Does 51 divide 137/(((-49)/21)/(-7))?
False
Let r(s) be the third derivative of 1/60*s**6 + 1/3*s**3 + 0*s - 1/8*s**4 - 1/30*s**5 + 0 - 7*s**2. Does 28 divide r(4)?
False
Let s(i) = -15*i - 2*i + 8*i + 5. Does 17 divide s(-7)?
True
Suppose 0 = 3*b + 9, 0 = 3*f + 2*f + 2*b + 6. Suppose f*w = 5*w - 140. Is w a multiple of 28?
True
Suppose -6*l = -5*l. Let f(p) = p + 16. Let m be f(l). Suppose -3*w + 4*w - m = 0. Is w a multiple of 8?
True
Let a be (((-60)/7)/5)/((-1)/(-7)). Is 13 a factor of (-28)/a*(52 + -1)?
False
Suppose x + 11 = a + 3*a, 3*x - 15 = 0. Suppose -a*c + 8 = -8. Suppose 3*n + c - 25 = 0. Is 4 a factor of n?
False
Is 12 a factor of -5615*(104/(-220) - 3/(-11))?
False
Suppose 4*l + 2 = 5*h, 0*l + 10 = 2*h + 3*l. Suppose 108 = 4*m - h*m. Is 9 a factor of m?
True
Does 25 divide 1/((-1)/(-1684)*1)?
False
Let m = -106 + 156. Let o be (-76)/(-10) - (-20)/m. Let d(n) = -n**3 + 7*n**2 + 8*n + 4. Is d(o) even?
True
Is (-51930)/(-40) - 7/((-140)/(-25)) a multiple of 14?
False
Let q(w) = w**2 - 20*w + 14. Let k(l) = -2*l + 1. Let f(a) = 6*k(a) - q(a). Let n(y) = -6*y - 1. Let m be n(-1). Is 2 a factor of f(m)?
False
Suppose 3*v - 4*f = -f + 33, 3*v - 4*f - 28 = 0. Let q be ((-184)/v)/(1/4). Let o = q + 106. Is 15 a factor of o?
True
Let s be (-90 + 2)/(-2)*1. Let i = s - 12. Suppose i = 2*l - 14. Does 10 divide l?
False
Suppose q - 4*o = -29, 0*o + 166 = -5*q - o. Let m = -14 - q. Is 6 a factor of m?
False
Let i(m) = 2*m**2 + 2*m - 1. Let b be i(6). Let a = 168 - b. Suppose a = -5*g + 515. Is g a multiple of 18?
False
Let z be 15/(-6)*14/(-5). Let h(n) = -6 - 12*n + 6*n**2 - z*n**2 - 7. Is h(-8) a multiple of 19?
True
Let f(d) = -2*d**2 + 6*d - 6. Let w be f(4). Let h = -10 - w. Suppose -h*t = -49 - 31. Is 10 a factor of t?
True
Let u be 0 + (-4 - (-8)/2). Suppose 4*k + 25 = 9*k. Suppose -110 = -4*h + m, -k*m - 6 - 4 = u. Is h a multiple of 9?
True
Let k be (-25)/(-3)*(26 - 5). Let c = -79 + k. Is 16 a factor of c?
True
Suppose -4*n = 16 - 40. Suppose n*o = 2*o + 104. Is 14 a factor of o?
False
Suppose -3*o + 105 = -2*o. Is 7 a factor of o?
True
Let g(f) = -f**2 - 3*f. Let x be g(-3). Let i(s) = -5*s + 5. Let z be i(-2). Suppose -b - z + 90 = x. Is b a multiple of 27?
False
Let d(l) = l**3 + 16*l**2 - 17*l + 4. Let m be d(-17). Suppose -2*x + 115 = c, m*c - 460 = -0*c + 3*x. Is 12 a factor of c?
False
Suppose -4*d - 4*p + 2280 = -2640, 6135 = 5*d + 2*p. Is 35 a factor of d?
True
Let q be 8/16*84*(-1)/(-2). Is q/14*356/6 a multiple of 23?
False
Let q = -21 + 14. Let f(s) = s + 10. Let o be f(q). Suppose 0 = 8*i - o*i - 125. Is i a multiple of 6?
False
Let y be 1/2*0 - -5. Suppose 5*a + 24 = -4*g, 4*a + y*g = 3*g - 24. Does 7 divide a/(-14) + (-188)/(-14)?
True
Let r = 66 + -85. Let o = 84 + r. Is o a multiple of 26?
False
Let d(i) = -121*i - 176. Does 15 divide d(-11)?
True
Suppose -124 = -8*o - 52. Is o a multiple of 9?
True
Suppose 0*g + 3*g = 660. Is g a multiple of 11?
True
Let k = 22 + -26. Let j = 1 - k. Suppose w - 1 = -j, -2*b + 18 = -w. Is b even?
False
Let k be ((-2)/3)/(10/(-75)). Suppose -x = b - 197, b + 128 = -k*x + 309. Does 34 divide b?
False
Suppose 20 = 4*v + 88. Let q = -6 - v. Is q a multiple of 4?
False
Let v = -1449 - -1773. Is v a multiple of 32?
False
Suppose 0 = 2*m + 9 - 11. Let l be ((-2)/(-2))/(0 + m). Let b = 19 - l. Is b a multiple of 9?
True
Suppose 7*k = -7*k - 3486. Is 12 a factor of -3*(5 - k/(-9))?
False
Let m be (1 + 5)*4/(19 - 7). Suppose 2*q = 4*t + 32, 2*q = 3*q + m*t - 32. Is 12 a factor of q?
True
Suppose 4*d + 86 + 139 = 5*u, -2*u + 4*d + 78 = 0. Suppose -4*l + 29 = k, l = k - 0*l - u. Is k a multiple of 9?
True
Let i = -20 + 49. Suppose -g + i = -4*p, -26 = g - 5*g - 2*p. Does 8 divide g?
False
Let c(j) = 95*j**3 + 4*j**2 - j - 1. Let z(k) = -189*k**3 - 7*k**2 + 2*k + 2. Let v(n) = 7*c(n) + 4*z(n). Does 7 divide v(-1)?
True
Let d(l) = -3*l + 3. Let q be d(-5). Suppose -5*v + q = -37. Suppose -v - 5 = -4*a. Is a even?
True
Does 14 divide ((-3990)/40)/(3/(-16))?
True
Suppose -q - 6 = -b, 4*b - 40 = -3*q + 12. Let n be -9 + b - (1 + -12). Suppose n = p - 8. Is p a multiple of 4?
True
Does 30 divide -6 - -6 - ((-1108)/1 + -2)?
True
Let r be 2*2/12*3. Suppose 2*a = -r + 7. Suppose a*b + 2*h = 4*h + 125, 5*b + h - 191 = 0. Is b a multiple of 13?
True
Let p = 34 + -23. Is (2 + -1)/(p/55) even?
False
Let t(x) = -67*x**3 - x**2 - 3*x - 2. Does 67 divide t(-2)?
True
Is (-3)/9 - (-1568)/6 a multiple of 5?
False
Let r(m) = -m**2 - 5*m + 8. Let v be r(-6). Suppose v*c + 12 = -2*c. Is (98/2 - c)/2 a multiple of 22?
False
Let a(s) = -4*s - 2. Let h be a(-1). Suppose u + h = 4. Suppose -5*l + u*x = -319, -l - 3*x - 9 + 83 = 0. Is 27 a factor of l?
False
Let n be ((-20)/(-6))/5 + (-298)/6. Let w = n - -56. Does 7 divide w?
True
Let m = -1814 + 3126. Is m a multiple of 16?
True
Let p = 344 + -134. Is 15 a factor of p?
True
Let a be 21 + (-1)/(-2)*6. Let o = 35 - a. Is o a multiple of 4?
False
Let n(b) = 2*b**3 + 43*b**2 - 21*b + 38. Does 5 divide n(-22)?
False
Let l(g) be the first derivative of -1/3*g**3 + 13*g - 6 + 3*g**2. Is 3 a factor of l(7)?
True
Let r(b) = -2*b**3 - 43*b**2 + 14*b + 4. Is 9 a factor of r(-22)?
True
Suppose -647 = -2*j - 2*j + 3*n, 0 = j + 3*n - 158. Is 29 a factor of j?
False
Let x = -1 + 0. Is x*4/((-16)/316) a multiple of 11?
False
Let u = 1004 - 708. Does 11 divide u?
False
Let u(v) be the first derivative of 3*v**2/2 + 62*v - 12. Is u(0) a multiple of 19?
False
Does 5 divide (-12)/(-10)*(-750)/(-20)?
True
Let v(y) = y**3 + 2*y**2 + 4*y + 4. Let o be v(3). Suppose o = -5*j - 89. Is ((-48)/j)/((-2)/(-15)) a multiple of 12?
True
Let f(m) = -3*m**2 + 8*m. Let d be f(-7). Let w = -64 - d. Is w a multiple of 16?
False
Suppose 0 = 8*f - 179 - 77. Suppose -4*t - 4*d + 44 + f = 0, 5*d - 11 = -t. Is t a multiple of 3?
True
Suppose 2*c + 4*m = 3*m - 145, -4*m + 284 = -4*c. Is 20 a factor of c*(16/(-6))/4?
False
Suppose 3*z = 4*f + 1372, -4*z + 12*f = 19*f - 1817. Is z a multiple of 19?
True
Let g(a) = -5*a - 13. Let o(r) = r**3 + r**2 + r. Let q(d) = d**2 - d - 1. Let s(t) = 2*o(t) + q(t). Let y be s(-2). Is g(y) a multiple of 22?
True
Suppose 4*q + 5 = 5*q. Let p(l) = 3*l - 9. Let j(s) = -5*s + 18. Let g(z) = q*p(z) + 2*j(z). Is 18 a factor of g(9)?
True
Suppose 0 = -4*c + 3*d + 349, 155 = 2*c - 2*d + 7*d. Suppose c - 268 = -3*h. Is 30 a factor of h?
False
Suppose -5*s - 1 - 21 = -4*y, -2*s + 2*y - 8 = 0. Let l(i) = -i**3 - 5*i**2 - i - 4. Does 17 div