ue
Suppose -5*z = -11 + 1, n - 2 = -z. Suppose n = 5*o - 4*y - 1599, 8*o = 9*o + 5*y - 343. Is 17 a factor of o?
True
Suppose -623*x = -625*x + 11346. Is x a multiple of 93?
True
Let x(f) = 1102*f + 908. Does 93 divide x(25)?
True
Let x = -23 - -18. Let o be (-6)/5 - 1/x. Does 11 divide o*(-4)/(8/94)?
False
Suppose 49 = -2*i + 5*v, 3*i - 2*v + 99 = -3*v. Let b(p) = p**3 + 11*p**2 - 3*p + 2. Let h be b(-11). Let g = i + h. Is g a multiple of 2?
False
Let i(w) = 6*w**3 + 3*w**2 + 5*w - 9. Let x be i(7). Suppose 0 = -3*d - 3*b - b + 2233, -5*b + x = 3*d. Suppose -4*s + 13*s = d. Is s a multiple of 17?
False
Is 80 a factor of (-28078)/(-14) + (-232)/145 + (-144)/(-140)?
False
Let j(t) = 3145*t + 2493. Does 44 divide j(7)?
True
Let r(k) = -19*k + 5*k - 32 + 4. Suppose 95*i = 117*i + 198. Is r(i) a multiple of 12?
False
Suppose 2*m + 2*y = 11848, -3*y = 5*m - 4*y - 29584. Is m a multiple of 22?
True
Suppose -64 = -22*i + 24*i. Let t = 54 + i. Does 15 divide t?
False
Let x = 1759 + 7054. Is 50 a factor of x?
False
Let k be (-389)/(-4) + (-36)/(-48). Let y = k + 21. Suppose -2*x = -5*z - y, 2*z = 4*x - z - 231. Is x a multiple of 10?
False
Suppose -4*q + 1922 = z - 3258, -2*z + 10415 = -3*q. Does 130 divide z?
True
Is (-155610)/(-33) + ((-94)/(-132) - (-5)/(-30)) a multiple of 4?
True
Is 3/((4/(-8004))/(2/(-3))) a multiple of 29?
True
Suppose 4*a - 5*o + 20 = 0, 4*a - 4*o + 13 = -3. Suppose 3*w + 3 = 4*c, -2*c + 12 = -a*w + 2*w. Suppose 0 = -p - c*f + 12, -p - f + 24 = -4*f. Is p even?
True
Let q = -10718 + 12034. Is q a multiple of 38?
False
Let n(o) = -o**2 + 3*o + 57. Let k be n(9). Is 6 a factor of -4*((-80)/k - (-3)/(-9))?
True
Suppose -2046 + 4433 = 7*b. Does 3 divide b?
False
Let p(b) = 20 + 8*b + 49 - 86*b - 9 + 0*b**2 - 2*b**2. Is 20 a factor of p(-24)?
True
Let j(w) = 32*w**2 - 3. Let b be j(-3). Let u(q) = -49*q + 117. Let t be u(6). Let z = t + b. Does 36 divide z?
True
Let g(t) be the third derivative of t**5/10 + t**4/12 + 26*t**3/3 + 100*t**2. Is g(-8) a multiple of 28?
True
Let s(r) = 82*r**3 + 4*r**2 + r - 3. Let p be s(5). Suppose -9*q + p = -6478. Suppose -9*n - 2*n = -q. Is n a multiple of 17?
True
Let v(w) = 52*w**2 - 41*w + 18. Is v(5) a multiple of 50?
False
Suppose -4*u - 40 = -2*f, -f + 4*u + 0*u + 28 = 0. Suppose 2*o + 2*o - f = 4*a, 5*o - 15 = -5*a. Suppose o*b - 5*d = 169, -3*b - d + 146 = 7. Does 10 divide b?
False
Suppose -2 = 2*i - 0*i - 5*p, 4*i = p + 32. Is i*(-8)/((-144)/30) a multiple of 7?
False
Let i be (-1656)/(-15)*50/20. Suppose -v + 4*v - i = 0. Is v a multiple of 19?
False
Is 26/130 + ((-40709)/(-5) - 2) a multiple of 22?
True
Suppose 17 = 4*g - 5*y, 5*g + 8*y = 3*y - 35. Let u(l) = 5*l**2 + 6*l - 2. Let z(f) = 6*f**2 + 6*f - 3. Let r(x) = g*z(x) + 3*u(x). Is r(-4) a multiple of 8?
True
Suppose -2*m + 3*y = 4085 - 22838, 0 = -m - 3*y + 9390. Is 53 a factor of m?
True
Let k(c) = c**2 + 4*c - 9. Let v be k(-13). Let n = v + 80. Suppose -9*m = n - 539. Is m a multiple of 13?
True
Suppose 12*i - 8*i = -460. Let y(x) = x**2 - 13*x + 13. Let n be y(10). Let f = n - i. Does 9 divide f?
False
Let h = 1642 - -3986. Is h a multiple of 14?
True
Let i(q) = 14*q**2 + 18*q - 27. Let s be 2 - (4 + -9 + -4). Let y be i(s). Suppose 7*p - y = -395. Is 21 a factor of p?
True
Let b(k) = -k**3 + 35*k**2 - 26*k - 89. Let s(o) = -5*o**2 - 26*o + 1. Let i be s(-3). Is 61 a factor of b(i)?
True
Let j = -8845 - -8809. Let m be 0 - -146 - (3 - 1). Is 38 a factor of j/m - (1 - (-1666)/(-8))?
False
Let j be (-10)/(-5) + -10 - -32. Suppose 15 = 5*t - 0. Suppose -u - t*r + j = 0, 0 = u + 4*r - 5*r - 24. Is 24 a factor of u?
True
Let v = -3240 - -4022. Is v a multiple of 17?
True
Let q be (-6)/(-4)*4/3. Let v(b) = -b - 4*b + 3 + 137*b**2 + 1 - 97*b**2. Is v(q) a multiple of 14?
True
Let j(k) be the second derivative of -17*k**3/2 + k**2/2 + 2*k. Let h be j(3). Let l = h - -339. Is 24 a factor of l?
False
Suppose n + 5*s + 390 = 0, 1950 = -n - 4*n + s. Is (120/(-225) - 2/3)*n a multiple of 52?
True
Suppose -s = -18766 - 10552 + 6662. Is 192 a factor of s?
True
Let k(l) be the first derivative of l**2 + 1/3*l**3 - 9 + 96*l - 1/4*l**4. Is 32 a factor of k(0)?
True
Let c(m) = m - 36. Let b be c(43). Suppose -f + 37 = b. Does 2 divide f?
True
Let h(o) = o + 2303. Let c be h(0). Suppose 19*t = 12*t + c. Is 47 a factor of t?
True
Is 32 a factor of (0 + -53)/(39/(-312))?
False
Suppose -5*u + 4*g = -u - 60852, 7*u + 5*g - 106407 = 0. Is u a multiple of 14?
False
Let x(s) = 7*s - 41. Suppose 157 + 188 = 15*y. Does 4 divide x(y)?
True
Suppose 0 = -4*f + v + 10627, -5*f + 361*v = 366*v - 13315. Does 3 divide f?
True
Suppose 442*j + 417360 = 522*j. Is j a multiple of 37?
True
Suppose 12*b = 20*b - 1840. Suppose -231*r + b*r + 545 = 0. Does 15 divide r?
False
Suppose 0 = -106*w + 59*w + 12314. Does 24 divide w?
False
Suppose -3*v = 3*v - 24. Suppose 1316 = -v*o + 8*o. Let y = -187 + o. Is y a multiple of 31?
False
Let i(x) = x**2 - x - 1. Let k be i(7). Let q = k + -18. Suppose 0 = -19*y + q*y - 80. Does 4 divide y?
True
Is 54 a factor of -2 - -3 - (-2151 - 2)?
False
Suppose 0 = -2*g + 4*q + 52200, 3*g - 5*g = 4*q - 52224. Is g a multiple of 38?
True
Let w = 17 + -10. Let q(t) = 34*t - w - 23*t - 14*t. Is 2 a factor of q(-6)?
False
Suppose -21366 = -3*x + 3*a, 0 = -10*x + 11*x - 4*a - 7104. Is 66 a factor of x?
True
Suppose -g + 60504 + 5093 = 3*t, -4*t - g = -87461. Does 22 divide t?
False
Let q = -639 + 1385. Let s = q - 350. Is s a multiple of 22?
True
Let t(y) = -y**3 - 7*y**2 - 7*y + 1. Let q be t(-6). Let g be (-160 - (-6 + q))*2/(-2). Suppose 141*m + g = 142*m. Does 18 divide m?
False
Let h = -20 + -10. Let j be 10/h - (-1 + 8/3). Does 14 divide (-1342)/(-12) - j/12?
True
Let s(u) = 4*u**2 - 11*u - 2*u**2 - 18 - 3*u**2. Let g be s(-7). Suppose c + g = 55. Does 9 divide c?
True
Let a(z) be the second derivative of -z**5/20 + 7*z**4/4 + 20*z**3/3 + 34*z**2 + z - 18. Is 16 a factor of a(22)?
True
Suppose 14*b - 42 = -7*b. Suppose -3*i = -2*q + 1730, -7*i + 2*i + 1698 = b*q. Is q a multiple of 28?
False
Let g = -2862 + 2973. Is 3 a factor of g?
True
Let i = -47 - -50. Suppose 175 = 2*g + 5*k, 4*g - 374 = -i*k + k. Suppose -g*x + 98*x = 546. Is x a multiple of 26?
True
Let h(x) = 2*x**3 - 4*x - 2. Let l be h(-3). Suppose -14*m - 115 - 165 = 0. Let t = m - l. Does 4 divide t?
True
Suppose 30*u = 51*u - 63. Suppose 970 = -0*l + u*l - 4*g, 5*l + 4*g = 1606. Is 30 a factor of l?
False
Suppose -116*a = 27062 + 20147 - 14961. Let t(u) = -u**3 - u**2 + u - 446. Let x be t(0). Let d = a - x. Is 12 a factor of d?
True
Suppose 0*a - 4*a = -4*h - 124, 3*a + 4*h - 93 = 0. Suppose -4*z - 42 = 2*f, 0*f = 2*z - f + a. Let s = z - -103. Is s a multiple of 15?
True
Suppose 3*g - g = -7*b + 12833, 5*g = -3*b + 5504. Is b a multiple of 85?
False
Suppose -734*w = -185*w - 17338518. Does 13 divide w?
False
Let o(b) = -5*b + 20. Let m be o(4). Suppose -2*y + f - 6*f + 372 = m, 0 = -2*f + 4. Is 10 a factor of y?
False
Suppose 16*r = 219225 - 75404 + 155699. Does 36 divide r?
True
Let d be -6 - (-5 + 0 - 4). Suppose 0 = 5*r - d*x - 93, 2*r - 59 = -4*x - 1. Does 3 divide r?
True
Suppose 0 = 4*p - 76098 + 17170. Is p a multiple of 21?
False
Suppose -5*k + 141 = 361. Let r = -44 - k. Suppose r = s - 1 + 2, 0 = p + 2*s - 78. Is p a multiple of 17?
False
Suppose 37 = 2*d + 45, 0 = 4*l + 2*d - 2908. Does 3 divide l?
True
Suppose -3*v + 8032 = 1660. Suppose -v = -6*y + 192. Is y a multiple of 30?
False
Let b = -2 + 14. Suppose b*p - 24*p = -2376. Is p a multiple of 17?
False
Let v be -2 + ((-9)/3)/(-3) + 19. Suppose 18 = -q + 3*f + f, 4*q + 2*f = v. Suppose q*z = 2 + 30. Is 8 a factor of z?
True
Let g = 2831 + -2823. Let q(r) = -6*r**2 - 2*r + r**3 + 2 - 15 + 0. Does 33 divide q(g)?
True
Suppose k - 11618 = 4*m, 1249*m + 4 = 1248*m. Is k a multiple of 21?
False
Suppose -o = 5*v - 4637, -270*o = -268*o + v - 9238. Is 22 a factor of o?
False
Let l(b) = b**2 + b - 1. Let k(x) = -141*x**2 - 4*x + 6. Let m(a) = -k(a) - 4*l(a). Let h be m(-1). Suppose 10 = s - 3*s, -5*s + h = 5*u. Does 5 divide u?
False
Let j(u) = -3*u**2 + 87*u + 67. Let g be j(30). Is (g*472)/(-8) + -8 a multiple of 75?
False
Suppose o + 6*o + 42*o = 255143. Is 6 a factor of o?
False
Suppose -o + 750 = s, -512 - 169