
Let r be -130*(10/4)/(-1 + 0). Let a = -205 + r. Is a a multiple of 15?
True
Suppose -2340 = -99*j + 86*j. Does 18 divide j?
True
Let b(a) = -4*a**2 - a**3 - 4*a**2 - 10*a + 2*a + 10 + a. Suppose -o - 2*q + q - 7 = 0, -4*o - 5*q = 28. Is 10 a factor of b(o)?
True
Suppose -m + 1 = 5. Let k = 12 + m. Is 14 a factor of ((-88)/(-6))/(k/24)?
False
Suppose -1108 - 278 = -3*r. Is 11 a factor of r?
True
Let c(d) = d**2 - 8*d + 4. Let l be c(8). Does 5 divide 11 - ((-5)/10)/(2/l)?
False
Suppose -8*v + 10287 - 1551 = 0. Is 14 a factor of v?
True
Let u = -56 + 60. Suppose 0*g - g = -5, 881 = u*k + g. Is k a multiple of 18?
False
Suppose -1170 = -448*y + 445*y. Does 24 divide y?
False
Let r be (-3 + 6)/((-9)/(-174)). Suppose -8*d + 6*d = -r. Is 7 a factor of d?
False
Let w(r) be the first derivative of -r**6/24 - r**5/30 + r**4/24 + r**3/6 - 2*r**2 - 5. Let p(h) be the second derivative of w(h). Is p(-2) a multiple of 12?
False
Suppose -i - 3 - 7 = 0. Let u(v) = -2*v - 6. Let k be u(i). Suppose 10*n + 100 = k*n. Is n a multiple of 5?
True
Let p(n) = 3*n**2 - 2*n. Let a = 23 + -29. Is 26 a factor of p(a)?
False
Let x = 3 + 3. Let m = 39 - 71. Let r = x - m. Is 12 a factor of r?
False
Let k(j) = -j**3 + 4*j**2 + 4*j - 8. Let i be k(4). Let w(x) = 2*x**2 - 2*x - 17. Let d be w(i). Suppose -n = -2 - d. Is 14 a factor of n?
False
Is 7/70*10 + 1*21 a multiple of 13?
False
Let q(l) = -l**3 - 6*l**2 + 5*l - 3. Let d(m) be the third derivative of -m**6/120 - m**5/10 + m**4/24 - m**3/6 + 6*m**2. Let t be d(-6). Is 5 a factor of q(t)?
False
Let r = 21 + -34. Let m = -11 - r. Suppose 5*p + m*c - 6*c - 58 = 0, p - 3*c = 5. Is 7 a factor of p?
True
Let n be 2 + 43*(-1)/1. Let b = n - -13. Let a = b - -56. Is 12 a factor of a?
False
Let f be ((-24)/10)/(48/(-10440)). Suppose 3*g - 358 = g - 3*l, -3*l = -3*g + f. Is 13 a factor of g?
False
Suppose y = 5, 0 = 5*w + 2*y - 0*y - 60. Let m(i) = -3 - 6*i - i**3 - 6 + 8*i**2 + w. Does 4 divide m(7)?
True
Suppose 33*s = 29*s - 3*g + 3037, 0 = 3*g + 3. Does 15 divide s?
False
Suppose 2*d = -2*u + 668, -4*d + 97 = 5*u - 1236. Let k = d - 218. Does 17 divide k?
True
Let x(a) = -7*a - 1. Let v be x(1). Let i = v + 41. Suppose -6 + i = 3*y. Is 9 a factor of y?
True
Suppose 0 = -0*k + 3*k - 9. Suppose 2*f - 4*g - 21 = g, k*f - 5*g - 24 = 0. Suppose -c - 3*q = f, -2*q - q = 4*c - 15. Is c a multiple of 6?
True
Let a(k) = k**3 + 2*k**2 - 5*k - 6. Let s be a(-6). Let c(u) = -4*u + 4. Let o be c(8). Does 24 divide (o/(-6))/((-10)/s)?
False
Let g = 2 + -23. Let w = g - -79. Is 7 a factor of w?
False
Let o be (459/(-12))/((-9)/48). Suppose -o = t - 3*t. Suppose -t = -5*w + 48. Is w a multiple of 10?
True
Suppose 5*w + 13 = 4*l, -l + 2*l = 3*w + 5. Suppose l*t = 125 + 103. Suppose 0 = -3*k + k + t. Is k a multiple of 19?
True
Let h be (-2)/3*6/4*-1. Does 8 divide ((-88)/8 + 6)/(h/(-6))?
False
Let g(c) = -c - 3. Let i be g(-4). Is 30 a factor of ((-13 - i) + -4)/((-2)/10)?
True
Suppose 4 = 73*l - 74*l. Does 16 divide 0 + l + 5 - -205?
False
Let h be (-2 - -5) + (-72)/8. Is 17 a factor of (h + -28)/(6/(-15))?
True
Let p(b) be the third derivative of 0*b - 9*b**2 + 1/60*b**5 + 1/3*b**3 - 29/60*b**6 + 1/8*b**4 + 0. Does 19 divide p(-1)?
False
Suppose n - 8 = 2*r, -2*r = -5*n - 0*n + 72. Let i = 31 - n. Suppose 3*k + i - 45 = -h, -k = -h + 14. Does 9 divide h?
True
Suppose 0 = -161*k + 162*k - 287. Is 41 a factor of k?
True
Suppose -13*n + 21736 = 25*n. Is 67 a factor of n?
False
Let f = -76 - -284. Is f a multiple of 13?
True
Let p(x) = 2*x + x**3 - 4 + 3*x - 6*x + 8*x**2. Let m = 215 - 222. Does 26 divide p(m)?
True
Let i(m) = m**3 + 9*m**2 - 7*m - 4. Let u be i(-8). Let b = 129 - u. Is b a multiple of 5?
False
Let b(d) be the first derivative of 3*d**2/2 - 12*d - 10. Let h be b(8). Is 4 a factor of (-1)/(-3) - (-188)/h?
True
Suppose -4*k + 3*k - 11 = 0. Let a = k + 13. Suppose -a*s = s - 42. Is s a multiple of 14?
True
Let k be (-42)/(-12) - (-2)/(-4). Suppose -t + 4*g - 5 = 0, -t - 8*g + k*g + 13 = 0. Suppose 52 = t*r - 80. Is 13 a factor of r?
False
Let o(j) be the third derivative of j**7/1260 - 13*j**6/720 - 2*j**5/15 + 2*j**2. Let z(s) be the third derivative of o(s). Is z(7) a multiple of 4?
False
Let o(s) = -s + 4. Let b be ((-64)/40)/(2/(-5)). Let v be o(b). Suppose v*a - 45 = -3*a. Does 5 divide a?
True
Let j(c) = -28*c - 1. Let h = 11 - 10. Suppose b = 4*t - h, 5*t + 2*b + 10 = b. Is j(t) a multiple of 13?
False
Let i be 5 - 4/6*-6. Let r = i + -6. Suppose g = -3*s + 8, -r*g + 5*g - 26 = 4*s. Is 5 a factor of g?
False
Let x be -12 + -1 + 6 + -2. Let b(m) = -m**2 - 11*m - 5. Does 13 divide b(x)?
True
Let j(i) = 67*i**2 - i. Let v be j(1). Suppose 5*a = v + 4. Is 14 a factor of a?
True
Let i(j) = 4*j + 8. Let y be i(-5). Let h(w) = w**3 + 12*w**2 + 2. Let p be h(y). Let n(t) = 4*t**3 + 2*t**2 - t - 2. Is n(p) a multiple of 12?
True
Let d(n) be the first derivative of 19/2*n**2 - 1/4*n**4 - 1 - 6*n + 4*n**3. Is 18 a factor of d(13)?
True
Is (72/15)/((-13)/(-1040)) a multiple of 24?
True
Let f(n) = 7*n**2 - 13*n - 15. Let d(g) = 6*g**2 - 12*g - 14. Let q(y) = 5*d(y) - 4*f(y). Let s be q(8). Suppose -3*i - 12 + s = 0. Is 14 a factor of i?
True
Let p(y) = 14*y - 32. Is 15 a factor of p(13)?
True
Suppose 10*a - 4120 = 260. Does 3 divide a?
True
Suppose -2*z = -4*l - 238, 3*z = 3*l - 4*l + 350. Let n = 203 - z. Suppose 0 = 6*j + 32 - n. Does 9 divide j?
True
Suppose -2*z + 3*b + 237 = -590, 0 = z - 5*b - 431. Does 13 divide z?
False
Let k(i) = -30*i - 55. Let v(c) = -89*c - 163. Let a(q) = 11*k(q) - 4*v(q). Is 15 a factor of a(8)?
True
Let t(h) = -17*h**3 - h**2 + 5*h + 1. Let o be t(-3). Suppose -2*n + 10 = 3*n, 5*d - 2*n - o = 0. Is d a multiple of 11?
True
Suppose -a - 3*z + 267 = 0, a + 4*a - z = 1335. Let m be ((-13)/39)/((-1)/a). Suppose 4*u + 37 - m = 0. Does 13 divide u?
True
Let l(b) = 8*b + 28. Let i be l(-3). Suppose i*x - 3*z + 4*z = 576, z + 432 = 3*x. Does 9 divide x?
True
Let y be (13 - -1)*(1 + 166/4). Suppose -100*r = -95*r - y. Is r a multiple of 7?
True
Let h = -121 - -271. Let n be (-1)/(3*2/h). Let b = n - -60. Is 10 a factor of b?
False
Let f be (-5)/(-25)*2 - 236/(-10). Let h be (-1)/(1/6*1). Let z = h + f. Is z a multiple of 6?
True
Suppose -t - d = -78, -t - 150 = -3*t - 5*d. Suppose y + 4 = t. Is 19 a factor of y?
True
Let p(i) = 0*i**2 + 12 - 1 + i**2 + 10*i. Let h(a) = -a**3 + 7*a**2 + 6*a + 5. Let r be h(8). Does 22 divide p(r)?
True
Let n(y) = -66*y**3 + 2*y**2 + 2*y + 1. Let l be n(-1). Suppose -a + l = -17. Does 22 divide (1 + a - 0) + -1?
False
Suppose 8*q + 0 = 16. Suppose r + q*a - 74 = -0*r, 0 = r - 5*a - 95. Is 16 a factor of r?
True
Let m = 110 - 103. Let i be 4/(-6) - (-322)/6. Suppose -i = -5*z + m. Does 3 divide z?
True
Let b = -70 + 31. Is 2/6 + (-221)/b a multiple of 6?
True
Let r(l) = -3*l + 73 - 2 - 61. Suppose 5*d - 3*b + 10 = 0, -5*d - 3*b - 40 = -0*b. Is r(d) a multiple of 4?
False
Let g(n) be the first derivative of 5*n**2 + 6*n + 8. Is g(6) a multiple of 22?
True
Let u be ((-276)/36)/((-1)/15). Suppose -7*t + 1964 = -u. Suppose 0 = 3*z, -3*n - z = -t + 48. Does 17 divide n?
False
Let y(f) = -7*f + 27*f**2 - 2 - 3*f + 7*f. Does 6 divide y(-1)?
False
Let z = 192 - 98. Is (2 - -2)*-1 + z a multiple of 30?
True
Let w(n) = -8*n - 4. Let k(o) = o + 1. Let h(i) = 4*k(i) - w(i). Let j be h(-4). Let v = j - -91. Is v a multiple of 11?
False
Let q(x) = -13*x + 1. Suppose -6*o + 216 - 42 = 0. Let s = 22 - o. Is q(s) a multiple of 23?
True
Is 9 a factor of 17/(51/396) - -3?
True
Let n(t) = -t**3 + 9*t**2 - 5*t + 29. Is 6 a factor of n(7)?
False
Let i = 8976 - 5119. Does 29 divide i?
True
Suppose 0 = 3*m - 12. Suppose p + 2*u - 54 = 0, -5*p + m*p - 4*u + 58 = 0. Does 25 divide p?
True
Let s(w) = -5*w - 8. Let v be s(-2). Suppose v*c + 25 = 85. Does 10 divide c?
True
Let x be 1/(-2) - (-57)/38. Is (-1 + -1*x)/((-280)/21420) a multiple of 51?
True
Is 485 + (15/5 - 8) a multiple of 15?
True
Let l = 12 + -12. Suppose l = 5*c + 3*g - 11, -c + 4*c = -5*g - 3. Suppose 0 = -5*a + 4*q + 129, a - c*q = 4*a - 71. Is 9 a factor of a?
False
Suppose 2*q + j + 26 = 117, 2*q = 5*j + 73. Suppose 0 = -0*t + 3*t - 15, 14 = -3*n + 4*t. Suppose -3*a = -n*a - q. Is 11 a factor of a?
True
Suppose 2*x + 2*q = 3*x, -x + 5*