*g + 136 = u*g. Is 16 a factor of g?
False
Suppose -275*c = -89*c - 527310. Is c a multiple of 135?
True
Let g(z) = 3494*z - 103. Does 51 divide g(2)?
True
Suppose 2*q = -2*t + 38, 0 = -5*q - 0*q + 2*t + 88. Does 20 divide (q/5)/(45/3750)?
True
Let m be 3/((-4)/232*2). Let q = -50 - -25. Let g = q - m. Does 5 divide g?
False
Let k(m) = -2*m**3 + 15*m**2 + 15*m + 17. Let n(j) = 6*j**2 + j**3 - 7*j**2 + 0*j**3 + 0*j**2. Let s(u) = -k(u) - 3*n(u). Does 14 divide s(-11)?
False
Let v(x) = x**2 - 9*x - 27. Let n be v(12). Let b be n/(-3) + 13 + -4. Suppose -b = -4*f + 74. Is 6 a factor of f?
False
Suppose v = z - 219 - 214, 0 = v + 2*z + 430. Let q = v - -1423. Is 20 a factor of q?
False
Let n = 419 - 414. Is ((-2704)/n)/(-2) - (-224)/(-560) a multiple of 6?
True
Let i(m) = -m**3 + m**2 + m. Let h(f) = -9*f**3 + 5*f**2 + 3*f - 1. Let s(d) = h(d) - 4*i(d). Let l be s(-1). Does 10 divide -8 - (l + -54) - (3 - 0)?
False
Let z(f) = 3*f**2 - 163*f - 165. Does 115 divide z(56)?
True
Suppose -5*i = -0 + 5, 0 = v + i - 1. Suppose f + 2*a - 14 = 0, -14 = f - v*f - 4*a. Is 14 a factor of f?
True
Suppose 29*j = 23*j + 2352. Let t = j + -360. Does 7 divide t?
False
Let f(d) = d**3 - 7*d**2 + 10*d - 4. Let y be f(5). Let w(l) = l**2 - 11. Let b be w(y). Let t(c) = 3*c**2 - 3*c - 2. Is 4 a factor of t(b)?
False
Does 8 divide 11/(220/60) + 12032?
False
Suppose 0 = 4*t + s - 962, 3*s = 8*s + 10. Suppose 0 = 4*u + l - 2206, -u - 5*l + 301 + t = 0. Is u a multiple of 23?
True
Let r(f) = 64*f + 2359. Is 120 a factor of r(-9)?
False
Let a = 13215 - 5727. Is a a multiple of 18?
True
Is 2*1/6 - (-9411)/9 a multiple of 6?
False
Let m(g) = 2*g**3 - 74*g**2 + 20*g - 155. Is 42 a factor of m(45)?
False
Suppose -12*m + 346 = -62. Let a = m - 31. Suppose a*y = 71 - 38. Is 2 a factor of y?
False
Let s(c) = -4*c**2 - 29*c - 7. Let u be s(-7). Suppose -p + 3*n - 4 = 0, 2*n = -u*n + 6. Suppose -160 = -p*h + 200. Is 18 a factor of h?
True
Let j be (-1)/3 - (-310)/30. Let z be 4/60*3 - (-108)/j. Suppose -o + 64 = -z. Does 15 divide o?
True
Let u be (-72)/54 + (-32)/(-6). Let q(g) = 3*g + 3*g + 4*g**2 - 1 - 2*g**2. Is q(u) a multiple of 11?
True
Suppose 31*b = 25*b + 12276. Is 3 a factor of b/(-55)*(-10)/4?
True
Suppose 158 = 11*p + 26. Suppose 5*d = p*d - 350. Is d a multiple of 5?
True
Suppose -1060 = -3*r - 2*r - 5*g, -3*r + g + 648 = 0. Suppose -8*h + 190 = -3*h - 3*m, 5*h = -2*m + r. Does 11 divide h?
False
Let x(f) be the third derivative of f**4/24 + 79*f**3/3 + 8*f**2. Let m be x(0). Let g = -80 + m. Is 39 a factor of g?
True
Let m be (-78)/(-507) - (-3)/(78/(-212)). Let u be (0/m)/(-1*(-2 - -1)). Suppose 4*h - 120 = -4*b, 2*b - 2*h - 40 = -u*h. Is 5 a factor of b?
True
Let s be 0/(5*(-6)/(-15)). Suppose -m - 2*m = 5*r - 51, -5*m + 10 = s. Suppose 7*b = r*b - 426. Does 27 divide b?
False
Suppose -s + 2*k = -8738, -4*s + 3*k = -21312 - 13670. Does 11 divide s?
False
Let w(p) = -p**2 + 2*p. Let h be w(2). Suppose h = 3*x + 4*f - 0*f - 37, 4*f = 3*x - 77. Is 3 a factor of x?
False
Let u(j) = j**3 + 33*j**2 - 82*j - 306. Does 6 divide u(-33)?
True
Let a be (-1 - (-146)/(-3))/((-5)/15). Does 11 divide (-2)/(-6) - (-4)/12*a?
False
Suppose 130*t - 3*v = 126*t + 18057, 5*t = -5*v + 22615. Is 59 a factor of t?
False
Let b(i) = 2*i**2 - 53*i - 1. Let f(x) = -x**2 + 27*x + 1. Let a(k) = -6*b(k) - 11*f(k). Is a(16) a multiple of 15?
True
Let y = -295 - -298. Suppose y*x = -549 + 1467. Does 5 divide x?
False
Suppose 4*d + 2*z = 72, -5*d - z + 95 = 4*z. Let n(y) = 10*y - 9*y + 4*y - 24. Does 50 divide n(d)?
False
Let y(z) be the third derivative of z**6/120 + z**5/15 - 13*z**4/24 + z**3/2 - 12*z**2 - 5. Is 11 a factor of y(7)?
True
Suppose -2*x - t + 2013 = -2*t, 0 = 2*x - 2*t - 2010. Is 21 a factor of x?
True
Let x(p) be the first derivative of 17/2*p**2 - 5*p + 16. Is x(7) a multiple of 39?
False
Let v(x) = -7 + 8 - 8 + x**2 - 15 - 9*x. Let k be v(10). Let a = 19 - k. Is 9 a factor of a?
False
Is -2764*(-4836)/288 - -4*(-1)/24 a multiple of 131?
False
Let c be 12/(-8)*(-5 - -3). Suppose -c*i + 6*i = 21. Let x(z) = 6*z - 18. Is 8 a factor of x(i)?
True
Suppose 5*s + 457 = 2*m, -m + 4*m = 5*s + 688. Let g = -225 + m. Does 3 divide g?
True
Let w be (-15)/(4 - 7)*1. Suppose 4*j - 6*j + 3*n = 9, 4*n = w*j + 12. Suppose j = -3*p - d + 180, 7*d - 60 = -p + 4*d. Is 30 a factor of p?
True
Suppose j + 2*j + 3*d - 30 = 0, -3*j - 5 = -4*d. Suppose 0*o - j*o + 86 = -2*n, 0 = 5*o - 4*n - 92. Is 2 a factor of o?
True
Let s be ((-64)/416 + (-30)/(-26))*-5. Let p(w) = -w**3 + 9*w**2 + 12*w + 10. Is 50 a factor of p(s)?
True
Let f(j) = 264*j + 282. Is f(2) a multiple of 9?
True
Let z = 243 - 239. Suppose -z*p + p + 409 = 2*x, 5*p = x - 211. Is 2 a factor of x?
True
Let j be (-1)/((-4)/64 - 0) - 1. Suppose 0 = j*d - 485 - 1165. Is d a multiple of 5?
True
Let x(i) = 8*i - 14. Let k(s) = s. Let g(d) = 5*d - 13. Let n(l) = -g(l) - 2*k(l). Let p(y) = -5*n(y) - 4*x(y). Is p(11) a multiple of 6?
True
Let t(s) = 15*s - 6. Let m = -41 + 44. Suppose 12 = m*v + v. Does 13 divide t(v)?
True
Suppose 0 = -657*i + 666*i - 3816. Does 53 divide i?
True
Suppose -3*y + 4 = y. Let l(c) = 10*c**3 - 2*c**2 - 4*c + 9. Let g(w) = w**3 + w - 1. Let a(b) = y*l(b) + 5*g(b). Is 5 a factor of a(2)?
False
Suppose 0 = l - 2 - 17. Let r(d) = -23*d**2 - 36*d + 24. Let g(n) = -9*n**2 - 18*n + 12. Let t(y) = 5*g(y) - 2*r(y). Is 7 a factor of t(l)?
False
Let f = 73 - 136. Suppose 4*h = 0, 116 = -4*l + 2*h + 3*h. Let s = l - f. Is 10 a factor of s?
False
Does 4 divide 14*108/(-126) + 4275?
False
Let v(m) = 11*m - 3*m - 58 - 13*m - 10*m. Is v(-10) a multiple of 18?
False
Suppose 25*i = 32*i + 1687. Let c = i - -293. Does 2 divide c?
True
Let v = 6414 + -2739. Does 27 divide v?
False
Let n(m) = 2226*m**3 - 3*m + 2. Let z be n(1). Let k = z + -561. Suppose -8*v + 16*v = k. Is 22 a factor of v?
False
Is 84 a factor of (134982/(-15))/((-12)/(-150)*-5)?
False
Let j(a) = -152*a - 99. Is j(-41) a multiple of 73?
False
Let l(n) = -4*n**2 - n + n**2 - n + 15 + 2*n**2. Let z be l(-5). Suppose z = 23*h - 14*h - 990. Is 22 a factor of h?
True
Let h = 114 + -8. Suppose v + 77 = -h. Let s = v + 315. Does 12 divide s?
True
Let p(n) = 6*n**2 + 52. Let u = 133 + -140. Is p(u) a multiple of 59?
False
Let i = -24074 - -34855. Does 57 divide i?
False
Suppose 7*f + 7596 = 2*f + 3*g, -f - 1518 = -g. Is ((-16)/7 - -2) + f/(-7) a multiple of 16?
False
Suppose -58*k = s - 57*k - 2196, -6621 = -3*s - 14*k. Is s a multiple of 175?
False
Let s(m) = m**2 + 7*m + 24. Let j be 156/(-12) - 4/(-1). Is 42 a factor of s(j)?
True
Let n(v) = 145*v - 1445. Let o be n(10). Suppose -2*j - 3*j = -3*t + 29, -2*j - 8 = 0. Suppose 3 + 5 = -4*i, t*g - o*i - 202 = 0. Is g a multiple of 15?
False
Let b be ((2 - -6) + -6)*(-2)/(-4). Let t be 7 - 7 - (-5 - b). Suppose t*w = 8*w - 92. Is 23 a factor of w?
True
Let b be (0 - -4) + 0 + 0. Let f be 6/b*8/12*5. Suppose a = -f*a + 390. Is 14 a factor of a?
False
Let i(s) = 2*s + 55. Suppose -3*x + 3*q + 11 = -7, -x + 2*q + 10 = 0. Let t = x + -24. Is 7 a factor of i(t)?
False
Let r = -1473 - -4161. Does 16 divide r?
True
Let i(t) = -t**3 + 18*t**2 + 11*t + 24. Let a be i(12). Let p = a + -415. Is 23 a factor of p?
False
Let o be 2/((-6)/(1 + 551)). Let l = o + 396. Does 6 divide l?
False
Let l = 9521 + -1421. Is l a multiple of 15?
True
Let v(b) = -2184*b + 20228. Does 17 divide v(-30)?
True
Let q = 63 - 61. Suppose 440 + 750 = q*i. Is i a multiple of 17?
True
Let x(q) = -25 + 2*q**2 + q**2 - 2*q**2 + 19 - 17*q. Let r be x(19). Suppose -4*m + 101 = -j - 7, 5*j - r = -2*m. Is 8 a factor of m?
False
Let t(s) = 168*s**2 + 224*s - 1610. Is 19 a factor of t(7)?
False
Suppose -5*n - 13 = -5*l - 48, 2*n - 20 = 4*l. Let t(v) = 51*v**2 - 11*v - 24. Is t(l) a multiple of 22?
False
Suppose 5*z - m - 559 = 0, z + 317 = 4*z + 4*m. Suppose -6*s = -2*s - 20, -d = 4*s - z. Is d a multiple of 23?
False
Does 29 divide 5043 + (-5 - 0)*4/(120/(-18))?
True
Suppose 4*o + 116 + 64 = 0. Let s be 10/o - 2/(-9). Suppose 3*v + s = -2*r + 91, r + v - 48 = 0. Does 8 divide r?
False
Let y(n) be the first derivative of n**4/4 - 8*n**3/3 + 6*n**2 - 26*n - 13. Is 4 a factor of y(8)?
False
Let l = -81 + 78. Let r be -2 + 2/12*l*0. Is 0 + 86/(-4)*r a multiple of 35?
False
Let