alse
Let h = -81 + 55. Let z = 36 + h. Let a = z - 4. Is a a multiple of 6?
True
Suppose -3*b + 3 = 0, 2*j - 10 - 16 = 2*b. Suppose -j = -5*g - c, c = 2*g - 0*g. Is 54 - 10 - 1*g a multiple of 15?
False
Suppose 5*y + 5*k = 1916 - 41, -3*y - k + 1115 = 0. Is 37 a factor of y?
True
Is 8 a factor of (-1005)/(-25) + 4/(-20)?
True
Let h(d) = 84*d**2 - 2*d - 2. Let f be h(-1). Does 11 divide 33/4*f/7?
True
Let y be 1*(-2 + 2)/1. Suppose -4*s - 4*j = -24, y = 3*s - 3*j - 6 - 6. Suppose r - 2*n = 91, s*r + 3*n - 731 = -289. Does 32 divide r?
False
Let s be 1*((-2)/(-3))/(6/27). Suppose -s*i - 328 = -5*g, -2*g + i + 156 = 6*i. Is 17 a factor of g?
True
Let r(j) = -4*j + 40. Let x be r(14). Let c = 30 + x. Is c a multiple of 14?
True
Let v = 91 - 129. Let m = -35 - v. Is 3 a factor of m?
True
Let w = 33 + -31. Let p(v) = 44*v**2 + v + 1. Let h be p(w). Suppose -4*o = -439 + h. Does 18 divide o?
False
Suppose 0 = 13*y - 4*y - 6507. Suppose -3 = 3*b - y. Is b a multiple of 38?
False
Let l be 0*3/6 + -10. Is (1 + -6)*(5 - (-184)/l) a multiple of 32?
False
Suppose -17*h + 10*h = -21. Suppose h*o - o - 190 = 0. Is o a multiple of 8?
False
Let l(p) = 2*p**3 - 13*p**2 - p + 40. Is 73 a factor of l(10)?
True
Let n(j) = j**3 - 12*j**2 - 10*j - 10. Let d be n(10). Is 54/12 - 4 - d/4 a multiple of 13?
True
Let m(u) = -u**3 + 6*u**2 + 9*u - 10. Let r be m(7). Suppose r*d - 59 = 125. Is d a multiple of 23?
True
Let y(o) = 2*o**3 - 2*o**2 + 25*o + 11. Does 12 divide y(5)?
True
Let i be (5 - 3)/((-5)/(-30)). Suppose 0*g - i = -3*g. Suppose 30 = 2*r + 4*f, -r = -5*f - g - 11. Is r a multiple of 3?
True
Let a(r) = -2 - 3*r + 2. Let j = -50 + 41. Is 9 a factor of a(j)?
True
Let k = -1051 - -2239. Is k a multiple of 11?
True
Let n = 1640 + -1160. Does 22 divide n?
False
Suppose -2*r + 1129 = -5*y, -4*r + 0*r + 2300 = 4*y. Let q = r - 406. Is 16 a factor of q?
False
Suppose 2*z + 0*z = 4*w - 8, 0 = -5*z - 20. Suppose 110 = u - 5*l, u + l = 5*u - 478. Suppose 3*s = -w*s + u. Is 10 a factor of s?
True
Suppose -2*q + 4*z = -4 - 6, -2*q = 4*z - 2. Let r(s) = -4*s**3 + 4*s**2 - 2*s - 3. Let h be r(q). Let n = -49 - h. Is 9 a factor of n?
False
Suppose 23*q = 20*q + 180. Let g = -41 + q. Is g a multiple of 15?
False
Suppose 0 = -4*m + 1543 + 7621. Does 79 divide m?
True
Let h(w) = w**3 + 3*w**2 - 4*w. Let j be h(-4). Let v(k) = -3*k + 25. Is 4 a factor of v(j)?
False
Suppose 112 = -19*o + 20*o - 5*b, -3*o = b - 352. Does 6 divide o?
False
Let u(x) = -x**3 - 15*x**2 + 5*x + 34. Is 21 a factor of u(-16)?
True
Suppose 4*g + 5*l - 2127 = -172, -l - 2451 = -5*g. Suppose 5*x = -2*j + g, 4*j + 5*x - 952 = 2*x. Is j a multiple of 47?
True
Suppose 2*t = 463 - 111. Does 11 divide t?
True
Let s = 1054 + 360. Is 15 a factor of s?
False
Suppose 638 = 3*z - 982. Does 30 divide z?
True
Is 34 a factor of (134 + 1 - -1)*(-6)/(-8)?
True
Suppose 2*v = 3*z - z + 176, -4*z - 2*v = 346. Let t = z - -155. Does 7 divide t?
False
Does 3 divide 1/(-6 - (-6392)/1064)?
False
Suppose 4*z - 5*z + 14 = 0. Let w = 40 - z. Suppose -5*y + 303 = -4*o, -149 = -3*y - o + w. Does 20 divide y?
False
Suppose -u + 4*u - 1581 = -z, 4*z = 4*u - 2108. Does 5 divide u?
False
Let k(h) = -13 + 2 + 3 + 3*h + 0. Let s be k(6). Suppose -42 = -2*f - 3*u, -s - 4 = -f - 5*u. Is 8 a factor of f?
True
Does 6 divide (-55)/11 + 90 - (-5)/1?
True
Let a(q) = -13*q + 10. Let m be a(-3). Let z = 58 - m. Is 2 a factor of z?
False
Let a(l) = -137*l + 244. Is 8 a factor of a(-3)?
False
Suppose 16*l - 82500 = -17*l. Is 20 a factor of l?
True
Suppose 6*m = 39 + 57. Let k = 53 - m. Is 7 a factor of k?
False
Let i = 3245 + -797. Is 24 a factor of i?
True
Suppose -4*o - 4*x = -1244, 2*o - 303 = o - 3*x. Does 10 divide o?
False
Suppose 0 = f - 7 + 4. Suppose 2*t = f*a - 38 - 3, -t + 7 = a. Let n = 1 + a. Does 6 divide n?
True
Let z = 11 + -9. Let m be ((-11)/(-22))/(z/(-48)). Does 13 divide ((-159)/6)/(6/m)?
False
Suppose -4*c + 5*u - 13 = 0, u = 5*c - 2 - 8. Suppose 5*o + 0*r = 4*r - 10, -c*o - 3*r = -21. Does 2 divide o?
True
Suppose j + 176 + 24 = z, 4*j = -3*z + 572. Does 14 divide z?
True
Let x(f) = 5*f**2 + 28*f - 15. Let p(s) = -3*s**2 - 14*s + 8. Let a(c) = c**3 - 2*c. Let l be a(2). Let i(h) = l*x(h) + 7*p(h). Does 17 divide i(11)?
False
Let p(d) = -d**2 + 10*d + 15. Let n be p(8). Suppose -4*c = -n - 9. Does 7 divide c/(-3)*(-48)/5?
False
Is 64 a factor of (-2 + 514)*((-18)/(-9))/2?
True
Let j be (-6)/21 + (-183)/21. Let z = -9 - j. Suppose 2*g - 8 = z, -3*g + 5*g = 4*v - 136. Is 18 a factor of v?
True
Let y(s) = 9*s**2 + 5. Let t be y(2). Let a = -22 + t. Is 19 a factor of a?
True
Suppose 6*u - 5*u = -u. Suppose u = -8*f - 108 + 764. Is f a multiple of 24?
False
Is 29 a factor of -3 + 208*((-273)/(-28) - -5)?
False
Suppose -662 = -31*k + 12234. Is k a multiple of 53?
False
Suppose 4*k = -5*x + 95, 4*k - k = -2*x + 73. Suppose -10*j = -5*j - k. Suppose v + g - 18 = 0, v - 16 - 2 = -j*g. Does 9 divide v?
True
Let m be 7 + 9/(-3) - 40. Let a = 49 + m. Is a a multiple of 13?
True
Suppose -3*u = -5*h, u + 3*u = 3*h + 11. Suppose -m - 2*m + h*z = -111, -2*z - 179 = -5*m. Is m a multiple of 22?
False
Let g(l) be the second derivative of 2/3*l**3 + 3*l**2 + 2*l + 1/6*l**4 + 0. Is g(-4) a multiple of 11?
True
Suppose 29*h + 6*h - 17745 = 0. Is h a multiple of 27?
False
Let z be (-314 - 0)/(-3 + 2). Let f = z + -198. Is 14 a factor of f?
False
Let s(o) = 11*o - 32. Let m(b) be the third derivative of b**4/24 + 8*b**3/3 - 2*b**2. Let r be m(-6). Does 26 divide s(r)?
True
Let u(v) = -v**3 + 39*v**2 + 96*v - 17. Is 10 a factor of u(41)?
False
Let a be 3*1 - (-1)/((-5)/(-35)). Suppose 3*c + 86 - 416 = -3*d, 0 = 5*c - a. Is d a multiple of 9?
True
Suppose 0 = o + 2*a - 1126, 124*a - 126*a = 2. Does 24 divide o?
True
Suppose -92542 = -47*t + 11093. Does 147 divide t?
True
Suppose -2520 = 1250*h - 1254*h. Is h a multiple of 30?
True
Suppose 0 = -4*l - 144 + 444. Let v = l + -23. Is v a multiple of 13?
True
Let s = 1 + 1. Suppose 94 + s = 2*z. Is 16 a factor of z?
True
Let m = 397 + 27. Is m a multiple of 3?
False
Let s(w) = 3*w + 1. Let x be s(-1). Let m be x*1/4*0. Suppose m = 6*o - o - 125. Is 9 a factor of o?
False
Let g(q) = q**2 + q - 9. Let z be g(0). Let m(j) = -3*j + 10*j + 4 - 3*j**2 - j + 4*j**2. Is 16 a factor of m(z)?
False
Does 13 divide (0 + 1)*165/(-15)*-142?
False
Suppose -2*r + 0 + 10 = 0, 4*r = 5*o - 5. Is (15*(2 - -19))/(o - 4) a multiple of 56?
False
Let x(h) = 2*h**2 - 5*h + 14. Is 12 a factor of x(2)?
True
Let y(q) = q + 4. Let u be y(-7). Let d = 7 + u. Suppose m = -d*r + 40, 5*m - 137 = -0*m + r. Does 14 divide m?
True
Let a be (51/(-6))/(1/(-2)). Suppose -4*f = g - 4*g - 42, 3*f = 5*g + 59. Let y = g + a. Is y even?
False
Suppose -164 + 29 = 5*c. Let a = c - -41. Is 13 a factor of a?
False
Suppose -p - 3*j - 989 = -3*p, -2*j = -p + 494. Is 31 a factor of p?
True
Let t(b) = -10*b + 204. Does 32 divide t(-2)?
True
Suppose 2*m + 24 - 44 = 0. Is 14 a factor of 7 + 1134/30 - (-2)/m?
False
Suppose -a + 11 = 3*m, 8*a - 99 = 4*a - m. Suppose -q + a = q. Suppose -q = -2*x + 61. Is 20 a factor of x?
False
Let r = 1166 - -52. Is r a multiple of 87?
True
Let f = -1 + -1. Let c be 8/(-4) - 6/f. Is 9 a factor of 30/c + (-1 - -3)?
False
Let w = 1830 + -1114. Does 6 divide w?
False
Suppose 5*b - 1789 = -129. Is b a multiple of 13?
False
Does 32 divide 200226/272 - (-3)/(-24)?
True
Suppose 104*f - 91*f - 455 = 0. Is 3 a factor of f?
False
Suppose s - 117 - 132 = 0. Is 3 a factor of s?
True
Let j(k) = -k + 29. Suppose -2*h - 2*h + 56 = 0. Does 14 divide j(h)?
False
Suppose -5*d = 3*y - 766 - 1301, -2*y - 3*d + 1377 = 0. Is y a multiple of 9?
True
Let f = -34 - -18. Let t be ((-15)/12)/(4/f). Suppose 5*d - t*j - 455 = 0, -j = d + 3*j - 101. Is 29 a factor of d?
False
Let j(t) = t - 3 - 11 + t + 4. Does 10 divide j(18)?
False
Let a = 147 - -246. Let k be (-2)/(780/a + -2). Let v = -65 + k. Is 33 a factor of v?
True
Is -12 + 17 + 422/2 a multiple of 18?
True
Let n = 80 + -3. Is 55 a factor of n?
False
Let i(y) = 2*y**2 - 2*y + 1. Let t be i(2). Suppose -c - 2*w = 2*c - 284, 3*w + 486 = t*c. Does 24 divide c?
True
Suppose -5*v - 3*u - 419 = 0, 0 = 5*v + 4*u + 482 - 60. Let l = 115 + v. Does 10 divide l?
False
Let a = 59 - 148. Let g = -67 - a. I