2 divide m(-5)?
True
Is (-9 - (-174)/18)/(7/46641) a multiple of 7?
False
Does 22 divide 180/(-27)*(-138213)/36?
False
Let i = -97 - -143. Let m be (-2)/(-2 + 0)*i. Suppose -6*c + m = -56. Is 7 a factor of c?
False
Suppose -4*d = -4*k, 5*k + 0*d + d - 24 = 0. Is 23 a factor of (61 + 32)*k/(-9)*-3?
False
Let y(a) = a**3 - 8*a**2 + 20. Let p be 6*(-42)/(-18) + -4. Is 10 a factor of y(p)?
True
Let u(g) = -4*g**3 - 4*g**2 - 4*g - 2. Suppose 8 = 4*w + 20. Let o be u(w). Suppose 5*d = o + 268. Does 14 divide d?
True
Suppose -2*a + 15 = 3*a. Suppose a*m = -m - 36. Let z(c) = c**3 + 10*c**2 + 4*c + 5. Is z(m) a multiple of 8?
False
Let y(n) be the first derivative of -7 - 207/2*n**2 + 0*n. Is 9 a factor of y(-1)?
True
Let z(t) = t**2 - 9*t + 3. Let d be z(11). Suppose 12 = -2*v - 4*c, 0*c - d = 5*c. Let a(f) = f**2 + 5*f - 6. Is a(v) a multiple of 15?
True
Suppose 3 = -w + 3*h + 4459, 3*w - 13346 = -2*h. Is 89 a factor of w?
True
Let s(c) = 57 + 7*c**2 + 5*c - 57 + 42*c. Is s(-8) a multiple of 42?
False
Does 105 divide 5 + 1 - -111*(-70)/21*-39?
False
Suppose 0*i + 23270 = 5*w + i, 2*i = -5*w + 23275. Is 22 a factor of w?
False
Let n(b) = 1340*b + 15. Let i be n(2). Suppose -j + g = -895, -3*g + 4*g + i = 3*j. Suppose -7*x = 3*x - j. Is x a multiple of 18?
True
Let y(a) = 3*a - 1. Let f(l) = -l**2 - 22*l + 57. Let t(k) = f(k) + 3*y(k). Is 15 a factor of t(-9)?
True
Suppose -8*l = 14*l - 30*l + 82208. Is l a multiple of 14?
True
Suppose p - 4*i = 34, -12 = 5*i - 2. Let l be (-8)/52 + 4/p. Suppose -2*q + 119 = 5*t, 2*t + 3*q - 5 - 36 = l. Is t a multiple of 16?
False
Let f(r) = 2586*r**2 + 23*r + 70. Is f(-3) a multiple of 104?
False
Let n(k) = -k**2 + 16*k + 90. Let c be n(0). Suppose 15*p - 16*p + c = 0. Is 5 a factor of p?
True
Let t be ((-5 - 0) + 11515/(-21))*-3. Is 50 a factor of (t/16)/((-9)/(-72))?
False
Does 19 divide (-1 + -1)*(542178/(-468) + 20/(-2))?
True
Suppose 0 = 4*r - 12, 2*u - 339*r = -335*r + 24028. Is u a multiple of 10?
True
Suppose 3750 = -31*k + 34*k. Suppose -34*s + k = -29*s. Does 10 divide s?
True
Suppose 4*k + 4*c - 31176 = 0, -151*c = 2*k - 156*c - 15560. Is 82 a factor of k?
True
Suppose 5*f = 4*t + 13062, 0*f + 13038 = 5*f + 4*t. Suppose -8*w = w - f. Is w a multiple of 7?
False
Let a be 6*(69/(-18) - -4) + -21. Let q = a + 26. Is 2 a factor of (q/12)/(1/34)?
False
Let b(z) = 32*z**2 - z - 26. Let u be b(-6). Let c = 1764 - u. Does 8 divide c?
True
Let n(m) = -m**2 - 12*m - 39. Let g be n(-7). Let t(f) = -f**3 - 3*f**2 - 5*f - 1. Let h be t(-5). Let x = g + h. Does 6 divide x?
False
Suppose 5*x = -8*w + 15200, 0 = -4*w + 16*x - 21*x + 7600. Is 76 a factor of w?
True
Let y(o) = 2*o**3 - 36*o**2 - 8*o + 10. Is 41 a factor of y(19)?
False
Let x(r) = r**3 + 13*r**2 - 7. Let n be x(-11). Suppose 9 = 3*g, 5*g = 4*m - 8*m + n. Suppose 0 = -4*v + 679 - m. Is v a multiple of 41?
False
Let o(x) = 23*x - 3. Let n(i) = i**3 + 5*i**2 - 9*i - 6. Let z(g) = -g**2 + g + 1. Let v(h) = -n(h) - 5*z(h). Let d be v(-2). Is o(d) a multiple of 5?
True
Let i(m) = -m**2 - 38*m - 358. Let n be i(-18). Suppose n*t - 836 = 2*j, -5 = 4*j - 25. Does 30 divide t?
False
Let d = 6466 + 3782. Is 5 a factor of d?
False
Let f = -178 - -178. Suppose f = 5*c - 5, z + c + c = 4. Is z a multiple of 2?
True
Suppose -2*b = -9*o + 13*o, 4*o + 5*b + 12 = 0. Let g(m) = 18*m - 5. Does 4 divide g(o)?
False
Let u(b) = 14*b**3 - 12*b**2 + 159*b - 2386. Is u(14) a multiple of 64?
True
Let q be 110 + 7 + (-32)/4. Let k = q + 86. Is k a multiple of 65?
True
Let n be (-5)/((-2)/((-1)/(5/(-10)))). Suppose -c + 4*p + 26 = 0, 4*c = n*p + 183 - 24. Does 46 divide c?
True
Suppose 4196 = 4*b + 4*l, -4*b = -4*l - 2612 - 1592. Suppose -2*h - 8*h + b = 0. Is h a multiple of 15?
True
Suppose -3*k - 405 = -5*l, k = 4*l - 8*l + 324. Suppose 5*c - h - 14 = 0, -2 = 5*c - h + 4*h. Suppose -415 = -c*t - l. Is t a multiple of 18?
False
Is 19 a factor of 1 - (-1316)/2 - (28 + -34)?
True
Is 21 a factor of 3456 + 0 + (0 - 189/(-21))?
True
Suppose 0*m = -2*m + 14. Suppose m*o + 12 = 10*o. Suppose -o*z = -z - 15. Does 2 divide z?
False
Let c(b) = -b**3 - 8*b**2 - 24*b - 28. Let n be c(-4). Let o be 38/5 - (-4)/10. Suppose -o*a + 248 = -n*a. Is a a multiple of 33?
False
Suppose -2*h - 2*z = 3*z - 36036, 72072 = 4*h + 4*z. Is h a multiple of 143?
True
Suppose 4*g = -b - 4, 2*g = 2*b - 0 + 8. Let u(k) = k**2 + 2*k + 65. Let m be u(g). Suppose 5*z = m - 5. Does 6 divide z?
True
Let i(f) = 23*f**2 + 5*f - 1. Let w(m) = m**2 - m. Let a(p) = i(p) + 3*w(p). Let h be a(2). Let r = 70 + h. Is r a multiple of 18?
False
Is (-63664)/(-10) - (-19 - 194/(-10)) a multiple of 55?
False
Suppose 5*p = 5 + 10. Suppose p*c = -4*n + 26, -3*n + n = -5*c. Suppose -113 = n*k - 388. Is 8 a factor of k?
False
Let k = 8144 + 414. Is 11 a factor of k?
True
Suppose -4 = 2*i, -i = 2*m - 7*m + 37. Let r(f) = 143*f + 15. Does 41 divide r(m)?
False
Let p(o) = -1443*o + 89. Does 23 divide p(-11)?
True
Let g(u) = -40*u - 40. Let b be g(3). Is b/(-2)*-1*(-87)/6 a multiple of 40?
True
Let v(n) = 1940*n**2 + 16*n + 20. Does 149 divide v(-2)?
True
Suppose 4*l + 17 = 2*k - 1, 0 = -4*k + 20. Is 8 a factor of (-1190)/l + 0 + -3?
True
Let f = 98 - 98. Suppose 2*t + 12 = 5*x - 2*x, f = 3*x - 12. Suppose -9*b + t*b = -2538. Does 28 divide b?
False
Suppose -3*f = -4*w + 3 + 161, 82 = 2*w + 3*f. Let l = w + -33. Does 2 divide l?
True
Suppose -351*a + 150 = -349*a. Let l(h) = -17*h + 1. Let w be l(-7). Let y = w - a. Does 45 divide y?
True
Let w = 5542 - 1130. Is 38 a factor of w?
False
Suppose 20 = 5*r - 3*o, o + 12 = 5*r - 8. Suppose -f - r = -3*f. Suppose -f*x = 4*q - 142, -x = 3*q + 3*x - 109. Is q a multiple of 11?
False
Let q = 72 + -76. Does 13 divide (q + 0)*(78/(-4) + 3)?
False
Let q be 0 + (-2)/5 - 624/(-260). Suppose 32 = -q*b - 4. Is 41 a factor of 246/(-4)*(-5 - 78/b)?
True
Let l(x) = -7*x. Let c be l(-2). Let y(t) = t + 63 - 2*t - c. Is 4 a factor of y(12)?
False
Let i be (14/392 + 2/(-7))*0. Is 18 a factor of i/(-3) + 1 - -204?
False
Suppose c - 21 = -4*r, 7*r + 89 = 5*c + 11*r. Is ((-4)/(-10))/(((-153)/(-12555))/c) a multiple of 38?
False
Suppose o = -o - 24. Let q(b) = b**2 + 13*b + 12. Let p be q(o). Suppose 15*a - 14*a - 44 = p. Is a a multiple of 8?
False
Suppose 3*h = 6*h - 5640. Let k be (-2)/9 - 1/(45/h). Let w = k + 48. Is w a multiple of 2?
True
Suppose 535 = -x + 2*k, 0 = -5*x - k - 2*k - 2636. Does 59 divide (-20)/15 - -2 - x/3?
True
Suppose -j + 4*v = -8, 2*j + 2*j = -4*v + 32. Let m be 26/(-4) + (-4)/j. Is (m/(-2)*-1)/((-3)/126) a multiple of 12?
False
Let m(c) = -2*c**2 - 10*c + 30. Let t be m(-7). Suppose 7 + 18 = -5*l, -5*r = -2*l - 5. Does 12 divide 2/t - (-13 + (-2)/r)?
True
Let x = 3444 + -574. Does 82 divide x?
True
Let g(q) = -6*q**3 - 12*q**2 - 55*q + 7. Is g(-11) a multiple of 16?
False
Let m(s) = 364*s + 3654. Is 22 a factor of m(20)?
True
Let b = 102 - 90. Suppose -u + b*u - 4477 = 0. Does 37 divide u?
True
Suppose 4*v = -p + 24, -2*p + 30 = -5*v - 31. Suppose p*u - 38*u + 2320 = 0. Does 25 divide u?
False
Suppose -10 = -7*m + 81. Suppose 0 = -7*x + m + 15. Suppose -5*s = x*l - 316, 0 = 3*s + 8*l - 5*l - 192. Does 20 divide s?
True
Let o(t) = -190*t + 2362. Does 30 divide o(-43)?
False
Suppose -1150 - 46 = -23*z. Let n = 58 + z. Does 5 divide n?
True
Let t(h) = -1797*h + 157. Does 19 divide t(-3)?
True
Let r be (-48)/(-9)*(-8)/((-32)/9). Suppose -4*u + 3*k - 443 = -6*u, -4*k - r = 0. Is u a multiple of 13?
False
Let l be 5/4 - 3/12. Suppose -2*u - 2 = -12*a + 8*a, -3*u + 3 = -3*a. Is 87*(l/a)/((-39)/(-104)) a multiple of 29?
True
Suppose 3*l = v + 14, 5 = -4*l + 2*v + 21. Does 10 divide l - (-2514)/16 - (-2)/(-16)?
False
Let t(x) = x + 3. Let w be t(20). Let n = w + -26. Let u(p) = -2*p**3 - 2*p**2 - p + 7. Does 7 divide u(n)?
False
Let z be -587 - ((-3 - -8) + -10). Let j = -322 - z. Is 14 a factor of j?
False
Suppose -7*y + 12 = -5*y. Suppose 8*v - 6*v - 4*i - 22 = 0, -3*i + y = 0. Is v even?
False
Is 32 a factor of (666 - 4) + 6/(-2 + 5)?
False
Suppose 0 = -u + 4*u - 6. Suppose 4*y - 5*h - 225 = 540, y = -u*h + 201. Is y a multiple of 13?
True
Let b(y) = 228*y - 24. Let h be b(1). Let r = h + -54. Is r a multiple of 10?
True
Suppose 0 = -25*w + 6604 + 5148 + 3273. Is 19 a factor of w?
False
Let l