 a factor of t?
True
Let a = 146 + -1136. Is 8 a factor of (-4)/14 + a/(-35)?
False
Let x = 2 - 0. Does 11 divide (28/8)/(x/8)?
False
Let f = 132 + -52. Is f a multiple of 16?
True
Let o(v) = v**3 + 9*v**2 + 6*v - 6. Let q(b) = -4*b**2 + b. Let h be q(-1). Is 18 a factor of o(h)?
False
Let s be ((-230)/15)/(1/3). Let r = s - -66. Is 12 a factor of r?
False
Suppose 2*z - 4 - 50 = 0. Let t = -16 + z. Does 10 divide t?
False
Suppose 0*l = -4*l - 5*d - 28, 3*l = d - 2. Let a be (34 - -1)*12/14. Does 14 divide (0 - l) + 1*a?
False
Suppose -7*u = -3*u + 2*g - 326, -g + 3 = 0. Does 8 divide u?
True
Let n be 0*1/(0 - -1). Let k(c) = 12 - 2*c + 7*c - 4*c. Does 9 divide k(n)?
False
Suppose 3*p - 25 = m, p - 3*m - 40 = -3*p. Does 2 divide p?
False
Suppose -11 = 2*w - 35. Does 2 divide w?
True
Let g(u) = 12*u - 80. Is g(21) a multiple of 42?
False
Let c = 5 + 9. Does 14 divide c/((-3)/(-3)) - -2?
False
Suppose 2*q - 32 = -0*q. Does 8 divide q?
True
Let a = -97 - -162. Is a a multiple of 15?
False
Does 5 divide (-1 - 20/5)*-3?
True
Let q = -9 + 6. Is 9 a factor of ((-1)/q)/(3/81)?
True
Suppose -h = 5*u - 0*u - 68, 2*h - 2*u - 184 = 0. Is 11 a factor of h?
True
Let z be (-2)/8 + (-70)/8. Let t = -5 - z. Suppose -2*h = -3*p - 55, -t*h + 26 = 3*p - 39. Is 11 a factor of h?
False
Suppose 5*z + 3*w - 139 = -29, 5*w + 25 = 0. Is z a multiple of 5?
True
Let p(b) = -6*b**3 - b**2 + b + 1. Let w be p(-1). Suppose 3*v + 2 = m - 6*m, 26 = w*m - 4*v. Suppose -3*d - m*d = -65. Is d a multiple of 12?
False
Let k = 295 - 63. Suppose 0 = 4*c - u - k, -2*u - u = 5*c - 273. Is c a multiple of 21?
False
Let w be 2/(-7) + (-430)/14. Let h = 49 - w. Suppose -3*m + h = 2*m. Is m a multiple of 9?
False
Let z(a) = -a**2 + 5*a + 16. Is 5 a factor of z(6)?
True
Let a(j) = -j**2 - 26*j - 25. Does 40 divide a(-21)?
True
Suppose 2*o = -o - 2*c + 5, 0 = 3*o + 3*c. Suppose 3*w + o*z + 2 - 1 = 0, 5*w = -z + 13. Let q = 6 - w. Does 2 divide q?
False
Let v = 2 + 48. Suppose -a = a - v. Is 25 a factor of a?
True
Let z(o) = -4*o - 1. Let a be z(-1). Let h be a*-1 + (0 - 6). Is 12 a factor of (-30)/h*(-96)/(-10)?
False
Suppose -8 = 3*o + 7. Let c be 9*(2 + o/(-3)). Suppose -4*j = 3*u - c, 27 = -j + 3*j + 5*u. Does 6 divide j?
True
Let i(r) = -r**3 - 9*r**2 - 8*r + 9. Let m(j) = j**3 + 9*j**2 - 8. Let p be m(-9). Is 9 a factor of i(p)?
True
Suppose -3*i + 2 = z - 311, -204 = -2*i - 3*z. Does 5 divide i?
True
Let p be 4 + -6 - (-8)/(-1). Let x(m) = -4*m + 1. Is x(p) a multiple of 9?
False
Let j be (-6)/(-8) - 23/4. Is j/(-30) + (-178)/(-12) a multiple of 7?
False
Let j(s) = -7*s**3 - 2*s**2 - 4*s - 2. Is j(-2) a multiple of 13?
False
Suppose -3*m = 2*a - 146, -158 = -5*m + 2*m - 5*a. Is 14 a factor of m?
False
Let y(b) = b**3 + 7*b**2 - b + 3. Let d be y(-4). Suppose -4*f + 18 + 2 = 0, d = 5*p - 5*f. Is p a multiple of 8?
True
Let f = -3 - 2. Let l(m) be the third derivative of -m**4/8 + m**3/2 + m**2. Is l(f) a multiple of 18?
True
Let m = -30 + 116. Does 43 divide m?
True
Let z(l) = -30*l + 1. Suppose 3*y + 2*c + 5 = 0, -4*y - 2*c - 3 = 3. Is z(y) a multiple of 8?
False
Let r be (-172)/(-4)*-1*1. Let p = r - -64. Is p a multiple of 10?
False
Is 3 a factor of (-32)/(-24) - (-47)/3?
False
Let d be 1/(0 + (-3)/12). Is d/10*290/(-2) a multiple of 25?
False
Suppose 8*z - 6*z = 84. Is 6 a factor of z?
True
Suppose 3*d + 2*d - 3*n - 178 = 0, -106 = -3*d + n. Does 7 divide d?
True
Let y be ((-12)/24)/((-1)/(-36)). Is 27/y - 193/(-2) a multiple of 38?
False
Suppose 2*c + 5*t = -c + 44, -3*c = -3*t - 60. Does 9 divide c?
True
Suppose -6 = m - 3*m. Suppose -11 = -b - m. Suppose 2*t - 26 = b. Is t a multiple of 15?
False
Let q = -2 + 0. Is 10 a factor of q/(-6) - (-145)/15?
True
Let p = -5 + 4. Let w be p/(-2) + 36/8. Suppose w*m + l + l = 19, m - 13 = -5*l. Does 3 divide m?
True
Suppose 252 = 11*x - 9*x. Is ((-56)/(-6))/(28/x) a multiple of 14?
True
Let l(w) = w**3 - 6*w**2 - 12*w - 12. Is 12 a factor of l(9)?
False
Let z = 79 + 15. Is z a multiple of 16?
False
Let j(q) = q. Let m(g) = -g**2 - 5*g - 2. Let o be m(-3). Does 2 divide j(o)?
True
Let q(h) = h**3 + 4*h**2 - 4*h. Let f(c) = c**3 - 3*c**2 + c - 2. Let t be f(2). Let j be q(t). Suppose 2*l + 2*l = j. Is l even?
True
Let i(d) = d**2 + 4*d - 1. Suppose -7 + 1 = 2*v. Let s be i(v). Does 11 divide s/18 - (-272)/9?
False
Is 7 a factor of (222/(-8))/(6/16*-2)?
False
Let w be 194/(-10) - (-4)/10. Let a = w - -43. Does 12 divide a?
True
Let b be (22/5)/(6/60). Suppose 224 = 3*g + 3*w + b, -5*g = w - 300. Does 20 divide g?
True
Let z = -1 + 1. Let c be (2 - (0 - -1))*56. Suppose z = 3*k - c - 34. Is k a multiple of 15?
True
Let o(c) = 17*c**2 + 1. Let m(s) = 4*s**2 + s - 2. Let g be m(2). Suppose -g = -l - 5*h, -2*l - 4*h + 3 = -11. Is 9 a factor of o(l)?
True
Let o(x) = 5*x - 4*x + x**2 - 4 + 2*x - 5*x. Is o(6) a multiple of 13?
False
Suppose 4*n = -195 + 803. Is 19 a factor of n?
True
Let r = -3 - -11. Does 3 divide r?
False
Let n(f) = f**3 - 5*f**2 + 7*f. Is n(5) a multiple of 22?
False
Suppose 4*z = -2*q + 240 - 36, 0 = 5*z - 5*q - 240. Let b = 114 - z. Is b a multiple of 19?
False
Let o = 54 - -98. Suppose 2*y - 4*h - o = -0*y, 0 = -2*y - h + 142. Does 18 divide y?
True
Suppose 0 = -5*d + 9*d - 128. Is d a multiple of 3?
False
Let k(v) = v**3 + 5*v**2 - 8*v - 6. Is k(-5) a multiple of 17?
True
Suppose 96*c - 97*c + 42 = 0. Is c a multiple of 6?
True
Suppose -6 = -2*n, 2*j - 37 - 13 = -2*n. Is 10 a factor of (j/3)/(9/27)?
False
Let i(v) = 9*v**2 + 4*v + 8. Does 7 divide i(-3)?
True
Let u be ((2 + -9)*-1)/1. Suppose 9 = 4*p - u. Does 4 divide p?
True
Let o(d) = d**3 + 31*d**2 - 35*d - 21. Is o(-32) a multiple of 10?
False
Let g(f) = 21*f - 13. Let h be g(-7). Let j = h - -225. Is j a multiple of 13?
True
Is 4 a factor of ((-459)/(-6))/9*2?
False
Suppose -2*m = -5*m + 243. Let t(u) = -u**2 + 4*u - 1. Let o be t(3). Suppose 3*g - m = 3*k, -4*k + 24 = 4*g - o*g. Is 16 a factor of g?
False
Suppose -9*i + 14*i - 240 = 0. Is i a multiple of 16?
True
Suppose -12 = -6*c + 4*c. Suppose -f + 31 = -2*p - 27, 2*p = -c. Is 26 a factor of f?
True
Suppose -35 = 3*k + 3*n - 2*n, 3*k - 4*n + 25 = 0. Let j = 26 + k. Is 3 a factor of j?
True
Let g(x) be the first derivative of -x**2 + x - 1. Let y(r) = -r**2 + 6*r - 6. Let b be y(5). Does 2 divide g(b)?
False
Suppose m - 78 = -3*x, -m + x - 9 = -87. Is m a multiple of 30?
False
Suppose 0 = 2*h - 2 - 4. Does 26 divide (-2)/3*(h + -60)?
False
Suppose 38 = 4*b - 10. Does 4 divide b?
True
Let u(x) = 20*x + 18. Is 16 a factor of u(7)?
False
Does 9 divide -1 - ((-10)/(-2) + -38)?
False
Let t be (-145)/(-7) + (-4)/(-14). Suppose -2*h + t = h. Is 8 a factor of h/(-14) - 49/(-2)?
True
Suppose 2*x + 15 - 5 = 0. Let z be 0 + x/((-15)/9). Suppose -4*v = z*f - 27, 3*f + 0*v - 30 = -3*v. Is f a multiple of 13?
True
Let v(r) = -r - 2*r**2 + 5*r**2 + 0*r. Does 13 divide v(-2)?
False
Let r = -4 + 5. Suppose 2 + r = t. Is t a multiple of 2?
False
Suppose 4*m = 3*c + 8, 0 = -2*m - 0*m + 4*c + 14. Does 6 divide 5 + 0 + (1 - m)?
False
Suppose 2*o - o + 121 = 0. Let f = o + 216. Suppose 0 = g - 6*g + f. Is 19 a factor of g?
True
Is 21 a factor of 0/2 + 1227/3?
False
Let p be -4*((-2)/4 - 0). Suppose 3*f = -p - 1. Does 17 divide ((-102)/9)/(f/3)?
True
Let h(k) = 3*k - 3. Let n be h(-8). Does 19 divide (-19)/(n/12 + 2)?
True
Let u(m) = 2*m + 1. Let j be u(1). Suppose -j*t + 249 = -0*t. Suppose 3*y + 2*f = t, -73 = -2*y - y - 4*f. Is y a multiple of 16?
False
Let r = -5 - -5. Let n(b) = b - 3*b**3 + b**2 - 1 + 0 + r*b. Does 9 divide n(-2)?
False
Suppose 0 = 8*n - 13*n + 450. Is n a multiple of 10?
True
Is (-11)/(4/(-4)) - -2 a multiple of 3?
False
Suppose -5*j + 78 = -22. Suppose 3 - j = -z. Is 5 a factor of z?
False
Let s(b) = 3*b**2 + 3*b - 8. Is s(4) a multiple of 14?
False
Let h(m) = 15 - 9*m + 9*m - m. Is h(-16) a multiple of 31?
True
Is (-115)/(-5) + (-2 - -3) a multiple of 8?
True
Let p = 2 + 2. Suppose -2*t + p*l - 100 = -4*t, l + 182 = 4*t. Does 19 divide t?
False
Let y be (-3)/(-9)*-3*1. Let z = y + 0. Is -2 + (13 - (z - -2)) a multiple of 7?
False
Let f = 65 - 5. Does 7 divide f?
False
Suppose -24 = 4*q + 3*m, -m = -4*q - 14 + 6. Let z be q*(4/6)/1. Is 2 a factor of -2*(z*3)/3?
True
Let w(d) = 2*d**2 + 3*d + 6. Let g be w(-12).