 (18/12 - -1) + (-13)/(-2). Suppose -n*o - 110 = -11*o. Does 10 divide o?
False
Suppose 0*k + 180 = -5*k. Let m(j) = -3*j**2 + 2*j + 1. Let p be m(-5). Let h = k - p. Is h a multiple of 24?
True
Suppose -4*x + 3*d = 63, 3 = -2*x - 4*d - 1. Let h be 3/x - (-181)/4. Let r = h + -26. Is r a multiple of 19?
True
Suppose 5*c - 29674 = -6*u, -c - 41 + 43 = 0. Does 103 divide u?
True
Let j = 3378 + -2468. Suppose -m + 4*m - 756 = 0. Suppose j = 14*n - m. Is 12 a factor of n?
False
Let u(r) = -r**3 + 7*r + 4. Let w be u(-3). Suppose -2*f + j = -342, -w*f + 2*j = -7*f - 511. Is f a multiple of 17?
False
Suppose n + 5*s = 2752 + 1039, n - 3791 = -2*s. Is n a multiple of 14?
False
Does 16 divide 14/(-2) - (-13 + 7912/(-4))?
True
Suppose -q = -3*o - 7059, 5*q + o - 6463 = 28944. Is 20 a factor of q?
True
Let i(k) = 1475*k - 730. Is 235 a factor of i(4)?
True
Suppose -14*t - 7*t = 0. Suppose 0 = -r - 3*o + 69, t = 2*r - 2*o - 112 - 42. Is r a multiple of 5?
True
Suppose 255 = -4*l - 4*d + 19, -5*l + 5*d = 315. Let j be 199 + 3 + (-2)/2. Let q = l + j. Is q a multiple of 14?
True
Let s be (26/3)/(20/(-30)). Let j(l) = -11*l - 7. Does 6 divide j(s)?
False
Suppose -5*i + 15031 = 3*f + 1573, -5*i - 4*f = -13459. Does 13 divide i?
True
Suppose 5*w - 26 = 74. Let m = w + -17. Suppose -417 = -2*t - 3*r, -m*r - 2*r + 625 = 3*t. Does 18 divide t?
False
Suppose 14*n = -321 - 211. Let d = 98 + n. Is 10 a factor of d?
True
Let f be (50/(-15))/(4/(-12)). Suppose -d + f*o + 331 = 5*o, 2*o - 925 = -3*d. Is 37 a factor of d?
False
Does 10 divide (-3 - (4 + 80/(-12)))*-1329?
False
Let u be (-9)/12 - -37*(-36)/16. Let c = 108 + u. Is c a multiple of 12?
True
Suppose 179*a = 174*a + 13720. Is 31 a factor of a?
False
Let d = 1088 - 646. Suppose -2*a = -2*p - a + d, -2*a = 3*p - 656. Does 5 divide p?
True
Let b = 6248 - 5060. Does 3 divide b?
True
Suppose 7*g + 1060 = -17*g + 28*g. Is 5 a factor of g?
True
Suppose 5*u - 28566 = -2*n + 6721, 2*u + 35308 = 2*n. Does 13 divide n?
False
Let z(a) = 78*a + 354. Is z(37) a multiple of 45?
True
Suppose 0 = -3*o + c + 3664 + 15672, 2*o - 4*c = 12874. Suppose -14*q = 7*q - o. Is 7 a factor of q?
False
Let l(w) = 44*w + 4990. Does 66 divide l(10)?
False
Let b(l) = -l**2 - 10*l + 4. Let n be b(-10). Suppose -2*a + 2*o = -36, n*a = -a - o + 66. Does 2 divide a?
True
Let d = -647 - -2878. Does 18 divide d?
False
Let u be 21/6*(-254 + -20). Let v = -194 - u. Is v a multiple of 85?
True
Let c(n) = 3*n - 68. Let y be c(28). Suppose 0 = 2*o + 3*h - h - 4, -2*o + 3*h = y. Does 43 divide (3 - -4)/(o/(-86))?
True
Let i(r) = 14*r + 151. Let f be ((-110)/25)/((-11)/5 - -2). Does 17 divide i(f)?
True
Let x(p) = p**3 - 4*p**2 - 19*p - 12. Let w be x(7). Suppose 3*v + 61 = n, w*n - 1 = -4*v + 91. Is 2 a factor of n?
True
Let x(q) = 4*q**3 - 20*q**2 + 27*q + 10. Is 24 a factor of x(10)?
True
Suppose -9*h = -7*h + 2*z + 6420, -4*h - 3*z = 12841. Let i = -2087 - h. Is i a multiple of 49?
False
Let u = -19 - -5. Let t be ((-4)/u)/(3/(-21)). Is 12 a factor of 4 - 1 - 66/t?
True
Let b(t) = -908*t**3 - 2*t**2 - 15*t - 6. Does 28 divide b(-2)?
True
Suppose -4*o = -59 - 41. Let s be (3 + (-4)/(-2))*7. Let i = s + o. Is i a multiple of 10?
True
Let a = 29176 - 3328. Does 72 divide a?
True
Let j be (-3 - 21)*(-3)/9. Suppose 4*p = 5*s - 3*s + 2228, -j = -4*s. Does 34 divide p?
False
Let d(q) = 2*q**2 - 54*q - 55. Let g be d(33). Suppose 0 = -9*y + g + 1027. Is y a multiple of 5?
False
Let y(k) = 2*k - 2*k + 3*k + 32. Suppose -10*s + 362 - 142 = 0. Does 14 divide y(s)?
True
Let c(g) = 9461*g + 313. Does 54 divide c(1)?
True
Suppose -5*l - 4072 = -4*j, -10*j = -9*j + 2*l - 1031. Let s = -711 + j. Is 8 a factor of s?
True
Let m = 480 - 479. Is 8 a factor of 163*m - (-17 - -11 - -1)?
True
Let l = -10078 + 15946. Is l a multiple of 18?
True
Is 3402/(-2)*(675 - 678) a multiple of 13?
False
Let w(p) = -22*p - 283. Let c be w(-13). Does 13 divide (-5522)/(-4) - (c + -11)/16?
False
Let c(n) = 4218*n - 209. Does 33 divide c(1)?
False
Suppose -149585 - 84586 = -49*t. Is 9 a factor of t?
True
Let s be 1/(3*(-9)/216). Is (-258)/s*(-24)/(-18) a multiple of 2?
False
Let x(k) = -2*k**3 + 12*k**2 - 7*k + 37. Let g be x(5). Let l = 15 - 29. Let u = g + l. Does 15 divide u?
False
Suppose 0 = 18*g - 20*g - 2. Let y(x) = -3*x**2 + x + 1. Let o be y(g). Is (0 - -1)*o - 3322/(-22) a multiple of 30?
False
Suppose -6*u - 5*u - 55 = 0. Is 17 a factor of (u + 4)*401*-1?
False
Suppose -55*c = -40*c. Suppose c*k + 3*n - 175 = -k, k - 179 = -2*n. Is k a multiple of 22?
False
Let q = 331 + -115. Let d = q + -99. Let a = d + -83. Is 10 a factor of a?
False
Let o = 2384 - 1638. Let i be o/(-8) + (-33)/44. Let h = i - -131. Is h a multiple of 37?
True
Suppose 0 = 97*b - 94*b - 15. Suppose -b*i + 444 = -356. Is 51 a factor of i?
False
Let k(n) = -n**2 - 9*n + 24. Let v be k(-9). Suppose -435 = 9*d - v*d. Is 3 a factor of d?
False
Suppose -2*j = 7 - 11. Suppose 4*s = j*p - 324, -2*s = p + 3*s - 134. Does 22 divide p?
True
Suppose 0 = -j + 5*u + 31, -3 = 4*j + u - 232. Suppose 78 = -34*w + 37*w. Let d = j - w. Is d a multiple of 30?
True
Let l be -305 - 3/(18/6). Does 2 divide -1 - ((-12)/(-9))/(12/l)?
False
Suppose -x + 4533 = 5*z, x - z + 822 - 5367 = 0. Is x a multiple of 16?
False
Suppose -39*b + 34*b + 218 = f, f = -2*b + 209. Is f even?
False
Let c = 136 - 132. Let z = -8 - -12. Suppose -16 = -c*h, -z*h - 52 = -2*x + 114. Is x a multiple of 11?
False
Let v = -12794 - -23754. Is v a multiple of 20?
True
Let z = 221 + -140. Let q = -41 + z. Does 8 divide q?
True
Let o be ((-308)/55 + 6)/(2/20). Is (80/(-6))/5*(-426)/o a multiple of 71?
True
Let x be -20*(9/6)/(30/(-16)). Suppose 29 = 3*m - x. Suppose -4*i + 208 + 1 = 3*n, m = -3*n. Is i a multiple of 17?
False
Let i = 22001 - 21898. Is i a multiple of 21?
False
Let v = 13377 + -11187. Is 30 a factor of v?
True
Suppose -5*z + 4*q - 6 = 0, -z + 4*q = z. Let w be (-14 - -53)/(z/(-54)). Is 16/20 - w/(-15) a multiple of 9?
False
Suppose 20*x = 2905 - 10165. Let f = 623 + x. Does 20 divide f?
True
Suppose 0 = -158*m - 60887 + 428869. Is m a multiple of 17?
True
Let w be 4/22 - (-1296)/11. Suppose -2*s = c - w, 45 = 4*c + s - 434. Suppose 6*m = 4*m + c. Is m a multiple of 13?
False
Let f(o) = 72*o**2 + 5*o - 34. Let z be f(5). Let u = z - 1149. Does 39 divide u?
False
Let v(l) be the first derivative of 2*l**3/3 + 19*l**2/2 - 21*l - 187. Let y be (14/(-6))/((-2)/(-12)). Is v(y) a multiple of 23?
False
Suppose 0 = -240*l + 250*l - 127060. Is l a multiple of 40?
False
Suppose 66 = -3*x + v - 315, 129 = -x + v. Is 54/12*(-4 - x) a multiple of 12?
False
Suppose -4*z - 8*u = -3*u + 5, -4*u = z + 15. Let c be 10/3*(0 - (-6)/z). Suppose -c*b + 268 = -52. Does 16 divide b?
True
Suppose 10*d = 3*d - 1071. Let u = d + -209. Is 21/(-126) + u/(-12) a multiple of 7?
False
Suppose d - 1244 = -4*w + 1938, 5*d - 3*w = 15795. Is d a multiple of 51?
True
Suppose 0 = 41*a - 40*a - 34. Suppose -a*g - 5040 = -39*g. Does 63 divide g?
True
Suppose -5*b - 4167 = -3*h, 3*h - 9*b + 7*b - 4158 = 0. Does 8 divide h?
True
Let z(x) = -x + 3*x - 10*x - 2*x**2 - 32 + 3*x**2 - 2. Does 17 divide z(-17)?
True
Let v(g) = -2*g**2 - 3*g - 2320. Let s be v(0). Is 58 a factor of (-1)/(((-45)/s)/(-9))?
True
Suppose 5 = -5*y - 5*g + 45, 5*y - 4*g - 4 = 0. Is -4 - (-4 + y) - (-270 + 0) a multiple of 7?
True
Suppose 4*x - 7*o = -3*o + 200, -50 = -x + 4*o. Let w = -44 + x. Is w/(-9)*(-7 + 2 + -1) a multiple of 3?
False
Suppose 0 = -2*o - u + 43212, o - 100*u = -102*u + 21600. Is 99 a factor of o?
False
Let q(l) = -l**2 + 3*l + 18. Let v(c) = -c**2 + 12*c - 16. Let h be v(11). Let n be q(h). Let m = n - -37. Does 3 divide m?
True
Suppose 8*k = 13*k + 10. Is 5 a factor of k/6 - (-124)/12?
True
Does 10 divide (108/10)/(19/((-132620)/(-6)))?
False
Suppose -171 = -3*s - 2877. Let w = -560 - s. Is w a multiple of 18?
True
Suppose 0 = 3*d - 9, 1051 = 5*j + 5*d - 3*d. Let c = j - 69. Is c a multiple of 20?
True
Let q be (3 - 4)*-1*-1. Let b be -1*1 + q*(-43 - -7). Does 6 divide b + 0/(-3) - 5?
True
Let n be 11/(55/(-30)) - -42. Suppose 5850 = -n*u + 49*u. Does 6 divide u?
True
Let a(c) = 12*c - 68. Let m be a(6). Is 21 a factor of (6580/(-15) + m)*3/(-2)?
False
Let o(t) = t - 8. Let k be o(8). Suppos