12*w + 15. Let y be m(6). Suppose -387 = -4*z - y. Is z a multiple of 11?
True
Suppose -d = d - 10, 2*d = 4*f - 2. Suppose -80 = -4*u - 4*b, 68 = 5*u - f*b - 16. Does 6 divide u?
True
Suppose -6*m + 1200 = -744. Is 27 a factor of m?
True
Let a(c) = -287*c + 159. Is 15 a factor of a(-3)?
True
Suppose 1 = t, 3*t - 25 = -4*x - 2*t. Let g = 8 - x. Suppose 4*l + 40 = 4*c - 0*l, -g*l = 5*c - 90. Does 5 divide c?
True
Let s be 11/9 - (-6)/(-27). Let n be -19 + 20 + (0 - s). Is (-12)/(-4) + n - -9 a multiple of 3?
True
Let l(m) = 122*m + 394. Is 14 a factor of l(-3)?
True
Let n(h) = -h**3 + 7*h**2 + 7*h + 22. Does 14 divide n(8)?
True
Suppose 8*q - 6783 = -11*q. Is q a multiple of 7?
True
Is 73 a factor of (6*2)/(55/8030)?
True
Suppose -23 = v - 13. Is 96/10*v/(-4)*3 a multiple of 13?
False
Let h(g) be the first derivative of 7*g**3/3 - 7*g**2 + 6*g + 31. Does 37 divide h(5)?
True
Let f be -5*(88/(-20) - -2). Let d be (1*f)/(5/(-45)). Is 24 a factor of -2*d/8 + -3?
True
Suppose 16*v = 11*v + 1870. Is v a multiple of 34?
True
Suppose -z + 15 = 2*z. Suppose 4*q - z*q = -135. Is q a multiple of 34?
False
Let v = 543 - 456. Does 29 divide v?
True
Does 13 divide 27848/6 + (0 - (-14)/(-42))?
True
Suppose 27*d - 27555 - 11514 = 0. Does 9 divide d?
False
Let h(n) = -7*n**2 - 9*n - 3. Suppose -2*k - 3*t = 3, 0*k - 4*k - 21 = t. Let r(l) = -13*l**2 - 17*l - 7. Let q(j) = k*r(j) + 11*h(j). Is 10 a factor of q(4)?
False
Suppose 27*d + 8720 = 35*d. Is 12 a factor of d?
False
Let y(q) = -q**3 + 8*q**2 + 2. Let j be y(8). Let k(p) = 0*p + 8 + 6*p**3 + 0*p**j - 7*p**2 - 5*p**3 + p. Is k(7) a multiple of 4?
False
Suppose -3*q + 4 + 2 = 0. Suppose 13 = q*t + 5*j, -2*t - 2*j + 2 = -2. Is 3 a factor of (5 + 4)*t/(-3)?
True
Let g(i) = 17*i**3 - 2*i**2 + i. Does 8 divide g(1)?
True
Let d(u) = -u**3 - 2*u**2 - 3*u - 2. Let m be d(-2). Suppose -40 = b + 4*b. Let v = m - b. Does 6 divide v?
True
Let s be -5 + 1 + 48/(-6). Let q = s - -16. Suppose -q*f = 3*w - 121, -5*w + 197 = f + f. Is 17 a factor of w?
False
Let g(t) = -t**2 + 12*t - 8. Let h be g(12). Let c be h/(-6)*(-41 + 5). Is 137/7 - c/112 a multiple of 5?
True
Suppose 4*n = -5*i + 479, 0 = 5*i - 5*n - 314 - 201. Let p = -39 + i. Is p a multiple of 7?
False
Let x(k) = -3 - 9 - 4 + 3 - 8*k. Is 15 a factor of x(-12)?
False
Let p(w) be the first derivative of 7*w**2 - 17*w - 4. Is 6 a factor of p(5)?
False
Let m = 51 + -30. Suppose -20*t + m*t = 16. Is 4 a factor of t?
True
Let y = 1273 - 849. Is y a multiple of 53?
True
Suppose -n = -5*p + 625, 5*p + 0*n + 3*n = 625. Suppose -6*w + w = -p. Suppose 0 = 2*d + 5*j + 5, -3*d - j + w = -0*j. Is 10 a factor of d?
True
Suppose 3*g = -m + 68, 45 + 281 = 5*m + g. Is 5 a factor of m?
True
Let b = -711 + 1865. Is b a multiple of 53?
False
Let o = 195 - 75. Is o a multiple of 20?
True
Let k be ((-26)/(-4))/(1/4). Suppose -30*b + 4*b - 208 = 0. Let z = b + k. Is z a multiple of 15?
False
Let l(d) = d**3 + 2*d**2 + 102. Let t be l(0). Suppose 502 = 2*m + t. Does 40 divide m?
True
Let r = 41 + -72. Let y = 26 + r. Let d = y + 70. Does 21 divide d?
False
Let o be 4/30 - (-3515)/75. Suppose -2*n + 98 = 2*n + 2*y, 0 = n + 5*y - o. Does 22 divide n?
True
Let f(k) = 2*k - 10. Let m be f(5). Let p(u) = u + 9. Let i be p(-7). Does 2 divide 3 + (8 - m)/i?
False
Let z = -36 - -38. Suppose 239 = 2*n - m + 32, z*n + m - 217 = 0. Does 19 divide n?
False
Let d = -22 + 18. Let t(r) = 2 + 3*r + 4*r**2 + 6*r - 5*r. Does 18 divide t(d)?
False
Let g be 6 - 2 - (-3 - -5). Suppose 8*m + 3 = -g*w + 13*m, 0 = -m + 5. Is w even?
False
Let d(t) = 5*t - 14. Let c be d(0). Does 4 divide (-60)/105 - 344/c?
True
Let d(u) = -u - 2. Let w be 66/(-4) - (-7)/14. Is 14 a factor of d(w)?
True
Let p(x) be the third derivative of 0*x + 0 - 1/3*x**3 + 2/15*x**5 - 6*x**2 + 1/12*x**4. Does 16 divide p(-3)?
True
Suppose 0 = 2*i - 3*k - 19, 0 = -4*k - 4 - 8. Suppose 0 = -5*d - 3*v + 27, 3*v + 2*v - i = 5*d. Suppose z = d + 3. Does 3 divide z?
True
Let s = 44 + 7. Is 3 a factor of s?
True
Let m be 9/(54/(-8))*(-387)/(-2). Let a = 439 + m. Is a a multiple of 37?
False
Suppose 0 = 14*f - 9*f - 15. Does 9 divide -1 + 30/9*f?
True
Let n be -5*6*(-2)/12*4. Suppose 28 + n = 2*g. Is g a multiple of 3?
True
Let b(s) = s**2 + 6*s - 1. Let z be b(-7). Let a(h) = 23*h**2 - 22*h**2 - 6 + 2 - z - 7*h. Does 17 divide a(-4)?
True
Suppose 3*m + 2*q - 6*q - 180 = 0, -m + 60 = -q. Suppose -4*i - i + m = 0. Suppose -b - 5*x - i + 71 = 0, 3*b = 3*x + 123. Is b a multiple of 22?
True
Suppose -2*p - 5*h + 138 = 0, 4 = -7*h + 8*h. Does 59 divide p?
True
Suppose -14*i + 10*i = -1056. Does 33 divide i?
True
Let b(g) = -2*g**3 + 28*g**2 + 21*g - 24. Is 15 a factor of b(14)?
True
Let a(y) = 21*y + 21. Let w be a(-6). Let g = -86 - w. Is 4 a factor of g?
False
Does 38 divide (4/(-20))/((-19)/133855)?
False
Let p = 4 - 1. Let i be (1/(-3))/(p/(-18)). Suppose -i*j + 22 + 74 = 0. Is j a multiple of 12?
True
Let m(p) = p**3 - p**2 + p. Let i(a) = 5*a**3 - 7*a**2 + 6*a + 4. Let l(k) = i(k) - 4*m(k). Suppose 3*d + 9 = 24. Does 18 divide l(d)?
False
Suppose -5*j - 6*j = 286. Let g = j - -33. Is 7 a factor of g?
True
Suppose -5*y + 2085 = 3*l, 0 = -y - 3*l + 464 - 59. Is y a multiple of 22?
False
Let v be 38*(20/8)/5. Let f = v - 10. Is (f/3)/(6/26) a multiple of 4?
False
Let y(v) = v**2 + 25*v + 85. Is y(-33) a multiple of 19?
False
Let p(c) = -6*c + 1. Let k be p(11). Let d = -50 - k. Does 15 divide d?
True
Let z be (0 - 2 - (-1 + 0))*-2. Does 24 divide 3/(-3)*16*z*-3?
True
Let s be (2 - 1)*2 + 2. Suppose -4*y + 312 = -5*f, 80 = 2*y + s*f - 76. Does 10 divide y?
False
Let h = 1652 - -1300. Does 36 divide h?
True
Let y be 220/33*6/4. Is 61 a factor of ((-3)/3)/(y/(-1830))?
True
Let f(k) = 190*k**3 - k + 1. Let s(m) = -m**3 + 4*m**2 - m - 5. Let y be s(3). Does 19 divide f(y)?
True
Suppose -284 = -3*a + 451. Suppose -3*g + d + 205 = -d, -a = -4*g - 3*d. Does 16 divide g?
False
Does 28 divide ((6 - 5) + 293)*(-6)/(-9)?
True
Let q(k) = -2*k**2 + 38*k - 1. Let s be q(19). Let p(b) = 2*b**2 + 102*b**2 - 3*b + 6*b + 2. Does 24 divide p(s)?
False
Let l = 65 + -64. Let o(k) = 89*k + 2. Is 21 a factor of o(l)?
False
Let y be 52/(-10) + 1/5. Let v be (-5)/y - -1*3. Does 9 divide v/(-14) - (-1716)/77?
False
Let u(q) = -3*q**3 - 76*q**2 + 37*q + 58. Does 32 divide u(-26)?
True
Suppose j + 2*o = 19, 0*j - 4*j - 3*o = -66. Suppose -s = 2*s + j. Let y = 1 - s. Is 6 a factor of y?
True
Let h(q) be the second derivative of 3*q**3/2 - 7*q**2/2 - 2*q. Let x = 9 - 6. Does 20 divide h(x)?
True
Let y = 468 + 228. Is 6 a factor of y?
True
Suppose 0 = 4*b + 3*b + 112. Suppose 0 = k + 4*d + 372, -4*k + 2*k - 3*d - 754 = 0. Is k/b + (-3)/(-12) a multiple of 16?
False
Let o be (35/15)/(-7)*-3. Is 7 a factor of (296/24)/(o/3)?
False
Let f = -707 - -1021. Is 31 a factor of f?
False
Suppose -13*v = -11*v - 88. Is 25 a factor of v?
False
Suppose 5*i + 265 = 3*m - 0*m, 0 = 5*m + 3*i - 453. Does 6 divide m?
True
Let i = -355 - -778. Does 9 divide i?
True
Let b = -2271 - -5824. Is b a multiple of 13?
False
Let v = -33 + 3. Is (-76)/1*15/v a multiple of 9?
False
Suppose 5*z + 0*z - 2*c + 45 = 0, -18 = 2*z + 5*c. Let q = z + 14. Suppose -2*u - 210 = -q*u. Does 14 divide u?
True
Suppose 188760 = 54*u + 56*u. Does 11 divide u?
True
Suppose 3*f + 6 = -3, -2*j + 3*f + 39 = 0. Suppose 0 = 5*u + 5 + j. Let v(a) = -17*a - 11. Does 19 divide v(u)?
True
Suppose 2*l + 4*j - 96 = 0, 2*l - 124 = 2*j + j. Is l a multiple of 12?
False
Let z = -9181 + 14230. Is 41 a factor of z?
False
Suppose x = 132 + 508. Is x a multiple of 32?
True
Let f(z) = 23*z + 37. Let u(b) = 11*b + 18. Let t(w) = 2*f(w) - 5*u(w). Is 7 a factor of t(-6)?
False
Let n(c) be the first derivative of c**4/4 - 3*c**3 + 11*c**2/2 - 9. Let m be n(8). Let i = m + -3. Is 7 a factor of i?
True
Let j = -966 + 1526. Does 28 divide j?
True
Let p(j) = 265*j - 413. Is p(5) a multiple of 23?
False
Let m(y) be the third derivative of 1/60*y**5 + 0 - 1/6*y**4 - 2*y**2 + 0*y - 7/6*y**3. Is m(6) a multiple of 2?
False
Suppose 0 = 9*d - 665 - 847. Is d a multiple of 14?
True
Suppose -2*j = -k - 363, 9*j - 12*j + 3*k = -549. Let i = 17 + -10. Suppose i*l = l + j. Does 15 divide l?
True
Let w = 29 - -36. Suppose w = 4*r - 23. Is 5 a factor of r?
False
Le