oes 10 divide v/q*(-80)/(-6)?
True
Suppose 13*h + 307 - 333 = 0. Let b(o) = -2*o - 3 + 5 + 20*o**3 - o - 2*o**2 + 3. Is b(h) a multiple of 22?
False
Suppose 48*k = 49*k + 317. Let m = 548 + k. Is 11 a factor of m?
True
Suppose -m = -4 + 3. Suppose -p = -m - 3. Suppose -404 = -2*a - 4*k, -p*a + a = -k - 634. Does 15 divide a?
True
Suppose -88175 - 81785 = -48*j + 15704. Is 160 a factor of j?
False
Let q = -153 + 158. Let i(z) = 5*z**3 - 2*z**2 + 15. Is i(q) a multiple of 10?
True
Suppose -53*f = -47*f - 1380. Let b = -110 + f. Does 15 divide b?
True
Suppose -12*m + 54 = 18. Suppose -k + m*l + 36 = -7, 3*l = -k + 13. Is k a multiple of 5?
False
Let k(z) = 28*z**2 - 13*z + 2. Let m be -2 + (4 - (0 - -8)) - -14. Is k(m) a multiple of 13?
True
Suppose -37*t - 45 = -42*t, -3*w = -3*t - 73221. Is 109 a factor of w?
True
Let r = 830 + 1. Let v = r + -622. Does 22 divide v?
False
Suppose -2*o + 25034 = 2*v, -2*o + 14*v - 15*v = -25033. Is 42 a factor of o?
True
Let q(x) = -x**3 + 4*x**2 - 11*x - 4. Suppose 3*p + r = -18, 10*p - 5*p + 34 = -3*r. Is 12 a factor of q(p)?
True
Does 37 divide (-16058)/(-4)*(-476)/(-833)?
True
Let z be ((-4)/(-3))/(4 + 406/(-105)). Suppose 0 = -2*r + z, -5*i + 1440 + 1305 = 3*r. Is i a multiple of 13?
True
Let l(f) = f**2 + 6*f + 17. Let d be l(-17). Suppose d*p + 2260 = 209*p. Is p a multiple of 34?
False
Let j = -325 - -1051. Let n = 1068 - j. Is 19 a factor of n?
True
Suppose -3*r - 347*m + 346*m = -5127, 2*r - 3417 = -m. Is 2 a factor of r?
True
Suppose 3*i = f + 208248, -332*f + 331*f + 277650 = 4*i. Does 37 divide i?
False
Let n(x) = -x - 9. Let o be n(-14). Suppose -o*b - 25 = 0, 2*j + 4*b - 6*b + 58 = 0. Let u = 54 - j. Does 16 divide u?
False
Let o = 712 - 365. Suppose -2*b + 5*b - 4*r - o = 0, b = -5*r + 84. Suppose q + b = 3*y, 2*y + 3*q - 92 = -12. Is y a multiple of 21?
False
Let g = 327 + 226. Let l = -78 + g. Is l a multiple of 45?
False
Let t be (-21)/28*(-36)/(-27). Let c(z) = 86*z**2 - 8*z - 8. Is 43 a factor of c(t)?
True
Let g be 2 + -10 + 2/(-3 + 2). Does 11 divide -6 - (-5)/(g/(-464))?
False
Let i(u) = -u**3 + 2*u**2 + 5*u - 5. Let w be i(2). Suppose -w*m - 4*o = -1570 - 426, 2*m - 5*o - 805 = 0. Is 100 a factor of m?
True
Let x be (-1)/3*-9 + 61. Suppose 6*h + x = 10*h. Does 2 divide h?
True
Let t = -6 - -14. Suppose -2*z - 20 = t*z. Is 45 - 1 - (z*1 - 1) a multiple of 8?
False
Let v be (5 - (0 + -1))*(1 + 1). Suppose v*d + 129 = 345. Is 9 a factor of d?
True
Let p(j) be the first derivative of -19*j**2 - 25*j + 55. Is 11 a factor of p(-5)?
True
Suppose 5*c = 26 + 84. Let p = -22 + c. Suppose 2*y = 2*s - 118, 5*s + 5*y - 141 - 104 = p. Does 20 divide s?
False
Suppose -17*f = -11*f - 102. Let g = 17 + f. Is g a multiple of 3?
False
Let s(p) = -5*p + 3. Let n be s(-2). Suppose -n = h - w, 59 = -3*h + 3*w - 4*w. Is ((-9)/h)/(1/140) a multiple of 22?
False
Suppose -61889 - 56446 = -105*p. Is 2 a factor of p?
False
Let u(m) = -3*m + 7. Let v be u(5). Suppose a - w + 20 = 0, 4*w - 6*w = -4. Let y = v - a. Does 5 divide y?
True
Suppose u = 2*y + 6*y - 137307, -4*u + 51477 = 3*y. Does 14 divide y?
False
Let r(k) = -k**2 + 1. Let z(m) = -20*m**2 + m + 3. Let s(o) = 6*r(o) - z(o). Let c be s(-4). Suppose c = 6*h - 3*h. Is h a multiple of 10?
False
Let s(b) be the second derivative of 129*b**5/10 - b**3/6 + 28*b. Let h be s(1). Does 14 divide h/3 + (-12)/18?
False
Suppose -10*w + 42 = 2. Suppose 0 = -w*c + 838 + 54. Let x = c - 118. Does 21 divide x?
True
Let b = -372 - -1133. Does 2 divide b?
False
Suppose 5*j + 118 = -3*b, -4*b + 8*b = 2*j + 68. Does 35 divide (13/j)/(2/4) + 431?
False
Suppose 147*v - 37*v = -38*v + 25456. Is 86 a factor of v?
True
Let i(o) = -o**2 + 128*o + 10526. Is i(0) a multiple of 277?
True
Let m(l) = 27*l + 48. Let t be m(6). Suppose 0 = -3*n - 15 + t. Does 4 divide n?
False
Let m = -31 - -31. Suppose m = 9*d - 592 - 353. Is d a multiple of 7?
True
Suppose 0 = -3*d + 4*r + 5, 0 = 4*d - 3*r - 13 + 4. Suppose h + 4 = d*s - 3*h, -2*s + 4 = -4*h. Suppose -3*p = -s*p - 330. Does 22 divide p?
True
Let b(m) = -m**3 - 6*m**2 + 5*m - 16. Let y(n) = -6*n**2 - 3*n - 4. Let f be y(-1). Let l be b(f). Is 7098/35 - (l/10)/1 a multiple of 28?
False
Suppose 5684227 + 2794163 = 238*f + 1823910. Is 15 a factor of f?
True
Let x be 1/(-2)*(-2 - -2). Suppose 0 = a - x*a - 6. Suppose 0 = -7*o + a*o + 12. Does 12 divide o?
True
Let v(p) = -20*p - 3. Let n be v(-6). Suppose 30 + 134 = 2*s - 2*r, 5*r = -2*s + 157. Let h = n - s. Is 11 a factor of h?
False
Suppose r + 50 = -0. Let y = r - -137. Is 29 a factor of y?
True
Let o = -10742 - -14162. Is o a multiple of 114?
True
Let v(l) = 22*l + 36. Let h(d) = -8*d - 12. Let z(t) = 8*h(t) + 3*v(t). Is z(12) a multiple of 9?
True
Let n = -984 + 524. Let f = -228 - n. Is f a multiple of 23?
False
Let z(h) = -h**3 + 67*h**2 + 23*h + 46. Is 148 a factor of z(66)?
True
Let g = 6235 + -4075. Is 36 a factor of g?
True
Suppose -3*g = -2*g + c + 12, 0 = -g + 3*c - 20. Let r = -2753 + 2744. Let s = r - g. Is s a multiple of 5?
True
Suppose -159*p + 1560 = -171*p. Suppose 2*n + 68 = -162. Let r = n - p. Is r a multiple of 4?
False
Let c(s) = 716*s**2 + 16*s + 1. Let x be c(2). Let u = x + -1902. Is 45 a factor of u?
False
Suppose 5*g - 52 - 63 = 0. Let r = 27 - g. Suppose -3*a + 4*a - 49 = -o, 43 = a + r*o. Is a a multiple of 16?
False
Is 2175 - (-12 - 87)/11 a multiple of 21?
True
Let w(c) = c**2 + 24*c + 26. Let x be w(-23). Suppose 4*p - 1 = -x*y, 46 - 18 = 2*p - 4*y. Suppose 5*g + 4*d = 216, 2*g - p*d - 73 = -9. Is 8 a factor of g?
True
Let k(j) = -j**2 + 11*j - 5. Let i be k(10). Let o(l) = 3*l**3 - 9*l**2 - 5*l + 1. Is 18 a factor of o(i)?
True
Suppose 2*n + 4 = 4*y, n + 3*n - 28 = -4*y. Suppose -b = -5*a - 112, -n*b + a + 446 - 74 = 0. Does 21 divide b?
False
Let y(s) = 3*s**2 + 242*s - 8041. Is y(44) a multiple of 45?
True
Let u(h) = h**2 + 26*h + 103. Let v be u(-30). Let g = 158 + v. Is g a multiple of 29?
False
Let s(j) = j**2 - 8*j + 20. Let l be s(5). Suppose -u - 4*u - 310 = -l*p, -3*p + 5*u = -190. Does 6 divide p?
True
Let q be -14*(9/(-6))/3. Let b = 10 - q. Suppose -b*f + 59 = -f + a, -f = a - 28. Is 10 a factor of f?
False
Suppose 112223*h = 112221*h + 6498. Does 7 divide h?
False
Let x = -16720 + 18274. Is x a multiple of 8?
False
Suppose 2*z - 3*b + 166 = -690, 4 = 2*b. Let a = -161 - z. Is 33 a factor of a?
True
Is 187 a factor of 352/132*1*13227/4?
False
Let h be -1 + 5*3/5*1. Suppose 3*l = -h*s + 695 + 612, 3 = l. Is 23 a factor of s?
False
Suppose 0 = 596*i - 519*i - 708246. Does 21 divide i?
True
Let v(h) = 54*h**2 + 3*h + 3. Let n(f) = 3*f + 6. Let z be n(0). Suppose 0 = 5*r + d + z, -5*r + 0*d = -4*d + 26. Does 13 divide v(r)?
False
Let b(t) = 23*t**3 - 9*t**2 + 109*t - 708. Is 12 a factor of b(8)?
True
Suppose -5*j - 2*o = -2446, 2*j - 32*o + 28*o - 964 = 0. Does 114 divide j?
False
Let a(c) = -11*c + 127. Is a(-6) a multiple of 8?
False
Suppose -5*u + 4*f + 54 = 0, u - f = -3*f + 22. Let g = -206 - -313. Suppose u*z - g = 13*z. Does 7 divide z?
False
Suppose 3*p - 288 = 6*p. Let o be 2/8 - (-587)/4. Let l = o + p. Is 17 a factor of l?
True
Suppose 2*u = 4*s - 868, -1083 = 59*s - 64*s + 2*u. Is 3 a factor of s?
False
Let p(g) = -g**3 - 7*g**2 - g + 1. Let f be p(-7). Suppose -f = h + h, 3*t + 5*h = -20. Suppose 3*x + q - 438 = 0, 5*q + t*q = -2*x + 292. Does 45 divide x?
False
Suppose 0 = -4*c + 22 - 2. Suppose c*l + 192 - 646 = j, 2*l + 5*j - 160 = 0. Is 10 a factor of l?
True
Suppose 257*u = 130*u + 21311 - 6452. Is u a multiple of 23?
False
Suppose -19385 = -3*k - 4*j, -25842 = 179*k - 183*k - 3*j. Is 124 a factor of k?
False
Let k(u) = u**3 + 6*u**2 - 6*u - 15. Let n be k(-7). Let s be (-4)/n - (-252)/66. Suppose 7*g - 3*q - 132 = 2*g, g - 40 = s*q. Does 4 divide g?
True
Let f(p) = -304*p + 4. Let j be f(1). Let c = 389 + j. Is c a multiple of 19?
False
Suppose 0 = -12*y + 17*y - 15. Suppose -60 = -2*i - y*i + p, -3*p = 2*i - 7. Is i a multiple of 9?
False
Let v be 5/1 - (17 + -15). Suppose 352 = 4*u + 3*s - 83, 5*u - 540 = -v*s. Is u a multiple of 15?
True
Let s(g) = -45*g - 315. Let i be 2/(12/21 + (-820)/1190). Is 6 a factor of s(i)?
True
Suppose -5*t - 4*j = -6, -9*j + 7*j - 8 = -3*t. Suppose -u + 5*f = -227, -5*u - 3*f + 1265 = -t*f. Is