se
Suppose -7*d + 1989 = 2*d. Suppose 2*h = -2*u + 74, 5*h + 72 = -4*u + d. Is u a multiple of 9?
True
Suppose -736*z = -735*z - 97. Is 20 a factor of z?
False
Let x(p) = 54*p + 31. Is 13 a factor of x(11)?
False
Let f = 1536 - 995. Does 38 divide f?
False
Let l(w) = -2*w**3 + w**2 + 2*w + 2. Let b be l(-1). Suppose -7*x + b*x = -3*y + 28, 0 = -4*x - 4. Suppose -2*o + 5*o + 18 = 3*h, 2*o = y. Is 6 a factor of h?
False
Let c(w) = 4*w**2 + 39*w + 38. Is 23 a factor of c(-12)?
False
Suppose -8 - 2 = -5*s. Suppose -m - s = 38. Let u = m + 88. Is u a multiple of 12?
True
Let a = 4 + 1. Suppose 5*t = a*o + 40, -t = 3*t - 5*o - 27. Is 6 a factor of t?
False
Let v be (-1 - -2)*3 - 2. Suppose 0 = -4*x - 4*a + 5*a - 1, a = 2*x + v. Suppose 3*j + j - 112 = x. Is j a multiple of 14?
True
Suppose -2*x + 0*x - 4*c = -608, -5*x = 4*c - 1520. Let j be 6*10/(-15) + 211*-1. Let f = x + j. Is f a multiple of 20?
False
Let f(a) = -6*a - 7. Let u be f(-6). Suppose 2*o = -g + 52, -2*g - 2*o + o = -92. Suppose u = s - g. Is s a multiple of 15?
False
Let u = -8 + 7. Let m be 3*(0 + -1)*u. Suppose -m*d = 2*d - 260. Is 18 a factor of d?
False
Let c(z) = z**2 + 4*z + 2. Let j be c(-4). Let t be (3 + 52)*j/(-5). Let y = -15 - t. Is y a multiple of 7?
True
Suppose 9*y + 4764 = 15*y. Is 12 a factor of y?
False
Let f(b) = 4*b**2 - 5*b + 2. Suppose u + 0*u - k = 4, -2*u + 26 = 4*k. Let t be f(u). Suppose 5*y - 176 = -4*d - 0*d, 3*d - t = 4*y. Is 13 a factor of d?
False
Suppose 10*n + 17064 = 37*n. Does 63 divide n?
False
Let x be -3 + (1 - -3) + -3. Let l = 7 + x. Suppose l*g + 0*g - 30 = 0. Does 3 divide g?
True
Let g be 562 + -2 + -2 + (5 - 3). Suppose 0 = 8*p + 2*p - g. Does 32 divide p?
False
Suppose -3*z + 309 = 3*x - x, -205 = -2*z - x. Let p = -49 + z. Does 16 divide p?
False
Let b = -153 + 219. Suppose 2*r - 51 = -r + 3*z, b = 4*r - 5*z. Is 4 a factor of r?
False
Suppose -2*c - c = -3*h + 21, 8 = c + 4*h. Let y(z) = -23*z - 1. Is 18 a factor of y(c)?
False
Let r = 36 + -36. Suppose r = -3*c + 9*c - 240. Does 20 divide c?
True
Let x(b) be the first derivative of 0*b**3 - 13/2*b**4 + b + b**2 - 4. Is 14 a factor of x(-1)?
False
Suppose 2*p - 3*s = -0*p + 194, -2*p + 198 = -4*s. Is 7 a factor of p?
True
Is (-21)/((-273)/12584) - 6*1 a multiple of 13?
True
Let l be 12/5 + (-14)/35. Let t be 4 - (l + -5 - -14). Let n = t + 13. Is n a multiple of 6?
True
Let j(h) = 11 - 56*h + 40*h - 4. Does 29 divide j(-5)?
True
Suppose 0 = 11*c + 22 + 11. Does 47 divide (81/60 + c/(-12))*110?
False
Suppose 3*n - 22 = -7. Suppose n*f - 3*w - 63 = 135, -3*w - 30 = -f. Does 14 divide f?
True
Let n(v) = -v**3 - 7*v**2 - 8*v - 8. Let o be n(-6). Let w be 3 + -2 + 0 - o. Is 58 + w + 24/4 a multiple of 21?
False
Suppose -9*t = 30 + 6. Is 16 a factor of (t + (-20)/15)*-3?
True
Let u(q) = 186*q**3 + 3*q - 2. Let z be u(1). Let k = z - 95. Is k a multiple of 15?
False
Let j = 232 + -100. Is 15 a factor of j - 0/(1 - 2)?
False
Suppose 3*f = -4*y + 666, 328 = 2*y - 0*y - f. Is y a multiple of 33?
True
Suppose -k - 67 - 3 = 0. Is k/(-8) - (-11)/44 even?
False
Let l = 122 + 538. Does 16 divide l?
False
Let d = -81 - 11. Let x = 129 + d. Let a = -21 + x. Is a a multiple of 5?
False
Suppose 29*k - 17260 + 1861 = 0. Is 9 a factor of k?
True
Suppose 2*h + 17 = l - 138, 4*h - 845 = -5*l. Does 5 divide l?
True
Is 8 a factor of (7 + -3)/(9 - (-2050)/(-228))?
True
Let x(g) = -3*g + 2. Suppose 3*f = f - 30. Let l = f - -8. Does 22 divide x(l)?
False
Let n(i) = i**2 + i - 130. Let v be n(0). Let u = v + 87. Is u/(-4) - 6/8 a multiple of 5?
True
Suppose 0*c = c - 4. Suppose -226 + 34 = -c*a. Is 8 a factor of a?
True
Let f be 11 - (-1 - 2 - -2). Let q be (0 - 4)*18/f. Is 12 a factor of (28/q)/2*-9?
False
Let m = 20 + -20. Suppose -5*f + 47 = -4*r - m, 4*r = -5*f + 23. Does 4 divide f?
False
Suppose 5*x - 50 = -5*r, 2*r - 3*x - 5 = 25. Is r a multiple of 4?
True
Let m be (-1)/1 - (-6 + 3). Let h be (-28)/21*93/m. Let z = h - -103. Is z a multiple of 21?
False
Let m(v) = 11*v + 262. Suppose 0 = -33*o + 30*o. Does 23 divide m(o)?
False
Let v be 18/8*32/24. Suppose -4*a + 5*k + 115 = -a, -v*k = -a + 41. Suppose 2*p - 23 = a. Does 19 divide p?
False
Suppose 4*j = 5*g + 22, -2*j + 0*j - 2*g = -2. Let p be (7*(-4)/(-28))/1. Does 17 divide (-111)/(-9)*j*p?
False
Suppose 0 = -4*p + y + 3877 + 578, p = 3*y + 1122. Does 9 divide p?
False
Does 45 divide -11 - (5 - (-691)/(-1))?
True
Let o be (-1 - (-8)/10) + (-3)/(-15). Suppose -13*i + 6*i + 315 = o. Does 3 divide i?
True
Suppose -4*q = -3*b - 335, -q = b - 76 - 13. Does 22 divide q?
False
Suppose 0*h + 5 = -h, -3*z + 29 = -4*h. Is 0 - (-3 - 181) - z a multiple of 12?
False
Let y = -17 - -78. Let x = -25 + y. Is 14 a factor of x?
False
Suppose 0 = g + 2*g + 21. Let l(x) = -5*x + 2. Let h be l(g). Suppose 11 = -k + h. Does 26 divide k?
True
Suppose 0 = 2*b - 35 + 11. Is 11/2 - 6/b a multiple of 5?
True
Suppose 4*v = -v - n + 649, -113 = -v + 4*n. Suppose v = j + 111. Is 6 a factor of j?
True
Suppose 18 = -2*w - 6. Let i = -16 - w. Let l(k) = -26*k - 4. Is 25 a factor of l(i)?
True
Suppose 0 = -3*k + 10 + 2. Suppose -2*f - 3*l + 271 = -0*f, -k*f = 5*l - 537. Suppose -4*n + 2*z + 134 = 0, -2*z - 2*z + f = 3*n. Does 16 divide n?
False
Let r(z) be the first derivative of -z**4/2 - 2*z**3/3 - 5*z**2/2 - 32*z - 38. Does 28 divide r(-4)?
True
Suppose 0 = 14*b - 17*b + l + 1124, -b + 372 = -3*l. Does 15 divide b?
True
Suppose -3*i + 5*x - 5 = 2*i, 3*x = 4*i - 1. Let m(n) be the third derivative of -n**4/24 + 5*n**3/3 + 4*n**2. Is 6 a factor of m(i)?
True
Does 13 divide (-122)/(-366) - 10552/(-6)?
False
Let k(d) = 5*d**2 + d. Let s(t) = t**2 - 6*t - 4. Let j be s(6). Let q(r) = 2*r + 6. Let l be q(j). Is k(l) a multiple of 5?
False
Let v(z) be the second derivative of -z**4/12 + 5*z**3/6 - 3*z**2/2 - 3*z. Let w be v(4). Let g(o) = 12*o**3 + 2*o**2 - 2*o + 1. Is 11 a factor of g(w)?
False
Let m be 23/(-5) + 5 + 23/5. Suppose 2*d + 2*d = -3*s + 20, -20 = -2*s - d. Suppose -43 = -2*t - t - m*k, 0 = -3*k - s. Is t a multiple of 21?
True
Suppose -22*q + 20*q = -1836. Is q a multiple of 14?
False
Let y = 55 - 39. Let x be 269/2 + (-8)/y. Suppose 0 = -2*v - 0*v + x. Is v a multiple of 13?
False
Let h = 193 - 62. Is h a multiple of 14?
False
Suppose -l = -2 - 8. Let h = l + 8. Does 18 divide h?
True
Let r = 4 - 6. Does 16 divide (-4)/((-2)/(-16)*r)?
True
Let b = -269 - -596. Suppose 0 = -g + c + 67, -g - 3*c - b = -6*g. Does 9 divide g?
True
Suppose -4*h - o + 4340 = 0, 4*h = -18*o + 20*o + 4328. Is 30 a factor of h?
False
Let k(l) = 11*l - 2*l**2 - 10 + l**2 - 9*l + 11*l. Let j be k(11). Suppose f = -5*y - j, 3*y + 43 = 3*f + 7. Is f even?
True
Let t be ((-11)/4)/((-8)/(-32)). Let f = 24 + t. Let h = -9 + f. Is 2 a factor of h?
True
Suppose -13*b + 6924 + 3099 = 0. Is b a multiple of 48?
False
Suppose 3*j + 10 + 8 = 0. Let y(i) = i**3 + 16*i**2 + 15*i. Does 27 divide y(j)?
True
Suppose -5*i - a = -153 - 257, -2*a = i - 91. Suppose -2*u + i - 15 = 0. Is u a multiple of 7?
False
Let b(j) = 72*j**2 + 5*j - 37. Is 55 a factor of b(-4)?
False
Let v(t) = 2*t + 11. Let l be v(-5). Is (139 + -9)*l/2 a multiple of 13?
True
Let r(n) = 11*n - 10. Let f(b) = b**2 - 6*b - 6. Let a be f(8). Does 20 divide r(a)?
True
Let f = -86 - -87. Suppose s = 2*r + f, s + 5*r = -s + 20. Is s a multiple of 5?
True
Suppose 2*v - 45 = -5*m, 0 = 5*m - 5*v - 25 - 55. Does 3 divide m?
False
Let b = 189 - -561. Is 6 a factor of b?
True
Let v = 2 - 0. Suppose 0 = 5*l - v - 3, 33 = t + 3*l. Does 5 divide t?
True
Suppose 3*q - 15 = 3*g, 7*g + 10 = 12*g. Does 6 divide q?
False
Suppose 13073 + 688 = 9*m. Is 23 a factor of m?
False
Let a(z) = -z**3 + 7*z**2 + 3*z - 23. Let r be a(7). Does 3 divide (-4 + 0 + 3)/(r/8)?
False
Let r = 6 + 6. Suppose o = -2*o - r. Is ((-24)/(-14))/(o/(-70)) a multiple of 10?
True
Let y(h) = 3*h - 10 - 6*h**3 - 8*h**2 - 4*h**3 + 9*h**3. Is 11 a factor of y(-9)?
True
Suppose -3*a = 12, -2*l + a = l - 1. Does 42 divide (-2 - -172)*(4 - (2 - l))?
False
Let k = -998 + 1623. Is 59 a factor of k?
False
Let h = -2425 - -4359. Is h a multiple of 17?
False
Let h(a) = -482*a - 44. Does 125 divide h(-5)?
False
Suppose -18*x + 531 = -3141. Is 6 a factor of x?
True
Suppose 7*z - 1614 + 144 = 0. Does 30 divide z