+ -89)*v/(-7)?
True
Suppose -3*p + 3 = -0*p + 3*g, -13 = 5*p - 4*g. Let a be (p/4)/(4/(-32)). Is ((-29)/a)/((-7)/42) a multiple of 25?
False
Let z(b) = -25*b + 34. Let g(n) = -n**2 + n - 2. Let a(r) = -g(r) - z(r). Is 15 a factor of a(-26)?
False
Let a(x) = -x**3 + 9*x**2 - 11*x + 33. Let p be a(5). Suppose p = q - 68. Suppose -145*m + q*m - 104 = 0. Is m a multiple of 13?
True
Suppose h - 3*h + 160 = -4*d, -3*d = -4*h + 310. Let s be (-84 - -88) + 0/1. Suppose h = s*j - 84. Is j a multiple of 10?
True
Let i(q) be the first derivative of -q**3/3 - 11*q**2 - 14*q - 3. Let m be i(-21). Let c = 63 + m. Does 45 divide c?
False
Let w = 8359 + -7687. Does 8 divide w?
True
Suppose 134*f - 963127 = 329973. Is f a multiple of 50?
True
Let s be -4 - -3 - -1 - 4. Let a be (-2)/s*-1 - 621/(-6). Let d = -48 + a. Is d a multiple of 3?
False
Suppose 0 = 26*d - 17 - 9. Let o(r) = 376*r**3 + 2*r**2 - r + 1. Is 6 a factor of o(d)?
True
Suppose -z - 2*w - 1 = -w, 0 = -3*z + 5*w + 21. Suppose -z*q - 15 = -511. Does 44 divide q?
False
Let t(w) = 6*w**2 - 38*w - 9. Let a = -82 + 90. Does 41 divide t(a)?
False
Let n(l) = -9 - l + 35 - 12*l**2 + 3 - l + l**3. Let u be n(12). Suppose -z + 7 = -u. Does 2 divide z?
True
Let j(b) be the third derivative of b**6/60 - b**5/12 + 3*b**4/8 + b**3/6 - 85*b**2. Is j(5) a multiple of 9?
True
Let y be (4/5)/(8/7340). Suppose 4*k = -5*j + y, -2*j - 376 = -2*k - 0*j. Does 15 divide (4/(-6))/((-4)/k)?
False
Let i be -26 + 31 - 34/2*1. Is (5769/54)/((-62)/i - 5) a multiple of 23?
False
Suppose -128*i + 55020 = -58*i. Does 8 divide i?
False
Let q = -5347 - -20984. Is 132 a factor of q?
False
Suppose 8 = -r - r. Is (r/5)/((-8)/1820) a multiple of 14?
True
Is 5 a factor of (5 + -7)*57*(-35)/21?
True
Let t(o) = o**2 + 31*o - 28. Let s be t(-22). Let h = s - -553. Does 22 divide h?
False
Let h = 403 - 842. Let m = -93 - h. Suppose 402 + m = 11*x. Is 34 a factor of x?
True
Suppose -8*g + 13*g - 1235 = 0. Let q = 592 - g. Suppose 2*r + 41 = q. Is 15 a factor of r?
False
Suppose -3*b - w + 11 = 0, -2*b - 2*w = -10 - 0. Suppose -705 + 2235 = 5*q - 5*y, b*y = q - 310. Does 38 divide q?
True
Suppose 3*x + 3*s - 30999 = 0, 4*x = -681*s + 678*s + 41327. Is 4 a factor of x?
True
Let z(u) = -269*u**2 - 5*u - 13. Let n(m) = 2*m. Let j(c) = -4*n(c) - z(c). Is 68 a factor of j(2)?
False
Suppose 0*u - 5*m = -2*u - 17, -3*u = m. Let k(o) = -145*o - 15. Does 26 divide k(u)?
True
Let q(a) = 97*a + 11002. Does 180 divide q(-106)?
True
Is 13 - (9 + 9153)/(-2) a multiple of 27?
False
Let y = -55 + 43. Let v(x) = x**3 + 13*x**2 - 5*x - 20. Let k be v(y). Suppose -t - 3*t + k = 2*b, t = -b + 48. Does 6 divide t?
False
Let d be 18/4*(-2)/(-9). Let o be (6/d)/((-42)/(-28)). Suppose -5*n - 40 = -5*m, -4*n + 5*n + 41 = o*m. Is m a multiple of 11?
True
Suppose -8402 - 898 = 5*v. Is ((-14)/35)/((-5578)/v - 3) a multiple of 62?
True
Suppose 13*g - 6*g + 10*g = 0. Suppose 24*x - 20*x - 1792 = g. Does 10 divide x?
False
Let j(k) = -27*k**2 - k + 17. Let u(o) = -79*o**2 - 4*o + 50. Let x(b) = 17*j(b) - 6*u(b). Is x(5) a multiple of 11?
False
Suppose -k + 968 - 180 = 2*m, 3*k = -5*m + 2365. Let n = k + -531. Is 37 a factor of n?
True
Let z(b) = -6*b - 66. Let l be z(-11). Is 6 a factor of (-15 - l)/((-27)/297)?
False
Let d(y) = -y**2 + 9*y - 10. Let u be d(8). Let a(g) be the third derivative of g**5/4 + g**3/6 + 139*g**2. Is 15 a factor of a(u)?
False
Let o(r) = -3*r + 2. Let w be o(0). Let l be (4 - w - 1) + 1. Suppose 2 = 2*a, l*b - 4*a - 106 = -0*b. Is 5 a factor of b?
True
Let u(r) = -80*r - 10 - 5 + 2. Let h(b) = 40*b + 6. Let p(i) = 9*h(i) + 4*u(i). Does 15 divide p(3)?
False
Let f(v) = 1210*v**2 - 4*v - 22. Is 85 a factor of f(-3)?
True
Let d(q) = -4900*q**3 - 5*q**2 + 14*q + 18. Is d(-1) a multiple of 71?
True
Let n(x) = -x - 14. Let u be n(-16). Suppose 0 = -12*v + 17*v - 145. Suppose -p - u*p + k = -95, 0 = p - k - v. Is p a multiple of 15?
False
Let b be 26/39 - 7/(-3). Suppose 3*u + 5 = -2*w - 6, -3*u - 5 = 5*w. Suppose -b*d + 142 = 2*y - 44, w*y - 5*d = 154. Is y a multiple of 20?
False
Is 4*1/(-5)*25*(-38 + -196) a multiple of 120?
True
Let c(z) be the second derivative of -z**5/20 + 2*z**4 + 43*z**3/6 + 3*z**2/2 - 2*z + 2. Does 32 divide c(24)?
False
Let v(a) = -297*a**3 - 3*a**2 - a + 2. Suppose -26*x = -19*x + 7. Is 27 a factor of v(x)?
True
Let f = -301 + 199. Let q = -88 - f. Suppose -5*c - 351 = -q*c. Is c a multiple of 19?
False
Let v be (10 - 8)*(0 + 1). Suppose v*t - 3612 = -4*t. Suppose 5*z + 2*k - t - 376 = 0, 786 = 4*z - 2*k. Is z a multiple of 11?
False
Let l(n) = -6. Let b(o) = 77*o**2 + 10*o - 12. Let a(w) = b(w) - 5*l(w). Does 34 divide a(-2)?
True
Let v(d) be the third derivative of d**4/24 + 41*d**3/6 + 1595*d**2. Let c(h) = -2*h**2 + h + 2. Let o be c(3). Is 19 a factor of v(o)?
False
Let q be (2*1)/(17 + -19). Let h(r) = -3*r**3 + 2*r**2 + 6*r + 5. Let f be h(q). Suppose 0 = -4*b, -y - f*y = 4*b - 1090. Is y a multiple of 20?
False
Let y = 2354 + 2777. Is 115 a factor of y?
False
Let d be 2 + 64/(-40)*(6 - 1). Let i(l) = l**2 - 19*l - 7. Let h be i(d). Suppose -v - 4*g = -h + 3, 5*v + 4*g = 636. Does 62 divide v?
True
Suppose -5*o + f = -101612, 2*o + 0*o + 5*f - 40607 = 0. Is o a multiple of 7?
True
Let y be 2 + (-1 - 1168)/7. Let b = y - -237. Is b a multiple of 2?
True
Suppose 126*g - 550504 = 151064. Does 48 divide g?
True
Let s be ((-6)/(-33) - (-10)/66)*0. Suppose 12 = z - 0*y + 5*y, 4*z + 5*y - 18 = s. Suppose 0 = 4*x - 3*r - 748, -3*x + z*r - 198 = -4*x. Does 40 divide x?
False
Let f(u) = 298*u**3 - 7*u**2 - u + 10. Does 8 divide f(3)?
False
Let z(p) = -67*p + 2167. Is z(-84) a multiple of 15?
False
Suppose 2*v + 2*f - 390 = 0, 2*v + v - 2*f - 600 = 0. Suppose 0 = -2*s - 0*s + v. Is 9 a factor of s?
True
Let g(i) = 11*i**2 + 20*i - 7. Let l = 394 - 387. Does 48 divide g(l)?
True
Suppose 128*i + 40297 - 196159 = 216362. Is 10 a factor of i?
False
Let b = -1144 + 2144. Does 20 divide b?
True
Is 22 a factor of ((-46)/6)/(34/51)*(-175 + -1)?
True
Let k be 154/33*((-33)/6 + -2). Is 5 a factor of (-1656)/(-14) - (8 + 270/k)?
False
Suppose -3*k + 8 = z, -4*z + 3 = -5*k + 39. Does 28 divide z/(-6) - (-2852)/6?
True
Is 25 a factor of -6375*(14/(-21))/(10 + -8)?
True
Let n(d) = d**2 - d. Let h(w) = -10*w**2 + w + 21. Let s(p) = -p**2 + 7*p + 7. Let k be s(8). Let l(f) = k*h(f) - 4*n(f). Is 19 a factor of l(-5)?
True
Suppose 3*l - 439 = 332. Let x = -241 + l. Is 8 a factor of x?
True
Let j = 102 - 82. Let c be (12/j)/(-1) - 9376/(-10). Suppose 4*q = -3*h + 598, -4*q - 2*h = 341 - c. Is 41 a factor of q?
False
Let x = 2450 - 420. Suppose a - 6*a = x. Let o = a - -603. Does 11 divide o?
False
Suppose 91 - 36 = 11*l. Suppose 0 = l*u - 248 - 472. Does 11 divide u?
False
Let u(j) = 2*j - 6. Suppose k - 2*k + 4 = 0. Let x be u(k). Suppose 88 = 4*g - x*g. Is 7 a factor of g?
False
Suppose -2587 + 13566 = 63*i - 89947. Does 40 divide i?
False
Suppose -32 = -5*y - 7. Suppose 1486 = -5*u - y*f + 4436, -5*f = -10. Suppose -98 = 5*m - u. Is m a multiple of 14?
True
Let t be 4/(-26) + (-1556)/26. Let w = -58 - t. Suppose -v + 0 + 18 = 3*k, 0 = -w*v + 4*k + 56. Does 4 divide v?
True
Suppose -6 = 5*m - 31. Suppose 0 = m*s - 0*s - 4*w - 290, 3*s - w - 167 = 0. Suppose -26 = -2*r + s. Is 5 a factor of r?
True
Let s(a) = -12*a + 221. Let i be s(18). Does 14 divide (-6 - -7)/(i/5270)?
False
Let d be 8112/(-24)*-2*1. Suppose 1892 = 8*q + d. Does 19 divide q?
True
Let h(q) = q**3 + 26*q**2 + 16*q + 35. Let t be h(-13). Suppose 1139 = 2*k - u, -5*k - 5*u + 831 = -t. Suppose 171 - k = -7*j. Is j a multiple of 17?
False
Let z(n) = 66*n - 164. Let j = 12 + 2. Does 50 divide z(j)?
False
Let y(v) = -270*v**3 - v**2 - 5*v + 6. Does 9 divide y(-2)?
False
Suppose 0 = -r + 4*g - 8, 4 = -3*g + 13. Suppose -4*l - 4 - r = 0. Does 13 divide (1/l)/((25/(-260))/5)?
True
Let a(j) = -j**2 - 14*j + 75. Let r be a(-18). Suppose -260 = -4*x + l, -46 = 2*x + r*l - 190. Does 3 divide x?
True
Suppose 1267 = 9*g + 1006. Suppose 7*b = g*b - 9372. Does 6 divide b?
True
Let q(l) be the third derivative of 19*l**4/24 - 61*l**3/6 - 82*l**2. Is q(20) a multiple of 10?
False
Suppose 42 = k + 38. Suppose -36 = -0*p - k*p. Let n = 141 + p. Does 30 divide n?
True
Let v(o) = 107*o**3 + 2*o*