
Is 9 a factor of (-4509)/334*226/(-3)?
True
Let n = -755 - -1463. Is (n/16)/((-2)/24*-1) a multiple of 9?
True
Suppose 58 = z - 13. Suppose 20 - z = -o. Suppose -3*f + o - 11 = d, 3*d = -f + 8. Is f a multiple of 7?
True
Suppose -4*p + 3*t - 32 = 19, 2*t = p + 14. Let l be -1 + 7 + p/((-30)/(-5)). Suppose 0*r + 61 = f - 2*r, -12 = -l*r. Is f a multiple of 8?
False
Let n be (-15)/2*-2*1. Suppose 0 = -5*v + n + 110. Does 16 divide v?
False
Let v be 36 + 21/(-9) + (-6)/9. Suppose 128 = f + v. Is 13 a factor of f?
False
Let p(u) = -2112*u + 13. Let h be p(-3). Let j be 2/(-5) + h/35. Suppose j = 3*r - 0*r + 2*b, 2*b = 2*r - 114. Is 7 a factor of r?
False
Suppose 5*a - 180 = -5*a. Is 49 a factor of (-4)/a + ((-13118)/(-63) - 12)?
True
Let u(j) = 2565*j + 703. Does 13 divide u(3)?
True
Let j(a) = 11*a**3 - a**2 - 28*a + 176. Is 12 a factor of j(8)?
True
Let a(k) = -k**3 - 7*k**2 + 9. Let c be a(-7). Let q(j) be the second derivative of 5*j**3/6 - 6*j**2 + 364*j. Is 21 a factor of q(c)?
False
Let j be 192*-11*(7 + -5). Is 10/25 + j/(-15) a multiple of 16?
False
Let a be 112/(-35) + (-8)/10. Let b(k) = 29*k**2 + 5. Is 14 a factor of b(a)?
False
Suppose 2*j = 4*w - 85 + 1, 4*w = j + 82. Suppose -296 = w*q - 22*q. Suppose 3*n + n - 306 = g, 0 = 2*n + 2*g - q. Is 11 a factor of n?
False
Let c(x) = -x - 10. Let q be c(0). Let k = q + 9. Is 4 a factor of 5 - (7/k + 3)?
False
Let h(l) = -4*l**3 + 4*l**2 - 87*l + 1. Does 12 divide h(-25)?
True
Suppose 165*g + 25*g = 29*g + 2081569. Is g a multiple of 14?
False
Let w(p) = 13*p**2 + 34*p + 2. Suppose -5*v = -5*u - 0*u + 25, 2*u = -5*v - 60. Does 13 divide w(v)?
True
Let f = 366 - 361. Suppose 4*n + 0*n = -s + 2012, f*n - 2*s = 2502. Is n a multiple of 32?
False
Let y(p) = p**3 + 18*p**2 - 45*p + 175. Is 25 a factor of y(-20)?
True
Let l(q) = 4*q**2 - 3*q - 7. Let d be l(-2). Suppose -3*w = -0 - d, g - w = 79. Let s = g - -52. Is 13 a factor of s?
False
Suppose 0 = 32*s - 31*s - 5*p - 312, 5*s + 3*p - 1588 = 0. Does 10 divide s?
False
Let t = -78 - -245. Suppose t*b - 161*b - 1926 = 0. Does 36 divide b?
False
Let f(a) = 2*a - 13. Let s be f(9). Suppose 2*r - s*p - 6 = -3*p, -4*p + 12 = 0. Suppose r - 33 = -3*z. Does 3 divide z?
True
Let m = 2766 - -7109. Is 25 a factor of m?
True
Suppose 51*b - 306*b = -10081680. Is 28 a factor of b?
True
Let u be 7*16 - (23 - 30). Suppose 5*a = 125 - 10. Let f = u - a. Is 15 a factor of f?
False
Let t = -2837 - -6599. Is t a multiple of 200?
False
Let f(n) = 16580*n**2 - 10*n. Let b be f(1). Suppose -826 = 32*d - b. Is 12 a factor of d?
True
Suppose -9101946 = -439*y + 145*y. Is 194 a factor of y?
False
Let i be (4 + ((-21)/6 - 2))*-10. Let m = i - 54. Does 4 divide 6/m - 522/(-13)?
True
Let f(g) = -117*g + 2. Let i be f(2). Let z = -115 - i. Is z a multiple of 11?
False
Suppose 3*x = -g - 8 + 4, -3*x - 9 = 0. Is (3396/10)/6*g a multiple of 15?
False
Suppose -64*g = 25*g + 2*g - 609518. Is g a multiple of 63?
False
Suppose 0 = 75*w - 45662 + 11612. Does 3 divide w?
False
Suppose 2*y - 1244 = -3*k - k, -3*y = -5*k + 1577. Let l = 366 - k. Is l even?
False
Suppose 4*g + 166175 = u + 4*u, 33156 = u + 15*g. Is u a multiple of 209?
True
Suppose 0 = -2*t + 3*f - 7*f, -f + 3 = 2*t. Let q be ((-6)/(-18))/((-57)/(-27) - t). Suppose 0*j = j - y - 42, -q*j + 4*y = -128. Is 7 a factor of j?
False
Let i = 46 + -42. Let z = i + -1. Is z/18 - (-5831)/42 a multiple of 19?
False
Let s = 2380 - 1367. Is 5 a factor of s?
False
Let m = -111 + 113. Suppose -4*n = -i - m*i - 398, -n = -2*i - 102. Let o = 109 - n. Does 7 divide o?
False
Let o(q) = 152*q**2 + 2*q + 2. Let i(d) be the first derivative of -151*d**3/3 - d**2 - d + 43. Let j(m) = -3*i(m) - 2*o(m). Does 25 divide j(1)?
True
Let r(g) = 7*g - 30. Let c(h) = -8*h + 30. Let o(a) = -7*c(a) - 6*r(a). Let f be 2/(-6) - (-25)/3. Is o(f) a multiple of 14?
False
Let t(b) be the second derivative of 17*b**3/6 - 19*b**2/2 - 2*b + 4. Is 22 a factor of t(11)?
False
Let s(b) = 163*b**2 - 30*b - 68. Is 140 a factor of s(-4)?
True
Suppose 718 - 8503 = -45*n. Is n a multiple of 31?
False
Suppose 33*i - 32*i = 6. Suppose -276 = -0*m - i*m. Does 2 divide m?
True
Let h = -56 - -11. Does 53 divide (-27)/h - 5496/(-15)?
False
Suppose -3*g + 26 = 14, 4*p - 408 = 4*g. Let b = 193 - p. Does 2 divide b?
False
Let g = 119 - -37. Suppose -7*i + 96 + g = 0. Is 2 a factor of i?
True
Suppose 701*g - 703*g + 2*v = -104, -5*g + 4*v = -263. Is g a multiple of 3?
False
Suppose -4*m = -5*h + 30603, 2325 - 14583 = -2*h - 4*m. Is 157 a factor of h?
True
Let u(d) = -d**2 + 18*d + 46. Let f be u(20). Suppose -f*n - 5*q = -3*n + 551, 906 = -5*n + 4*q. Let z = -46 - n. Is 16 a factor of z?
False
Is 254 a factor of (-30450)/(-580)*10*(-508)/(-6)?
True
Suppose 5*d + 3*y - 210 - 518 = 0, -146 = -d - y. Does 10 divide d?
False
Let x(i) = -i**3 - 7*i**2 + 6*i - 18. Let p be x(-8). Let a be p/(((-12)/(-88))/((-9)/12)). Let h = 12 + a. Is h a multiple of 4?
False
Suppose -2*h + 2*k - 642 = -6*h, 4*h - 2*k = 662. Let l = 167 - h. Is 2 a factor of l?
True
Suppose -4*r = 2*l - 132104, 3*l + r = 26014 + 172132. Is l a multiple of 119?
False
Suppose -1 = 4*y + 5*l - 66, -3*l = 4*y - 71. Let q be 144/y - (-12)/15. Suppose q*u + 65 = 9*u. Does 10 divide u?
False
Let q = -6067 - -6337. Does 5 divide q?
True
Suppose 3*y + 3*m + 48 = -0*y, m = -3*y - 54. Let x = y + 42. Suppose -a = 3*s - 27, -5*s + 3*a = -22 - x. Is s a multiple of 9?
True
Let q(y) = -19*y - 19. Let k be q(16). Let s = -17 - k. Does 18 divide s?
True
Let o be ((-6)/8)/((-9)/36). Suppose -o*a = -p - 378, 3*p + 12 = -p. Is a a multiple of 16?
False
Is (4 - -16891)*(-146)/(-73) a multiple of 62?
True
Let i be ((18 + -10)/(-24))/(2/(-96)). Suppose 1 + 4 = 5*b, -5*v + 5 = 5*b. Suppose v = -17*u + i*u + 79. Is u a multiple of 30?
False
Is 47 a factor of 3179 - 9 - (2/6)/(23/(-138))?
False
Let h(s) = -s**2 - 12*s - 8. Let y(w) = w - 17. Let z be y(6). Let b be h(z). Let d(t) = t**3 - t**2 - 5*t + 7. Is 10 a factor of d(b)?
True
Let y(g) be the third derivative of -g**6/30 - g**5/12 - 3*g**4/8 + 13*g**3/6 - 16*g**2 - 7*g. Is 3 a factor of y(-4)?
True
Let o(i) = 2374*i**2 + 21*i + 6. Is o(-1) a multiple of 7?
True
Suppose 0 = -3*a - 7 + 22. Let y(u) be the first derivative of -u**4/4 + 2*u**3 + 11*u**2/2 + u + 919. Does 6 divide y(a)?
False
Let o = 1187 - -644. Let f = -1211 + o. Is 13 a factor of f?
False
Let t(j) = 7*j**2 - 83*j + 3467. Is t(54) a multiple of 145?
False
Let y(o) = -o**3 + 6*o**2 - 10*o + 4. Let g be y(3). Let m be -4 + (-26 - (-2 - g - -7)). Let s = m + 49. Is s a multiple of 2?
False
Let n(t) = t**3 - 15*t**2 + 6. Let f be n(15). Let q(o) = 3 - 3*o - 4*o**2 - f + 40*o**2. Is 18 a factor of q(-1)?
True
Suppose -11*o = -46 - 9. Suppose -o*u + 3*p = -442 - 410, -4*p = u - 175. Does 9 divide u?
True
Does 195 divide 1344 + (4 - (63/5 + (-42)/70))?
False
Suppose 4*f + 3*j = -6, 12*j = -4*f + 7*j - 10. Let o be (3/(f + 3))/(1/5). Suppose o*l - 3*d - 68 = -0*d, 2*d = 5*l - 72. Does 12 divide l?
False
Let h be 10 - (-91848)/(-132) - (-4)/(-22). Let g = h - -738. Is g a multiple of 13?
True
Let f(x) = 4329*x - 11007. Is f(7) a multiple of 36?
True
Let l(n) = n**2 - n + 20. Let m(i) = -i**2 - i. Let t(r) = -l(r) - 2*m(r). Let a be (-1)/((-55)/(-22)) + 94/10. Is 44 a factor of t(a)?
True
Let z = 210 - 207. Suppose -2191 = -4*t + z*x, 4*t + x - 2151 = -4*x. Is 34 a factor of t?
True
Suppose -46*w + 77135 = 3*w - 198441. Does 39 divide w?
False
Let y = -775 - -883. Is 27 a factor of y?
True
Suppose 2616943 = 718*u - 14953953. Is 8 a factor of u?
True
Let s(g) = 3*g**3 - 8*g**2 + 20*g - 11. Let j = -156 + 162. Does 28 divide s(j)?
False
Let t(u) be the second derivative of -13*u**3/3 - 88*u**2 - 38*u. Does 7 divide t(-20)?
False
Let k = 18375 + -3813. Is k a multiple of 18?
True
Let k = -44 - -44. Suppose -4*r + 364 = -k*r. Suppose 49 = 5*a - r. Is 14 a factor of a?
True
Let z(j) be the third derivative of -191*j**4/12 + 3*j**3/2 - 112*j**2. Is 35 a factor of z(-2)?
False
Suppose a = 541 + 601. Suppose 3*i - 4*n - n - 889 = 0, 4*i + 2*n = a. Is i a multiple of 36?
True
Is 13 a factor of (-8811)/(-22)*(-5)/(-45)*(-52)/(-2)?
True
Let z(j) = j**3 - 13*j + 11. Suppose 0*u + 2*u + 24 = 4*c, 4*u = -5*c + 43. Suppose c*g = 9*g - 10. I