 Let u = o - f. Does 5 divide u?
False
Suppose -4*a - 6 + 22 = 3*t, 0 = -2*a - 5*t + 8. Suppose -p - 2*p = 5*q - 250, a*q = 5*p + 200. Is q a multiple of 10?
True
Suppose 18*z = -25*z + 131365. Is 26 a factor of z?
False
Suppose 0 = x - 133 - 44. Let t = x - 82. Does 19 divide t?
True
Let w(m) = m**2 - 10*m - 10. Let h(x) = 2*x**2 - 30*x - 30. Let g(n) = -2*h(n) + 7*w(n). Is g(-4) a multiple of 39?
True
Let w(g) = -10*g + 194. Is w(-31) a multiple of 18?
True
Let j(o) = 2 + 3*o**2 - 4 - 6*o - 4*o**2. Is 4 a factor of j(-4)?
False
Let m(o) = 197*o**2 + 21*o - 52. Is m(3) a multiple of 10?
False
Let d = -6419 + 9848. Does 77 divide d?
False
Suppose -52 = 3*p - 5*u, -20 = 7*p - 2*p + 5*u. Let c(g) = -g + 48. Does 15 divide c(p)?
False
Let c(r) = r**3 - 2*r**2 - 9*r + 4. Let b be c(4). Suppose b = -5*f + 6*f - 60. Is 5 a factor of f?
True
Let h(b) = -b**2 + 6*b + 5. Let f be h(5). Suppose 21*c = -4*c. Suppose c = -5*y + f*y - 125. Is 25 a factor of y?
True
Let l(b) = -7*b + 11. Let c = -16 + 18. Suppose -c*n = -3*y + 7*y + 30, 0 = 4*n + y + 46. Is 31 a factor of l(n)?
False
Suppose 2*u = 2*o - 244, -3*o = -4*o + 3*u + 114. Is 6 a factor of o?
True
Let p(j) = 6*j - 6 + 0*j**3 - 3*j**3 + 4*j**3 + 8*j**2. Let t be p(-7). Let d = 15 - t. Is d a multiple of 14?
True
Suppose 0 = 6*q + 6527 + 6025. Is (q/(-20) - 3) + (-2)/(-5) a multiple of 13?
False
Let g = 2447 + -1366. Is g a multiple of 11?
False
Suppose 0 = 42*v - 40*v - 6. Suppose -4*x - 4*o = x - 1097, -2*x = -v*o - 448. Does 17 divide x?
True
Let x(u) = -u**3 - 8*u**2 + 8*u - 4. Let a(w) = -w**2 + 6*w + 17. Let m be a(8). Let p(y) = -10*y**3 + 2*y**2 - y. Let h be p(m). Is 5 a factor of x(h)?
True
Let x = -7 - -7. Suppose 13*h - 15*h = -6. Suppose 0*f + h*f + o - 121 = x, -o = -3*f + 131. Does 21 divide f?
True
Let c = 21 + 267. Is 28 a factor of c?
False
Suppose 2550 = 13*v + 12*v. Is 8 a factor of v?
False
Let k(r) = -r**3 + 6*r**2 + 5*r + 16. Let l be k(7). Suppose l*j + 6*t - 685 = 3*t, 0 = -4*j + 4*t + 1420. Does 14 divide j?
True
Let m be (-30)/(-5)*1/2. Suppose -a = -m*y - 45, 3*a - 7*a + y + 191 = 0. Let d = 73 - a. Is d a multiple of 13?
False
Suppose 0 = 3*b + 5*f - 2707, 0 = 3*b + 3*f - f - 2710. Is 8 a factor of b?
True
Let v be 0 + (3 - 5) - -15 - 2. Let w = 106 - v. Is w a multiple of 5?
True
Let f(t) = -t**2 - 22*t - 13. Let k = -67 + 46. Is f(k) a multiple of 6?
False
Suppose 5*x - 53 - 172 = 0. Suppose 5 = 4*a - 3. Suppose -w - d + x = 0, -a*w + d + 96 = -0*d. Is w a multiple of 9?
False
Suppose -4*g + 11 = -1, -5*w = -5*g - 1305. Is w a multiple of 31?
False
Suppose -5*l + 460 = 4*x - 8290, -2*x = 0. Does 25 divide l?
True
Does 36 divide 864 - (-1 + 2) - -1?
True
Let i be 2/((22/(-33))/(-5 - -1)). Let d = i - -36. Is 5 a factor of d?
False
Suppose 2250 = 5*f - 4*y, -f + 0*f + 3*y + 450 = 0. Suppose -56*h + f = -51*h. Is 18 a factor of h?
True
Is 9 a factor of (153/27 - 5)*(-53028)/(-8)?
True
Suppose -5*c - 2420 = 5*a, 13*a + 1448 = -3*c + 8*a. Let x = 762 + c. Is 16 a factor of x?
False
Is 50 a factor of (-198)/(-264)*2936/3?
False
Let q(w) = -w**2 - 9*w + 34. Let z be q(-12). Let y = z - -26. Is 2 a factor of y?
True
Let c(h) = 681*h - 266. Does 7 divide c(2)?
False
Let d(v) = 4*v + 9. Let y be ((-39)/(-6))/((-2)/(-4)). Let x be d(y). Let n = x - -64. Is 25 a factor of n?
True
Let d = 41 + -49. Is (-1332)/d + 9/6 a multiple of 14?
True
Is ((-918)/21)/((-3702)/616 + 6) a multiple of 102?
True
Let x be (-56)/(-12)*(-6)/2. Let q(w) be the third derivative of -w**4/24 + 7*w**3/3 - 8*w**2. Is q(x) a multiple of 14?
True
Is 3 a factor of (408/60)/((-9)/(-135))?
True
Let g(b) = -b**3 + 2*b**2 + 3*b + 1. Let q = 14 + -11. Let p be g(q). Is 3 a factor of (-12)/(-4)*3*p?
True
Is 3552/37 - (6 - 1 - 1) a multiple of 23?
True
Suppose 2*j = -5*v + 338, 5*v - 2*j - 353 = -11. Suppose 4*h = 2*f - v, f + h = -0*h + 31. Is f a multiple of 8?
True
Suppose 0 = -25*v + 4342 + 33. Is v a multiple of 12?
False
Does 11 divide 9/(-99) + (-20106)/(-99)?
False
Suppose -5*c + 9*s = 6*s - 210, s = 5*c - 220. Is c a multiple of 2?
False
Let s(h) = h**2 - 4*h + 2. Let f be s(3). Let i = 2 - f. Suppose 2*j + 5 = 4*u + 3, -i*u = 2*j - 33. Is 3 a factor of j?
True
Suppose p + 2*p = 147. Suppose 0 = -4*a, 0 = -2*y - a - p + 13. Let o = -3 - y. Is 15 a factor of o?
True
Suppose -23*q + 13*q + 20 = 0. Let i = 20 + q. Is i a multiple of 22?
True
Let i(d) be the third derivative of d**5/120 + d**4/24 + 3*d**3/2 - 10*d**2. Let f(p) be the first derivative of i(p). Does 4 divide f(10)?
False
Let y(s) = 4*s**3 - 22*s**2 + 10*s - 6. Does 21 divide y(6)?
True
Is 5 a factor of (-34*7/28)/((-2)/24)?
False
Let g = -497 + 505. Is 8 a factor of g?
True
Suppose 10*x - 598 = 8*x. Suppose x = 3*f + 29. Does 5 divide f?
True
Suppose -45 - 33 = -3*f. Suppose 0 = -4*o + 134 + f. Suppose -4*u - o = -9*u. Is 8 a factor of u?
True
Is (-13 + 12)/((-4)/1300) a multiple of 25?
True
Let h(u) be the second derivative of -1/2*u**3 - 2*u**2 + 1/20*u**5 - 5*u + 1/2*u**4 + 0. Is h(-5) a multiple of 9?
True
Let u be (110/(-4) - -4)/(3/(-48)). Suppose 4*h - 248 - 112 = -2*k, -2*k + u = -4*h. Does 23 divide k?
True
Let x(s) = s**3 - s**2 - 6*s + 4. Let l be x(3). Is -1*(l + -68) + 2 a multiple of 16?
False
Suppose 0 = -4*o + 16, -369 = -5*y + 2*o - 102. Does 16 divide y?
False
Suppose -49 = -9*g - 13. Suppose 363 = 2*h + y, -g*y = 5*h - 487 - 413. Does 23 divide h?
True
Is (-1)/(3/(-9))*(-605)/(-15) a multiple of 6?
False
Let j(c) = -3*c - 49. Let s be j(-17). Is (-10)/s - 207/(-9) a multiple of 6?
True
Suppose -p + 4*j + 1043 = 0, -3*j = -3*p + j + 3137. Let s = -729 + p. Is 53 a factor of s?
True
Suppose -5*k + 3690 = -0*k - 3*c, 0 = 4*k + 3*c - 2925. Does 49 divide k?
True
Suppose -5*m - 12 = -2, 0 = 4*x + 3*m - 14. Suppose 22 = -2*j + 2*f, -2*f = -x*j - 3*f - 61. Let n = 17 + j. Does 2 divide n?
False
Let f(l) = 2*l**3 + 6*l**2 - 4*l - 5. Let c be f(-5). Suppose 10*w - 14*w + 484 = 0. Let z = w + c. Is 18 a factor of z?
True
Is 12 a factor of ((-39)/(-52))/(0 - (-1)/1712)?
True
Let m(j) = -j**2 - 4*j + 4. Let n be m(-3). Let t = -13 - -14. Let y = n - t. Does 3 divide y?
True
Suppose 48*x + 20*x - 79220 = 0. Is 149 a factor of x?
False
Suppose -6*d = 2*x - 2*d + 120, -3*d = 2*x + 122. Let l = x + 111. Is 8 a factor of l?
False
Suppose -527 = -3*w - q, 4*q = -3*w - w + 700. Let k = -94 + w. Is 14 a factor of k?
False
Let t(f) = f**2 + 41*f + 552. Is t(-72) a multiple of 51?
False
Let d(w) = -2*w + 40. Let j = 55 - 42. Is d(j) even?
True
Let z be (5 - 0)/(-1*1). Let j(f) = f + 9. Let n be j(z). Suppose y - n = 3*y, 4*y = -2*g + 40. Is g a multiple of 8?
True
Let o = -39 - -35. Let x(k) = 9*k**2 + 4*k + 8. Is x(o) a multiple of 34?
True
Let t(j) = -2*j**3 - 4*j**2 - 10*j - 5. Let f = -81 - -79. Is t(f) a multiple of 2?
False
Let v be 1498/63 + 2/9. Let i(j) = j**3 - 8*j**2 + 4. Let f be i(8). Suppose f*c - 124 = -v. Is c a multiple of 7?
False
Let q = -2 + 2. Suppose 6*d - 12 = 2*d. Suppose q*s - d*s = -24. Is s a multiple of 8?
True
Let o = 429 - 375. Is 6 a factor of o?
True
Let x(w) = -24*w**3 - 8*w**2 + 2*w - 11. Is 63 a factor of x(-4)?
False
Is 1030/2 + 24 + -19 a multiple of 26?
True
Suppose v + 40 = 36. Is 12 a factor of (-622)/v - 15/(-10)?
False
Let a be (-16)/(-7) - (-8)/(-28). Suppose 0 = a*i - 3*i + 5. Let x(w) = w**3 - 4*w**2 - 2*w - 6. Is x(i) a multiple of 4?
False
Let w(g) = -g**3 + 3*g**2 + g - 4. Let f be w(3). Is 11 a factor of f - (0 - 4 - 41)?
True
Let x(i) = 48*i + 26. Suppose -s = 25 - 29. Is 17 a factor of x(s)?
False
Suppose -4*y + 48 = 40. Suppose -y*o - 2*o + 294 = s, 369 = 5*o + 2*s. Is 14 a factor of o?
False
Is 39 a factor of 1989/34*42/9?
True
Let a be (-4 - (-36)/8)*14. Let s(g) = g - 5. Let h be s(a). Suppose 4*n - 98 = h*n. Is 10 a factor of n?
False
Is 488 - (-4 + 14/(-7)) a multiple of 26?
True
Let p be 6 + 92 + -1*3. Let c = p + -2. Does 32 divide c?
False
Let p(l) = -91*l - 1. Let f be p(1). Let n = 2 - f. Does 15 divide n?
False
Let q be (-23 + 3)/5 + 7. Suppose 0 = 3*h - 0*h - 5*o - 151, 0 = -h - q*o + 27. Is 7 a factor of h?
True
Let k(z) = z. Let d(c) = 21*c. Let i(y) = d(y) - 18*k(y). Suppose -4*w = -6 - 2. Is 4 a factor of i(w)?
False
Suppose 0 = -6*b + 490 + 656. Is 39 a factor of b?
False
Let r