
Suppose 2*f - 30 = -12. Let o(h) = 29*h - 57. Does 34 divide o(f)?
True
Let c = 17 - 14. Is 19 a factor of (0 - -1)*(-3 - -17*c)?
False
Let z(d) = 2 - d - 27*d**2 + 11*d**2 + d**3 + 17*d**2. Suppose 3*w + 6 = -4*q, -q - 17 = -4*w + 2*q. Does 9 divide z(w)?
False
Let q = 88 - 51. Let u(c) = 37 + 6*c - q. Is 6 a factor of u(3)?
True
Suppose 113 = 5*w - 127. Does 21 divide 105/(-6)*w/(-5)?
True
Let d(t) = 3*t**2 + 13*t - 23. Is d(-8) a multiple of 5?
True
Let f = -20 - 14. Is -1 - 3/((-18)/f)*-6 a multiple of 6?
False
Let t(i) = -4*i - 24. Let p be t(-16). Let h = 26 - p. Is 2/h + 4296/84 a multiple of 11?
False
Let j(o) = -o**3 + o**2 - o + 1. Let b be j(3). Let w(a) = -30*a - 8. Let t be w(-2). Let g = t + b. Is g a multiple of 25?
False
Let w(h) = -87*h. Let p(u) = 88*u - 1. Let t(f) = -3*p(f) - 2*w(f). Does 19 divide t(-3)?
False
Let u = 7 + -6. Let c be 18*u*(-21)/(-14). Suppose 67 = 2*x - c. Does 16 divide x?
False
Suppose -8*m = -51*m + 172. Let s(v) = -1 + v**2 + 5 + 1. Is s(m) a multiple of 6?
False
Suppose i + 4 + 4 = 0. Let g be (10/i)/((-1)/4). Is ((-4)/g)/((-2)/25) a multiple of 2?
True
Suppose 3*a - 27 - 366 = 0. Does 15 divide a?
False
Let p(s) = 9*s + 39. Let d(g) = 4*g + 20. Let u be ((-9)/(-6))/(6/(-8)). Let b(k) = u*p(k) + 5*d(k). Is b(0) a multiple of 6?
False
Suppose 54*m = 61*m - 3696. Is 6 a factor of m?
True
Let c be 5 + -7 + 4 + -98. Let b = 74 - c. Is 36 a factor of b?
False
Suppose 4*x = 13 + 15. Let y be 8/(-28) - 124/x. Is 8 a factor of ((-24)/(-5))/(y/(-60))?
True
Is 18/4 + 185222/148 a multiple of 9?
False
Let l(r) = 4*r + 3. Let u be l(0). Is (-1)/(((-1)/u)/(91/21)) a multiple of 5?
False
Let f(s) = 19*s**2 + 4*s + 1. Let b(l) = l**2 - l - 1. Let z(t) = -3*b(t) - f(t). Let k(v) = -v**2 - v + 1. Let w(q) = 2*k(q) - z(q). Is w(1) a multiple of 11?
False
Let h = 28 - 32. Is 11 - (h + 4 - 3) a multiple of 14?
True
Let a = 113 - 96. Let h = 46 + a. Is 13 a factor of h?
False
Let j(o) = -48*o - 18. Let k be -7 + 0 + (-1 + 2)/1. Is 28 a factor of j(k)?
False
Let v = 1349 - 955. Is 3 a factor of v?
False
Let z(n) be the third derivative of 5*n**4/8 + 5*n**3/6 + 11*n**2. Is z(4) a multiple of 12?
False
Let x = -4 - -1. Let k = 33 + -45. Is (-762)/k - x/6 a multiple of 15?
False
Let l(y) be the second derivative of -2*y**3/3 - y**2 + 5*y. Let a be l(-2). Let k = 10 + a. Is k a multiple of 16?
True
Let f be 2/(-6) - (3 - 166/(-6)). Let v = 1 - f. Is v a multiple of 16?
True
Let u = 143 - -529. Is 96 a factor of u?
True
Does 10 divide (599/5 + 1/5)*10?
True
Let s be 2/(2/7)*(1 - 0). Let f(t) = 4*t**2 - 20*t + 19. Is f(s) a multiple of 8?
False
Suppose -2*b - 4*b = -1248. Suppose 5*u - b = -73. Is u a multiple of 9?
True
Let l(o) = -18*o. Let s be l(-1). Let f = 81 + -177. Is f/s*30/(-8) a multiple of 20?
True
Let i(u) be the first derivative of u**5/20 - u**4/3 - 3*u**3/2 + 4*u**2 + u + 1. Let d(m) be the first derivative of i(m). Is d(6) a multiple of 13?
True
Let n(v) be the third derivative of -v**6/120 + 4*v**5/15 + v**4/12 + v**3/3 + 7*v**2. Is n(16) a multiple of 5?
False
Suppose -1030 = -12*d + 10226. Does 16 divide d?
False
Let p(m) = -103*m + 7. Let d be p(-3). Suppose -8*u + 5*k + d = -5*u, -k = 2*u - 189. Is 12 a factor of u?
False
Suppose -110 = 3*a + i + 2, i + 34 = -a. Let h = 59 + a. Suppose -k = 5*o + 3*k + 1, 5*k + h = 0. Is o a multiple of 3?
True
Let x(q) = 1288*q. Let s be x(1). Does 11 divide s/21*(3 - (-3)/(-2))?
False
Let x be (-8414)/(-10) - (-4)/(-10). Suppose 0 = 4*q - x + 129. Does 37 divide q?
False
Suppose -2*y + 2777 = 5*z, 5*z + 3648 = 3*y - 455. Is 8 a factor of y?
True
Let l be (-40)/1 - (1 + 1). Let n = 75 + l. Let x = n + -15. Is x a multiple of 3?
True
Let d(o) = -29*o + 6 - 3 - 45*o - 1. Let l be d(1). Does 14 divide ((-6)/(-9))/((-3)/l)?
False
Suppose -5*m = -4*m + 35. Suppose 19*x + 40885 = 6*x. Is 24 a factor of x/m - 1/(-7)?
False
Let r(l) be the second derivative of l**5/20 - 3*l**4/4 + 4*l**3/3 + 4*l**2 - 12*l. Does 8 divide r(8)?
True
Let f(t) = -t**2 + 37*t + 15. Does 51 divide f(18)?
True
Suppose -75*q = -118*q + 27434. Does 46 divide q?
False
Let f(l) be the second derivative of 19*l**4/6 + l**3/6 + l. Suppose 0 = p - 0*p - 1. Is f(p) a multiple of 14?
False
Suppose k - 56 = -3*k. Let p = k + -9. Suppose -3*o = -4*t - 0*o + 42, 2*o = -t + p. Does 5 divide t?
False
Suppose -139 = -12*u + 701. Is 7 a factor of u?
True
Is 11 a factor of -3*(27580/21)/(-10) - -2?
True
Suppose -199*u + 176*u + 57960 = 0. Is u a multiple of 40?
True
Is 71 a factor of 2 - 13 - (15 + -21) - -447?
False
Let h = 2 - -22. Is ((-13)/4)/((-3)/h) a multiple of 13?
True
Suppose 104 = p + 31. Suppose m - 91 = -m - 5*t, t = 2*m - p. Let l = m - 22. Is l a multiple of 16?
True
Let m(f) be the third derivative of 7*f**4/6 - 13*f**3/2 - 19*f**2. Does 35 divide m(6)?
False
Does 28 divide 200/30*15*(-126)/(-15)?
True
Let h = 597 - -638. Is 13 a factor of h?
True
Let b(y) = -y**3 - 6*y**2 + 9*y + 5. Let a be b(-9). Let w = a - 87. Is w a multiple of 10?
True
Let f be 0/1 - (2 + -9 + 3). Let l = -32 + 53. Let k = l - f. Is 17 a factor of k?
True
Let y = -314 + 208. Is 2 - ((-10)/(-5) - (1 - y)) a multiple of 14?
False
Suppose -3*j + 0 + 9 = 0, 5*w - 3*j + 9 = 0. Suppose w*c = -4*c + 8. Suppose 0 = c*n + 1 - 61. Does 15 divide n?
True
Let k = 215 - -874. Suppose -9*f + 2151 + k = 0. Does 26 divide f?
False
Suppose 0 = -2*s + 8 + 12. Let o be (-69)/(-15) - (-4)/s. Suppose 28 = 2*r + o*u - 7*u, -2*r = -u - 29. Does 8 divide r?
False
Suppose -300*u - 684 = -306*u. Is u a multiple of 5?
False
Let x = 412 - 107. Let b = x - 198. Let k = -65 + b. Does 21 divide k?
True
Let o = -255 - -752. Suppose -3*a + o = -58. Suppose 4*x - a = -53. Does 7 divide x?
False
Let s be (-1)/2 - 4/((-40)/525). Does 10 divide (1 - -2) + s + -3?
False
Let t(w) = 105*w - 86. Is 34 a factor of t(6)?
True
Let n(b) = -47*b**2 + 21*b. Let t be n(9). Is 9 a factor of (t/36)/((-1)/2)?
False
Let q = -16 + 24. Suppose -7*d + q*d - 71 = 0. Is d a multiple of 12?
False
Let h be 4 - 2 - -1 - -2. Let v = 3 + h. Suppose -226 + 890 = v*i. Is 11 a factor of i?
False
Let b be -1*(-2 - 6)/2. Let p(v) = -v**3 - v**2 + 3*v - 23. Let o be p(-5). Suppose o = s + b. Is 19 a factor of s?
False
Let g(r) = -17*r + 25. Let q be g(4). Let j = q - -49. Does 6 divide j?
True
Let w = 465 + -12. Is w a multiple of 22?
False
Let s be 3 + (-1 - -1) - -1. Suppose s*o - 94 = -4*b + 6*b, -5*o + 5*b = -105. Does 13 divide o?
True
Suppose -s + 5 - 17 = 0. Let i be 3 + 78/(s/(-4)). Let v = -11 + i. Does 6 divide v?
True
Let n = 15 - 11. Suppose n*p + p + i + 1950 = 0, 2*i + 10 = 0. Is 4/20 - p/5 a multiple of 33?
False
Suppose 13*f + 372 = 5949. Does 13 divide f?
True
Let q(w) = -13*w - 19. Let g be q(5). Let n = g + 93. Is n a multiple of 9?
True
Suppose -179*x + 1090 = -177*x. Does 4 divide x?
False
Suppose -11*c + 16 = -7*c, d - 828 = -2*c. Does 41 divide d?
True
Does 30 divide 1 - (-1 + 0) - 4*-47?
False
Let w(j) = j**3 + 17*j**2 - 14*j + 7. Does 29 divide w(-14)?
False
Suppose -13*j - 81 + 315 = 0. Is 2 a factor of j?
True
Let u(d) = 6*d**3 + 4*d**2 - 4*d - 1. Does 13 divide u(3)?
False
Let c = -1662 - -2214. Is 24 a factor of c?
True
Suppose 6*w - 7*w = 6. Is (-4 - w) + -4 - (-147)/1 a multiple of 29?
True
Suppose 2*v + 3*x + 5 - 10 = 0, -3*v - 1 = -4*x. Is 37 a factor of (-2 - v)/(12/1784*-2)?
False
Suppose 3*n = 5*b + 416, 4*n - 4*b - 13 - 547 = 0. Is n a multiple of 29?
False
Suppose 369*r + 1664 = 385*r. Is r a multiple of 13?
True
Suppose 262*x - 258*x + 2*w = 1226, 1227 = 4*x + 3*w. Does 9 divide x?
True
Suppose 0 = 2*u - 5*l - 438, 5*u - 1033 = 13*l - 16*l. Is 24 a factor of u?
False
Suppose 3*p = -3306 - 54. Let f = 365 + p. Is f/(-25) - (-8)/10 a multiple of 13?
False
Is (-40)/15*12/(-8) a multiple of 4?
True
Let f(c) be the third derivative of -c**6/120 + c**5/12 + c**4/4 - 5*c**3/6 + 2*c**2. Let l be f(6). Is (-178)/l + 4/10 a multiple of 10?
False
Suppose 10*i - 14 = 26. Suppose -2*m = -10, 2*m = -i*p + 6 + 12. Suppose -z + 102 = p*n, -4*n - 5*z + 10*z = -204. Is n a multiple of 17?
True
Let c(u) = -10*u**3 - u**2 + 3*u. Let p be c(-3). Suppose 11*d = 8*d + p. Is d a multiple of 14?
True
Let g = 1977 - -381. Does 16 divide g?
False
Let j = -490 - -901. Is 48 a fact