ltiple of 22?
False
Suppose 2*d - 470 = -4*v, 0 = d + 6*d - v - 1720. Does 3 divide d?
False
Let d = 30 + 4. Suppose 0 = -2*t + 14 + d. Is t a multiple of 24?
True
Let t(m) = -m**3 + 3*m**2 - m + 6. Let r be t(3). Suppose 0*x - r*x - f = -90, 0 = -3*f. Is x a multiple of 18?
False
Suppose a + 4*n = -11, n + 14 = 4*a - 2*a. Suppose -4*u - 89 = -4*o + 11, -2*o + 22 = a*u. Is 21 a factor of o?
True
Suppose 84 = z + 2*z. Let w = z + -1. Suppose 2*h = 5*h - w. Does 4 divide h?
False
Let r(w) = -w**3 - 8*w**2 + 9*w + 7. Let p(k) = k**2 - k - 3*k + 6*k - 1 + 4*k. Let d be p(-4). Does 4 divide r(d)?
False
Let z(o) = o**3 - 4*o**2 - 3*o - 4. Let s be z(5). Suppose 3*r + 3*f - 15 = 0, -2*r - f = 2*f - s. Suppose 0 = -3*a + r, 368 - 76 = 5*v - a. Does 18 divide v?
False
Let d(o) = -o**3 + 3*o - 1. Let y(g) = g**2. Let c(h) = d(h) - 2*y(h). Let q be c(-3). Is (-20 - q)*(9 + -10) a multiple of 5?
False
Let i = 6 - 29. Suppose 3*g + 3 = -6. Let w = g - i. Is w a multiple of 14?
False
Let j be 36/(-24)*258/9. Let h = 1 - 0. Does 8 divide (0 + -2 - j)*h?
False
Suppose 0 = -5*f + 1932 - 132. Suppose 0*a = -5*a + i + f, -2*i + 83 = a. Is 10 a factor of a?
False
Let g be (-2 - 6/(-5))/(12/150). Is (-1424)/g - (6 + (-33)/5) a multiple of 13?
True
Let z(v) = 10*v**2 + 3*v + 1. Let w be z(-2). Let a(l) = -2*l**2 + 7*l - 4. Let h be a(5). Let o = h + w. Is o a multiple of 16?
True
Suppose -c + 42 = -24. Is 11 a factor of c?
True
Let b(n) = n**3 + 4*n**2 + 13*n - 37. Is b(11) a multiple of 17?
True
Suppose -28*c = -23*c - 475. Suppose -y + 0*y - 3*g = -31, -c = -5*y - 3*g. Is 16 a factor of y?
True
Suppose 2*m = 2*b + 16, 0 = 2*b - b + m. Let q be -3*(-6)/135 - 2306/(-30). Let z = b + q. Is 25 a factor of z?
False
Let k be ((-8)/(-44))/(1/11). Suppose -3*r + k*c = -35, -2*r + 3*r + 4*c = -7. Does 9 divide r?
True
Let f(m) be the second derivative of -3*m**5/20 - m**4/6 - m**3/6 + 3*m**2/2 + m. Let q be 0/(-5 + 4) - 3. Is f(q) a multiple of 15?
False
Suppose 2*t = 3*g + 358, -5*g = -0*g - 10. Does 26 divide t?
True
Let s(q) = q**2 - 8*q + 8. Let m be s(8). Is 16 a factor of -85*(m/(-5) + 1)?
False
Let c(k) = -56*k**3 + 4*k**2 + 8*k - 7. Let r(a) = -111*a**3 + 7*a**2 + 15*a - 13. Let b(w) = 11*c(w) - 6*r(w). Does 17 divide b(1)?
True
Suppose 3*d - 5*o - 718 = 0, -457 = 4*d + o - 1445. Is d a multiple of 6?
True
Let h(a) = -3*a - 1. Let i be h(-2). Suppose 5 = r - 0*r - u, 2*r - 5*u + i = 0. Let m = 24 - r. Is m a multiple of 7?
True
Let k = 6 - 2. Let u(t) = t**2 - 3*t - 1. Let l be u(k). Suppose 0 = 2*j - l*j + 18. Does 6 divide j?
True
Let z = 46 - 35. Is z a multiple of 3?
False
Suppose 2*g + 5*h = 987, 34*g - 38*g + 4*h = -1960. Is 4 a factor of g?
False
Suppose 5*l = -u + 31 + 34, -3*u - 4*l + 140 = 0. Is u a multiple of 12?
False
Suppose -3*d - 2*a + 72 = 0, d = 6*d - 3*a - 120. Is d a multiple of 4?
True
Let g = -236 + 138. Let d = g + 169. Is d a multiple of 14?
False
Let v = 3 - 10. Let r(t) = -2*t - 38. Let o be r(-18). Let k = o - v. Is 2 a factor of k?
False
Suppose -408*b - 6784 = -416*b. Is b a multiple of 16?
True
Suppose -4*b + 192 + 1432 = 0. Is b a multiple of 14?
True
Suppose 0 = i - 5 + 1. Is 18 a factor of i + -1 + 93*(-1)/(-1)?
False
Let n = -12 - -15. Suppose -5*s + 3*b + 683 = 0, -1 = -2*b + n*b. Suppose -4*t + 4*c = -s, t + 5*c = 2 + 2. Is t a multiple of 19?
False
Let x be 15 + (6 - 2)/(-2). Let a = x - 1. Is a a multiple of 2?
True
Suppose 0 = -0*q - 2*q. Suppose q*u = 4*u. Suppose 2*p + u*p - 22 = 0. Does 5 divide p?
False
Let a = -11 + 14. Suppose 25 = 5*v + 4*o - 9*o, 4*v = -a*o + 41. Does 10 divide (v/3)/(8/60)?
True
Suppose -3*j + 136 = 5*b, 3*b + 0*b - 89 = -2*j. Let f = j - 15. Does 11 divide f?
True
Let h(i) = -i**3 - 10*i**2 - 5*i + 6. Let x = -10 + 0. Is 17 a factor of h(x)?
False
Let l be 4/16 - (-14)/8. Suppose l*v - 3*v + 1 = 0. Is 12 a factor of (-4)/((-4)/60*v)?
True
Does 33 divide 5/1 + -23 + 348?
True
Let z = -817 + 1233. Is z a multiple of 16?
True
Let x be (5/(-3))/((5/(-15))/1). Suppose -449 = -x*z - 104. Is z a multiple of 25?
False
Let s be 5*9/15*23. Suppose 2*v + s = 3*v. Is v a multiple of 9?
False
Let i be (-6)/((-1)/3 - -1). Let j(v) = 2*v**2 + 10. Is j(i) a multiple of 43?
True
Let r be ((-4)/(-5))/(2/(-20)). Let m(p) = p**2 + 6*p - 2. Let d be m(r). Is 8 a factor of d + 2/1 + 3?
False
Suppose -15*j + 45360 = 15*j. Does 13 divide j?
False
Let z(n) = -n**3 - 3*n**2 + 3*n. Let w be z(-4). Suppose 4*k + w*u = -k + 8, -4*k + 8 = 4*u. Suppose -4*t + k*t = -192. Is t a multiple of 16?
True
Suppose x - 6 = 4*m, -8*m + 3*m + 5 = 0. Let l = 98 + x. Does 10 divide l?
False
Suppose 7*a = 11*a + 4*c - 16, 4*c = 4*a - 32. Is 9070/30 + (-8)/a a multiple of 43?
True
Let v(d) = -24*d + 28. Let w be 42/(-24)*16/4. Is 49 a factor of v(w)?
True
Let x be 69/6 - (-4)/8. Suppose -d = d, -j + x = -5*d. Is 11 a factor of j?
False
Let x(n) = -165*n**3 - n**2 + n. Let o be x(1). Is (-3)/(o/1750) + 4/22 a multiple of 4?
True
Let u(q) = q - 10. Let a be u(13). Is a*(-60)/25*-5 a multiple of 14?
False
Suppose -84*l - 63 = -85*l. Is 7 a factor of l?
True
Let o(r) = -4*r - 31. Let m be o(-9). Suppose 0 = -m*g + 9*g - 352. Is g a multiple of 11?
True
Let s = 419 - 357. Is 13 a factor of s?
False
Let i = -153 + 174. Let y(z) = -z**2 + 36*z - 53. Is y(i) a multiple of 21?
False
Suppose -v + 1589 = 2*d, -8*v = -9*v - d + 1588. Does 69 divide v?
True
Let x be ((-2)/(-3))/(4/(-18)). Let u be 0 + (3 - 3 - x). Suppose 5*l - u*l = 32. Is l a multiple of 16?
True
Let h(v) = 14*v**2 - 31*v - 41. Is 61 a factor of h(-7)?
False
Is -2 + 193 + 8 + -11 a multiple of 10?
False
Suppose 19 = 10*q - 1. Suppose -22 = -x - 4*l, -3*x = -8*x + q*l + 88. Is x even?
True
Suppose 4*m - 3*r = -7 - 28, 37 = -4*m + 5*r. Let h(x) = x**3 - 6*x**2 - 12*x + 1. Let v be h(8). Let j = v + m. Is j a multiple of 5?
True
Let o(i) = i**2 + 17*i - 44. Let f be o(-20). Suppose f*h = 11*h + 700. Is 35 a factor of h?
True
Suppose q = -v, 2*v - 4*q + 0 + 6 = 0. Does 32 divide 32/6*(v + 19)?
True
Is (-8)/(-3)*(-20865)/(-130) a multiple of 39?
False
Let k = 2082 + -1236. Is 28 a factor of k?
False
Let y(r) = 80*r + 15. Is y(6) a multiple of 10?
False
Let u(s) = s**3 - 15*s**2 + 16*s + 13. Let o be u(14). Let p = o + -29. Does 3 divide p?
True
Let a be (-16)/(-2) - (-14 + 14). Is 4 a factor of (-147)/(-12) - 2/a?
True
Suppose v = 8 - 6. Suppose -3*y + v*x + 28 = 0, 0 = y - 3*x - x + 4. Is y a multiple of 3?
True
Let h be (-288)/54 - (-8)/6 - -25. Does 14 divide ((-18)/h)/2 + 891/21?
True
Suppose -5661 = -3*v - p, -4*p - 3459 = -3*v + 2217. Is v a multiple of 16?
True
Let r = -54 + 88. Let v = r + -31. Suppose -3*k - 2*c + 97 = 0, -v*k + c + 0*c = -109. Is 6 a factor of k?
False
Is (2 - 38)*(-29 - -27) a multiple of 8?
True
Suppose 3*c - 128 = -2*x + 83, -5*x = -2*c + 147. Suppose -3*p = -5*f - 193, -f + 3*f = -5*p - c. Let a = f + 70. Does 21 divide a?
False
Suppose 70*y - 56*y - 11200 = 0. Is y a multiple of 40?
True
Let h(s) = 5*s - 32. Let i be h(7). Let f be 3/(-12) + 13/4. Suppose 0*x + 108 = 2*u - i*x, -3*u = f*x - 147. Does 18 divide u?
False
Suppose -6*h - 118659 = -43*h. Is 57 a factor of h?
False
Let q = -33 - -44. Let c(h) = 3*h - 9. Does 3 divide c(q)?
True
Is (-4)/20*-5*271 a multiple of 4?
False
Let k(f) = -36*f - 4. Is k(-14) a multiple of 20?
True
Suppose 0 = j - z - 211, 394 + 482 = 4*j + 4*z. Is j a multiple of 43?
True
Let a(x) = -x + 81. Let p be a(-25). Let c = p - 58. Does 16 divide c?
True
Let t be 356/1 + 1 + -5. Suppose 0 = -10*q + 8*q + t. Is 29 a factor of q?
False
Let z(j) = j - 34. Let i be z(-6). Let b = i + 53. Is 5 a factor of b?
False
Let d = 41 + -89. Let m be (d/(-40))/(3/(-10)). Let p = 12 + m. Is p a multiple of 8?
True
Suppose 4 = -2*h + 10. Suppose -3*d - 22 = 4*b - h*b, -d - 12 = b. Let r(p) = -4*p - 17. Does 4 divide r(b)?
False
Let g(o) = -o**3 + 13*o**2 + 2*o - 2. Is 53 a factor of g(10)?
True
Suppose n = -3*t - 43 - 20, -4*t - 2*n = 86. Let d = t - -17. Does 26 divide (-10)/(-15)*(-459)/d?
False
Let f(u) = 20*u - 72. Is f(9) a multiple of 4?
True
Let g(c) = 5*c**3 - 4*c**2 + 11*c - 1. Does 13 divide g(2)?
False
Suppose -5*o - 5 = 0, 4*o + 745 - 21 = 4*f. Does 36 divide f?
True
Let v(t) be the first derivative of -8 - 4*t - 3/2*t**2 + 1/2*t**4 +