4 = -4*h, h + 4*h = -3*q + 247. Is q a multiple of 8?
False
Let o = -54 - -62. Let m = 4 + o. Suppose r - 65 = -m*r. Is r a multiple of 5?
True
Suppose 9*h - 4*h + 95 = 0. Let a(k) = -k - 16. Let g be a(h). Suppose -2*y = -3*m - 117, -4*m + 227 = 4*y - g*m. Is y a multiple of 57?
True
Let k = 23 + -23. Let q(n) be the first derivative of n**4/4 + 141*n + 46. Does 22 divide q(k)?
False
Suppose 32119 = 37*k + 10067. Let t = -106 + k. Is t a multiple of 10?
True
Is (-80)/72*-9 + 2047 a multiple of 35?
False
Let v = -105 + 115. Suppose -2*q + v = 3*h, 2*h - 3*h + 25 = 5*q. Suppose -d + i + 77 = 0, h = -0*d + 4*d + i - 293. Is d a multiple of 19?
False
Suppose -p + 12 + 7 = 3*x, 2*p = -5*x + 33. Let q be (p/5)/((-4)/690). Let y = 210 + q. Is 8 a factor of y?
True
Let l(i) = -2*i - 4. Let k be l(-31). Let x = k - -6. Is 9 a factor of x?
False
Is (753/(-2) - (45 - 40) - -5)*-82 a multiple of 41?
True
Let j be (54/24)/(6/(-32)). Does 12 divide (-324)/(-1*3/j*-3)?
True
Suppose -5*p + 816 = 4*g, 4*p + 6*g - g - 651 = 0. Let n = p + -118. Is 10 a factor of n?
False
Suppose -68*v + 86*v = 0. Suppose v = 2*x - 206 - 70. Is 6 a factor of x?
True
Let g be (-32)/(6 - (-13)/(-2)). Let i = 222 + g. Does 20 divide i?
False
Let t be (-5)/25 + 99/(-5). Let b = t + 22. Suppose -b*o + r + 38 = 0, 14 = -0*o + o - 3*r. Is o a multiple of 12?
False
Let b = 695 + -707. Is (b/10)/((-1538)/(-385) - 4) a multiple of 10?
False
Let b = 44 - 42. Suppose -x + b = 346. Let s = x - -530. Does 15 divide s?
False
Suppose -26*x + 4571 = -145189. Suppose -10*q = 6*q - x. Is q a multiple of 8?
True
Let c(p) = -4*p + 29. Let o be c(7). Let r = 40 + -39. Does 6 divide o/(-2)*r + 177/6?
False
Suppose 24*x = 29*x + 1250. Let g = x + 383. Is g a multiple of 16?
False
Suppose -52*i + 140*i = 63*i + 520125. Is 57 a factor of i?
True
Suppose 4*v + 12 = 0, 3*v - 107849 - 136962 = -5*a. Is 97 a factor of a?
False
Suppose 744*h - 26159813 = 135*h + 480892. Does 39 divide h?
False
Let x be (-2 + 66/(-10))*(0 + -5). Suppose -3*u + x = b - 5*b, -5*b + 46 = u. Let o = 40 - u. Is o a multiple of 3?
False
Suppose -65*d = -53*d - 63468. Is 41 a factor of d?
True
Let q = 2 - -43. Does 2 divide (-153)/(-45) - (-3)/(q/(-6))?
False
Suppose -11*f - 3869 = -1130. Let v = f - -268. Is v a multiple of 16?
False
Suppose 0 = 3*z - 80 - 46. Let a be 1/7 + 288/z. Suppose 30 = -2*o + a*o. Is o a multiple of 3?
True
Suppose 0 = 82*r - 16277 - 27429. Is 8 a factor of r?
False
Suppose 71*m = 75*m + 5*d - 4301, -5*m + 2*d = -5368. Does 6 divide m?
True
Suppose 25 = 5*l - 2*h, -4*l + 3*h + 3 + 24 = 0. Let c be (0/(-6))/4*(-1)/l. Suppose c = 10*d - 874 + 184. Is 25 a factor of d?
False
Suppose 4*a - 26*a = 133263 - 464143. Is a a multiple of 10?
True
Let i(p) = 122*p**2 + 7*p + 7. Let o be i(-1). Let r = o - -166. Does 18 divide r?
True
Let x(w) = 101*w**2 + 23*w - 530. Is x(22) a multiple of 70?
True
Is 4 + 35058/9 + 16/(-48) a multiple of 227?
False
Suppose 0 = -116*k + 115*k + 539. Suppose -3*p = 5*a - 55 + 1, -48 = -4*a - 4*p. Suppose k = -a*h + 16*h. Does 11 divide h?
True
Let g = 6899 + 1583. Is g a multiple of 3?
False
Let m(i) = i**2 - 16*i + 3. Let k be m(16). Suppose 3*d + d = w + 45, -4*w - 180 = -k*d. Does 6 divide (w/10)/((9/(-8))/3)?
True
Let s = 17341 - 12231. Does 14 divide s?
True
Does 4 divide (-1)/(105/(-209550)) - ((-48)/(-28) - 2)?
True
Suppose 0*p - 5*p = 3*g - 19, 2 = 2*g - 2*p. Suppose 5*n - n - 236 = g*u, u = 4. Does 7 divide n?
False
Let k(d) = d**3 + 8*d**2 - 10*d - 27. Let y be -21*4/(-36)*-3. Is 23 a factor of k(y)?
True
Let m(t) = 284*t**3 - 2*t**2 + 25*t - 71. Is 43 a factor of m(3)?
True
Let i(a) be the third derivative of a**7/1260 - a**6/144 + 7*a**5/120 + 5*a**4/8 + 15*a**2. Let m(x) be the second derivative of i(x). Does 7 divide m(5)?
False
Suppose -54*b + 5*a = -53*b - 3073, 0 = -2*b - 4*a + 6076. Is 39 a factor of b?
False
Suppose 21*f = -16*f - 23162. Let l = f - -642. Is 4 a factor of l?
True
Let b(q) = -98*q - 191. Let f be b(-28). Suppose -407 = -8*i + f. Is 47 a factor of i?
False
Let y = 15440 + -9760. Is y a multiple of 355?
True
Let d(c) = c. Let b be 328/(-32) - (-2)/8. Let f be d(b). Is f*(13 + -10 - 82/10) a multiple of 13?
True
Let s = 1409 + 210. Suppose -6*w = s - 4037. Does 13 divide w?
True
Let k(n) = 189*n + 1849. Is 25 a factor of k(9)?
True
Suppose -9*x + 5199 = -55715 + 911. Does 66 divide x?
False
Let g be 3 + (4/8)/((-1)/(-4)). Suppose g = -z, -5*d + z = 3*z - 70. Suppose -d - 20 = -l. Is 7 a factor of l?
False
Let d(y) = 414*y**2 + 4*y + 13. Let w be d(-2). Suppose 23*n - w = 12*n. Does 25 divide n?
False
Let i(m) = -m**2 + 17*m + 26. Let l be i(18). Suppose 0*f - 3*f - 3*a + 27 = 0, 0 = 4*a + l. Let w(k) = -k**2 + 17*k - 54. Does 12 divide w(f)?
True
Suppose -17160 = -80*r - 24*r. Is r a multiple of 10?
False
Suppose 4*y - 1598 = -2*g, 10*g + 2010 = 5*y + 15*g. Does 3 divide y?
False
Let m = 8048 - 3846. Is 12 a factor of m?
False
Let a(f) = 4*f**2 + 73*f + 926. Is a(-34) a multiple of 4?
True
Let o = -41 - -45. Suppose o*p + 4*p - 6800 = 0. Is 85 a factor of p?
True
Suppose 8*w + 34 = 50. Suppose 0 = o - 3*p - 858, 15*p - 10*p = -w*o + 1683. Does 12 divide o?
False
Let n = 839 + -715. Is n a multiple of 31?
True
Let o = 6731 + 229. Is 87 a factor of o?
True
Let b = 234 - 708. Let z = 524 + b. Is 17 a factor of z?
False
Let q be (-1 - 361) + (4 + -44)/(-8). Let f = q + 787. Is f a multiple of 10?
True
Let z = -59 - -64. Suppose 0 = 5*s + 25, 4*l + 65 = -z*s + 740. Is 16 a factor of l?
False
Let o(l) = -749*l**3 - 4*l**2 - 7*l - 22. Does 8 divide o(-2)?
True
Let x(d) = -d**2 - 47*d + 101. Let t be x(-49). Is 34 a factor of 17148/18 + (-2)/9*t?
True
Let q = 1644 - 1169. Is 15 a factor of (18/15)/(1902/q - 4)?
True
Suppose 48195 = 126*a - 9381 - 43098. Is 6 a factor of a?
False
Suppose 12965 = 48*u - 92827. Does 18 divide u?
False
Suppose -11*x + 43132 = -6*x + 2*d, 4*x - 34507 = -3*d. Is x a multiple of 19?
True
Let w(k) = 3*k**2 - 6*k + 17. Suppose -12 = -2*o + 2*b, 3*o - 5*b - 18 = -0*o. Let g be o/2 + 2/1. Does 31 divide w(g)?
True
Suppose -2*a + 2 = -4. Suppose c = a, 3*p - 4*c + 8 = 17. Suppose 192 = -3*q + p*q. Does 6 divide q?
True
Let o = -112 - -116. Suppose 5*f - 36 - 43 = -o*p, f - 83 = -4*p. Is p a multiple of 8?
False
Suppose -164*k = -2383588 + 163848. Does 13 divide k?
False
Suppose 0*k = -k + 2. Suppose -38 = -k*b - 38. Suppose b = -5*r + 11*r - 1032. Is r a multiple of 37?
False
Let s(i) be the second derivative of 0 + 2*i**3 - 10*i - 25/2*i**2. Does 14 divide s(5)?
False
Let p be 3 - (-2)/((-2)/(-2) - -1). Suppose 2*m = -t + 6, 0 = -3*m - 5*t + p*t + 11. Suppose 4*u + 4*h = 500, -3*h - 250 = -m*u + 3*u. Does 14 divide u?
False
Let q = 85 + -86. Let v be q*(-4)/24 + (-41)/(-6). Does 50 divide 1020/v + 22/77?
False
Let q(c) = -12*c**3 + 10*c**2 - 23*c - 18. Does 28 divide q(-6)?
False
Suppose -20 = -5*h - 0*h, -12524 = -4*q - 2*h. Is q even?
False
Let h(b) = 3*b**2 - 13*b - 513. Does 105 divide h(48)?
True
Does 113 divide (8/5 - 1)/(498/21564230)?
False
Let y be (3 - (-36)/(-15)) + (-11)/(110/16). Let z = 1 - 4. Does 18 divide (z/(-2))/(((-8)/288)/y)?
True
Let b = 721 + -719. Suppose -b*k + 2*d - 7*d = -341, k = -5*d + 168. Is 12 a factor of k?
False
Let w(r) = -43*r + 63. Let h be 21/(-14)*(-44)/(-6). Is w(h) a multiple of 26?
False
Suppose 80*r = 55*r + 2500. Suppose -40*q + 39*q + r = 0. Does 16 divide q?
False
Let j(p) be the first derivative of -5*p**3/3 - 253*p**2/2 + 54*p + 6. Is j(-50) a multiple of 4?
True
Suppose 132150 = 1541*i - 1516*i. Does 22 divide i?
False
Let j = 0 - 31. Let q = -10 - j. Let y = q - 10. Is 11 a factor of y?
True
Let q be -2 + (-1*34)/2. Let a(s) be the first derivative of -s**4/4 - 19*s**3/3 - 3*s**2/2 - 25*s - 65. Is a(q) a multiple of 8?
True
Suppose -257*v + 262*v = 35. Is 51 a factor of ((-154)/(-21) - v)*459?
True
Let l(b) = 6785*b - 74. Is l(2) a multiple of 20?
False
Let o = 32 - 18. Let a be (1800/o)/(7/49). Suppose a = 8*l + 2*l. Is l a multiple of 30?
True
Let k(r) = 2*r**2 + 36*r - 18. Suppose -873 = -52*n - 2277. Does 18 divide k(n)?
True
Suppose l - 6*a + 1 = -4*a, 1 = -l + 4*a. Is 5 + l - (-245 - -2) a multiple of 6?
False
Suppose 4364 = 2*d + 5*s - 8355, -6335 = -d + s. Does 202 divide d?
Fa