e
Suppose -4*i + 2275 = -745. Is 33 a factor of i?
False
Suppose -2*m + 3 = m. Suppose m + 11 = -6*i. Is 3 a factor of i/13 - 669/(-39)?
False
Let z(k) = 10*k**2 - k + 1. Let w be z(-1). Let c = w - -12. Does 16 divide c?
False
Let t(g) = 3*g + 21. Let y be t(-6). Suppose y*c - 735 = -5*u, 3*c = -0*c - 2*u + 744. Is 10 a factor of c?
True
Suppose 346 = v + 3*i, -2*v - 3*i - 425 + 1123 = 0. Does 22 divide v?
True
Let l(m) = 3*m**2 + 3*m - 2. Let h be l(1). Suppose h + 20 = -2*j + 5*z, -4*j = -z + 12. Let p = 9 + j. Does 4 divide p?
False
Suppose 3*n - 2*n = 3*x - 102, 0 = 3*n. Let t = 46 - x. Is t a multiple of 10?
False
Suppose 3*y = -4*p + 1160, 0*y + 3*y + 12 = 0. Let d = p - 197. Does 24 divide d?
True
Suppose -5*k + 744 = -6. Suppose -3*n - k = -8*n. Is n a multiple of 4?
False
Suppose -19*d + 57 = -0*d. Suppose -a = -3*j + 4, 3*j - 6*a + 2 = -2*a. Suppose -116 = -3*k - j*t, 2*k - d*t = -t + 84. Does 10 divide k?
True
Let m = -4 + 3. Let t be (0 + -2)/(0 + m). Suppose -21 = -t*f + 27. Is 14 a factor of f?
False
Let h(q) = -17 - 49*q + 35 - 26. Does 14 divide h(-2)?
False
Suppose 2*i + 7 = -5*c + 1131, 4*i - 5*c = 2218. Is i a multiple of 15?
False
Let w(t) = t**3 + 4*t**2 - 4*t + 2. Let q be w(-5). Let x be (-3 + -9)/(q/8). Suppose 0 = 2*h - x - 10. Is h a multiple of 6?
False
Suppose -6*p = -1337 + 449. Suppose 0*b = -3*z + 2*b + p, -3*b + 77 = 2*z. Is 19 a factor of z?
False
Suppose 25 = 3*p + 13. Suppose p*r + r - 575 = 0. Is r a multiple of 16?
False
Suppose 59*r - 44*r - 18720 = 0. Is 39 a factor of r?
True
Let m(y) = 46*y - 10*y + 12*y. Is 9 a factor of m(1)?
False
Suppose -16*q = -13*q. Suppose -4*b + 632 = -g - 261, 4*g + 660 = 3*b. Suppose 0 = -q*c - 4*c + b. Does 16 divide c?
False
Suppose 1311 = 5*j - 3*x, 12*j + 3*x = 7*j + 1329. Is j a multiple of 6?
True
Suppose 2*f - 11 = -21. Let s = 16 + f. Does 22 divide s*4/(-8)*-4?
True
Let x = 210 + -127. Is 8 a factor of x?
False
Let z be ((-1)/2)/(7/(-70)). Suppose 0 = 2*u - w + 12, 2*u + 4*w = z*u + 28. Is 33 a factor of u + 4 - (2 + -73)?
False
Let l be 8*((-3)/(-6))/1. Suppose -2*n + 3*n = l*d + 31, -3*d - 12 = 0. Is n a multiple of 3?
True
Let o = 424 + -253. Is 11 a factor of o?
False
Let b = 46 + 77. Suppose -2*y + 63 = -5*z, z + b = y + 4*y. Does 21 divide y?
False
Let t(m) = 0*m + 2*m**3 + 23*m**3 + 2*m - 1. Suppose -9*j = 43 - 52. Is t(j) a multiple of 13?
True
Let j(u) = 6*u**2 + 9*u - 5. Let i be j(-7). Let w = -109 + i. Is 9 a factor of w?
True
Let z be (7/3)/((-9)/(-27)). Let g(q) = 3*q - 14. Let v be g(z). Suppose -4*b = v - 183. Is b a multiple of 11?
True
Let v(d) = d**2 - 3*d + 97. Is 3 a factor of v(0)?
False
Let u = -28 + 28. Let p = u + -9. Is (24/p)/((-8)/204) a multiple of 17?
True
Let i(k) = 3*k**3 + 2*k**2 - 2*k. Let f(o) = o**3. Let j(b) = 2*f(b) - i(b). Let d be j(-3). Let g(h) = 3*h**2 + 4*h. Does 30 divide g(d)?
False
Suppose -12196 = -15*c - 3871. Is c a multiple of 9?
False
Let f(t) = 21*t**3 + 1. Suppose 37 = 5*d - 53. Let i = -17 + d. Is f(i) a multiple of 5?
False
Let g(z) = 21*z**2 - 4*z - 11. Is 12 a factor of g(3)?
False
Let r(c) = c**3 - 4*c**2 - 13. Let a be -2*(-14)/(-8)*-2. Does 12 divide r(a)?
False
Let n(i) be the third derivative of i**6/120 + 2*i**5/15 + 5*i**4/12 - 5*i**3/3 + i**2. Is 5 a factor of n(-5)?
True
Let j(v) = -v**3 + 9*v**2 - 5*v - 12. Let x be j(-6). Suppose -5*q = -b + 324, -3*b + 414 = 3*q - x. Does 26 divide b?
False
Let a = 1736 + 288. Does 22 divide a?
True
Suppose 2*y - 10 = -2*i, 2*i + 0*i = 2*y - 6. Let h(d) = d**2 + d + 9. Is h(y) a multiple of 29?
True
Suppose 0 = 3*o - 2*a + 52, 2*o + 0*o + 3*a = -39. Let h(l) = -l**2 - 19*l - 12. Is 2 a factor of h(o)?
True
Suppose -2*y + 4*v + 564 = 0, 0*y - 5*y + 1401 = -v. Does 28 divide y?
True
Let r be (-28)/(-238) + (-132)/(-34). Suppose -o = -r*f + 557, 2*f + 4*o - 274 = -0*o. Suppose 5*n + 19 = f. Is n a multiple of 24?
True
Suppose 0 = -4*v - 5*b - 0 - 12, 10 = 3*v - b. Suppose -v*w = f - 100, 4*w + 0*f - 194 = -5*f. Is 17 a factor of w?
True
Suppose 3*h + 3 = 15. Suppose -v + 4*w = -39, -h*v - 5*w + 39 = -2*v. Does 9 divide v?
True
Let t(w) = 43*w - w**2 - 26*w - 32*w. Does 2 divide t(-14)?
True
Let x be 4/(-22) + (-8638)/(-77). Suppose 7*q = 3*q + 3*b + 188, x = 3*q + 5*b. Is 7 a factor of q?
False
Let s(o) = o**2 + 1. Let f(t) = 6*t**2 + 4*t - 6. Let b(z) = f(z) + 8*s(z). Let r be b(-2). Suppose 0*a - 5*a + r = 0. Does 5 divide a?
True
Is 43/(-172) + (-5186)/(-8) a multiple of 47?
False
Suppose 5*r - 2 = -3*c, r - 2*c + 3*c = 0. Let v be (25 + -2)/(r/2). Let h = -12 + v. Is h a multiple of 11?
False
Let u(t) = -t**3 - 16*t**2 - 34*t + 12. Does 16 divide u(-14)?
True
Let z be (0 - 39)*2/(-2). Suppose 25 = -5*l - 2*f, -20 = 4*l - f - 2*f. Let c = z + l. Does 17 divide c?
True
Suppose -2*h - 3*d + 21 = 0, -3*d = -4*h - 0*d + 69. Does 3 divide h?
True
Let v be (1*36)/(78/(-52)). Is 3 a factor of v/14*(-28)/8?
True
Suppose -33 = 5*a - 13. Let v be -5 - ((-12)/a - 4). Is 24 a factor of 2/v*(-172 + 6)?
False
Let m(n) = 9*n + 1. Let p be m(2). Suppose -p = -5*o + 6. Suppose -o*v = w - 5*w - 383, w + 234 = 3*v. Is 14 a factor of v?
False
Suppose -x = -6*x + 20. Suppose 10*l = -0*l + 720. Suppose 7*o - b - 113 = x*o, -l = -2*o + 4*b. Is 12 a factor of o?
False
Let r be 38*(-1)/(-2 - 0). Let a be 11 + -12 + 1*r. Suppose 0 = 3*m - 12 - a. Is m a multiple of 7?
False
Suppose -4*c - 950 = -9*c. Does 19 divide (c/4)/(1/2)?
True
Let t(c) be the third derivative of 1/12*c**5 + 1/3*c**3 + 7*c**2 + 0*c + 0 - 1/24*c**4. Is 4 a factor of t(2)?
True
Let o = 138 + -98. Suppose -2*g + o = p - 133, -4*p = -g + 100. Is g a multiple of 19?
False
Suppose -400 = 5*l + 4*k, 2*k = 3*l - 0*k + 240. Suppose -257 = -5*h + 373. Let c = l + h. Does 23 divide c?
True
Suppose 2*c = v + 117, -4*v = 2*c + v - 147. Let j = c - -162. Is j a multiple of 10?
False
Suppose j = 6 + 7. Let o be ((-8)/(-3) - 2)/(2/12). Suppose o = -4*y, -2*g - y + 42 = -j. Is 13 a factor of g?
False
Suppose 2*l + 5*a = 3793, -270*a + 271*a + 1879 = l. Is l a multiple of 9?
False
Let f be (-85)/(-15) + (-4)/6. Let i be -3*5*f/(-15). Suppose i*b = -2*a + 98 - 38, 4*a = b + 76. Is a a multiple of 4?
True
Let q(y) = -7*y**2 + 9*y - 8. Let t(j) = -6*j**2 + 9*j - 9. Let f(v) = -5*q(v) + 6*t(v). Let a be f(6). Let k(z) = 9*z - 14. Is 5 a factor of k(a)?
False
Let c(p) = -p**2 + 21. Let t be c(0). Does 12 divide (-862)/(-8) - (t/12)/(-7)?
True
Is 51 a factor of 3377/33 + 1*3/(-9)?
True
Let a(h) = -18*h + 69. Is a(-49) a multiple of 10?
False
Suppose -39*u - 3410 = -44*u. Does 10 divide u?
False
Suppose 13*k + 95 = 14*k. Is k a multiple of 7?
False
Suppose -g + 4*g = 2*a - 8, -3*g + 3*a - 6 = 0. Let y(h) = -h**2 - 5*h - 1. Let i be y(g). Suppose -26 = -i*r + 13. Is 3 a factor of r?
False
Let l = -493 - -974. Is l a multiple of 13?
True
Is (-969750)/(-405) + 8/(-18) a multiple of 57?
True
Suppose 5*v + 8 = v, 5*s - 4*v - 348 = 0. Let j = s + -24. Is j a multiple of 11?
True
Let x be 6/(-33) + 96/44. Suppose -s = -x*c - 106, 5*c - 400 = -4*s + c. Is s a multiple of 34?
True
Let f = -2741 + 2880. Is f a multiple of 95?
False
Suppose -30792 = -21*c + 372. Is c a multiple of 53?
True
Let z = -42 - -341. Suppose 4*f - 7*r + 6*r = z, 3*f - 2*r = 223. Is 15 a factor of f?
True
Suppose -2*z + 11 = 71. Let t = z + 42. Is 3 a factor of t?
True
Let j be (0 - (-20)/(-36))*12*-9. Suppose 0 = -z + 2*p + j, -4*p - 180 = -3*z - 3*p. Does 12 divide z?
True
Let u = 976 + 185. Does 27 divide u?
True
Let q(y) = 2*y**3 - 5*y + 2. Let t be q(3). Suppose -o = -t + 17. Is 17 a factor of o?
False
Let a(l) = 312*l**2 + 37*l - 72. Is a(2) a multiple of 18?
False
Does 25 divide 2/(6/225*3)?
True
Let k = -1 - -4. Suppose -l = 5*x + k*l - 295, -x - 2*l + 65 = 0. Suppose 0 = -p, x + 45 = 2*s - 5*p. Is 10 a factor of s?
True
Suppose -47 = -3*v + 31. Suppose v = 4*q - 126. Does 30 divide q?
False
Let o(g) be the third derivative of -3*g**4/8 + 13*g**3/6 - 101*g**2. Suppose -4*s = -2*q - 28, q + 0 = 5*s - 26. Is 10 a factor of o(q)?
False
Suppose 5*t - 10 = 5, 4*y - 5*t = -2727. Let x be y/4*(16 - 10). Does 16 divide x/(-27) - (-4)/(-6)?
False
Suppose 7*o + 0*o - 28 = 0. Suppose o*q - 658 = -3*q. Does 10 divide q?
False
Let a(i) = i**3 + 7*i**2 + i + 18. Let z be a(-7). S