factor of h?
False
Let u(a) = a - 15 - 6*a + 3*a - 6. Suppose 5*w + 13*w = -252. Is 3 a factor of u(w)?
False
Let i(y) = y - 1. Let q be i(2). Does 23 divide 0 + q - 588/(-7)?
False
Is (-1 + 10)/((-3)/(-186)) a multiple of 10?
False
Let h(m) = -6*m**3 + m**2 - 2*m + 8. Does 37 divide h(-3)?
True
Let l = -6 - -16. Suppose l = 3*p - p. Suppose 4*r - 58 = p*u + 70, -64 = -2*r + 5*u. Is 11 a factor of r?
False
Let p(w) = -82*w - 223. Is 99 a factor of p(-16)?
True
Suppose 0 = -14*j + 47 - 229. Let g(n) = n**3 + 13*n**2 - 2*n - 4. Does 22 divide g(j)?
True
Let u be (-10439)/117 + (-4)/(-18). Let s = u + 141. Is 5 a factor of s?
False
Let d(l) = l**3 - 15*l**2 - 37*l + 31. Does 13 divide d(19)?
False
Suppose 7*c + 303 = 10*c. Suppose -8*y + 653 - c = 0. Is 8 a factor of y?
False
Suppose 2*v = d - 4*d + 74, -2*v + 74 = -5*d. Let m = v - 21. Is m a multiple of 16?
True
Suppose -5*m - 85 + 2090 = k, -5*k = 25. Is m a multiple of 6?
True
Suppose 106*m - 99*m - 17199 = 0. Does 21 divide m?
True
Suppose 27*q + 4284 = 44*q. Does 12 divide q?
True
Let q = -12 - -17. Suppose -69 = -4*m + y, 0*m + 22 = m - q*y. Is m a multiple of 13?
False
Let q = 1428 + -948. Is q a multiple of 32?
True
Let i(u) = 785*u - 4. Is i(1) a multiple of 14?
False
Suppose -2*q + 9 = 5. Does 6 divide 94*q/16*4?
False
Let x = 1996 + 568. Does 20 divide x?
False
Is (-824)/(-2) + (-22)/(99/(-9)) a multiple of 34?
False
Let x(m) = 32*m + 174. Is x(11) a multiple of 22?
False
Suppose 3*p - 23 = 91. Suppose p = 5*z - 412. Does 15 divide z?
True
Let p(a) = -a**2 - 52*a + 64. Is 52 a factor of p(-44)?
True
Suppose -2*c = 3*m - 11, -c - c = m - 17. Suppose -32 = -0*h - 4*h. Let x = h + c. Does 4 divide x?
False
Let v = -787 + 1755. Is v a multiple of 22?
True
Is 6 a factor of 21/(-28) - 963/(-4)?
True
Let p(v) = -10*v - 34. Let t be p(-5). Let u(f) = f**3 + f + 8. Let j be u(0). Is (-2)/j - (-148)/t a multiple of 2?
False
Let o = 11 + 7. Let c be 4/(-18) + 4/o. Suppose 0 = 5*n + 5*m - 220, 186 = 4*n - c*n - m. Is 8 a factor of n?
False
Let o = -129 - -140. Let n(v) = -v**3 + 12*v**2 + 13*v + 8. Is 17 a factor of n(o)?
True
Suppose 4641*a + 1386 = 4647*a. Is 11 a factor of a?
True
Does 16 divide 2*364 + 10 + -13?
False
Let d = -2 + -6. Let b(l) = 2*l**2 + 12*l + 4. Is b(d) a multiple of 9?
True
Suppose 0 = -26*q + 3*q + 10534. Is q a multiple of 13?
False
Is 78 a factor of (-234)/(-4)*(-1)/(3/(-48))?
True
Let y = 21 + -17. Let t = -2 + y. Suppose t = 2*r - 4. Is 2 a factor of r?
False
Suppose -1946 = -3*j - r, 4*j - 3*r - 1049 - 1563 = 0. Is j a multiple of 15?
False
Let a = -2 - -3. Let y(d) = -2*d + 13. Let r be y(12). Let j = a - r. Does 6 divide j?
True
Let t(x) = 2*x - 4. Let l be t(4). Let a be (6 - 1)*(-36)/(-10). Suppose k + a = 2*n, -l*k + 45 = 3*n + 2*n. Does 9 divide n?
True
Let v(q) = 15*q**2 + 7*q + 8. Let b be v(-2). Let h = b - -2. Is h a multiple of 15?
False
Let d = 18 - 16. Let g be (0/(-1))/(4 - d). Suppose g = -3*c - 8 + 47. Is 7 a factor of c?
False
Let i(v) = -v**3 - 29*v**2 - 22*v + 21. Is i(-31) a multiple of 6?
False
Let p(g) = g**2 + 7*g + 10. Let v be p(-10). Suppose -5*y + 68 = 4*z, 0 = 2*z - y + 2*y - v. Is 3 a factor of z?
False
Suppose 3*a = a. Suppose a = -t + 2*t - 9. Suppose i + t = 2*i. Does 3 divide i?
True
Does 3 divide (-13 - -10) + (11 - 0)?
False
Let q(i) = -18*i**2 + 4*i. Let z be q(4). Let f = z + 385. Does 17 divide f?
False
Suppose 3*i - 13 = -1. Suppose 0 = -3*t + 6*t - 4*u - 9, 4*t + 3*u - 12 = 0. Suppose t*x + 5*c - 285 = -2*x, x = i*c + 42. Is 20 a factor of x?
False
Suppose -25*l - 15*l = -11320. Is 8 a factor of l?
False
Let s = 31 - 21. Suppose -s*v + 7*v + 120 = 0. Does 15 divide v?
False
Is 14 a factor of (1/2)/(-12 - 317527/(-26460))?
True
Let g(s) = -169*s + 13. Does 10 divide g(-16)?
False
Let w = -138 + 473. Is w a multiple of 39?
False
Let j = 22 - 10. Is (153/j)/(6/16) a multiple of 13?
False
Suppose -5*w = 4*r + 51, 16 = -0*r - 4*r. Let m = 9 + w. Suppose -2*p - 2*o + 98 = -0*o, 0 = -m*p + 3*o + 78. Does 15 divide p?
True
Let i(v) = 2*v + 20. Let x be i(-10). Is 15 a factor of -1 - x - (-4 + -42)?
True
Let b = 1128 + -733. Does 6 divide b?
False
Let b(g) = 41*g**2 - 6*g. Does 24 divide b(6)?
True
Let c = 132 - 108. Let k = c + 236. Is 26 a factor of k?
True
Let t(b) be the first derivative of -15*b**2 - b - 5. Is 4 a factor of t(-1)?
False
Suppose -q - q = -12. Let j be 12/(-9)*q/4. Is 46*((-15)/j)/5 a multiple of 32?
False
Suppose 7 + 14 = 7*z. Is 16 a factor of 98/z + (-14)/21?
True
Let x(u) = 2*u**3 - 19*u**2 - 16*u + 11. Let g(c) = 3*c**3 - 37*c**2 - 33*c + 23. Let j(f) = -3*g(f) + 5*x(f). Does 24 divide j(-14)?
False
Let d be 8 - (0/(-3) + -1). Suppose -d = -2*s + 1. Let q(k) = k + 10. Is 15 a factor of q(s)?
True
Let h = 52 - 16. Let m = h + 0. Is m a multiple of 17?
False
Let j(q) = -q**2 + 10*q - 12. Suppose 9*r - 40 = 4*r. Let l be j(r). Suppose -l*d + 58 - 14 = 0. Is d a multiple of 11?
True
Suppose -18*g + 7*g = 22. Let v = -12 + 8. Does 18 divide ((-70)/v)/((-1)/g)?
False
Suppose 0 = -g - 53*f + 54*f + 905, g - 925 = 5*f. Is 50 a factor of g?
True
Let l be 0/(2 - (-4 + 4)). Suppose 6 = 3*x, 2*t - x - 338 + 130 = l. Does 35 divide t?
True
Let g = 581 + -81. Is 50 a factor of g?
True
Is (2/(-3))/((-4)/714) a multiple of 17?
True
Suppose -2*v + 1080 + 408 = 2*h, 5*h = 2*v + 3734. Is h a multiple of 12?
False
Suppose 0 = 3*g + 5*t - 179, 0*g + t + 65 = g. Let y be g/12 - (-3)/(-12). Let f = 38 - y. Does 16 divide f?
False
Suppose 5*v + 128 = 6*v. Suppose 2*t = -22 + v. Is 34 a factor of t?
False
Let u(m) = -2*m - 7. Let k be u(-6). Suppose -4*r + 151 = k*q, 74 = 5*q - 2*r - 53. Suppose 121 = 4*p - q. Is p a multiple of 12?
False
Suppose -3*g + p = 6*p + 38, 2 = -g + p. Let x be g/4*(5 - 1). Is 17 a factor of 34/(x/(-4) - 1)?
True
Suppose 3*w + 2188 = 2*c, c - 2*w = 662 + 430. Is 20 a factor of c?
True
Suppose -c = 3*c + 3*f - 3336, 3*f = -5*c + 4170. Is 16 a factor of c?
False
Suppose a + 0*a = 5. Suppose 6*l = a*l + 7. Let v = l + 57. Is 17 a factor of v?
False
Let m(q) = -1 - 23*q**3 + q - 8*q + 7*q. Let k = -3 + 2. Is 12 a factor of m(k)?
False
Let i(w) = w**2 - 2*w - 3. Let r be i(7). Suppose 5*t = -2*k + 53, -k = 4*t - t - r. Let c = 100 - t. Does 33 divide c?
False
Let x(t) = -1 - 6*t + t**3 + 1 + 4*t**2 + 4*t - 4. Let l be x(-4). Suppose m = -m + 3*u + 41, l*u + 12 = 0. Is m a multiple of 16?
True
Suppose -11*c + 6 = -13*c. Let m be (-1)/((-28)/8 - c). Suppose q = 3*o - 99, 0 = o - q - 37 + m. Is 16 a factor of o?
True
Is 5 a factor of (-576)/(-2) - 18/(-42)*-7?
True
Let s = -166 - -220. Let x = s + -6. Does 6 divide x?
True
Suppose -6*h = 3*h - 36. Suppose -3*t = -5*b + 71, -4*b + 2*t + 70 = h*t. Is 2 a factor of b?
True
Let p = -4813 - -7709. Is p a multiple of 21?
False
Let t be (100/(-3))/(18/108). Let n = -103 - t. Is n a multiple of 11?
False
Let k be -2 + (-3)/((-15)/10). Let u(c) = c**3 - 2*c**2 + c + 38. Is u(k) a multiple of 10?
False
Suppose 2*p = 40 + 60. Suppose 0 = 4*q - 12, -p = -4*n + 2*q - 8. Is n a multiple of 3?
True
Suppose 3*t + 1 = -2. Let w(p) be the second derivative of 8*p**4 - p**2/2 - 76*p. Does 26 divide w(t)?
False
Suppose -2*d + 0*d = 28. Let n = 17 + d. Suppose f - 11 = w, 3*w = n*f + 7*w + 2. Is f a multiple of 6?
True
Let n(z) = -20*z + 12. Let g(w) = 21*w - 11. Let l(r) = -6*g(r) - 5*n(r). Is 13 a factor of l(-3)?
False
Let m = 403 - -2420. Is m a multiple of 11?
False
Let b be 124*((-5)/(-10) - (2 - 1)). Let u = 150 + b. Does 8 divide u?
True
Suppose 3*f + 2730 = 6*f. Is f a multiple of 13?
True
Let d(c) = 2*c**2 - 30*c + 104. Is d(16) a multiple of 17?
True
Let s(r) = -r + 143. Is 14 a factor of s(12)?
False
Let o(s) = -3*s - 2. Let g be o(-2). Suppose 2*f - h = 68, -g*h + h + 170 = 5*f. Let z = 70 - f. Is z a multiple of 12?
True
Suppose -2*l + 75*n + 2853 = 78*n, 5*n - 2859 = -2*l. Is 9 a factor of l?
True
Suppose 0 = -0*w + 4*w + 120. Does 5 divide w*(3/(-3) - (-3)/6)?
True
Let r be ((-4)/(-8))/((-1)/(-2)) - -2. Does 26 divide 415/4 - r*6/(-72)?
True
Let i(q) = -q**2 - 2*q + 3. Let v be i(-3). Let u be (21/2)/(-3)*(-372)/651. Suppose 142 = -v*c + u*c. Is c a multiple of 15?
False
Suppose 2*y - k - 134 = -0*k, 0 = -3*k - 6. Is 33 a factor of y?
True
Let d(p) = -p**2 + 11*p + 20