 - 2*x + 3*x + 13 = 0. Suppose f + 141 = 2*f - v*y, 592 = 4*f - 2*y. Is f a multiple of 33?
False
Suppose 0 = -5*b + 100 - 315. Let m = 77 + b. Does 14 divide m?
False
Let x(h) = -5 - 12*h - 2*h - 4 - 2. Let a be x(-4). Suppose 4*q = 79 + a. Is 14 a factor of q?
False
Let i = -596 - -1022. Is 9 a factor of i?
False
Suppose 0 = 4*d - 5*q - 390, -3*d - q - 382 = -7*d. Let o = d - 56. Does 13 divide o?
True
Is 93 a factor of 2132/1 + -9 + -12?
False
Let s(r) = 2*r**2 + 23*r - 79. Is s(19) a multiple of 27?
True
Is -7 + (-8 - -81) + 0 a multiple of 5?
False
Let w(n) = -n**2 - 30*n + 13. Does 34 divide w(-15)?
True
Let r(c) be the first derivative of 2 - 2 + 5*c - 4*c + 1 - 4*c**2. Does 11 divide r(-4)?
True
Suppose -t - 3*t + 3101 = 5*f, -f + 619 = 2*t. Suppose 126 = -5*w + f. Does 49 divide w?
False
Let o(i) = i**2 + 3*i - 4. Let v(q) = -q**3 + 6*q**2 - 5. Let a be v(6). Let r be o(a). Suppose -w = -r*w + 410. Is w a multiple of 23?
False
Let y = 358 - 236. Suppose m - y = 2*w - 6*w, 0 = -m + 2. Does 15 divide w?
True
Is 8 a factor of 117 - (-1 + -9)*(-5)/10?
True
Suppose 5*r - 757 + 187 = 0. Is r a multiple of 18?
False
Let o(y) = -y**3 + 9*y**2 + 6. Let z be o(9). Let p = z - 3. Suppose 0 = -p*q, 4*q - 86 = -3*v + 133. Does 10 divide v?
False
Let x = 4 + 20. Does 9 divide x?
False
Let x = 927 - 550. Does 50 divide x?
False
Suppose h = -4*t - 96 + 243, 2*h = 4*t - 138. Is t a multiple of 36?
True
Suppose 2*j + 2*j + 12 = -2*h, 9 = -4*h - 5*j. Suppose 6*p - 6 = -d + 2*p, -4*d - h*p + 12 = 0. Suppose 4*k - 5*v - 168 = -v, 174 = 4*k - d*v. Does 9 divide k?
True
Is (-17670)/(-741) - 2/(-13) a multiple of 12?
True
Suppose -6*z = -10*z - 4. Is 18 a factor of (-714)/(-7)*z/(-2)?
False
Suppose 134*z - 151*z = -10795. Is 11 a factor of z?
False
Let j be 0*((-12)/(-3) + -3)*-1. Suppose 0 = -j*i + 6*i - 204. Is 4 a factor of i?
False
Let v(h) = -12*h**2 - h. Let b be v(-1). Let q = 33 + b. Does 3 divide q?
False
Let x(c) = c**3 + 38*c**2 - 27*c - 36. Does 45 divide x(-35)?
False
Suppose 0 = 575*m - 571*m - 1792. Is m a multiple of 16?
True
Let s(u) = u**3 - u**2. Let y be s(2). Suppose 5*t + o - 383 = 0, y*o - 240 = -3*t - 0*o. Does 19 divide t?
True
Suppose -19 = -7*w + 23. Suppose 7*p - 35 = w*p. Is p a multiple of 11?
False
Let s(m) = m**2 + 7*m - 4. Let c be s(3). Suppose 0 = 2*j - 2*g - c, 6 - 13 = j + 4*g. Is j a multiple of 6?
False
Let j be 171/(-114)*((-32)/(-6))/(-2). Suppose -3*y = -2*m - y + 122, -5*m + 306 = -j*y. Is 11 a factor of m?
False
Suppose 3*d - d = 56. Let u = 20 - d. Let f = 15 - u. Does 23 divide f?
True
Let o = 21 + -18. Suppose -o*d + 76 = 7. Is d/4 + 2/8 a multiple of 2?
True
Let s = -738 + 1125. Is s a multiple of 49?
False
Let h be (5/15)/(4/(-24)). Let n(c) = c + 20. Does 18 divide n(h)?
True
Suppose 4*i - 1188 = -4*r, 0*i + 1158 = 4*i - 2*r. Suppose 5*c = 4*b - i, 2*b + 5*c + 10 = 126. Is b a multiple of 10?
False
Let t = -116 + 198. Suppose 2*k + 5*n - 3*n - t = 0, -156 = -4*k + 4*n. Is k a multiple of 10?
True
Suppose -4*h - 13 = -9. Is 19 a factor of 6/(-8) - ((-2457)/12 + h)?
False
Is 5 a factor of -1 + 4760/25 + 3/5?
True
Suppose 2*q = -0 + 10, -3*m + 2*q = -140. Suppose -3*y = 2*t - 125, 3*y + 4*t - m = 71. Is y a multiple of 5?
False
Is 12 a factor of 48615/189 + 2/(-9) - -3?
False
Suppose c + 6315 = 4*c. Is (-1)/3 + c/15 a multiple of 28?
True
Let b(r) = -38*r - 30. Let d be b(-8). Let a = d - 118. Is a a multiple of 8?
False
Suppose 21 = -2*k + k. Let i = -20 - k. Does 6 divide i/(1 + (-32)/33)?
False
Let a(b) = -b**3 - 5*b**2 - 3*b - 4. Let s be a(-4). Let t be -16*(0 - (-4)/s). Suppose 3*d + 7 = -t, -d = 2*j - 25. Is 5 a factor of j?
True
Is (-18)/((-56)/476 + (1 - 1)) a multiple of 15?
False
Suppose 4*x = -5*b - 743, -3*b - x = 413 + 37. Is b/(-3) - (-10)/(-30) a multiple of 10?
True
Let l(k) = -20 + 0*k - 7*k + 9*k - 5*k. Is l(-10) a multiple of 5?
True
Let r be 32 - (0 - -3) - -1. Let z = -20 + r. Is (z/(-3))/((-3)/9) a multiple of 8?
False
Suppose -3*q + 16*q = 767. Does 11 divide q?
False
Suppose 5*w - 19 = 6. Let t = w + 15. Does 10 divide t?
True
Suppose -30*c = -27332 - 2698. Is 13 a factor of c?
True
Let d(c) = c**2 - 6. Let x be d(-3). Suppose 0*k + 603 = 3*b + x*k, b - 4*k = 216. Does 34 divide b?
True
Let t = 1677 - 513. Does 26 divide t?
False
Suppose 3*z = 2*u - 4, 11 = 4*u - z - 7. Suppose u*o + 193 - 733 = 0. Is 18 a factor of o?
True
Is 3 a factor of 3/2 - (-10)/(-8)*-2?
False
Suppose 0 = 5*c - 2*x - 1568, -7*c + 3*c = 4*x - 1232. Is 13 a factor of c?
True
Suppose -171 = 4*y - 487. Let s = y + 33. Is s a multiple of 14?
True
Does 18 divide ((3 + -5)/(-6))/(6/26478)?
False
Is (16 + 7 - 1) + 5 a multiple of 27?
True
Let w = -249 - -327. Is 13 a factor of w?
True
Let g = 5571 + -3051. Does 120 divide g?
True
Let n = 1683 + -1155. Does 22 divide n?
True
Suppose -4*i = -27 - 41. Let s = i + -5. Suppose -s - 9 = -3*l. Is l a multiple of 2?
False
Let f = 13 - 13. Suppose -t + 0*t + 39 = f. Let s = -1 + t. Is 19 a factor of s?
True
Let d(z) = z**2 + 9*z + 6. Let k be d(-5). Let x = k + 16. Suppose y - 26 - x = 2*q, 5*q = -y + 28. Is 8 a factor of y?
False
Let m = 684 - 618. Does 66 divide m?
True
Suppose 2*f - 5 = -3. Does 4 divide (f - 3)*1*-4?
True
Let r be 20/6*(-306)/(-6). Suppose 0 = 4*d - r - 122. Suppose 4*w + 5*a = 5*w - d, 0 = -4*w - a + 397. Does 14 divide w?
True
Let y(f) = 10*f + 51. Let o be y(-14). Let n = 319 + o. Does 23 divide n?
True
Suppose 89 - 17 = 4*t. Let d = 10 + t. Is d a multiple of 7?
True
Let c(t) = 5*t + 6. Let k be c(-2). Let l = k - -8. Is 15 a factor of ((-90)/l)/((-2)/4)?
True
Let m = 32 - 20. Suppose 3*t = -x - 4, -x = -0*x + 5*t + m. Does 4 divide x?
True
Let o = 4 + -8. Suppose 3*i = 4*i - 4*b - 3, 0 = 3*i - b - 31. Let l = i + o. Is l a multiple of 4?
False
Let u = -4070 - -5845. Does 33 divide u?
False
Let v(z) = z**2 - 4*z - 4. Let g be v(4). Let j = -12 + g. Does 10 divide (-9)/(-12) + (-324)/j?
False
Let k be -2 - (1 + -3 - 11). Let b(r) = 3*r**2 - 4*r - 49. Is b(k) a multiple of 15?
True
Let d be 240/9 + 8/6. Let b = d - -2. Does 29 divide b?
False
Let d(f) = 0*f - 8*f - 9*f - 3. Let y(v) = -v**3 - 7*v**2 - 9*v - 21. Let t be y(-6). Is 16 a factor of d(t)?
True
Suppose 0 = 32*t - 36525 + 3309. Is 7 a factor of t?
False
Let q = 9 + -11. Let u(o) = -4*o + 9*o**2 - 4*o**2 + 5*o. Is 4 a factor of u(q)?
False
Suppose 33735 = 17*r + 5889. Does 13 divide r?
True
Let i = 336 + -120. Is 8 a factor of i?
True
Suppose 6*u + 9 = 7*u. Let p(s) = -u - 27*s + 2 + 2. Is p(-3) a multiple of 22?
False
Suppose 2*x + 5*m - 9 = 16, -5*x - 4*m + 20 = 0. Let r be -2 + x + 0 - -17. Suppose -2*g + r = -g. Does 5 divide g?
True
Suppose 82*y + 44763 - 233281 = 0. Is 11 a factor of y?
True
Suppose 4*p + 0*p - 8 = 0. Suppose -5*y = 3*c - 232, p + 6 = -2*y. Is 28 a factor of c?
True
Let m(b) = b**3 - 10*b**2 - 11*b + 2. Let z be m(11). Suppose 2*a = -t + 393, -z*t + 4*t + 204 = a. Is 22 a factor of a?
True
Let m(n) = 2*n**2 - 6*n - 8. Let w be m(4). Suppose -3*o - 79 + 241 = w. Does 18 divide o?
True
Suppose 3*o + 120 - 24 = 0. Let d = 35 + o. Suppose -4*t + 47 = -d*t. Is t a multiple of 7?
False
Suppose -2*w = 4*a + 57 - 389, 2*a = -3*w + 162. Is a a multiple of 5?
False
Let y be 0 - 3 - (-8 - -1). Let f(o) = y*o**2 + 11*o - 1 - 2 - 12*o**2 + o**3 - 3. Is f(7) a multiple of 11?
True
Let o(n) = 3*n - 1. Let t be o(-8). Let k = t - -30. Suppose 2*q + 0*g = 4*g + 60, -k*q + 2*g + 110 = 0. Is q a multiple of 12?
False
Suppose r - 216 = 3*q, 2*q + 363 = 5*r - 717. Is 27 a factor of r?
True
Suppose 13*k - 2820 = -805. Is k a multiple of 16?
False
Suppose -4*c = 3*y - 1936, -3*y + 2*c = -4*y + 644. Is y a multiple of 36?
True
Suppose t - 27 + 5 = 0. Does 16 divide 11/t + (-39)/(-2)?
False
Let x be 12/(-10)*(-735)/42. Let h = x - 21. Let c(u) = u**3 + 2*u**2 + 20. Does 5 divide c(h)?
True
Let p = -242 + 616. Is 17 a factor of p?
True
Suppose 0 = 3*i - 5*y - 3572, -4*i - 2*y = -6074 + 1268. Is i a multiple of 86?
False
Let w(f) = -2*f**2 - 28*f + 10. Suppose 8*r + 0*r = -104. Does 12 divide w(r)?
True
Let q be 8 - 7 - 6/2. Is 15 a factor of 56/(-14) + ((-164)/(-1) - q)?
False
Suppose -4 = x - 2*p, -32 = -2*x - x - 5*p. Suppose 4*v + 2*k = 106, 0*k = x*v + k - 103. Let o = v - 15. Is o a multiple 