 + 11/2). Suppose -7*y = -3*x - 3*y + 244, -x + y + u = 0. Suppose -5*c + 64 = -x. Is c a multiple of 14?
True
Let z be (-32)/56 - 81/(-7). Suppose -31 = -5*b - z. Suppose -95 = -9*n + b*n. Is 10 a factor of n?
False
Let i(b) = 11*b**2 - 3*b - 13*b**2 + 2 - 4*b. Let y(z) = -z**2 + z. Let h(r) = i(r) - 5*y(r). Is 8 a factor of h(5)?
False
Let y(x) = -x**3 + 7*x**2 - 7*x + 10. Let t be y(6). Let o(s) = -s**3 + 4*s**2 + 14*s - 2. Is 27 a factor of o(t)?
True
Let v(p) = -15*p**3 + p**2 - 3*p - 5. Let u be v(-2). Suppose -4*o + 14 = l - 2*o, 5*l - u = o. Is 3 a factor of l?
True
Suppose 16*c - 22*c + 5658 = 0. Is c a multiple of 23?
True
Does 16 divide 18/(-20)*-124 - 280/(-700)?
True
Let i be 1 + 1 - (5 - -4). Let k = i - -12. Suppose 0 = k*t - 57 - 8. Is 5 a factor of t?
False
Does 15 divide (-1)/(-4) - 1434*(-7)/8?
False
Let o = 67 - 37. Suppose -o = -3*k - 2*k. Is 9 a factor of 8/k*(-483)/(-14)?
False
Let o be (-75)/(-10)*(-20)/(-6). Suppose h = -4*h + o. Suppose -42 = -2*s - 3*a, -4*s - h*a + 63 = -s. Does 7 divide s?
True
Let o = -355 + 597. Suppose 4*j - o = 234. Is 23 a factor of j?
False
Is 30 a factor of (-6096)/(-10) + 0 + (-12)/(-30)?
False
Suppose 5*v - 37 = -2*u, -2*v + 0*v - u + 15 = 0. Suppose v*o = 9*o - 18. Suppose 13*l = o*l + 152. Is 19 a factor of l?
True
Let t(p) = p**2 - 4*p + 4. Let d be t(3). Let x = d - 1. Suppose x*r - 120 = -6*r. Is r a multiple of 5?
True
Suppose -5*t = -4*f - 1520, -4*f - 5 = -5*f. Is 47 a factor of t?
False
Let v be (-55)/(-9) - 16/144. Suppose -10*t + v*t = -40. Suppose -t = -5*l - 5*p, 0 = l - 2*p + p - 8. Is l a multiple of 4?
False
Let m(b) = -15*b + 13. Let p(i) = -i**3 + 6*i**2 - 3*i + 15. Let n be p(6). Is m(n) a multiple of 29?
True
Let l(p) = 3*p**3 + 35 - 20*p**2 - 4*p**3 + 0*p**3. Does 5 divide l(-20)?
True
Suppose 117 + 7 = 2*n. Does 3 divide n?
False
Does 5 divide 5 + (0 + 76 - 1)?
True
Let v(w) = 2*w**2 - 3*w + 32. Let p be (-2)/5 - ((-705)/(-25))/(-3). Is v(p) a multiple of 17?
False
Suppose -3*n - u + 10 = 0, 0*n - 3*n + 2*u = -16. Suppose 0 = 5*c, 46 = 2*r - n*c - 230. Does 46 divide r?
True
Let t(m) = 28*m**2 + 3*m - 1. Let q(v) = 24*v**2 + 2*v - 2. Let o(f) = 6*q(f) - 5*t(f). Suppose -3*r + k = 13, 4*r + 4*k = 3*r + 13. Does 19 divide o(r)?
True
Let f(a) = -a**2 + 28*a - 76. Is 22 a factor of f(10)?
False
Let l(x) = x**3 - 8*x**2 - 9*x + 5. Let h be l(9). Suppose -3*f - h*u = -179 + 3, u - 160 = -3*f. Let a = -35 + f. Does 10 divide a?
False
Let l = 1754 + -946. Is l a multiple of 14?
False
Let v(q) = -q**3 - 32*q**2 - 26*q + 7. Let t be v(-31). Let p = t + 157. Is 9 a factor of p?
True
Let u = 153 + -44. Let o = u - 65. Is o a multiple of 9?
False
Suppose 0 = -14*x + 8535 + 803. Is x a multiple of 23?
True
Let h(g) = g - 7. Let o be h(16). Suppose -48 = 7*y - o*y. Is 24 a factor of y?
True
Does 27 divide 1/(1/(-3) - 1387/(-4104))?
True
Let u(j) = j**2 + 5*j + 2. Let c be u(-5). Suppose -3*p = -5*p + 8. Suppose 0 = p*q - 3*y - y - 12, -29 = -3*q - c*y. Does 7 divide q?
True
Is 14 a factor of ((-42)/(-15) + -2)/(8/1820)?
True
Is 15 a factor of (10/(-3)*-9)/(4/82)?
True
Let z = -67 - -74. Suppose -z*x = -3*x - 704. Is x a multiple of 16?
True
Let n = 41 - 23. Is (-910)/(-45) - 4/n a multiple of 5?
True
Let k = 636 + -547. Does 15 divide k?
False
Let h(q) = -94*q - 22. Does 10 divide h(-2)?
False
Let y be ((-1)/(-2))/((-1)/(-4)). Let r(v) = 5*v**2. Let s be r(y). Suppose -4 = i - s. Is i a multiple of 6?
False
Let m(n) = -1. Let c(z) = 2*z - 8. Let r(k) = -c(k) - 3*m(k). Does 12 divide r(-7)?
False
Let m(y) = -6*y**2 + 9*y + 11. Let a be 4*((-28)/(-16) - 3). Let s(k) = 7*k**2 - 10*k - 12. Let h(g) = a*m(g) - 4*s(g). Does 13 divide h(5)?
False
Is 8/(-2) + ((-3088)/(-4) - 7) a multiple of 70?
False
Let v = -703 - -1004. Is v a multiple of 49?
False
Let z(y) = y**3 - 6*y**2 + 10*y - 6. Let r be z(6). Suppose -21 + r = 3*i. Let w(f) = f**2 - 9*f + 10. Does 16 divide w(i)?
True
Suppose 1462 = -5*l + 7*l. Is 17 a factor of l?
True
Let o = 24 + 72. Is 24 a factor of o?
True
Does 70 divide (1307/(-4))/(4/(-16)) - -3?
False
Suppose -20*n + 1470 = -50. Is n a multiple of 66?
False
Suppose 5*f = 5*o + f - 2528, 5*f + 1018 = 2*o. Let m be o/96 + (-1)/4. Suppose m*j = 3*z + 201, 0 = 5*j - 2*z - 144 - 60. Does 8 divide j?
False
Suppose 8*a - 3*a = -25. Let w be -36*(5/2)/a. Is -1 + w - 27/9 a multiple of 14?
True
Let g(i) = i**2 - 18*i + 38. Is g(-14) a multiple of 6?
True
Suppose 4*i - 842 = 6*i. Let r be i/9 + (-8)/36. Let g = r + 70. Does 6 divide g?
False
Let j(v) = 7*v**3 + 4*v**2 - 4*v + 4. Let n(h) = -h**3 - h**2 + h. Let g(l) = j(l) + 6*n(l). Let r be g(5). Suppose 26 = 5*y - r. Does 8 divide y?
False
Let u = -1425 + 2089. Is u a multiple of 83?
True
Let d = -2557 - -3948. Does 8 divide d?
False
Let j(h) = 11*h**2. Let p be j(2). Let v be 2/(-2)*(-54 - -5). Let r = v + p. Does 31 divide r?
True
Let o = 862 - 38. Does 4 divide o?
True
Let t = 107 - -320. Is t a multiple of 10?
False
Suppose -147*b + 145*b + 460 = 0. Is b a multiple of 5?
True
Suppose y - 2*s - 201 = s, -396 = -2*y + 4*s. Is 16 a factor of y?
True
Suppose -4*x + 35 = x. Suppose 0*z + z = 4, -5*f + 322 = -2*z. Suppose x*r - f = 5*r. Is 21 a factor of r?
False
Suppose 2560 = 27*v - 16880. Is 20 a factor of v?
True
Let x(h) = -148*h + 59. Does 55 divide x(-5)?
False
Let t = 11 + -9. Suppose 4*k = t*m - 162, -3*m = k - 4*k - 237. Suppose m + 51 = 4*u. Is u a multiple of 18?
False
Does 8 divide -2 + 845 + 13 + -16?
True
Let d(a) = a**3 - a**2 - a + 88. Let g be d(0). Let o(x) = x + 34. Let q be o(0). Suppose -2*y + g = q. Is y a multiple of 9?
True
Suppose -3*g - 12 = -4*g. Suppose 3*y + g = 3. Is y*(-3 + (-15 - -2)) a multiple of 12?
True
Suppose 2*h + 20 = k + 172, -229 = -3*h + 2*k. Does 3 divide h?
True
Suppose 23*b - 5928 = 15*b. Is b a multiple of 19?
True
Suppose -6*u - 10*u = 96. Let a(g) = -14*g + 3. Is a(u) a multiple of 28?
False
Let l = -561 + 877. Is l a multiple of 15?
False
Let g(r) = -15*r - 73. Let c be g(-26). Suppose 4*q + 65 = c. Does 21 divide q?
True
Suppose -15 - 3 = -3*l. Suppose 0 = 5*t - 0*t + 2*r - 65, -l = -t + r. Is 4 a factor of t?
False
Let w(g) = g**3 + 18*g**2 + 16*g - 13. Let n be w(-17). Suppose n*x - 5 = 7. Is x a multiple of 3?
True
Suppose 2*q + 24 = 6*q. Suppose -q*w + 10 = -w. Suppose 2*l + 15 = p - 48, 5*p - 283 = w*l. Is 15 a factor of p?
False
Is 6/(-8) + 136752/64 a multiple of 62?
False
Let y = -156 + 93. Let t = 9 - y. Does 17 divide t?
False
Let t = -1227 - -3159. Is t a multiple of 72?
False
Let d be (8/(-20))/(3/(-120)). Suppose -d - 17 = -2*q + m, 2*q - 2*m - 30 = 0. Is q a multiple of 6?
True
Suppose -11 + 27 = -4*s. Let q = 0 + s. Is 11 a factor of ((-99)/q)/(18/48)?
True
Let a(q) = -q**2 + 6*q + 4. Let h be a(0). Suppose 0*g - 4*b - 49 = -g, -5*b = h*g - 196. Does 9 divide g?
False
Suppose 0*z + 4*z + 360 = 0. Is 4/9 - 1940/z a multiple of 5?
False
Suppose -5*m - f - 3*f + 1879 = 0, -5*f - 399 = -m. Does 9 divide m?
False
Let t = 102 - 63. Is 15 a factor of (t - 672)*1/(-3)*1?
False
Suppose -2*a = -6*b + 3*b - 1, 0 = -2*a - b - 11. Let s be a/10 + 18/45. Is 4 a factor of (s - 1)/(2/(-24))?
True
Let x(t) = -2*t - 7. Let p be x(-10). Let d(b) = -b**3 + 12*b**2 + 12*b + 7. Let h be d(p). Let a(m) = m**3 + 8*m**2 + 3*m - 4. Is a(h) a multiple of 14?
False
Let b = 53 + -76. Let g = 0 - b. Is g a multiple of 4?
False
Let p = -19 + 39. Suppose 17*h = p*h + 270. Let z = -47 - h. Does 24 divide z?
False
Let u = -2 - -34. Let f = u - 7. Let t = 39 - f. Is 9 a factor of t?
False
Let g = -1572 + 2976. Does 54 divide g?
True
Let s be -1*(0 + 0 - (-1505)/(-1)). Suppose 9*i - s = 2*i. Is 8 a factor of i?
False
Let f(h) = -5*h - 3. Let j be f(2). Let v = j - 6. Let t = -10 - v. Is t a multiple of 5?
False
Suppose 5*j + 3*y = 1599, -3*y - 3 = -4*y. Is 14 a factor of j?
False
Let k = 347 + -205. Suppose 5*y + 2*b = -2*b + k, -2*y - 3*b = -54. Does 6 divide y?
True
Suppose 9196 = -90*x + 40066. Is x a multiple of 5?
False
Let s(f) = -2*f**3 - 4*f**2 + 23*f + 209. Does 13 divide s(-9)?
False
Let y(m) = -m**3 - m**2 + 4*m + 3. Let j = 10 + -14. Is 5 a factor of y(j)?
True
Let a(c) = -28*c - 13. Let z be a(-5). Suppose -3*g + z = -5*p, -4*g + 3*g + 46 = 2*p. Is 11 a factor of g?
True
Suppose -4*s