 divide 2*((-8)/(-1) - h)?
False
Suppose 5*h + 3*m - 1527 = 0, -6*h + 7*h + 3*m - 303 = 0. Does 65 divide h?
False
Let u(m) = -m**2 + 4*m + 14. Let j be u(6). Is (-25)/20*j*-24 a multiple of 20?
True
Let g(z) = -z. Let r(i) = -5*i + 2. Let s(t) = -4*g(t) + r(t). Let h be s(2). Suppose l + 2*l = 2*q - 27, 2*l - 6 = h. Is q a multiple of 18?
True
Suppose 1212 + 3156 = 28*b. Is b a multiple of 39?
True
Let w be (-7)/(-1)*(1 - 0). Let f(s) = -4 + s**3 - 4*s**2 - 10*s + 12 + 0*s**3. Is 17 a factor of f(w)?
True
Suppose 5*g + 2*l = 5*l + 723, 4*g + 3*l = 573. Does 72 divide g?
True
Suppose 2*t - 5*f - 1095 = 0, -5*f + 552 = t - 3*f. Is 55 a factor of t?
True
Is 34 a factor of ((-6099)/6 + 8)/((-2)/4)?
False
Suppose 0*u + 67 = 3*u + r, -4*u + 68 = -4*r. Let b = 50 - u. Does 2 divide b?
False
Let n = -313 + 143. Let v = n - -323. Does 17 divide v?
True
Let k = -423 - -653. Let g = k - 165. Is 5 a factor of g?
True
Let i be 14/35 + 644/(-10). Let u = i + 93. Is 15 a factor of u?
False
Let x(h) = -3031*h**3 + 3*h**2 + 12*h + 10. Does 8 divide x(-1)?
True
Let o(l) = 3*l**2 + 81*l - 20. Is o(-35) a multiple of 10?
True
Suppose -6*v - 28 = -280. Does 13 divide (v/28)/(2/100)?
False
Suppose -472 = 4*u - 1564. Suppose 0 = 4*q + h - u + 41, 5*q - 290 = -3*h. Is 6 a factor of q?
False
Suppose 0 = 7*i + 11 - 571. Suppose 0 = -3*k + 2*m - 105, 4*m + m = 2*k + 70. Let h = k + i. Is h a multiple of 9?
True
Let y = 153 + -153. Suppose y = -58*k + 59*k - 39. Is 4 a factor of k?
False
Is 42/(-6) - (-40)/1 a multiple of 2?
False
Let o(g) = -3*g + 303. Is o(38) a multiple of 9?
True
Let b(k) = 4*k - 5. Let s(d) = d**2 - 9*d + 11. Let g be s(8). Is 7 a factor of b(g)?
True
Let o = -59 - -64. Does 5 divide ((o - 5) + -3)*-7*1?
False
Let i be 2*1/1 + 2. Suppose l = -n + 206, -4*n + 215 = -3*l + i*l. Is l a multiple of 7?
True
Let w = -329 - -976. Does 42 divide w?
False
Suppose 949 = 3*b + 2*p, 640 = 2*b - p + 6*p. Is b a multiple of 11?
False
Is (-1)/(45/(-297))*5 a multiple of 32?
False
Suppose -5*r - 592 - 468 = 0. Let x = 355 + r. Is 7 a factor of x?
False
Let v(d) = 195*d**2 + 5*d - 8. Let t be v(6). Is 15 a factor of t/63 - 4/(-18)?
False
Suppose -16*y + 8*y + 368 = 0. Does 4 divide y?
False
Let s = 258 - 156. Does 6 divide s?
True
Does 38 divide 412 - ((2 - 4) + 16/(-4))?
True
Suppose -4*o - 569 - 255 = 0. Let z = o - -299. Is z a multiple of 31?
True
Let m = -396 - -794. Is m/5 - (-4)/10 a multiple of 25?
False
Is ((-140)/44 - -3) + 1447448/374 a multiple of 86?
True
Let v = -182 - -226. Is v a multiple of 30?
False
Suppose -3258 = 839*r - 857*r. Does 2 divide r?
False
Let l(v) = v**2 - 4*v - 48. Let s be l(-6). Does 21 divide (36/14)/(s/784)?
True
Let s(w) = w**2 + 41*w + 143. Is 13 a factor of s(-41)?
True
Let v = 2 + -14. Let b = 19 + v. Is b a multiple of 7?
True
Let w(m) = m**2 + 2*m + 3. Let u be w(-2). Suppose q - u = 8. Does 11 divide q?
True
Let h = -33 - -53. Suppose 0*f - f = 1, -4*f = -4*j + h. Is j/18 - (-1385)/45 a multiple of 12?
False
Let o(z) = 2*z**2 + 9*z + 5. Let t be o(-4). Suppose -2*n = t - 5. Suppose -49 = -n*d + 5*a, -4*a + 0*a - 20 = -d. Is d a multiple of 8?
True
Let l(y) = y**2 + 14*y - 92. Is l(-22) a multiple of 4?
True
Suppose 15*k = -3*w + 19*k + 2088, -4*k = w - 696. Does 29 divide w?
True
Let i be ((-84)/35)/(4/(-10)). Let b = 10 - i. Suppose b*s - 96 = 2*s. Does 16 divide s?
True
Let v be ((-24)/30)/(1*4/30). Is (10/(-6))/(v/324) a multiple of 15?
True
Let t(z) be the first derivative of -z**4/6 + z**2 + 3. Let j(y) be the second derivative of t(y). Is 16 a factor of j(-4)?
True
Suppose 0 = q + 4*n + 24, -q + 5*n + 1 = -2. Is 12 a factor of 0 - (q/(-18) + 148/(-6))?
True
Suppose -105*p - 22 = -107*p. Let w(a) = 2*a + 35. Does 19 divide w(p)?
True
Let r be 4 + (9/15 + -1)*5. Suppose -86 = -u - r*t, -2*u + u + 71 = -t. Is 19 a factor of u?
True
Let i(z) = -z**3 + 5*z**2 + 5*z + 8. Let q be i(6). Suppose q*g - 3*g = -54. Does 18 divide g?
True
Suppose r - 29 = 47. Let s = r - 59. Is s a multiple of 4?
False
Suppose -5*u = 3*b - 2293, -16*b - 765 = -17*b - 2*u. Is b a multiple of 19?
False
Let n(o) = 101*o**2 + 2*o + 1. Let q = -4 - -3. Let w be n(q). Suppose 3*x - 2*h = h + 60, -5*x + 4*h + w = 0. Is x a multiple of 10?
True
Let v = -19 - -83. Suppose -y - 1 + 5 = 0. Suppose 0 = -2*n + v - y. Is n a multiple of 15?
True
Let w(o) be the first derivative of -o**4/4 + 4*o**3 - o**2/2 + 16*o + 4. Let l be w(12). Let y(s) = 3*s**2 + 3. Is 9 a factor of y(l)?
False
Let j be (-7)/21 + 1 + 59/(-3). Let f = j + 84. Is f a multiple of 13?
True
Let v(r) = r**3 + 5*r**2 - 8*r - 8. Let j be v(-6). Suppose 0 = -4*u - 20, -3*u - j = -5*y + 71. Is ((-18)/4)/((-6)/y) a multiple of 3?
True
Suppose -u + 7*u = -288. Is (-4)/(u/15 - -3) a multiple of 20?
True
Let p = -37 + 12. Let b be (p/(-10))/(2/(-4)). Does 8 divide (-1)/(-5) + (-144)/b?
False
Suppose 2*a + 3*t - 104 = 0, 14*a - 17*a = t - 149. Is a a multiple of 12?
False
Suppose 5*l - 1154 + 162 = 2*f, -3*f = -12. Is l a multiple of 10?
True
Let l = -8 + 15. Suppose 2*f = l - 1. Suppose -f*g + 6*g - 4*k = 217, 0 = g + 5*k - 104. Does 20 divide g?
False
Let f = 123 - 68. Let y = 106 - f. Suppose 4*j + 4*s = 336, -3*s - 264 = -4*j + y. Is 27 a factor of j?
True
Is 24 a factor of (-12)/(-168)*21819 - 1/(-2)?
False
Let s(h) = -45*h - 33. Is s(-2) a multiple of 3?
True
Let j = -123 - -117. Let z be 1 + 4 - (2 + -1). Does 25 divide ((-50)/z)/(3/j)?
True
Let c = 2317 - 1558. Does 14 divide c?
False
Suppose 64*j - 81*j = -2635. Is j a multiple of 5?
True
Let w(c) = 8*c**3 + 5*c**2 - 5*c - 2. Let k be w(4). Suppose 5*q - 2*y - k = 0, -y = y. Is 38 a factor of q?
True
Let r(c) be the second derivative of -37*c**3/6 + 29*c**2/2 + 6*c. Is 36 a factor of r(-4)?
False
Suppose -6*o - 4*o = -3*o. Is 8 a factor of (-3)/((o + 1)*6/(-26))?
False
Let v = 102 + -69. Is 11 a factor of v?
True
Let d = -46 - -76. Let b = d + -4. Does 7 divide b?
False
Let m(u) = u**2 - 7*u + 6. Let l be m(6). Suppose l = -2*y - 2*w + 392, 3*y - 8*w = -5*w + 612. Is y a multiple of 10?
True
Let d be (1 - 3)/(2/(-12)). Suppose -d = -3*h + 2*h. Suppose 42 - h = 2*s. Is 4 a factor of s?
False
Suppose 2882 = 2*v - 5*x + 515, v = 4*x + 1185. Does 49 divide v?
False
Does 5 divide ((-128)/(-3))/(-4)*(-86 + 56)?
True
Let c(t) = 21*t - 1. Suppose -b = -3*y - 13, b = -y + 5*y + 16. Is 12 a factor of c(b)?
False
Let x(k) = k**3 + 11*k**2 - 30*k + 8. Let l(s) = s**2 - 16*s - 30. Let n be l(17). Does 12 divide x(n)?
True
Let d(g) = 35*g**2 + 12*g + 2. Is 35 a factor of d(-6)?
True
Let k(f) = 80*f**3 - 2*f**2 + 5*f - 5. Let l be k(2). Suppose -b = -3*i - 173 - 36, 0 = -3*b + 4*i + l. Suppose -2*z + b = 43. Is 23 a factor of z?
False
Let q = 12 - 8. Suppose -q = -4*v, -2*b - 3*v + 2 = -3*b. Let l = 5 - b. Is l a multiple of 3?
False
Let x(w) = -10*w + 2. Let u be x(3). Is 6 a factor of (u/8 + 4)*100?
False
Suppose 0 = -5*t + 4*b + 901, -545 = -3*t - 9*b + 7*b. Is t a multiple of 8?
False
Let h(n) = 7*n**2 + 3*n + 4. Let s(a) = -15*a**2 - 5*a - 7. Let r(i) = 13*h(i) + 6*s(i). Let j be r(-7). Is ((-108)/(-9))/(j/(-14)) a multiple of 21?
True
Let z = -20 + 1328. Does 17 divide z?
False
Let o(g) = g**2 - 22*g + 141. Is 4 a factor of o(18)?
False
Let h be ((-2)/4)/(6/(-120)). Suppose 0 = -4*o + 5*o + h. Let u = 6 - o. Is u a multiple of 4?
True
Let t be (-1 + -2)*(-1 + 3 + -1). Let q = 33 + t. Is q a multiple of 30?
True
Suppose 0 = 3*c + 1 - 16. Let s be c/15 + (-1030)/(-6). Let o = s - 106. Is o a multiple of 29?
False
Let t = 12 - 8. Suppose -4*w - t*k = -100, -2*w - 4*k = -0*w - 50. Let j = 27 - w. Does 2 divide j?
True
Let y = -22 - -34. Is 944/y - (0 + 3/(-9)) a multiple of 8?
False
Suppose s = -4*a + 139, 4*a + s - 3*s - 142 = 0. Let b = a + 85. Is b a multiple of 24?
True
Let q = 2563 - 359. Does 42 divide q?
False
Let q be 46/12 + (-14)/(-84). Suppose -q*v - 38 = 38. Let g = v + 52. Does 14 divide g?
False
Let z(o) = o + 10. Let w be z(-10). Suppose w = 3*k - 3*g - 24, k - 3 = 5*g + 21. Suppose -k*f + 45 = -f. Is f a multiple of 15?
True
Let x be -7*(-1)/(-3)*(5 - 8). Suppose -x*b + 2*b = -650. Does 11 divide b?
False
Let a be 3 - 0/(-3 - 1). Suppose a*x = x. Suppose o - 63 = -x*o - 3*d, -2*d + 66 = o. Is 8 a factor of o?
True
Let q be (-5 + 28/