 = 3*o - 2*i - 6798. Does 13 divide o?
True
Suppose 0 = -3*s - 3*z - 8 - 1, 4*s + z + 18 = 0. Is -10*(s + 4) + -5 + 424 a multiple of 39?
True
Suppose 4*t - 5*i + 9 = -16, -4*i + 20 = -t. Suppose 3*d - 2*x - 310 + 82 = t, 3*d - x = 231. Suppose -d*z = -80*z + 174. Is 11 a factor of z?
False
Let c be 13/(-13)*(1 - 1). Suppose -2*a + 2254 + 496 = c. Does 55 divide a?
True
Let r be (-12)/10*(-23)/((-414)/(-60)). Suppose -3*s + 5*s + 358 = 4*y, 2*y - r*s = 176. Does 5 divide y?
True
Let y be ((-2)/2 + 29)*216/32. Does 7 divide y/(-36)*204/(-9)?
True
Let n(s) = -20*s - 8. Let b be n(7). Let z(c) = c**3 - 11*c**2 + 21*c + 43. Let v be z(11). Let l = v + b. Is 9 a factor of l?
True
Suppose -s + 2 = 4*o, -4 + 2 = 2*s + 2*o. Let c(u) = -6 - 3*u + 40*u**2 + 0*u + 2*u. Is 26 a factor of c(s)?
True
Suppose -22*v - 12 = -25*v. Suppose -4*u + o = -1017, v*u - 1348 = 2*o - 326. Suppose 733 - u = 6*g. Is g a multiple of 10?
True
Suppose 4*h - 6*n = 202134, 4*h + 6*n - 202167 = n. Is h a multiple of 15?
False
Is (-361)/38*((-2373)/3 - -3) a multiple of 111?
False
Suppose 0 = 3*i - 3*b - 12, -4*i = -3*b - 20 + 6. Suppose 4*n + 14 = 5*r + 5*n, 3*r = -i*n + 14. Suppose 6 = 3*l, 4*l - 382 = -r*u - 38. Does 24 divide u?
True
Let u be ((-28)/5 - 8/(-20))*-255. Is u/10 + 52/130 a multiple of 18?
False
Let b be (4/((-160)/(-30)))/(6/32). Let a be (180 - 1) + (-2)/(-1). Suppose -b*p - a = -965. Is 14 a factor of p?
True
Let d(u) = -u + 1. Let b(z) = 13*z - 2. Let m = -71 + 70. Let t(k) = m*b(k) + 5*d(k). Does 11 divide t(-6)?
False
Suppose -51*t + 16160 = -11*t. Suppose -s = 5*o - 309, -4*s + t + 740 = -3*o. Is 6 a factor of s?
False
Let y(q) = 2*q**2 - 34*q - 6. Let r(b) = 6*b**2 - 100*b - 20. Let d(f) = -3*r(f) + 10*y(f). Is d(22) even?
True
Suppose 24*q - 178172 = -6*b + 23*q, -q + 59388 = 2*b. Is 128 a factor of b?
True
Is 103 a factor of 2/(15/12*(-9)/(-53730))?
False
Suppose 2*a + b = 6*b + 39, -5*a = -3*b - 107. Suppose 27*h - 240 = a*h. Suppose 39*t - 43*t = -h. Is 5 a factor of t?
False
Let t(k) = -18*k - 51. Let y be t(-2). Let b(a) = -43*a - 51. Is b(y) a multiple of 54?
True
Let a = -110 + 110. Suppose a = -6*k + 864 + 858. Is 9 a factor of k?
False
Suppose -1492 = -4*j - 3*t, -3*j - 17*t + 22*t + 1090 = 0. Suppose -5*w = -9*x + 10*x - j, 4*x - 1480 = -3*w. Is x a multiple of 37?
True
Suppose 0 = -7*m + 2*m + 4*p + 254, 0 = m + p - 49. Let y = m - 59. Let n(g) = -g**3 - 7*g**2 + 13*g. Does 16 divide n(y)?
False
Let v(t) = t**3 + 8*t**2 + 3*t + 23. Let d be v(-8). Let x(o) = -802*o**3 - 6*o - 5. Does 11 divide x(d)?
True
Let l(d) = -d**2 + 35*d + 14. Let p be l(10). Suppose 3*q + 2*h = -p, 3*q = 8*q + 5*h + 440. Let b = q + 154. Is b a multiple of 21?
False
Let h(g) = 6*g**2 + 12*g + 29. Let c be h(-6). Let o = 324 + c. Does 15 divide o?
False
Let n = 126 - 141. Let r be 22/55*n/(-3). Suppose o + 831 = 4*y, y - 3*o - 184 = r*o. Is 19 a factor of y?
True
Let m(k) = 4*k - 18. Let a be m(6). Suppose -4*x + s + 19 = 0, 0*s - 2*s - 6 = 0. Does 4 divide a/(-6)*x*42/(-4)?
False
Suppose 2*q + 7*i - 4*i = 443, -1088 = -5*q - i. Let x = -148 + q. Is 49 a factor of x?
False
Let b(w) = 2*w - 7. Let j(p) = -5*p + 22. Let r = 12 + -18. Let z(i) = r*j(i) - 21*b(i). Is z(-4) a multiple of 9?
True
Let j(u) = 27*u + 14. Let i be j(6). Suppose 5*h - 10 = 0, -f + 6 = -5*h + 13. Suppose 7*y - f*y = i. Does 6 divide y?
False
Suppose 0 = -27*i + 165817 + 14003. Is i a multiple of 111?
True
Let i = -47004 - -72564. Is 8 a factor of i?
True
Suppose -18400 = 2*k - 18*k. Suppose z + 2*a = 230, 3*z + 5*a = -2*z + k. Does 23 divide z?
True
Suppose -3*c - c = -q + 1368, -2*q - 4*c = -2784. Suppose 0*y - 5*y = 2*l - 2753, l - q = -5*y. Is l a multiple of 37?
True
Let f(o) = -o**2 + 6*o - 6. Let b be f(0). Let q(j) = 13*j**2 + 66*j + 12. Does 12 divide q(b)?
True
Let q(m) = 112*m**2 + 3*m + 7. Let y(l) = -l**2. Let v(g) = q(g) - 2*y(g). Let f be v(-3). Suppose -13*t + f = -9*t. Is 16 a factor of t?
True
Let v = 196 + -37. Suppose 11*h = 14*h + v. Let k = 95 + h. Does 6 divide k?
True
Suppose -5*n - 4*y + y + 5738 = 0, -5*n = 10*y - 5780. Is n a multiple of 22?
True
Let b = 2 - -40. Is 29 a factor of (40/6)/(4/b)?
False
Suppose 2*i - 2*n - 101008 = 0, -201*i + 199*i + 4*n = -101006. Is i a multiple of 91?
True
Let k(a) = -a**3 - 3*a + 4*a + 175 - 4*a**2 + 5*a**2. Let z(n) = -95*n. Let y be z(0). Is 35 a factor of k(y)?
True
Let l = -879 - -6762. Does 53 divide l?
True
Suppose -i - 4 = -5*m, 5*m = -9*i + 7*i - 8. Suppose 2*k - 27 - 55 = 3*n, 4*k + 3*n - 182 = 0. Let g = k - i. Is g a multiple of 16?
True
Let l = -5 - 12. Let o be (3 + -1)/((-2)/l). Suppose -2*y + 27 + o = 0. Is y a multiple of 4?
False
Let b be ((-1057)/119 - -9) + 106/(-34). Does 18 divide (-2520)/b + (7 - 1)?
True
Let i = 44 - 68. Let j = 44 + i. Let m = j - -75. Is m a multiple of 9?
False
Suppose 2*o + 6 = 20. Suppose -o*n = 2*n + 288. Let v = n - -42. Is 2 a factor of v?
True
Let v(z) = -23*z - 5. Let w(c) = -45*c - 11. Suppose -3*o - 4*n = -43, -2*n + 4*n = o - 1. Let k(t) = o*v(t) - 4*w(t). Is 13 a factor of k(-1)?
True
Let r = 62 - -1357. Suppose 10 = 2*y, 2*m + y - r = 6*y. Is 37 a factor of m?
False
Let o(a) = 53*a**2 + 5*a + 3. Suppose -95*r + 92*r = 3. Is 2 a factor of o(r)?
False
Suppose -5*x = -24670 - 19110. Does 98 divide x?
False
Let v(o) = 22*o**2 + 214 - 764*o - 9*o**2 + 788*o. Is v(-11) a multiple of 89?
False
Let s = 19103 - 14565. Does 10 divide s?
False
Suppose 5*y - 101 = -2*f, -f = -10*y + 8*y + 44. Suppose 3450 = -y*g + 36*g. Does 23 divide g?
True
Let o be 14/(-8)*2*(3 - 5). Suppose o*r - 412 - 127 = 0. Let z = 91 - r. Is z a multiple of 3?
False
Does 13 divide (8622/5)/(90/225)?
False
Suppose -10*q = -6*q - 16. Suppose -817 = -q*v - 221. Let a = v - 78. Is 15 a factor of a?
False
Let s(y) be the first derivative of 11*y**2/2 + 11. Let i be s(2). Suppose -2*b + i = -104. Does 21 divide b?
True
Suppose 5*j - 33965 = 5*c, 0 = 2*j - 10*c + 7*c - 13581. Suppose 0*h - 6*h = -j. Is 11 a factor of h?
True
Is 122 a factor of (-7290)/(-234) + -31 - (53922/(-13) - 0)?
True
Suppose 12 + 0 = -3*l. Let z be 1 - ((l - -2) + 2). Is (1 - -1) + z*133 a multiple of 45?
True
Let c = -21215 + 27181. Is c a multiple of 8?
False
Suppose 0 = 2*t + 5*f + 7 + 4, -2*f - 12 = -3*t. Suppose -2*y - l + 1 = t*l, -l = -3*y + 7. Suppose -4*b - 8 = -0, -y*a - 3*b + 154 = 0. Is a a multiple of 16?
True
Let k(u) = 4*u**2 + 14*u - 9. Let i be k(12). Let y = -4 + 13. Suppose -y*r + i = -21. Is 21 a factor of r?
True
Let r(w) be the third derivative of -w**6/120 + w**4/4 - w**3 - 2*w**2. Let b = -883 - -879. Is r(b) a multiple of 10?
False
Is (176/(-24) + 20)/(-1 + 251/249) a multiple of 19?
True
Let y(b) = b**2 - 9*b + 12. Let v be y(8). Suppose -860 = -2*a + v*w, -3*a - 3*w - 425 = -4*a. Suppose 0*j - a = -5*j. Is 26 a factor of j?
False
Let i = 29545 + -14698. Does 84 divide i?
False
Let m be (-1)/(65/(-20) - -3). Suppose 69 = m*k - k. Suppose -2*q = 3*p - 64, q + 3*p + k = 2*q. Is 6 a factor of q?
False
Let l be 204/(-14) + 2*2/7. Let v(d) = -d**3 - 12*d**2 + 22*d - 7. Does 13 divide v(l)?
False
Let c(b) = 18*b**2 + 6*b + 2. Let h = -36 - -35. Let o = -3 - h. Is 38 a factor of c(o)?
False
Let q(r) = 4*r**3 + 5*r**2 - 2*r + 7. Let k be q(-5). Let c be -125*(-99)/45*-2. Let j = k - c. Does 17 divide j?
False
Let j(h) = 2. Let g(s) = -22*s + 22. Let y(k) = -g(k) - 12*j(k). Let f be y(10). Is 29 a factor of (-4)/(-3)*f*(-4)/(-16)?
True
Let g(h) = 8*h + 88. Let j be g(-11). Suppose -9*m - 5*m + 420 = j. Does 30 divide m?
True
Let h(n) = 2*n**2 + 2*n - 4. Let t(g) = g**3 + 13*g**2 - 3. Let u be t(-13). Let q be h(u). Suppose 11*o = q*o + 339. Does 45 divide o?
False
Suppose -5*f = -2*x - 22887, -4*x - 6*f = -5*f + 45741. Is x/(-14) + (-69)/7 + 9 a multiple of 29?
False
Let u = 104 + -128. Is 6*(-54)/u*8 a multiple of 35?
False
Let o be 0/((-4)/(-8)*-2). Suppose o = 2*p - 0*m - m - 51, 4*p + 5*m - 109 = 0. Suppose 6*q = 416 - p. Is q a multiple of 13?
True
Let a(i) = 18*i**3 - 7*i**2 + 8*i + 5. Let r be a(4). Suppose p + 4*k - 252 = 0, 5*p - r - 117 = 2*k. Is 12 a factor of p?
True
Let q(w) = -111*w - 29. Let t(a) = -51*a - 12. Let k(i) = -2*q(i) + 5*t(i). Let z(s) = s**3 + 4*s**2 + 5*s + 2. Let x be z(-3). Is k(x) a multiple of 26?
