10))/((-4)/g)?
True
Let h be 1 - 28/(-10) - (-20)/(-25). Suppose 5*m - h*n - 2562 = 0, 4*m + 19*n - 2060 = 24*n. Is m a multiple of 38?
False
Let v be 2/(4/5)*(-176)/(-10). Suppose -y + 40 = 2*k - 0*y, 2*y = -2*k + v. Is 9 a factor of 4/16*14*k?
True
Suppose 2*h + 3*a + 1 = 0, 2*a + 15 - 1 = 2*h. Suppose 4*t + 22 = 5*n - h, n - 3*t = 14. Suppose 3*m - 274 = -n*q, 5*q = -4*m + m + 694. Is 35 a factor of q?
True
Suppose -40*f + 41838 + 39762 = -0*f. Is f a multiple of 51?
True
Suppose -35 = 3*j - 20. Is 8 a factor of (387/75*15)/((-1)/j)?
False
Is 11 a factor of (-4)/(48/(-127372)) - (-12)/18?
True
Let o(a) = -a**3 - 12*a**2 - 16*a + 12. Let v(u) = -3*u**3 - 34*u**2 - 47*u + 35. Let k(g) = -11*o(g) + 4*v(g). Is 29 a factor of k(-9)?
False
Let j(y) = -321*y + 1108. Is j(-40) a multiple of 44?
True
Suppose 0 = 4*i - 4, 2*c - 2*i - 2 = 2. Let s be c/(-6) - (-1684)/8. Is ((-34)/85)/((-2)/s) a multiple of 42?
True
Let u(t) = 2*t**2 + 126*t + 352. Is u(-80) a multiple of 12?
True
Does 2 divide 1230/1 + (-9 - -24) + -12?
False
Let s(h) = -33*h**2 + 4*h - 4. Let c be 1 - -4 - (-3)/(-1). Let k be s(c). Is 6 a factor of (-2)/5 - k/20?
True
Let t(r) = 16*r - 17. Let v be t(2). Suppose v*j + 1 = 16. Does 9 divide 972/126*j*7?
True
Suppose 1877*v - 1872*v - 2*n = 58720, 3*v - 2*n = 35232. Is v a multiple of 32?
True
Let y(s) = -s**2 - 9*s - 18. Let u(x) = -x + 1. Let j(i) = -6*u(i) - y(i). Suppose 2 = 2*p, 0 = 3*w + 2*p - 238 + 281. Does 6 divide j(w)?
True
Let w(x) = -3*x - 64 - 3*x**2 - x**3 + 6*x**2 + 130 - 62. Let p be w(-3). Let j = 90 - p. Is j a multiple of 21?
False
Let s(z) = z**2 - 2*z. Let i be s(-2). Does 21 divide (i/(-12))/((14/(-162))/7)?
False
Let k(u) = 0*u - 7 - u + 1 - 9*u**2 + u**3. Let h = 6050 - 6040. Is k(h) a multiple of 29?
False
Let n(x) = -4*x - 42. Let s be n(-10). Let j be 1/(0 - (18/10 + s)). Suppose -18 + 2 = 4*l, -4*t = j*l - 324. Is t a multiple of 14?
False
Is 52*(-1755)/(-52) + 0 a multiple of 27?
True
Let n(h) = -h**3 + 6*h**2 - 6*h + 3. Let x be n(5). Let i be 15/(-18)*x - (-3)/9. Suppose -3*g - k + 132 + 181 = 0, -i*g - k + 208 = 0. Is g a multiple of 15?
True
Suppose -4*x + 4766 = 3*w, 3*x = -7*w + 12*w + 3531. Is x a multiple of 32?
False
Let w be (39/15 - 2)*15. Let k(b) = 9*b - 30. Let o be k(w). Suppose -2*z + 23 = -o. Is 37 a factor of z?
True
Let l(r) = -r**3 - 4*r**2 - 19*r - 364. Is 132 a factor of l(-19)?
True
Let f be -397 + (-5 - (-10 + 4)). Let b = f + 591. Does 15 divide b?
True
Suppose -4*q + 30 = 2*w - 0*q, 4*q - 2 = 2*w. Suppose 5*t + 4*v = 471, -3*t - 344 = -w*t + 5*v. Let a = t - 43. Is a a multiple of 12?
True
Does 15 divide 4/18 - (-520516)/1332?
False
Let h(o) = -18*o + 32. Let b be (-4 + 5)*-6 - 2. Does 11 divide h(b)?
True
Let j(p) = 3*p**3 + 374*p**2 - 132*p + 354. Is j(-125) a multiple of 12?
False
Let s(o) = -o**3 - 2*o + 61. Let l be (-24)/(-3) + -5 + 1. Suppose -5*h = -l*p - 0 + 12, h = 4*p - 12. Is 9 a factor of s(h)?
False
Suppose 183*c - 3*i - 3637 = 179*c, c = 4*i + 893. Is 4 a factor of c?
False
Suppose -3*u + w + 0*w + 69 = 0, 6 = 2*w. Is 9 a factor of (-11 + (-42)/24)/((-2)/u)?
True
Let t = -221 + 224. Suppose -3*c + 21*g = 20*g - 1006, 4*c - t*g = 1338. Is 21 a factor of c?
True
Is 91 a factor of 3/5*2047775/303?
False
Suppose 46 = -3*j - 5*h, h - 21 = j - 3. Suppose -4*d - 5*s = 208, 79 - 12 = -d - 5*s. Let o = j - d. Is 6 a factor of o?
True
Let s = -18 - -16. Let u be ((-19)/4 - -5)/(s/(-8)). Is 70/2 - (u + -6) a multiple of 8?
True
Let q = 5532 + 2035. Is q a multiple of 37?
False
Suppose 114*n - 86*n - 896 = 0. Does 18 divide n?
False
Suppose 398 = -3*t + 4*s + 1962, t - 532 = -4*s. Let g = -29 - -34. Suppose 8*p - 4*p = -g*y + 510, -4*p + t = -2*y. Is p a multiple of 8?
False
Let p(u) = 25*u + 2916. Is p(74) a multiple of 7?
False
Let j be 91*1/(-2) + (-2)/(-4). Let g = j - -47. Suppose 105 = c + u - g*u, -u = -2*c + 207. Is 23 a factor of c?
False
Let c(x) = x**2 - x. Let h be c(-1). Suppose -5*r + 4*t = h*t - 461, 0 = -4*r + t + 367. Is 7 a factor of r?
True
Does 38 divide ((-135)/6 + -2)/(5 - (-22806)/(-4560))?
True
Let s(u) = 6*u**2 - 6*u - 12. Let i(x) = 2*x**2 + 7*x - 10. Let c(t) = 3*t**2 + 8*t - 11. Let g(l) = -3*c(l) + 4*i(l). Let w be g(3). Is 27 a factor of s(w)?
True
Let c(o) = o**3 - 25*o**2 - 15*o - 62. Let w be c(26). Let k = w + -64. Does 13 divide k?
False
Suppose 0 = -n + 2589 - 2769. Suppose 192 = 4*k + 1704. Let g = n - k. Does 22 divide g?
True
Let n(x) = 2*x**3 + 53*x**2 + 230. Does 57 divide n(-23)?
True
Does 9 divide 4/((-16)/(-2540)) - (10 - 15)?
False
Suppose -59*x = -7*x. Suppose r = -4*m + 521, -4*r - 7*m + 2*m + 2117 = x. Is r a multiple of 41?
True
Suppose y + 8883 = 4*c, 2*y - 5364 = -3*c + 1312. Is c a multiple of 202?
True
Let o(l) = 3 - 2 + 5 - 19*l + 36*l - 16*l. Let a(n) = 4*n - 1. Let s be a(2). Is o(s) a multiple of 13?
True
Let c(f) = -794*f**3 + 2*f**2 - 3*f - 5. Is 6 a factor of c(-1)?
False
Suppose 302*y = 148*y + 132*y + 150700. Does 14 divide y?
False
Let a(z) = 3*z**2 + z + 1. Let y be a(-1). Suppose -11*o + 76 = -790 - 36. Suppose s - o = -y*r + 104, -4*s - 232 = -4*r. Is 8 a factor of r?
False
Suppose 5 + 16 = 3*y. Let g(a) = 5*a**2 + 5*a + 16. Let j be g(y). Suppose 304 = 8*o - j. Is 25 a factor of o?
True
Let q be 1/(-5 + 20/5) - 0. Does 95 divide ((-65)/(-26))/(q/(-760)*2)?
True
Let m(v) = 15*v**2 - 5*v - 5. Let f be m(7). Suppose -8*g = -13*g + f. Is 16 a factor of g?
False
Let o(i) = 2*i**2. Let s be (680/(-14))/2 + 20/70. Let l be (-2)/(-8) + (-42)/s. Is o(l) even?
True
Suppose 10*m + 385*m - 2438216 = -17*m. Is m a multiple of 68?
False
Let q be (-10)/(-11 + -19)*12. Suppose 0 = 2*r - 5*r + y - 4, -12 = -2*r - 3*y. Suppose -2*l = 4, -q*t = -r*t - 5*l - 490. Does 15 divide t?
True
Let g(r) = 447*r**3 - 4*r**2 + 7*r - 9. Is 31 a factor of g(2)?
True
Let h be (-120956)/(-242) + 3 + (-62)/22. Is (-272)/10*h/(-40) a multiple of 85?
True
Let l = -18 + 23. Suppose 0 = -4*t + 2*c + 2390, -5*c + l = -0*c. Is 26 a factor of t?
True
Suppose -d + 5 - 88 = 0. Let q = 183 - d. Suppose 4*h - 38 = q. Does 19 divide h?
True
Let j(b) = -3*b + 38. Let n be j(12). Let d(u) be the third derivative of 5*u**4/3 + 4*u**3/3 - 3*u**2. Is d(n) a multiple of 22?
True
Suppose -3*w + 10 = 4*d + d, -3*d - 4*w = -6. Let i(f) = 4*f + d*f + 19 - 12*f + 11*f. Does 36 divide i(25)?
True
Let j be 9/(-18)*(-2 - -26)/(-3). Suppose -3*i - 3 = 0, -j*f + 2*f - 31 = 3*i. Does 28 divide (f/(-28))/(1 + 582/(-584))?
False
Suppose 7*r - 15 = 2*r, -4738 = -5*t + 4*r. Suppose 6*n - t = n - 5*o, -2*n = -5*o - 359. Is 10 a factor of n?
False
Let s = -9433 + 15754. Is 7 a factor of s?
True
Let j(u) = 6*u + 8. Let f(g) = g. Let v(r) = -5*f(r) + j(r). Suppose -5 = 4*o - 5. Is v(o) a multiple of 8?
True
Suppose 0 = -4*r, 3*r = 5*v - r - 1065. Let h = 343 - v. Does 6 divide h?
False
Let k(t) = 44 + 33 - 111 + 3*t + 46. Let g be k(-3). Suppose g*a = -a + 340. Does 17 divide a?
True
Suppose 3*u + 6 = 5*m + 59, 0 = 5*m + 4*u + 46. Is (609/(-15))/(2/m) a multiple of 7?
True
Let q(x) = 6*x + 1. Let j be q(2). Let w(a) be the second derivative of -a**5/20 + 7*a**4/6 - 3*a**3/2 - 17*a**2/2 - 2*a - 757. Is 21 a factor of w(j)?
False
Suppose 0 = 38*s - 1387 - 4845. Let b = s - -611. Is 31 a factor of b?
True
Let w be ((-32)/(-10))/((-418)/55 - -8). Suppose -w*n = -32 - 104. Does 10 divide n?
False
Let n(a) = -a + 36. Let l be n(24). Suppose -30*f + l*f + 3420 = 0. Is f a multiple of 3?
False
Suppose 0 = 6*q - 3*q. Suppose 8*k - 12*k + 392 = q. Is k a multiple of 13?
False
Suppose f = 4*c - 255753, 0 = 2*c - 27*f + 35*f - 127800. Is 216 a factor of c?
True
Is (86 - -1)/(8/880) a multiple of 3?
True
Let n be -5 - 118/(-2) - (-6)/(-2). Suppose -3*s + s + 137 = 5*y, -n = -s + y. Suppose h - s = 7. Is 18 a factor of h?
False
Let a = 68203 - 14344. Does 37 divide a?
False
Let a(z) = 528*z**2 + 98*z - 286. Does 24 divide a(3)?
False
Let t = 6177 + 17269. Is t a multiple of 11?
False
Let u = 426 - -684. Let g = u - 633. Is 9 a factor of g?
True
Let x(v) = -58*v**3 - 3*v**2 - 13*v - 3. Is x(-3) a multiple of 9?
True
Let u(z) = 3*z**2 + 114*z - 285. Is 65 a factor of u(45)?
True
Let t be -17 - 746 - 1/(3/(-3)). Let v = -537 - t. Is 9 a factor of v?
True
Let c = 6825 - 5355. Is c a multiple of 3