f 134?
False
Let x = 637 + -588. Suppose x*o - 49273 = -14287. Does 34 divide o?
True
Suppose 0 = -27*k + 23*k + 4*b - 2852, -b + 2 = 0. Does 19 divide (2 - (-40)/(-18)) + (-312998)/k?
False
Is 102 a factor of (-4)/(-22) + (-2288856)/(-176)*8/6?
True
Suppose -6*w - 20*w + 35512 = -200802. Is 21 a factor of w?
False
Let n(y) = 2*y**2 + 35*y - 72. Is 18 a factor of n(-54)?
True
Suppose 0 = -4*x + 17*x - 2782. Suppose 3*t - 7*t = 5*s - x, 0 = -2*t + 5*s + 92. Is 4 a factor of t?
False
Let h = 84 - 147. Let a be -3*(-364)/h + 4/(-6). Let b = a - -42. Does 4 divide b?
True
Suppose 5*y + 3*h - 21913 = 0, 2*y + 3*h + h = 8768. Is y a multiple of 7?
True
Suppose -3 = q - 4*y + 6, -3*q - 3*y = 12. Is 26 a factor of q*(11720/(-50) + -9)?
False
Suppose 0*g = 7*g + 28. Let x be (2 + -1)*(-4 - g) + -218. Is 8 a factor of x/(-4) + 8/(-16)?
False
Let l(t) = -196*t - 453. Is 3 a factor of l(-8)?
False
Suppose -4*u = -2*f + u + 5, -4*f + 3*u = -45. Let s be 986/10 - (-6)/f. Let q = -55 + s. Is 10 a factor of q?
False
Let g(t) = -t**3 + 13*t**2 + 7. Let b be g(13). Suppose 5*a = -4*k + 30, 2*k - k - b = -a. Suppose -3*j - 72 = -k*j. Does 18 divide j?
True
Let d(s) = 29*s + 99. Let z be d(18). Suppose 1104 + z = 5*w. Is 23 a factor of w?
True
Let o(p) = p**3 - 4*p + 667. Let w be o(0). Let n = 56 + w. Is n a multiple of 29?
False
Suppose 0 = 4*u - 223*u + 1949976. Is u a multiple of 159?
True
Suppose -160*q + 127*q = -37818. Is q a multiple of 17?
False
Let o = 178 - 170. Suppose 5328 = -o*x + 16*x. Does 11 divide x?
False
Suppose 71496 = 4*m + 4*h, 84*h + 53616 = 3*m + 85*h. Does 69 divide m?
True
Let g(t) = 11*t**2 - 2*t - 13. Let a(d) = 55*d**2 - 9*d - 66. Let z(w) = 2*a(w) - 11*g(w). Let y be z(-3). Is 9 a factor of ((-75)/y)/(1 + 179/(-180))?
True
Let z be (0 + -4)/(6/18). Let t be 0 + 77/6 + z/(-72). Suppose 0 = t*u + 225 - 888. Does 51 divide u?
True
Let x = 171 - 181. Is (x/20)/(1/(-38)) a multiple of 10?
False
Let p = -51 - -30. Let l be (p - 0) + (-3 + 3)/2. Does 19 divide 7/(l/(-132)) + -4?
False
Suppose -4*p - 3*s + 87976 = 0, -p = -3*s + 1918 - 23942. Is 200 a factor of p?
True
Let f be 1/((-14)/(-16460)) - (-84)/294. Suppose 13*d = 6*d + f. Is 8 a factor of d?
True
Let i(l) = 366*l**2 + 6*l + 8. Let f be i(-2). Let z = f - 911. Is 57 a factor of z?
False
Let p(s) = 21*s - 4. Let i = -38 + 46. Let r be p(i). Suppose -143 = -2*m + 3*k, -5*k + r = 2*m - 19. Is 27 a factor of m?
False
Let s be 20 + -18 - (-9)/(-3). Does 56 divide ((-48)/(-120))/(s/(-915)) + 1?
False
Let d(f) = -3*f**3 - 5*f**2 - 5*f + 6. Suppose -46 = 14*k - 4. Is d(k) a multiple of 2?
False
Suppose 3*z = 7*z, 5*u = -5*z. Suppose -4*d + 60 = 3*m, -3*d + 9 = -u*d. Is m a multiple of 4?
True
Suppose 8*n + 99 = -n. Is 12*((-1815)/12)/n a multiple of 11?
True
Suppose -332 = -5*u - 312. Suppose 5*a + 0*a + 3*v - 567 = 0, u*a - 3*v = 432. Does 17 divide a?
False
Suppose -20*k - 5295 = -21*k + 3*h, -2*h - 15913 = -3*k. Does 29 divide k?
True
Let x = -527 - -534. Suppose -1165 = -5*h + 5*q, -3*h + x*h - 908 = -2*q. Is 4 a factor of h?
False
Let q(l) be the second derivative of 4*l**4/3 - 2*l**3 + l**2 + 19*l. Let y be q(10). Is 19 a factor of (8/6)/(13/y)?
True
Let o be ((-9)/6*6)/((-42)/28). Suppose -o*i - 14*i = -2360. Is 15 a factor of i?
False
Suppose -5*q + 29*v + 32802 = 0, 66*v = 62*v + 8. Is q a multiple of 253?
False
Suppose -3*v = u - 59, -5*v + 5*u + 13 + 112 = 0. Let x(r) = r - 26. Let d be x(v). Does 43 divide 171 + ((-8)/2 - d)?
True
Let d(s) = 15*s + 1. Let y(n) = -n - 27. Let r(o) = -2*o - 27. Let b(g) = 4*r(g) - 3*y(g). Let u be b(-6). Is 16 a factor of d(u)?
False
Is 47 a factor of 12453 - (-13)/((-130)/(-20))?
True
Suppose -3*n + 4*z = -1338, 70*z + 892 = 2*n + 71*z. Is 4 a factor of n?
False
Let q be -1 + (-4 - -5) + 4. Suppose -5*h + 197 = q*k - 1250, -852 = -3*h + 3*k. Is 25 a factor of h?
False
Let d = 2876 + 9684. Is d a multiple of 20?
True
Let s(v) = 12*v - 60. Let b(h) = 18*h - 90. Let a(z) = -5*b(z) + 8*s(z). Is a(39) a multiple of 17?
True
Let s(f) = 5*f + 246. Suppose 2*b - 3*b - 8 = -3*l, -5*l - 2*b - 5 = 0. Let z be (-6)/(-12) - l/2. Is 40 a factor of s(z)?
False
Let n(q) = 24*q - 24 + 16 + 23 - 209*q. Is n(-1) a multiple of 20?
True
Suppose 0 - 33 = -11*d. Suppose -7*b + d*b = -4800. Suppose k + b = 21*k. Is 20 a factor of k?
True
Let c be 2 - (-1 + 2/(8/(-3604))). Let t = c - 467. Is 4 a factor of t?
False
Suppose -6*k + 41*p = 45*p - 43016, 5*p = k - 7158. Is k a multiple of 14?
True
Let j be 1/(-3) + (-78)/(-18). Suppose 0 = m - j*k + 145, 4*m - m + 4*k + 435 = 0. Let l = 210 + m. Is l a multiple of 10?
False
Does 26 divide ((-18)/(-108))/(2/(-712))*147/(-2)?
False
Suppose 435*s - 420*s - 56355 = 0. Is 13 a factor of s?
True
Suppose 4*z - 35160 = -5*o, -3*o = 4*z - 44114 + 8938. Is z a multiple of 100?
True
Let c = -49 + 49. Let i be (4/8 + c)/((-2)/(-12)). Let a(o) = 4*o + 6. Is a(i) a multiple of 11?
False
Let w be ((-28)/21)/(3/(-18)). Let z(b) = -30*b**2 + 10*b - 9. Let m be z(4). Is 27 a factor of ((-6)/w)/(2 - m/(-224))?
False
Let m = -1819 + 2570. Let g = m + -314. Does 64 divide g?
False
Let d = -34974 - -49044. Is 7 a factor of d?
True
Let p = -376 - -607. Suppose -481 = -d + p. Suppose -b = 5*w - 703, -b - 3*b = 5*w - d. Is 17 a factor of w?
False
Let u be 3*((-44)/(-12) + -2). Suppose u*g = -4*c + 705, 0*g + 860 = 5*c + 2*g. Is 15 a factor of c?
False
Let a = -52952 + 82592. Is a a multiple of 152?
True
Suppose 4*k = -g - 2, -5*g = -0*k - k + 10. Let w be g + 309 + 12/(-3). Let v = w - 183. Is 12 a factor of v?
True
Suppose -4*q + 252 = g, 5*g + 5*q - 3*q - 1206 = 0. Suppose 0 = 3*r - 3*z - 0*z - g, -r - 5*z + 110 = 0. Is 46 a factor of r?
False
Suppose -13*d = 20*d - 7326. Let b = 138 + d. Does 15 divide b?
True
Let b(t) = -t**3 - 79*t**2 - 815*t - 77. Does 19 divide b(-71)?
False
Let z = -6685 - -21601. Is 22 a factor of z?
True
Suppose 2*r + u + 4*u - 20 = 0, 0 = 2*r + 4*u - 18. Suppose i = r*v - 3*i, i = 0. Suppose -11*j + 10*j + 197 = v. Is j a multiple of 45?
False
Suppose 2*t + 6366 = f - 8579, 2*t = 3*f - 44815. Is f a multiple of 145?
True
Let k be 1 + -3 + (-12)/(-2). Let c = -732 + 732. Suppose c*a + 72 = k*a. Is 3 a factor of a?
True
Let w(f) = 32*f - 74. Let v be w(-23). Is v/(-7) - ((-255)/35 + 7) a multiple of 34?
False
Let f be 141*((-105)/(-9) - 4). Suppose 5*l - a = 3*l + 436, -5*l = 2*a - f. Is l a multiple of 19?
False
Suppose u + 13 = -186. Let n(p) = -3*p**2 + 9*p - 15. Let i be n(-4). Let x = i - u. Is 8 a factor of x?
False
Is 2 a factor of (84/54 - 2)*(-71676)/8?
True
Suppose 0 = -4*i + d + 47, -4*d - 12 - 8 = -2*i. Let z(o) = 16*o - 164. Does 4 divide z(i)?
True
Suppose 98*a - 993869 = -307477. Is a a multiple of 33?
False
Let x = 0 - -4. Suppose 0*a = x*a + 96. Let m = a + 36. Is m a multiple of 4?
True
Suppose 160*r + 62304 = -159*r + 341*r. Is r a multiple of 118?
True
Let a be 2 + (-4)/(-10)*(-5)/(-2). Suppose 2*i - 20 = -a*i. Suppose 0 = -i*n + n + 114. Does 5 divide n?
False
Suppose x + 2*y = 3, 5*y - 7 - 3 = -3*x. Suppose -5*w = -m + 65, -x*m + 4*w = 9*w - 415. Suppose -3*v = -v - m. Is 8 a factor of v?
True
Let i(r) be the third derivative of -55*r**4/12 + 26*r**3/3 + 231*r**2. Is i(-2) a multiple of 8?
True
Is (38676/10)/((-9)/30*4/(-6)) a multiple of 6?
True
Let h(p) = 66*p + 48. Let k(y) = -61*y - 47. Let d(g) = 5*h(g) + 4*k(g). Is 32 a factor of d(2)?
True
Let n be 0/(((-9)/18)/(1/(-6))). Suppose 21*a - 3243 - 4254 = n. Does 3 divide a?
True
Suppose -5*s = -v - 1981, 5*s + v = 1074 + 915. Suppose 0 = -14*h + 569 + s. Does 23 divide h?
True
Suppose 0 = -2*d + 8, 2*h + 2*h + d - 36 = 0. Suppose 0 = h*j - 5*j + 9. Is 2/j*(-144 - 18) a multiple of 22?
False
Let v(b) = 2*b**3 - 12*b**2 + 7*b + 7. Suppose -15 = -3*k + 3*w, 3*k = 5*k + w - 19. Let u be v(k). Let q = 457 - u. Does 46 divide q?
True
Let m(z) = 2*z**3 - 45*z**2 + 23*z + 42. Let n = -92 + 114. Is 24 a factor of m(n)?
False
Let w(c) = -c + 13. Let u be w(9). Suppose -2*p + 5*p - 9 = 0, f = -3*p - 25. Does 15 divide (f/u)/(4/(-24))?
False
Let z(y) = -276*y - 1155. Is 2 a factor of z(-6)?
False
Let g be 6 - (-2)/(-2)*-1. Suppose -5*j + 4*l - 163 = 0, 2*j + 5*l - 666 = -718. Let t = g - j. Is t a multiple of 11?
False
Suppose 0 = 9*s - 2 + 2. Let f = -1