tiple of 28?
True
Suppose -2*f = 2 - 10. Is 3 a factor of (-1)/((3 + -2)/((-52)/f))?
False
Suppose -27 = -15*s + 3. Suppose 0 = 5*t + l - 92, -s*l - 2*l - 82 = -5*t. Let x = t + -4. Does 4 divide x?
False
Let k = -3 + 8. Let o(y) = -4*y + 13*y**2 + 0*y - 12*y**2 + 5*y. Does 10 divide o(k)?
True
Let k be (-16362)/10 - 2/(-10). Is k/(((-140)/(-15))/(-7)) a multiple of 14?
False
Is 11272*(6/93 - 270/(-620)) a multiple of 141?
False
Suppose 28884 = 3*l + 1981*s - 1983*s, -s = 3. Does 11 divide l?
False
Let b(r) be the second derivative of -5*r**3/2 - 159*r**2/2 - 198*r. Does 5 divide b(-25)?
False
Let n = -10584 + 21198. Is n a multiple of 61?
True
Let j(g) = 2*g**2 - 2*g - 62. Let p be j(-6). Let n(s) = 6*s**2 - 93*s + 12. Does 39 divide n(p)?
False
Let t(y) = 295*y + 11. Let l be t(3). Let a = 1400 - l. Is a/15*2*(-20)/(-6) a multiple of 28?
True
Suppose 0 = 12*h - 33 - 27. Does 7 divide 1*-107*((7 - h) + -3)?
False
Let z = -99 + 94. Let q(r) = 21*r**2 + 6*r + 9. Does 28 divide q(z)?
True
Let j = 42 - 39. Suppose 1 + j = 2*x, 5*o = -4*x + 88. Suppose o*g = 17*g - 17. Is g a multiple of 17?
True
Let h(n) be the second derivative of n**4/6 + 13*n**3/6 + 4*n**2 + n. Let d be 4*11*(-32)/128. Is h(d) a multiple of 18?
False
Suppose 2*j - 3*y - 68 = 0, 2*j - 3*j + 32 = -2*y. Is 2 a factor of (-1*2/4)/((-2)/j)?
True
Let z = 469 - -176. Suppose 194*g - z = 191*g. Does 35 divide g?
False
Suppose 237*t - 243*t = -6840. Suppose t = u + u. Is 32 a factor of u?
False
Suppose y - 811 = 2*o + 1131, 5784 = 3*y + o. Does 11 divide y?
False
Let c = 121 + -118. Let f(x) = 3*x**2 + 10*x - 26. Does 31 divide f(c)?
True
Suppose 0 = -x + 3*s + 2, s + 25 = 5*x - 55. Suppose -2*l - 2*j + 2 = -0*j, -2*l + x = -j. Suppose 0 = -6*u - l + 744. Is 41 a factor of u?
True
Suppose 28*n - 12*n = 28368. Is 3 a factor of n?
True
Let w = -64 + 68. Suppose w*f + 5*d = -0*d + 138, f = -d + 35. Is f a multiple of 37?
True
Let h be 10/65 - (1 - 89/13). Suppose 10 = -q + h*q, -2120 = -2*b - 4*q. Is 48 a factor of b?
True
Let o(t) = 2*t**3 + 11*t**2 - 14*t - 142. Is o(17) a multiple of 20?
False
Suppose 8*p - 6*p = 0. Suppose p*q - 2*q + 675 = 3*s, -5*q + 1125 = 5*s. Is 25 a factor of s?
True
Let p(l) = l**3 - 4*l**2 - 7*l + 12. Let t be p(5). Let u = 3 + t. Suppose -2*j - 75 = -u*j. Is j a multiple of 10?
False
Let q be (-299)/(-1) - -2*1. Let b be (7 - -1) + -5 + -1 + 2. Suppose 5*v + 295 = b*o, -o + q = 3*o + v. Is 11 a factor of o?
False
Is ((-14)/12*-22)/((-4)/(-264)) a multiple of 14?
True
Let m(b) be the second derivative of 3*b**3 + 17*b**2/2 + 5*b. Let z be m(2). Suppose -z + 977 = 6*g. Is g a multiple of 11?
True
Suppose 329*s + 5*c = 326*s + 44669, 0 = 5*s - 3*c - 74369. Does 173 divide s?
True
Let b = -8811 + 10285. Is 27 a factor of b?
False
Let q = 39753 + -15145. Does 39 divide q?
False
Is 159 a factor of 6 + (-195355)/(-30) + 91/78?
True
Let z(r) = -1641*r - 3384. Is 169 a factor of z(-19)?
False
Let m = 140 + -138. Suppose b - 6*o = -2*o + 212, m = o. Does 28 divide b?
False
Let c = 108 - 106. Suppose -c*s - s = -15, 4*t + 4*s + 4 = 0. Is 40 a factor of 54*((-4)/t - 0) + 4?
True
Suppose 0 = 3927*v - 3952*v + 63300. Is v a multiple of 6?
True
Let i(o) be the third derivative of 2/3*o**3 + 0*o + 1/4*o**5 + 0 - 7/24*o**4 + 17*o**2. Is i(4) a multiple of 36?
True
Suppose -6*c - 5*c + 41789 = 0. Does 47 divide c?
False
Let t(i) = 19*i - 83. Let m be t(5). Suppose 0 = m*w - 3990 - 2922. Is 17 a factor of w?
False
Suppose -9129 = -r - 22*z + 24*z, 45669 = 5*r - 2*z. Is r a multiple of 15?
True
Let m(x) = -7 + 0*x + 0*x - x + 3*x. Let s be m(-3). Is (-1 + 3)*(-9 - s) a multiple of 2?
True
Let q(w) be the first derivative of -6*w**2 + 20*w + 64. Is q(-19) a multiple of 14?
False
Let v = 45788 + -30048. Is v a multiple of 35?
False
Let p be (3 - 30/25)*(-5)/(-1). Suppose 3*f = p, -3*b + 5*f - 3*f = -48. Suppose 0 = -2*d + 56 + b. Is 12 a factor of d?
False
Suppose 0 = 5*z + w, 26*z + 4*w = 31*z. Suppose -3*t + n - 1185 = -3808, 2*t - 5*n - 1753 = z. Is 20 a factor of t?
False
Let s = 483 + -245. Let m = s - 177. Is m a multiple of 10?
False
Suppose -27*y + 28*y + 15952 = 2*d, 4*y = -16. Does 9 divide d?
True
Suppose 0 = -z - 3*b - 6 - 0, 0 = 3*z - 4*b - 21. Suppose 3 = z*c + 27. Does 26 divide c/(-68) - (-3532)/34?
True
Suppose 29 - 17 = -2*a. Let q(i) = -26*i. Let n(f) = -1. Let y(c) = 4*n(c) + q(c). Is 38 a factor of y(a)?
True
Let l(r) = 179*r + 739. Let y be l(-4). Suppose 3*j + 13 = 2*a + 3, -5*j - 18 = -4*a. Suppose -a = h - y. Is 3 a factor of h?
True
Let a be (10/(-4))/(9/(-18)). Suppose -a*x - 209 = -6*x. Let r = x - 147. Is r a multiple of 20?
False
Is 26 a factor of 2355 + (-7)/(84/(-132))?
True
Let z = 17050 + -945. Is z a multiple of 40?
False
Suppose 0 = 6*n + 183 - 207. Suppose 0 = -q + 1, -n*f = -f + q - 1189. Does 9 divide f?
True
Suppose -95*y + 169065 = -21125. Does 11 divide y?
True
Let f be 3/3 + 1803 + -8. Let v = -1036 + f. Is v a multiple of 38?
True
Suppose 0 = 3*i - 0*c - c - 158, -i + 2*c = -46. Let y = -49 + i. Suppose 0 = 4*p - 41 + y. Is p a multiple of 9?
True
Let o be (-1 - (0 + 3) - -2)*-2. Suppose -380 = -4*r + k, o*r - 4*k = k + 380. Is r a multiple of 5?
True
Let y(x) be the first derivative of -45*x**2/2 - 125*x - 70. Is y(-9) a multiple of 20?
True
Let t(w) be the second derivative of 1/3*w**4 + 0 - 3*w**2 - 1/20*w**5 - 4*w - 4/3*w**3. Is t(-4) a multiple of 37?
False
Let g = -67 + 72. Let l be 9*4/g*30/12. Is 730/4 - l/36 a multiple of 14?
True
Suppose -6*o - 238 + 106 = 0. Does 18 divide (-152)/(16/o*(-16)/(-64))?
False
Let q = -75 - -59. Is q/(-12)*-1 - 2360/(-15) a multiple of 5?
False
Suppose -4*f = 3*f - 14. Let w(g) = -g**3 + 3*g**2 - 1. Let s be w(f). Suppose -18*l + s*l = -3750. Does 25 divide l?
True
Let t be (-3 - -43) + -2 + 5. Let n = -40 + t. Suppose 167 = n*l - 25. Is l a multiple of 16?
True
Let a(x) = x - 1. Let l be a(5). Suppose f - l*w = -332, 3*f - w = -0*w - 1029. Let v = 488 + f. Is v a multiple of 18?
True
Suppose -201 = 2*r - 209. Suppose 0 = -3*a - r*k + 1364, 2*a = 6*k - 2*k + 916. Is a a multiple of 19?
True
Let d = -155 - -187. Let l = 501 - d. Is 55 a factor of l?
False
Let y(x) = 57*x + 222. Let p be y(24). Suppose -29*n + 2380 = -26*n + 2*m, 2*n + 2*m - p = 0. Is n a multiple of 6?
False
Let i(a) = a**2 - 1. Let w(s) = -5*s**2 - 7*s - 11. Let b(r) = 4*i(r) - w(r). Does 15 divide b(-7)?
False
Does 33 divide (-13)/((-312)/(-17600))*9/(-4)?
True
Suppose 3*t + 3*z - 258 = 0, -5 = 2*z - 3*z. Let n = 381 + t. Does 7 divide n?
True
Let n = -54 + 77. Suppose n = 190*s - 191*s. Is 16 a factor of (-1 + 0 + s)/((-48)/64)?
True
Is 1734*8/(-80)*-115 a multiple of 10?
False
Suppose 5*z - 5*h = -6 + 46, 5*z = 2*h + 37. Suppose 4*s - 4*f = 0, -5*s + 10*s + 2*f + z = 0. Is (-4 + 1 + s)/((-1)/5) a multiple of 10?
True
Let p(r) = 2*r**2 - 20*r + 35. Let m(f) = -4*f + 20. Let j be m(0). Is p(j) a multiple of 29?
True
Let n = -12 + 378. Suppose -4*t = -w + n, -282 = 3*w - t - 1402. Is w a multiple of 3?
False
Let n(r) = 9*r**2 - 85*r + 1993. Is 5 a factor of n(32)?
False
Let r be (-4)/4*(-8 + 25). Let z = r + 199. Does 14 divide z?
True
Let q(m) = m + 31. Let b be q(11). Let g be (b/35)/(6/15). Let x(y) = 34*y + 10. Is 43 a factor of x(g)?
False
Let k(d) = 436*d + 46. Let b be k(2). Let h = 63 + b. Is 36 a factor of h?
False
Let h(d) = -970*d**3 + 2*d**2 + d + 30. Does 24 divide h(-3)?
False
Let n = -37 + 39. Suppose 2*c + n = 4*o, 5*o = o - 2*c + 22. Does 4 divide (o - 4)/(3/(-90))?
False
Suppose -5*w + 2*w - 9 = 0. Let i be (-5)/((-120)/174) - w/4. Is 5 a factor of (-270)/(-24) - 2/i?
False
Is 7285 + 15/(-9)*-6 a multiple of 63?
False
Suppose -10*w = -14*w + 148. Suppose -3*l = -7*l + 108. Let a = w - l. Does 2 divide a?
True
Let x = -191 - -23. Let q = x + 257. Let b = q - 53. Does 12 divide b?
True
Let m(q) = 95*q**2 - 114*q - 222. Is m(-2) a multiple of 213?
False
Suppose 78473 = -34*s - 306543. Does 16 divide s/(-57)*(-99)/(-12)?
False
Let t = 128 - 113. Suppose 3*i + 5*z - 35 = 0, -z + t = -0*i + i. Does 4 divide i?
True
Let n = -542 - -7646. Does 12 divide n?
True
Suppose 4*p = -3*k + 20835 + 11349, 2*p + 42934 = 4*k. Does 18 divide k?
False
Let y(l) be the first derivative of 7*l**2/2 + 12. Let g(w) = 1. Let o(v) = -14