128, -7*l + 5*l = 4*d - 4856. Is 12 a factor of l?
True
Let a be (-4)/(-10) - (-96)/10. Let g(l) = l**2 - 13*l - 11. Let b(c) = -c - 1. Let j(p) = b(p) - g(p). Is 10 a factor of j(a)?
True
Let j be 2 - 4 - 12/(-2). Suppose 5*x = 4*m + 4 - 32, 3*x + 12 = 0. Suppose 2*p = 3*t + 99, 3*p + m*p = -j*t + 236. Is 12 a factor of p?
True
Suppose -16 = o - 4*x, -o = -2*x + 19 + 3. Let a = 86 - o. Does 18 divide a?
False
Let l be 290/6 - 8/6. Let o = 1 + l. Is 10 a factor of o?
False
Is 10 a factor of -1*(7 - (224 + -3))?
False
Let m = -32 + 40. Is m a multiple of 8?
True
Suppose 30 = -q + 3*q. Let o = 31 - q. Is 4 a factor of o?
True
Suppose 7*y = 21*y - 2184. Does 13 divide y?
True
Let h(r) = r - 1. Let q be h(5). Suppose -q*a + 7*a = 12. Is 2 a factor of a?
True
Let x be (-8)/10 - (-2528)/10. Suppose -10 = 3*n + 2*n, 2*r - x = 5*n. Is r a multiple of 20?
False
Let m(a) = 5*a**3 + 2*a**2 - 2*a + 1. Suppose 3*h = 7*h - 36. Let o = -8 + h. Is m(o) a multiple of 3?
True
Let h = -185 + 350. Suppose 0 = -2*z + 10, 4*i + 0*z = 3*z + h. Is i a multiple of 9?
True
Suppose 3*c + 3846 = 2*y, 0 = -5*y - 14*c + 18*c + 9608. Is y a multiple of 32?
True
Let m = -190 - -43. Let j = 247 + m. Is j a multiple of 35?
False
Suppose 10*t + 192 = 1152. Is t a multiple of 5?
False
Let r(c) = -c**2 - 9*c - 2. Let z(m) = -2*m**2 - 17*m - 4. Let n(h) = -11*r(h) + 6*z(h). Let a be n(-2). Suppose -2*x + x + 39 = a. Does 13 divide x?
True
Let w(t) = 11*t**2 - 4*t - 12. Is 24 a factor of w(-6)?
True
Let z be 3/((18/134)/3). Let m be 8/(-52) - z/(-13). Suppose -89 = -2*g - 3*s, m*g + 3*s - s = 195. Is 14 a factor of g?
False
Suppose 3*g + 4*y - 52 = 2*y, -g - 4*y + 34 = 0. Is 7 a factor of g?
True
Let i be (-52)/(-6) + 14/42. Is 14 a factor of (-8)/12 - (-447)/i?
False
Let h(u) = u**2 - 19. Let c be (-291)/(-27) + (-4)/(-18). Is 12 a factor of h(c)?
False
Suppose -2*l = 4*u - 0*l - 18, 3*u + 4*l - 11 = 0. Suppose u*c = 7*c - 108. Does 18 divide c?
True
Let x(l) = l**3 - 3*l + 1. Let z be x(2). Suppose 4*a + 3*o + o = 80, -4*a + z*o + 108 = 0. Is 24 a factor of a?
True
Suppose 885 = 12*d - 1767. Does 24 divide d?
False
Let n(k) = 11*k**2 + 3*k - 6. Does 62 divide n(-6)?
True
Let y be (-1*3)/1*-17. Let s = 118 + -113. Suppose -60 = -s*h - 5*l, -6*h + h = -4*l - y. Is h a multiple of 5?
False
Suppose 0 = -4*m + 6*m - 6. Suppose -3*k + 3*c + 300 = -63, -m*k + 2*c = -360. Does 16 divide k?
False
Let s(f) = 4*f**2 - 20*f + 6. Let o be s(5). Suppose -o*d + 15*d = 2160. Is 30 a factor of d?
True
Let o = 616 - 356. Is o a multiple of 26?
True
Suppose 2*i - 5 = -5*l + 4, -2*l + 2*i + 12 = 0. Let m(t) = -5 - l - 26*t + 6. Is m(-2) a multiple of 12?
False
Let x = 5 - 3. Suppose -x*d = -0 - 8. Suppose 104 = d*r - 88. Is r a multiple of 16?
True
Suppose 211*r - 180*r = 43648. Does 11 divide r?
True
Let j(q) = 16*q**2 + 7*q - 29. Is 18 a factor of j(7)?
False
Suppose 2*c - 2*y - 47 - 125 = 0, 0 = -2*c - 5*y + 137. Is 22 a factor of c?
False
Let j(f) = 18 - 30*f - 32 + 21. Is 2 a factor of j(-1)?
False
Let a = 731 - 512. Is a a multiple of 23?
False
Let m = 30 + -26. Suppose 1 = 3*d + 7, -m*n = -4*d - 316. Is n a multiple of 6?
False
Suppose -2*t - 71*s = -70*s - 3220, 2*s + 8 = 0. Does 26 divide t?
True
Suppose 2 = 2*i, -3*i + 242 + 1 = 4*q. Does 2 divide q?
True
Suppose 3*z = 6*z - 15, 0 = -2*k + 4*z + 1008. Is 22 a factor of k?
False
Let v(x) = -x**3 + 13*x**2 - 11*x - 18. Let g be v(12). Does 6 divide (g/(90/805))/((-4)/12)?
False
Let l be (3/9 + -1)*-3. Suppose -l*c = -5*w - 31, -5*c - 2*w + 88 = -4*w. Does 8 divide c?
False
Suppose -n + 9 = 7. Is 5 a factor of n/(-5) - 2223/(-95)?
False
Suppose -12*d + 30 = -9*d. Suppose -2*x + d = 0, -3*j = -3*x + x - 62. Is 17 a factor of j?
False
Suppose 0 = 2*j + 2*k - 16, j - 7 = -5*k + 17. Suppose -j*r = -3*d - 65, 3*d - 114 = -5*r - 26. Is r a multiple of 17?
True
Suppose -94*c - 480 = -95*c. Is c a multiple of 15?
True
Is (-42)/(-126) - 776/(-3) a multiple of 10?
False
Let o be 158*((-25)/10 - -2). Does 27 divide o/(-1) - (-3 - 0) - 1?
True
Let m(c) = -22*c - 188. Is m(-31) a multiple of 26?
True
Is 13 a factor of 7 + (-4095)/(-14) + (-1)/2?
True
Suppose 0*x - 5*x + 20 = 0. Suppose 0*w - 42 = -w + 2*o, -5*w + 228 = -x*o. Does 13 divide w?
False
Suppose 0 = w + 6062 - 8537. Is 5 a factor of w?
True
Let k(d) = -3*d**3 - 4*d**2 - 4*d - 8. Is k(-6) a multiple of 26?
True
Let k(d) = -d**2 - 2*d. Let y be k(-2). Let u = -5 + 17. Suppose -2*q = -3*n - 17, -4*n + u = -y*n. Is q a multiple of 4?
False
Let q(p) be the second derivative of -p**4/12 + 5*p**3/6 + 12*p**2 + 21*p. Is 2 a factor of q(5)?
True
Suppose s + 2*s = 3, -2*b + 98 = 2*s. Suppose 8*x - 10*x + b = 0. Is x a multiple of 4?
True
Suppose 4*l + 8 = -3*f + f, -12 = -3*f + 2*l. Let t(n) = 9*n**3 + n**2 + n - 2. Is t(f) a multiple of 38?
True
Let x be (-2 + 0 + 2)/(-1). Suppose x*l = -l - 1977. Does 21 divide l/(-27) + (-6)/27?
False
Does 18 divide ((-31680)/504)/(2/(-49))?
False
Suppose 4*l = 5*f + 5, 2*l + 1 = 2*f - 3*f. Suppose 0*g - 5*g + 800 = l. Suppose g = 4*k + 4*h + 56, 4*h + 139 = 5*k. Does 9 divide k?
True
Let v(f) = -f**3 - 3*f**2 - 7*f + 12. Let t be v(-11). Suppose -t = -3*p - 4*p. Is 14 a factor of p?
False
Suppose -866 + 19 = 11*y. Is 19 a factor of (5*-1)/(7/y)?
False
Suppose -5*t = -10 - 0. Suppose -o - t*n + 66 = 0, 135 = -0*o + 2*o + 5*n. Suppose -2*m + 54 = m - 3*l, o = 4*m + 2*l. Does 4 divide m?
True
Let m = -1320 - -1608. Is m a multiple of 8?
True
Let h = -184 - -717. Does 13 divide h?
True
Let y be ((-24)/20)/(-3) + (-202)/5. Let k = y - -103. Is k a multiple of 41?
False
Let g(t) = 18*t**2 - 6*t + 6. Let l be g(2). Suppose -l = -o + 51. Does 37 divide o?
False
Let z(q) = q**2 - 5*q + 4. Let k be z(4). Let f be (-4)/(-3 - (-16)/6). Suppose 4*p + 5*c = 29, -p + 3*c + 8 + f = k. Is p a multiple of 8?
False
Suppose 32*q - 9770 = 27*q. Is q a multiple of 99?
False
Let y(s) = 2*s**2 - 3*s - 6. Let x be y(4). Let m be 70/5*x/4. Suppose 0 = -2*h - 2*h + 3*b + m, -3*b = -h + 10. Is h a multiple of 13?
True
Suppose -33*c = -29*c - 2260. Is 50 a factor of c?
False
Let j = 4 - 0. Suppose 3*r = 2*r - 2*w + 72, -3*r + 266 = -j*w. Does 12 divide r?
False
Let o be -1*2*(-33)/2. Let b = o - 3. Is b a multiple of 5?
True
Suppose 0*u + 4*c = u - 82, -u - 4*c = -42. Does 31 divide u?
True
Suppose 2*z - 101 = 163. Is z a multiple of 2?
True
Does 24 divide -6 - (8*6/(-6) - 1579)?
False
Let q be (-44)/6*51/(-2). Let s = -61 + q. Is 9 a factor of s?
True
Does 38 divide (-2)/(-8) - (6 - 12235/20)?
False
Let s(n) = -n**3 + n**2 + 2*n - 18. Let i be s(-7). Suppose 0 = 2*h - 7*h + i. Does 6 divide h?
True
Let y(x) = x**3 + 16*x**2 + x + 21. Let v be y(-16). Suppose -v*t + 5 - 19 = -a, 5*a + 34 = -t. Let w = 20 - a. Does 8 divide w?
False
Let n be -8*-2*1/4 + 1. Suppose n*z + q - 547 = 0, -z + 78 + 47 = -5*q. Is 10 a factor of z?
True
Suppose -3*s + 552 + 607 = -5*u, s + 4*u - 358 = 0. Suppose -78 = 2*n - s. Is n a multiple of 36?
False
Let t(u) = u**2 + u. Let h be t(-3). Suppose -5*f - h = 2*a - 21, -3*a + 5 = 4*f. Is 340/25 + 2/f a multiple of 14?
True
Let p = 654 + -480. Is 9 a factor of p?
False
Suppose -14 - 50 = -2*z. Let n = z + -4. Is 2 a factor of (4/(-8))/((-2)/n)?
False
Suppose 135 = q - 3*a - 67, -3*q + a + 646 = 0. Is q a multiple of 31?
True
Suppose 3*p - 3827 = -2*f, -11*f = -8*f - 2*p - 5734. Is 8 a factor of f?
True
Let r = 45 + -45. Is (r - -3)/(11/396) a multiple of 36?
True
Let c = -28 + 37. Suppose 225 = 4*h + c. Is h a multiple of 19?
False
Let h = -208 + 388. Does 36 divide h?
True
Suppose -2*d = 2*d - 224. Suppose -4 = -3*z + d. Is 10 a factor of z?
True
Let s be (-12)/(3 - -1 - (-15)/(-6)). Does 14 divide (-2)/(-4) - 1228/s?
True
Suppose 0 = 2*b + 2*u - 76, 136 = -b + 5*b - 4*u. Is b a multiple of 4?
True
Is 28 a factor of ((-6612)/(-570))/((-1)/(-350))?
True
Suppose -x = c - 2763, x + 5514 = c + c. Does 146 divide c?
False
Suppose 0 = -17*b - 6058 + 17295. Is 62 a factor of b?
False
Let d(w) = w**3 - 5*w**2 + 5*w - 2. Let o(i) = -i**2 + 10*i - 16. Let b be o(7). Is 5 a factor of d(b)?
False
Suppose -j + 2*m + 4 = j, -5*j - 2*m + 31 = 0. Suppose -j*q = -3*o + 291, 4*q - 80 = o - 2*o. Suppose -o = -3*a - a. Is a a multiple of 7?
False
Let c = -2 + 7. Let x(s) = -c*s + 9*s*