ctor of m?
False
Let v(x) = -10*x - 2. Suppose -4 = 3*q - 7. Let s be v(q). Does 31 divide (-378)/(-4) + (-6)/s?
False
Is 108 a factor of (-79486)/(-8) + (-58)/(-203) + 4/(-112)?
True
Let h be -9 + 10 + (-3)/1. Let k be (-1 - h)*(3 + -5 + 30). Suppose c - 3*p - k = 0, 26 - 81 = -2*c + 5*p. Does 9 divide c?
False
Let k be (-40)/70 - (-18)/7. Let c be (-132)/(k - 4)*3. Suppose -4*j + 4*d = -30 - c, -179 = -3*j - d. Does 14 divide j?
False
Suppose 0 = -5*s + 25 - 10, -4*f - s - 5 = 0. Let i be (472/(-12) - 4)*(-8 - f). Is 30 a factor of i/5 + 0 + 1?
False
Suppose 4*l - t + 304 = -5*t, -2*t + 82 = -l. Let m be (-8)/(-6) + (-7696)/l. Let a = -70 + m. Does 5 divide a?
True
Suppose -4 + 1 = -3*c. Suppose 0 = 2*l - 10, -12 - c = 4*i - 5*l. Suppose 516 = i*q + 2*v, -3*q + 3*v = 4*v - 513. Does 34 divide q?
True
Suppose -6*i - 112 = 8*i. Let y = 10 + i. Is (2 - 25)*((-2)/y - 2) a multiple of 47?
False
Suppose -c = -5*c - 3*y + 15, -4*y = c + 6. Let l(o) = -8*o - 3*o**2 - 4 + o**3 + 2*o - c*o - 2*o. Is l(6) a multiple of 5?
True
Let v(i) = -349*i**2 + 99 - 5*i + 2*i - i + 347*i**2. Is 12 a factor of v(0)?
False
Let t = -6620 - -8578. Is 8 a factor of t?
False
Let o(n) = -2*n + 8. Let v be o(4). Suppose -2*q + 4*i - 6 = -i, v = -5*i + 10. Suppose 3*c - q*u = -2*c + 190, 4*c + 4*u - 152 = 0. Is c a multiple of 6?
False
Let r(o) = 4*o**2 - 16*o + 6. Let n be r(13). Suppose 115*h = 103*h + 96. Suppose 0 = 3*j + 9, -3*p + h*p + 2*j = n. Is 24 a factor of p?
True
Let f(k) be the second derivative of -k**4/12 - 5*k**3/6 + 3*k**2/2 + 13*k. Let m be f(0). Is ((-1)/m*-3)/(2/292) a multiple of 43?
False
Let l(i) = i**3 + 73*i**2 - 3*i - 229. Let z be l(-73). Let x(s) = -s**3 + 3*s**2 + 6*s - 6. Let u be x(5). Let t = z - u. Is t a multiple of 3?
False
Let h(o) = -2*o**2 + 9*o + 2522. Does 26 divide h(0)?
True
Let z(c) = -c**3 + 22*c**2 - 3*c + 28. Let y be z(22). Let u = y + 129. Is u a multiple of 6?
False
Suppose j - r = -106, -3*r - 10 = -r. Let o = -44 - j. Suppose -y + o = -b, -4*y + 204 = b - 84. Does 8 divide y?
False
Suppose 0 = i - 5 + 1, t + i = 14. Suppose -5*l = v - 629 + 4, 2*v = t. Let a = l - 103. Is 3 a factor of a?
True
Let n(b) = -16*b - 34. Let x(l) = -175*l - 375. Let t(r) = 45*n(r) - 4*x(r). Let z be t(-6). Suppose 3*g = z + 600. Does 46 divide g?
True
Let h(t) = -11*t + 1. Let p be ((-10)/5 + 1)*-30. Let x = 23 - p. Does 13 divide h(x)?
True
Suppose 5*q + 6*j - 4*j + 737 = 0, -2*j = 2*q + 302. Let f(c) = 58*c - 3. Let t be f(4). Let v = t + q. Is v a multiple of 42?
True
Let q = -4955 - -12396. Does 203 divide q?
False
Let f(w) = -6619*w - 4955. Is 140 a factor of f(-5)?
True
Let h = -47 - -54. Let u = -13 + h. Is 5 a factor of (-4)/u*((-441)/(-6) + 3)?
False
Suppose -453*f + 166339 = -431*f - 13489. Is f a multiple of 106?
False
Let h = 15430 - 8166. Does 32 divide h?
True
Let b be (-7)/5 + 7*8/140. Let n be ((7 - 0) + b)*(-16)/(-6). Let y = 11 + n. Is y a multiple of 3?
True
Is ((-1175)/30)/(-47)*3*-2 - -7839 a multiple of 14?
False
Let v be ((-16)/10)/((-14)/(-70)). Let p be (0 + -2)/(v/216). Suppose -5*r + 3*r + 4*j = -p, 42 = r - 5*j. Is 4 a factor of r?
False
Let w = -84 + 982. Does 2 divide w?
True
Is 55 a factor of (33/(-12))/((-2)/8) - -24513?
False
Suppose 110 = 2*t + 2*h - 16, 0 = -4*t - h + 240. Let m = 57 - t. Is 10 a factor of 4/8 + 75*m/(-4)?
False
Let x be 3/2*2510/15. Suppose -24*m + 901 = -x. Does 12 divide m?
True
Let u = -576 + 8136. Is 51 a factor of u?
False
Let j(c) = -16*c - 24. Let l be j(-7). Let g = l - 94. Is (216/(-42))/(g/28) a multiple of 12?
True
Let k be (150 - -1) + (10/5 - 5). Let y = 238 - k. Suppose -4*m - 3*z = -281 + y, 109 = 2*m - 3*z. Is m a multiple of 19?
False
Let d(l) = 369*l - 90. Does 18 divide d(1)?
False
Suppose -14*s + 39512 = -4*s - 118. Is s a multiple of 4?
False
Let l(f) = -32*f**3 + 330*f**2 - f - 3. Is l(-3) a multiple of 3?
True
Suppose -6*q - 4*q + 18*q - 46400 = 0. Is q a multiple of 40?
True
Suppose -4*b + 40824 = q, -3*q + 122528 = 2*b + 2*b. Is q a multiple of 14?
True
Let l be (-1)/(1 + 12/(-10)). Suppose -3*p = -15*c + 18*c - 6, 0 = 3*p - 2*c - 11. Suppose -l*v + 56 = p*x - 25, 4*x = v + 85. Is 4 a factor of x?
False
Suppose 5*o + 20 = -5*p, -4*p - 16 = 5*o + 4. Suppose p = w + w, 0 = 4*b - 4*w - 408. Is 14 a factor of b?
False
Suppose l - 2*o = -2*l - 689, 0 = 4*l + o + 915. Let p = 852 + l. Is p a multiple of 7?
True
Suppose 7208656 = -793*y + 1001*y. Is 27 a factor of y?
False
Let t be (27/(-12))/(11/(-22))*-60. Let x = 398 + t. Does 8 divide x?
True
Let z(s) = 7*s + 89. Let h be z(13). Suppose -13*c + 11*c + 120 = 5*r, 0 = -3*c - 4*r + h. Does 4 divide c?
True
Let q = -62 + 62. Suppose 5*a = -4*w + 12, 3*a - 5*w + 7 + 8 = q. Is 18 a factor of -4 + a - (-147 + 3)?
False
Let g(i) = -i**3 + 24*i**2 - 7*i + 12. Let s be g(24). Let k = s - -435. Does 9 divide k?
True
Let t(k) = -260 - 12*k + 131 - k**2 + 126. Is 6 a factor of t(-9)?
True
Suppose -7*s + 13 = 6. Does 28 divide 29/(-2)*(-5 - 7)*s?
False
Let m = 35 + -33. Let u(y) = 3 - 11 + 2*y**m - 2 - 6*y. Is u(-4) a multiple of 5?
False
Let x = 6 - -6. Suppose -x*n - 51 = -9*n. Let i = 142 + n. Does 11 divide i?
False
Let v be ((-8)/(-36))/((-2)/(-18)). Suppose 23 + v = 5*i. Suppose 2*d = i*c - 143, -4*c - 3*d - 93 = -7*c. Does 3 divide c?
True
Let b(m) = m + 44. Let r be b(12). Suppose 51*u = r*u - 1015. Is 66 a factor of u?
False
Let p(k) = -5*k + 5 + 0*k + 9. Suppose 0 = 160*x + 34 + 446. Is 26 a factor of p(x)?
False
Is 22 a factor of ((-2352)/245)/((-6)/3080)?
True
Let y(v) = -v**2 + 119*v - 1080. Does 122 divide y(55)?
True
Let v(z) = 8 + 7*z**2 - 27*z**2 + z + 4 - 3*z - 2*z**3 + 0. Is v(-14) a multiple of 12?
True
Let t be 15 - 0*(-3 - 14/(-4)). Suppose 0 = -5*h + 2*h + t. Suppose -137 = -h*z + 3*s, -31 = -z - 4*s + s. Does 7 divide z?
True
Suppose -4*j + 2*w - 92 = 0, -4*j - w = -2*j + 54. Let c be -4*(-3)/(-30) + (-360)/j. Suppose 11*f - c*f = -117. Does 5 divide f?
False
Let a = 40 - 48. Is 64 - 5 - (a + 3) a multiple of 7?
False
Let j(l) = -3*l**2 - 16*l + 2. Let m be j(-5). Suppose -286 - 554 = -m*a. Does 11 divide a?
False
Let n(g) = 170*g - 10. Let y be n(5). Let r be (y/(-49))/(1/(-28)). Suppose 3*i = -13*i + r. Is i a multiple of 13?
False
Let k be (-4)/10 + (-6)/(-15). Suppose k = -43*m + 42*m. Suppose -i + 4*g + 184 = m, -i - 3*g = g - 176. Is i a multiple of 15?
True
Let i(a) = 527*a**2 - 3*a + 8. Is 48 a factor of i(2)?
False
Suppose 4*j - 3*p = 4607, -2*j + 3*p = -1350 - 943. Does 25 divide j?
False
Let f be (-20)/(-90) - 222/27. Is (297/(-18))/(6/f) a multiple of 3?
False
Let w(v) = -2*v**2 + 15*v - 16. Let j be (1/2)/((-14)/(-196)). Let t be w(j). Let y(b) = b**3 + 10*b**2 + 3*b - 18. Is y(t) a multiple of 12?
True
Let d = -2 + 5. Let k be (5/(-2)*d)/(7/(-126)). Suppose 7*t - k = -44. Is 2 a factor of t?
False
Suppose -3694 = -4*f - 118. Is f a multiple of 5?
False
Let n = 35 - 26. Suppose 7*f = n*f - 4. Suppose 5*o + 52 = q, -q + o + 76 = f*o. Is 18 a factor of q?
True
Let i = -4954 - -7024. Suppose 0 = 77*b - 62*b - i. Is 3 a factor of b?
True
Suppose -5*s - 4*h = 158, -4*s + 5*h = 155 - 45. Let x = 30 - s. Is 12 a factor of x?
True
Let u = -275 - -277. Suppose -5*p + 2*m + 8544 = 0, u*p + m + 4*m - 3435 = 0. Does 29 divide p?
False
Suppose -3*y = -7*y + 20. Suppose 0*l - 20 = -y*l. Suppose l*q = 7*q - 24. Is 7 a factor of q?
False
Suppose 138*j + 18*j = 103896. Is j even?
True
Suppose -519 = -18*s + 2649. Suppose -494 + s = -2*v. Does 10 divide v?
False
Let h be 5 + -4 + 3 - -1180. Suppose 2224 + h = 4*a. Does 71 divide a?
True
Suppose 0 = -4736*t + 4851*t - 6007008 + 1789843. Is 14 a factor of t?
False
Let r be -4468*2/(-12)*-3. Let z = -1260 - r. Is z/12 - 2/12 a multiple of 9?
True
Suppose 0 = -d - d - 4*b + 22, 4*b = -5*d + 37. Let c be 54*5/((-15)/2). Does 9 divide -4 - (c + 0/d)?
False
Let l = -2120 + 3352. Is 88 a factor of l?
True
Is 289760/360 - 5/(-45) a multiple of 115?
True
Let c = -10 - -5. Let n(x) = -x + 11. Let s be n(c). Is (-1483)/(-9) + s/72 a multiple of 21?
False
Suppose 2*i - 246 = -4*i. Suppose i*s - 2646 = 23*s. Is 12 a factor of s?
False
Let q(f) = f**3 - 65*f**2 + 484*f + 198. Does 2 divide q(57)?
True
Suppose 0 = 5*p, 3*p + 180 = -4*g - 0*g. Suppose -8*v + 4*m + 52 = -4*v, 2