3*r = t + o, 3*r = 2*t + 1. Is (-8 + 4)/t - -15 a multiple of 14?
True
Let c(g) = -110*g - 328. Let a be c(-3). Let t(i) = -i**2 + 5*i - 3. Let j be t(3). Suppose -a*y = j*y - 80. Is y a multiple of 10?
False
Suppose 4*a - 6 - 14 = 0. Is 38 a factor of (a + 2545/(-15))/(2/(-6))?
True
Let v(j) = -4*j + j + 5 - j. Let b be 15/40*-2 - (-65)/(-20). Is 7 a factor of v(b)?
True
Suppose -301*z + 18*z = 34*z - 7593418. Is z a multiple of 59?
True
Let t = -208 - -333. Suppose -47*m - t = -42*m. Does 19 divide (m + -242)*1/(-3)?
False
Suppose 52*k - 53512 - 16428 = 0. Does 77 divide (3 + -2)*k/15*21?
False
Let y be (-1*2 + -8)/(-2). Suppose -9*v = -16*v - 119. Let n = y - v. Is n a multiple of 6?
False
Let c be ((32/(-12))/(-4))/(2/363). Suppose -2*z = 3*z - 2*r - 605, -5*r = z - c. Suppose -631 + z = -5*s. Is 17 a factor of s?
True
Let j(l) = l**3 + l**2 + l + 43. Let c(q) = -q - 13. Let v(d) = d + 12. Let n(s) = -5*c(s) - 6*v(s). Let b be n(-7). Does 27 divide j(b)?
False
Let y = -281 - -81. Is 8 a factor of 1 + 4/(-3) + y/(-24)?
True
Let o be (6 - 16)/(36/(-40) - -1). Let m = 169 + o. Is m a multiple of 4?
False
Let y(n) = -n**3 - 52*n**2 - 151*n + 48. Is y(-51) a multiple of 6?
True
Let i(m) = -3374*m - 71. Does 19 divide i(-2)?
False
Suppose 82 = 5*z + 32. Is 5 a factor of (606/(-12) + -5)/((-3)/z)?
True
Suppose 2907 = 4*q + 5*q. Let f = -188 + q. Does 23 divide f?
False
Suppose -3*t + 210 = 2*p + t, 4*p + 5*t = 414. Let i = -88 + p. Suppose -i*w = -10*w - 144. Is w a multiple of 2?
True
Let j be -28 + ((-20)/4 - -3). Does 16 divide 59 + 5/(j/(-12))?
False
Let m = 50 + -2. Suppose 0 = -49*c + m*c - 4. Is 18 - 8/4*(-6)/c a multiple of 15?
True
Let x be 3238/6 + (-2)/3. Suppose 84 = -5*n + x. Is 7 a factor of n?
True
Suppose -3*l + 222 = -201. Suppose -5*b - 5*d = -d - l, 5*b - 2*d = 117. Suppose -3*q - u = 4*u - 239, 0 = -5*u - b. Is 8 a factor of q?
True
Let r be 2/(4/(-102)) + 0/16. Let w be (-17)/r - (2 - (-158)/(-3)). Does 17 divide w/((-56)/(-48) + 1/3)?
True
Let b = -10054 + 11043. Does 23 divide b?
True
Suppose 68 = -21*i - 16. Let j = i + 300. Does 8 divide j?
True
Let a = 1176 + -648. Suppose 63*v + a = 66*v. Is v a multiple of 8?
True
Let d(o) = -o**3 + 9*o**2 + 15*o - 8. Let x be d(10). Is (2912/x)/((-4)/(-6)) a multiple of 13?
True
Let a be ((-289)/2)/((-4)/(-1 - -49)). Suppose s = 2*s - a. Suppose -8*l - 670 = -s. Does 13 divide l?
False
Suppose c + 4*x = 2113, c + 2115 = 2*c + 3*x. Is 3 a factor of c?
True
Let i(y) = 16*y - 101. Let f be i(17). Let h = -21 + f. Is 6 a factor of h?
True
Suppose 0*r = r + 61. Let f = -84 - 61. Let p = r - f. Is 28 a factor of p?
True
Let w(i) = i**2 - 3*i - 23. Let v be w(0). Let z = v - -27. Suppose z*l + 2*f - 18 = 40, -4*l + 2*f = -78. Is l a multiple of 17?
True
Let r(j) = 317*j - 5. Let d be r(1). Let h = d - 123. Is h a multiple of 9?
True
Suppose 11*u = 8*u + 27. Suppose 4*s - s = u. Suppose z + 2*i + s*i - 10 = 0, 3*i = 3. Is z a multiple of 5?
True
Is 14 a factor of -8*4/(-64)*(5 - -29625)?
False
Suppose -2905750 = -289*f + 171*f. Is 10 a factor of f?
False
Suppose -r = u - 7081, 3*r - 17081 = u + 4170. Does 9 divide r?
True
Let m be 95/1 - -4*(-11)/(-44). Does 42 divide (-1992)/m*(-28)/1?
False
Let g(w) = 12*w**3 - 48*w**2 + 225*w - 9. Is 35 a factor of g(6)?
True
Let p be 2/3*(-120)/16 - -19. Suppose 649 = p*y + 61. Does 21 divide y?
True
Let h(n) = 25*n + 179. Let c be h(-7). Suppose 0*y + 20 = -5*y, 0 = c*i - 3*y - 1468. Is 7 a factor of i?
True
Let c = 26408 - 13064. Is 32 a factor of c?
True
Suppose -38 = -2*g + f, -g - 3 + 0 = 5*f. Is 12 a factor of ((-1)/6*2)/(g/(-6834))?
False
Let x(r) = r**3 - 78*r**2 + 10*r + 154. Does 149 divide x(78)?
False
Let j = -47480 - -106749. Is 153 a factor of j?
False
Let a(g) = g**2 - 11*g + 2. Let o be 12 - -1 - 10/(-5 + 10). Let y be a(o). Suppose 2*p = 3*f + 30, -5*p + 98 = 2*f + y*f. Is p a multiple of 9?
True
Suppose 0 = -10*a - 53 + 143. Let w(c) = -3*c**2 + 7*c**2 - 6*c**2 + c**3 - 5*c**2 - a*c - 14. Is w(10) a multiple of 16?
False
Let s = 100 + -100. Suppose 3*x - 310 = -y - 72, -4*x = s. Does 34 divide y?
True
Suppose 124*s - 2949 = 121*s + u, s + 4*u = 970. Is s a multiple of 2?
True
Does 8 divide (-3)/6 + (113009/13)/(4/22)?
False
Let y(w) = -12*w - 65. Let l(b) = b**2 - 20*b + 69. Let j be l(15). Is y(j) a multiple of 2?
False
Suppose 5*x - 439 - 1 = 0. Suppose -4*q - 160 = 4*g, g - 190 - 34 = 5*q. Let a = x + q. Is 22 a factor of a?
True
Does 18 divide 1 + (-18)/8 - 24215/(-20)*7?
False
Let c(o) = -o**3 - 17*o**2 + 13*o - 123. Does 38 divide c(-21)?
True
Is 25 a factor of (-3066)/12*(528/(-56) - -6)?
False
Let u(q) = 111*q**2 - 53*q + 24. Is 14 a factor of u(-8)?
False
Let a = 646 - 641. Suppose -a*l - 507 = -3*s, -5*s + 951 = 4*l + 143. Is 31 a factor of s?
False
Suppose 0 = y + 5, -2*y + 71 + 134 = -5*m. Let l = -56 - m. Let u = l - -21. Does 8 divide u?
True
Suppose -4*q + c + 54 = -5*q, 5*q - 4*c + 315 = 0. Let h = 81 + q. Does 11 divide h?
True
Let y(n) = -2*n + 37. Let q be y(12). Suppose -q*s = -5*s - 3*s. Suppose s = 3*j - 94 - 50. Is 20 a factor of j?
False
Let c be -1 - 3 - (-5)/(15/6264). Let r = 1208 - c. Does 19 divide (2/(-4))/((-1)/r*-2)?
False
Let h(p) = -74*p**3 + 6*p**2 - 57*p - 310. Is h(-7) a multiple of 314?
False
Suppose -3*a + 3*x + 17 = -13, 3*x = -12. Let q be ((-28)/a)/(2 + 818/(-408)). Suppose -12*u = -5*u - q. Does 17 divide u?
True
Suppose 2*j + 3*o + 0 + 7 = 0, -4*o = 12. Is 77832/216 - ((-2)/3 + j) a multiple of 20?
True
Let w be (6 - 7) + 2/1. Suppose 214 = -27*v + 214. Is 18 a factor of v + (3 - w) - -73?
False
Let k(x) = -x**2 + 36*x - 51. Let b be k(34). Suppose 81 = 2*g + 4*q + b, 4 = q. Is 12 a factor of g?
True
Is 1 + (2 - 2)/(-6) + 2963 a multiple of 38?
True
Let b(n) = 31*n**2 + 7*n - 108. Is 84 a factor of b(9)?
False
Let b = -264 - -278. Let o(z) = -z**3 + 15*z**2 - 15*z + 17. Is o(b) a multiple of 2?
False
Let a(u) = -u - 1. Let r be a(-1). Suppose r = 7*n - 2369 - 235. Does 31 divide n?
True
Suppose 10*y - 10682 = -39*y. Is y a multiple of 13?
False
Suppose -6*f + 10*f - 1036 = -2*h, 3*f - 2583 = -5*h. Does 12 divide h?
True
Suppose -18*y + 19*y = -v + 15140, -3*y = -8*v + 121197. Is 33 a factor of v?
True
Suppose y + 0*c = 4*c + 29, 0 = 4*y - 4*c - 128. Let h = -37 + y. Does 7 divide 25 + (60/h)/(-5)?
True
Let c = -92 + 65. Let o be 1/(-2)*(13 + c). Suppose -o*m + 568 = m. Is m a multiple of 3?
False
Does 41 divide (-88)/10*(-4762940)/728?
False
Let m = -71 - -67. Let i(d) = -11*d**3 + 2*d + 1. Let w be i(m). Suppose r = 5*z - w, -2*r - 295 = -2*z - 7*r. Is z a multiple of 14?
True
Does 98 divide 4461 + 39/((-156)/(-40))?
False
Suppose -29*s - 230 = -24*s. Let g = s + 102. Let h = g - -76. Does 11 divide h?
True
Suppose 9 = -y + 3*m - 3, 5*y + 3*m = -132. Let k = y - -45. Let p = k - 2. Is p a multiple of 4?
False
Let m = -37 + 37. Suppose 3*r + 4*q + 2 = m, -q = -r + 20 - 9. Is 22 a factor of (-1386)/(-56)*32/r?
True
Suppose x - 392 = 3*t, 4*x + 7*t = 2*t + 1483. Suppose 2*j = -g + j + x, -5*j + 10 = 0. Does 19 divide g?
False
Suppose -16 = 5*y - 6. Let w be 2*y - 252/(-18). Suppose -8*t - 8 = -w*t. Is t a multiple of 2?
True
Suppose -3*i - 19 + 25 = 0. Suppose -170 = -i*x + 12. Suppose -132 - x = -c. Does 10 divide c?
False
Is 22 a factor of (-8 + 1 + 12/2)*(-2 - 1997)?
False
Let w(y) = 48*y - 28. Let n = -44 + 53. Let u be w(n). Suppose 0 = -78*f + 82*f - u. Does 8 divide f?
False
Suppose -16794 = -3*j + 4*q + 4852, 4*q = 2*j - 14428. Is j a multiple of 9?
True
Let c = 557 + 19. Suppose 7*n - 5*u = 3*n + c, -n + 144 = u. Is 3 a factor of n?
True
Let x be (7 - (3 + -3))/1. Let m(z) be the first derivative of z**4/2 - 4*z**3 - z**2/2 - 2*z + 87. Is m(x) a multiple of 24?
False
Suppose 0 = 3*s + 9, 2*u + s - 4 = -5. Let l(k) = 69*k - 9. Does 5 divide l(u)?
True
Let t = -6116 + 9192. Is t a multiple of 24?
False
Let b(h) = 104*h**2 - 60*h + 36. Is 16 a factor of b(13)?
True
Suppose -3*a - 102 = -3*g, -4*a + 77 = 3*g - 25. Suppose -10*n + g = 7*n. Suppose 4*h - 7*c + 6*c - 266 = 0, 0 = n*h + 2*c - 128. Is 4 a factor of h?
False
Suppose 4*w = -2*w + 138. Let z = w + -14. Does 23 divide ((-14)/4)/(z/(-414))?
True
Let l be (-235*18)/(-5) - (-4)/1. Is 6 a factor of l/(-15)*15/(-10)?
False
Suppose 5*