de 188*(-13)/(-39)*48*9?
True
Suppose 125992 + 137830 = 29*u - 57730. Does 46 divide u?
False
Let c(h) = -h**3 + 8*h**2 - 11*h - 5. Let i be c(6). Does 2 divide i/1 + 8 + -4?
False
Suppose 5*g = -2*x + 1164 + 1235, -4843 = -4*x + 5*g. Suppose 6*c + 235 - x = 0. Does 9 divide c?
True
Is 62 a factor of (26 + -19)*135*(15 - -2)?
False
Let x = 207 - 195. Suppose -2*m - 17 = 15. Does 7 divide -15*(m/x - 1)?
True
Let v(w) = 4839*w - 17551. Is v(8) a multiple of 50?
False
Suppose -5*j + 101689 = q + 19670, 4*q = -4*j + 65628. Is 47 a factor of j?
True
Let b(n) = n**2 - 7*n + 2. Let m be b(4). Let y be (-2)/(-5) - 1486/m. Let r = -33 + y. Is r a multiple of 30?
False
Let f(h) = 1197*h - 8440. Is 229 a factor of f(39)?
True
Let v(z) = 6*z - z - 4*z + 9 + 5. Let a be (-4)/3 + 198/27. Is v(a) a multiple of 20?
True
Let x be (-400)/(-420)*(-3)/(-2)*35. Does 25 divide (119/18 - (-5)/(-45))*x?
True
Does 19 divide 0 - 55327/(-4) - (2822/136)/(-83)?
True
Let r(i) = i**3 - 10*i**2 + 12*i + 6. Let d = -8 + 17. Let b be r(d). Suppose -24*x + 25*x = b. Is x a multiple of 5?
False
Let h(c) be the first derivative of -c**4/4 - 34*c**3/3 - 7*c**2 - 73*c + 28. Is h(-34) a multiple of 8?
False
Let j(p) = 2*p**2 + 13*p - 2. Let t be j(-9). Suppose -i = 0, 4*i = c - 2*c + 42. Suppose -196 = -t*z + c*z. Does 18 divide z?
False
Let q(j) = 45 - 4*j - j + 5*j + 7*j. Suppose -r - 36 = -3*r - 3*m, r - 3*m = 0. Is 11 a factor of q(r)?
False
Suppose -11*r + r = -20. Suppose 2*q - 4*q - 5*n - 31 = 0, -r*q - 10 = -2*n. Does 23 divide 1 - 4 - q*9?
True
Let g(s) be the first derivative of -11*s - 11/2*s**2 + 23 - 5/3*s**3 + 1/4*s**4. Does 2 divide g(7)?
True
Is 48 a factor of (771/9 - 5)/((-1484)/(-492) + -3)?
False
Suppose -2*i = -i + 315. Let b = i + 568. Is b a multiple of 4?
False
Let l be (16/(-6) + 2)/(2/(-15)). Suppose -m - 5*h = -185 - 214, 4*h + 2082 = l*m. Is m a multiple of 18?
True
Suppose -1771 = -6*p + 713. Suppose p*j = 421*j - 4473. Does 9 divide j?
True
Suppose -6672 = -3*q - 13*q. Let g = q - -33. Suppose -3*d + 2*k = -376 + 42, -4*d = -5*k - g. Does 11 divide d?
True
Let k be -32*4/(-18) - (-19)/(-171). Suppose -k*i - 344 = -428. Is 2 a factor of i?
True
Let v(g) = -6*g**2 + 646*g - 67. Is v(72) a multiple of 19?
False
Let m = 5416 - -5084. Does 100 divide m?
True
Let r(j) = 5*j + 19. Let v be r(-16). Let i = v + 91. Is (-3)/(i/(-196)) - (-6)/15 a multiple of 4?
True
Let v = 69 + -38. Suppose v - 28 = s. Let j(o) = 2*o + 2. Does 4 divide j(s)?
True
Suppose -3*a + 11494 + 8780 = 4*l, 5080 = l - 5*a. Is 78 a factor of l?
True
Let k(h) = h - 126. Let m be k(-42). Let j = m + 405. Does 16 divide j?
False
Suppose -4*h + 126 = u, -2*h + 3*u - 6*u + 58 = 0. Suppose -90*l + 92*l - h = 0. Is l a multiple of 14?
False
Let w be 775 - (-6 + (-20)/(-4)). Let h = w - 218. Is 31 a factor of h?
True
Suppose 2*w = -2*w + 88. Let d = w - 54. Let g = d - -62. Is 9 a factor of g?
False
Let i(v) = 625*v**3 + 3*v**2 - 13*v + 21. Does 10 divide i(2)?
False
Let z = 2174 + -181. Is z a multiple of 30?
False
Let w = -99 + 97. Let m(c) = -c**3 + c - 3. Let s be m(w). Suppose -2*q + 3*v - 2 = -70, s*q = -v + 102. Does 17 divide q?
True
Suppose -5*c = 15, -9 = 3*t - 6*t - 5*c. Let g(a) = a**3 - 8*a**2 + 17*a - 11. Let m be g(t). Suppose -m + 35 = -p. Is p a multiple of 30?
True
Let c be 11 + -3 + (-2)/1. Suppose 0 = -5*v + 2*d - 5*d - 1659, -4*d = -v - 341. Does 17 divide ((40/c)/(-5))/(6/v)?
False
Let a(r) = r**2 - 7*r + 2. Let u(p) = p**2 - 18*p - 33. Suppose -8*l = -7*l - 20. Let g be u(l). Is a(g) a multiple of 2?
True
Suppose 11*f + 2*g - 13844 = 10*f, 5*f - 69150 = 4*g. Is 9 a factor of f?
False
Let s = 58 - 55. Suppose 0 = s*y - 9*y + 438. Suppose -y = -4*b + 5*f, -5*b - f - 15 + 128 = 0. Is b a multiple of 12?
False
Suppose -4046 = -3*v + 18*m - 16*m, 20 = -5*m. Let i = v + -961. Does 12 divide i?
False
Let c(k) = 1942*k + 480. Is c(8) a multiple of 8?
True
Let a = -14883 - -54753. Is 239 a factor of a?
False
Let y(v) = 40*v**2 - 8*v - 6. Let j be y(-7). Is ((-8)/(-5))/(12/j) a multiple of 24?
False
Suppose 2*m = -2*u + 10228 + 1452, -m - 4*u = -5831. Is m a multiple of 51?
False
Let f be 7 - 1*(-2)/(-2). Let x(d) = d**2 - 23*d - 8. Let q be x(19). Is 21 a factor of (3/f)/((-1)/q + 0)?
True
Let x be (-1)/4 - (-26)/8. Suppose 5*a - 4*i = 485, -x*i = -a - 4*i + 88. Is a a multiple of 42?
False
Suppose -90*b + 18*b = 15*b - 765948. Is b a multiple of 159?
False
Let h = 361 + -357. Suppose -5*z + h*o = -3895, -773 = -z + o + o. Does 29 divide z?
True
Is 45 a factor of (-360)/(-14)*(-1 - (-7767)/18)?
True
Suppose -78*v + 88*v = 11200. Does 28 divide v?
True
Let j(a) = 33*a**3 - 13*a + 5*a - 35*a**3 - 6 + 19*a**2. Let p be j(9). Suppose 0*d = 3*d - 5*u - 584, p*d + 4*u = 602. Is d a multiple of 22?
True
Let u = 10136 - 7628. Is 19 a factor of u?
True
Suppose 3*r - 9892 = -5*v, -4*r + 7*v + 13220 = 6*v. Does 4 divide r?
True
Is (1 - (-14287)/3)*756/630 a multiple of 16?
False
Let m be 37/((-185)/30) + (-4)/1. Let s = 605 - m. Does 15 divide s?
True
Suppose -40*z + 36*z = -240. Let k = z - 40. Does 2 divide k?
True
Let b = -2478 + 4472. Suppose 5*y - u - b = 0, 0 = 5*y - 2*u - 686 - 1307. Is 21 a factor of y?
True
Let a(t) = 132*t**2 + 3*t - 12. Does 5 divide a(4)?
False
Let y(v) = 3*v**2 + 34*v + 7. Let a be y(-8). Let m = -6 + -71. Let u = a - m. Does 4 divide u?
True
Suppose p + g - 6818 = -2600, -8424 = -2*p - 5*g. Does 56 divide p?
False
Suppose 654 = 3*v + t, -4*v - 128 = 2*t - 998. Suppose 0 = v*w - 225*w + 7194. Is w a multiple of 11?
True
Is 24 a factor of 13 - 9 - (-18)/6 - -22012?
False
Let m(a) = -259 + 0*a**2 + a**2 + 260 + 2*a + 0*a. Let k be m(-1). Suppose 0 = -3*u, k*z = -3*z - u + 72. Is z a multiple of 4?
True
Let v(f) = -316*f + 37. Let y(g) = -g + 37. Let s be y(40). Is v(s) a multiple of 44?
False
Let q(u) = u**3 + 44*u**2 + 37*u + 47. Is q(-27) a multiple of 74?
False
Let g be (-2)/5 - (-532)/(-105)*-6. Is (100/g - 6)*(-105)/2 a multiple of 5?
True
Let i be (-2)/(-9) + (-175168)/(-1008). Let t be (-1)/((-3)/(-3 - 0)). Is 18 a factor of (6 + -5)*(i + t)?
False
Let b(y) = -y**3 - 7*y**2 - 14*y - 24. Let f be b(-5). Let i(n) = -3*n**3 - 11*n**2 - 12*n - 1. Is i(f) a multiple of 2?
False
Let c(v) be the second derivative of -v**5/10 - v**4/6 + v**3/6 - v**2 + v. Let d be c(2). Is 5 a factor of 6/(d/(-44)) - 4?
False
Suppose 34 = 4*p - 5*p + d, 0 = 4*d - 16. Suppose -258 = -33*v + 30*v. Let j = p + v. Is 7 a factor of j?
True
Suppose -289981 = 33*a - 2426005. Is 29 a factor of a?
True
Let x(l) = 2*l - 7. Let t be x(6). Is 32 a factor of (-12)/(t/880*-6)?
True
Suppose 4*i = 4 + 8. Suppose -v + 8 = i*v. Suppose -840 = -4*r - v*r. Does 20 divide r?
True
Suppose 0 = -4*z + r + 15814, -86*z - 2*r = -87*z + 3964. Is 16 a factor of z?
True
Suppose 2*d = -2*q + 1510 - 100, 3*q - 4*d - 2115 = 0. Does 9 divide q?
False
Let j be 129/215 - 13522/(-5). Suppose -j = -7*s - 94. Is s a multiple of 10?
False
Let h(m) be the third derivative of -59*m**4/24 - m**3/2 + 12*m**2. Let q(l) = -20*l - 1. Let c(i) = 3*h(i) - 8*q(i). Is c(-1) a multiple of 16?
True
Suppose -867314 = -205*j - 217276 + 401612. Is j a multiple of 10?
True
Let h(m) = 6*m**2 - 6*m - 67. Let c(t) = 7*t**2 - 4*t - 68. Let r(l) = 5*c(l) - 4*h(l). Is r(-10) a multiple of 19?
True
Let s(i) = 12*i**3 + 13*i**2 + 5*i + 15. Let o be s(7). Suppose -6*h = -o - 3783. Is 48 a factor of h?
False
Let b = 24104 - 11250. Is b a multiple of 42?
False
Let k be (-18 - 0)*1566/(-4). Suppose -30*x = -39*x + k. Is x a multiple of 36?
False
Let h(m) = -2 + 2 - 6 + 5. Let t(k) = 4*k - 5. Let b(y) = 30*h(y) - 6*t(y). Is b(-1) a multiple of 4?
True
Let d(m) be the third derivative of m**6/120 - m**5/12 + m**4/24 - 5*m**3/6 + m**2. Suppose -4*a = -24*a + 41 + 99. Does 16 divide d(a)?
False
Let t = 8466 + -6192. Is 30 a factor of t?
False
Is 39 a factor of (10/(-40))/((-5871)/1956 - -3)?
False
Let d(s) = -3*s**2 + 5*s - 11. Let f(a) = 2*a**2 - 4*a + 12. Let n(c) = -3*d(c) - 4*f(c). Let z be n(8). Does 10 divide (-7 - -4 - z)*-1?
True
Let l be -18*4/(-12) - -1830. Let d = l + -962. Does 13 divide d?
False
Suppose 177 - 170 = z. Suppose -3*l + f = -1381, -l + z*f = 2*f - 437. Is 14 a factor of l?
True
Let u(g) = 27*g - 62. Let v = 412 - 406. Is u(