ide g?
False
Let d be (-2)/3 + (-11)/(-3). Suppose -m - 2*x = -152, -2*m = 3*x - 0*x - 300. Suppose -d*z + m = -0*z. Is z a multiple of 19?
False
Let s(f) = 6*f. Let p be s(-1). Let u be (-2)/p - (-82)/6. Let d = 45 - u. Does 17 divide d?
False
Let i = -3 + 54. Suppose -2*k + 6*k + 3*j - 105 = 0, 2*k = -j + i. Is 5 a factor of k?
False
Suppose -4*j = 2*n - 173 - 701, 5*j = 4*n + 1060. Does 24 divide j?
True
Let l be (9/6)/((-3)/(-4)). Suppose -2*x = -6 + l. Suppose 203 = 5*d - 2*q, x*q = -d - 2*q + 23. Does 13 divide d?
True
Let r = -6 + 11. Let o be (-3 - -3)/(1 + 1). Suppose r*p - 4*v = 70, p + 10 = -o*p - 4*v. Is p a multiple of 10?
True
Let i = 11 + -8. Suppose i*l - 72 = 2*l. Suppose l = 5*x - x. Does 8 divide x?
False
Let n = 170 + -110. Suppose 2*d - 5*d + n = 0. Is d a multiple of 10?
True
Suppose i + 0*i - 117 = 0. Let h = i - 71. Does 23 divide h?
True
Suppose 0 = 4*d - 4*s - 20, 2*s = -0*d - 3*d + 35. Let o = 143 - 96. Suppose o = 4*c - d. Does 14 divide c?
True
Let m(w) = -5*w - 1. Let o be m(-1). Let r = -2 + o. Is r/6 + (-276)/(-9) a multiple of 11?
False
Suppose 140 = 4*j - 0*j. Let c be 18/2*(0 - 21/9). Let t = j + c. Does 14 divide t?
True
Suppose 5*i - 2*f - 145 = 0, -3*i = 5*f + 9 - 127. Suppose 2*j - i = 17. Is j a multiple of 15?
False
Suppose -201 = -4*g + 3*o + 447, -g + 162 = -3*o. Is 24 a factor of g?
False
Suppose -4*b + 326 = b + 3*r, -5*b = 4*r - 328. Is b a multiple of 32?
True
Let v = 95 - 5. Is v a multiple of 20?
False
Let w(a) = a**3 - 5*a**2 + 2*a - 6. Let i be w(5). Let s = i + -2. Suppose -3*q - s*q = -60. Is 12 a factor of q?
True
Let z(a) = -2*a - 1. Let j be z(4). Let y be 6/(-27) + (-20)/j. Suppose -54 = -y*l - 2*p, 3*l - 17 = 3*p + 58. Does 13 divide l?
True
Is 11 a factor of (-1)/5 - (-396)/5?
False
Let s(w) = 145*w**2 + 5*w + 2. Is s(-1) a multiple of 32?
False
Suppose 3*c + 3*z - 2*z - 65 = 0, c - z = 27. Suppose 4 = 4*f - 4. Suppose -5*w + f*w + 109 = 5*p, w - p - c = 0. Is 11 a factor of w?
False
Let k(c) = 3*c**2 - 6*c + c**2 + 2 - 2*c**2. Let q be k(5). Let i = q + -14. Is 4 a factor of i?
True
Is ((-14)/4)/((-4)/8) a multiple of 7?
True
Let i = 34 + 47. Is i a multiple of 8?
False
Suppose 0 + 13 = q. Is q a multiple of 3?
False
Let d(b) = -8*b - 6. Is 42 a factor of d(-6)?
True
Let s(t) = t**2 + 4*t + 7. Does 13 divide s(5)?
True
Let f(x) = -4*x - 4. Let y(b) = 20*b + 21. Let t(o) = -22*f(o) - 4*y(o). Let h be t(6). Suppose -4*n = -176 + h. Does 12 divide n?
False
Suppose 3*h - 22 = h. Suppose t - 3*c - h = 11, 4*t - c - 77 = 0. Does 11 divide t?
False
Let h(m) be the second derivative of -7*m**3/6 + m**2/2 - 2*m. Is 4 a factor of h(-2)?
False
Suppose -4*o = -2*o - 60. Is o a multiple of 15?
True
Let p = -3 + 6. Does 6 divide 44/6*1*p?
False
Is 3 a factor of -2*(75/(-6) + -2)?
False
Let k(i) = 147*i - 2. Is k(1) a multiple of 29?
True
Suppose 3*x + 15 = -0*x, 5*d = -x + 35. Is 3 a factor of d?
False
Suppose 7*j - 20 = 2*j. Suppose -j*c = 2 - 110. Is c a multiple of 12?
False
Suppose -3*g + 5*g - 106 = 0. Is 17 a factor of g?
False
Suppose 5*m - 63 - 52 = 0. Does 19 divide m?
False
Suppose x + 3 = -0. Is 7 a factor of (-2)/x - 61/(-3)?
True
Suppose 0 = 2*w + 3*w. Is (-1 - w) + 68/2 a multiple of 11?
True
Let w(h) = -2*h - 6. Suppose 5 + 1 = -d. Let z be w(d). Does 6 divide ((-18)/4)/(z/(-16))?
True
Does 17 divide 5/((-15)/(-9)) + 14?
True
Let x = 11 - 50. Let v = x - -69. Does 11 divide v?
False
Suppose -8 = 2*r, -38 = 2*b - 5*b + 5*r. Is 6 a factor of b?
True
Let q(j) = -j**2 - 1. Let d(b) = 16*b**2 - b - 4. Let l(y) = d(y) - 4*q(y). Is 12 a factor of l(-1)?
False
Let v(d) = -19*d - 17. Let s(k) = -9*k - 8. Let h(a) = 13*s(a) - 6*v(a). Let y(u) = -2*u - 3. Let j(g) = 3*h(g) - 4*y(g). Is j(4) even?
True
Does 13 divide (4 + -1)/((-4)/(-52))?
True
Let w = 33 - 16. Is w a multiple of 17?
True
Suppose -3*f - 34 + 91 = 0. Let h = f + -8. Is h a multiple of 4?
False
Suppose 4*t + 590 = 2*g + 22, 0 = g - 4*t - 280. Does 12 divide g?
True
Let x be 0/(-1) + 3/(-3). Does 8 divide ((-5)/15)/(x/96)?
True
Let g = -17 - -25. Suppose 0 = 5*q - g - 87. Is 12 a factor of q?
False
Let g(b) = b - 7. Let u be g(11). Suppose 0*w - 2*w - u*v = -28, -2*w = 5*v - 28. Does 7 divide w?
True
Let z(x) = -12*x - 9. Does 18 divide z(-8)?
False
Suppose -5*j + 8 + 18 = -4*i, 5*j - 33 = -3*i. Let s be (-1*0/3)/(-2). Suppose 4*r + 0*t - j = -t, s = 3*r - 2*t - 10. Is r a multiple of 2?
True
Let m(i) = -6*i**3 + i. Let n be m(1). Suppose 0 = 2*w - j + 22, 7 = -3*w - 5*j - 26. Let f = n - w. Is 4 a factor of f?
False
Let t(f) = 5*f - 1. Let y be t(-1). Is (4/y)/(1/(-81)) a multiple of 18?
True
Let l = -35 + 71. Is l a multiple of 18?
True
Let g(n) = -2*n + 6. Let s be g(5). Let b = 4 + s. Suppose b = -2*f + q + 18, 28 = -f + 3*f + 4*q. Is 4 a factor of f?
False
Suppose 0 = 4*v - 21 + 5. Suppose v*n - 27 = 5*n. Let d = -15 - n. Does 12 divide d?
True
Let w = -123 - -175. Is w a multiple of 26?
True
Suppose -4*l + 35 + 49 = 0. Is 9 a factor of l?
False
Suppose -4*c - 3*x - 53 = 0, 2*x - 88 = 4*c - 2*x. Let g = c + 48. Is g a multiple of 13?
False
Let c(x) = -x**3 + x**2 + x. Let r be c(0). Let m = 0 + r. Suppose -2*q + 16 = 2*d - m*d, -4*d - 12 = 0. Does 10 divide q?
False
Is 3*(60 + -2 - 5) a multiple of 16?
False
Let y(o) = -o**2 + 8*o - 8. Let h be y(7). Let j be ((-5)/2)/(h/16). Let s = 75 - j. Is s a multiple of 15?
False
Does 18 divide 39 + (-4 - -2 - 1)?
True
Let n(v) = 2*v**3 + 3*v**3 - 1 - 2*v**3. Let i = -7 + 8. Does 2 divide n(i)?
True
Let i = -41 - -161. Is 12 a factor of i?
True
Let w(f) = f**3 + 3*f**2 - 3*f + 4. Let l be w(-4). Suppose 72 = 3*o - j, -5*o + 120 = 5*j - 0*j. Suppose o = u - l. Is 12 a factor of u?
True
Let m = -25 + 29. Is m even?
True
Let x(d) = d**2 + 1. Let o be x(3). Let g = o + 47. Is 16 a factor of g?
False
Suppose -3*j = 2*j - 5. Suppose -j = 2*q + 79. Is (q/(-6))/(1/3) a multiple of 11?
False
Let l = 3 - 0. Suppose 86 = l*w - 2*q, 3*w + 3*q = -w + 126. Does 10 divide w?
True
Suppose -2*a = -31 - 259. Let m = -99 + a. Is 14 a factor of m?
False
Suppose 6*s - 4*z - 117 = 5*s, 0 = s - z - 114. Is s a multiple of 30?
False
Let r = -9 - -16. Is r a multiple of 3?
False
Suppose 4*m = 2*n - 42 + 14, -2*m - 5*n - 26 = 0. Let b = m - -73. Is 24 a factor of b?
False
Let u(z) = -z**2 - 7*z - 1. Let g(m) = m - 1. Let p(t) = g(t) - u(t). Let k = -22 - -12. Is 10 a factor of p(k)?
True
Let i = 43 + -22. Is 7 a factor of i?
True
Suppose h = 3*h - 92. Suppose -5*u + 59 = -h. Does 7 divide u?
True
Suppose 3*q = 4*g - 2*q - 8, -5*q = -5*g + 15. Suppose -12*l + g*l = -100. Does 6 divide l?
False
Let m(r) = r**3 - 5*r**2 - 7*r + 3. Suppose -2 = 3*d - 23. Does 14 divide m(d)?
False
Suppose 0 = -g - 4*g. Suppose 2*c - c = g. Suppose 2*j - j - 17 = c. Is j a multiple of 7?
False
Let q(j) = j + 45. Does 10 divide q(0)?
False
Let s = 45 - 93. Let b = -34 - s. Is b a multiple of 7?
True
Let l be 48/(-9)*(-1 - -4). Let v = l + 71. Is 14 a factor of v?
False
Let z be 39/(-4) + 5/(-20). Does 7 divide (-84)/z*10/4?
True
Let r be (-1)/5*-19*5. Suppose -3*f + 2*n - 4*n = -10, 5*f = -n + r. Does 2 divide f?
True
Is (5 - 1) + 0 - (-627)/19 a multiple of 36?
False
Suppose -3*v + 8 = v. Suppose -4 = v*y - 3*y. Does 3 divide y?
False
Does 29 divide (-22)/(-55) - 328/(-5)?
False
Let o be (30/(-9))/((-2)/6). Let u = o + -5. Suppose 0 = -u*m + 76 + 4. Does 16 divide m?
True
Does 14 divide (75 + -1)/((-24)/(-12))?
False
Let z be -2 + 2/(2/(-11)). Let l = z - -20. Suppose 2*b + 90 = l*b. Does 15 divide b?
False
Let b(q) = q**3 + 10*q**2 + 9*q + 6. Let n be b(-9). Let r(z) = z**2 - 3*z - 6. Does 12 divide r(n)?
True
Suppose 2*g + 22 = 4*k, 5*k - 3*k - 31 = -3*g. Is k a multiple of 4?
True
Let f = 231 - 67. Does 22 divide f?
False
Let n(l) = -l**3 - 11*l**2 - 10*l + 14. Does 8 divide n(-10)?
False
Let m = 1 - 8. Let a(k) = k**2 + 5*k - 3. Does 3 divide a(m)?
False
Let o be (8/(-6))/(2/(-6)). Suppose o*z - 54 = z. Does 5 divide z?
False
Suppose -5*t = -5*i - 40, -t = t - 4. Is 63/i*-4 - 0 a multiple of 21?
True
Suppose -4*d - 3*l + 23 = 8, -d - l = -4. Let q be 1*(-2 - -2) + 4. Suppose q*r + 18 = m, -2*m - d*r + 14 = -0*r. Does 10 divide m?
True
Suppose c + 14 = 94. Is 9 a factor of c?
False
Does 4 divide (5 - 4) + 3 - -22?
False
Suppo