factor of m?
False
Let t(c) = -c**3 + 6*c - 2. Suppose 2*u + 2*u - a - 35 = 0, 5 = 5*a. Suppose 30 = -u*r + 3*r. Is t(r) a multiple of 12?
False
Let m(j) = j**3 + 3*j**2 + 2*j + 2. Let k be m(-2). Suppose -8 = k*u - 4. Let n(y) = -4*y**3 + y**2 + y. Is 4 a factor of n(u)?
False
Let s(g) = g**2 - 6. Does 5 divide s(12)?
False
Let h(d) = -16*d - 7. Let c be h(-2). Let x = c + -110. Let p = x - -178. Is 12 a factor of p?
False
Let r = -51 - -233. Suppose -m + 174 = 2*n, -2*n + 6*n - r = -m. Does 46 divide m?
False
Let j(a) be the third derivative of a**6/120 + a**5/5 - a**4/6 + 3*a**3/2 + a**2. Let n be j(-9). Suppose 3*b = -b + n. Does 19 divide b?
False
Is 3 a factor of ((-140)/(-21))/((-34)/12 + 3)?
False
Let o = -29 - -34. Suppose 0 = -o*k + 6*k - 8. Is 4 a factor of k?
True
Let a = 22 - 17. Suppose -3*j + 3*o + 102 = 0, 2*j - 5*o = a*j - 102. Is j a multiple of 34?
True
Let i be ((-72)/10)/(4/(-470)). Suppose -q + 27 = -2*j + 372, -5*j - 3*q = -i. Does 19 divide (j/(-15))/(3/(-15))?
True
Let t be (-34)/9 - (-36)/(-162). Is 2 a factor of (-1)/(t/6)*2?
False
Let w = 6040 - 4085. Is w a multiple of 55?
False
Suppose -r + 267 = -i, -2*r - 257 = -3*r + 3*i. Is r a multiple of 34?
True
Suppose 0 = 3*u - 4*w + 11, 1 = -4*w + 21. Suppose h = -2*r + 11, 5*r - 29 + 1 = -3*h. Suppose 0 = -r*a + a + u*o + 240, 4*o = -2*a + 98. Does 10 divide a?
False
Let t be (-3 - -3)/(-1 + 0/(-2)). Suppose 4*a - 309 = d, t*a + 2*a = 3*d + 147. Is 6 a factor of a?
True
Let x(q) = 65*q**2 - q + 3. Let m be x(5). Let t be m/21 + (-6)/21. Let p = t - 35. Does 23 divide p?
False
Is 80/(-28)*(5 + -33) a multiple of 10?
True
Does 4 divide (-78)/4*192/(-36)?
True
Let o = -14 + 15. Is (o + 55/(-25))*-10 a multiple of 3?
True
Is -8 + (-7659)/(-18) + 10/4 a multiple of 3?
True
Suppose -140 = 2*i - 784. Is 23 a factor of i?
True
Let f(h) = -h**3 + 3*h**3 + 3*h + 2*h - 8 - 2*h - 10*h**2. Does 19 divide f(7)?
True
Let v = 25 - 20. Suppose v*r = -0 + 5. Let d = r - -64. Is d a multiple of 14?
False
Let c = 3 + 6. Let x be 4/(-6) + 861/c. Suppose 3*q = -5*w + 105, 5*q - x = -w - 4*w. Does 4 divide w?
True
Let j = -4 + 6. Suppose -a - 2*h = -2*a + 12, 2*h = -5*a. Suppose j*q - 72 = -a*q. Is q a multiple of 9?
True
Suppose 2*f = -3*j + 711 + 103, -f - 2*j + 406 = 0. Is f a multiple of 108?
False
Suppose 0 = -u + 4*u - 2*n - 627, 4*u - 4*n = 840. Is u a multiple of 9?
True
Let i(w) = w + 154. Does 6 divide i(37)?
False
Suppose 3*h = 5*w - 754, -1 = -5*h + 9. Does 15 divide w?
False
Is 30 a factor of ((-80)/15)/8 + (-37885)/(-15)?
False
Suppose 2*v + 57 = -v + 3*d, 3*v - 2*d = -54. Let m = v - -36. Is 5 a factor of m?
True
Let r = 320 + -206. Let z = 170 - r. Is z a multiple of 15?
False
Suppose -4364 = -5*d - 1579. Let m = d - 309. Suppose r - m = -3*r. Does 16 divide r?
False
Let u = -2722 - -1699. Does 20 divide (-2)/10 + u/(-15)?
False
Suppose -3*a - 17 = -77. Let c = a - 15. Suppose 41 = 3*o - c*d, -4 = -4*d - 20. Is o a multiple of 2?
False
Suppose -3*m = 2*m - 5. Let h(g) = 26*g**2 - 2*g + 1. Is h(m) a multiple of 5?
True
Let z(x) = -x**2 + 115*x + 384. Is 37 a factor of z(54)?
False
Let a(o) = -o**2 + 9*o - 8. Let z be a(6). Suppose -2*d + 4*d = 4*h - z, -3*d = 4*h - 25. Suppose h*v + 4*m - 244 = 0, -4*m + 25 = m. Is 14 a factor of v?
True
Let z = -29 + 103. Suppose -k + 49 = 4*u - z, -4*k - u = -477. Is k a multiple of 6?
False
Let n = 55 + -26. Suppose 25*b - n*b + 16 = 0. Suppose 310 = 4*l - b*x - 86, 3*l = 4*x + 293. Is 30 a factor of l?
False
Let r be 4/(-12) + (-3 - 460/(-12)). Suppose 264 = r*d - 31*d. Is 32 a factor of d?
False
Suppose 40*p = 27*p + 3874. Let q(j) = -27*j - 6. Let w be q(-4). Suppose w + p = 5*z. Is z a multiple of 14?
False
Let o(h) = 2*h**3 + h**2 + 18*h. Is o(8) a multiple of 7?
True
Let r = -12 - -15. Let b = -9 - -6. Is 12 a factor of b*((r - 16) + 4)?
False
Let u = -125 + 129. Is ((-6)/(-9) - u)*2220/(-25) a multiple of 47?
False
Let i = 49 - 72. Is (368/i)/((-1)/2) a multiple of 8?
True
Suppose 0*x = 2*x + 4*s + 8, 5*x + 5*s + 30 = 0. Is (-1)/x - 391/(-8) a multiple of 12?
False
Let a(u) = -u**3 + 18*u**2 + 22*u - 3. Is a(19) a multiple of 3?
True
Let b(t) = t**3 - 5*t**2 + t - 11. Let j = -59 + 65. Is 31 a factor of b(j)?
True
Does 43 divide (4*(-22)/(-16))/((-1)/(-56))?
False
Suppose -22*a + 602 = t - 21*a, 0 = 5*t + 2*a - 3022. Is t a multiple of 50?
False
Suppose 106 = 2*u + j + 16, 0 = 4*j. Is u even?
False
Let z be (-15)/6 - (-2)/4. Let k be (-3 - -4)/(z/4). Is (24/(-16))/(k/68) a multiple of 17?
True
Let d be (-4 - 1)*(-13)/13. Suppose 5*h + 4*i - 98 = i, 42 = h - d*i. Is 22 a factor of h?
True
Suppose -d - 5 = 0, 4*p - 17 = -d + 18. Let n(a) be the second derivative of -a**5/20 + 5*a**4/6 + a**3/2 - 3*a**2/2 + 3*a. Does 9 divide n(p)?
True
Let n(x) = 21*x**2 - 11*x + 70. Does 90 divide n(5)?
True
Let p(z) = -18*z**3 - z + 30*z**3 + 2*z**2 - 4*z**2 + 22*z**3. Let h be p(-1). Let a = -9 - h. Is a a multiple of 26?
True
Suppose 272 = 5*r - z + 5*z, -4*r - 4*z = -220. Is r a multiple of 17?
False
Let a be 3/(-6)*6*-5. Suppose 2*y + y = -i + a, y = i + 5. Suppose -3*o + 26 - 2 = i. Is 5 a factor of o?
False
Let c = 810 + -118. Is c a multiple of 13?
False
Does 50 divide 2*6/24 - 1798/(-4)?
True
Let k(w) be the third derivative of -1/24*w**4 + 0 - 2*w**2 + 0*w + 13/6*w**3. Does 24 divide k(-11)?
True
Let z(r) = r**2 - 2*r - 1. Let y be z(3). Suppose 5*c = -y*a - 0*c + 28, 0 = -5*c. Does 2 divide a?
True
Let v = -19 - -19. Suppose -f = -2*j - 10, f - 3*j = -v*f + 15. Suppose 3*g + g - 24 = f. Is g a multiple of 3?
True
Let c(n) = n**3 + 13*n**2 + 5*n + 3. Let s be c(-8). Suppose 5*t = s + 282. Does 11 divide t?
False
Is 1081/7 - 144/(-252) a multiple of 107?
False
Suppose 4*q + z = 18, -38 + 8 = -5*q - 5*z. Suppose l + 2*x + x + 9 = 0, 0 = q*l - 2*x - 6. Suppose l = 2*r - 10. Is r a multiple of 5?
True
Let z be 69/21 - (-2)/(-7). Suppose 3*v - 35 = z*f + 52, -2*v - 5*f = -30. Suppose -3*w + v = l, -4*l - w = -54 - 24. Does 19 divide l?
True
Is 260/3*2160/450 a multiple of 5?
False
Suppose 5*w - 5*n = 490, n - 213 = -2*w - 20. Suppose 5*p - 4*a - w = 62, -a - 125 = -4*p. Is 26 a factor of p?
False
Suppose 2*d = 5 + 1. Suppose -6*n = -d*n - 114. Suppose 5*x + u = n + 25, 0 = 5*x + 5*u - 75. Does 4 divide x?
True
Is 10 a factor of (-324)/30 - -11 - 13788/(-10)?
False
Suppose -4*k + 0*s - 20 = -4*s, -5*s = k - 13. Is 3822/105 - k/(-5) a multiple of 12?
True
Let g = -314 + 338. Does 11 divide g?
False
Let w be 8/4*2 + 1. Suppose -6 = -2*u, -u = w*b - 130 - 83. Suppose 7*c + 0*c - b = 0. Is c a multiple of 5?
False
Let w(g) = 21*g. Let m be w(16). Does 45 divide m/35*(-45)/(-6)?
False
Suppose 59 = 4*h - 3*q, 2*h + 39 = 6*h + q. Let a(s) = 2*s - 20. Let r be a(h). Suppose r*c + 0*b = 5*b + 67, 5*c - 130 = 5*b. Is c a multiple of 8?
False
Let w = -25 - -36. Let s be (-1 - -34)*(-10)/30. Let h = w - s. Does 10 divide h?
False
Suppose -2*t - 28 = -0*f + 3*f, 4*t = f - 28. Let l = t - -23. Is 16 a factor of (-2)/4*-2 + l?
True
Suppose 2*b + 704 = 4*b. Suppose 3*u - u = b. Suppose -s = 3*s - u. Is s a multiple of 15?
False
Suppose -13 - 7 = i. Does 43 divide 516/(-10)*(-25 - i)?
True
Let g(p) = 13*p + p + 331*p**2 - 329*p**2 + 18. Does 13 divide g(-10)?
True
Let g be 38/(-14) - 44/154. Is ((-444)/2)/g - 2 a multiple of 21?
False
Suppose 428*d = 433*d - 350. Does 5 divide d?
True
Let p be (-5)/(10/4)*4482/(-4). Suppose -p + 351 = -5*c. Does 21 divide c?
True
Let i(r) = 3*r**2 - 15*r - 13. Let f(t) = 7*t**2 - 31*t - 27. Suppose -3*q + q + 2*a = 4, 3*q - a + 12 = 0. Let b(l) = q*i(l) + 2*f(l). Is 13 a factor of b(11)?
False
Suppose 10 = c + 2*t, 7*t + 38 = 2*c + 2*t. Let s = 24 - c. Is s a multiple of 5?
True
Let i(o) = 8*o - 4. Let s(g) = -7*g + 4. Let f(a) = a - 7. Let j be f(13). Let b(z) = j*s(z) + 4*i(z). Is 22 a factor of b(-7)?
False
Let q = 1259 + -769. Does 14 divide q?
True
Suppose 48 = 9*m - 6*m. Let g = -10 + m. Is 7 a factor of ((-3)/g)/(4/(-152))?
False
Suppose 24*o = 23*o + p + 112, 4*o - 5*p - 449 = 0. Is 3 a factor of o?
True
Let n = -10 - -7. Does 10 divide ((-12)/14)/(n/210)?
True
Suppose 30*f - 66624 = -2*f. Is 8 a factor of f?
False
Suppose 389 = t - 4*a, -t = 3*t - 2*a - 1500. Does 18 divide t?
False
Suppose 482 + 10308 = 26*r. Is 5 a 