 r(d)?
False
Suppose 160 = h - 106. Is 21 a factor of h?
False
Suppose -307 = -6*h + 833. Does 10 divide h?
True
Suppose 0 = 3*o - 4 - 5. Does 21 divide -2*(-1 - (23 + o))?
False
Let i be (1 + -16)*(-1)/3. Suppose b - 3*b = -i*y + 194, 0 = -y + b + 40. Is 14 a factor of y?
False
Is 13 a factor of ((-1993968)/(-60))/12 - 2/5?
True
Let v(w) = 2*w**2 - 8*w - 26. Let f be v(-5). Let l = 67 - f. Is 3 a factor of l?
True
Let k(n) be the third derivative of -n**6/120 - n**4/24 + 2*n**3 + 2*n**2. Suppose 7*i - i = -0*i. Does 6 divide k(i)?
True
Suppose 0 = -4*f + 3*p - 43, -6 = -3*p + 9. Let u = 83 + f. Does 19 divide u?
True
Let j = 48 - -43. Suppose -9 = -5*u + j. Suppose -5*l - p - 4*p + 355 = 0, -u = -4*p. Does 22 divide l?
True
Is 1188 + (9 - (-16)/(-4)) a multiple of 35?
False
Is ((-36)/(-20))/(-1 - 86/(-85)) a multiple of 9?
True
Let a = -298 + 353. Is a a multiple of 5?
True
Let j = 508 - 452. Let x = 6 - -1. Suppose 8*g - j = x*g. Does 14 divide g?
True
Does 11 divide -2*(-188 - -45)/(4/2)?
True
Let f(k) = k**3 - 7*k**2 + 16*k - 8. Let a be (-78)/(-12) + (-4)/8. Is 26 a factor of f(a)?
True
Let h be (-1 - 3)*(-6 + 1). Suppose -h = 3*v - 7*v. Suppose -99 = -v*y - 19. Is y a multiple of 5?
False
Suppose 5*u - 20 = u, m - 384 = -2*u. Is m a multiple of 21?
False
Suppose 15*l - 2086 + 76 = 0. Is 5 a factor of l?
False
Let m(y) = 31*y**3 - 4*y**2 - 6*y + 64. Does 39 divide m(5)?
False
Suppose 4*g + 13*g = 408. Does 2 divide g?
True
Suppose 10159 = 5*s + 4*d, -5*s = -5*d - 14657 + 4462. Does 55 divide s?
True
Let z(w) be the second derivative of w**3/6 + 2*w**2 + w. Let y be z(5). Is (1 + 26/3)*y a multiple of 18?
False
Let x(k) be the first derivative of -3*k**4/4 - k**3 + k**2 + 4*k + 12. Let r(g) = -g - 10. Let u be r(-7). Does 26 divide x(u)?
True
Let i(r) = 8*r + 7. Let u(o) = -24*o - 20. Let p(l) = -17*i(l) - 6*u(l). Let h be p(1). Let g = -5 + h. Is g a multiple of 4?
True
Let j = -147 - -152. Let w(k) = 2*k**2 - k + 6. Does 17 divide w(j)?
True
Does 68 divide 1 - 2 - (-1189 - -9)?
False
Let i(l) = -l + 14. Let j = -84 + 70. Is i(j) a multiple of 2?
True
Let w = 97 + -45. Suppose u + 3*u - w = 0. Is u a multiple of 4?
False
Suppose 1040 = -100*l + 113*l. Does 10 divide l?
True
Let m(k) = -k**3 + 17*k**2 + 19*k - 16. Let z be m(18). Suppose -z*u + 3*s - 50 = -3*u, -2*u - s = -75. Is u a multiple of 5?
True
Let k = 282 - 217. Is k even?
False
Let r = 581 + -293. Does 32 divide r?
True
Let l(d) = 10*d + 2. Let t be l(-1). Let b be ((-24)/9)/(t/36). Is 26 a factor of b/(-36) - (-248)/6?
False
Let q(x) = 2*x**2 - 2*x + 30. Let p be q(0). Let y = 50 - p. Is 12 a factor of y?
False
Let v = 8 - 5. Let g(o) be the second derivative of o**4/4 - o**3/6 + 14*o. Is 12 a factor of g(v)?
True
Let q = 47 - 25. Suppose 3*a = -3*u + 15 - 0, 10 = 2*u - 4*a. Suppose -v = -u*j - q, v - 2*j = -0*j + 19. Does 13 divide v?
False
Let d = -1316 - -2863. Does 12 divide d?
False
Let n(h) = -3*h + 508. Let b be n(0). Suppose 0 = -2*l - 2, 6*p + 4*l - b = 2*p. Is p a multiple of 32?
True
Let r = -311 - -320. Does 3 divide r?
True
Let r(f) = 72*f + 16. Is r(4) a multiple of 38?
True
Let c(j) = 3*j**3 - j**2 + 5. Is c(2) a multiple of 5?
True
Let z(b) = 11*b**2 + 29*b - 33. Does 21 divide z(-10)?
True
Let r(o) = 3*o + 0*o + 3*o**3 + 14*o**2 - 13*o**2 + 2. Let v be r(-2). Let p = 81 + v. Does 19 divide p?
True
Suppose -7*w - 915 = -3*f - 4*w, 0 = 5*f + 3*w - 1517. Is f a multiple of 38?
True
Let i(b) = b**3 + 6*b**2 + 4*b + 6. Suppose 5 + 11 = -4*p. Let x be i(p). Suppose 2*h = 124 - x. Is 16 a factor of h?
False
Let d(k) be the first derivative of k**4/4 - k**3/3 + 7*k**2/2 - 12*k + 26. Is d(5) a multiple of 41?
True
Let u = -39 + 1848. Is 32 a factor of u?
False
Let j(l) = -l - 32. Let m be j(0). Let r = -16 + -1. Let d = r - m. Does 15 divide d?
True
Let y(u) = -u + 4. Does 5 divide y(-20)?
False
Suppose -10*x + 3*x = -1715. Does 35 divide x?
True
Let m(j) = j**2 - j - 2. Let i be m(3). Let f be -1*2*(-1 - i). Suppose 0 = -6*h + 7*h - f. Does 3 divide h?
False
Suppose 2*w = 0, -4*b - 10 - 2 = 4*w. Is (b - (-9)/(-6))/((-21)/644) a multiple of 23?
True
Let b(a) = -a + 18. Let v be 2/3 + 64/12. Does 3 divide b(v)?
True
Let l(y) = 2*y**2 + 16*y + 53. Does 5 divide l(-9)?
False
Suppose 0 = -6*u + 924 + 558. Is 14 a factor of u?
False
Let z = -1180 + 2186. Is 20 a factor of z?
False
Suppose -5 = 3*o + 5*n + 3, 5*n = -20. Suppose 7*l = o*l + 111. Let r = l - 19. Is 11 a factor of r?
False
Let i be 5*(2/(-10) - -1) - 1. Does 43 divide i + (-63 - 0)/(1/(-2))?
True
Suppose 18 = 4*v + 2*n, 3*v - 4*v = 2*n - 6. Let t be v/5 - 240/(-75). Let b(j) = -j + 6. Does 2 divide b(t)?
True
Suppose -2*g = -35 - 1. Suppose g*q = 19*q - 63. Does 21 divide q?
True
Let h(z) be the second derivative of -31*z**3/3 - 9*z**2/2 - 10*z. Does 13 divide h(-2)?
False
Let p(v) = v**2 - 16*v + 41. Is 30 a factor of p(-13)?
False
Suppose 0 = -k - j + 286, 2*k - 405 = -3*j + 164. Does 17 divide k?
True
Let z(x) = x**3 - 13*x**2 + 5*x + 8*x - 14 - 8*x + 10*x. Suppose -4*h = -2*h - 24. Does 5 divide z(h)?
False
Let b(n) = n**3 + 7*n**2 + 7*n + 6. Let f be b(-6). Suppose f*q + 2*q = 0. Suppose -a + 3 = q, -5*x = -x - 5*a - 157. Does 15 divide x?
False
Let l(x) = -54*x + 170. Is l(-23) a multiple of 30?
False
Suppose 0*s = -5*s. Let o(q) = -q**2 + 2*q + 66. Is 11 a factor of o(s)?
True
Let w(p) = -5*p - 3. Suppose 5*s - 58 + 8 = 0. Suppose s = -13*b + 11*b. Is w(b) a multiple of 22?
True
Let c be (-4)/((-9)/(-3) - 4). Suppose 3*d = -4*r - d, -25 = -r + c*d. Suppose -94 = -r*j + 51. Is 8 a factor of j?
False
Let s(w) = 2*w**3 + 4*w**2 + w + 12. Let l(p) = -p**3 - 2*p**2 - 6. Let x(r) = 9*l(r) + 4*s(r). Is 15 a factor of x(-5)?
False
Let k = 295 - -58. Is 25 a factor of k?
False
Let v be 282/(-5) - 14/(-35). Let o be (-55)/(-20) + (-1)/(-4). Does 14 divide (-5 - -2)*v/o?
True
Suppose 2*n - 3*n - 4*u = -21, 4*n - 5*u = 0. Suppose -5*r - w = -4*r - 4, 4 = 3*r - 5*w. Suppose -n*t + 42 = 2*b + 7, b - 17 = -r*t. Is b a multiple of 16?
False
Is ((-1)/(-3))/(2/5814) a multiple of 19?
True
Let d = 46 + -30. Is 20*-4*(-10)/d a multiple of 4?
False
Let f be (-3 + -9)/(-2 - 0). Let i(v) = -7*v**3 + f*v**3 - 6 + 1 - v - 5*v**2. Is 15 a factor of i(-6)?
False
Let s(l) = -l**3 - 13*l**2 - 9*l - 28. Let y be s(-12). Let n = -29 - y. Is n a multiple of 7?
True
Let i(g) = -g**3 + 16*g**2 - 8*g - 19. Let u be i(15). Suppose 4*k - 274 = u. Is 12 a factor of k?
False
Let u(s) = 4*s - 18. Let d(f) = 16*f - 71. Let q(j) = -6*d(j) + 26*u(j). Let m(v) = 3*v - 17. Let r(y) = -12*m(y) + 5*q(y). Does 18 divide r(6)?
True
Suppose -4*u + 26 + 18 = 0. Suppose -5*q + u = -v - 8, 0 = 4*v + 5*q - 24. Suppose -v = 4*f - 125. Is f a multiple of 12?
False
Let d be 3 - -2 - (1 - 2). Let t be (-63)/(38/(-4) - -8). Suppose -d*y = y - t. Is 3 a factor of y?
True
Suppose -4*d + 0*d = -20. Suppose -2*b + 79 = -3*j, d*b = -4*j - j + 135. Does 4 divide b?
True
Let b = 126 + -144. Is -100*((-1)/2 - (-18)/b) a multiple of 25?
True
Suppose 0 = -4*x - 4*k + 3*k + 36, 4 = 3*x - 5*k. Let v = -18 - x. Let a = -18 - v. Is a a multiple of 7?
False
Suppose 4*l = s - 508, 3*s + 2*l - 447 = 1063. Is 7 a factor of s?
True
Let u = -963 - -1654. Suppose -34 + u = 3*v. Is v a multiple of 12?
False
Let s = 766 + -546. Is 10 a factor of s?
True
Let b be 3 - (0/(-1))/1. Let p be (-3)/33 + (-207)/(-99). Suppose p*t - 51 = b*c, -5*c - 4 - 49 = -2*t. Is 24 a factor of t?
True
Suppose 0 = 8*f - 12*f. Suppose f*a = 4*a + l - 35, -l = 5*a - 45. Is ((-104)/a)/((-4)/30) a multiple of 14?
False
Let s = 305 - -10. Is s a multiple of 5?
True
Let p(s) = s**3 + 16*s**2 - 18*s + 39. Let y be p(-16). Suppose -z - y = -4*z. Is 25 a factor of z?
False
Let u be ((-24)/16)/(6/376). Does 11 divide (0 - u) + (-185)/37?
False
Suppose -12*z = -7*z + 20. Suppose -2*f + 42 = -2*x + 2, 2*x + 40 = -3*f. Does 4 divide z + 2 - x - 2?
True
Suppose 746 - 44 = 2*z. Is z a multiple of 13?
True
Does 16 divide 13 + 257 + -1 + 4?
False
Let m be 5/15 + (-39)/9. Let i be (-3)/12 + (-29)/m. Is (-18)/(-63) + 54/i a multiple of 8?
True
Suppose 0 = -4*g + 78 + 18. Suppose 4*y = -5*m + 168, -g = -2*m + m + 4*y. Is 8 a factor of m?
True
Suppose -2 = -2*q + 56. Let x = -21 + q. Does 8 divide x?
True
Let v(i) = i**3 -