. Is (s + 29/5)/((-18)/(-945)) a multiple of 6?
True
Let s = -23 - -26. Suppose 2*p = h - 88, -3*p - h + s*h = 133. Let j = p - -177. Is j a multiple of 14?
False
Suppose 3*m - 104 = 220. Suppose -u = -3*u + 5*n + m, 3*n = -12. Let z = 64 - u. Does 4 divide z?
True
Is -4 - (-23)/(299/19396) a multiple of 16?
True
Suppose 4*s = 3665 + 215. Suppose 18*h - s = 13*h. Is h a multiple of 4?
False
Suppose -6 = -3*m - 4*u + 24, 0 = -4*m + 3*u + 15. Let k be m/(-27) - 172/36. Does 13 divide k/(20/(-91))*(17 + -5)?
True
Let c(v) = -21 + 13*v**2 - 27*v + 17*v**2 - 37*v**2. Let g(a) = a**2 + a + 1. Let h(s) = c(s) + 6*g(s). Does 19 divide h(-10)?
True
Let z(j) = -j + 2*j + 6764 - 6739. Suppose -4*c + 5*p = -17, c = -6*p + 2*p - 1. Is z(c) a multiple of 7?
True
Suppose -5*z + 36 - 276 = 0. Is 3*(-5 - z/9) + 331 a multiple of 26?
False
Suppose 24*v - 6 + 6 = 0. Suppose 2*r + 3*t + 0*t = 6, 3*r = t - 2. Suppose r = 2*w - v - 2, -4*x = -2*w - 278. Is 27 a factor of x?
False
Let b be (-16)/(-20)*(-525)/(-14). Let m = -4 + b. Is m a multiple of 6?
False
Let d(t) = t**3 - t**2 + t + 126. Let r be d(0). Suppose 3*b - 36 = 3*s, b = -2*s - 0*b - 30. Let q = r + s. Is q a multiple of 14?
True
Suppose 0 = 47*m - 124*m + 14861. Suppose -206 = 3*c + 13. Let w = m + c. Is w a multiple of 8?
True
Suppose -5294 = -4*f - 2*s, 433 - 4409 = -3*f + 4*s. Is f a multiple of 20?
False
Let v be ((-450)/(-35))/(30/14 + -2). Let c = -90 + v. Is 2 - -137 - (3 + c) a multiple of 34?
True
Suppose -55*d + 1030 = -65*d. Let y = 412 - d. Is y a multiple of 25?
False
Let l(c) = -4687*c - 2091. Does 31 divide l(-8)?
False
Suppose -8202 = -0*f - 3*f. Suppose f = 6*s - 434. Is s a multiple of 33?
True
Let p(g) = g**2 + 5*g + 2. Let i be p(2). Let l be 0 - (-553 - -6*(-1)/(-2)). Suppose 5*a + l = i*a. Is a a multiple of 20?
False
Suppose 40*j - 35*j = 4*g + 12, 3*g + j - 10 = 0. Is 38 a factor of (-57)/g*60/(-45)?
True
Suppose t + t - 2652 = -4*a, 0 = -5*a - t + 3318. Suppose 0 = 5*o - 2*i - 1846, -2*o + a + 78 = i. Is o a multiple of 10?
True
Suppose -m - 5*t + 4021 = 0, 4*t + 10083 = 2*m + 1971. Is 238 a factor of m?
True
Let h(o) = -29*o - 35. Let b be h(-5). Suppose 0 = 14*u - 3*u + b. Does 20 divide (-4)/u + (-6424)/(-40)?
False
Suppose 634483 + 162092 = -606*r + 649*r. Is 95 a factor of r?
True
Suppose 6845*h + 6328 = 6846*h. Is 28 a factor of h?
True
Suppose 0 = 5*s + i - 31438 - 4858, -s + 4*i = -7276. Is 132 a factor of s?
True
Let u(c) = -2*c**3 + c**2 + 10*c - 5. Let b(j) = -j**2 - 16*j - 51. Let l be b(-4). Does 14 divide u(l)?
True
Let p = -91 + 33. Let c be (8/(-14))/(p/14 + 4). Suppose -387 = -c*a + 173. Does 13 divide a?
False
Suppose y = -4*j + 247, -3*y - 4*j + 3*j = -686. Let p = -89 + y. Is p a multiple of 9?
False
Suppose -2*f - 4*x = 0, -55 = -12*f + 7*f + x. Does 20 divide (-2)/f + 13823/115?
True
Let j be 1/(-2)*32*-1. Let k be j/(-8)*(-66 - 3). Let z = k - 66. Does 12 divide z?
True
Suppose -23*s = -10*s - 2639. Let a = s - 157. Is a a multiple of 6?
False
Suppose -3*b = 2*q - 112083 + 17951, -5*b + q + 156878 = 0. Is 37 a factor of b?
True
Suppose 8*w = 3*i + 4*w - 3372, 0 = -3*i + 5*w + 3369. Is 26 a factor of i?
False
Suppose -7*r = 38 - 59. Suppose r*x - 1016 = -23. Does 10 divide x?
False
Let f = -41314 - -45331. Does 88 divide f?
False
Let u be 51/(-136) + (-3)/(-8). Let f = 8 + u. Does 32 divide 2 + (-14)/8 + 614/f?
False
Suppose 15 = -3*d, l - 4*d + 3139 = 4*l. Suppose -4*p - 5*p = -l. Is p a multiple of 9?
True
Suppose 3*z + z = -4. Let x(c) = c**2 - c - 14. Let p be x(5). Is 17 a factor of (p - (-205)/(-20))/(z/4)?
True
Let m(x) = x**3 + 5*x**2 - 7*x - 3. Let f be (-176)/28 - ((-16)/7 - -2). Let g be m(f). Suppose 4*l - 294 = -g*l. Does 14 divide l?
True
Suppose 5*q + s = 7, -2*q + s = -18 + 11. Suppose 5*i - 480 = -3*a + q*i, 640 = 4*a + i. Is a a multiple of 20?
True
Let h be -1 + ((-17)/(-3) - (-7)/21). Suppose -3*l + 2*n - 336 = 7*n, -l - 112 = -h*n. Let r = l - -206. Does 11 divide r?
False
Suppose -3893 + 38967 = -13*m. Is 30 a factor of (-2 - -3)/(-4 - m/674)?
False
Suppose -38*z + 40*z - 3*r = 32986, -3*z = 2*r - 49466. Does 194 divide z?
True
Suppose 0 = 22*p + 5062 - 205284. Is p a multiple of 80?
False
Let w = 7580 + 988. Is 136 a factor of w?
True
Suppose -2272 = -4*t + 448. Is 17 a factor of t?
True
Let q = -46 + 48. Suppose -4*z + 3 = 3*t + 4, 3*z = -5*t + q. Is (82 - (3 - t)) + -1 a multiple of 11?
False
Let s be ((-16)/12)/(92/(-207)). Suppose -2*g = -u - 185, -4*u - u = -s*g + 281. Does 4 divide g?
True
Suppose 0 = -16*l + 4*z + 223708, -607*l = -611*l + 3*z + 55933. Does 81 divide l?
False
Let m(c) be the second derivative of c**5/20 + 2*c**4/3 + 2*c**3/3 - 15*c**2/2 - 11*c. Let z be m(-7). Suppose -z*u + 88 = -4*u. Is 11 a factor of u?
True
Let g = 195 - -85. Does 12 divide (-9)/((-9)/(-3)) + -1 + g?
True
Let b(x) be the first derivative of -x**4/2 + x**3/3 + x**2 + 351*x - 121. Is 13 a factor of b(0)?
True
Suppose 4*w - 638 = 150. Is (-10)/(-15)*-6 + w a multiple of 6?
False
Suppose 147*h - 5157100 = -178*h. Is h a multiple of 161?
False
Suppose 4*z + 2 = -3*w + 5, 4*z + 3 = 3*w. Is 36 a factor of ((11 - z) + -19)/(2/(-59))?
False
Let v(u) = u**2 - u + 12. Let r be (1/(-2)*3)/(3/(-30)). Suppose 3*j - r = 0, 4*o - 4*j + 0*j = -4. Does 8 divide v(o)?
True
Suppose 5*x + 5 = 5*z - 55, -3*x + 4*z = 38. Let v be 208/x*(0 + -30). Suppose -2*a = 6*a - v. Does 39 divide a?
True
Let v be 9/((-9)/2) - (1 + -99). Suppose 401 = 5*h + v. Let d = h + 0. Does 6 divide d?
False
Let x(u) = u**3 + 5*u**2 + 6*u + 1. Let z be x(-3). Is (z - 15/9)/((-10)/1845) a multiple of 68?
False
Let g be (-40)/30*(-6)/4*452. Suppose -2066 = -6*i + g. Is i a multiple of 11?
True
Is 6 a factor of 154/7 - -2186 - 9?
False
Let j(u) = -2*u**2 + 32*u + 1. Let h be 3/(-4) + (-365)/20. Let s = h - -30. Does 14 divide j(s)?
False
Suppose -q + p = -6, -3*p + 13 - 15 = q. Suppose 3*g - 6*g - q*c + 99 = 0, 5*g - 2*c = 165. Is g a multiple of 16?
False
Suppose m + 2*m - 6 = 0. Suppose -4*v + m*q = 2, -2*v + q - 3 = v. Let o(w) = 8*w**2. Is 4 a factor of o(v)?
True
Let a be ((-4)/8)/((-1)/6). Suppose a = -2*g - 0*k - k, -5*g - 20 = 5*k. Let h(f) = 12*f**3 - 2*f**2 + f. Is h(g) even?
False
Suppose -17*l - 6*l + 84744 = -5*l. Does 11 divide l?
True
Let b = 570 + 3229. Is b a multiple of 24?
False
Let q = -223546 - -153554. Does 15 divide (1/(-4))/(26/q)?
False
Let a be 1/(-5) + 836694/345. Suppose -10 = -2*o, -a = -3*m - 9*o + 4*o. Does 40 divide m?
True
Let u(z) be the second derivative of z**4/12 - 4*z**3/3 - 13*z**2/2 + 5*z - 2. Is 7 a factor of u(-11)?
True
Let h(p) = 20*p + 15. Let n(o) = -7*o - 5. Let x(w) = 2*h(w) + 7*n(w). Let m be x(11). Let y = m - -152. Is y a multiple of 16?
True
Does 28 divide (-60)/((-198049)/(-28324) + 3/(6/(-14)))?
False
Let r(q) = 57*q - 308. Let h(t) = -483*t + 2618. Let g(o) = -5*h(o) - 42*r(o). Is g(8) a multiple of 12?
False
Does 24 divide (-1*1/(-4))/((-801704)/(-114528) - 7)?
False
Is ((-15651)/(-6))/1 + (-10 - 276/(-24)) a multiple of 15?
True
Let j be (-16)/(-10) - 14/(-35). Suppose -k - 4*k + j*d + 2187 = 0, -5*d = 2*k - 869. Suppose 4*z - q - k = 0, q = -2*z + 140 + 71. Is 12 a factor of z?
True
Suppose 5*h - 2*r - 113492 = -21100, r = 4*h - 73910. Does 149 divide h?
True
Let f(r) be the first derivative of -23*r**2/2 - 132*r - 236. Does 26 divide f(-8)?
True
Let n(q) = 3*q**2 - 19*q - 3. Let f be n(6). Let x(m) = m**2 - 3*m + 9. Is x(f) a multiple of 33?
False
Let p be ((-70)/4)/(-6 + (-99)/(-18)). Suppose b - 25 = 4*x, -2*b + p + 0 = -5*x. Suppose -k = -3*c - 220, -b*k - 2*c + 85 = -930. Is 55 a factor of k?
False
Let u be ((-20)/(-4) - 0) + -33. Let l be -1 - (5/(-2) + 14/u). Suppose 361 = l*s + 51. Is 15 a factor of s?
False
Suppose 0 = -3*s - 2 + 50. Suppose 0 = k + 4*c - 0*c - 480, -15*c = 30. Is s/40 - k/(-5) a multiple of 49?
True
Suppose 5*n = 2*b, -5*b + 16 = -5*n - 14. Let r(j) = 0 + 4 + b*j + 14*j. Is r(2) a multiple of 13?
True
Let h be (-31)/310 - (-101302)/20. Suppose -30*q = -25*q - h. Is 79 a factor of q?
False
Let y(q) be the second derivative of -1/6*q**3 - 5*q**2 + 23*q + 0. Is y(-17) a multiple of 7?
True
Does 31 divide 5243 + (-6 - (11 + -13))?
True
Let z be (-1)/((-14)/6) + 208/364. Is ((-1704)/(-7))/z + (-18)/42 a m