rue
Suppose -12*m + 800 = -8*m. Is 38 a factor of m?
False
Let c(u) = 2*u**2 - 20*u + 10. Is c(13) a multiple of 11?
True
Let h be 842/6 - 2/(-3). Let w = h + -34. Suppose 3*q - 4*x - w = 0, -4*q - 2*x + 0*x + 106 = 0. Does 13 divide q?
False
Let w be (-805)/(-20) + (-1)/4. Let b = w + -13. Is 14 a factor of b?
False
Suppose 0 = 4*w - 3*l - 14, 2*w + 2*l + 3*l + 6 = 0. Suppose -23 = -q - k, 3*k + 52 = w*q + 7*k. Does 20 divide q?
True
Let a be ((-2)/(-3))/(6/(-9)). Let q be (1 - a)/(-2)*-37. Let w = -24 + q. Is w a multiple of 13?
True
Let r be 3 + 0/(-3) - 0. Is 22 a factor of (-2)/(1 - r) + 84?
False
Let o(m) = m**2 + m. Let a be o(-6). Suppose 2 = -2*t - 2. Is (-2)/(a/16 + t) a multiple of 14?
False
Suppose -4*w = -3*w - 1. Let b be -9 + 5 + 2 + 0. Is (b - w)*5/(-3) a multiple of 2?
False
Let a(c) = -c**3 + 10*c**2 + 12*c - 16. Let j be a(11). Does 7 divide (-79)/j + 3/15?
False
Does 10 divide 2/8 - 78/(-8)?
True
Let i(x) = -2*x**3 - 4*x**2 - 2*x - 3. Let j be i(-4). Suppose -5*f + j = -191. Is f a multiple of 14?
False
Suppose 0 = w + w - 8, -t - 2*w = -92. Is t a multiple of 28?
True
Let g = -11 + 43. Suppose -f + g = 4*d, 70 + 30 = 4*f + 2*d. Does 8 divide f?
True
Is ((-1584)/(-20))/(6/30) a multiple of 36?
True
Suppose 4*n - 4 = 12. Suppose n*z = -z + 140. Is 9 a factor of z?
False
Let x = -14 + 53. Let l = 21 + x. Does 22 divide l?
False
Let j(r) = r**3 + 5*r**2 - 6*r + 4. Let d be j(-6). Suppose d = -o - 2*p, 0*o + 20 = 4*o - p. Suppose 2*l = 4*h + 32, o*l + 2*h - 14 = 2*l. Does 4 divide l?
False
Suppose -2*s + 88 = 2*s. Is s a multiple of 3?
False
Let m(f) = -f**3 + 2*f**2 + 4*f. Let r = -1 - -4. Let a be m(r). Suppose -k = a*k - 8. Is 2 a factor of k?
True
Suppose 0 = -2*i - i. Suppose i = 2*m - 131 - 45. Is m a multiple of 30?
False
Let z(w) = -w**3 - 16*w**2 + 16*w + 13. Is 10 a factor of z(-17)?
True
Let h(i) = -i**2 + 7*i - 4. Let b be h(6). Suppose 3*x = -d - b, 2*x + 2 = 7*x - d. Suppose -2*m = 2*y - 6, x*y + 5*y + 57 = 4*m. Does 4 divide m?
True
Let q(p) = 2*p**3 + 11*p**2 + 6*p + 15. Let j be q(-5). Let t be 46/4 + (-1)/(-2). Is 14 a factor of t/(-30) - (-504)/j?
False
Let q(j) = -j - 1. Let z be q(-3). Suppose -2*y + 5*y = z*u - 95, -3*u = -2*y - 140. Is 13 a factor of u?
False
Let h(i) = -i**3 + 5*i**2 + 7*i - 1. Is 10 a factor of h(5)?
False
Suppose 4*l - 10 - 2 = 0. Suppose 0 = l*r - 12 - 0. Suppose -q + 4*f = -0*q - 1, -r*q - 4*f = -24. Is q even?
False
Does 9 divide (4 + -3)/(3/147)?
False
Suppose 0 = 3*q + 2*b - 1086, -3*q = -8*q - 2*b + 1814. Does 52 divide q?
True
Suppose 4*z - 3*s = 36 + 138, -86 = -2*z + s. Is 14 a factor of z?
True
Suppose 74 = g - 4*d, -3*g + d = 31 - 242. Let n = 112 - g. Is n a multiple of 14?
True
Suppose 0 = -12*q + 2038 - 142. Does 53 divide q?
False
Let a be (-1)/((-98)/48 + 2). Let f be (1 + 0)*(7 + -2). Suppose -4*t = -5*o - t + 23, -f*o = -4*t - a. Is 4 a factor of o?
True
Let m(a) = -a**3 + a**2 + a + 3. Let z = 4 - 4. Let i be m(z). Does 5 divide (-70)/(-21)*(i + 0)?
True
Let n = -646 + 956. Does 31 divide n?
True
Does 17 divide 33*3*24/27?
False
Suppose 0*y = 3*y - 12. Suppose y + 16 = 2*o + 5*i, 2*i = -2*o + 20. Is o a multiple of 10?
True
Suppose 7 = 2*b - 3. Suppose b*s - 6 = 4. Suppose 0 = 2*o - 20 - s. Is 10 a factor of o?
False
Let h be -2 + 0 + 368 - -2. Is h/12 + (-4)/6 a multiple of 16?
False
Let w(q) = 4*q + 3 + q**3 + 9 + 3*q + 9*q**2. Let o be (-32)/(-20)*(-10)/2. Does 10 divide w(o)?
True
Let h(y) = -5*y**3 + 2*y - 7. Let q(a) = -6*a**3 + a**2 + 2*a - 8. Let f(m) = -7*h(m) + 6*q(m). Let c be f(4). Suppose -2 = -r + c. Is r a multiple of 9?
True
Suppose 137 = -5*w - 28. Let g be (-8)/(((-2)/16)/1). Let v = w + g. Is v a multiple of 15?
False
Is 14 a factor of (19 - 1)*(-29)/(-2)?
False
Let y(u) = -u + 8. Let t be y(4). Let z(s) = 3*s**2 - 2*s**2 - 3*s - 4*s**2 + 1 + t*s**2. Is z(6) a multiple of 5?
False
Let j be 572/18 + (-2)/(-9). Suppose -4*x + 0*x = -5*o + 42, -4*x = -4*o + j. Is 3 a factor of -1 - o/(-1 + -1)?
False
Suppose 0 = -4*f - 3*w - 192, f + 192 = -3*f + 3*w. Let x = 81 + f. Suppose 9*b = -2*i + 4*b + x, 5*i = -2*b + 72. Does 12 divide i?
False
Suppose 0 = 5*n - 21 + 6. Suppose -n*t - 6 + 72 = 0. Is 14 a factor of t?
False
Let s = 47 - 42. Does 5 divide s?
True
Let o(q) = -q**3 - 6*q**2 - 7*q - 2. Let v be o(-5). Suppose v*l = 3*l + 180. Is 13 a factor of l?
False
Let h(g) = -3*g**3 + g**2 - 3*g - 2. Does 16 divide h(-2)?
True
Suppose 0 = -4*t + i - 49 + 190, -4*i = -4*t + 144. Does 24 divide t?
False
Let r = 0 - -4. Suppose 2*q = -r*m - 0*q + 84, 5*m = 4*q + 105. Is m a multiple of 13?
False
Let o = 68 + 6. Suppose 0 = -b - 2*i - 0*i + 6, 0 = 4*b - 2*i - o. Is 8 a factor of b?
True
Suppose -4*w + 1 + 39 = 0. Suppose -3*d = 586 + 269. Is 24 a factor of d/(-7) + w/35?
False
Let v(y) = 4*y**2 - 2*y + 10. Is v(-4) a multiple of 47?
False
Suppose -6*u + 7 = -11. Suppose -3*i + 168 = -j - 34, 2*j = u*i - 206. Is 22 a factor of i?
True
Let s(c) = c**2 + c**3 - 2*c - 5 + 4*c - 4*c**2. Let l(u) = 2*u**2 + 2*u. Let z be l(-2). Is 11 a factor of s(z)?
False
Suppose 0 = 4*a - 2*a + 4. Let k be ((-3)/a)/((-3)/(-16)). Suppose t + 4 - k = 0. Does 4 divide t?
True
Let r(o) = -o - 4. Let j be r(-7). Suppose -y + j*y = 16. Is 4 a factor of y?
True
Let s = 3 - 6. Let j = 2 - s. Suppose -7 = -4*m - j*o - 0, 4*m - 13 = o. Is 3 a factor of m?
True
Let t(u) = 4*u**2 + 2*u. Let y be -4 + (0/(-3))/2. Let o be 2/y + (-6)/4. Is t(o) a multiple of 6?
True
Is -2 + -1 + 2 + 3861/11 a multiple of 35?
True
Let c(t) = t**3 + 9*t**2 + 2*t + 22. Is 4 a factor of c(-9)?
True
Let g = 10 + -6. Let x(s) = -s**2 + 7*s - 2. Does 10 divide x(g)?
True
Let y(o) = 2*o**2 + 6*o - 16. Is 11 a factor of y(-9)?
False
Let k(c) = 11*c - 1. Is 21 a factor of k(5)?
False
Let p = 23 + -5. Is p even?
True
Is 11 a factor of (-32)/(-1) + ((-12)/3)/(-4)?
True
Suppose -m - 432 = -9*m. Is m a multiple of 9?
True
Let u(r) = -2*r + 2*r - r - 3 + 2*r. Let n be u(-7). Does 2 divide n/(-4)*28/10?
False
Does 5 divide (-434)/(-35) - (-4)/(-10)?
False
Let j = 9 + -18. Let u be -12*(3/j + 0). Suppose -4*d - w + 38 = w, -u*d - 3*w = -43. Is 7 a factor of d?
True
Let n = -7 + 42. Does 23 divide n?
False
Suppose -5*x + 346 = 3*v, 3*x - 173 = 5*v + 21. Does 10 divide x?
False
Let d(c) = c**3 + 6*c**2 + c + 6. Let p be d(-6). Suppose -l - 2*s + 23 = 5, -s - 2 = p. Is 4 a factor of l?
False
Suppose 36 = 5*s - 44. Is 8 a factor of s?
True
Let z(o) = 2*o - 9. Let r be z(6). Let j = 10 - r. Does 3 divide j?
False
Suppose -12*l + 170 = -2*l. Is l a multiple of 2?
False
Let i = -5 + 22. Is 9 a factor of i?
False
Let o be (60/9)/(1/3). Does 11 divide 516/o + (-3)/(-15)?
False
Does 7 divide (-1)/3 - 106/(-3)?
True
Suppose -h + 10 = 4*h. Is 14 a factor of 78/4 + 1/h?
False
Let n(z) = 30*z**2 - 6*z + 6*z. Is 12 a factor of n(1)?
False
Suppose 5*y = 12*y - 980. Is 70 a factor of y?
True
Let z(i) be the first derivative of -5*i**2 + 7/3*i**3 + 1/4*i**4 + 7*i + 1. Does 9 divide z(-8)?
False
Suppose -4*q - 5*c + 6 = 0, -2*q + 4 = 2*c - 0. Suppose 52 = q*g - 0*g. Is g a multiple of 5?
False
Let n(r) = 15*r - 2. Let a be n(-10). Is ((-1)/(-2))/((-2)/a) a multiple of 10?
False
Let t(s) = 2*s**2 - 7*s + 1. Is 7 a factor of t(6)?
False
Does 6 divide -21*(-2)/(-6)*-2?
False
Let j = 17 - 8. Let i(t) = -t**3 + 9*t**2 + 3*t - 10. Is 12 a factor of i(j)?
False
Let k(t) = t + 3*t - 3*t - t**2 + 1. Let u be k(3). Does 10 divide (-2)/((2/u)/2)?
True
Let o be (-4)/(-10) - (-18)/5. Let r = o - -2. Is r a multiple of 2?
True
Let v(x) = -8*x**2 + 7. Let t(h) = -23*h**2 + 20. Let k(n) = 6*t(n) - 17*v(n). Let d be k(1). Does 4 divide 9 - (d + 0 + 2)?
True
Let w = 3 + -1. Let m(g) be the third derivative of g**5/30 + g**3/3 + 4*g**2. Is 5 a factor of m(w)?
True
Let t = 10 - -4. Let q be t*(16/14 + -2). Is (-2)/(-1) + (-4 - q) a multiple of 5?
True
Let h(y) = -7*y**3 + y**2 + y + 1. Let f be h(-2). Let i = f - 36. Is i a multiple of 14?
False
Let n(r) = -2*r**3 - 3*r**2 - r. Let x be n(-2). Let a = 9 + x. Does 5 divide a?
True
Suppose r = 4*p - 472, -4*p + 2*r - 7 = -475. Is p a multiple of 18?
False
Let o(j) = -10*j - 4. Is 6 a factor of o(-1)?
True
Let t be (-4)/6*27/(-6). Suppose -3*m + 3 + t = 0. Suppose w + 3*h - 24 = 0, -7*w = -m*w - 3*h - 48. Does 9 div