x. Let t = m - 28. Is 12 a factor of t?
True
Let h(o) = 3*o**3 - 12*o**2 - 15. Let l be h(9). Suppose 0 = 8*s - 4*s - l. Is s a multiple of 25?
True
Suppose h + 17 = 5*n, -h - 35 = -5*n - 6*h. Suppose -t - n = -2*t. Suppose -t*o = -3*o - 46. Is o a multiple of 33?
False
Let f = 15 + -11. Suppose -4 - f = -4*x. Suppose -5*j + x*j = -198. Is j a multiple of 14?
False
Let t(a) = -12*a + 933. Does 35 divide t(-14)?
False
Let g(y) = 4*y**3 - 4*y**2 + 4*y + 3. Let z be g(4). Suppose -405 = -5*v - 5*k, 3*v - 40 = 5*k + z. Suppose c + c - v = 4*j, -j = 2. Does 10 divide c?
False
Let x = -225 + 681. Suppose 2*w - x = -w. Is (w/(-24))/(1/(-6)) a multiple of 19?
True
Let v be 28/8*(-20)/(-7). Let x(n) = 2*n - 3. Let l be x(v). Let z = 21 - l. Does 3 divide z?
False
Let a be 8/12 - (-4)/(-6). Suppose a = -8*r + 3*r + 15. Suppose -2*b + 4*k + 13 = -45, -r*b + 96 = -3*k. Does 8 divide b?
False
Let c = -1483 - -2571. Is 64 a factor of c?
True
Let d be (1 + (1 - 57))/(-1). Let b be (-2)/10*-648 - (-4)/10. Let w = b - d. Does 15 divide w?
True
Let t = -23 - -221. Does 4 divide t?
False
Let v(c) = -c + 18. Let d be v(15). Let a(k) = -k**2 + 2*k + 3. Let f be a(d). Suppose 5*l - 2*p + 3*p - 43 = f, -2*l + 2*p = -22. Is l a multiple of 3?
True
Let g be (-4 - 10/(-4))*-60. Suppose 29*j - 24*j - g = 0. Is j a multiple of 8?
False
Let g be ((-18)/(-15))/(12/80). Suppose g*m + 45 = 9*m. Suppose -5*o - m = -n, -61 = -3*n - 2*o + 74. Does 9 divide n?
True
Let a(y) = 105*y**2 + 2*y + 1. Let r be a(-1). Let g = 78 + r. Suppose -2*i + 4*h + g = i, i + 5*h - 67 = 0. Is i a multiple of 22?
False
Let c be (18/(-15))/((-6)/80). Suppose 0 = -4*q + c, -2*t - t - 3*q = -15. Suppose 2*x + 2*m = -3*m + 21, -t = -m. Is 3 a factor of x?
False
Suppose 0 = 2*k - 3*a - 10, -3*k - 2 = -4*a - 17. Suppose -64 = -k*o - 14. Let m = o - -16. Is 26 a factor of m?
True
Let r = 6919 - 4848. Is 35 a factor of r?
False
Let t(z) = -7*z**3 - 2*z**2 - 2*z - 2. Is 14 a factor of t(-3)?
False
Suppose -5*m + 1105 = a, 2*m = -0*a - 4*a + 460. Is m a multiple of 10?
True
Let x(f) = -2 - 1 + 1 + 3*f - 11. Let c be x(6). Suppose -2*i = -i - 4*k - 44, -c*i + 203 = -3*k. Does 15 divide i?
False
Suppose -2*g + 7 = i + 2*g, 16 = -2*i + 2*g. Let s(a) = -2 - 4*a - 9 - 1. Is s(i) a multiple of 3?
False
Suppose m = 3*n + 150, -3*m = 3*n - 260 - 166. Is m a multiple of 11?
False
Let y be (-9)/15*-5 + 1. Suppose -6*j + y*j + 120 = 0. Is j a multiple of 15?
True
Let o(d) = -6*d + 33. Let h be o(7). Let i = h + 23. Is i a multiple of 9?
False
Suppose -55442 = -14*s - 5*s. Does 27 divide s?
False
Suppose -5*g + 5*s = -1218 - 37, 2*g + s = 514. Is g a multiple of 5?
True
Suppose 5*v - 4*f - 7109 - 6232 = 0, 0 = 5*f + 20. Is 41 a factor of v?
True
Let n = -354 - -900. Does 21 divide n?
True
Suppose u = 4*r - 8, 3*r + 46 = -u + 3. Let a = -15 - -11. Let z = a - u. Is z a multiple of 6?
True
Suppose -i - 3*x = 8 - 71, -3*x = -2*i + 81. Let y = i + -29. Suppose y = 5*c - 6. Does 3 divide c?
False
Suppose -12*o + 9938 = -1102. Is o a multiple of 51?
False
Let k = 8 - 5. Suppose -47 + 20 = k*x. Let y = x - -12. Is y a multiple of 2?
False
Let z(n) = 71*n**2 - 43*n + 91. Is 17 a factor of z(2)?
True
Suppose 22*b + 468 = 18*b. Let y = -67 - b. Is y a multiple of 9?
False
Does 3 divide -3*138/54*-6?
False
Let o be 12/(-18) - (1 - (-265)/3). Does 20 divide -2*(o/4 + -3)?
False
Let l be (50/(-75))/((-2)/(-27)). Let r = 3 - 5. Let s = r - l. Is s a multiple of 7?
True
Let b(t) = 909*t**3 - 27*t**2 + 28*t. Is b(1) a multiple of 13?
True
Let b be (-231)/28*(-8)/3. Is 12 a factor of (-10)/55 - (-1060)/b?
True
Suppose 1692 = 5*h + 4*h. Does 31 divide h?
False
Let d be (-4)/(2 + -4)*5. Let z be 2/d - 70/(-25). Suppose -4*n - 29 = -v - 2*n, z*v + 3*n - 51 = 0. Is 21 a factor of v?
True
Suppose 7*l = 9*l + 2020. Let m be 6/((-5)/(l/4)). Suppose -5*g - y + m = -198, 4*g - 2*y = 398. Is 21 a factor of g?
False
Suppose 0 = -491*w + 476*w + 31005. Is 53 a factor of w?
True
Suppose 0 = -2*p - 2*p + 12. Suppose 45 = x + o, -2*x + 49 + 36 = p*o. Let a = 82 - x. Is a a multiple of 8?
True
Suppose -24*w - 598 = -26*w. Let d = w - 155. Does 8 divide d?
True
Is 51 a factor of 115 - (28/(-20))/(-7)*5?
False
Is 26 a factor of (-104)/(-6)*(-9 - -12)?
True
Let a be 5/(-90)*-50 + (-2)/(-9). Suppose m = -a*g + 111, 5*m - 4*g - 289 = 247. Is m a multiple of 9?
True
Let b(x) = -x**3 - 19*x**2 + 18*x - 31. Suppose 4*v = 2*w + 60, 4*v + 7 = -3*w - 33. Is 3 a factor of b(w)?
True
Suppose 4*l = -3*q - 2*q + 217, 2*l + 94 = 2*q. Suppose 0 = -3*i - g - 0*g + 35, 5*g + q = 5*i. Let t = 17 - i. Is 2 a factor of t?
True
Let v be (8163/12)/(6/16). Suppose -10*t - 614 = -v. Does 14 divide t?
False
Suppose 33*f - 38*f = -15. Suppose 4*g - 39 = -z + 53, f*z + 5*g = 255. Does 6 divide z?
False
Let n = -1758 - -3588. Is 28 a factor of n?
False
Suppose -5*k + 4*g + 133 = -19, 3*g = -4*k + 134. Suppose 3*d - 5*u - k - 120 = 0, 0 = 3*u + 3. Is d a multiple of 7?
True
Let y = -21 + 22. Let s be (-32 + 3)*y/(-1). Let m = 70 - s. Is m a multiple of 22?
False
Let b(q) = 2*q**2 + 3*q + 2. Let z be b(-2). Suppose -5*g - z = -4*g, 0 = -5*t - 2*g + 32. Does 2 divide t?
True
Let a(w) = 4*w - w**2 - w + 6*w. Let t be a(6). Suppose -34 = -2*n + 2*b, 5*b = -3*n - t + 61. Is n a multiple of 11?
False
Let z(f) = -f**3 + 18*f**2 - 10*f + 2. Is z(14) a multiple of 34?
True
Let a(b) = 4*b + 1. Let i be a(-1). Let f = i - -22. Suppose -f - 59 = -2*k. Is 9 a factor of k?
False
Let p = 109 + -70. Is p even?
False
Let b(y) = -31*y - 2 - 2*y + 20 + 17. Does 40 divide b(-5)?
True
Let p = -280 - -428. Suppose -3*j - 107 = -i, 6*j - 82 = -i + 4*j. Suppose p = 5*q - i. Is 8 a factor of q?
True
Suppose w - 2*j + 6 = 0, -5*w + j = -3*j + 12. Suppose 0 = -w*a - 3*a + 36. Does 3 divide a?
True
Let h be ((-5)/10)/(1/(-2)). Is 16 a factor of (103/(-3)*-3)/h?
False
Let q(m) = 3*m**2 + 15*m + 3. Let z(y) = y**3 - 6*y**2 + y - 13. Let l be z(6). Is 29 a factor of q(l)?
False
Suppose 4*o - 598 = -5*f - 161, 5*f + 284 = 3*o. Is o a multiple of 3?
False
Let x be ((-36)/8)/(-3)*-4. Suppose 3*v + 14 = -2*h + 88, 40 = h + 3*v. Let p = h - x. Does 30 divide p?
False
Let i(n) = n + 3. Let w be i(5). Let l = w + 1. Does 2 divide ((-4)/6)/((-2)/l)?
False
Let u(i) = 0*i + i + 13*i**2 + 20*i**2 - 10*i**2. Let o = 4 - 3. Does 12 divide u(o)?
True
Suppose -11*n = -2531 - 4916. Is 23 a factor of n?
False
Let d = -39 + 38. Is 4 a factor of (-17 - -3)*(d/2 + -1)?
False
Suppose 4*a = -3*g - 11, g = 5*a - 0*a + 28. Let y(p) = -24*p**2 + 8*p - 13. Let z(c) = 11*c**2 - 4*c + 7. Let i(n) = 6*y(n) + 13*z(n). Is i(a) a multiple of 2?
True
Let a be 20/(-12)*(-12)/10. Suppose 2*k = k - r + 151, r + a = 0. Is k a multiple of 34?
False
Let s(p) = -p**3 - 7*p**2 - 5*p - 7. Let x be ((-6)/(-2) - 4)*7. Does 28 divide s(x)?
True
Suppose -4*g + 17 = -3. Suppose 0 = -3*w - 2*c - g, 5*w = -c - 4 - 2. Let d = 7 - w. Does 4 divide d?
True
Suppose -115*b = -106*b - 5652. Does 5 divide b?
False
Let k(y) = 3*y**2 + y - 23. Is 30 a factor of k(-7)?
False
Let f(v) = v**2 + 11*v - 12. Let d be f(-12). Suppose d = 5*z - 62 - 188. Suppose 2*k + 4*r = 128, -2*k + z = 2*r - 80. Is k a multiple of 18?
False
Suppose -2*s = 6*s - 8352. Does 12 divide s?
True
Let w be 1/(-4) + 274/8. Suppose 5*h + 2*n = 272, n = -n - 8. Let d = h - w. Is 11 a factor of d?
True
Does 25 divide ((-6)/9)/((-44)/37950)?
True
Is (-1)/(-6)*-64*-444 a multiple of 74?
True
Suppose -2 = -4*o + 6*o. Let r be (o - -85)*6/18. Suppose 123 - r = 5*a. Does 11 divide a?
False
Let n be (197 - -3)/4*376/10. Suppose 8*f - n = -0*f. Is f a multiple of 16?
False
Let o(w) = w**2 + 4*w - 5. Let q be o(-7). Let k be q - (-2 - 0 - -6). Suppose k + 112 = 4*m. Is m a multiple of 8?
False
Is ((-160)/(-1))/(4/4) a multiple of 18?
False
Let u(m) be the third derivative of -m**6/120 + m**5/20 + m**4/24 + 109*m**3/3 + 42*m**2. Does 21 divide u(0)?
False
Let g = -1779 + 3364. Is 18 a factor of g?
False
Let i(u) = -u**2 + 6*u - 4. Let m be i(4). Let s(x) = 5*x**3 + 4 - 2*x**2 - 1 - 2*x**3 + x - m. Is s(2) a multiple of 17?
True
Let f(u) = -u**3 - 17*u**2 + 42*u - 35. Is 7 a factor of f(-20)?
False
Let l be 9/(-6)*(40/(-12) - -2). Suppose -l*s = -y - 565, 290 = 2*s - s + 2*y. Is s a multiple of 10?
False
S