w - a. Does 12 divide l?
True
Suppose 0 = 2*z - 4*h - 60, 78 = -3*z + 6*z - 2*h. Suppose z*o - 14931 = 3*o. Does 13 divide o?
False
Let b(g) = -2*g**3 - 154*g**2 - 475*g + 334. Is 16 a factor of b(-76)?
False
Suppose -11*o = 2*o - 18468 - 48807. Does 345 divide o?
True
Suppose 0 = -25*t + 168723 + 522244 - 107192. Is t a multiple of 52?
False
Let i = 28620 - 8227. Is i a multiple of 162?
False
Let z be 590/14 - (-9)/(-63). Suppose 0 = 15*m + z + 18. Let u(a) = -23*a + 12. Is u(m) a multiple of 26?
True
Suppose -6*n - 8 = 2*n. Let j be n*6 - (-7)/21*-6. Is 25 a factor of -1*(-1202)/8 + j/32?
True
Suppose -539*j + 544*j - 15334 = 4*p, -3*j + 4*p + 9202 = 0. Is j a multiple of 20?
False
Suppose 23*n - 22*n = -12. Let p be 6/(-4)*((-52)/n + -7). Suppose p*w - 352 = -116. Is w a multiple of 16?
False
Suppose -k - n + 16 = 4*k, -2*k - n + 4 = 0. Suppose -5*u = -k*u - 4. Does 4 divide (u + 2)*77/22?
False
Let z(k) = -5 + 40*k**2 + 9*k - 3 - 39*k**2. Let a be z(-10). Is 18 a factor of (-53)/a*-2 + -1?
False
Suppose -2*i - 4*z + 10 = 0, -11 = 4*i - 5*z - 18. Suppose 0 = -a - 2*s + 5*s + 192, -5*a + i*s + 996 = 0. Is 67 a factor of a?
True
Suppose -114 = -6*d + 834. Let n(s) = -80*s**2 - 3*s + 3. Let k be n(1). Let l = k + d. Is 20 a factor of l?
False
Let n(j) = -j**2 + 4*j + 1. Let c be n(4). Is 11 + (0 - 2) + c even?
True
Let b(q) = 6*q + 42. Let s be b(-6). Suppose l + 27 = 2*f + 2*f, f + 4*l + 6 = 0. Let t = f + s. Does 2 divide t?
True
Let w = -3 + 2. Let m(n) = 60*n**2 + 4*n + 4. Let g be m(w). Let v = g - 9. Is v a multiple of 6?
False
Let s be 6758 - ((-1)/3 + 63/27). Suppose -s = -p - 11*p. Is 12 a factor of p?
False
Let w = 9 + -7. Suppose -w*p - 37 = 21. Let q = p + 57. Does 15 divide q?
False
Let i(c) be the first derivative of -50*c + 7/2*c**2 - 17. Is 13 a factor of i(9)?
True
Let q(v) = -v**2 - 2*v + 1224. Let i be q(0). Suppose 0 = 5*m - 17*m + i. Is 17 a factor of m?
True
Suppose -3786296 - 407236 = 24*y - 325*y. Does 36 divide y?
True
Let q = -85 - -65. Is 32 a factor of (-40)/4*(0 - (-568)/q)?
False
Let m = 1670 + -1495. Does 25 divide m?
True
Let r be 22/2*(2 + -1). Suppose 0 = 2*h - 6*h + 5*x + 202, 4*h + 3*x - 186 = 0. Suppose 12*j - h = r*j. Is 9 a factor of j?
False
Suppose -28012*d - 105798 = -28026*d. Does 3 divide d?
True
Let a(b) = -b**2 + 6*b + 33. Let d be a(9). Suppose -d*t = 8 + 82. Let j = t + 45. Is j a multiple of 6?
True
Let z(i) be the second derivative of 0 + 13*i + 3/2*i**2 + 2/3*i**3 + 2*i**4. Is z(-2) a multiple of 7?
True
Does 3 divide ((-8304)/(-8) - 5) + (-1 - -4)?
False
Is 2/(-21) + (-930)/(-3150) + 29247/15 a multiple of 39?
True
Suppose 0 = -3*s - 4*r + 5422, -4*s + 9290 - 2044 = 2*r. Suppose -5*z = 2*x - s, -z = -2*z - x + 361. Is 28 a factor of z?
True
Suppose 18667 + 300287 = 112*g + 6*g. Is g a multiple of 3?
True
Suppose 2*a + 2*a - 1116 = 0. Let q = a + -271. Is q even?
True
Let m(n) = 4*n + 143. Let y be m(-42). Does 37 divide 1069*1 + y + 29?
True
Let m be (-921)/12 + 15/20 + 0. Let q = 79 + m. Suppose -t - 5*i + 2*i + 39 = 0, -3 = q*i. Does 21 divide t?
True
Let u = -5 + 4. Suppose -s - 27*r = -25*r + 8, 0 = -s - 5*r - 17. Is 15 a factor of (s/u - -40) + 3?
True
Let p(m) = -2*m**3 - 75*m**2 + 39*m - 14. Is p(-45) a multiple of 198?
False
Suppose -3*s + 16349 = 917. Suppose 13*x = -1543 + s. Is x a multiple of 9?
False
Let u = -473 - -275. Let d = 379 + u. Let t = d - 62. Does 17 divide t?
True
Let t(i) = -i**2 + 19*i + 38. Let j be t(21). Is 11 a factor of (-111)/((-246)/(-66) + j)?
True
Suppose 42 = -8*c + 458. Let v = c - 44. Suppose 0 = -v*l + 185 + 471. Is 8 a factor of l?
False
Suppose f + 5*a = 37, 6*a = 2*f + 3*a - 22. Suppose 0 = 10*w + f*w - 1080. Does 4 divide w?
True
Let h = -3122 - -4064. Is h a multiple of 130?
False
Suppose -4*k + 1618 = 5*y - 4*y, 0 = -y + k + 1623. Does 4 divide y?
False
Let t be (-7 - 12/(-2))/(1/(-502)). Let d = 692 - t. Is d a multiple of 10?
True
Let h = -9 + 123. Suppose z + 5*x + 76 = -26, z = -x - h. Is (-2)/9 + (-7046)/z a multiple of 7?
False
Let x = 212 - 624. Let a = x - -455. Does 43 divide a?
True
Let j(b) = b**3 - 16*b**2 - 3*b + 8. Let x be j(8). Does 27 divide ((-54)/(-24))/((-2)/x)?
True
Suppose -134*u = -115*u - 262295. Is u a multiple of 11?
True
Let z(v) = v**3 + 7*v**2 + 6*v + 4. Suppose 3*o + 30 = -5*s, -2*o - 2 = -2*s - 14. Let m be z(s). Suppose 0*g - 24 = -m*g. Does 3 divide g?
True
Suppose 4*f + 5*d - 2071 = 0, -88*f + 1063 = -86*f - 3*d. Is 6 a factor of f?
False
Let r(k) = 3*k**2 + 19*k - 12. Let u be r(-7). Does 28 divide (u*-3)/(-2) + (136 - -1)?
True
Let r = 15628 - 9149. Does 31 divide r?
True
Let j be ((-27)/(-5))/(51/170). Let i(o) = -o**2 + 17*o + 13. Let d be i(j). Let s(y) = 2*y**3 + 13*y**2 + 13*y + 12. Does 2 divide s(d)?
True
Let p(y) = -2*y**3 - 81*y**2 - 757*y + 102. Is p(-46) a multiple of 50?
True
Let l(p) = 182*p + 0 - 181*p + 10. Let o be l(-3). Suppose o*h - h = 192. Is 2 a factor of h?
True
Is (0 - 914/6*5)*(-3 + 0) a multiple of 34?
False
Let y(m) be the third derivative of m**6/60 + 13*m**5/60 + 7*m**4/24 + 4*m**3/3 - 18*m**2. Let v be y(-6). Suppose 0*n - v*n = -20. Is 2 a factor of n?
True
Let b = -184 + 634. Suppose 0 = 5*o + 284 - 729. Suppose i - t - o = 0, -2*t - 2*t - b = -5*i. Is i a multiple of 17?
False
Suppose -5*m - 25 = 0, 1725 = b - m - 3*m. Is 24 a factor of 1/(((-5)/b)/(-4 - -1))?
False
Let d be (-12)/(-4) + 1 + 1. Is 3 a factor of -1*6 - (-335 - (-10)/d)?
True
Let u(k) = 19975*k**2 - 48*k - 31. Is 168 a factor of u(-1)?
True
Suppose 2*g - 11 = 3*v, -4*g - g + 53 = v. Suppose -g*k - 4347 = -17*k. Is 11 a factor of k?
False
Let p(h) = 849*h**2 - 521*h - 2502. Is 43 a factor of p(-5)?
True
Let g = -846 - -848. Suppose -g*a + 922 = q - 172, 0 = -5*q + 3*a + 5509. Is q a multiple of 11?
True
Let g be 378/(-4)*(-2 + -1 + 1). Suppose -13*k + g = -10*k. Is k a multiple of 8?
False
Suppose -16 = -2*r + 2*y, -r - 5*y + y = 7. Suppose -3*j = -5*z + 3770, r*z + 9*j - 3780 = 10*j. Is 57 a factor of z?
False
Does 51 divide (99 - 126)*272/(-6)?
True
Suppose 29*n = 3*n + 141648. Is n a multiple of 41?
False
Let m(s) be the first derivative of s**3/3 + s**2/2 - 7*s + 25. Let d be m(-3). Does 33 divide (-23)/(d/5 + (-30)/100)?
False
Suppose 2*o = -4*d + 12, 7*d - 13 = -2*o + 2*d. Suppose 196 = 2*j + 3*q, -2*j - 192 = -4*j - o*q. Is 26 a factor of j?
True
Suppose -994087 - 797351 = -55*x + 409992. Is 236 a factor of x?
False
Let q = -1 + 10. Let m be -3 - q/(18/(-116)). Let k = m + -31. Does 6 divide k?
True
Is (-36)/4*(5975/(-10))/5*22 a multiple of 11?
True
Suppose 4 = 4*j - 4*p, -2*p + 0 - 2 = -4*j. Suppose 42*m - 46*m - 196 = j. Let w = 287 - m. Does 56 divide w?
True
Suppose -2 = b, t - 5*t = -5*b - 374. Suppose -11*n - t + 399 = 0. Let g = n - -36. Is 24 a factor of g?
False
Let g(z) = 12*z**2 + 5*z + 14. Let c be g(-3). Suppose 7*d - c - 82 = 0. Is d a multiple of 4?
False
Suppose 128*n = 49*n + 196236. Is n a multiple of 69?
True
Let g be -55*-2*(-3)/(-15). Suppose 7*x - 1119 + 1098 = 0. Suppose 0 = -i, 4*i - g + x = -q. Is 2 a factor of q?
False
Let n be -1*(1 + (-2 - 2)). Suppose -n*g + g = -952. Suppose -g = k - 5*k. Is 15 a factor of k?
False
Suppose -72 = -34*w + 31*w. Suppose -w*c - 4*c = -13048. Is 22 a factor of c?
False
Let y = -864 - -581. Let a = y - -329. Is a a multiple of 11?
False
Let f(q) = 23*q - 28. Let x = -40 + 43. Suppose 4*c - x*c - 8 = 0. Does 12 divide f(c)?
True
Let g(x) = 2*x**2 + 5*x - 89. Let v(n) = -6*n**2 - 14*n + 267. Let h(k) = 11*g(k) + 4*v(k). Is 28 a factor of h(0)?
False
Does 110 divide 15 + (8 + 38342)/10?
True
Let a = 527 - 551. Is 15 a factor of ((-904)/(-12))/((-4)/a)?
False
Suppose 5*t + 5 = -5*u, u + 2 + 7 = t. Suppose -3*n = -t*j + 36, 1 = -3*j + 10. Is 16 a factor of (2835/20)/7*n/(-2)?
False
Suppose -19*u = -21*u + 3*a + 668, -4*a - 1324 = -4*u. Is u a multiple of 25?
True
Let t(o) = -15*o - 61. Let q be t(-26). Let a = q + -158. Is 32 a factor of a?
False
Let t(d) = 10*d**3 - 6*d**2 - 20*d - 3. Is 41 a factor of t(7)?
True
Suppose -9*b + 222 = -336. Does 31 divide b?
True
Let d be (4 + -4)/(-1 - (-3 + 3)). Suppose -5*w + 4*m = -3*w - 844, d = -5*w + m + 2119. Does 10 divide w?
False
Suppose -2*d - 32 + 36 = 0. Let a be (-2)/(-2)*d*(-1)/(-2). Let u(z) = 156*z**