alse
Let b be (-2)/(-10) + (-392)/(-40). Let a be (-12)/b*(3 - (-1164)/(-8)). Suppose a + 45 = 6*o. Is o a multiple of 2?
True
Suppose 5*g - 2*m - 6400 = 0, 3*g - 5*m - 3849 = -2*m. Does 6 divide g?
True
Let p = -96 - -139. Suppose -5*a + 452 + p = 0. Does 68 divide a?
False
Let n(z) = z**3 - 4. Let l be n(0). Let w(b) = -46 + 16 + 21 + 21 + 4*b**2. Is w(l) a multiple of 14?
False
Suppose 7*o + 3*y - 32 = 2*o, -o = -2*y - 9. Suppose o*k = -3*k + 3480. Is 12 a factor of k?
True
Let j(r) = -r**3 + 2*r**2 + 7*r + 6. Let q be j(-3). Does 20 divide (-24)/((4 + 0)*(-3)/q)?
True
Let g(n) = -7*n - 47. Let t(p) = -35*p - 235. Let z(h) = -11*g(h) + 2*t(h). Let l be z(-6). Suppose r = w + 38 + 22, 2*w = -l*r + 300. Is 35 a factor of r?
False
Let b = 674 - 669. Suppose 2*s = -b*x + 4304, -5*s + 11 = 1. Is 19 a factor of x?
False
Suppose 0 = -x + 2*p - 26, -38 = -0*x + x - 5*p. Let l = -12 - x. Is (-109 + 3/3)/(l/(-4)) a multiple of 18?
True
Let n(f) = -4*f - 33. Let l be n(-11). Suppose l*s - 460 = 1388. Suppose 3*k - 148 = -o, -4*o + 3*o = -2*k - s. Does 24 divide o?
False
Let x = -8 + 12. Let v(f) = 5*f + 7 - 6 + x*f - 25. Is v(7) a multiple of 39?
True
Let d be (-15350)/(-40) + (-2)/(-8). Suppose d = 4*f + 4*q, 76 - 565 = -5*f + 4*q. Let v = f - 69. Is v a multiple of 7?
True
Let c = -139 + 95. Does 19 divide (6672/c)/(-2) + (-6)/(-33)?
True
Let u = -29 + 49. Suppose -h + u = 4*p - 3*h, 2*p - 4*h - 16 = 0. Suppose -p*l = 3*t - 1076, 6*l - 2*l - 4*t = 1104. Is l a multiple of 42?
False
Suppose q - 184 = 2*s - 2*q, -2*q = 0. Let i be (-5 + (-1 - -4))/(2/s). Suppose -5*l = 2*o - 6*o + 86, i = 4*o - 2*l. Is 2 a factor of o?
True
Suppose -77*n - 2 = -76*n, n = -3*z + 15166. Does 32 divide z?
True
Suppose 39*z + 44 = 50*z. Suppose -z*t + 13*v = 9*v - 336, -5*v - 262 = -3*t. Is t a multiple of 5?
False
Let a be (-3)/9 - 102/18. Let x(q) = q**3 + 4*q**2 + 7*q + 1. Let m be x(a). Let z = 161 + m. Does 12 divide z?
True
Suppose 0 = f - 5*z - 5, -4*f = -3*z - 9 - 11. Let i = -10 + 12. Suppose -4*w - 2*l = -374, i*w - f*l - 221 = -4. Does 32 divide w?
True
Let d = -6149 - -7857. Is d a multiple of 5?
False
Let s(h) be the second derivative of h**5/20 - h**3/3 - 9*h**2/2 + 9*h. Let b be s(5). Suppose 53 = x - p, -x - x - 3*p + b = 0. Is 7 a factor of x?
False
Let k be -6 + (-12)/2*-43. Suppose 59*t - 53*t = k. Is 7 a factor of t?
True
Let u(t) = 8*t**2 - 42*t + 5. Let w be u(8). Suppose 5*z = -5*d + 2*z + 16, 14 = 4*d + 3*z. Suppose -5*j - w = -d*b - 2*b, 0 = 5*j + 5. Does 11 divide b?
True
Let f be ((-202)/(-4) - 4)/((-6)/(-60)). Suppose -f = 27*x - 5568. Does 27 divide x?
True
Suppose 0 = -14*h + 15*h - 5. Suppose j - 125 = 4*w, -h*j = -0*j + w - 520. Is j a multiple of 35?
True
Let a(o) = 2*o**3 - 5*o**2 + 3*o - 101. Let y(k) = 3*k**3 - 7*k**2 + 4*k - 151. Let d(c) = 7*a(c) - 5*y(c). Suppose t = -0*t. Is d(t) a multiple of 16?
True
Suppose 4*c + 3888 = 4*b + 21372, 0 = -3*c + 5*b + 13115. Is c a multiple of 95?
True
Let w = -7301 + 8550. Is w a multiple of 8?
False
Suppose -2*l + 2*g + 11288 = 0, -51*g = l - 49*g - 5638. Is 102 a factor of l?
False
Let q(a) = -a**2 + 30*a + 60. Does 4 divide q(28)?
True
Let t(l) = l**3 + 15*l**2 - 20*l - 3. Let z be t(-16). Suppose 3*v + 3*n + 2*n = -z, -27 = v + 3*n. Is 40/v*((-7)/5 - 1) a multiple of 2?
True
Suppose 5*p = 5*t - 60 - 40, 0 = 2*p - 8. Let n = -20 + t. Suppose -45 - 15 = -n*y. Is 8 a factor of y?
False
Suppose -8*u = -4*u + 24*u - 79800. Is u a multiple of 6?
True
Suppose -7611 = -2*n + 3*o, 2*n + 4*o = -n + 11340. Is 12 a factor of n?
True
Let r be (81/(-18))/((-2)/4). Suppose 30*v = -20*v. Suppose c - r - 43 = v. Does 52 divide c?
True
Suppose -38*n + 30*n = 1376. Let b = n + 308. Is 34 a factor of b?
True
Suppose -5*z - 15 = -55. Suppose -4*t = c - 0*c + 12, 2*t - z = -4*c. Suppose v - b = c*v - 641, -v + 2*b = -202. Is 31 a factor of v?
False
Suppose -53690 = -4*q + m, -163*q - 5*m - 40293 = -166*q. Does 38 divide q?
False
Let s = 680 - 361. Let b = s - 39. Suppose -7*z = -9*z + b. Is 14 a factor of z?
True
Suppose -3*j + 4*g = -8086, 14*j - 19*j = -g - 13471. Suppose -13*u = -19*u + j. Is 46 a factor of u?
False
Suppose 1035 = 3*f - 93. Let o be (-3 - 18/(-8))*-96. Suppose 4*j + 4*r - 308 = o, 0 = 4*j + 2*r - f. Is j a multiple of 18?
False
Let c(b) = b - 8. Let u be c(12). Suppose 1 = w + u, -2*s - w = -3. Is 6/3 - (252/s)/(-2) a multiple of 11?
True
Let o(q) = 4*q + 25. Let k be ((-6)/(-6))/((-8)/(-10) + -1). Let v be o(k). Suppose 0 = v*t - 6*t + 21. Is t a multiple of 18?
False
Suppose 32*w + 30*w - 47580 = 61*w. Is w a multiple of 260?
True
Let r = -139 + 180. Suppose 37*i - r*i = -248. Does 34 divide i?
False
Suppose 2*o = -20 + 72. Let i(l) = l**2 - 23*l - 63. Let m be i(o). Suppose 0 = m*b - 6*b - 963. Is 19 a factor of b?
False
Suppose 17*x = -163258 + 190900. Is 6 a factor of x?
True
Let d be -2 - -2 - (-3 + 1). Let s be (-2)/(-4)*8/d. Suppose -2*p - 200 = -k + p, 4*p + 410 = s*k. Is 43 a factor of k?
True
Let b = 55 + 99. Is 38 a factor of b/4 + (-8)/(-16)*-1?
True
Suppose 5*g + 8*j = 4*j - 1129, 5*j - 1120 = 5*g. Let t = 446 + g. Is 9 a factor of t?
False
Suppose 2*a - 34 = -10. Let g = 3 + a. Suppose -5*b = j - g, b - 124 = -4*j - 3*b. Is 4 a factor of j?
False
Let y(i) = 2*i**3 + 116*i**2 - 79*i + 270. Does 29 divide y(-55)?
True
Suppose -v + 304 = 4*k, 2*k - 7*k + 380 = -4*v. Suppose t - k = 43. Is 24 a factor of t?
False
Suppose -5*l = 5*w - 14585, -8711 = -25*l + 22*l + 5*w. Is l a multiple of 112?
True
Let g = -63 + 68. Suppose d - g*m + 6 = -0*d, m + 4 = 0. Let s = d + 72. Is s a multiple of 18?
False
Let w(p) = p**3 - 19*p**2 - 4*p - 270. Does 51 divide w(26)?
False
Let n(q) = -841*q**3 - 2*q**2 + 20*q + 21. Suppose -178*s + 167*s = 11. Does 13 divide n(s)?
False
Suppose -12*m + 7*m + 0*m = 0. Suppose -4*t - 2*p + 294 = m, -2*p - 132 = 8*t - 10*t. Is t a multiple of 9?
False
Suppose 3 = 4*y - 5. Suppose -m - 48 = y*m. Let x = 13 - m. Is x a multiple of 29?
True
Does 77 divide (-455301)/(-18)*6*3/27?
True
Suppose 5*v + 2*i = -2*i + 43, -2*i = -4. Let w(n) = -10 - v - 7*n + 7. Is w(-6) a multiple of 4?
True
Let b = -6796 - -7285. Is 12 a factor of b?
False
Let u = -331 - -331. Suppose u = -13*a + 16*a - 945. Does 12 divide a?
False
Suppose 11 = 10*t + 51. Does 69 divide 1*1/t + 70395/60?
True
Suppose -3*x - 12 = -3*q, x + 4 = 15*q - 13*q. Does 57 divide 3 + (-36)/x*101?
True
Suppose 136*j + 42689 + 262291 = 274*j. Does 170 divide j?
True
Suppose 0 = -4*v + 5*v + 6. Let f be 5 + (-1 - 1)*3/v. Suppose 2*i = 6*i + p - 322, 3*p - f = 0. Is i a multiple of 7?
False
Suppose -5*m - 3300 = -5*g, -3*m = 2*m. Is 15 a factor of g?
True
Suppose 0 = 6*u - 2*u - 1368. Suppose 3*y = -2*y - 2*o + u, -5*y + 343 = 3*o. Let t = 113 - y. Is t a multiple of 9?
True
Let t be (-4)/(-12) - (-46787)/39. Let w = -1025 + t. Is w a multiple of 6?
False
Is 16 a factor of (-3)/4 - (105105/(-4))/35?
False
Let u be (-1)/(9/(-96)*4/9). Let i = u - 21. Suppose 146 = 2*o + i*l, 0 = 2*o + o + 4*l - 218. Is o a multiple of 10?
True
Let q be ((-6)/8)/((-8)/3264). Suppose -21*s = -18*s - q. Let r = -58 + s. Does 5 divide r?
False
Let v(f) = -5*f**3 - f**2 - f. Let m be v(-1). Suppose -m*w = -4*i - 11, -i + 3*w = -4 + 5. Is 17 a factor of (17/((i*1)/4))/(-1)?
True
Let g(b) = -b**2 - 13*b - 9. Let k be 54/(-45)*30/4. Is g(k) a multiple of 3?
True
Let o(t) = 6*t + 218. Let s be o(-32). Suppose 2798 + 686 = s*i. Is 52 a factor of i?
False
Let s = 155 - 154. Is ((-11)/33)/(2505/(-2502) + s) a multiple of 27?
False
Let s(j) = j**2 - 17*j - 14. Let y be s(12). Let g = y - -168. Does 11 divide g?
False
Suppose 147*l = 1540754 + 10207192. Is l a multiple of 62?
True
Suppose -2*s - 2*s = -3*i - 9, 2*s + i = 7. Suppose -6*v - s*v = -18. Suppose -4*q = 2*r - 64, -69 = v*r - 4*r - 5*q. Does 3 divide r?
False
Let g(d) = -5*d - 42. Let y be g(-5). Let f(r) be the first derivative of r**4/4 + 16*r**3/3 - 21*r**2/2 - 28*r + 3. Is f(y) a multiple of 20?
True
Suppose -20805 = -4*g + 3*u, -67*u + 71*u = -4*g + 20812. Suppose 284*z = 287*z - g. Is z a multiple of 51?
True
Suppose 121*r + 5*p + 59684 = 124*r, -5*r + 99460 = 5*p. Does 19 divide r?
True
Let f(t) = 5 - 5 + t**3 - 6. Suppose -o = 0, 4*l - 20 = -l + 3*o. Is f(l) a multiple of 10?
Fal