
True
Suppose 65*r - 64*r + 4*d = 5323, 3*d - 12 = 0. Does 61 divide r?
True
Suppose 6*t - 20 = 10. Suppose -3*q - 3*j - j = -580, -3*q = t*j - 575. Is 10 a factor of q?
True
Suppose 2*z - 2*q + 98 = 0, 0 = -0*q + 3*q + 3. Is (120/z)/(4/(-310)) a multiple of 4?
False
Does 90 divide (1897 + -2)*(9/((-45)/(-55)) - -7)?
True
Suppose -t - 4*l = -2378, 75*t - 80*t = -5*l - 11890. Is t even?
True
Let h be 44762/16 + 42/112. Suppose 22*d - h = -598. Is 9 a factor of d?
False
Let b be (-7 - -6)/(3/(-6)). Suppose b*j = -0*g - 3*g + 4, -j - 5*g = -2. Suppose j*s - l = 237, l = 5*s + 5*l - 586. Is 12 a factor of s?
False
Suppose -77*i - 36 = -71*i. Let h(t) = -68*t - 67. Is h(i) a multiple of 10?
False
Suppose 5*c = -a - 13, -4*c = -6*a + 5*a + 14. Is 211 + (3 - c - 9) a multiple of 26?
True
Let m = 4896 - -2664. Does 168 divide m?
True
Let y(k) = k**3 + 12*k**2 - 4*k + 5. Let d(o) = 2*o**3 - 951*o**2 + 10 - o - 7*o + 975*o**2. Let n(b) = -2*d(b) + 5*y(b). Does 9 divide n(-12)?
False
Suppose -10*t + 18954 = -4246. Is 80 a factor of t?
True
Suppose 6*u + 3 = 5*u. Let v(k) = 2*k + 6. Let i be v(u). Suppose z + i*z - 3*c = 31, 5 = -c. Is z even?
True
Let f be (-28)/(-15) - 8/(-60). Suppose -f*i + 103 = -175. Suppose 0*j - 141 = -j + 2*u, 4*u + i = j. Is 25 a factor of j?
False
Let c(q) = 585*q - 310. Does 80 divide c(6)?
True
Is 34 a factor of -2 - -66587 - ((-4)/(-4) + -1)?
False
Let a(f) = 6*f - 75. Let b(q) = 5*q - 77. Let n(o) = -5*a(o) + 4*b(o). Does 13 divide n(-9)?
False
Suppose -167*u - 3*a + 21910 = -163*u, 3*u - 16426 = a. Is u a multiple of 37?
True
Let m = -36 - -27. Let d(b) = -18*b - 12. Let w be d(m). Suppose -w - 66 = -3*h. Does 18 divide h?
True
Let l(k) be the third derivative of 23*k**4/12 + 83*k**3/3 + 2*k**2 - 4*k. Is l(32) a multiple of 9?
True
Let i = -11164 - -19244. Is i a multiple of 80?
True
Suppose -20*n - 39901 = -21*n + s, 4*s - 159580 = -4*n. Does 16 divide n?
False
Let t(n) = 54*n - 321. Let q be t(6). Suppose 3*w = -2*c + 3*c - 11, 0 = -2*c + 3*w + 13. Suppose -6*j + c*a + 58 = -q*j, -4*a + 4 = 0. Is j a multiple of 20?
True
Let x(c) = -c**3 + 8*c**2 - 17*c + 27. Let w be x(6). Is (187/22 + -7)*(-208)/w a multiple of 6?
False
Is (-8)/(-3) + 18219124/1191 a multiple of 50?
True
Suppose -z = -3, -9 = 3*x - 2*x - 3*z. Suppose -5*h + 3*y + 3149 = x, 330 = h + 2*y - 292. Is 41 a factor of h?
False
Let h(g) = -2*g - 42. Let y be h(-23). Let u be (1 - 0)/(y/20). Suppose 194 = u*f - s + 59, -2*f - s = -61. Is f a multiple of 2?
True
Let g(d) = 142*d**2 + 6*d + 4. Let a be g(-1). Let s = 386 - a. Is 6 a factor of s?
True
Let l be (2/(-2)*1)/((-2)/246). Let z = l + 197. Is 16 a factor of z?
True
Let g(t) be the second derivative of -7/2*t**2 + 1/12*t**4 + 0 - 7*t + 8/3*t**3. Is g(-21) a multiple of 14?
True
Suppose 2*a + f - 13 = 0, 2*a = -10*f + 13*f + 25. Suppose -a*v + 468 + 260 = 0. Does 13 divide v?
True
Let g = -8013 - -9215. Is 2 a factor of g?
True
Suppose 76*m = 4626 + 31018. Is 21 a factor of m?
False
Suppose 0 = 540*m - 562*m + 6182. Is 39 a factor of m?
False
Let v = 19713 - 17105. Does 9 divide v?
False
Let a(h) = -9*h**3 - 3*h**2 + 4*h - 167. Let f(i) = -2*i**3 + i + 1. Let j(k) = -a(k) + 4*f(k). Does 19 divide j(0)?
True
Suppose 0 = 4*c - 5*k - 1501, -k - 2 = -5. Let d = c + -285. Does 53 divide d?
False
Let i = -55 + 152. Let a(w) = w**3 + 86*w**2 - 184*w - 542. Let z be a(-88). Let y = z - i. Does 46 divide y?
False
Let d be (-63)/2*(-8)/(-6). Let u = d + 48. Let w(l) = 5*l - 12. Is 5 a factor of w(u)?
False
Suppose -2*d = 3*j - 5276, j - 3*j + 8 = 0. Does 94 divide d?
True
Let o(s) = 8*s**2 + 3*s - s**3 + 0*s**3 + 5 + 19 + 0*s**3. Let i(r) = 4*r**3 - 31*r**2 - 13*r - 97. Let v(x) = 2*i(x) + 9*o(x). Is 16 a factor of v(9)?
True
Let h = -1578 - -3111. Suppose 0 = -9*c + 978 + h. Does 11 divide c?
False
Is 5 a factor of 92871/34 - -7*4/(-8)?
False
Let h(a) = -4*a**2 - 119*a + 54. Let u be h(-30). Suppose 2*b - k + u = 189, 4*b = -4*k + 360. Does 17 divide b?
True
Is (2/2 - -299)/((3 + -4)/(-18)) a multiple of 36?
True
Suppose 16 - 1 = 3*w. Suppose -4*p + 27 = -w*m - 33, 0 = -p + 5. Does 27 divide 20/m*(-232)/10?
False
Suppose -5*g = -5*n - 93366 + 7676, -g + 2*n = -17134. Does 10 divide g?
False
Let t(n) = -14*n - 10. Suppose -2*l - l = 5*g + 40, 4*l = -4*g - 40. Let w be t(l). Suppose 2*z + 2*p + 0*p - w = 0, 0 = -3*z + 5*p + 66. Is 8 a factor of z?
False
Let q be 0 + -678 + (5 - (0 - -6)). Let o = -470 - q. Is o a multiple of 11?
True
Let l be 486/(-24) + (-2)/(-8). Does 6 divide 1492/22 - l/110?
False
Let s be 3/(-2)*((-40)/15)/(-1). Is 14 a factor of (((-280)/(-21))/s)/((-2)/798)?
True
Suppose -49*r + 30*r = -79363. Suppose 0 = -5*p + 2*g + 4186, -g - r = -5*p - 2*g. Is 34 a factor of p?
False
Let a = 8208 - -4527. Is a a multiple of 227?
False
Does 20 divide (-2739)/(-2)*(-10 + (-768)/(-72))?
False
Let i be -1 + 10/8 - (-143)/4. Suppose -4*w + 7*w = -i. Is 11 a factor of 2/w - (-399)/18?
True
Let d be 573 + 10/(-2) + 2. Let z be 310 + 57/(-15) + 4/5. Suppose -2*j - 2*l + d = 0, -3*j - 4*l + z + 551 = 0. Is j a multiple of 40?
False
Let g(o) = -11*o**2 + 5*o + 19. Let i be g(-5). Let k = i - -138. Let p = 103 - k. Does 23 divide p?
False
Let u = -8371 + 14986. Is u a multiple of 21?
True
Let k = -213 + 205. Let j(h) = -62*h + 31. Is j(k) a multiple of 12?
False
Suppose -x = 2*x - 15, 5*m = 4*x + 55. Suppose 6*t - m = 3*t. Suppose t*n - 420 = -0*d + 2*d, -2*d = -4*n + 336. Does 28 divide n?
True
Let r = 79 + -69. Suppose r*j - 50 = -0*j. Suppose 0 = -0*t + t - 3*l - 103, 5*l - 455 = -j*t. Is 47 a factor of t?
True
Suppose 0 = -5*b - 4*r + 201148, 61*b - 3*r = 57*b + 160968. Is 12 a factor of b?
True
Suppose 3*z = -2*z + 75. Let h be 6/z - 7/5. Is -87*h/3 - -3 a multiple of 8?
True
Suppose -77*y = 81*y - 50*y - 23328. Is 12 a factor of y?
True
Let t(a) = -4*a**3 + 3*a**2 + 4*a - 4. Suppose -1 - 1 = 2*b. Let x(g) = g**3 + g**2. Let v(h) = b*t(h) - 5*x(h). Does 9 divide v(-8)?
True
Suppose -304*s + 269*s = -16590. Is 3 a factor of s?
True
Suppose 3*f - 41 = -2*p - 1, 5*p + 5*f - 110 = 0. Suppose -4*w = -8*m + 3*m + 66, m - 4*w - p = 0. Does 4 divide m?
False
Let p = -3928 - -4900. Is p a multiple of 7?
False
Let t(l) = -10*l - 157. Let a be t(-17). Suppose 13046 = a*i - 5466. Does 95 divide i?
False
Let a be (-4)/6*-1 + 2/6. Let b(m) = 78*m + 10. Is 8 a factor of b(a)?
True
Suppose -80398 = 33*a - 427877 - 11891. Is 15 a factor of a?
True
Let h be (325/39)/(95/(-48) + 2). Is (-20)/(-3) + (h/(-30))/(-10) a multiple of 3?
False
Let p(w) = -2*w**2 + 19*w + 48. Let d be p(11). Suppose -d*r + 48*r = 2178. Is r a multiple of 3?
True
Let c(o) = 100*o**2 - 403*o + 2437. Is 7 a factor of c(6)?
True
Suppose 34*l - 36*l = 5*a - 50694, -5*l = -5*a + 50715. Is a a multiple of 13?
True
Does 200 divide (-442402)/(-14) + -6*(-20)/(-840)?
True
Let z(m) = m**3 + 20*m**2 + 16*m - 15. Let o(l) be the second derivative of l**3/2 - 49*l**2/2 - 28*l. Let w be o(10). Does 9 divide z(w)?
False
Let i = 3475 - 368. Is i a multiple of 2?
False
Does 13 divide (873977/(-92) - -26)*-8?
True
Let m be ((-6)/10)/((-180)/400)*3. Does 56 divide (m + 1 - 4) + 559?
True
Let p(f) = -3*f**3 + f - 1. Let c(a) = -10*a**3 + 8*a**2 + a. Let x(i) = -c(i) + 3*p(i). Suppose 9 = q - 2*o, 0 = -0*q - 5*q - 3*o + 45. Is 12 a factor of x(q)?
True
Suppose 8172 = 4*f - 4*s, -f + 15*s = 10*s - 2051. Does 13 divide f?
True
Suppose -26 = -g - 4*g - 2*q, 0 = g + 4*q - 16. Suppose g*l + 602 - 4346 = 0. Is 78 a factor of l?
True
Suppose -u + 19384 = 2*y, -9888 = -y + 3*u - 210. Is 51 a factor of y?
True
Let n be (((-55)/(-20))/11*0)/(-1). Let s(a) = 9*a + 880. Is s(n) a multiple of 16?
True
Let j be (-10)/(-5) - 36/3. Let m = j - -349. Does 22 divide m?
False
Let r = -375 + 72. Let c = -213 - r. Suppose 0 = -3*h + 5*h - c. Is 19 a factor of h?
False
Let c(m) = -2*m + 148. Suppose 0 = -3*q, 2*q = u + q + 43. Does 9 divide c(u)?
True
Let q = 3505 + 3787. Does 38 divide q?
False
Let g be 4/4 + -7 + 8. Suppose -g*n = -4*z + 42, -5*n = 2*z - 2*n - 25. Is z even?
False
Suppose -b = 4*f - 4260, 18*f - 2*b = 20*f - 2124. Is f a multiple of 41?
True
Let l(z) = -z + 67*z**2 + z - 65*z**2 + 30 - 2*z. Is 9 a factor of l(6)?
True
Let g(n) = 123*n**2 + 1136*n - 13802. Is g(12) a multiple