3*y, 0 = -4*m + 2*y + l + 156. Is m a multiple of 12?
False
Suppose -4*u + 7 = -3*u. Suppose -a = -u*a. Suppose a = 4*t - 2*m - 222, m = 5*t - 203 - 73. Is 15 a factor of t?
False
Suppose 309*o - 47664 = 291*o. Is o a multiple of 16?
False
Suppose -29*v + 30*v = 42. Does 21 divide v?
True
Suppose 5*t - 14 = 5*g - 2*g, 5*t - 18 = g. Suppose t*a + 6 = 5*a. Is 9 a factor of -3*6*a/(-4)?
True
Let m(l) = l**3 - 6*l**2 + 9*l - 4. Let u(r) = -r + 11. Suppose 8 = -6*h + 38. Let z be u(h). Does 17 divide m(z)?
False
Suppose 0 = -5*w + 3*a + 265, 5*w + a - 179 = 86. Is w even?
False
Suppose 1649 = 15*k - 2911. Is k a multiple of 16?
True
Suppose -19128 + 723 = -45*v. Does 9 divide v?
False
Let s be (-1)/((-14)/4) - (-12)/7. Suppose n + s*r = -n + 62, -n = 4*r - 16. Is 16 a factor of n?
False
Let w be (4 + 0)/(3 - 2). Suppose -2*z = -3*z + w. Suppose z*o - o = 102. Does 17 divide o?
True
Let t = 63 - 40. Is t a multiple of 9?
False
Suppose -5*u = -3*t - 0*t - 1477, 309 = u - 4*t. Suppose 0 = -o - 4*a + 72 + 92, 2*o + a = u. Is 9 a factor of o?
True
Suppose 6779 = 14*o - 18659. Is o a multiple of 4?
False
Suppose 0*m - 3*m + 234 = 0. Let z = -544 + 550. Suppose -z*g + m = -6. Is 7 a factor of g?
True
Let p = -31 - -33. Is 21 a factor of 2/p*-3 + 108?
True
Let v(y) = 12*y - 58. Let q be v(13). Suppose -6*g = -7*g + q. Is g a multiple of 14?
True
Is (-4)/8*856/(-4) a multiple of 38?
False
Suppose r = -3*y + 205, -2*y - 2*y = 4*r - 820. Does 36 divide r?
False
Let g(s) = -13*s + 2. Let c = -12 - -12. Let x be (1 - 5) + c/(-3). Is 18 a factor of g(x)?
True
Suppose -59 - 40 = -a. Suppose z + a = 4*z. Is z a multiple of 33?
True
Let i be 3/(-1 + 8/5). Suppose -3*h - i*g = 8, -g = 5*h - 0 + 6. Does 7 divide h/7 + 50/7?
True
Suppose -4*u + 165 = -u. Suppose -5*k + u = -40. Is 16 a factor of k?
False
Suppose -f - 1 = -2*i + 4, 0 = -5*f + i + 11. Suppose 4*d = f*n + 81, 0 = -2*n - n + 3. Does 7 divide d?
True
Suppose -22887 = -43*w + 11642. Does 53 divide w?
False
Suppose 0 = 2*t - 4*b - 30, t - 10 - 11 = 5*b. Is t a multiple of 2?
False
Let w = -2 - -4. Suppose 3*u = 5*i + 208, 94 + 50 = w*u - 2*i. Is 15 a factor of u?
False
Suppose 1835 = -9*u + 4*u. Let n = -87 - u. Is 20 a factor of n?
True
Let z = 3 + -2. Let a = 958 - 979. Is (a/14)/(z/(-32)) a multiple of 7?
False
Let b(r) = -37*r + 277. Is 18 a factor of b(-11)?
True
Suppose -5*c = m - 52, -3*m = -4*c - 0*m + 34. Suppose 96 = -7*h + c*h. Is 10 a factor of h?
False
Let r = -30 - -33. Suppose 178 = r*i - 86. Suppose 37*b = 33*b + i. Is b a multiple of 13?
False
Let g(y) = y**3 + 6*y**2 - 6*y + 17. Let i be g(-7). Does 19 divide (i/1)/(12/30)?
False
Let g be (1 + 9)*(-3)/(-2). Let t = 14 - g. Is 10 a factor of 136/(12/3) + t?
False
Is 19 a factor of (-6)/11 - ((-151255)/143)/5?
False
Let g(n) = -5*n**2 - 5*n - 4. Let b(k) = 4*k**2 + 4*k + 3. Let w(p) = 4*b(p) + 3*g(p). Let u be w(5). Suppose 0 = 2*v - 118 + u. Does 22 divide v?
True
Suppose -20 = -d - 5*t, 6*d - 3*t = d + 44. Suppose -4*n = n - d. Let b(h) = 2*h**3 + h. Does 9 divide b(n)?
True
Suppose -3*o = 3*q - 1944, 4*o = 3*q + 2*q + 2556. Does 43 divide o?
False
Is 10472/24 + 0 + (-6)/(-9) a multiple of 6?
False
Let b(i) = 9*i**2 - 12*i + 6. Is 46 a factor of b(-7)?
False
Let r be (-404)/(-20) - (-3)/(-15). Suppose -a = -2*a + r. Is 15 a factor of a?
False
Suppose 258 = -3*a + 5*a. Let p = -73 + a. Does 12 divide p?
False
Let t(x) be the first derivative of -x**4/12 + 7*x**3/6 + 4*x**2 + x + 4. Let w(g) be the first derivative of t(g). Does 4 divide w(4)?
True
Suppose 3*r - 4 = -2*u, -7*r - 2 = -u - 4*r. Is 29 a factor of u/(-2)*2/(-6)*783?
True
Is (6 + 51/(-17))*1*433 a multiple of 21?
False
Suppose 3*r - 12 = 2*r. Suppose 3*h + k = -15, k = 5*h + 13 + r. Does 12 divide (-108)/20*h*1?
False
Let p(k) = 4*k**2 + k + 1. Suppose 3 = -5*u - 12. Is p(u) a multiple of 6?
False
Suppose -z + 3*f = -149 - 313, 0 = -z - 5*f + 462. Does 13 divide z?
False
Suppose 0 = 3*y - 0*y - 294. Suppose -k - 5*o = k + 24, 5*k + 3*o + y = 0. Is (1 + 5)*k/(-6) a multiple of 20?
False
Suppose 1315*f = 1317*f - 270. Is 45 a factor of f?
True
Suppose -17*u = 4*u - 26628. Is 25 a factor of u?
False
Suppose d - 181 = 3*y, -9*d - 3*y + 199 = -8*d. Does 5 divide d?
True
Let s(y) = -2*y + 18. Let q be s(-14). Let t = q + -7. Is t a multiple of 13?
True
Let s be 0/(-2) - (-80)/(-4). Let x be 15/s - (-46)/8. Let q = x + 6. Does 11 divide q?
True
Let q(x) = -18*x**2 - 221*x + 22. Is 54 a factor of q(-10)?
True
Suppose -7*w = -4*w - 3768. Suppose w = 13*x - 5*x. Is x a multiple of 34?
False
Let a(w) = -32*w**2 + 35*w**2 + 5 + 0*w + 5*w - 2*w**3. Is a(-5) a multiple of 36?
False
Suppose 31*v - 20015 = 88361. Is v a multiple of 92?
True
Let b(q) = q**3 + 3*q**2 - 3*q + 2. Let a be b(4). Suppose -d + a = -24. Is d a multiple of 7?
True
Suppose -116 = -0*i + 2*i. Let u = -42 - i. Is 8 a factor of u?
True
Suppose -269 = 5*v - 2*t + 131, 2*v + 4*t = -184. Let p = 100 + v. Does 9 divide p?
True
Let n = -34 - -43. Suppose 0 = k - 10 - n. Is k a multiple of 16?
False
Let o(i) = 26*i**3 + 1. Let h(b) = -b**3 - b - 1. Let z(w) = -2*h(w) - o(w). Is 15 a factor of z(-1)?
False
Let t be (-6)/(-8) + (-41)/(-4). Let x(q) = q + 9. Does 3 divide x(t)?
False
Let d(l) = 579*l**2 + 7*l - 7. Is 9 a factor of d(1)?
False
Let d(z) be the first derivative of -z**4/4 - 8*z**3/3 + 27*z**2/2 - z + 10. Does 13 divide d(-11)?
True
Does 87 divide (-36)/(-5) - 7 - 30798/(-10)?
False
Suppose 0 = 5*s - 3*k - 32, 0 = -3*k - 12. Suppose -2*d - 2*d + 16 = 0, -3*n + 20 = -s*d. Does 5 divide n?
False
Suppose 4*a = -m + 54, -4*a = 2*m - 8*a - 156. Is m a multiple of 35?
True
Let u = -7 + 12. Let k = u - -1. Is 15 a factor of k/(-4) - (-378)/12?
True
Let k(g) be the second derivative of 2/3*g**4 + g - 7/6*g**3 - 1/2*g**2 - 1/20*g**5 + 0. Is k(6) a multiple of 14?
False
Let c = -120 + 254. Let f = -22 + c. Does 14 divide f?
True
Suppose 426 = 18*b - 12*b. Is b a multiple of 4?
False
Let t(f) = -88*f - 2. Suppose 0 = -4*z - 8. Is t(z) a multiple of 13?
False
Let v(z) = z**3 + 15*z - 20. Does 3 divide v(5)?
True
Let o be 4 - 56/12 - 160/3. Let d = o + 105. Is d a multiple of 7?
False
Let b = 1816 - 1617. Does 11 divide b?
False
Suppose -s + 5*s - 3*m - 2 = 0, 5*s - m - 8 = 0. Suppose 0 = -4*c, 94 = 4*a - s*c - 82. Suppose 4*g + 55 = 4*z - z, 0 = 2*z + g - a. Does 10 divide z?
False
Let l be (12/(-10))/(-2) + (-185)/(-25). Suppose -2057 = -3*m - l*m. Does 17 divide m?
True
Let f be (-12)/(-5) - (-12)/20. Let q = 284 - 183. Suppose 0 = f*y + 41 - q. Does 6 divide y?
False
Let b(t) = -t**2 + 8*t - 11. Let p be b(9). Is (116/p - -5)*-80 a multiple of 16?
True
Suppose 2*k + 29 = 3*b, -4*b = -0*b + 3*k - 50. Let l = -6 + b. Suppose 5*c - 50 = -q, l*q - q - 20 = -2*c. Does 7 divide c?
False
Suppose 2*i - 20 = -3*i. Is 2 a factor of i + 12/(-4) + 10?
False
Suppose -30*r + 22*r = -19552. Does 47 divide r?
True
Let h(d) = d**2 + 3*d + 4. Let o(c) = -2*c**2 - 4*c - 6. Let w(s) = -7*h(s) - 5*o(s). Let a be w(2). Let f(t) = 6*t + 12. Is 28 a factor of f(a)?
True
Suppose 63*m - 59*m - 672 = 0. Does 7 divide m?
True
Let l(q) = q**3 - 28*q + 3 - 4 + 54*q - 24*q. Does 11 divide l(2)?
True
Let m = -57 - -9. Is 9 a factor of (22/(-4) + 4)*m?
True
Let w(b) = b**2 + 2*b - 9. Let h be w(-5). Let o(l) = 2*l - 7. Let p be o(h). Suppose -t + 41 = -5*y, -3*t + 99 = -p*y - 74. Does 33 divide t?
True
Let a(c) = 64*c**2 - 4 - 65*c**2 - 2 - 2*c. Let z be a(-5). Let o = z + 30. Is o a multiple of 9?
True
Let l(r) = -2*r**3 + 11*r**2 - 16*r + 11. Let s(g) = g**3 - 5*g**2 + 8*g - 5. Let b(t) = 4*l(t) + 7*s(t). Let f be b(8). Let o = f + 4. Does 4 divide o?
False
Let h be ((12/(-5))/3)/((-2)/(-10)). Let t(v) = v**2 - 2*v - 1. Is t(h) a multiple of 10?
False
Suppose 4*c = h + 15, -4*c - 4*h = -0*h. Suppose -3*l + s = -191, 0 = 3*l - c*s - 86 - 97. Is 33 a factor of l?
False
Let u(g) = -6*g**3 - 3*g**2 - 10*g - 10. Let l be u(-4). Suppose 16*q - l = 10*q. Is 20 a factor of q?
False
Suppose -3*k + 39 = i, 11*i - 237 = 6*i - k. Is 20 a factor of i?
False
Suppose 4*t + 4*i = 36, 5*t = 4*i + 40 + 5. Does 9 divide t?
True
Suppose 0 = 66*a - 61*a - 765. Is 17 a factor of a?
True
Suppose k - 1171 = 622. Is k a multiple of 25?
False
Let i = 4 - 1. Suppose -s + i*s = 136. 