
Suppose 8*k + 372 - 1972 = 0. Is k a multiple of 75?
False
Let s = -71 + 96. Suppose -s*v = -5*v - 560. Does 14 divide v?
True
Suppose 12 = -6*m + 10*m. Suppose -m = -3*a, -5*c + 757 - 27 = 5*a. Does 29 divide c?
True
Let l be 285/6 - 1/2. Let u(g) = -7*g - 41. Let o be u(-5). Let v = l - o. Is 16 a factor of v?
False
Suppose 3*p - 35 = -u, p = u + u + 14. Let y = p + -12. Suppose y = -x + 4*c + 42, 22 = x + 3*c - 2*c. Is 26 a factor of x?
True
Let u(d) = -2*d + 7. Let r(z) = -4*z - 1. Let v(j) = 4*j + 1. Let y(s) = -6*r(s) - 5*v(s). Let h be y(-2). Does 7 divide u(h)?
True
Suppose -59*a + 58275 = -22*a. Is 45 a factor of a?
True
Suppose -2*q = -u - 24, -3*q - 3*u + 2*u + 31 = 0. Suppose -29 = 4*s + j, -2*s + j = 8 + q. Let o = s + 24. Is 3 a factor of o?
False
Let a(f) = 2*f**2 - 24. Let s = -29 - -24. Is a(s) a multiple of 26?
True
Let o(l) = -115*l**2 - l - 2. Let j be o(-1). Let n = -32 - j. Is 12 a factor of n?
True
Suppose -5*w = 4*y - 17, 3*w = -5*y + 3 + 2. Let b be ((-1)/(-3))/(y/(-18)). Suppose -23 = -b*x + 4. Is x even?
False
Let f(k) = 2*k**2 - 6*k - 11. Let h be f(-2). Let w(r) = 7*r - 6. Let m(o) = 15*o - 12. Let p(z) = -6*m(z) + 13*w(z). Is p(h) a multiple of 3?
True
Suppose 5*c - 775 = -4*r, -5*c - 684 = -5*r + 251. Is r a multiple of 13?
False
Let l = 158 + -101. Does 19 divide (28/12)/7*l*2?
True
Suppose -28*o = -32*o + 2*d + 4640, -5813 = -5*o - 4*d. Does 9 divide o?
True
Suppose 52 = -6*n + 4*n. Let c be 4/n - 1128/104. Let j = 41 + c. Does 8 divide j?
False
Let m be 0 + 2 + -3911 - 1. Let x be m/(-35) - 4/(-14). Let c = x - 78. Does 17 divide c?
True
Let y(c) = -c + 7. Let b be 1 + (-2 + 6 - 18). Is 4 a factor of y(b)?
True
Let z(q) = 12*q - 12. Let l(d) = -13*d + 11. Let g(h) = 3*l(h) + 4*z(h). Let t be 1/(13/(-7) - -2). Is g(t) a multiple of 12?
True
Suppose -59*i + 53*i = -3738. Does 26 divide i?
False
Let h = -521 + 646. Is h a multiple of 34?
False
Suppose 6*r = 3*d + 2*r - 1212, -4*r + 1616 = 4*d. Is d a multiple of 12?
False
Let c be 40*(28/20 + -1). Let y = c + -16. Suppose 4*x = -3*p + 35, y = -2*p - 0*p - 4*x + 30. Is 5 a factor of p?
True
Let a be ((-205)/(-10)*-2)/(-1). Let k(t) = -a + 18 - 47*t + 26. Does 25 divide k(-1)?
True
Let z = -15 - -20. Suppose 5 = -z*q - 5*v - 20, -3*q - v - 17 = 0. Is 9 a factor of 50 + (1 - (-3 - q))?
False
Let g(i) = i - 8. Let s be g(6). Does 7 divide ((1 - 5) + (1 - s))*-7?
True
Does 21 divide ((-567)/(-12))/((-6)/(-16))?
True
Suppose 3*t + 34 = -20. Let m = 30 + t. Is m a multiple of 4?
True
Let q(m) be the first derivative of -m**4/4 - 14*m**3/3 - m**2/2 + 9*m - 2. Does 5 divide q(-14)?
False
Suppose -2*u - 30 = -2*k + 30, 5*u = 0. Suppose 4*c - k = 6*c. Let g = 103 + c. Is 22 a factor of g?
True
Let d(c) = 7*c**3 - 22*c**2 - 14*c + 23. Let k(x) = 13*x**3 - 43*x**2 - 28*x + 45. Let f(h) = -11*d(h) + 6*k(h). Is f(17) a multiple of 17?
True
Suppose 2*b + 3 = 9. Let a be -2 + (b - 3) - -3. Is 33 a factor of 1182/18 + a/3?
True
Let f(j) = -24*j + 11. Let o be f(9). Let a = o + 458. Is a a multiple of 10?
False
Suppose 11 + 19 = 3*t. Let n(y) = y**3 - 9*y**2 - 7*y + 2. Is 20 a factor of n(t)?
False
Let r be ((-1)/4)/(3/(-12)). Let t(h) = h - 67. Let y be t(19). Is ((-20)/16)/(r/y) a multiple of 15?
True
Does 11 divide 1424/10 - (-105)/175?
True
Let c = 118 - 121. Is (5 + 439)*c/(-4) a multiple of 34?
False
Let m(l) be the first derivative of -l**3/6 + 37*l**2/2 - l - 3. Let w(a) be the first derivative of m(a). Does 14 divide w(0)?
False
Let o = 29 + 43. Let v be 13*(-13)/((-39)/(-9)). Let n = v + o. Is 11 a factor of n?
True
Suppose 9*y - 252 = 7*y. Let i = y + -106. Does 4 divide i?
True
Suppose 2*j = -30*w + 32*w - 328, -2*j = -5*w + 820. Is w a multiple of 8?
False
Let l(o) = 37*o**2 - 2*o - 3. Suppose -11 - 1 = -4*j. Let z be l(j). Suppose z = 3*t + t. Is 21 a factor of t?
False
Suppose 120*q = 118*q + 24. Is q a multiple of 6?
True
Suppose -2*z = -145 + 1. Suppose z = -5*a + 662. Suppose 8 = 2*d, -a = -3*g - 3*d - d. Does 17 divide g?
True
Let d(n) = n**3 - 3*n**2 + n. Let p be d(3). Suppose k + p*c = -c + 12, 5*c = -5*k + 15. Suppose 0 = -r - 0*h + h + 7, -r - 4*h + 22 = k. Is r a multiple of 10?
True
Let x(i) = i**2 + i + 8. Let f be x(-7). Suppose -3*h - 5*n + f = 0, 2*n - 5*n - 38 = -5*h. Is 24 a factor of (-37 + 1)*h/(-15)?
True
Suppose -15444 = 22*k - 35*k. Is k a multiple of 20?
False
Suppose 2*b + 3 = f + 12, 4*b - 11 = f. Let g be 315/f*2/(-6). Suppose r - g = -2*r. Is 3 a factor of r?
False
Suppose -75*h + 9571 = -58*h. Is 10 a factor of h?
False
Let h(m) = -145*m + 3. Let p be h(4). Let b = -337 - p. Suppose -4*j + u = -b, u = -j + 6*u + 60. Does 20 divide j?
True
Let w = 1021 - 642. Is w a multiple of 4?
False
Suppose 0 = -v - l + 7, -5*v + 4 = -3*l + 1. Suppose 0 = -4*n - 5*t + 10 + 26, t - 38 = -v*n. Suppose b - c - n = 0, b = 4*b - 5*c - 32. Is 3 a factor of b?
False
Suppose 2615*d = 2609*d + 3552. Is 3 a factor of d?
False
Let z be 36/6 - (2 - -2). Let k = z + 10. Is k a multiple of 11?
False
Does 19 divide -1*3/(21/(-1799))?
False
Let a(v) = -v**3 - 6*v**2 + 5*v - 8. Let i(k) = -7*k**3 - k**2 + k. Suppose 0 = -5*m - 5*n + 25, n - 1 = -5*m + 2*n. Let y be i(m). Is a(y) a multiple of 6?
True
Suppose -3*u = -w - 4*u - 1, u + 21 = 4*w. Let k be 2/(-4)*w/1. Is 2/(-4) + (-37)/k a multiple of 6?
True
Let o(s) = s**2 + 8*s + 2. Let f be o(-8). Let q be (-4)/f - (0 + 9). Does 11 divide 4/(-22) + (-123)/q?
True
Let x(s) = -s**2 - s - 2. Let a be x(7). Let g = 313 + a. Is g a multiple of 15?
True
Let k(b) = -2009*b**3 + 4*b**2 + 4*b - 3. Let v be k(-3). Does 18 divide ((-4)/5)/1 - v/(-380)?
False
Let w(x) = x + 63. Does 13 divide w(-18)?
False
Is 21 a factor of -4 - -8 - (-454)/2?
True
Let v = -6 - 210. Suppose 1 = -4*m - 19. Does 13 divide m*(v/10 - -4)?
False
Suppose -12*g + 10*g + 6 = 0. Suppose v = g*v - 90. Is v a multiple of 12?
False
Let t = 38 + -34. Suppose 2*k - t*l = 126, -20 = 2*k - 5*l - 149. Is k a multiple of 18?
False
Let a = -148 + 781. Is 53 a factor of a?
False
Let d(n) = n**2 - 15*n - 14. Let m be d(16). Let k = 11 - m. Is k a multiple of 3?
True
Suppose -2*n + 4*t + 2 = 0, -n - 1 = 3*t - 2. Let o = 22 + 938. Does 32 divide o/70*7/n?
True
Suppose 2*j - 7*j + 31 = -4*o, 4*j - 23 = 5*o. Suppose 3*b - 320 = -5*x, 5*b + 6*x - 552 = j*x. Is 18 a factor of b?
False
Suppose -22*r + 1906 = -2098. Is 7 a factor of r?
True
Let j = -28 + 26. Let w(m) = -62*m - 16. Is 27 a factor of w(j)?
True
Let w(o) = -o - 11. Let u be w(-13). Suppose -u*b + 9 + 1 = p, 3*b = 4*p - 62. Does 7 divide p?
True
Let o = -383 - -181. Is 28 a factor of (-3)/3 + ((-20)/4 - o)?
True
Suppose -5*t = -6*t - 3*h - 97, 2*h + 277 = -3*t. Let s = -31 - t. Is s a multiple of 15?
True
Suppose d + 4 = 0, 5*q + 1155 = -2*d + 7. Suppose 4*u - p - 1298 = 0, -p + 274 + 696 = 3*u. Let i = q + u. Is i a multiple of 32?
True
Let i(u) = -3*u**3 - 3*u**2 - u + 9. Let m(q) = q**3 - q**2 + q - 1. Let g(y) = -i(y) - 4*m(y). Let c = -8 + 12. Is g(c) a multiple of 10?
False
Suppose -6*v + 12 + 18 = 0. Suppose 3*i - 73 = -v*q, 94 = 4*i + 7*q - 2*q. Is 5 a factor of i?
False
Suppose 3080 = 26*u + 29*u. Is u a multiple of 14?
True
Suppose 2*z - 1386 + 120 = 0. Suppose 5*p = z - 73. Suppose -4*q + p = -32. Is 12 a factor of q?
True
Let i = 69 - 65. Let m be (-7)/(-4) - 1/(-4). Suppose i*v + v = 4*u + 30, -m*v = -4*u. Is v a multiple of 5?
True
Let t = -14 - -22. Does 28 divide 80 - (-7)/(14/t)?
True
Let f be 2/(-4) - 115/10. Let i be ((-1)/(-1))/((-19)/(-437)). Let v = i + f. Does 10 divide v?
False
Let a be (224/6)/(1/(-3)). Let w be (a/12)/(-7)*-3. Is (-10)/w*30/1 a multiple of 25?
True
Let k = -312 + 711. Is 19 a factor of k?
True
Let j(k) = k**3 + 3425*k + 15*k**2 + 0*k**3 - 3429*k. Is 10 a factor of j(-15)?
True
Suppose -5*v - 295 - 115 = 0. Let r = v + 159. Does 5 divide r?
False
Suppose 0 = u + 65 - 479. Is u a multiple of 46?
True
Let k = 24 - 36. Let a = 48 + k. Does 6 divide a?
True
Let y(u) be the second derivative of u**3 + 9*u**2/2 - 10*u. Does 9 divide y(3)?
True
Let p = -79 - -81. Let k(i) = -i**2 + 2. Let l be k(0). Suppose 4 = l*s + p*s, -4*w - s = -217. Is w a multiple of 17?
False
Suppose 6720 = -6*a + 8*a. Suppose -10*u + a = 6*u. Does 21 divide u?
True
Let o be (0 - 4/(-10)) + 8/(-20). 