(-1 - -2)?
False
Suppose -4*d + 27 = 7. Suppose -2*h + 291 = 4*a - 31, d*a - h - 385 = 0. Is 19 a factor of a?
False
Let s(t) = -15*t**3 + 14*t**2 + 26*t + 7. Is 3 a factor of s(-2)?
False
Suppose -3 = -l + 1. Let m(u) = 17*u + 24. Is 18 a factor of m(l)?
False
Let q = -6 - -36. Does 15 divide (q/75)/((-2)/(-355))?
False
Let r(x) = -126*x**3 - 2*x**2 - 11*x - 34. Does 66 divide r(-3)?
False
Suppose -63 = -6*w - w. Let f = 14 - w. Suppose -3*x - 168 = -f*x. Does 18 divide x?
False
Suppose -3*s = s - 12. Suppose -s*r + 3*n - 6 = -24, 2*r - 2 = -3*n. Suppose 42 + 82 = 4*z + r*x, 2*x = -5*z + 167. Is 7 a factor of z?
True
Suppose 179*p = 192*p - 1885. Is p a multiple of 18?
False
Let m = 18 - 13. Suppose r = -5, -3*p - 239 = -6*p - m*r. Is 26 a factor of p?
False
Let n = -18 - 9. Let k be ((-55)/(-3))/((-1)/(-3)). Let l = k + n. Is l a multiple of 14?
True
Suppose 3*q + 3*h - 999 = 0, -q + h + 315 = -4*h. Does 30 divide q?
True
Suppose -3*c - 4*s + 6*s + 81 = 0, 3*c - 81 = 3*s. Suppose -q + r - 163 = -4*q, 0 = -q - 5*r + 45. Let u = q - c. Does 6 divide u?
False
Let l(s) = s**2 + 8*s + 1. Let c be l(-8). Is (-2 + c)/(15/(-435)) a multiple of 15?
False
Suppose -p = 1 - 4. Suppose -p*o = -17 - 10. Does 2 divide o?
False
Let t = -959 - -1451. Does 41 divide t?
True
Let j(v) = 5*v**2 + 8*v + 49. Does 21 divide j(-18)?
False
Suppose -3960 = -3*a - 33*a. Is a a multiple of 10?
True
Does 7 divide (0 - (2 + 0)) + (78 - -1)?
True
Suppose 42690 = 33*d - 39546. Is d a multiple of 89?
True
Let j be 2/((-4)/(17 + 3)). Let x(a) = 2*a**2 + 18*a + 12. Is 32 a factor of x(j)?
True
Let h = 464 - 13. Is h a multiple of 13?
False
Let z = 25 - 23. Suppose -l - s + z = 0, l = -4*l + 5*s + 20. Suppose 6 = -l*x + 4*x. Is x a multiple of 6?
True
Let d(g) = -15*g - 43. Is 12 a factor of d(-26)?
False
Let i be 1/(-2)*(-2704)/8. Suppose 4*q = 5*o + i, -2*q + 3*o = -20 - 67. Does 36 divide q?
True
Suppose 3996 = 33*r - 21*r. Is 27 a factor of r?
False
Let b be (-17 - -19)/((-1)/(-2)). Suppose 0 = 3*q + 6, b*h + 2*q = -28 - 0. Let a = h - -29. Does 23 divide a?
True
Is 5 a factor of (-40)/6*1830/(-40)?
True
Let m = 1195 + -796. Is m a multiple of 8?
False
Let i(u) = 5*u**2 + 15*u - 10*u**2 - 21 + 4*u**2. Is 11 a factor of i(6)?
True
Suppose -7*z - 16 = -268. Let r = z + -17. Is 16 a factor of r?
False
Let m(n) = 161*n**2 - 6*n + 6. Is 29 a factor of m(2)?
True
Suppose 6*m + 0*m = 0. Let v(y) = 6 - 9 - 49*y + m. Does 11 divide v(-1)?
False
Suppose -4*u + 846 = 2*o, 423 = 2*o - o - u. Suppose -4*k + 837 = 3*n, 0*k - o = -2*k - 3*n. Suppose l + k = 4*g - 4*l, 4*g = -l + 189. Is 24 a factor of g?
True
Suppose -m - 18*h + 650 = -23*h, m + 4*h - 614 = 0. Is m a multiple of 14?
True
Let n(r) = 5 + 5 + 31*r - 32*r. Let y be n(8). Suppose 4*d + 40 = y*z, 100 = 5*z + d - 2*d. Is z a multiple of 5?
True
Let a(p) = 5*p**2 + 2*p - 6. Let u be a(4). Suppose -3*x - w = -107, 2*x - u = -w + 3*w. Is x a multiple of 23?
False
Is 324/10*5820/97 a multiple of 81?
True
Suppose 0 = -y - 5*w + 1834, 5*y - 14*w + 12*w = 9089. Is 17 a factor of y?
True
Let o(m) = -m**3 - 5*m**2 - 11*m - 8. Is o(-10) a multiple of 86?
True
Let b(d) = 3*d**2 + 4*d - 1. Let n be ((-4)/12)/(1/(-15)). Suppose n*m = -28 + 3. Is b(m) a multiple of 15?
False
Suppose -3*i + 2*a - 1010 = -5*i, -a = -4*i + 2020. Is 21 a factor of i?
False
Suppose -2*f + 3*f = -4*f. Suppose -3*s + 94 - 31 = 0. Suppose f*a - 3*a = -s. Is a a multiple of 3?
False
Let j(p) = -10*p**3 - 62*p**2 + 78*p + 52. Let a(h) = -7*h**3 - 41*h**2 + 52*h + 35. Let t(o) = 7*a(o) - 5*j(o). Does 5 divide t(-24)?
False
Let n(r) = r + 5. Let c be n(-1). Is (-2 + (31 - c))*1 a multiple of 25?
True
Let g(p) = 2*p**2 + 3*p - 32. Let o be g(13). Suppose 15 = 8*q - o. Is 7 a factor of q?
False
Let n(q) = 4*q**2 - 2*q - 1. Suppose -6 = 5*v - 1. Is n(v) a multiple of 5?
True
Let t = -26 + 28. Suppose t*x + 2*v + 174 = v, -3*x - 258 = 3*v. Let s = -26 - x. Does 31 divide s?
True
Let t = -2 + -62. Let d = -50 - t. Is d a multiple of 2?
True
Let k = -1132 + 1740. Is k a multiple of 8?
True
Let d be (-10)/20 - (-5)/2. Suppose -2*j + 3*j - d = 0. Suppose m = -j*m + 24. Is 4 a factor of m?
True
Suppose 14*m - 86 = 13*m. Suppose -2*y = -m - 22. Does 8 divide y?
False
Let w(m) = 2*m**3 - 5*m**2 - 2*m + 1. Suppose -5*d + 4*d = -5. Let k = -1 + d. Is 14 a factor of w(k)?
False
Suppose s + s = 88. Is s a multiple of 3?
False
Let i = 42 + -25. Let n = i - -33. Is 7 a factor of n?
False
Let d(x) = -x**3 + 34*x**2 - 95*x - 58. Does 144 divide d(26)?
True
Suppose -5*h + p + 1043 = 0, -4*h = -2*h - 3*p - 425. Is 16 a factor of h?
True
Suppose 4*t - 6192 + 1744 = 4*v, -5*v + 5560 = 5*t. Is 12 a factor of t?
False
Let p(b) = 21 - 7 + 6*b - b. Let l be p(10). Suppose 2*j = -3 + 7, -3*c - 5*j + l = 0. Is 9 a factor of c?
True
Let u = 17 - 12. Suppose 16 = -b + u*b. Suppose -5*d = -s + 28, 0*s - b*d = -3*s + 62. Is s a multiple of 6?
True
Let f(d) = d**2 - 4. Let h be f(3). Let g = h - 3. Suppose 4*n + 9 = s, 0 = -g*s + s + 5*n + 9. Does 3 divide s?
True
Let v(o) = -o**2 + 14*o - 34. Is 15 a factor of v(7)?
True
Suppose 0 = -7*y + 5*y. Suppose -2*n + 4*n = y. Is 13 a factor of (n + -1)/((-3)/54)?
False
Let w = -7 + 9. Suppose 6 = -2*t - w. Does 4 divide (0 + t)*1 - -21?
False
Let f(m) = m**3 + 3*m**2 - m - 6. Let b be f(-5). Suppose -5*y + 4 = -4*y, 100 = -3*c + 4*y. Let g = c - b. Does 14 divide g?
False
Let l(t) = 2*t**3 + 2*t**2 - 3*t - 2. Let z be l(-2). Let s(i) = -i - 2. Let c be s(z). Suppose -r - x + 170 = 2*r, -115 = -c*r + x. Is r a multiple of 19?
True
Suppose 0 = s + 2*s - 9. Let a(m) = 2*m**3 + 5*m**2 + 2*m - 17. Let k(w) = 4*w**3 + 11*w**2 + 4*w - 37. Let b(r) = 13*a(r) - 6*k(r). Does 13 divide b(s)?
True
Suppose -85 - 179 = -6*o. Let q = o + -34. Does 10 divide q?
True
Let g = 39 - 25. Is 5 a factor of 4/g - (1392/(-14))/2?
True
Let d = 697 + -472. Is d a multiple of 10?
False
Suppose 2*l + 2*c = -200, 3*l + 0*l - 4*c + 286 = 0. Let x = 167 + l. Is x a multiple of 7?
False
Is (2*-1)/(-3*(-14)/(-19950)) a multiple of 10?
True
Suppose 2853 = 3*l + 3*v, 3*l + 440 = -4*v + 3294. Is l a multiple of 71?
False
Let f be (-3 - (-4)/2)*4. Let c be (11/22)/(2/f). Is 14 a factor of -9*9*c + -2?
False
Let a be (-2 - 4)*836/33. Let b = a + 194. Does 12 divide b?
False
Let q be (15/9)/((-2)/(-12)). Suppose q*s = 12*s + 418. Is (s/38)/((-2)/4) a multiple of 11?
True
Let p(x) = 19*x - 17. Suppose -6*b + 3*b = -9. Suppose w - g = -b*g + 17, -5*g + 46 = 3*w. Is p(w) a multiple of 33?
False
Suppose 4*d = -4*i + 3740, -17*i = 4*d - 15*i - 3730. Does 31 divide d?
True
Let r be (1 - 2)*2*1. Is 24 a factor of 4/4 - -45 - r?
True
Suppose -31*y = -33*y - 3*o + 2391, -2*y + 5*o + 2415 = 0. Does 16 divide y?
True
Suppose 853 - 313 = 15*o. Does 12 divide o?
True
Let q = 0 - 11. Let t be 268/9 - (-8)/36. Let l = q + t. Is l a multiple of 13?
False
Let u(d) = 185*d + 4275. Is u(0) a multiple of 45?
True
Is 3 a factor of ((200/(-3))/(-2))/(8/12)?
False
Let b = 23 - 32. Is 3*(4/b)/(6/(-18)) a multiple of 4?
True
Does 10 divide (-144)/60*25*-1?
True
Suppose -f + 261 = i - 225, -2*i - 3*f + 970 = 0. Is 7 a factor of i?
False
Let a be -28 - (4 - 4 - -3). Let h = 44 + a. Does 7 divide h?
False
Let k = 0 - -3. Let w be ((-3)/k)/((-2)/36). Suppose -r - w - 4 = -2*j, 4*r - 8 = 0. Is 6 a factor of j?
True
Suppose 5*u + 92 = 3*u. Let y = 54 + u. Is 8 a factor of y?
True
Let w = -3629 + 5331. Does 24 divide w?
False
Suppose -7*d - 2*o = -2*d - 18, -5*o = -3*d - 14. Suppose -4*u + 636 = d*u. Is 36 a factor of u?
False
Is (-2)/((-4)/1175) + (-8)/(-16) a multiple of 16?
False
Let s(l) = -21*l + 42. Let y be s(-9). Suppose y = 4*r + 39. Does 8 divide r?
True
Suppose -2*r + 6*r - 100 = 0. Suppose r = 2*u - 17. Suppose -3*b + u + 3 = 0. Is b a multiple of 2?
True
Let m(h) = -136*h + 1. Let u be m(-1). Let p = -83 + u. Is 9 a factor of p?
True
Suppose -5*u - 668 = -u. Let y = -4 - u. Is y a multiple of 23?
False
Suppose 2*z - 1 - 5 = 0. Suppose z*a - 4 = 14. Suppose -5*c + a*c - 46 = 0. Is 23 a factor of c?
True
Is 4 a factor of (-238)/21*(0 - 3)?
False
Is 9 a factor of (-2)/27*-18 - (-154)/6?
True
Suppose 3*p - 36 - 48 = 0. Is p a multiple of 2?
True
Let q = 687 + 721. Does 8 divide q?
True
Does 13 divide (-2)/(5/(2*-185))