multiple of 9?
False
Suppose 3*m = -9, -5*l + 4*m = -65 + 13. Is 3 a factor of 1 - l/4 - -10?
True
Let m be 2 + (-1 - 3)*3. Suppose -2*i + 3 = -21. Let w = m + i. Is w even?
True
Suppose -189 = -18*p + 27*p. Let t(z) = 23*z. Let n be t(1). Let l = n - p. Is 22 a factor of l?
True
Suppose -5*j - 20 = -10*j. Suppose -91 = -3*u - y, -j*u + 9 = -4*y - 91. Does 28 divide u?
False
Let p(j) = j**2 - 11*j + 5. Let u be p(11). Suppose 3*w - 10 = 5*w, -u*y + 110 = w. Is 23 a factor of y?
True
Let f(g) = g - 1. Let l = -28 - -41. Let a be f(l). Suppose 4*x = 2*r + 40, 3*r - 62 + a = -5*x. Does 5 divide x?
True
Suppose -x - 3*x - 3*y = -3120, 2*x + 5*y = 1574. Is 8 a factor of x?
False
Suppose 1086 + 1964 = 2*t - 2*c, 5*c + 5 = 0. Does 18 divide t?
False
Is 65 a factor of 31*(1/(-1) + (-22 - -40))?
False
Suppose -3*u = -4*u - 2*b + 254, 5*b = u - 275. Does 10 divide u?
True
Let d be (-1 - -43)/(-3)*5. Let x = 49 + d. Is (-410)/(-14) - (-6)/x a multiple of 10?
False
Suppose -12*l - 2*a - 14934 = -15*l, 4*a + 14934 = 3*l. Is 17 a factor of l?
False
Suppose 4*k = -j + 20, 4*j - 4*k + k - 4 = 0. Suppose -a = -5*q - 13, q - 87 - 49 = -j*a. Is 7 a factor of a?
False
Let y(v) = v**2 - 8*v - 8. Let u be y(8). Is (u + -2)/(1/(-5)) a multiple of 7?
False
Let o(u) = u**3 + 16*u**2 - 11*u - 11. Let y be o(-14). Suppose -87 = -2*q - y. Is 7 a factor of (-4)/6 - q/12?
False
Let y be (-7)/((-1)/(0 - -1)). Let m be 2 - (1 - (y - -1)). Let f(z) = z**2 - 8*z. Is f(m) even?
False
Let s(t) be the second derivative of t**7/840 - t**6/120 + t**5/60 + t**4/6 - 7*t**3/6 - 4*t. Let k(x) be the second derivative of s(x). Does 5 divide k(4)?
False
Let i(j) = 9*j + 20. Let n be i(5). Let l = -26 + n. Is 23 a factor of l?
False
Is 18 a factor of (-8400)/(-315)*402/4?
False
Let r(d) = 2*d**2 + 33*d + 36. Is r(-17) a multiple of 4?
False
Let p = 7 - 6. Let i = -1 + p. Suppose 3*b + b - 236 = i. Is b a multiple of 24?
False
Let b(o) be the first derivative of -o**4/4 - 8*o**3/3 - 5*o**2 - 13*o - 19. Does 2 divide b(-7)?
True
Let j = 279 - 134. Suppose -3*v + j = m, -4*m - 91 = -v - 658. Suppose -2*k + 52 = -k - 4*b, 3*k + 2*b - m = 0. Does 8 divide k?
True
Let h = 300 - 166. Let q = 73 + h. Suppose -4*v + 5 = -q. Does 11 divide v?
False
Let k = 3159 - 2201. Is 19 a factor of k?
False
Let a(f) be the second derivative of -f**4/12 - 3*f**3/2 - 11*f**2/2 + 9*f. Does 3 divide a(-7)?
True
Let r(v) = -61*v**2 + 1. Let g be r(-2). Let w = -127 - g. Let y = w - 64. Is 13 a factor of y?
True
Let p(k) = 60*k. Let r(o) = -o**3 - 4*o**2 + 2*o + 6. Let n be r(-4). Let i be p(n). Is ((-4)/(-5))/((-6)/i) a multiple of 8?
True
Suppose -3*k - 2 = -14. Suppose -k*q = -9*q - 270. Let h = -15 - q. Is h a multiple of 13?
True
Does 24 divide (-16)/6 - 9144/(-27)?
True
Let w = -21 + 21. Suppose -6*n + 2*n = w. Suppose 3*q + 5*f = 68, 4*q - 3*f - 110 = -n. Does 13 divide q?
True
Let u = 2 + 134. Suppose -5*b = -b - u. Suppose -4*q + 46 + b = 0. Is q a multiple of 6?
False
Suppose 16 = 6*m - 4*m. Let j = m + -6. Suppose -24 + 6 = -j*n. Does 3 divide n?
True
Let s = -6 - -31. Let u be ((-30)/s)/((-6)/(-15)). Is 2 - (236/(-4) + u) a multiple of 16?
True
Let k be 3/((-3)/(-4)) - (-2 - 0). Suppose -2*z - 140 = -k*z. Does 35 divide z?
True
Let k = 6 + -6. Suppose -a + k - 7 = -2*p, 0 = -a - 4*p - 25. Let n(q) = q**2 + 4*q - 16. Does 13 divide n(a)?
False
Let z(d) = 2*d**2 - 5 - 4*d + 0*d - 3*d**2 + 11*d. Let r be z(6). Is 21 a factor of (r + 1)*6*2?
False
Let x = 992 - 871. Is x a multiple of 2?
False
Suppose -3*v - 2*v = d - 218, 5*d = 3*v - 142. Let r(w) = 5*w + 20. Let k be r(10). Let o = k - v. Does 13 divide o?
True
Suppose -4*b + 22 = -90. Is 5 a factor of b?
False
Let u = 832 - 34. Does 14 divide u?
True
Is 6 a factor of 218/4 - 18/12?
False
Suppose 5*v - 19 = -79. Let w(t) = t**3 + 11*t**2 - 18*t + 12. Does 6 divide w(v)?
True
Let v = 70 + -42. Let m = -28 + v. Suppose -3*g = -m*g - 39. Does 4 divide g?
False
Let q be ((-3)/(-1))/1 + -5 + 223. Suppose 4*b + i - q = 0, -59 - 217 = -5*b - i. Is b a multiple of 9?
False
Suppose 0 = -3*m + h - 2*h + 47, -2*m - 5*h = -40. Let c be (181/2)/((-1)/(-2)). Does 18 divide c/5 - 3/m?
True
Suppose 0 = 29*h - 53*h + 13992. Is h a multiple of 15?
False
Suppose -21 = -l + 3*h, -4*l + 3*h = -h - 68. Does 12 divide (-1)/((l/(-12) - -1)/4)?
False
Let z = 13 + -9. Suppose -4*n + 0*l + 20 = -2*l, -3*n - 4*l + z = 0. Suppose -p + 5*p = n*i - 28, -4*i - 3*p = 0. Does 3 divide i?
True
Let l(j) = -2*j**3 - 32*j**2 + 21*j - 1. Does 44 divide l(-17)?
True
Let j = 267 - 77. Let y = 301 - j. Is y a multiple of 20?
False
Let t = 92 - -14. Is 19 a factor of t?
False
Suppose 0 = 3*m - 18 - 12. Let i(y) = -y**2 - 5*y - 4. Let b be i(-3). Let q = b + m. Is q a multiple of 12?
True
Suppose -5*o - 5*t + 10 = -0*t, 5*o - 2*t + 18 = 0. Does 5 divide (1 - (-3 - o))*10?
True
Let w(v) be the first derivative of -19*v**2/2 - 32*v + 35. Is 3 a factor of w(-4)?
False
Suppose -c = 5 - 8. Suppose 9 = -c*j - 10*q + 5*q, 5*q + 25 = 5*j. Suppose -165 = -5*x + 2*s + 511, -j*x + 3*s = -266. Is 44 a factor of x?
False
Let n(w) = -2*w. Suppose 5*m + 72 = 3*l, 4*l + 25 - 65 = 2*m. Is n(m) a multiple of 8?
True
Suppose 5*k - 50 - 30 = 0. Let i = 23 - k. Does 2 divide i?
False
Let l = 210 + -132. Suppose 0 = -2*n - 4 + l. Suppose 0*f + n = f. Is f a multiple of 9?
False
Suppose 16*h = 7*h + 72. Suppose 3*w - h - 156 = -4*d, -w = -4*d - 44. Does 26 divide w?
True
Suppose d + 0*d + 24 = 0. Does 3 divide (d/10)/(2/(-10))?
True
Suppose -4*g - 72 = 5*g. Is (((-2178)/(-8))/11)/((-3)/g) a multiple of 12?
False
Suppose -3 = -4*k - 31. Let v = k + 10. Suppose i - 80 = -v*i. Is i a multiple of 5?
True
Suppose -15 = 2*x - 5*x. Suppose x*u - 36 = 54. Let z = 21 - u. Is z a multiple of 2?
False
Suppose -4 = y - 2*y. Suppose -w - y = -1. Is 5 a factor of (-6)/9 - 95/w?
False
Suppose 4*z + 1160 = 4*n, 3*n - 889 = -2*z + 6. Let g = -165 + n. Is g a multiple of 13?
True
Let c = 537 - 356. Let q = -100 + c. Does 27 divide q?
True
Let i(n) = n + 2. Suppose 3*x + 2 = l, 9 + 7 = -2*l + x. Let v be l/(-25) + 33/5. Is i(v) a multiple of 9?
True
Let q(s) be the third derivative of -s**5/60 + s**4/3 + 4*s**3 - 8*s**2. Let j be q(10). Suppose 3*x - j*x + 3 = 0. Is 2 a factor of x?
False
Suppose 32*p - 33*p + 4*x + 150 = 0, -2*p = -x - 321. Does 27 divide p?
True
Let i = 1298 + -914. Is 6 a factor of i?
True
Let a(n) = -n + 8. Let q be a(6). Suppose -2*h = 5*y - 3*h - 325, 4*y + q*h - 246 = 0. Does 16 divide y?
True
Let l = -24 + 5. Let n = l - -19. Suppose 10 = s - n. Is 5 a factor of s?
True
Let t be 2*(9/2)/3. Suppose 162 + 333 = t*z. Suppose -3*q = -h - z, -q + 5*h = -2*q + 71. Is 17 a factor of q?
False
Let s(u) = -7*u + 2. Let p(b) = 6*b - 3. Let g(r) = -6*p(r) - 5*s(r). Let c be g(13). Let k(y) = 2*y**2 + 5. Does 11 divide k(c)?
True
Suppose 945 + 639 = 9*i. Is i even?
True
Suppose -y + 265 = c - 23, -4*c + 1153 = 3*y. Is 13 a factor of c?
False
Let l = 245 + -231. Does 4 divide l?
False
Let t(r) = r**3 - 6*r**2 + 4. Let b(q) = -2*q**3 + 7*q**2 + q - 5. Let s(p) = -2*b(p) - 3*t(p). Let w be s(-4). Is 267/9 + 2/w a multiple of 15?
True
Let u be -7 - (-1 - 2)/(12/8). Is u/(-45) - (-2158)/18 a multiple of 25?
False
Suppose -4*u = -7*f + 8*f - 1639, 4*u - 2*f = 1630. Is 58 a factor of u?
False
Let x = 2126 + 123. Does 11 divide x?
False
Let u(s) = s**2 - 11*s + 14. Let d be u(10). Let h(f) = 2*f**2 + 6*f - 8. Let y(q) = 4*q**2 + 12*q - 17. Let i(a) = 7*h(a) - 3*y(a). Does 17 divide i(d)?
True
Suppose -47*k = 11*k - 52374. Is k a multiple of 11?
False
Let m(k) = 63*k + 414. Is 17 a factor of m(29)?
False
Let d = 12 - 17. Let k(m) = -14*m - 5. Is 13 a factor of k(d)?
True
Let j = -49 + 51. Suppose -4*h + 3*h + 112 = 4*z, -j*z = -3*h + 308. Does 29 divide h?
False
Suppose -202 - 192 = -2*a - 4*l, -5*l = 3*a - 586. Is a a multiple of 38?
False
Let k(i) be the second derivative of 107*i**3/6 + 3*i**2/2 + 19*i. Is k(1) a multiple of 11?
True
Is 77 a factor of (0 - -33)/((-35)/(-4410))?
True
Let k(h) = 2*h + 4. Let g(u) = u - 1. Let c(j) = 15*g(j) + 3*k(j). Let y be c(-2). Let b = y + 67. Is b a multiple of 11?
True
Let n be ((-16)/(-4) + -1)/1. Suppose -o = x - n - 17, 75 = 4*x + 3*o. Does 4 divide x?
False
Suppose -17*y + 560 = -7*y. Do