 h?
False
Suppose 28*y - 57022 = 15442. Is 161 a factor of y?
False
Suppose -r + 5*z = -885, -5*r + 4383 = -z - 3*z. Let l = r + -427. Does 66 divide l?
False
Let o = 101 + -7. Let k = o + -73. Is k a multiple of 2?
False
Let o = -14 + 20. Let n(t) = 8 - 7*t - 2 - 2 + 3*t**2 + 2*t. Does 19 divide n(o)?
False
Let p be ((-20)/3)/((-16)/(-24)). Is 55 a factor of -50*5/(p/11)?
True
Suppose 2*a - 7580 = 21*q - 17*q, 0 = -2*a - 4*q + 7620. Is a a multiple of 76?
True
Let z be (-3)/(-9)*1 - (-19)/(-3). Is (-8)/z + (-126592)/(-96) a multiple of 81?
False
Suppose 937*w - 73692 = 933*w. Is 23 a factor of w?
True
Suppose 1895 = -6*p - 1147. Let q = 721 + p. Is q a multiple of 13?
False
Let i be (1 + 13)/(2/1). Suppose -i*q + 1029 = -0*q. Is 21 a factor of q?
True
Let y = -170 + -110. Does 39 divide (8/6)/(y/(-8190))?
True
Let t(p) = -2*p**3 - 6*p**2 + 11*p - 15. Let d be t(-6). Suppose 132*l = d*l - 1008. Is l a multiple of 6?
True
Let u = 14445 + -7149. Is 16 a factor of u?
True
Let p(x) = 3*x**2 - 2790 - 2*x**2 + 12*x + 2793 - x**3. Let t be p(6). Let h = -56 - t. Is h a multiple of 18?
False
Let p be 4/(-6)*(0/(-5) + -51). Is 10 a factor of (-2104)/(-14) - p/119?
True
Does 30 divide 0 - (-6146)/4 - (77/14 + -4)?
False
Is 53 a factor of (-276)/966 - ((-290499)/(-63))/((-1)/3)?
True
Let a = -129 - -312. Let i(f) = f**2 - 43*f + 353. Let n be i(24). Let m = n + a. Is 12 a factor of m?
False
Let h(t) = -223*t**3 + 17*t**2 + 27*t + 9. Is 4 a factor of h(-2)?
False
Let p(f) = -15*f**2 - 22*f + 140 - 9*f**2 - 7*f**2 + 10*f**2 + f**3. Is p(22) a multiple of 3?
False
Let r = -512 + 455. Suppose 0 = -3*i + v + 318, v - 5*v - 212 = -2*i. Let o = i + r. Does 6 divide o?
False
Suppose 2*k - 7 = 13. Let u be 0/(-1) - 2 - (-93 - k). Let q = 261 - u. Is 10 a factor of q?
True
Suppose -v - 3 = 3*d - 4*v, v + 19 = -4*d. Is 38 a factor of (-56*(-8)/16)/(d/(-38))?
True
Let m(w) = 3658*w**2 + 11*w + 11. Is 21 a factor of m(-1)?
False
Let f(p) = 0 - p - p**2 - 21*p + 12*p + 3. Let u be f(-10). Suppose 0 = -c - 2*x + 65, -c - 132 = -3*c - u*x. Is c a multiple of 13?
False
Let y(b) = 13*b - 6. Let l(r) = -r - 1. Let i(c) = 6*l(c) + y(c). Let p be i(-4). Does 29 divide (-6)/(-2) - (3 + p)?
False
Let b be 1869/(-35) - 2/(-5). Let x = 55 + b. Suppose 4*m - 430 = -x*j - 0*m, -10 = -2*m. Does 36 divide j?
False
Suppose -3*c + 2*h + 53250 = 0, c - 23*h - 17743 = -20*h. Does 28 divide c?
True
Let c(t) = -t**3 - 11*t**2 - 6*t + 32. Let u be c(-11). Suppose 11*x - 10*x = u. Is 13 a factor of x?
False
Let q(m) = -58*m**3 + 9*m**2 + 24*m - 35. Is q(-5) a multiple of 2?
True
Suppose -n - 3*n - 3*l - 97 = 0, 4*n + 79 = 3*l. Does 4 divide 1 + 554 - (-11)/n*-2?
True
Let m(a) = 70*a**2 - 2*a + 18. Let b be m(-6). Suppose 2*c + 635 = 6*u - 5*u, -2*c = 4*u - b. Suppose 0 = 4*h - 131 - u. Is 27 a factor of h?
False
Suppose -7 = -6*x + 5. Let n be (-1 - x/2)*20/8. Is 13 a factor of 1365/(10 + n)*1/3?
True
Let i(j) = 4*j + 50. Let d be i(-12). Suppose -3*x = d*k - 382, -48*x + 43*x - 786 = -4*k. Is k a multiple of 26?
False
Let h be ((-51)/9)/(((-6)/3)/6). Suppose -a + h = -3*i, -5*a - 3 = -2*a. Is -1 - (-1405)/15 - 2/i a multiple of 29?
False
Suppose 1980*n - 1978*n - 3588 = 0. Is 3 a factor of n?
True
Let j(k) = k**2 - 2*k + 1. Let f(a) = a**2 + 2*a - 36. Let y(z) = -f(z) + 2*j(z). Is y(-17) a multiple of 39?
True
Let h(k) = -k**3 + 3*k**2 + 2*k. Suppose -2*j = -5*v - 6*j + 15, 4*v + 2*j - 12 = 0. Let r be h(v). Suppose 4*a + 198 = r*a. Is a a multiple of 12?
False
Let a(q) = -128*q + 53. Let r be a(-2). Suppose -5*m - 810 = -3130. Let u = m - r. Is u a multiple of 22?
False
Let f be ((-21)/(-14))/((-15)/(-40)). Suppose -6 = 3*i, 2*i - 60 = -f*b + 4*i. Does 2 divide b?
True
Suppose 4*g = -14 + 6. Let o be 4 + 7/(g - (1 + -4)). Let p(c) = 2*c**2 - 24*c + 26. Is 4 a factor of p(o)?
True
Let h be 2170/(-42)*(-357)/85. Let z = -193 - -316. Let j = h - z. Is j a multiple of 47?
True
Is 75 a factor of (15 + -4)*(338 - -5)?
False
Is 33 a factor of 2/(-24)*-3 + (-69405)/(-28) + 11?
False
Let q = 2359 - 1961. Is q a multiple of 7?
False
Suppose -s + 6 = 3*u + 16, 5*u = -10. Is 1540/14 - (-1)/((-1)/s) a multiple of 6?
True
Suppose 0 = -h + 4*k + 49, 5*h - 6*k = -5*k + 226. Let g = -43 + h. Is 14 a factor of 56/g*(-1 + (-15)/(-6))?
True
Let l(d) = 216*d - 8440. Is l(92) a multiple of 3?
False
Let g(h) = 2*h**3 - 10*h**2 + 14*h - 22. Let x be g(7). Suppose 4*a - 4*b = x, 3*a + b + 0*b - 208 = 0. Is a a multiple of 23?
True
Let t(v) = -4*v + 7*v**2 + 3 - 8 + 23 - 2*v**2. Is t(-6) a multiple of 23?
False
Let u(w) = 3775*w - 2795. Does 139 divide u(7)?
True
Let g(d) = -10*d**2 - 8*d - 2. Let c(w) = -31*w**2 - 23*w - 6. Let t(m) = -3*c(m) + 8*g(m). Is t(-3) a multiple of 5?
False
Let z = -153 - -167. Let t(u) = 2 + 19*u + u**3 - 17*u - 5*u**2 - z*u. Does 14 divide t(8)?
True
Is 21 a factor of (-116050)/(-18) - 10/(-360)*-8?
True
Suppose -50*s - 133392 = -649292. Is s a multiple of 134?
True
Suppose -2210*m + 2209*m + 4233 = -3*x, -4*m = 4*x - 16996. Is m a multiple of 15?
True
Suppose -5*y - 11590 = -4*n, 36*y + 5756 = 2*n + 40*y. Is n a multiple of 19?
False
Suppose -205*v + 18*v + 391952 = 0. Does 12 divide v?
False
Let t be (-200)/(-5)*(1 - -3). Suppose -18*d + 71 = -1. Suppose 0 = 2*k - 3*l + 7*l - t, 0 = d*k - 2*l - 310. Is k a multiple of 9?
False
Let n(c) = -12*c - 27. Let q be n(-4). Let w(a) be the first derivative of a**3/3 - 19*a**2/2 - 26*a - 15. Is w(q) even?
True
Suppose -8*b + 12*b = 5*i - 50, -2*i + 37 = -5*b. Suppose 3*n - 2*z - i = 0, -2*n + 4*z + 12 = -5*n. Suppose -a + 29 - 6 = n. Does 3 divide a?
False
Suppose -18506 = 28*s - 9*s. Let r = 1069 + s. Is r a multiple of 12?
False
Let t be ((-255)/4)/((-12)/96). Suppose -11*r + 8*r + t = 0. Suppose 3*s + 0*s - 248 = 4*y, -r = -2*s - 2*y. Is s a multiple of 12?
True
Suppose -32 = -12*t - 32. Does 31 divide (1 - t)/((-14)/(-8246))?
True
Let h be 2/(7 + (-36)/5). Is ((-6)/h)/(17/1615) a multiple of 6?
False
Suppose 1226*i - 1227*i + 3*q + 2551 = 0, 7643 = 3*i + q. Is i a multiple of 49?
True
Let d = 3 - 4. Does 25 divide 32/2*33/3 + d?
True
Suppose -2*g + 3*s + 13 = -3, 2*s = 0. Suppose 157 + 963 = g*y. Is y a multiple of 10?
True
Let p(t) = -45*t + 93. Let h(g) = 23*g - 47. Let f(v) = -11*h(v) - 6*p(v). Let c be f(-17). Does 18 divide 8/(-12) - c/9?
True
Let o = 14694 - -3685. Is 25 a factor of o?
False
Does 35 divide 593320/160 + 28/16?
True
Is (26880/(-144))/(6/(-27)) a multiple of 12?
True
Let h = -2 - -7. Suppose f - 4*j - 501 = 0, -1471 - 1053 = -h*f + j. Is 30 a factor of (-2)/12 - f/(-6)?
False
Let d be (9/5)/(((-81)/30)/(-9)). Suppose 0 = 2*k + d*k. Suppose k = u - 2*u + 149. Is 25 a factor of u?
False
Let g(o) be the second derivative of -o**4/12 - 11*o**3/2 - 26*o**2 - 5*o. Let f be g(-17). Suppose f = -78*h + 83*h. Does 4 divide h?
True
Suppose -4*b - 16 = -0*b, -151005 = 5*s - 5*b. Is 54 a factor of s/(-28) + (-40)/(-32)?
True
Suppose -7*u = -9*u + 214. Let j be u - (-3 + (-2 - -5) + -3). Let n = j + -62. Is n a multiple of 16?
True
Is 33 a factor of 72589/44 - 1/(-4)?
True
Let q = -320 + 324. Suppose -q*c + 1736 = -c + 4*z, -5*c - z + 2865 = 0. Does 26 divide c?
True
Let g be (3/1 + (-28)/12)*3. Suppose 0 = g*h - 3*s - 468, 15*h = 11*h + 2*s + 920. Does 19 divide h?
True
Let y(v) = 8*v + 21. Let g be y(-2). Suppose -2*q - 61 - 181 = -5*c, g*c = q + 246. Is 25 a factor of c?
True
Let c = 282 - 306. Let y = c - -153. Is 43 a factor of y?
True
Let q be (-1)/(-6)*-10*-3. Suppose -3*x = -0*x + 6, 0 = -q*u - 2*x + 351. Let g = u + -43. Is 7 a factor of g?
True
Suppose 3*w - 5*w = 8. Let t be 4 - (w/(-2))/1. Is ((-16)/12)/t*-219 a multiple of 32?
False
Let w = 895 + 733. Is w a multiple of 6?
False
Let g be (33/9 - 3)/((-14)/3507). Let i = g - -227. Is i a multiple of 4?
True
Let m be 4 + 20*(6 - 4). Suppose 644 = m*c - 42*c. Is 35 a factor of c?
False
Suppose -s + 3*p + 426 = -1588, 3*s + 5*p = 5972. Does 201 divide s?
False
Let m(d) = -131*d - 294. Is 33 a factor of m(-3)?
True
Is 281 a factor of (-786800)/(-60)*(-3)/(-2)?
True
Suppose 6*d = 12 + 24. Suppose -p - l = -467, -5*p + d*l - 2*l + 2308 = 0. Does 26 divide p?
False
Let l = -213 + 492. Suppose -6*f = -l - 6201. Is 60 a factor of f?
True
Suppose 157248 = -104*a + 152*a. Doe