5*h - 46 = 24. Let q(o) = o**2 + 14*o + 17. Let n be q(h). Is 10 a factor of 0 - -2 - (-11 - n)?
True
Suppose 77093 = 9*l + 5060 + 3183. Is 51 a factor of l?
True
Let g be (3 - 123)/(-5) - (-2 + 4). Let k = 44 + -55. Let z = g - k. Is 11 a factor of z?
True
Is 86 a factor of (-1 + -214)/(8 - 85/10)?
True
Let u(g) be the second derivative of g**4/12 - 5*g**3/3 - 4*g**2 + 20*g. Is u(-6) a multiple of 22?
True
Suppose 0 = 7*g - 179 - 45. Let f = g + -44. Does 12 divide (f/15)/((-3)/180)?
True
Let g(x) = 130*x - 56 - 90 - 109. Does 55 divide g(10)?
True
Suppose -1296 = -18*g + 6*g. Is 58 a factor of g?
False
Let l = -176 + 25. Let v = 2101 + -2146. Let u = v - l. Is 24 a factor of u?
False
Suppose 3*b = 3*i + 449 + 2419, 4*b + i = 3829. Does 8 divide b?
False
Let v be 5346/10 + 96/240. Let u = 964 - v. Does 11 divide u?
True
Let y be (3 + -2)/((-21)/12 + 2). Suppose -y*k + 3*l + 2*l = -1755, -4*l = 2*k - 858. Is k a multiple of 18?
False
Does 18 divide (-14)/(196/42) - -3171?
True
Suppose -905083 - 276383 = -25347*v + 25314*v. Is v a multiple of 13?
True
Let j be (-3)/(648/652 - 1). Suppose -10*m + j = -211. Does 5 divide m?
True
Let x be ((-78)/(-156))/((-1)/(-20)). Suppose -x*s + 57*s = 18283. Does 9 divide s?
False
Let r(p) = -p**2 + 12*p + 6. Let u be r(12). Suppose 3*d - u = -0. Suppose -2*v + 40 = d*n, n + n + 85 = 3*v. Is v a multiple of 8?
False
Let p(i) = 9*i**2 + 47*i + 172. Does 8 divide p(-19)?
True
Suppose 3*d + 0*k - 2*k - 158 = 0, 4*d - 222 = -3*k. Suppose d*s = 14*s + 24280. Is 17 a factor of s?
False
Let v = -99 + 79. Let r(c) = -c**3 - 20*c**2 + 2*c + 42. Let x be r(v). Suppose 0 = -o - 4*o - 2*t + 285, x*o - 114 = -5*t. Does 13 divide o?
False
Suppose -4*p = a - 11918, 4*a - 14682 = -4*p - 2770. Is 4 a factor of p?
True
Let y = -91 + 92. Let d be 1*(0 + -1) - (-1)/y. Suppose 23 = g - d*g + 5*s, -5*s - 85 = -5*g. Is 3 a factor of g?
True
Suppose -126819 = -40*a - 14779. Is 33 a factor of a?
False
Let l(k) = k**2 - 23*k - 2497. Does 3 divide l(66)?
False
Let c(i) = 597*i + 7219. Is c(12) a multiple of 10?
False
Suppose 15*l - 7*l + 19110 = 15*l. Does 14 divide l?
True
Let s be ((-69)/2)/(6/(-40)). Suppose 4*d - s = -4*p + 14, 275 = 5*d - p. Let w = 102 - d. Is w a multiple of 16?
False
Let h = -11744 - -13832. Does 8 divide h?
True
Let j = 77 + -77. Suppose -15*o + 26*o - 3014 = j. Is o a multiple of 28?
False
Let y(m) = m**3 + 22*m**2 - 2*m - 30. Let h be 0/(4*2/8). Suppose -78 = 4*j - 2*c, h = 4*j + j + 3*c + 125. Is y(j) a multiple of 2?
True
Let x(i) = 115*i - 67. Let w be x(-4). Does 4 divide w/(-3) + (133/21 - 5)?
False
Let c = 7596 + -7267. Is c a multiple of 11?
False
Let j = 20875 - 18529. Is j a multiple of 69?
True
Let f be (-1 - 139 - 8) + 0. Is 2 a factor of ((-108)/(-24))/((-6)/f)?
False
Suppose 2*u + 4*r - 2 = 2*r, -36 = -4*u + 4*r. Suppose -3*x = u*k - 1251, -2*x + 498 = 5*k - 3*k. Does 21 divide k?
True
Let o(m) = -m + 2*m - 10*m + 3*m**2 - 13 + 2*m**3 - 26 + 0*m**3. Is o(8) a multiple of 17?
True
Let v(x) = 37*x**2 + 11*x - 57. Does 6 divide v(4)?
False
Let l(u) = -12*u**2 + 48*u + 1. Let f be l(6). Let w = 275 + f. Is 6 a factor of w?
True
Suppose t - 2 = -v, -v + 4 = -2*v - 4*t. Suppose v*x + 14*x - 4158 = 0. Is x a multiple of 7?
True
Let j(d) = -d**2 + d + 21. Let a be j(-5). Is 35 a factor of (26/4)/(a*(-5)/3150)?
True
Suppose k + 35 = -4*r + 5*r, 5*k - r = -163. Let n = -23 - k. Suppose -504 = 5*j - n*j. Does 9 divide j?
True
Let k(s) = 19*s**2 + 37*s - 1712. Does 69 divide k(-32)?
True
Let n(t) = -9*t**3 - 87 - 2*t - 14*t**3 + 86 - t**2 + 4*t**3. Is n(-2) a multiple of 38?
False
Let g = 15772 - 6365. Does 6 divide g?
False
Let p = -9 + 16. Suppose -12*c = -p*c - 3200. Does 16 divide c?
True
Let a(j) = -62*j + 540. Is a(-6) a multiple of 8?
True
Suppose -4*w + 20406 = -3*x, 24 = -4*x + 16. Is 34 a factor of w?
True
Suppose -13*p - p + 31*p = 109395. Is 165 a factor of p?
True
Suppose 15*h + 4 = 14*h. Let r be 3/((-6)/h)*(-1)/(-1). Suppose -2*f = q + 4*q - 145, f - r*q - 77 = 0. Does 17 divide f?
False
Suppose -57*p = -j - 54*p + 4620, 0 = -p - 4. Is 3 a factor of j?
True
Let v(i) = i**2 - 8. Let n be v(6). Let d = n - 38. Let k(u) = 3*u**2 + 26*u + 23. Does 21 divide k(d)?
True
Let p(a) = a**2 - 12*a + 46. Suppose -5 - 1 = -2*i + 3*v, -v + 2 = 0. Does 2 divide p(i)?
True
Suppose 0 = 4*o - 4, 292*d - 297*d - 3*o + 6358 = 0. Is 84 a factor of d?
False
Let g(h) = -h**3 + 5*h**2 + 7*h - 5. Let z be g(6). Does 15 divide -6 - 873/(z + -4)?
True
Let g(d) be the first derivative of 20*d**3/3 - d**2/2 - 4. Suppose -24 + 21 = -3*q. Is 3 a factor of g(q)?
False
Let n be 3 + -7 + 0 + 4. Suppose n = -97*l + 102*l - 2310. Does 42 divide l?
True
Let p = 7 + -7. Let k be (-130)/3*594/(-55). Suppose p = 8*b - k + 68. Is b a multiple of 39?
False
Suppose 62*w = 57*w + 5. Does 24 divide -1 - (1 - -506)/(0 - w)?
False
Let o = 173 + -175. Is 1/(-13)*o - 49098/(-273) a multiple of 15?
True
Let a be (-1)/(-7) + (-2)/14. Suppose c + 2*c = -3, a = -v - c + 414. Is v a multiple of 44?
False
Let k(z) be the third derivative of -z**4/12 - 2*z**3 - 15*z**2. Let p be k(-8). Suppose p = 5*m - 86. Is m a multiple of 7?
False
Suppose 3*m = -5*i + 6, 2*m = m + 2*i + 2. Let k(b) = -b**2 - 3*b**m + 5*b**2 + 83 + 25. Is 15 a factor of k(0)?
False
Suppose -5*r = -9*r + 8. Suppose 8*i = r + 6. Is 3 a factor of i/(-4) - ((-5)/4 + -2)?
True
Suppose -12*u + 1044 = -2028. Does 12 divide u?
False
Suppose -4*s - 9*d = -7*d - 92, -s + 28 = -2*d. Is s/(-60) - (-1882)/5 a multiple of 47?
True
Is (-1010)/((-6)/9*(-3)/(-13)) a multiple of 12?
False
Let u = 40 - 41. Let z be (-1 - u) + (28 - -16). Suppose -9 + z = 5*a. Does 5 divide a?
False
Let v = -129 - 58. Let r = v + 134. Let z = r - -66. Is z a multiple of 4?
False
Let y be (-4)/(-18) + 625/225. Suppose -3097 = -y*w + c, 0*w - 3*c - 1027 = -w. Is w a multiple of 50?
False
Is 2 a factor of ((-51)/(-9) - 4/6)/((-785)/(-502714))?
True
Let l(g) = 566*g**2 + 2*g - 4. Let f be l(1). Let h = -151 + f. Does 11 divide h?
False
Suppose 6524 = 19*n - 112209 - 56105. Is 19 a factor of n?
False
Does 6 divide 18/171 - (-930)/190 - -6868?
False
Suppose -2*n = -5*m + 19327, -205*m = -202*m - n - 11597. Is m a multiple of 34?
False
Suppose -1247 = -40*l + 11*l. Suppose 46*k = l*k + 2343. Is k a multiple of 7?
False
Let i be -1 + (-9)/(-6) + 15/10. Suppose -5*v + 4*v - 5*r = -16, -i*v + 10 = -r. Suppose v*x = 4*x + 384. Does 24 divide x?
True
Let r(h) = 2*h + 37. Let k be r(-17). Suppose -k*a + 46 = -38. Suppose a*m - 33*m + 35 = 0. Is 2 a factor of m?
False
Suppose -53 + 26 = u. Let d = u + 21. Let w(m) = m**3 + 9*m**2 + 9*m - 3. Is 17 a factor of w(d)?
True
Let l(k) = 3*k + 90. Let q be l(10). Let y = q - -254. Is 12 a factor of y?
False
Let q(x) = 19*x - 9. Let o be q(1). Suppose o = -2*v, k = -3*v + v + 330. Does 27 divide k?
False
Suppose -3*c + 2*z + 2124 = 0, -50 = -2*z - 44. Is c a multiple of 10?
True
Let p = -40 + 53. Suppose 17 = 2*w + p. Suppose 0 = w*y - 2*x - 4, -2*x + 10 = -0*x. Does 2 divide y?
False
Suppose -268*k = 2*k + 6*k - 3737592. Is 9 a factor of k?
False
Suppose 660*c = 687*c - 800415. Does 13 divide c?
False
Let f = -68 - -69. Let j be (f + -8)*(-22 - -9). Suppose -o - 3*u + j = 0, u + 4*u + 273 = 3*o. Is o a multiple of 16?
False
Let s = 97 + -97. Suppose -4*x + 14 = -t, 5*x = 3*t - s + 14. Suppose -3*c - x*d = -4, 10 = -0*d - 2*d. Is c a multiple of 7?
False
Suppose i = 4*v - 300428 + 83408, 4*v - 217020 = -i. Does 54 divide v?
False
Suppose 128*z - 12*z = -48*z + 1109132. Is 8 a factor of z?
False
Suppose 0 = 2*s + 3 - 9. Suppose -s*k = -6*k - 198. Let w = k - -88. Does 3 divide w?
False
Let d(u) = 3*u - 121. Let c be d(6). Let y be 15948/(-135) - (-4)/30. Let k = c - y. Is 3 a factor of k?
True
Suppose -29 = 8*w - 117. Suppose 0 = -w*n - 358 + 1920. Is 42 a factor of n?
False
Let x(d) = -1. Let a(w) = -w**2 + 4*w + 13. Let s(c) = a(c) - 4*x(c). Let y be s(7). Let n = 156 + y. Is n a multiple of 20?
False
Let s(r) be the first derivative of 4*r**3/3 + 9*r**2/2 + 30*r + 31. Is 5 a factor of s(-5)?
True
Let d(q) = 6*q**3 + q - 2. Let a be d(1). Suppose -6*z + 176 = a*z. Is z a multiple of 8?
True
Does 12 divide (-1)/(-3)*-2 - 38962/(-69)?
True
Suppose -51*n - 20 = -49*n. Is 50 a factor o