u - t. Is v a multiple of 10?
True
Suppose -5*a + 2*g + 41725 = -13189, 0 = 2*a - 3*g - 21981. Is 12 a factor of a?
True
Let a(s) = -s**3 + 5*s**2 + 9*s - 16. Let y be a(6). Suppose -y*t + 3*t - 132 = 0. Is t a multiple of 13?
False
Does 20 divide (-9)/30 + 10317637/790?
True
Let h = -38 - -41. Let v(j) = j**2 + 4*j + 7. Let g be v(-3). Suppose -r + 23 = 2*x, h*r = -r + g*x + 80. Is 3 a factor of r?
True
Is ((-91)/14 + 7)*-33*(-124)/3 a multiple of 3?
False
Let a be (-1)/(1*-1*(-14)/1568*-8). Let u(b) be the second derivative of 11*b**3/3 - 2*b**2 + 2*b. Is u(a) a multiple of 23?
False
Suppose 0*a + 6*a - 24 = 0. Suppose 2*i + a*t = 212, 4*i = -3*t + 8*t + 359. Is 16 a factor of i?
True
Let q be 6 + -7 - (38 - -1). Let k = 24 + q. Is 32 a factor of k + 20 - (-27 - 1)?
True
Suppose -90*k - 7689 = -101*k. Is k a multiple of 16?
False
Suppose 3*m + 8*m = 0. Let d be (m + 20/5)*(-2)/4. Let c(v) = -52*v + 5. Is 18 a factor of c(d)?
False
Let s(w) = -83*w + 17. Let r be s(-13). Suppose -a - 408 - 970 = -5*m, 4*m - 4*a = r. Suppose 4*y - m = -4*p, 0 = y + 2*y. Is 23 a factor of p?
True
Let c(s) = -8*s**3 + 179*s**2 - 34*s + 45. Is c(19) a multiple of 17?
True
Let r be (5 - 0)/1*(49 - 8). Suppose 5*x + 275 + r = 0. Let o = x - -162. Is 19 a factor of o?
False
Let v(u) = u**3 + 6*u**2 + 2*u - 3. Let l be v(4). Suppose 2*a + 810 = 5*o, o - l = 12*a - 11*a. Does 4 divide o?
True
Suppose q + 3*q = 12. Let r = 192 - 145. Suppose 4*z - 98 = 2*z + 2*s, -r = -z + q*s. Is z a multiple of 16?
False
Let d(k) = k**2 + 7*k + 11. Let o be ((-18)/(-27))/((-2)/6) - 4. Let a be d(o). Suppose 0 = 2*h - a*h - 6, 4*t - 716 = -2*h. Does 30 divide t?
True
Suppose -8*h - 2*h = 260. Let d = h + 28. Does 10 divide -6 + d + 1*104?
True
Let j be (-7)/(-2)*(-1 + (-15)/(-7)). Suppose j*l + 393 = 4*h + l, 0 = l - 1. Is 12 a factor of h?
False
Let q be (-2)/(-8)*1 - (-22)/8. Suppose -4*h + 7*h + 165 = -q*d, 4*h = -5*d - 215. Let l = 109 + h. Does 34 divide l?
False
Let t(m) = -m**2 - 14*m - 5. Let f be t(-7). Suppose 2*x + 4*y - 7*y - f = 0, 5*x = -3*y + 68. Is 3 a factor of x?
False
Let w be ((-62)/4)/(6/(-36)). Let b = w + -88. Suppose b*q = -v + 6*v - 490, -4*q = 2*v - 202. Does 13 divide v?
False
Let i = 38 + -6. Let d = i + 21. Let t = d + -19. Is t a multiple of 17?
True
Suppose -89710 = -3*n - 2*x, -3*x - 21316 = -n + 8569. Is 325 a factor of n?
True
Let u = 184596 - 129825. Is 8 a factor of u?
False
Suppose -4*v + 48 = 4*r, -10*r - 2*v + 72 = -5*r. Let n(f) = f**2 + 11*f - 136. Is n(r) a multiple of 4?
True
Let z(v) = v**3 - 43*v**2 + 134*v - 24. Let j be z(40). Let k = j - 440. Is k a multiple of 15?
False
Suppose 3*t = 4*h - 35, -4*h + 3*t = -2*t - 45. Suppose 2*z - h*j = -z + 644, 5*j = -20. Is z a multiple of 16?
True
Let t = 240 + -110. Let p = -73 + t. Does 4 divide p?
False
Let n(s) = s - 2. Let m be n(2). Suppose m = 8*q - 56 - 8. Suppose -4*v - 880 = -q*v. Is v a multiple of 23?
False
Let g(o) = -14*o + 820. Does 68 divide g(36)?
False
Suppose 18 = x + 4*j, -5*x + 2*j - 3*j = -185. Let h = x + -16. Let y = 54 - h. Is y a multiple of 6?
False
Let c be 2*-2*(-1)/((-8)/(-20)). Let k(w) = -c*w + 5*w**3 + 7*w**2 - 5 + 7 - 6*w**3. Is 3 a factor of k(4)?
False
Let g(w) = -3*w - 17. Let v be g(-9). Suppose 0 = -2*l + v, 2*p + 4*l = 24 + 12. Does 36 divide (20/(-4) + p)*(-404)/(-6)?
False
Let i = -5843 + 17747. Is 42 a factor of i?
False
Suppose 0 = p + 4*u + 15, 2*p - 5 = -p - 2*u. Suppose m - 320 = q - 4*q, -p*m = -4*q - 1524. Is m a multiple of 22?
True
Suppose 159*y = 155*y + 3088. Is y even?
True
Let l be 15/4*1*5680/15. Suppose o - l - 65 = r, -7440 = -5*o + 2*r. Suppose 3*i - g + o = 8*i, 4*g = 5*i - 1465. Does 30 divide i?
False
Suppose 2*n + 4500 = -153*b + 154*b, -2*n + 4524 = b. Is b a multiple of 21?
False
Let z(r) = 2*r - 22 + 15 + r. Let o be z(4). Suppose 0 = i, -4*i + 0*i + 1255 = o*s. Is s a multiple of 42?
False
Let z(x) = -26*x + 2. Let u(j) = -78*j + 6. Let r(d) = 6*u(d) - 20*z(d). Is 48 a factor of r(1)?
True
Suppose 112484 + 111133 = 70*b - 258333. Is b a multiple of 8?
False
Let m be 6973/3 - 39/117. Suppose -33*j = -12950 + m. Is 7 a factor of j?
True
Let v be 738/10 - 5/(-25). Let h(a) = a**3 - 8*a**2 - 6*a + 5. Let d be h(8). Let r = v + d. Is r a multiple of 8?
False
Let g = 2676 - -17484. Is 30 a factor of g?
True
Suppose 4*c - 16 = -4*n - 0, 0 = -n + 4. Suppose c*s = 13*s - 858. Is s a multiple of 48?
False
Suppose 11 - 26 = 5*f, f - 3749 = -4*h. Suppose -4*i - 2*b = -0*i - h, 3*i - 5*b - 736 = 0. Does 33 divide i?
False
Let l be 6 - 20*(-1)/(-8)*246. Let k = 881 + l. Is 12 a factor of k?
False
Let r(z) = 3*z**3 + z**2 + 35*z + 11. Let i(d) = d**3 + d**2 + 2*d + 1. Let j(m) = 4*i(m) - r(m). Is j(-6) a multiple of 4?
False
Let t(y) be the second derivative of 11*y**4/12 - y**3/3 + 5*y. Let p be t(2). Does 18 divide (-1 + 11)*288/p?
True
Suppose 17*x - 1398 = 15*x - 3*n, 2*n - 2102 = -3*x. Does 8 divide x?
False
Let k(j) = 16*j**2 + 17. Suppose 126 = -68*n + 50*n. Is 38 a factor of k(n)?
False
Suppose 65*m - 46*m - 84740 = 0. Is 5 a factor of m?
True
Is 6195126/294 + 22/7 a multiple of 169?
False
Let s = 17714 + -17590. Is 13 a factor of s?
False
Let g = -141 - -146. Suppose -s = g*d - 3678, 0 = -2*d - 4*s + 1523 - 41. Is d a multiple of 15?
True
Let q = -26 + 29. Let j(b) = 19 + 1 - 7 - 5 - q*b. Does 13 divide j(-9)?
False
Suppose 922 = 5*q + j, -74*q + j = -71*q - 550. Let m be 1/((-4)/(-3) - 1). Suppose s = -m*s + q. Does 46 divide s?
True
Suppose 2*b + 15*q + 3 = 16*q, -q + 3 = 0. Let z be 1 + -3 + (23 - -93). Suppose n + 123 = m, -m - n - n + z = b. Does 30 divide m?
True
Suppose 315*u = 391*u - 27816. Does 3 divide u?
True
Suppose -60771 = -80*f + 1689653 - 370584. Is f a multiple of 8?
True
Let y = -4856 + 10285. Is 61 a factor of y?
True
Suppose -5*g - 2*q = -1880, 2*g - 9*q = -10*q + 751. Does 7 divide g?
True
Suppose -3*c + 85350 = -3*q, 56907 = 41*c - 39*c - q. Is 49 a factor of c?
False
Let v(j) be the third derivative of 23*j**4/24 + 5*j**3/6 - 8*j**2 - 10. Let k(t) = t**2 + 5*t + 5. Let u be k(-5). Is 12 a factor of v(u)?
True
Is 58 a factor of (949/(-78) - -12) + 736025/30?
True
Let l(h) = -17*h**3 - 2*h**2 - h + 3. Let t be l(2). Let z = t - -251. Suppose 2*i - z = -0*i - 2*p, 5*p = 5*i - 270. Is 9 a factor of i?
True
Let w(s) = s**3 - 23*s**2 - 53*s + 149. Is 23 a factor of w(25)?
False
Let u(i) = 2*i**3 + 2*i**2 - 4*i - 3. Let n be u(-3). Let p = -9 - n. Does 10 divide p?
False
Let h(c) = -115*c**2 - 7*c + 14. Let a be h(2). Let m = a - -1194. Is m a multiple of 56?
False
Is 95 a factor of 17 + 13 + -10 - -29884?
False
Suppose 30*n - 142*n = -644087 - 514441. Is n a multiple of 24?
True
Let y(f) = 7*f - 90. Let w be y(15). Suppose 4*c = 13*n - w*n + 468, 2*n = 4. Is c a multiple of 14?
False
Let l be -2*188/(-72) - 2/9. Let a be (-6)/(l/((-20)/8)). Suppose 5*i + a*w = 442, 0 = 2*i - 0*i + w - 177. Does 12 divide i?
False
Suppose -6909 = 3*y + 4*b - 30861, -3*b = -2*y + 15951. Does 60 divide y?
True
Suppose 0 = a - 3*a + 26. Suppose -a + 19 = 2*l. Is 35 a factor of ((-1 - 100) + 0)*(2 - l)?
False
Let b(p) = -53*p + 323. Let h be b(6). Suppose -3*t = t - 8. Suppose i - 26 = -h*n + 4*i, -t*n + 23 = 3*i. Is 6 a factor of n?
False
Suppose 0 = -p - p - 2, 0 = 4*c + 2*p + 2. Suppose c = 4*g - 97 - 163. Let l = g - 35. Is 8 a factor of l?
False
Let d(n) = 2*n**2 - 5*n**2 - 11 + 6*n**2. Suppose -9 + 29 = 5*p. Is d(p) a multiple of 6?
False
Let v be (-8)/(5 - (-108)/(-20)). Suppose 0 = 31*j - 26*j + v. Does 8 divide 1412/16 - (-1)/j?
True
Let y be -2 + 3 + (8 + 0)/2. Suppose 0 = n + y*n - 348. Is 29 a factor of n?
True
Suppose -45*t - 10*t + 996800 = -20*t. Is t a multiple of 32?
True
Suppose 2*n - 3967 = -5*c, n - 307*c + 310*c = 1982. Is n a multiple of 46?
False
Suppose -2*t - 9498 = 11*d - 13*d, 4*d - 5*t = 18998. Suppose -12*o = -473 - d. Is 15 a factor of o?
True
Let b(k) = k**2 - 2*k + 72. Let n(z) = -z**2 + 8*z + 9. Let x be n(9). Let v be b(x). Suppose -p - 3*s + 22 = 0, 3*p = p + s + v. Is p a multiple of 34?
True
Let j = -47 + -112. Let m = 81 + j. Let o = m + 206. Is o a multiple of 18?
False
Let w(u) = 3*u**3 - 4 + 3 + 12 - 4*u**3 + 2*u**2. Let s be 6/9 + 2/(-3). Is w(s) a multiple of 3?
False
Let r(q) = q**3 - 3*q**2 - 9