
False
Let f(v) = -26*v + 1321. Is f(25) a multiple of 76?
False
Does 25 divide ((-12225)/21)/((-9)/63)?
True
Let z(k) = 54*k**2 + 4. Let b be z(-2). Suppose -b = -s - p - 4*p, p = s - 208. Does 42 divide s?
True
Suppose -2*v + 132 = -5*u + 38, 3*v - u - 167 = 0. Suppose -j + v = -7. Is 10 a factor of j?
False
Let r = 25 + -21. Suppose 2*b + b - a - 70 = 0, 30 = 2*b - r*a. Is b a multiple of 7?
False
Suppose -5*q + 80 = -5*y, -2*y + 2 = -0. Suppose -3*s + d + 4*d = 144, d - 132 = 3*s. Let f = q - s. Is f a multiple of 15?
True
Let s be (0 + 0 + -309)*(-9)/27. Suppose -3*b = -2*b - s. Is b a multiple of 25?
False
Let k be 1/((-64)/(-68) + -1). Let o = k + 18. Does 4 divide (7/1*o)/1?
False
Let u(v) = -4*v - 8. Let d(b) = b**3 - 12*b**2 + 11*b + 7. Let t be d(11). Let j = -2 - t. Is u(j) a multiple of 7?
True
Let q be 12/(-42) + (-69)/(-21). Suppose -3*j - 2*j + 2*g = -483, 0 = q*j + 3*g - 294. Is j a multiple of 29?
False
Suppose 2*x = r + 353, 3*r + 1357 = -r - 3*x. Let t = -243 - r. Is 7 a factor of t?
False
Suppose 3*l - 3384 = 4*r, 3*l = -5*r + 4275 - 891. Is 47 a factor of l?
True
Is 11/88 + (-638)/(-16) a multiple of 4?
True
Is 37 a factor of (-86)/(-1 + 66/69)?
False
Let b(r) be the first derivative of -r**5/20 - r**4/4 - 5*r**3/6 - 2*r**2 - 3*r - 6. Let n(s) be the first derivative of b(s). Is 3 a factor of n(-3)?
False
Let q(v) = 3*v + 1. Let x be q(2). Suppose x*p + 103 = 439. Is 12 a factor of p?
True
Suppose 0 = 9*t - 939 - 5217. Is 16 a factor of t?
False
Let z be (-24)/(-10) + ((-40)/(-25) - 2). Suppose b - 62 = 3*v, z*v - 121 = -2*b - 5. Is 11 a factor of b?
False
Suppose -3*n - 2 = -j, 5*n + 15 + 0 = 0. Let b(l) = l**2 - 3*l - 16. Does 11 divide b(j)?
False
Let a(c) be the third derivative of -c**5/4 + c**4/8 + c**3/6 + 8*c**2. Let m be a(3). Let w = -52 - m. Is w a multiple of 31?
False
Let n = 53 - 49. Suppose l - 6*l + 442 = -y, -n*l + 371 = 5*y. Is 9 a factor of l?
False
Does 15 divide 9/6 + (-11)/2*-87?
True
Suppose 20*x = 18*x. Suppose x = p - 47 + 1. Is p a multiple of 25?
False
Let g(o) = o**2 - 4*o - 4. Let n be g(4). Let h(w) be the second derivative of -w**3/3 - w**2 - 5*w + 1. Is h(n) a multiple of 5?
False
Let x(u) be the third derivative of u**6/120 + 11*u**5/60 - 3*u**4/8 - 11*u**3/6 - 5*u**2. Let z be x(-9). Is (z/12)/((-4)/(-6)) a multiple of 24?
False
Suppose -5*d + 149 = 3*o + 25, -50 = -2*d - o. Is d a multiple of 13?
True
Suppose 216*j - 4940 = 212*j. Is j a multiple of 12?
False
Suppose -u - 3*u = -s - 13, 0 = 4*u - 5*s - 33. Suppose u*v + 2 - 74 = -d, 0 = -5*v - 2*d + 179. Does 7 divide v?
True
Let i(g) = 60*g**2 + 2. Is i(2) a multiple of 7?
False
Let b(a) = 2*a**2 - 34*a + 36. Does 24 divide b(21)?
False
Let v be 22/3 + (8/(-6) - -2). Let t be (-3)/(0 - -1) - -31. Does 4 divide (-290)/(-14) + v/t?
False
Suppose 37*o - 45*o + 8112 = 0. Does 13 divide o?
True
Let d(k) be the third derivative of -k**5/10 + 9*k**4/4 - 12*k**2. Does 16 divide d(8)?
True
Let u = -9 + 11. Suppose 4*m - 2*a - 246 = 0, 4*a - 4 = u*m - 118. Is m a multiple of 11?
False
Suppose 19*z + 2*l - 4409 = 16*z, 6*z + 2*l - 8810 = 0. Does 9 divide z?
True
Does 22 divide (-7495)/(-9) + (-16 - (-1606)/99)?
False
Suppose -y + 5*y + 172 = 0. Let f = -29 - y. Does 25 divide (156/24)/(1/f)?
False
Suppose 0 = -120*q + 109*q + 7249. Does 44 divide q?
False
Suppose 0 = 2*y - 3*x - 13 - 10, -3*x = 3*y - 72. Suppose y*h = 20*h - 146. Suppose 0*r - r + 36 = 3*a, -2*a = -5*r + h. Is r a multiple of 10?
True
Is 18 a factor of 2/(10/2467) - (-44)/(-110)?
False
Suppose 0 = -3*h + 135 + 195. Let j(g) = -g**3 + 6*g**2 - 10. Let n be j(2). Suppose -n = 2*f - h. Is 11 a factor of f?
False
Suppose 0 = 12*k - 8*k + 4648. Does 3 divide k/(-35) + (-2)/10?
True
Suppose 3*g = j + 235, -4*g + j + 312 = -j. Let l = g + 45. Suppose 3*s + d = -d + 70, -4*s + 5*d = -l. Is s a multiple of 12?
False
Let g = -319 - -813. Is 19 a factor of g?
True
Suppose -3*r = 4*g + 160 + 101, -r - 192 = 3*g. Let d = 105 + g. Suppose 3*u - u = -2*i + 20, 5*u - d = -3*i. Is u even?
True
Let j be (4 - 11)*63/(-3). Let g = 37 + j. Is g a multiple of 46?
True
Let s(j) = -77*j + 13 + 4*j**2 + 80*j - 3*j**2. Is s(-11) a multiple of 31?
False
Suppose -5*w + 4*a = -20, -47 = -4*w - 0*w - 3*a. Let r = w + -10. Is 18 a factor of (-9)/3 + 30 + r?
False
Let a = 31 + -32. Let w be -65*4 + 1 + a. Let r = -149 - w. Does 14 divide r?
False
Does 14 divide (-26 - 2)/((-2)/28*1)?
True
Let y = -4 + 7. Suppose -4*b = 4*z - 0*z - 20, -z + 7 = y*b. Suppose z*k + w + 2*w = 99, -2*k - 4*w + 52 = 0. Does 9 divide k?
False
Suppose -c + 42 = -3*c + 2*l, -4*c = 2*l + 54. Let b = c - -25. Does 4 divide b?
False
Let t = 4 + -2. Suppose 11*i = 2*i + 1908. Suppose -i = -t*o - 2*o. Does 13 divide o?
False
Is 1429 - (312/(-117))/((-2)/3) a multiple of 19?
True
Suppose -43 = -2*q + 11. Is 10 a factor of q/1 + (21 - 19)?
False
Let g(x) = -2*x**3 - 4*x**2 + 2*x + 4. Suppose -3*a - 9 = -0. Is 2 a factor of g(a)?
True
Let u(s) be the first derivative of s**6/360 - s**5/10 + 4*s**3/3 - 4. Let x(f) be the third derivative of u(f). Does 13 divide x(13)?
True
Suppose -32 - 127 = -y. Let r = 282 - y. Suppose -4*x - 3*o + r = 0, -x + 2*o + 148 = 4*x. Is x a multiple of 7?
False
Suppose 52*d = 85*d - 36036. Is 6 a factor of d?
True
Suppose -g - d + 2*d = 52, 2*g + 2*d = -84. Let p = -34 - g. Is p a multiple of 13?
True
Suppose k + 3*k - 2828 = 4*h, k - 3*h - 711 = 0. Is 35 a factor of k?
False
Let z(q) = -q + 9. Let y be z(6). Suppose -2*s + 2*d + 94 = 0, 0 = 2*s - 3*s - y*d + 47. Is 21 a factor of s?
False
Let f(y) = 7*y + 30. Let n be f(21). Suppose -3*j + 77 = x, -4*x + n = -4*j - 67. Does 12 divide x?
False
Let v(l) = 5*l**2 - l. Let y be v(1). Suppose -4*s + 133 = -23*s. Is 2 a factor of (s + 8/y)*-1?
False
Suppose 0*p = 3*p + 456. Let g = p + 98. Let x = -36 - g. Does 4 divide x?
False
Let t = 811 + -488. Is (-12)/16 - t/(-4) a multiple of 20?
True
Is 4 a factor of -556*(66/(-44))/(1 - -2)?
False
Let w(q) be the third derivative of q**6/120 - q**5/15 - q**4/12 + q**2. Does 12 divide w(6)?
True
Let a(v) = 52*v**2 + v - 1. Let u be a(1). Suppose -102 = -2*w + u. Does 7 divide w?
True
Suppose -163 = 5*d + m + 227, 0 = -4*d - 3*m - 301. Let p = -57 - d. Is 3 a factor of p?
False
Suppose -8*s = -5 - 11. Let k be (0 - -2)*1 + 61. Suppose k = 2*w + d, -w - 5*d = s*w - 84. Does 17 divide w?
False
Let d be 22/4 + 3/(-6). Suppose -d*t + 50 = -0*j + 2*j, -2*t = 5*j - 146. Suppose -j = -3*h + 12. Is 3 a factor of h?
False
Suppose -12*z + 28991 = 9395. Does 23 divide z?
True
Let h(c) = 6*c**3 - 48*c**2 + 16*c - 3. Is h(11) a multiple of 88?
False
Let u be (-12)/(-4) + -7 - -1. Let i be 2 - (26 + (u - 1)). Let s = i - -35. Is 6 a factor of s?
False
Let u be (-1)/(40/1224) + 2/(-5). Let r = u - -52. Is 11 a factor of r?
False
Let k = -517 - -1122. Is k a multiple of 11?
True
Suppose -4*g - 8 = 2*d, -5*g - 31 = -2*d + 6. Let t(p) = 23*p + 19. Does 33 divide t(d)?
False
Does 32 divide 6 - (-2)/((-2)/(-581))?
False
Let m(h) = 21*h**3 + 3*h**2 - 26*h + 65. Is 48 a factor of m(3)?
False
Let a = -293 + 365. Does 72 divide a?
True
Let m be (-2)/((-60)/144 + (-2)/8). Does 8 divide (-1235)/(-15) + 3 + (-1)/m?
False
Is 18 a factor of ((-108)/(-7))/((-54)/(-945))?
True
Let l(t) = t + 4. Let x be l(3). Let n(a) = 46*a - 7. Let j(i) = -31*i + 5. Let r(h) = 7*j(h) + 5*n(h). Is 30 a factor of r(x)?
False
Let p be (-6)/(-3) + (3 - (1 + -38)). Let a = p + -25. Is 5 a factor of a?
False
Does 56 divide (-6045)/(-6) + ((-63)/(-9))/14?
True
Let z = 8 + -3. Suppose -z = f + 3*i - 209, 2*f - 4*i - 458 = 0. Is f a multiple of 34?
False
Suppose 2*s + 4*l - 2811 - 379 = 0, -5*s - 5*l + 7965 = 0. Is 41 a factor of s?
False
Is 72 a factor of (4 - 31)*(-2 - 6)?
True
Let c(l) = 21*l**2 + 30*l - 18. Is c(7) a multiple of 18?
False
Let z = 134 - -772. Is 23 a factor of z?
False
Let i = 120 - 115. Suppose 2*y + j - 1 = y, -i*j = 25. Does 4 divide y?
False
Suppose -20 = -5*c + 5. Suppose -2*x + 5 = -x - 2*m, 10 = 2*x + 2*m. Suppose c*n + x*z - 104 - 31 = 0, -4*n + 118 = 2*z. Is 12 a factor of n?
False
Suppose 5*l + 184 = y, 0 = -2*y + 7*y - 5*l - 920. Is 16 a factor of y?
False
Let f be (0 - -1)/(3/9). Suppose b - 162 = -4*j, f*b - 168 = -4*j - b. Does 10 divide j?
True
Su