or of g?
True
Let t(g) = -16*g - 303. Does 19 divide t(-51)?
True
Suppose 26*y - 24*y - 4 = 0. Is 2 + 1 + y/(6/465) a multiple of 12?
False
Let k = 376 + -156. Does 44 divide k?
True
Suppose -17*o = -3246 - 2500. Is 76 a factor of o?
False
Suppose 17*o = 35*o - 14256. Does 39 divide o?
False
Suppose 0 = -5*d + 15 + 10. Suppose d*p + 24 = 7*p. Does 3 divide p?
True
Suppose -31*n = -25*n - 60. Suppose 8*k - n*k + 404 = 0. Does 35 divide k?
False
Let y(l) = 7*l - 2. Let b be y(10). Suppose u - 2*w = b, -u + 131 = u + w. Suppose 3*t - u = 96. Is 9 a factor of t?
True
Let k = 113 - 80. Suppose -3*a + 24 = -2*g - 51, -2*g + k = a. Is a a multiple of 27?
True
Suppose -32*s + 231 = -25*s. Does 33 divide s?
True
Suppose -467 - 133 = -12*j. Suppose -p + l = -4*p + 20, 5*l - j = -5*p. Does 5 divide p?
True
Suppose -5*g = 2*h - 1635, h - 37 = 4*g - 1358. Let i = g - 223. Is i a multiple of 17?
False
Let g(b) = b**2 + 25*b + 46. Is 12 a factor of g(-30)?
False
Let s be (-6 - 25/(-5))/((-2)/(-6)). Is (-331)/s + 5/(-4 - 11) a multiple of 22?
True
Suppose -3*u - 813 = -6*s + 2*s, 2*s + 5*u - 413 = 0. Is 12 a factor of s?
True
Let w(c) = 2*c - 2. Let k be w(4). Let m(d) = -3*d + 9. Let l be m(-4). Does 7 divide (-4)/k + 161/l?
True
Let i(s) = s**3 + 17*s**2 + 22*s + 33. Let u be i(-16). Let a = u - -103. Does 8 divide a?
True
Let a = -19 - -23. Suppose -13 = -b - 2*h, 4*b + a*h - 103 = -31. Does 12 divide b?
False
Let z = 24 + -27. Suppose 0*c - 16 = 4*c. Is 16 a factor of 24*(8/z)/c?
True
Suppose -3*s + 9 = -9. Let v(m) = -m**3 + 6*m**2 + 2*m - 3. Does 5 divide v(s)?
False
Suppose -n - 3 = -1. Let l be 1 + (n - -3 - -1). Suppose -25 = -5*c - 0*c, -4*c = l*w - 32. Is 4 a factor of w?
True
Let q be (-11 - 11)/((-1)/1). Suppose 0*y = -y - q. Is 8 a factor of y/(-1) + 0/1?
False
Suppose 4*w - 16 = -4*l, 3*l = -4*w + 2 + 10. Suppose 6 = -f + l*r + 2, f = -5*r + 23. Does 4 divide f?
True
Suppose 0 = -3*x - 104 - 13. Let j = x - -27. Does 8 divide 4*7*j/(-8)?
False
Suppose 2*g + c = -25, -2*c - 30 = 3*g + 2*c. Is 16 a factor of 110/3*(-21)/g?
False
Let y(k) = -2*k**3 - 2*k**2 - 5*k - 1. Is 2 a factor of y(-3)?
True
Suppose -4*t + 0*t = 3*x - 2186, -1469 = -2*x - 5*t. Does 21 divide x?
False
Let o(c) = -c**2 - 12 + 70*c - 38*c - 49*c. Does 10 divide o(-14)?
True
Suppose 199 = -3*z + 1012. Suppose 5*k = h - 41 - 30, -5*h + z = -4*k. Is h a multiple of 8?
False
Let y(a) = 6*a - 1. Let k be 0 + -1 - -4 - 2. Let t be y(k). Suppose -t*q - 3*l = -53, -2*l = 3*q + 2 - 34. Is 8 a factor of q?
False
Let k(c) = -c**2 + 6*c + 38. Let u be k(7). Let l be 724/14 - (-2)/7. Let i = l - u. Is i a multiple of 8?
False
Let w = 3 + -3. Suppose w*i = -i + 81. Does 22 divide i?
False
Let o be 3 + -4 - 2 - -5. Let f = 22 + o. Is 8 a factor of f?
True
Does 36 divide (1404/14)/(1/14*3)?
True
Let a be 64/(-3) - (-2)/(-3). Let j(f) = 13*f - 15. Let g be j(3). Let v = g + a. Is v even?
True
Let s = 410 + -129. Is 32 a factor of s?
False
Let k = 140 + -280. Suppose -15*w + 197 = -16*w. Let a = k - w. Is a a multiple of 20?
False
Let n = 214 + 93. Is n a multiple of 12?
False
Suppose 0 = -5*o + 794 + 2716. Is o a multiple of 27?
True
Let u = 1461 + -464. Is u a multiple of 11?
False
Let v = -104 - -132. Suppose 0 = -4*x + 2*x + 68. Suppose 2*k - x = v. Is 15 a factor of k?
False
Suppose 3*g - 28 = -4*g. Suppose 5*n - 4*j = 102, -6 - 6 = g*j. Is n a multiple of 9?
True
Let n = 67 - 59. Is n even?
True
Let d = 215 - 128. Let c = 142 - d. Let j = c - 13. Does 20 divide j?
False
Let j(q) = -q - 9. Let k be j(-15). Is 5 a factor of 0/2 + k + 3?
False
Suppose 2*c = 4*f + 36, -27 = c - 3*c - 5*f. Let l(k) = -4 + 478*k**3 - 16*k**2 - 477*k**3 - 10 + k. Is 2 a factor of l(c)?
True
Let v(j) = 6*j**2 - 4*j - 10. Does 5 divide v(-2)?
False
Does 16 divide 16/((-32)/21)*256/(-6)?
True
Suppose 137 = 2*h + 5*p, 3*h - 214 = 9*p - 8*p. Let g = 33 + h. Is g a multiple of 26?
True
Let r be 8/(-12)*(-1 - 5/1). Suppose 111 = r*q + 5*h, h - 5*h + 60 = 2*q. Does 6 divide q?
True
Suppose 0 = x + 4*z - 958, -3866 = -4*x + 15*z - 14*z. Is x a multiple of 23?
True
Let h(x) = -x**2 - 6*x + 519. Is 28 a factor of h(0)?
False
Let k be 36/(-270) + 1213/(-15). Let f = 135 + k. Is f a multiple of 13?
False
Is 20 a factor of 1093 + (8/(-2) - -11)?
True
Is (-2)/2 - -1194 - (-5 - -12) a multiple of 79?
False
Let l = -12 + 16. Let b = l - 1. Suppose 4*u + 4*n - 117 = b*n, 0 = -u - 5*n + 53. Does 28 divide u?
True
Suppose -92 + 2002 = 3*g + 2*s, -4*g - 5*s = -2542. Does 29 divide g?
True
Let t be (-6)/9 - 4/(-6). Suppose 0 = -7*p + 607 + 478. Suppose p = 5*i - t*i. Is i a multiple of 9?
False
Is 37 a factor of (-6987)/(-21) + 4/14?
True
Suppose 0 = 4*c + 2*n - 178, 0 = 2*c - c - n - 43. Suppose -2*d - 4*o - 2 = 8, -5*o = 25. Suppose 0 = -4*g + 2*p + c, -p - p = -d*g + 54. Does 4 divide g?
False
Let z(x) = -x - 1 + 42*x**2 + 2 + 42*x**2 + 15*x**2. Let n be z(-2). Does 17 divide (-2)/(-8) + n/4?
False
Suppose 11*r + 16 = 13*r. Suppose q + r + 0 = 0. Does 7 divide 170/8 - (-2)/q?
True
Let a(n) = n**3 - n**2 + n - 2. Let f(w) = 4*w**3 - 3*w**2 + 3*w - 9. Let g(r) = 22*a(r) - 6*f(r). Is 28 a factor of g(-5)?
True
Suppose 0 = -2*t - 2*t + 16. Suppose -k = -3*w - t*k + 960, -5*w + 3*k = -1560. Does 45 divide w?
True
Let z = 41 + 49. Is z a multiple of 30?
True
Let t = 14 - -196. Does 14 divide t?
True
Suppose 14 = 5*q - 3*q. Let s = 260 - 90. Suppose 0 = q*y - 2*y - s. Does 17 divide y?
True
Suppose 4*v = -v + 60. Suppose -18 - v = -3*r. Suppose -r*t + 126 = -7*t. Does 14 divide t?
True
Suppose 0 = -4*a + 5*a. Let g = 1 + 35. Suppose -2*x + g + 4 = a. Is 5 a factor of x?
True
Let d = -10 - -10. Suppose n + 3*q - 6 = 0, -2*q + d*q = 2*n - 4. Suppose -3*t = -n*t + 2*k - 24, -5*t = -k - 40. Is 8 a factor of t?
True
Let x be (4/5)/(6/45). Suppose -23*u = -22*u - x. Is u a multiple of 5?
False
Let u = 5 + -2. Does 4 divide 30/20*46/u?
False
Let b(q) = -q**2 + 26*q + 100. Is b(29) a multiple of 8?
False
Let x(i) = -125*i + 45. Is 20 a factor of x(-7)?
True
Let l(v) = -v**2 + 5*v + 16. Let x be l(7). Suppose -2*f - 3*f + 216 = x*s, -3*f + 129 = s. Is 6 a factor of f?
True
Is 27 a factor of 702*-8*(-6)/96?
True
Let p(h) = 11*h + 60. Let t(v) = 45*v + 241. Let y(k) = 9*p(k) - 2*t(k). Is y(10) a multiple of 13?
False
Suppose 2*x = 9*x - 14658. Does 42 divide x?
False
Let r = 333 + -197. Is 34 a factor of r?
True
Suppose 4*g = 0, -x + g - 36 = x. Let h = 14 + x. Does 6 divide 3/h*(-33 + -7)?
True
Let c be (156/(-91))/((-2)/14). Let a be 217/4 + (-3)/c. Suppose 2*q + a = 5*q. Does 6 divide q?
True
Let a = -242 + 347. Suppose 5*w - a - 84 = -i, 0 = w + 4*i - 34. Is 21 a factor of w?
False
Let i be (8 + -9)*1/(-1). Let j(b) = 37*b - 1. Is 36 a factor of j(i)?
True
Suppose -10 = 3*l - 8*l. Suppose -2*m = n + 2*m - 36, 4*m - 60 = -l*n. Is 3 a factor of n?
True
Does 2 divide 55/(15/(-2) + 10)?
True
Let c = -81 + 396. Is c a multiple of 15?
True
Let i = 1513 + -806. Is 58 a factor of i?
False
Let j(s) = 3*s + 12. Let n be 1 + (-228)/(-20) + (-2)/5. Does 12 divide j(n)?
True
Suppose -4*x + 222 = 3*w, -w - 4*w = 3*x - 172. Suppose 36 = -52*k + x*k. Is 5 a factor of k?
False
Let u(t) = t**3 + 28*t**2 + 30*t - 97. Is 34 a factor of u(-24)?
False
Let a = -1930 - -4964. Is 28 a factor of a?
False
Let j(x) = x**2 + 5*x - 6. Let g be j(0). Is 8 a factor of 24*g/27*(-4 - -1)?
True
Suppose -20*q = -25*q + 1530. Does 8 divide q?
False
Let c = 15 - -43. Suppose -3*l + c = -47. Suppose -3*g - l = -4*g. Does 11 divide g?
False
Let z(l) = -l**2 + 6*l + 14. Let u be z(8). Is (0 - u - -4)/((-20)/(-760)) a multiple of 19?
True
Suppose -2*u - 13 = -4*u + 3*t, -5*u + 16 = -2*t. Suppose -3*l = -u*l. Suppose -4*r + 6*r - 98 = l. Is 16 a factor of r?
False
Let p(t) = -4*t**3 - t**3 - t**3 - 5 - 3*t. Let h be p(-2). Suppose 3*n = -5*v + 2 + 48, -3*n - 4*v + h = 0. Is 3 a factor of n?
True
Let c(f) = 1 - 6*f**2 - 3*f**2 - 17*f**3 + 8*f**2. Suppose -6*p + 5*p - 1 = 0. Is 11 a factor of c(p)?
False
Let d = -123 + 85. Suppose 0 = 4*c - 24 + 84. Let k = c - d. Is k a multiple of 6?
False
Let x = 1 + 2. Suppose 4*r + z - 66 = 87, 5*r - 187 = x*z. Suppose 4*p = 30 + r. Is 6 a factor of p?
False
Let r = -6 - -22. Let m = r + -1. Suppose -3*i + m = 3*w, 4*w - 38 = i + i. Is 8 a factor 