 a factor of d?
True
Suppose -13*q + 15*q - 416 = 0. Suppose 2*t + q = 4*t. Does 26 divide t?
True
Suppose 4*u - 7*u = 0. Suppose 12 = 4*h + 2*g, h + 8*g - 3*g + 6 = u. Let n = h + 7. Is 11 a factor of n?
True
Suppose -224 = -4*g + 2*k, 4*k = g + 19 - 75. Is g a multiple of 13?
False
Suppose 4 = b, 2*b - 10 - 8 = -5*q. Let y be 6/(-21) + q/7. Suppose y = -g - 4, -4*g + 4 = n - 3*g. Is n a multiple of 8?
True
Let f(t) be the first derivative of t**4/4 - 5*t**3/3 - 5*t**2/2 + 1. Let p be f(6). Is 4 a factor of (1*-2)/((-3)/p)?
True
Suppose -2*p = 3*x + 2*p, 0 = x - p - 7. Let w(r) = 3*r**2 - 2*r - 4. Is w(x) a multiple of 12?
True
Suppose -g - 5*d - 18 = -3*g, 5*g + d = 18. Suppose -g*o + 23 = -25. Is o a multiple of 5?
False
Let k(f) = 2*f**2 + 4*f + 3. Let u be k(-2). Is 15 a factor of 3*(-12)/(-2) - u?
True
Let b(s) = s**2 - 9*s + 3. Is b(12) a multiple of 30?
False
Let r = -42 + 64. Let u = 40 - r. Does 3 divide u?
True
Suppose 2*v + 8*v = 700. Is v a multiple of 35?
True
Let x(d) = 5 - 3*d**2 + 7*d + 6*d**2 + 5*d**2 - d**3 - 2*d**2. Does 5 divide x(7)?
True
Suppose -2*r + 5*s + 58 = -133, -5*r - 4*s = -395. Suppose 0 = -x + 3*l + 32, -4*x + r = -0*l + 3*l. Is 13 a factor of x?
False
Let j(s) = s**3 - 10*s**2 - 13*s + 1. Let a be j(11). Let x = a - -42. Does 11 divide x?
False
Suppose -4*c = -0*c - 156. Is c a multiple of 18?
False
Suppose 4*t = 2*v + 318, -2*t = -3*v - 0*v - 153. Does 27 divide t?
True
Does 20 divide ((-10)/(-3))/(9/405)?
False
Suppose -6*w = -2*w + 28. Does 6 divide (1 + 2)/(w/(-42))?
True
Let k(f) = f - 4. Let l be k(6). Suppose 0 = -c + l*a + 45, -4*c - 3*a - 33 = -169. Suppose n - 2 - 3 = -3*t, 4*n - 5*t - c = 0. Does 4 divide n?
True
Let w(f) = -f**3 - 8*f**2 + 8*f - 11. Let j be w(-9). Let s = j + -1. Is (-62)/s + (-1)/(-3) a multiple of 8?
False
Suppose -5*z - 10 = 2*x, x + 4*x = -5*z + 5. Suppose -3*s = 2*t - 4, -2*t - 2*t - 14 = -x*s. Let q = 0 + s. Is q even?
True
Let r = -6 + 10. Suppose -2*v = 2, -14 = -0*u - r*u - 2*v. Is 10 a factor of 99/6 - (-2)/u?
False
Let r(f) = f**3 - 2*f**2 - 5*f + 6. Let i = -7 + 11. Is 9 a factor of r(i)?
True
Suppose 2*s + 5 = -2*q + 19, -q = -2*s + 23. Does 3 divide s?
False
Let l be (-14)/4*(-3 + 1). Let i = -1 + l. Let t(r) = -r**3 + 6*r**2 + 8. Is t(i) a multiple of 4?
True
Let i be -1*4*(-21)/14. Does 21 divide i/(-9)*-33 - 1?
True
Let m(j) = -j**3 + 5*j**2 - 3*j + 5. Let f be m(5). Let v be (f/4 - -1)*2. Does 13 divide (-352)/(-12) + (-2)/v?
False
Let f(h) = -h**3 + 8*h**2 - 5*h + 2. Let w be f(6). Let y = 30 - w. Is 6 a factor of y/(-35) + (-58)/(-5)?
True
Let t be 2 + (-2 - 0 - -3). Let z = 68 - t. Is z a multiple of 21?
False
Let y(l) = -l**2 + 6*l + 10. Let v be y(7). Let w be -2*v*(-12)/(-9). Let f = w + 16. Is 3 a factor of f?
False
Let a(n) = 68*n**2 - 1. Is a(-1) a multiple of 15?
False
Suppose -3*a - a + 200 = 0. Suppose -2*c + 2*u = -a - 78, -312 = -5*c + 3*u. Does 25 divide c?
False
Let g = -69 - -105. Is 12 a factor of g?
True
Let z = 81 + -15. Does 33 divide z?
True
Suppose 3*r - v = 3*v - 23, 3*v = -3*r + 12. Does 15 divide 91/3 - r/(-3)?
True
Let p be (-1)/3 - (-14)/6. Let b(f) = -f**2 + 11*f + 3. Let j be b(11). Suppose j*i + 0*t - 49 = 4*t, -91 = -5*i + p*t. Is 10 a factor of i?
False
Suppose -p + 2*r = 2*p - 52, -4*r = -p + 4. Let v = 152 - 105. Let k = v - p. Does 14 divide k?
False
Let l(r) = -r**2 - 8*r - 5. Let c be l(-7). Suppose -v + d + 86 = -13, 174 = c*v + 4*d. Let u = -31 + v. Does 17 divide u?
False
Does 14 divide (16/3)/4*(-147)/(-14)?
True
Suppose -2*a - 480 = -5*a. Suppose 490 = 5*z + a. Does 17 divide z?
False
Suppose -4*s + 15 = s. Suppose -x + 3*j = -26, -1 = -x - 4*j - s. Is 4 a factor of x?
False
Let y = 28 + -13. Is (y*1)/1 - 2 a multiple of 12?
False
Let s(x) be the first derivative of -x**4/4 + 4*x**3/3 + 7*x**2/2 + 2*x - 2. Suppose -2*r = 4*g - 16, -1 = 4*g - 3*r - 27. Is 6 a factor of s(g)?
True
Does 23 divide ((-105)/6)/((-5)/50)?
False
Does 2 divide (234/(-45))/((-6)/15)?
False
Let j = 2 - 2. Suppose 2*h - 4*s + 10 = j, h + 2*s - 9 = 2. Is 10 a factor of 4*h/(6/13)?
False
Suppose 0 = i - 5*i. Let n(c) = 2 + i*c - c + 0. Is 4 a factor of n(-4)?
False
Let n(f) = -f**3 + 5*f**2 + 7*f + 5. Let c(g) = -g + 3. Let w be c(-3). Does 11 divide n(w)?
True
Let h be 4/(-6) - (-84)/18. Suppose 0 = 4*i - 6*i + 5*x + 61, 3*i - 95 = h*x. Is 11 a factor of i?
True
Suppose 5*a - 45 = 80. Does 25 divide a?
True
Does 2 divide (-305)/(-15) - (-4)/6?
False
Let c = -26 - -42. Suppose 4*s - 240 = -4*y, -3*y - 2*s + c = -165. Does 16 divide y?
False
Let s(x) = -6*x + 4. Let z(a) = 3*a - 2. Let h(o) = 6*s(o) + 10*z(o). Does 7 divide h(-4)?
True
Let c = 71 + -6. Is c a multiple of 19?
False
Let d(u) = -2*u**2 - 2*u**2 + 3*u + 8 + 5*u**2 + u. Let n be d(-6). Suppose 0 = -0*c + 5*c - n. Is c a multiple of 2?
True
Suppose -2*r = -2*v - 106, -4*r + 343 = v + 121. Suppose 6*s + 4*g = s + r, -s = g - 11. Is s a multiple of 11?
True
Let o(w) = 5*w. Let r(a) be the third derivative of -a**4/24 - 2*a**2. Let f be r(-2). Is 7 a factor of o(f)?
False
Suppose 127 = p - 0*p. Is 37 a factor of p?
False
Suppose 2*u + 10 = 4*u. Suppose -3*m + u = b, -7*m - 10 = -2*m. Does 11 divide b?
True
Let q = -22 - -22. Suppose q*d = -3*d + 303. Is 33 a factor of d?
False
Let z be ((-3)/2)/(3/4). Let j be 21/(-3)*z*2. Suppose 3*g - j - 23 = 0. Does 9 divide g?
False
Let o = -21 - 0. Let h = -1 - o. Is h a multiple of 10?
True
Suppose 3*s - 4*s + 3 = 0. Let m(z) = -2*z**2 + 2*z**2 + z**2 - 6 + s*z. Is 5 a factor of m(-6)?
False
Let y(g) = 35*g**3 - g**2. Let t = -5 + 6. Does 17 divide y(t)?
True
Suppose -524 = -2*b - 2*b. Suppose -4*p = -b - 109. Is 21 a factor of p?
False
Let f = 6 - 4. Suppose f*t + 8 = 6*t. Does 6 divide t/4*48/2?
True
Suppose 5*s = 44 - 14. Let p be (-44)/(-6) - s/(-9). Let j = p - -3. Is 11 a factor of j?
True
Let u = 2 - -2. Suppose a + 4*y = 13 + 8, -5*a = -u*y - 9. Is 4 a factor of a?
False
Let x(i) = -2*i - 6. Let a be x(-9). Let f = a - -42. Does 18 divide f?
True
Let x = 157 - 64. Suppose 5*h - 13 = -x. Let c = 24 - h. Is c a multiple of 20?
True
Let y = -26 + 74. Is y a multiple of 8?
True
Suppose -60 = 3*t - 4*t. Suppose 0*r + 3*r = t. Suppose -v + 4*o = -5*v + r, v = -4*o + 5. Does 2 divide v?
False
Let y(n) = 7*n + 1. Let z be y(-3). Let f = z - -38. Is f a multiple of 18?
True
Let t(u) = -u**3 - 5*u - 3. Is t(-3) a multiple of 13?
True
Is ((-194)/(-4))/(8/16) a multiple of 14?
False
Let x(m) = -5*m**3 - 5*m**2 + 8*m + 5. Let i(k) = -4*k**3 - 4*k**2 + 7*k + 4. Let z(h) = -6*i(h) + 5*x(h). Is z(-2) a multiple of 8?
False
Suppose -9*h + 7*h + 30 = 0. Is h a multiple of 5?
True
Let k(o) = -12*o - 9. Let c be k(-7). Suppose -4*b - 6 - 198 = 0. Let t = c + b. Is t a multiple of 14?
False
Suppose -f = -3*x - 11, -10 = -4*f - 2*x + 48. Is f a multiple of 12?
False
Let q(w) = -w**3 - 20*w**2 - 23*w + 8. Is 12 a factor of q(-19)?
True
Suppose 0 = -5*m + 2*s + 13, 2*m + 2 = 3*s + 5. Suppose -2*k = m - 83. Does 23 divide k?
False
Let a be 2/3 - 16/24. Suppose 5*d + 36 + 4 = a. Let u = 14 + d. Is 6 a factor of u?
True
Is 21 a factor of (-21)/(-2*(-3)/(-18))?
True
Suppose 0*f + 8*f - 240 = 0. Does 10 divide f?
True
Suppose 3*i = 5*k - 13, 5*k = -3*i - 2*i + 45. Suppose 5*m + 10 = 0, z - 2*z = -3*m - 175. Suppose -29 = k*p - z. Does 12 divide p?
False
Suppose -2*a + 6*n = n - 13, -3*a + 22 = -5*n. Does 9 divide a?
True
Suppose -5*q + 3 = -2*q. Is 6 a factor of q/(-2) - (-140)/8?
False
Let c(i) be the third derivative of 7*i**4/24 - 5*i**3/6 - 3*i**2. Is 16 a factor of c(7)?
False
Let z = -15 + 26. Suppose -2*x + z = u, -2*x - x = 4*u - 34. Is 2 a factor of u?
False
Let v(k) be the second derivative of k**3/6 - 4*k**2 - 2*k. Let i be v(8). Suppose -2*y = -i - 14. Is y a multiple of 6?
False
Let i(j) = -3*j + 12. Is i(-7) a multiple of 14?
False
Suppose -5*i + 301 = -209. Is i a multiple of 51?
True
Let z be 18/8 + 3/(-12). Suppose z*p + 10 = 7*p. Suppose 3*v = p*a + 31, -a = 3*v - 5*a - 29. Is 10 a factor of v?
False
Let c(u) = -4*u + 76. Is 10 a factor of c(0)?
False
Let o = 12 - 6. Suppose 5*r - 6*u = -2*u + 12, -2*r = -u - o. Does 3 divide r?
False
Suppose 0*m + 211 = 5*m + 4*f, 4*m - 2*f - 174 = 0. Is m a multiple of 13?
False
Suppose 8*v - 4*v - 176 = 0. Is v a m