
Let y be (-5 - -7)/(3/(-6)*-2). Let z be (24/(-15))/y*150/(-20). Suppose 9*g = z*g + 144. Does 44 divide g?
False
Suppose -13181 + 1312 = -11*y. Suppose 5*b - y = -2*q, 0*b + 3 = -b. Is 14 a factor of q?
False
Let u be (567 - -21)*(-60)/(-14). Suppose -9*x = -15*x + u. Is 42 a factor of x?
True
Let o = -44 - -46. Let v be (-7)/(14/(-4)) - o*5. Is ((-18)/v)/(165/80 + -2) a multiple of 12?
True
Is 71 a factor of (16732/24)/((-11)/(-66))?
False
Suppose 5*j - 788 + 418 = 0. Suppose -1152 = -5*t + 4*g, 0 = -71*t + j*t + 2*g - 700. Is 4 a factor of t?
True
Does 8 divide (-232)/(-754) - 55710/(-26)?
False
Suppose 128*b = 77306 + 82054. Does 16 divide b?
False
Let v(f) = -16*f - 246. Let r be v(7). Suppose -n = -3*n + 5*g - 11, -4*n = 2*g + 10. Does 22 divide n/12*r - 3/6?
False
Let p(d) = 122 - 10*d + 2*d**3 - 2*d**2 - d**3 - 11*d**2 - 87. Is p(14) a multiple of 2?
False
Suppose 20 = 8*h - 12. Suppose 2*q - 10 = f, -h*f - 12 = -q + 7. Suppose -143 + 17 = -q*r. Is 19 a factor of r?
False
Suppose 0 = -36*o - 59*o + 296590. Is o a multiple of 14?
True
Suppose 4*k - b - 1407 = -504, -3*b - 893 = -4*k. Does 7 divide k?
False
Suppose -58*r + 18*r + 422400 = -8*r. Does 200 divide r?
True
Let i(o) = 10*o**2 + 4*o + 3. Let k be i(-2). Let d(p) = 14*p**2 + 17*p + 50. Let n be d(-3). Let m = n - k. Does 30 divide m?
True
Suppose 0 = 5*r + y - 11, 5*r - 5*y - 6 = -1. Does 42 divide (-3)/48*r + 1348/32?
True
Let a = 33 + 189. Let h = a + -188. Does 17 divide h?
True
Let q(u) = -u**2 + 12*u + 51. Let w be q(16). Let o(m) = -4*m + 48. Does 81 divide o(w)?
False
Let b(v) = v**3 + 16*v**2 + 30*v. Let r be b(-13). Let n = r + 23. Is 3 a factor of n?
False
Suppose 0 = 12*z - 7*z - 30. Suppose -z*p + 8*p - 2*c = 12, 4*c - 16 = -p. Is p a multiple of 8?
True
Let x be 57 + 2 + 0/5. Let s = 69 + x. Is s a multiple of 4?
True
Let m(p) = p**3 - 5*p**2 - 4*p - 4. Let i be m(6). Suppose -6 = 18*s - 13*s - 4*o, 2*s - 2*o = 0. Does 11 divide (-3 - s)/((i/74)/4)?
False
Does 57 divide (-206928)/(-66) - (-3)/(-11)?
True
Let q(a) = 49*a**2 - 18*a - 12. Is q(-24) a multiple of 132?
True
Suppose -2*r = -4*x + 2*x - 18, -2*r + 26 = -4*x. Suppose -4*j + 18 = 2*y, -y + r*j - 4 = 8. Suppose -5*p + 3*f - 34 = -463, -y*p - f = -263. Does 22 divide p?
False
Let g = 15 - 5. Let b(m) = 404*m - 194*m - 26 - 206*m. Does 2 divide b(g)?
True
Let o(m) be the third derivative of 11*m**4/6 + 68*m**3/3 + 137*m**2. Does 8 divide o(16)?
True
Let j(o) = 5*o + 32. Let g be j(-5). Let r(h) = h**3 - 8*h**2 + 9*h + 1. Is 7 a factor of r(g)?
False
Let x(h) be the third derivative of 7*h**5/60 + 5*h**4/24 + 62*h**2. Is 2 a factor of x(-3)?
True
Suppose -78776 = -28*i - 7936. Does 23 divide i?
True
Let t(u) = 4*u - 14. Let b be t(4). Let l(r) = r + 14. Let w be l(-10). Suppose -j = -5*z + 114, z = -w*j - b + 29. Is z a multiple of 3?
False
Let l(g) = 44*g**2 - 3*g. Let r = -62 + 65. Let i(t) = t - 2. Let m be i(r). Is 7 a factor of l(m)?
False
Let u(o) = -3*o**2 + 11*o - 191. Let r(j) = 5*j**2 - 22*j + 384. Let g(n) = -4*r(n) - 7*u(n). Does 19 divide g(18)?
True
Let i = -448 + 585. Suppose 143*f - 408 = i*f. Is 3 a factor of f?
False
Let v(a) = -4*a**3 - 2*a**2 - 7*a + 38. Let u be v(-6). Let l = u + -575. Is 27 a factor of l?
True
Let o be 3*1 + 8496/24 + 4. Let c = o + -134. Does 25 divide c?
False
Suppose 111773 = -81*b + 324317. Is b a multiple of 40?
False
Let k(n) = 177*n**2 + 2*n + 2. Let l be k(-1). Let v = l + -140. Is v a multiple of 37?
True
Let r be 244/6*(-3 - (-8 - -2)). Suppose -r = -2*c + 6*l - 2*l, -4*c - 5*l + 283 = 0. Suppose -5*t + 58 + c = 0. Does 6 divide t?
False
Does 37 divide 20/6*-10*(-346392)/1200?
False
Is (99/45*1)/(4/97340) a multiple of 58?
False
Let n = 1917 + -2692. Let r = n + 803. Does 7 divide r?
True
Suppose -66 + 86 = 4*g. Does 33 divide 1870/(-51)*g/(75/(-162))?
True
Let f(g) = -2*g**2 + 68*g - 64. Let z be f(33). Suppose n = -z*r + 48 + 59, 193 = 3*r - 5*n. Is 3 a factor of r?
False
Let r(q) be the third derivative of -q**6/120 + q**5/15 + 5*q**4/24 + q**3/3 + 9*q**2. Let m be r(5). Suppose m*w - w = 118. Does 21 divide w?
False
Suppose v = 2*y + 1 - 14, -5*y - v + 36 = 0. Suppose -10*t + y*t + 612 = 0. Does 23 divide t?
False
Suppose 32*h = 25*h + 63. Does 8 divide 286 + (-16)/12*h/(-6)?
True
Suppose x = 4*t + 366, -42*x = -37*x + t - 1935. Let p = 101 + x. Is 11 a factor of p?
False
Let v(a) = -765*a**3 + 118*a**2. Is v(-2) a multiple of 64?
True
Let m be (-2784)/(-120) + (-1)/5. Suppose -3*c + 248 = u, 4*c - 18*u = -m*u + 316. Is c a multiple of 28?
True
Let m be (-396)/(-15) - (63/(-35))/3. Suppose -w - m = -2*w. Does 9 divide w?
True
Suppose 7746 = 5*q - 4*l + 551, 4317 = 3*q + 5*l. Is q a multiple of 18?
False
Suppose 175*n - 30 = 170*n. Suppose -n*a - 68 = -182. Does 18 divide a?
False
Let j(i) = 205*i**2 - 14*i - 2. Let t(b) = 207*b**2 - 14*b - 3. Let s(o) = 3*j(o) - 2*t(o). Does 17 divide s(1)?
True
Suppose 0 = 2264*n - 2268*n + 49792. Does 32 divide n?
True
Let i(u) = -3*u**2 + 12*u + 3. Let f be i(4). Suppose -3*x = f*z - 291, -194 = 12*x - 14*x + z. Is 7 a factor of x?
False
Does 12 divide -8 + 15864*13/39?
True
Let v(p) = -2*p**2 + p + 91. Let m be v(0). Suppose 0 = -m*u + 85*u + 3186. Is u a multiple of 59?
True
Let z(c) = 2*c**3 + 17*c**2 - 7*c + 20. Let l be z(-9). Does 5 divide ((-4)/(-8))/(4/5184*l)?
False
Suppose 0*d - 2*v + 4 = d, -3*v = -4*d + 27. Does 24 divide (-1)/(d/(-312) - 0)?
False
Suppose -6*l + 3*l = -5*s + 17, 0 = -2*l - 8. Is s*(7 - -58)*1 a multiple of 14?
False
Suppose 0 = -44*a + 49343 - 2219. Does 13 divide a?
False
Suppose -p - 4*p = -570. Suppose -19*d + p = -17*d. Suppose -d - 31 = -h. Is 9 a factor of h?
False
Suppose 275*j - 2691628 + 356362 = 1395659. Is j a multiple of 35?
False
Let i be (-1)/(1 - (-40)/(-36)). Suppose 4*c - p = -4*p + 12, 3*c = -p + 14. Is ((-136)/6)/(51/i - c) a multiple of 11?
False
Suppose -10*z + 250 = -6*z - j, 5*j = -10. Let b = 189 - z. Is b a multiple of 8?
False
Let g be 8/(-240)*-10 + (-350)/6. Suppose 13 = -5*v + 383. Let c = g + v. Is c even?
True
Suppose -38*k = -8*k - 9000. Let g = -78 + k. Is 5 a factor of g?
False
Suppose 3*p - 5*b - 23 = -p, -b - 7 = -2*p. Let x(q) = 4*q**2 - 8*q + 16 - 3*q**p + 0*q**2. Is 3 a factor of x(7)?
True
Let k be (33 - 29)*42/(-3). Let j(f) = -f**2 + f - 39. Let u be j(0). Let r = u - k. Does 12 divide r?
False
Let v(i) = 50*i - 664. Does 37 divide v(71)?
True
Let x(q) = q**2 + q - 5. Let t be x(0). Let g(c) = 153*c + 15. Let o be g(t). Is 17 a factor of 16/(-88) + 1/((-11)/o)?
True
Is 44 a factor of (-5)/3*3426/(-10)?
False
Let n(k) = -23*k**3 - 8*k**2 + 6*k + 1. Let t be n(1). Does 39 divide 104/(-36)*t*9?
True
Let n(h) = -140*h + 3. Let f be n(2). Let t be -1 + 1 - (-1)/3*-1191. Let m = f - t. Is m a multiple of 20?
True
Let b be ((-2)/(-4) - 2)/((-84)/7784). Let p(d) = 2*d**2. Let o be p(1). Suppose o*c - b - 141 = 0. Does 20 divide c?
True
Suppose -5*x + 8*s - 3*s + 670 = 0, 5*x - 4*s = 674. Let r = x + 255. Is 18 a factor of r?
False
Suppose -2634237 - 315063 = -338*j + 112*j. Is j a multiple of 7?
False
Suppose 5*g - 105 = -2*l, l - 2*g = 3*g + 30. Let m = 142 - l. Does 7 divide m?
False
Suppose -1147 = -4*y + 1189. Let j = y - -191. Is 12 a factor of j?
False
Suppose 0 = -7*b + 21 + 7. Suppose -20 = 4*x - 9*x + 2*k, 5*x - 30 = b*k. Suppose 0*w - 117 = -5*w + f, -2*w - x*f + 54 = 0. Is 4 a factor of w?
True
Suppose 0 = -g + 3*n + 246, 4*n - 1032 = -0*g - 4*g. Let x = -207 + g. Is 2 a factor of x?
True
Let y(v) = -12*v - 24. Suppose 74 - 8 = -3*q. Let l be y(q). Is (l/28)/((-3)/(-14)) a multiple of 10?
True
Does 18 divide (-8)/((-336)/1743)*(54 + 0)?
False
Let s(g) = 3904*g - 1488. Is s(12) a multiple of 140?
True
Let w(s) = -15*s**3 + 3*s**2 + 31*s + 194. Does 74 divide w(-7)?
False
Suppose 24*s - 6790 = 31878 + 38444. Is s a multiple of 153?
True
Let z(c) = 144*c**2 - 73 - 25*c**2 + 71 + 139*c**2 + 3*c. Is z(-1) a multiple of 21?
False
Let h(l) = -2*l - 7. Let t be h(-5). Suppose -t*w - 2*f + 714 = 0, 0*f - 959 = -4*w - 5*f. Suppose -2*x = 2*x - w. Is 11 a factor of x?
False
Suppose -108*j + 106*j = -2. Does 6 divide (j + 1/(-2))/(67/12060)?
True
Let p = -70 - -37. Let j = p + 71. Suppose 3*q + 11 = j. Does 9 divide q?
True
Let g(z) = -z**3 - 4*z**2 - 3*z