alse
Suppose -2*u + 4 + 4 = 0, -2*q = 2*u - 78. Is q a multiple of 7?
True
Suppose -4*u + 9990 = 3*j - u, 4*j - 4*u - 13304 = 0. Is j a multiple of 32?
True
Let c(z) = 68*z**2 - 30*z - 48. Does 8 divide c(-8)?
True
Suppose -2*y = d - 20 + 5, -5*d + 5 = -4*y. Suppose 0 = -2*z + 5*z - 12. Suppose z*v - 3*u - 180 = 0, -d*v - 3*u + 94 = -131. Does 15 divide v?
True
Let f = 23 - 17. Suppose -f*d + 3*n = -5*d - 2, 5*d = n + 52. Does 2 divide d?
False
Suppose 0 = 12*k - 1133 - 727. Is 70 a factor of k?
False
Suppose 15 = 5*w, -4*g + 535 - 174 = 3*w. Is 4 a factor of g?
True
Let r(k) = k**2 - 7*k + 4. Let p be r(7). Let o be 2/p*0 + 141. Suppose -7 + 17 = 2*x, 0 = 2*a + 3*x - o. Is a a multiple of 21?
True
Let f = 39 + -28. Let v(i) = i**3 - 12*i**2 + 11*i + 6. Let l be v(f). Let w(x) = x**3 - 5*x**2 - 4*x - 3. Is 3 a factor of w(l)?
True
Let g(h) be the third derivative of 0 + 0*h - 5*h**2 - 1/8*h**4 - 2/3*h**3. Is 10 a factor of g(-10)?
False
Suppose 0 = -2*k + 3*k - z - 73, k + z = 71. Let p be ((-6)/8)/((-6)/k). Let w(a) = -a**3 + 10*a**2 - 2*a - 2. Is 13 a factor of w(p)?
False
Let d be ((-2)/4)/(1/(-3))*-6. Does 35 divide (-14)/21 + (-762)/d?
False
Let p be (-24)/40 - (-6)/10. Suppose p = 4*r - 8*r + 120. Does 8 divide r?
False
Suppose -362 = -4*s + 2*s. Suppose -5*t - 6*g + g + 630 = 0, -t - 5*g = -142. Let j = s - t. Is j a multiple of 21?
False
Let n(p) = 3*p**3 - 85*p**2 - 41*p - 25. Is 18 a factor of n(29)?
True
Let i = 70 + -28. Suppose 2*w + i = -16. Let o = -13 - w. Does 16 divide o?
True
Let n be (4 + -6)/(-2 + 1). Is n/(-3) + (-665)/(-21) a multiple of 9?
False
Let g(o) = o**2 + 14*o - 19. Does 37 divide g(-18)?
False
Let f(a) = a**2 + 2*a. Let j be f(-2). Let g(s) = s**3 - s**2 + s + 1. Let i be g(j). Does 16 divide (4/i)/((-7)/(-84))?
True
Let a = 154 + -220. Let g = a - -99. Is g a multiple of 9?
False
Does 15 divide (10/8)/((-18)/(-7560))?
True
Is (-142)/(-2) - (-2 + (-4 - -5)) a multiple of 9?
True
Suppose -4*m + 0 = -16. Suppose 6*j - m = 4*j. Suppose -3*z = z + v - 200, -4*z + 196 = j*v. Is z a multiple of 17?
True
Let t = -42 - -39. Does 24 divide 43 + (t - 2 - -1)?
False
Suppose 4*h + 73 + 11 = 2*k, 2*k = -5*h - 96. Let l = h + 44. Is l a multiple of 13?
False
Suppose 2*f = 3*f - 27. Suppose 12 = y - f. Let u = y + -27. Is 5 a factor of u?
False
Suppose -11 = -3*g + 10. Suppose -g = -d - 27. Let n = d + 34. Does 8 divide n?
False
Let d be 0/(-3 + -1 + 2). Let y(b) = 6 + d - 2*b + 6*b. Does 15 divide y(9)?
False
Suppose -178 - 42 = -5*h. Is 4 a factor of h?
True
Suppose -5*q = n - 56, q - 5*n = 20 + 12. Suppose q*p - 10*p = 76. Is 7 a factor of p?
False
Let t be -1 - -2 - (26 - 3). Let n(d) = -8*d - 48. Let u be n(-12). Let f = u + t. Does 13 divide f?
True
Let t = -923 - -1363. Does 8 divide t?
True
Let f(n) = -n**3 + 6*n**2 - 5*n - 6. Let h be f(5). Let x be 7/((-105)/h)*10. Let q = 42 - x. Is 11 a factor of q?
False
Is (-57636)/(-372) + (-20)/(-310) a multiple of 5?
True
Suppose -2*k = -k + 10. Let o(l) = -l**3 + 2*l**2 + 5*l + 2. Let n be o(4). Is 8 a factor of ((-32)/n)/(k/(-125))?
True
Suppose -q - 4*q + 17 = -2*c, -3*q + 7 = -2*c. Suppose 0*t - 625 = -q*t. Does 13 divide t?
False
Let c(r) = -5*r + 26. Let d be (-6)/((54/(-45))/(16/(-10))). Is c(d) a multiple of 13?
False
Is 5 a factor of (24 + -19)*(17 + 2)?
True
Let f(n) = -n**2 - 9*n + 9. Let u be f(-8). Let d = u - -176. Is d a multiple of 10?
False
Let b(u) = u**2 - 10*u. Suppose -2*o - o + 30 = 0. Let g be b(o). Suppose g = 4*t - 0*t - 16. Is t a multiple of 2?
True
Let r = 1573 + 1834. Suppose -607 + r = 10*h. Is h a multiple of 14?
True
Suppose -153 + 10 = j - 2*y, 0 = -2*j + 5*y - 282. Let z = 389 + j. Suppose d = -6*d + z. Does 7 divide d?
False
Let m = -846 + 1148. Is 15 a factor of m?
False
Let z(d) = d**2 - 11*d - 2. Let u be z(11). Let f(q) = -q. Let w be f(u). Suppose -2*y + 80 = w*v, 2*v + 20 = 7*v. Does 12 divide y?
True
Let u = 195 + -285. Is -7 + 6 + (0 - u) a multiple of 25?
False
Let m(l) = 125*l**3 - 3*l**2 + 5*l - 3. Does 4 divide m(1)?
True
Let l be 8/(-70)*(-10)/4*7. Suppose l*d + 0 = 40. Does 6 divide d?
False
Let b be 51/3*(2 + -1). Suppose b*i - 15*i = 98. Does 6 divide i?
False
Is (-4 - (-91)/26)*-1292 a multiple of 131?
False
Suppose -26*m + 24*m - 8395 = -5*c, -5*c + 5*m + 8410 = 0. Does 15 divide c?
False
Suppose -2*g - 4*t = 782, 2*t - 1166 = 3*g + t. Let n = -269 - g. Is 8 a factor of n?
True
Suppose 6*o - 7*o + 2*s + 1045 = 0, -6*o - 3*s = -6225. Does 60 divide o?
False
Let g = 294 - -357. Is 31 a factor of g?
True
Let y be 12/8*6/9. Let x(z) = -2*z + 4*z**2 - y + z + 4*z - 2*z. Does 8 divide x(-3)?
True
Let l(h) = -h**3 - 6*h**2 - 4*h + 3. Let c be l(-5). Let p = 6 + 4. Let s = p - c. Is s a multiple of 4?
True
Let b(k) = -k**2 + 9*k - 5. Let c be b(8). Suppose -3*o - 867 = c*m + 2*m, 2*m + 2*o = -350. Is 3 a factor of (-148)/(-18) + 38/m?
False
Suppose 0 = 4*g - 33 - 39. Let v be (-45)/g*8/(-5). Suppose 0 = j - x - 24, -v*j + 0*j - 3*x + 82 = 0. Is 22 a factor of j?
True
Let g be (-14 - -12)*-4*1. Let i(m) = m**3 - 8*m**2 - 4*m. Let k be i(g). Is 26 a factor of (-824)/k - (-1)/4?
True
Is (-1 + -12)/(-151 + 150) a multiple of 2?
False
Suppose -5*u + 10 = -0*u. Let t be 24 + 0/2 - u. Let l = -9 + t. Does 6 divide l?
False
Let k(u) be the first derivative of u**3/3 - 6*u**2 - 2*u + 6. Let w be k(11). Does 15 divide (-5)/((13/6)/w)?
True
Let d(o) = o**3 + 23*o**2 - 15*o + 5. Is 74 a factor of d(-23)?
False
Let n(o) = o**2 - 6*o + 35. Does 6 divide n(16)?
False
Let q be (8/12)/(2/12). Suppose 2*h - l + 38 = -2*l, 2*l = q. Let z = 12 - h. Does 13 divide z?
False
Let z = -12 + 16. Suppose -f - z*q = -19, -2*q = 3*f - 6*q - 41. Let y = f + -5. Is 10 a factor of y?
True
Suppose -60*t + 2580 = -48*t. Is t a multiple of 6?
False
Let z(x) = 4*x - 3. Let n be z(2). Suppose -3*h = -n*o - 0*o + 212, 4*o = 4. Does 4 divide h/(-2)*28/42?
False
Suppose -9*p + 4260 = -4*p. Does 23 divide p?
False
Let h(a) = -a + 8. Let u be h(-8). Let j be u/(-3)*(-45)/2. Suppose -2*k = -5*w - 41, -4*k - 2*w = 2 - j. Is 12 a factor of k?
False
Suppose 24 + 26 = 5*z. Suppose 57 = -14*q - 5*q. Let m = z + q. Does 6 divide m?
False
Let d(c) = 4*c + 1. Let q be d(1). Let o(x) = 2*x + 14. Does 10 divide o(q)?
False
Let k(m) = 100*m + 1125. Does 25 divide k(37)?
True
Let p(t) = 14*t + 110. Does 15 divide p(17)?
False
Suppose l - 23 = -2*k, -5*k = -5*l - 1 - 19. Let w = -9 + k. Suppose w = -0*o - o + 30. Is 15 a factor of o?
True
Suppose 5*c + o - 885 = 0, 0 = c - 3*o - 86 - 107. Does 15 divide c?
False
Let a(x) = 46*x**3 + 9*x**2 - 5*x + 15. Is a(3) a multiple of 3?
True
Suppose 18817 = 21*b + 6784. Is b a multiple of 3?
True
Let n = 3021 + -2424. Is 4 a factor of n?
False
Does 24 divide ((-288)/45)/((-4)/30)?
True
Let g = 3 + 19. Let k be (-4)/22 + 2050/g. Suppose -357 = -4*p - k. Is 14 a factor of p?
False
Let u be (1677/(-63) + 10/35)*-9. Suppose 3*t = b + 4 - 12, 0 = 2*b + 2*t. Suppose -d - b*d = -u. Is d a multiple of 14?
False
Suppose -k + 525 - 59 = -5*i, 1826 = 4*k - i. Let p be k/108 - 2/9. Suppose -d + 65 = p*d. Is 3 a factor of d?
False
Let u be (21/(0 - 3))/(-1). Let p = 20 + 8. Suppose -s + p = -u. Is s a multiple of 9?
False
Suppose -4*u + 8740 + 2800 = 0. Is u a multiple of 20?
False
Let f(m) = m**2 + 11*m - 9. Let j be f(-12). Suppose 5*o = -5*s + j*o - 59, 0 = 4*o - 12. Let d = s - -33. Is d a multiple of 20?
True
Let s = -447 - -646. Suppose -5*p - s = w + 50, 2*w + 148 = -3*p. Let n = -17 - p. Does 11 divide n?
True
Suppose 4*n - n - 774 = 0. Suppose -936 = -5*a - 0*g - 3*g, -5*a + 939 = 2*g. Suppose 5*s - n = m, 3*s + 5*m = -s + a. Does 16 divide s?
False
Let s(d) = -9*d**3 + d**2 - 2*d + 1. Let o be s(1). Let m(i) = -15*i - 5. Let p be m(o). Suppose -p = -4*j + 62. Is j a multiple of 12?
True
Let f(j) = 2*j**3 - 6*j**2 + 2*j + 2. Let g(p) = p**3 - p**2 + p + 1. Let x(d) = -f(d) + g(d). Let i be x(5). Is 17 a factor of (-1655)/(-20) - i/(-8)?
False
Suppose 3358 = 8*t - 7*t - 5*j, j = -3*t + 10074. Is 10 a factor of t?
False
Is ((-4)/20*44)/((-1)/30) a multiple of 14?
False
Suppose -3*t = t - 2*u - 1178, -4*t = -4*u - 1188. Let z = t + -154. Is 23 a factor of z?
True
Let u = -37 + 42. Let a(s) = s - 8 + u + s + s**2. Is 32 a factor of a(9)?
True
Let c(m