ppose 10*f = 207 + 1193. Does 28 divide f?
True
Suppose -3*u + 9 = -18. Let s be u/36 + (-11)/(-4). Suppose -s*d - d = -96. Does 8 divide d?
True
Suppose 3*d = -3*z + 144, -2*d + 0*z = -4*z - 78. Is d a multiple of 12?
False
Suppose 2*l - 9 - 3 = 0. Let z be (2 - -1) + -4 + 4. Does 5 divide z/(1*3/l)?
False
Let a(p) = p**3 - 4*p**2 - 2*p + 7. Suppose -10 = z + z, -4*c = 4*z. Suppose -b = 3*h - c*b + 5, 0 = -2*h - 5*b + 35. Is 22 a factor of a(h)?
True
Let v = 10 + -12. Let c(r) = 18*r**2 + 1. Does 17 divide c(v)?
False
Let z be (-1)/(-1 - (-288)/291). Suppose -215 = -5*i + 4*a, -4*a = 2*i + i - z. Is i a multiple of 16?
False
Is 5 a factor of 1 - -2 - (6 + -6 + -17)?
True
Let q = -33 - -56. Does 16 divide q?
False
Suppose -g = -5*d + 18, 0 = -2*g + 3*d + 2*d - 11. Suppose 3*r = 1 + 5. Suppose -51 = -r*p - g. Is 10 a factor of p?
False
Is 11 a factor of (427/(-122))/(1 - (-14)/(-12))?
False
Let m = 146 - 24. Is m a multiple of 20?
False
Is 31 a factor of -4 + 6 + 1398/6?
False
Let t(k) = -k**3 + k**2. Let i(g) = -g**3 - g. Let p(a) = 4*i(a) - 5*t(a). Let d = -41 - -47. Is p(d) a multiple of 4?
True
Suppose 0 = -5*y + q, -5*y + 4*q = -10*y. Is 6 a factor of -3 - -28 - y - 0?
False
Is 22/(-143) + 732/26 a multiple of 7?
True
Let l = 43 - 67. Let m = l - -36. Does 4 divide m?
True
Suppose -26 = -4*h - 10. Suppose 2*o + 2 = h*v, -7*o = -4*v - 2*o + 17. Is (47 + v)*6/10 a multiple of 9?
True
Let n(y) = 71*y**2 - y + 1. Let a be n(1). Suppose -v + a = -7. Is 21 a factor of v?
False
Let x be 2*(117/2 + -4). Let s = -76 + x. Does 12 divide s?
False
Let u(f) = f - 4*f**3 - 2*f**2 + 3*f**3 + 3 - 1. Is u(-4) a multiple of 20?
False
Let i = 107 + -57. Does 10 divide i?
True
Let a be (8 - 1)*(-6 - -4). Let k = a + 21. Does 7 divide k?
True
Let v = -2 - -2. Suppose v = 5*a + 3*h + 12, -3*a + 0*h = 5*h + 4. Is 18 a factor of 122/(a - (-10)/2)?
False
Suppose -2*r = -2*a + 2*r + 148, -4*a + 2*r + 296 = 0. Let u = -34 + a. Is u a multiple of 22?
False
Suppose 0 = -s - 3 - 7. Let n be s/(-3)*(-3 - -6). Suppose -a + n = 4*a, -l + 26 = 3*a. Is l a multiple of 10?
True
Suppose 77 + 108 = 5*j. Let q = j + -22. Suppose 5*z - 2*z = 3*n - q, 5*n + 3*z - 17 = 0. Is n even?
True
Let p(k) be the first derivative of 5/3*k**3 + 1/2*k**2 + k - 2. Is p(2) a multiple of 8?
False
Let z(q) = -5*q - 19. Let y(f) = 2*f + 9. Let t(x) = -13*y(x) - 6*z(x). Is t(10) a multiple of 22?
False
Suppose -4 = 2*h - 6, -4*o = -2*h + 58. Let f = 23 + o. Does 2 divide f?
False
Let o(y) = 7*y - 2. Let m be o(4). Suppose -m = -2*j - 4*k, k - 24 = -3*j - j. Is 2 a factor of j?
False
Let q(d) = 9 + 0*d + 2*d + d**2 + 5*d. Is 17 a factor of q(-8)?
True
Let h be (-1)/((-2)/10) - -1. Let z be (-2)/6 + 20/h. Suppose 5*m - 22 = z*m. Is 11 a factor of m?
True
Let t(j) = j + 14. Let c be t(-9). Suppose 2*g - 3*h - 127 = -15, -2*g - 3*h = -100. Suppose b + 3*b = 3*p + 61, c*p = -3*b + g. Is 16 a factor of b?
True
Is (66/(-10))/((-17)/85) a multiple of 11?
True
Suppose 9*x - 7*x = l + 53, -3*l + 93 = 3*x. Is 7 a factor of x?
True
Is 29 a factor of 25/125 + 34/(-20)*-34?
True
Suppose 2*h + 22 = 3*h. Suppose r = -2*r - 6, 2*a - r = h. Does 7 divide a?
False
Suppose 5*v + 47 = 3*y - 80, 4*y + 3*v - 121 = 0. Let q = -17 + y. Is 6 a factor of q?
False
Let q(s) = s**2 + 3*s**3 - 4*s**3 + 3 - 3*s**3 - 2*s + 6*s**3. Does 19 divide q(2)?
True
Let x be -49 - (3/(-3) - 0). Let i = x + -51. Does 12 divide (4/12)/((-1)/i)?
False
Suppose 0 = 3*w + 3*n - 45, n = -6 + 3. Is 24 a factor of ((-24)/(-9))/(2/w)?
True
Let i(p) = -p**3 - p + 1. Let f be i(0). Let r = f - -3. Suppose -r*s = -s - 6. Is s a multiple of 2?
True
Suppose -c = 2*c + 18. Let k be 24/(-9) - (-4)/6. Does 12 divide k/((-4)/c) - -27?
True
Suppose -4*d = 3*q - 247, -3*q - 163 = -5*q - d. Does 29 divide q?
False
Let f = -3 - -5. Suppose f*s - 124 = -3*r + 17, s - 93 = -2*r. Is r a multiple of 15?
True
Let o = 499 + -346. Does 6 divide o?
False
Let c = 3 - 0. Suppose -2*m + 220 = -0*m + 4*l, -4*m - 3*l + 425 = 0. Suppose -c*g + 43 = -m. Is g a multiple of 18?
False
Let r(z) = z**3 + 3*z**2 - z - 1. Let w be r(2). Let u = w - 12. Suppose 2*q = -u + 37. Does 8 divide q?
True
Let s(r) = r**3 - 3*r**2 + 2*r. Let b = -5 - -7. Let h be s(b). Suppose 5*g = -2*a + 70, -4*g + 12 + 4 = h. Is a a multiple of 16?
False
Suppose 0 = t + 2*t - 9, y + 3*t - 39 = 0. Suppose 2 = 2*z - y. Does 16 divide z?
True
Let z(m) = -m**3 + 8*m**2 + 8*m - 8. Does 14 divide z(8)?
True
Suppose 34 = 3*w + 7. Let q = w + 22. Suppose 5*u - q - 89 = 0. Is 12 a factor of u?
True
Suppose -24 = -4*n - 8. Suppose -n*p - p + 75 = 5*y, -5*y = -3*p - 67. Does 11 divide y?
False
Let g = -27 - -37. Is 5 a factor of g?
True
Let c(n) be the second derivative of n**3/3 - 3*n**2 - n. Let x be c(6). Suppose 4*l - 4*z = 68, 4*z = -4*l + x*z + 76. Is l a multiple of 21?
True
Let m(s) be the first derivative of -s**4/4 + 7*s**3/3 + 5*s**2 - 7*s + 1. Suppose 15 = 4*v - 17. Is 9 a factor of m(v)?
True
Suppose -3*m + 128 = -2*j, 3*m - 75 = -4*j + 83. Let z be (m/(-3))/(5/15). Let x = z - -68. Is x a multiple of 8?
False
Let z = 21 - 27. Suppose 0*h = 2*h - 38. Let c = h + z. Does 13 divide c?
True
Suppose -3*s + 30 = 3. Suppose 1 = 5*u - t - s, -2*u - 2*t - 8 = 0. Is 10 a factor of (2 - -7) + (u - 0)?
True
Let b(j) be the first derivative of -j**4/4 + j**2/2 + 72*j - 2. Let u be b(0). Suppose 0*r = 3*r - u. Is 21 a factor of r?
False
Suppose -31 = -a + 2*f, -a + 3 = 2*f - 8. Is a a multiple of 5?
False
Is 13 a factor of (6/(-8) - (-69)/(-4))*-1?
False
Is 55 a factor of (2 - -53)*(0 + 5)?
True
Suppose -27 = 2*w + s + 4*s, 0 = 5*s - 25. Let z = -8 - w. Is 6 a factor of z?
True
Let k be 12*(-4)/((-8)/11). Let r = k - 36. Is r a multiple of 17?
False
Let c be 2*-1*40/(-16). Suppose -304 = -4*a + 5*h, -c = -2*a - 5*h + 147. Does 16 divide a?
False
Let r = -14 - -34. Suppose 3*v = 2*v + r. Let q = v - 10. Is q a multiple of 10?
True
Suppose 5*l = -d + 11, -5*d - 8 = 5*l - l. Let i(o) = 2*o**l + 4*o**2 - 3 + 3*o + o - 8*o**2. Is i(3) a multiple of 9?
True
Let u(b) be the first derivative of 3*b**3 - b**2/2 - 2*b - 4. Is u(2) a multiple of 8?
True
Is 1 - 4 - (-3 + -14) a multiple of 6?
False
Is 4 a factor of (-10)/25 - 126/(-15)?
True
Let d be (6/(-10))/(2/(-10)). Suppose o = -d*o. Suppose -2*r - 130 = -5*h + r, -2*h + r + 51 = o. Is 11 a factor of h?
False
Let k(v) = v**3 - 10*v**2 + 12*v - 15. Is k(10) a multiple of 15?
True
Suppose -a = 2*j + j + 54, -j + 2*a - 18 = 0. Let p be 1*3 - (j - -4). Let l = p + -1. Is l a multiple of 8?
True
Let u(h) = 3*h - 8. Let q(y) = 0*y**2 - 3*y**2 + y**2 + 8*y + y**2 + 6. Let o be q(8). Does 8 divide u(o)?
False
Let r(s) = s**3 - 5*s**2 + 3*s + 5. Let n be r(4). Is 13 a factor of (-1 - n)*65/(-2)?
True
Does 17 divide -1 + 2/9 + 592/9?
False
Let n(h) = h**3 + 5*h**2 - 8*h - 9. Let g be n(-6). Suppose 132 = g*d + d. Is d a multiple of 12?
False
Suppose 5*x + t - 504 = 0, -4*x - 2*t + 408 = -0*x. Suppose -2*s = q - 5*q - x, 5*q = -10. Suppose 4*l - s = -3*g - 5, 4*l - 20 = 0. Is g a multiple of 2?
False
Let f(b) = -3*b + 1 + 4*b + b + 34*b**2 - b. Is 17 a factor of f(-1)?
True
Is ((-108)/(-63))/(4/98) a multiple of 8?
False
Let s be (-9)/3 - (2 - 115). Is 18 a factor of (-6)/(s/38 - 3)?
False
Let w(u) = u**3 - u**2 - 4. Let f be (-3)/(-6)*-3*-2. Does 7 divide w(f)?
True
Let z be (-16 - (-3)/(-3)) + 1. Let u = z - -39. Is u a multiple of 14?
False
Suppose 34*k - 37*k + 1092 = 0. Does 43 divide k?
False
Suppose -6*a + 605 = -445. Does 9 divide a?
False
Suppose -5*j + 235 + 140 = 0. Is 10 a factor of j?
False
Let z(f) = 2*f**3 - 3*f**2 + 2*f - 1. Let q be z(2). Let v = q + 1. Is 8 a factor of v?
True
Is (826/(-42))/(0 + 2/(-6)) a multiple of 26?
False
Let n(i) = 5*i**2 - 4*i + 6. Let l be n(4). Does 2 divide (-20)/l - (-23)/7?
False
Is (-92)/(-8) + (-4)/8 a multiple of 8?
False
Let x be 1/3 - (-115)/(-3). Let t = -27 - x. Is 9 a factor of t?
False
Let z be (-2)/(-4) - (-46)/4. Suppose 0 = h - 0*h - z. Let i = 44 - h. Is i a multiple of 10?
False
Let n = -12 + 19. Is n a multiple of 7?
True
Let h(n) = -n**2 + 6*n + 7. Let l be h(7). Suppose -x + l*x + 100 = 5*p, 5*p - 2*x - 100 = 0. Suppose -6*i + i = -u + 6, 5*i = p. Is u a multiple of 13?
True
Let t(g) be the third derivative of 7*g**4/