2 + k))/1. Let t(s) = -5*s + 15. Is 20 a factor of t(o)?
True
Let a = -388 + 207. Let f = a - -252. Is 3 a factor of f?
False
Let j(k) = 8*k**2 + 16*k - 780. Does 55 divide j(50)?
True
Does 7 divide (66/187)/3 - (-17132)/34?
True
Let c be (3 - (-1529)/(-3))/(5/(-15)). Suppose c = q + 9*q. Suppose -18*f = -26*f + q. Is 19 a factor of f?
True
Suppose 253*o - 254*o + 22902 = t, -t + 22926 = -5*o. Is 36 a factor of t?
False
Let t be 3*20/5*(-2)/4. Let l(i) = 2*i**2 - 2*i + 24. Does 7 divide l(t)?
False
Suppose 4*u - r + 44 = 9*u, 31 = 3*u - 4*r. Is 23 a factor of (-12)/18 + 3795/u?
False
Let m = -193 - -5366. Suppose -12*j = 2173 - m. Is 7 a factor of j?
False
Suppose -4 = -4*i - 0*j + 3*j, 0 = -4*i + 4*j. Let y(q) = q**2. Let u(b) = 5*b**2 - 13*b + 3. Let a(z) = i*y(z) - u(z). Is a(6) a multiple of 13?
True
Suppose 19*f = -5197 - 1795. Let q = f - -818. Is 90 a factor of q?
True
Suppose -4*x = -5*a - 83, -2*x + 4*a - 26 = -3*x. Suppose -18*i + x*i + 2*q - 1990 = 0, 0 = -3*i + 5*q + 1499. Is 6 a factor of i?
True
Let x(a) = -4*a + 77. Let b be x(18). Suppose -2*o - 4*g = -136, 3*g + 2*g + b = 0. Is o a multiple of 6?
False
Suppose 54 = 5*i + 2*k, 3*i + 19*k - 39 = 20*k. Suppose -2*w = -3*g + 1372, -i*g + 9*g = w - 1357. Does 37 divide g?
False
Let d = -2977 + 2638. Let v(j) = -190*j - 1. Let h be v(3). Let n = d - h. Is 29 a factor of n?
True
Let v(z) = z**2 + 5*z + 8. Let a be v(-5). Suppose -5*j - 765 = -a*j. Is 40 a factor of j?
False
Let v = 172 - 171. Is 2 a factor of ((-14)/(-28))/(v/72)?
True
Let b = 60729 + -28681. Does 16 divide b?
True
Let n = -253 + 560. Let a = 421 - n. Is 3 a factor of a?
True
Let o be ((-302)/4)/(3/(-6)). Let y = -1606 - -1972. Suppose n - 4*p - o = 0, -2*n = -2*p + 34 - y. Is 19 a factor of n?
True
Let z = 2878 - 1742. Is 10 a factor of z?
False
Suppose -4*v = 3*f - 69317, 25*f + 5*v + 69353 = 28*f. Does 21 divide f?
False
Suppose 2*z - 4074 - 12847 + 673 = 0. Does 28 divide z?
False
Is 14 a factor of (-3)/(-7) + 5 + 196374/42?
False
Let r(s) = -2*s**2 - 9*s - 9. Let m be r(-3). Suppose m = 4*i + 27*i - 3410. Does 10 divide i?
True
Let i = 13462 - 4741. Is i a multiple of 57?
True
Let a = -234 - -443. Suppose 5*l - a = 4*l. Is 19 a factor of l?
True
Let i(q) = -4 - 3*q - 53*q**2 + 56*q**2 + 8. Suppose -20 = 4*u - 9*u + 3*y, -2*y = 3*u - 12. Is i(u) a multiple of 5?
True
Suppose -3*o - 401 = -3*p + 4*p, 0 = 2*o - 2*p + 270. Let f = 389 + o. Does 51 divide f?
True
Let i be 1730/(-20)*(-52)/2. Suppose 10*h - i = 3251. Does 22 divide h?
True
Suppose -149706 = -74*s - 27828. Does 9 divide s?
True
Suppose -8 = -4*y + 4*t, 0 = 10*t - 6*t + 4. Is -7*(-6)/70*30*y a multiple of 9?
True
Let u(h) = 9*h**2 + 84*h + 779. Does 16 divide u(-59)?
True
Let v(g) = -g**3 - 2*g**2 + 9*g + 10. Suppose s - 12 = 4*s. Let f be v(s). Is 5 a factor of ((-8)/f)/(2/(-36))?
False
Let j(q) = -2*q**3 - 28*q**2 + 28*q + 486. Is j(-21) a multiple of 138?
True
Suppose 0 = -6*u - 77 + 227. Does 4 divide (u - 24/8) + 6?
True
Let z = 5667 + -5207. Is 27 a factor of z?
False
Let b(v) = -3*v + 21. Let x be b(5). Let z(c) = 23*c - 10. Let m be z(x). Let t = m + -81. Is 7 a factor of t?
False
Let g(n) = 166*n**2 + 6*n - 10. Let i be g(3). Suppose 0 = 2*k - k - 4, 2*k + i = 5*x. Suppose -141 = -4*j + v + 104, -5*j - 3*v + x = 0. Is 15 a factor of j?
False
Let s = -129 + 129. Suppose s = m + 4*m - 535. Does 9 divide m?
False
Let h = -38 - -38. Suppose h = -5*n + 895 + 970. Let i = n - 199. Does 21 divide i?
False
Let g = -58 + 470. Let v be (4 - g/8)*56/10. Let m = -166 - v. Is m a multiple of 11?
False
Let t(g) = -5*g + 17. Let k(r) = 6*r - 17. Let o(h) = -4*k(h) - 5*t(h). Let z be o(5). Let d(j) = -4*j + 16. Does 41 divide d(z)?
False
Let a = 35349 + -14434. Is 47 a factor of a?
True
Suppose 5*s - 10 = 0, 3*a + 38 = -0*a + s. Let o(t) = -23*t - 33. Does 27 divide o(a)?
True
Let r be (2 - -3) + (-6292)/(-26). Let o = r - -505. Is 16 a factor of o?
True
Is -7 + (-930)/(-130) - ((-16112)/52 + 4) even?
True
Let w = -5139 + 10408. Is w a multiple of 11?
True
Let x(r) = 10*r + 1 + r - 7*r + 7*r. Does 3 divide x(1)?
True
Let c = 5442 - 1581. Is c a multiple of 117?
True
Let f be 2/(-6) + (-1288)/42. Let b = f + 43. Is b a multiple of 6?
True
Suppose 3*v - 1026 - 1051 = 4*h, -2*v - h = -1381. Is v a multiple of 11?
False
Let q = 12479 - 7392. Does 145 divide q?
False
Let a = -28091 + 41173. Is a a multiple of 5?
False
Suppose -11*d = 15*d - 8970. Let f = d - 249. Is 14 a factor of f?
False
Let b = -160 - -163. Is 19 a factor of ((-66)/22)/(b/(-19))?
True
Let v(f) = -73*f + 87 - 25*f + 132*f. Is 47 a factor of v(20)?
False
Let l(b) = -303*b + 1027. Is l(-26) a multiple of 74?
False
Suppose 64418 = 148*z + 21646. Does 17 divide z?
True
Suppose 725 = y - u, -11*y + 1435 = -9*y + u. Is 4 a factor of y?
True
Is 12 a factor of (-7 + -1)*8*(4 + (-2197)/4)?
True
Suppose -5*h + k = 0, 9*k - 15 = 12*k. Does 21 divide h*32*(-38 + -1)/3?
False
Does 63 divide (-99)/66 + (-20799)/(-6)?
True
Let s(l) = l**3 - 35*l**2 + 50*l - 7. Suppose 136 = -5*i + 9*i + 5*z, 68 = 2*i + z. Is 12 a factor of s(i)?
False
Let h = -601 - -447. Let n = -130 - h. Is n a multiple of 13?
False
Let h = -80 - -83. Suppose 0 = -5*k + h*r + 11409, -r - 2609 = -4*k + 6514. Suppose -2*b - 6*b = -k. Is 20 a factor of b?
False
Let a = 727 - -6731. Does 10 divide a?
False
Let h(w) = -4080*w - 728. Is 14 a factor of h(-2)?
False
Suppose -230*y + 133*y - 48691 = -120*y. Does 4 divide y?
False
Let n be (-40)/60 - 14/(-3). Suppose 5*k - 3*k - n = 0, 5*k = 3*h - 881. Is h a multiple of 33?
True
Let o = -340 + 321. Let l = o + 304. Does 15 divide l?
True
Let f be ((-6 - -1) + (-396)/(-45))*25. Suppose f = 4*o - 109. Does 2 divide o?
False
Suppose 0 = 5*a + 186 - 161. Is (a - (-249)/(-9))/(2/(-9)) a multiple of 48?
False
Let l = 31 + -31. Suppose -2*q + 554 - 168 = l. Let v = -122 + q. Is 48 a factor of v?
False
Let t(u) = 9*u - 1. Let k be t(3). Let l = 25 - k. Does 16 divide (16/(-24))/(l/78)?
False
Let i = -42 - -44. Let w be (-893)/(-171) + i/(-9). Suppose 3*u = 4*a + 131, 0*u + w*u - 2*a = 237. Is u a multiple of 49?
True
Suppose 4*z = -110 + 2094. Let m = 730 - z. Is m a multiple of 26?
True
Suppose -11947 = -4*o + f + 1743, -4*f = 2*o - 6818. Is o a multiple of 63?
False
Let m(k) = 29*k**2 + k - 10. Let j(g) = 28*g**2 + 2*g - 8. Let w(r) = -2*j(r) + 3*m(r). Does 54 divide w(-4)?
True
Let m(y) = -98*y + 3243. Does 6 divide m(-4)?
False
Let r(o) = o**3 - 8*o**2 - 14*o + 16. Suppose 100*d = 101*d - 10. Let f be r(d). Let s = f - 70. Is 5 a factor of s?
False
Let w(c) = c**2 - 44*c + 518. Is w(68) a multiple of 6?
False
Suppose -j = -5*j + 20. Suppose -w - j*w + 4320 = 0. Suppose 28*m + w = 32*m. Is m a multiple of 10?
True
Suppose 5*s + 16410 = 5*k, 82*s + 3276 = k + 87*s. Does 7 divide k?
False
Suppose 2*u = 2*v - 0*v - 564, 852 = 3*v - u. Let r be (40/(-6))/((-1700)/v - -6). Let o = -121 - r. Is 6 a factor of o?
False
Suppose -501*s + 1626 = -500*s. Is 80 a factor of s?
False
Suppose -3*d + 5771 = -12*x + 14*x, -4*x + 11598 = -2*d. Is 3 a factor of x?
False
Let y = 13560 - 9700. Is y a multiple of 20?
True
Let g = -22 + 23. Let o be 204 + 0 + g - (-1 - -3). Suppose 0 = 3*u + 4*y - 598, 4*u = 5*u + 5*y - o. Is 33 a factor of u?
True
Let r = -35 - -37. Suppose -3*u = r*u - 25. Suppose 41 = 4*j + u*l + 5, 3*j - 5*l - 27 = 0. Is j a multiple of 2?
False
Let w be (-3)/(-3) + 1 - 1 - -258. Let h = 294 - w. Is h a multiple of 3?
False
Let a = -2183 + 3307. Is a a multiple of 10?
False
Let d(p) = -6*p. Let o be d(-10). Suppose 5*y - n = 18, 5*y - 10 = -5*n + 20. Suppose 0 = y*i - 2*i - o. Is 10 a factor of i?
True
Suppose -u + 3430 = 2*f, 4*u - 3*f + 6379 = 20044. Does 19 divide u?
True
Suppose 141*h - 251*h + 134*h - 132120 = 0. Is h a multiple of 3?
True
Suppose 5*w - 54281 = -5*a - 13376, 4*a - w - 32724 = 0. Is 50 a factor of a?
False
Suppose -4*g = 3*c + 6 - 23, -2*g - c = -7. Suppose -g*z + 240 = 2*w, -9 = 6*w - 3*w. Let x = -78 + z. Does 15 divide x?
True
Suppose -364 + 102 = -4*c + 2*b, -2*b = -5*c + 326. Let j(u) = -c*u**2 - 26*u + 1 + 10*u + 63*u**2. Is 23 a factor of j(-12)?
False
Is ((-2)/(-16)*-334)/((-36)/3168) a multiple of 89?
False
Let l be 1/(-1*(-6)/48). Let o be 10/(-2 - -1) - -2. Let i = l - o. 