ue
Let i = 9 + -10. Is (217/(-2))/(i/2) a multiple of 12?
False
Suppose -7*n - 20 = -2*n. Let o be (-2 + 4)/((-30)/7 - n). Let l(x) = x**3 + 9*x**2 + 4*x. Does 5 divide l(o)?
True
Does 66 divide ((-8712)/(-12 - -1))/(2/14)?
True
Suppose 7415 = 110*q - 108*q - 5*g, -4*q - g + 14885 = 0. Does 6 divide q?
True
Let h be 53/3 + 9/27. Let j be -13*h*(-5)/(-5). Let z = -139 - j. Is 19 a factor of z?
True
Suppose -3*y - 4*f = 30, -5*y + f = -0*f + 27. Let d(p) = p**2 + 15*p + 54. Let t be d(y). Suppose -3*m + 2*m + 2 = t. Does 2 divide m?
True
Let a be (((-75)/5)/5)/(1/(-5)). Suppose 19*j - a = 14*j. Suppose c = -j + 51. Does 48 divide c?
True
Suppose 0 = -282*q + 289*q + 1078. Does 39 divide (-5730)/(-4) + (-385)/q?
False
Suppose -2*l - 5*q = -90, 0*l - 45 = -l + 2*q. Let j(g) = -15*g - 3. Let n be j(-2). Let m = n + l. Does 18 divide m?
True
Is ((-8)/12)/((-8)/(-27210))*-2 a multiple of 5?
True
Suppose -2*j + 8340 = 8*j. Suppose 0 = 11*o - 5*o - j. Is o a multiple of 33?
False
Let i be 2*2*421/4. Suppose 5*d - 20 = 0, -m + i = 4*m + 4*d. Is m a multiple of 14?
False
Suppose 26292 = -21*h + 26*h + 2*g, 0 = -3*h - 3*g + 15768. Is h a multiple of 10?
True
Does 49 divide (-4)/38 - (-1014101)/2299?
True
Suppose 69*f = 325588 + 134228. Does 56 divide f?
True
Let l(w) = -3*w - 72. Let q be l(-25). Let g(v) = 12*v + 8 + v**2 - 14*v - q*v. Is g(5) a multiple of 7?
False
Let r(g) = 22*g**2 - 21*g + 130. Is r(8) a multiple of 7?
False
Let a = -21531 - -82155. Does 24 divide a?
True
Suppose 0 = 2*a - i + 48 - 0, -i = 2*a + 40. Is (-2818)/(-14) + a/77 a multiple of 7?
False
Does 18 divide 200/(-600) - 41888/(-6)?
False
Suppose 7*b = -62*b + 4067205. Does 65 divide b?
False
Suppose -19*i + 39 = -6*i. Suppose 3*m - u - 479 = 0, i*m - 2*m + 4*u - 164 = 0. Suppose -3*j - m = -5*j. Is 11 a factor of j?
False
Suppose -4*f - 2*d = 90, 0 = -d - d - 10. Let m be (-3)/((-6)/f)*(-3)/6. Suppose 0 = m*a - 67 - 323. Is 26 a factor of a?
True
Let s be (-186)/4*(-2 - -4). Let c be s/(-5) - 48/80. Suppose r = 5*f + c, 6 = r - f - 0. Does 3 divide r?
True
Suppose 0 = 201*u - 202*u + r + 1066, -3*r - 4267 = -4*u. Is u a multiple of 33?
False
Let j be (-4)/(-8) + (0 - 462/(-4)). Let v = -304 + j. Does 20 divide v*((-4)/(-8) + -1) + 2?
False
Is 17 a factor of (-7)/(28/16) + 268 + 44990?
True
Let q be (-1 + -5 + 6)/(-3). Suppose -t - 4 = -1, 5*a - 2*t - 261 = q. Is a a multiple of 11?
False
Let c = 440 + -37. Suppose -c*i + 1952 = -399*i. Is 61 a factor of i?
True
Let s be (1585 + 2)/3 - (18 - 23). Suppose -u + s = 3*d, 3*u = -2*d + 1294 + 280. Is u a multiple of 18?
True
Let z be ((-62)/(-4))/(2/(-20)). Let a = 85 - z. Does 15 divide a?
True
Let o be (-14 - -12)*9/2. Let m be (-12)/o*(1 + 6 + -1). Suppose -m*x + 297 = -5*x. Is 12 a factor of x?
False
Let x be (-1*4)/1 - (11 + -14). Let s be 12 + 13 + 1 + x. Suppose f - s = -0. Is f a multiple of 9?
False
Let m be (-1 - -2) + (5 - (3 - 2)). Suppose 3*t - 122 = m*z, -z - 77 = -2*t - 2*z. Does 8 divide t?
False
Let m(l) = l**3 + 14*l**2 + 12*l - 26. Let k be m(-13). Let w(z) = -z - 18. Let s(o) = -o - 17. Let n(u) = 3*s(u) - 4*w(u). Is 4 a factor of n(k)?
True
Let o(i) = -4*i + 1. Let s be o(-1). Suppose 274 = s*t - 1076. Does 15 divide t?
True
Let u(j) = j**3 - j**2 - 7*j + 15. Let p(z) = -z**2 - z - 1. Let q(x) = 3*p(x) + u(x). Suppose -10*l = -9*l + 4*f + 10, -3*l = 2*f - 10. Is 13 a factor of q(l)?
False
Let d(l) = l**3 - 5*l - 13*l + 9*l - 8*l**2 - 20*l + 7. Is d(13) a multiple of 19?
True
Let u(b) = 2*b**2 - 3*b + 44. Let i be u(15). Suppose 5*p - 1156 = -4*d, -4*p + i = 3*d - 419. Is 56 a factor of d?
False
Suppose 10*g = 3*g. Suppose -4*v - 1188 + 324 = g. Does 18 divide (v/(-16))/((-6)/(-32))?
True
Let n(i) = -22*i**2 - 1360*i + 168. Is 33 a factor of n(-48)?
False
Let w be 11/2 - 4 - 3/6. Let p(u) = -3 + 2*u + 3*u**3 + 12*u**2 + 12 - w - 18*u**2. Is 14 a factor of p(4)?
True
Let y = -9536 + 10502. Is 42 a factor of y?
True
Suppose t = -w + 5447, -3*t - 4*w + 8*w + 16334 = 0. Is 105 a factor of t?
False
Suppose -4*c = 5*m - 33, 2*m + 13 = -c + 5*m. Suppose -l - z = -172, 0*z - 4*z + 352 = c*l. Does 56 divide l?
True
Suppose -66*l - 888210 = -137*l. Does 10 divide l?
True
Suppose a + 174508 = 13*a + 4312. Does 55 divide a?
False
Is (-36)/60 - 189530/(-50) a multiple of 7?
False
Let k = 262 - 260. Does 43 divide k/(-3) - (2338/(-6) + 2)?
True
Suppose -j = 3*j + 284. Let s = j - -42. Let f = s - -37. Is f even?
True
Let a(n) = n**2 - 6*n - 20. Let c be a(9). Suppose -3*u + c = 5*f, 4*u - f + 8 = 48. Is (u - -2)*(-1 + 5/1) a multiple of 4?
True
Let y(m) = 3*m**2 - 45*m - 63. Suppose 4*a + 8*n + 51 = 7*n, -4*a - 4*n = 48. Does 21 divide y(a)?
True
Let y be 2/13 - (-271638)/234. Suppose -3337 = -8*i - y. Is i a multiple of 38?
False
Suppose 131*y - 72441 - 127891 = -26*y. Is y a multiple of 44?
True
Suppose 3*u = 8*u - 120. Suppose 0 = s + 7*s - u. Suppose 243 - s = 5*t. Is t a multiple of 12?
True
Let g(j) be the third derivative of -j**4/6 + 7*j**2. Let v be g(1). Is 4 a factor of 14 + (-5)/(10/v)?
True
Let g = 87 + -84. Suppose c = 5*c + 12, -2*c - 1203 = -g*f. Does 52 divide f?
False
Suppose 0 = -3*s + b - 123 + 43, -4*s + b = 107. Is 14 a factor of 4/(-6) + (-31770)/s?
True
Let x(q) = -q**3 + q**2 - q + 24. Let o be x(0). Suppose -o*g + 23*g = -6. Suppose -150 + g = -3*s. Does 8 divide s?
True
Suppose -328 = 4*q - 0*q + x, 2*q - 4*x + 146 = 0. Let n be (-10)/(11 - (-3 + 12)). Let m = n - q. Is 10 a factor of m?
False
Let n = 113 - 77. Suppose 2*p + 3*r = n, -2*r - 1 + 5 = 0. Let u = 6 + p. Is u a multiple of 15?
False
Does 16 divide (-4 + 4 - -32)*(4 - -16)?
True
Let l(v) = 5*v**3 + 22*v**2 - 19*v - 6. Let g be l(9). Suppose -g = -28*s + 23*s. Does 70 divide s?
True
Let n(p) = 20*p**2 + 5*p + 8. Let t be -25*2/18 - (-48)/(-216). Let i(v) = -59*v**2 - 16*v - 25. Let g(f) = t*i(f) - 8*n(f). Is 10 a factor of g(-3)?
True
Suppose 5*v - 4*t = 24, 3*v - 5*t = 4*v + 1. Suppose 82*r - 98*r = 0. Suppose r = -d - y + 79, d + v*d - 419 = y. Is d a multiple of 7?
False
Suppose 0 = 4*w - 5*m - 80482, 34*w + 3*m = 38*w - 80486. Is w a multiple of 67?
False
Let y(w) be the third derivative of -w**5/60 - 25*w**4/12 - 2*w**3/3 - 71*w**2. Does 15 divide y(-31)?
True
Suppose 0*y - 3*y = n - 178, 3*y + 5*n - 170 = 0. Suppose 58*r = y*r - 172. Is 8 a factor of r?
False
Let i(v) = -4*v**3 - 5*v**2 + 3*v + 4655. Is 19 a factor of i(0)?
True
Suppose -1190132 = -51*h - 56*h + 319852. Is 126 a factor of h?
True
Does 39 divide (59 - (10 + -2))/(-2)*-202?
False
Suppose 0 = -4*i + 36*i - 480. Let c(b) = -b**3 + 21*b**2 + 15*b + 9. Does 24 divide c(i)?
True
Let t(h) = -2*h**2 + 5*h - 6. Let v be t(3). Let c be v - -7 - (-6)/(-1). Is (-2 - 12/c)*-136 a multiple of 19?
False
Let l = -179 + 173. Is 12 a factor of (-10)/l + (8 - (-3275)/15)?
True
Let c(d) = -70*d - 55. Suppose 24*s - 23*s - 6 = 0. Let i be c(s). Let r = i - -703. Is 20 a factor of r?
False
Let k(l) = -9*l**2 - 396*l + 2. Is 5 a factor of k(-43)?
False
Let s = -80 - -88. Suppose -s*n + 3498 = 266. Is 79 a factor of n?
False
Let k(j) = j**3 + 32*j**2 + 6*j - 83. Is k(-26) a multiple of 40?
False
Does 16 divide (-30)/5 - -5*21066/3?
True
Let z be (-12)/(-30) + 54/(-10). Let r be -20 - z/(15/(-6)). Is r/(-6)*(-30)/(-10) even?
False
Let t be ((-224)/(-42))/(4/1224). Suppose 8*s - 1056 = t. Is s a multiple of 4?
True
Suppose 0 = -3*v - 4*v - 0*v. Suppose v = p + 3*h - 77, 18*p = 14*p - 2*h + 348. Is p a multiple of 3?
False
Suppose -4*g - u - 14 = -3*u, 0 = g + 3*u. Suppose 383*p - 379*p = 4. Is -13*(g + 2)*p even?
False
Suppose 4*g + 448 = 8*g. Suppose -6*q = 242 + g. Does 11 divide (1 + q)/((-3)/6)?
False
Does 68 divide (-4)/6*6 + 10612?
True
Suppose -5*a - 14584 = -9*a. Suppose y - 4564 = -5*q - 3*y, -4*q + 2*y = -a. Is q a multiple of 24?
True
Let d be 29 - 0 - ((-10)/5 + 2). Suppose 0 = 7*y + d + 265. Let u = y - -82. Is 5 a factor of u?
True
Let k(z) = -z**3 + 10*z**2 - 16*z + 4. Let v be k(8). Suppose 3*m = 4*f - 586, v*f - m + 66 - 648 = 0. Is 17 a factor of f?
False
Let j = 4673 + -1105. Does 17 divide j?
False
Let u(s) = -7*s - 355. Suppose -3*n = -5*d - 257, -4*n + 1 = 5. Is 2 a factor of u(d)?
False
Suppose 88*b - 223253 = 10123. Does 17 divide b?
True
Suppose a = 21 - 14. Suppose -2