, -h = 3. Does 13 divide q?
True
Let f = 169 - -191. Is 18 a factor of f?
True
Suppose 21*k = 18230 - 338. Is k a multiple of 13?
False
Let k = 4204 - 1176. Is k a multiple of 100?
False
Let u(k) = k**3 + 18*k**2 - 8*k - 44. Is 11 a factor of u(-11)?
True
Suppose -2*x = 4*u - 960, u = 2*u + 5. Is 70 a factor of x?
True
Let i be -3*19/9*-18. Suppose -2*r = 0, 246 + i = 4*w - r. Is w a multiple of 17?
False
Does 5 divide -116*((-11)/4 - -2)?
False
Suppose 178 = -3*o - 38. Let j = -36 - o. Is j a multiple of 13?
False
Let k = -25 + 0. Let b = k - -38. Is 4 a factor of b?
False
Let g = -754 + 898. Is g a multiple of 12?
True
Is (-8102)/(-20) + 53/(-530) a multiple of 51?
False
Suppose -v - 2460 = -4*n + 5460, -4*n = -2*v - 7920. Is n a multiple of 15?
True
Let k(p) = p**2 + 3*p + 5. Let h be k(-2). Suppose 528 = -f + h*f. Suppose -7*o + f = -o. Is 11 a factor of o?
True
Suppose -5*y = 9 - 39. Does 18 divide y/(-21) - (-57)/42*40?
True
Let l(z) = 6*z**2 + 6*z + 36. Does 36 divide l(6)?
True
Suppose -4*z + 2*z + 610 = j, 1530 = 5*z + 5*j. Suppose -m - 8*k = -3*k - 80, -5*m + z = k. Is m a multiple of 20?
True
Suppose -o - 2*s + 61 = 0, 3*o - s + 6*s = 178. Let f = 10 + o. Does 15 divide (4 - 1)/(-3) + f?
True
Let h = 35 + -113. Does 16 divide (8/(-12) + 0)*h?
False
Let k = -640 + 1013. Does 43 divide k?
False
Let t be (1/((-1)/(-22)))/(-16 + 14). Let o(m) = m**2 + 8*m - 15. Does 7 divide o(t)?
False
Let y(f) = -f - 18. Let r be y(-20). Let w = r + 2. Suppose 122 = w*l + 34. Is l a multiple of 11?
True
Suppose -4*b - 2*b + 12 = 0. Suppose -b*r + 118 = -190. Does 22 divide r?
True
Suppose h + 4*m = 1082, -4*m + 4280 = 150*h - 146*h. Does 5 divide h?
False
Suppose h - 15 = -5*z + 4*h, z + 5*h = -25. Suppose z = i + i + q - 1, -5*q - 40 = -5*i. Suppose i*m + 191 = 5*y, -2*y - 68 = -4*y - 3*m. Does 8 divide y?
False
Does 29 divide 6 + -6 + -2 - -252?
False
Suppose 7*x - 82 = 205. Suppose 2*h + x = 3*h. Does 6 divide h?
False
Let d = 238 - 14. Is d a multiple of 24?
False
Let b(n) = 2*n**3 + n**2 - 10*n + 15. Is b(5) a multiple of 20?
True
Suppose 5*k - 10*k = -20. Suppose 6*i - 5*y + 4 = 3*i, -5*y = -k*i - 2. Suppose 0 = i*v - 38 + 8. Is 8 a factor of v?
False
Suppose -3*n - 5*z = -16, -5*z - 4 = -29. Let v(t) = 6*t**2 + 7*t + 8. Is v(n) a multiple of 23?
False
Is (-10)/2*(35028/(-35))/9 a multiple of 9?
False
Let h be (-4 + 2 + 1)*-1. Let f(c) = 4*c**2 - c + 1. Let o be f(h). Suppose o*w - 195 = -k, 3*w = 3*k - 6*k + 135. Is w a multiple of 24?
False
Let z(d) = 4*d**2 + 8*d - 24. Let r = 28 - 36. Does 12 divide z(r)?
True
Is 10 a factor of (3*20/14)/(12/1176)?
True
Let k(t) = -t**2 - 16*t - 45. Let r be k(-15). Let v = 40 - r. Is v a multiple of 14?
True
Let i(h) = 50*h**2 + 4*h - 1. Is i(-3) a multiple of 31?
False
Let i(w) = -1079*w - 283. Is 66 a factor of i(-3)?
False
Let y(p) = -p**2 - 29*p + 5. Is 43 a factor of y(-14)?
True
Suppose 2*s = 4*s + 5*r + 7, -4*s - 4*r = 20. Let b(o) = -o**2 - 6*o + 3. Let v be b(s). Let d = v + 5. Is d a multiple of 3?
False
Let x = -1075 + 1595. Does 10 divide x?
True
Let q(h) = h**2 + 25*h - 9. Does 11 divide q(-45)?
True
Suppose -2*g - 19 = -5*g + 4*s, 5*g - 3*s - 28 = 0. Let h(y) = 7*y**2 + 12*y - 5. Does 46 divide h(g)?
True
Let v(w) = 3*w**3 - w**2 + 9*w + 10. Is 13 a factor of v(7)?
True
Let p = -364 - -625. Is p a multiple of 4?
False
Let n(j) = -j**2 + 7*j - 7. Let y be n(5). Suppose 5*z + 10 = m + y, -2*z + 7 = m. Is m a multiple of 7?
True
Let y = 1279 - 838. Is 40 a factor of y?
False
Let i be 1/10*4*5. Suppose -6*m + i*m - d = 5, 3*d + 15 = -4*m. Suppose m = z - 5. Is 5 a factor of z?
True
Let d(h) = h**3 - 9*h**2 + h + 9. Suppose -4*t = -8 - 20. Let q be d(t). Let w = 118 + q. Does 9 divide w?
True
Let h = 291 - 283. Let y = -24 + 43. Let x = y - h. Is x a multiple of 9?
False
Suppose 60 = 3*o + 2*o. Let w = -11 + o. Is (-45)/(-27)*(w + 11) a multiple of 10?
True
Let b be (-2 - -1)*71*1. Let t(j) = 11*j**3 - 2*j**2 + j - 1. Let f be t(-2). Let a = b - f. Does 14 divide a?
True
Let z = -22 + 12. Let c = -10 - z. Suppose c = 4*n + 4 - 108. Is n a multiple of 10?
False
Let f(d) = d**3 - 19*d**2 + 19*d - 16. Suppose -2 = 3*x + 1. Let u = 19 + x. Is f(u) even?
True
Let s = -19 - 6. Let g = s + 30. Suppose b = g*b - 108. Is 27 a factor of b?
True
Let k be (-2)/7 - (-26)/(-7). Let q be (-55)/(-20) - (-3)/k. Does 12 divide (0 - q)/((-9)/54)?
True
Let b be 1/((6/63)/(2/(-3))). Is 5 a factor of ((-2)/(-3))/(b/(-315))?
True
Let x(s) = -s**3 + 13*s**2 + 14*s + 4. Let f be x(14). Suppose -182 = -f*a - 3*w, a + 0*a - 42 = w. Let r = a - -9. Is r a multiple of 24?
False
Suppose 4*v + 24 = 8*v. Let c(u) = -6*u**2 - 2 - 6*u + 11*u**2 - v*u**2. Is c(-3) a multiple of 3?
False
Let g(i) = -2*i**3 + 4*i**2 + 2*i - 5. Let o be g(3). Does 3 divide o/51*3/2*-98?
False
Let h be (4/(-10))/((-2)/20). Suppose h*d - 84 = 312. Let t = d - 21. Is 33 a factor of t?
False
Let t = 2356 - 1215. Is 4 a factor of t?
False
Suppose -5*l = o - 1270, o - 1279 = 4*l - 6*l. Is 14 a factor of o?
False
Let u = 1334 + -1110. Does 28 divide u?
True
Let j(v) = -13 - 35*v + v + 3*v. Does 17 divide j(-5)?
False
Let f(j) = 18*j - 26. Does 25 divide f(5)?
False
Is (-2)/(-13) + (-9330)/(-195) a multiple of 12?
True
Let n(k) = 414*k**3 + k**2 - k. Does 46 divide n(1)?
True
Suppose 14*j - 34 = 260. Is j a multiple of 2?
False
Suppose -4*g - 88 = 2*q - 758, -q + 2*g + 319 = 0. Is 3 a factor of q?
True
Suppose -88 = -s + 2*w, 15*w = -4*s + 11*w + 400. Does 12 divide s?
True
Let x be 140/(-21)*18/(-5). Does 14 divide 2/(-4) - (-420)/x?
False
Let b be ((-8)/5)/(3/(-60)). Suppose -2*p - 297 = 3. Is 25 a factor of (p/8)/((-12)/b)?
True
Suppose -9*q + 2 = -448. Suppose -47*y = -q*y + 579. Is 30 a factor of y?
False
Suppose -20 = -4*u + 28. Let b(o) = -2*o - 6. Let w be b(-8). Suppose u*q - w*q - 12 = 0. Does 3 divide q?
True
Let l(k) = -5*k + 2. Let h be l(1). Let f = h + 14. Is f a multiple of 11?
True
Let y = -2 - -10. Let x be (-26)/y*(10 + -34). Let l = x + -38. Is l a multiple of 8?
True
Suppose 5*s = -7*s + 24. Suppose 0*g - 5*g - 5*l = -340, -s*g + 3*l + 136 = 0. Is g a multiple of 15?
False
Suppose -2*v = 22 - 30. Suppose -136 = -v*a + 4*m, 5*m - 103 = -3*a + a. Is 9 a factor of a?
False
Let o(s) = s**3 - 1 + s**2 + 7*s - 3*s + s**2 - s**2. Let v be o(3). Is -6*2/(-6) + v a multiple of 12?
False
Suppose 70 = 2*w - 2. Let p = w - 10. Does 22 divide p?
False
Suppose 5*b + b + 1326 = 0. Does 17 divide (b/(-26))/(1/10)?
True
Let x be 4/(-6)*10*(-26 - -11). Let n = 178 - x. Is n a multiple of 13?
True
Suppose -5*q + q = 16, -3*j + 5*q = -671. Suppose b + j = 2*f, f - b - 110 = b. Let k = f - 30. Is 13 a factor of k?
True
Let h = -57 - -99. Let x = h - 15. Is x a multiple of 13?
False
Let j(x) = x + 1. Let v(r) = 4*r - 14. Let b(t) = 5*j(t) - v(t). Is 12 a factor of b(5)?
True
Let r(n) = -n - 1. Let u(s) = -9*s - 4. Let l(v) = 28*r(v) - 4*u(v). Let q be (-10)/3*36/(-10). Does 24 divide l(q)?
False
Let g(b) = 2*b - 14. Let j be g(11). Let m(v) = v**3 - 8*v**2 + v - 8. Let u be m(j). Suppose 5 = l, u*h - 51 = -3*h + 3*l. Is 11 a factor of h?
True
Suppose 0 = -0*h - 3*h. Suppose -b = -h*b. Suppose b = 2*i + 3*k - 31, 80 = 5*i - 0*k + 5*k. Is i a multiple of 13?
False
Let k = -210 + 382. Is 11 a factor of k?
False
Let h(p) = -10 + 6 + 3*p - 6. Is h(6) a multiple of 8?
True
Let i(p) = p**2 - p - 4. Let n be i(3). Let x = 493 - 376. Suppose w = -n*w + x. Does 13 divide w?
True
Let h be (-22)/(-99) - (-454)/(-18). Let c = -10 - h. Does 5 divide c?
True
Suppose -b + 28*b - 1620 = 0. Is b a multiple of 4?
True
Suppose -w + 94 = -53. Let l = -93 + w. Does 18 divide l?
True
Suppose 3*u + 2*f = 470, 5*f = 4*u - 9*u + 775. Is 4 a factor of u?
True
Suppose 2*f + w = 5, -4*f - 3*w = -0*w - 5. Suppose 3*s + 164 = f*s. Does 24 divide s?
False
Suppose 7*a = a + 30. Let s(k) = 21*k + 7. Is s(a) a multiple of 29?
False
Let a(g) = 181*g - 184. Is 12 a factor of a(5)?
False
Suppose -89866 = -25*i + 34034. Does 21 divide i?
True
Is (-19)/(760/16) - (-4724)/10 a multiple of 8?
True
Let f = -4 + 3. Let r(x) = 31*x**2 - 1. Let z(i) = 125*i**2 - i - 5. Let d(j) = 9*r(j) - 2*z(j). Is d(f) a multiple of 14?
True
Is 2 a factor of ((-144)/5)/((-49)/245)?
True
Suppose -4*r - 62 = -2*i, -3*