v a multiple of 9?
True
Suppose 40*g - 337895 = 2*g - 16757. Is g a multiple of 5?
False
Let q be 10*((-2)/4 + 2). Let a be (1 - 678)*(5 - 4)/(-1). Is 26 a factor of 8/(-60) + a/q?
False
Let f(i) be the second derivative of 0 + 1/20*i**5 + 13/2*i**2 - 4*i + 5/3*i**4 - 4*i**3. Does 19 divide f(-21)?
True
Suppose 0 = -7*r + 2*r + 275. Let w = 182 - r. Is w a multiple of 3?
False
Suppose -3*f - 20 = f. Suppose 0 = x + x + 2*p - 96, -x - 2*p + 44 = 0. Let z = x - f. Is 39 a factor of z?
False
Let x = 28715 + -17544. Does 74 divide x?
False
Suppose -232 = -5*l - 242. Is 22 a factor of 11/(-55) + l/(-10) - -314?
False
Suppose v + w - 260 = 170, 425 = v + 2*w. Suppose v = -19*z + 20*z. Does 29 divide z?
True
Suppose 9*l + 9*l = 72. Suppose -4*f = g - 2636, 3*f - l*g + 6*g = 1972. Does 22 divide f?
True
Let h(j) = -85*j - 16. Suppose 2*g - 42 = -46. Is h(g) a multiple of 3?
False
Let g = -2031 + 2059. Is g a multiple of 8?
False
Let y(w) = 28*w - 62. Let r be y(2). Let a(v) = 4*v**2 + 6*v + 28. Is 2 a factor of a(r)?
True
Let l(p) = -p**3 + 12*p**2 - 10*p + 15. Let n be l(8). Suppose 5*s - 4*c = 389, -4*s + 141 = 2*c - n. Let o = -54 + s. Does 22 divide o?
False
Suppose 113*a - 350044 - 562105 = 96602. Is a a multiple of 51?
False
Does 4 divide (120/(-390) - (-34286)/(-26))*-8?
True
Suppose 27*j - 56850 = -48*j. Is j a multiple of 34?
False
Suppose -4*u = -12, -u - 11*u = -5*m + 117144. Is 28 a factor of m?
True
Suppose -1488 = 44*z + 1460. Suppose 2*a + 0*a - v - 306 = 0, -a - 3*v = -160. Let m = a + z. Is 32 a factor of m?
False
Let y = -53 - -52. Let z be (-6 + 7)*(3 + y). Is 4 - (z - 5 - 81) a multiple of 8?
True
Is 12588/90 + 3 + (-172)/60 a multiple of 2?
True
Let i = -1928 + 3548. Does 90 divide i?
True
Let g be (-456)/(-19)*(26/4 - -1). Let p = g + -90. Does 16 divide p?
False
Let f(q) = 23*q + 6. Let o be f(-3). Let v = 105 + o. Suppose 3*x + 2*x + g - 210 = 0, -x + g = -v. Is 14 a factor of x?
True
Let q = 3011 + -2107. Let o = 1674 - q. Does 55 divide o?
True
Let l(d) = 105*d - 40. Let g be l(20). Suppose -72*x = -76*x + g. Is x a multiple of 29?
False
Is 3*(3322/3 + 50/(-10)) a multiple of 9?
False
Let q(d) = d**2 + 524*d + 1644. Does 58 divide q(0)?
False
Let v = 547 - 361. Let c = v + -62. Let m = c - 85. Is m a multiple of 13?
True
Let g = 194 + 208. Let c = -381 + g. Does 6 divide c?
False
Let d = -47 + 51. Suppose 5*b + 3*k + 0*k - 1018 = 0, d = 4*k. Is b a multiple of 29?
True
Suppose 0 = -3*u + 593 + 2449. Suppose -3276 - u = -5*y. Is 11 a factor of y?
True
Let u(c) = c**2 + 3*c - 50. Let y(p) = 35*p - 165. Let q be y(5). Is 10 a factor of u(q)?
True
Let t(p) = -2208*p - 9061. Does 7 divide t(-6)?
False
Is 132302/21 + 522/(-5481) a multiple of 10?
True
Let g(u) be the first derivative of 83*u**3/3 - 5*u**2/2 + 8*u - 37. Does 14 divide g(2)?
False
Let r(k) = -7*k + 5 - 7 + 2 - 12*k**2 + 45*k**2. Is r(4) a multiple of 19?
False
Let y(q) be the third derivative of 125*q**4/24 + 70*q**3/3 - 18*q**2. Is y(4) a multiple of 8?
True
Let y = 34550 - 27359. Is 5 a factor of y?
False
Suppose -4*u = 3*l - 3*u - 19, -2*l - 3*u = -22. Suppose -l*j = 3*m - 711, 0 = -6*j + 11*j + 4*m - 708. Is 9 a factor of j?
True
Let c = 208 + -135. Let o be 135 + -1 + (5 - 3). Suppose 3*t - o = 5*f, -2*t - 2*f + c = -39. Is 13 a factor of t?
True
Let n(g) = -18*g + 2. Let h = -78 + 83. Suppose 0*q - h*q = 10. Is 12 a factor of n(q)?
False
Suppose -3*o + 3*v = -30, 4*o + v + 9 = 64. Let b = 34 + o. Let u = -38 + b. Is 5 a factor of u?
False
Let l(c) = -79*c**2 - c + 105*c**2 - c + 1. Let z be l(1). Let h = 193 - z. Does 24 divide h?
True
Suppose 2 = 3*j + 5, -2*j + 3402 = -4*a. Let z = -431 - a. Is z a multiple of 30?
True
Is 8 a factor of 320/((-816)/60 - -14)?
True
Let c = 192 + -216. Let b = c + 68. Does 8 divide b?
False
Suppose -2*l + 140 - 142 = 0. Does 19 divide (l/2)/(3/6)*-171?
True
Suppose -2*g + 4*i = 364, 3*g + 546 = -4*i + 2*i. Let f = g + 266. Is 12 a factor of f?
True
Let x be ((-96)/80)/(0 - (-2)/(-5)). Suppose 837 = 9*o - 4*o + c, -x*o + 3*c + 513 = 0. Does 5 divide o?
False
Let a(n) be the third derivative of n**6/120 + n**5/12 + 3*n**4/8 + 2*n**3 + 9*n**2. Let h be a(-6). Is 2 a factor of (-1)/(-2)*h/9*-3?
False
Suppose b = 5*b - 5*b. Let o be 595/(9 - 4)*(b - -1). Suppose s - 17 = o. Is s a multiple of 8?
True
Suppose 0 = 16*m - 303 + 111. Is 21 a factor of (11 - m)*3*(-43 + 1)?
True
Let c = -57 + 76. Let d(o) = -o**3 + 18*o**2 + 28*o - 39. Is 22 a factor of d(c)?
True
Suppose 5*p = 0, -4*v - 51 = -5*p - 19. Let r(j) = -800*j + 400*j + 393*j - 1. Is 12 a factor of r(v)?
False
Let i(z) = z**3 - 21*z**2 - 22*z + 1. Let c be (2/3)/((-12)/(-54)) - -19. Let k be i(c). Does 7 divide (2 - -38) + -1 + k + -3?
False
Suppose -70*w = -61*w - 252. Let d = w - -456. Is 11 a factor of d?
True
Suppose 328 = 19*a + 255 - 725. Let n be (-16)/(-6)*(7 + -1). Let l = a + n. Is l a multiple of 13?
False
Let w(z) = 3*z**3 - 37*z**2 + 33*z - 24. Is 42 a factor of w(15)?
False
Suppose 4*a = -5*m + 9610, 0 = -a + m + 1757 + 659. Does 58 divide a?
False
Let s(t) = 576*t + 6352. Does 13 divide s(49)?
False
Let d(m) = -25*m + 42*m - 7*m + 56*m + 424. Is d(0) a multiple of 11?
False
Let x(t) = t**3 + 9*t**2 + 2*t + 22. Let f be x(-9). Suppose g + f = 7. Is (1 - g)/(-2)*35 a multiple of 5?
True
Suppose -27*t + 58*t - 434 = 0. Suppose -t*y = -2*r - 19*y + 411, 4*y = -r + 210. Is r a multiple of 9?
True
Suppose 3*v - v - 1058 = -2*y, y + 2*v - 526 = 0. Does 19 divide y?
True
Let x(f) = -f**3 + 28*f**2 + 1006*f + 28. Is x(37) a multiple of 14?
False
Let n = 7 - 8. Let c(h) = h**3 - h**2 - h - 1. Let u(t) = 8*t**2 + 4*t + 7. Let l(q) = n*u(q) + c(q). Is l(10) a multiple of 8?
False
Suppose -2*c = 16 - 24. Suppose m + 3*j = 152 - 61, -5*m - c*j = -477. Is 3 a factor of m?
False
Let a(y) = -1743*y**3 - y**2 - 3*y - 2. Let s be a(-1). Suppose s = 36*g - 3909. Is g a multiple of 6?
False
Suppose -4*c = -3*c + f - 4, -3*f = -3*c + 18. Suppose -u - 3*j = -38, -c*u = 2*j + j - 166. Does 14 divide u?
False
Let i(r) = -9*r**3 + 118*r**2 + 11*r - 2. Is 14 a factor of i(9)?
True
Suppose 10*b + 3546 - 14345 = 4231. Does 101 divide b?
False
Suppose 2*p - 4525 = -g, 0 = -2*p - 40*g + 37*g + 4515. Is p a multiple of 8?
False
Let w be (-6)/18 + 398/6. Suppose -w*v + 760 = -62*v. Suppose -5*b + 910 = 2*x, -3*b - v = -4*b - 2*x. Does 36 divide b?
True
Let w(y) = 6*y**2 + 9*y - 828. Is 29 a factor of w(-20)?
True
Let w = -12021 - -25138. Is 25 a factor of w?
False
Suppose 12*m + 8 = 16*m. Suppose 2*x + 20 = 4*x - m*r, -2*x + 20 = 3*r. Suppose 0 = -9*u + x*u - 86. Is 27 a factor of u?
False
Let a(v) = 24*v**2 - 4*v - 4. Let o be a(-1). Suppose -o*t = -21*t - 669. Is 19 a factor of t?
False
Let p be 8/36 - (-7286)/18. Let y = p - 55. Is 7 a factor of y?
True
Suppose 282*v = 296*v - 4872. Is v a multiple of 29?
True
Let b(k) = 29*k**2 + 2*k + 2. Let g be b(-1). Suppose -3*j = -3*f + 18, -4*f + g = -j - 4*j. Suppose -3*z - f = -67. Is 22 a factor of z?
True
Suppose -8*l = 97 - 17. Is (l - 4)*136/(-2) a multiple of 34?
True
Suppose 0 = 28*d - 30*d + 2732. Let z be (-5)/(-30) + d/12. Suppose -u = s - 66, 2*s - 4*u = -0*u + z. Is s a multiple of 26?
False
Let h(q) = q**3 + 38*q**2 + q**3 - 43*q**2 + 6*q - 1 - 2. Let o(a) = -2*a - 7. Let m be o(-5). Is 5 a factor of h(m)?
False
Let z(x) = x**2 + 4*x - 1. Let l be z(-5). Suppose -5*u + 0*u + 22 = -4*n, -2*u = -l*n - 4. Is (-2 - (-4)/(-6))/(u/(-288)) a multiple of 18?
False
Suppose -3*j + 5945 = 4*b, 3835*b - 3839*b - 7936 = -4*j. Is j a multiple of 35?
False
Suppose 2*i - 2 = 0, -i - 63 = -z + 5*z. Is 10*z/(-20) + 245 a multiple of 11?
True
Suppose -38*u - 8221 = -4*u - 25493. Is u a multiple of 9?
False
Let x = 169 - 166. Suppose 4*h - 2*m - 1064 = 140, 2*m = -x*h + 896. Is h a multiple of 20?
True
Let u(s) = 523*s - 147. Let m be u(7). Let y = m + -2271. Does 54 divide y?
False
Let h be (5/(-5)*3)/(-2 - 1). Does 14 divide (-232)/(-1044) - (19024/(-9))/h?
True
Suppose 2*w + 17 = 4*a - 5*a, -13 = 4*w - 5*a. Let f(r) be the third derivative of -7*r**4/4 - 11*r**3/3 - 5841*r**2. Does 41 divide f(w)?
False
Let s = 4017 - 355. Is 58 a factor of s?
False
Let x be -20 + 46 - 2/(-2). Suppose 2*m - 37 = -x. Suppose 1 + 74 = m*w. Is w a multiple of 3?
True
S