 v?
True
Suppose -2*j + t + 0*t = -21, 2*j = -3*t + 9. Let v be 4/6 - (-21)/j. Suppose v*p - 2*b = 22, -4*b + 3 = -p + 7. Is p a multiple of 4?
True
Let h(x) = 5*x - 33. Is h(17) a multiple of 13?
True
Let l(p) = 3*p**3 - 4*p**2 + 2. Let y be l(3). Suppose n - 4*w = 8, -w - y = -4*n - 0*w. Is n a multiple of 4?
True
Let a(w) = 4*w**3 - 29*w**2 - 17*w + 4. Let m(p) = p**3 - 7*p**2 - 4*p + 1. Let z(o) = 2*a(o) - 9*m(o). Is z(3) a multiple of 13?
False
Suppose 0 = 5*q - 13 - 2. Is 10 a factor of (0 - -34)/2 + q?
True
Suppose -2*f = 7*n - 3*n - 286, -362 = -5*n + 2*f. Is n a multiple of 23?
False
Suppose 8*n - 2*n - 102 = 0. Is n a multiple of 13?
False
Let d(g) = 7*g - 10. Is d(4) even?
True
Suppose m = 56 + 44. Suppose 0 = 3*y - y - m. Is 25 a factor of y?
True
Suppose -2*p + 21 = -p. Let h = p - 14. Is 7 a factor of h?
True
Suppose t - 3*u - 5 = -3, -5 = 5*u. Let g = 0 - 2. Is 15 a factor of 5*(1 + g/t)?
True
Suppose -4*y + 161 + 279 = 0. Let g be (-8)/(-10)*(-5)/(-2). Suppose 2*q + 88 = 4*m, 4*m + g*q - y = -m. Is 8 a factor of m?
False
Let l(b) = b**2 - 9*b + 9. Let n be l(9). Let h(m) = 3*m - 1. Is h(n) a multiple of 13?
True
Let j = -7 - 0. Let x = j + 4. Is 2 a factor of 3*x/(-18)*10?
False
Does 14 divide ((-39)/2)/((-2)/8)?
False
Let d = 13 + -20. Does 10 divide (d + 12)*48/5?
False
Let j(h) = 10*h**3 - h. Does 2 divide j(1)?
False
Let n(d) be the third derivative of 5*d**7/504 - d**6/360 - d**5/120 + d**4/12 + d**2. Let y(k) be the second derivative of n(k). Does 19 divide y(-1)?
False
Suppose -4*a - 4*v = -228, 3*a - 2*v = 2*v + 192. Is 15 a factor of a?
True
Let j(g) = 27*g**2 - 1. Let b be j(1). Suppose -2*z - 3*p + 42 = 0, -3*z - 5*p + 90 = b. Is z a multiple of 7?
False
Let n(i) = -i**3 - 7*i**2 - 6*i + 8. Is n(-6) a multiple of 3?
False
Let x = 75 - 38. Is 5 a factor of x?
False
Suppose 300 = 10*z + 5*z. Is z a multiple of 2?
True
Suppose 3*g - y = y + 85, -g = 3*y - 10. Does 5 divide g?
True
Let t(m) = m**3 - 4*m**2 - 6*m + 4. Suppose -4*h = h - 170. Suppose -5*o + h = -0*x - x, -10 = -5*o - 5*x. Is t(o) a multiple of 14?
False
Suppose 0 = 25*k - 26*k + 33. Does 21 divide k?
False
Let z be (-1 + 0)*(-5)/(-5). Let q(a) = 3*a**2 - a - 1. Let l be q(z). Suppose -l*m + 23 = -v, 4*m + 0*v - 31 = v. Is m a multiple of 8?
True
Let x be 2/((-2)/12*-3). Suppose -152 + 8 = -x*a. Does 10 divide a?
False
Suppose -3*k = k - 8, -2*z + 3*k = -94. Is 10 a factor of z?
True
Is 3*(-16)/(-6)*1 a multiple of 5?
False
Suppose 3*f - 113 = 271. Is f a multiple of 37?
False
Let r(a) = -3*a + 12. Does 8 divide r(0)?
False
Let d(n) = 15*n**2 + 2*n - 3. Let p be d(2). Suppose 0 = 3*r - 5*j - p, j = 3*j + 10. Does 4 divide r?
True
Let k(o) = 2*o + 6. Suppose 0 = -m + 3*m + 8. Let a(u) = -u**2 - 7*u - 6. Let i be a(m). Is 8 a factor of k(i)?
False
Let k(l) = 6*l + 10. Is 13 a factor of k(7)?
True
Let j(l) = l + 13. Let k be j(-10). Suppose 0*c - k*c + 24 = 0. Is 8 a factor of c?
True
Suppose -5 + 25 = 5*b. Suppose -5*k - 4*v + 198 = 0, -4*v - v = b*k - 153. Is 14 a factor of k?
True
Let c(d) = -d**2 - 11*d - 4. Let i(q) = q**3 + 13*q**2 - 8. Let l be i(-13). Does 6 divide c(l)?
False
Suppose -c = -4*c + 5*i + 11, 4*i = -5*c + 43. Suppose 0 = 4*m + 3*u - 3 - 2, -3*u - c = -2*m. Suppose m*o - o = 13. Is o a multiple of 13?
True
Is ((-17)/((-34)/(-30)))/((-3)/2) a multiple of 5?
True
Let h(z) = 9*z**2 + 4*z + 2. Suppose 10*q - 7*q + 6 = 0. Is 10 a factor of h(q)?
True
Let m be -3*((-7)/3)/(-1). Let g = m + 13. Is 10 a factor of (2 - (-15)/g)*6?
False
Suppose -2*x - 3*n = 16, n - 8 = x - 2*n. Let f(l) be the second derivative of -l**3/6 + 2*l**2 - 3*l. Is 5 a factor of f(x)?
False
Let f = -34 + 141. Does 54 divide f?
False
Let s(u) = 2*u**3 - 2*u**2 - u - 2. Let l be s(2). Suppose -4*g = l*p + 8, -p = 2*g - 4*p - 6. Suppose o = -g*o + 4. Is 2 a factor of o?
True
Suppose -728 = k - 5*k - r, 0 = 3*r - 12. Is 13 a factor of k?
False
Suppose 19 + 18 = -5*f + y, 5*f = 5*y - 45. Let c(x) be the first derivative of x**4/4 + 8*x**3/3 + 2*x**2 - 7*x - 8. Is 5 a factor of c(f)?
False
Let y(s) = -11*s**3 + s**2 + s + 1. Suppose 8*i = 3*i - 5. Is 6 a factor of y(i)?
True
Let p(x) = 4*x**2 + 5*x - 5. Let u = 8 + -14. Is p(u) a multiple of 30?
False
Let q = -24 + 156. Is q a multiple of 12?
True
Suppose -3*y = -2*n - 3*n - 77, -n = -3*y + 73. Let h = y - -48. Is 24 a factor of h?
True
Let h be (-20)/8 + 1/2. Does 7 divide (9 + -3 - -3) + h?
True
Let i(j) = 2*j**2 - j - 3. Let r be i(-6). Suppose -3*a - 3*u = -r, 0 = -2*a - 3*u - 3 + 52. Does 13 divide a?
True
Let w(p) = 5*p**2 - 8*p - 18. Does 19 divide w(7)?
True
Suppose 5*v - 85 = 5*d, -2*v - d + 0*d + 37 = 0. Does 18 divide v?
True
Let u be -55*(1 + 6/(-10)). Let t = u + 32. Is t a multiple of 5?
True
Let y = -60 + 121. Is 11 a factor of y?
False
Let k(p) = 32*p**3 + p. Is 13 a factor of k(1)?
False
Is 4 a factor of (-5 - -9) + 0 + 71?
False
Suppose -5*d + 13 = 4*j, -5*d + 45 - 8 = -4*j. Is d a multiple of 3?
False
Suppose 2*o = -o + 39. Let d = o - 1. Is 12 a factor of d?
True
Suppose 3*x = 44 + 4. Is 10 a factor of x?
False
Let r = -66 + 99. Does 8 divide r?
False
Suppose 143 - 407 = -2*x. Does 33 divide x?
True
Suppose -4*v + 159 = -401. Does 7 divide v?
True
Is 13 a factor of 2*27 + ((-4)/2)/(-2)?
False
Let b = 5 - 1. Let i = b + -8. Is 8 a factor of (40/i)/(-2 - -1)?
False
Let r(w) = -5*w**2 + w**2 + 3*w + 3*w**2 + 2 + 5*w**2. Is r(4) a multiple of 26?
True
Suppose 0 = c - 0*c - 7. Suppose -4*v + c*v = 96. Suppose 3*r - v = 22. Does 9 divide r?
True
Let d(w) = 3*w + 1. Is 14 a factor of d(8)?
False
Suppose -l = 3*l + 180. Let h = l - -73. Is h a multiple of 18?
False
Let a(u) = 25*u**2 - 2*u + 1. Let y be a(1). Let n = y - 14. Is n a multiple of 10?
True
Suppose 0 = 8*l - 3*l - 35. Does 4 divide l?
False
Let u(b) = -3*b**3 - 3*b**2 - b + 2. Is 16 a factor of u(-2)?
True
Suppose 4*f = p - 16 - 36, -4*p = f - 293. Is p a multiple of 16?
False
Suppose 0 = -4*w + 464 - 40. Let o = w + -76. Does 10 divide o?
True
Suppose 0 = 3*m + 2*m + 2*q - 113, -3*m + 75 = 3*q. Suppose -4*i - m + 54 = c, 4*i - 99 = -3*c. Does 11 divide c?
True
Let q(u) = -u**3 + u - 2. Let s be q(-4). Let c = -28 + s. Does 15 divide c?
True
Suppose 3*d + 4*z = 16, 3*d - 5*z + 26 = 6. Suppose d = -k + 7 + 6. Does 5 divide k?
False
Suppose -k + 6*k + 583 = 3*l, -3*l = 3*k - 567. Does 8 divide l?
False
Let f(h) = h**3 + 14*h**2 - 25*h - 15. Is f(-15) a multiple of 11?
False
Let h be ((-478)/3)/((-24)/(-36)). Let c = -137 - h. Is c a multiple of 34?
True
Let k = 0 + 5. Let q be 2/4 - (-3)/2. Let c = q + k. Is c a multiple of 7?
True
Suppose 5*y - 25 = -5. Let c(t) = -t**3 + 4*t**2 + 2*t - 3. Let k be c(y). Suppose -3*g = 0, -2*o + 3*o - k*g = 20. Is 11 a factor of o?
False
Suppose -10 = -j + 4*h, 22 = -5*j - 0*j - 4*h. Let n be (((-58)/1)/j)/1. Suppose 2*s + 11 = n. Is 5 a factor of s?
False
Suppose 6 + 4 = -5*h. Let o be h/(-6)*0 + 3. Suppose 5*c = 2*l - 74, -4*l = -2*l + o*c - 42. Does 9 divide l?
True
Does 29 divide (-289 - 1)/((-9)/(45/10))?
True
Let h = -2 - -7. Is ((-18)/5)/((-1)/h) a multiple of 9?
True
Let f = 26 - 16. Let k be f/(0 + 0 - -2). Suppose 0 = -z + 5*c - k, -2*z + 2*c + 4 = -c. Does 2 divide z?
False
Does 15 divide 0/(-1) - 3 - -8*6?
True
Let r(z) = 3*z + 2. Let i be 1/2*(-2 + -2). Let x be r(i). Does 5 divide (-19)/x + (-1)/(-4)?
True
Let t = 1 - -1. Suppose 5*g = t*d - 59, -2*d = d - g - 69. Is 11 a factor of d?
True
Suppose f - 25 = -3*q, 5*q - 2 = -27. Does 5 divide f?
True
Let q(p) = -p - 2. Let g be q(-7). Suppose 9 = g*t + y - 2*y, 4*t - 3*y = 16. Is 23 a factor of 3 + -5 - (-58 + t)?
False
Suppose -4*t - 4*q + 261 = -19, 0 = -t - 3*q + 62. Is t a multiple of 26?
False
Suppose -3*o - 3*z = -41 - 91, 206 = 5*o - 2*z. Suppose 6*h = 4*h + o. Does 7 divide h?
True
Let y be 3/(-2)*(-8)/(-3). Let f = 17 + y. Is 13 a factor of f?
True
Suppose 3*q - 308 = -4*q. Is 22 a factor of q?
True
Let w(n) = -24*n - 30. Does 15 divide w(-5)?
True
Let m be (-4)/(-16) - (-41)/(-4). Does 21 divide (-130)/(-3) - m/15?
False
Let z be ((-2)/6)/((-2)/(-12)). Is 3 a factor of z - (-1)/((-3)/(-15))?
True
Let a = 192 + -129. Is 21 a factor of a?
True
Let t(g) = g**2 - 5*g + 3. Let u be t(6). Suppose 0 = 5*a - u - 51. Suppose -26 = -3*z - 5*l, 0 = -z - l +