se 0 = 6*v - 4*v - 68. Is 7 a factor of v?
False
Let a = -95 + 131. Is a a multiple of 12?
True
Let a be 80/25*55/(-2). Is ((-54)/(-24))/((-3)/a) a multiple of 15?
False
Suppose 0 = -a - 2*c + 84, a = -2*c + c + 79. Is 26 a factor of a?
False
Is 122 + 5 + -5 + 1 a multiple of 41?
True
Suppose -5*g = 4*z - 68, 3*z - 16 = 2*z - g. Is z a multiple of 6?
True
Is 12 a factor of 62/124 + ((-170)/(-4))/1?
False
Let l = 31 + -12. Let b = l - 7. Is b a multiple of 4?
True
Let z(u) = u**3 - 5*u**2 - 10*u + 1. Let k(b) be the second derivative of -b**4/12 - 7*b**3/6 - 5*b**2/2 + b. Let m be k(-4). Is z(m) a multiple of 12?
False
Suppose v - 72 = 84. Is v a multiple of 13?
True
Let w(r) be the first derivative of -13*r**2/2 + r - 1. Is 15 a factor of w(-6)?
False
Is 12/(-9) - (-112)/3 a multiple of 12?
True
Suppose y + 432 = 4*y. Does 18 divide y?
True
Suppose -26 = -5*w - t, -2*t = -2*w - 3*w + 38. Let m be -1 - w/(-4)*4. Suppose m*x + 0*u + 2*u = 80, -5*u + 80 = 5*x. Is 8 a factor of x?
True
Let l(r) = -3*r + 2 - 5*r + 2*r. Suppose 7 + 13 = -4*q. Is l(q) a multiple of 12?
False
Suppose 89 = 3*q - 4*v - 0*v, -v - 83 = -3*q. Let g = 4 + -10. Is 15 a factor of (60/(-9))/(g/q)?
True
Suppose 2*i - 57 = 5*y - 214, 5*y - 152 = -3*i. Does 3 divide y?
False
Let s be (1 - -1)/(2/(-15)). Let n = s - -29. Is n a multiple of 13?
False
Suppose -2*z + 26 = -4*f, -2*f = -4*z + 2*z + 18. Suppose 2*w - z*t = -11, 0 = 4*w - t - 4*t + 17. Let r(i) = i**2 - 3*i. Is r(w) a multiple of 9?
True
Suppose 74 = 6*h - 4*h. Suppose -157 + h = -4*r. Does 25 divide r?
False
Let v(w) = -6*w + 6. Is 16 a factor of v(-9)?
False
Let o = 3 - 2. Let y be o*(-1 - (0 - 2)). Is (-49)/(-3) + y/(-3) a multiple of 16?
True
Is 1192/6 + (-6)/9 a multiple of 17?
False
Is (-6)/2 + 1962/9 a multiple of 43?
True
Let j = 28 + -20. Is j even?
True
Let v be (1/(-3))/(5/(-30)). Suppose -2*d = 4*l - 26, 0*d + 5*l - 30 = -v*d. Is 2 a factor of d?
False
Let p(k) = -k**2 - 8*k - 12. Let q be p(-8). Is 183/5 + q/20 a multiple of 25?
False
Suppose x + x - 24 = 0. Let i = -4 + x. Is 8 a factor of i?
True
Let b(x) = -x - 5. Let l be b(-10). Suppose 0 = -5*g - k - 323, -k = -l*k - 12. Let r = -19 - g. Is r a multiple of 23?
False
Suppose -21 = -c + 5. Does 14 divide c?
False
Let q be (-36)/(-27)*3/2. Suppose -4*a = 4*d + a - 77, q*a = 2. Is d a multiple of 9?
True
Is 39 a factor of 50 - 3 - (-21)/(-7)?
False
Suppose -d - k = -13, 0*d + 5*k - 9 = 2*d. Is d a multiple of 8?
True
Let q be (-6)/((0 - 2)/1). Suppose -a + q*t - 2 = 1, 5*a - 4*t = -4. Suppose 0 = 5*b - a*b - 180. Is b a multiple of 12?
True
Suppose -3*l = -l - 152. Suppose -20 = -3*j + l. Does 17 divide j?
False
Let m(p) be the third derivative of p**5/60 + p**4/3 + p**3/2 + p**2. Let j be m(-8). Suppose 5*r = -3*y + 238 - 67, j*r - 4*y - 120 = 0. Is 18 a factor of r?
True
Suppose 3*q + 5*s = 155, 3*s = -q + s + 51. Is q a multiple of 17?
False
Suppose -5*t - 16 = 3*o, -5*t = -2*o + 3*o - 8. Let a = 24 - o. Is a a multiple of 12?
True
Let c(w) = w + 34. Suppose -r - 21 = -3*y - 0*y, 5*y + 4*r = 18. Suppose y*l - 2*l = 0. Is c(l) a multiple of 12?
False
Suppose 2*l = 171 - 79. Is l a multiple of 15?
False
Suppose 4*l - 780 = -0*l. Suppose -5*k + l = -0*k. Does 10 divide k?
False
Suppose 2 = 2*b - 4*w, -3*w - 1 = -4*w. Suppose g + b*g = 132. Is g a multiple of 11?
True
Suppose 0 = 5*h - 12*h + 420. Is 15 a factor of h?
True
Let l(z) = z**3 - 7*z**2 + 7*z + 3. Is 3 a factor of l(6)?
True
Suppose 566 - 6 = 5*d. Does 8 divide d?
True
Suppose 0 = -a - 5*c + 76, 0*c - 84 = -a - 3*c. Is 16 a factor of a?
True
Suppose 15 = 5*b - 0*b. Is b a multiple of 3?
True
Suppose x = 3*x - 202. Let o = x - 53. Does 13 divide o?
False
Let m(a) = -a**3 + 3*a**2 + a - 5. Let w be m(4). Let n = 15 - w. Does 12 divide n?
False
Let b = -10 + 5. Let i(r) = r**2 - 2*r - 3. Is 13 a factor of i(b)?
False
Suppose 2*z + 100 = 2*f, -2*z = -f - 3*z + 40. Suppose -4*g + x + 315 = 0, -5*g + 375 = 4*x - f. Suppose -4*l = 8 - g. Does 9 divide l?
True
Let t = 135 + -81. Is t a multiple of 23?
False
Suppose -2*a + 11 + 21 = -2*h, -25 = -5*h. Let f be 16/(-10)*(-100)/8. Suppose -f = -m + a. Does 14 divide m?
False
Let f be (2*21)/(-2) - -1. Let i = f + 8. Is 1/3 + (-272)/i a multiple of 8?
False
Let x be 2/(-6) + (-1108)/(-12). Suppose 0 = 5*r + x - 277. Is r a multiple of 20?
False
Let m(h) = -63*h**2 + 3. Let s(t) = -32*t**2 + 2. Let p(f) = 3*m(f) - 5*s(f). Let w be p(1). Let o = 62 + w. Is o a multiple of 16?
True
Does 13 divide (1 - 94)*-1 - 0?
False
Let m be (-4)/(-14) + (-52)/(-14). Suppose m*g - 134 = 98. Does 27 divide g?
False
Let u(t) = -33*t + 6. Is u(-1) a multiple of 37?
False
Let i be (-26)/(-8) + 1/(-4). Let g be 20/(-6) - 2/i. Is 3 a factor of g/14 + (-51)/(-7)?
False
Is ((-52)/(-6) + 1)/((-10)/(-60)) a multiple of 50?
False
Let i = -57 - -72. Does 12 divide i?
False
Suppose 5 = z - 7. Is 6 a factor of z?
True
Let a = 0 - -60. Does 15 divide a?
True
Let n be ((-98)/(-21))/(2/3). Let g(y) = 3*y + 9. Does 7 divide g(n)?
False
Let d be 0 - -33 - (-1)/(-1). Suppose -5*o + 78 = -d. Does 6 divide o?
False
Suppose 0 = j + 4*j - 825. Suppose 3*l + j = -3*n + 6*n, -n = -3*l - 57. Suppose -4*s + n = -2. Is s a multiple of 7?
True
Let i = 72 + -41. Is 7 a factor of i?
False
Suppose 5*x = 44 + 106. Is x a multiple of 13?
False
Let a be 12/(8/(1 + 3)). Does 3 divide 2/(-6) + 32/a?
False
Let u(h) = -h**2 + 2*h + 2. Let m(z) = -3*z**2 + 5*z + 6. Let i(v) = 6*m(v) - 17*u(v). Is i(-4) even?
True
Let n be (9/15)/((-4)/(-20)). Let b = 8 + n. Does 11 divide b?
True
Let n(f) = -2*f**2 - 3*f + 5. Let s be n(-4). Let y = s + 27. Is y a multiple of 6?
True
Let s = 15 - 23. Let o(t) = -t + 17. Is o(s) a multiple of 6?
False
Suppose 3*c = 5*c - 60. Does 15 divide c?
True
Let x(o) = o**2 - 5*o - 15. Let p be 0 + 13 - (-2)/(-2). Is 20 a factor of x(p)?
False
Let q(b) = 0*b + b + 6*b**2 - 2*b**2 + 4*b**2. Suppose 5*l + 1 + 4 = 0. Does 7 divide q(l)?
True
Let n(a) = -4*a**2 + 2*a**2 + 2 - 5 + 11*a**2 - 5*a - a**3. Is n(8) a multiple of 7?
True
Suppose -2*p - p - 792 = 0. Is (p/(-11))/(4/6) a multiple of 9?
True
Let l(s) = 2*s**2 + s + 1. Let j be l(-1). Suppose -4*h = 3*c - 52, -5*c - h + 40 = -j*c. Is 20 a factor of (c + 0)*(6 - 0)?
False
Suppose -4 + 2 = -w. Suppose -74 - 38 = -w*t. Is 22 a factor of t?
False
Is 16 a factor of 1 + 118 + -3 - (1 - -3)?
True
Let n(h) = 4*h - 21. Let u be n(6). Suppose 2*j = 2*o + 6, 5*j - 15 = -3*o - o. Suppose -4*r + u*z + 13 = -67, -j*r + 60 = -2*z. Is 10 a factor of r?
True
Suppose 0 = -6*b - 846 + 2592. Is b a multiple of 26?
False
Suppose l - 63 = -9*a + 4*a, -3*a + 47 = -4*l. Does 2 divide a?
False
Is 10 a factor of 1/(-2)*-814 + -3 + 6?
True
Let o = 21 + -7. Let u(h) = h - 7. Let k be u(8). Does 7 divide ((k - -1) + -1)*o?
True
Let r(t) = -t**2 + 17*t - 11. Suppose -5*c - 4*m - m = -60, 4*c - 2*m - 48 = 0. Is 11 a factor of r(c)?
False
Let a = 23 - 7. Suppose -d - a = -3*d. Is 8 a factor of d?
True
Suppose -g = -5*y + 32 - 6, 0 = y - 5*g - 10. Suppose -y = 3*i - 4*i. Does 5 divide i?
True
Suppose 0 = -3*i + 5*o + 175, -303 = -i - 4*i - 3*o. Let y = i + -42. Does 18 divide y?
True
Suppose 0*m - 4*m - 4 = 0. Let r = 7 - m. Does 4 divide r?
True
Let o(g) = 4*g + 14. Is 16 a factor of o(8)?
False
Suppose b - 4*b = -120. Let n = 20 - 17. Suppose 0 = -z - n*z + b. Does 5 divide z?
True
Let i = 8 + 11. Suppose 35 = 3*z - 4*q, z + i = 2*z - 5*q. Does 6 divide z?
False
Does 3 divide (0 + 0 - 1) + (3 - -11)?
False
Suppose 3*z - 4*g = 862, -4*g = -z - 3*g + 288. Is z a multiple of 19?
False
Suppose 2*x - 28 = -2*x. Suppose 4*m - 19 + 1 = -2*c, c + m = x. Suppose 3*h + 0*o - 45 = -3*o, -3*h - c*o = -35. Is 20 a factor of h?
True
Let z = -28 - -46. Does 5 divide 2/(-1*(-2)/z)?
False
Let f = 14 - 8. Is ((-10)/f)/(1/(-9)) a multiple of 3?
True
Let g(h) = h**2 + 4*h + 3. Let r be g(-3). Let q be -1*2 + (59 - -1). Suppose -3*z - 7 + q = r. Is z a multiple of 6?
False
Suppose -2*w - 208 = -5*h, -64 = -3*h - 2*w + 48. Suppose -o = -8 + 19. Let y = h + o. Does 12 divide y?
False
Let j(t) = 5*t**2 + t. Does 9 divide j(2)?
False
Suppose -g + 41 = 5*k, -79 = -5*k + 5*g - 14. Is 9 a factor of k?
True
Let x = -6 - -9. Suppose 0 = 2*p - x*p + 5. Suppose -31 = -p*w + 49. Does 8 divide w?
Tru