*2 + 7*w**2 + 66*w + 5*w**2 - 14 - 23*w**2. Does 18 divide u(-20)?
True
Let m(g) = 18608*g**2 - 1355*g - 1356. Is m(-1) a multiple of 4?
False
Suppose -3*o = 15, -2*o - 16 - 14 = -5*p. Suppose -8*u = -p*u - 784. Suppose -3*f = h - u, -5*f = 3*h - 255 - 73. Is 6 a factor of f?
False
Let r = -488 + 4492. Is r a multiple of 143?
True
Let q(k) = -5*k**3 - 5*k**2 - 14*k - 7. Is 26 a factor of q(-9)?
False
Let o = 93344 - 22652. Is o a multiple of 10?
False
Let t = 3604 + -647. Does 19 divide t?
False
Let w(c) = -9*c + 30. Suppose -i + 2*s - 7 = -3, 3*i + 8 = 5*s. Let j be w(i). Is (9*j - 3)*-2 a multiple of 49?
False
Let i(z) = 8*z**2 + 25*z - 1. Let n be (1 - (-3)/(-12))/(17/(-136)). Does 21 divide i(n)?
False
Let w = -287 - -287. Suppose w = 6*p - 18*p + 4884. Is p a multiple of 18?
False
Let a be -12*(-18)/120*155. Suppose -3*j = 5*q - 2*q - a, -3*j - 489 = -5*q. Is 3 a factor of q?
True
Suppose -s = 3*l - 20802, -31*l + 34*l - 20802 = 3*s. Is 53 a factor of l?
False
Let u(f) = 326*f**2 + 82*f + 8. Does 19 divide u(6)?
True
Suppose 3*l - 1012 = 4*d, 2*d + 56 + 282 = l. Let s = -212 + l. Suppose m = 5*t + 95, 4*m + 4*t - s - 280 = 0. Is m a multiple of 20?
True
Let g be (-27404)/51 - 1/(-3). Let x = -253 - g. Is x a multiple of 16?
False
Let g(v) be the third derivative of -v**5/60 - 2*v**4/3 - 6*v**3 + 39*v**2. Is g(-10) a multiple of 24?
True
Suppose 0 = 10*o - 17*o - 14. Let q be (-1 - o - -6)*4. Suppose q + 18 = 2*x. Is 10 a factor of x?
False
Let i(f) be the first derivative of 3*f**4/2 - 2*f**3/3 - 2*f**2 + 2*f + 58. Does 10 divide i(3)?
False
Suppose -2*y = 507 - 33911. Is 51 a factor of y?
False
Let u(o) = -4*o + 20. Suppose -110*b = -102*b + 40. Does 8 divide u(b)?
True
Let n be 9/6 + -1 + 37/(-2). Let o be 11619/6*n/(-27). Suppose -4*l - 511 = -o. Is 13 a factor of l?
True
Is 11 a factor of ((77/(-14))/(-11))/(-4 - 275445/(-68860))?
True
Let h = 4 + 2. Let t(o) = -o**3 + 26*o**2 + 20*o - 29. Let c be t(25). Suppose 5*w - c = 2*r, -2*r + h*r = -5*w + 1108. Does 55 divide w?
True
Suppose 3*f + 0*c = -2*c + 123, f - 33 = 2*c. Is 25 a factor of (f + 96)*(-20)/(-6)?
True
Let u(q) = q**3 - 30*q**2 + 56*q - 33. Does 12 divide u(31)?
True
Let g be 235/(-25) - 12/20. Does 3 divide ((-290)/(-35))/(g/(-210))?
True
Let f be 1095/18 + 1 - (-6)/36. Let w = f - -25. Is 9 a factor of w?
False
Let p(v) = 54*v**2 + 132*v - 1879. Is 10 a factor of p(25)?
False
Let m be (2196/(-21))/((-2)/28). Suppose -5*u = 7*u - m. Does 41 divide u?
False
Suppose 6*x - 5*b = 198089, x - 31932 = 5*b + 1087. Does 25 divide x?
False
Let j = -114 + 144. Let y be 3/(-5) - (-1 + (-13308)/j). Is 10 a factor of (24/(-15))/(y/150 - 3)?
True
Suppose 0 = p - 5*m + m + 9, -p - m + 1 = 0. Let q be (p + (-1)/(-2))*0. Suppose q = t + 2*t - 108. Does 24 divide t?
False
Let f(t) = 3*t**3 - 84*t**2 + 2*t - 300. Is 15 a factor of f(34)?
False
Let c = 81 + -69. Let o = 79 - 51. Let q = o - c. Is 9 a factor of q?
False
Suppose 53 = 4*k - 3*i - 39, -5*k = 5*i - 80. Suppose 22*x = k*x + 312. Is x a multiple of 12?
True
Let g = 7 + -2. Suppose -5 = -0*i - i, -g*i + 13 = 2*r. Is 165/(-6)*(r - (-3 - -1)) a multiple of 11?
True
Let f(n) = -2*n**2 + 15*n. Let c be f(9). Let x be (-1 + c/(-15))*5. Suppose 3*q = -x*q + 1232. Does 43 divide q?
False
Let u = 6908 - 6606. Is 21 a factor of u?
False
Let i(f) be the first derivative of f**4 + 38 + 8*f - 1/3*f**3 + 1/2*f**2. Is i(4) a multiple of 14?
True
Suppose -4*c + 2304 = 4*p, 214*p - 219*p = -4*c + 2250. Is 19 a factor of c?
True
Is 3 a factor of (0 + (-516)/30)*-5?
False
Let n(l) = l. Let x be n(3). Suppose x*k + 5*a = 26, 2*a - 3*a - 38 = -3*k. Suppose 3*u + h = 3*h + 24, -4*h = k. Does 4 divide u?
False
Let m(c) = 11*c - 3. Let s be 1/(12/40) - 2/6. Let d = 12 + s. Does 28 divide m(d)?
False
Let m(p) = p + 13. Let q be m(-9). Suppose -n + 3*r = -0*r + 7, -n + 2*r - q = 0. Suppose -3*v = -0*v + 4*h - 203, -3*v + 199 = n*h. Does 25 divide v?
False
Let n be 1/(-12) - 43155/(-756). Suppose -3*z + 15 + 30 = b, -b + 3*z = -n. Does 6 divide b?
False
Suppose o - p - 1 = 0, -2*p = 4*o + 2*p + 4. Suppose o = -54*q + 50*q + 2240. Does 28 divide q?
True
Suppose 4*i - 32 - 24 = 0. Suppose -13*t = -i*t - 105. Is ((-108)/10)/(14/t) a multiple of 9?
True
Let t = -24546 + 67117. Does 132 divide t?
False
Suppose -3*f - 2*k + 10459 = 2*k, -5*f + 4*k = -17485. Does 36 divide f?
False
Let v(f) = 55*f**2 - 40*f**2 + 18*f + 2*f**3 - 25*f**2 - 42. Is 21 a factor of v(6)?
False
Let a(t) = -102*t - 12. Suppose -5*r = -9*r - 4*v - 28, 4*v + 22 = -r. Does 12 divide a(r)?
True
Let a(g) = -g**3 + 14*g**2 - 13*g + 18. Let b be a(13). Let y(i) = -i**2 + 23*i + 9. Is y(b) a multiple of 8?
False
Is 63249/58*2/3 a multiple of 54?
False
Let u(h) = 2*h**3 + h - 1. Let r be u(1). Suppose 9*j = r*j. Is 18 a factor of 15 + 21/7 + j/1?
True
Is 39/(-65)*-10 - -5268 a multiple of 11?
False
Suppose 273*t = 70*t + 1844052. Is t a multiple of 12?
True
Let n = -33 - -25. Let o(i) = 2*i**2 + 14*i - 14. Let s be o(n). Suppose 3*v - 70 = s*v. Does 7 divide v?
True
Let p = -38 - -42. Let x be 171/12 + (-1)/p. Let g = x + 16. Does 3 divide g?
True
Suppose 5*h - 4*c + 241 = 0, -4*h - c - 119 = 78. Let j = h - -52. Suppose 2*y - j*z - 183 = -0*z, -2*y + z + 181 = 0. Is 30 a factor of y?
True
Let g(p) = 3 + 4*p - p - 8*p + p**2. Let b be g(5). Suppose 5*d + b*d = 448. Is d a multiple of 8?
True
Let f be (0 - (-4 + 4)) + 3 + -244 + 11. Let x(p) = p**3 - p**2 - p + 430. Let v be x(0). Let n = f + v. Is 20 a factor of n?
True
Let k be (-2232)/(-42)*588/8. Suppose -20*m + k = -11*m. Does 31 divide m?
True
Let s(j) = -3601*j**3 - j**2 + 6*j + 6. Let q be s(-1). Suppose 7*w + q = 4*n + 3*w, 4*n - 3620 = -w. Is 58 a factor of n?
False
Is (-561 + -3)*656/(-246) a multiple of 5?
False
Let r(z) = -z**2 - 4*z + 17. Suppose -13 = 4*m - v, v + 6 = -3*m - 9. Is r(m) a multiple of 2?
False
Suppose -5*m + 13 = -2. Suppose 5*q = m*f + 100 + 8, 5*f = 3*q - 68. Let d = q - 19. Is d even?
True
Let i = 1146 + -846. Is i a multiple of 5?
True
Is 37 a factor of -17*(((-878)/5 - (-24)/(-60)) + 4)?
False
Let p be ((-1)/(-3) + 92/(-69))*-3. Suppose p*h + 4*a - 114 = 0, -5*a = -2*h - 25 + 78. Does 3 divide h?
False
Let w = -15679 - -38397. Is 34 a factor of w?
False
Let l(j) = j**3 + 4*j**2 - 3*j - 6. Let o be l(-5). Let n = 4 - o. Suppose -15*q + n*q = 295. Is q a multiple of 20?
False
Is 9 a factor of (-1)/4*9/(-6)*55184/6?
False
Let b(p) = -p**2 - 21*p - 40. Let h(m) = -2*m**2 + 3*m + 2. Let c be h(-1). Let f be (165/(-6) + 2)*(-2)/c. Is 14 a factor of b(f)?
True
Let g = 15 + 327. Suppose 0 = 62*b - 63*b + g. Is b a multiple of 38?
True
Suppose 0 = 2*b - 3*d - 1307, 6*b - 5*d - 1962 = 3*b. Let g = b + -325. Is 31 a factor of g?
False
Suppose 1173*y = 1185*y - 126960. Does 92 divide y?
True
Let q(o) = -37*o - 3. Let m be q(-17). Suppose -2*x = 2, 5*h - m = x + 875. Does 30 divide h?
True
Let x be (-13)/(39/(-4296))*(-3)/(-2). Suppose -12*k - 468 = -x. Is k a multiple of 60?
False
Suppose -2*b = 1 - 5. Is 31 a factor of (b - 592/(-12))*6?
False
Suppose -66*f = -116*f + 95200. Is 14 a factor of f?
True
Let y = -45 + 41. Let g(n) = -3*n - 4. Let u be g(y). Let b = 52 + u. Is b a multiple of 15?
True
Let p(b) = 767*b**2 - 795*b - 5507. Does 17 divide p(-7)?
False
Suppose -v - 2*i - 40 = 4*v, -3*i + 9 = -4*v. Let u be v/(6/(-199)) - 3. Suppose k = 4*r + u, 62 = 2*k + 2*r - 320. Is k a multiple of 32?
True
Suppose 3984 + 241 = 3*z - 5*h, 2*h + 9810 = 7*z. Is 10 a factor of z?
True
Suppose 2*l - 347 = -15. Suppose 78 = 2*o - l. Suppose -x - x - 2*b = -o, -4*x - 5*b = -239. Does 33 divide x?
True
Suppose -5*k + k - 12 = 4*a, 4*k = a + 23. Let r = -9 - a. Does 17 divide 25*(r/(-8))/(2/8)?
False
Suppose 108030 = 24*u + 31710. Does 60 divide u?
True
Let n be 4/(-10) + (-102)/(-5). Let m = -35467 + 35525. Let s = m - n. Is 3 a factor of s?
False
Let w(y) = 108*y**3 + y**2 + y. Let t be w(-1). Suppose -149*c = -129*c + 1000. Let m = c - t. Is 16 a factor of m?
False
Suppose 413*w + 36956 + 116260 = 422*w. Is w a multiple of 32?
True
Suppose -189*g + 184536 = -171*g. Does 44 divide g?
True
Let u = -4415 - -14579. Is 9 a factor of u?
False
Let p = -49 + 59. Is 47 a factor of 884/p + -3 + 39/15?
False
Let g(c) = 10*c**2 - 14*c - 56. Let