+ -47. Let f = 38 - h. Is f a multiple of 12?
False
Let p(o) = -3338*o**3 - 9*o**2 - 17*o - 9. Is p(-1) a multiple of 6?
False
Suppose n = 5*j + 12628, 63*j - 59*j - 50560 = -4*n. Does 8 divide n?
False
Suppose -4*f = -3*g - 253, -4*f = g - 4 - 269. Let b(q) = 13*q - 26. Let v be b(2). Suppose -h + 5*t = h - f, -5*h - 4*t + 217 = v. Is h a multiple of 2?
False
Let j(d) = 4*d - 5. Let s be j(-2). Let z(f) = f**3 + 15*f**2 + 27*f + 1. Let b be z(s). Let o = 27 - b. Does 13 divide o?
True
Let z(q) = 2*q**3 - 20*q**2 + 2*q + 7. Let o be z(10). Suppose o*b = 31*b. Suppose -5*l + 2*x + b*x + 630 = 0, 2*l + 4*x - 252 = 0. Is l a multiple of 9?
True
Let l(u) = -14*u**3 - 6*u**2 + u + 76. Is 58 a factor of l(-7)?
False
Suppose 0*o = o - 105. Let h = o + -110. Is 5 a factor of (4 + -2)*h*-2?
True
Let l(y) = y**3 + 2*y**2 - 2*y + 228. Let n = -143 + 143. Does 38 divide l(n)?
True
Let p(s) = -2*s**3 - 51*s**2 - 326*s + 169. Is 194 a factor of p(-36)?
False
Suppose -3*o = -2*o + 5*r - 245, -o + 4*r = -272. Suppose -3*w = -5*t + 342, 3*t + t + w = o. Is 11 a factor of t?
True
Let s(o) = 772*o + 103. Is 20 a factor of s(5)?
False
Let c = 1726 - -669. Suppose c = 4*o + 231. Is o a multiple of 25?
False
Is 26 a factor of 64/6 + (-635)/381 - -10755?
True
Is 154 a factor of (14004 - 0) + 17 + -11 + 4?
True
Let v = -16229 + 32993. Is v a multiple of 44?
True
Does 11 divide (-454)/4*(-5)/(-4 + 1896/464)?
False
Let c(s) = 7*s + 53. Let y be c(-7). Suppose 4*v - 10 = 3*d, -6*d + 2*d + y = -v. Let q = d - -22. Does 5 divide q?
False
Suppose 0 = -4*a - o + 48148, 0 = 2*a + 3*o - 22787 - 1307. Is 83 a factor of a?
True
Let v(h) = 139*h**2 - h - 14. Let l be v(-4). Suppose l = -3*z + 12*z. Is 13 a factor of z?
False
Is 49933 + 108/((-18)/(-2)) a multiple of 263?
False
Let y(k) = k**3 - 11*k**2 + 11*k + 22. Let w(h) = -6*h + 58. Let v be w(8). Is y(v) a multiple of 4?
True
Suppose 0 = 178*v - 257*v + 1278378. Is 174 a factor of v?
True
Suppose 226*t - 7179093 + 614021 = 1677826. Is t a multiple of 95?
False
Suppose 4*x - 16 = 0, c + 27 - 30 = -x. Does 10 divide 17 + 617 - (1 + 4) - c?
True
Suppose 5*i - 316 - 274 = 0. Let h = -106 + i. Suppose 0 = 6*u - 186 + h. Is 7 a factor of u?
False
Is 14 a factor of 7/(1 + 0 - 37/(92722/2499))?
True
Suppose 14*y = 18*y - 140. Let j = y - -71. Suppose -8 = -4*k, -2*k - j = -4*i + k. Does 7 divide i?
True
Let n(b) = -11*b - 63. Let j(z) = -1. Let w(g) = -4*j(g) - n(g). Is 10 a factor of w(13)?
True
Suppose -622 = o - 3*j - 1747, -2270 = -2*o + 2*j. Suppose -24*y = -27*y + o. Is 5 a factor of y?
True
Let t(a) = 2*a**2 - 4*a. Let v be t(4). Suppose 241 = 7*u - 18. Suppose v - u = -x. Is x a multiple of 11?
False
Does 63 divide 2/((-7)/((-147)/(-6))) - (23 + -8465)?
False
Let y be 2115/(-4) - (114/(-24) + 5). Let t = -274 - y. Let m = t + -138. Does 19 divide m?
False
Suppose 1218 = 7*m - 483. Let o = m + -135. Is 9 a factor of o?
True
Let y be -3 + 0 + 12/6 + 757. Suppose -2*n = 16*n - y. Does 3 divide n?
True
Suppose -2*w = -6, -3*m - 24 = -4*w - 84. Let t be (-12)/m*(1 + 7). Let n(j) = j**3 + 4*j**2 - 5*j + 1. Is n(t) a multiple of 21?
True
Let p(o) = -13*o - 42. Let q be p(-3). Let c(g) = 5*g**3 - 3*g**2 + g - 1. Let t be c(q). Is 21 a factor of (-21 + 15)/(4/t)?
False
Let p(f) = 5*f**2 - 13*f - 7. Let z be p(3). Is 62/124*(1 + (-465)/z) a multiple of 11?
False
Suppose 176*u - 146*u - 155940 = 0. Does 29 divide u?
False
Suppose 5*p = -0*p - 5. Let n(m) = 9*m**3 + 6*m**2 - 7*m - 13. Let g(z) = -19*z**3 - 13*z**2 + 15*z + 28. Let y(q) = -6*g(q) - 13*n(q). Does 2 divide y(p)?
False
Let v be -16*-1*4 - -3. Let g be (16/12)/((-4)/51). Let p = v + g. Is p a multiple of 15?
False
Let a = -7 + 21. Suppose -25 = 2*d - 3*t + a, -2*t + 34 = -2*d. Let w(r) = 2*r**3 + 25*r**2 + 7*r - 5. Does 6 divide w(d)?
False
Let s = 2384 - 2213. Let p(h) = -h**3 - 7*h**2 + 3*h. Let l be p(-4). Let o = l + s. Is o a multiple of 25?
False
Suppose 2637*x - 110414 = -5*c + 2634*x, 0 = c - x - 22094. Is c a multiple of 25?
False
Let r(m) = 393*m + 1580. Let d be r(-4). Let o(f) be the second derivative of -f**5/20 + 3*f**4/4 + f**3/2 + 3*f**2/2 + f. Does 8 divide o(d)?
False
Suppose -173*m + 230 = -172*m. Let g = m - -298. Is g a multiple of 16?
True
Suppose -4*f = -4*n + 592, -5*f - 326 = n + 396. Let v = f - -145. Suppose 2*w - 6*w + 1008 = v. Does 36 divide w?
True
Suppose -3*r = 2*u - 7660, -2*r - 4*u = -2646 - 2474. Is 17 a factor of r?
True
Suppose 0 = 4*k + 12, 2*o - 15*k - 5505 = -10*k. Suppose -6*d = -4*h - d + 2199, 0 = -5*h + 5*d + o. Is 20 a factor of h?
False
Let y = 104 + 11. Suppose 882 = y*c - 113*c. Is c a multiple of 63?
True
Let j(g) = -1866*g - 44. Is j(-2) a multiple of 100?
False
Let c(t) = t + 6. Let x be c(-8). Let w be x/(-18) + 2518/18. Suppose -4*j = 3*a - 410, a = -2*j - 0*j + w. Is 26 a factor of a?
True
Let a(y) = 445*y - 124. Let w be a(4). Suppose 13*v + w = 21*v. Does 107 divide v?
False
Let g(n) = n**3 - 6*n**2 + 17*n - 24. Suppose -4 = 4*t + 3*w - 23, 4*t = 4*w + 40. Does 24 divide g(t)?
True
Let a(h) = 36*h**2 - 2*h. Let q = -334 - -336. Does 4 divide a(q)?
True
Suppose -a - 2*t + 4 = 0, -6 = 2*a - 5*t + 4. Suppose a*n = 2*s - n - 237, 0 = 2*s - 5*n - 225. Does 25 divide s?
False
Let i(x) be the third derivative of x**5/60 - x**4/2 - 20*x**3/3 - 4*x**2 - 6. Is i(27) a multiple of 10?
False
Suppose 5*b + 192 + 188 = 0. Let k = -68 - b. Suppose 0 = 4*y - k*y + 272. Is 6 a factor of y?
False
Let k(x) = 8*x - 893. Let n(d) = -22*d + 2676. Let h(g) = -10*k(g) - 3*n(g). Is h(0) a multiple of 11?
True
Suppose -l - 78 = -86. Is 12 a factor of (-172172)/(-143) + l + 0?
True
Suppose -3*f - 81 = 4*v, -v + 12 = -2*v + 2*f. Let a be (-4)/v - (-8)/(144/4370). Suppose 3*t = 5*w + 4*t - a, -5*w = -5*t - 225. Is w a multiple of 12?
True
Let n(w) = -2*w**2 - 44*w + 41. Let s be n(-25). Let p = -17 - s. Is 13 a factor of p?
False
Let g(j) = -84*j**3 - 2*j + 1. Let y(v) = -v**3 + v + 1. Let c(f) = g(f) - 4*y(f). Let q be c(-2). Suppose 0 = -9*u - 100 + q. Is 4 a factor of u?
False
Is 18 a factor of (-1)/(-1) - (-130668)/30 - (-156)/390?
False
Suppose 1208 + 420 = 11*y. Is y a multiple of 7?
False
Let j = 34207 + -29092. Is j a multiple of 155?
True
Suppose 3*s = -2*n + 2286, -3*n = -15*s + 17*s - 1524. Is 5 a factor of s?
False
Let d(i) = 10*i**3 - 113*i**2 + 114*i + 71. Let r(a) = 2*a**3 - 23*a**2 + 23*a + 14. Let b(v) = 2*d(v) - 11*r(v). Does 30 divide b(12)?
True
Let s(n) be the first derivative of -n**3/3 + 19*n**2/2 + 40*n - 2. Is s(12) a multiple of 7?
False
Let v(w) = 2512*w**3 - 16*w + 38. Does 23 divide v(2)?
True
Is (11 - 1 - 70)*1*-17 a multiple of 85?
True
Let j = -6357 - -6579. Is j a multiple of 25?
False
Let t(y) = 5*y - 9. Let h be t(7). Let b = 30 - h. Suppose 6*r - 10*r + 4*p + 292 = 0, 4*r = -b*p + 292. Is 14 a factor of r?
False
Let p = 4382 - 2780. Is p a multiple of 32?
False
Suppose -57*g = -60*g - 705. Let m = -79 - g. Is m a multiple of 12?
True
Suppose -2*x = 5*m - 36345, 36327 = 2*x - 0*m - m. Is 84 a factor of x?
False
Let t(r) = -17*r + 1. Let f(d) = 76*d - 16. Let z(q) = f(q) + 4*t(q). Let j(s) = 2*s - 4. Let m be j(5). Is z(m) a multiple of 10?
False
Let i(l) = -5*l**2 - l + 18. Let y(n) = -6*n**2 - 2*n + 17. Let u(w) = -5*i(w) + 4*y(w). Suppose -10 = 2*q, 0 = 5*c - 3*c - 3*q + 13. Does 12 divide u(c)?
True
Let y(d) = 418*d**2 + 30*d - 72. Is y(3) a multiple of 6?
True
Let o(z) = 2045*z**3 - z**2 - 9*z + 10. Does 23 divide o(1)?
False
Suppose 136*a = 141*a - 2175. Suppose 5*o + 218 = 2*y - 49, -3*y + a = 4*o. Is 23 a factor of y?
False
Suppose -225 = -i + 4*o + 212, 4*o - 1327 = -3*i. Suppose -i = -5*x + 744. Is x a multiple of 54?
False
Let n = -12159 - -16163. Is n a multiple of 14?
True
Suppose 27 = k + z, -k - 4*z = 4*k - 131. Suppose 0 = 6*p + 7 + k. Does 27 divide p/((-5)/3) - (-24 - 0)?
True
Suppose 19*v - 9*v = 32340. Suppose -5*w + v = 9*w. Is 19 a factor of w?
False
Let c(k) = -7*k + 9. Let f be c(0). Let n = 0 - -24. Is 357/14*n/f a multiple of 17?
True
Let a(l) = l**3 + 5*l**2 + 3*l - 3. Let y be a(-2). Suppose -y*z - 12 = 0, -14*f + z = -15*f + 186. Does 95 divide f?
True
Is 10 a factor of ((-20)/(-12))/((-10)/(-34140))?
True
Let b be (-1 - 9)/(11 + -13). Suppose b*x = 2*p + 276, -9*x + 222 = -5*x -