*b + 123, -m*q = 2*b - 162. Is b a multiple of 36?
False
Let h be 78/(-10)*-13 - (-54)/90. Let v = -87 + h. Suppose 10*a + 360 = v*a. Is 6 a factor of a?
True
Let n(a) = 12*a + 77. Let l be n(-6). Suppose 0*f - 2*f + 20 = -q, 0 = l*f + q - 36. Does 3 divide f?
False
Suppose 2*y = -8, -2*u = 3*y + y - 4. Is 5/u*(-5 + 6455/5) a multiple of 10?
False
Let m = -4 + 4. Suppose v - h - 5 = m, 2*v = -v + 5*h + 17. Suppose -207 = -v*c - 47. Is 20 a factor of c?
True
Let t = 94 + -92. Is 37 a factor of (-1908)/(-90)*50/t?
False
Suppose 84217 + 122001 = 23*x. Is 94 a factor of x?
False
Suppose 47765 = 2*t - 15121. Does 223 divide t?
True
Let b(m) = 250*m + 5246. Is 17 a factor of b(-15)?
True
Let d(l) = 23*l**2 - 135*l - 500. Is 12 a factor of d(44)?
True
Let y(v) = 14*v**3 - 55*v**2 + 71*v + 17. Let n(g) = -3*g**3 + 14*g**2 - 18*g - 4. Let r(u) = 9*n(u) + 2*y(u). Let i be r(-22). Does 10 divide (i/36)/((-2)/4)?
False
Suppose -3*p + 5*k = 94 + 31, 0 = -p + 5*k - 35. Let b = -47 - p. Does 8 divide 5 - b - -1*1?
True
Let z be 16/(-12) + 33464/(-12). Is (z/315)/(2/(-14)) even?
True
Let a = 56 - 16. Suppose -2*m - 290 = -4*d, 0 = 5*d + 3*m - 295 - a. Suppose 0 = -3*r - 31 + d. Is r a multiple of 2?
False
Suppose -22*s = 3006 - 2962. Let x(z) = z + 6. Let y be x(-3). Is 7 a factor of (-2 - y - s) + 53?
False
Let x = 2 - -23. Let g be (x - 4)*(-450)/(-21). Let p = -319 + g. Does 43 divide p?
False
Let u(s) = 24*s**2 - 7*s + 1. Let h be u(3). Suppose 0 = z - w - 56, 4*w = -4*z + w + h. Is z a multiple of 30?
False
Let i = -430 + 83. Let r = i - -1197. Is r a multiple of 65?
False
Let l(t) = 5134*t + 389. Does 93 divide l(3)?
False
Is 3 a factor of (-2394)/(-70)*(-1020)/(-18)?
True
Let y(n) = -653 + 8*n**2 + 4*n + 0*n + 661 + 10*n**3. Is y(4) a multiple of 36?
True
Let q = 825 - 878. Let u = 1066 + q. Does 29 divide u?
False
Let b = 8206 - 7351. Is b a multiple of 3?
True
Let p be (-12)/42 - (-2 + (-80)/(-14)). Let l be (1 - 0)/(p/8) - -17. Suppose 0 = -4*s - l + 147. Does 16 divide s?
False
Let m(s) = -2*s + 22. Let n be m(16). Let u be ((-45)/n - 0)*2/1. Suppose u*r = -0*r + 315. Does 14 divide r?
False
Suppose 25*p - 24*p = f - 11678, 5*f = 2*p + 58390. Does 79 divide f?
False
Let k = 600 + -596. Suppose 1335 = 24*a - 19*a + 5*b, 3*a = -k*b + 805. Is a a multiple of 30?
False
Let n = 309 + -306. Suppose 5*l - 6209 = n*v, 28*l - 5*v + 3739 = 31*l. Is l a multiple of 8?
False
Let z(b) = 20*b + 3677. Is z(30) a multiple of 16?
False
Is 184 a factor of (0 + 723/4)/(1035753/49312 + -21)?
True
Suppose -2*s + 5*g = 2*s + 13, 0 = -4*s + 4*g - 8. Does 10 divide s*14*371/42?
False
Let s(t) = t**2 + 27*t + 54. Let x be s(-25). Suppose 0 = -x*u - 3*p + 1683, 0*u = -u - 5*p + 425. Is u a multiple of 14?
True
Suppose 3*g = -5*c + 197 + 569, g = 2. Suppose 0 = 157*y + 477 + 779. Let n = y + c. Does 16 divide n?
True
Suppose 16*r + 148 - 69 - 31 = 0. Let h = -40 - -25. Does 5 divide 15*(r + (-140)/h)?
True
Suppose -537 = 29*m - 32*m. Let g = -74 + -9. Let x = m + g. Does 9 divide x?
False
Let f(l) = -21*l + 30 + 8*l**2 - 48 + 32 + l**3. Does 24 divide f(-10)?
True
Let g = 225 - 223. Suppose -13 - 96 = -2*i - 3*x, g*x = 3*i - 170. Does 6 divide i?
False
Suppose o + 2932 + 962 = -5*i, -782 = i - 3*o. Let a = 1199 + i. Is 30 a factor of a?
True
Suppose -51233 = -26*i + 55523. Is 21 a factor of i?
False
Suppose -2*d + 4*d = 774. Let c(j) = 44*j**2 + 35*j + 71. Let b be c(-4). Suppose -5*p - 4*q = -q - b, -3*p + d = 3*q. Is p a multiple of 31?
True
Suppose 3192 = -21*q + 2*q. Let t = 400 + q. Is 38 a factor of t?
False
Let h(d) = -d**2 - 21*d + 15. Let y = -40 + -12. Let f be 296/(-18) + y/(-117). Is 8 a factor of h(f)?
False
Let c(p) = -p**3 - 12*p**2 - 60*p + 33. Let h be c(-14). Let f = -751 + h. Does 8 divide f?
False
Let q(x) = -8*x - 111. Let c be q(-17). Let z = c - -723. Does 34 divide z?
True
Suppose 4*t + 2 = 3*t. Let s(b) = -68*b**3 + 10*b**2 + 8*b + 2. Is s(t) a multiple of 38?
True
Suppose -31 = -4*n + 29. Suppose 3*b = -n, 3*s - 5*b = -0 + 37. Does 27 divide 137 - (s + -6 + 4)?
True
Let j(k) = -k**2 - 10*k + 15. Let m(x) = 3*x**2 + 19*x - 30. Let u(b) = -5*j(b) - 2*m(b). Let z be u(7). Suppose 18*r - z*r = -30. Does 3 divide r?
True
Suppose 2*r + 5*x - 45 = 6*r, 2*x = 2. Let h be (7/(r + -4))/((-2)/(-24)). Does 6 divide 350/30 + (-2)/h?
True
Suppose 96 = -12*p + 16*p. Does 68 divide ((-150)/(-5))/(4/p)?
False
Let w be ((-315)/20 + 1)*4. Is (57 + w)*-6*3 a multiple of 36?
True
Let t be (84192/20)/4 - (-6)/10. Suppose -3*x - a = -t, -x + 4*x + 2*a = 1050. Does 16 divide x?
True
Suppose 4*a - 1 + 13 = 0, -3301 = -4*b - 5*a. Is b a multiple of 15?
False
Let j(a) be the first derivative of 8*a**3/3 - 5*a**2/2 - 12*a - 86. Is 13 a factor of j(5)?
False
Suppose 3*y - 30377 = -8*o + 8*y, 2*y + 7592 = 2*o. Is 131 a factor of o?
True
Is 10 a factor of 1665/6 - (-63)/(-126)?
False
Let h = -5265 + 8988. Is h a multiple of 137?
False
Suppose 2*b + g + 4 = -7, 4*b + 7 = -5*g. Let k be (b/20)/(1/5). Does 19 divide (114/(-12))/(1/k)?
True
Suppose 32*f - 59880 = -8*f. Does 7 divide f?
False
Let f(h) = -h**3 - 29*h**2 - 24*h - 12. Is f(-30) a multiple of 201?
True
Let q(g) = 200*g + 14. Let p(t) = 67*t + 5. Let y(a) = -8*p(a) + 3*q(a). Let n be y(1). Let m = -53 + n. Does 2 divide m?
False
Let j be -3 + (-1655)/(-35) + 4/(-14). Suppose j*x - 7878 = 16586. Does 28 divide x?
False
Let v(b) = -2236*b - 34. Is 66 a factor of v(-4)?
True
Suppose 3 = -3*c - 18*l + 23*l, -l = 2*c - 11. Suppose 5*r - 4948 = 3*i - 2*i, -c*r + 3966 = 3*i. Is 18 a factor of r?
True
Let v(y) = 809*y + 11. Let o be v(-4). Let t = 15 - o. Is 29 a factor of 6/(-33) - t/(-33)?
False
Let b = 169 + -166. Suppose o = -2*o + 3*r + 144, -o + 42 = -b*r. Is o a multiple of 8?
False
Let n be (-2527)/(-7) - -7 - -6. Suppose v - 122 = -d, 2*v - n = -3*d - 10. Is d a multiple of 24?
True
Let v = -260 + 262. Suppose -v*f + 0*f = -2*s + 674, 5*s + 4*f = 1694. Does 29 divide s?
False
Let v = 14500 + -10665. Is v a multiple of 59?
True
Let v(t) = 399*t**3 + t**2 + 4*t - 4. Let j be v(1). Let m = j - 270. Does 10 divide m?
True
Let i(z) = -85*z**3 + 11*z**2 - z + 26. Does 44 divide i(-6)?
True
Let x = -36 + 8. Let f = x - 42. Does 31 divide f*5/(-10) + -4?
True
Let o = -8 + 11. Suppose -2 = -4*x - 3*c, x - c - 27 + 23 = 0. Is 15 a factor of 74 + (x/3 - o/(-9))?
True
Suppose -78650 = 20*y - 45*y. Is y a multiple of 121?
True
Let t be (0 + (-135)/(-6))*8. Suppose 6*q - 651 = -615. Suppose -2*d = -q*d + t. Does 26 divide d?
False
Let r = 120 + -117. Suppose -r = -3*b, 8*b - 4*b + 2972 = 4*h. Let w = -415 + h. Does 15 divide w?
False
Let n(u) = -444*u - 432. Is n(-3) a multiple of 91?
False
Let a(p) = -p**2 + 12*p + 9. Let o be a(13). Let d be 3/(-6)*-1*(o - 58). Let u = 51 + d. Does 5 divide u?
True
Let m(j) = -j**3 + 6*j**2 + 15*j + 27. Let c be m(8). Suppose 0 = 12*g - 11*g - 5*t - c, 2*g = t + 56. Is 3 a factor of g?
False
Let h be 6/(120/725) + 2/(-8). Let r = h - 44. Let v(o) = -25*o - 40. Is 13 a factor of v(r)?
False
Suppose -26 = -i - 2*b, 4*b + 44 = 2*i - 0*b. Let d(n) = -5*n + 4*n - 18 + 3*n + 0*n. Is 6 a factor of d(i)?
True
Let d be (-11 - -8)/(-6)*(-1 - -1). Suppose -12*r + 1320 = -d*r. Is r a multiple of 25?
False
Let l(s) = -5*s + 321. Is l(-33) a multiple of 9?
True
Suppose -4*m + 4934 + 13495 = -11715. Is m a multiple of 6?
True
Let t be (32/(-12) - -3)/(4/(-444)). Let w = t + 82. Is 48/(w/30*1/2) a multiple of 8?
True
Suppose 0 = 5*i - 10 - 60. Suppose 5*v + 34 = i. Does 36 divide (-1 - -4)*(16 + v)?
True
Is (((-553408)/(-112))/(8/28))/2 a multiple of 194?
False
Suppose -11*f - 5*f = -64. Suppose 0 = w + f, 2*a - 65*w - 212 = -61*w. Is 14 a factor of a?
True
Let g(n) = -1. Let h(s) = -s**3 + 28*s**2 + 26*s + 8. Let m(w) = 3*g(w) - h(w). Is 19 a factor of m(29)?
True
Suppose 0 = -29*u + 18*u - 33. Let w(s) = 14*s**2 + s + 3. Is w(u) even?
True
Suppose -4*m - t - 4 + 6 = 0, 2 = 5*m + t. Let q be 2/4*20 + m. Suppose q*u = 1799 - 569. Does 13 divide u?
False
Let s = -50 - -52. Let n be -6*(s + 1 + 3498/(-12)). Suppose n = 16*x - 2893. Is x a multiple of 17?
True
Suppose 0*f - 17*f + 493 = 0. Suppose 0 = 27*v - f*v + 842. Is 7 a factor of v?
False
Let a(h) = -h**2 - 14*h + 5. Let y be a(-7). Let n(p) = p - 7. Let f b