7651 + 82401. Does 35 divide z?
True
Is 10 a factor of ((-3870)/(-301))/((-12)/(-1400))?
True
Suppose -q - 5*q = -25*q + 254486. Is q a multiple of 34?
False
Let d(h) = 12*h**2 + 49*h - 107*h + 22 + 49*h. Does 9 divide d(3)?
False
Let j(w) = -5*w**2 - 22*w - 2. Let d be j(-4). Does 73 divide 1322 - ((-3)/d)/(3/(-24))?
False
Suppose -22 - 2 = -3*g. Suppose -6*b = -2*b - g. Suppose -3*t - b*t = -55. Is 11 a factor of t?
True
Suppose -9 = -3*l, -o - 3*l + 8 = -6. Let s be o - (-16)/(-4) - 1. Suppose -q - 2*u - 2*u + 59 = s, -3*q + 241 = -4*u. Does 10 divide q?
False
Suppose 311957 = 100*x - 96643. Is x a multiple of 72?
False
Let s(n) = n + 6. Let w be s(-4). Suppose 157 + 254 = 4*r - 5*k, 3*r - w*k - 317 = 0. Suppose -5*p - 4*i + 134 = 0, -4*p + i + r = 6*i. Is 23 a factor of p?
False
Let r = 40694 - 24803. Does 5 divide r?
False
Suppose 6*c - 42 - 12 = 0. Let r(y) = c + 0*y + y - 3*y + 59. Is 17 a factor of r(0)?
True
Does 199 divide ((-51)/(-5355)*3801)/(1/995)?
True
Is ((-39)/(-8 + 21))/(1/(-980)) a multiple of 42?
True
Let p = -58 - 341. Is (4 - -1)*p/(-15) a multiple of 19?
True
Let c(l) = l + 2. Suppose 5*g = d + 10, 0*g = 2*g - 4*d - 22. Let u be 4 + (g - -1)/(-2). Is 3 a factor of c(u)?
False
Let d = 1299 + 326. Is 13 a factor of d?
True
Let k(h) be the second derivative of 5*h**4/12 - h**3 - h**2 + 50*h. Does 87 divide k(-8)?
False
Let q = 8067 + 16275. Is 15 a factor of q?
False
Let p = 43 + -43. Suppose p = -z - 0*z + 136. Suppose z + 47 = 3*n - f, 3*n = 4*f + 192. Is n a multiple of 6?
True
Suppose -10*i + 12*i = 0, t + 2010 = 4*t - 4*i. Is 134 a factor of t?
True
Let p = -239 - -243. Does 13 divide (336/(-35) + p)*(-1 - 64)?
True
Let f(i) = -i**3 + 7*i**2 + 10*i + 9. Let u(k) = k**3 - 8*k**2 - 11*k - 10. Let h(n) = 3*f(n) + 2*u(n). Let r be -1 + 17/3 + (-9 + 25)/48. Does 27 divide h(r)?
False
Suppose 13 = i - 2*j, i + 12*j + 2 = 11*j. Suppose -12*a - 54 = -16*a + 2*m, -2*a + 47 = i*m. Does 8 divide a?
True
Suppose -99*w + 33485 = -94*w. Is w a multiple of 99?
False
Suppose 0 = -531*q + 9060646 + 13470746. Is 19 a factor of q?
False
Suppose 3*i = 2*j - 0*j - 25, 3*j = 4*i + 37. Suppose -933 + 75 = -j*g. Does 6 divide g?
True
Let l be (8 - 4) + -8*2. Let j be l/(-72) - (-10)/12. Does 2 divide -4*(-5)/10*j?
True
Suppose w = -w + m + 368, 0 = w - 5*m - 175. Suppose -480 = 4*z - 3*h, -295 = 4*z + 4*h + w. Let i = z - -184. Is 4 a factor of i?
True
Let a = -48260 - -71555. Does 17 divide a?
False
Let b(u) = -4263*u**3 + 4*u**2 + 3*u - 2. Does 75 divide b(-1)?
False
Let l = -269 + 77. Let v = l + 367. Is 20 a factor of v?
False
Suppose -48 = z - 3*h, 5*z + 2*h = -2*h - 335. Let g = 199 + z. Does 8 divide g?
True
Suppose 3*s = 5*g - 14, s + 4*g = 8*g - 14. Suppose 3*l = -3*r - 3 + 6, -2*r + 2 = -s*l. Suppose 0 = 4*c + 4*w - 92, l = -3*w - 0 + 3. Is c a multiple of 11?
True
Let s(w) = 20380*w**3 - 4*w**2 + 2*w + 1. Let p be s(-1). Is 43 a factor of p/(-18)*(-4)/(-10)?
False
Suppose 0 = -609*v + 360*v + 11306592. Is 66 a factor of v?
True
Suppose 8*q = 4*q - 3*i + 39709, 4*q - 39713 = i. Does 136 divide q?
True
Let u(b) = -b**2 - 5*b + 1. Let x(t) = t**2 + 9*t - 2. Suppose 0 = -c + 4*k + 17, 3*c = -2*k - 1 - 18. Let o(r) = c*x(r) - 5*u(r). Does 8 divide o(8)?
False
Let y(c) = -17 + 19 + 7*c - 41 + 39*c. Is y(5) a multiple of 12?
False
Suppose 0 = -40*v + 351468 + 715972. Is 34 a factor of v?
False
Suppose -16*j + j + 930 = 0. Let z = 497 - j. Is 15 a factor of z?
True
Suppose -2*l + 24 + 9 = -5*p, -4*p - 24 = -l. Let u be (-6)/(-7)*14/l. Suppose 0*v + 5*v + 5*x = 120, 0 = -v - u*x + 16. Is 4 a factor of v?
True
Let a(d) = -d**3 + 4*d**2 + d - 1. Let m be a(4). Suppose -m*u = -5*u - u. Suppose -5 = i + 3*j - 20, u = i - 3*j - 45. Is 10 a factor of i?
True
Suppose 2*z + r - 5 = 0, 2 = 4*z + r - 7. Suppose 2*x + z*x - 3*h = -233, 0 = -x - h - 60. Let a = x + 182. Is 41 a factor of a?
True
Suppose -3*l - 29*u = -135036, 3*u + 140396 + 40027 = 4*l. Is 9 a factor of l?
True
Let m(b) = -b**2 + 4*b + 7 - 4*b**2 + 9*b**3 - 8*b**3. Let y be m(4). Suppose -5*h + 2*s = -20, -2*h - 5 = -y*h + 5*s. Does 6 divide h?
True
Let j = -29823 - -46870. Is 6 a factor of j?
False
Let z = 8642 - 816. Does 14 divide z?
True
Let o(z) = 5 + 2*z - z + 1 + 20. Let u(h) = h**3 - 9*h**2 + 2*h - 7. Let w be u(9). Does 3 divide o(w)?
False
Suppose 13*f + 619065 = 125*f - 442359. Is f a multiple of 9?
True
Suppose 21*r = -3*k + 747618, k = 37*r - 32*r - 177994. Does 200 divide r?
True
Let q be 10*((-49)/14 - -3). Let b(r) = -8*r - 6*r - 3*r - 64 - r. Does 5 divide b(q)?
False
Let h be 54/9 - (0 - -2 - 1). Suppose -h*f + 4*c = -10, -4*f = -2*f + 5*c - 4. Is 14 a factor of 106/f*(0 + (-1 - -2))?
False
Suppose -163*p + 159*p = 0. Suppose -5*w = 2*l - p*l - 576, -3*l - 5*w = -869. Is 10 a factor of l?
False
Suppose -3*s = -15, -4*s + 2 = -3*x - 18. Suppose -30*i + 26*i + 600 = x. Is i a multiple of 15?
True
Suppose -496*m = -26255787 + 2592619. Is 9 a factor of m?
False
Let r be -8*1/3*-3*1. Let s be (-1 + -6)/(7 - r). Suppose s = -8*w + 47. Is 5 a factor of w?
True
Suppose 0 = 4*o - 60*o + 109480. Is o a multiple of 85?
True
Let s(n) = n**3 + 26*n**2 + 22*n - 77. Let a be s(-25). Is 13 a factor of (-3)/a*(-81 + 133)?
True
Let y = -94 - -131. Let k = -40 + y. Is 14 a factor of (4/(-10))/(k/600)?
False
Let l(c) be the first derivative of c**4 - 2*c**3 + c**2 - 203. Is l(6) a multiple of 11?
True
Suppose -7*f + 51 = 2. Suppose f*j - 501 = 234. Is 35 a factor of j?
True
Is 2275904/430 - 18/10 a multiple of 93?
False
Is -7*(-120)/(-9)*987/(-94) a multiple of 10?
True
Let m(l) = -90*l**3 - 12*l**2 - l - 21. Is m(-3) a multiple of 36?
True
Let b(m) = m**3 - 7*m**2 + 7*m - 6. Let z be b(6). Let x(c) = -9*c + 100. Let q(i) = -20*i + 199. Let v(w) = -2*q(w) + 5*x(w). Is v(z) a multiple of 7?
False
Let t be (-6)/(-4)*(-3 - 0)*-2. Does 16 divide 44*-1*t/(-6)?
False
Let b be (8/(-6))/(((-15)/54)/5). Let a = -4414 - -8188. Is (-2)/8 + a/b a multiple of 25?
False
Suppose -11803 = -80*i + 2520757. Is i a multiple of 14?
False
Suppose 82*t + 2*r = 84*t - 12258, -3*r = 2*t - 12228. Does 88 divide t?
False
Let y be (-762)/8 + 3*5/(-20). Let v = y - -236. Let h = v + -63. Does 14 divide h?
False
Let q be (-2)/(-5) + (-2254)/(-115). Suppose -2*v + 0*v - q = 3*p, -5*v - 4*p = 36. Let h(t) = -16*t - 25. Is h(v) a multiple of 13?
True
Suppose 6 = 5*u - 14. Suppose 2*f - 462 - 344 = -u*s, 3*f = -9. Suppose s + 25 = 6*o. Is 11 a factor of o?
False
Let l(k) = -k**2 + 5*k - 6. Let r be l(2). Suppose r = -5*f - 267 + 417. Does 15 divide f?
True
Suppose 2058 = 2*w + w + o, 5*o + 702 = w. Suppose u = -2*h + 177, 0 = 4*u - h + 2*h - w. Suppose 3*b - 549 + u = 0. Does 17 divide b?
False
Let x = -24 - 17. Let y = 33 + -90. Let j = x - y. Is 2 a factor of j?
True
Suppose 2*l - 6*l = 8. Let q be 6/(l/(-8*1)). Suppose -4*p + q = -184. Is 18 a factor of p?
False
Suppose 0 = -43*x + 222031 + 40957. Is 139 a factor of x?
True
Let j = 1049 - 618. Suppose 434*z = j*z + 159. Is z a multiple of 9?
False
Let q(n) = -124*n - 4. Let r = 468 + -473. Is 11 a factor of q(r)?
True
Let z(n) = -n**3 + 6*n**2 + 5*n - 9. Let g be z(4). Let h = g + -43. Suppose -31*s + 33*s - 24 = h. Is s a multiple of 12?
True
Does 24 divide -3 - 248810/(-70) - 4/(-7)?
True
Is 6 a factor of (-28)/(-6)*(1115 - 89)?
True
Let o be ((-3)/(9/10))/((-4)/(-6)). Let t = 8 + -10. Does 12 divide (-72)/(-15)*o/t?
True
Let c(q) = 11*q**2 + 132*q + 156. Does 27 divide c(22)?
False
Suppose 0 = o - 451 + 439. Suppose -599 + 2615 = o*a. Does 24 divide a?
True
Suppose x - 2*x + 2*r + 3 = 0, 0 = -4*r - 8. Let m(n) = -120*n**3 - 4*n - 4. Does 7 divide m(x)?
False
Is ((-266)/(-798))/((10/1368)/5) a multiple of 11?
False
Let o(a) = -125*a**3 + a**2 + 2*a + 2. Let v be o(-1). Let m = v - -67. Let l = 427 - m. Is 26 a factor of l?
True
Suppose -4*b - b + 10 = 0, 0 = -4*v - 3*b - 18. Let k be v/(-2) - (3 - 5). Suppose -5*h + 2*d = -2*d - 458, -4*h = -k*d - 370. Does 23 divide h?
False
Suppose -9*q + 2798 = -7282. Let r = q + -725. Is 15 a factor of r?
False
Suppose -u = 3*m + 2, 4*u + 3*m = 8*m + 26. Suppose 4*i + 10 = 5*c + i, -8 = -u*c + 3*i. Suppose -c*p = -5*p + 48. Is 6 a factor of p?
False
Suppose 3*p = 7*p - 16. Suppose 3*g - 39 = -3*q, -2*q + 38 = q + p*g. Supp