ivide g?
True
Let w = 4 - 0. Suppose 2*i = -w*x + 12, 2*x + 6*i - 6 = 3*i. Suppose x*z = 4*v - 177, 2*z - 182 = 2*v - 6*v. Does 15 divide v?
True
Is 2 a factor of 420/195 + -2 + (-5874)/(-13)?
True
Let b(z) = -2218*z**3 + 4*z + 5. Is 24 a factor of b(-1)?
False
Let f(w) = w**2 + 4*w + 7. Does 20 divide f(-27)?
False
Let k(y) be the first derivative of y**5/6 + y**4/24 - 2*y**3/3 + 2*y**2 + 2. Let m(h) be the second derivative of k(h). Is 19 a factor of m(2)?
True
Suppose -b - 22 = -2*b. Suppose -4*g = b - 94. Is 6 a factor of g?
True
Let p(n) = -n - 3. Let h be p(-2). Does 22 divide (2 - (70 + 3))*h?
False
Let p(h) = 7*h**3 - h**2. Let x be p(1). Let n be (-1 - -6)/((-2)/x). Let t = n + 51. Does 12 divide t?
True
Let y(s) = -58 + 52 - 32*s + 8*s. Is y(-2) a multiple of 14?
True
Let w = 1426 - 646. Is 6 a factor of w?
True
Let i(x) = 3*x - 15. Let g be i(6). Suppose -3*r = g*n - 381, -2*n + r + 263 = 6*r. Does 27 divide n?
False
Suppose 2*k - 5*y = 240, k - 5*k + 2*y = -512. Is 26 a factor of k?
True
Let y = 17 + -15. Suppose y*v + 8 - 2 = 0. Does 6 divide (-3 - v) + 25 - 1?
True
Does 97 divide (15934/62)/(2/14)?
False
Suppose 3*b + 16304 = 5*r, -r + 6*r + 5*b - 16280 = 0. Is r a multiple of 41?
False
Let n(p) = 4*p + 17. Let a(g) = -3*g - 18. Let h(i) = -5*a(i) - 6*n(i). Does 19 divide h(-10)?
False
Let o(x) = 0*x + 0*x**3 + 0*x**3 + 2*x**3 + 3*x - 3*x**2. Let y be o(3). Suppose -2*p + 3*z + y = 0, -2 = -2*z + 3*z. Does 5 divide p?
True
Suppose -3 = -3*d, 5*l + 2*d = -0*d + 4962. Suppose -7*j - 173 = -l. Suppose -2*s + j = s. Does 15 divide s?
False
Suppose w - 5*a = 7, 0 = 2*w - 0*w - a - 5. Suppose 12 = 4*h + w*l, 3*h - l + 0*l - 9 = 0. Is (h - -1)*28/8 even?
True
Let q(p) = p**3 + 17*p**2 - 27*p - 21. Suppose 2*z - h + 35 = 0, -4*z - 61 = -4*h + 7. Is q(z) a multiple of 19?
False
Let f = 139 - 130. Suppose f*r - 541 = 1403. Does 54 divide r?
True
Suppose -4*u = 2*l - 20, -l - 2*u + 6 = -2*l. Let x = l - -1. Suppose p = x*s - 76, 9 - 37 = -s + p. Is 12 a factor of s?
True
Suppose 0 = -5*p - 353 - 762. Let o = p + 366. Is o a multiple of 13?
True
Let x = 32 - -21. Let j = -37 + x. Is 5 a factor of j?
False
Suppose 7*x - 2*x = 5. Let s be -46*x/(-2)*1. Suppose 4*k - s - 37 = 0. Does 5 divide k?
True
Suppose -2*g = -4 - 0. Suppose 4*f + 3*p = 101, g*f - 5*p - 22 - 9 = 0. Is f a multiple of 10?
False
Let x = 9 + 4. Let r(p) = p**3 - 12*p**2 - 13*p + 12. Let a be r(x). Let g = a + -7. Does 4 divide g?
False
Suppose 2*x - 156 = -488. Let c = x + 342. Is c a multiple of 9?
False
Does 17 divide -4 - ((-1)/1 + -446)?
False
Let q = 663 - 571. Is 13 a factor of q?
False
Suppose -2*r + 8*r - 60 = 0. Suppose 3*b + r = -2*b, 2*b = -t + 48. Does 27 divide t?
False
Let d = -55 - -59. Suppose -57 = -2*g - 5*i, -54 - d = -3*g - 2*i. Is 4 a factor of g?
True
Let d be -1*(-2 - -1)*1. Suppose -5*q + 61 = -3*l, -3*q + 6*l - 7*l = -31. Is (-4 - q)/(d/(-3)) a multiple of 14?
False
Suppose 3*q + q = 4*i - 460, -i = -2*q - 117. Suppose 0*o + 3*o = -r + i, -2*o - 4*r = -82. Does 6 divide o?
False
Let w = -53 - -41. Let t(s) = -s**2 - 17*s + 11. Is t(w) a multiple of 17?
False
Suppose 0 = l - 12 - 11. Suppose l = 3*p - 25. Is p a multiple of 4?
True
Let o be (-99)/(-6)*(0 + 6/(-9)). Let q = o + 88. Does 11 divide q?
True
Let d = -183 - -344. Does 50 divide d?
False
Suppose 649 + 1088 = 3*c. Is c a multiple of 57?
False
Let j(c) = -c**3 + 2*c**2 + 9*c + 1. Let y be j(4). Suppose y*p = -2*m + 56, -3*m + 3*p + 59 = 17. Does 9 divide m?
True
Let t = 172 + 4. Does 14 divide t?
False
Let y(t) = -5*t + 83. Is 17 a factor of y(3)?
True
Suppose 5*g + 182 + 53 = 0. Let m = 110 + g. Is m a multiple of 21?
True
Let x(s) be the second derivative of -s**5/10 + s**4/12 + s**3/6 + 3*s**2/2 - 26*s. Is x(-4) a multiple of 25?
False
Let m = -338 + 358. Is m a multiple of 5?
True
Suppose -5*n + 59 = -3*t, -3*n - 2*n = -4*t - 87. Let z = t + 168. Does 28 divide z?
True
Suppose 4*k = 2*v + 8*k - 72, 3*k + 166 = 4*v. Is v a multiple of 6?
False
Suppose 4*u = 4*x + 213 + 27, 292 = 5*u - 3*x. Suppose -191 + u = -5*g. Is g even?
False
Suppose 2000 = -18*d + 23*d. Suppose 0 = -3*w - 2*w + d. Is w a multiple of 10?
True
Let r(t) = 4 - t**3 - 11*t + 13*t**2 + 3*t**2 - 7. Does 10 divide r(15)?
False
Let b(p) be the first derivative of -p**3/3 + 5*p**2 + 5*p - 6. Let h be b(11). Let t(y) = y**3 + 7*y**2 + 6*y + 9. Does 7 divide t(h)?
False
Suppose 619 = 10*x - 9*x. Suppose 8 = 3*v - x. Is v a multiple of 15?
False
Is ((-1)/5*1567)/((-4)/20) a multiple of 36?
False
Let b(t) = t + 17. Let u be b(-9). Suppose 0 = -s + 66 + u. Is 18 a factor of s?
False
Let m = 25 - 21. Suppose 0 = m*w - 2*o - 440, w + 3*w + 3*o = 430. Does 12 divide w?
False
Suppose -6*x = 3*x - 4590. Is 17 a factor of x?
True
Suppose 33 = 4*r + 1. Is 22 a factor of 772/r + (-12)/8?
False
Let q(x) = x**2 - 4*x - 12. Let a be q(7). Let z = a + 13. Is 9 a factor of z?
False
Let b = 11 + 28. Let x(g) = -g**3 + 11*g**2 - g + 14. Let v be x(11). Suppose -4*t + b = -v*t. Does 14 divide t?
False
Let t(j) = 4*j**2 - 5*j - 3. Let a be t(4). Suppose 5*b - 4*h + a = -h, 16 = -b - 2*h. Is (-3 - (-52)/20)*b a multiple of 4?
True
Let k(f) = 6*f + 6. Suppose 4*w - w - 12 = 0. Does 17 divide k(w)?
False
Let h(o) = o**3 - 7*o**2 + o + 4. Is h(7) a multiple of 11?
True
Let s = -1168 + 1880. Is s a multiple of 81?
False
Let i(w) = 51*w**2 - 8*w + 10. Does 44 divide i(4)?
False
Let l be (-3 + (-12)/3)*8/(-14). Suppose -3*x + 0*o = -2*o - 267, -o - 351 = -l*x. Is 7 a factor of x?
False
Suppose -3 = -5*c + o + 9, 4*c + 2 = -5*o. Is 1*c/(-5) - 104/(-10) a multiple of 5?
True
Let j = -279 - -547. Does 14 divide j?
False
Suppose -50*k + 81774 = 27*k. Is 45 a factor of k?
False
Let t(z) = -3*z + 33. Suppose w = m + 4*w + 14, 5*w = 0. Is t(m) a multiple of 27?
False
Suppose 2*j - 4 = 4*p, -3*j - 4 = 4*p - 10. Suppose -2*t + k + 34 = p, 4*t + 2*k - 106 = -30. Does 6 divide t?
True
Let w be 9*((-8)/12 - -1). Suppose 0 = -w*v - 5*c + 42 + 36, 0 = 4*v - 2*c - 104. Suppose -2*d + 4*h = 8, d + 4*h + 0 = v. Does 2 divide d?
True
Let r be (((-297)/(-12))/(-3))/(1/(-12)). Let p = r - 35. Is p a multiple of 16?
True
Suppose -2*t - 43 + 213 = 0. Let z = t + -46. Suppose 0 = 3*f - 120 - z. Is f a multiple of 17?
False
Suppose 4*p - 5*a = 3365, 3*p + 4*a = 1670 + 846. Is p a multiple of 49?
False
Let p(d) = d - 29. Let b be p(5). Let u = -6 - b. Is 6 a factor of u?
True
Does 9 divide (-314)/(2 - 45/18)?
False
Suppose -9450 = -2*f - 5*f. Is f a multiple of 30?
True
Suppose t = 6*t - 405. Suppose 4*m - t = -3*b, 0 = -b - 6*m + m + 27. Is 21 a factor of b?
False
Let t be ((-2)/(-5))/(6/15). Does 17 divide (1 + -35)*(-1)/t?
True
Suppose -4*y + 2698 = 5*q, -y = -q - 321 - 349. Suppose 0 = -2*m + 10*m - y. Does 12 divide m?
True
Let v be 7072/238 - 4/(-14). Suppose 1253 = v*p - 23*p. Does 47 divide p?
False
Suppose -s = 0, 0 = 3*v + 8*s - 3*s. Suppose x - 5 = -v. Suppose 2*t + 3*t - 298 = -4*w, -x*t + 3*w = -319. Is 31 a factor of t?
True
Let o(l) be the first derivative of -l**4/4 - 5*l**3 - 3*l**2/2 + 18. Does 42 divide o(-15)?
False
Suppose 3*u - 6*c = -2*c - 78, 3*u + 63 = -c. Let j = u + 71. Does 7 divide j?
True
Suppose 6*r - 9*r = -72. Does 6 divide r?
True
Let a(d) be the first derivative of 5*d**4/2 + d**3/3 + d**2/2 - d - 13. Is 17 a factor of a(2)?
True
Suppose 1536 = 15*u + 9*u. Does 8 divide u?
True
Let s(g) = -g - 13. Let a be s(-14). Suppose -a = -5*u + 14. Suppose u*w - 4*w + 77 = -n, n - 403 = -5*w. Does 26 divide w?
False
Let g = -189 + 310. Let k = g + -81. Is 10 a factor of k?
True
Let f(u) = 9 + 354*u - 355*u + 6. Is f(-13) a multiple of 12?
False
Let u(v) be the second derivative of v**4/12 - v**3 - 13*v**2/2 - 17*v. Does 27 divide u(10)?
True
Is 118 a factor of ((-210)/(-4))/(87/6844)?
True
Suppose -5*l - 10*h + 106 = -12*h, 2*h = -l + 26. Is l even?
True
Let d be 2/4 - (-21)/6. Suppose -d*i = u, -4*u + 3*i = i. Is 17 a factor of u + 5/((-10)/(-144))?
False
Suppose 6 - 1 = 5*u. Suppose 4*y = 0, -t - 4*y + y + 6 = 0. Let l = u + t. Is l a multiple of 3?
False
Suppose 3*t - 4*t - 2*p = -204, 4*p = 12. Let f = 358 - t. Suppose 0 = 2*g + 3*g - f. Is 12 a factor of g?
False
Suppose 2*n - 6 = 2. Suppose 0*z - 612 = -n*z. Suppose 3*t = -0*t + z. Does 17 divide