
True
Let c be (-88)/55*(-250)/4. Suppose 2*m + c = 4*m. Is 50 a factor of m?
True
Suppose -49*x = -50*x + 53. Does 41 divide x?
False
Is (1*3)/(((-513)/(-4636))/9) a multiple of 8?
False
Suppose -v - v = 3*r - 20, -v = 5*r - 45. Suppose 4*p - r = 6. Is 6*(0 + p) - 0 a multiple of 6?
True
Let o(f) = 2*f**2 - 11*f - 3. Is 4 a factor of o(-5)?
False
Let l = 8 + -7. Let r be 25/l + (-4 - -4). Let w = r + -10. Does 8 divide w?
False
Let d(a) = -a**3 + 4*a**2 + 8*a - 3. Let x be d(5). Let j be (-112)/x*(-9)/(-6). Does 21 divide (-2807)/(-49) - (-4)/j?
False
Suppose 4*j - 1152 = 4*o - 3*o, -4*j = -5*o - 1152. Is j a multiple of 9?
True
Let j = -17 + 25. Is (-15)/6*j/10*-73 a multiple of 12?
False
Let z(v) = -v - 1. Let t(d) = 2*d + 2. Let r(m) = -t(m) - z(m). Let c be r(-1). Suppose -36 = -c*i - i. Does 12 divide i?
True
Suppose 5*c - 3*c - 48 = -4*n, -4*n = -c + 6. Let b(k) = 3*k + 36. Does 18 divide b(c)?
True
Let u = 3898 + -1909. Does 13 divide u?
True
Is 7 a factor of (-2916)/(-60) - (-3 + 26/10)?
True
Let l be (4 + -6)/(2/(-4)). Suppose -592 = -4*s - 4*z, -l*z - 256 - 188 = -3*s. Is 13 a factor of s?
False
Suppose 0 = 11*k - 99 - 1320. Is 3 a factor of k?
True
Let j(q) = 71*q**2 + 4*q + 2. Let a be j(-2). Let g = -188 + a. Does 15 divide g?
True
Let x(p) = -145*p - 163. Is x(-4) a multiple of 2?
False
Let m(h) = h**3 - 12*h**2 + 20*h + 54. Is m(13) a multiple of 21?
True
Suppose 3*s = 1 + 176. Let l be (10/(-6) - -1) + 238/6. Let a = s - l. Does 4 divide a?
True
Suppose 5*i + 3*b = 113, i = -0*b - 4*b + 9. Suppose 3*k - i = 95. Let f = 60 - k. Is 4 a factor of f?
True
Let u = -90 - -78. Does 59 divide -248*45/u*(-12)/(-30)?
False
Let k = 204 - 31. Is k a multiple of 30?
False
Let j(i) = i**2 - 5*i + 8. Let d be (-3)/(-6) - (-27)/6. Is j(d) even?
True
Is 2159 - ((-88)/11 + -2) a multiple of 9?
True
Let n(k) = k**3 + 11*k**2 - k - 8. Let z = -30 + 20. Is 17 a factor of n(z)?
True
Suppose 3*n - 9 = 2*y, -2*n = -n - 5. Suppose -23*w + 18*w = 5, -w + 500 = y*k. Does 41 divide k?
False
Let m be (2 - 3)/((-3)/6). Is (-2)/1 - (-11 + m) a multiple of 3?
False
Is (-128 - -937)*(3 + 1) a multiple of 25?
False
Let b(h) = 342*h. Let x be b(1). Suppose -9*o = -3*o - x. Does 8 divide o?
False
Is (3/2)/(5 + 52017/(-10404)) a multiple of 19?
False
Let c = -8 + 9. Suppose i - 50 = 3*v + c, 4*v - 16 = -i. Suppose -z + i = z. Is 9 a factor of z?
True
Suppose 15 = 3*a, 44 = -r - 3*a - 73. Suppose 126 = -3*c - q - 151, 0 = -5*c - 2*q - 460. Let w = c - r. Is w a multiple of 19?
True
Suppose -4*i = 5*t - 30, i + 3 = 2*i - t. Suppose -1 = -i*p - 21. Let a = p + 23. Is a a multiple of 8?
False
Let j = 8 - -50. Let l = j + -13. Does 5 divide l?
True
Let p(f) = f**3 - 4*f**2 + f - 1. Let n be p(4). Suppose 8*t = n*t + 455. Is 7 a factor of t?
True
Let t(w) = w - 4*w - 208 + 213. Let x(y) = y**3 + 4*y**2 + 2*y + 4. Let p be x(-4). Is t(p) a multiple of 3?
False
Let t(n) = n**3 - 7*n**2 + 5*n + 14. Suppose -6*r + 5*r + 6 = 0. Does 2 divide t(r)?
True
Suppose 66 = -4*u + 5*u. Let t be (-20)/70 + u/(-14). Is 16 a factor of ((-48)/t)/((-30)/(-200))?
True
Suppose 2*b + h = -5, -15 = 2*b + 2*h + h. Suppose -4*q + b*q = -964. Suppose 0*t - q = -5*a + t, 3*a - 4*t - 131 = 0. Does 13 divide a?
False
Let y be 5/((-10)/8) - -63. Suppose q - 11 - y = -4*f, 2*q = -3*f + 155. Is q a multiple of 12?
False
Let w(d) = 6*d + 27. Is w(7) a multiple of 26?
False
Let f(k) = 5*k + 102. Does 3 divide f(-17)?
False
Suppose -11*k - 96 + 481 = 0. Suppose 0 = 8*m - 187 + k. Does 17 divide m?
False
Suppose 0 = 8*q - 435 + 43. Does 22 divide -1 + 1 - (10/2 - q)?
True
Let q(n) = -104*n**3 + n**2 - 28*n - 60. Does 14 divide q(-2)?
False
Suppose 20*q - 1917 - 563 = 0. Is q even?
True
Let c(l) = -133*l + 4. Is 12 a factor of c(-5)?
False
Let v = -5112 + 7237. Suppose -685 = 15*b - v. Is 17 a factor of b?
False
Suppose 2*a - 14 = -0*a. Suppose o - 160 = -a*o. Is o a multiple of 5?
True
Suppose -2111*d + 23660 = -2098*d. Does 52 divide d?
True
Let l(h) = 20*h - 17*h - 12*h. Let f be l(-2). Suppose -i - 135 = -4*d + f, 3*i - 59 = -2*d. Is d a multiple of 8?
False
Let g = -5 + 3. Let o be g - (-8)/(-4) - 8. Let q = 34 + o. Is 22 a factor of q?
True
Does 4 divide ((-528)/(-40))/((-3)/(-30))?
True
Let y be (1 - (-19303)/11) + (-2)/(-11). Suppose 9*t + 649 = y. Is t a multiple of 13?
False
Let x = 6 - 1. Let p(k) = 7*k**3 + 11*k**2 + 17*k - 8. Let j(c) = 10*c**3 + 17*c**2 + 25*c - 12. Let s(d) = x*j(d) - 7*p(d). Is s(-5) a multiple of 9?
False
Let j be -1*(2 + (-379)/1). Suppose -7*l + j + 288 = 0. Is 21 a factor of l?
False
Suppose -10*t + 65 = -5*t. Suppose -d = -3*u - 0*d + 10, d = 4*u - t. Does 21 divide 148/4 - (-9)/u?
False
Let h = 2345 - 576. Is h a multiple of 61?
True
Let o(t) be the first derivative of -7*t**2/2 - 8*t - 5. Is o(-7) a multiple of 9?
False
Let z = -6 - -12. Suppose d = -3*l + 3, 9 = 2*l - 5*l + 3*d. Suppose l = -s + z. Does 6 divide s?
True
Suppose 2*a - 3*t - 6 = -0*t, 2*t + 4 = -3*a. Suppose 0 = 3*n - 42 - 48. Suppose a = -3*z + 4*z - n. Is 13 a factor of z?
False
Let z be 6/3 + 0 - 0. Suppose 4*u + z*r - 10 = 0, -7 = -3*u - 4*r - 2. Let w = u + 5. Is w a multiple of 3?
False
Let i be 346/6 - 4/6. Suppose -59*y + 67*y + 192 = 0. Let z = i + y. Is z a multiple of 11?
True
Let b(z) be the third derivative of -z**4 + 5*z**3/3 + 18*z**2. Is 29 a factor of b(-2)?
True
Suppose 3*h + 1573 = 2*m, 12*m - 16*m + 3121 = -h. Does 19 divide m?
True
Is 6 a factor of ((-2)/1 + -30)*(-52)/13?
False
Suppose 2*i - 43 = -5*t, -4*t = -t + 4*i - 23. Suppose -12*y - 9 = -t*y. Is 9 a factor of (-6 - y - -1) + 13?
False
Let n be -2 + (2 + 2 - -1). Suppose n*t = t + 2, -t + 388 = 3*o. Suppose 0 = -0*p + 3*p - o. Is 18 a factor of p?
False
Suppose 0*x = -5*v + x + 243, 145 = 3*v - x. Let s be 168/v + (-3)/7. Suppose u = -c + 16, -s*u + 1 = -5. Does 14 divide c?
True
Let r(v) = v**3 - 8*v**2 + 11*v - 9. Let f be r(7). Suppose f = 5*j - 36. Does 6 divide j?
False
Let l(x) be the second derivative of -x**4/12 + x**3/3 + x**2 + 2*x. Let b be l(2). Is 3 a factor of ((-196)/(-8))/7*b?
False
Let w be 13 - 0 - 2/(-1). Let r = -7 - -9. Suppose 3*n + w = r*p, 3*n = 4*p - 2*n - 27. Is p a multiple of 2?
False
Suppose -3*d + 4*n - 74 = 2*d, 2*d + 27 = -n. Let v be (-2)/d + (-1480)/(-28). Suppose u + 3*u - 5*w - v = 0, -5*u - w = -30. Is 4 a factor of u?
False
Suppose -5*u = -3*l + 3007, 0 = -3*l + 8*l - 3*u - 4985. Is l a multiple of 11?
False
Suppose -d = 4*d + 5. Let s be 3 - (4 - 19 - d). Does 6 divide 3 + (s - 6/(-3))?
False
Let v = -22 + 37. Let g = 24 + -25. Does 6 divide v - (1/g + 4)?
True
Is (-5862)/(-16) - (-81)/(-216) a multiple of 26?
False
Suppose 0 = -4*f - 2 - 6. Let l be ((-1)/f)/((-3)/(-72)). Let y = l + -2. Does 9 divide y?
False
Let q = 3 - -11. Let s be q/(-35)*(-1 - 4). Suppose 0 = 5*g, -2*a = s*a + g - 168. Does 7 divide a?
True
Suppose 44*u = 57*u - 10517. Is u a multiple of 19?
False
Let c(a) = a**3 + 2*a**2 - 24*a + 2151. Does 46 divide c(0)?
False
Suppose -4*b - 5*v + 96 = -v, 2*b - 63 = v. Let l = 8 + b. Does 7 divide l?
False
Let n be 5/(15/(-2)) + 4/(-12). Is n*(3 - (69/1 - -1)) a multiple of 9?
False
Let n(q) = q**2 + 34*q - 186. Is 3 a factor of n(9)?
True
Let j = -164 + 401. Does 8 divide j?
False
Suppose 32*g + 12 = 34*g. Suppose 7*x + g*x = 1872. Is x a multiple of 9?
True
Let u(v) = 6*v**2 - 2*v - 30. Is 5 a factor of u(-5)?
True
Suppose 5*w - 2*w + j = -98, -48 = 2*w + 5*j. Let s = -127 - -69. Let m = w - s. Is m a multiple of 13?
False
Let h(v) = -13*v - 21. Let a be (-2)/2 + (-1 + -1)*1. Is 9 a factor of h(a)?
True
Let r(i) = 3*i**3 - 8*i**2 + 9*i - 13. Let t be r(5). Is (t/6)/((-3)/(-6)) a multiple of 20?
False
Let s(p) = -p**3 - 14*p**2 + 19*p + 2. Does 7 divide s(-16)?
True
Let a be 8/((-5)/3 + 1). Let r(h) = 4*h + 6. Let m be r(3). Is m/a - 66/(-4) a multiple of 5?
True
Suppose -141904 = 128*o - 177*o. Is 16 a factor of o?
True
Let h(j) = 2*j**2 + j + 2. Let c = -22 + 27. Suppose 5*a = 4*o + 4*a, a = c*o + 1. Does 3 divide h(o)?
True
Let u be 475/(-2) + -6 + 63/14. Let t = -128 - u. Is 22 a factor of t?
False
Let o be (-2)/7 - (-111)/21. Suppose -650 = -o*q - 145. Let m = q + -68. Is m a multiple of 11?
True
Suppose -2*p + 7*p - 21 = 2*f, 4*p - 6 = -2*f. Does 12 divide ((-21