34)/18 a multiple of 31?
False
Suppose 21 = l + 3*n - 72, 4*l - 4*n = 436. Let v = l - -3. Is v a multiple of 54?
True
Let m(u) = 2*u**2 - 215*u - 2982. Let s be m(-14). Let p = 0 + 2. Suppose 12*w - s = p*w. Is 7 a factor of w?
True
Let z = 20 - -15. Suppose -m - 43 = -z. Let n(d) = -17*d - 10. Is n(m) a multiple of 11?
False
Suppose -196*s + 479212 = 34*s - 42*s. Is s a multiple of 62?
False
Let p = -4518 + 6448. Is 3 a factor of p?
False
Let p = 707 - 1179. Let r = 478 + p. Is r a multiple of 6?
True
Suppose 33*o + 1383 = 36*o. Let f be (-8)/68 + o/17. Suppose -f*g = -20*g - 1554. Is g a multiple of 16?
False
Let s(h) = 2*h**3 + 9*h**2 + 15*h + 36. Let a be s(-7). Let y = 500 + a. Is y a multiple of 31?
True
Suppose 8*j - 14*j - 402 = 0. Let w = 207 + j. Does 4 divide w?
True
Let v(l) = 461*l**3 - l**2 - l + 1. Suppose 3*i + 7 = 2*h, 0 = i + 4*h - 21 - 0. Let d be v(i). Let t = d + -243. Is 31 a factor of t?
True
Let i = 70 + -60. Suppose -220 + i = -s. Is s a multiple of 5?
True
Let k(c) = -6*c - 10. Let t be k(-16). Suppose t*d + 16 = 90*d. Suppose r - 32 = -4*s + 3*s, -s + 140 = d*r. Does 9 divide r?
True
Let f be (3/((-9)/(-78)))/((-1)/1). Let a be ((f/5)/(5/25))/(-2). Suppose -133 = -4*x - a. Is x a multiple of 15?
True
Suppose 2*d - 24 - 6 = 0. Let g be (228/30)/((-66)/(-15) + -4). Suppose -d*s - 384 = -g*s. Is s a multiple of 12?
True
Suppose -2288 = 49*f - 45*f. Does 6 divide (-5)/(-60)*2 - f/24?
True
Let i = 50 + -46. Suppose 16 = -i*m, -m = 5*p - 406 - 235. Suppose 0 = -4*x - p + 417. Is 36 a factor of x?
True
Let h(c) = 3699*c - 392. Is h(5) a multiple of 144?
False
Let s = 9520 - 6879. Is 19 a factor of s?
True
Let o(i) = 5*i**2 + 167*i + 1765. Is o(-10) a multiple of 47?
False
Let z(m) = 1729 - 3446 + 21*m**2 - 4*m + 1721. Does 12 divide z(-2)?
True
Let o(a) = -2*a**3 - 10*a**2 - 4*a + 9. Let k be o(-8). Suppose -4*h + 0*b - k = 3*b, -5*h - 505 = -5*b. Let m = h + 181. Does 38 divide m?
False
Let i be (-2)/(-3) + (-4 - 190/15). Let y be 32 + 1 - (i + 13). Suppose -2*z + y + 50 = 0. Does 6 divide z?
False
Let n(h) = 3*h - 28. Let p be n(13). Let i(g) = -2*g - 5. Let q be i(p). Is 22 a factor of (-4 + q/(-6))*98?
False
Let y(x) = 7*x**2 + x + 75. Let z be y(-15). Suppose 41*a - 46*a + z = 0. Does 13 divide a?
False
Let d be 8/(-36) + 3/(81/(-129)). Does 16 divide 7972/36 + 4/(-9) - d?
False
Let g(n) = -2*n**3 + 36*n**2 - 42560*n - 99*n**2 + 42523*n + 4. Does 17 divide g(-31)?
False
Suppose 0 = 5*l + 20*v - 15*v + 1600, -4*v = 5*l + 1601. Let f = l - -421. Is f a multiple of 10?
True
Let i(k) = 59*k**2 + 5*k + 2. Let a(g) = 60*g**2 + 6*g + 1. Let v(f) = -3*a(f) + 4*i(f). Is 5 a factor of v(-2)?
True
Suppose 5*x + 44 = -2*z, -4 = z + 4*x + 24. Let r(w) = -w**3 - 8*w**2 + 3*w + 12. Let u be r(-8). Is 29 a factor of (9/u)/((-3)/z) + 141?
False
Let p be 2*(-1)/(1/4). Let w(n) = -n**3 - 6*n**2 + 16. Is w(p) a multiple of 4?
True
Suppose -2*w + 3*z + 4 = -1, -3*z = -w + 7. Let x be -5 + -5 - 2/(2/w). Does 19 divide (x - -5)*19*-1?
True
Let j(x) = 209*x + 2058. Is j(15) a multiple of 132?
False
Let i(b) = 57*b + 18. Let a be i(12). Suppose -6*t + a = -1110. Does 9 divide t?
False
Let d = -11 - 7. Let p = d + 21. Suppose -3*i + 21 = 3*k, -k + 3*k = p*i - 46. Is 6 a factor of i?
True
Is (-1320)/(2*2/8 - 210/140) a multiple of 3?
True
Suppose 2146889 = 295*b + 444149. Is 37 a factor of b?
True
Let t be (-4)/(-30) - ((-2672)/(-30))/8. Let b be t/(55/(-720)) + -1. Suppose -647 = -4*v - 5*z, v - 7*z = -2*z + b. Does 12 divide v?
False
Let m(j) = j**2 + 13*j - 140. Let w be m(-20). Suppose w = -6*l - 2 + 1160. Does 2 divide l?
False
Let u be (35/10)/((-2)/(-12)). Suppose 349 = -u*d + 3142. Is 10 a factor of d?
False
Let b = -99 - -100. Suppose -5*g + 898 = -j, b = j - 1. Is 15 a factor of g?
True
Suppose -32*p = 9*p + 5043. Let c be ((-3)/(-2))/((-6)/296). Let n = c - p. Is 7 a factor of n?
True
Does 8 divide (-2)/(450/(-530) - -1)*-76*6?
False
Let v = -16 + 30. Let y = 18 - v. Suppose 4*b + y = 184. Does 24 divide b?
False
Is 51 a factor of 22 + 112/(-8) + (-112008)/((-8)/2)?
False
Let b(m) = 531*m + 741. Does 48 divide b(9)?
True
Let q(o) = -13*o + 3. Let a be q(-5). Suppose 4*z + v + 120 = 83, -v + 53 = -5*z. Is a/z*50/(-10) even?
True
Let n be (0 + (1 - 1))*(-17)/34. Suppose -5*q + 16 = 4*y, 0*y - 2*y + q + 8 = n. Suppose -6*j = -y*j - 250. Is j a multiple of 24?
False
Let r(f) = 6*f**2 + 16*f + 282. Is r(-26) a multiple of 11?
False
Let h(b) = -83*b - 357. Is 4 a factor of h(-9)?
False
Suppose 90*i + 290325 = -58*i + 1110837. Is i a multiple of 7?
True
Let w = -140 - -233. Suppose -3*j + 6 = 3*h - 129, -2*j = 3*h - w. Is j a multiple of 3?
True
Suppose 16*j - 32*j + 208 = 0. Does 2 divide 2*((-1196)/(-8))/j?
False
Let q be 3/(-3) + 5 + -2. Suppose 0 = q*h - 86 - 166. Is 7 a factor of h?
True
Let j(t) = -t**3 - 6*t**2 - t + 4. Let p be j(-6). Suppose p = h + h, -3*o = -3*h. Suppose 0 = 10*l - o*l - 900. Is l a multiple of 30?
True
Suppose 0 = 4*k - 2*t - 24110, 9100 = 2*k + 2*t - 2928. Is 19 a factor of k?
True
Let s = -8188 - -13916. Is 179 a factor of s?
True
Let v(t) = -t + 1. Let k be v(-10). Let j = k + 14. Does 9 divide (1 - j)*((-80)/6)/4?
False
Let o(z) = 154*z + 1726. Is 6 a factor of o(-3)?
False
Let n(c) = c**2 + 23*c - 240. Is n(33) a multiple of 3?
True
Let b(g) = -40*g + 37. Let n be b(3). Let j = n - -203. Is j a multiple of 6?
True
Let n be -254 + (3 + (-5 - -2))/(-2). Let d = n + 449. Is d a multiple of 9?
False
Suppose -3*z = 4*p - 22, 4*z - 4*p - 7 = 13. Is 18 a factor of -3 + (z - 5) + (-978)/(-3)?
True
Let k = 72 + 3. Suppose -4*z + 41 + 31 = 2*y, -3*y = -5*z - k. Is 19 a factor of y?
False
Suppose -3*h - 2*m + 36656 = 0, -4*h - 4*m = m - 48877. Is 82 a factor of h?
True
Let n(o) = -o**2 - 33*o - 53. Let z be n(-12). Let a = -29 + z. Is a a multiple of 85?
True
Suppose 0 = -3*t + 4*i + 620, -5*i = 4*t - 557 - 249. Suppose -4*l + t = -2*m, 257 = 5*l + m - 4*m. Is l a multiple of 16?
False
Let x = -1764 - -1887. Is 13 a factor of x?
False
Suppose -4*v - 2*b = -54444 - 97274, 0 = 4*v + 3*b - 151727. Is v a multiple of 185?
True
Suppose 0 = -k + 4*j - 0*j + 21, -6 = 2*k + 4*j. Suppose 2*b - k*g = -27 + 151, 3*b = -g + 203. Let m = b - 55. Is m even?
True
Let i(j) = 2*j**2 + 3*j + 3. Let g be i(-2). Suppose g*n - 734 = x - 11, -3*x + 567 = 4*n. Is n a multiple of 8?
True
Suppose 6*g = 18*g - 1008. Suppose 3*q = i + 3*i - 76, 4*i = q + g. Suppose -124 = -w - 2*r, -r - 93 = -w + i. Does 8 divide w?
False
Suppose 13346 - 134566 = -19*y. Is 5 a factor of y?
True
Let d(y) = y**2 - 73*y - 1068. Does 24 divide d(-35)?
True
Suppose -p + 5*j + 136 = 39, 3*p = -3*j + 273. Suppose 3 = -3*l - 12, 0 = 4*d - 4*l - p. Is (24/d)/(2/51) a multiple of 17?
True
Let r(g) = -11*g - 55. Let b be r(-6). Let y(x) = x**2 - 7*x - 23. Is y(b) a multiple of 7?
True
Let w = -37 + 31. Let q be (3/(w/4))/(10/(-130)). Suppose -352 = -q*u + 22*u. Does 8 divide u?
True
Let r(j) = -j**3 + 5*j**2 + 18*j - 17. Let n be r(7). Suppose i + 3*t = -n, -5 = -t + 2*t. Suppose -2*w - 4*m + 112 = 0, w - 33 - 53 = i*m. Is 22 a factor of w?
True
Suppose -21 = 2*r - 31. Suppose r*q - 55 = 205. Is 1*q + 60/15 a multiple of 6?
False
Suppose -7*h + 3 + 4 = 0. Let s be 2/(-4)*(8 + -12)*h. Suppose s*v = 212 + 164. Does 24 divide v?
False
Let i(l) = -8*l + 24. Let g be i(6). Let p(z) = -40*z - 141. Is p(g) a multiple of 21?
True
Let q = -211 + -11. Let o = -108 - q. Is o a multiple of 6?
True
Let l(q) = -1035*q + 270. Is l(-6) a multiple of 12?
True
Let l be (2 - -1 - -3)/2. Let t(o) = -7*o + 2. Let p be t(l). Let f = p - -93. Is 18 a factor of f?
False
Let c(p) = 34*p - 10 + 52 + 8*p**2 - 9*p**2. Is 3 a factor of c(35)?
False
Suppose 0 = -12*b + 235103 + 64381. Is b a multiple of 11?
False
Let z = 712 + -65. Suppose -2*s = -j - z, 2*j + 4 = 6. Does 16 divide s?
False
Let j(l) be the third derivative of -l**6/20 + l**5/30 + l**4/6 + 5*l**3/6 - 5*l**2 + 2. Is j(-4) a multiple of 45?
True
Suppose -5*t + 5*k + 15744 = -19036, -3*t - 4*k = -20861. Does 87 divide t?
False
Suppose 7*f = 24*f - 85. Let l = 6 - 4. Suppose 0 = -2*t - 2*i - 2*i + 128, f*t = l*i + 272. Is 14 a factor of t?
True
Let b(u) = 222*u - 50. Let n be b(-3). Let l = n - -1269. Is 37 a factor of l?
False
Let a(