e v?
True
Suppose 2*b + 7 - 11 = 0. Suppose -476 = b*h + 2*h. Let p = 189 + h. Is 14 a factor of p?
True
Let f = 134 + -128. Is 9 a factor of (-23529)/(-46)*4/f?
False
Let r(p) = 2*p**2 - p + 12. Let h be r(4). Suppose 25*j - 30*j + h = 0. Is j a multiple of 4?
True
Let r be -3 + 2 - (-6 + 590/(-1)). Suppose -4*i - r - 1710 = -3*x, i = -1. Is x a multiple of 8?
False
Let f = 21599 - 14974. Is f a multiple of 77?
False
Suppose -5*f + 40 = 2*k - 7*k, 0 = 2*f + 5*k + 12. Let o(p) = 6*p**2 + 4*p - 13. Is 4 a factor of o(f)?
False
Let y = 9715 - 5680. Does 18 divide y?
False
Let i(d) = -d + 5. Let t be i(1). Does 11 divide t/(-14) + 2742/42?
False
Suppose -25 = -5*k, -4*x - 5*k = -2172 - 1645. Does 17 divide 8/28 + x/14?
True
Suppose 0 = -o - 5, -122*b + 124*b + 3*o - 6761 = 0. Is b a multiple of 28?
True
Let x(k) = 280*k + 4006. Is 13 a factor of x(-7)?
False
Suppose -1794*w + 1780*w = -58548. Does 41 divide w?
True
Suppose 438*y + 1866 = 440*y. Let x = y - 502. Does 13 divide x?
False
Suppose 0 = 2*i - 3*i + s - 18, -5*i - 86 = -s. Let w = i + 27. Suppose q = 7 + w. Does 9 divide q?
False
Let k be 6 + (-2401)/(-4) + (-1)/4. Suppose 3*s - 4*v = 1857, 3*v = -4*s + 3*s + k. Does 49 divide s?
False
Let c be (-8)/(-40) + (-38)/(-10). Suppose 0 - 168 = c*x. Is 34 a factor of (6*(-17)/(-4))/(x/(-56))?
True
Let m(g) = 123*g + 30. Let t(n) = -3*n - 52. Let l be t(-19). Let y be m(l). Suppose 22*w = 17*w + y. Is w a multiple of 19?
False
Suppose -3*u = -z + 475, -z - 951 = -3*z + 5*u. Suppose -325*a = -340*a + 120. Suppose a*d + 46 = z. Is 9 a factor of d?
True
Let z = -9890 - -10579. Is 3 a factor of z?
False
Suppose 5 = -w, -i + 4*i = -3*w + 909. Suppose -3*h + 148 + i = 0. Is h a multiple of 12?
False
Let m be (9/6)/((-6)/(-8)). Let f(c) = -c**2 + 32*c - 186. Let a be f(17). Suppose m*r = -i + a, 5*r = r + 2*i + 150. Is r a multiple of 18?
True
Let a(u) = 19*u**3 + 31*u**2 - 327*u + 58. Does 12 divide a(10)?
True
Let i(a) = -2*a**3 + 8*a**2 + 13. Suppose 2*w = -b + 14, 6*b - 8*b + 23 = 3*w. Let j be i(b). Suppose -2*v + 3*q = -4*v + j, v + 2*q = 6. Is v a multiple of 4?
True
Suppose 5*o + 1 = -3*y - 6, -9 = -y + 4*o. Let j = -162 - -200. Is (-1 + j)*(y + 0) a multiple of 37?
True
Suppose -5*j - 3*u = -58515, 5*u + 4857 = 5*j - 53658. Does 15 divide j?
False
Let l(m) = -m**3 + 48*m**2 + 51*m + 478. Does 4 divide l(49)?
True
Let f(c) = c**2 - 14*c + 47. Let g be f(9). Let t(k) = 200 - 2*k**2 + 58*k - 204 + 8*k**g. Is 32 a factor of t(-13)?
True
Suppose x + o = -2*x + 114, 5*x + 3*o = 190. Suppose 6*p - 14 = -x. Is 22 a factor of 2*4*(164/8 + p)?
True
Let c be 3/28*4 - (-20)/(-14). Let u(r) = r + 11. Let l be u(-8). Does 28 divide (157 + 2)/l - c?
False
Let y = 5275 + -3603. Is y a multiple of 19?
True
Suppose -15*y + 2*y + 79986 = -20972. Does 19 divide y?
False
Suppose -685596 = 7*c - 28*c - 36*c. Is 100 a factor of c?
False
Let k = 21734 - 20418. Is k a multiple of 28?
True
Let o be (5 - (0 - 57)) + -5. Let g = o + -53. Suppose d - g = 7. Is d a multiple of 6?
False
Suppose 31*t - 28*t = -2*r - 112, -5*r + t = 297. Let f be 201 - (-2)/(-1 + 2). Let x = f + r. Is x a multiple of 18?
True
Suppose -36 = -r - 3*r. Let o be -27*((-21)/r - -2). Does 8 divide (-286)/(-9) - (-2)/o?
True
Suppose 2439 - 500 + 4273 = 2*u. Does 44 divide u?
False
Suppose -z - 235 = -3*s, -4 = 2*s - 5*z - 165. Let m be s/4 - 4/(-8). Let j = m - 11. Is j a multiple of 2?
False
Suppose -34314 = -76*p + 93410 + 60832. Does 8 divide p?
False
Suppose -3*d + 9*l - 10*l + 27 = 0, 3*l = -3*d + 21. Is 2/(-4) + (445/d - -4) a multiple of 16?
True
Suppose -41*z = -49*z + 24. Suppose 4*v - z*v = 180. Is v a multiple of 15?
True
Let h = -3475 + 7326. Does 50 divide h?
False
Let q(l) = l**3 + 43*l**2 - 170*l + 14. Does 14 divide q(-44)?
True
Suppose -5 - 5 = -5*y. Let j be ((-702)/156)/(6/(-80)). Suppose -2*f + a + j = 0, 31 = 4*f + y*a - 97. Does 16 divide f?
False
Let h be -3 + (8 - 3) + 36. Suppose -2*y + 3*i = -149, h = y + i - 24. Suppose -3*n - 5*v + 65 = 0, -4*n - 27 = -5*v - y. Is 5 a factor of n?
True
Suppose 7516*m - 7525*m = -44747 - 11683. Does 55 divide m?
True
Let a(t) = 7*t**2 - 8*t + 3. Let j be a(7). Let r = -245 + j. Is r a multiple of 14?
False
Suppose 30 = -10*n - 0*n. Let j be (n + (-60)/(-28))/(1/161). Let p = j + 245. Does 17 divide p?
False
Let a be (-10)/(-3)*324/30. Let x be (1/(-2))/((-2)/a - 0). Suppose x*k + 110 = 1505. Is 13 a factor of k?
False
Suppose -k + 2*k = 4*o - 573, o + 3*k - 127 = 0. Let l = o - 67. Suppose 3*h - 114 = l. Is h a multiple of 21?
True
Let q be 2 + ((-27)/(-18))/((-3)/(-4)). Is (-117)/(-1) - (q + -1 + -5) a multiple of 12?
False
Does 13 divide (-6)/21 - ((-4724104)/98)/11?
False
Suppose -5*c + 9 = -4*f - 10, -3*c - 3*f = -6. Suppose -103 - 32 = -c*p. Let d = p + 20. Is 13 a factor of d?
True
Let y = -1 + -39. Let i be (y/2)/(4 - 3). Let g = i - -42. Does 22 divide g?
True
Let m = -58 - -72. Suppose 0 = 3*f - 4*f + 3*v - m, 0 = -2*v + 8. Is (-2 - -1)/(f*(-4)/(-1112)) a multiple of 20?
False
Suppose 0 = 15*c - 10*c - 25. Suppose c*s + a - 7 = 0, -s + a - 1 = -3*s. Does 15 divide (1*(-29 - 1))/((-2)/s)?
True
Suppose 3*f + 0*f = -240. Let z = f + 86. Suppose 0 = -z*q + 30 + 60. Is q a multiple of 9?
False
Does 68 divide -64*13/39*(-459)/12?
True
Is (120824/66)/((-4)/(-3)) a multiple of 2?
False
Let b(w) = 11*w**2 - 76*w - 979. Is 44 a factor of b(-33)?
True
Is 4 a factor of (16 - 72)*(1*-12 + -2)?
True
Let r(p) = -25*p + 661. Does 3 divide r(0)?
False
Let q = 4579 - -2186. Is q a multiple of 33?
True
Let y = -9389 - -14029. Is y a multiple of 32?
True
Suppose 9 = 3*d + 9. Suppose 5*r - 1685 = 10*i - 5*i, 4*r - 5*i - 1345 = d. Is r a multiple of 55?
False
Suppose 5*m = -4*p + 50458, -4*p = -m + 5*m - 40372. Is m a multiple of 123?
True
Suppose 6*q - 29 = -11. Suppose -32 - 253 = -q*p. Let f = p + -35. Is 30 a factor of f?
True
Suppose -570 = -3*q + 5*u, -5*q - 3*u = -492 - 492. Suppose 0 = -9*i + 12*i + 9, 5*y - 5*i - q = 0. Does 4 divide y?
True
Let b(r) = -3*r + 22. Let d be b(-10). Suppose -d*v - 1216 = -48*v. Does 19 divide ((-3)/2)/(((-6)/v)/(-1))?
True
Suppose 8 = -169*u + 171*u, 4338 = 3*m + 3*u. Does 14 divide m?
True
Let x = 379 - 380. Is 54 a factor of 16/(-9*x/486)?
True
Let l be (-4 - 2)/(-2) - 3. Let k be (l + 4)/(2/10). Let z(v) = 8*v - 28. Does 33 divide z(k)?
True
Does 5 divide (1 - -1888) + (95/25 - 78/(-65))?
False
Suppose 45*w - 12*w - 34730 = 10*w. Does 23 divide w?
False
Let k = -7701 + 14569. Is k a multiple of 5?
False
Let w = 136 + 84. Suppose 0 = 15*r - 5*r - w. Does 7 divide r?
False
Let m be (4*9/6)/(4/(-78)). Let h be (m/(-6))/(12/(-32)). Let t = -32 - h. Is 13 a factor of t?
False
Let z(k) = -k**2 - 18*k - 72. Let c be z(-5). Is 3 + (c + 68)/((-2)/(-10)) a multiple of 44?
True
Suppose 5*o + 135 + 130 = 0. Let t = 55 + o. Suppose 457 = t*r + 2*r - 3*c, -4*c - 12 = 0. Is r a multiple of 7?
True
Suppose -57*g - 3371 = 59*g - 335131. Is g a multiple of 20?
True
Let d(n) = -n**3 - 4*n**2 - 7*n - 8. Suppose 0 = p - 3*y + 15, -3*p + 0*y + 5*y = 29. Let g be d(p). Let x = g + 52. Does 28 divide x?
True
Suppose 3*u - 6389 = x, 64*x - 67*x = 15. Suppose 0 = -2*g + u - 148. Does 6 divide g?
True
Let c(u) = u**3 + 9*u**2 - 23*u - 329. Let q be c(-12). Let o = 1068 + q. Is 53 a factor of o?
True
Let y = -2803 - -3114. Is 11 a factor of y?
False
Suppose 2*y - 3*f - 1031 = 0, 3*y + 77 - 1636 = 2*f. Suppose -4*s - 11 - 5 = 0, y = 5*i - 2*s. Is 11 a factor of i?
False
Let l = 739 - -4661. Is 60 a factor of l?
True
Let f(u) = u**3 - u**2 + 77*u + 22. Is f(22) a multiple of 15?
True
Is 11076/26*49/14 a multiple of 7?
True
Let k = -3144 + 3485. Is 20 a factor of k?
False
Suppose 2*p = 3*y + 115873, -57954 = 19*p - 20*p - 2*y. Suppose -32*r + p = -8296. Is 90 a factor of r?
True
Let w = 11037 - 11033. Suppose -3*o - 7 = -5*a + 4, -9 = -3*a + o. Suppose w*n = -a*t - t + 700, -t - n = -139. Is t a multiple of 36?
True
Let b be 15/(890/125 - 7). Is 9 a factor of (-10)/4*(-1650)/b?
False
Let p = -425 + 4777. Is 16 a factor of p?
True
Suppose -7*d + 5*d = 5*g + 117, -315 = 5*d + 5*g. Let o = 151 + d. Is o a multiple of 17?
True
Let c(f) = 58*f**2 - 237*f - 32. Does 89 divide c(19)?
False
Let j(u) = -360*u - 1118. Is j(-13) a multiple of 23?