 28. Suppose -2*t + 0*t - h = -7, q*h - 10 = t. Is 13 a factor of (-737)/21*-3 - t/7?
False
Suppose x - 13*d - 2563 = -9*d, -10252 = -4*x - d. Does 10 divide x?
False
Let q be -2 - (4 + (-111 - -1)). Let y = -94 + q. Is y a multiple of 10?
True
Let a(s) = -2*s + 21. Let z be a(7). Suppose 4*k + 5*b = z*k - 26, 5*b - 30 = -5*k. Suppose -k*w - 15 = -939. Is 22 a factor of w?
True
Suppose -4*v + 0*i - 3*i + 1461 = 0, 0 = -4*v - 4*i + 1460. Suppose o + l - 179 = 0, -2*o + 4*l - 2*l + v = 0. Suppose 4*d - 573 = -o. Does 20 divide d?
False
Suppose q - 4*q + 2*w = -120, -40 = -q + 2*w. Does 42 divide 8408/q + (-1)/5?
True
Let g = 38 - 23. Suppose g*a = 2*a + 611. Let j = a + 32. Is j a multiple of 13?
False
Let d(n) = 3*n**3 - 9*n**2 - n. Suppose 1 + 31 = 8*u. Is d(u) a multiple of 4?
True
Let f = -192 + 384. Let o = f + -132. Is 12 a factor of o?
True
Suppose -4*r + 24 = 24. Suppose -4*d = -m + 4, 4*d - 2*d - 5*m + 2 = r. Does 12 divide (-4)/((-16)/228) + 4 + d?
True
Let l = 32 + -30. Let x(f) = -4*f - l*f + 5*f + 16 + 9*f. Does 8 divide x(15)?
True
Let r = 119 - 123. Let n be (174/(-9) + r)*-30. Let y = -472 + n. Is 38 a factor of y?
True
Suppose -3*x + 148 = 34. Let r = x - -102. Is 10 a factor of r?
True
Let q = -815 + 817. Suppose q*m = 4*i - 680, -8*i + 10*i - 2*m = 344. Is i a multiple of 3?
True
Let i be (-1)/4 + 5 + (-692535)/(-12). Suppose -33*h = -i + 17588. Is 14 a factor of h?
False
Let j(s) be the second derivative of -2*s**3/3 - 5*s**2 + 20*s. Let x be j(-5). Does 7 divide (204/x)/(8/20)?
False
Let n = 21283 + -16534. Is n a multiple of 40?
False
Let a be 79/2 - 9/18. Let t = a - -11. Is 20 a factor of ((-224)/70)/((-2)/t)?
True
Let d be (-18)/63*7/(-2). Is 7 + -4 + 30 - d a multiple of 8?
True
Let h(g) = -g**3 + 19*g**2 - 16*g - 39. Let j be h(18). Is (-71 - -6 - 0/j)*-1 a multiple of 3?
False
Let b(o) = -23*o + 76. Let j be b(13). Let z = j - -244. Is z a multiple of 4?
False
Let q(f) = 17*f - 40. Let s be q(6). Let u = -721 + 1509. Suppose 10*o - s = u. Does 17 divide o?
True
Let m = -3674 - -3957. Is 8 a factor of m?
False
Is 82 a factor of (174/35*98/21)/(2/395)?
False
Let k(q) = -1205*q**3 + 45*q**2 + 91*q + 2. Is k(-2) a multiple of 8?
True
Let a(w) = w**3 + 9*w**2. Suppose -n = 3*d + 22, -4*n - n = -25. Let b be a(d). Suppose -6*f + 275 + 187 = b. Is f a multiple of 11?
True
Let o = 2837 - 1453. Suppose 7*p = 3*p - 3*k + 1851, -3*p + 2*k + o = 0. Does 33 divide p?
True
Let z(t) = t**3 + 7*t**2 + 6*t + 4. Let l be z(-6). Suppose 8 = -4*c, -l*i - c - 13 = -3*i. Let a(n) = -13*n + 32. Is a(i) a multiple of 9?
False
Let a(i) = i**3 + 4*i**2 - 2*i - 3. Let d be a(-4). Suppose l + 5*m = -7, l - 9 = d*l + m. Is 33 a factor of ((-63)/(-28) + 6)/(l/(-48))?
True
Let f = -1594 - -2597. Is f a multiple of 59?
True
Let q = -5 + 9. Suppose -q*w = -108 - 80. Is w a multiple of 47?
True
Does 140 divide (-600)/9*(-10 - 11)?
True
Let n be (9/(-2) + 1)/((-6)/12). Suppose -5*t = n*t - 912. Let y = t + 20. Is y a multiple of 9?
False
Let x(j) = -2*j**2 + 10*j + 1. Let w be x(5). Let y be (0 - -1)*(3 - w - -38). Suppose -u + 67 = y. Is 6 a factor of u?
False
Suppose 3*l - 3*k = -0*k + 12, -3*k - 12 = -5*l. Suppose j + 3*h - 66 = l, -3*h + 26 = j - 8*h. Is 8 a factor of j?
False
Let h(x) = 3*x**2 - 6*x - 6. Let m be h(-1). Suppose v + 5*u = 46, m*v = -3*u + 7*u + 214. Is 11 a factor of v?
True
Let y = 454 + -421. Does 32 divide ((-1991)/y)/(1/(-6))?
False
Let c = -430 + 442. Suppose 98 - 482 = -c*p. Does 16 divide p?
True
Suppose 71*u + 43*u = -4*u + 620916. Is 15 a factor of u?
False
Let b(n) = 2382*n - 8258. Is b(5) a multiple of 34?
False
Let t(k) be the second derivative of k**4/12 - k**3/3 - 25*k**2/2 - 44*k + 1. Is t(-8) a multiple of 2?
False
Suppose -23*a - 189*a + 435660 = 0. Does 5 divide a?
True
Let p = 1924 + 7772. Is p a multiple of 12?
True
Is 4 a factor of (168/49)/((0 + 1)/1057)?
True
Let b = 24441 + -12891. Does 231 divide b?
True
Suppose -m = -3*x + 9, 0 = 6*m - 3*m. Suppose -x*l = -327 - 363. Is 10 a factor of l?
True
Suppose v - 65 = -4*h, -v = -5*h - 30 + 100. Let b be 4 + (-24)/4 + -70. Does 55 divide h*(98/18 - 16/b)?
False
Is 6 a factor of (19 + 194)*40/30?
False
Suppose 2*j + 344 = 5*w, 2*j = -w + 22 + 42. Suppose 5*c = -4*z - 0*c + 136, -2*c + w = 2*z. Does 7 divide z?
False
Let u(o) = -4*o + 420. Let s be (-11)/(66/4)*36. Does 12 divide u(s)?
True
Let m(g) = g**3 - 83*g**2 + 90*g + 220. Does 102 divide m(83)?
False
Let w be ((-30)/9 - -2)*-24. Suppose 0 = 5*z - 4*b + 70, -5*b = -3*z - w + 3. Let t = 66 - z. Does 14 divide t?
True
Let l be (-6)/((-2)/(4/3)). Let s be (-5)/(-40)*l*(25 - -1). Suppose -10*a + s*a = 291. Does 21 divide a?
False
Suppose 4*n - 3*n + 3*l = 342, -1316 = -4*n + l. Let h = 573 - n. Does 3 divide h?
True
Suppose 2*q - 9*q = -301. Let u = q - 44. Let b = 56 + u. Is 11 a factor of b?
True
Is 2/9 + (-7271030)/(-234) a multiple of 234?
False
Let q = -124 + -178. Let t = q + 433. Does 3 divide t?
False
Suppose 0 = -2*x + f + 37871, -35*f + 34*f = -3. Does 41 divide x?
False
Suppose 44*r - 180 = 8*r. Suppose 0 = r*k + 3*n - 5004, 3*n + 4174 + 842 = 5*k. Is 14 a factor of k?
False
Suppose 2*i + 3 = -q + 10, 5*i + q - 13 = 0. Suppose -5*k + 9 = 2*x + i*x, -3*x = -5*k + 2. Does 6 divide -3*(x - 26)*1?
False
Suppose -95*a - 18779 = -184*a. Is 3 a factor of a?
False
Let j(w) = -2*w + 25. Suppose -4*s - 5*a + 54 = -4*a, 4*a - 60 = -4*s. Let n be j(s). Is n*15*(2 - 12) a multiple of 22?
False
Let u(x) = x**2 - 26*x + 10. Suppose -3*z = 3*m - 23 + 8, 4*m + 2*z = 26. Let a be u(m). Let v = -13 - a. Does 8 divide v?
False
Let a be (0/(5 - 10))/(-1*2). Suppose a = 3*d - 1256 - 691. Is d a multiple of 24?
False
Is (5820/21)/(15/7140*8) a multiple of 170?
True
Suppose -3*j + 15596 = 4*s, 440 = -s + 439. Is j a multiple of 26?
True
Let n = -65 + 67. Suppose 2*y + 5*g = 1404, 19*g = n*y + 21*g - 1398. Does 67 divide y?
False
Suppose 122376 + 79854 = 45*s. Does 42 divide s?
True
Let h(w) = -2*w**2 - 6*w + 180. Does 10 divide h(0)?
True
Let g = -78 - -83. Suppose 9*q - g*q + 4 = 0. Does 14 divide (10 - 15 - 2*q) + 185?
True
Is 10*84/35*82 a multiple of 20?
False
Let x(y) = -12*y**3 - 8*y**2 - 37*y - 92. Is x(-4) a multiple of 116?
True
Let j(o) = -o**2 + 64*o + 250. Let z be j(44). Let g = z - 697. Does 3 divide g?
False
Does 10 divide 1641*(-25)/(375/(-60))?
False
Is -14*(-15 + 1448/112) a multiple of 10?
False
Let x(a) = 15*a - 74. Let y(w) = 3*w - 15. Let m(c) = -2*x(c) + 11*y(c). Let l(g) = -5*g + 34. Let o(v) = 3*l(v) + 7*m(v). Does 8 divide o(8)?
False
Suppose -f = -49*y + 54*y - 570, -5*f + 2706 = y. Is f a multiple of 5?
True
Let j(f) = 3*f**2 - 5*f - 5. Suppose -3*i - 4*m - 16 + 46 = 0, 0 = 5*i - 2*m - 24. Let r be j(i). Let b = r + -56. Is 2 a factor of b?
False
Suppose 638 = 2*p - 2*g + 5*g, -2*p = 5*g - 646. Suppose -12*y - p = -2905. Does 8 divide y?
True
Let m = 98 - 53. Suppose q - 53 = m. Suppose 4 + q = 6*o. Is o a multiple of 17?
True
Suppose 20371*q - 20358*q - 7813 = 0. Is 36 a factor of q?
False
Let b(g) = 2*g**2 - 5*g + 3. Let y be b(3). Does 33 divide y/(-39) + (-18032)/(-91)?
True
Let s = 13961 + -6925. Does 8 divide s?
False
Let p(o) = 23*o - 57. Let g be p(15). Is 27 a factor of -1*(11 - 4) + g?
False
Suppose 92*z = -105*z - 8*z + 10598090. Does 12 divide z?
False
Suppose -12 = 2*q + 4*d, 0*q - 10 = q + 4*d. Suppose -4*f + g = -0*g - 5, 3*f - g - 5 = 0. Is 20 - f - (-1 - q) a multiple of 12?
False
Let b = 44446 + -22846. Is b a multiple of 45?
True
Is 19 a factor of (-2)/(5*(-18)/363600)?
False
Let l(r) = r**3 + r**2 + 21*r - 327. Does 29 divide l(20)?
False
Suppose -20520 = -6*n - 10422. Does 20 divide n?
False
Suppose 41*r = 38*r + 5*l - 186, 2*r = 5*l - 129. Is (1278/(-10))/(r/380) a multiple of 14?
False
Let y(z) = z**3 + 6*z**2 - 3*z**2 - z**2 - 6 + 58*z - 63*z. Let d be y(-3). Suppose x - 138 + 54 = d. Does 13 divide x?
False
Let o = -170 - -174. Suppose o*h + 638 + 1052 = 5*q, 3*h = 0. Does 26 divide q?
True
Let b = -1242 - -4434. Is b a multiple of 8?
True
Let b be 8/3*2568/32. Suppose -4*n = -b - 382. Let z = n - 99. Is 10 a factor of z?
True
Let u(p) = p**2 + 18*p + 75. Let o be u(-9). Let g = 139 + o. Is g a multiple of 5?
False
Let n = 386 + -546. Is (-2062)/(-10) - 128/n a multiple