es 10 divide 525/20*32/g?
True
Suppose 26628 - 9492 = 51*w. Is w a multiple of 23?
False
Suppose -2*n = -3 - 1. Suppose 12 + 12 = n*j. Is j a multiple of 7?
False
Let y be 124*1*(-2)/(-8). Let i = -27 + y. Does 18 divide i/(-6) - (-254)/3?
False
Let m(y) = 25*y - 190. Is 5 a factor of m(8)?
True
Let n be (1 + 138)/(17/34). Suppose -4*b = 2*c - 958, 2*b - 2*c - 192 - n = 0. Does 45 divide b?
False
Let v(d) = d**3 - 7*d**2 - 10*d + 16. Let c be v(8). Suppose c = -0*u - 5*u - 5, 3*u + 91 = 2*b. Is 17 a factor of b?
False
Let i = 43 - 19. Suppose -6*a + i = -6. Is a even?
False
Suppose -5*c = -2*c + 3. Let l be -1*(-1 - -1)/c. Suppose l = u - 2*u + 31. Does 6 divide u?
False
Let p(h) = 15*h**3 + 6*h**2 + 5. Is p(4) a multiple of 22?
False
Does 4 divide 1/12 - (-38171)/588?
False
Let a(b) = -b**2 - 7*b + 5. Let g be a(-6). Suppose -o + g = -19. Let i = 120 - o. Is 30 a factor of i?
True
Suppose -4*d = -7 - 5. Let v = d - 1. Suppose -v*a - a = -60. Does 9 divide a?
False
Let x(g) = -9*g - 5. Let z be x(-9). Let a = 51 - z. Is 10 a factor of (-9)/((-60)/a - 3)?
False
Suppose 0*w = 5*w - 20. Is -48*(-2 + w/(-16)) a multiple of 27?
True
Suppose -3*k = 199 - 625. Let g be (-3)/(-12) - 394/8. Let n = g + k. Is 31 a factor of n?
True
Let o(a) = 29*a**2 + 24*a - 20. Is 4 a factor of o(-4)?
True
Suppose b = -8*b + 891. Is b a multiple of 7?
False
Suppose -6*d + 5*d - 438 = 0. Let w = -284 - d. Is w a multiple of 21?
False
Suppose 2*j + 220 = -4*r, 4*r - 4*j + 200 = -j. Suppose 5*n + 25 = 0, 4*g + 149 + 19 = -4*n. Let o = g - r. Does 6 divide o?
False
Suppose -7*i = i + 48. Let y(s) = 2*s**2 - s - 9. Is 11 a factor of y(i)?
False
Suppose -21*q + 7787 + 18316 = 0. Is 113 a factor of q?
True
Let x(p) = 2*p - 17. Suppose -3*f + 6*f - 48 = 0. Let u = f + -4. Is 2 a factor of x(u)?
False
Let j(t) = -54*t - 6. Let z(w) = -55*w - 6. Let v(f) = 4*j(f) - 5*z(f). Is v(2) a multiple of 25?
False
Let x = 1843 - 1039. Does 92 divide x?
False
Let l(q) = 261*q**2 + 15*q. Is 6 a factor of l(1)?
True
Let j = -197 + 302. Let z be (j - 1)/(-3 + 5). Suppose 2 = n, y - 5*y + 4*n = -z. Is 4 a factor of y?
False
Let x = 40 + -34. Let h(p) = 9*p - 3. Does 4 divide h(x)?
False
Let j(h) be the first derivative of h**2 - 2*h - 13. Is j(3) a multiple of 4?
True
Let i be (-21)/(-2) + (2 - 0)/4. Suppose i*o = 1380 + 721. Does 9 divide o?
False
Suppose 3*w - 4*j = -0*w - 83, 121 = -5*w - 2*j. Let z = w + 3. Does 5 divide (-116)/(-6) - z/33?
True
Suppose 2*k - 6 = n, 4*n - 6 = k - n. Suppose -k*w = -76 - 316. Does 21 divide w?
False
Let s be (108/45)/(2/100). Let q = -80 + s. Is q a multiple of 10?
True
Let k = 38 + -27. Suppose -k*o + 441 = -8*o. Does 33 divide o?
False
Let x(a) = a**3 - a**2 - a - 6. Is 6 a factor of x(4)?
False
Suppose -3*z - 2*u = -z - 24, -2*u = 5*z - 45. Suppose -8 = -j - z. Does 12 divide (-3)/(j + (-26)/24)?
True
Let c(d) = 6*d**3 - 13*d**2 + 7*d - 10. Is 25 a factor of c(5)?
True
Does 86 divide 6 + (-168)/27 + 6662/9?
False
Let g(c) = c**3 + 5*c**2 + 5*c - 1. Let h be g(-5). Let r be (-3436)/h - 6/39. Let x = -62 + r. Is 12 a factor of x?
False
Let g(p) = 10*p + 23. Let l be g(5). Suppose 2*s = 8, 4*s - l = -3*k - 0*s. Is k a multiple of 8?
False
Let n(o) = -13*o - 17. Let l be n(-7). Let t = l - 32. Suppose -4*u + t = -3*u. Is 11 a factor of u?
False
Suppose -a + 51*a = 176400. Is 9 a factor of a?
True
Suppose -3*w + 4*t = -6*w + 13, 0 = 4*w - 4*t - 8. Suppose 2*l + 5*u - 18 = 0, 2*l - w*u + 8 = 3*l. Is l a multiple of 4?
False
Let v be (5 - 9)*3/(-6). Suppose 2*c + v*y - 136 = 0, 4*c - 3*y = 158 + 93. Is 24 a factor of c?
False
Suppose -73*l + 42448 = -12959. Is l a multiple of 7?
False
Let t(m) = -m**3 + 18*m**2 - 12. Let b be t(18). Does 27 divide (-1144)/b - (-2)/(-6)?
False
Let z be -7 + 9 - (-3 + 1). Suppose 194 = z*n + w + 4*w, 4*w = 2*n - 84. Is n a multiple of 17?
False
Let p = -13 + 5. Let a = p - -9. Let o = 4 - a. Is o even?
False
Let n(w) be the second derivative of -w**3/3 + 21*w**2/2 + 9*w. Let i be n(9). Suppose x + 3*a - 111 = 0, -i*x = -5*x - 3*a + 207. Is x a multiple of 31?
False
Let b(x) = 4*x**2 - 4*x. Let l be ((-15)/10)/(6/20). Let i be b(l). Suppose -3*f = f - i. Is f a multiple of 6?
True
Suppose 2749 = 34*o - 29891. Is 32 a factor of o?
True
Suppose 5*i - x = -3*x - 24, -4*x - 6 = 3*i. Let f = -1 - i. Suppose c + 10 = -c, -2*c + 60 = f*t. Is 14 a factor of t?
True
Let l(q) = 430*q**2 + 10*q - 8. Does 12 divide l(1)?
True
Let b = 2755 - 2425. Is 10 a factor of b?
True
Let h = -195 + -575. Let t be h/(-21)*(-3)/(-2). Suppose 4*l = -3*u + t, 3*l + 28 = 4*l - 4*u. Is 8 a factor of l?
True
Let f(b) = 16*b**2 + b - 1. Let s be 2/10 + 8/10. Let g be f(s). Let x = -10 + g. Is 6 a factor of x?
True
Let r(l) = 15*l**3 - 3*l**2 - l - 1. Is 7 a factor of r(2)?
True
Let y(g) = g**3 - 4*g**2 + 4*g + 9. Let k be y(7). Is 23 a factor of k/2 + -1 + 1?
True
Let o(f) = -2*f + 12. Let y be o(4). Suppose -88 + 40 = -y*n. Is n a multiple of 6?
True
Let j be 6*(5/2 - 2). Is j*(500/15 + 2) a multiple of 13?
False
Suppose -4*g + 5*a + 23 + 0 = 0, 0 = -3*g - 4*a + 56. Let t be (1/1)/(g/48). Suppose -h + 5*h - t*z - 112 = 0, 0 = -2*h - 4*z + 32. Does 12 divide h?
True
Let g(o) be the first derivative of o**4/4 - 5*o**3/3 - 11*o**2/2 - 5*o + 2. Let i(w) = -w**2 - 10*w - 8. Let m be i(-8). Does 33 divide g(m)?
True
Let p = 1412 + -696. Is 16 a factor of p?
False
Let j be 271/3 - (-8)/12. Suppose 10 - j = -z. Suppose 4*o = -4*d + 64, 3*o - d = -13 + z. Is o a multiple of 7?
True
Suppose 0 = -29*f + 17704 - 1725. Does 29 divide f?
True
Let g be 0 + -4 - -5*4. Let f be -9*g/(-6)*-1. Let z = f + 50. Does 4 divide z?
False
Let q be (-5 - -4) + 5 - 3/(-3). Suppose -95 = -q*c - 5*w, 4*w - 16 = -0. Is 4 a factor of c?
False
Let b(p) = -179*p**3 + 2*p**2 + 11*p + 6. Does 15 divide b(-2)?
False
Suppose 494 = d - 460. Let s be 2/(-5) + d/10. Suppose 6*z - s = z. Does 11 divide z?
False
Is (-8 + 11)*9112/6 a multiple of 12?
False
Suppose 6*j - 2*j = 40. Suppose 4*i - 4*z + 120 = 0, 0 = -z - z + 4. Let u = j - i. Does 19 divide u?
True
Suppose -4*b = 19 + 9. Let w be (-6)/(-14) + (-18)/b. Let d = 15 - w. Is 12 a factor of d?
True
Let k be -3*(1 - 2)*13. Let t = -27 + k. Suppose -2*w - 3*y = -89, -5*w = 2*y - t - 194. Is w a multiple of 10?
True
Let s be -2 - (8/2 + 0). Let d(m) = -5*m - 6*m + 5*m - 10. Does 9 divide d(s)?
False
Suppose -d + 5*d = -s + 56, d + 5*s + 5 = 0. Let l(b) = 9*b + 34. Does 16 divide l(d)?
False
Let b(k) be the first derivative of -k**4/4 - 13*k**3/3 - 17*k**2/2 - 12*k + 15. Is b(-12) a multiple of 12?
True
Let f(r) = r**3 - r. Let l be f(0). Suppose -111 = -5*u - y, -3*u + l*u + 3*y + 81 = 0. Let t = u - 5. Is t a multiple of 8?
False
Suppose 108*h - 86*h = 5258. Is h a multiple of 38?
False
Suppose -221*q + 251*q = 45000. Is q a multiple of 10?
True
Suppose 0 = 5*w + d - 14, -8 = 3*w + w - 4*d. Suppose g - 4*g - 15 = 0, -w*g = 4*u - 134. Does 12 divide u?
True
Is 36 a factor of (8/(-5) + (-14)/35)*-18?
True
Suppose -p + 5 = 1. Suppose 5*l = 3*u + 842, p*l + 347 = -5*u + 1028. Does 36 divide l?
False
Let r(p) be the second derivative of -p**4/12 + 19*p**3/6 - 11*p**2/2 - 9*p. Does 18 divide r(13)?
False
Suppose a = 3*j + 3675, -7355 = 202*a - 204*a + 5*j. Is a a multiple of 41?
True
Let j = 5892 - 2845. Does 80 divide j?
False
Let m = -11 - -13. Let t be (1 + -6)/(m/(-20)). Suppose 5*s + 3*a - 84 = -13, -t = -4*s + a. Is 7 a factor of s?
False
Suppose -20524 = -30*k + 23*k. Does 131 divide k?
False
Let v(h) be the third derivative of -h**6/30 - h**5/12 - 7*h**4/24 - 3*h**3/2 - 47*h**2. Does 15 divide v(-3)?
True
Let x be 1*(-2)/(2/(-173)). Suppose 5*n + 224 = 4*r, 3*r + n - 6*n - x = 0. Is 17 a factor of r?
True
Let i be (-12)/(-8)*20/6. Suppose 2*v - 35 = -o, i*v - o = 2*v + 55. Is 27 a factor of v/(-2)*(-3 + -6)?
True
Is ((-220)/(-7))/((-13)/(-91)) - 4 a multiple of 36?
True
Let d be ((-40)/25)/((-4)/(-30)). Let y = 22 - d. Is y a multiple of 16?
False
Let o = -36 + 101. Let w = o + -26. Does 12 divide w?
False
Suppose 13*i - 3160 = 1273. Does 31 divide i?
True
Let v be 1*717*(-7)/21*1. Let r = -136 - v. Does 32 divide r?
False
Suppose -2*n + n = -2. Let q(s) = 3*s**3 - 2*s + 3. Is q(n) a multiple of 3?
False
Let u be (-6)/(2 + 2/(-376)*382). Sup