 a factor of 1*h*(11 - 14)?
False
Let o = -3869 + 4598. Does 44 divide o?
False
Let o(v) = -v + 5. Let n be o(1). Let a(h) = n - 24*h - 7*h + h + 2*h. Is a(-2) a multiple of 10?
True
Let l = -11528 + 20784. Is l a multiple of 52?
True
Suppose 2*v - 2790 = 5*n - 29244, 0 = 2*v - 6. Does 21 divide n?
True
Suppose -4*c + 88127 = -3*k + 22261, -3*c = -2*k - 49400. Is 107 a factor of c?
False
Let z = -483 + 270. Let t = 245 + z. Does 2 divide t?
True
Let l(q) = q - 29. Let w be l(18). Let i be 22/3 - (66/(-18))/w. Suppose 2*t = -4*r + 630, 0 = 2*r - i*r - t + 783. Is 26 a factor of r?
True
Is (3/5 - 504/140)*-555 a multiple of 111?
True
Let b be (-1926)/(-12)*(-4)/(-6). Suppose a + 0*a - 3*o = 12, -5*o + 14 = 4*a. Let q = b - a. Does 38 divide q?
False
Let q(u) be the third derivative of -5*u**4/8 + u**3/6 - 46*u**2. Let c be q(-9). Suppose 12*i = 4*i + c. Does 6 divide i?
False
Let g(q) = 57*q**2 + 4 + 6690*q - 6690*q. Does 58 divide g(2)?
True
Let j = 96 + -100. Let d(c) = -3*c**3 - 4*c**2 + 1. Let q be d(j). Does 10 divide q - (-2)/(3 - 5)?
False
Does 79 divide 5075252/1606 - 4/22?
True
Suppose -5*t = -4*h + 25364, 0 = -3*h - 57*t + 59*t + 19016. Is h a multiple of 3?
True
Suppose c = 4*n - 23, -6*c + 3*n - 26 = -4*c. Let f be (-220)/(c/((-84)/(-8))). Suppose -m = -7*m + f. Is m a multiple of 11?
True
Suppose -5*g + 2*g = -45. Let t be 339/g - 4/(-10). Suppose 5*n - n - t = 5*z, 1 = z. Is 4 a factor of n?
False
Suppose -2 = -66*v + 67*v. Is 4 a factor of (v*345)/(-10) - (2 - -1)?
False
Let x = 104 + -66. Suppose 1309 = -x*s + 45*s. Is s a multiple of 17?
True
Suppose -23269 - 15841 = -24*b - 9278. Is 53 a factor of b?
False
Let a be (49/(-28))/(1/(-8)). Suppose -2*r + 576 = a*r. Is r a multiple of 10?
False
Is (118/(-2))/((-3105)/97 - -32) a multiple of 86?
False
Let z(w) = 0*w + 15*w + 9*w. Let r = 270 - 267. Is z(r) a multiple of 18?
True
Let y(a) be the second derivative of 13*a**3/2 - a**2/2 - 2*a + 2. Does 7 divide y(2)?
True
Suppose -m + 7 = 2*t, -2 = 2*m - 0. Suppose 3*x - 3*f = -f + 14, -t*f - 16 = 0. Suppose -x*n + 121 - 51 = 0. Does 13 divide n?
False
Let c = -7035 + 12872. Is 125 a factor of c?
False
Suppose -15*d + 1910 = -10*d. Suppose 4*o + 573 = 7*o - 5*c, -2*o = -c - d. Is 5 a factor of o?
False
Let a(k) = k + 8. Let s be a(-14). Let b(f) = -f**3 - 10*f**2 - 29*f - 1. Is b(s) a multiple of 5?
False
Let s(o) = 5*o**2 - 20*o + 46. Suppose 5*k + i - 5 - 21 = 0, 5*i = -4*k + 4. Let j(u) = u**2 - u. Let d(x) = k*j(x) - s(x). Is 10 a factor of d(-21)?
False
Suppose -549 = -2*p + 533 + 3992. Does 16 divide p?
False
Let u = 58962 - 24384. Does 8 divide u?
False
Is 28 a factor of (-27394)/(-30) - (2378/(-615) + 4)?
False
Suppose -2098 = -2*l + 3*f, f + f - 2098 = -2*l. Let p = l - 662. Suppose w + 2*v + p = 6*w, 2*w - 151 = -3*v. Is w a multiple of 16?
False
Let k(l) = 2*l**2 - 9 + 0*l**2 + 5*l - l**2 + 0*l**2. Let g be k(-7). Suppose -4*x = 2*n - g*n - 276, 0 = -5*x + 4*n + 344. Does 14 divide x?
False
Suppose 8*c = 7*c + 3. Suppose x - c*k = 289, x - 329 = -10*k + 5*k. Does 8 divide x?
True
Suppose 1076 = 24*k - 1396. Is k a multiple of 2?
False
Let f(p) = p - 2*p**3 + 4 + 11*p**2 + 16 + 0 + p**3. Let z = 0 - -10. Is 26 a factor of f(z)?
True
Let o = 106 + -104. Suppose 0*l = -3*l - q + 21, 0 = 4*l - o*q - 38. Is ((-12)/l - -2)*(307 + -1) a multiple of 16?
False
Let y = 43 - 35. Suppose -y*n = -10*n + 20. Does 16 divide (-24)/(-2 + 15/n)?
True
Suppose -376335 = -111*t + 153690. Is t a multiple of 25?
True
Let b(h) be the second derivative of h**3/6 + 7*h**2 + 14*h. Let k be b(-13). Is k + (-24)/18 - (-106)/3 a multiple of 6?
False
Suppose n + 9 = 4*n. Suppose -x - n*x + 84 = 4*f, -3*x - f = -55. Suppose -22*h + x*h = -240. Is h a multiple of 12?
True
Suppose -16*p + 12*p = -11620. Suppose 0 = 18*t - 8975 - p. Is 15 a factor of t?
True
Let h(c) = 3*c**2 - 26*c + 3565. Is h(-65) a multiple of 10?
True
Suppose 98*q - 102*q - r + 19530 = 0, 4*r + 14676 = 3*q. Is q a multiple of 21?
False
Is 6/(-14) + (-1721904)/(-609) a multiple of 33?
False
Suppose 3*a = 6*a - 2*h - 60, 2*h = 5*a - 96. Does 2 divide 3/a + 2481/18?
True
Let m(r) = 4*r**2 + 28*r + 156. Let t(x) = -x**2 - 12*x - 47. Let l be t(-8). Is 41 a factor of m(l)?
False
Suppose -38*y + 32524 = 9*y. Is y a multiple of 7?
False
Suppose 3*q - 4*l = 51845, 13*q - 2*l = 12*q + 17279. Does 182 divide q?
False
Let w(o) = 405*o + 3469. Is w(33) a multiple of 38?
True
Suppose 0 = 17*h + 42 + 43. Does 38 divide 10/h + -420*2/(-2)?
True
Let s be ((-7)/((-14)/3))/((-9)/(-24)). Suppose -s*x - 4*h + 48 = 0, -4*x + 24 = -6*h + 4*h. Suppose -9*n + 8*n = -x. Is 6 a factor of n?
False
Let z be (144/(-32))/((-26)/16 + 2). Let d be 1227/z*(-12)/(-9)*-3. Let y = -227 + d. Does 27 divide y?
False
Let m be 45/30*(-16)/(-6). Suppose 0 = m*q + 8, 3*n = -0*q + 2*q - 275. Let c = n - -149. Is c a multiple of 7?
True
Let l = 26373 + -22728. Is 15 a factor of l?
True
Let w(u) = 7*u - 112. Let f be w(16). Suppose f = 56*d - 18541 - 11363. Is d a multiple of 29?
False
Let r = 4594 + -1993. Suppose 5*v - 314 = r. Is 27 a factor of v?
False
Let k(q) = q**2 + 4*q + 12. Let w be k(-7). Let a = w + -31. Does 2 divide ((7 + -13)/(-1*1))/a?
False
Suppose -3*t + 2*x - 2 = 0, -t + 2*x - 3 = -x. Suppose t = 2*r - 11*r + 2376. Is 24 a factor of r?
True
Let a = 188 + -183. Does 3 divide -5*(-18)/(-225) + 257/a?
True
Suppose 2*r + 11832 = 6*u - 2*u, r + 14796 = 5*u. Is 7 a factor of u?
False
Let k be 4 - (3 - (1 - 0)). Suppose k*b + 0*b = 3*b. Suppose b = 9*p - 490 - 428. Is p a multiple of 6?
True
Let d = 13 - 6. Let h(u) be the third derivative of u**6/120 - u**5/10 + 5*u**4/8 + 8*u**3/3 - 95*u**2. Is h(d) a multiple of 8?
False
Suppose -19*x - 12 = -22*x. Is 29 a factor of (42 + 1)*x*(-56)/(-16)?
False
Let k be 12/(-3)*2*(-2)/(-16). Let o be 2 - (k - (0 + 4)). Suppose 693 - 182 = o*a. Does 6 divide a?
False
Is ((-3)/(-6))/((1974228/(-151864) - -10) + 3) a multiple of 52?
False
Let q(b) = 889*b**2 + 218*b + 8. Does 20 divide q(6)?
True
Suppose 116*x + 767 = 120*x - 625. Suppose 3*i + 0*i = 30. Is (x/i)/(6/20) a multiple of 29?
True
Let k(x) = 14*x**3 + 36*x**2 + 62*x + 43. Let o(u) = 5*u**3 + 12*u**2 + 21*u + 15. Let b(h) = 4*k(h) - 11*o(h). Is 2 a factor of b(-6)?
False
Suppose 12 = -0*i + 4*i. Let p = -173 + 197. Is 28 a factor of p*6 + -1 - i?
True
Suppose -4*a + k + 2*k - 292 = 0, -a + k - 72 = 0. Let b = 81 + a. Let r = b - -74. Is r a multiple of 9?
False
Let x = -3954 - -4517. Is x a multiple of 95?
False
Let x(r) = 2*r**2 + 423*r + 309. Is x(45) a multiple of 141?
False
Let g(a) be the second derivative of 17*a**3/6 + 91*a**2/2 + 153*a. Does 29 divide g(7)?
False
Let b(j) = -5*j**3 + 5*j**2 + 5*j + 6. Let a(v) = -2*v**3 + v**2 + v + 1. Let c(u) = -2*a(u) + b(u). Does 25 divide c(-7)?
False
Suppose -30*r + 34*r = -4. Is 7 a factor of (r - 137)*-2 + 4?
True
Suppose -1 = a - h + 6*h, 3 = -h. Suppose 3*u + a = 10*u. Let k(z) = 6*z**2 - z + 1. Does 3 divide k(u)?
False
Let d = -93 + 140. Let k = d - 44. Does 8 divide 41 - ((-1 + k)/(-1) - -2)?
False
Let o = 3042 - -1503. Is 43 a factor of o?
False
Let d = -423 + 706. Suppose 320 = 4*n + r, -4*n - 2*r = -d - 33. Suppose 12*q - n = 11*q. Is q a multiple of 17?
False
Let h be 1*-9 + 1 - (-14 - -9). Is (7 + h)/(16/2104) a multiple of 31?
False
Suppose -5*d = -7*d + 500. Let i = 65 + d. Does 9 divide i?
True
Let l(k) = -26*k**3 + 4*k**2 + 101*k + 821. Does 29 divide l(-8)?
False
Suppose -15338 + 6392 = -7*w. Is w a multiple of 18?
True
Let c = -11 - -18. Suppose 19 = 2*l + c. Suppose 25 = -l*p + 7*p. Is 5 a factor of p?
True
Let l be (7 - 11)/(8/74). Let s(v) = v**3 + 37*v**2 - v + 31. Is 4 a factor of s(l)?
True
Let t(v) = v**3 - 16*v**2 + 3*v + 10. Let k be (-112)/6*36/(-42). Is t(k) a multiple of 3?
False
Suppose -585213 - 298646 = -112*y - 88883. Is 9 a factor of y?
False
Let x = -2720 - -3215. Is x a multiple of 7?
False
Let c(g) = -2*g**2 + 254*g - 194. Does 7 divide c(58)?
False
Let s = 60 + -69. Let z(g) = -17*g + 72. Does 45 divide z(s)?
True
Suppose 13*o = o. Suppose 545 = -5*l - o*l. Let i = -65 - l. Is 22 a factor of i?
True
Suppose -3*n + 8*n = -m + 109, -2*n + 5*m + 22 = 0. Let p(a) = -2*a**3 + 44*a**2 - 14*a + 10. Does 18 divide p(n)?
False
Let y(b) = -b**2 