Does 11 divide l?
True
Let d(h) = -h**2 - h + 53. Suppose -3*q = 5*n + 2*q - 10, 0 = n + 5*q - 10. Does 10 divide d(n)?
False
Suppose -5*s - 4*o = -o - 20, 3*o - 4 = -s. Suppose -20 = -s*c - 0. Suppose 4*n - 140 = -u, c*n + 4*u - 186 = -0*u. Is 12 a factor of n?
False
Let h(m) = -m**2 + 14*m - 9. Let d be h(7). Does 24 divide (96/5)/(6/d)?
False
Suppose 0 = -4*f - 5*a + 1 + 59, 2*f - 5*a = 30. Suppose f = 2*m + 7. Suppose m*z = 90 + 38. Is z a multiple of 27?
False
Is ((-180)/21)/(12/(-126)) a multiple of 10?
True
Let u = -56 - -62. Suppose 8*w = u*w + 204. Does 6 divide w?
True
Let q(s) = -455*s - 49. Let a(p) = -57*p - 6. Let j(f) = -49*a(f) + 6*q(f). Is j(2) a multiple of 22?
False
Let j(z) be the first derivative of -z**3/3 + 11*z**2 - 11*z + 4. Is j(11) a multiple of 10?
True
Let h = 23 + -21. Suppose h*a - 5*m - 4 = -67, 3*a + 37 = -4*m. Let d = 37 + a. Does 4 divide d?
False
Let c(w) = 2*w**2 - 18*w - 8. Is 3 a factor of c(10)?
True
Suppose -p + 4*w + 5017 = 0, -124*p + 122*p - 4*w = -9998. Does 77 divide p?
True
Suppose -2*y = -40 - 844. Does 14 divide y?
False
Let d be ((-1)/(-2))/((-2)/(-428)). Suppose 0 = -2*j + 25 + d. Is 22 a factor of j?
True
Suppose 5*y - 250 = 40. Suppose 4*i = -2*h + i - 24, 0 = 4*h + i + y. Is (-126)/(-10) + (-6)/h a multiple of 12?
False
Let w be -23*1 + 0/(-7). Let d = w - -89. Is 11 a factor of d?
True
Let f(g) = g - 6. Suppose -3*s - 18 = -2*d, d = -2*d + 2*s + 22. Let k be f(d). Suppose k = l + 3*l - 48. Is l a multiple of 4?
True
Let h(c) = c - 1. Let s be h(5). Suppose -2*o - 2*w = 3*o - 14, -5*o = -s*w - 32. Suppose -3*m + 4*q = -23, -m + 0*q + o = -5*q. Is 3 a factor of m?
True
Is 808/2 - (-10 + 5) a multiple of 9?
False
Suppose 6*u + 260 = 4*f + u, 0 = 2*f + 2*u - 130. Let z = -33 + f. Does 8 divide z?
True
Let b be 0 + 8/4 - (7 - 0). Is (-3 - -4*14) + b a multiple of 14?
False
Suppose 11*d = 6455 + 1344. Let l = -446 + 684. Suppose l - d = -3*t. Is 40 a factor of t?
False
Let n(h) = -6*h - 57. Does 5 divide n(-13)?
False
Does 20 divide 6 + -1 + (794 - 40)?
False
Is 5/((-5)/4)*(-200 + 30) a multiple of 17?
True
Does 45 divide 4764/45 - (51/(-45) + 1)?
False
Suppose -4*m = -6 - 6. Suppose i - 8 = -m*i. Is 2 a factor of i?
True
Let p = -26 + 36. Suppose -p*d + 45 = -9*d. Does 13 divide d?
False
Is 120/(((-2)/(-2))/(264/99)) a multiple of 19?
False
Let c(r) = r**2 + 5*r - 3. Let k be c(-6). Suppose 0 = 5*y + l - 15, -k*y + 2*l = -y - 6. Suppose 5*j + b - 98 = 127, -5*b + 113 = y*j. Does 23 divide j?
True
Let z = 160 + 41. Suppose 4*o = k - 218, -2*k + 682 = o + z. Is 10 a factor of k?
False
Let f = 4 - 9. Let h(q) = q**3 + 4*q**2 - 5*q + 2. Let i be h(f). Suppose i*d + d - 327 = 0. Does 22 divide d?
False
Let s(z) = -z**2 + 3. Let q be s(-4). Let m = q - -18. Suppose 0 = -2*k - m*t + 26, 3*k + 5*t - 69 = -20. Does 19 divide k?
False
Let h(s) = -5*s**3 + s + 1. Let r be h(-1). Suppose -45 = -4*b - r*k, -2*k + 10 = b - k. Suppose 11 = u - q - 31, -b*q - 81 = -2*u. Is 15 a factor of u?
False
Let o(f) = 13*f**3 + f**2 + 4*f - 3. Let j(r) = -r**3 + 12*r**2 - 12*r + 13. Let v be j(11). Is o(v) a multiple of 21?
False
Let l = 27 - 22. Is 23 a factor of 1/l - (-918)/10?
True
Is 13 a factor of (2/4*2)/(36/9828)?
True
Suppose 4*g - 13 = 2*g - 5*n, -4*n = -4*g + 12. Does 11 divide 53 + (g - (4 - 0))?
False
Let k be (-12)/(-10)*(-50)/(-5). Suppose 0 = x - k*x + 2310. Is x a multiple of 21?
True
Let d be 14/((2/7)/(-1)). Is (-297)/(-7) - 28/d a multiple of 10?
False
Suppose -3*k = 186 + 36. Let x = -42 - k. Is x a multiple of 8?
True
Suppose 56 = -d + 53. Let s(z) be the second derivative of -z**3/2 + 2*z**2 - z. Does 9 divide s(d)?
False
Let o(i) = -16*i - 5. Suppose 64*l - 12 = 66*l. Does 7 divide o(l)?
True
Suppose 2*i - 4*x = -6, 3*x = 4*i - 0*x - 8. Suppose 4*t - 4*k - 148 = -k, -140 = -3*t - i*k. Is 8 a factor of t?
True
Let b(h) = 7*h - 36. Let c be b(0). Let l = c + 104. Is l a multiple of 10?
False
Suppose 3*o = 0, -5*t + 166 = 5*o - 249. Suppose k - 2*k + 23 = 2*x, -5*k = 2*x - t. Does 15 divide k?
True
Suppose 4*j - 4528 = -d, -2*j + 2*d - 859 + 3113 = 0. Is j a multiple of 6?
False
Let x = 1070 - 800. Is x a multiple of 4?
False
Suppose -30*m = -64*m + 10166. Is m a multiple of 13?
True
Let w be ((-115)/15 - 1)*(0 + -3). Let x(h) = -19*h + 1. Let t be x(1). Let k = w + t. Is k a multiple of 8?
True
Suppose 13*f = 5*g + 9*f - 17608, -4*g = -f - 14082. Is g a multiple of 14?
False
Let l = 684 - 456. Does 19 divide l?
True
Suppose b + 5*v - 45 = -4*b, 0 = 2*b + 4*v - 8. Let r be 18/8*(-16)/(-6). Suppose -b = -5*z + r. Does 2 divide z?
True
Suppose 10880 = 25*v - 8*v. Is 10 a factor of v?
True
Let q be 16/3 - (-68)/(-51). Suppose 1132 = 4*h + 5*m, -3*h + 0*h + 880 = -q*m. Is h a multiple of 16?
True
Suppose -x = -5*x. Suppose 5*f + 22 - 123 = -2*n, x = 2*f - 2*n - 32. Is 6 a factor of f?
False
Suppose -5*i + 20 = 0, -2*z + 9*i - 4*i - 8 = 0. Suppose 4*q = j + 25, -5*q + 3 = 3*j - 7. Suppose -q*u + 2*u + 113 = -o, 0 = 3*o + z. Does 37 divide u?
True
Let g(i) = -26*i - 75. Does 11 divide g(-5)?
True
Suppose -4*y = 3*k + 5042, -1887 = k - y - 218. Is 4/10 - k/90 a multiple of 4?
False
Let t(s) = -s**2 - 9*s - 12. Let k be t(-10). Let g = 64 - k. Let a = -46 + g. Is 10 a factor of a?
True
Suppose 4 = x + 2*u, -4 - 7 = x - u. Let w(m) = -21*m - 3. Let p be w(-3). Is 10 a factor of 27/x*p/(-9)?
True
Let b = -5 - -8. Suppose 10*o = 2*o + 1344. Suppose -4*p - f = -101 - 112, o = b*p - 2*f. Does 9 divide p?
True
Let f(t) = 0*t**3 - 38*t + 28 + 27*t + t**3 - 11*t**2. Does 14 divide f(12)?
False
Suppose 0 = 5*y - 4*v - 4966, 3*y = -2*v + 7*v + 2990. Is 99 a factor of y?
True
Let y = 7 + 96. Is y a multiple of 15?
False
Suppose 3*v - 9 = -24. Let q = 11 + v. Suppose -q*x + 100 = -x. Is 20 a factor of x?
True
Let f(s) = s + 24. Suppose -5 - 4 = -d. Let i = d - 9. Does 6 divide f(i)?
True
Suppose -5*c + 584 = 44. Is 12 a factor of c?
True
Suppose -2*k = -5*c + 61, -3*k = c - 16 - 3. Let t = 117 + c. Is t a multiple of 56?
False
Suppose 3*a = a + 5*c + 11, -2*c - 5 = -a. Is 6 a factor of (a/(-4))/(2/(-16))?
True
Suppose 540 = -13*o + 28*o. Is o a multiple of 20?
False
Suppose -2914 = -9*r + 5150. Does 16 divide r?
True
Let t be -5*(-2 + 12/10). Let r(y) = 2*y - 7 + 2 + 6 + 3*y + 11. Does 8 divide r(t)?
True
Let a(k) = -38*k - 38. Is a(-19) a multiple of 9?
True
Let x = 2 - 32. Let q(z) = -z**3 + 21*z**2 - 26*z + 42. Let b be q(20). Let k = x - b. Is 16 a factor of k?
True
Suppose -y + 2 = -0*y. Let x(b) = 2*b**3 + b**2 - 3*b + 3. Let w be x(y). Let h = w + 10. Does 12 divide h?
False
Let l = -74 + 275. Is 10 a factor of l?
False
Let k(p) = -7*p**3 - 10*p**2 - 15*p - 14. Is k(-6) a multiple of 6?
False
Let u be -2 - 0*(1 + 0). Let j = -8 - u. Let m = j + 14. Is m a multiple of 8?
True
Suppose -7 = -r + 5*z, -4*r + 2*z + 44 = -2*z. Does 23 divide r/9*138/8?
True
Does 2 divide ((-19)/2)/(-1)*7106/323?
False
Let d(x) = -x**2 - 32*x + 6. Is d(-14) a multiple of 14?
False
Let n be 24/16*8/6. Suppose -2*d + 112 = n*d - 5*s, -3*d + 5*s = -79. Let m = d - -10. Does 15 divide m?
False
Let s(m) = -36 + m + m + 46 - 12*m. Is s(-12) a multiple of 26?
True
Suppose 296 = -6*o + 1808. Suppose 0 = 4*f - 5*f + 4. Suppose n = f*n - o. Is n a multiple of 21?
True
Let d(n) = -n**3 - 7*n**2 - n - 5. Let s be d(-7). Let a(b) = -b + 5 + 12 + 21 - b**s. Is 14 a factor of a(0)?
False
Let h(k) = -k**2 + 3*k + 7. Suppose -4*t + 8 = -12. Let p be h(t). Let m = 15 - p. Is 6 a factor of m?
True
Let c(d) = d**3 + d - 3. Let g be c(0). Let k(b) = 38 - 21 - 5*b - 22. Is k(g) a multiple of 2?
True
Is 13 a factor of (3 + -175)/(-4) - 3?
False
Let n = 558 + -327. Is n a multiple of 6?
False
Let c = 576 + -505. Is 3 a factor of c?
False
Let g(f) = 4*f - 2. Let i be g(2). Suppose -160 = -i*y + 200. Does 30 divide y?
True
Suppose z + 22 - 64 = -3*g, 5*z - 67 = -4*g. Suppose -c = g*c - 378. Does 27 divide c?
True
Let x = 35 - 37. Let q(r) = -2*r + 2. Let n be q(x). Does 32 divide (-10 - -75) + n/(-2)?
False
Suppose -22 = -l + m, 3*l + 0*l + 4*m = 59. Let s be 140/l*(-426)/(-5). Suppose -4*v = -s + 60. Is 30 a factor of v?
False
Is 19 a factor of ((-3 - -2) + 0)*-79*2?
False
Let a be 0/((-3 - 1) + 5). Suppose -5*i + a*i = 0. Suppose 0 = -i*v - 2*v - 2*f + 34