483. Let h = 270 - l. Is h a multiple of 9?
True
Suppose -2*j + 1849 = 3*p, -j = 10*p - 9*p - 923. Suppose 0 = -4*i + j + 76. Is i a multiple of 12?
False
Let j(t) = t**2 - 4*t + 2. Let g be j(2). Let x be (-44)/12*6/g. Suppose -x + 122 = k + 5*c, c - 3 = 0. Is k a multiple of 16?
True
Let v = 533 - -726. Suppose -4*l = 323 - v. Is 17 a factor of l?
False
Let u be ((-328)/(-10))/((-5)/(-25)). Suppose 0*q - 3*f + u = 5*q, -58 = -2*q - 5*f. Does 15 divide (-416)/(-14) - q/(-119)?
True
Is 15/(-2 + (-12)/(-5))*(-54)/(-5) a multiple of 5?
True
Let t be 6/(-60)*-2368 - (-4)/(-5). Does 12 divide t - -4 - 0/4?
True
Let x be (-16)/72 + (-76)/(-18). Let i(y) = 61 + x*y - y - 4*y - 49. Does 5 divide i(-7)?
False
Suppose -590*p + 704*p = 300846. Is p a multiple of 91?
True
Let m be 6/10 - 4706/(-65). Suppose -m*t + 92*t = 1957. Does 8 divide t?
False
Suppose -2*w - 99 = -c, w + 10*c - 5*c + 77 = 0. Suppose -n + 3*n = 5*d + 264, 4*n + 3*d = 502. Let f = w + n. Is 25 a factor of f?
True
Is (-150029)/759*-3*94 a multiple of 47?
True
Suppose -88920 = -979*d + 970*d. Does 8 divide d?
True
Suppose 42*l - 1458 = 39*l. Let d = l + -288. Is d a multiple of 17?
False
Let l be (1 - 0)*(-1)/((-3)/99). Suppose 2*k = 5*b + 4*k - 379, 5*b + 5*k = 385. Let s = l + b. Is s a multiple of 36?
True
Let t = -4095 + 6768. Is 99 a factor of t?
True
Let p(d) = 7*d + 23. Let r(q) = 6*q + 24. Let o(n) = 4*p(n) - 5*r(n). Let t be o(-12). Is t/10 + (-1530)/(-75) a multiple of 2?
True
Let u(w) = -3*w**3 + 2*w**2 + 2*w + 1. Let c be u(-1). Let v be ((-8)/c - -1)*-2. Suppose -v*h - 4*l = -41 - 47, -l = 5. Is h a multiple of 18?
True
Suppose 58 = 3*h - 5*s, -17*h + 16*h + 16 = -s. Suppose -19*a = h*a - 59370. Does 12 divide a?
False
Suppose -6*z - 63 = -93. Suppose -5*s + 5*y + 355 = -145, 0 = -3*s + z*y + 308. Is 48 a factor of s?
True
Let v(i) = -20*i + 70. Let q(o) = -21*o + 70. Let b(f) = -5*q(f) + 4*v(f). Does 32 divide b(22)?
True
Let p(j) = 35*j - 29. Let r(z) = -70*z + 62. Let k(h) = 13*p(h) + 6*r(h). Suppose 0*w = 4*w - 12. Is 20 a factor of k(w)?
True
Suppose -99 = 15*u + 96. Let f(c) = c**2 + 3*c - 2. Is 21 a factor of f(u)?
False
Suppose -2*i - i + t + 65 = 0, 3*t - 57 = -3*i. Suppose -22 = -n - i. Is -1 + n + 1 - (-210)/10 a multiple of 4?
False
Suppose 27739 = 24*f - 39*f + 333514. Does 45 divide f?
True
Let k = -3 - -6. Let y be ((-1)/10*-8)/(2/5). Suppose 3*q = -2*m + 241, -y*q + 0*m + 152 = -k*m. Does 8 divide q?
False
Suppose 5*d - 25287 = 3*a, 4*d + 37*a = 34*a + 20235. Does 17 divide d?
False
Let z(t) = 8*t**3 - 4*t + 5. Let a be z(2). Let y be a*5 - (19 - 18). Suppose -3*b - 4*k = b - 384, -y = -3*b + k. Is 43 a factor of b?
False
Suppose -94*v - 286 = -105*v. Suppose -4*t + 3*d = -176, v*t - 2*d - 180 = 22*t. Is 6 a factor of t?
False
Let m = 16777 - 9941. Does 4 divide m?
True
Suppose 3*h + q - 135 = -2*h, -108 = -4*h - 3*q. Suppose h*t + 648 = 35*t. Does 52 divide t?
False
Let r be 1*-10*(-15 - -3). Does 3 divide ((-216)/10 + 0)/((-18)/r)?
True
Suppose 22*d = -119896 + 317676. Is d a multiple of 62?
True
Let n = -5 + 10. Let m(s) = s**2 - 3*s - 6. Let x be m(n). Suppose 0 = -3*g - g + l + 335, 0 = -g + x*l + 80. Is g a multiple of 21?
True
Let j(a) = -71*a + 247. Let p(v) = 142*v - 492. Let r(f) = -13*j(f) - 6*p(f). Does 23 divide r(7)?
False
Suppose -5*u + 3*u + 1080 = 2*c, c - 1080 = -2*u. Suppose 7*p + u = 11*p. Does 5 divide p?
True
Let k(v) = -18*v + 2*v + v**2 - 7 - 13*v. Let j be k(28). Does 2 divide ((-21)/12)/(-3 - j/12)?
False
Let w(n) = -3*n**2 + 5*n - 7. Let r be w(2). Does 15 divide ((-3)/r)/(1/1665)?
True
Let z(b) = -2*b + b - 3*b - 31 + 61. Let f(a) = -a - 1. Let n(c) = -3*f(c) + z(c). Does 12 divide n(-15)?
True
Let z(d) = d**2 + 2*d + 12. Let q be z(3). Suppose -8*v + 13 = -q. Suppose 0 = v*i + 3*k - 575, 0 = -5*i + 4*i + 3*k + 115. Does 18 divide i?
False
Is (-17)/187 - 271748/(-44) a multiple of 32?
True
Does 27 divide 12*(-2 - 108427/(-33)) + (-2 - -10)?
False
Suppose 6546 = -263*s + 244*s + 126246. Does 100 divide s?
True
Let f(b) = b**2 - 8*b - 4. Let g be f(9). Suppose 2*y = 2*u + 14, -g*y + 4*u - 9 = -39. Suppose y*l = -7*l + 117. Is 13 a factor of l?
True
Let y(j) = j**3 + 20*j**2 + 6*j + 5. Let i be y(-9). Suppose z = 4*l + 532, 3*l = z - i + 310. Does 14 divide z?
True
Let n = -2308 - -3908. Is n a multiple of 16?
True
Let j be -6*(-1 - (-6)/9) + 23. Let r(o) = 10*o - 20. Does 10 divide r(j)?
True
Let b = -21 + 24. Suppose 0*j = 5*g - 5*j - 40, b*j = g - 10. Suppose -g*z - 2*q = -2*z - 259, q - 2 = 0. Is 17 a factor of z?
True
Is -114*((-15)/(-10))/((-22)/748) a multiple of 4?
False
Let o = 49 - 88. Let v = 42 + o. Suppose 225 = 4*k - 5*i, -5*k + v*i = -109 - 169. Is 5 a factor of k?
True
Suppose -4*m - 2*k + 2697 + 5141 = 0, 5*k + 5 = 0. Is m a multiple of 20?
True
Let t(v) = -3*v**2 - 81*v - 41. Let y be t(-28). Let p = y - -255. Is p a multiple of 26?
True
Suppose -2*p - 31 = -4*y - 11, 4*y + 3*p = 0. Let w(c) = 114*c - 63. Does 34 divide w(y)?
False
Suppose 80*c = 51*c + 23316. Is c a multiple of 5?
False
Let v be (2 - 5/3)/((-2)/(-12)). Suppose 2*t = -2*o - 2*o + 526, 0 = o + v*t - 130. Suppose 5*l - o = 78. Does 21 divide l?
True
Suppose -5*n - 6*i = -i - 585, -3*i = -5*n + 577. Let v = n - 58. Does 5 divide v?
False
Suppose 261*t - 265*t = 5*m - 7245, 0 = -2*m + t + 2885. Does 190 divide m?
False
Suppose 3*p - 9604 = -2*r, 18757 = 4*p - 5*r + 5967. Does 10 divide p?
True
Suppose -34*f + 36*f - 18216 = -d, -27322 = -3*f - d. Is 181 a factor of f?
False
Let a = -2255 - -4152. Is a a multiple of 7?
True
Suppose 7*o = -5*o - 2*o + 7140. Does 30 divide o?
True
Let n(y) = -y**2 - 4*y**2 + 11*y + y**3 - 8*y + 9. Let r be n(4). Suppose 5*m - 125 = -3*t + t, -2*t + r*m + 95 = 0. Does 20 divide t?
False
Let r be (2/(-16))/(-1) - 4/32. Suppose r = -8*i + 689 - 185. Is i a multiple of 21?
True
Is 6 a factor of (2/((-4)/5))/(1939/(-20789958))?
False
Let s = 2 - 0. Suppose -s*d = -10, -t - 4*d = -21 + 5. Let o = t - -10. Is 3 a factor of o?
True
Let g(q) = q**2 - q - 42. Let i be g(-6). Suppose i = -3*u, -4*u - 12 = a - 39. Does 9 divide a?
True
Let n be 35*(4 + -5 - (-16)/10). Let a be (-56)/6*5/(70/n). Let i(k) = k**2 + 8*k - 27. Is 12 a factor of i(a)?
False
Let m(g) = -162*g + 210. Let p be m(-7). Does 15 divide p/15 + (119/35 - 3)?
True
Let l(o) = o**3 - 16*o**2 + 103*o - 218. Is l(29) a multiple of 17?
True
Is 14 a factor of 3 - (1 - 12) - -41356?
True
Let t be (-2)/(-9) - 1*(-604)/36. Suppose a - 3*a = -3*l + 9, l - t = -4*a. Is 26 a factor of ((-26)/l)/(2/(-60))?
True
Is 16 + 12*25195/15 a multiple of 82?
True
Let l(m) = m**2 - 5*m - 2. Let k be l(5). Let v be 94 + (k/(-2))/((-1)/2). Suppose 2*t + v = q + 7*t, 5*q - 430 = 5*t. Does 28 divide q?
False
Let d = 105 - -59. Suppose -3*b - 3 = 3*t, -3*b - 12 = 2*t - 7. Suppose 2*z - 7*z + 272 = 2*y, -3*z - t*y + d = 0. Does 9 divide z?
True
Let c(w) = 3*w**3 - 11*w**2 + 15*w + 27. Let k be c(9). Is 68/(-6)*(9 - k/12) a multiple of 85?
True
Let g(j) = j**3 + 7*j**2 + 6*j + 2. Let b be g(-6). Let c be 8/b + (-9 - -30). Is 4 a factor of (c/(-15))/(4/(-12))?
False
Let y(k) = -2*k + 20. Let i be y(13). Is 17 a factor of i - (-402)/12*4?
False
Let n = -2889 - -11279. Is 24 a factor of n?
False
Suppose -z - 158 = -3*z + l, 0 = z - 5*l - 97. Suppose 0 = 7*f - 938 + z. Suppose 11*s - f - 97 = 0. Is s a multiple of 5?
True
Let b = -376 + 356. Let s = 575 - b. Is 61 a factor of s?
False
Let g(y) = 2*y + 51. Let o be g(-24). Suppose 2*w + 14 = -5*a + 406, -o*a = 2*w - 232. Suppose -3*k - 4*d + 94 = d, 2*k - a = d. Is 23 a factor of k?
False
Let q be 3036/4*1*-1*1. Is 7*q/(-12) + 36/(-48) a multiple of 13?
True
Suppose -2*a + 62 = -168. Suppose -49 - a = -2*p + 3*w, 4 = -w. Is p a multiple of 19?
True
Suppose 0 = 4*n + 5*s - 6805, -n - 8503 = -6*n - 3*s. Does 8 divide n?
False
Suppose -40*k = -2566 - 434. Suppose 0*r + 2*r + 101 = t, 0 = -2*t + 5*r + 206. Let s = t - k. Is s a multiple of 6?
True
Let t(f) = -15*f**3 + 2*f**2 + 8*f + 6. Let h be t(-3). Suppose 4*i - h = -i. Suppose 0 = 3*x - i - 126. Is x a multiple of 13?
False
Let k = 79 - 63. Let o be k/10*-20*(-3)/24. Is (o + 13/(-2))*34/(-5) even?
False
Let k(j) = j**2 + 78*j + 18454. Is 86 a factor of k(0)?
False
Let c be (-248)/(-18) + 12/54. 