 Suppose -v = 2*a - 8*a. Is a a multiple of 11?
True
Let o be (-2 + 5 + 12)*(0 + 5). Suppose 3*g = -2*s - 30, -5*s = -5*g - 0*g - o. Is ((-74)/(-8))/(2 - (-21)/g) a multiple of 3?
False
Let r(i) = 1. Let z(n) = -7*n + 3. Let d(m) = 7*r(m) - z(m). Does 2 divide d(34)?
True
Suppose -66*l + 56*l - 168*l = -2529024. Is 8 a factor of l?
True
Let c = 4862 - 4482. Does 20 divide c?
True
Let m = -30578 + 93767. Is m a multiple of 63?
True
Suppose 51*y - 795926 = 74797. Is 9 a factor of y?
True
Let r = -59 - -71. Suppose 7*i - 4*i + r = 0, -5*v = -3*i + 288. Is 9 a factor of (-1 - 2*v/8)*2?
False
Suppose -5*t + 136 = 86. Is 8 a factor of 2634/t + (-5)/((-75)/9)?
True
Let d = 109 - -11. Is (45/5)/(4/d) a multiple of 6?
True
Suppose 5*q - 107 = -s, 0 = 2*q - q + 5*s - 31. Let u be 45/q - (-3)/(-21). Suppose -652 = -4*d + u*i + i, -660 = -4*d + 5*i. Is d a multiple of 55?
False
Let o(j) = 2*j + 0*j**2 + j**2 + 0*j - 34. Suppose 4*c - 56 = 4*y, 376*c - 1 = 375*c. Does 20 divide o(y)?
False
Suppose 0 = -28*x + 30*x. Suppose x = -16*u + 8*u + 624. Does 11 divide (u/24)/((-2)/(-56))?
False
Suppose -54 = -13*l - 2. Suppose 3*s = l*s - 2. Is 31 a factor of (7 + -7 + 2)*93/s?
True
Let k be (11/(-33))/(1/222). Is 14 a factor of (-529)/(-2) + 37/k?
False
Suppose 50*i - 21756 = 18644. Let b = i + -751. Does 14 divide b?
False
Is 89 a factor of -5 - (((-104)/16 + 6)*8 - 21361)?
True
Let a(b) = b**3 + 2*b**2 - 4*b + 5. Let y be (-2)/7 + ((-99)/21 - 2). Let c be a(y). Let l = 8 - c. Is 20 a factor of l?
True
Does 13 divide ((-14)/49 + 999/(-7))/((-268)/43684)?
True
Let a be (-3)/(444/(-1770) + (-1)/(-5)). Let r be (6 - 5)/((-2)/(-8)). Suppose 185 = r*o - a. Does 34 divide o?
False
Let a(o) = 7*o**2 + 83*o - 10. Let r be a(-12). Is 11 a factor of (-2356)/(-5) - r/10?
False
Let p(v) = -3*v - 36. Let z be p(-14). Suppose 0 = -0*u - z*u + 714. Suppose 115 = 3*x - u. Does 13 divide x?
True
Suppose 131 = -n - x, -7*x + 11*x = 0. Let s = 182 + n. Is 5 a factor of s?
False
Let k be (-2792)/(-5) - 10/25. Let r = k - 154. Does 55 divide r?
False
Let o(c) = -c**2 - 7 + 3*c + 10 + 1. Let x be o(-1). Suppose x = 4*l - l - 267. Does 13 divide l?
False
Let m(k) = 14*k**3 + 2. Let c be m(11). Let o be c/30 + 1/(-5). Suppose 5*l + 3*w - o = 0, 2*l - l - 5*w = 141. Is l a multiple of 14?
True
Suppose 4*f - t - 9 = 0, 2*f + 3*t - 4 - 11 = 0. Suppose -g = -2*g - f*g. Suppose g = j - 4*j + 63. Is 5 a factor of j?
False
Let o = -58 + 241. Let x(g) = g**2 + 6*g + 4. Let s be x(-6). Suppose o = s*y + 5*v, -271 - 9 = -5*y + 4*v. Does 9 divide y?
False
Let y be 42/30 + 2/(-5). Let r be (0*4/(-8))/y. Suppose -2*h + n = -47, r - 74 = -3*h + 5*n. Does 14 divide h?
False
Let y(g) = g**3 - 3*g**2 - 27*g - 4. Let c(r) = r**2 - 12*r - 20. Let b be c(14). Is 5 a factor of y(b)?
True
Let n be 3 - (9/(-1) + 3 - -5). Is n/6 - ((-81536)/48)/14 a multiple of 26?
False
Let m(x) = 10*x**2 - 26*x + 23. Is 3 a factor of m(-15)?
False
Suppose 0 = 5*x - 32 - 93. Suppose -3 = x*c - 28*c. Is (0 - 3) + c + 178 a multiple of 16?
True
Suppose y + y - 5*n = -316, -5*y - 4*n - 823 = 0. Let m = -73 - y. Does 10 divide m?
True
Let s be 2*4*(-4)/(-64)*34. Let z = -69 + 18. Does 10 divide s/z + (-362)/(-6)?
True
Suppose -33*o - 235 = -38*o. Let m(r) = 23*r + 116 - 25 + 3*r - o. Is 38 a factor of m(10)?
True
Suppose -2*u + 19132 = -35*r + 38*r, 0 = 32*u - r - 306014. Does 154 divide u?
False
Suppose 0*j = -122*j - 106735 + 644755. Is 21 a factor of j?
True
Let n be (-8)/(-18) - (-6522)/27. Let l = 368 - n. Is 3 a factor of l?
True
Let i = -601 + 599. Is 6 a factor of 32 + (1 - i - 0)?
False
Suppose 0 = -3*b - 3*v + 20007, -3*b - 348*v + 349*v = -20027. Is b a multiple of 47?
True
Suppose -w - 361 = -13988 - 825. Is 97 a factor of w?
False
Suppose 4*k - 16 = 0, -2*h - 3*k + 4596 = -9102. Does 42 divide h?
False
Suppose -b + 23 = 5*j, -b + 4*j - 1 = 4*b. Suppose -11*l = b*l - 462. Is 3 a factor of l?
True
Let k = -28881 - -54369. Does 12 divide k?
True
Let b be (-3 + -8)*(-1)/(-4)*-4. Suppose 4*z - 70 = -z. Suppose -b*v - 300 = -z*v. Is 20 a factor of v?
True
Suppose -a + 11*a = -10. Let n be 0 + 3 - -84 - (a - -1). Suppose -410 = -5*v + 2*h, -v + h - 8 = -n. Is 7 a factor of v?
True
Suppose 158*r - 160689 = 27*r + 24807. Is r a multiple of 6?
True
Suppose 3*y = 475 - 70. Let w(b) = -2*b**2 + 5*b + 11. Let t be w(-6). Let p = y + t. Is 4 a factor of p?
True
Suppose -72*d + 221056 - 79864 = 0. Is d a multiple of 65?
False
Let n(t) = t**3 + 9*t**2 + 15*t + 10. Let o be n(-7). Let c be ((-27)/(-12) - o)/((-1)/4). Suppose 5*m + 57 = l, -3 = -c*l + 3*m + 132. Is 4 a factor of l?
False
Let g(j) = -2*j**2 - 16*j + 5. Let t be g(-8). Suppose 4*i = 4*y + 2*i, t*i = -2*y - 24. Does 17 divide (-7 + 9)*(y/(-2) + 165)?
False
Suppose 4*t - 364 = 4*r, -r + 5*t + 210 = -3*r. Suppose 0 = -5*k - 2*u + 296, 2*k - 130 = 8*u - 3*u. Let h = k - r. Does 31 divide h?
True
Suppose -3*t = -3*s + 789, -5*s + 24*t = 29*t - 1325. Suppose 4*b - s = -5*x + 349, -x = 2*b - 305. Is b a multiple of 45?
False
Does 19 divide (-1002)/4*476/(-3) - (-7 + -1)?
False
Let g be (((-28)/(-10))/7)/(1/40). Let a be (2 + (-12)/g)/((-2)/(-8)). Suppose 40 = w - k, 0 = w - a*w + 5*k + 156. Does 22 divide w?
True
Does 7 divide ((-85)/(-51))/(95/571254)?
False
Is (-64)/4 - (-7711 - -10) a multiple of 53?
True
Let n be ((-1)/(-2))/((-3)/(-366)). Let a = 223 + -243. Let d = n + a. Is 13 a factor of d?
False
Let t be (-26)/13 + 565/1. Suppose t = 2*i - 1321. Does 20 divide i?
False
Suppose 6974 + 61820 = 5*n + 369. Is 119 a factor of n?
True
Let j(l) = 2*l**2 - 27*l + 31. Let t be j(19). Let v = t + -518. Let a = -118 - v. Is a a multiple of 20?
True
Is (-720)/450*8/12*(-172305)/12 a multiple of 137?
False
Suppose 2*v = 5*s + 49, -3*v + 2*s + 34 = -12. Is (-7*v)/(-2) + -8 + 4 a multiple of 10?
False
Let d = -29317 - -44161. Does 10 divide d?
False
Let s = 2336 - 1665. Does 9 divide s?
False
Suppose -149896 = -39*r - 51928. Is 16 a factor of r?
True
Let f(o) = -6*o + 2*o - 3 + 19. Let q be 6/((156/(-429))/((-4)/(-22))). Does 14 divide f(q)?
True
Let f(w) = 4251*w + 196. Does 27 divide f(2)?
False
Suppose 113*f - 75*f = 496546. Is 25 a factor of f?
False
Let p(x) = -375*x**2 + 3*x - 1. Let m be p(-1). Let r = m - -637. Is 14 a factor of r?
False
Let x = -49 - -52. Suppose 0 = -z - 4, x*f + 3*z - 2 = 1. Suppose -f*p - 50 = -260. Is p a multiple of 6?
True
Let l = 20409 - 14404. Is l a multiple of 82?
False
Let n = 237 + -154. Let u(a) = -118*a + 9. Let q be u(-2). Let o = q - n. Is o a multiple of 27?
True
Suppose 244378 + 79144 = 21*i - 353791. Is i a multiple of 14?
False
Does 40 divide 59644/30 - 86/645?
False
Suppose 182458 = 9*d + 4798. Is d a multiple of 140?
True
Let p be (-16 + 20)*(-184)/(3/(-3)). Suppose 4*g - 592 - p = 0. Is g a multiple of 90?
False
Let k(c) be the third derivative of 3/20*c**5 + 1/120*c**6 + 19/6*c**3 + 8*c**2 + 0 + 11/24*c**4 + c. Is k(-7) a multiple of 20?
True
Suppose 311 + 2328 = 5*j + b, -3*j = b - 1583. Suppose -3*x = -5 - 4. Suppose x*t = 5*t - j. Is 40 a factor of t?
False
Let b(a) = a**3 - 6*a**2 + 8*a + 2885. Is 46 a factor of b(0)?
False
Suppose m - 62 = -4*l, m - 3*l - 184 = -150. Is 16 a factor of m?
False
Let t = 16671 - 9008. Is 79 a factor of t?
True
Suppose 4*m - 4*u - 19836 = 0, -3*u - 2*u = 4*m - 19845. Suppose z + m = 11*z. Does 16 divide z?
True
Let s = -66 - -70. Does 5 divide s/10 - -1*2388/30?
True
Let y(o) = o**3 + 57*o**2 - 7 + 20*o + 2 - 43*o**2. Is y(-9) a multiple of 10?
True
Let s(x) = 134*x**2 + 3304*x + 18. Is s(-25) a multiple of 31?
False
Let f(c) = -1 - 17 - 59*c - 8 + 7. Does 50 divide f(-3)?
False
Suppose 0 = -39*f + 35*f + 16. Suppose -f*v + 41 + 132 = 5*l, -4*v = l - 169. Is 3 a factor of v?
True
Let t = -5062 - -5424. Is t a multiple of 13?
False
Suppose 4*i - 1283 = 473. Let x = 464 - i. Does 7 divide x?
False
Let j(h) = h**2 + 18*h + 23. Let v be j(-22). Let i = 112 - v. Is (-2 + 3)/i*85 a multiple of 27?
False
Suppose -1112771 = -211*u - 411407. Does 56 divide u?
False
Let k be (-14560)/(-39) - ((-8)/6)/(-4). Suppose -2*n - 5*f = -k, -5*n - f = 2*f - 923. Does 57 divide n?
False
Let n be 5*1*8/140*21. Is 576 + 7/21*n a multiple of 34?
True
Is 4 a factor of (-504229)/(-506) - (-1)/(-2)?
True
Let r(a) = 6*a*