se 226*a + 128 = 230*a. Is y(a) a multiple of 23?
False
Suppose 0 = 36*k - 286734 - 166866. Does 225 divide k?
True
Suppose -4*d = 20, 3*g + 34 = 41*d - 37*d. Does 4 divide 2/g - (-39333)/189?
True
Suppose 0*t + 4*t - g - 420 = 0, 4*t + 5*g - 396 = 0. Let f = 71 - t. Let w = 36 + f. Is 3 a factor of w?
True
Let h(s) = 424*s + 6. Let w be h(-1). Let d = w - -464. Does 3 divide d?
False
Suppose 776 = -4*y + 3*a, -2*y - 4*a = -a + 370. Let m = y + 200. Is 6 a factor of m?
False
Suppose -p + 15501 = 5*y, 12388 = 4*y + 52*p - 48*p. Does 6 divide y?
False
Let w be (-55 - 6/(-3))/(0 - 1). Suppose 5*f + 5*u = 280, -2*u - w = -0*f - f. Let j = f - 39. Does 9 divide j?
False
Let d = -1264 - -748. Let y = d + 992. Does 14 divide y?
True
Let g(n) = -n**3 - n**2 - n - 1. Let f be g(-1). Suppose -4*v + 12 + f = 0. Suppose -5*d + 600 = h, v*d + h - 240 = d. Is 24 a factor of d?
True
Suppose 29760 = -135*r - 16005. Suppose -2*k - 3*z - 1105 = 0, -5*z = 4*k - 3*k + 535. Let v = r - k. Does 12 divide v?
False
Suppose 0 = h - 3*q - 6557, -5 = q + 1. Does 8 divide h?
False
Let y = -4435 - -6497. Is y a multiple of 29?
False
Let v be 6 - (5 + 5 + -8). Suppose 8*z - 3*z = v*f - 256, 320 = 5*f - 4*z. Is f a multiple of 17?
False
Suppose -4*c + 6*c + 2*c = 0. Suppose -30*z + 27*z + 357 = c. Is 51/z + -5*(-33)/7 a multiple of 8?
True
Suppose -29*v + 8 = -27*v. Suppose -23 = -k - 21, v*r - 4246 = k. Does 59 divide r?
True
Suppose 8 - 3 = 5*g. Let h(j) = j**3 + 13*j**2 + 2*j + 32. Let y be h(-13). Is (-11 - -14)/(g/y) a multiple of 18?
True
Let y(o) = 161*o + 4097. Is y(62) a multiple of 19?
True
Let h(u) = u**2 - 8*u + 750. Let p be h(0). Let i = -633 + p. Is i a multiple of 3?
True
Let x(q) = -q**3 + 107 + 0*q**2 + 2*q - 11 - 2*q**2. Let u = 5723 - 5723. Is x(u) a multiple of 8?
True
Is 59 a factor of 104/(-182)*1085/6*-15?
False
Let u = 236 + 179. Is 9 a factor of u?
False
Suppose 5*i = -2*p + 4*p - 31, -2*p - 5*i = 19. Suppose -10 = 3*o - 5*o. Suppose -o*r = -r + s - 964, 0 = -p*r - 3*s + 732. Does 12 divide r?
True
Suppose 18*m + 33*m - 44*m - 69384 = 0. Is m a multiple of 9?
False
Let b(x) = 33036*x**2 + 143*x + 5. Is b(1) a multiple of 16?
True
Let b(h) = 8*h - 8 + 2*h + 22 - h**2. Let i be b(11). Is 15*(2 + i)/5 a multiple of 15?
True
Suppose 4*o = 2*a - 954, o = 3*a + 166 - 1597. Is 5 a factor of a?
False
Let c = -7 - -39. Let y(f) = -18*f + 260. Let v be y(15). Let k = c + v. Is k a multiple of 11?
True
Let q be -1*1 + -3 + 5. Let r be q + (-8)/12*-3. Suppose 94 = -r*w + 304. Does 9 divide w?
False
Let w be -16*(212/53 - (-27)/(-2)). Let n = 592 + w. Is 24 a factor of n?
True
Let v be 18*1 - (1 - 4 - 1). Let m(h) = 4*h - h + 8*h - 3*h - 52. Does 9 divide m(v)?
False
Let z = 61 - 50. Let p(c) = 69 + 47 + 0*c - z - 5*c. Is 30 a factor of p(0)?
False
Suppose -2250600 - 1220966 = -112*x + 147042. Is x a multiple of 53?
False
Suppose -93*x = -92*x - 1428. Suppose 13*k - 20*k + x = 0. Is k a multiple of 68?
True
Let x(v) = -5*v**2 - 37*v - 8. Let m be x(-7). Suppose 0 = -13*g + 10*g - 3*h + 5025, -3*h = m. Is 43 a factor of g?
True
Let h be 3*8/(-12) + -8 + 4. Let f be -10 + (-7)/(21/h). Is 4 a factor of (-9)/(-11) + f/(-44) - -3?
True
Let l(n) = 12*n - 4*n**2 + 14*n**3 - 6127 + 6109 - 13*n**3. Let t be 5 + (1 + 0)/1. Is l(t) a multiple of 9?
True
Let j be ((-2)/(-6))/(40/6600). Suppose -u + 2*t + 3*t + 76 = 0, 0 = u + 2*t - 97. Suppose -2*c + j = -u. Is c a multiple of 19?
False
Let d = 18812 + -7634. Is 7 a factor of d?
False
Let h = -7014 + 8600. Is 26 a factor of h?
True
Let i be -1*(-4)/(-6)*-3 + 29. Let t = 28 - i. Is 18*(0 - 34/t) a multiple of 12?
True
Let h = 3468 + -1817. Suppose 14*y - h = y. Does 10 divide y?
False
Let r be 1*(-3)/((-15)/(-35)). Is 74/(-259) - 2347/r a multiple of 21?
False
Suppose 0 = 39*u + 72*u - 863136. Is u a multiple of 16?
True
Let n(s) = -6*s + 1. Let o be n(1). Let z(d) = -d**3 - 6*d**2 - 8*d - 13. Let r be z(o). Suppose -l - r*l + 75 = 0. Is l a multiple of 6?
False
Let f be 2*-1 - (-15)/3. Suppose f*y + 458 = 2*q - 567, 0 = -2*q + y + 1035. Is q a multiple of 13?
True
Suppose 30*l + 17 - 77 = 0. Let f = -407 + 754. Suppose -2*m + 288 = 2*r, f = 4*r + l*m - 219. Is r a multiple of 17?
False
Let r be 2/(-4) - 14/(-4). Suppose 3*a + 5*v - 1433 = -0*a, 1443 = 3*a + 3*v. Suppose r*j = a - 60. Does 27 divide j?
False
Does 22 divide (-1 - -2485) + ((-1)/5)/(60/(-900))?
False
Let g be (-1 - -27)*((-15)/6)/(-5). Let l(c) = 20*c + 13. Is 39 a factor of l(g)?
True
Let u = -192 + 336. Let s = u + -120. Is 3 a factor of s?
True
Let x = 577 + -573. Suppose 0 = 2*w + 4*f - 110, 0 = x*w - 0*f + 5*f - 208. Is w a multiple of 5?
False
Suppose -3*s = -4*g - 52978, 3*g = 2*s - 6011 - 29309. Is s a multiple of 14?
True
Let m(j) = 6*j**2 - j - 1962. Let q be m(0). Is 17 a factor of 130/4*q/(-45)?
False
Suppose -35*y = -33*y + 12. Is 9 a factor of (10/y)/((-13)/3510)?
True
Suppose 54 = -4*o - 3*b + 51, -1 = -3*o + b. Suppose o = d - 2*r - 578 - 61, d - 634 = -3*r. Does 49 divide d?
True
Let q(m) = -2214*m + 189. Does 55 divide q(-3)?
False
Suppose 3*s + 7 - 1 = 0. Let m be 0 + s - (4 + 5751). Does 13 divide 1*(-1)/2 + m/(-114)?
False
Let g(c) = -2*c**3 + 12*c**2 + 2*c - 8. Let l be g(6). Does 24 divide ((l - 5) + -608)*(-2)/6?
False
Let z(x) = 1850*x**2 + 26*x + 44. Let t be z(-2). Suppose t = 42*k - 34*k. Does 77 divide k?
True
Suppose -260*u + 177*u + 130*u - 379760 = 0. Is u a multiple of 25?
False
Let s(c) = 9*c**2 - 8*c - 83. Let f(u) = -3*u**2 + 3*u + 28. Let j(b) = 11*f(b) + 4*s(b). Is j(-15) a multiple of 48?
False
Let d = 138 + -133. Suppose -d*g - 528 = -3*n - g, 4*n - 676 = -4*g. Does 22 divide n?
False
Suppose 5*y + 4*d = 5, d = y - 0*d - 10. Is 24 a factor of (-5 + (-740)/(-25))*y?
False
Let o(g) = 4091*g**3 + g**2 - g + 1. Suppose -3*s + 3 = 5*m, 2*s + 0*m = -4*m + 2. Let p be o(s). Is 17 a factor of p/48 + 1/(-4)?
True
Suppose 0 = -8*j - j + 189. Let x be 7/j - (-11)/3. Suppose 0 = 3*r - r - 10, x*o - 37 = -r. Is o a multiple of 2?
True
Let h be ((-3)/2)/(8/(-16) + 0). Suppose -3*o - 9 = 0, -197 = -4*x - 0*o + h*o. Is x a multiple of 41?
False
Suppose -7*t + 10*t = 15, 2*b = t + 13. Suppose g + 810 = -b*g. Let c = g - -113. Is c a multiple of 4?
True
Suppose 9166 = k - 0*k + b, -6*b = -5*k + 45874. Is k a multiple of 4?
False
Let r(c) = 119*c - 77. Is 7 a factor of r(31)?
True
Let r(v) = 6*v**2 + 3*v - 1504. Is 76 a factor of r(-28)?
True
Let k = 2963 - 2739. Is 4 a factor of k?
True
Suppose 11*r + 2*f = 12*r - 324, -3*f - 1578 = -5*r. Is r a multiple of 4?
True
Suppose 0 = 10*o - 11*o + 2. Suppose 2*l - 7*q + o*q = 990, 3*l = 4*q + 1499. Does 70 divide l?
False
Is 2 a factor of 3/((-21)/(-14840)*4)?
True
Let l(p) = -p**3 - 6*p**2 - 10*p - 5. Let f = -8 - -32. Let t be f/(-16) - (33/2)/3. Is 19 a factor of l(t)?
True
Let g(v) = 10440*v - 770. Does 30 divide g(1)?
False
Let a = 6606 + -5409. Is 21 a factor of a?
True
Let h(m) = 11*m**3 - 18*m**2 + 14*m - 29. Does 107 divide h(9)?
False
Let r be (-12)/8*2*16/(-12). Let i = r - -44. Let x = 34 + i. Is x a multiple of 22?
False
Let b be (-20*10/(-175))/(2/7). Let v be (2/b)/((-440)/(-48) - 9). Suppose 256 = v*g - 584. Is 40 a factor of g?
True
Suppose 88*f - 59*f - 1334 = 0. Suppose 3*j + j = 152. Let q = f - j. Is q a multiple of 4?
True
Let w(k) = -619*k + 117. Does 17 divide w(-10)?
True
Let l(c) = 5*c**2 + 28*c - 7. Let k be l(-10). Let q = k + -103. Is q a multiple of 3?
False
Suppose -3*i = -10 - 2, 3*i + 98 = 5*q. Suppose -3*w + 114 = -4*p, 2*p + 72 = 5*w + q. Is (p/12)/((2/(-12))/1) a multiple of 15?
True
Let h = 19748 + -113. Is h a multiple of 11?
True
Suppose 4*a - i - 1132 = -2*i, 3*a - 830 = 4*i. Is a even?
True
Suppose -20*h - 5745 = -23*h. Suppose h + 664 = 5*r + 4*o, -o + 2591 = 5*r. Let u = -343 + r. Is u a multiple of 21?
False
Suppose -5*o = -4*v + 23, 5*v = -5*o + 63 - 23. Suppose 0 = -g - 1, -12*z + 3*g = -v*z - 893. Is 6 a factor of z?
False
Suppose d + 4 - 15 = 0. Let l = 15 - d. Suppose -k + 2*x = 4*k - 258, l*k - 2*x = 206. Is 8 a factor of k?
False
Let r be (-6 - -4)/(4/474). Let i = 279 + r. Does 2 divide i?
True
Let l(h) = 4724*h - 2097. Is 105 a factor of l(3)?
True
Suppose 0 = -4*x - 12, 2*n + 7*x - 12*x = 4057. Is 66 a factor of n?
False
Let g(a) = -23*