4*h. Is 21 a factor of h?
False
Let w(t) = -25*t + 1. Let b be w(1). Let a = 12 - 8. Let l = a - b. Is 14 a factor of l?
True
Is 72/10*(-45)/(-2) a multiple of 18?
True
Let y(g) = 20*g - 1. Let n be y(2). Let p = n - 19. Is p a multiple of 5?
True
Suppose 234 = 7*k - 382. Suppose -3*z + 4*z - k = 0. Is z a multiple of 18?
False
Suppose -35 = 2*x - 7. Let p = -9 - x. Suppose -2*f + 5 = i - p, -4*f - 5*i + 26 = 0. Is f a multiple of 4?
True
Suppose -5*d + 2*t = -210, 0*t = -2*d + t + 83. Let c = d - -35. Does 22 divide c?
False
Let z = 32 - 32. Is 17 a factor of (z + 30)/((-15)/(-20))?
False
Suppose u + 36 = -2*u. Let x = 10 + u. Is ((-4)/(-3))/(x/(-126)) a multiple of 28?
True
Is (2*-75)/(5/20*-2) a multiple of 10?
True
Is 3 a factor of (43 - 10)*57/9?
False
Suppose 4*k - 5*f - 81 - 35 = 0, -2*k - f + 44 = 0. Does 5 divide k?
False
Let c(y) = -y - 21. Let f be c(4). Is 15 a factor of ((-90)/f)/(4/50)?
True
Let t = 5 - -4. Suppose -3*w - 5*x - t = 0, 6 = -5*w + x + 19. Suppose -3*d + w*y + 2*y = -109, 4*y = 2*d - 70. Does 9 divide d?
False
Let p = -1843 - -2863. Is 20 a factor of p?
True
Let s = 6 + -9. Let m be (-2)/s - (-13)/3. Suppose 0 = m*t + 33 - 193. Is 16 a factor of t?
True
Suppose 0 = 5*s - 20, -2*q + 2*s + 0*s + 236 = 0. Does 12 divide q?
False
Let j(v) = v**3 - 9*v**2 - v + 12. Let o be j(9). Suppose o*s + b - 420 = -3*b, s + 5*b = 140. Is s a multiple of 20?
True
Suppose 2*x = -4, -5*s + 2*x + 13 = -11. Suppose 3*k = s*m - 195, -13 = m - 3*k - 55. Is m a multiple of 10?
False
Is 1*(-1)/(-2) + 9952/64 a multiple of 39?
True
Suppose 2*j + 91 = 9*j. Suppose -j*z + 15*z = 108. Does 18 divide z?
True
Let o(t) = 4*t + 64. Does 24 divide o(-4)?
True
Let b(o) = o**2 + o. Let x(n) = 4*n**2 - 6*n + 12. Let z(g) = 5*b(g) + x(g). Is 22 a factor of z(-5)?
True
Let b = -48 - -52. Suppose -3*m + 26 = -t + 3*t, -b*m = -t + 2. Does 9 divide t?
False
Let v be 38/133 - (-1 + 65/7). Let o(q) = -16*q + 33. Is 23 a factor of o(v)?
True
Let q = 15 - 23. Let y be -4 + 33*q/(-12). Suppose 3*x - 210 + y = 0. Is x a multiple of 14?
False
Let x(n) be the second derivative of n**6/360 + 17*n**4/12 - n**3/6 - 5*n. Let z(k) be the second derivative of x(k). Is z(0) a multiple of 11?
False
Is 6 a factor of (3 - 0 - 2)*(180 + -3)?
False
Let b(o) = -o + 14. Let c be b(12). Is 6 a factor of ((-3)/(-4))/(-4*c/(-128))?
True
Suppose -2118 = -31*j + 4020. Does 18 divide j?
True
Suppose -14*f = 3*n - 9*f - 9600, 3*n = -4*f + 9600. Is 20 a factor of n?
True
Suppose -3*b = 5*m + b + 35, 4*m + 17 = -b. Does 8 divide (9/m - -5)*12?
True
Let i = 886 + -501. Does 35 divide i?
True
Let d(s) = s**3 - 8*s**2 + 32*s - 28. Is d(12) a multiple of 65?
False
Suppose c = 4*d + 3966, -3*d = 32*c - 35*c + 11871. Is c a multiple of 90?
False
Let d(b) = -b**2 - 18*b + 12. Let v be d(-14). Suppose s - v = -4*x, -35 = -s - 5*x + 36. Is s a multiple of 14?
True
Let f = 7 + -21. Does 6 divide (-656)/f - 1 - (-9)/63?
False
Suppose -2*h - 30*v + 1056 = -31*v, -h + 528 = 2*v. Does 24 divide h?
True
Suppose 4*k - 1348 = 4*b, 0*k + b = 4*k - 1342. Is k a multiple of 5?
True
Does 13 divide (-23206)/(-22) - 2 - 108/(-594)?
True
Let z = 165 + 165. Is 11 a factor of z?
True
Suppose -15232 = -20*d + 6*d. Is 64 a factor of d?
True
Suppose -5*l - 3*i + 1434 = -4*l, i = -4*l + 5791. Does 32 divide l?
False
Does 97 divide (4 - 6)/(8/(-6596))?
True
Let s(o) = o + 8. Let j be s(-3). Suppose -v + 79 = -g, 0 = -j*v - 5*g + 148 + 197. Is 17 a factor of v?
False
Let q be (-4)/(8/(-145))*8/10. Let i = q + 12. Is i a multiple of 3?
False
Is 31 a factor of (-8)/36 + ((-20506)/(-18) - -8)?
True
Suppose -3*x - 21 = -3*m, -m - 13 = -2*m - 2*x. Suppose 5*i + 0*i - 293 = -2*d, 3*i + m = 0. Is 15 a factor of d?
False
Suppose 3*c = 3*n - 753, 2*n + n = -3*c + 723. Does 18 divide n?
False
Suppose 0*c + 1108 = 2*c + 2*i, c - 544 = i. Suppose 5*o - 4*u - c = 0, -5*o + 0*o + 5*u + 550 = 0. Is o a multiple of 17?
False
Let i = 23 - 12. Let s = 12 - i. Is 20 a factor of 100 + s + (-4 - 0)?
False
Suppose -3*s + 7 = 1. Suppose 0 = s*q + 2*u - 4*u - 16, 4*u + 37 = 5*q. Suppose -q = -b, 20 + 69 = 4*c + b. Is 15 a factor of c?
False
Let y be (-4)/((-16)/(-50))*6. Is 1 + 0 - y - -2 a multiple of 13?
True
Let n(t) = t**3 + 2*t**2 + 3. Let y be n(-2). Does 2 divide (-2 - -22)*y/6?
True
Let g = -330 - -1606. Does 29 divide g?
True
Suppose -13*k = -k - 3060. Let x = k - 36. Does 29 divide x?
False
Let b(p) = -4*p**2 - p. Let f be b(-2). Does 2 divide (-46)/f + (-28)/98?
False
Let d(g) = g**3 - 16*g**2 + 13*g + 22. Let t be d(15). Let z = t + 5. Let b = z + 27. Is b a multiple of 6?
True
Suppose -4 = 4*r + 3*o, 6 = -2*r - 2*o + 2. Suppose -3*t + r*t = 5*h - 285, 242 = 4*h - 2*t. Does 22 divide h?
False
Suppose 26*n = 31*n - 7095. Is n a multiple of 90?
False
Suppose 3*r = -h + 10, -2*r + r = -5*h + 82. Let q(a) = 4*a - 22. Let f be q(h). Let w = f + 20. Is w a multiple of 11?
False
Let f = -409 + 789. Does 38 divide f?
True
Let z be 1252/(-3)*-1 + 13/(-39). Let j = z - 207. Is j a multiple of 42?
True
Let y be 7/((-28)/(-96)) - 3. Is 8 a factor of (-123)/(-5) - y/35?
True
Let w be 4/10 + (-654)/10. Let d = -176 - -273. Let f = d + w. Is 29 a factor of f?
False
Let a(q) = -q**2 + 18*q - 67. Suppose 0 = 160*c - 158*c - 18. Is 2 a factor of a(c)?
True
Let l(y) = -11*y**2 + 9*y + 10. Let f(j) = 4*j**2 - 3*j - 3. Let x(a) = 8*f(a) + 3*l(a). Let r be x(3). Suppose r*w = 157 + 59. Is w a multiple of 12?
True
Let l(q) = -q**3 - 57*q**2 - 59*q - 84. Does 6 divide l(-56)?
True
Let f(c) = -c**3 + 6*c**2 + 5*c + 3. Let r be (-14)/(-4)*(-16)/(-14). Does 31 divide f(r)?
False
Is (-31608)/(-135) - (-3 + 188/60) a multiple of 39?
True
Suppose -5*s + 4*i + 550 = 0, -2*s - 4*i + 248 = -0*s. Let a(p) = -s + 6*p + 114 - 3*p. Is a(8) a multiple of 8?
True
Let m = 4734 - 2718. Does 21 divide m?
True
Let q(k) = -k**2 + 7*k + 11. Let j be q(-5). Let m = j - -67. Is m a multiple of 9?
True
Suppose -4*b + 84 + 146 = -t, 0 = -2*t + 4. Let z = b - -8. Does 11 divide z?
True
Let j(v) = -6*v**3 + 3*v + 2. Let o = -21 - -19. Does 35 divide j(o)?
False
Let u(a) = a**2 + 6*a. Let i be u(-6). Let o be -4*(-1)/3*36. Suppose i*k = -2*k + o. Is 24 a factor of k?
True
Let z(f) = f - 8. Let n be z(13). Let t = 24 + n. Let y = t - 13. Is y a multiple of 8?
True
Suppose 0 = 4*z + 2*k - 16, -z + 2*k + 15 = -3*k. Suppose -3*u = 5*d - 315, -3*d = -z - 4. Does 10 divide u?
True
Suppose u - 144 = -o + 153, 0 = -4*u - o + 1182. Is u a multiple of 5?
True
Suppose 4*j - 4*o + 64 = 0, -3*j - 2*j - 5*o - 130 = 0. Let x = j - -31. Is 2 a factor of x?
True
Let j be (23 - 20) + 8*16. Let b = -67 + j. Does 8 divide b?
True
Let d be (-3 - -3)*(-2)/4. Suppose -21*v + 24*v - 873 = d. Does 43 divide v?
False
Let f(t) = t**3 - 10*t**2 + 2*t - 6. Let d be f(10). Let g be 1474/d + 4/(-14). Suppose -4*c - 148 = -4*w, 0*c - 5*c = -3*w + g. Is w a multiple of 8?
True
Let a(i) = 4*i - 4. Let y be a(5). Let d be 1/(2*4/y). Suppose d*w + 3*s = 9, -39 = -2*w - 0*s + 3*s. Is 4 a factor of w?
True
Suppose 5*t + 4*q - 169 = q, 5*t - 5*q = 185. Does 12 divide t?
False
Suppose 0 = -10*h + 4*h - 552. Let r = 173 + h. Does 27 divide r?
True
Let h = 98 - 105. Let y = h - -31. Is 8 a factor of y?
True
Let y = -335 - -472. Is y a multiple of 8?
False
Let m be ((-88)/20)/((-1)/(-15)). Let v = 42 + m. Is ((-100)/(-6))/((-4)/v) a multiple of 20?
True
Let n = 619 - 487. Is n a multiple of 66?
True
Let d(l) = 0*l + 11 - 28*l**3 - 8*l + 24*l**2 - 6*l + 26*l**3. Is d(10) a multiple of 14?
False
Let j(s) = 4*s**2 - 9*s + 14. Let m be j(4). Suppose 7 = 5*l + m. Is -5*((l - 0) + 4) a multiple of 9?
False
Let i(x) = -15*x - 2. Let v be i(-2). Let q = 77 - v. Is 11 a factor of 155/7 - 7/q?
True
Is (-11 + 12)/((-1)/(-2)) - -531 a multiple of 13?
True
Suppose -2*l + 14 = -4*k, k - 4 = -l - 0. Suppose l*m - 8 = m. Suppose -5 = -z, 129 = 2*a + z + m*z. Is a a multiple of 19?
True
Let p(g) = 4*g**3 - g**2 + g + 4. Let j(r) = -3*r**3 - 2*r - 3. Let d(h) = 3*j(h) + 2*p(h). Let x be 17/(-34) + 10/(-4). Does 10 divide d(x)?
True
Let k = -17 - 13. Let g = 36 + k. Is g even?
True
Suppose -4*c = 3*l, 4*l = -5*c - 2 + 3. Let g = -21 - -29. Suppose s + 2*q + q - 18 = 0, l*q = -g. Does 4 divide s?
True
Suppose -5*r - 16 = -f, -f + 0*r = -r