 3*d + 2*d - 44. Is w a multiple of 6?
True
Let a(f) = -6*f + 934. Let u(x) = x**3 - 6*x**2 + 4*x + 16. Let o be u(4). Is a(o) a multiple of 43?
False
Let c(o) = 11*o**3 + 4*o**2 - o - 2. Let d be c(-2). Let j = d - -223. Is j a multiple of 59?
False
Let p = 99 - 87. Let w(s) = 7*s + p + s - 32*s. Is 7 a factor of w(-3)?
True
Let k(c) = -201*c - 3484. Does 67 divide k(-40)?
True
Let z = 10601 - 10193. Is z a multiple of 8?
True
Let b(n) = -88*n + 1712. Is 46 a factor of b(-30)?
False
Suppose 3*a + 4*x - 19 + 47 = 0, -a + x = 0. Let u be a + (4 - 0/6). Suppose -3*w + 9*g = 7*g - 122, 3*w + 2*g - 142 = u. Is w a multiple of 44?
True
Let i be (99/4)/(48/(-960)). Let p = i - -985. Is 52 a factor of p?
False
Let l(p) = 665*p - 14. Let n be l(-6). Let c = -2784 - n. Does 10 divide c?
True
Suppose 1871*f = 1885*f - 39186. Does 18 divide f?
False
Suppose 34*x - 57683 - 122001 = 79260. Is 136 a factor of x?
True
Let z(j) = j + 1. Let o(a) = 25*a + 39. Let g(b) = -o(b) + 6*z(b). Is 25 a factor of g(-7)?
True
Let a be (-3)/(-2) - (-5)/10. Let t be ((-6)/9)/(a/(-9)). Suppose h = -5*l + 761, -2*l = 3*l + t*h - 763. Is l a multiple of 13?
False
Let g(a) = a**3 - 5*a**2 + 3*a. Let v(w) = -w**3 + 9*w**2 - 8*w + 4. Let f be v(8). Suppose -4*d = -2*z + 22 - f, d + 22 = 4*z. Does 10 divide g(z)?
False
Suppose -2*h = y - 664, -5*h + 9*y = 7*y - 1660. Let f = -123 + h. Is 22 a factor of f?
False
Suppose -91*n + 51067 + 35275 = 14634. Is n a multiple of 277?
False
Suppose -3075 = -4*p - 787. Let h = 1014 - p. Does 26 divide h?
True
Suppose -h + 4*i + 1454 = -5454, 2*h - 13796 = 4*i. Is h a multiple of 8?
True
Suppose 130949 = 4078*n - 4067*n + 35348. Is n a multiple of 27?
False
Suppose 5*j = 2*a, 5*j = -0*a - a + 15. Suppose g + 0*g = -4*b + 11, -a*b + 2*g + 4 = 0. Suppose 4*l + 245 = 3*t, -5*t + 0*l = -b*l - 385. Is 13 a factor of t?
False
Let h(i) = 20*i**3 + i**2 - 6*i - 10. Let k be h(-2). Let v = k - -227. Is v a multiple of 9?
False
Let r be (-8541)/(-33) - 16/(-88). Suppose 11*q - r = 280. Is q a multiple of 5?
False
Let q be 5*-1 + (-28)/(-14). Let j(y) = -6*y**3 + 7*y**2 + 14*y + 13. Is j(q) a multiple of 10?
False
Let k = 24269 + -8701. Is k a multiple of 63?
False
Let n(c) = -9*c**3 + 2*c**2 + 2*c. Let f be (-42)/21*(-1)/(-2). Let k be n(f). Suppose -152 = -k*b + 766. Is 18 a factor of b?
False
Let c(x) = 8*x**2 + 151*x - 247. Is 23 a factor of c(50)?
False
Suppose 0 = 53*m - 48*m - 48581 + 2086. Is m a multiple of 88?
False
Suppose -4*c - 4*c = -1640. Suppose -3*z - 2*d + 1566 = 0, -c = -5*z - 5*d + 2405. Suppose 2*i + 102 - z = 0. Is i a multiple of 35?
True
Does 13 divide 580/(-30)*1833/(-2)?
True
Let z(r) = -2841*r - 4566. Is z(-14) a multiple of 26?
False
Let t = 13729 - 2476. Is 132 a factor of t?
False
Let j(d) = 3*d**2 - 13*d - 13. Let t be j(-1). Is 3 + -6 + t*(-6 + 161) a multiple of 42?
True
Suppose -7*l + 136867 = 3*h, -58*l = -61*l - 3*h + 58659. Is l a multiple of 133?
False
Let v(x) = -2*x**2 + 23*x - 35. Let z be v(8). Is (-7)/(z/4)*(-264 + 0) a multiple of 44?
True
Suppose -23 = 2*f - 33. Suppose -f*x + 5*s = -1150, 2*s + 187 = x - 43. Does 39 divide x?
False
Let b = -70 - -80. Let a be -11 + b - (-1)/1. Suppose 4*k - 409 - 423 = a. Is k a multiple of 26?
True
Suppose 448*a - 455*a = 0. Suppose 0 = -z - 2*g - 3*g + 360, -3*z - 3*g + 1032 = a. Is 20 a factor of z?
True
Let x be 8/(-2) + -1 + (-4)/(-2). Let h = 80 + x. Is 8 a factor of h?
False
Suppose 6*l = 8*l - 30. Let t = 17 - 8. Let z = t + l. Does 12 divide z?
True
Suppose -5*p - 3*r = -2218, 3*r - 446 = -2812*p + 2811*p. Is 107 a factor of p?
False
Let i(o) = 2*o**2 - 7*o - 5. Let h be i(-6). Let c(p) = p**2 + 48*p - 264. Let w be c(5). Suppose 3*k + 4*d - h = 0, -2*d - 5 = -w. Is k a multiple of 13?
True
Suppose 0 = -54*j + 79*j - 221050. Is j a multiple of 10?
False
Let y(n) = -4*n - 26. Let d(t) = -t - 10. Let m(r) = -5*d(r) + y(r). Let j(u) = 11*u. Let h be j(1). Is m(h) a multiple of 5?
True
Let f = 22 + 14. Suppose -2*t - 4*v + 224 = 2*t, -4*v - f = -t. Let c = 145 - t. Is 31 a factor of c?
True
Let h = -2675 + 2711. Suppose 4*i - 2*i - 2 = 0. Let p = h - i. Does 3 divide p?
False
Suppose -r - 3 = -1. Let a be (-2 + (-70)/15)/(4/(-6)). Is 17 a factor of (r - 16)/(a/(-85))?
True
Suppose -j = -3 + 1. Suppose -6 = -2*o + j, 2*o + 168 = -w. Does 9 divide ((-2)/(-4))/(-2 + (-356)/w)?
False
Let b(r) = 2*r**3 - 39*r**2 + 21*r - 18. Let y be b(19). Suppose -2696 + 776 = -y*s. Does 24 divide s?
True
Suppose 4*s = 4*b - 262576, -328164 = 210*b - 215*b - 2*s. Is b a multiple of 14?
False
Let g = 9832 - 4885. Is 51 a factor of g?
True
Let b(k) = 28*k**2 + 4. Let x be b(-3). Suppose 3*c - 1426 = -2*f + x, 5*c - 2845 = 5*f. Is c a multiple of 47?
True
Let r be ((-11)/2)/(7/(-700)). Let x = r + -167. Is x a multiple of 17?
False
Suppose 96*n - 89*n = 406. Let z = 265 - n. Does 23 divide z?
True
Let s(n) = n**2 - 2*n - 5. Let c be s(9). Let p = c + -26. Suppose -o - 43 = -w + p, 2*w - 4*o - 152 = 0. Is 37 a factor of w?
True
Let m(a) = -143*a + 3014. Is m(17) a multiple of 8?
False
Suppose 0 = 5*w - 5*f - 175, -4*w + 79 = -3*f - 58. Suppose 5*h + w = 302. Suppose 5*u = 3*u + h. Is u a multiple of 3?
True
Let s(k) = -2*k**3 + 105*k**2 + 42*k - 538. Is 25 a factor of s(52)?
True
Let m(n) = -2*n + 41. Let d be m(19). Suppose -d*a + 1122 = 8*a. Suppose -4*v = -a - 10. Is v a multiple of 14?
True
Suppose -1827 = -344*g + 341*g. Is ((-32)/6)/((-14)/g) a multiple of 27?
False
Let h = 3183 + -618. Suppose 12*v - h = -7*v. Is v a multiple of 45?
True
Let v(w) be the second derivative of -w**4/12 - 5*w**3/6 + 24*w**2 - 3*w - 23. Is 12 a factor of v(0)?
True
Let f be (-1*(-3)/(-12))/((-1)/244). Is 24 a factor of (f + -2)*5 - (0 + 2)?
False
Let x(l) = 214*l**2 + 63*l - 382. Does 35 divide x(6)?
True
Let t = -906 + 587. Let v = t + 360. Does 4 divide v?
False
Let u(m) = 417*m + 15. Let l(a) = a + 1. Let h(r) = -5*l(r) + u(r). Let j be h(2). Suppose 0 = -6*v + j + 606. Does 20 divide v?
True
Let q = 161 - 165. Is 5 + q - 132/(-3) a multiple of 15?
True
Suppose 4*z - 8 = -12. Let f be (-5 + 5)/z + -1. Is 27 a factor of (-39)/(-13) + (f - -133)?
True
Let l(a) be the first derivative of -a**2/2 + 31*a - 30. Suppose 0 = -3*d + 47 + 1. Does 4 divide l(d)?
False
Suppose -14423*k + 163020 = -14397*k. Is 48 a factor of k?
False
Let z(t) = 4*t**2 - t + 4. Let c be z(4). Let h = 69 - c. Suppose h*j + 3*s - 158 - 4 = 0, -3*s = -3*j + 102. Is 3 a factor of j?
True
Let w(q) = -3*q**3 - 6*q**2 + 7*q + 24. Let r be (0 + -1)*(-10 - -12)*3. Is 18 a factor of w(r)?
True
Suppose -49*b = -320701 - 315221. Is b a multiple of 63?
True
Suppose 0 = o - 7 + 2, -3*p + 2*o = -28949. Does 113 divide p?
False
Let o(r) = -78*r - 128. Let a be o(-25). Let l = a - 22. Is 36 a factor of l?
True
Suppose 4*j - 5*d = 444, -7*j + 2*d = -8*j + 98. Let f = 178 - j. Let s = f - 65. Is s a multiple of 2?
False
Is (-15 - 1794/30)/(4/(-540)) a multiple of 97?
False
Suppose -4*z + 5*p + 3 = 8, 3*p - 3 = 3*z. Suppose -l - 5*x - 16 - 19 = z, 5*x + 55 = -3*l. Does 42 divide (-30)/(-75) - 1546/l?
False
Let q(i) = -13*i - 135. Let z(x) = 7*x + 68. Let y(o) = 4*q(o) + 7*z(o). Does 7 divide y(-47)?
True
Suppose 18*x - 416 = 14*x. Suppose -2*j + 4*j + x = 0. Let u = 121 + j. Is u a multiple of 10?
False
Suppose 258*c - 313026 - 599778 = 0. Is 73 a factor of c?
False
Suppose 260*v - 515334 = 285420 + 1316946. Does 14 divide v?
False
Is 21 a factor of 7016 - -2*3/(-18)*390/65?
True
Let n be (-1)/1 + (-1)/(-1). Let o(k) = -1 - k**3 + 2*k**3 - 5 + n*k**3 - 3*k - 4*k**2. Does 3 divide o(5)?
False
Suppose 2*o = 3*t - 0*t, 0 = -5*o - 3*t. Let n be ((-481)/4)/(10/(-40)). Suppose o = 3*c - n + 31. Is 25 a factor of c?
True
Let c(t) = 179*t - 31. Let l(g) = -61*g + 11. Let y(h) = 4*c(h) + 14*l(h). Is 6 a factor of y(-1)?
True
Let m(d) = -32*d + 17. Let r be m(-2). Is (-3606)/(-10) - r/135 a multiple of 10?
True
Let n(z) = 687*z**3 + 2*z**2 + 2*z - 1. Suppose 6*d - d - y = 10, 0 = -d + 5*y + 26. Is 11 a factor of n(d)?
False
Let z(k) = k**3 - 4*k**2 + 2*k - 6. Let r be z(4). Suppose -16 = r*c + 2*c + 4*o, 5*o = 2*c - 6. Is 3/((-12)/(-280)) + c a multiple of 18?
False
Let c = -157 - -134. Let t = c - -108. Is 17 a factor of t?
True
Let q(m) be the first derivativ