-9*f + w. Does 12 divide f?
True
Let r(d) = 2145*d - 957. Is r(3) a multiple of 33?
True
Let l be (4/(-6))/(2/30). Let g = 14 + l. Suppose 0 = g*w + k - 32 - 5, -3*w = -4*k - 42. Does 5 divide w?
True
Suppose 2 = -3*k + 5. Does 9 divide -3 + (-578)/(-6) + k/(-3)?
False
Let l = 16571 - 8805. Is 22 a factor of l?
True
Suppose -19*w - 23*w + 188034 = 0. Is w a multiple of 17?
False
Let h(a) = 10*a**3 - 5*a**2 + 3*a + 196. Does 14 divide h(7)?
True
Suppose 0 = -5*i - 2*h + 34682, -27739 = 9*i - 13*i + 5*h. Is 17 a factor of i?
True
Let q(h) = 11*h**2 + h - 42. Suppose g + 1 = u + 3*g, 4*g = -5*u + 23. Is 36 a factor of q(u)?
True
Suppose -s + 3*x + 992 = 0, -14*x = -s - 15*x + 968. Is 7 a factor of s?
False
Let m(f) = -513*f + 1258. Does 13 divide m(-45)?
False
Suppose 95365 = -296*v + 145571 + 152258. Is 3 a factor of v?
True
Suppose 3*d - 11554 = 10334. Is d a multiple of 114?
True
Let a = 69 + -97. Let b be (a/(-84))/(1/24). Is ((-60)/b)/(2/(-4)) a multiple of 5?
True
Let d(p) = 224*p + 61. Let c be d(4). Suppose 105 = 2*n - c. Is 9 a factor of n?
True
Suppose -2*f = 26 - 38, -c + 3400 = -5*f. Does 10 divide c?
True
Suppose -20928 = 24*h - 19*h - 9*h. Is 32 a factor of h?
False
Suppose u + 20 = 30. Suppose -10*m + u = -5*m. Is (-67)/2*(m + -4) a multiple of 14?
False
Let x(r) = -r**3 - 8*r**2 - 7*r + 24. Let z be x(-7). Does 10 divide ((-160)/z)/(2/(-51))?
True
Suppose -4*k + 14760 = -7781 - 859. Is k a multiple of 150?
True
Suppose 3*r = 3*t - 46 + 505, 5*t = -5*r + 755. Suppose -3*s + s - 114 = -3*g, 2*s + r = 4*g. Suppose 2*h + 32 = 2*n, -3*n + g = -n + 4*h. Is 9 a factor of n?
False
Suppose -4*y + 2 = 2*s - 16, -3 = -2*y - 3*s. Suppose -x - 480 = -y*x. Is 12 a factor of x?
True
Let y = 441 - 154. Suppose 12*t - 241 - y = 0. Does 65 divide t*1/6*9?
False
Let p = -7 + 12. Suppose p*j = 15, 2*h + 2*j = 6*h - 1370. Let x = h - 227. Is x a multiple of 13?
True
Suppose 15*b = 12*b + 27. Suppose -1170 - 2007 = -b*c. Does 25 divide c?
False
Let t = -74 + 246. Let g = 98 + t. Is 62 a factor of g?
False
Let n(o) = -584*o + 21 + 21 - 583*o + 15 + 414*o. Is n(-1) a multiple of 54?
True
Suppose -2*x - 2*x - 1227 = -3*y, 0 = -5*y + x + 2028. Suppose 16*a - y = 1515. Is 30 a factor of a?
True
Let s be -340*7/(-28) + (-6)/(-1). Suppose 97*g - 2592 = s*g. Is 18 a factor of g?
True
Let k(l) = -21*l**3 - 26*l**2 + 3*l + 2. Let i(c) = -11*c**3 - 15*c**2 + c + 1. Let t(g) = -7*i(g) + 4*k(g). Does 5 divide t(-3)?
False
Let h = 58 + -61. Let t be (-4)/(h + (-1538)/(-514)). Suppose 9*k - t = -181. Does 19 divide k?
False
Does 15 divide ((-1)/4)/((-9)/54)*1970?
True
Suppose -694850 = -22*i - 121882. Does 27 divide i?
False
Suppose -2498 = 14*c + 3480. Let z = -54 - c. Is 25 a factor of z?
False
Suppose -8922 = 231*y - 237*y. Is 23 a factor of y?
False
Let i(d) = 2*d**2 - 35*d + 20. Let v be i(17). Suppose v*q - 2*l - 527 = 0, 0 = -5*q - 2*l + 7*l + 875. Is 21 a factor of q?
False
Let v = -3 - -2. Let u be v/(-2*3/(-12)). Is 2*4/u*(-450)/24 a multiple of 15?
True
Let j(q) = -2*q + 19. Let f be j(-8). Let i be f/(-2) - (-33)/(-22). Let p = i + 60. Does 41 divide p?
True
Let k be 6/21 + 66/14. Suppose 0 = y + 14547 - 14822. Suppose 5*x - y = k. Is 28 a factor of x?
True
Suppose -46609 = -304*q + 173183. Is 14 a factor of q?
False
Let k be (34/4 + -6)*(3438 - 2). Suppose -23*p + 9741 + k = 0. Does 12 divide p?
False
Let w be 1*(4 - 0) - 2. Let k be (0 - w) + 8 + 6/(-3). Suppose 4*c - 145 = -k*v - v, -9 = 3*v. Does 20 divide c?
True
Is 33/(-12) + 2 - (-1456731)/36 a multiple of 18?
True
Let l(q) = -18260*q**3 + 2*q**2 + 20*q + 20. Does 46 divide l(-1)?
True
Suppose -3*a = -a + 9*a - 205942. Does 253 divide a?
True
Let o(k) = 78*k + 26. Let p(s) = -s**3 + 12*s**2 - 7*s - 36. Let n be p(11). Does 13 divide o(n)?
True
Let a be 406 - (220/(-80) - (-2)/(-8)). Let x = a + -139. Does 21 divide x?
False
Suppose 1488760 = -19*l + 10*l + 100*l. Does 28 divide l?
False
Let s = -139 + 258. Suppose -z = 3*f + 35 - s, 9 = -3*f. Does 38 divide z?
False
Let u be 164/14 + -6 + 308/49. Let v(t) = 6*t**2 - 13*t + 42. Does 19 divide v(u)?
False
Let v be -390*-2*(-16)/(-20). Suppose -69*y + 67*y + v = 0. Does 12 divide y?
True
Let j be (4 - 66/9)/((-2)/(-6)). Let h(m) = -m**3 - 10*m**2 - m + 14. Let s be h(j). Suppose s*x = 22*x + 14. Does 5 divide x?
False
Let j = 46274 + -30066. Does 8 divide j?
True
Let c be ((-3)/2)/3*566. Let i = 595 + c. Is 10 a factor of i?
False
Let a be 120/32 - 6/8. Suppose -2*p = -p + 5*c + 89, -167 = a*p - 5*c. Let f = 136 + p. Is 18 a factor of f?
True
Suppose 0 = 5*x - 3*w + 97, 8 - 11 = 3*w. Is (-4035)/x - (6/(-8))/3 a multiple of 59?
False
Let h(i) = -2*i**3 - 6*i**2 - 3*i + 13. Let g be h(4). Let q = 520 + g. Is 33 a factor of q?
True
Let w be (1 + -5 + (-7 - -10))*-7. Let i be ((-8)/(-140)*w)/(2/1690). Suppose -o + i = -5*a, -5*o - a + 5*a + 1732 = 0. Does 29 divide o?
True
Let n(x) = 2895*x**2 - 226*x - 685. Is n(-3) a multiple of 22?
True
Suppose -22*y + 8 = -18*y, -l + y + 2 = 0. Suppose -g = -2*n - 64, 0*g + l*g - n = 221. Is g a multiple of 18?
True
Let h = 26 - -21. Let o = h - 60. Let t = o + 92. Is 18 a factor of t?
False
Let u = -1354 + 1404. Let k = 2 - 0. Suppose k*s - 278 = -u. Is s a multiple of 19?
True
Suppose 0 = -120*f + 356*f - 4044804. Does 5 divide f?
False
Suppose 358888 = -49*r + 1123925. Suppose -27*u + 32015 = -r. Is u a multiple of 12?
True
Suppose 2*c = 5*d + 1490, -53*d + 52*d + 2235 = 3*c. Suppose -749*f = -c*f - 4868. Is f a multiple of 11?
False
Let u = 208 + -205. Does 15 divide u*7/(-42)*-330?
True
Suppose 5*j - 62557 = l, 210*l + 9 = 213*l. Is j a multiple of 92?
True
Suppose -640 = -0*r + 16*r. Let m = r - -67. Is m a multiple of 3?
True
Suppose 3*b - 2*b = 1. Is b - (-204 + -4 + 5) a multiple of 6?
True
Suppose 17*j = 7*j. Suppose j = -8*q + 6*q. Suppose 2*h - 2*i - 402 = q, 0*i - 3*i = 15. Is h a multiple of 34?
False
Suppose -5*i + 31929 = 3*q, 43*i - 38*i = 5*q + 31865. Is 9 a factor of i?
True
Let u = -514 + 546. Does 15 divide 12*(520/u - 0)?
True
Let v(b) = -68*b + 156. Let r be v(-24). Let m = r + -1149. Does 48 divide m?
False
Let l = 38 - -3. Let n = l + -33. Suppose -7*k = -n*k + 15. Is 3 a factor of k?
True
Let l(i) = -i**2 - 4*i + 2. Let f be l(6). Let z = -53 - f. Suppose 10 - 115 = -z*y. Does 4 divide y?
False
Suppose 0 = 5*x - 6*x + 4*f + 23, 5*x = -2*f + 71. Suppose 0 = x*c - 523 - 1052. Is c a multiple of 7?
True
Let c be (4/(8/(-6)))/(-17 - -16). Suppose 7*p = c*p + 68. Is p a multiple of 2?
False
Let o(t) = 215*t**2 + 77*t + 91. Is o(-8) a multiple of 6?
False
Is ((-13)/(-2))/((-45)/(-18450)) a multiple of 13?
True
Suppose 4 = -4*g, 0 = -2*s + 4*g + 5 + 3. Suppose 4*p - 16 = 2*f, p + s*f - 5 - 4 = 0. Suppose 4*q - 2*q - 25 = p*m, 2*q + m - 43 = 0. Is q a multiple of 4?
True
Suppose -z - 1 = -2*b + 5*b, 3*b - 1 = -2*z. Suppose 0 = z*q - 3*o + 47, -24 = -4*q + o - 93. Is 6 a factor of (-1 - 1218/q) + 15/(-120)?
False
Suppose 14*b - 118260 = -9*b - 7*b. Does 9 divide b?
True
Let r(v) = -v**2 - 408*v + 17. Is r(-46) a multiple of 25?
False
Suppose -4*u - a - 3 = u, a = 2*u - 3. Suppose u = -2*x - 8*x + 1070. Let l = x - 58. Is 10 a factor of l?
False
Let g = 4 - 3. Let d(i) = -2 - 69*i + 138*i + 11*i**3 - 3*i**2 + 23*i**3 + 9*i**3 - 65*i. Does 14 divide d(g)?
True
Let p = 3973 + 920. Is 25 a factor of p?
False
Let o = -3089 + 4032. Does 2 divide o?
False
Suppose 0 = 4*m + 3*d - 775 + 281, -3*m = -d - 364. Let g = m + 148. Does 27 divide g?
True
Let x(d) = -d**3 + d**2 + 5*d + 128. Let k be x(0). Let v = -112 + k. Suppose -11*m - 280 = -v*m. Does 47 divide m?
False
Suppose 14*j - 9*j + 1370 = 0. Let f = j + 406. Is 12 a factor of f?
True
Suppose 41*s - 19*s = -330. Is 18 a factor of (183/s + -3)*(-180)/8?
True
Is 275740/25 - (-2)/5 a multiple of 10?
True
Suppose 56*t = -389*t - 197*t + 12455442. Does 186 divide t?
False
Suppose -79*x + 77*x = 26. Let f(l) = -l**2 - 8*l + 185. Does 10 divide f(x)?
True
Let d(n) = -62 - 2*n + 109 - 55 - 23*n. Does 13 divide d(-5)?
True
Let p(j) = 138*j + 432. Is p(21) a multiple of 71?
False
Suppose 3*j - 20*m + 15*m - 9210 = 0, m + 6126 = 2*j. Is 17 a factor of j?
True
Suppose -9*r + 8*r = 0. Suppose r = 4*a + 203 - 295. Is a a multiple of 23?
True
Suppose 6293 = r + s, 