factor of v?
True
Let l be (8/6)/4 - (-3)/(-9). Let r be (-4 - (-5 + l))/(1/(-1)). Is 13 a factor of -2*(-1 - 258/4) + r?
True
Let p = 6631 + 2138. Is 37 a factor of p?
True
Let u(m) = 3*m**2 - 11*m - 25. Let f be u(-11). Suppose -1878 + f = -11*l. Suppose -4*p + l = -7. Is 17 a factor of p?
True
Suppose 85 + 14 = -3*t. Let n be (-880)/t - 1/(-3). Is (-18)/n + 452/3 a multiple of 16?
False
Let d(i) be the third derivative of -7*i**6/5 - i**5/60 - i**4/8 - i**3/3 - 17*i**2. Let b be (-3)/2 + 5/10. Is 34 a factor of d(b)?
False
Let x be (-2)/9 + 94/18. Suppose -x*l + 641 = -139. Does 18 divide 7/(4 - l/40)?
False
Suppose 2 + 28 = 5*k + 4*j, 2*k - 12 = -j. Let x(b) = 11*b**2 - 23*b - 6. Is 18 a factor of x(k)?
True
Suppose -3933*a = -3949*a + 77056. Is 56 a factor of a?
True
Suppose -16989 - 3636 = -29*u + 21338. Is 4 a factor of u?
False
Let b(j) = -15*j - 7. Let g(c) = -c**2 - 13*c - 16. Let t be g(-4). Suppose -t*z = -26*z - 6. Is b(z) a multiple of 8?
True
Let v(j) = 722*j**2 - 81*j + 584. Is v(8) a multiple of 103?
True
Suppose -c = -5*c + 16. Let g be -2 - (-1050)/(-1 - -8). Is 2/(c/(-45))*g/(-185) a multiple of 6?
True
Suppose -258198 = -109*s + 511669. Does 22 divide s?
False
Let r(x) = 51*x**2 + 95*x - 925. Is 2 a factor of r(8)?
False
Let i(b) = -1517*b + 356. Is i(-34) a multiple of 50?
False
Let l(z) be the third derivative of 3*z**5/20 - 5*z**4/24 + 43*z**3/3 - 102*z**2. Does 41 divide l(7)?
True
Suppose -b = -4*x + 38905, -36*b + 39*b = -3*x + 29205. Is 32 a factor of x?
True
Let g(b) = b**2 + 12*b - 77. Let w be g(21). Is ((w/33)/14)/((-1)/(-75)) a multiple of 10?
True
Suppose 57*u + 32*u = 530963 - 183863. Is 26 a factor of u?
True
Let c(o) = -o**3 - 3*o**2 - 9*o - 4. Let j = 40 - 45. Is c(j) a multiple of 13?
True
Let l be ((-70)/(-6) - 8) + (-2)/(-6). Is 7 a factor of 4 - (4 - (-655)/(-20))*l?
True
Suppose -2*r + 930 = -2*n, 4*n - 3*r + 920 = -936. Let k = n - -757. Does 8 divide k?
True
Suppose -39341 + 86316 + 113537 = 88*g. Is g a multiple of 12?
True
Let q(s) = 89*s - 1. Let a be q(1). Let u = a - -6. Suppose -2*x + u + 54 = 0. Is x a multiple of 15?
False
Suppose -10*p + 1191 = -979. Let f = p - 188. Does 12 divide f?
False
Let o = 50 - 78. Is (-176 - 0)*63/o a multiple of 57?
False
Let h(o) = 8696*o - 1245. Is h(5) a multiple of 117?
False
Let g(n) be the first derivative of 37*n**5/60 + 7*n**4/24 + 2*n**3 - 20. Let l(b) be the third derivative of g(b). Is l(2) a multiple of 31?
True
Let s = -308 + 316. Is (31/5 - 3)/(s/880) a multiple of 45?
False
Suppose 31917 = -30*x + 169677. Is x a multiple of 42?
False
Suppose -3*u = -3*n - 118134, 155*u - 162*u + 3*n + 275654 = 0. Does 220 divide u?
True
Let l be (-2)/(-4) + 2/16*724. Let m = -87 + l. Let q(i) = 4*i**3 - 11*i**2 + 5*i. Is 20 a factor of q(m)?
True
Suppose b = 3*d + 489, -6*d = -4*d. Let u = 552 - b. Is 3 a factor of u?
True
Let u(g) = -g**2 - 30*g - 7. Let s be u(-9). Let d = -291 + s. Let m = 165 - d. Is m a multiple of 15?
False
Let n be 1/2*0/(-10) + -7. Let w(f) = -f**2 - 18*f + 12. Does 6 divide w(n)?
False
Let v = 446 + 3170. Does 16 divide v?
True
Suppose 61 = -3*p - 35. Let s be (16*(0 - -1))/(16/p). Is 3 a factor of (34/5 - 2)/(s/(-80))?
True
Let v be 1*4 - (-59 + 60). Suppose 5*p = 0, 0 = v*y - 5*p - 640 - 242. Does 49 divide y?
True
Let y(z) = -z**2 - 15*z + 4. Let n be y(-7). Suppose 59*t = n*t. Does 30 divide ((-1165)/15 + t)*-3?
False
Let d(o) = o**3 + 14*o**2 + 3*o - 14. Let p be d(-14). Let q be p/(-10) + 1/((-10)/6). Suppose 0 = q*l - 3*l - 36. Does 6 divide l?
True
Suppose 4*y = -4*g + 16, g - 23 = -5*y - 3. Suppose 46 = 2*a + 5*u - y*u, 5*u - 55 = -3*a. Suppose 109 = 4*h + a. Does 7 divide h?
True
Suppose -12*i + 7*i = 460. Let t = i - -488. Does 36 divide t?
True
Let r = 143 + -37. Suppose 1728 = 110*o - r*o. Is o a multiple of 24?
True
Let a = 57 + -57. Suppose a*p + 4*p + 5*q = 1887, 0 = 5*p - 4*q - 2328. Does 9 divide p?
True
Suppose -808 = -2*a + 4*j, 16*j - 18*j - 1228 = -3*a. Is a even?
True
Suppose -19*g + 24*g + 36525 = 4*h, -3*h - 5*g = -27420. Is 105 a factor of h?
True
Is 24 a factor of 762/(-8 - (-9 + 55/60))?
True
Let a = -601 - -349. Let n = a + 294. Is n a multiple of 7?
True
Is 982450/(-196)*(-16)/10 a multiple of 43?
False
Suppose -5*y - 3*v + 3490 = 0, 2*v = -2*y + 79 + 1313. Let l = -465 + y. Does 59 divide l?
True
Let u be 3 - (-2540)/6*24/10. Suppose 3*t + 29 = u. Is t a multiple of 10?
True
Suppose 2*r + q + 216 = 0, 2*r - q = -103 - 105. Let o = 95 - r. Does 41 divide o?
False
Let f be 0 + 1 - (6 + -9 + 3). Let k(l) = -l + 3. Let i be k(f). Does 3 divide 15 + (i - 0)*-2?
False
Suppose -7 = 4*j + u + 2*u, 5*j - 2*u - 20 = 0. Suppose 2*q - 1824 = -d, -d + j*d = 0. Is q a multiple of 19?
True
Let y(k) be the second derivative of k**5/20 - k**4 + 2*k**3 + 23*k**2/2 - 18*k. Let i be y(11). Is 51/i + (-1 - 526/(-4)) a multiple of 44?
True
Suppose 6*s - 4*s = -5*t + 6, 0 = -3*s + t - 25. Let k(b) be the third derivative of -5*b**4/12 - 16*b**3/3 - 2*b**2. Is 38 a factor of k(s)?
True
Let m(l) = -l**2 - 5*l + 9. Let k be m(-7). Let d(j) = -9*j + 7 - 9 + 4 + 7. Does 34 divide d(k)?
False
Suppose 19*n - 138248 = -21626. Does 18 divide n?
True
Let j = -30 - -16. Let p = 15 + j. Does 21 divide ((-72)/1)/(0 - p)?
False
Let j = 23299 + -17815. Is j a multiple of 21?
False
Suppose -3603682 = -137*o - 182792. Does 67 divide o?
False
Let b(t) = 57*t**2 + 7*t - 109. Does 18 divide b(-12)?
False
Let t = -191 + 186. Is (38/8)/((t/(-220))/1) a multiple of 19?
True
Let r(f) = 59*f**2 + 35*f + 145. Is r(-8) a multiple of 11?
True
Suppose -2*m = -6*m + 4. Suppose -2*o = -2*t - 1682, -m + 4 = -t. Is 47 a factor of o?
False
Let w(x) = -127*x + 244*x - 135*x - 48. Is w(-7) a multiple of 8?
False
Let u = -836 - -836. Is (u + 63/1)/(13/39) a multiple of 27?
True
Let m(c) = c**3 - 8*c**2 - 7*c - 3. Let x be m(9). Let f(y) = -y**3 + 13*y**2 + 56*y - 10. Is 19 a factor of f(x)?
True
Suppose 2*r - 5*i = -3*i + 6, 4*i = -8. Let u be (264 - (-1 + r)) + 2. Is 34 a factor of (-10180)/(-38) + 28/u?
False
Suppose -5 = 59*g - 54*g. Let s be (-100)/(-12) - g/(-3). Suppose -5*l - 3*o = -681, -3*o = -3*l - s*o + 415. Does 12 divide l?
False
Is 9 a factor of 5*(-6)/(-30)*(1428 - -10)?
False
Does 3 divide (-67 + 66)*82*(-51)/6?
False
Let b = 27 - 24. Suppose -o + 3*o = u - 6, 2*u - 12 = -b*o. Does 6 divide (-24)/9*-15*u/4?
True
Let y = 11 - -39. Let j = -52 + y. Does 19 divide j + 3 + 2 + 54?
True
Let l = -961 - -2203. Suppose 4*h - l = 150. Is 27 a factor of h?
False
Let f be (5 + -3)*(0 - -2). Suppose -3*h - 2*h + 10 = j, 2*h = j + f. Is 23 a factor of (h/(-6))/(12/(-2484))?
True
Let u be (-6)/20 - 43*(-27)/270. Suppose -10 = -4*t + 6. Suppose 0*j + u*d + 152 = t*j, 5*j - 186 = 3*d. Is 12 a factor of j?
True
Let m(s) = s**2 - 13*s + 36. Let n be m(8). Let o(c) = -93*c + 46. Does 11 divide o(n)?
True
Let z = -1663 + 4423. Does 5 divide z?
True
Let y be (-5)/(0 + (0 - 1)). Suppose -y*z - 2653 = 2*z. Let d = -109 - z. Does 15 divide d?
True
Let i be 12 - 1 - 4*15/20. Suppose 12 = 10*f - i*f. Let s(w) = 6*w**2 - 6*w + 16. Does 28 divide s(f)?
True
Let b = 629 + -467. Is b*(-6 - 60/(-9)) a multiple of 6?
True
Let n = 42 + -216. Let r = -136 - n. Does 19 divide r?
True
Suppose 27*m = 45538 + 7301. Is 19 a factor of m?
True
Suppose -8*i + m = -3*i - 1124, 2*i = -5*m + 428. Let z = i - 59. Is 15 a factor of z?
True
Let d = -5673 - -7187. Does 4 divide d?
False
Does 38 divide -5 + (133246/(-6))/17*-3?
True
Let k = -250 + 254. Is 12 a factor of (-104)/12*(-5 - k)?
False
Let q(h) = 8*h**2 + 4*h - 1. Let g be q(-1). Suppose i + 3*i = -2*w + 194, -g*w + i = -298. Is w a multiple of 7?
False
Does 295 divide 1*(6 - (-756)/(-8))*-120?
True
Let j(k) = k**3 + 21*k**2 - 33*k + 32. Suppose 9*t = 4*t + r - 105, 56 = -3*t + 2*r. Is 7 a factor of j(t)?
False
Let a = 6700 + 7730. Is a a multiple of 111?
True
Let b(f) = -25*f - 18. Let d be b(-9). Suppose 0 = -g + 4*m + d + 27, 2*g + 4*m = 468. Does 34 divide g?
False
Let k(f) = 15144*f - 15154*f + 31 + 5. Let s be (2/(-4))/((-2)/(-68)). Is 11 a factor of k(s)?
False
Suppose 1361*i + 420156 = 1394*i. Does 28 divide i?
False
Suppose 1037*s = -1028*s + 2064*s + 48443. Is 248 a factor of s?
False
Let g(t) = -t**3 + 12*t**2 - 32*t - 12. Le