= 2*g. Does 2 divide g?
False
Let n = 121 + -108. Is 15*(n - (1 - 0)) a multiple of 15?
True
Suppose -2*y - 5*p + 45 = 113, 3*y + 102 = 4*p. Is y/(-255) + (-673)/(-15) a multiple of 11?
False
Suppose l - p = 2*p - 14, -5*p + 29 = -2*l. Let n = l + 10. Let h = n + 28. Is 7 a factor of h?
True
Suppose -2*f = -4*o - 4*f + 410, -207 = -2*o + f. Is 6 a factor of o?
False
Let o = 13 - 13. Suppose 34*b - 39*b + 120 = o. Is b a multiple of 12?
True
Let u be (8/(-2) - -6) + 37. Let y = -31 + u. Is 7 a factor of y?
False
Let x be (-1)/(4/(-24)*3). Does 37 divide (-74)/(-6)*(x + 1)?
True
Let u(v) = v**2 - 4*v - 7. Let z be u(-2). Suppose -15*j + z*j + 900 = 0. Does 15 divide j?
True
Let p = 8 - 3. Suppose -3*x = -p*d - 5*x + 412, d = 3*x + 79. Suppose -4*f + 154 = -d. Does 17 divide f?
False
Suppose 2*p + 3*a - 738 = 0, -4*a - 1124 = 2*p - 5*p. Does 17 divide p?
False
Let d be 6/(-4)*16/(-12). Suppose -z + 64 + 125 = d*p, -2*p - 4*z = -204. Does 23 divide p?
True
Does 6 divide 11 + -10 + 1 + 4?
True
Let j be (-26)/(-8) + (-1)/4. Suppose j*x - 6 = 2*x. Suppose -144 = -5*s + x*y - 4*y, 0 = 3*s + y - 82. Is s a multiple of 7?
True
Let k(m) = -4*m - 27. Let s be k(-7). Does 12 divide (-1246)/(-35) + 6/(-10) + s?
True
Suppose 38 + 90 = o + q, o + 4*q = 137. Suppose 11 = -4*w + 5*l - 4, -w - 15 = -5*l. Suppose -b + w*b = 4*v - 115, -4*v + o = -b. Is 12 a factor of v?
False
Suppose -3 = s + 27. Let a = -27 - s. Is 4 a factor of (a/(-9))/(2/(-102))?
False
Suppose -3*w - 7*v + 165 = -6*v, 0 = -2*w + v + 115. Is 20 a factor of (2/1 + -4)/(w/(-7028))?
False
Let x(n) = 0*n**2 + n**2 - 5*n - 12 + 1. Does 19 divide x(11)?
False
Suppose 18 = 3*y + 3*x, 2*x + 3*x + 25 = 0. Suppose 71 = -5*u + y. Let r(p) = -2*p - 11. Is 13 a factor of r(u)?
True
Let j(c) = c - 7. Let b be j(14). Suppose -b*s + 12 = -5*s. Let a(f) = f**3 - 6*f**2 + 5*f - 3. Is 9 a factor of a(s)?
True
Suppose -4*y + 16 = 0, -13 = 2*r - 4*y + 9. Let b be (-3 - (r - 26)) + 4. Is 14 a factor of 42/8*400/b?
True
Let a(u) = u**3 - 5*u**2 - 2*u + 11. Let d be a(5). Let z = 14 + d. Is 5 a factor of z?
True
Let o be 15/3 - (7 + -7). Suppose o*z - 340 = 2*f, 0 = -2*z + 3*f + 38 + 87. Is z a multiple of 12?
False
Let j = 693 - 667. Does 13 divide j?
True
Let n(y) = -y**3 - y**2 - y + 12. Let f be n(0). Let a = f + 11. Is 3 a factor of a?
False
Let r(t) = -2*t**3 - 12*t**2 + 2*t + 24. Is 4 a factor of r(-7)?
True
Let o = -5405 - -10022. Does 13 divide o?
False
Suppose -9*c = -6*c. Suppose -r = -c - 5. Suppose 0*p - r*j = -2*p - 4, 4*j = -2*p + 32. Is 8 a factor of p?
True
Suppose -12323 = -4*d - s - 2550, -5*d = -2*s - 12200. Does 66 divide d?
True
Suppose 8 = -2*i, 4*i = u + 95 - 4. Let w = u + 185. Is 13 a factor of w?
True
Suppose 61*v = -49*v + 405020. Is v a multiple of 84?
False
Suppose -1736 = 4*b - 18*b. Does 4 divide b?
True
Let t be (-58)/(-8) - 1/4. Is (-15)/5*t/(-1) a multiple of 10?
False
Let m = 233 - 81. Is m a multiple of 38?
True
Let w(i) = 48*i - 22. Let k be w(8). Suppose 548 + k = 5*r. Is r a multiple of 26?
True
Let o be ((-9)/4)/((-14)/336). Suppose -7*y = -6*y - o. Is y a multiple of 18?
True
Let h be (-4)/(-6) + (-4)/6. Suppose h = 4*u - 2*u - 2*a - 62, 0 = -u + 5*a + 51. Does 7 divide u?
False
Let x = -142 - -91. Let f be 6/(-27) + 630/(-81). Is 12/f + x/(-6) a multiple of 3?
False
Suppose -4*a = 16, v - 3*a + 21 + 61 = 0. Let m = 250 + v. Does 26 divide m?
True
Is 35 a factor of 2*843/24 + 6/(-24)?
True
Let u(n) be the second derivative of n**5/20 + n**4/2 - 7*n**3/6 + 5*n**2 - n. Suppose 0 = -9*x - 16 - 47. Is 4 a factor of u(x)?
False
Suppose -4*f - 3*x = -403, -4*f - 2*x + 404 = 2*x. Let v = 160 + f. Suppose 12*p - v = 7*p. Is 32 a factor of p?
False
Let b = 40 + 17. Does 4 divide b?
False
Let s(o) = 46*o**2 + o - 1. Let d be ((-1 - -3) + -1)/1. Let r be s(d). Suppose 2*w + f - 3*f - r = 0, 2*w - 56 = 4*f. Is 9 a factor of w?
True
Let j(i) = 3*i + 8. Let u be j(-7). Let z = u - -5. Is (-90)/2*z/10 a multiple of 6?
True
Suppose 4*k - 65 = -4*s + 19, 0 = -5*s - k + 117. Let x be (-4)/22 + (258/11)/(-3). Does 4 divide s/9*(-18)/x?
False
Suppose -4*k - 481 = 555. Let s = k + 398. Suppose -48 - 126 = -5*z - 4*b, 0 = -4*z - 3*b + s. Does 17 divide z?
True
Is ((-24876)/24)/(5/2)*-5 a multiple of 64?
False
Let d = -278 - -192. Let s = d - 52. Let f = s + 215. Is f a multiple of 12?
False
Suppose 0*c = 4*c - 12. Suppose 37*d - 60*d = 345. Does 14 divide c/d + 816/30?
False
Let r be (2 + 3)*(-9)/90*4. Let w(f) be the second derivative of -2*f**3/3 + f**2 + f. Is 8 a factor of w(r)?
False
Suppose -2*i + 6*i = 0. Suppose 2*a - 2*y - 106 = i, 0*y - 285 = -5*a + y. Does 19 divide a?
False
Let l(v) = 30*v**2 - 5*v + 14. Is l(-6) a multiple of 13?
False
Let p(r) = r - 3. Suppose -4 = -2*a + 3*d, -2*a - 4*d + 29 = 11. Let y be p(a). Suppose 24 = y*l + 4*u, l - 7 - 8 = -5*u. Is 5 a factor of l?
True
Let s = -57 - -57. Suppose s = 5*m - 52 - 408. Is m a multiple of 11?
False
Let p(d) = 4 + 17 + d**2 - 11 + 8*d + 19. Does 17 divide p(15)?
True
Let c = -5 - -5. Suppose 5*y - v - 955 = 0, c = 3*v - 5*v - 10. Is y a multiple of 24?
False
Let m(j) = j**3 - 10*j**2 - 19*j + 16. Is m(12) a multiple of 38?
True
Let d = -44 - -31. Let y(b) = 2*b**2 + 16*b + 55. Is y(d) a multiple of 37?
True
Suppose s = 7*s. Suppose -5*y = 3*n - 544 - 57, 4*y - 3*n - 470 = s. Is y a multiple of 24?
False
Let r(b) = -21*b + 9. Is 41 a factor of r(-11)?
False
Suppose -m = k - 509, 34*m - 4 = 36*m. Is 73 a factor of k?
True
Suppose -9*q + 13*q + 60 = 0. Is 4 a factor of (-6)/15 + -393*2/q?
True
Let s(f) be the second derivative of -9*f**5/20 - f**4/4 - f**3/2 - f**2/2 + 3*f. Is s(-1) a multiple of 4?
True
Let m(l) = -l**3 + 3*l**2 - 3*l + 3. Let b be m(3). Let t = 9 + b. Suppose 11 = -3*v + 26, 5*k + t*v = 195. Does 10 divide k?
False
Suppose -18 = -5*v + 3*v. Let k(n) = -n**3 + 8*n**2 + 9*n + 7. Is 2 a factor of k(v)?
False
Let h(i) = -i - 9. Let f be h(9). Let o = 26 - f. Does 11 divide o?
True
Suppose 4*a - 8 = 0, 2*a - 772 = -245*n + 243*n. Is 32 a factor of n?
True
Let x(b) = b**3 + 0*b**2 - 8*b**2 + 3*b**2 + 3 - 5*b**2 + 16*b. Is x(9) a multiple of 10?
False
Let q = 29 - 19. Suppose 0 = -q*k + 15*k - 115. Is 21 a factor of k?
False
Suppose 4048 = 4*n - g, 3*n - 5075 = -2*n + 5*g. Suppose -5*z + 1410 = d, -4*z + 3*d + 136 = -n. Is 13 a factor of z?
False
Suppose -2257 = -2*j - 0*j + x, 0 = 3*j + 2*x - 3403. Is 13 a factor of j?
True
Suppose 2*n - 5 + 1 = 0. Suppose -3*j = n*j, -2*a + 5*j = 96. Let z = 102 + a. Does 14 divide z?
False
Suppose -g = 2*a - 114, -4*g + 2*a - a + 483 = 0. Is 24 a factor of g?
True
Suppose -2584 = -5*z + 7036. Is 74 a factor of z?
True
Let x = -59 - -23. Is x*(2/3 - 96/18) a multiple of 7?
True
Suppose 0*z = -5*z + 2*v + 5300, z + v = 1053. Suppose 413 - z = -5*t. Is 34 a factor of t?
False
Let i(r) = -r - 1. Let h(t) = 3*t + 4. Let c be h(-3). Let n(m) = -13*m - 12. Let y(x) = c*i(x) + n(x). Does 9 divide y(-6)?
False
Suppose 3*w + 1 = 2*v - v, 4 = 5*w + 4*v. Is (-3)/1 + w + 57 a multiple of 8?
False
Let f be 206/14 + (-12)/(-42). Suppose -5*k + 5 = f. Is 6 a factor of k*(45/(-6) + -2)?
False
Let x = -23 - -26. Suppose -4*n + 95 = x*q + n, -4*q + 125 = 5*n. Is 7 a factor of q?
False
Let t = -468 + 1343. Does 7 divide t?
True
Is 2554/3 + (60/(-18))/10 a multiple of 39?
False
Let k = 42 + -54. Does 62 divide 4/(-2) - 3468/k?
False
Suppose -11*j = -26*j + 6855. Is j a multiple of 40?
False
Let m(q) = q - 6. Let r be m(8). Suppose 2*j - 7*j - 15 = -3*t, 4*t + r*j - 20 = 0. Let b(z) = -z**2 + 5*z + 5. Is b(t) even?
False
Let j(v) = -38*v + 37. Is 14 a factor of j(-8)?
False
Suppose 6*l - 114 = 3*l. Is 3 a factor of l?
False
Let m = -1 - -5. Suppose -4*d + 2*d + 2*i = -68, 0 = m*d - i - 121. Is 29 a factor of d?
True
Is 8368/112 + 2/7 a multiple of 5?
True
Does 41 divide 52/16*63 - (-2)/8?
True
Let l(y) = y**3 + 43*y**2 - 45*y + 43. Is l(-44) even?
False
Is 64 a factor of (14/(-6) - -1)/(5/(-2640))?
True
Let k = 1534 - 559. Is k a multiple of 48?
False
Let z(y) = 2*y - 33. Let r be z(18). Let k(i) be the third derivative of i**6/120 - i**5/30 + i**4/24 - 2*i**3/3 - 2*i**2. Does 8 divide k(r)?
True
Let f = 23 - 20. Suppose -p = -b - 39, -f*b - 172 = -4*p - 15. Suppose 0 = 6*r - p - 20. Does 9 divide r?
