
True
Suppose -15*t - 40816 - 4034 = 0. Is (18/10)/((-26)/t) a multiple of 9?
True
Suppose -19*w = -20*w - 4*v + 26156, -130876 = -5*w - 4*v. Is 55 a factor of w?
True
Let z = 157 + -150. Suppose -z*f + 768 = f. Is 29 a factor of f?
False
Let j = 243 + -225. Suppose 5*n - 376 = -4*c, -c - 2*c - 3*n = -285. Suppose -17*r - c = -j*r. Is r a multiple of 11?
True
Let q(k) = -k**3 - 6*k**2 + 47*k + 20. Suppose -7*u - 423 + 346 = 0. Is 6 a factor of q(u)?
True
Let q be (-315)/36 + ((-1)/4)/1. Let f(m) = -m**3 - 11*m**2 - 8*m + 16. Let a be f(q). Let v = a + 147. Is v a multiple of 12?
False
Let n(i) = -18*i - 24. Let v be n(0). Is (-8)/v + -2 + (-11575)/(-15) a multiple of 35?
True
Let q(x) = 7*x + 32. Let o = -71 + 71. Suppose n + 4*n + 2*w - 58 = o, -2*w = -8. Is 22 a factor of q(n)?
False
Suppose 25 = -5*b - 5*j, 4*b = 4*j - 9 + 5. Let g be (-1)/4 + (1827/(-4))/b. Let k = g + -106. Does 7 divide k?
False
Let d(b) = -31*b + 7. Let c be d(-5). Suppose 13*q = 10*q + c. Let l = q - 23. Does 12 divide l?
False
Let k(t) = 13*t**2 - 4*t - 2*t - 4*t - t**3 - 5 + 12. Let n be k(13). Is 10 a factor of n*(-4)/12 + -1?
True
Let s(k) = k**3 - 8*k**2 + 6*k + 10. Let i be s(7). Let y be 4/(-6) - i/9. Is (159/(-4 - -1))/y a multiple of 16?
False
Let i(x) = x**3 - 2*x**2 - 5*x - 1. Let c = 58 + -53. Suppose -3*d + r + 3*r + 11 = 0, c*d + r - 26 = 0. Is i(d) a multiple of 21?
False
Let u(k) = 3*k**2 + 8*k + 14. Let x(q) = -7*q**2 - 17*q - 29. Let v(a) = -9*u(a) - 4*x(a). Let g be v(4). Does 25 divide 2*5/g*-184?
False
Suppose 0 = 3*j - i - 8637, -502*j - 2*i = -498*j - 11536. Does 3 divide j?
False
Let b(v) = 3*v**2 - 14*v - 2. Let t = 118 + -113. Let c be b(t). Let u(m) = 3*m**3 + 4*m**2 - 10*m. Is u(c) a multiple of 26?
False
Let f(n) = -n**2 - 3*n + 64. Let y be f(-10). Let b = y - -136. Is b a multiple of 13?
True
Let y(s) = 21*s - 126. Let q(c) = 21*c - 110. Let i(u) = 7*q(u) - 6*y(u). Suppose 0 = -4*p + 13 + 27. Does 40 divide i(p)?
False
Let n be 1948 + (7 - 5)*15/(-6). Suppose 3*m + 4*f - 3*f - n = 0, -3*m + 3*f = -1959. Is 43 a factor of m?
False
Is 64 a factor of 1/(-8) + 161796*(-21)/(-672)?
True
Let n be (9 - 6) + (-6)/(-2). Suppose n*j = 3*j + 9, -3*k - 30 = -j. Is 4 a factor of -2*40*(k/2 - -4)?
True
Suppose -4*o + 3*o = 22. Let u = o + 27. Suppose 24 = u*i + q, 2*i + 2*q - 2 = 14. Is i a multiple of 3?
False
Suppose -4 = -2*a + 2*b, a - b + 6*b - 20 = 0. Suppose -a*w + 607 = 3*y, -5*w = 3*y - 2*y - 189. Does 19 divide y?
True
Let j = 953 - 604. Suppose 481 + j = 2*c. Suppose l + c = 6*l. Does 21 divide l?
False
Suppose -2*d = -3*b - 114327, 177487 = 2*d - b + 63162. Does 42 divide d?
True
Suppose 20 - 59 = -13*a. Suppose a*k = 293 + 52. Is k a multiple of 23?
True
Let s(o) = -11*o + 77. Let l(k) = 7*k - 51. Let d(f) = -8*l(f) - 5*s(f). Let v be d(-8). Suppose 0 = h + 5*g - v, -4*h + g = -9*h + 179. Is h a multiple of 36?
True
Suppose 0 = 5*f - h - 67, 0*f - 4*h = 4*f - 68. Let j(o) = 12 + 2*o + 11*o + o**3 + 18*o - f*o**2. Is j(12) a multiple of 32?
True
Let f be (-1 + -2)*(-4)/(-6). Let g be -207*(5 + f - 4). Suppose -3*q = 3*o - g, 3*q - 281 = -4*o + 4*q. Is 30 a factor of o?
False
Let f = 431 - -870. Is f a multiple of 24?
False
Let y(j) = 90*j - 564. Is 33 a factor of y(29)?
True
Let j(r) = -866*r + 140. Is 11 a factor of j(-1)?
False
Let h = 341 - -591. Suppose -4*a + h = 4*y, a + 5*y - 59 = 186. Is 10 a factor of a?
True
Let t = 279 + -813. Let h = -142 - t. Does 16 divide h?
False
Let m(j) = 19*j**3 - 2*j + 3. Suppose 47*y = 45*y + 2. Is 20 a factor of m(y)?
True
Let f be (-5 + 10/2 + -28)*-26. Suppose 946 + f = 9*k. Does 6 divide k?
True
Let c(q) = 7*q**3 - 2*q**2 + 27*q - 2. Let w be c(-11). Is w/(-26) + (10 - (-792)/(-78)) a multiple of 56?
False
Let q be (-2572)/36*3*(-6)/2. Suppose 8*m - 452 = -2*v + 12*m, -3*v - m + q = 0. Is 6 a factor of v?
True
Let j be (-2 + 3*-1)*36/(-30). Suppose -860 + 248 = -j*b. Let q = b - 9. Does 15 divide q?
False
Suppose 293*o = 118*o + 3617425. Does 45 divide o?
False
Let z = -45 + 67. Let s(a) = -a**3 + 4*a**2 - 3*a + 3. Let p be s(3). Suppose -h = -p*n + 64, -4*n + z = -h - 65. Does 23 divide n?
True
Suppose -7*o + 29 = -4*o + 4*p, 24 = 3*o + 3*p. Suppose 2752 = 4*y + 4*i, 1893 = -5*y + o*i + 5341. Is 6 a factor of y?
False
Let i be 5 - (-3)/(-9)*0. Let k = 933 - 679. Suppose -4*v - i*j + k = -181, -2*v = -5*j - 255. Is 18 a factor of v?
False
Let w be -5 + (-1)/(-4 - 22/(-6)). Let y(p) be the third derivative of -p**6/120 + p**5/60 - p**4/8 - p**3/6 - 6*p**2. Does 14 divide y(w)?
False
Suppose 9*r - 8 - 19 = 0. Suppose r*w - 31 - 929 = 0. Is 16 a factor of w?
True
Let k = -8356 + 11850. Is k a multiple of 42?
False
Let v = 2157 + -1936. Does 6 divide v?
False
Suppose 0 = 19*p - 18*p + 84. Let m = p - -843. Is 11 a factor of m?
True
Let p(o) = 8*o - 57. Let n be p(7). Let y(m) = -34*m**2 + 10. Let v(l) = 1. Let g(q) = n*y(q) + 4*v(q). Does 26 divide g(2)?
True
Let z(b) = 12*b + 170. Let o be z(-10). Suppose 5*r - 257 = -53*n + o*n, 0 = 2*r + 3*n - 101. Is 13 a factor of r?
True
Suppose 116*u - 121*u + 915 = 0. Suppose 2*v - 575 = -u. Let b = 363 - v. Does 33 divide b?
False
Let u(b) = -14*b - 56. Let m be u(-13). Suppose 134*g - m*g = 2416. Is g a multiple of 17?
False
Suppose -1436*b + 1432*b - 39996 = -4*g, 2*b + 29994 = 3*g. Does 119 divide g?
True
Let w = -3721 + 7942. Does 21 divide w?
True
Let a be 1*1*-49 + 1. Suppose 5*w - 2*x = -440, -9*w = -4*w + 3*x + 440. Let s = a - w. Is s a multiple of 10?
True
Let o(c) = 193*c**2 - 192*c + 1016. Does 3 divide o(5)?
True
Suppose 0 = 4*n - 3*j - 18, -77 + 65 = 14*n + 2*j. Let m be (0 - 10/2)*1. Is (84/m + n)/(3/(-15)) a multiple of 28?
True
Suppose -f + 0*f = -3*q - 389, 3*q - 1981 = -5*f. Let r = -108 + f. Is 41 a factor of r?
True
Let j(a) = 1024*a**2 - 88*a + 91. Does 3 divide j(1)?
False
Let c be (-13)/((-78)/18) - 3. Suppose 2*g - 1136 + 156 = c. Does 14 divide g?
True
Does 23 divide (-40333)/(-10) + (144/120)/(-2*2)?
False
Let g(b) = 2*b**3 - 3*b**3 + 12*b + 18 - 16 + 7*b**2 - 5*b. Is g(-4) a multiple of 9?
False
Let q = -27592 + 35117. Is 35 a factor of q?
True
Suppose 2*g - 2*v - 519 - 3465 = 0, v = 3*g - 5970. Is g a multiple of 39?
True
Suppose -b + 0*j - 4*j + 153 = 0, -5*j = -3*b + 459. Suppose -4*q - b - 155 = 3*p, -5*q + 263 = -3*p. Let o = p + 236. Is o a multiple of 21?
False
Let d = -219 + -410. Let p = -464 - d. Is 19 a factor of p?
False
Suppose -5025 = 4*n + 5*k + 1612, -n + 4*k - 1633 = 0. Let f = -1152 - n. Is 49 a factor of f?
False
Suppose -w - 486 = -l, -5*w = -8 + 3. Let k = l - -11. Is k a multiple of 24?
False
Let i(m) = -37 - 19*m - 11*m - 10*m - 27 - 142. Does 7 divide i(-16)?
True
Let v(n) be the third derivative of n**5/30 - 53*n**4/24 + 11*n**3/2 + 113*n**2. Is v(27) a multiple of 30?
True
Let t(h) = -2*h**3 - 23*h**2 - 3*h + 449. Is t(-22) a multiple of 59?
True
Suppose 64 = 4*s - 2360. Suppose -s = -9*o + 771. Does 17 divide o?
True
Let u = 3132 - 1287. Suppose -7*k = u - 5555. Does 53 divide k?
True
Is 110068/16 - (1 + 7/(-4)) a multiple of 43?
True
Let g(l) = -22*l - 13. Let n be g(-5). Suppose n - 32 = 5*w. Let f(r) = r + 24. Does 15 divide f(w)?
False
Let q be ((-4)/(-3))/((-1)/3). Let g(o) be the first derivative of -3*o**2 + 9*o - 5. Is 17 a factor of g(q)?
False
Does 122 divide 6/51 + (-76945050)/(-2975)?
True
Suppose -52*m + 501*m - 39524572 = 0. Does 20 divide m?
False
Suppose 4*n + 25*a - 24*a - 129360 = 0, n + 2*a = 32326. Is 103 a factor of n?
True
Let y = 7366 - 4907. Is 3 a factor of y?
False
Let a = -700 + 1960. Suppose 58*r - a = 55*r. Is r a multiple of 10?
True
Suppose 15 = 3*n, -18 + 1 = -4*b - n. Suppose -5*r = -b + 43. Let j(q) = -q**3 - 6*q**2 + 12*q + 10. Does 6 divide j(r)?
True
Let k(v) = 7*v - 2. Let p be k(6). Suppose 10*a - 174 = -4*c + 5*a, -c - 3*a = -p. Suppose -w + c = -16. Is 16 a factor of w?
False
Let o = -140 + 156. Suppose 4*i = -o*i + 600. Is i a multiple of 15?
True
Let v be 2/(-16) + (-32304)/(-384). Let z = 452 + v. Does 67 divide z?
True
Let u(w) = 26*w**2 - 63*w - 351. Is 68 a factor of u(-7)?
False
Suppose 4*h + 22 = -2*t, 4 + 17 = -3*h + 3*t. Let g be (-15)/45 - (-10)/h. Let d(f) = 14*f**2 - 5*f - 2. Does 14 divide d(g)?
False
Let a = -410 + 681. Is a a multiple of 4?
False