o + 4*t + 12 = 0, 5*o - t + 0*t - 11 = 0. Suppose -3*i + 112 + 196 = o*b, 312 = 2*b + 2*i. Is 16 a factor of b?
True
Let f = -2 - -30. Let b = f + 95. Suppose 4*u - 4*j - 333 = -u, 5*j + b = 2*u. Is 22 a factor of u?
False
Suppose -3*v + 0 + 9 = 0. Let r(a) = 3 + 48*a - v - 2 - 19*a. Is r(2) a multiple of 14?
True
Let i = 178 - 126. Let g = 57 - i. Suppose g*t = -5*n + 99 + 106, -3*n + 6 = 0. Does 13 divide t?
True
Suppose 0 = -5*s + 1650 + 51110. Suppose s = 64*t + 2488. Does 3 divide t?
True
Let y = 7855 + -6919. Does 78 divide y?
True
Let n = 3370 - -2156. Is n a multiple of 9?
True
Let t = -238 - -241. Does 10 divide ((-1)/((-3)/(-36)))/(t/(-30))?
True
Let a be 280/2*(-4 + (-160)/(-50)). Does 12 divide (a/49*3)/((-2)/7)?
True
Does 10 divide (17/1)/((120/36)/10)?
False
Let v = -357 - -362. Suppose 4*z + y = 600 + 1275, 25 = -v*y. Is z a multiple of 47?
True
Let f = -126 - -597. Suppose -159 + f = 4*r. Is 7 a factor of r?
False
Is 340 a factor of (-7 - 215835/(-35)) + (-20)/(-70)?
False
Suppose 46*o - 61*o = -75. Suppose -10*v - o*n + 1428 = -8*v, -v = 3*n - 716. Is v a multiple of 23?
False
Let i = -3167 - -10217. Is (-1 - 5)/(i/882 + -8) a multiple of 21?
True
Is 2005*1 - (257 + -256) a multiple of 323?
False
Let l = -1073 - -4872. Does 29 divide l?
True
Let a be (-1 + (-9)/(-5))*(5 - -5). Suppose 2*u = -4 + a. Suppose v = u, -d = -5*v - 61 - 147. Is d a multiple of 33?
False
Suppose 4*z + 1 = -7, 3*q - 5*z - 19717 = 0. Is q a multiple of 16?
False
Let j = -449 - -428. Is (-6)/(-4)*(-3304)/j a multiple of 45?
False
Let g = 62 + -80. Let i be (-18 + 3)*6/g. Suppose 0 = -4*z + i*a + 262 + 206, 234 = 2*z - a. Does 13 divide z?
True
Let c(s) be the third derivative of 14*s**2 - 7/24*s**4 - 1/2*s**3 + 0 + 0*s. Is c(-7) a multiple of 23?
True
Is 81 a factor of 1 + 2 + 2 + 5922 + -11?
False
Let d(z) = 2*z**2 - 19*z + 9. Let g(r) = 21*r**2 - 4*r + 3. Let p be g(1). Does 13 divide d(p)?
True
Let o(k) = k + 97. Suppose -289 = 7*m - 79. Does 8 divide o(m)?
False
Let u(b) = 16*b - 124 + 53*b**2 + 52*b**2 - 96*b**2. Is 26 a factor of u(10)?
True
Let o = 36 - 72. Let q = o - -36. Suppose -m - 3*m = 2*l - 306, q = 3*m + 5*l - 226. Is 11 a factor of m?
True
Let c(g) = 4*g**2 + 4*g + 1. Let m = 125 + -120. Does 5 divide c(m)?
False
Suppose -5*y - 674 = -f, f - 3*y - 66 = 606. Is f a multiple of 12?
False
Let o(u) = -2*u**2 + 20*u - 14. Suppose 20*m + 17 - 137 = 0. Is o(m) a multiple of 32?
False
Let n be (-25)/2 + (-28)/56. Let m(r) = -56*r - 415. Is m(n) a multiple of 78?
False
Suppose 19*n - 17*n = 4*v + 1756, 5*n - 4465 = -5*v. Does 111 divide n?
True
Let i = -72 + 68. Is (i + 7 - 1)/(-2) + 78 a multiple of 21?
False
Let j be (3/(-2))/(3 + 155/(-50)). Let k(n) = 43*n - 52. Does 41 divide k(j)?
False
Suppose -6*v = -23*v + 122995. Does 103 divide v?
False
Let r = -24228 - -28434. Is 59 a factor of r?
False
Suppose 30*j - 31*j + 413 = 0. Is 11 a factor of j?
False
Let f = 18 + -8. Suppose 9*z = 8*z - f. Is 26 a factor of 33*2/(z/(-5))?
False
Let c(n) = -3*n - 1. Let j be c(-4). Suppose -o = j*o - 144. Is 13 a factor of o/15*(69 - -1)?
False
Let l(c) = -2 + 0*c - 12*c - 25*c**3 - 7*c**2 + 24*c**3 + 2*c. Let m be l(-5). Is 0/(-1) - (-6 + m) a multiple of 6?
False
Let l be (-51)/(-9) + 9/27. Suppose 2*m = 4*h - 20, -5*m + 3*h - 25 = -2*h. Suppose m = l*q - 11*q + 280. Is q a multiple of 7?
True
Suppose 0 = 2*k + 6, -a - 3*k = -0*a + 141. Let q = 385 + a. Let r = q - 178. Is 3 a factor of r?
True
Let k(f) = 26*f**3 + 2*f**2 - f + 1. Suppose 20*v = 2*v + 36. Is k(v) a multiple of 43?
True
Suppose -3*a + 12*a + 2817 = 0. Is ((-68)/119)/(4/14) - a a multiple of 12?
False
Let l be 11544/(-36) - (-1)/(-3). Let n = l - -465. Does 8 divide n?
True
Suppose -401 = -5*x - 161. Let j be 3/(-2)*x/(-36). Is 17 a factor of 1664/14 + j/14?
True
Let a(c) = 45 + 33 + 54 - 163 - 13*c. Let t be a(-3). Does 10 divide t/(-3)*4/((-8)/30)?
True
Let s be 7047 - -4 - 5 - 6/(-1). Suppose -s = -9*o - 2516. Is o a multiple of 63?
True
Let v be 4/6*(0 + 21). Let j = v - 14. Suppose j = -3*n + 1 + 47. Is 3 a factor of n?
False
Let m = 8300 - 7688. Is 3 a factor of m?
True
Let b(f) = -241*f + 10208. Does 16 divide b(0)?
True
Suppose -36 = -4*p - 5*p. Let h = p + -9. Is 18 a factor of (-2)/(-4)*h/((-15)/702)?
False
Is 4706*(-66)/352*-56 a multiple of 13?
True
Suppose -28*a = -166013 + 9325. Is 77 a factor of a?
False
Suppose -2*w - 12 = -i, 4*w - i = -w - 24. Does 11 divide (-4)/(-40)*w*4660/(-8)?
False
Let d(w) = 3*w - 11. Suppose 2*g + 2*s = 12, -2*s - 16 = -5*g - 0*s. Let n be d(g). Does 46 divide (-4)/((-16)/956)*n?
False
Is 22 a factor of (-54328)/(-12) + 24/36?
False
Suppose 16*u - 12*u + z - 247 = 0, 4*z + 20 = 0. Is u a multiple of 41?
False
Let f be (-4)/60*-6*(9 - -1). Let d be (-4 - (-18)/f)*222. Let u = d + -59. Does 17 divide u?
False
Does 6 divide (830/3)/(57*(-6)/(-25650))?
False
Suppose 5*k - 3*h + 2 = 0, 3*k = 5*h - 2*h - 6. Let s be (590/(-6))/((-5)/(-13 - k)). Does 4 divide ((-2)/(-4))/(s/150 - -2)?
False
Is 83 a factor of (-526)/2630*(-304196 - -1)?
True
Suppose 5*g + h - 13623 = 24295, -15151 = -2*g + 5*h. Suppose -12*o - 275 + g = 0. Does 21 divide o?
True
Suppose 9 - 9 = 7*f. Suppose -4*h + 2299 = 5*a + 533, a - 2 = f. Is h a multiple of 37?
False
Let w = 122338 + -84205. Does 57 divide w?
True
Let x be 20/6 - 0 - (-65)/(-195). Suppose -x*k - 6 = 0, 0 = b - 0*b - 5*k - 117. Is b a multiple of 5?
False
Let s(v) = v - 2. Let o(m) = 87*m - 1. Let z(b) = o(b) + 2*s(b). Does 6 divide z(1)?
True
Let c(p) = -7770*p**3 + 3*p**2 - 13*p - 12. Is c(-1) a multiple of 13?
True
Let q be -2*(-12)/16*76. Suppose 0 = 12*p - 18*p + q. Is 5 a factor of p?
False
Let a(c) = 2*c + 36. Let m be a(-16). Suppose 0*q - 12 = 2*q + 4*u, m*q = u + 21. Suppose 0 = -q*k - 19 + 31. Is 3 a factor of k?
True
Let s(h) = -2*h**2 - 21*h - 7. Let t(l) = -l**2 - 17*l - 42. Let n be t(-6). Suppose -n = 16*d + 72. Is 3 a factor of s(d)?
False
Let q = 2889 + -2383. Is 35 a factor of q?
False
Suppose -10685 = -3*w - p + 2744, -4*w - 3*p + 17892 = 0. Is w a multiple of 12?
False
Let h = -1267 + 14714. Is 39 a factor of h?
False
Let s be (2*1)/(16014/(-2670) + 6). Suppose 2*d + o - 354 = -o, -s = -5*d - 4*o. Let q = -49 + d. Is 16 a factor of q?
False
Let j = -116 - -147. Let o(r) = -15 + j - 167*r + 39 + 165*r. Is 32 a factor of o(-26)?
False
Suppose -k = -r + 730 + 2704, 5*r + 4*k = 17179. Is r a multiple of 41?
False
Suppose -298*r + 284*r = -179872. Does 176 divide r?
True
Let x(j) = 83*j + 2363. Is x(56) a multiple of 9?
True
Suppose 21 - 1 = 20*t. Suppose -2*v - 18 = 3*k, -2*k + v = -v + 12. Is 8 a factor of ((-2)/(k/195))/t?
False
Suppose -100*q - 1311570 = -218*q. Is q a multiple of 39?
True
Let m = -5894 + 11383. Is 69 a factor of m?
False
Let t be ((-6)/(-2))/(((-30)/(-10))/(-75)). Let o(r) = -r**3 - 3*r**2 + 3*r + 9. Let z be o(-6). Let y = t + z. Is y a multiple of 6?
True
Is 34268/6*219/146 a multiple of 5?
False
Let d = 96 - 91. Suppose -5*c + 27 = p, -2*p + 35 = 3*p + d*c. Suppose p*v - 25 - 305 = 0. Does 8 divide v?
False
Suppose 3*w + 4*n = 92, 2*w + 137*n - 133*n - 60 = 0. Is 11 a factor of w?
False
Let o = -79 - -107. Suppose -11*n = -10*n - o. Suppose -18 = -k - 2*c, -5*c + n + 27 = 3*k. Is 4 a factor of k?
True
Is 23 a factor of (-1*24/16)/((-4)/7728)?
True
Suppose 0 = 3*l - 3*m + 6*m - 60, -2*l - m = -43. Suppose 4*n - 2*n + 3*u = -31, -n - 3*u - l = 0. Let t(h) = -6*h - 2. Is 17 a factor of t(n)?
False
Let x be (-9)/(-36) - 58/8. Is 19 a factor of x*19/7*-4?
True
Let w = 128 - -52. Suppose 0*q + 4*q = w. Does 9 divide q?
True
Suppose -585669 - 704571 = -147*g + 19*g. Is g a multiple of 18?
True
Let w = -8179 + 11679. Is w a multiple of 14?
True
Suppose 0 = -42*q - 161*q + 2403520. Does 8 divide q?
True
Suppose a = 3*a + 26. Let q be (10 + a)*(44/(-6))/(-1). Let w = q - -31. Is w even?
False
Suppose -4*o = -929 - 2083. Let s = o + -498. Is 18 a factor of s?
False
Let m = -413 + 410. Is 30 a factor of (-9)/(-108)*m + (-1362)/(-8)?
False
Suppose -5*m + 5721 = 4*u - 10215, -4014 = -u - 5*m. Is u a multiple of 17?
False
Let b(r) = r**2 + 76*r - 11. Let a be b(-27). Let v = a - -2986. Is v a multiple of 18?
False
Suppose -5*m - 2 = -22. Suppose r = 5*k - 891, 757 = 3*k - m*r + 219. Is k a m