a factor of l?
True
Suppose 0 = -0*t + 4*t + 12. Let c be -5*t/30*0. Suppose c = x + 2*x - 54. Is 6 a factor of x?
True
Let u = -164 - -37. Let h = 325 + u. Does 13 divide h?
False
Suppose -13*s + 9*s = -i - 261, 327 = 5*s - 2*i. Is s a multiple of 20?
False
Let y be -35 + 4*(3 - 4). Let b = y + 50. Is b a multiple of 2?
False
Suppose j = 5*k + 22, -10 = -3*j + 4*k - 3*k. Suppose 197 = 3*a - j*s, a - 5*s = 4*a - 232. Is a a multiple of 23?
True
Let w be 8/20 + (-13)/(-5). Suppose 0 = 2*k - 195 - 33. Suppose -w*h = 39 - k. Does 25 divide h?
True
Suppose 3*q = a + a + 19, 2*a - 5 = -5*q. Suppose 0 = 3*r + 12, -4*c + q*r + 386 = 114. Is c a multiple of 13?
True
Let k = 13 + -21. Does 12 divide -7 - k - (1 - 120)?
True
Suppose 73*f + 727 = 7370. Is 13 a factor of f?
True
Let y be -1 - (-12)/9 - (-1150)/6. Suppose m + y = 3*m. Is 32 a factor of m?
True
Suppose -o - 2*t + 32 = -5*t, 0 = 3*o + 5*t - 26. Let u = o + -13. Does 4 divide -2 + u + (2 - -12)?
True
Suppose -2*c = 2 - 22. Is 117/15 - 8/c even?
False
Let d = 17 - 13. Suppose -d*q - 4 = -3*q. Is (-42)/q*8/12 a multiple of 2?
False
Let h(u) = -8*u**3 - 14*u**2 - 9*u + 13. Let k(q) = 7*q**3 + 13*q**2 + 8*q - 12. Let d(l) = 6*h(l) + 7*k(l). Does 6 divide d(-6)?
True
Let d be (-2794)/55 + (-1)/5. Is -5 + 2 - (d - (-2)/(-2)) a multiple of 35?
False
Suppose 10 = 5*g, 0*u + 5*u - 2*g - 6 = 0. Suppose -u*q + 5*q = -36. Let j = q + 30. Does 14 divide j?
False
Let z(h) = -h**3 + 2*h**2 + 30*h - 19. Does 56 divide z(5)?
True
Let d(l) = -9*l + 2. Let g be d(4). Let y = -94 + 154. Let p = g + y. Is p a multiple of 10?
False
Let v(c) = -c + 1. Suppose 2*a + 5*k + 9 = -a, 0 = 5*a + k + 15. Let b be v(a). Suppose -i + b*l + 97 = 2*i, -5*i - 4*l + 215 = 0. Is 13 a factor of i?
True
Let k(p) = -8*p + 7. Let m be k(6). Suppose -3*w + 2*b - 7 = 0, 3*w - 4*b = -14 - 3. Let y = w - m. Is y a multiple of 21?
True
Let x(y) = -343*y**3 + y**2 - 7*y - 7. Is x(-1) a multiple of 15?
False
Let x(q) = -45*q - 259. Is x(-67) a multiple of 106?
True
Let j = -39 - -67. Let m = 22 + j. Is m a multiple of 6?
False
Let p = 302 - 213. Is 2 a factor of p?
False
Does 16 divide (32/(-10))/((-2)/15)?
False
Let s be ((-3)/(-2))/(3/12). Let i = s + -19. Let n = 17 + i. Is 4 a factor of n?
True
Let t = -3 + 15. Suppose t*x - 9*x = 141. Is 10 a factor of x?
False
Suppose -11*u + 16*u - 5 = 0. Let x(k) = -u + 0*k + 6 + 2*k + 8. Does 8 divide x(6)?
False
Let l = -17 - -20. Suppose -5*x + 8 + 8 = -l*s, -5*x + 19 = -2*s. Suppose s - 18 = -3*i. Is 5 a factor of i?
True
Suppose -5*g = -65 + 65. Suppose g = -n - 4*k + 164, 0 = -3*n - n - 2*k + 712. Is n a multiple of 15?
True
Let r(i) = -6*i**3 - 8*i**2 - 122*i - 12. Is r(-7) a multiple of 30?
False
Let g(o) = o**3 - 20*o**2 + 8*o - 28. Let t(q) = -1. Let a(x) = -g(x) - t(x). Does 40 divide a(19)?
False
Let i(z) = z**2 + 4*z. Let k be i(-5). Suppose 3*r + 4*l + l - 363 = 0, -r + 141 = -k*l. Is 33 a factor of r?
False
Suppose -602*i = -585*i - 11050. Does 26 divide i?
True
Let f be 1/(-2) + (-219)/(-2). Let x = f - -12. Is 36 a factor of x?
False
Let c(w) = w**3 + 6*w**2 + 7*w. Let y be c(-4). Is 5 a factor of 1/((-4)/(-120)) - y?
False
Let g be 112/(-12) + 3/9. Does 12 divide (1 - (-12)/g) + 398/6?
False
Let i(c) = -c**3 + 6*c**2. Let g be i(6). Suppose g = 2*q - 3*q. Does 6 divide 2/((-1)/(-9) + q)?
True
Let g = 8612 - 4874. Is g a multiple of 21?
True
Let g = 9 - 6. Does 26 divide (-6 + 5)/(0 + g/(-717))?
False
Let m = 132 + -73. Let q = m - 32. Is q a multiple of 27?
True
Suppose -10*t - 4*y + 246 = -9*t, -2*t + 466 = -5*y. Is t a multiple of 26?
False
Let s(l) = -113*l + 8. Does 5 divide s(-1)?
False
Let l = -67 + 114. Suppose 4*k = -12, 4*o + 53 - 14 = -k. Let b = o + l. Is b a multiple of 13?
False
Let w = -1820 + 3521. Is w a multiple of 82?
False
Suppose -16*c = -11*c - 3200. Does 16 divide c?
True
Let a be (-70)/(-21)*(-36)/10. Let w = -8 - a. Suppose 0 = w*d - 12 - 72. Is 7 a factor of d?
True
Let v be 4*(-38)/(-8)*1. Suppose 3*n = -2*b - 4 + v, -n + 5 = -2*b. Suppose b = g - 5*g + 12. Does 3 divide g?
True
Suppose 6*l - 624 = 4*l. Does 52 divide l?
True
Let j(u) = 4*u**3 - 6*u**2 - 7*u + 10. Does 11 divide j(4)?
False
Let f(z) = -2*z - 25. Let y be f(-14). Suppose -4*i + y*m + 232 = 0, -5*i - 5*m = -350 + 25. Let n = i + -19. Is n a multiple of 14?
True
Let v(d) = 8 + 12*d + 0*d - 4. Let z = 0 + 3. Is 8 a factor of v(z)?
True
Let g(z) = 29*z**3 - z**2 - 14*z + 25. Does 15 divide g(5)?
True
Let r(u) be the second derivative of 0 - 1/2*u**3 + 7/2*u**2 + 5/12*u**4 - 4*u. Is 43 a factor of r(3)?
True
Let h(s) = -405*s + 417*s + 10 + 8*s**2 + 5*s**2 + s**3. Is h(-11) a multiple of 40?
True
Let w(t) = 16*t**2 + 29*t - 97. Does 20 divide w(6)?
False
Suppose 0 = -4*y + 4*p - 172, 0 = 3*p - p. Let m = 33 - y. Does 21 divide m?
False
Suppose 43 = -2*d - 3*t, 9*t = 2*d + 4*t + 19. Let q be (-4)/10 + 37/5. Let f = q - d. Does 12 divide f?
True
Let l(h) = -h**2 - h + 11. Let n be 0/((-14 - -2)/4). Let i be l(n). Does 10 divide 8/44 + 218/i?
True
Let d(b) = -2*b - 2. Let k be d(-4). Let o(s) = -s + 6. Let h be o(k). Let x = h + 23. Does 19 divide x?
False
Suppose 15*t + 135 = 18*t. Suppose 5*c - t = n, -c + 4*n = c - 36. Is c a multiple of 2?
True
Suppose -7 = -5*l + 33. Let x(j) = -j**3 + 9*j**2 - 8*j + 5. Let y be x(l). Suppose 0 = 5*c + n - 215, c - 3*c - y*n + 109 = 0. Is c a multiple of 14?
True
Suppose 4*n - 1648 = -3*z, -2*n + 824 = 6*z - z. Is 4 a factor of n?
True
Let v be (-1)/(-7) - 27/(-7). Suppose -v*i = 8, -i - i + 276 = 5*r. Is r a multiple of 6?
False
Let w(y) = -y**2 + 8*y - 2. Let r = -23 - -34. Suppose 0 = 6*p - r - 7. Does 4 divide w(p)?
False
Let q be 18/(-45) - (-12)/5. Let y = q - -1. Suppose y*u = 44 - 2. Does 7 divide u?
True
Suppose 2*d + 181 = 55. Does 14 divide ((-4)/(-3))/((-1)/d)?
True
Let v = 0 + 0. Does 2 divide -2 + v - (-5 + -7)?
True
Suppose 2*t - m = -t + 12, 5*m = -15. Let x = 19 + -13. Suppose -t*l = -x*l + 18. Is 2 a factor of l?
True
Suppose 2*z - 3*q + 7 = z, 4*z - 11 = -q. Suppose z*d - 21 = 11. Let m = d - -6. Is m a multiple of 22?
True
Let l(i) = 3*i**2 + 78*i + 15. Is l(-27) a multiple of 24?
True
Let j(g) = 3*g**3 - 2*g**2 - 2*g - 19. Let x(k) = -13*k**3 + 9*k**2 + 7*k + 76. Let y(i) = -9*j(i) - 2*x(i). Is 19 a factor of y(0)?
True
Suppose 5*g + 5*r = 500, -5*g + 4*r + 360 = -g. Suppose 0 = -3*x - 0*x + 6, -8 = -4*f + 4*x. Suppose 9*z - f*z = g. Is 10 a factor of z?
False
Suppose 0 = 3*p + 5*k + 61 + 36, 0 = -5*k - 25. Suppose 5*w + 4 = 3*y, -y = 4*w - 1 - 6. Is 11 a factor of y/(-2 + -1) - p?
False
Suppose g + 5*r = -6, -2 = 2*g + r + 4*r. Let p = -1 - -4. Suppose 0 = -5*d + d + g*w + 68, -d - p = -5*w. Is d a multiple of 22?
True
Suppose 547*i = 558*i - 4741. Is 47 a factor of i?
False
Suppose -5*j + y - 8 = -3*y, -y = -5*j - 2. Let s be (5 - 3)/(12/18). Suppose i - 18 - s = j. Is 7 a factor of i?
True
Suppose 247*h = 239*h + 4984. Is 81 a factor of h?
False
Let h(c) = c**2 - 5*c - 12. Let m(j) = j**3 + 6*j**2 - 10*j - 10. Let t be m(-7). Suppose -2*i + 29 = t. Is h(i) a multiple of 12?
True
Let x = -1397 + 2055. Does 47 divide x?
True
Let m = 1444 + -1391. Is m a multiple of 53?
True
Suppose -f = 36 + 22. Let r = 29 + f. Does 16 divide (-3)/3*(r + -2)?
False
Suppose 5*r - 5*c = 185, -2*r + 4*r = -3*c + 99. Is ((-172)/(-7) - 0)/(r/147) a multiple of 28?
False
Let g(x) = -8*x**3 - 2*x - 2. Let d be g(-1). Let k be d/(-36) - (-652)/18. Suppose 2*q + 0*q - k = 0. Does 3 divide q?
True
Let s = -24 + 30. Is 33 a factor of ((-18)/15)/(s/(-165))?
True
Suppose 3 = k + 2*k + i, -3*k = -2*i - 12. Let n(o) = 3*o**2 - 4*o + 2. Let w be n(k). Is 6 a factor of (w/(-8))/((-9)/72)?
True
Suppose -p - 4 = 0, 5*u + 2*p - 75 = -8. Suppose -a + 8 = 3*y, 2*a - y - 4 = 5. Let x = a + u. Is 14 a factor of x?
False
Let y = 369 + -319. Does 7 divide y?
False
Let p(f) = -39*f - 145. Does 18 divide p(-11)?
False
Suppose -5*x - 998 = -3*l, 0 = 2*l + x + 3*x - 658. Is 52 a factor of l?
False
Let l(t) be the third derivative of t**7/1260 - t**6/180 - 7*t**5/60 - 4*t**2. Let r(s) be the third derivative of l(s). Is r(6) a multiple of 13?
False
Suppose -8*i = -12*i + 8. Suppose i*l - 12 = -l. Suppose 5*x - 148 = n - 0*n, -5*x - l*n = -133. Is 15 a factor of x?
False
Suppose 54