de h?
False
Let b be -237 + (0 - 2/(-1)). Is 40 a factor of -1*(-25)/5 - b?
True
Let a = -24670 - -25143. Does 43 divide a?
True
Let y(z) = z + 15. Let s be y(7). Let w be s + -18 + (-1)/(-1 - -2). Is 10 a factor of 28/w + 12/18 + 0?
True
Let p(v) = -v**3 - 14*v**2 - 3*v - 13. Suppose 2*x + 3*t = -181, -441 = 5*x - 0*t - 4*t. Let m = -103 - x. Does 11 divide p(m)?
False
Suppose 1 = u - 1. Let m(a) = 25*a**2 - a. Let q(z) = 126*z**2 - 6*z + 1. Let o(t) = 11*m(t) - 2*q(t). Is 20 a factor of o(u)?
False
Let k be (-1060)/(-75) + (-2)/60*4. Suppose k*g - 7518 - 3724 = 0. Does 58 divide g?
False
Let c be 18/27 - ((-11608)/12 + -2). Suppose -2*y = -t - c, -2455 = 6*y - 11*y - 5*t. Does 40 divide y?
False
Is ((-7)/((-35)/2))/(16*(-2)/(-150320)) a multiple of 16?
False
Is 51 a factor of (-22)/275 + (-246802)/(-25)?
False
Let m(y) = -600*y - 137. Let u be m(-9). Suppose -14*z + 4103 = -u. Is z a multiple of 50?
False
Suppose -161*t + 709290 = -134*t. Is 74 a factor of t?
True
Suppose 36*g - 32*g = 12. Suppose -5*d + 5*k = -745, 0 = -5*d + 5*k - g*k + 760. Does 6 divide (-12)/(-24) + d/4?
False
Let a(i) = -i**3 + 6*i**2 - 3*i - 2. Let q be a(5). Suppose q*c = 5*c + 33. Suppose c*j - 10*j = 32. Is 8 a factor of j?
True
Suppose -4*k - 1639 = -399. Let g = -180 - k. Does 10 divide g?
True
Let y = 122 + 182. Suppose -46 = 2*c - y. Is c a multiple of 19?
False
Let b = -555 + 529. Suppose 0 = -4*x + 202 + 46. Let u = x - b. Is u a multiple of 28?
False
Let v be ((-328)/246)/(-1 - (-4)/6). Suppose 0 = -4*w + 5*m + 118, v*w - 3*m - 114 = -0*w. Does 5 divide w?
False
Let h(l) = -l**3 - 8*l**2 - 2*l + 13. Let r be h(-8). Let b = r - -49. Suppose 5*d = -d + b. Is 13 a factor of d?
True
Let r be ((-172)/4)/((-275)/45 - -6). Let h = 68 + -31. Suppose s = -2*j + 108, -4*s - 4*j = -h - r. Does 19 divide s?
False
Let l = -23 - -26. Suppose -2*n + 95 = l*r, 0 = -0*r - 5*r + 25. Let z = 42 - n. Is z a multiple of 2?
True
Let d be 39/(-1 + 6/(1260/213)). Suppose 0*l + i - 1655 = -3*l, -5*l + d = -4*i. Does 10 divide l?
True
Let i be ((5 - -68) + -7)*(-67)/(-2). Suppose 4*r - 2948 = 4*u, -3*r + 7*u + i = 2*u. Is 67 a factor of r?
True
Suppose 34*t - 630898 = -23590. Is 111 a factor of t?
False
Suppose 2*b - 2*u + 13 = 3, 4*b - 2*u = -10. Suppose -10 = -5*o - 2*y + 3*y, b = -2*o + 2*y - 4. Does 8 divide (0 - o/4) + 1391/52?
False
Suppose 437*u - 431*u = 306. Is 1580/(17/u + (-10)/(-6)) a multiple of 83?
False
Let a = 234 + -242. Is 2 a factor of (-1638)/336*(a - 0)?
False
Let l = 31158 - 1190. Is l a multiple of 20?
False
Let c(y) = y. Let d(p) = 9*p - 35. Let q(v) = -6*c(v) + 2*d(v). Let f = 342 - 322. Is q(f) a multiple of 10?
True
Let k(u) = 4*u - 8. Let s be ((-6)/3)/(4/(-6)). Let m be k(s). Suppose m*v - 212 = -0*v. Is v a multiple of 20?
False
Let h(p) = -p**2 - 4*p - 5. Let o be h(-2). Let a = o - -9. Is (a + -3)*268/10 a multiple of 15?
False
Let d = -6751 - -35831. Is 8 a factor of d?
True
Suppose 5*k - 3*t = 4093, 4*t - 2227 = -2*k - 595. Is k a multiple of 4?
False
Suppose 0 = 5*x - 3*z - 41509, 25*x + 5*z + 41495 = 30*x. Is x a multiple of 12?
False
Is 19 a factor of -23 - (-45)/((-675)/(-185430))?
False
Suppose -2*l = 2*k - 16 - 12, -5*k - l + 82 = 0. Let t(n) = -n**2 - 63*n + 877. Let r be t(12). Let i = k - r. Does 11 divide i?
False
Let s = 5106 + -1254. Is 34 a factor of s?
False
Let f(l) = 18*l**2 - 6*l - 5*l**2 - 12*l**2 + 4. Let w be f(4). Does 18 divide (w/(-8))/(4/432)?
True
Suppose -19440 = -3*y - 9*y. Suppose -10*z + 4*z = -y. Suppose -15*s + 12*s = -z. Is s a multiple of 18?
True
Let u(k) = -4*k**3 - 6*k**2 - 2*k - 2. Let r = 2 - 6. Let a be u(r). Suppose 7*o = 128 + a. Is o a multiple of 9?
False
Let z be (-2 - 6740/(-1)) + -8 + 4. Does 11 divide 2/4*-1 - z/(-4)?
True
Let j be 122*-3*1/(-6). Let r = 47 + -10. Let l = j - r. Is l a multiple of 10?
False
Suppose 6*v - 223 = v - 2*g, 4*v = -3*g + 184. Let z = v + 465. Suppose 2*y - 5*p - 311 + 45 = 0, -4*y + 4*p = -z. Is 13 a factor of y?
False
Let n be ((2 - 4) + -5)*(6 - 3). Let s = -19 - n. Suppose -4*c = s*l - 58, -3*c + 71 = 2*c + l. Does 5 divide c?
False
Let t(k) = 74*k**2 - 5*k + 207. Is t(-8) a multiple of 34?
False
Suppose -26*a + 31*a + 10 = 0. Let s be 0/(5 + 4/a). Is 2 a factor of 2*3 - s/2?
True
Suppose -904130 = 41*p - 117*p - 39*p. Is p a multiple of 94?
False
Does 7 divide 105/4*4/(-8)*(1 - 25)?
True
Let b = -153 + 369. Suppose -2*j + 298 = 84. Let y = b - j. Is 24 a factor of y?
False
Suppose 20*q - 45 = 5*q. Suppose q*n - 964 = 4*j, 315 = n - 0*j + 5*j. Is n a multiple of 53?
False
Let l = -46 - -269. Suppose -4*b - l + 939 = 0. Suppose -5*d + 88 = 2*x, b = 5*x - 5*d - 6. Is 13 a factor of x?
True
Suppose -5*r + 8*r + q - 599 = 0, -2*q = 4*r - 802. Suppose -96*w = -93*w - r. Is w a multiple of 22?
True
Let y = -114 + 476. Let p = -158 + y. Is p a multiple of 34?
True
Suppose 27*q + 29086 = 39706 + 186534. Does 11 divide q?
False
Let z(v) = -5*v. Let g be z(-11). Suppose g*f = 32*f + 4554. Is f a multiple of 6?
True
Is 2647 - ((-1596)/189 - (-8)/18) a multiple of 43?
False
Let j(f) = 5*f**2 - 15*f + f**2 + f**3 - 2*f - 13*f**2 - 4. Is 24 a factor of j(11)?
False
Let p(n) = 47*n + 6. Let a be p(1). Let b = a - -14. Does 18 divide b?
False
Suppose -67*b - 7626 = -69*b + 2*u, 0 = b + 2*u - 3795. Is b a multiple of 27?
True
Let x be 138/115*70/6. Suppose 10*n + x = -4*n. Is n + 103 - ((-28)/1)/(-7) a multiple of 17?
False
Let x(q) = 1. Let b(m) = -m**3 - m**2 - 2*m + 6. Let v(r) = -b(r) - 6*x(r). Is 34 a factor of v(9)?
True
Suppose -8*f + 768 = -6*f + 5*a, 5*f + 3*a - 1882 = 0. Suppose 5*c - 3*c = 10, -4*c = 2*h + 428. Let x = h + f. Is 28 a factor of x?
False
Is 94 a factor of (1*4/8)/(1/8846)?
False
Suppose -2*s + 2*d + 29 = 3*s, -3*d + 44 = 5*s. Does 32 divide s/((-42)/(-1692)) + 6?
True
Does 18 divide (68 + -14)*32/3?
True
Suppose d + 191*b - 8438 = 194*b, -5*b - 10 = 0. Is 34 a factor of d?
True
Let b = -12298 - -14108. Does 8 divide b?
False
Let k(b) = 207*b**2 + 4*b + 2. Let u(f) = -6*f - 37. Let v be u(-6). Does 44 divide k(v)?
False
Let t be -1 + 1*(2 - 1). Let n(j) = -9*j**2 - 13*j + 70. Let k(b) = -5*b**2 - 7*b + 35. Let g(w) = -11*k(w) + 6*n(w). Does 7 divide g(t)?
True
Suppose -4*n - 3*x = -57, -100 = -5*n - 0*x + 2*x. Does 53 divide 1590/4*((-96)/n - -6)?
True
Let u = 79 - 55. Let v(r) = -r + 20. Let g be v(u). Does 10 divide 2*150/g*-1?
False
Is 18 a factor of 7 - (-11)/22*2288/1?
False
Let b(p) = p**3 - 4*p**2 - 13*p + 4. Let w be b(6). Let k be (-1)/(w/(-76) - 0)*-2. Suppose 11*s = k + 111. Is s a multiple of 17?
True
Suppose -4*n = b - 12, b = 4*n - 2 - 2. Let p(d) = -8*d**2 - 17*d - 9. Let j(o) = 5*o**2 + 9*o + 4. Let u(q) = -5*j(q) - 3*p(q). Is u(b) a multiple of 5?
True
Does 103 divide (1/(-7) - (-1899)/(-7385)) + 216302/5?
True
Suppose -3*t = u - 10, -2*t + 6*t - 22 = 3*u. Suppose 3*z = -t*l - 3 + 26, z + 2*l = 9. Suppose z*s + 228 - 893 = 0. Is s a multiple of 42?
False
Let u(k) = -k**3 - 5*k**2 + 69*k - 7. Let f be u(6). Suppose -f*j - 506 = -22*j. Does 3 divide j?
False
Let y = -151 + 276. Is 11 a factor of y + (-4 + 4 - 3)?
False
Let k = 40 + -28. Suppose -2*j = -k - 6. Suppose 16*r - j*r = 1414. Does 40 divide r?
False
Suppose -v + 69 = 3*i - 230, -4*v = -i - 1183. Suppose 324*g - v = 323*g. Suppose 2*d = -y + 142, 3*y - d = 5*y - g. Is 50 a factor of y?
True
Let w(d) = 2*d**2 + 7*d + 8. Let s be w(-5). Suppose r = -5*t + 25, -2*t + s = 3*r - 0*t. Suppose 2*o - r*o = -72. Is o a multiple of 6?
True
Let q = 4393 - -4796. Is 4 a factor of q?
False
Let r = -9101 - -15563. Does 146 divide r?
False
Does 23 divide (-2 - -19)*(181 + -66)?
True
Let z = -39 + 17. Let n(u) = -u**3 - 23*u**2 - 23*u - 25. Let w be n(z). Does 19 divide (-2)/(-11) + ((-8046)/(-33) - w)?
True
Let l(d) = 544*d - 2312. Is 292 a factor of l(22)?
False
Suppose 0 = -77*k + 86*k - 27. Suppose -k*v - 3 = 0, -4*l + 2*v = v - 817. Is 17 a factor of l?
True
Let x be 21/((-567)/1398) - 2/9. Let i = x + 90. Does 19 divide i?
True
Let g(o) = o**2 - o - 8. Let k be g(-3). Let a be 8/(-3) + (-5)/15 + 5. Is -1*(-429)/k - a/8 a multiple of 15?
False
Let k be 13 + -5 + -5 + -3. Suppose k = -5*b - 3*z + 2270, -7*b + 5*b + z + 897 = 0. Is 41 a factor of b?
True
Let o(n) = 922*n**2 + 2*n - 1. Let g be o(1). 