h - 27. Is d a multiple of 13?
True
Suppose 2*o = -8, 319 = 5*l - 0*o + 4*o. Is 23 a factor of l?
False
Suppose -2*h = -4*m - 8, 3*h = -4*m + h - 8. Let x be -3*m/6 - -6. Let b = x + 23. Is 22 a factor of b?
False
Suppose -2*d + 6 = d. Suppose -4*o + 4 = 0, 3*l - 128 = d*o + 101. Does 24 divide l?
False
Suppose 2*q - 4*q = 0. Is 10 a factor of 15/(-6)*-10 - q?
False
Let q(p) = 2*p**2 + 3*p + 4. Let o be q(-4). Let u = 38 - o. Is u a multiple of 7?
True
Suppose 0 = -3*k, 5*b + 3*k + 0 - 35 = 0. Is b a multiple of 7?
True
Let a(k) = -2*k + 10. Suppose 0 = n + 3*n - 8. Let b(s) = -4*s + 1. Let h be b(n). Does 24 divide a(h)?
True
Let g(y) = y**3 - 6*y**2 + y + 10. Is g(6) a multiple of 4?
True
Let q = -4 + -21. Let i = -17 - q. Suppose i*k - 30 = 3*k. Does 6 divide k?
True
Let d be (8/(-6))/((-1)/6). Let g(k) = k - 6. Let n be g(d). Is 16 a factor of (-1)/(1/(-10))*n?
False
Let f = -1 + 1. Suppose -c - 5 = 5*q + 3, -4*q = f. Is (c/(-5))/((-6)/(-165)) a multiple of 13?
False
Let b(m) = -m**2 + m + 7. Let s be b(8). Let o = 75 + s. Is 13 a factor of o?
True
Suppose -6*i + 107 = -37. Suppose -9 = 2*m - m + 3*n, -15 = -m + 3*n. Suppose -4*h + i = -4*q, -4*q = h + m*h. Does 3 divide h?
True
Let l be (1 + 110)*10/(-30). Let i = 1 - l. Is 9 a factor of i?
False
Let u = 141 - 101. Is u a multiple of 10?
True
Suppose -p - 90 = -3*r + 172, -2 = -p. Let k = r - 62. Does 6 divide k?
False
Let x be 4/(2*1/(-37)). Let s = -51 - x. Is 7 a factor of s?
False
Let s = 85 + -46. Is s a multiple of 13?
True
Let w be 4/6 + (-7)/(-3). Suppose 2*g + 2*y + 5 = 15, -6 = w*y. Is g a multiple of 7?
True
Let c(u) = 3*u**2 + 2*u + 1. Let h be c(-1). Suppose -5*v + 3*o - 4 = -o, -h*v + 8 = -4*o. Let t(j) = -8*j + 3. Is 14 a factor of t(v)?
False
Suppose i - 65 = 2*h, -3*i = i + h - 215. Does 14 divide i?
False
Let l(a) = -3*a**3 - 3*a**2 - a + 6. Is l(-3) a multiple of 31?
False
Let z(j) = j**3 - 8*j**2 - 10*j + 15. Is 2 a factor of z(9)?
True
Suppose -410 = -5*z - 5*p, 4*z + 2*p = -0*p + 336. Does 43 divide z?
True
Let z = 2 - -5. Suppose -2*o - 395 = -z*o. Suppose 5*g = -v + o, 0*v = g - v - 11. Is 7 a factor of g?
False
Let o(i) = i**3 + 46. Is 13 a factor of o(0)?
False
Suppose f + 0 = -5*q - 6, 4*f - 16 = 0. Does 3 divide (-32)/(-6) - q/3?
True
Let h be (-4)/(-6) - (-80)/6. Let i be (-46)/6 - h/(-21). Is (-79)/i - (-2)/(-7) a multiple of 11?
True
Let v = 44 - -31. Suppose -5*i - 5*w + 70 = -20, 3*i - v = 4*w. Is 7 a factor of i?
True
Let f(t) = 4*t + 1. Let y be f(1). Suppose -2*q = y*j - 10, -3*j - q - 20 = -5*q. Is 8 a factor of (-3)/(j - -3)*-16?
True
Let u = 61 + -33. Suppose -4*v - 2*p + 23 = -47, 4*v - 67 = -p. Let x = u - v. Does 12 divide x?
True
Suppose -3*l = 2*l - 2*v - 210, 100 = 3*l + 4*v. Is l a multiple of 20?
True
Let r(m) = -m**2 + 11*m - 12. Let o = -19 + 29. Let s be r(o). Is 9 a factor of ((-40)/6)/(s/6)?
False
Let v(n) = 3*n - n + 5*n - 9 - n. Is 17 a factor of v(10)?
True
Suppose 0 = 5*o - l - 134, -7 + 1 = -o - 5*l. Suppose 144 = -0*k + 4*k + 2*d, k - 2*d = o. Is k a multiple of 16?
False
Let d(l) = l**2 + 53 - l**3 + 72 + 2*l**3. Is d(0) a multiple of 34?
False
Suppose -14*i + 15*i - 142 = 0. Is 19 a factor of i?
False
Let q be 1*18*6/4. Suppose -q = -4*m + m. Let c = m + -3. Does 3 divide c?
True
Let b = -85 + 89. Is 4 a factor of b?
True
Let l = 12 - 2. Suppose -2*x + 12 + l = 0. Does 4 divide x?
False
Let h = -55 + 274. Is h a multiple of 42?
False
Is 160 + 0*((-2)/4)/(-1) a multiple of 20?
True
Let d = 175 - 105. Is d a multiple of 35?
True
Suppose -7*a + 6*a + 45 = 0. Is 17 a factor of a?
False
Let g(d) = -d**2 - d. Let h(y) = -11*y - 1. Let o(p) = -2*g(p) + h(p). Does 17 divide o(7)?
True
Suppose 144 = 3*u - 27. Is 19 a factor of u?
True
Let d(h) = 7*h + 1. Let a be d(-2). Let n = a - -25. Does 6 divide n?
True
Let u be ((-22)/(-6))/(2/6). Let o be (-1)/((-1)/u) + 1. Suppose -4 - o = -h. Does 6 divide h?
False
Suppose 4*v - h = 11, -4*v + 11 + 6 = 5*h. Suppose v*f = 4*m - 46 - 359, 2*f + 200 = 2*m. Is m a multiple of 30?
False
Let u = 22 - 13. Let g(p) = u*p**2 + 2*p**2 + p**3 - 10*p - 4*p**2 - 7. Does 9 divide g(-8)?
True
Let o = -3 + 5. Is ((-3)/(-6))/(o/76) a multiple of 19?
True
Let q be (-1)/4 + 10/8. Let p be 5*-1*q*-1. Suppose 29 = c - 2*n, p*c - 3*n - 121 = n. Does 14 divide c?
False
Let c(b) = -b + 1. Let u be c(-4). Suppose -5*i + 228 = -i + 4*x, u*i - 280 = -4*x. Is 26 a factor of i?
True
Let h = -21 - -48. Is h a multiple of 9?
True
Let g = -8 - -11. Suppose g*j + 3*w - 57 = 0, 6*j - 3*j - 32 = 2*w. Does 3 divide j?
False
Let h(j) be the first derivative of j**3/3 - j + 2. Let t be h(1). Suppose 70 = -4*r - 2*p + 188, t = -4*r + p + 109. Does 14 divide r?
True
Let i(n) = -n**3 - 9*n**2 - 11*n + 2. Is i(-8) a multiple of 5?
False
Let h = 19 - -14. Is 8 a factor of h?
False
Let q be 0 - (-1)/(-3)*0. Suppose q = 2*c + 2*c + 4. Is (19 - (-2 - c))/1 a multiple of 10?
True
Let m = -4 - -4. Let x = m - -3. Is x a multiple of 3?
True
Suppose 571 = 4*s + 67. Suppose -3*p + 54 + s = 0. Let q = p - 32. Does 14 divide q?
True
Let c(x) = -110*x. Does 44 divide c(-2)?
True
Let q = -15 + 34. Does 4 divide q?
False
Suppose -5*z - 5*a = -5, 0 - 5 = -z + 3*a. Suppose 5*v = z*p + 80 + 90, 5*v - 3*p = 165. Does 16 divide v?
False
Is 9 a factor of 169 + 2 + (-3 + 4)/(-1)?
False
Suppose 0*o = o - 1. Suppose -16 = -5*f + 2*j + o, -2*f + 2 = -2*j. Does 5 divide f?
True
Let t = -43 + 99. Is 28 a factor of t?
True
Let v(l) = -4*l + 1. Let t be v(5). Let s be t + (2 - 3) - 2. Is 9 a factor of (-291)/(-33) + (-4)/s?
True
Let r(a) = 5*a. Let t(s) = -2*s. Let u(x) = 4*r(x) + 11*t(x). Suppose 0 = -4*q - 0 - 4. Is u(q) a multiple of 2?
True
Suppose 5*f = 107 - 27. Does 16 divide f?
True
Let k be 98/6 + (-8)/(-12). Is 6 a factor of -7 + k + (1 - -1)?
True
Let o(x) = x**3 - x**2 - x. Let v be o(0). Suppose 4*m + 15 = 3. Is 2 a factor of (-4 + 3)*(v + m)?
False
Suppose -13 = 2*k - 5*s, 0 = -4*k - 4*s + 44 - 0. Suppose 18 = -q - 4*b, 4*q + 5*b - b = -12. Suppose 8 = q*j - k. Is 3 a factor of j?
False
Let z(j) = -j + 2. Let k be z(3). Let i(l) = -3*l - 1. Let x be i(k). Suppose x*t = 4*t - 12. Does 3 divide t?
True
Suppose 3*y - 381 = -3*c, 2*c + 517 = 4*y + 3*c. Is 26 a factor of y?
True
Let r(a) be the third derivative of a**4/2 - 5*a**3/6 + 3*a**2. Does 10 divide r(3)?
False
Let y(c) = -5*c + c**2 - 2 + 2 + 1. Is 7 a factor of y(7)?
False
Let o(w) = -w**3 - 4*w**2 - 3*w + 3. Let n be o(-3). Let r(g) = -1 - 2*g - 3*g + g + 3 + g**3. Is 6 a factor of r(n)?
False
Let z be ((-3)/9)/(2/(-6)). Let r = 5 + z. Does 3 divide r?
True
Let j be 1/(2 + 3/(-2)). Let m be 3 + -2*(j - 3). Suppose 0 = -5*k + t - 56 + 269, -m*k + 219 = 2*t. Does 12 divide k?
False
Let t(p) = p**3 - 5*p**2 + p - 4. Let o be t(5). Let s(b) = b**2 - 2*b + 1. Let f be s(o). Suppose k + f*k - 9 = 0. Is 5 a factor of k?
False
Let a = 63 - 34. Suppose -2*g - 11 = -a. Does 9 divide g?
True
Let j(s) = -s**2 - 21*s - 80. Does 2 divide j(-15)?
True
Suppose 0 = -y - 2*y + 216. Is y a multiple of 12?
True
Let h(r) = -r**3 - 8*r**2 - 7*r. Let t be h(-7). Suppose t*l + 2*l - 24 = 0. Does 6 divide l?
True
Suppose 5*z + 131 = -4*c, -3*z + 0*z = -5*c - 210. Let o be -1*2*c/6. Suppose 0 = 2*k - k - o. Is k a multiple of 13?
True
Suppose 0 = -4*t + 252 + 48. Does 10 divide t?
False
Let o = 8 + -28. Let u be o + 0/1 + -2. Let h = 32 - u. Is 19 a factor of h?
False
Let m(a) = a**3 - 9*a**2 + 6*a - 1. Let r be m(9). Suppose -5*t = -3*q + r, 0 = -5*q + 3*t - 2*t + 103. Is q a multiple of 21?
True
Let v be (3/2)/3*4. Let q(z) = 5*z**v - 7 + 0*z**3 - 4*z**2 + 5*z**2 + z**3 + z. Is 13 a factor of q(-5)?
True
Let h(t) be the second derivative of t**5/20 + t**4/2 + t**3/6 + 2*t**2 + t. Let z be (3 + -2 + 0)*(0 - 3). Does 14 divide h(z)?
True
Suppose p - 255 = -4*p. Suppose 2*w - p = 3. Does 10 divide w?
False
Let j(p) be the first derivative of -5*p**4/4 - p**3/3 - p**2 - p - 6. Does 23 divide j(-2)?
False
Suppose -2*u = -0*u - 8. Suppose -2*q = 4*p - 250, 3*p + q - 170 = -u*q. Does 26 divide p?
False
Suppose -3*f + f - 8 = 0, 5*k - 2*f = 23. Suppose -t = -k*t + 86. Is t a multiple of 17?
False
Let k = 50 + -4. Is k a multiple of 23?
True
Suppose 78 = -14*k + 17*k. Is 26 a factor of k?
True
Let x = -3 - -6. Suppose 0 = -