0050) + -5 + 13/((-52)/20)?
True
Suppose -2050 = -2*r - 5*d + 175, -2*d + 1112 = r. Suppose -7*h = -2*h - r. Suppose -4*z = -3*b + h, 3*b - 2*z = -0*z + 222. Does 14 divide b?
False
Let s(g) = -6 + 3*g**3 - 2*g**2 + 4*g + 18*g - 12*g. Let p be s(6). Suppose p = 3*h + 3*h. Is 15 a factor of h?
True
Does 40 divide (127/(-3))/((-237)/170640)?
True
Let r be (2 - 12/5) + 3726/115. Suppose -5152 = r*o - 46*o. Does 19 divide o?
False
Is 15 a factor of (-36 - (-23 - -6)) + 8971?
False
Let m(c) = -c**3 + 16*c**2 + 258*c + 57. Does 7 divide m(23)?
False
Suppose -64*a + 7721 = -14999. Is 20 a factor of a?
False
Let s = -750 - -1448. Suppose 0 = -5*k + 3*x + 497 + 209, -5*k - x + s = 0. Is 14 a factor of k?
True
Let t be 16/32*0/(-4). Suppose -2*d + 0*d = j - 448, t = d + 3*j - 219. Is 75 a factor of d?
True
Suppose 8*r = 12*r - 3352. Suppose -r = 11*y + 372. Is 14 a factor of y/(-4) - 22/(-44)?
True
Let c(m) = -1. Let l(x) = x - 26. Let w(a) = -6*c(a) - l(a). Let b be w(28). Suppose -b*f - 78 = -10*f. Does 11 divide f?
False
Let t(z) = 2*z**3 - 7*z**2 - z - 10. Let k = -519 - -529. Is 32 a factor of t(k)?
True
Let g(k) be the second derivative of -k**4/2 + k**3/2 + 3*k**2/2 + 10*k. Let w be g(-1). Is 39 a factor of (-382)/w*(-18)/(-6)?
False
Let y(l) = l - 11. Let a be y(30). Suppose 21*u = a*u + 648. Is u a multiple of 27?
True
Let i be 14/(-21)*21/2. Let y(r) = -r**2 - 9*r - 10. Let t be y(i). Suppose -16 = -x + f, -x - 2*f - t = -14. Is x a multiple of 3?
False
Does 34 divide -5 - -20 - (-18120)/8?
False
Suppose 2*s = y - s - 26, 5*s = 25. Suppose y = -d + 45. Suppose -d*v + 171 = -141. Is v a multiple of 15?
False
Suppose 0 = 26*n - 32376 - 2022. Does 43 divide n?
False
Is (-26)/(728/420) + 29337 a multiple of 70?
False
Suppose 3*d + 6 - 3 = 0, 4*d = t - 4. Let w be -1*0/3 + 4. Suppose -n + w + 4 = t. Is n a multiple of 4?
True
Let g = 3939 - 671. Does 43 divide g?
True
Let b(w) = 619*w - w**2 - 616*w + 0*w**2 - 14. Let o be b(12). Does 21 divide 1/(8/(-32)*4/o)?
False
Suppose 4*x = 17010 + 5386. Does 22 divide x?
False
Suppose 0 = 2*f - 4*a + 59 + 157, -2*a + 2 = 0. Let h = f - -223. Does 13 divide h?
True
Suppose -87*r + 1425628 + 6030788 = 45*r. Does 307 divide r?
True
Suppose 5*w + 23701 = 4*m, -5*m + 4*w = -3*m - 11846. Let s be m + 3 + (-1 - 3). Does 30 divide s/90 - 4/(-30)?
False
Suppose -9*o + 576 = -72. Let s = -69 + o. Suppose 47 = c - 2*v + 13, -105 = -s*c + 3*v. Is 9 a factor of c?
True
Let c = 111989 - 57006. Does 34 divide c?
False
Let y(u) = -u**3 + 25*u**2 - 100*u + 2. Let m be y(20). Suppose o + 3*p + 2*p - 705 = 0, m*o + 3*p = 1424. Is o a multiple of 55?
True
Let f = -3388 + 5416. Is 6 a factor of f?
True
Suppose 0 = -5*a - 3*y + 3260, a - 6*y + 2*y - 629 = 0. Suppose 2*w - 5*z + 855 = 7*w, 3*z + a = 4*w. Is 24 a factor of w?
False
Suppose -4*b = 32, -41*o + b = -39*o - 56136. Is 37 a factor of o?
False
Suppose 78*s + 22296 = 196*s - 94*s. Is s a multiple of 34?
False
Let k(w) be the third derivative of 301*w**4/24 - w**3/2 - 2*w**2 + 39. Let g(v) = v. Let p be g(1). Does 37 divide k(p)?
False
Let o(a) = 8*a**2 + 2*a - 114. Is 18 a factor of o(-69)?
True
Suppose -5*z - 4 = -2*w, 4*z - 3 = 4*w - 11. Let c(f) = 11*f**w - 9*f + 9*f**2 - 14*f**2 + 9. Does 19 divide c(5)?
True
Suppose -4*u = 5*m - 838 - 1042, 3*m = -12. Does 19 divide u?
True
Let n = 162 - -7. Let k = 342 - n. Is 30 a factor of k?
False
Let t be (6 - 7)*(0 - -1). Let h be ((-1070)/(-25))/((-2)/(-20)*t). Let z = -306 - h. Does 29 divide z?
False
Suppose -r - 188 = -183, 0 = -q + 3*r + 4691. Is 11 a factor of q?
False
Suppose -2*n = -s - 4*n + 132, 291 = 2*s - 5*n. Suppose -g + 2*b = -3*b - 67, -4*b + 248 = 5*g. Let q = s - g. Is 43 a factor of q?
True
Suppose -28*c + 89*c - 296765 = 0. Is c a multiple of 15?
False
Let r(a) = -a**2 + 10*a + 26. Let y be r(12). Suppose j + 2*b + 0*b - 8 = 0, y*b = 4*j - 2. Is (-1304)/(-24) - ((-14)/(-6) - j) a multiple of 11?
False
Suppose 18*p = a - 5*a + 22440, 5*a - 28050 = -3*p. Is 15 a factor of a?
True
Let n(q) = 2*q**3 + q**2 + q + 1. Let b be n(2). Let f = 72 + b. Let i = f + -67. Does 9 divide i?
False
Suppose -2*x = -0*x, 5*x = -2*m + 6. Suppose 2*j - 15 = -m*j. Suppose -3*t + 443 = -o + 100, 3*o - 339 = -j*t. Is t a multiple of 19?
True
Let j = 32573 - 24748. Is j a multiple of 3?
False
Let i(h) = -524*h**3 - 8*h - 8. Is 35 a factor of i(-2)?
True
Suppose 19*a + 65781 = 3*w + 18*a, 4*a = 2*w - 43864. Is w a multiple of 29?
False
Suppose -4425*h - 1644 = -4437*h. Does 56 divide h?
False
Let w = -7 + 13. Let y(s) = 5*s**3 + 2*s + 14. Let l(f) = 9*f**3 + f**2 + 4*f + 27. Let u(o) = 6*l(o) - 11*y(o). Is u(w) a multiple of 20?
True
Let t = 55 - 37. Let k(y) = t*y**2 - 70*y + 67*y + y**3 - 25 - 2. Is 9 a factor of k(-18)?
True
Suppose -2*l + 684 - 3215 = -v, v + 7*l - 2495 = 0. Does 29 divide v?
True
Suppose 521*h + 676 = o + 526*h, -o = -3*h - 644. Does 10 divide o?
False
Let p(s) = 5*s - 3*s - 20*s + 2*s**2 - 14*s + 126 - 8*s. Is 18 a factor of p(34)?
False
Let d = -461 + 457. Is -8 + (5 - -935) + d a multiple of 9?
False
Suppose -2*y - 6*c + 5*c = -1017, 0 = 3*y + 2*c - 1527. Let z = y - 97. Is 10 a factor of z?
True
Let o(a) = a**3 - 81*a**2 - 36*a + 886. Is 14 a factor of o(90)?
True
Suppose 301*v - 100 = 305*v. Let r = v - -235. Does 38 divide r?
False
Let w = -86743 - -122608. Does 79 divide w?
False
Let c be 14 - 3 - (2 - 2). Suppose -221*j + 162*j = -826. Suppose 3*s - 432 = x, -c*s - 423 = -j*s + 4*x. Is 32 a factor of s?
False
Is ((-66)/(-14))/(60/874580) a multiple of 103?
False
Suppose -472 + 8 = 8*u. Let f = u - -75. Suppose -405 = -20*h + f*h. Is h a multiple of 21?
False
Suppose -2*a = -3*q - q + 28, -26 = -4*q + 3*a. Suppose 0 = q*l - 4*l - 12. Suppose 2*m - l + 4 = 3*f, -3 = 3*m - 5*f. Is m a multiple of 4?
True
Suppose -34*o - 10 = -39*o. Let z(r) = 23*r + 28*r + 2*r**o - 52*r + 4 + r**2. Is z(-9) a multiple of 16?
True
Suppose -16*s + 21*s + 2870 = 0. Let r = s - -884. Suppose 0 = -5*a + r - 65. Is a a multiple of 21?
False
Let s(m) = 179 - 2*m**2 - 154 + 6*m**2 + 11*m. Does 18 divide s(-7)?
True
Let u(j) be the second derivative of 5*j**4 + 5*j**3/3 - 2*j**2 + 154*j. Is 34 a factor of u(3)?
False
Let l be (24/14)/((-20)/70). Let r(x) be the third derivative of x**5/20 - x**4/24 + 8*x**3/3 + 3*x**2. Is r(l) a multiple of 26?
True
Suppose -s + 7640 = -o, -5*s = -6*s + 4*o + 7628. Is s a multiple of 19?
False
Suppose 108 + 52 = -4*a. Let n = a + 43. Suppose -83 = -2*r + 5*x, -n*r + 132 = 2*x - 7*x. Does 9 divide r?
False
Let n(x) = 153*x + 41. Let l be n(8). Suppose 7*j = -271 + l. Does 7 divide j?
False
Suppose -831*o - 610368 = -919*o. Is 68 a factor of o?
True
Let y(h) be the first derivative of 4 + 3*h**2 + 4/3*h**3 + h. Is y(-5) a multiple of 38?
False
Suppose -2*w = -l - 17, 2*l + 2*w + 15 - 11 = 0. Let b(h) = -h**3 - 4*h**2 - 13*h - 14. Does 14 divide b(l)?
True
Suppose 4*b + 635 = 9*b. Suppose -b = -2*u - 719. Is u/(-5) - 20/(-25) a multiple of 12?
True
Let b be (532 + -527)*12/(-10)*-2. Suppose -a - 19 - 95 = 2*j, 0 = a - 5*j + 107. Let c = b - a. Is c a multiple of 20?
False
Let u(y) = -y + 10. Suppose 2*k = -2 - 6, -4*m - 32 = -k. Let z be u(m). Is 3 a factor of z/1 + (0 - 0)?
False
Is 766/2681 - 191140/(-7) a multiple of 74?
True
Let a(f) = 14*f - 22 - f**2 - f**2 - 3*f + f**2. Let v be a(11). Is 3/2 - 1617/v a multiple of 13?
False
Let b = -1436 + 3324. Suppose -8466 + b = -11*l. Is 26 a factor of l?
True
Let a(v) = -v**2 + 3*v + 23. Let g be a(6). Suppose -w = 3*b - 0*w - 21, -4*b + 9 = -g*w. Suppose b*j - 16 = 2*j. Is j a multiple of 4?
True
Suppose 2557 = x - 4*k, x - 13*k - 2537 = -14*k. Is x a multiple of 7?
True
Let l be (-20)/2 + 1 + 6. Let z(c) = 72*c**2 + 8*c + 7. Does 31 divide z(l)?
False
Suppose -24*a = -26*a - 806. Let b = a + 415. Is b a multiple of 5?
False
Suppose 18*b - 23*b + 180 = 0. Suppose -b*c + 33*c = -237. Let h = c - 59. Is h even?
True
Let l = 10 + -16. Let q be (-4)/l - ((-16120)/(-12))/(-10). Suppose 5*z + q = 5*x, 2*z = x - 2*x + 36. Does 5 divide x?
True
Is (10 - (-2 - -10))/((-6)/(-3234)) a multiple of 7?
True
Let b(h) be the first derivative of 5*h**4/12 - 25*h**3/3 + h**2 - 2. Let z(d) be the second derivative of b(d). Does 18 divide z(23)?
True
Let b = -4 + 6. Supp