u?
True
Let c = 35 + -32. Suppose -c*h + 8 = h. Suppose 0 = -4*u - 3*n - 28 + 240, -5*u + 265 = -h*n. Is 12 a factor of u?
False
Suppose 3*d = -7 + 4. Let f(y) = 29*y - 1. Let t be f(d). Is ((-6)/10)/1 - 1788/t a multiple of 3?
False
Suppose 261*q + 453695 - 5111333 = 820230. Is q a multiple of 106?
True
Suppose -7*k + 8 - 134 = 0. Let h be (27/(-6) + 0)*48/k. Suppose h*d = 3*d + 126. Does 2 divide d?
True
Let t be 0 + (-2)/6 - 7952/(-42). Is 13 a factor of t - ((7 - -1) + -14)?
True
Let p be -15 + 22 + (-3 - 6). Does 2 divide p/((-60)/8 + 7)?
True
Suppose 0 = 4*a - 3*k - 22, 5*a = 3*a - 4*k + 22. Let s be 3 + 66/(-21) + 15/a. Suppose -s*g + 3*l + 58 = -g, -5*l = -4*g + 218. Is 14 a factor of g?
False
Suppose 3*v - 4*u = 28244, 5*v - u = -6*u + 47015. Suppose -32*f + v = -11*f. Does 64 divide f?
True
Suppose 5*z = -3*n + 134, -3*z = -6*z - 2*n + 80. Suppose -z*p = -19*p - 2952. Is p a multiple of 15?
False
Let s = 466 + 86. Suppose -2*x = -j - 2*j - 274, -s = -4*x + 5*j. Does 11 divide x?
True
Suppose 157 = 11*y + 839. Let d = y + 64. Suppose -d*g + 180 - 60 = 0. Does 30 divide g?
True
Let o = 17752 + -12160. Does 8 divide o?
True
Suppose 2*r - 45*v - 43628 = -49*v, 2*r = 5*v + 43610. Is r a multiple of 16?
False
Suppose 5*z = 5*p + 55995, 3*p - 26240 - 18549 = -4*z. Does 22 divide z?
True
Let t be 40/(-280) + (72/14 - 0). Suppose 0*h - 1716 = -4*h + n, -429 = -h + t*n. Is h a multiple of 11?
True
Suppose -45 = 18*g - 117. Suppose 4*h = -g*d - h + 1199, -302 = -d + h. Is 7 a factor of d?
True
Let n be 1*2/(-2) + (-4)/(-4). Suppose n = -4*r - 8, u + 0*r = r + 14. Is u/(-12) - (-43 - -1) a multiple of 8?
False
Suppose -m + 3*r + 38 + 337 = 0, 4*m - 1508 = 4*r. Suppose 126 = 3*u - m. Is u a multiple of 9?
False
Let s(b) = 16*b**2 - 3*b + 19. Let g(o) = 81*o**2 - 15*o + 95. Let n(y) = -2*g(y) + 11*s(y). Is n(-5) a multiple of 24?
True
Let z(y) = -y + 9. Let c be z(9). Suppose u + p + 55 = 0, u + 4*u + p + 291 = c. Let d = -36 - u. Is 9 a factor of d?
False
Does 13 divide (-6 - -1) + 2 - (238/(-17) + -3941)?
True
Let v(t) = 81*t**2 - 3*t - 5. Let y(x) = -484*x**2 + 17*x + 29. Let q(s) = -34*v(s) - 6*y(s). Is 23 a factor of q(-3)?
False
Suppose -2*i - 1608 = -2*j, 2*i + 4002 = 5*j + 3*i. Suppose j - 5085 = -12*p. Is p a multiple of 21?
True
Suppose 4*k - 2*k - 422 = 0. Let i = k + -122. Is i a multiple of 9?
False
Suppose 3*n + 828*z = 833*z + 28777, -n = z - 9571. Is 21 a factor of n?
False
Let w be (-14 + 14 + (-2)/5)*-5. Suppose 2*i + 12 = 2*h + 2*h, w*i = -3*h + 2. Suppose h*v = -v + 168. Does 23 divide v?
False
Let u = 40365 - 22917. Does 24 divide u?
True
Let a(n) = 590*n**2 - 93*n - 3. Is 2 a factor of a(-2)?
False
Suppose 5938 = 25*q - 2437. Let v = q + -88. Does 19 divide v?
True
Suppose 8*n - 856 - 1040 = 0. Let o = 327 - n. Is o a multiple of 5?
True
Let f(k) = -k - 7. Let y be f(-8). Is (-490)/(y - 7 - -5) a multiple of 70?
True
Let g be (-2)/((-32)/(-1830)) - 66/(-176). Does 18 divide g/(-285) + ((-2154)/5)/(-3)?
True
Suppose -24 = a - 104. Suppose -3*j = 3*l - 720, 4*j = -l + 880 + a. Suppose j = 72*c - 68*c. Is c a multiple of 8?
False
Let a = -4631 - -28691. Does 30 divide a?
True
Let q(c) = -c**2 - 22*c - 48. Let b be q(-3). Let a(s) be the third derivative of -s**5/60 + 5*s**4/12 + 2*s**3 + 4*s**2. Is a(b) a multiple of 10?
False
Does 13 divide (-26)/((-2)/(-1171)*(32/8 + -5))?
True
Let f(p) = 22*p - 32*p + 2*p**2 - p**2 + 19. Is f(17) a multiple of 24?
False
Let g be (-2)/(((-12)/27)/(6/9)). Suppose 2*z + 9 = z - 4*s, g*z - 3*s - 18 = 0. Suppose 3*v - z*d - 72 = 0, -2*v = 3*v + d - 120. Is 12 a factor of v?
True
Let n = 232 + 30. Let m = n + 36. Is 15 a factor of m/(3/((-3)/(-2)))?
False
Let l be (-7)/((-126)/132)*45. Does 3 divide (-8316)/l*(-10)/6?
True
Let i be (12/9)/(1/3). Suppose 10*a = i*a. Suppose a = -6*m + 62 + 310. Is m a multiple of 29?
False
Suppose -4*r - 20980 = -60724. Does 48 divide r?
True
Suppose 0 = -2*h + m + 29250, 2*h - 29256 = -11*m + 15*m. Is 27 a factor of h?
False
Is 8 a factor of 46421/1 + (8/2 - -5)?
False
Suppose 5*x + z = 24, 9 = 2*x - 2*z + 3*z. Suppose 5*v - 3*a = 6*v - 197, -x*v - 3*a = -997. Is 20 a factor of v?
True
Suppose -23 - 33 = 8*b. Let n = 49 + b. Does 9 divide (-2 - -2 - -1)*(1 + n)?
False
Let v be ((-9)/12)/(9/(-60)). Suppose v*w - 1313 = 992. Suppose j - 88 = 4*c, 0 = 5*j - 2*c + 3*c - w. Does 10 divide j?
False
Suppose 3673*k - 3669*k - 6336 = 0. Is 22 a factor of k?
True
Suppose -2*w + 4*b + 586 = 0, -4*w + 434*b + 1160 = 438*b. Is 66 a factor of w?
False
Let n(j) = -3*j + 6. Let y be n(2). Suppose y = 7*f - 10*f + 6. Suppose -3*a - 228 = -2*t - f*t, -4*t - 4*a = -200. Is t a multiple of 18?
True
Suppose -m + 8 - 6 = 0. Is -1 - m*1365/(-10) a multiple of 34?
True
Suppose 3*d + 3*y = 15, 3*d + 4*y - 2*y = 17. Does 57 divide ((-24246)/45)/(d/(35/(-2)))?
False
Let k = -66 + 67. Is 63/(52/48 - k) a multiple of 21?
True
Let w = -718 - -1563. Let i = -516 + w. Does 7 divide i?
True
Let m(h) = -2*h**3 - 9*h**2 + 7*h - 67. Let r(i) = i**3 + 5*i**2 - 3*i + 33. Let c(k) = -3*m(k) - 7*r(k). Is 17 a factor of c(-10)?
True
Let t(u) be the first derivative of 23*u**2/2 + 20*u + 74. Does 7 divide t(2)?
False
Suppose 12486*h + 14517 = 12495*h. Is h a multiple of 108?
False
Suppose 3*n = 12*n - 17217. Let c = n - 1213. Suppose -15*p + c = -10*p. Is p a multiple of 35?
True
Suppose -11*j = -14*j + 42. Suppose -21 = -3*a - x - 2*x, 16 = 3*a + 2*x. Let q = j - a. Is 3 a factor of q?
True
Suppose -3*t - 183 = -2*r + 2*t, -5*t - 435 = -5*r. Is r a multiple of 7?
True
Does 7 divide (353*(-6 - (-39)/6))/((-10)/(-560))?
True
Suppose -28*m + 44470 = -104507 - 40583. Is 5 a factor of m?
True
Let u(y) = 734*y**2 - 31*y - 9. Does 43 divide u(-2)?
False
Let z(a) be the second derivative of a**4/6 + 7*a**3/6 - 115*a**2/2 + 158*a. Is z(11) a multiple of 7?
False
Let u be (-102)/(-25) + (-16)/200. Is 28 a factor of ((-2)/u)/(59/(-107852))?
False
Let k = -29 - -39. Let v = k + -2. Suppose -13 + 197 = v*q. Is q a multiple of 5?
False
Let u(z) = -z**2 - 16*z - 25. Let k be u(-14). Suppose -2*w - k*i = -w - 54, w + 4*i = 52. Is w a multiple of 10?
True
Let v(m) = 5*m**3 - 31*m**2 + 71*m - 80. Let f(q) = 2*q**3 - 10*q**2 + 24*q - 27. Let n(g) = -8*f(g) + 3*v(g). Is n(-15) a multiple of 7?
False
Let k(x) = -2*x**3 - 9*x**2 - x + 4. Let j = 42 + -48. Let t be k(j). Suppose 0 = -l + 3*l + 2*s - t, 307 = 5*l + 2*s. Is 21 a factor of l?
True
Let k be 285/75 + 3 + 14/(-5). Suppose -2*l + 3*j - 5 = -0*j, 0 = -4*l - k*j + 40. Does 4 divide l?
False
Let r(j) = -441*j. Let t(c) = 55*c. Let d be (75/6)/5*396/30. Let q(o) = d*t(o) + 4*r(o). Is 34 a factor of q(2)?
True
Suppose 0 = -3*k + 4*x - 9*x + 1, -x + 3 = 2*k. Suppose 1063 = k*d - 739. Is d a multiple of 55?
False
Let k be (2/5)/((-34)/(-2125)). Suppose k*g - 12*g = 273. Does 3 divide g?
True
Let b(c) be the first derivative of -13*c**5/120 + 9*c**4/8 - 11*c**3 - 14. Let l(n) be the third derivative of b(n). Is l(-4) a multiple of 36?
False
Let j be 1*2*2*15/12. Suppose -4*a + 0*s + 827 = -s, 0 = j*a - 2*s - 1030. Does 13 divide a?
True
Suppose -54*r + 35803 + 5993 = 32*r. Is r a multiple of 6?
True
Suppose -24 = -9*o + 5*o. Let g be (-8)/(-12)*(o - 3). Suppose 3*s + i = -4*i + 187, g*i = -8. Does 11 divide s?
False
Let n(q) = 107*q + 22. Let o(z) = -109*z - 22. Let l(g) = -3*n(g) - 2*o(g). Is l(-4) a multiple of 30?
True
Let p(k) be the third derivative of 23*k**4/24 - 5*k**3/2 - 17*k**2. Is p(8) a multiple of 13?
True
Let a = 59659 + -33416. Does 264 divide a?
False
Let a(z) = -z**3 + 14*z**2 - 16*z - 33. Does 9 divide a(10)?
True
Is 19731/(-2)*(-20 + 29 + 116/(-12)) a multiple of 101?
False
Let i(u) = 39*u**2 + 24*u + 22. Is 65 a factor of i(11)?
True
Let q be (-88)/(-308)*(-6 + -1). Does 105 divide ((-210)/q)/(-6 - 104/(-16))?
True
Let d be 0/(-2)*(-4)/8. Suppose 7*i - 825 - 1506 = d. Does 9 divide i?
True
Let p(k) = -21*k**2 - 4*k - 31. Let a be p(20). Does 38 divide a/(-21) + 12/(-42)?
False
Let p(k) be the first derivative of -65*k**2/2 - 15*k + 21. Let r be p(-11). Suppose r = 4*g + 5*z, 2*g - 6*z + 3*z - 350 = 0. Does 34 divide g?
False
Is 460536/33 + 200/75*(-9)/(-66) a multiple of 3?
True
Suppose 2*j + 770 = -3*o, 0 = -8*j + 4*j + 3*o - 1504. Let h = 559 + j. 