 2*b + 18 = 4*b. Let o be (-90)/4*192/(-10). Suppose b*w - 12*w = -o. Is w a multiple of 24?
True
Let f(t) = 6*t**2 - 5*t - 100. Suppose 23*i + 5 = -179. Is 12 a factor of f(i)?
True
Let m(x) = -373*x - 1078. Is m(-8) a multiple of 10?
False
Let p = 340 - 340. Suppose 101*i - 95*i - 2052 = p. Is 19 a factor of i?
True
Suppose -66*r + 361435 = 117829. Does 12 divide r?
False
Let v(z) be the third derivative of z**5/20 + 13*z**4/8 + 15*z**3/2 + 55*z**2. Is 14 a factor of v(-17)?
False
Let z(v) = 9*v - 4. Let l(r) = 2*r. Let k(f) = 5*l(f) - z(f). Let q be k(6). Let x(b) = 14*b - 15. Does 15 divide x(q)?
False
Suppose 0 = -4*j + o + o - 20, -4*j - o = 8. Let z(q) = 2*q**3 + 6*q**2 - q + 1. Let k be z(j). Is 8 a factor of 228 + (2 - -1) + k?
False
Suppose 32*l - 59555 = 29*l - 5*h, -3*l + 3*h + 59595 = 0. Is 29 a factor of l?
False
Let h = 13 + -31. Let y be -149 - -144 - (-2 + -87). Let b = y + h. Is b a multiple of 6?
True
Let y = -37 + 38. Let u be y*(2/3 - 181/(-3)). Let k = 98 - u. Is 37 a factor of k?
True
Let n be -9 + 660/72 - (-1259)/6. Does 4 divide ((-237)/(-5))/(21/n)?
False
Suppose -4562*h - 208 = -4567*h + 6872. Is h a multiple of 4?
True
Let l be (-1)/4 - (-1049)/4. Let x be (-142)/1 - 5*(-4)/(-20). Let m = x + l. Is 38 a factor of m?
False
Let z(u) be the third derivative of -u**5/12 + u**4/24 - 11*u**3/3 + 10*u**2. Let n be z(-10). Does 5 divide (-1)/2 + n/(-8) + -2?
False
Let o(a) = a**3 + 62*a**2 + 92*a + 550. Is 167 a factor of o(-56)?
False
Let t(r) = 128*r**3 - r. Let g(k) = k**3 - 5*k**2 + 2*k + 9. Let q(s) = -2*s**2 + s + 4. Let f be q(0). Let w be g(f). Does 14 divide t(w)?
False
Let l = -25 + -48. Let b = -71 - l. Does 11 divide b/(-6)*22*96/(-4)?
True
Let z = 61 - 69. Let l = 15 + z. Is 13 a factor of 73 - l - (-2 + 3)?
True
Does 4 divide 1074/39 - 24/(-52)?
True
Let g be (-11 - -9)*(9 - 2). Is 9 a factor of (-445 - 2)/(g/14)?
False
Suppose -q = -3*w + 4*w + 33, -4*w + 3*q - 160 = 0. Let x = w + -27. Let z = 112 + x. Is 24 a factor of z?
True
Is (-33)/((-462)/563764) + -2*3/(-42) a multiple of 240?
False
Suppose -199*c + 216*c - 43588 = 0. Is c a multiple of 30?
False
Let b = -8 - -12. Suppose b*j - 474 - 886 = 0. Is j a multiple of 17?
True
Let a(l) = 7*l**2 + 12*l - 18. Let h be a(2). Let g = 341 + h. Does 21 divide g?
False
Suppose 0 = -11*c + 8*c + 4*y - 154, -4*c - 224 = 4*y. Let a = 86 - c. Is a a multiple of 35?
True
Is -947*(-5)/(147/(-63) + 19/6) a multiple of 13?
False
Suppose 43*n - 23*n + 53*n = 1115294. Is n a multiple of 14?
False
Let c(p) = 3*p**2 - 4*p - 13. Let n = -115 + 126. Is c(n) a multiple of 41?
False
Suppose 0 = 166*q - 163*q + 32670. Does 15 divide q/(-85) + (-4)/34?
False
Let x = -52 - -60. Suppose 3*v + 15 = 4*v. Suppose v*w - x*w = 224. Is 12 a factor of w?
False
Suppose 0 = -h + 2*o + 2 + 2, 2*h - 4 = 2*o. Let a be -5 + h - (2 - 269). Let t = a - 98. Is 35 a factor of t?
False
Let f(m) = -121*m + 8832. Is f(40) a multiple of 241?
False
Let c(z) = 394*z**2 + 96*z + 712. Is c(-8) a multiple of 10?
True
Let m(n) = 1512*n**2 - 16*n + 28. Let p(l) = -1512*l**2 + 14*l - 32. Let u(w) = 3*m(w) + 2*p(w). Does 21 divide u(1)?
True
Let s(v) = 6*v + 7. Let t be s(14). Let j = t - 41. Let u = -26 + j. Is u a multiple of 18?
False
Suppose 0 = 5*n - 5*i + 500, 7*i - 2*i = -2*n - 172. Let l = n + 99. Suppose 3*a - 7*a + 762 = -2*p, l = p. Is 12 a factor of a?
True
Suppose 1635*a - 183379 = 1612*a. Is 119 a factor of a?
True
Let s(j) = -6319*j**3 + 2*j**2 + 13*j + 10. Is 16 a factor of s(-1)?
False
Let r(a) = -11*a + 19. Let y(h) = -h - 1. Let c be y(-1). Suppose c = b - 5*i + 21, 2*i - 10 = -3*i. Is 28 a factor of r(b)?
True
Suppose 21*m + 960 = 16*m. Let n = m - -21. Let x = n + 247. Is x a multiple of 38?
True
Let s = 855 - 889. Let v = 153 - 82. Let d = v + s. Is 9 a factor of d?
False
Suppose 4*g = -r - r + 104, 0 = 3*r - g - 149. Suppose -r*s + 10202 = 752. Is 27 a factor of s?
True
Let h(c) = 140*c**2 - 102*c - 479. Does 7 divide h(-6)?
True
Let c = 23461 - 15644. Is c a multiple of 24?
False
Suppose -14*c + 384 = 50*c. Suppose -3 = -3*l + 6. Suppose -l*h - c*h + 567 = 0. Does 9 divide h?
True
Let j = -1 + 6. Suppose -2*x = -j*n + 24, n - x = x. Suppose -1 = n*v - 97. Does 8 divide v?
True
Let r = -4752 - -6852. Suppose 6*v + r = 27*v. Does 20 divide v?
True
Let n(a) = -40*a**3 - 26*a**2 - 41*a - 36. Is 153 a factor of n(-9)?
True
Suppose 10*a - 36 = 9*a. Suppose 0 = -33*p + a*p + 324. Let m = 172 + p. Is m a multiple of 9?
False
Is 58 a factor of (144/90)/(112/(-30) + 4) + 12383?
False
Let a be 2 + -8 - (-14 + 3). Let c(p) = 13*p**3 - 12*p**2 + 35*p - 18. Is 13 a factor of c(a)?
True
Is 21 a factor of (-266)/(-3)*(3 + 11 + 139)?
True
Is (7 - 3090/(-18))/((-8)/(-132)) a multiple of 126?
False
Let p(w) = 10*w - 13. Let s(c) = -21*c + 26. Let a(k) = -9*p(k) - 4*s(k). Suppose -15 = -36*j + 41*j. Does 10 divide a(j)?
False
Suppose 3*b + 49*v = 45*v + 64885, -2*v = -5*b + 108159. Is b a multiple of 62?
False
Let j(w) = -2*w - 100. Let l be j(-51). Suppose -3*s + l*u - 30 = -2099, 0 = 4*u + 4. Is 9 a factor of s?
False
Let s(g) = -245 - 154*g**3 + 126 - 2*g**2 + 11*g + 139. Does 22 divide s(-2)?
False
Let g(m) = 3*m + 9. Let i be g(4). Suppose 3*j + i = 3*x, -4*x + 6 + 4 = 5*j. Suppose -x*b + 121 = -439. Is 56 a factor of b?
True
Let t = 212 - 192. Suppose 5*h - 667 = 4*x - 2*x, 0 = -5*x + t. Is 45 a factor of h?
True
Suppose -7*y + 8*y - 60 = -2*g, 5*g = -3*y + 149. Suppose 5*m - 4*k + g = 215, 5*m + k = 179. Does 15 divide m?
False
Let a(o) = 1698*o + 124. Is 52 a factor of a(4)?
True
Suppose 5*a = n + 21, -n + 37*a - 34*a = 15. Is n + (44*-9)/(-6) a multiple of 10?
True
Let j = -248 - -251. Let w(d) = 11*d**2 - 8*d - 3. Does 6 divide w(j)?
True
Suppose 16 = 2*t - i - 57, 0 = 4*t + 4*i - 140. Let v = 17 + t. Let w = -27 + v. Does 3 divide w?
False
Suppose -2*v = -6423 - 7857. Is v a multiple of 140?
True
Let x(m) be the second derivative of -29*m + 0 - 2/3*m**4 + 12*m**2 - 5/6*m**3 - 1/20*m**5. Is x(-7) a multiple of 5?
True
Suppose -7*d + 3*d - 824 = 4*c, 1022 = -5*c - 3*d. Is 10 a factor of (c/4)/((-13)/78)?
False
Suppose -4666 - 3289 = -145*z + 2050. Is z a multiple of 10?
False
Let z = -9759 + 10086. Does 25 divide z?
False
Let f(r) = -r**3 + 15*r**2 - 5*r + 60. Let q = -296 - -309. Is 32 a factor of f(q)?
False
Suppose 0 = 4*g + 54*d - 57*d - 92584, -2*g + 46318 = 5*d. Is g a multiple of 32?
False
Let s(w) = 185*w**2 + 2*w. Let y be s(-1). Let v = y - 308. Is (30/v*-10)/(2/105) a multiple of 42?
True
Let l be (-1 - 0/(-2))*2. Let n(t) = 3*t - t + 0*t - 6*t**3 + 3 - 2*t**2. Is n(l) a multiple of 3?
True
Let f(n) = -1244*n - 5131. Is 157 a factor of f(-19)?
False
Suppose -30 = -5*g - 0*g - 5*v, 2*g - 18 = -4*v. Let n(j) = 15*j - 22. Let q be n(g). Let b = q + -14. Is 3 a factor of b?
True
Suppose -3431*c = -3447*c + 2800. Is 26 a factor of c?
False
Suppose -2*d = -8*d + 576. Suppose -91*u = -d*u + 4680. Is u a multiple of 72?
True
Let x = -8957 + 14589. Is 32 a factor of x?
True
Suppose 2*b + 2*r = -2*r - 14, -b + 2*r = -13. Suppose b = 3*w, -2*j + 7*w + 1981 = 8*w. Is 34 a factor of j?
False
Let g = 10886 - 8142. Is g a multiple of 49?
True
Let t be 4/(-16) + (-50)/(-8). Suppose 0 = -t*j + 30. Suppose j*g + 4*y - 98 = 0, 2*g + 3*g = -5*y + 100. Is 13 a factor of g?
False
Suppose 0 = -102*i + 2923481 - 555245. Does 10 divide i?
False
Let g = 3001 + -2315. Is 108 a factor of g?
False
Suppose -5754 = -2*h + v, 4*v - 4442 = -5*h + 9904. Does 43 divide h?
False
Suppose 7*x - x = 84. Let r(l) = -1 - 21*l + 8*l + 11 + 3*l**2 + x. Is r(6) a multiple of 9?
True
Suppose 26 = -11*k - 7. Is ((2 + 79)/k)/(-1) a multiple of 6?
False
Suppose -3*k + 22 = -44. Suppose 4644 = 5*v + k*v. Does 10 divide v?
False
Let h = 19 - 29. Let y be ((-2)/h*-6)/(75/(-250)). Suppose y*b - 116 = -0*b. Is b a multiple of 10?
False
Suppose -7*d = 38*d - 398925. Is 71 a factor of d?
False
Let z(d) = -4*d + 1. Let o be (1 - 0)*(-4 + 32/4). Suppose -3*j + 12 = -o*f, 4*j = 3*f - 2*f + 3. Is 13 a factor of z(f)?
True
Let y(m) be the second derivative of 13*m**3/3 + 32*m**2 - 2*m + 75. Does 22 divide y(6)?
True
Suppose 0 = -4*v - 4*x + 71824, 31*v = 27*v - 5*x + 71828. Is v a multiple of 132?
True
Does 67 divide 2283 - (-3)/(3/(-5))?
True