?
True
Suppose 0 = 4*w - 6*w. Suppose w = -2*i - 28 + 48. Does 10 divide 45/i*100/3?
True
Let j = 859 - -3152. Does 21 divide j?
True
Let j(a) = -a**3 + 6*a**2 - a + 12. Let k be j(5). Suppose -l + 9*l - k = 0. Suppose 0 = 3*c - o - 0*o - 128, -l*c + 4*o = -176. Is c a multiple of 21?
True
Let w be 1/(-2) + 539/14. Let r = -37 + w. Let k(y) = 133*y - 4. Is k(r) a multiple of 22?
False
Let z = 9 + -3. Suppose 3*b = q - 14, 109*q = 108*q - 4*b - 14. Suppose -5*n + z = -q*n, -2*h - 2*n = -74. Is h a multiple of 7?
True
Suppose 58*b - 22 = 47*b. Let c be 38/(-4)*(-4 - -2). Suppose 0 = -b*f + 31 + c. Is 6 a factor of f?
False
Let y(r) = 144*r**2 + 2*r - 196. Is 14 a factor of y(-7)?
True
Let v be -4 - (3*(-2 - 1))/1. Does 10 divide (2202*v/(-20))/((-3)/2)?
False
Suppose -141 = -3*i + c, 18*c - 20*c = 2*i - 86. Suppose 1314 = 52*y - i*y. Does 24 divide y?
False
Let t = 5760 - 2772. Is t a multiple of 36?
True
Let b(i) = -i**3 + 7*i**2 - 11*i + 8. Let v(f) = 3*f - 17. Let z be v(8). Let g be b(z). Let h = 159 + g. Is h a multiple of 33?
False
Suppose 6315 = -7*f + 10*f + 3*d, 4*d = 7*f - 14658. Does 6 divide f?
False
Does 45 divide (54/5)/(2151/394350)?
True
Let x = 655 - 663. Is 13 a factor of 0 + 4/(-16) + (-1298)/x?
False
Let d(o) = -o - 101. Let r(x) = 33. Let k(f) = -3*d(f) - 8*r(f). Is k(24) a multiple of 5?
False
Does 133 divide (1 - (-507)/6)*2072/148?
True
Suppose -91*j + 9*j + 2765450 = 0. Is j a multiple of 28?
False
Let t(z) = -24*z**3 - z**2 + 7*z - 6. Is 51 a factor of t(-6)?
True
Let u = -14789 - -16176. Does 6 divide u?
False
Suppose -3*b + 4*b - 90 = 0. Suppose -d + 139 = 5*q, -99 - 187 = -2*d - 2*q. Suppose 0 = -3*r + d + b. Is r a multiple of 6?
True
Suppose -228*d + 224*d + 8 = 0. Suppose 0 = -3*l - d*z + 128, 10*l - 3*z = 9*l + 61. Is 4 a factor of l?
False
Let b(y) = 2*y - 36*y + 6*y - 4 - 53*y. Is 8 a factor of b(-4)?
True
Let q be (-12)/16 - (-3)/4. Suppose q = 2*t + 35 + 5. Is 11 a factor of 5*8/t*-11?
True
Let x(n) = -n**3 - 15*n**2 - 103*n - 109. Does 59 divide x(-29)?
False
Let f(a) = 3*a + 14. Let r be f(-4). Let w(s) = -s**2 + 6*s**2 + 68*s - 70*s - r. Is w(4) a multiple of 32?
False
Does 95 divide 129*((-6629)/(-105) + 7/35)?
True
Let k(n) = n**3 - 108*n**2 - 394*n - 682. Is 16 a factor of k(112)?
False
Is 62 a factor of 234 - (9 - 7)*(4 + -7)?
False
Suppose 0 = 5*h - 5*t - 130, -2*t - 56 - 20 = -3*h. Let y be (h/9)/1*36. Suppose -k + y = 12. Does 28 divide k?
True
Suppose -f + 2*u + 32364 = 0, 83*f - 5*u - 161830 = 78*f. Is 14 a factor of f?
True
Let w(b) = -85*b**2 + 12*b + 1. Let z be w(2). Is 33 a factor of (-6)/z*7 - (-3268)/15?
False
Let d(r) = -r**2 + 8*r - 10. Let s be d(5). Suppose -s*v = 2*y - 121 - 100, 0 = -y - 2. Does 3 divide v?
True
Let n(v) = -2*v**3 - 91*v**2 - 1116*v - 24. Is 93 a factor of n(-33)?
True
Does 13 divide ((-8478)/(-21))/(7/49) - (6 + -1)?
True
Suppose 0 = -9*t + 12*t + 21. Let s(l) = -l**3 - 7*l**2 + 2*l + 16. Let x be s(t). Is (x + 1)*172/3 a multiple of 13?
False
Let b(a) = a**2 - 19*a - 16. Let p be b(20). Let j = 204 + p. Is j a multiple of 26?
True
Suppose -366*z + 364*z + 8000 = 0. Suppose 7*l - 2741 - z = 0. Does 15 divide l?
False
Let i(x) = -2206*x - 155. Does 11 divide i(-2)?
True
Suppose 56 = 24*t - 16*t. Let a(d) = -6*d**3 + 8*d**2 + 9*d + 11. Let v(s) = -7*s**3 + 8*s**2 + 10*s + 11. Let x(u) = 6*a(u) - 5*v(u). Is 22 a factor of x(t)?
True
Let m = -69255 - -148915. Does 14 divide m?
True
Suppose -4286*f - 6645 = -4301*f. Is 28 a factor of f?
False
Let u(i) = -i**2 - i + 26. Let d be u(6). Let m be 24/d + (-418)/(-4). Let c = 208 - m. Is 7 a factor of c?
True
Suppose -4*n - 19*b + 23*b + 11728 = 0, -5*b = 2*n - 5899. Does 11 divide n?
True
Let o(r) = -16*r + 70. Let c be o(-18). Let j = c + -292. Is 8 a factor of j?
False
Suppose -g = -5*g + 3*w + 11, -5*g + 7 = 3*w. Let c be (-44)/(-2) - (-2 - -1). Suppose g = p, 0 = u + 4*p - 71 + c. Is 10 a factor of u?
True
Let q be (-2 + 48)/(4 + -4 - -2). Let r = q - -109. Is 6 a factor of r?
True
Let v(h) = 2*h**2 + 2*h - 19. Let l be v(3). Suppose -2*f = 4*k - 52, l*f - k = 4*k + 145. Does 7 divide f?
True
Let c(n) be the first derivative of -n**4/4 - n**3/3 - n**2 + 66*n - 11. Suppose -16 = 4*a - 16. Is 11 a factor of c(a)?
True
Suppose 0 = -20*c + 19*c - 825. Let t = -327 - c. Suppose -5*k = -t - 222. Is 16 a factor of k?
True
Let v = 83 + -78. Suppose 9 = -v*q - 6. Is (76/6 - -2)*q/(-2) a multiple of 16?
False
Suppose 128 = 4*m - 116. Let a = 52 + m. Is 13 a factor of a?
False
Let b(p) = 56*p + p**3 + 9*p**2 + 7*p**2 + 0*p**2 - 209 - 12*p + 188. Does 28 divide b(-8)?
False
Let m(d) = 131*d**3 + 4*d**2 - 2*d - 4. Let s be m(3). Suppose s - 714 = 7*j. Is j a multiple of 11?
True
Suppose 3*h = 4*a - 22771, -22252 - 6205 = -5*a - 3*h. Is 81 a factor of a?
False
Let g(d) = -2947*d - 950. Is g(-2) a multiple of 10?
False
Suppose -5*p - 3*z - 48 = 0, p + 4*z = -15 + 2. Let k(t) = 6 + 2*t - 4*t - 2*t. Does 13 divide k(p)?
False
Suppose 9399 + 10929 = 11*s. Suppose -6*x = 5*x - s. Does 24 divide x?
True
Suppose 31*y - 16 = 27*y. Suppose f + 3*b = 359, -3*b = y*f - 810 - 581. Does 18 divide f?
False
Let z be -8*24/(-6) - (-3 + 3). Suppose -4*r = -3*a + 750, 2*a + 3*r = 468 + z. Is 50 a factor of a?
True
Let q(p) be the first derivative of 4*p**3/3 + 5*p**2/2 + 8*p - 24. Let c be q(-8). Suppose -6*g + c = -22. Is g a multiple of 3?
False
Suppose 5*z = -s + 3246, 5*z + 4140 = s + 824. Does 26 divide s?
False
Suppose 0 = -w - 34 + 40. Suppose -i - 4*o = 12, i + o = -w + 3. Suppose i = 9*t - 4*t - 1185. Is t a multiple of 48?
False
Suppose 2*v = -4*t - 254, 2*v - 3*v - 129 = 4*t. Let m = v + 253. Is 64 a factor of m?
True
Let t(b) = -4*b**3 + 3*b**2 + 7*b + 2. Let q = 13 - 15. Is t(q) even?
True
Suppose 0 = -0*i + i - 55. Suppose 5*l + 3*k - 370 = -0*k, -3*l = 4*k - 233. Let f = l - i. Is 3 a factor of f?
False
Let y = -2529 - -3739. Does 22 divide y?
True
Suppose -9*q - 98000 = -37*q. Is q a multiple of 30?
False
Suppose 6*t + 21 = -9. Let z be ((12/t - -2)*10)/(-1). Is 32 a factor of (-6*1)/(z + (-134)/32)?
True
Let u(m) = -221*m**3 - m**2 + 1. Let f be u(-1). Does 19 divide 4/(-34) + 302796/f?
False
Let u(x) be the first derivative of -23*x**2/2 + 213*x + 91. Does 22 divide u(-7)?
True
Let f be (5*4/16)/(3/12). Suppose f*q + 2*u + 358 = 6*q, 5*q + 5*u = 1745. Is 11 a factor of q?
True
Let u = 5 + -6. Let w(p) = 108*p**3 + 5*p**2 + p + 4. Let t(g) = 326*g**3 + 14*g**2 + 3*g + 11. Let a(d) = -4*t(d) + 11*w(d). Does 29 divide a(u)?
True
Let a = -235 + 723. Is a - (-5 - 0 - 1) a multiple of 26?
True
Let c(t) = -t**2 - 15*t + 9. Suppose 100 = 4*y + z - 134, y = -3*z + 53. Let b = -71 + y. Is 31 a factor of c(b)?
False
Suppose v + 15690 - 2692 = 5*u, -5*u + 5*v + 13010 = 0. Is 23 a factor of u?
True
Let o(g) = g**2 + 34*g + 5. Let j be o(-35). Suppose -9110 - 2730 = -j*v. Is 8 a factor of v?
True
Suppose 62*k - 761460 = -22*k. Is k a multiple of 185?
True
Let m(c) = c**3 + 18*c**2 + 76*c + 6. Let k be m(-11). Suppose k*y + 140 = 8113. Is y a multiple of 12?
False
Is 9/6*(13784/24 - 5) a multiple of 22?
False
Let j be (-28)/(-8) + ((-3)/2)/3. Suppose 4*q - c + 4*c - 15 = 0, -6 = -j*q - 4*c. Is 2 a factor of q?
True
Let n be 7 + 10/(-5) - -3. Let d(f) = n + 3*f + 8*f - 4*f + 5*f. Is 28 a factor of d(2)?
False
Suppose 35*c = -12*c + 6*c + 537264. Is 208 a factor of c?
True
Let j(v) = 5915*v - 346. Is 82 a factor of j(1)?
False
Let w = 37 + -34. Suppose -g + 6 = -3*g, -w*a + 12 = -g. Suppose 0*o - 5*o + 141 = -a*r, 2 = -r. Is o a multiple of 3?
True
Suppose 56*a = 59*a - 5847. Suppose 859 + a = 18*h. Does 52 divide h?
True
Let j(o) = 12*o**2 + 2. Let y be j(-3). Let c = -8655 - -8697. Let u = y - c. Does 5 divide u?
False
Let d(x) = -x**3 + 6*x**2 + 12*x - 30. Let u be d(7). Suppose 5*b = q + 4*q - 285, 231 = 4*q - 3*b. Suppose 6*s = u*s + q. Is s a multiple of 10?
True
Let w(f) = -f**2 - f - 3. Let n be w(-7). Let x be (-5)/(50/12)*75/n. Suppose 4*v + 4*m - 632 = 0, -v + x*v - 162 = -3*m. Is v a multiple of 13?
True
Let f(k) = -3*k + 4 + 3 + 10. Let t be f(5). Is 3 + (2/(-4))/(t/(-4)) even?
True
Let n be 27/18 + (6/4)/3. Suppose 2*t - 12 + n = -l, l - 6 = -t. Is 16 a factor of ((-12)/10)/(l + (-4492)/2240)?
True
Let q(a) = 2*a**3 + 2*a**2 + 29*a + 