 Let x = c - -123. Suppose -8*l - x = -925. Is 10 a factor of l?
False
Let w(b) = -15*b**3 - 9*b**2 + 7*b + 95. Is w(-6) a multiple of 5?
False
Let d(i) = 2*i**3 - 16*i**2 - 4*i - 1. Let c be d(8). Let s(g) = g**3 - 7*g**2 - 5*g - 10. Let y be s(8). Is (-171)/(-63) - (-4)/y - c a multiple of 4?
True
Suppose 3*r = -j + 9655, 0 = -33*r + 30*r + 3*j + 9639. Is 16 a factor of r?
False
Let z be 1*(0 - -6)*(-30)/(-4). Suppose q - 4*o - z = 84, -4*q = -2*o - 586. Is q a multiple of 7?
False
Let p = -3 + 3. Let q be 15/(-25)*-1*15*27. Suppose -q = -9*f - p*f. Is 9 a factor of f?
True
Suppose -3*f + 1097 = -1972. Is 33 a factor of f?
True
Let z be ((3 + -3)*(-3)/6)/(-1). Let m(x) = 15*x - 52. Let a(w) = -22*w + 79. Let t(k) = 5*a(k) + 7*m(k). Is t(z) even?
False
Suppose -12*l - l + 7135 + 1939 = 0. Does 40 divide l?
False
Is 3673 - (92/(-4) - -9) a multiple of 54?
False
Suppose 0 = 2*q - 0*u + 2*u + 394, -2*q - 3*u - 391 = 0. Let r be q/10 - (-1 - 1). Does 3 divide (-4)/r - (-428)/18?
True
Let s(t) = 49*t. Let i be s(1). Let w = i + -44. Suppose 0 = 5*z - 4*n - 284, -5*z + 4*n = w*n - 279. Is 16 a factor of z?
False
Let w(v) = v**2 + 18*v - 19. Let s be 10/(-10)*1/2*-10. Is w(s) a multiple of 16?
True
Let n = -3412 + 4957. Suppose 9*l = 885 + n. Is l a multiple of 30?
True
Let j = 98 + -93. Is 29 a factor of (-27)/45 + 453/j?
False
Let b(z) = -5*z + 2*z**2 - 3*z**2 + 2*z**2. Let c be b(5). Suppose c = 3*j - i - 72, -4*j - 7*i + 3*i = -96. Does 21 divide j?
False
Suppose 9*r - 3*r = 12. Let f(y) = y**2 - y - 1. Let h be f(3). Suppose -r*g + 3*m + 484 = 0, -g = -3*m + h*m - 249. Is g a multiple of 49?
True
Let k(o) = 65*o - 139*o + 50*o - 32 + 52*o. Does 16 divide k(4)?
True
Suppose 0 = 160*f - 165*f - 15. Let d(s) = -101*s + 77. Is 38 a factor of d(f)?
True
Is 83 a factor of (-1)/((-533208)/96944 + 6 - 3/6)?
True
Let z(g) = -g - 1. Let y(a) = -6*a - 38. Let p(m) = -y(m) - 6*z(m). Let l be p(-4). Does 11 divide l - (-37*1 - 0/5)?
True
Suppose 0 = -10*z + 13 + 27. Suppose -z*l + 2*n - 5*n = -904, n + 233 = l. Is 11 a factor of l?
False
Suppose 0 = 30*p - 20998 - 33752. Is 5 a factor of p?
True
Let a be ((-35)/(-1))/7 + 0. Suppose -a*r + 1120 = -4*b, -2*r + 23 + 432 = -3*b. Is 18 a factor of r?
False
Let f be (-2)/(-12) + 148455/270. Is 15 a factor of (63/(-5))/((-165)/f)?
False
Suppose 2*x - 278 = -3*w, 42*x - w + 278 = 44*x. Is 4 a factor of x?
False
Suppose -2*y + 0*y - x = -3065, -9 = 3*x. Is y a multiple of 6?
False
Suppose 8*d + 21*d = 13282. Is 11/88 - 11*d/(-16) a multiple of 38?
False
Let z(k) = k**2 - 5. Let f be z(-4). Suppose 0 = -f*h + 7*h + 756. Suppose -6*x = 3*x - h. Does 14 divide x?
False
Suppose -215*m + 1075348 + 61811 = 186429. Is m a multiple of 22?
True
Let l(a) = -3*a**2 - 6*a + 4. Let t be l(-2). Suppose -405 = t*h - 1109. Is 9 a factor of h?
False
Let a = -750 - -982. Suppose 239*g - 357 = a*g. Is 3 a factor of g?
True
Suppose g = -b - 2 - 0, 2*g + 3*b = -9. Suppose -f + 0 + g = 0. Suppose -f*k = 3*k - 252. Is k a multiple of 23?
False
Suppose -8*v - 272 = -336. Is 4 a factor of v?
True
Let q = 3839 + -2438. Let b = -670 + q. Does 63 divide b?
False
Let v be (-2)/((-6 + -1)/7). Suppose 0*d + 3*i = -3*d + 1662, -3*d - v*i + 1663 = 0. Does 37 divide d?
True
Suppose -11*o = -1176 - 376 + 243. Is o a multiple of 48?
False
Suppose -6*i = 514 + 122. Does 4 divide -2 + (-3)/3 - (i - -1)?
False
Let y = -230 - -476. Suppose 8*x - 950 = -y. Does 7 divide x?
False
Let u = -2259 - -2293. Is u a multiple of 5?
False
Suppose 161*m - 99*m = 1144434 + 625046. Is m a multiple of 20?
True
Let r(q) = -q**3 - 1. Let k(t) = -t**3 - 88*t**2 - 40*t - 1. Let f(n) = k(n) - 4*r(n). Is 25 a factor of f(30)?
False
Suppose 0 = -w - 3*w + 36. Does 19 divide 242/7 + w/21 - 4?
False
Suppose 4*i + 79 = 79. Suppose m - 364 + 232 = i. Is 26 a factor of m?
False
Let r(z) = -z**3 + 5*z**2 - 5*z - 16. Let p be r(6). Does 14 divide (p/6)/(6/(-54))?
False
Let u be (1 + -7)*15/30 + 301. Let i(a) = -61*a + 19. Let k be i(-3). Let d = u - k. Is d a multiple of 16?
True
Suppose 766*d + 267567 = 821*d - 183213. Is 184 a factor of d?
False
Let s(d) = -d**3 + 55*d**2 + 277*d - 349. Is s(59) a multiple of 46?
True
Let z = 15619 + -7847. Does 67 divide z?
True
Let a(p) = -23*p**3 - p. Let v be a(1). Let f be 5*(v/20 - -2). Suppose 4*m - 66 = -3*t + 86, -228 = -f*t + m. Does 20 divide t?
False
Let x(t) = t**3 - 27*t**2 + 34*t - 80. Is 6 a factor of x(27)?
False
Let x(z) = 109*z**3 + z**2 + 2*z - 25. Let y be x(5). Suppose -1485 = -30*b + y. Is b a multiple of 14?
True
Suppose 6*t - 6 = 18. Suppose t*l + 0*l + 4*v - 884 = 0, -l + 196 = -4*v. Is 12 a factor of l?
True
Suppose -3*f + 6*p = p - 78, -45 = -2*f + p. Suppose -v - 2*y + 1 = -f, 4*v = -y + 88. Does 2 divide v?
True
Let j(c) = 8*c - 27. Let d be j(5). Suppose -2*g + 845 = d. Is g a multiple of 36?
False
Let h be (3 + (-19)/7)*-7. Let z be 4 + h/1 - -3*1. Suppose z*r - 64 = -3*r. Does 8 divide r?
True
Suppose -5*g - 340 = -2*f, 2*f + 5*g - 2*g = 356. Let b = 158 + f. Let j = -98 + b. Is 28 a factor of j?
False
Let r be 6 + (0 + 4)/(-4). Suppose 312 = x + 5*s, 2*x + 4*s = s + 645. Suppose 0 = -2*v - v - d + x, -r*v - 3*d = -549. Does 12 divide v?
True
Let w(t) = -3*t**3 - 164*t**2 + 331*t + 257. Is w(-57) a multiple of 2?
False
Let s be 3636/(-27) + ((-8)/6 - -2). Let r = 674 + s. Is 17 a factor of r?
False
Suppose 3*m + 9487 = 5*x - 0*m, -4*m = 2*x - 3826. Is x a multiple of 22?
False
Let a(b) be the third derivative of 3*b**7/280 - b**6/240 - b**5/120 - 7*b**4/6 - 9*b**2. Let o(p) be the second derivative of a(p). Does 38 divide o(-2)?
False
Let r(f) = f**2 + 7*f + 29. Let q be r(-8). Suppose 373 = 8*l + q. Does 7 divide l?
True
Let f = -3265 + 11944. Is f a multiple of 33?
True
Let l(a) = -256*a - 92. Let u be l(-24). Suppose 16*p - u = 860. Is p a multiple of 54?
True
Suppose 17*l - 20*l = 2598. Let m = -457 - l. Is m a multiple of 11?
False
Suppose 0 = -2*y - 3 - 95. Let v be y/(-21)*3*16. Suppose -12*i + v = -10*i. Is 14 a factor of i?
True
Suppose -3*j - 4*q = -5*q - 51320, -10 = 5*q. Is j a multiple of 241?
False
Let o = -1168 - -1198. Suppose -110 = -4*b - 6. Let r = o - b. Does 3 divide r?
False
Let l = -258 - -263. Suppose -36*p + 38*p = -4, -l*n + 754 = -2*p. Does 12 divide n?
False
Suppose 108 = 7*v - 396. Suppose v*p - 17388 = 51*p. Is p a multiple of 23?
True
Does 300 divide 6*40/3*(-49)/(294/(-1845))?
True
Suppose 3*o - 941635 = -19*o - 302755. Is o a multiple of 66?
True
Suppose 5*v - 29225 = -5*a, 33*v + 5*a - 17525 = 30*v. Is 18 a factor of v?
True
Let y(k) = -20*k - 27. Let j be y(-6). Let d = j - -26. Is d a multiple of 3?
False
Let y = 967 - 232. Let l = y + -267. Is l a multiple of 15?
False
Suppose 3*m - 4*q + 453 = 0, 5*m + 382 = -3*q - 373. Let o be -9 - (-100 - -4) - -2. Let f = o - m. Is 20 a factor of f?
True
Is ((7 - 2)/(-10)*12)/(27/(-11322)) a multiple of 17?
True
Let o(w) = w**3 - 7*w**2 + 23*w - 492. Does 2 divide o(20)?
True
Suppose 2*u - 3*w + 767 - 4437 = 0, 4*u = 2*w + 7308. Is u a multiple of 7?
False
Is 7 a factor of (3135/60 + 11)*76?
False
Let k be (2 - (-4 - -6))/(-4). Suppose k*l - 54 = -3*l. Suppose -4*u = -l - 10. Does 7 divide u?
True
Let i(a) = -2*a**3 + a**2 + 3*a + 6. Let n(g) = g**2 + 9*g + 2. Let z be n(-9). Let f be (-1)/z*(5 - -1 - 0). Is i(f) a multiple of 10?
True
Let y = 14531 + -6471. Is 94 a factor of y?
False
Let l = 11237 + -4238. Is 43 a factor of l?
False
Let h be (-32 - -4)/(0 + (-6)/(-93)). Let x = h + 467. Does 3 divide x?
True
Let s = -505 + 515. Let h(r) = 8*r**2 + 17*r - 90. Is h(s) a multiple of 16?
True
Suppose 5*t + 7*c - 6 = 8*c, -5*t = 2*c - 18. Suppose -4*i + 479 = t*j + 13, i + 2*j - 124 = 0. Is i a multiple of 33?
False
Let s(k) be the first derivative of -9*k**4/4 - 2*k**3/3 + 5*k**2/2 + 7*k + 15. Let m be s(-2). Let b = m + -51. Is b a multiple of 10?
True
Suppose -8*r + 3*n = -5*r - 15537, -r + 4*n + 5164 = 0. Suppose -r = -6*k + 30. Is k a multiple of 65?
False
Let g(u) = u**3 + 37*u**2 + 238*u + 12. Is g(-26) a multiple of 5?
True
Suppose 8*k - 13*k = 2*t + 1685, -3355 = 4*t - 5*k. Let b = t - -1231. Is b a multiple of 23?
True
Suppose -36 = -3*o - 21. Suppose o*v = -3*v + 88. Let t = v - 6. Does 4 divide t?
False
Let r be (97*-4)/2*(-48)/