ivide u?
True
Suppose 645 = 3*g - 3*q + 210, 4*g + 5*q - 553 = 0. Let r = 197 - g. Does 3 divide r?
False
Is 7/((-210)/(-5508))*7/(70/25) a multiple of 76?
False
Suppose 3 = -3*w - 9, 5*l - 32 = -2*w. Suppose 0*v + l = 2*v. Suppose 0 = 2*n + v*g + 2, -3*n - 2*g + 15 = -5*g. Is n a multiple of 2?
False
Suppose 2*c - 34594 = 2*p, 3*c - p - 54973 = -3088. Is c a multiple of 23?
False
Suppose 276 = 7*y + 339. Is 27 a factor of (594 - 6)/((-1)/(6/y))?
False
Let y(d) = d**2 - 345*d + 1191. Does 17 divide y(-107)?
True
Let g(q) = -347*q + 14377. Is g(0) a multiple of 12?
False
Let u = -15 + 36. Let c be 3*(-6)/108 + 175/6. Let d = u + c. Is 10 a factor of d?
True
Suppose -1159 = -11490*f + 11489*f + 4157. Does 4 divide f?
True
Let z(b) = -3*b + 29. Let j be z(9). Let h(d) = -14 + 11 + 5 + 86*d + 1. Is h(j) a multiple of 7?
True
Let j = -19 + 25. Let o(g) = -11*g - 3. Let h(s) = 10*s + 2. Let i(q) = j*h(q) + 5*o(q). Is 7 a factor of i(11)?
False
Let d(z) be the first derivative of 2*z**3/3 - 23*z**2 - 30*z - 31. Does 2 divide d(25)?
True
Let h(r) = -1. Let t(m) = -70*m + 28. Let f(s) = 2*h(s) + t(s). Is 42 a factor of f(-4)?
False
Suppose 5*h - 7*h = 750. Let j = 379 - h. Suppose 5*f + 4*x = j, 2*f - 196 = 3*x + 124. Does 14 divide f?
True
Let t(h) = -110*h - 558. Is 108 a factor of t(-63)?
True
Suppose -26*v = -2*w - 21*v + 3157, 0 = -4*w - 2*v + 6374. Suppose -5*o - w = -3*j, 0*o + o = 3*j - 1595. Is j a multiple of 28?
True
Suppose -3*m - 5*r = -22838, -m + 5*r - 7*r + 7615 = 0. Is m a multiple of 44?
False
Let x = -4554 + 5565. Is 21 a factor of x?
False
Suppose 4*p - 3*h = 2*h - 172, -h = 0. Let d = -25 - p. Suppose -9*x = -d - 126. Is 3 a factor of x?
False
Let y(x) = -2*x**3 + 6*x**2 - 4*x + 2. Let t = 14 - 11. Let w be y(t). Is 15 a factor of 90/4*(160/(-6))/w?
True
Suppose 3*x - 3 = 600. Suppose x + 631 = 8*n. Does 8 divide n?
True
Let y be (1 + 6)/(13/689). Let v = 555 - y. Suppose 0 = 6*x - 610 + v. Is 3 a factor of x?
False
Let g(r) = 5*r**2 - 27*r**3 - 2 - 319*r - 310*r + 941*r - 311*r. Is g(-1) even?
False
Suppose 14 = -5*m + 59. Let j = m + -10. Is 29 a factor of j/(3 + -6) + 172/6?
True
Let t be ((-18)/(-36))/((-1)/(-14)). Suppose -13*p + 36 = -t*p. Does 35 divide (-18 + -4)/((-3)/p)?
False
Let q = 258 + 479. Is q a multiple of 11?
True
Let s(p) = 30*p + 18 - 241*p + 20*p. Is s(-4) a multiple of 34?
True
Let s = -87 - -23. Is ((-4)/8)/((-8)/s) - -623 a multiple of 46?
False
Suppose 4 = -u - 2*q, -4 = -4*u + 3*q + 2. Suppose u = 4*z - 3*w - 954, 24*w = 2*z + 20*w - 472. Is 12 a factor of z?
True
Let a = 36 + -29. Is 18 a factor of (9/(-12))/(a/(-2520))?
True
Let p(i) = 128*i**2 - 102*i + 728. Is p(7) a multiple of 17?
False
Suppose 19153 = 3*x + 46*x - 30484. Does 51 divide x?
False
Let z(c) = 36*c**2 + 7*c + 7. Suppose -20*j - 8 = 12. Is 18 a factor of z(j)?
True
Let t(n) = n**2 + 6*n + 5. Let g be t(-6). Suppose 0 = -4*s + 4*b + 224, -s - b - 227 = -g*s. Is s a multiple of 4?
False
Suppose 0 = -7*t - 792 - 1203. Let g be (t/(-20))/((-98)/48 - -2). Let q = -215 - g. Does 29 divide q?
False
Suppose -2*w + 11 = b, 0 = w + 2*w - 2*b - 13. Suppose 4*h + h - 5*o = 1485, 2*h = w*o + 609. Is h a multiple of 14?
False
Let y(u) = -167*u + 3082. Is 72 a factor of y(-20)?
False
Let p = -3 + 3. Suppose 30*y = y + 116. Suppose -y*t = -d, p*d - 5*t + 4 = -d. Is d a multiple of 8?
True
Let a be ((-3)/((-36)/8))/(6/225). Suppose -5*h + a = -0, -3*c + 397 = 5*h. Is c a multiple of 14?
False
Suppose 0*w - 5*w + 60 = 0. Let a = 99 - w. Suppose 3*t + a = 261. Is 6 a factor of t?
False
Let g(k) = -432*k**3 - 4*k**2 + 21*k + 67. Is 13 a factor of g(-4)?
False
Is 223 a factor of (-8 - (-11454 - -16))*(-20)/(-8)?
False
Suppose 2*h - 18 = -2*w, 0 = h - 3*w + 2 + 1. Let q be (1 - (-4)/h)*-3. Is 8 a factor of ((-6)/q)/((-66)/(-880))?
True
Let u = 1492 + 3127. Is u a multiple of 11?
False
Let p(u) = 63*u + 3. Let v = 28 + -24. Let i be p(v). Suppose -l = 0, -2*a + 107 = 4*l - i. Does 29 divide a?
False
Suppose 0 = -3*p - 124 - 53. Suppose 78 = 3*u - 5*u. Let o = u - p. Is o a multiple of 12?
False
Suppose a - k - 1579 - 977 = 0, -2552 = -a + 3*k. Is a a multiple of 13?
False
Is (-3)/24 + 2731329/72 a multiple of 13?
False
Let s(b) = -3*b**2 + 2*b**2 - 32*b - 16*b + 4 + 62*b. Let y be s(14). Suppose -35 = -a - y*w, -3*a + 122 = -9*w + 4*w. Is 8 a factor of a?
False
Let r = -39 - 65. Suppose -s - 3*m + 98 = -78, s - 170 = -m. Let x = r + s. Does 21 divide x?
True
Suppose r - 598 = -2*u, -5*u - 4*r + 6*r + 1486 = 0. Let o = 82 + u. Is o a multiple of 38?
True
Let w = 178 - 89. Let d = w + -92. Let a(n) = -9*n - 3. Is a(d) a multiple of 12?
True
Let h(u) = 14*u**3 - 3*u**2 - 8*u + 78. Is h(7) a multiple of 13?
False
Let j be (-4350)/(-14) + 3/(-42)*-4. Suppose 5*f = 3*w - 22 - j, 5*f = 15. Is w a multiple of 13?
False
Suppose -5*c - 7415 = -o, 47*o - 49*o = 2*c - 14878. Does 31 divide o?
False
Let h = -185 + 405. Suppose -28*g = -30*g + h. Is g a multiple of 10?
True
Suppose -4*l = -8*l + 20, -5*x + 5*l = -3425. Suppose -2*o + x = 3*g - 328, 0 = -4*g + 5*o + 1319. Does 42 divide g?
True
Suppose t + 3*x = -8, -5 + 22 = 5*t - 4*x. Let p(q) = 494*q**3 - q**2 + 4*q - 3. Is p(t) a multiple of 23?
False
Suppose 33*m + m - 109350 = -41*m. Is m a multiple of 162?
True
Suppose 0 = 21*u - 20*u - 2. Suppose 4*p - i - 507 = 878, -5*p + u*i = -1729. Does 11 divide p?
False
Let z = -263 + 266. Is 9/(-15) - ((-3172)/20 + z) a multiple of 44?
False
Suppose -4*p - 6*p - 120 = 0. Let j(q) = -3*q**2 - 48*q + 8. Is j(p) a multiple of 19?
True
Suppose 5*j - p + 1 = 0, 0 = -2*j - 2*j - 5*p - 24. Let q be 101 - (3/j)/(-3)*-1. Suppose 16*v = 10*v + q. Is 17 a factor of v?
True
Let l(j) = -3*j - 13. Let y be l(-7). Is 7 a factor of 4 - y - 105*(4 - 5)?
False
Let j(q) = 4*q**2 - 30*q + 20. Let x = -344 - -352. Is 15 a factor of j(x)?
False
Suppose -162*u + 2632 = -166*u. Let q = u + 1136. Is q a multiple of 20?
False
Suppose -5*s + 8 - 88 = 0. Let i = 38 + s. Suppose -2*p - i + 36 = 0. Is p a multiple of 2?
False
Let n be ((-32)/48)/(1/(-3)). Suppose -2*d - 2*d - 23 = p, n*d + 7 = p. Does 3 divide ((90/(-12))/d)/(1/10)?
True
Suppose -2*s + 10374 = 4*r - 6530, 0 = -3*s + 2*r + 25372. Is 28 a factor of s?
True
Suppose 432 = -23*c + 7*c + 39072. Is 12 a factor of c?
False
Suppose -18*u + 16324 = -16*u + 20*u. Does 103 divide u?
False
Let g(i) = 1007*i**2 - 472*i - 16. Does 68 divide g(5)?
False
Let k(t) = 36*t**2 - 47*t - 809. Is 54 a factor of k(-13)?
True
Let c = 5753 + 2093. Does 21 divide c?
False
Let v be 55 - -2 - (-28)/14. Suppose -v*x = -54*x - 3050. Is 13 a factor of x?
False
Let y(q) = 142*q**2 + 81*q + 6. Let v(t) = -70*t**2 - 40*t - 3. Let p(h) = -7*v(h) - 3*y(h). Does 56 divide p(3)?
False
Suppose 2*b + 236 = -5*t + 3286, 3*t + 1536 = b. Does 21 divide b?
False
Let t = 135 - -438. Suppose -571*n = -t*n + 822. Is 12 a factor of n?
False
Let j(a) be the second derivative of -a**5/20 - 5*a**4/3 - 7*a**3/2 + 13*a**2/2 - 8*a - 3. Does 15 divide j(-19)?
False
Let o(u) = 29391*u + 9. Let q be o(1). Is 36 a factor of (2/(-5))/((-8)/q)?
False
Let h = 13 - 13. Suppose -4*j - 595 + 3 = h. Let s = j + 210. Is 35 a factor of s?
False
Let g(f) = f - 2. Let s(l) = 3*l - 3. Let p(c) = -5*g(c) + 3*s(c). Let a(q) = -q**2 + 28*q - 107. Let i be a(5). Is 11 a factor of p(i)?
True
Suppose 0 = -2*m - 2*m + 424. Let w be 4/16 + 1070*2/16. Let q = w - m. Does 7 divide q?
True
Let z(j) = -177*j + 39. Let i = 126 + -129. Does 12 divide z(i)?
False
Suppose 144942 = 828*s - 807*s. Does 39 divide s?
False
Let h(d) = -d**3 + 13*d**2 - 3*d - 35. Suppose -5*m + 8 = 3*l - 0*l, 2*m = -4*l + 34. Is 29 a factor of h(l)?
True
Let o(v) = -3*v**3 - 16*v**2 - 11*v + 6. Let x(t) = -t**3 + 9*t**2 - 10*t + 10. Let h be x(8). Does 8 divide o(h)?
True
Suppose 5*h + i = 10, 0 = -5*i - 19 - 6. Suppose 4*f - h*f + 4 = 0. Is 13 a factor of 0 + f/(-14) + (-3808)/(-49)?
True
Let c(p) = -17*p**3 + 5*p**2 - 101*p - 150. Is c(-9) a multiple of 10?
False
Let w = 14 + 5. Let z = w - 12. Suppose 3*b = -z*d + 3*d + 130, 2*b + 3*d = 87. Is 6 a factor of b?
True
Suppose 0 = -10*u - 14963 + 5033. Let i = -513 - u. Is 40 a factor of i?
True
Suppose 0 = -s - 20*w + 22*w + 14389, -2*s + 28784 = -3*w. Is 9 a factor of s?
False
Let k be 72/(-