 23. Suppose -n*r + 6*r = -38. Is 16 a factor of r?
False
Let c(w) = 1 - 18*w - 4 - 10 + 3. Does 15 divide c(-6)?
False
Let f = 689 + -326. Is f even?
False
Let r = 1100 + -652. Is 16 a factor of r?
True
Let k(p) = -p**2 - p + 6. Let w be k(-2). Let r = w - -6. Is 10 a factor of r?
True
Suppose -16*r + 2836 = -10924. Is r a multiple of 104?
False
Let f(j) = -2*j**2 + 37*j + 22. Let m be f(19). Suppose -m*t - 56 = -218. Is 5 a factor of t?
False
Let f(l) = -l**2 + 46*l - 53. Is f(22) a multiple of 15?
False
Let j be (-2 - (2 - 6))*(-2 + 3). Suppose 32 = 2*b + j*f, 5*b - 3*f - 62 = 50. Is 13 a factor of b?
False
Let h(s) = -2*s**3 + 37*s**2 - 8*s + 24. Does 124 divide h(16)?
False
Suppose 3153 = 7*m - 3315. Does 44 divide m?
True
Let m(b) = -b**3 - 5*b**2 + 7*b + 4. Let h be m(-6). Let x be 8/4 + 18*14. Is x/4 + 1/h a multiple of 21?
True
Let n = -43 + 48. Suppose -234 = -2*u + n*q, -5*u + 6*u - 117 = 2*q. Is 25 a factor of u?
False
Is 1162/(-83)*14*-10 a multiple of 49?
True
Let w be 3/18 + 17/6. Suppose -w*g = -11*g + 1144. Does 28 divide g?
False
Let q = 1813 + -913. Does 60 divide q?
True
Let i(s) = 24*s**2 + 29*s - 10. Is 52 a factor of i(6)?
False
Suppose -91*p + 90*p = -16. Let j = 74 - p. Is j a multiple of 44?
False
Is 41 a factor of 1/(-6) + (-27275)/(-30)?
False
Let f = 4 - 5. Let s(v) = -10*v**3 + 5*v**2 + 2*v + 6. Let n(t) = 11*t**3 - 4*t**2 - 2*t - 5. Let z(a) = -5*n(a) - 4*s(a). Does 7 divide z(f)?
True
Suppose 4*o - 19 + 7 = 0. Suppose -4*h - 29 = -o*d + 26, 0 = 4*h + 4. Is d a multiple of 15?
False
Let m = -27 - -209. Is 14 a factor of m?
True
Let c = -28 + 26. Is 18 a factor of ((-14)/(-35))/(c/(-370))?
False
Suppose 3*v - 1135 = 1667. Is v a multiple of 27?
False
Let v be 0/(-7) - 28*-4. Let m = 186 - v. Is 12 a factor of m?
False
Suppose -u - p = -28, 5*u - 4*p - 153 - 32 = 0. Suppose 0 = k + 4 - u. Is 3 a factor of k?
False
Suppose 10*k - 3170 = 9*k - 5*x, 7*k - 22222 = -3*x. Does 65 divide k?
False
Is 18 a factor of ((48/28)/(-1))/(1/(-791))?
False
Let w be (-5)/3*(-2 + 8). Let s = -10 - w. Suppose -4*t + 2*j = -48, s = -2*t + t + 4*j + 19. Is 6 a factor of t?
False
Let o(t) = -t**2 + 12*t - 9. Let s be o(8). Suppose -4*m + 3*g + 0*g = -s, g = m - 5. Does 4 divide m?
True
Suppose 14*q = 6900 + 2004. Suppose x + 3*c = 112, -5*x + c + q = -3*c. Is 31 a factor of x?
True
Let s be (-3 + -3)/((-1)/23). Suppose 0 = 4*t + 5*b - s - 197, -145 = -2*t + 5*b. Is 20 a factor of t?
True
Suppose -720 = -2*d - 2*d. Suppose 3*t - 38 + 143 = g, -4*t = 2*g - d. Suppose 5*b - g = b. Is b a multiple of 12?
True
Suppose -3*t + 1410 = 2*r, 3*t - 13*r - 1410 = -16*r. Is 9 a factor of t?
False
Suppose -5*w - 33 = 17. Let x be 1*w/35*7. Let y(r) = r + 8. Is 3 a factor of y(x)?
True
Let o(r) = 3*r**2 + 24*r + 30. Is 69 a factor of o(-24)?
False
Let j(v) = -5*v + 6. Let i be j(6). Let l = i + 89. Is 1/(-3) + l/15 a multiple of 4?
True
Suppose 0 = -2*y + z + 764, -18*z = -5*y - 22*z + 1884. Does 4 divide y?
True
Suppose -3*c + 5*n = 9*n - 441, -9 = 3*n. Is 5 a factor of c?
False
Let z(p) = p - 3. Let w be z(-8). Let x = w + 6. Is (-6)/x*560/42 a multiple of 16?
True
Suppose -28*y = -31*y + 669. Is y a multiple of 16?
False
Is ((-26)/39)/((-3)/((-44262)/(-4))) a multiple of 45?
False
Suppose 194 = h + 29*o - 24*o, 0 = -5*h - 3*o + 926. Does 39 divide h?
False
Suppose 3*u + 2*n = 5098, -2*u - 34*n + 3387 = -35*n. Is u a multiple of 32?
True
Suppose -s - 7 + 1 = 2*p, 0 = -2*p - 2. Is s/8 - (-155)/2 a multiple of 24?
False
Let a be (0 - -3)*4/(-2). Is 7 a factor of a/(-14) + (-3965)/(-91)?
False
Let w(k) = 6*k + 6. Let n be w(6). Let b = n + -23. Is 5 a factor of b?
False
Suppose 5*g - 5 = 0, -5*c + 2*g + 47 + 16 = 0. Does 4 divide c?
False
Let o(h) = h**2 + 2*h + 4. Let n be o(-3). Let w = n + -6. Is 20 a factor of 1106/21 - w/(-3)?
False
Let o(d) = 4*d**2 + 2*d + 1. Let l be o(-1). Let z = -40 - -56. Let s = z + l. Is 19 a factor of s?
True
Suppose -2*h = 5*u + 24, 3*u + 4*h + 0*h + 20 = 0. Let r be (4 - (u - -5))/1. Suppose 2*g + 4*o - 2*o = 148, -360 = -5*g - r*o. Does 18 divide g?
False
Let u(j) = 13*j**2 - 2*j + 4*j - j. Suppose 2*q - 3*i + 1 = 0, -q + 3*q + 2*i = 4. Does 7 divide u(q)?
True
Let w(p) = 7*p - 8. Let h be w(-20). Let i = h + 291. Is 46 a factor of i?
False
Let s be (-35)/21 - (-1)/(-3). Let w be (2 - s - 98)/2. Is (2 + -3)*w - 3 a multiple of 12?
False
Let f(r) = -r**3 + 10*r**2 + 9*r + 27. Let o be f(11). Is (3 - (4 + 4/o))*-115 a multiple of 23?
True
Suppose 0 = -38*l + 45*l - 238. Does 8 divide l?
False
Let c = -1596 + 2496. Does 36 divide c?
True
Let h(l) = -l**3 + 5*l**2 + 6*l + 6. Suppose -3*m - 20 = -5*x - 8, 2*x - 4 = 2*m. Suppose -10 = f - x*f. Is 12 a factor of h(f)?
True
Suppose 0*m + 8 = 4*m. Let f = 9 + m. Does 14 divide 11/f + 0 + 55?
True
Let s(u) be the first derivative of -u**5/60 - 23*u**4/24 - 10*u**3/3 + 8. Let m(n) be the third derivative of s(n). Does 7 divide m(-16)?
False
Suppose 64 = -c - 3*c. Let l = -13 - c. Suppose -l*w - 21 + 192 = 0. Is 19 a factor of w?
True
Let b = -233 - -507. Suppose y = -3*s + b, 0*y + y = -4*s + 364. Is 18 a factor of s?
True
Suppose -10 - 6 = -4*b. Suppose b*s = -2*k + 194, -5*k + 3 = -2. Is s a multiple of 24?
True
Let g = -207 - -241. Does 3 divide g?
False
Let h = 16 - 14. Suppose -w = -h*w - 37. Let u = w - -109. Does 11 divide u?
False
Let q(b) = -b**2 - 13*b + 28. Let y be q(-15). Does 19 divide -2*(-2)/(-4)*266/y?
True
Suppose -f = 2*p + 276 - 68, -4*p + f = 422. Let z be (p/(-21))/((-1)/4). Is 3 a factor of 35/10*z/(-7)?
False
Suppose 0 = 4*v - 0 - 4, 4*o - 22 = -2*v. Suppose o*x - 2*n - 2*n - 630 = 0, 4*x = -3*n + 504. Is 35 a factor of x?
False
Suppose 25315 = 55*h + 235. Is h a multiple of 5?
False
Is 10 a factor of (-13)/((-39)/6) - (2 + -50)?
True
Suppose -92 = -4*q + 468. Let r be ((-54)/(-45))/(2/q). Suppose 3*j - r - 42 = 0. Does 21 divide j?
True
Suppose -10*a + 10073 = -10327. Is a a multiple of 17?
True
Suppose 7*d - 1656 = 3069. Is d a multiple of 15?
True
Suppose 702 = -3*h + 12*h. Suppose -4*r + 12 = 0, -4*k + 5*r = -h - 71. Does 24 divide k?
False
Is ((-8)/4)/(12/(-2130)) a multiple of 79?
False
Suppose -3*z = 2*z + 3*y + 65, 2*z = -3*y - 35. Let i be -3 + -5 - 124/2. Let l = z - i. Is 30 a factor of l?
True
Let o(i) be the second derivative of i**4/3 + i**3 - 7*i**2 + 31*i. Is 25 a factor of o(6)?
False
Let z = -206 + 564. Is 24 a factor of z?
False
Suppose 2 = -u - 3, -3 = -2*f + u. Does 38 divide f - ((-243 - -1) + 1)?
False
Does 3 divide 1010/8*(-13 + (-1068)/(-60))?
True
Let z = -421 - -769. Does 3 divide z?
True
Suppose 0 = g - 5*m - 678, -70*g = -67*g + 2*m - 1983. Is 39 a factor of g?
True
Is 21 a factor of 202/((-13)/((-546)/4))?
True
Suppose -3*f + 91 = 10. Let j = f - 10. Is j a multiple of 6?
False
Let k be ((-12)/(-16))/(3/12). Suppose -n + k*b - 3 = -2*n, -4*n = b + 10. Is 14 a factor of (-3116)/(-57) + (-4)/n?
True
Let v = 11 + -23. Let u(j) = j**3 + 11*j**2 - 18*j - 11. Is 10 a factor of u(v)?
False
Let o(f) be the third derivative of f**5/60 + 3*f**4/8 + f**3/6 + 5*f**2. Let y be o(-8). Is 10 a factor of 40/1*(-6 - y)?
True
Let w = -16 + 523. Is 59 a factor of w?
False
Let z = -3 - -8. Suppose 31 = t - 5*y, -2*t - 245 = -7*t - z*y. Does 23 divide t?
True
Is 57 a factor of 12514/22 - -1 - (-40)/220?
True
Suppose 200 = 4*x + 32. Is 4 a factor of x?
False
Let s(f) = -2*f**3 + 9*f**2 + f + 4. Let a be s(5). Is 7 a factor of 10*(-14)/a*4?
True
Let i(t) = t**2 - 19*t - 318. Does 27 divide i(-23)?
True
Let a(n) = n**3 + 8*n**2 - 3*n - 16. Let b = 38 - 45. Does 27 divide a(b)?
True
Does 4 divide -1 + 38 - (-55)/(-11)?
True
Suppose 3*z - 1051 - 17 = -5*w, -z - 3*w = -352. Is z a multiple of 12?
False
Let o(m) = -m - 10. Let f be o(-6). Let x be (8 - -4)/(f/(-6)). Suppose -3 = 5*p - x. Does 3 divide p?
True
Let j(d) = 19*d**3 - d**2 - 2*d - 1. Let p be j(-1). Does 15 divide (14 - 0)*p/(-2)?
False
Suppose -64 = -2*d + 2*j + 158, 4*d - 5*j - 445 = 0. Does 55 divide d?
True
Suppose h = -2*c - 6, 3*h = -3*c - 3 - 3. Suppose 4*l + h*g = 2, g - 7 = -3*l - 4. Suppose l*v - 4*v = 4*w - 4, -2*w - 2*v = 2. Is w even?
False
Suppose -o + 1082 = 4*m, m - 280 = -0*o - 5*o. Does 30 divide m?
True
Let f(x) = -x**2 + 2*x. Let v be f(0). Suppose -3*l = -v*l. Suppos