multiple of 34?
True
Suppose 29*z - 73027 = -30*z + 84326. Is z a multiple of 21?
True
Suppose 49*v = 17*v + 19*v + 25116. Is v a multiple of 4?
True
Suppose 17*v - 18*v = -1. Let a be (v/2*-9)/(2/4). Is 1 + (-3)/(-9) + (-69)/a a multiple of 3?
True
Suppose -267*o = -263*o - 12451 - 665. Does 54 divide o?
False
Let a(x) = 125 + 122 + 3*x + 3*x - 2*x**2. Does 49 divide a(0)?
False
Let n(f) = 24*f**2 - 56*f + 704. Is n(11) a multiple of 68?
True
Let t(g) = 2*g**3 - 3*g**2 - 32*g + 5. Is 29 a factor of t(16)?
False
Let n(k) = -11*k**3 - 61*k**2 - 507*k - 7. Is n(-11) a multiple of 130?
False
Let a = -726 - -443. Let t = 561 + a. Does 23 divide t?
False
Suppose 3*o - 7387 = -1165. Is 27 a factor of 1/((-4)/6 - o/(-3102))?
False
Let m = -134 + 47. Does 24 divide m*112/(-21) - -3?
False
Let c = 60 - 61. Let p be 1/c*(-255 - 3). Let k = -148 + p. Is 10 a factor of k?
True
Let o = 524 + -670. Let f = o + 325. Is f a multiple of 16?
False
Let x be (-30)/(-12)*12/5. Suppose -20*f - x = -646. Does 10 divide f?
False
Let n(t) = -t**3 - t**2 - t - 6. Let o be n(5). Let y be 214/(-5)*75/10. Let s = o - y. Is s a multiple of 10?
True
Let c be 28/126 + 547/9 + 1. Let y = c + -67. Is 9 + -4 - 11*y a multiple of 17?
False
Suppose -2*i + 2*a + 60 = -a, i + 5*a - 30 = 0. Suppose -6803 - 3907 = -i*l. Does 6 divide l?
False
Let t(h) = 90*h**2 - 126 - 130 + 259 + 15*h**2 - 4*h. Does 52 divide t(1)?
True
Suppose -29*z + 342118 = -13*z + 33*z. Is z a multiple of 32?
False
Suppose 207*x = -69558 + 180717. Does 85 divide x?
False
Suppose -7*w = -6 - 15. Suppose 5*d = 2*h - 1793, w*d - 5*h = d - 734. Is (30/(-7))/(17/d) a multiple of 6?
True
Let l = 2223 + -1096. Is 46 a factor of l?
False
Let r(u) = u**3 - 30*u**2 + 31*u - 56. Let h be r(29). Suppose 500 = h*m - 1068. Suppose -f - m = -8*f. Is f a multiple of 14?
True
Let o(k) = -8*k + 7 - 25 + 51*k**2 - 4*k - 52*k**2. Let l be o(-2). Suppose -4*n + 0*x + 368 = 4*x, 277 = 3*n + l*x. Does 8 divide n?
False
Let b = -510 - -1031. Suppose b = 5*i - 4*i. Is i a multiple of 20?
False
Let o be (4 + 7)/((-2)/16 - 0). Let v = o - -163. Is v a multiple of 10?
False
Let n be ((-3)/(-4))/(58/3248). Let j = 693 - n. Is j a multiple of 26?
False
Suppose -r = -2*s - 4379, 4*r - s - 10418 - 7133 = 0. Is 57 a factor of r?
True
Let n be (12/(-18))/(4/(-42)). Let h = n - -2. Let c(u) = 2*u + 5. Is 3 a factor of c(h)?
False
Suppose -11*d = -7*d - 11428. Let h = d + -1858. Suppose -h + 390 = -3*o. Is o a multiple of 38?
False
Suppose c = -2*c + 9. Suppose 0 = c*o - 6*o + 168. Let u = o - 36. Is u a multiple of 10?
True
Let w(o) = o**2 - 9*o - 15. Let d(k) = -k + 2. Let q be d(3). Let l be q - -4 - (22/(-2))/(-1). Is w(l) a multiple of 27?
False
Suppose 0 = -4*y - 4*z, -z + 0 = 2*y - 5. Suppose y*u - 368 = -3*u. Is u a multiple of 2?
True
Does 13 divide (-78)/2*3564/(-243)?
True
Let k be ((-12 - -5)/(-7))/((-2)/(-28)). Does 5 divide (-3 + 1)*(-1 - k)?
True
Let u(z) = -717*z + 287. Is 15 a factor of u(-2)?
False
Let n(a) = 29*a - 209. Let q be n(7). Does 4 divide 362 + (-3 - -3 - q)?
True
Let j be 3 + -2 + 14703/13. Suppose -4*c + j = 4*l, -1156 = -5*c + c + 4*l. Is c a multiple of 26?
True
Suppose -1432 = -2*p + 1538. Is 27 a factor of p?
True
Suppose 0 = 509*y - 542*y + 144507. Is 140 a factor of y?
False
Suppose 41882 - 13854 = 41*i - 33964. Is i a multiple of 24?
True
Let g be (2/(-6))/((-2)/30). Suppose -2*x = -0*i + g*i - 1615, -5*i = -4*x - 1615. Does 19 divide i?
True
Suppose 2*n + 277 = 283. Let g(d) = -n + 5 + 0 - 1 + 24*d. Is 24 a factor of g(1)?
False
Let s be (-4469)/8 + 3/(-8). Let f = 805 + s. Is f a multiple of 8?
False
Let f(u) = -521*u + 7. Let n be f(-1). Does 19 divide (0 + 33)*n/72?
False
Let k be 3 - 6 - (1 - 47). Suppose 0 = -2*d - 33 + k. Suppose 3*x = -d*b + 145 + 190, -5*b = 2*x - 340. Is 12 a factor of b?
False
Let c = 1786 - -4334. Does 60 divide c?
True
Let b = 4657 + -3071. Is b a multiple of 2?
True
Suppose -3*z + 5*b = -13667, 8*b + 5695 + 12529 = 4*z. Is 11 a factor of z?
True
Let s = -38567 - -58947. Does 20 divide s?
True
Let d(z) = -4 + 0 + 160*z - 6*z**2 + 3*z**3 - 151*z. Is 16 a factor of d(4)?
True
Is 7/(63/15543) + 9 a multiple of 7?
True
Let m(p) = -2*p**3 + 5*p**2 + 5*p - 3. Let y be m(3). Suppose y*j = 225 - 87. Is 11 a factor of j?
False
Suppose 3*k = -2*j + 4680 + 891, 0 = 2*j + 5*k - 5577. Is 27 a factor of j?
True
Let s = 3719 - 3630. Does 30 divide s?
False
Suppose 190*p - 518383 - 148137 = 0. Is 18 a factor of p?
False
Let x(f) = -13*f + 1. Let w be x(-2). Suppose -w - 16 = z. Let r = z + 73. Is r a multiple of 30?
True
Is 288/64*(-13)/(39/(-5832)) a multiple of 36?
True
Let n = 39383 - 26509. Does 41 divide n?
True
Suppose -w - 394 - 1670 = 0. Is 3/(-5) + w/(-15) a multiple of 10?
False
Let g be ((-10)/(-4))/((-16)/(-32)). Suppose -4*w = g - 25. Does 32 divide (192/(-9))/(w/(-15))?
True
Suppose 25 = 4*p + 5*g, 4*p + 11 = 4*g - 9. Suppose p = -10*z + 4747 + 1963. Suppose 12*t - t = z. Is t a multiple of 3?
False
Suppose -3*u - 14 - 5 = -4*y, -3*u - 11 = -2*y. Does 5 divide u*4*(-23 + -2)?
True
Let l(u) = u**3 - 18*u**2 - 17*u - 37. Let i be l(19). Suppose -z - i = 0, z = 2*s - 0*z - 671. Does 36 divide s?
False
Let a be (2 + (-156)/(-9))/(3/135). Suppose -a = -5*v - 2*i, -4*i + 648 + 36 = 4*v. Is 7 a factor of v?
False
Let f be (0 + -267)*(7/1)/(-21). Suppose -6*l - f = -251. Is 8 a factor of l?
False
Suppose 3*h = 6*h - 6, 0 = -2*p - 2*h + 8. Let z be 3 - (4/(-2) - -2). Suppose p*o - 49 = z. Is 5 a factor of o?
False
Let b(d) = d**2 - d. Let y(p) = -5*p**2 - 5*p - 3. Let v(u) = -u**3 - 20*u**2 + 19*u - 43. Let m be v(-21). Let l(q) = m*y(q) - 2*b(q). Does 12 divide l(-9)?
False
Let l = -164 - -97. Suppose -4*k + 436 = -0*p + p, 0 = -3*k + 2*p + 327. Let v = l + k. Is v a multiple of 13?
False
Let x = 1771 + -1726. Does 22 divide x?
False
Let m(x) = 21*x**2 - 88*x + 178. Does 12 divide m(-40)?
False
Suppose 2*k + 231040 = 26*k + 8*k. Is k a multiple of 21?
False
Let r(a) = 4*a + 1790. Is 9 a factor of r(99)?
False
Let u = 21 + -21. Let y(c) be the first derivative of 2*c**3/3 + c**2/2 + 38*c - 27. Is 8 a factor of y(u)?
False
Let j be (-10)/(-15) + (-3 - (-28)/12). Suppose j = -45*u + 51*u - 648. Is 3 a factor of u?
True
Let y(h) = h**3 - 11*h**2 - 9*h + 9. Let z(u) = 2*u**3 - 11*u**2 - 10*u + 9. Let x(k) = 4*y(k) - 3*z(k). Does 29 divide x(-8)?
True
Let w = 1190 - -385. Suppose -o = -6*o + w. Suppose o = -4*g + 9*g. Is g a multiple of 11?
False
Let s be (0 - 12/15)/(14/(-140)). Suppose s*i + 2280 = 11*i. Does 40 divide i?
True
Let n be (3 + -6)/((3 - 4)*1). Suppose -t + 2*c = -2*t + 45, -n*c + 92 = 2*t. Does 24 divide t?
False
Suppose 12*t + 3*t = -120. Let w(c) = c**2 - 4*c - 1. Is 19 a factor of w(t)?
True
Let h be (7494/(-9))/(-2) - 7/21. Suppose 4*k = -3*v + 3*k + 624, 2*v - h = -2*k. Suppose -3*m + v = m. Is m a multiple of 13?
True
Suppose 4*j = -3*k + 7*j + 27, -j + 11 = 3*k. Suppose 5*x = -5*i + 3465, -3*x + 693 = -2*x - k*i. Does 12 divide x?
False
Let l(s) = -3*s**2 + 6*s + 7. Let x be l(-1). Is ((-25)/(-1 + x + 2))/1 a multiple of 16?
False
Let o(p) = -p**3 - 14*p**2 + 3*p + 500. Does 13 divide o(-18)?
True
Suppose -u = -3*a + 88491, -4*u = a - 19651 - 9859. Is 17 a factor of a?
False
Let q = 160 + -41. Suppose -j + 2*n - 7 = -1, -4*j - 5*n + 41 = 0. Suppose -4*a = 3*s - 90, q - 33 = j*a + s. Does 15 divide a?
False
Suppose 39*v + 63756 = 90*v - 44*v. Is v a multiple of 22?
True
Let d(f) = 2*f**2 + 20*f + 4. Let o be -5*((-93)/(-9) - 14/(-21)). Let p = o + 41. Does 24 divide d(p)?
False
Suppose -5*y = 6 - 1. Suppose -5*i - 20 = 3*r + 18, -3*r = 4*i + 37. Let f = y - r. Is 5 a factor of f?
True
Suppose -3*a = -7*a + 20, 4*p - 3*a = 1. Suppose -4*i + 16 = 2*y - p*y, -5*i = -3*y - 22. Suppose -i*k + 43 = 3*j - 11, 3*k + j = 81. Does 11 divide k?
False
Let v be (-32016)/(-160) + (-1)/10. Let u = 80 + v. Does 73 divide u?
False
Suppose 0 = -4*n + 164 + 1696. Let o be (-3)/(-5) + -1 + (-1528)/5. Let b = n + o. Is 19 a factor of b?
False
Suppose a - 3*a + 1024 = 0. Suppose 0*x + 2*x - 2*o = -690, -x - 344 = -2*o. Let l = x + a. Is l a multiple of 25?
False
Suppose -l + 3*o = 3, -2*o - 28 = -0*l - 4*l. Let b(s) = s - 5. Let k be b(l). Suppose 2*w + 5 = -k*c + 3, -5*c = -4*w + 35. Is 3 