 factor of x?
True
Suppose 0 = -5*w + 15 - 0. Does 23 divide (6/(-8))/(w/2)*-146?
False
Let k(u) = -8 + 31*u + 7 - 2. Does 20 divide k(2)?
False
Suppose 0 = 32*z - 2191 - 913. Is 9 a factor of z?
False
Suppose 2*t - 2*t = -2*t. Is 5 + (t - (-110 - -4)) a multiple of 37?
True
Let q = -2 + 97. Is 5 a factor of q?
True
Let z(y) = 2*y**2 - 3*y**2 + 2*y**2 - 3*y + 11 + 1. Is z(9) a multiple of 11?
True
Let m(v) be the third derivative of 1/30*v**5 + 0 + 0*v**4 + 0*v + 10*v**2 + 1/6*v**3. Does 2 divide m(-1)?
False
Suppose 3*h - 3*j + 3 = 9, 3*j = -h + 2. Suppose -p - h*p = -384. Is 16 a factor of p?
True
Let r(j) = j**3 - 2*j**3 - 3 + 9 - 5*j**2 + 7*j. Let a be r(-6). Suppose 0 = k - 9*u + 4*u - 29, 5*k - u - 169 = a. Is k a multiple of 19?
False
Suppose 0 = -2*z - u + 651, z - 2*z + 4*u + 312 = 0. Suppose 4*h + z = 6*h. Is 18 a factor of h?
True
Is 3 a factor of (-1528)/(-11) + (-3)/(-33)?
False
Let o = 67 - 7. Is 6 a factor of o?
True
Suppose 0 = 11*v - 8964 - 2113. Does 25 divide v?
False
Let g(w) = -w**3 - 2*w**2 - 7*w - 2. Let t = 68 + -71. Is g(t) a multiple of 4?
True
Let r = -433 + 817. Is 41 a factor of r?
False
Suppose -5*a + 5*t = -695, 4*a - 438 - 119 = 5*t. Suppose 4*k = 7*k - a. Is 20 a factor of k?
False
Suppose 0 = -2*a - 0*a - 36. Let d = a + 14. Does 4 divide 68/3 - d/12?
False
Suppose 3*y = 5*u + 56, 3*y + 3*u - 8 = 16. Is 3 a factor of y?
True
Let p = -30 - -246. Does 9 divide p?
True
Is 4 a factor of (27/(-21))/(6/(-2828))?
False
Suppose -6*x + 30 = 6. Suppose x*p - 153 - 303 = 0. Does 19 divide p?
True
Is 261 - 44 - (-1)/(-1) a multiple of 4?
True
Suppose -5*t - 2*g - 36 + 5 = 0, -4*t - 22 = 3*g. Let j(z) = -58 + 33 - 2*z**2 + 32 + 4*z**2 + 7*z. Is 14 a factor of j(t)?
True
Let w = -144 - -144. Suppose w = -14*a + 21*a - 147. Does 21 divide a?
True
Let p(c) = -46*c**3 + 28*c + 90. Is 13 a factor of p(-3)?
True
Let o be 3/(-15)*0 - -2. Suppose o*g + g + 5*u = 38, -4*u = 5*g - 72. Is 4 a factor of g?
True
Suppose -4*u = 5*p - 993, 0 = 5*u - p + 218 - 1481. Suppose 0 = -b + 5*b - u. Does 9 divide b?
True
Let a = -493 - -707. Is a a multiple of 45?
False
Let t = 692 - 198. Is 13 a factor of t?
True
Let u = -19 + 14. Let r(a) = -13*a - 10. Does 11 divide r(u)?
True
Let j be 2 + (2 + 15)*-2. Let a = j + 51. Does 4 divide a?
False
Suppose 3*b - 1482 = 3*j, -5*b - 8*j + 4*j + 2506 = 0. Is 16 a factor of b?
False
Let u = -87 - -141. Is 18 a factor of u?
True
Suppose -6981 = -63*x + 10533. Is x a multiple of 22?
False
Suppose 0 = -4*o + 11 + 61. Suppose -5*l = l - o. Suppose 5*z - 250 = 5*b, 3*z + 2*b - 150 = l*b. Is z a multiple of 25?
True
Let a be 54840/25 + (-3)/5. Suppose -3*w = -4*f + a, -2730 - 18 = -5*f - 3*w. Suppose -f = -5*y - 164. Is y a multiple of 21?
False
Suppose 0*v = -4*v - l + 10, 10 = 5*l. Suppose 0 = v*s - 0*s - 64. Let w = s + 4. Is 10 a factor of w?
False
Suppose -4*z + 5*o = -283, -10 = 2*o - 12. Does 22 divide z?
False
Let d(b) = -b**2 + 9*b + 16. Let q be d(11). Let n = q + 6. Suppose n = o - 3*o + 120. Is o a multiple of 20?
True
Suppose -4*u - 25 = -37. Suppose -3 = -u*y - 0, 3*x + 4*y - 49 = 0. Does 15 divide x?
True
Is ((-1488*14)/(-8))/(6/4) a multiple of 30?
False
Suppose -4*m + 2*z + 2066 = 0, 5*m + 4*z + 0*z = 2589. Is 87 a factor of m?
False
Let y be ((-1)/(-4))/(1/12) + -3. Suppose -t = t - 4*h - 60, y = 5*t + 5*h - 75. Is 4 a factor of t?
True
Does 77 divide (-20)/(-30)*(-3069)/(-3)?
False
Let i = -20 + 50. Suppose x + 4*x = i. Is x a multiple of 3?
True
Let w = 1841 - 1157. Does 38 divide w?
True
Suppose 9*n = -5*n + 47880. Suppose 0 = 3*j + 7*j - n. Is 17 a factor of j?
False
Suppose 3528 = 44*z - 36*z. Does 63 divide z?
True
Let m be 0 + -2 + 213 + 1. Suppose b = 4*a - 0*b - 209, 4*a - 4*b = m. Does 26 divide a?
True
Let v = -479 - -869. Does 30 divide v?
True
Let g = 669 - 300. Does 41 divide g?
True
Suppose -l + 132 = -17. Is l a multiple of 6?
False
Let t be 9*-1*2/(-6). Suppose 0 = t*s - 8*s. Is 8 a factor of (30 + -1 + s)*1?
False
Let i be (-1 - (-5 + 3))/(-1). Let b be 206 - i - (-16)/(-8). Suppose -5*a + b = -0*a. Is a a multiple of 15?
False
Let x = -50 + 358. Let h = x + -172. Does 17 divide h?
True
Suppose 2*p + 9*a - 4*a = -69, a - 95 = 3*p. Let b = p + 72. Does 20 divide b?
True
Suppose 1986*l = 2000*l - 9268. Is l a multiple of 4?
False
Let v = 19 - 16. Suppose v*d - d - 432 = -2*j, 3*j + 2*d - 652 = 0. Does 13 divide j?
False
Suppose -2*m + 2*x - x = 147, -m - 69 = x. Let z = m - -122. Suppose 2*k - z = -2*i + 56, -2*i + 56 = k. Is 25 a factor of k?
True
Let s be -39 + -1 + 2*1. Let b = 107 + -42. Let y = b + s. Is y a multiple of 11?
False
Does 3 divide (-8)/(-16) + (-2380)/(-8)?
False
Let j(p) = -11*p - 25. Is 4 a factor of j(-9)?
False
Let z = 7 - -15. Let g be z/(-8)*(-9 + 5). Suppose 0*u + u = g. Is 2 a factor of u?
False
Let u be (-8)/(-56) - 26/(-14). Let w be u - ((3 - 0) + 4). Let b(v) = -v**2 - 9*v - 7. Is b(w) a multiple of 9?
False
Suppose 0 = -11*n + 739 + 3166. Is n a multiple of 12?
False
Suppose v + 4*t + 4 = -0*v, -3*v - 4*t = -28. Let n(o) be the first derivative of -o**3/3 + 9*o**2 - 14*o - 48. Does 6 divide n(v)?
True
Suppose -619 = -3*t - 5*l, -3*t = 3*l - 675 + 48. Is 15 a factor of t?
False
Suppose 0 = -2*v - 3*b - 16, v - 11 = 2*v + 3*b. Let n = v + 5. Suppose -228 = -n*a - 4*a. Is a a multiple of 33?
False
Let f(v) = 90*v - 6. Suppose 0*g = -4*g - 4*s + 60, 2*g - 14 = 2*s. Let z(x) = -18*x + 1. Let l(d) = g*z(d) + 2*f(d). Is l(-3) a multiple of 23?
False
Let h(q) = q**2 - 5*q - 2. Suppose -5*c = 0, -2*p - 2*c + 12 = -c. Let r be h(p). Is (-23)/(-5) - r/(-10) even?
False
Suppose 6*a - 4*a = 702. Let v = a + -127. Does 44 divide v?
False
Let i be (-9)/(36/(-8)) + 0. Let c be (8/(-24))/(i/(-12)). Suppose c*w + 30 = -0*l + l, -l + 21 = -5*w. Does 9 divide l?
True
Suppose -q + 336 = 5*q. Is q a multiple of 8?
True
Let c(n) = 2*n**2 + 10*n - 12. Let o be c(-8). Suppose -2*s = -5*i - 20, -s + o = s - i. Is s a multiple of 3?
False
Let w(u) = -u**2 + 2*u. Let h be w(2). Let q = h + 2. Is 11 a factor of ((-168)/20)/(q/(-10))?
False
Suppose v = 4*n - 1145, 47*v - 580 = -2*n + 45*v. Is n a multiple of 3?
False
Suppose -21*c - 1462 = -160. Suppose 0 = 3*n - 7*n. Let z = n - c. Does 16 divide z?
False
Suppose 2226 = i - 7*i. Is (-3)/(-27)*3 + i/(-3) a multiple of 21?
False
Suppose a + 17780 = 4*v - a, -6 = 3*a. Does 101 divide v?
True
Let s be 0/4 + 6*-1. Let j(x) = 2 - 9 - 10*x + 1. Is j(s) a multiple of 15?
False
Let x be 408/(-16)*4/3. Is 4/x - (-18963)/357 a multiple of 15?
False
Let b = -99 - -104. Suppose 88 = l - b*u, -3*u + 4*u = -5*l + 518. Is 14 a factor of l?
False
Let p(h) = 2*h**3 - 9*h**2 + 22*h + 1. Does 25 divide p(7)?
True
Suppose 3*x + 3 = -s - 0, -5*s + 1 = -x. Suppose l + s*d - 4*d - 9 = 0, 0 = -4*d + 12. Is 3 a factor of l?
True
Suppose -2*i - f + 5421 = 0, 8*f + 13584 = 3*i + 2*i. Does 12 divide i?
True
Let b = -8 + 236. Is b a multiple of 12?
True
Suppose 0*l + 4*l - 8 = 0. Let i = 0 - l. Is 14 a factor of ((-37)/(-2))/((-1)/i)?
False
Let k = -8 - -2. Let m be ((-111)/6)/(1/k). Suppose -m = -4*p + p. Is p a multiple of 18?
False
Suppose -4*w = -5*c + 37, -12 - 16 = -5*c + w. Let l be ((-2)/c)/(1/(-210)). Suppose 2*y = -y + l. Is y a multiple of 28?
True
Let p = 112 - 107. Suppose -4*o = 3*t - 988, -p*t + 3*o + 1637 = -0*t. Is 19 a factor of t?
False
Let j = 42 - 9. Let t be ((-16)/100)/(2/(-10))*20. Let d = j - t. Does 17 divide d?
True
Let s(d) = 11*d**2 - 10*d + 43. Is s(9) a multiple of 22?
False
Let n = 62 - 59. Is 12 a factor of ((-23)/(-3) - n)/((-8)/(-144))?
True
Let p(m) = -5*m**2 + 18*m + 11. Let a(r) = 2*r**2 - 9*r - 5. Let i = -17 - -10. Let n(x) = i*a(x) - 3*p(x). Is 12 a factor of n(-10)?
True
Let a = -118 + 550. Does 18 divide a?
True
Suppose -2 = -2*w, -2*o + 3*w - w + 790 = 0. Is 44 a factor of o?
True
Suppose 3*y - 2*q = 26, 1 = q + 2. Suppose 5*b - y*b = 4*n - 482, -5*n + 5*b + 620 = 0. Does 22 divide n?
False
Suppose -g = 3*g - 340. Let m = g - -184. Suppose 0 = 3*q - m + 101. Does 14 divide q?
True
Let o(a) = 6*a. Let t be o(-2). Let w be 2/t - (-3)/18. Suppose w = 3*u - j - 48, 3*u + 0*j = -3*j + 60. Is 9 a factor of u?
False
Suppose -2*s + 504 = 6*o - o, 5*o - 492 = 4*s. Is 13 a factor of o*(-3 - -4) - 1?
False
Let x(g) = 