
False
Let y = -314 - -437. Is y a multiple of 74?
False
Let n be (-2)/6 - 20/(-6). Suppose 0 = 2*y - y - n. Suppose y*g + 15 = -0*d + d, -42 = -2*d + 2*g. Is 8 a factor of d?
True
Is 19 a factor of (-1200)/(-7) - 3/7?
True
Suppose 5 - 81 = -4*t. Suppose o = t + 27. Is o a multiple of 6?
False
Suppose -b + 3*b = -30. Let u be (-9)/b - 1146/(-15). Let o = u + 76. Is 37 a factor of o?
False
Let u(i) = i**2 - 5*i + 6. Let a be u(4). Let z(k) = 5 + 0 + k**2 - 2 - a. Is z(-3) a multiple of 10?
True
Suppose 840 = 5*k - 1565. Is k a multiple of 37?
True
Let o be (2/(-4))/(2/(-92)). Let a(g) = g**2 - 23*g + 29. Is 8 a factor of a(o)?
False
Suppose -2*v - 11 = -3*z, 0*v - 7 = -z - v. Suppose i + 6 - 42 = z*k, -296 = -5*i - 4*k. Is i a multiple of 15?
False
Let v = -2580 - -3394. Is 11 a factor of v?
True
Let g = 3 + -5. Let l = 60 - 58. Does 2 divide l/((-28)/(-12) + g)?
True
Suppose q = -4*y - 4, -2*q - 8 = y - 0*q. Let s(n) = 2*n + 44. Let k be s(y). Is 328/11 + 8/k a multiple of 6?
True
Suppose -13*y = 1784 - 11612. Is 36 a factor of y?
True
Let g = 9 - 9. Suppose -4*z = -k - 8 - 32, -4*z - 5*k + 16 = g. Suppose -5*l + 62 = -2*l - 5*n, -l = -4*n - z. Is 8 a factor of l?
False
Let d(z) = -z**3 - 4*z**2 + 46*z + 11. Let p be d(-9). Let k(u) = 49*u**2 - 4*u + 4. Is 14 a factor of k(p)?
False
Suppose -3078 = -34*r + 14160. Is r a multiple of 10?
False
Let y(i) = i**3 + 22*i**2 - 4*i - 26. Suppose -t = b + 20, 3*b = 4*t - 9 - 65. Is y(b) a multiple of 14?
False
Let p be 6/(-63)*-3 + 66/14. Let z(m) = 17*m - 41. Does 17 divide z(p)?
False
Let k = 3009 - 1800. Does 39 divide k?
True
Suppose -m = 45*t - 48*t + 841, 578 = 2*t - 5*m. Does 31 divide t?
True
Let n(s) = -s**2 - 47*s - 14. Is 15 a factor of n(-37)?
False
Let c = -169 - -2599. Is 30 a factor of c?
True
Let o be (-2)/(-16) - (-93)/24. Suppose 3*y - 77 = -2*u, -y - 4*u - 89 = -o*y. Suppose -57 = -4*s + y. Is 7 a factor of s?
True
Suppose 53*s + 204 = 59*s. Is 3 a factor of s?
False
Let n(y) = -9*y - 12*y - 2*y - 1. Let a be n(1). Let l = -19 - a. Is l a multiple of 2?
False
Is ((-336)/15)/(-5*9/450) a multiple of 3?
False
Let w = -6 - -11. Suppose 0 = -w*f + 5*p - 25, 2*f + 26 = -2*f - 2*p. Let u(l) = l**3 + 9*l**2 - 3*l. Is 18 a factor of u(f)?
True
Let j = 7 + 2. Let q = -3 + j. Suppose 4*w = q + 22. Does 6 divide w?
False
Suppose 2*p = 3*u + 5 + 2, u = -5*p + 9. Is -2*(-254)/(-4)*u a multiple of 15?
False
Suppose 0 = 3*t + d + 3*d + 346, -575 = 5*t + 5*d. Is 16 a factor of (17 - 16) + (1 - t)?
False
Suppose -1866 = -85*q + 83*q. Is 17 a factor of q?
False
Let x = -1109 + 2329. Is 12 a factor of x?
False
Suppose -5816 = -12*u + 4768. Is u a multiple of 73?
False
Suppose 3*a + 12 = 5*a. Let g be (-1)/3 + 356/a. Let q = g - -9. Is q a multiple of 17?
True
Suppose -5*z - 4*z + 81 = 0. Let w(h) = -7*h**2 + 6*h + 3. Let m(b) = 15*b**2 - 12*b - 5. Let k(y) = -6*m(y) - 13*w(y). Is k(z) a multiple of 11?
False
Let j(n) = 80*n**3 - 2*n**2 - 9*n + 17. Is j(2) a multiple of 26?
False
Let q = 14 - 12. Let n be ((-21)/(-2))/(1/q). Is 14 a factor of n + 4 - (-4 + 1)?
True
Suppose -79 = 3*f - 436. Let h = 223 - f. Does 26 divide h?
True
Is 57 a factor of (-2)/(-7) - 77547*(-16)/336?
False
Suppose 3*u - 4*n - 3961 = -47, -u - 3*n + 1322 = 0. Is u a multiple of 11?
False
Let x be ((-12)/5)/((-16)/40). Suppose 2*p + 214 = x*p - 2*w, -w + 163 = 3*p. Does 18 divide p?
True
Let j = 275 + -179. Is 4 a factor of j?
True
Suppose -4*l = -4*i - 6296, -2*l + 1033 + 2127 = -5*i. Is l a multiple of 83?
False
Suppose -5*w + 7 = 2*h, 3*w = h + 2 - 0. Is 8 a factor of -4*((-5)/(15/39) - w)?
True
Let g = 391 - 664. Let k = 405 + g. Does 22 divide k?
True
Suppose -11 = h + 4*d, 3*d + 7 + 2 = 0. Suppose -p = -h - 3. Is (18/p)/((-12)/(-16)) even?
True
Let w be -12*(28/(-12) + 2). Suppose w*t + 48 = -2*o, -5*t = o + 2*o + 70. Let f = 31 + o. Is 8 a factor of f?
False
Let m = 5 - 1. Suppose -4*s - 4*q = -0*s - 4, -4 = -m*q. Let i = 38 - s. Is i a multiple of 19?
True
Let q(s) = -s**3 + 9*s**2 - 2*s - 5. Let r be q(8). Let n = 140 + r. Let x = n - 101. Is x a multiple of 18?
False
Let k(w) = -10*w**2 + 12*w**2 - 4*w + w**3 + 3 + 2*w. Let y be k(-3). Suppose 0 = 2*i - y*i - 72. Does 12 divide i?
True
Let q(r) = 0*r**3 + 4*r + 5 - r**2 - r**3 + 11 + 0*r**3. Is q(0) a multiple of 4?
True
Let s = 161 - 107. Suppose 0 = r - 2*l - s, -3*r - 2*r - 4*l = -312. Is r a multiple of 12?
True
Let x be (2 + -2)/(3 - 6). Let w(l) = l**3 + l**2 - l + 34. Let r be w(x). Let h = -14 + r. Does 10 divide h?
True
Suppose -y + 3*y = -4*l, 0 = -5*l + 3*y + 22. Suppose 0 = h + 2*i - 14, i + l*i = -2*h + 33. Is h a multiple of 14?
False
Suppose 7 = 3*y + 16. Let k be (59 - 2)/3 + y. Is (-57)/4*k/(-3) a multiple of 19?
True
Let w be ((-8)/(-24))/(2/6). Let z be w + 7 + 12/(-4). Suppose -3*k = -19 - z. Is 8 a factor of k?
True
Suppose 0 = 4*v - 4*z - 160, -4*z + 1 = 5. Let j = v - 31. Suppose y - 10 - j = 0. Is 9 a factor of y?
True
Suppose 4*l + 0*v - 3*v = -60, 0 = -3*l - v - 58. Is 4/l*-71 - 2/(-9) even?
True
Let n = -2 + 0. Let a = 5 + n. Suppose -x = a*x - 60. Is 5 a factor of x?
True
Let o(p) = -3*p**2 + 6*p + 14. Let v be o(6). Let g = -18 - v. Is g a multiple of 20?
True
Suppose -32 = -r + 2*r - 2*f, 4*f = -4*r - 104. Suppose 5*q - l = 244, 2*q - 247 = -3*q - 2*l. Let y = q + r. Is y a multiple of 8?
False
Suppose -x + 1420 = 3*x. Suppose -47 + x = 4*r. Is r a multiple of 14?
False
Does 56 divide 25/5 - (-8 - 570)?
False
Let k(f) = -104*f - 7. Let c(y) = -26*y - 2. Let d(p) = -9*c(p) + 2*k(p). Let v be d(4). Suppose -13*m = -10*m - v. Is m a multiple of 18?
True
Suppose -9 - 9 = 6*p. Let s be -2 - -2 - (1 + p). Is 5 a factor of (-2)/(4 + s)*-27?
False
Let g(c) = c + 5. Let f be g(-5). Suppose 2*t + 0*t - 8 = f. Suppose -t*n + 59 = -137. Does 11 divide n?
False
Let n = 50 - -21. Is n a multiple of 2?
False
Let w be 5/(-15) - 1/(-3). Suppose w = 4*q - 5*b - 0*b - 10, 0 = 3*q - 3*b - 9. Suppose -5*m + 4*l + 19 = -18, 0 = -5*m - q*l + 10. Is m even?
False
Suppose -5*o - j = -7, o - 5 = -5*j + 3*j. Let h be (o - -1*22)*-1. Let g = -11 - h. Does 10 divide g?
False
Let g(w) = w**2 - 9*w + 5. Let y be g(5). Let q = y - -17. Is (4/6)/(q/21) a multiple of 2?
False
Let k(j) = 0 + 0 - 7*j + 7. Suppose 26*h = 25*h - 8. Does 23 divide k(h)?
False
Let f(h) = 3*h**2 + 12*h + 6. Let s be f(-4). Does 10 divide ((-1460)/15)/((-4)/s)?
False
Suppose -2*r + 28 + 62 = 0. Does 2 divide r?
False
Suppose 4*q - 3 = u - 12, -u + 33 = 4*q. Let y(o) = -18*o**3 - o**2 + 2*o + 2. Let t be y(-1). Let b = u - t. Does 4 divide b?
True
Suppose 6*n - 16 - 116 = 0. Suppose d - n - 13 = 0. Suppose 4*o = 5*p - 8 - 5, -5*o + d = 4*p. Is 2 a factor of p?
False
Let n(p) = -p**3 - 18*p**2 + 12*p - 29. Does 13 divide n(-19)?
True
Suppose -1104 = -4*b + m, -3*m = -15 + 3. Is b a multiple of 15?
False
Let h(f) = f**3 - 5*f**2 - 6*f + 4. Let w be h(6). Suppose -7 = -w*z + 5. Suppose 3*a - 201 = 3*o, 4*o - z = 1. Is 15 a factor of a?
False
Suppose -9 + 5 = -2*n. Suppose 0 = 4*s - n*s - 108. Is 18 a factor of s?
True
Let g(q) = -q**2 - 10*q + 43. Let o be g(-12). Let b(x) = 27*x - 3. Let v be b(2). Let l = v - o. Is l a multiple of 16?
True
Is 84 a factor of ((-48)/30)/(2/(-210))?
True
Suppose 2*f + 4*s = -7 - 1, 5*f - 2*s = -8. Let a be (-9)/(-2)*(0 - f). Is 12 a factor of (-2)/6 + 111/a?
True
Let d be (3/(-9))/(-1) + (-10)/(-15). Is 25 a factor of (174 + 4)/d - 3?
True
Let y(s) = 2*s - 1. Let w be y(1). Let h = 6 - w. Suppose 0*z + 62 = 2*z - 5*t, -3*z - h*t + 118 = 0. Is 18 a factor of z?
True
Let t(v) be the second derivative of 7*v**3/3 - 5*v**2 + 3*v. Let j be t(9). Let k = -64 + j. Is k a multiple of 13?
True
Let c be ((-24)/(-16))/(0 - (-1)/2). Suppose -64 = -5*j + 3*s + 14, c*s + 3 = 0. Is 2 a factor of j?
False
Suppose u = 11 + 4. Let a = 18 - u. Suppose -5*n - 30 = -a*c, 4*c - 2*n - 31 = -c. Is c even?
False
Let k be 2/(-2) - (-2 - -1). Let p(l) = -2*l - 27. Let z be p(-15). Suppose k = -z*b + 4*v + 137, 4*b = 2*b + 4*v + 86. Is b a multiple of 17?
True
Let s(l) = 2*l**3 - 14*l**2 + 14*l - 7. Is s(6) a multiple of 3?
False
Does 19 divide 171*-2*4/(-48)*14?
True
Let q = 510 - 278. Does 8 divide q?
True
Let q = -285 + 476. Let u(x) = x + 4. Let l be u(-4). Suppose -5*h = -4*b - 427, l = 5*