of v?
True
Let b(n) = -557*n - 1629. Is b(-9) a multiple of 12?
True
Let i = -10234 + 14716. Is i a multiple of 15?
False
Let r be -2*200/(-12)*24/5. Suppose -2*n + 3*q = q - r, 0 = 3*q - 3. Is 8 a factor of n?
False
Let s(f) = f**2 + 13*f + 148. Suppose n + 32 = 3*n - 3*d, 2*d + 15 = n. Does 36 divide s(n)?
True
Let q = -56 + 400. Suppose 0 = 2*x - 3*z - 123, -5*x - 62 + q = z. Is x a multiple of 12?
False
Suppose 1456 = t + 6*t. Let n = 262 - t. Does 21 divide n?
False
Suppose 3*p = 2*k + 88, -p - 17*k + 28 = -19*k. Is 66 a factor of (1 - p/(-4))/((-12)/(-1800))?
False
Suppose -3650 = -2*z + 1682. Is z a multiple of 11?
False
Suppose -4*d - 28 = -4*c, -2*d + 6*d - 20 = -2*c. Let y = 6 - c. Is 28 a factor of y*(-63 + 9/3)?
False
Let w(t) = -2*t**2 - 97*t - 563. Is w(-37) a multiple of 2?
True
Let b = 41 + -32. Let w(m) = -3*m + 31. Let h be w(b). Suppose s = -z + 23, h*z + 2*s - 48 = 54. Does 23 divide z?
False
Suppose i + 47*g - 43*g = 965, -i - 2*g + 959 = 0. Let d = i + -600. Is 54 a factor of d?
False
Is 22 a factor of (-1036 - 22394)*(-2)/3?
True
Let f be 1/(-4) - (-9)/4. Let w = 34822 - 32957. Suppose -6*b + b + w = -3*g, -f*g - 1870 = -5*b. Does 66 divide b?
False
Let d be (-492 - (-24)/(-4)) + (-3)/1. Let o = 590 + d. Is o a multiple of 45?
False
Let n = -44 - -160. Suppose 5*v + f = 8*v + 88, 0 = 4*v - 2*f + n. Is 23 a factor of (v/(-4))/((-60)/(-920))?
True
Suppose -36*s + 26 = -23*s. Suppose 5*z - 4*x - 3918 = 0, -285 = -2*z - s*x + 1275. Is 17 a factor of z?
True
Let a be 5865/(-663) - (-2)/(-13). Does 7 divide 1213/3 - (-3)/a?
False
Let d(o) = 113 - 219 - 6*o + 110 + 2*o**2 - 10*o. Is d(12) a multiple of 6?
False
Suppose -3*t + 5*b - 3*b = 31, 21 = -3*t - 3*b. Let v = t + 322. Is v a multiple of 8?
False
Let w = -28 - -36. Let n(d) = -3*d - 7*d**2 + 6 - d + d**3 - 3*d + 4*d. Is 46 a factor of n(w)?
True
Let r(l) be the first derivative of -7*l**2 + 91*l + 25. Is r(-6) a multiple of 25?
True
Suppose -g + 268 = 8*b - 6*b, 4 = 2*b. Suppose 119*r - g = 117*r. Is 44 a factor of r?
True
Let n = 4 + 2. Suppose 2*p = 2*h - 296 + 34, 4*h - p - 515 = 0. Is 8 a factor of (h/(-12))/((-4)/n)?
True
Let s(n) = 3*n + 26. Let p be s(-8). Suppose 2*m - 104 = 14. Suppose 25 = p*y - m. Is 42 a factor of y?
True
Let o = -10962 + 49338. Is 41 a factor of o?
True
Let b(x) = -1412 + 29*x + 713 + 723. Does 19 divide b(9)?
True
Suppose -19*c - c + 1093572 = 17*c. Does 10 divide c?
False
Is 0 + -1 + -1 + 21570/5 a multiple of 33?
False
Suppose 58 = 2*w - 2*n, 3*n - 8*n = 10. Suppose -w*v - 6832 = -24328. Is 27 a factor of v?
True
Let t = 2575 + -1199. Suppose -2*d + 6*d = t. Is 17 a factor of d?
False
Suppose 7*m - 19*m = 54900. Let n = m - -8883. Is 18 a factor of (-8)/10 + 1 + n/60?
True
Suppose 390*r - 2062368 = 192*r. Does 4 divide r?
True
Let c be 14*(11 + -16 - (-11)/2). Suppose c*h + 423 = 717. Does 6 divide h?
True
Let v be (1 + (-183)/(-15))*(7 + 78). Suppose 3*g + h = v, -g = 3*h - 524 + 150. Is g a multiple of 20?
False
Let n(p) = -10*p**3 + 7*p**2 + 41*p. Is n(-18) a multiple of 342?
True
Suppose 186*s = -99*s + 60*s + 2500875. Is s a multiple of 65?
True
Let s(n) = n**3 - 2*n**2 + 81. Let o be s(0). Let t = o - 78. Does 28 divide (-2768)/(-20) - -1 - t/(-5)?
True
Let m be (11 + -11)*2/(-6). Does 8 divide -3 - -388 - -1*(-1 - m)?
True
Suppose -6*d + 16054 + 4610 = 0. Does 14 divide d?
True
Is 99 a factor of 135100/7 + (-16 - -5)?
False
Let h = -381 + 743. Let t = -333 + h. Is 5 a factor of t?
False
Suppose -2*z + 3*a + 279 = -0*a, -4*z - 2*a + 518 = 0. Suppose -4*s - 97 = 5*d, 0*d = -2*d + 6. Let p = s + z. Does 11 divide p?
False
Let b(o) = -o**3 - 5*o - 8*o**2 - 3*o + 228 - 240. Is b(-12) a multiple of 55?
True
Let b = 76 + -37. Let l = b + -9. Suppose -n - 2*c = -15, -4*n - n + 5*c = -l. Does 2 divide n?
False
Suppose 33*h - 802189 = 491411. Does 98 divide h?
True
Suppose -12 = 2*l - 4*o, 2*o + 0 = -3*l + 14. Suppose 0 = k - 2*c - 149, -l*k + 128 = 2*c - 182. Does 17 divide k?
True
Does 20 divide 24 - (1323282/(-23) - -18)?
True
Suppose -114*c + 143*c = 100*c - 1494834. Does 87 divide c?
True
Is 1 + -1 + 8 - (3 - 576) a multiple of 3?
False
Is 28 a factor of (2 - -874)*(-2 - (-5)/2)?
False
Let f(d) = 20*d - 47. Let v(t) = 19*t - 48. Let h(g) = 6*f(g) - 7*v(g). Is 6 a factor of h(-5)?
False
Let v be 1/4 - ((-530)/(-8))/5. Let q = v + 16. Suppose -m + q*m = -x + 22, -10 = 5*x. Is m a multiple of 12?
True
Suppose -w = 9*s - 24216, 5*w + 0*s = s + 121310. Does 21 divide w?
False
Let q = -15446 - -24439. Is 38 a factor of q?
False
Let y(x) = x**2 - 3*x - 10. Let n be y(4). Let u be n/(-24)*0/(-1). Suppose u = 3*k - 4*f + 3*f - 63, 5*k + 4*f = 105. Is 7 a factor of k?
True
Suppose -2*a + 5*l - 41 = -5*a, 4*a + 4*l = 52. Suppose -2*r + a*r = 3000. Suppose 0 = -4*o - o + r. Is o a multiple of 12?
True
Suppose 61 = -4*k - 2*z + 2295, 4*z + 2264 = 4*k. Is 4 a factor of k?
False
Suppose -n + a + 4 = 3, 4*a + 4 = 3*n. Suppose -4*r + 40 + 1144 = n. Is r a multiple of 18?
False
Suppose 26*t - 22*t = 3*v - 3232, -4*t = -4*v + 4304. Is 22 a factor of v?
False
Is (13977/(-72)*-16)/(4/2) a multiple of 17?
False
Suppose -5*f - 5*i + 595 = -1220, -4*f + 5*i + 1416 = 0. Let x = -238 + f. Is x a multiple of 11?
True
Is ((-2 - (-2 - 2)) + 175)*(-1 + 267) a multiple of 133?
True
Suppose -5*m + 2*p - 29 + 8 = 0, -3*p + 6 = m. Let a be 3 + (-8 - m) - -10. Does 4 divide (24/(-16))/((-3)/a)?
True
Let m(b) = 581*b**2 + b + 5. Let t be m(-2). Suppose -t = -4*p - a + 4*a, -3*p = -3*a - 1749. Is p a multiple of 17?
True
Suppose 9*m = -11*m - 14*m + 2856. Let w = 11 - -18. Let k = m - w. Is 7 a factor of k?
False
Suppose -18 = -2*q + 34. Let x(k) be the first derivative of -k**4/4 + 9*k**3 - 12*k**2 + 20*k - 2. Does 11 divide x(q)?
False
Is 6 a factor of 2548 + 3*1 + (-64 - -61) + 0?
False
Let n(f) = 9*f + 10. Let s be n(-5). Let r = s + 38. Does 9 divide (-549)/(-12) - r/(-8)*-2?
True
Suppose 0 = -4*k - o + 39, -k = -4*k + 5*o + 12. Let y = k + -6. Suppose -20 - 64 = -y*t + z, -3*t + 2*z = -87. Is t a multiple of 4?
False
Let v(w) = 2*w**2 - w + 1119. Let k be v(0). Suppose -1849 - k = -14*s. Is 9 a factor of s?
False
Suppose -5*d - a = -2085, -97*a = -96*a - 5. Is 52 a factor of d?
True
Suppose -2*k - 3*j + 6 = -11, -5*k - 4*j = -25. Let z be 602/7*(-2 - k/(-2)). Let y = -92 - z. Does 17 divide y?
False
Let t = 141 + -91. Suppose 37*z - t*z = -2990. Does 10 divide z?
True
Let a = 105 + -100. Suppose -a*s = 3*j - 2*j - 4279, 0 = 5*s - 5*j - 4255. Suppose -3*l - 5*o + 225 = -2*l, s = 4*l + 5*o. Does 15 divide l?
True
Let c be (5/(-10))/((-1)/(-99 + 1)). Let q = -49 - c. Suppose -2*o + 37 = 2*y - 69, 3*o - y - 155 = q. Does 13 divide o?
True
Suppose 9*b = 25434 + 486. Does 62 divide b?
False
Suppose 5*m - 12 = 4*q + 4, -m - 2*q = -6. Suppose -g - 1 + m = 0, 4*g - 9 = b. Suppose -134 = -b*z + 184. Is 17 a factor of z?
False
Suppose -9*r + 9 - 36 = 0. Does 68 divide 4 + (6 - 2163/r)?
False
Suppose -150 + 159 = 3*u. Let s(a) = -a**3 + a**2 + 6*a. Let q be s(u). Suppose q*j - 176 = -8*j. Is 16 a factor of j?
False
Let b(o) = o + 37. Let r be b(-15). Let f be (-12)/28 + (-114)/(-21). Let l = f + r. Does 7 divide l?
False
Suppose 37792 = 7*u - 59424. Does 21 divide u?
False
Let v(r) = -5*r**2 - 8*r + 151. Let m(k) = -9*k**2 - 15*k + 301. Let s be (3 - 4)/(4/(-24)). Let f(w) = s*m(w) - 11*v(w). Is f(0) a multiple of 29?
True
Let i(z) = 9*z - 13. Let x be i(9). Suppose -3*u + 32 = -2*n + 6*n, -4*n = 5*u - 48. Does 16 divide ((-12)/u)/((-3)/x)?
False
Suppose 0 = -3*d + 3*k - 3, 6*d - d - 4*k = -4. Suppose z + 25 - 319 = d. Is 14 a factor of z?
True
Let k(v) be the first derivative of -149*v**2/2 - 21*v - 1. Let g be k(-6). Suppose 14*j - g = -173. Is 25 a factor of j?
True
Let w(o) = -5*o**3 - 40*o**2 + 471*o + 21. Does 11 divide w(-25)?
True
Let l(u) = 74*u**2 + u - 1. Let o be l(-2). Let w be 18/18*19*7. Let d = o - w. Is d a multiple of 12?
False
Suppose 12 = 5*g - q - 28, g = -2*q + 8. Suppose 4*r = 5*i + 130, -g = 6*i - 2*i. Let d = 14 + r. Is d a multiple of 5?
False
Let u be ((-28)/3)/((-2)/63). Suppose -o - 5*r + u = 79, 2*r - 593 = -3*o. Is o a multiple of 15?
True
Let q = -1217 - -1960. Is q a multiple of 3?
False
Let o be (6 - 9)*(1 - -5). Let w = 28 + o. Let n(c) = -