 + 78 + 48. Let a(r) = r + 80. Let m be a(0). Let q = m - s. Is 31 a factor of q?
True
Let u = 741 - -1949. Does 5 divide u?
True
Suppose 9*u + 3056 + 3001 = 0. Let s = -465 - u. Is 7 a factor of s?
False
Let v(t) = 24*t + 3724. Is 128 a factor of v(-109)?
False
Suppose 4*v - 20 = -5*r, -v = -r - r - 5. Let c(h) = -8*h**2 + h**3 - 1 - 2*h**3 + r*h + 3*h**3 + 2*h. Is 4 a factor of c(5)?
False
Is 8 a factor of ((-46)/(-40) - 160/400)/((-3)/(-131232))?
True
Suppose 46161 + 62582 = 9*x - 86791. Is 71 a factor of x?
True
Let k(g) be the second derivative of g**5/20 - 3*g**4/2 - 2*g**3 - 22*g**2 - 17*g. Let i be k(19). Suppose -3*p = -i - 73. Does 18 divide p?
True
Let x be ((-45)/(-12)*4)/3 + -2. Suppose -i = -x*w + 67 + 146, 128 = 2*w + 4*i. Does 35 divide w?
True
Let d(x) = -4*x**3 + 5*x**2 + 3*x - 2. Let q be d(-1). Suppose 1372 - 5068 = -q*z. Is 91 a factor of z?
False
Let b(l) = 2*l + 18. Let t be b(-8). Suppose -a + 2 = -t. Suppose -2*p = a*w - 362, 5*p - 4*w = 1042 - 109. Is p a multiple of 40?
False
Let y(v) = -20*v - 19. Suppose 18 + 6 = 6*a. Suppose b - 2 = a*f - 2*b, -4*f - 6 = -b. Is y(f) a multiple of 15?
False
Let p = 53 - 48. Suppose 0 = -p*r - 6 + 16. Is (3 - (r + -1))*24 a multiple of 12?
True
Let w be (8/(-20))/(42/(-20) + 2). Is 1762/4 - 3*w/(-24) a multiple of 49?
True
Let f be -5 - (-4 - 278/2). Let o = f + -96. Does 5 divide 20/7*o/4?
True
Let q(c) = 7*c**2 + 33*c + 4. Let m be q(-5). Let j(h) = -2*h**3 + 29*h**2 - 14*h + 41. Does 14 divide j(m)?
False
Suppose -202 = 14*s - 61881 - 56663. Is 107 a factor of s?
True
Let m = 7026 - 6722. Is 4 a factor of m?
True
Suppose -20*x - 8 = -22*x. Is 17 a factor of 493/x + 1 + (-10)/40?
False
Let m = 2002 - 1360. Suppose 443 = 5*u - m. Is u a multiple of 31?
True
Let f = -9183 - -13122. Does 14 divide f?
False
Let m(y) = -164*y + 34. Let n be m(-8). Suppose -19*h + n = -136. Is 13 a factor of h?
True
Let t(d) = -3 - 12 - 8 + 8 + 24*d. Let r be t(-4). Does 22 divide (5 + -2)/(-3) - r?
True
Is 43 a factor of (-102)/612 + 7597/6?
False
Let y = 2031 + 1258. Does 13 divide y?
True
Suppose 0 = 2*w - 4*c - 212, 2*w - 124 - 92 = 5*c. Is 1/(1 + w/(-99)) a multiple of 12?
False
Let z(k) = -66*k + 27. Let v = 42 + -36. Let t(x) = -22*x + 9. Let n(i) = v*z(i) - 17*t(i). Is 20 a factor of n(-6)?
False
Let b(o) = 19*o**3 - 2*o**2 + 2*o. Suppose 3*i + 9 = c, -5*i = 2*c - 1 + 5. Suppose -c*j + 7 = 4. Does 10 divide b(j)?
False
Let x be 0/((-3)/((-15)/5)). Let f(z) = z**3 + 2*z**2 - z + 7. Is f(x) a multiple of 5?
False
Let a = 5733 - 2667. Is 75 a factor of a?
False
Suppose 3*k = -6*k + 54. Let r(o) = 346*o - 13. Let g be r(k). Suppose 13*n - 1382 = g. Is n a multiple of 23?
False
Suppose 2*c + 5*z = 11890 + 3364, 5*c - 38162 = z. Is 24 a factor of c?
True
Suppose 430 = 2*q + 3*f, -5*q + 1054 = -5*f + 2*f. Let s = 28 + q. Does 25 divide s?
False
Let y = -7 + 13. Suppose 0 = -6*m + m - 4*r - 9, -r = 5*m + y. Is 48 a factor of 237 - (m + 6/(-2)) - 1?
True
Let w(t) = 1314*t - 2160. Is 15 a factor of w(10)?
True
Let j(z) = -45*z - 24 + 7 + 2*z. Is 66 a factor of j(-5)?
True
Suppose 1228 = 6*f - 1844. Let i = f + -357. Is 3 a factor of i?
False
Let g(h) = 2*h**2 - 8*h - 13. Suppose -8*q = -6*q - 12. Suppose 5*t = q*t + 5. Does 7 divide g(t)?
True
Is 5 a factor of (-4)/(-9) - (13 + 15 + 450300/(-135))?
False
Let q(a) = 191*a**2 + 28*a + 26. Is q(-4) a multiple of 11?
True
Suppose 3*c = -5*d + 7*c + 70, 4*d - 4*c - 56 = 0. Suppose -188*h + 166*h + 230 = -650. Does 14 divide (h/d)/(2/49)?
True
Suppose -11844 = -4*v - 2*a, 75*v - 79*v - 4*a + 11836 = 0. Does 30 divide v?
False
Does 6 divide 7 - (6 + 5 + -60)*11?
True
Let f(l) = 2*l**2 + 23*l - 35. Let v be f(-13). Suppose -60*t = -v*m - 62*t + 1632, 4*m - 5*t = 1660. Does 41 divide m?
True
Does 21 divide (-1014)/114 + 9 - (-13158980)/380?
True
Suppose 0 = 3*g + 5*d - 38103, -5*g - 55*d + 63567 = -57*d. Is 57 a factor of g?
True
Suppose -58*o + 392919 + 40544 = -508747. Does 45 divide o?
True
Let d(p) = -4 - 2*p + 2 - 35*p. Does 6 divide d(-4)?
False
Is 20 a factor of (-2)/(-6) + (-335976)/(-36) - (-29 + 25)?
False
Suppose 3*n = -3*u + 23475, 3*n = u - 9640 + 1803. Does 23 divide u?
False
Let y(o) = o**2 + o - 7. Suppose 4 = -6*k + 16. Suppose 2*u = 5*c - 23, k*u - 3*c + 5*c + 16 = 0. Is 13 a factor of y(u)?
True
Let v(o) = 16*o - 55. Let d be v(20). Suppose 0 = 2*n - 3*j - d, 2*n - 241 = -0*n - 5*j. Let q = n + -60. Is 8 a factor of q?
False
Suppose -r = -2*u - 1095 - 852, -2*r + 2*u = -3888. Is 18 a factor of r?
False
Suppose -164 + 10 = -2*t. Let h = 186 - t. Suppose 2*b = -3*n + h, -b + 3*b - 115 = 3*n. Is 3 a factor of b?
False
Let w(x) = -1000*x + 5226. Does 19 divide w(-10)?
False
Suppose 1532 = 2*w - 5*x, -139*x + 134*x - 20 = 0. Is w even?
True
Suppose -16*t + 14467 = 7*t. Let l = t - 282. Does 21 divide l?
False
Is 220 a factor of 33/(-7)*7/2*51360/(-36)?
True
Let l(v) = 99 - 11*v + 3*v - 65. Let s be l(9). Let r = 195 - s. Is r a multiple of 50?
False
Suppose -5*m + k + 195 = 0, -m + 12 + 27 = k. Suppose -m - 1529 = -7*w. Suppose 0 = -12*g + w - 20. Does 6 divide g?
False
Let s = -8482 - -14114. Does 16 divide s?
True
Let g be 9/((-45)/20) + (1 - -16). Suppose -14*o = -g*o + 262. Let f = 494 + o. Is f a multiple of 29?
True
Suppose 5*p + 2125 = 5*w, -p - 1706 = -21*w + 17*w. Does 3 divide w?
False
Let x be ((0/(-2))/2)/(-1). Suppose -2*s + 0*s + 4*i + 448 = x, 3*s - 2*i - 660 = 0. Does 16 divide s?
False
Suppose -11*h = -3645 - 7025. Suppose 32 = -a + h. Is a a multiple of 67?
True
Suppose 12*b = 11*b + 219. Let i = b - 190. Is 2 a factor of i?
False
Suppose 497 = 473*j - 467*j - 1015. Is 3 a factor of j?
True
Let q = 1711 - 527. Suppose -p + 5*p = q. Is 8 a factor of p?
True
Suppose 2*h = -h - 4*r + 50, -2*h = -4*r. Suppose h - 131 = -11*s. Suppose 10*j + 30 = s*j. Does 15 divide j?
True
Let s = -76 - -79. Suppose 4*l = -s*v + 1780 - 177, 10 = 2*v. Is 20 a factor of l?
False
Let r(n) = 4523*n + 7851. Does 36 divide r(3)?
True
Suppose -27*l + 280065 = -397648 - 69836. Does 39 divide l?
False
Let v(n) = -n**3 + 17*n**2 + 15*n + 44. Let y be v(18). Let u = -53 - -28. Let f = y - u. Is 2 a factor of f?
False
Let m = 140 + -137. Suppose 0 = 3*q - 3*k - 264, 3*k - 264 = -m*q + 4*k. Is 8 a factor of q?
True
Let j be (-272)/85*5/2. Is 21 a factor of 10/j*(-13)/(104/1344)?
True
Let p be (-798)/(-8)*(-24)/(-9). Suppose 4*g - 5*l = -286, p = -4*g - l - 4*l. Let s = 96 + g. Is s a multiple of 9?
True
Suppose -189*w = -203*w + 106260. Is 66 a factor of w?
True
Let f(h) = -6*h + 122. Let b be f(19). Suppose 0*z = -b*z + 440. Is z even?
False
Let o(m) = 18 + 4*m + 27 - 5. Let r be o(-12). Does 36 divide 54/((-2)/8 - 6/r)?
True
Let u = -8538 - -13337. Is 25 a factor of u?
False
Let t be ((18/10)/3)/((-63)/(-525)). Suppose 4*g + t*v = 2333, 5*g - 5*v = 1410 + 1495. Is g a multiple of 17?
False
Let t = 108 - 108. Suppose t = i - 4*i - 5*z + 115, 5*i + 3*z = 213. Is 2 a factor of i?
False
Let f(q) = 167*q**2 + 50*q - 131. Is f(3) a multiple of 8?
False
Let p be (-9 - -5)/(-20) - 25008/(-10). Suppose -p = -15*z + 1474. Is z a multiple of 18?
False
Let q(p) = 10 - 3*p**3 - 5*p + p**2 + 0*p - 3. Suppose 102 = -14*m + 60. Is q(m) a multiple of 26?
False
Let g be (-1638)/24 + 2*3/(-8). Let j = 80 + g. Suppose 0 = -j*v + 1077 - 274. Does 10 divide v?
False
Suppose 0 = -5*x + 12*g - 14*g + 21509, 5*x = 4*g + 21557. Is 21 a factor of x?
True
Let r be (-9)/(360/32)*10*19. Let o = 440 + r. Does 16 divide o?
True
Suppose -12*f + 2*f + 20852 = 3*f. Does 4 divide f?
True
Suppose -4207 = -21*k + 3521. Suppose 0 = -4*m - t + 663, 4*t + k = 3*m - 134. Does 9 divide m?
False
Let m = 232 + -232. Suppose 5*g + 295 = 4*j, -5*j - 3*g = -m*j - 341. Is 70 a factor of j?
True
Does 6 divide 18/1170*39*(0 - -1280)?
True
Let y(r) = 3*r. Let m be y(-1). Let p(h) = 6 - 13*h + 12 - 11*h. Does 6 divide p(m)?
True
Is ((-2)/(-4))/(16 + 150924/(-9432))*-6 a multiple of 13?
False
Let t(j) = 39*j + 8. Let k(p) = -203*p - 40. Let c(y) = -2*k(y) - 11*t(y). Let d be 4/22 - 544/88. Does 10 divide c(d)?
True
Suppose -6*r - 20 = -14. Is (-975)/(-3) + 0 + r a multiple of 16?
False
Suppose 4*j = 5*s - 53451, 32041 = -56*s + 59*s + 5*j. Is s a multiple of 101?
False
Is ((-4)/14)/(140/245) - (-197784)/16 a mul