-z*h - 62 = -2*x. Is x a multiple of 29?
True
Let r be (-3 - -2) + 0 + -23. Is (1 - (-31)/(-2))/(4/r) a multiple of 26?
False
Suppose -a + 906 = 2*o - 269, a - 1200 = 3*o. Does 10 divide a?
False
Let x = -1799 + 2490. Is x a multiple of 5?
False
Let n(u) = -49*u + 6. Let a be n(-6). Suppose -4*j + a = -0*j. Let k = j - 38. Does 14 divide k?
False
Let r = 1669 - 1008. Suppose b + 3*x + r = -716, 4*x - 6828 = 5*b. Is (-5)/(-2)*b/(-45) a multiple of 19?
True
Suppose 41*p - 2211 = 4677. Is 40 a factor of p?
False
Let q = 284 - -439. Does 42 divide q?
False
Let v(a) = -3*a**2 - 2*a + 6. Let y be v(-5). Let f(q) = 11*q**2 + 4*q - 1. Let z be f(3). Let b = y + z. Is b a multiple of 17?
True
Let b(i) = i**3 + 6*i**2 - 2*i - 9. Suppose 4*g - 4 = 0, 0*g + 12 = 3*k + 3*g. Suppose k*x - x + 24 = -5*a, 0 = 3*a + 2*x + 12. Is b(a) a multiple of 3?
True
Let g(a) = -4*a**3 - 3*a**2 + 2*a + 3. Let z be g(-3). Suppose 4*f - 4*k + 11 = 71, 0 = 5*f - 2*k - z. Does 16 divide f?
True
Let m be -3 + (-2)/(6/(-21)). Suppose -m*a + 44 = -32. Suppose -2*x - s + a + 8 = 0, 4*s = -3*x + 48. Does 5 divide x?
False
Does 8 divide (-81 - 1)/(17/1768*-8)?
False
Suppose 2379 = 48*g - 69. Does 2 divide g?
False
Is (351/4)/(24/192) a multiple of 9?
True
Suppose -10*x - 795 = -5*x. Let q = x + 233. Does 13 divide q?
False
Let d(f) = 105*f**2 + 15*f + 30. Does 33 divide d(-4)?
True
Suppose -4*i + 20 = -2*g, 6*g - 3*g + 15 = i. Suppose 165 = 5*v - 2*t, i*v - 125 = -3*t - t. Is 5 a factor of v?
True
Let l(d) = 41*d + 538. Is 111 a factor of l(40)?
False
Let c = 45 - 41. Suppose 0*n = -n - 4*f + 109, -170 = -2*n + c*f. Does 25 divide n?
False
Let s = -4 - -7. Suppose -285 = -0*c - 5*c + 5*o, s*c + 3*o = 153. Does 23 divide c?
False
Let l(b) = b**2 + b + 2. Let k be l(-2). Suppose -k*f + 10 = -2. Suppose 156 = o + f*o. Does 19 divide o?
False
Let r = 10 - 25. Let i = 69 - 42. Let w = i + r. Is w a multiple of 6?
True
Let k be 2/(-1) - -29*8. Suppose 11*v + k = 10*v. Let g = -135 - v. Is g a multiple of 19?
True
Suppose 0 = 5*g, 2*r = -r - 3*g - 33. Is ((-5)/(25/(-28)))/(r/(-660)) a multiple of 48?
True
Let d be 0/(8/(-2)) - -3. Suppose d*w = -30 - 15. Is 7 a factor of (10/w)/(4/(-42))?
True
Let w(p) = p**2 + p - 1. Let y = 13 - 14. Let v(h) = 4*h**2 + 13*h - 11. Let u(t) = y*v(t) + 6*w(t). Is 7 a factor of u(6)?
True
Let l = 40 - 34. Let f = 5 + l. Does 2 divide f?
False
Let u be (-3)/(-3)*-3*3. Suppose 0 = -0*z + 5*z + 75. Let o = u - z. Does 2 divide o?
True
Let i(w) = w**3 + 9*w**2 + 9*w + 9. Let h be i(-8). Let x be 2*(0 - h)*-4. Suppose 11*c = x*c + 15. Is 3 a factor of c?
False
Suppose -k + 59 = -0*k. Suppose -k - 21 = -z. Is 27 a factor of z?
False
Let a(l) = 772*l**2 - 9*l - 12. Is 13 a factor of a(-2)?
True
Let z be (9/(-12))/((-24)/160). Let l = 14 - -7. Suppose -z = -2*s + l. Is s a multiple of 8?
False
Let u(h) = h + 1. Let z be u(5). Let l = z - 3. Suppose -l = 3*m - 42. Is 10 a factor of m?
False
Let y = 9 - 4. Suppose -10 - y = -5*q, 8 = -k + 3*q. Is ((-3)/9)/(k/(-15)) even?
False
Suppose -25*v + 24*v = 5*w - 9818, 3*v = -6. Does 8 divide w?
False
Let r = 29 + -23. Suppose -3*l = -3*s - r, -6*l + 30 = 5*s - 3*l. Suppose -o = 4*j - 16, -2 = 2*o - 3*o + s*j. Is o a multiple of 3?
False
Let w = -4 - -6. Suppose -w*c - 4*c + 24 = 0. Suppose 4*t + c*h = -0*t + 96, 2*t - 2*h = 36. Is 10 a factor of t?
False
Suppose -7849 + 165 = -17*a. Is 10 a factor of a?
False
Let r = 7 + -4. Suppose 0 = -r*g + 10 - 1. Suppose 4*k - 56 = -4*b, 0*b + g*b - k = 38. Does 8 divide b?
False
Let k(b) = -2*b**2 - 2 - 6*b + b**2 + 3*b**2. Let a = 25 + -20. Is k(a) a multiple of 6?
True
Does 26 divide 104/12*-36*-2?
True
Suppose 2*c + 154 = g + 6*c, 0 = -3*g + 3*c + 492. Suppose 5*k - 2*k - g = 0. Is k a multiple of 18?
True
Suppose -2*g = -0*v - 5*v - 595, -3*v = -2*g + 597. Is g a multiple of 30?
True
Let p be (0 - 6/(-12))/(1/6). Suppose -p*d - 4*o = -8*d + 225, -4*o = 3*d - 167. Is 11 a factor of d?
False
Suppose -7*r + 2052 = -825. Does 26 divide r?
False
Let y be (-43)/(-1) + (5 - 1). Is 16 a factor of 2*(y/2 + 1) + -1?
True
Let g = 57 + -55. Suppose -4*f + g*o + 62 = 0, -7 = -f + 5*o + 4. Is f a multiple of 9?
False
Suppose -5*p - 13 = -48. Let a(g) = 17*g + 14. Let l be a(p). Suppose -4*v + l = 5*n, -2 = 5*v - 12. Is n a multiple of 25?
True
Let m be 6/((-9)/(-12)*32/12). Suppose -473 = -m*z + 52. Is 25 a factor of z?
True
Let l(m) = -2*m**2 - 100 + 99 + m + 6*m**2. Let a be l(1). Does 21 divide 0 + (124/a - 2)?
False
Let r be 10 + -1 + 4 + -2. Let n(j) = j**2 - 8*j - 3. Is 15 a factor of n(r)?
True
Let z be (-3 - -2)*-121*(-1)/(-1). Does 31 divide z + (2 - (2 + -3))?
True
Let y(q) = -q**2 - 15*q + 29. Let z be y(-13). Suppose 5*s = -5*w + z, 0 = 4*s + 5*w - 4 - 40. Is s a multiple of 11?
True
Let p = 112 + -122. Let h = p + 244. Is h a multiple of 25?
False
Let b(a) = 2*a**2 + 4*a. Let i be b(4). Let o = i - 113. Let n = o + 99. Does 11 divide n?
False
Suppose -68*r + 77036 = -58692. Is r a multiple of 19?
False
Suppose 12*p = 21601 + 3251. Does 19 divide p?
True
Let q = 1771 + 473. Does 12 divide q?
True
Let d(j) = 3*j + 40. Let z be d(0). Suppose -z = y - 136. Is y a multiple of 16?
True
Let n(f) = -f**3 - f**2 + f. Let t = -5 + -1. Let g(y) = 5*y**3 + 11*y**2 - 10*y + 5. Let z(r) = t*n(r) - g(r). Does 15 divide z(5)?
True
Suppose -12 = 2*i - 176. Does 15 divide i?
False
Let f be (-1)/((-4)/(68*3)). Suppose j - f = -16. Let m = -13 + j. Is m a multiple of 5?
False
Let h(z) = -2*z + 15. Let i be h(5). Suppose 0 = -i*w + 2*b - 10, -5*w = -3*b + 19 - 4. Suppose -2*f + w*f = -84. Is 11 a factor of f?
False
Let n be ((-8)/3)/(2/(-6)). Let p be -1 + -2 + 0 + n. Let i = p + 5. Is 2 a factor of i?
True
Let m(k) = k**3 + 5*k**2 + 3*k - 4. Let n be m(-4). Suppose n = 3*x - 90. Is 15 a factor of x?
True
Is (-264)/(-9) - (-9)/((-81)/(-6)) a multiple of 6?
True
Suppose -2*n + 718 = 2*s, -1802 = -5*s - 2*n + 4*n. Does 120 divide s?
True
Let h(q) = -q**2 - 3*q - 159. Let l be h(0). Let y = l + 236. Is y a multiple of 17?
False
Suppose -3*m - 4*y + 1501 = 0, -5*m + y = -3*m - 1019. Is 23 a factor of m?
False
Let g = -36 + 24. Let p(z) = z**3 - 4*z**2 + z + 2. Let t be p(5). Let q = t + g. Is q a multiple of 14?
False
Let w be (-16)/(-40)*-5 + 8 + -2. Let m be (0 + -420)*(-1 + 0). Suppose -w*y = y - m. Is y a multiple of 21?
True
Suppose -17*x + 837 = -3294. Does 9 divide x?
True
Let m = -6 - -8. Suppose 5*u - 867 = m*y, 0 = u - 0*u + 3*y - 187. Let x = u + -82. Is 31 a factor of x?
True
Suppose 208 = l + l. Let v = 193 - l. Is (v + -2)*(-1 + 2) a multiple of 26?
False
Let u(c) = -17*c - 3. Let a be u(-2). Suppose 0 = -5*z + 2*p - a, 3*p + p = 12. Let b(g) = -g**2 - 4*g + 7. Is b(z) even?
True
Is 30 a factor of ((-121)/(-22) + -5)/(2/360)?
True
Let s(i) be the second derivative of -31*i**6/720 + i**5/120 + i**4/2 - 7*i. Let j(v) be the third derivative of s(v). Is j(-2) a multiple of 16?
False
Let g(r) = -r**2 - 4*r + 2. Let s be g(-7). Suppose -k - 25 - 27 = 0. Let m = s - k. Is 7 a factor of m?
False
Suppose d = 3*x + 1197, 2*d + 51*x = 56*x + 2397. Is d a multiple of 6?
True
Let a(k) = k**3 + 42*k**2 + 145*k - 87. Is a(-38) a multiple of 6?
False
Let p(r) be the first derivative of r**4/4 + 8*r**3/3 - r**2/2 - 5*r - 13. Let l be (4/2)/((-5)/20). Does 3 divide p(l)?
True
Let i = 555 + -351. Is 6 a factor of i?
True
Suppose -6*x + 24 + 0 = 0. Let n be 66/(-3)*x/(-8). Suppose 6*i + 200 = n*i. Is 10 a factor of i?
True
Suppose 3466 = 2*t + t - 2*b, -3*b = -3*t + 3471. Is t a multiple of 64?
True
Suppose 3*q - 5 = -2*q + 4*v, -3*q - v + 20 = 0. Suppose 467 = q*f - 53. Suppose -8*n = -5*b - 3*n + 180, -3*b + 2*n = -f. Does 16 divide b?
True
Let f be ((-4)/(-14))/(4/28). Suppose 2*m = -m + 4*a + 216, -148 = -f*m + 4*a. Does 10 divide m?
False
Let h = 9 - 13. Let i be (h/(-10))/(2/40). Is (i - (1 + -1)) + -1 even?
False
Let g(x) = -2*x**3 - 4*x**2 - x + 2. Let c be g(-2). Let n be 79 + ((-6)/(-3) - 6). Suppose 5*t - 2*q = -0*q + 321, -c*q - n = -t. Is t a multiple of 13?
False
Let v(h) = -h**2 + 7*h + 5. Let b be v(7). Let i = 70 + b. Suppose 4*s - i = 25. Is 23 a factor of s?
False
Let n(t) = t**3 + 28*t**2 - 76*t - 51. Is 12 a factor of n(-30)?
False
Suppose 0 = -g - h + 666 - 66, 600 = g - 5*h. Is g a m