u + 5*u + 7*u - 9960 = 0. Is u a multiple of 10?
True
Let h(t) = t - 4. Let m be h(16). Let f = 0 + m. Let j(k) = -k**2 + 15*k - 17. Is 15 a factor of j(f)?
False
Suppose -65 = -5*a - 5*g, -3*a - a + 47 = -g. Suppose 320 = 14*u - a*u. Does 3 divide u?
False
Suppose -7*l - 60 = -13*l. Suppose -5*d = -l*d - 15. Let g = 18 + d. Is g a multiple of 3?
True
Let c = 88 + -123. Let i = c + 43. Suppose i*w - 13*w = -385. Is 10 a factor of w?
False
Suppose 24 = 2*q + 4*q. Suppose -204 = -q*o - 4*c - c, -5*c - 118 = -3*o. Is o a multiple of 29?
False
Let d(u) = u - 106. Let w(s) = -54. Let t(r) = 4*d(r) - 7*w(r). Let g be t(11). Is 42 a factor of 13478/161 + g/(-7)?
True
Suppose -4*x + 314 = 2*t + t, -5*x + 214 = 2*t. Suppose 2*y - t + 10 = 0. Suppose 4*m + y = 262. Is m a multiple of 6?
True
Let h = -20 - -29. Let p be ((-1)/(-2))/(h/(-216)). Does 22 divide p/(-90) + 0 + 2636/30?
True
Suppose 68 = x + 4*c, -x = -0*x + 2*c - 66. Suppose 0 = -m - 3*m + x. Is 3 a factor of -2*9/3*m/(-6)?
False
Suppose -4*a - 16 = 0, -s - 6*a + 9*a = 273. Let k = s + 543. Is 11 a factor of k?
False
Let u(d) be the first derivative of 3*d**2/2 - 5*d - 11. Let t be u(10). Suppose v = 41 + t. Is 11 a factor of v?
True
Let y = -10 + 22. Suppose -6 = -6*p + y. Suppose 0 = p*d - 38 - 76. Does 27 divide d?
False
Let b(q) = 163*q**2 + 3*q - 2. Suppose 16*j - 15 = 13*j. Suppose w - j*d - 1 = 0, -w + 5*w = d + 4. Is b(w) a multiple of 55?
False
Let d(m) = -m**2 + 14*m - 35. Let f be d(5). Let k(q) = 3*q**2 - 30*q + 3. Let b be k(f). Suppose 545 = 2*l + 5*h, -2*l - h + 1305 = b*l. Does 21 divide l?
False
Suppose -12*n + 30 = 3*n. Does 17 divide (7/n)/(11*7/21098)?
False
Suppose -5*a + 4*a + 21 = 5*l, 5*a - 84 = -4*l. Let g(y) = -y**2 + 18*y - 20. Let p be g(a). Does 2 divide (p/10)/(18/315)?
False
Let l = 31 + -24. Suppose -98 = -0*d - l*d. Let i = d + 25. Is 39 a factor of i?
True
Let l(v) = 3*v**3 + v. Let w be l(1). Let n(c) = -c**3 + 11*c**2 + 33*c - 77. Let p be n(13). Suppose p*x = w*x + 990. Is x a multiple of 29?
False
Let n = -13 - 44. Let w = n + 118. Let p = w - -9. Is 7 a factor of p?
True
Suppose 798 - 18 = 2*b. Suppose b*z + 1750 = 397*z. Does 25 divide z?
True
Suppose 95*c + 2774846 - 214672 = 273*c. Is c a multiple of 87?
False
Suppose -28 = 7*p - 84. Let j be 1/2 - 2*2/p. Suppose -5*h + 3*c + 414 = j, 2*c = h - 131 + 51. Is 16 a factor of h?
False
Let p(v) = -118*v - 138 + 62*v + 36*v - 67. Does 9 divide p(-19)?
False
Suppose 14952 = d + 4*a, 2*d + a - 20598 = 9348. Is 18 a factor of d?
True
Let a = 241 - 26. Let z = a - 17. Does 18 divide z?
True
Suppose -151847 - 587121 = -142*t. Is 205 a factor of t?
False
Let t(q) = -q + 70. Suppose 0*v - 364 = 26*v. Does 3 divide t(v)?
True
Suppose -5*x + 5*h + 1243 = -2*x, h = 1. Let m = -221 + x. Is m a multiple of 39?
True
Does 11 divide 42/((-70)/5) - -932?
False
Let l(a) = a - 18. Let z be l(20). Suppose 4*p - 7 = -z*d + 17, -5*d = p - 105. Does 3 divide d?
False
Let u(q) = -q + 9. Let v be u(10). Let w be (-8)/v + 12/(-6). Suppose -w*s + 66 = -4*s. Is s a multiple of 11?
True
Let r(u) = -12*u - 7*u**2 + 4 - 6*u**2 + 18*u**2 - 6*u**2. Let v be r(-6). Suppose -40 = -44*k + v*k. Is 3 a factor of k?
False
Let j(q) = -11*q + 2. Let b(m) be the second derivative of m**5/20 - m**4/2 + m**3/2 - 2*m**2 + 20*m. Let f be b(5). Is 26 a factor of j(f)?
True
Let m = 7999 + -3670. Let n be (((-1)/(-3))/1)/(37/m). Suppose -n*k - 128 = -40*k. Does 13 divide k?
False
Suppose -101 = b - y - 2233, -y = -4*b + 8516. Is 8 a factor of b?
True
Let l(i) = 11*i**2 + 63*i + 724. Is 3 a factor of l(-21)?
False
Suppose -472*x - 188643 = -511*x. Is x a multiple of 2?
False
Let g(x) = -x**2 - 66*x - 338. Let t be g(-48). Let z = 1104 - t. Is 22 a factor of z?
False
Let d be 2/1*8/(-16)*-1620. Suppose 0 = -3*c + v + 2704, -2*c - 4*v + d = -164. Is c a multiple of 10?
True
Let i(y) = 3*y + 11. Suppose 7*k = 11*k. Let r be i(k). Suppose 3*a - 115 = r. Is a a multiple of 7?
True
Let y = 7650 + -4652. Is 20 a factor of y?
False
Does 210 divide (-3)/(-7) - (852255/(-315) + -24)?
True
Let j = -17 - -20. Let i = j + -19. Does 17 divide (-204)/i*(12/2 - 2)?
True
Let z(m) be the third derivative of 13*m**4/24 + 2*m**3/3 + 10*m**2. Let a be z(4). Suppose -s + 26 = -b, 5*b - a = -2*s + s. Does 4 divide s?
False
Suppose 11*t - 3813 = 598. Let j = -182 + t. Is j a multiple of 5?
False
Let m(f) = -31*f**3 + 4*f**2 + 31*f - 15. Is 11 a factor of m(-10)?
True
Suppose 0 = 4*d - 25 + 41. Let x(g) = -46*g - 75. Is 10 a factor of x(d)?
False
Suppose -5*n = 34 - 44. Suppose 10 = 3*s + 5*i, 2*i = -4*s - n*i. Is 9 a factor of 1/1 - s/((-10)/(-88))?
True
Let o be (1 - (-4)/(-8)) + 99/6. Suppose 21*f - 504 = o*f. Is 18 a factor of f?
True
Let s = -370 - -1603. Suppose s = -3*v + 12*v. Is v a multiple of 32?
False
Suppose 2*v + 2*b - 15 = -1, 12 = 4*b. Suppose -v*a - 54 = -13*a. Suppose 0*c + 54 = a*c. Is 3 a factor of c?
True
Suppose 159*i = 157*i + 28308. Is i a multiple of 21?
True
Suppose -2*y - 5*y + 14 = 0. Suppose 2*v = y*j - 14, 4*j = 3*j - 5*v + 19. Is j a multiple of 4?
False
Let c(z) be the second derivative of z**4/12 + z**3/3 - 5*z**2/2 + 9*z. Let f be c(2). Suppose 127 = 3*q - 2*u, f*u + 206 - 35 = 4*q. Is 39 a factor of q?
True
Let g(c) = c**2 + 204*c - 9214. Does 181 divide g(113)?
True
Let c be 44/(-77) - (-6199)/7. Let i = c + -141. Does 31 divide i?
True
Suppose 51*u + 44925 = 56*u + 5*p, -4*p - 20 = 0. Does 58 divide u?
True
Let j = 8444 + -4421. Is j a multiple of 27?
True
Let d be -5*(1 + -3)/2. Let a(x) = 2*x**3 - 2*x**2 - x - 11. Let i(f) = -4*f**3 + 5*f**2 + f + 21. Let q(l) = -11*a(l) - 6*i(l). Is q(d) a multiple of 5?
True
Let o be (2728/1023)/((-8)/6). Let s(f) = 5*f**2 + 0*f**2 - f**2 + 3 + 2*f. Does 2 divide s(o)?
False
Let n(t) = -4*t + 52. Let m be n(13). Let g = m - -21. Suppose g*v = 25*v - 116. Does 9 divide v?
False
Does 37 divide -3*((-27185)/(-45))/((-5)/15)?
False
Let p = 6060 + 2324. Is 24 a factor of p?
False
Is 76 a factor of -4 - (-8)/(-40)*-21 - 15198/(-10)?
True
Let h(t) = 84*t. Let k be h(1). Let q = -413 - -443. Let p = k - q. Is p a multiple of 18?
True
Let t(y) be the first derivative of y**3 - 3*y**2 + 22*y + 3. Let a be t(5). Let c = -21 + a. Is 34 a factor of c?
False
Let t = 8 - -2. Let l(i) = 3*i**2 - 16*i + 39. Let v be l(-12). Suppose v = t*q - 167. Does 19 divide q?
False
Let h(m) = m + 12. Let g = 60 + -57. Let j be h(g). Let r = 13 + j. Is r a multiple of 14?
True
Suppose 3*d = 2*x + 173, 5*x = 5*d - 0*x - 295. Let y = d + -55. Suppose y = 3*h + h - 216. Is 18 a factor of h?
True
Let h be 120/(-10)*(-4)/6. Is (549/6)/(-1*h/(-80)) a multiple of 40?
False
Suppose 5*t - 8 = -5*v + 9*t, -5*t = 2*v + 10. Suppose 5*a + 0 - 705 = v. Suppose -3*r = -0*r - a. Does 2 divide r?
False
Let s = 1935 + -1161. Suppose -5*q - 20 = 0, 5*f - 3 = 4*q + 13. Suppose f = 5*u - 276 - s. Is 42 a factor of u?
True
Suppose -5*o - 5*s = -27495, 25 = -14*s + 9*s. Is o a multiple of 86?
True
Let a(c) = -4*c - 5. Let y be a(5). Let b = 235 + y. Suppose -3*g + 2*x + 644 = 0, g - 4*x = -x + b. Is g a multiple of 24?
True
Let a = 462 + -440. Is 2098/a + 72/(-198) a multiple of 2?
False
Suppose 0 = -5*v + 6*q - 10*q + 5212, 1052 = v - 4*q. Suppose v*k - 1036*k = 1664. Is 8 a factor of k?
True
Suppose -50474 = -80*v + 21606. Does 17 divide v?
True
Let a(v) = -v**2 + 4*v + 15. Suppose -3 - 17 = -4*q. Let t be a(q). Suppose -t*y + 295 = -5*y. Is 16 a factor of y?
False
Suppose 5*r - 106630 = 8*x - 6*x, 2*x + 21318 = r. Does 8 divide r?
True
Suppose l = -2*b + 164 + 1531, -4*l - b = -6745. Suppose -2*c - h + l = 0, 6*c + 4225 = 11*c + 5*h. Is 20 a factor of c?
True
Suppose -173988 = -53*q + 374509. Is 34 a factor of q?
False
Let n(u) = -882*u + 7. Let o be n(-1). Suppose 0 = -5*a - q + o, -q - 714 = -4*a + q. Suppose 0 = -4*s + 4*v + 126 + a, 5*v = -5*s + 420. Is s a multiple of 20?
True
Let c(j) = -j**2 - 8*j + 87. Let q be c(-14). Suppose -q*a + 18711 = 30*a. Is a a multiple of 63?
True
Suppose -4*z + 762 = 2*x - 1330, 3*x - 3*z - 3174 = 0. Suppose -x = 5*n - 7*n. Is 14 a factor of n?
False
Suppose 0*o - 4*o + 2376 = 0. Suppose -58*w + 55*w + o = 0. Is w a multiple of 66?
True
Let m = 393 - 407. Let q(t) = t**3 - t. Let i(z) = -2*z**3 + 15*z**2 + 9*z + 2