- 3*p - 8. Let c be n(-2). Is 19 a factor of (-683)/c + 16/32?
True
Let y be (-8)/(-1*1/(-4)). Let l = -231 + 300. Let d = y + l. Does 9 divide d?
False
Is 1 - 0 - (-595 + -47) a multiple of 80?
False
Let v be ((-2)/2 + -4)/(-1). Let l(c) = 3*c + 19. Is 8 a factor of l(v)?
False
Suppose -m + 41 + 79 = 0. Does 8 divide m?
True
Suppose -j + u + 3*u = -507, -j + u + 522 = 0. Is 31 a factor of j?
True
Let y(c) = 19*c. Let p be y(1). Let u(l) = -32*l + 3. Let h be u(-4). Suppose -5*i + h = -p. Is 30 a factor of i?
True
Suppose 21*j = m + 25*j - 66, -5*j - 201 = -4*m. Does 27 divide m?
True
Suppose 8 + 0 = 4*q. Is 11 a factor of (q - 4) + 4 + 42?
True
Suppose -29*g + 53*g - 70488 = 0. Is 99 a factor of g?
False
Let g = -28 + 35. Let v(t) = t + 1. Let a be v(g). Is 24/(-4)*(-12)/a a multiple of 8?
False
Let j = 333 + -273. Is 30 a factor of j?
True
Suppose -2*q = -5*k + 15, 3 = k - 0*q - 2*q. Suppose -k*m = -5*m + 4. Suppose -6 = -0*s - m*s. Is 2 a factor of s?
False
Is (-10)/((-42)/12 + 3) a multiple of 10?
True
Suppose 72*t = 60*t + 5172. Is t a multiple of 10?
False
Let y = 0 + 5. Suppose 0*l = 3*l + 2*h - 1, l = 2*h - y. Is l - (-14 - 1) - 0 a multiple of 7?
True
Let a(f) = -f**2 + 3*f + 5. Let g be a(5). Let m = g - -11. Is 5 a factor of 9 + -1*(m - 3)?
False
Suppose -c - 3*p + 9 = 0, -2*c - c + 37 = 4*p. Suppose c = 5*d, 0*g - 5*d - 92 = -g. Let r = g + -31. Does 20 divide r?
False
Suppose -26*w - z = -28*w + 3255, 0 = 5*w + z - 8141. Is 116 a factor of w?
False
Let v(l) = -l**3 - 5*l**3 - 4*l**3 + 14*l**3. Is 7 a factor of v(2)?
False
Suppose 0 = -8*l + 1992 - 40. Does 37 divide l?
False
Suppose -5*k + 10*k = -55. Let p(c) = 6 - 2*c - 6 + 16 + 0*c. Is 19 a factor of p(k)?
True
Let j be 4/(-16) - 1/(-4). Suppose -2*o + 10 = -2*s, 10 = s + 4*s. Let n = o - j. Does 7 divide n?
True
Suppose 0 = -3*t + 311 + 769. Is t a multiple of 6?
True
Let i(o) = -58*o - 485. Is i(-40) a multiple of 121?
False
Suppose 45*o = 5252 - 122. Does 19 divide o?
True
Does 23 divide 80/((-585)/(-115) - 5)?
True
Let s = -14 - -16. Suppose -s*p + 0 = 24. Let r = p - -26. Is r a multiple of 4?
False
Let x = 3096 + -1182. Suppose 9*v - 1533 = x. Is v a multiple of 62?
False
Let b(h) be the first derivative of -5*h**2 - 6*h + 3. Let q be b(-7). Let u = 119 - q. Does 21 divide u?
False
Let v(s) = 4*s - 6. Let n be v(6). Does 8 divide n + -4 + 28/4?
False
Suppose -19*n + 15*n = -20. Let d = 995 - 659. Suppose n*m - d = m. Does 21 divide m?
True
Let t be -15*((-96)/(-15))/4. Does 32 divide ((-16)/(-12))/((-1)/t)?
True
Let m(q) = q - 8. Let d be m(11). Suppose -d*l - 4*k + 116 = 0, -12 = 2*l - 2*k - 94. Is 7 a factor of l?
False
Suppose -5*h - 3*c + 1284 = -879, -1724 = -4*h - 4*c. Let a = -267 + h. Is a a multiple of 20?
False
Suppose -5*v + v = -4*g - 8, 0 = -2*v + 8. Suppose -t = k - g*k - 49, 94 = 2*t + 2*k. Is t a multiple of 8?
True
Let g = -676 - -696. Is g a multiple of 5?
True
Suppose 2*m = 2*n + 9616, -4*m + 12*n + 19241 = 17*n. Does 23 divide m?
False
Let b = 361 - 125. Does 11 divide b?
False
Suppose p + 3*p - 332 = 0. Is (p + -29)*((-9)/2)/(-3) a multiple of 20?
False
Suppose 0 = f + 4*k - 35, k + 57 = 3*f - 9. Is 9 a factor of f?
False
Let g(x) = -3*x - 1. Let q be g(-3). Suppose -r - j + 13 = j, r + j = q. Is r a multiple of 3?
True
Let a(t) = -17*t - 3. Let m(i) = -2*i**2 - 20*i + 13. Let q be m(-11). Is a(q) a multiple of 15?
True
Let x be (0 - -3)*(20/(-12))/(-5). Does 4 divide 1 + 25 + (x - (-4)/(-4))?
False
Let m = -4 - -7. Let q be (-6890)/(-39) - (0 + 4/6). Suppose -m*b = -s + 66, -q = -3*s - 3*b + b. Is 12 a factor of s?
True
Let k = 128 - 76. Does 26 divide k?
True
Let k = 5543 - 3283. Does 13 divide k?
False
Let m = -182 - -99. Let b = 28 - m. Is 37 a factor of b?
True
Let o = -1 - -7. Suppose o*y - 50 = y. Is 22 a factor of 434/y - (-18)/30?
True
Is (-4896)/(-14) - 32/(-112) a multiple of 23?
False
Suppose -5*c + 4 + 16 = -5*l, -4*l + 2*c - 24 = 0. Let p be 75/(-20) - (-2)/l. Does 31 divide (-3 + 2)*596/p?
False
Let m(x) = -x + 9*x - 5*x. Let c be m(9). Is 22 a factor of (c/(-5))/(1/(-5))?
False
Suppose -3*t + 0*t - 443 = -5*q, 257 = 3*q - 4*t. Suppose 0 = 2*n - q - 119. Is n a multiple of 21?
True
Suppose -3*g + 0*g = 5*h - 44, 5*g + 2*h = 48. Suppose -f - g*f + 45 = 0. Does 5 divide f?
True
Suppose 40*l = 56*l - 496. Is 5 a factor of l?
False
Suppose -5*q = -3*u + 30, 2*u + u - q = 42. Is 18/(-3)*u/(-9) even?
True
Let s = 55 - 40. Suppose 4*h - 199 = -5*p, -3*h + s = -3*p - 141. Is 6 a factor of h?
False
Let a = 11 + -21. Is (6 + 243/(-6))*a/3 a multiple of 24?
False
Suppose -5*f + 1878 = 8*d - 6*d, 965 = d - 4*f. Is 16 a factor of d?
False
Suppose -4560 = 2980*l - 2985*l. Does 57 divide l?
True
Let k = 131 + -71. Does 30 divide k?
True
Does 14 divide 146 - (-31)/(217/(-42))?
True
Let m = -9 + 5. Is 4 a factor of (1*2*m)/(62/(-93))?
True
Suppose 0 = -j, j + 8 = 2*h - 0. Suppose h*m + 154 = 398. Suppose 2*y - 31 = m. Does 19 divide y?
False
Suppose -24*i + 17*i + 7763 = 0. Is 8 a factor of i?
False
Let m(v) = v**2 - 9*v + 14. Let l be m(15). Let f = l + -36. Is f a multiple of 34?
True
Suppose k + 3*x - 110 = 67, -2*k + 330 = -2*x. Is 7 a factor of k?
True
Let c = -14 + 43. Let n = c + 15. Is n a multiple of 8?
False
Suppose -3*q + 40 = 5*w, 10*w - 5*w = 25. Is q*(-8)/(-20) - -36 a multiple of 19?
True
Let f be (-1)/3*(-32 + -1). Let i(m) = 6*m + 6. Let q be i(6). Let c = q + f. Is 20 a factor of c?
False
Suppose -5*r = -0*r + 5*h - 35, -5*h + 5 = -r. Suppose -r*n + 178 = 73. Let b = n + -9. Is b a multiple of 6?
True
Suppose 0 = -7*l + 5 + 16. Suppose -4*h + 84 = -l*k, 3*h + 3*k = 43 - 1. Let z = 61 - h. Is 12 a factor of z?
False
Suppose -q - 1 = 0, 3*q + 425 = 5*k - 2*q. Is k a multiple of 84?
True
Suppose -5*k + 12 + 8 = 0. Suppose 2*u - x = -3*u + 665, -k*x + 376 = 3*u. Is u a multiple of 33?
True
Suppose d + 5*r = 5*d - 27, -15 = -4*d + r. Let a be (2/d)/(2/9). Suppose 0 = a*h - 215 - 4. Is 20 a factor of h?
False
Let p(h) = 18*h - 3. Let n(q) = 17*q - 3. Let v(o) = 6*n(o) - 5*p(o). Let z(i) = -2*i - 2. Let j be z(-2). Does 7 divide v(j)?
True
Let h(c) = 8*c**2 - 2*c - 1. Let i(w) = -7*w**2 + w + 2. Let r(k) = -6*h(k) - 7*i(k). Let l be ((-15)/5 + 8)*4/5. Does 15 divide r(l)?
False
Let h(z) = -8*z + 4. Let u be h(-3). Suppose 3*g + 35 = -u. Is 14 a factor of g*(7/3 + -3)?
True
Let q(v) = -88*v - 74. Is 65 a factor of q(-23)?
True
Let d = -15 - -5. Let p = -5 - d. Suppose 0 = 2*y - p - 1. Is y a multiple of 3?
True
Suppose -3*t + 650 = -t + 3*q, -2*t + q = -650. Is 22 a factor of t?
False
Suppose 0 = 6*z - 3*z + 3*k - 2277, 0 = -k. Is 6 a factor of z?
False
Let i(d) = d**3 + d**2. Let z be i(0). Suppose z = q - 0*q + 15. Let w = -5 - q. Does 10 divide w?
True
Suppose b - 687 = -3*n + 298, -5*n = 4*b - 1637. Does 12 divide n?
False
Let i(w) = -29*w + 44. Let m(s) = -3*s**2 + 4*s - 1. Let g be m(2). Is 9 a factor of i(g)?
True
Suppose -6 = -3*u, 4*u - 556 = -w - w. Let g = w - -27. Is 35 a factor of g?
False
Let i be ((-1 - -2)*0)/1. Suppose -3*p = -i*p + 231. Let u = -54 - p. Is u a multiple of 7?
False
Let l(k) = k + 12. Let v be l(-9). Let o(b) = -4 + 17 + 8 + v*b**2 - 2*b**2. Does 7 divide o(0)?
True
Let b(m) = 21*m**2 - 45*m - 2. Is b(7) a multiple of 61?
False
Let y(a) = -9*a + 6 - a**2 + 25 - 20. Does 2 divide y(-8)?
False
Let o = -69 - -69. Is 9 a factor of 0 + 0 - (-5 + -49) - o?
True
Is 26 a factor of -5 + (3232/7 - (-32)/112)?
False
Let c(g) = 3 + 5 + 1 - g**2 + 7*g. Let i = 35 - 28. Does 5 divide c(i)?
False
Let d be 2*6/(-16)*-8. Suppose 4*w - d = 30. Let h(n) = -n + 21. Is h(w) a multiple of 4?
True
Let k(t) = -t**3 + 3*t**2 + 2*t - 3. Let l(p) = p + 3. Let x be l(0). Let b be k(x). Suppose b*g - 4 = 38. Does 8 divide g?
False
Is 5/(-5)*(2 + 0) - -865 a multiple of 17?
False
Let g = 966 - 774. Is 17 a factor of g?
False
Let w = 263 - -1539. Is w a multiple of 17?
True
Let i be 4/6 + 4/(-6). Suppose i = s + s. Is 7 a factor of (-1)/(-2)*(s - -26)?
False
Let t be (-10)/(-25) + 78/5. Suppose 3*p + 8 + 16 = 0. Let n = p + t. Is 2 a factor of n?
True
Let d = 963 - 807. Is d a multiple of 30?
False
Suppose -10 = -g + 1. Suppose 2*d + 2*a + g = 35, 3*d - 32 = a. Is d a multiple of 2?
False
Let d(m) = 37*m + 38. Let h be d(-6). Let z = -1