?
False
Does 25 divide (-6 + (-67878)/12)*(-30)/9?
True
Let j = -2284 + 5351. Does 26 divide j?
False
Let p be 4 - (10 - (3 + 1)). Let n(z) = -107*z + 24. Does 4 divide n(p)?
False
Suppose 2*s + 5 = -5*l, -18*l = -19*l + 1. Let h be (-2 + 2)/(1 + 0). Is 5 a factor of h + 96/10 + (-2)/s?
True
Let s = -5993 - -10725. Does 14 divide s?
True
Let m(x) = 38*x**2 - 36*x**2 - 3*x**3 + 0*x**3 - 1. Let y be m(1). Is 8 a factor of 2/(y/42*6/(-8))?
True
Let s(d) = -3*d - 11. Let m be s(-5). Suppose 0 = 5*k + m*i + 13, -1 = -5*k + 2*i - 2. Is ((-27)/(-6))/(k/((-176)/6)) a multiple of 11?
True
Suppose -280*q + 2932185 + 3031255 = 0. Is q a multiple of 13?
False
Let q(n) = -n**3 + 12*n**2 - 68*n - 36. Is 110 a factor of q(-19)?
False
Let l = 46782 - 32695. Is l a multiple of 71?
False
Suppose -d = 4*l - 23372, 5*d + l + 23693 = 140686. Does 10 divide d?
True
Suppose -36*z - z + 132891 + 585908 = 0. Does 14 divide z?
False
Let b be ((-2520)/(-49))/(3 - 88/28). Does 14 divide (7136/b + (-4)/(-18))*-5?
True
Suppose 66*w + 16590 = 24*w. Let n = w + 445. Is n a multiple of 8?
False
Let g be (-160)/6*(-120)/25. Let a(t) = -16*t + 101. Let h be a(6). Suppose -z = -0*z + h*v - 110, 0 = z - v - g. Is 27 a factor of z?
False
Suppose -321*y + 324*y - 2*o = 17657, 0 = -3*y - 5*o + 17608. Is 16 a factor of y?
False
Let h(m) = 412*m**3 + m + 12 - 505*m**3 - 10. Suppose 2*t - 22 = -t + 5*r, -5*t = r + 10. Is 9 a factor of h(t)?
False
Suppose 0 = 4*n + 4*i + 84, 0*n - 2*i + 12 = -n. Let z = -15 - n. Is (60/z)/5 - -14 a multiple of 9?
True
Let m(o) = -1 - 2 + 2*o**2 - 54 - o. Let n be m(0). Does 2 divide n/(-2)*(-2 + 32/12)?
False
Suppose -3*w - 9 = -6. Let z be (-3)/((1/(-4) + 0)*-6). Is 60 + w/(z/(-6)) a multiple of 18?
False
Suppose -n - 6 + 8 = 0. Suppose -2*k + k - 85 = -2*p, p - n*k - 50 = 0. Suppose 2*v = p + 30. Is v a multiple of 5?
True
Suppose -3*p + 3*w - 1862 = -8*p, 5*w + 5 = 0. Suppose -368*g + p*g - 90 = 0. Is 6 a factor of g?
True
Suppose 38*m + 721808 = 195*m + 72*m. Is m a multiple of 244?
False
Let n(a) = -2*a**3 + 3*a**2 - 5*a + 1. Let y be n(-6). Suppose -4*z + 2*q - 3*q + 766 = 0, 3*z = q + y. Does 4 divide z?
False
Let k(z) = 42*z**2 - 10*z + 17. Let p be k(3). Let c = p - 95. Does 18 divide c?
True
Suppose 5*j = 2*m + 11552, 2*j - 95*m - 4620 = -94*m. Does 4 divide j?
True
Let l be 6*-1*(-21)/9. Let a(y) = -4 + y + l + 2 + 12. Is 9 a factor of a(-6)?
True
Let p = -16525 + 27562. Is p a multiple of 39?
True
Let i(w) = 2106*w**2 - 33*w + 33. Is i(1) a multiple of 11?
False
Let s be (9 + 12290/30)*3/2. Suppose -4 = -2*y, 7*y = 4*u + 5*y - s. Is u a multiple of 12?
False
Let v(y) = 184*y**2 + 2*y + 2. Let g be v(-1). Suppose g = m + 8. Does 43 divide m?
False
Suppose 3*o - 270 = -15*o. Suppose -o*h + 0*h = -5355. Does 21 divide h?
True
Suppose 0 = z + 2*x - 56794, 3*x - x + 227196 = 4*z. Does 15 divide z?
False
Suppose 3*a - 2927 = -2*j, -167 - 1310 = -j + 3*a. Suppose -3*f = u - 7*f - 352, -4*u - 4*f = -j. Does 26 divide u?
True
Let t(z) = -501*z**3 - 3*z**2 - 2*z - 2. Let a(g) = 499*g**3 + 3*g**2 + 2*g + 3. Let w(i) = 2*a(i) + 3*t(i). Is w(-1) a multiple of 18?
True
Let l(a) = -6*a**3 + 3*a**2 + 16*a + 10. Is 69 a factor of l(-3)?
False
Let f(i) = -37*i + 183. Does 55 divide f(-56)?
True
Let a be 206 - ((-4)/20)/((-7)/175). Suppose 0 = -4*r - w + a, 1 = 4*w - 3. Is 30 a factor of r?
False
Suppose -4*s - 3*y = -304, 5*s - 3*s + 5*y - 138 = 0. Let c be 0 + -3 + (1 - s/1). Let x = -48 - c. Is 4 a factor of x?
False
Suppose 2*t - 7*t + 2*k + 1286 = 0, 2*t - k = 514. Is (-1)/(t/(-51) - -5) a multiple of 7?
False
Suppose -61*p + 64*p - 4116 = 0. Is 7 a factor of p?
True
Let z(p) = 40*p**3 - 3*p + 7. Let l be z(2). Let a = l - 226. Is 11 a factor of a?
False
Let v(n) = 5*n**2 + 23*n + 9. Let f be v(-5). Is 9 a factor of (12 + -3)*(f - 13)?
True
Suppose 44*h - 38*h + 12 = 0. Is 27 a factor of (-705)/h + (-222)/148?
True
Let s(q) = q**2 - 10*q + 22. Let j be s(8). Suppose j*z - 11 = 13. Suppose z*u = 654 + 126. Is u a multiple of 15?
True
Suppose 0 = 14*s - 103*s + 147117. Does 29 divide s?
True
Is 26/117 - ((-3)/5 - 1003765/225) a multiple of 46?
True
Does 77 divide -5 + (-74)/(-14) - (-403138)/119?
True
Let g(w) = -8*w - 10. Let k be g(-2). Suppose 2*s - 9*m = -k*m + 668, -s = 5*m - 308. Is 20 a factor of s?
False
Let y(n) = -2*n - 24. Let t be y(-12). Let m be (3/(-5) - t) + 83/5. Suppose -2526 = -m*k + 290. Is k a multiple of 16?
True
Let i be 2/(-6) + -95*12/(-45). Suppose 9429 = -4*t + i*t. Is t a multiple of 7?
False
Let k = 1251 - 714. Suppose -10 = 4*n + 4*r - 22, 5*n + r - 11 = 0. Suppose -87 + k = n*a. Does 34 divide a?
False
Suppose -6*p - 21 = -69. Suppose 0 = -5*t + p*t - 558. Suppose 2*a = -5*x + t, 3*x - a - 122 + 6 = 0. Is x a multiple of 19?
True
Let z be ((-2)/(-10) - -1)/((-3)/2290). Let x = z + 1468. Is 46 a factor of x?
True
Let f(v) = 4*v**2 + 3*v + 12. Let z be ((-25)/(-2) - -1)*(-20)/(-30). Is f(z) a multiple of 33?
True
Let s(w) = 4*w - 43. Let j be s(12). Suppose j*i - 655 = -r, -i + 0*r + 4*r = -110. Is i a multiple of 13?
True
Let c = -194 - -196. Does 16 divide -210*((-3 + 5)/c)/(-1)?
False
Suppose 15195 = 22*f - 17013. Is f a multiple of 24?
True
Suppose 0 = -5*h - 4 + 24. Suppose 0 = c - 5*x - 34, -6*c = -h*c - 5*x - 58. Does 12 divide 6/c + (-342)/(-8)?
False
Let q = 57 - 13. Suppose -q - 676 = -5*x. Is 14 a factor of x?
False
Suppose 0 = 2*p + 3*y - 4, -5*p + 0*y = -3*y - 52. Let v be (1 - 1)*(p - 7). Suppose 5*f - 805 - 110 = v. Is 17 a factor of f?
False
Let c(b) = 158*b**3 + 12*b**2 - 8*b + 32. Let a(x) = -53*x**3 - 4*x**2 + 2*x - 11. Let o(l) = 8*a(l) + 3*c(l). Does 34 divide o(2)?
True
Let g be -60*(-4 - 21/(-6)). Suppose 10*s - g = 7*s. Suppose s*v - 222 = 8*v. Does 10 divide v?
False
Let y = 253 + -237. Let i(k) = -k**2 + 36*k - 12. Does 44 divide i(y)?
True
Let c(d) be the third derivative of 7*d**6/120 - d**3/6 + 201*d**2. Is c(2) a multiple of 3?
False
Suppose 540 = -13*g + 4*g. Is (384/(-40))/(1/g) a multiple of 36?
True
Does 11 divide 8845 - (-1 - 11)/(-17 - -15)?
False
Suppose 0 = 2*d - 7*d - 5, -4*d = -2*n + 5548. Does 38 divide (-6)/((-688)/n + 2/9)?
False
Let o(s) = 38 + 26 + 19 - 3*s. Is 12 a factor of o(-10)?
False
Suppose 58*a + 77*a = 3816 + 3204. Does 52 divide a?
True
Does 350 divide 212483/3 - (-27)/((-1863)/(-230))?
False
Does 21 divide (-6*5341/(-70))/(-5*4/(-100))?
True
Let u = 15 + -17. Let v(n) = -31*n**3 + 2*n**2 + 8*n. Does 24 divide v(u)?
True
Suppose -30*x + 259232 = 39242. Is 6 a factor of x?
False
Let v(x) = x**3 + 31*x**2 + 33*x + 240. Let h be v(-30). Let g = 6 + -3. Is 16 a factor of -2*g/(-6)*h?
False
Suppose 4*h = -3*h + 2*h. Let n be 0*3*(-1)/9. Suppose h = 2*x - 8, 3*a - 3*x - 93 = -n*x. Is a a multiple of 12?
False
Let m(g) = 538*g - 12. Let x be m(2). Suppose 6*u - 736 = x. Is 12 a factor of u?
True
Suppose -4*g + 23 - 475 = 0. Let z = g + 153. Is z a multiple of 8?
True
Suppose 5*s - 90 = 4*y, 0 = -2*s - 2*s - y + 51. Let o = -140 - -259. Suppose o = -13*z + s*z. Does 17 divide z?
True
Let j(q) = -q**3 + 69*q**2 + 9*q + 1110. Does 47 divide j(67)?
False
Let u be 8/6*(-19)/((-95)/120). Suppose u*t - 2646 = 13546. Is t a multiple of 22?
True
Suppose 2*d + s - 385 = 0, 640 = 3*d - s + 65. Suppose -36 = d*o - 196*o. Does 32 divide 120/o*3*4/1?
True
Let b(w) = 1445*w**2 + 13*w + 20. Let c be b(-2). Suppose -626 - c = -20*f. Does 80 divide f?
True
Let a(w) = -298*w**3 - 4*w**2 - 6*w + 3. Let m(n) = 2*n - 1. Let d(h) = a(h) + 2*m(h). Does 33 divide d(-1)?
True
Let b = -71195 - -168057. Does 5 divide b/285 - (-4)/30?
True
Let a(q) = 36*q**2 + 26*q - 146. Is 14 a factor of a(8)?
True
Suppose -3*j + p + 2586 = 0, -3*j + 4*p + 314 + 2272 = 0. Is j a multiple of 143?
False
Suppose -132*i + 222030 + 835439 = -318103. Does 17 divide i?
True
Suppose -16*y = -19*y + 3*u + 396, 4*y = -4*u + 576. Is 2 a factor of y?
True
Let j be (1 + 3/(-1))*(-7225)/34. Suppose -3*n = -4*w - w - j, 15 = 3*w. Is n a multiple of 46?
False
Let d = 827 + 1427. Is d a multiple of 23?
True
Let n be (38/10 - 5)*-5. Is 37 a factor of 3/(n/(-37))*(-56 - -10)?
True
Suppose 0 = -f + 717 - 51. Let z = 1230 - f. Suppose -o + z = o + 2*m, -3*o + 2*m + 836 = 0. Does 35 divide o?
True
Suppose 0 = s + 2*b - 30522, -3*s - 36*b + 9