*l - t. Is h a multiple of 13?
True
Let z(b) = -5*b**3 - 59*b**2 - 7*b - 11. Does 6 divide z(-12)?
False
Let h(d) = 7*d - 17. Let r(y) = -9*y + 5. Let t be r(-5). Suppose 0 = 3*a - t + 14. Is 17 a factor of h(a)?
False
Let j be (-3 + 1)/(4/(-6)). Suppose -j*o + 13 = -8. Is 3 a factor of o?
False
Suppose 0 = -2*h - 5*r + 111, h + r - 22 - 41 = 0. Is 4 a factor of (-3)/12 - h/(-16)?
True
Suppose -3*u = 2*v - 4*u - 9, 0 = 3*v - 2*u - 16. Suppose -3*a = -g - 125, -v*g = -a - 4*a + 210. Is a a multiple of 6?
False
Let x(y) = -9*y + 8. Let i be x(6). Let f = -134 - i. Does 3 divide (-26)/39 - f/6?
False
Let f(c) = 12*c. Suppose -r + 0*r = -3*l + 39, -5*r - 13 = -l. Is f(l) a multiple of 13?
True
Suppose 2*h - 2 = -i, h + i + 7 = 2*h. Suppose 12 = -2*l - 4*c, 12 = -6*l + 5*l - 5*c. Is l/(h*2/(-87)) a multiple of 18?
False
Let p = 128 - -128. Does 32 divide p?
True
Let u(b) = -b**3 - 4*b**2 + 6*b + 11. Let v be u(-5). Suppose -v - 5 = -c. Does 4 divide c?
False
Is 218/((-20)/(-25) - (-4)/(-30)) a multiple of 19?
False
Let a be 2*4/((-12)/(-15)). Let w be 3 + ((-4)/1 - (-3 + 0)). Is 9 a factor of w/a - 238/(-10)?
False
Let z(u) = 6*u + 7*u + 0*u + 77. Is 19 a factor of z(16)?
True
Suppose 4*a - 3*u = 474 + 1585, 5*a - 2575 = 4*u. Does 56 divide a?
False
Let m = 1 - -5. Suppose m*x - x - 510 = 0. Is 31 a factor of x?
False
Let a(g) = -g**2 - 9*g - 7. Let h be a(-8). Let j be (2 - -2)/(h/3). Suppose j = u - 18. Is u a multiple of 10?
True
Suppose 0 = 4*j + 4*j - 1984. Suppose -10*y + 14*y = j. Is 33 a factor of y?
False
Let r = -31 + 33. Let d(g) = 7*g**3 + 3*g**2 - g - 1. Let s be d(2). Suppose -r*m = -7*m + s. Is m a multiple of 13?
True
Is -45*(-12 + 7) - 0 a multiple of 9?
True
Let v(w) = 3*w + 7 + 1 + 8 - w. Is 11 a factor of v(10)?
False
Suppose -128 = 35*r - 39*r. Does 7 divide 2*(-4)/r - 452/(-16)?
True
Suppose -2*w + 42 = -2*x, 3*x - 4*w - 8 = -67. Let a = x + 180. Suppose -u = 4*u - a. Is u a multiple of 28?
False
Let r(z) = -z**3 + 20*z**2 - 35*z - 26. Let b be r(18). Let m(s) be the third derivative of s**5/60 + s**4/4 - s**3 + s**2. Does 5 divide m(b)?
True
Suppose -4*b - 20 = 0, -4*b - 2420 = -6*t + 2*t. Does 24 divide t?
True
Suppose 0 = 3*g - 1 + 7. Is 28 a factor of (4/6)/(g/(-141))?
False
Suppose 10*s - 129 = 9*s - 3*g, -5*s - 2*g = -710. Is s a multiple of 24?
True
Let g(m) = -m**3 + 7*m**2 - 4*m - 7. Let o be g(6). Suppose 3*x + 4*i + 27 - 4 = 0, 4*i = -20. Let y = o - x. Is y a multiple of 3?
True
Suppose -6*z + 3*z = 5*f - 482, 2*f - 835 = -5*z. Suppose z = 3*a - 4*i - 35, -a + 66 = -2*i. Is a a multiple of 6?
True
Let u(t) = t + 81. Does 8 divide u(-25)?
True
Let a(t) = -t**2 + 10*t + 3. Let x be a(9). Is 5 a factor of (x/16)/((-2)/(-136))?
False
Let f = -10 + 12. Let k(u) = -2*u + 4. Let o be k(f). Suppose 2*z - 6 - 8 = o. Is 7 a factor of z?
True
Suppose -3*m - 9 + 30 = 0. Does 5 divide 1 + -4 + m + 16?
True
Suppose -5*n + 3*a + 2827 = 0, 5*n - 3*a = 4*n + 575. Is 14 a factor of n?
False
Suppose -u = -s + 4*s - 25, 4*u - 2*s - 58 = 0. Let x(p) = p - 8. Let o be x(6). Is 12 a factor of (-8)/(2/u*o)?
False
Suppose -5*l - 20 = -0*l. Let t be (-38)/l*(-8)/2. Let k = t - -129. Does 29 divide k?
False
Is ((-6996)/(-308))/((1/1)/7) a multiple of 3?
True
Let m be 18/117 - ((-1452)/(-13))/(-2). Let c = m + -10. Is c a multiple of 17?
False
Let a(v) = -108*v + 6. Let h be a(-3). Suppose 6*b = -0 + h. Does 11 divide b?
True
Let i(f) = 12*f + 519. Is 22 a factor of i(20)?
False
Suppose -193 = -r - 22. Is r a multiple of 30?
False
Suppose -l = -24*s + 28*s - 1054, -5*s = 2*l - 2111. Does 25 divide l?
False
Let h(c) = -c**3 - 3*c - 12. Let p be h(-5). Suppose -3*g = g - p. Is 16 a factor of g?
True
Let k be (-2)/(-16) - ((-2675)/40 - -2). Let s(r) = r**3 - 8*r**2 - 4*r - 6. Let i be s(8). Let q = i + k. Does 4 divide q?
False
Suppose -d + 185 = -5*g, 18 = -g - 2*d + 6*d. Let m = g - -136. Does 19 divide m?
False
Let t = -1103 - -2725. Does 43 divide t?
False
Let o = 312 - 9. Is o a multiple of 16?
False
Is -7 + (-2 - (-1 + -247)) a multiple of 17?
False
Let x = -867 - -2169. Is 14 a factor of x?
True
Suppose -4*o - 3*q + 0*q + 265 = 0, -4*o - q + 275 = 0. Suppose -o = -8*v + 226. Is v a multiple of 6?
False
Let n be 22/(-18) + 1 + (-1840)/(-18). Suppose 3*i + 3 = 0, i - 22 + n = l. Is 13 a factor of l?
False
Let l = -27 + 39. Let n be 2/(-6) + 64/l. Is 7 a factor of 5/(n/(-2)) + 27?
False
Suppose -16*j + 2115 = -6285. Is j a multiple of 17?
False
Suppose 0 = -3*n + 5*m + 214, -m + 0*m = 2*n - 134. Suppose -2*i - n = -124. Is i a multiple of 9?
False
Let y(a) = a**2 - 11 - a**2 + a**2 + 2. Let c be y(-4). Does 24 divide ((-18)/c)/((-1)/28)?
True
Let c be 49/8 - (-5)/(-40). Is c*6*(6 + -5) a multiple of 6?
True
Let m = 3227 - 2155. Does 67 divide m?
True
Let m be (189/45)/((-1)/(-5)). Let h be (16/(-6) + 3)*m. Suppose 1 = l - h. Is l a multiple of 8?
True
Let y = -2 + -2. Does 14 divide 336/18*(-6)/y?
True
Let o be 14/2 + 6 + -10. Let v(f) = 2*f**2 - 3*f - 4. Does 4 divide v(o)?
False
Suppose 5*m - 2*a = -a - 88, 2*m = -5*a - 46. Let s = m + 18. Is 20 a factor of (2 - s)/1*17?
False
Let q = 3461 + -1391. Is q a multiple of 46?
True
Let j = -8 - -44. Suppose 4*c - 4 + 16 = -p, 4*p + 4*c = -j. Does 2 divide (-14)/p + 1/4?
True
Is 7 a factor of (-140)/77 - -2 - 1074/(-22)?
True
Let o(k) = 6*k**2 + 3*k**2 - 5*k - k**2 - k**3 - k**2 - 6. Let y be o(6). Is (y + -1 - 0)*-44 a multiple of 16?
False
Let y(t) = -4*t**3 + 4*t**2 + 5*t + 3. Let w be y(-2). Suppose 0 = -w*n + 37*n + 164. Is 12 a factor of n?
False
Let f be 0 - 3 - (3 + -1115)/8. Suppose -r = -5*k + 137 + 89, r = 3*k - f. Is k a multiple of 9?
True
Let f = -196 + 312. Suppose 4*i - 89 = 3*w + f, 90 = 2*i - 4*w. Is 11 a factor of i?
True
Let b = -26 - -26. Suppose 0 = 3*c - b*c - 5*r - 75, c - r - 25 = 0. Does 25 divide c?
True
Suppose 3*c - 5*y = 21, c - 5 = y - 0*y. Is 4 a factor of 388/10 - (-8)/(-10) - c?
True
Let q = 74 - 72. Suppose 2*i = -l + 216, i - q*l = 3*l + 108. Does 32 divide i?
False
Let n(c) = -c**3 + 11*c**2 - 14*c + 12. Let p be n(9). Suppose -3*f + 214 = i, -f + i + p = 6*i. Is f a multiple of 4?
False
Let t(n) = 32*n - 369. Does 70 divide t(34)?
False
Is 36 a factor of 1412/4 + 6/(3/(-1))?
False
Suppose -3*s + 14 = 2*s + 3*b, -2*s + 3*b = -14. Is 13 a factor of ((-14)/s - -1)*268/(-10)?
False
Suppose 0 = m + 4 - 28. Suppose 0 = -28*y + 24*y + m. Is 4 a factor of y?
False
Let l = 1094 - 828. Does 38 divide l?
True
Let o(j) = -3*j**2 - 5*j + 1. Let h(d) = 5*d**2 + 9*d - 2. Let r(t) = -6*h(t) - 11*o(t). Is 3 a factor of r(-2)?
False
Suppose -4*h - 11 = 3*a + 5, -2*a + 5*h + 20 = 0. Suppose a = 8*z - 2*z. Suppose -3*b + 8*b - 3*v - 26 = z, -4*v + 26 = 2*b. Does 7 divide b?
True
Let v = -123 - -134. Let h(t) = 6*t - 2. Is h(v) a multiple of 6?
False
Suppose 17 = -3*z - 1. Let x be (-8 - 1)*4/z. Is 18 a factor of 212/x + 34/51?
True
Suppose 7*f - 4*f = -18. Let z be (2 + 132)/(f/(-3)). Let j = z + 13. Is j a multiple of 20?
True
Suppose -299*l = -281*l - 4536. Is l a multiple of 10?
False
Let q = 26 + 26. Suppose -12*n = q - 316. Is 11 a factor of n?
True
Suppose -4*l - 1370 - 672 = -5*o, -2*l = 3*o - 1212. Does 34 divide o?
False
Let m = -30 - -46. Suppose 2*h - m = 118. Is 11 a factor of h?
False
Suppose 51 = 5*p - 2*p. Let a = 18 + -29. Let z = p + a. Is 6 a factor of z?
True
Suppose -3 = -y - 0. Suppose -2*o + c + 5 = 2*c, 3*o = -y*c. Is -3*o/((-15)/9) a multiple of 9?
True
Let u(v) = -v**2 + 10*v + 14. Let k be u(11). Suppose -4*d + 96 = k*x, -4*d + 9*d - 127 = -2*x. Does 9 divide d?
True
Suppose 4*u + 2*t + 16 = -2*t, -4*t - 16 = -u. Let c(o) = -o**3. Let s be c(u). Suppose s*g + 3*g - 21 = 0. Is 2 a factor of g?
False
Let l = -8 + 11. Suppose -l*a - 2*a = p - 124, -574 = -5*p - 2*a. Is 38 a factor of p?
True
Let x(p) = p**3 - 26*p**2 + 31*p + 4. Does 22 divide x(25)?
True
Suppose -29 = -j - 5*d, 0*j = -j - 4*d + 24. Let f(n) = 5*n**2 + 7*n - 5. Let c be f(j). Let p = c - 48. Is 27 a factor of p?
False
Let g(y) = -y**2 + 11*y - 16. Let v be (-44)/(-5) + 1/5. Let k be g(v). Suppose 7 = k*x - 43. Is x a multiple of 5?
True
Suppose 2*a = -47 + 287. Is a a multiple of 13?
False
Suppose -128 = -5*r + 482. Suppose 3*h - 5*f + 33 = -41, -4*h - 5*f - r = 0. Does 19 divide 2/(-