factor of h?
True
Let u(c) = -c**3 + 11*c**2 - 14*c + 2. Let i(o) = -1. Let w(v) = 4*i(v) - u(v). Suppose -4*d + 41 = -q + 2, -d = -5*q - 5. Does 19 divide w(d)?
False
Let u(q) = 9*q + 128. Is 52 a factor of u(29)?
False
Suppose 12*x - 7*x = 1300. Is 20 a factor of x?
True
Let c be (-4)/((-7)/(42/4)). Let j(t) = 5*t**3 - 6*t**2 + 9*t - 6. Let z(r) = -4*r**3 + 7*r**2 - 8*r + 5. Let q(w) = c*z(w) + 5*j(w). Does 18 divide q(-12)?
True
Is -2*(-8)/96 - (-2535)/18 a multiple of 47?
True
Let q = -189 + 559. Is q a multiple of 74?
True
Let t be 22 + ((-20)/(-8))/5*2. Suppose -3*d + 13 = -t. Is 6 a factor of d?
True
Let l(i) = i**2 + 6*i + 9. Let h(g) = 2*g**2 + 13*g + 19. Let r(d) = -2*h(d) + 5*l(d). Let c be (-164)/(-112)*-4 - (-2)/(-14). Is 5 a factor of r(c)?
False
Suppose -905 = -w + 3*z, 16*w - z - 3664 = 12*w. Is 12 a factor of w?
False
Is -8 - -1 - ((-5 - 2861) + -5) a multiple of 9?
False
Is 20 a factor of ((950/40)/(-19))/((-1)/1688)?
False
Suppose -18*o = -2*o - 1296. Is 2 a factor of o?
False
Suppose 9*b + 785 = 11*b - s, -3*s = -3*b + 1185. Does 13 divide b?
True
Is 15/(-45) + (-1660)/(-3) a multiple of 35?
False
Let q = 2 + 3. Suppose 58 = 5*u + 5*k - 62, -3*u + q*k = -40. Is u a multiple of 10?
True
Let r be (-3)/6 + 3/6. Suppose r = f - 4*b + 20, 16 = f + 6*b - b. Does 24 divide (-214)/(-3) - f/6?
True
Let o be (-2)/6 + 175/21. Let y be (-4)/o - 42/(-4). Suppose -2*t + 14 + y = 0. Is t a multiple of 6?
True
Let b(h) = h**2 + 4*h - 8. Let s be b(-7). Let g = 15 - s. Suppose -4*z + 52 = -g*z. Does 26 divide z?
True
Let z be 21*1*(-12)/7. Is 26 a factor of 536/10 + z/(-15) + -3?
False
Let f(i) = -2*i - 36. Let t be f(-19). Suppose j + 1176 = 5*p, t*p + 244 = 3*p + 2*j. Is p a multiple of 18?
False
Let f(o) = -32*o**3 - 164*o**3 + 2*o**2 - 3*o - 3*o**2 - 3. Is f(-1) a multiple of 12?
False
Suppose -4*y - 24 - 1 = 5*j, -3*y - 20 = 4*j. Suppose -2*o = 3*q - 107, y = 2*q + 5*o - 89 + 36. Does 13 divide q?
True
Let z = -63 - -119. Suppose -14*p + 13*p + z = 0. Is 7 a factor of p?
True
Suppose -2*i - 3 - 2 = 5*z, 0 = 5*z - i + 5. Is ((-65)/(-10))/(z/(-2)) a multiple of 6?
False
Suppose -17*i = 1702 - 4507. Is 11 a factor of i?
True
Suppose 3*p = 4*i - 1760, 5*i = i - p + 1776. Suppose 2*n - 3*g = -i + 182, 0 = 5*n + 4*g + 618. Is 13 a factor of n/4*(4 + -6)?
False
Suppose t = -3*r + 34, 2*t = 4*r + 3*t - 45. Let g(h) = h**2 - 3*h - 4. Is g(r) a multiple of 12?
True
Suppose -12*i = 5*f - 8*i - 580, -5*f + 5*i + 625 = 0. Is 16 a factor of f?
False
Suppose 0*q + 4*d = q + 12, 0 = -3*q - 5*d + 15. Let x(f) = -2*f - 108. Let w(o) = o + 71. Let s(m) = 8*w(m) + 5*x(m). Does 16 divide s(q)?
False
Suppose 6487 = 3*m - 2*q, 5*m - 5*q - 2754 - 8066 = 0. Is 69 a factor of m?
False
Does 26 divide (16/5)/(1*2/130)?
True
Let q(r) = 20*r**2 - 2*r + 13. Does 17 divide q(5)?
False
Suppose 0 = -11*c + 14 + 129. Suppose 17*j - c*j = 464. Does 22 divide j?
False
Suppose 0 = -5*f + 81 + 354. Suppose -4*m - f - 469 = 0. Let t = m - -204. Does 13 divide t?
True
Suppose -12*q + 160641 = -155115. Is 3 a factor of q/343 - (2/7)/(-1)?
False
Let i be -14 - (-7)/(28/8). Let j be 2 - 3/(i/8). Suppose 0 = -5*w + 2*t + 232, -2*w + j*t + 107 - 27 = 0. Is w a multiple of 24?
True
Suppose 2*x + 4*g = 26, 4*g = 11 + 9. Let o = 1 + x. Suppose -4*b + i + 31 = 0, o*b + 4*i = -10 + 26. Is b a multiple of 7?
True
Suppose -8*a = -303 - 1041. Is a a multiple of 24?
True
Suppose -8*k + 1522 = -6*k + 5*h, 2*k - 5*h - 1482 = 0. Is k a multiple of 16?
False
Let g(h) = h**3 - 11*h**2 + h + 24. Is g(16) a multiple of 12?
True
Suppose 5*r + 3*f - 1287 = 678, 5*f = -25. Is r a multiple of 12?
True
Suppose 5*k - i + 498 = -0*k, 4*i = -8. Is ((-20)/(-25))/((-8)/k) a multiple of 2?
True
Let d(w) be the second derivative of -w**5/10 + w**4/12 - w**3/6 + 7*w**2/2 + 22*w. Does 2 divide d(0)?
False
Let m = 142 + -256. Suppose -243 = -13*u - 2349. Let l = m - u. Is l a multiple of 16?
True
Let i(q) = 184*q**3 + 2*q**2 + 2*q + 1. Let u be i(-1). Suppose 7*a + 2*n = 3*a - 1040, -265 = a + 3*n. Let j = u - a. Is j a multiple of 19?
True
Suppose 0*x = 4*x - 5*j - 7, -3*x = j - 10. Let i(y) = y**2 - 10*y + 9. Let h be i(9). Suppose h = 6*t - 3*t, -t - 195 = -x*n. Does 13 divide n?
True
Let r(p) = 1335*p + 2. Does 81 divide r(2)?
False
Let x(p) = -3*p**2 - 3*p + 3. Let t be x(-3). Let u be (0 - -7)/(t - -16). Suppose -132 = -u*w + 4*w. Is w a multiple of 10?
False
Let y(v) = 2*v**2 - 1 + 2 + 5*v + 8. Is y(10) a multiple of 34?
False
Suppose 3*c - 48 = -5*y, -2*y - 12 = 2*y. Let m be (3/(-3) - 0)*c. Let t = 39 + m. Is 9 a factor of t?
True
Let r(d) = -d + 12. Let k be r(5). Suppose 20 = 5*b, 2*z + k*b - 94 = 2*b. Is z a multiple of 37?
True
Suppose 246 = 6*h - 372. Let t = h + 23. Does 14 divide t?
True
Let s(c) = c**2 - 6*c + 6. Let j be 1 + -3 - (-2 - 9). Does 5 divide s(j)?
False
Suppose -1094 = -15*m + 631. Does 3 divide m?
False
Suppose 0 = 2*v + n - 3*n - 10, 3*n = -v + 5. Suppose v*t = 20 - 5. Suppose -t*g + 2*b + 149 = 2*g, -4*g + 5*b + 109 = 0. Is 7 a factor of g?
False
Let j(h) = h**2 + 9*h + 7. Suppose -2*m + 0*m = -20. Let u be m/(-5) + (-18)/2. Does 11 divide j(u)?
False
Let c(b) = b**2 - 15*b + 13. Let u be c(5). Let h = u - -41. Is h a multiple of 4?
True
Let n be 8/20 + 48/(-20). Let h = n - -5. Suppose h*w - 4*w = -3. Is 3 a factor of w?
True
Suppose 0 = -2*j + 4*s - 168, 380 = -5*j + 2*s - 0*s. Let b = j + 234. Does 10 divide b?
True
Suppose 0 = -8*p + 68 + 132. Let y = 49 + p. Let k = y - 28. Is k a multiple of 23?
True
Let g(t) = 2*t - 4*t + 3*t - 4*t + 2. Does 11 divide g(-6)?
False
Suppose 0 = -241*y + 246*y - 4140. Is 23 a factor of y?
True
Let t(v) = -7*v**3 - 17*v**2 - 92*v - 12. Is t(-6) a multiple of 16?
True
Suppose l = -l, -l = h - 471. Is ((-2)/3)/2 - h/(-9) a multiple of 10?
False
Is 19 a factor of 0 + -1 + -1 - (-1553 + 207)?
False
Suppose -m + 4*w + 37 = 0, 4*w - 5*w = 2*m - 65. Is m a multiple of 27?
False
Let u(k) = 12*k**2 - 16*k + 70. Is u(4) a multiple of 11?
True
Let r(h) = -h**2 - 9*h - 4. Let g be -8 + 1/(2/4). Let u be r(g). Suppose u*k - 10*k - 56 = 0. Is 4 a factor of k?
False
Let t(f) = -f**3 - 9*f**2 + 8*f - 12. Let s be t(-10). Let w be 6/s + 54/24. Suppose -3*v - 4*u = -48, 2*u = w*v + 4*u - 48. Is 8 a factor of v?
True
Let j(g) be the second derivative of 5*g**4/12 - g**2/2 + 3*g. Is j(3) a multiple of 22?
True
Let v(i) = -62*i**2 - 4*i - 1. Let m(q) = q**2 - q. Let w(f) = 6*m(f) - v(f). Let s(u) = -3*u**3 + 4*u + 2. Let c be s(-1). Is 15 a factor of w(c)?
False
Suppose -3*k - 12 = 0, 0*q - 3*k - 44 = 2*q. Let t = 22 + q. Is t/(-8) + (-2625)/(-60) a multiple of 13?
False
Let s = 14 - 35. Let x(h) = h**3 - 11*h**2 + 1. Let u be x(11). Does 11 divide (-1)/2*(s - u)?
True
Let g = 17 + -21. Is (54 - -3) + -2 - g a multiple of 29?
False
Suppose 0*g + 5*w = -2*g + 7, -w - 7 = -g. Let j be g/4*(-104)/(-6). Is 8 a factor of j/3 + (-4)/6?
True
Is 0 + -120*(-4 + 3) a multiple of 5?
True
Suppose -3*b + b + 8 = 0. Let m be (-78)/b*28/(-14). Let i = m - 15. Is 12 a factor of i?
True
Let d = -1026 - -2116. Suppose 5*j - d = -5*v - 0*j, 5*v + 3*j = 1092. Does 35 divide v?
False
Let g(j) be the second derivative of -j**4/12 + j**3/2 + 2*j**2 - 5*j. Let r be g(3). Suppose 6*u - 24 = r*u. Is u a multiple of 12?
True
Let p = -54 + 56. Suppose p*t = 3*z + 4*t - 96, 75 = 3*z - 5*t. Is 30 a factor of z?
True
Is 44 a factor of (-189256)/(-410)*(5 + 0)?
False
Let z be (2 - 1)/(2/18). Let n = -148 + 140. Let y = z - n. Is 7 a factor of y?
False
Let z(v) = -33*v**2. Let f be z(-1). Let p be 1 + -1 + (f - 0). Let r = p - -43. Does 4 divide r?
False
Suppose 0*y - 5*r - 10 = 3*y, -5*y + 3*r + 6 = 0. Suppose -3*x + 5*q = -y*q + 3, -x - q = -7. Suppose 0*m = x*m - 164. Does 22 divide m?
False
Let w(h) = 4*h - 33. Let a(y) = -2*y**3 - 11*y**2 + 2*y - 5. Let o be a(-6). Is w(o) a multiple of 10?
False
Is 21 a factor of (1267 - (1 - 4)) + 6?
False
Suppose 36036 = -128*m + 141*m. Is 14 a factor of m?
True
Suppose 0*k + m - 3 = k, 2*m = -2*k - 18. Does 8 divide k/(-18) - 142/(-6)?
True
Let u = -178 + 252. Suppose 0 = 2*d - 66 - u. Is d a multiple of 7?
True
Let k(l) = -7*l + 28. Let c be k(-5). Suppose 3*x = 6*x - c. Is x a multiple of 4?
False
Suppose 4*z = -u + 1046, 5*u = 3*z + 7*u - 787. D