 j?
False
Suppose 2*y = y + 5. Suppose 2*w = 908 - 826. Suppose -y*j - 1 = -w. Does 8 divide j?
True
Let h = 55 - 37. Suppose 3*y = 2*j - 7 + h, -y + 3*j = -6. Suppose -y*m = 12, -5*f + 148 = -f - 4*m. Is f a multiple of 8?
False
Let u(n) = n**3 - 12*n**2 + 6*n + 425. Is 87 a factor of u(17)?
False
Let r(h) = -h**3 + 15*h**2 - 2*h - 20. Is r(14) a multiple of 6?
False
Let n(r) = 2*r**2 - 6*r + 11. Suppose 5*a + 5*y = 15, -5*a - y = y - 24. Is n(a) a multiple of 44?
False
Let x(k) = 8*k**2 + 6*k. Let g(o) = 9*o**2 + 5*o. Let z(r) = 4*g(r) - 3*x(r). Does 13 divide z(-3)?
False
Is (2 - 912)/((-2)/8) a multiple of 13?
True
Let i(d) = -87*d**3 + d - 3. Does 54 divide i(-2)?
False
Let g be 3 + (-60)/(-4) - 4. Let n = -33 + 83. Let s = g + n. Is s a multiple of 22?
False
Let n = 222 - -47. Is n a multiple of 63?
False
Let l(y) = 39*y - 9. Let a be l(-8). Let t = 564 + a. Is t a multiple of 27?
True
Let h(l) = -2*l**2 + 0*l**2 - 2 + l - 6*l**2 - 1. Let p be h(3). Let j = -33 - p. Does 11 divide j?
False
Let d(s) = -7 - 6 + 7 + 11*s. Does 8 divide d(3)?
False
Let s(w) = -w**2 + 3*w + 8. Let x = 11 - 10. Suppose -5 = -h - x. Is s(h) a multiple of 3?
False
Let y(u) = 15 - 6*u - 20 + 10. Let w be y(-4). Let c = -18 + w. Is c a multiple of 4?
False
Let c be (-1)/(-3)*(-36)/(-2). Let r = c - -16. Let f = r + -3. Is f a multiple of 6?
False
Suppose 5*n + 0*n - 2*r - 180 = 0, -2*n - 2*r = -72. Let p = n - -44. Does 20 divide p?
True
Let d = -290 + 409. Suppose -31*r + 4*r + 5481 = 0. Let z = r - d. Is 13 a factor of z?
False
Let t = 20 - 26. Let l be ((-3)/t)/((-5)/(-480)). Suppose j = 3*j - l. Is 17 a factor of j?
False
Suppose -8*c - 24 = -0*c. Let a = 17 + c. Does 6 divide a?
False
Let c(n) be the third derivative of n**6/120 + n**5/10 - n**4/12 - n**3/2 - 9*n**2. Let w be 18/(-8)*(-16)/(-6). Is 8 a factor of c(w)?
False
Let x(o) = 4*o**2 - 4*o - 5. Let a be 76/(-12) + 1/3. Let f(c) = 5*c**2 - 5*c - 6. Let g(d) = a*x(d) + 5*f(d). Does 16 divide g(7)?
False
Suppose -4200 = -2*w - 3*m, w + 3*m = 625 + 1475. Is w a multiple of 42?
True
Let r(i) = 4*i + 157. Is r(9) a multiple of 9?
False
Suppose 10*z - 3536 = -24*z. Does 25 divide z?
False
Let w be (2/1 + 4)/((-14)/(-7)). Suppose 5*s + w*q - 380 = 0, 2*q - 290 = -5*s + 85. Does 10 divide s?
False
Suppose 3*p = -1072 + 4474. Suppose -p = 4*q - 10*q. Is 21 a factor of q?
True
Suppose 0 = -4*l - 3*a + 15, -1 = -3*l + 4*a + 4. Is 0 + -1 + 27 + l a multiple of 9?
False
Let g(x) = -5 + 9 - 7*x + 1. Does 22 divide g(-15)?
True
Suppose r = 9*r. Suppose r = 5*g - 11*g + 684. Does 57 divide g?
True
Let v = -47 - -34. Let o = -17 + v. Let y = o + 50. Is y a multiple of 5?
True
Let f(x) = -x**3 + 3*x**2 - x + 3. Suppose -2*y - 2*l + 1 = -7*l, 0 = 2*y + 2*l - 8. Let n be f(y). Is 6 a factor of (-17 - n)*(-3)/3?
False
Does 56 divide (1680/9)/2*3?
True
Suppose -3*q + 35 = 2*q + t, -4 = 2*q + 4*t. Suppose -4*k + q*k = 440. Does 22 divide k?
True
Let s(d) = d**3 + 4*d**2 + 4*d. Let q be s(-3). Let n(m) = -m**2 + 2*m - 7. Let l be n(4). Is 12 a factor of 56*(q - l/4)?
False
Let g be -3*(10/(-6) + 1). Suppose 0*v + g*v - 10 = 0. Suppose 0 = -v*l + 6 - 26, 2*l = 5*h - 183. Does 10 divide h?
False
Suppose a = 5*v - 9*v + 178, 0 = 5*a + 4*v - 858. Is 8 a factor of a?
False
Let j be (-28)/154 - (1 + 1168/(-11)). Suppose -5*p = -k + 9, 5*k - 6*p - j = -p. Is k a multiple of 2?
True
Let q(n) = n**2 - 12*n - 13. Let p be q(13). Suppose p*s - 5*h = 2*s - 15, -4*s + 22 = 2*h. Suppose s*b = 69 + 16. Does 10 divide b?
False
Suppose 0*h + 5*h - 29 = -3*d, -5*d - 3*h = -27. Suppose d*u - 4*o - 184 = 0, 4*u - o - 226 - 2 = 0. Is 14 a factor of u?
True
Suppose -4*m = -6*q + q + 28, 3*q = m + 14. Let l = 9 - q. Suppose -2*k + 4*b = -0*b, l*k - 60 = -5*b. Is 8 a factor of k?
True
Suppose 3*d - 2*v + 21 = 3*v, 4*v - 22 = 5*d. Let a be (4 + -3)*(113 - d). Suppose 4*f - a = -15. Does 25 divide f?
True
Let a = -19 + 45. Suppose -18 = -4*s + 2*o + a, -4*s + 38 = -5*o. Is 9 a factor of s?
False
Let z(v) be the first derivative of v**2 + 4*v - 6. Does 15 divide z(6)?
False
Suppose -9*b + 7*b + 4 = 0. Suppose v + 2*j - 35 - 7 = 0, b*v = 5*j + 111. Is 12 a factor of v?
True
Let a(i) = 24*i**3 + 2*i**2 - 1. Let x be a(1). Is x + 0 - (-2 - 2) a multiple of 11?
False
Let k(b) = 24*b - 22. Let v be k(-9). Let r = -168 - v. Is r a multiple of 10?
True
Suppose 0 = -z + 3*c + 1938, -4*z + 7718 = 3*c + 2*c. Is 161 a factor of z?
True
Is 1/6*-1 + 102186/756 a multiple of 20?
False
Let j = 50 - -460. Does 6 divide j?
True
Suppose -4 = -5*l + 31. Does 15 divide ((-4)/(-10))/(l/1015)?
False
Suppose 0 = l - 2*m, l + 4*m = -0 + 6. Let k(y) be the second derivative of 5*y**3 + 2*y**2 + 8*y. Is k(l) a multiple of 32?
True
Let g(r) = -13*r + 5. Let t(d) = 3*d - 1. Let i(l) = -4*g(l) - 18*t(l). Let y be i(-3). Suppose -y*a + 50 = -18. Does 8 divide a?
False
Suppose 7*r = -5*m + 3*r + 993, 0 = -2*m + r + 392. Is m a multiple of 8?
False
Let l be (-2)/7 + (-7290)/(-35). Let d = 292 - l. Is d a multiple of 24?
False
Is -4 - (-10 + (-498)/1) a multiple of 3?
True
Suppose 404*d - 864 = 401*d. Is 32 a factor of d?
True
Let b(t) = 2*t**2 + 10*t + 7. Let y be b(-7). Suppose y + 7 = 7*n. Is n a multiple of 3?
True
Suppose 23*l + 1340 = 27*l. Does 14 divide l?
False
Let u be ((-12)/(-16) - 1) + 457/4. Suppose 0 = 20*p - 17*p - u. Is p a multiple of 19?
True
Suppose 5 = 2*u + 1. Let p = u + -5. Let y = p - -15. Is y a multiple of 10?
False
Suppose -2*z + 3940 = 4*q, 5*z - 6*q = -10*q + 9862. Is 47 a factor of z?
True
Let c = -560 + 1104. Is 20 a factor of c?
False
Suppose -5*m = 5*y + 193 - 23, 2*y = 3*m + 87. Let c = m + 56. Is 25 a factor of c?
True
Let j be (178/2)/(22/44). Let g = j - 88. Does 9 divide g?
True
Is (32487/(-455))/((-1)/10) a multiple of 16?
False
Let n(o) = -4*o - 6. Suppose 5*t = -2*t. Suppose t = 28*i - 25*i + 24. Is 13 a factor of n(i)?
True
Let p(i) = -i + 60. Let j be p(0). Let z be (-4)/(-6)*j/10. Suppose z*w = 30 - 10. Is w a multiple of 3?
False
Suppose 0*d + d - 10202 = -6*t, -5*t - 5*d + 8485 = 0. Does 34 divide t?
False
Let z(r) = 7*r**2 + 12*r - 64. Is z(13) a multiple of 17?
True
Suppose 0 = 4*v + 2*u - 5*u + 3, 0 = -3*v - 5*u + 5. Suppose 7*q - 10*q + 276 = v. Does 14 divide q?
False
Let i(r) be the first derivative of -2*r**3/3 + 19*r**2/2 - 15*r + 14. Is i(7) a multiple of 10?
True
Let w(l) be the first derivative of l**2/2 + 13*l - 5. Is w(7) a multiple of 4?
True
Let d = 176 - 300. Let h = 244 + d. Does 15 divide h?
True
Suppose 0 = 2*v - 4*t + 12, 3*v + 3*t + 8 = 7*t. Suppose v*w - 44 = 160. Is 17 a factor of w?
True
Let m(v) = 13*v**2 - 53*v + 60. Is m(20) a multiple of 42?
True
Suppose 0 = 8*b - 12*b + 8880. Is b a multiple of 111?
True
Let h be (-9)/(-6) + 151/2. Suppose 3*s - 232 = -5*d + 177, -d = -s - h. Is d a multiple of 17?
False
Let c be (-300 - -9)*(1 + -2). Suppose 0 = -4*b - 8, 0 = 5*z + 4*b - 231 - c. Is z a multiple of 24?
False
Let l(i) = i + 14. Let o be l(-17). Is 2/o - (-310)/6 a multiple of 17?
True
Suppose -4*r + 24 = -r. Suppose 0*k + 5*k + 75 = 0. Let t = r - k. Is 11 a factor of t?
False
Suppose 4*b = -4 - 16. Let j = 13 + b. Does 8 divide (228/j)/(9/12)?
False
Let o(x) = -x**3 + 7*x**2 + 3*x + 2. Let l be o(7). Suppose -k - l = -2*k. Let y = -2 + k. Does 12 divide y?
False
Suppose 2*f = 2*h + f - 7, 2*h + 13 = 5*f. Suppose -18 = -4*s - h. Suppose -4*d - 3*u + 169 = 0, -4*u = -s*d - 2*u + 148. Is 22 a factor of d?
False
Let g(f) = f**3 - 17*f**2 + 16*f + 5. Let w be g(16). Let r(t) = 0*t**2 - t**3 - 3 - w - 2*t - 8 + 8*t**2. Does 5 divide r(7)?
False
Let c be 288/(-90) + (-2)/(-10). Is 3 - -134 - (c - -3) a multiple of 19?
False
Let r be 2/9 - (2094/27)/(-2). Suppose s - 24 = -t, -4*t = -3*t + 4*s - r. Is 19 a factor of t?
True
Let h be (-1)/2*(-29 + 23). Let j be (-6)/3 - (-1 + -6). Suppose -7 = j*y + h, -w + 5*y = -18. Is 7 a factor of w?
False
Suppose 8376 = 5*m + 19*m. Is m a multiple of 67?
False
Does 30 divide (-2446)/(-4) + (-31)/62?
False
Let j = 99 + -20. Let a = j + -66. Is a even?
False
Suppose -16 = 3*a - 16. Suppose a = -4*h + 4*p - 142 + 378, 149 = 3*h + 4*p. Is h a multiple of 11?
True
Let y(z) = 19*z - 24. Is 49 a factor of y(9)?
True
Let p be 610/50 - 1/5. Suppose -5*n = a + 12, -4*a + 2*n + p + 6 =