?
True
Let l(z) = -5*z + 162. Does 5 divide l(-40)?
False
Suppose 0 = -2*r + 259 - 71. Suppose 0 = l - 3*f - 61, -8*f + 10*f - 194 = -3*l. Let p = r - l. Is 10 a factor of p?
True
Let n = -12 - -13. Let k be n/(((-10)/4)/5). Does 6 divide (1/2)/(k/(-72))?
True
Suppose -309 + 3587 = 11*a. Is 9 a factor of a?
False
Suppose -b + 237 - 76 = 0. Is 23 a factor of b?
True
Suppose q - 173 = 4*g, 4*g + 18 = -2*q + 400. Is q a multiple of 37?
True
Let x(u) = 3*u**2 - 19*u + 35. Let g(k) = k**2 - 9*k + 18. Let q(l) = -7*g(l) + 3*x(l). Is q(-8) a multiple of 16?
False
Let n(u) be the third derivative of u**6/120 + 3*u**5/20 + u**4/12 - 7*u**3/6 - 71*u**2. Suppose -3*k = -10 + 28. Is n(k) a multiple of 30?
False
Let p be 2/(-7) - ((-90)/21 + 0). Let d(r) = r**2 + 7*r + 3. Is 26 a factor of d(p)?
False
Let c(l) = -l**3 - 10*l**2 + 22*l - 13. Is 26 a factor of c(-13)?
True
Is ((-165)/44 + 5)*26*10 a multiple of 13?
True
Let d(j) = 5*j + 0 - 5 + 0*j - 12*j**2 + 0*j + j**3. Let i be d(12). Suppose -2*r + i = -25. Is 10 a factor of r?
True
Suppose -6*s + 16 = -2*s. Suppose -4*u = x - 9, u + 5*x = s + 3. Does 19 divide 2570/50 + u/(-5)?
False
Let o be ((-4)/(-14))/(5/35). Suppose -m - o*m + 4*h + 1 = 0, 2*h + 3 = -m. Let c = 12 + m. Is c a multiple of 8?
False
Let x(z) = z**3 - 6*z**2 + 7*z - 3. Let i be x(5). Suppose 3*u - i*u + 280 = 0. Is 17 a factor of (u*4)/4 + -2?
True
Suppose q = p + 9, 3*q - 4 = -2*p + 3. Suppose 48 = q*u - 252. Is 20 a factor of u?
True
Let b(s) = 3*s**3 - 2*s**2 - 2*s + 2. Let m be b(2). Suppose -4*g + 2 = -m. Suppose 0 = 5*u + 3*p - 41 + 9, -g*u + 4*p = -32. Does 4 divide u?
False
Suppose 4*t - 1 + 2 = 3*b, -4*b + 4 = -4*t. Suppose 3*d = b*r + 15, 4*r - 4*d - 20 = -8*d. Suppose -2*a = -r*a - 24. Is 10 a factor of a?
False
Let x = 0 + 4. Suppose -w = x*b - 25, 3*b - 11 = w - 1. Suppose -217 = -b*l - 37. Does 11 divide l?
False
Is 7 a factor of (-504)/294*(-2058)/9?
True
Suppose -c + g + 65 = 0, -g + 261 = 4*c - 4*g. Suppose -j = -3*f + 111, -5*j = 4*f - c - 82. Suppose r + 2*k = f, 2*r - 227 = -3*r + 4*k. Is 12 a factor of r?
False
Let j(q) = 63*q + 7. Let v be j(3). Suppose 0 = 2*f + v + 104. Is 6 a factor of 1/4 + f/(-8)?
False
Let p = 32 - 51. Let j = p + 117. Is 9 a factor of j?
False
Let g = 37 - 26. Let t(q) = -q**3 + 11*q**2 + 10. Let m be t(g). Let j(r) = 4*r - 9. Is 11 a factor of j(m)?
False
Is 236/(-118) - (-1298 + 0) a multiple of 48?
True
Let a = -280 + 480. Let u = a + -122. Is 26 a factor of u?
True
Let c(u) = -u**3 + 6*u**2 - 6*u + 6. Let r be c(6). Let a = -100 - r. Let f = a + 114. Is f a multiple of 22?
True
Let u(x) = x**2 - 6. Let l be u(-6). Let h = 47 - l. Is 4 a factor of h?
False
Let p(a) = 150*a - 490. Is p(22) a multiple of 13?
False
Let g(d) be the third derivative of -d**4/24 - d**2. Let p be g(-2). Suppose 7 = -x + 5*i, -p*x + 3*i = 2*x - 57. Does 9 divide x?
True
Let m(p) = -5*p - 30. Let g be m(-10). Suppose g*y = 4*y + 1840. Does 23 divide y?
True
Suppose 2*z = 5*z - b + 10, z = 4*b + 4. Is 10 a factor of (-16)/((z/(-12))/((-10)/12))?
True
Let k(g) = g**3 - 5*g**2 - g + 7. Let n be k(5). Let i(q) = -q - 26. Let f be i(-23). Does 2 divide (-18)/f + (3 - n)?
False
Suppose 0 = -q - 7*j + 10*j + 4269, -5*j - 12823 = -3*q. Is q a multiple of 19?
False
Let p = 14 + 445. Is p a multiple of 34?
False
Let k be (0 + 1)/((-1)/(-5)). Let n(z) = z**2 + 2*z + 5. Let f be n(0). Suppose 5*x - f*g - 35 = -k, 15 = 4*x - g. Is x even?
False
Let z(g) = g**3 - 6*g**2 + 6*g - 1. Let i be z(5). Suppose 5*r - i = -24. Is (-255)/r - 1/(-4) a multiple of 17?
False
Suppose -14*k + 12*k + 2678 = 0. Suppose 5*m - 677 = -2*o, 3*o - k = -o + 5*m. Is o a multiple of 12?
True
Suppose z = 3*z + 78. Suppose 3*h - 2*h = 10. Let d = h - z. Is d a multiple of 19?
False
Is 23 a factor of (46 - 0)*(-7 - 31/(-2))?
True
Suppose 8 = -5*i + f - 14, -3*f - 10 = 4*i. Let g = i + 7. Let c(n) = n**2 - n. Is c(g) a multiple of 6?
True
Suppose 3*n - 3 = -3*c, -3*c + 3 + 0 = -n. Suppose -5*q + 59 = -16. Let g = n + q. Does 8 divide g?
False
Suppose -5*n = -3 - 7. Suppose -6 = -n*v - 0*v. Suppose 0 = 4*c + v*q - 105, -5*c + q = -3*c - 45. Is c a multiple of 8?
True
Let v(t) = 31*t + 8. Does 10 divide v(2)?
True
Suppose 0*o - 4 = o. Let c(k) = -3*k**3 - 4*k**2 + 6*k - 2. Is c(o) a multiple of 34?
True
Suppose 0*b - 4635 = -5*d + 3*b, 950 = d + 4*b. Is 62 a factor of d?
True
Let h = -4 + 7. Suppose -p + 13 = -h*a, -p = -a - 14 - 3. Does 3 divide p?
False
Let z(i) = -58*i**3 + 3*i**2 + 3*i + 2. Is 18 a factor of z(-2)?
False
Suppose 0*m + 15 = -5*i - 3*m, 5 = -3*i - m. Suppose -4*u - 5*p + 309 = i, 5*u + 3*p - 2*p - 360 = 0. Does 10 divide u?
False
Let k(l) = l**3 - 9*l**2 + 23*l - 75. Is 11 a factor of k(9)?
True
Let p = 224 + 54. Is 27 a factor of p?
False
Let j(i) = 23*i + 936. Is 2 a factor of j(-7)?
False
Suppose 14*r - 2126 = 226. Does 42 divide r?
True
Let y be ((-30)/(-21) + -2)/(2/(-7)). Let b(s) be the third derivative of 17*s**4/8 + s**3/2 - 4*s**2. Is 18 a factor of b(y)?
False
Suppose 0 = 5*l - 2*l - 6. Suppose l*t - 65 = -3*t. Does 8 divide t?
False
Suppose -3*i + 3*o - 5*o + 13 = 0, -4*o = 2*i - 14. Let p(v) = -2*v - 4 - 4*v**2 + 4 - 1 + i - 6*v**3. Does 19 divide p(-2)?
True
Let n be (4/10)/((-16)/(-80)). Suppose n*i + i = 15. Is i a multiple of 5?
True
Suppose 12 = -z + 3*z. Suppose -z*v + 69 = -3*v. Let t = 1 + v. Is 4 a factor of t?
True
Let a = -3184 + 6549. Is a a multiple of 16?
False
Suppose -5*p - 236 = -p. Let i = -15 - p. Does 11 divide i?
True
Suppose 12*d - 3113 = 1567. Is d a multiple of 4?
False
Let g(n) = 62*n - 20. Let p(l) = -21*l + 7. Let a(w) = 3*g(w) + 8*p(w). Does 28 divide a(8)?
True
Suppose 5*t - 36 = 6*t. Let m = -53 - t. Let g = 25 + m. Is 4 a factor of g?
True
Let w(v) = 21*v + 201. Is w(20) a multiple of 9?
True
Let z be (-5)/(-3)*(-6 - -15). Let o = z + 15. Is o a multiple of 10?
True
Suppose 0*l - 88 = -4*l. Let j = -50 + l. Let n = j + 40. Is 12 a factor of n?
True
Suppose i + 11211 = 4*y, 44*y = 45*y - 3*i - 2800. Is 17 a factor of y?
False
Let v = 400 + 654. Does 61 divide v?
False
Suppose 170 = 4*n - 266. Let c = -67 + n. Is c a multiple of 4?
False
Suppose -2*x + 8 = 3*w - 6, -5*x + 10 = -5*w. Suppose -3*s + x = -2. Suppose -s*a = 2*a - 240. Is a a multiple of 19?
False
Let p = -86 + 53. Let m = p + 35. Suppose 0 = m*b - 34 - 22. Is b a multiple of 14?
True
Let o = -163 + 231. Suppose o - 233 = -3*t. Let k = 98 - t. Is k a multiple of 10?
False
Let t(u) = 3*u**2 - 103*u - 112. Is 16 a factor of t(48)?
True
Is 67 a factor of (76 + 1)/(6/114)?
False
Let j(n) = -n**3 + 10*n**2 - 4. Let p be j(10). Let m(t) = -9*t + 1. Let y be m(p). Let q = 55 - y. Is q a multiple of 9?
True
Let w = 33 - -15. Suppose -53*x + w*x + 255 = 0. Is 11 a factor of x?
False
Suppose -3*v = -15, u + 90 = 6*u + 4*v. Let c = 4 + u. Is c a multiple of 18?
True
Let f be (-722)/(-5) + 20/(-50). Let c = f - 42. Is 18 a factor of c?
False
Is -2 - (-10 - -13) - -672 a multiple of 57?
False
Let n be 0 + (-2)/(-3) - 262/6. Is (1 + n/3)*-3 a multiple of 6?
False
Let j = -17 + 21. Suppose -n = -4*a + 3*a - 34, -j*n + a + 151 = 0. Is n a multiple of 13?
True
Let t be 0 + (-4)/(-10) + (-184)/10. Let w = t + 50. Is 9 a factor of w?
False
Does 9 divide (-3)/(-33) - ((-16235)/11 - 9)?
True
Suppose 0 = -5*h - h + 1164. Suppose -5*v = -h - 26. Does 30 divide v?
False
Let c = 439 + 11. Is c a multiple of 9?
True
Let r(l) = l. Let x(f) = -175*f + 1. Let u(j) = -6*r(j) - x(j). Is u(1) a multiple of 24?
True
Suppose -4*i - 4*w = -7*i + 1534, 0 = -5*w - 20. Is 46 a factor of i?
True
Let s(d) = -4*d + 3 + d + d**2 + 7. Does 7 divide s(6)?
True
Suppose -5*y = 11 + 4, 0 = 3*z + 4*y - 1458. Is z a multiple of 33?
False
Let h(u) = -u**3 - 4*u**2 + u + 5. Suppose -2 = z + 2. Let f be h(z). Is f - (-5)/(10/16) a multiple of 9?
True
Let j(o) = -20*o. Suppose 0 = -n - 7 + 6. Does 2 divide j(n)?
True
Is 28 a factor of (-1519)/(-2) + 174/348?
False
Is 27 a factor of 1230/11 - 14/(-77)?
False
Let s(r) = -3*r**2 - 34*r - 7. Let p be s(-13). Let w = p - -81. Does 2 divide w?
False
Let d(t) = -4*t**3 - 2*t**2 - t. Suppose -i - 3*n + 5 = 0, 2*n - 7 = 6*i - 3*i. Let p be d(i). Suppose 2*q - p*q = -36. Does 9 divide q?
True
Let f(n) = n**3 + 9*n**2 + 8*n - 3. Let w be -11 +