7 a factor of u?
True
Suppose -13*f + 12600 = -23*f. Does 12 divide (f/25)/((-6)/20)?
True
Let v(j) = 2*j**2 + 13*j + 3. Let s be v(-7). Suppose -7*b - 9 = -s*b. Suppose -12 = -m - b. Is 9 a factor of m?
True
Let l be 1*-3 - (-15)/1. Let f = l + -9. Suppose 0 = -f*r - r + 412. Does 30 divide r?
False
Let u(o) = o**3 - 2*o**2 - 2*o - 5. Suppose -3*x - 7 - 6 = -2*v, 5*x + 19 = 3*v. Suppose n - v = -n. Is 19 a factor of u(n)?
True
Is 25 a factor of (28/(-8) - (-6 + 3))*-1126?
False
Suppose -8*t - t = -216. Is t a multiple of 4?
True
Is (2 - (-29 + (-1 - -2))) + 5 a multiple of 35?
True
Let f be 3*(3 - (-6)/(-9)). Let a(q) = 4*q - q**2 + 1 + f*q + 3*q**2. Does 16 divide a(-9)?
True
Does 50 divide (78*(5 - 0))/((-6)/(-20))?
True
Suppose 0*f - 5*f + 5*h + 25 = 0, -2*f = 5*h + 4. Let c be ((-6)/(-9))/((-2)/(-99)). Let k = c - f. Is k a multiple of 10?
True
Let c(d) = -d - 3*d + 2 - 3*d + 4*d. Let f(w) = -2*w + 2. Let v(t) = 3*c(t) - 4*f(t). Is v(-7) even?
False
Let j(l) = 11*l**3 - l**2 - 4*l + 11. Let w be j(3). Suppose -2*d = -w - 37. Does 18 divide d?
True
Suppose -32*k - 1512 = -39*k. Does 8 divide k?
True
Suppose 19*h - 48 = 15*h. Is (h/10)/(27/90) a multiple of 2?
True
Let a(f) = -21*f - 24. Does 12 divide a(-8)?
True
Let s = 5 + 50. Does 16 divide s?
False
Suppose -5*p - 3*y + 1849 = 0, -3*p = -p + 3*y - 745. Is 23 a factor of p?
True
Let w = -92 + 207. Let z = 5 - 1. Suppose g - w = -z*g. Is 14 a factor of g?
False
Suppose 2*o = 3*r - o, -o + 12 = 2*r. Suppose 0 = r*j - 121 - 15. Is j a multiple of 17?
True
Let t(b) = b**2 + 9*b. Let c be t(-9). Suppose -q + 0*s + 5*s - 22 = c, -5*s = 3*q - 14. Is 9 a factor of -6*q*33/9?
False
Let l(m) = m**2 - 11*m + 9. Let v be l(8). Let a = 22 + v. Is a a multiple of 3?
False
Is 15 a factor of (2 - (-15)/(-9))*-1*-4815?
True
Let q(i) = -i**3 - 3*i**2 - i - 3. Suppose 10*w = 11*w + 5. Let y be q(w). Does 26 divide (y/(-3))/((-4)/6)?
True
Let l(k) = -k**2 - 13*k + 8. Let f be l(-11). Let i be 12/f + 456/10. Suppose z - 2*s + i = 5*z, 4*s = -12. Does 13 divide z?
True
Let v(w) = 4*w**3 - 8*w**2 + 10*w + 20. Does 41 divide v(6)?
True
Let w(q) = q**2 - 4. Let g be w(-3). Suppose g*h - 7 = -2*t + 3, 1 = 4*h + 3*t. Suppose -5*v = -h*v - 42. Is 16 a factor of v?
False
Suppose -2404*r = -2402*r - 198. Does 11 divide r?
True
Is 4/(-66) + (-29425)/(-363) a multiple of 5?
False
Suppose -s + 1 = -1. Suppose r - s = -r. Let j = 21 + r. Is 11 a factor of j?
True
Suppose -4*c = -0*v + v - 15, 4*v = -3*c + 73. Suppose v*d - 16*d = 9. Is 12 a factor of -3 + (d - 8*-3)?
True
Let h = 171 - 71. Is 5 a factor of h?
True
Let t(h) = 19*h**2 + 21*h - 11. Is 19 a factor of t(-4)?
True
Suppose -2*a - 203 = -s + 77, 5*s - 1470 = -4*a. Suppose -u - h - 64 = 0, -4*u = u - h + s. Let d = 119 + u. Does 12 divide d?
True
Suppose -5*k = -s - 1255, 41*k = 46*k + 5*s - 1225. Does 5 divide k?
True
Suppose 9311 = 108*u - 7537. Does 26 divide u?
True
Let q = 9 - 5. Suppose 0 = s + r - 3, -2*s - q*r = -4. Suppose 2*w + s*d = 30, -4*w - 5*d = -3*d - 30. Does 3 divide w?
False
Suppose w = -2*b + 3 - 8, -3*b = 5*w - 10. Is 27 a factor of 0 - (b - -4)*203?
False
Let b = -476 - -1649. Is b a multiple of 21?
False
Suppose 8 = -5*o + 53. Is ((-72)/20)/(o/(-60)) a multiple of 4?
True
Suppose 3*s = -3, 4*r = -2*s + 1199 + 5611. Is 13 a factor of r?
True
Suppose 5*s = -14 + 34. Suppose s*g - 555 = -g. Is g a multiple of 11?
False
Let y be (-56)/(-12) - 2/3. Suppose 247 = -y*t - 117. Is 15 a factor of (-1)/2 - t/2?
True
Suppose -o + 20 = -6. Suppose 21 = 2*x + w, 14*w + 38 = 3*x + 9*w. Suppose 0 = a + 2*r - o, 4*a - 2*r - 43 = x. Is a a multiple of 4?
True
Suppose 15 = 3*w + f + 1, 28 = w + 5*f. Let m be ((-4)/(-5))/(5/200). Is 5 a factor of 3/(m/10 - w)?
True
Is 30 a factor of (-2 - -1)*(-984 + -35)?
False
Suppose -3 = -2*l + 1. Let b be (l + -22)*(-4)/10. Let y = b - 3. Does 2 divide y?
False
Let j be (2 - 1)/((-1)/(-1*2)). Suppose -j*i + i = -9. Does 3 divide i?
True
Is 24 a factor of -381*(4 + (-70)/15)?
False
Let l = -210 + 1514. Is l a multiple of 33?
False
Suppose -d - 3*l - 10 = 0, -3*d + 5*l + 35 = -d. Suppose -d*x + 15 = -20. Suppose m - x = -2*g, m = 4*g + 19 + 6. Does 4 divide m?
False
Suppose -20*o + 51*o - 11687 = 0. Is 13 a factor of o?
True
Suppose h - 10 = -5*b + 6*b, -b - 15 = -2*h. Suppose -h*v - 140 + 965 = 0. Does 11 divide v?
True
Let o(p) = 40*p**3 - 36*p**2 - 47*p - 1. Let n(b) = -9*b**3 + 9*b**2 + 12*b. Let l(g) = -9*n(g) - 2*o(g). Suppose 3*j - j - 22 = 0. Is l(j) a multiple of 31?
False
Suppose -3*y - 193 + 49 = 0. Let z = y + 131. Is z a multiple of 28?
False
Let z(y) = -3*y + 10. Let g be -2*(-4 - (-15)/2). Let m be z(g). Let r = m + -10. Does 7 divide r?
True
Suppose 2 = -a + 3. Let q(t) = 14*t**2 + 3*t - 1. Is 3 a factor of q(a)?
False
Let u = -50 + -99. Let h = 23 - u. Does 43 divide h?
True
Suppose 0 = -4*y - 2*m + 139 + 63, -2*m + 10 = 0. Is 5 a factor of y?
False
Suppose -32*t + 3*k = -36*t + 3496, 1762 = 2*t - 2*k. Does 17 divide t?
False
Let s(j) = j**3 + 10*j**2 + 9*j - 2. Let w be 24 + -18 - (-6)/2. Let c be 12/w*(5 - 11). Does 16 divide s(c)?
False
Suppose -5*b = 9 - 14. Does 20 divide (b + 1)*(759/6 + -2)?
False
Let j(u) = -u**3 + 22*u**2 - 6*u - 84. Is 28 a factor of j(14)?
True
Suppose -u = 3*i + 20, 4*u + 37 + 118 = 3*i. Let t = u - -79. Does 22 divide t?
True
Suppose -7*s = -17 + 3. Suppose s*o + 107 = 3*r - 2*o, -r + 2*o = -37. Is r a multiple of 11?
True
Let j(w) = 2*w - 7. Suppose -20 - 4 = -3*t. Suppose 11*f - 15 = t*f. Does 3 divide j(f)?
True
Suppose 71*n - 21164 = -3*n. Is 22 a factor of n?
True
Suppose -6*j - 5*i + 439 = -2*j, 10 = -2*i. Suppose 0 = 3*c - 2*z - j, 5*c - 4*z - 190 = -0*c. Is 14 a factor of c?
True
Let a(d) = -1126*d + 16. Does 34 divide a(-1)?
False
Let c be ((-6)/(-4) + 0)*(-2 + -4). Let a(y) = y**3 + 11*y**2 + y - 5. Is a(c) a multiple of 37?
True
Let p be (20/6)/((-4)/12). Let r = -8 - p. Suppose 3*z = 2*m + 289 - 24, -r*z + 180 = -2*m. Does 19 divide z?
False
Suppose k + 204 + 83 = 0. Let a be -2*2/2 - k. Suppose -4*c - 5 + a = 0. Does 21 divide c?
False
Does 6 divide (-6)/10 - (-3772)/20?
False
Let b = 2261 + -1568. Is b a multiple of 7?
True
Let n(g) = 4*g**2 + g - g**2 + 1 - 2 + 9. Is n(-5) a multiple of 17?
False
Suppose 7*w = 3*w + 24. Let k(s) = -s**3 + 8*s**2 - 8*s. Is k(w) a multiple of 4?
True
Let f be 24/3 + (-1)/(-1) + 3. Suppose -f*s = -2*s - 100. Is s a multiple of 5?
True
Let i = -19 - -21. Suppose 0 = i*z - 1 - 13. Is z a multiple of 4?
False
Let r be 10 + -1 - (-5 - -2). Let n be 30*3*r/45. Let j = n - 12. Is j a multiple of 12?
True
Does 60 divide (-4)/38 + (-200672)/(-304)?
True
Let g(u) = 5*u**2 - 21*u - 27. Is 31 a factor of g(-6)?
True
Let i be 1*(-5 + 0 + 5). Does 24 divide (i - (-27 - 0)) + 9 + -12?
True
Suppose 4*b + 0 - 8 = -h, 5*h = -3*b + 6. Suppose h = -3*c + 15 + 6. Is 3 a factor of c?
False
Suppose 0 = v - 1, 2335 = 3*n - 0*v - 5*v. Is 26 a factor of n?
True
Suppose -5 = p + 1. Let v = 2 - p. Is 4 a factor of v?
True
Suppose -1825*r + 1828*r - 1254 = 0. Is r a multiple of 22?
True
Suppose 2*d - i - 235 = -0*d, -2*d + 5*i + 239 = 0. Suppose 3*h + d = 3*k, -59 = -k - 2*h - h. Is k a multiple of 22?
True
Suppose 965 = 3*w - 985. Does 25 divide w?
True
Let z = -1330 + 1904. Suppose 7*v - z - 14 = 0. Is v a multiple of 21?
True
Suppose -l = 2 - 18. Does 3 divide -9*(l/(-6) + 1)?
True
Suppose 60 = 128*b - 126*b. Is 2 a factor of b?
True
Is 18 a factor of -3 + 4 + -1 + 90?
True
Let y(x) = -29*x + 627. Is 11 a factor of y(0)?
True
Suppose -22 = -u + 2*c - 9, -c = -u + 8. Suppose 0*d + u*d + 5*n = 97, -81 = -4*d + 3*n. Is 8 a factor of d?
True
Let t = -11 + 18. Suppose -1 + t = h. Let l = h - 0. Does 2 divide l?
True
Suppose 5 = -5*s - 0. Let q(o) = -2*o + 2. Let b be q(s). Suppose -b*y = -2*y - 144. Is y a multiple of 24?
True
Does 3 divide -5 + 4 + 1 + 5 - -145?
True
Suppose 3*y - 58 = -k, -y + 0*k + 16 = -3*k. Let h = y - -24. Is h a multiple of 9?
False
Let y = -13 - -18. Let x be y/2*12/15. Does 11 divide -1 - -1*x*6?
True
Let m = 1 + 28. Let z = m - 17. Does 4 divide z?
True
Let p(n) = 3*n**3 + n**2 - 18*n + 8. Let m be p(7). Suppose -8*g + 0*g + m = 0. Is 12 a factor of g?
True
Let r(c) = -36*c**3 - c**2 - c. Let q be (2 - 3) + 0/(-3). Let b be r(q). 