ue
Suppose 0 = 4*d - 2*j - 14, 2*d - 2 - 8 = 4*j. Suppose 0 = -4*n - d*q - 1895, -2*n - q = q + 950. Is 15 a factor of (-78)/(-26)*n/(-6)?
False
Let f be (-4 - -14)*8/5. Suppose -3*g + f = g. Suppose 79 = i - 5*q - 29, g*q = 3*i - 324. Is i a multiple of 24?
False
Let u(d) = d**3 + 12*d**2 + 12*d - 15. Let l be u(-11). Let f = l + 128. Is 6 a factor of f?
True
Let x(m) = 2*m**2 + 14*m - 30. Let g be x(-13). Is 14 a factor of (-2484)/(-14) + (-54)/g?
False
Let s(d) = -d**3 + 58*d**2 - 181*d - 233. Is s(54) a multiple of 2?
False
Let a = 29858 - 17696. Is 15 a factor of a?
False
Suppose -7*b - 2*b = 6*b - 613515. Does 13 divide b?
False
Let f = 3744 + -1460. Is f even?
True
Suppose -5*a + 490 = -3*y, -25*a + 196 = -23*a + y. Suppose 0*g = 2*g - 764. Let z = g - a. Is z a multiple of 15?
False
Let g = -1310 - -2123. Let r be g/(12/(-4))*-1. Let x = -149 + r. Is x a multiple of 12?
False
Suppose -3*y - 83565 = -4*k, -8*y + 104463 = 5*k - 5*y. Is 29 a factor of k?
False
Suppose -3*g + 27 = -2*p, -2*p = 4*g - 26 + 4. Let a(l) = -2*l**2 + 13*l + 10. Let c be a(g). Suppose o - 2*o - 45 = -4*h, -4*h + c*o = -55. Does 10 divide h?
True
Suppose 5*j + 10 = 50*t - 51*t, j + 2 = -4*t. Suppose 0 = -3*o - k + 3950, -3*k + 1 + 5 = t. Is 94 a factor of o?
True
Let v(b) = 14*b**2 + 114*b - 1109. Is v(10) a multiple of 9?
True
Suppose -4*g + 3*w + 12 = -26, g = -2*w + 4. Suppose 0 = g*n - 391 + 23. Let u = n + -44. Does 2 divide u?
True
Suppose -64*b = -100*b + 8424. Is 11 a factor of b?
False
Let s = 8729 - 489. Is 10 a factor of s?
True
Let r(n) = 2*n**2 + n - 4. Let w be r(-2). Suppose -411 = w*d - 5*d. Suppose -y = -a + d, -2*a + 4*y - 83 + 365 = 0. Is a a multiple of 31?
False
Let y be 1683 - (-6 - (-10)/5). Suppose 5*m - y = -2*m. Suppose s = 4*x - 259, -4*x - m = -8*x - 5*s. Is x a multiple of 4?
True
Let p be ((-204)/(-85))/(-2*(-9)/(-3540)). Let z = 266 - p. Is 52 a factor of z?
False
Suppose -3*u = 4*m - 81, 0*m - 12 = -m + 2*u. Let q(g) = 2*g + 21*g**2 - 8*g**2 + m*g**2 + 3. Is q(-1) a multiple of 16?
True
Let j = 8048 - 7545. Is j a multiple of 8?
False
Is 38 a factor of 1083818/612 + (-10)/4 + 8/(-18)?
False
Suppose 5*w = -4*m + 61595, 325*w - 3*m + 24638 = 327*w. Does 127 divide w?
True
Suppose 0 = -5*h + 10, -179*v - 3*h + 50291 = -174*v. Does 13 divide v?
False
Let r(j) = 1060*j**2 - 6*j + 7. Let p be r(1). Suppose 5*f + 4*z - 2419 = 0, p - 2512 = -3*f - 2*z. Is 27 a factor of f?
False
Suppose -112*s + 110*s + 8 = 0. Let i(b) = 7*b**3 - 6*b**2 - 6*b + 13. Is i(s) a multiple of 31?
True
Let m(s) = -s**2 + s + 34. Let p be m(6). Suppose 3*c - p*a = 185, 44 = c + a - 27. Is c even?
False
Let r(k) be the third derivative of k**6/120 - 7*k**5/60 - 7*k**4/24 + 5*k**3/6 + 38*k**2. Let t be r(8). Suppose -t*j = -6*j - 1029. Is j a multiple of 49?
True
Let k = -6145 - -6934. Does 2 divide k?
False
Let x(z) = 2*z**2 - 69*z + 1196. Does 17 divide x(33)?
False
Let x = -5 + 26. Let r(a) = 3*a - 28. Is 14 a factor of r(x)?
False
Let m = 2825 + -1504. Suppose -r - 2*v = 3*v - m, -3*v = 2*r - 2607. Is r a multiple of 18?
True
Let v(b) = 8*b + 45. Let f be (-28)/8 + (-1)/2 + -1. Let j be v(f). Suppose 5*q - 5*h = 1590, -j*q + 2607 = -h + 1029. Does 25 divide q?
False
Let l be 6/(-2 + 20)*24. Let t(y) = y**3 - 6*y**2 - 4*y - 18. Is 7 a factor of t(l)?
False
Let v be ((-9 - -48) + -1)/(-2 + 0). Is 3/((-6)/(-13))*(7 - v) a multiple of 6?
False
Suppose -3*i + 3929 = 4*c - 1074, 5*c + 4*i - 6253 = 0. Is 2 a factor of c?
False
Let f = 4397 - 3267. Is f a multiple of 22?
False
Let a(l) = -l**3 - 21*l**2 + 4. Let g be a(-21). Suppose -g = -4*i - 16. Is 29/i*(-2 - 1) a multiple of 9?
False
Let p be (110/25)/(4/30). Suppose 34*j - p*j - 779 = 0. Does 17 divide j?
False
Suppose 60*v - 465618 - 667962 = 0. Is 18 a factor of v?
False
Let o(h) = -h**2 - 54*h + 2481. Is 11 a factor of o(-74)?
True
Suppose 4*k = 4*u - 184, -2*k = -3*u + 2*k + 133. Is u + (0 + -4 - -4) a multiple of 28?
False
Suppose 512 + 944 = v. Suppose 99*k - 106*k = -v. Is 8 a factor of k?
True
Let t(m) = m**3 - 15*m**2 - 13*m - 18. Let k be t(15). Let j = 276 + k. Is j a multiple of 9?
True
Let c(q) = -q**2 - 12*q + 3. Suppose -5*l = -40 + 100. Let u be c(l). Is (-224)/(-7) + u/2*2 a multiple of 7?
True
Let z(d) = -d**2 - 2*d + 3. Let i be z(0). Let b(x) = 10*x + 11. Let k be b(i). Suppose 9 = -2*p + k. Is p a multiple of 8?
True
Let a be 12/1*10/(-6). Let v be ((-18)/5)/(a/50). Suppose -v*s = -6*s - 90. Is 10 a factor of s?
True
Let l = 17756 - 28. Is l a multiple of 133?
False
Let g(z) = z**2 + 11*z + 8. Suppose 4*p = -7 - 37. Is g(p) a multiple of 8?
True
Let i be 3*-1 - (2 + -14). Suppose -r + 113 - 17 = 0. Let k = r + i. Is 21 a factor of k?
True
Let o(i) = 78*i**2 + 77*i - 75. Does 10 divide o(1)?
True
Suppose 2*y = -y + f + 1813, 0 = -y + 4*f + 597. Let m = y + -295. Suppose -m = -5*q + 195. Is q a multiple of 11?
False
Let i = 36 + -30. Suppose 9*l + 1221 = 3*y + i*l, y - 5*l - 407 = 0. Does 37 divide y?
True
Suppose 784 = -38*b + 7472. Does 22 divide b?
True
Let w(k) = -48*k + 26 + 103*k - 48*k + 21. Is w(8) a multiple of 24?
False
Suppose -33*i + 11*i = -18*i - 40260. Does 35 divide i?
False
Let m = 251 - 63. Let i = m - 114. Is 7 a factor of i?
False
Let g be -1 - (-4)/8 - 13/2. Let j be 128117/133 + (16/g - -2). Is j/33 + (-14)/77 a multiple of 13?
False
Suppose 4*h + 2 = -4*k + 6, -2*k = 5*h - 11. Let i(p) = 36 + 2*p**h - 15 - p + 2*p**2 - 20. Does 15 divide i(4)?
False
Let q(p) = p**3 - 10*p**2 - 15*p + 31. Let z be q(11). Suppose 27 = -5*o + 72. Let w = o - z. Does 16 divide w?
False
Suppose -4*s + 3*s = -5*z + 25, -7 = -3*z - s. Suppose 0 = -2*u - f + 52, 17*u - 22*u + z*f + 156 = 0. Is u a multiple of 7?
True
Let u(h) = 44*h**2 - 32*h - 488. Is u(-14) a multiple of 190?
False
Suppose 3 = -20*m + 21*m, -3*m + 18 = -3*z. Let v = 4 - 8. Is 7 a factor of (-1)/((1168/(-98))/v + z)?
True
Let r = -12 + 38. Suppose -1659 = -r*g + 5361. Is g a multiple of 30?
True
Let y(v) = v**2 - 22*v - 27. Let f be y(18). Is 58/24*f/(-11)*4 a multiple of 27?
False
Let i = 1231 - -1558. Is 67 a factor of i?
False
Suppose 18*h + 25 = 13*h. Let t be (-1 - h)*(-105)/(-60). Is (4 - t) + 192/1 a multiple of 27?
True
Let h = -1074 - -1080. Let d = -1282 - -1991. Suppose d = h*a - 365. Is 10 a factor of a?
False
Let g be (120/(-8))/(-5)*(-4 + 2). Does 12 divide 770/(-60) - -13 - 575/g?
True
Let o(r) = r**2 + 1. Let g be o(2). Suppose -g*l + 1160 = b, -2*b = -3*l - 5*b + 684. Suppose -l = -10*p + 67. Does 8 divide p?
False
Let v(k) = -506*k + 4220. Does 4 divide v(8)?
True
Let t = -30 - -29. Does 26 divide t - -1 - 13*(-5 + -1)?
True
Let v = -4095 - -12891. Is v a multiple of 6?
True
Is 12 a factor of ((-972)/378)/(-3*(-1)/(-1484))?
True
Let a(w) = -w - 33. Let i be a(-33). Does 37 divide 140 + ((-3)/(-1) - i) - -5?
True
Suppose 8*t + 0*t = -8. Let p(o) = -119*o**3 + o**2 + o - 1. Is 3 a factor of p(t)?
False
Does 20 divide 10/3*((-20)/2 + 250)?
True
Suppose 3*l - j = 19, 4*l - 15 = -3*j + 6. Suppose -137 = -l*r + 319. Let x = r - 58. Is 9 a factor of x?
True
Let v(l) = 4*l**2 + 162*l + 8470. Is v(-88) a multiple of 5?
True
Let o = 4 + 353. Is 4184/14 + 51/o a multiple of 23?
True
Suppose 0 = -2*w + 12, -3*w = 5*g - 78 - 7430. Is 107 a factor of g?
True
Let z = 16910 + -9034. Does 179 divide z?
True
Suppose d - 2*a = -5*a + 3, 0 = -4*d - a - 10. Let h(z) = -98*z - 6. Let f be h(d). Suppose -2*n + s - 6*s + 130 = 0, -f = -4*n + 4*s. Does 10 divide n?
True
Suppose 4*z + 187 - 203 = 0. Suppose -4*m + 256 + 232 = z*v, 3*m - 342 = 3*v. Is 10 a factor of m?
False
Let y = 24 + -19. Suppose -2*j + 3*b + 876 = j, -1458 = -y*j + 4*b. Is j a multiple of 24?
False
Let i(h) = -h**2 - 10*h + 4. Let v be i(-6). Let b = 234 - 232. Suppose -q - 2*g = -v, -b*g - 30 = -2*q + 8. Is 10 a factor of q?
False
Let k(i) = -11*i + 220. Let c be k(20). Suppose -2*j + 1011 = -3*y, -5*j + 10*y - 5*y + 2535 = c. Does 51 divide j?
True
Suppose -3*z - 4*o = -100 - 2, -4*o - 12 = 0. Suppose 101 + z = -u. Let p = -30 - u. Is 17 a factor of p?
False
Suppose -335876 = -42*g + 22834 + 33906. Is 164 a factor of g?
True
Let h(z) = 18*z - 6. Let l be h(2). Let b be (-4)/10 - (-12)/l. Suppose v + 6*v - 1281 = b. Is v a multiple of 10?
False
Suppose -29*w = -2