 18*v - 8 - 34 - 3 + 68*v. Let n(u) = 17*u - 9. Let j(h) = 2*f(h) - 11*n(h). Does 23 divide j(-4)?
True
Suppose -4*g + 3*c = -3*g - 90, 0 = -5*g - 4*c + 526. Suppose 3*b + 0*b = g. Let w = b + 2. Is w a multiple of 16?
False
Let t = -12 - -16. Suppose -19 = -4*s - 7*l + 4*l, t*s + 6 = 2*l. Let z = 5 - s. Is z a multiple of 4?
True
Let a(v) = 10*v - 4. Let y be a(3). Let c be 6/(12/2) - 48/(-4). Let f = y - c. Does 13 divide f?
True
Let n(j) = 455*j**3 + 2*j - 1. Is 19 a factor of n(1)?
True
Suppose -o + 3*l - 2*l + 5 = 0, 2*o - 5*l = 16. Let a be 30 + o/3 + 0. Suppose 2*y - 4*y - a = -r, -4*r = y - 106. Does 27 divide r?
True
Let x be ((-16)/14)/((-4)/14). Suppose 3*k = 4*r + 426, x*r - 95 = -3*k + 307. Is 23 a factor of k?
True
Let q be (-93)/(-33) + (-18)/(-99). Suppose -a = -q*g - 132, 2*a - 262 = -2*g + 7*g. Is a a multiple of 26?
False
Suppose -15*w - 740 = -3440. Is w a multiple of 12?
True
Suppose -31 - 2 = -3*j. Suppose -607 = -j*n + 713. Does 10 divide n?
True
Let l = 545 - 527. Is 18 a factor of l?
True
Suppose k = -4*z + 48, -4*k + 162 = 5*z - 30. Does 24 divide k?
True
Let u = -680 + 964. Does 18 divide u?
False
Is 50176/40 + (1 - (-21)/(-15)) a multiple of 33?
True
Let z(o) = o - 1. Let n(j) = -5*j**2 - 15*j + 2. Let d(l) = -n(l) - 6*z(l). Is d(-5) a multiple of 23?
False
Let i = -12 + -4. Let o = i - -11. Does 11 divide (-11)/(((-20)/(-8))/o)?
True
Let v = -11 + 25. Let u = -6 + v. Let q(p) = -p**3 + 8*p**2 + p + 5. Is 4 a factor of q(u)?
False
Suppose 3*h + 1911 = 4*k - 2*k, -5*h = -3*k + 2867. Is k a multiple of 18?
True
Let d(r) = 4*r**2 - 3*r - 578. Let a(l) = l**2 - l - 193. Let j(m) = -7*a(m) + 2*d(m). Does 15 divide j(0)?
True
Is 11 a factor of (-6 + 17)/((-2)/(-48)*2)?
True
Let w be -4 - (-1 - 9) - (0 - 2). Is 35 - w/(2 - 4) a multiple of 13?
True
Suppose -1629 = -3*k + 3*j, 1931 = 4*k - 5*j - 239. Does 14 divide k?
False
Let s(y) = y + 5. Let w be s(-5). Is 27 a factor of 6/3 - -25 - w?
True
Let b(a) = -4*a - 51. Let z be b(-12). Is 84 + 3 - ((z - 0) + 6) a multiple of 21?
True
Let t = -16 + 18. Suppose t*p = 4*p. Suppose -102 + p = -d. Is 34 a factor of d?
True
Suppose 361 = 5*i - 799. Is 6 a factor of i?
False
Let h(w) = 171*w - 12. Let b be h(3). Suppose 0 = -7*t - 25 + b. Is t a multiple of 17?
True
Suppose -40 = -16*v + 11*v. Suppose -v*d = -10*d + 34. Does 2 divide d?
False
Let c be (-1 + (-12)/(-9))*60. Let g = c - 13. Let q = g + 2. Is q a multiple of 2?
False
Let o = 126 - -39. Suppose -5*n + 2*a + 11 + 10 = 0, 2*n = 3*a + 4. Suppose -n*l + 3*l - m + 75 = 0, 4*l = 3*m + o. Is l a multiple of 13?
True
Let x be (928/(-7 + 3))/1. Let y = -43 - x. Does 23 divide y?
False
Let p(n) = 2*n**3 - n**2 + n. Let z be p(1). Let h(b) = 11*b**3 + b**2 - 5*b + 6. Is h(z) a multiple of 22?
True
Let a(w) = -w**3 - 4*w**2 - 3*w - 5. Let i be a(-4). Let t(n) = -6*n + 24. Let q be t(i). Let y = q - -30. Is 12 a factor of y?
True
Suppose 0 = -49*k + 53*k + 640. Let r = -39 - k. Is 32 a factor of r?
False
Let x be (6/(-10))/(1/(-20)). Suppose y - x = -2*y. Suppose z + 177 = 5*b, -4*b + 38 + 94 = -y*z. Is b a multiple of 20?
False
Suppose 5*j + 6*t - 1669 = 2*t, 1002 = 3*j + 3*t. Let g = -466 + j. Let b = -46 - g. Does 29 divide b?
True
Suppose c + 7 = -12. Suppose -5*l - 2*t + 21 = -6, 3*l - 2*t - 29 = 0. Let z = l - c. Is 12 a factor of z?
False
Suppose 2*m + 3*k = 1245, 2*m + 4*k + 222 = 1468. Is 69 a factor of m?
True
Let p = 32 + -29. Suppose a = -3*a - p*f + 62, -a + 15 = f. Does 3 divide a?
False
Let g = -10 - -12. Let z = g - 0. Suppose z*s = -3*q + 120, 0*q = -3*s + q + 180. Is 20 a factor of s?
True
Does 2 divide (374/(-11))/(0 + 0 - 1)?
True
Suppose 11 = 3*c - n, c + 2*n = -2*c + 5. Suppose 3*t + 16 = a, -4*a = c*t + t - 48. Is a a multiple of 13?
True
Let p(x) = 20*x**2 - x**3 + 5*x - 16*x**2 - 3*x. Does 6 divide p(4)?
False
Let q be 8/32 - (27/(-4) + 1). Suppose q*k - 2*k - 120 = 0. Does 15 divide k?
True
Suppose -4*v - 177 = 47. Let h be (-484)/(-14) - 24/v. Does 8 divide ((-497)/h)/(2/(-10))?
False
Let w(z) = -36*z + 316. Is 10 a factor of w(-24)?
True
Suppose -5*x = 209 + 76. Let k(s) = s**3 - 6*s**2 - 4*s - 2. Let a be k(6). Let g = a - x. Is g a multiple of 13?
False
Let m(u) = 10*u**2 + 3*u - 3. Let h be 0 + -2 + 7 + -3. Does 5 divide m(h)?
False
Let a be (15/5 + 0)/1. Let s be (84/4)/(a/2). Let p(k) = k**2 - 13*k - 8. Is p(s) a multiple of 3?
True
Let k = -1044 - -2222. Does 31 divide k?
True
Let h be 1/(1/12) + -1. Suppose 6*f = p + 4*f - h, 2*p = 2*f + 16. Suppose 5*s + 8 = 4*x + 136, -p*s - 4*x + 112 = 0. Is s a multiple of 24?
True
Let z = 11 + -5. Suppose -b - b - z = 0. Let i(d) = -d**2 - 2*d + 5. Is i(b) even?
True
Let r = 1952 - 1366. Is 22 a factor of r?
False
Suppose -59*w = -60*w - 2*q + 1767, 0 = -3*w + 2*q + 5333. Does 25 divide w?
True
Suppose 0 = 9*t - 18*t + 2394. Does 7 divide t?
True
Let c be (-93)/(0 - -3) - 3. Let u be (-4)/26 - (-1016)/13. Let y = u + c. Is y a multiple of 22?
True
Suppose 300 = 4*v - 0*v. Is v a multiple of 2?
False
Let a(m) = -1 - 2 - 2*m + m + 2. Let w be a(-3). Does 6 divide w/(-10) - 172/(-10)?
False
Let d = 384 + -546. Is 19 a factor of (-3 - -1)/4 - d/4?
False
Let m be (-12)/20*-4 + (-4)/10. Suppose m*y = 62 + 440. Does 16 divide y?
False
Suppose 4*s + 3*f = 32, -3*s + 0*f = -2*f - 24. Let g = 9 - s. Let m = 17 - g. Is m a multiple of 10?
False
Let q = -439 + 1532. Does 22 divide q?
False
Let m(l) = -l + 13. Let u be m(0). Let x = 11 - u. Is 13 a factor of ((-95)/(-10))/((-1)/x)?
False
Let a = 44 - 56. Let p = 42 + a. Is p a multiple of 10?
True
Let d = -244 + 304. Is d a multiple of 8?
False
Let n = 17 + -13. Let h be (-5)/(-2)*n/(-5). Let t = 20 - h. Is t a multiple of 11?
True
Suppose 82 = 14*z - 114. Does 2 divide z?
True
Let p(f) = -225*f - 30. Is 43 a factor of p(-3)?
True
Is (13 - 15)/((-2)/311) a multiple of 5?
False
Let o = -4 - -14. Let c = 16 - o. Is 7 a factor of (-3)/c*-46 - 3?
False
Suppose 1410 = 11*d - 2517. Does 49 divide d?
False
Let j be (0 - (-5 - -17))*(-3)/12. Suppose 0 = -j*q + 465 + 300. Does 13 divide q?
False
Suppose -o + 5*o - 388 = 0. Suppose -5*j = -5*h + 295, -o = -2*h - 7*j + 2*j. Does 12 divide h?
False
Let s = 664 + 80. Is s a multiple of 48?
False
Let p(g) = -g**2 + 12. Suppose 0 = -3*u - 4*n + 7, -2*u = u + n - 13. Let m be p(u). Let h = 15 + m. Does 2 divide h?
True
Let i(t) be the third derivative of 37*t**5/60 + t**4/24 - t**3/3 + 13*t**2. Does 12 divide i(1)?
True
Let m(y) = -5*y**3 - y**2 + 3*y + 3. Let x(h) = 11*h**3 + 2*h**2 - 6*h - 7. Let d(b) = 9*m(b) + 4*x(b). Is d(-4) a multiple of 32?
False
Is 34 a factor of (-708)/(-3) - (-6 + 5)?
False
Let v be (-3)/(-12) + 255/4. Suppose -3*c - 38 = -2*g - 2*c, 5*c + v = 3*g. Suppose 0 = -5*n + g + 42. Does 6 divide n?
True
Let q(p) = -172*p - 12. Let z be q(-1). Let i = 20 + z. Is i a multiple of 42?
False
Let t be 44/36 - (-2)/(-9). Let c be 0 - (3 - 4)/t. Let q = 39 - c. Is q a multiple of 19?
True
Let s(j) = 2*j**2 - 14*j + 78. Is s(10) a multiple of 69?
True
Let k(a) = 50*a - 18. Let c be (-1)/(2/3)*2. Let o(d) = 17*d - 6. Let v(m) = c*k(m) + 8*o(m). Does 16 divide v(-3)?
True
Let k(c) = 5*c**2 - 2*c - 7. Let j be 16/(-4) + 12 + 4/(-1). Is 32 a factor of k(j)?
False
Suppose -11*n - 38 = -13*n. Does 3 divide n + (-5)/((-20)/(-12))?
False
Suppose -57*x = -52*x - 675. Does 15 divide x?
True
Let f be -10*(45/(-10) - -4). Let n(a) = a**2 + 7*a - 6. Let i be n(f). Let m = 105 - i. Is 17 a factor of m?
True
Suppose 2*i = 2*a - 522, -210 = -a - 2*i + 60. Suppose -9*h + a = -6*h. Is 7 a factor of h?
False
Let i be 4/6*21/14 - -37. Suppose -g = -0 - 2. Suppose -5*x + 34 + 6 = -b, -g*x = 4*b - i. Does 9 divide x?
True
Let q = -20 + 20. Suppose i - 1 = -q*i. Does 23 divide i - (-92)/(3 + -1)?
False
Let n = 11 + -11. Suppose 3*y - 9 = n, 6*l - 2*l = -y + 3. Is l*3/9 + 4 a multiple of 4?
True
Let j(m) be the third derivative of -7*m**4/24 + 9*m**3/2 - 2*m**2. Is j(-14) a multiple of 17?
False
Suppose -11 + 40 = 3*q - n, 0 = q - 3*n - 23. Suppose -2*w + 1375 = 5*y, -4*w = 4*y - 377 - 723. Suppose 3*d + y = q*d. Is 15 a factor of d?
False
Suppose -42*x + 38*x + 980 = 0. Is 10 a factor of x?
False
Suppose t - 2 = 1. Let v be 45/(-12)*2*32/(-16). Is 7 a factor of 460/v + (-2)/t?
False
Let p = -141