actor of h?
True
Let t(m) = 6*m - 69. Is 19 a factor of t(30)?
False
Suppose -5118 = -18*z - 312. Is z a multiple of 3?
True
Does 65 divide ((-6)/7)/3 - (-6330)/7?
False
Let l = -4 + -32. Is 10 a factor of ((-153)/l)/(2/8)?
False
Let k = 924 - 249. Is 27 a factor of k?
True
Let v(w) = -w + 1. Let q be v(1). Let i = 3 - -117. Suppose 2*x + x - i = q. Is 8 a factor of x?
True
Let x = 0 - 0. Is (-1 - x)/(1/(-31)) a multiple of 17?
False
Let v(t) = t**2 + 10*t + 24. Let f be v(-7). Suppose -3*d - 51 = -2*a, 0 = f*a + d - 88 - 5. Suppose 6*l = 102 + a. Does 4 divide l?
False
Let z(m) = -148*m. Let a be z(-1). Suppose -2*p - 98 = -2*l, 6*p - p + 281 = -4*l. Let s = a + p. Is 24 a factor of s?
False
Let l(x) = x. Let j(v) = v - 1. Let y(a) = 6*j(a) - 15*l(a). Let s be y(-11). Let r = s - 43. Is 13 a factor of r?
False
Let m(y) = -y + 11. Suppose -5*l = -4*q - 17, 0 = 3*q + 3*l + 3 + 30. Is 19 a factor of m(q)?
True
Let n(a) = 2*a**2 - 32*a + 184. Does 7 divide n(15)?
True
Let q be 4/(-8) + (-13)/(-2). Suppose -2*a = q*g - g - 21, -5*g + 8 = a. Does 5 divide a?
False
Suppose -x - 119 = i - 374, 0 = -5*x + 3*i + 1283. Suppose x = 6*d - 140. Is 11 a factor of d?
True
Let x = -14 - -14. Let t be ((-104)/(-4))/(1 + x). Suppose -t = -3*i + 22. Is 8 a factor of i?
True
Let z be (-48)/14 - (-6)/14. Let b = z + 10. Let p(g) = -g**2 + 10*g + 3. Is 6 a factor of p(b)?
True
Let b = 2010 - -20. Does 27 divide b?
False
Suppose 5*g = 5, 2*b - 10*g + 14*g - 2724 = 0. Is b a multiple of 16?
True
Let v be ((-1)/2)/(4/(-248)). Suppose 29*z = v*z - 10. Suppose 2*x - y - 14 = 5, -z*x + 4*y + 40 = 0. Is 7 a factor of x?
False
Suppose -2*b + 8 = -2*d - 0, 0 = -5*b - 5. Let t(z) = -z**2 - 2*z - 13. Let l(u) = -u**2 - u - 14. Let f(c) = 2*l(c) - 3*t(c). Does 4 divide f(d)?
True
Let w = 332 - 272. Does 4 divide w?
True
Let c be 1 + -1 + (-1 - 0). Is 10 a factor of (6 - 4 - 82)/c?
True
Does 16 divide 52 - -64 - (1 + 4)?
False
Let h = 165 - -339. Is h a multiple of 21?
True
Let n(i) = i**3 - 9*i**2 + 10*i + 22. Does 28 divide n(9)?
True
Suppose -5*y - 4*p + 30 = 0, -4*p + 40 - 16 = 4*y. Suppose 504 = 3*b + y. Does 37 divide b?
False
Suppose g + 0*j = 5*j + 15, -2*g + 5*j = -20. Suppose 6*f = 3*f - 4*k + 46, -72 = -g*f - 2*k. Is f a multiple of 7?
True
Suppose -3*w = -8*w + 145. Suppose -3*p + 4*d + d - 6 = 0, -4*p + 21 = 3*d. Suppose p*j = w + 67. Is j a multiple of 4?
True
Suppose 8*m - 578 = 7*m + 3*y, 3*m - y = 1734. Does 34 divide m?
True
Let s = -30 - -34. Is 7 a factor of (-20)/((-4)/s) + 0?
False
Suppose -6*t + t - 3*u = -140, -5*t - 2*u + 140 = 0. Let z = t + -9. Is 19 a factor of z?
True
Suppose -19*a + 13*a + 30 = 0. Is (-1108)/(-4) - a/1 a multiple of 34?
True
Let q(r) = 5*r + 1. Let p(z) = 2 - 4*z + 3*z - z + 6*z. Let b(f) = -3*p(f) + 4*q(f). Is b(1) a multiple of 3?
True
Suppose 2970 - 825 = 3*n. Does 11 divide n?
True
Suppose 3*j = 2*q + 3 - 0, 2*j = -q - 5. Is q/(20/7 - 3) - -1 a multiple of 9?
False
Let u be -1 + 1 + 952 + (32 - 29). Suppose -665 = -6*r + u. Does 47 divide r?
False
Let d(b) be the first derivative of -b**3/3 + 23*b**2/2 - 16. Is d(16) a multiple of 28?
True
Suppose 54 = 4*r - 5*q, -3*r = 2*q + 2*q - 25. Suppose r - 119 = -2*x. Is 54 a factor of x?
True
Let s(b) = -b**2 - 5*b + 7. Let p(m) = m**2 + 10*m + 12. Let i be p(-8). Is s(i) a multiple of 2?
False
Let s be 0/(15/3) + -5. Is (9/s - -3)/((-5)/(-200)) a multiple of 4?
True
Suppose 4*m - 250 = -3*s, 214 = -6*s + 9*s - 5*m. Does 6 divide s?
True
Let x be (16/(-1))/4 + 9. Suppose -x*b + 7*b = 108. Let m = b + -32. Does 14 divide m?
False
Suppose 3*b + 93 = -27. Let j = -160 - -156. Is (b/(-25))/(j/(-30)) a multiple of 4?
True
Let p be (-418)/(-7) + 4/14. Let n be 7*(-7)/(-98)*64. Suppose n + p = 4*j. Does 23 divide j?
True
Suppose -6*l + 2*l - 3*s + 1757 = 0, 3*l + 2*s - 1317 = 0. Does 3 divide l?
False
Let t(m) = 8*m**2 - 5*m - 2. Let q(i) = i**2 - 14*i + 51. Let c be q(7). Does 8 divide t(c)?
False
Let c be (1482/104)/((-6)/(-16)). Suppose -r - w + 2 = 2*w, -5*r + 86 = -4*w. Let d = c - r. Is d a multiple of 8?
True
Let v = 218 - 95. Let w = 175 - v. Is 44 a factor of w?
False
Suppose 2*q + 2*m + 275 = -q, 0 = 4*q + 3*m + 366. Is (-27)/(-45)*(2 - q) a multiple of 19?
True
Is 68 a factor of -56*(1325/(-35) + -3)?
False
Let z(y) = -11*y - 96. Does 15 divide z(-20)?
False
Let k be (-5)/4*(2 + 10). Let y be (-33)/k + 2/(-10). Suppose -y*i + 43 + 53 = 0. Is 15 a factor of i?
False
Let j = -21 + 27. Does 19 divide (-8)/4*(-57)/j?
True
Let z be (-1)/((0 - -1)/(7 + -9)). Suppose g + 3*g - 100 = -z*b, g - b = 19. Is g a multiple of 6?
False
Let m(x) = -196*x + 119. Let g(y) = 13*y - 8. Let t be (-455)/(-15)*(0 + 3). Let v(j) = t*g(j) + 6*m(j). Is v(8) a multiple of 24?
False
Let x(w) = 127*w - 4. Let v be x(-1). Let g = v - -246. Does 14 divide g?
False
Suppose -4*k + 763 = -k + 5*o, 2*k = -3*o + 508. Does 21 divide k?
False
Suppose -3*u + q = -0*u - 5, 3*u + 3*q - 9 = 0. Let j be -2*(0 - u)/1. Let f = j + 28. Is 8 a factor of f?
True
Let o(r) = r**3 - 4*r**2 - 4*r - 1. Let d be o(4). Let y = 51 - 52. Let s = y - d. Does 4 divide s?
True
Let k be 4*(-9)/6*-1. Let z be 45/k*(-16)/(-3). Suppose -6*g + 2*g + z = 0. Is g a multiple of 5?
True
Suppose -71 - 25 = -3*h - j, 2*h - 57 = -3*j. Does 3 divide h?
True
Let p = -86 + 192. Is 5 a factor of p?
False
Let y = 182 + -33. Let h = -73 + y. Suppose 4*a + 0*a = -5*n + 98, 2*a = -4*n + h. Is n a multiple of 16?
False
Is 26 a factor of (-9)/6*7/(42/(-1076))?
False
Suppose 5*r - 14782 = -4*p, 4*p - 3*p = 3. Is r a multiple of 20?
False
Suppose -3*l + 0*l = 2*m - 1134, 0 = -5*l + 3*m + 1871. Let o be (-10)/(-8) - 95/76. Suppose o = 3*q - 0*u - 4*u - l, 506 = 4*q - 3*u. Is 36 a factor of q?
False
Let t(r) = -7*r. Let c be t(-2). Let w = -11 + c. Does 15 divide 4/(-3)*w + 79?
True
Let d(w) = 11*w**2 + 4*w + 11. Is 17 a factor of d(5)?
True
Suppose -4*q - 31 - 9 = -4*k, 5*q = 3*k - 58. Is 6/q - 108/(-7) a multiple of 8?
False
Suppose -45 - 667 = -4*o. Does 14 divide o?
False
Let y(u) = -u + 1. Let k(h) = -6*h + 7. Let f(m) = -2*k(m) + 18*y(m). Let v be f(-4). Suppose -2*t - v = -94. Is 28 a factor of t?
False
Suppose 1 = -4*x - 3, 17 = 3*c - 5*x. Suppose -3*i = -c*i + 2. Suppose 0 = q - p - i, -4*q + 4*p = q - 13. Does 5 divide q?
True
Let v = 5 + 0. Suppose -4*j + v*t = 0, -30 = -2*j - 3*t - 2*t. Suppose j*n - 2*n = 180. Is n a multiple of 15?
True
Let l(j) = -j**3 - 5*j**2 - 2*j + 6. Let p be l(-5). Suppose c = 5*c - p. Suppose 40 = 2*x - c. Does 11 divide x?
True
Suppose -d = -1 + 4. Let f be 19 + (1*-6)/d. Let c = -11 + f. Is 4 a factor of c?
False
Let f(u) = u**3 - 7*u**2 - 8*u + 8. Let j be f(8). Let r = j - 9. Is 7 a factor of -1*((-3 - 13) + r)?
False
Suppose -6 = -n - n. Suppose -3*b = 3*v + 18, n*b + 0*v + 22 = v. Let p(r) = -r**3 - 6*r**2 + 6*r + 7. Is 7 a factor of p(b)?
True
Suppose -27 = i - 5*i - 3*m, -4*i = -5*m - 19. Let w be (i/(-4))/(6/(-16)). Is w + 6*(-8)/(-12) even?
True
Let h(q) = -q**3 + 30*q**2 - 32*q + 26. Does 24 divide h(27)?
False
Suppose -5*m - 840 = -20*m. Is m a multiple of 6?
False
Let k(f) = -f + 2*f - 2*f - 1 + 3*f. Let q be k(5). Let z(o) = o**2 - 6*o - 3. Is z(q) a multiple of 8?
True
Let g(r) = r - 6. Let n be g(8). Suppose -m + n*j = -62, 285 = 5*m + 2*j - 7*j. Suppose 14 - m = -y. Is 19 a factor of y?
True
Let b = -27 + 6. Let k = b - -40. Does 19 divide k?
True
Let m(s) = -s**2 - 19*s + 15. Is 7 a factor of m(-10)?
True
Let j = -2 + 4. Suppose b = 16 + j. Does 3 divide b?
True
Suppose 3*j - 3*a = 18, 3*j - 8*j - 3*a + 14 = 0. Suppose v + j*v = 0, 2*b - 98 = 5*v. Is 4 a factor of b?
False
Let x(g) = -76*g - 12. Let z(w) = -75*w - 13. Let v(s) = -3*x(s) + 2*z(s). Is 13 a factor of v(2)?
False
Suppose -9 - 3 = -3*p. Suppose p*l + 265 = 3*h, l - 4*l = -h + 90. Is h/4 - 15/(-60) a multiple of 8?
False
Let x = 1037 - 872. Is x a multiple of 11?
True
Let k = 861 - 658. Does 6 divide k?
False
Let m(j) = j**3 + 23*j**2 + 34*j - 48. Does 6 divide m(-21)?
True
Let z(p) = 3*p**2 - 17*p - 12. Does 9 divide z(12)?
True
Let h(j) = -j**3 + 12*j**2 + 3*j - 9. Suppose 5*b = b + 40. Is h(b) a multiple of 21?
False
Let l = -140 - -116. Suppose 3*f + 4*d = -d - 172, 0 = -5*f + 4*d - 262. Let r = l - f. Is r a multiple of 6?
True
Is 3380/(-3