) = 55*i - 21. Let r be h(9). Suppose 0 = 11*l - r - 527. Does 7 divide l?
True
Let f = -134 - -406. Suppose -f = -3*v - v. Suppose 4*h - v - 8 = 0. Does 19 divide h?
True
Suppose 4*t = x + 572, -8*t + 7*t - 3*x = -143. Suppose j - 3*u = -j + t, -j - 2*u = -54. Is 32 a factor of j?
True
Suppose 0 = -4*q + 11 + 13. Suppose q*v = v - 45. Let g(k) = -k**2 - 10*k - 4. Is g(v) a multiple of 3?
False
Let t(j) = 2*j + 2. Let z be (0 + -3)*(-6)/9. Let l be t(z). Does 12 divide 12/(-8) + 429/l?
False
Let f(p) = p**2 + 6*p - 10. Let x be (2 - 1 - -1)*180/(-40). Is f(x) a multiple of 17?
True
Let f be (-8)/(-20) + 69/15. Suppose 2*v - f*v + 120 = 0. Let n = -15 + v. Is 5 a factor of n?
True
Let x(y) = -4*y**3 - 15*y**2 - 13*y - 28. Is x(-6) a multiple of 29?
False
Let w be -3*(-3)/9*0 + 3. Suppose 6*k - 3*n - 41 = 2*k, 3*n - 57 = -w*k. Does 14 divide k?
True
Does 52 divide 26/4 + (-175422)/(-52)?
True
Let g(l) = -10*l**2 - 6*l - 7. Let w(i) = 10*i**2 + 5*i + 6. Let b(z) = 6*g(z) + 7*w(z). Is 9 a factor of b(1)?
True
Let x(j) = -j**3 - 20*j**2 - 3*j - 25. Let r be x(-20). Let v be (-14)/r + (-133)/5. Is (v/(-45))/((-2)/(-60)) a multiple of 8?
False
Let m be -10*(285/(-6))/(-5). Let u = m + 137. Is (-3 - 7/(-2))*u a multiple of 21?
True
Suppose 196 = 8*g - 396. Suppose 2*h - g = 4*d, 5*h = 4*d + 175 + 34. Is h a multiple of 28?
False
Suppose -51*q = -56*q + 8700. Is 30 a factor of q?
True
Suppose 0 = -2*b + b + 1. Suppose b + 8 = 3*r. Suppose 38 = r*d - 112. Is 13 a factor of d?
False
Let f be (2*1)/(4/14). Let o = -112 - -116. Suppose -f*t - 25 = -2*t, 5*t = o*u - 117. Is 12 a factor of u?
False
Let d = -20 - -27. Suppose 0 = i - d - 29. Does 36 divide i?
True
Let f(t) = t**2 - 5*t + 4. Let h be f(5). Let y(g) = -2*g**3 - 2*g**2 - 3*g - 3. Let o be y(-2). Let c = o - h. Is c a multiple of 7?
True
Suppose 16*x + 1616 - 10304 = 0. Does 7 divide x?
False
Let b be (17/3)/(4/12). Suppose -3*h + 21 = 4*p - b, p - 18 = -5*h. Suppose -4*q - 29 = -f, -2*f + p*q - 3*q = -46. Is 6 a factor of f?
False
Let a = 388 - 178. Does 4 divide a?
False
Let k(m) = -m**2 - 19*m + 22. Let n be k(-20). Does 7 divide n*(3 - (3 + -22))?
False
Let x be (2 + -242)*(-9)/6. Suppose 0*r = -5*r + x. Is 8 a factor of r?
True
Let c = -369 + 531. Does 9 divide c?
True
Suppose -21 = 4*d - 7*d - 2*q, 0 = -4*d - 4*q + 32. Suppose -8 = 2*f - 5*o - 97, 3*o - 300 = -d*f. Does 19 divide f?
True
Let n(p) = 12*p + 289. Is 67 a factor of n(15)?
True
Suppose w - 2359 = 134. Does 9 divide w?
True
Let s = -54 + 92. Suppose -3 = 5*i - s. Is 7 a factor of i - (8/(-2))/2?
False
Let g = 12 - 14. Let b(q) = -q + 4. Let n be b(g). Does 15 divide 3/n*2 + 14?
True
Let h = 377 + 511. Is h a multiple of 8?
True
Let u = 1022 + -1473. Let h = -311 - u. Is 16 a factor of h?
False
Let i(h) = 3*h - 3. Let c be i(2). Suppose -4*t - 997 = -4*a - t, -c*a = -3*t - 744. Suppose -4*n = r - a, -5*n - 4*r + 204 + 115 = 0. Is n a multiple of 34?
False
Suppose -7936 = 15*i - 31*i. Does 31 divide i?
True
Is 8 a factor of (-8)/(-7 - (-2235)/320)?
True
Let q be 6/1*(-112)/(-32). Suppose 3*d + 57 = -0*b + 2*b, 3*b - 2*d - 88 = 0. Let a = b - q. Does 4 divide a?
False
Suppose 0 = -5*h - 0*h + 920. Is 12/(-8)*h/(-6) a multiple of 8?
False
Let b(l) = l**3 - 16*l**2 - 16*l - 18. Let f be b(17). Let a be (-8)/(-3)*(f + -2). Does 10 divide (3 + a)/((-2)/4)?
True
Suppose q + q + 4*y - 996 = 0, 4*q + 5*y - 1980 = 0. Is (6/5)/(7/q) + 2 a multiple of 14?
False
Suppose -4*w + 6*w = 288. Suppose 0 = g - 5*g + w. Suppose -d + 3*d = g. Does 9 divide d?
True
Let s(u) = -26*u - 99. Is s(-9) a multiple of 15?
True
Let s = -54 + 32. Let v = 32 + s. Does 5 divide v?
True
Let w = -12 - -14. Suppose -2*d - 8 = 0, 3*t - w*d + 0*d = 104. Suppose -3*l + 4*l + 4*m - t = 0, 3*m = l - 4. Is l a multiple of 10?
False
Suppose n = 2, 5*q = 4*q - 3*n + 10. Let j(k) = -4*k - 8. Let a be j(-6). Let c = a - q. Does 6 divide c?
True
Let h(z) = -z**2 - 12*z + 17. Let b be h(-12). Let j be (8/(-1))/(-4) + b. Suppose 4*x - j = 3*x. Does 8 divide x?
False
Suppose 0*y + 36 = -4*y. Let x = y - 78. Let r = -59 - x. Is r a multiple of 16?
False
Let p be 2 - 4/4*-289. Let g = p + -208. Let j = g - 5. Does 26 divide j?
True
Suppose 0 = 3*u - 4 + 34. Let a = u + 10. Suppose 5*b - 3*b - 152 = a. Does 23 divide b?
False
Suppose -5*f + 160 = 4*g, -2*g + 132 = 4*f + 2*g. Is 7 a factor of f*1/(-4)*-2?
True
Let k be 10/45 + (-50)/(-18). Let b(n) = -3 + k*n**2 + 6 - 5*n - 2*n**2 - 2. Does 5 divide b(6)?
False
Is 45 a factor of -4 - ((-4)/5 + (-27240)/75)?
True
Does 6 divide 2/(-3)*9405/(-30)?
False
Let b be (4/(-10))/((-1)/10). Suppose -n + b*n = 45. Suppose 5*y + 4*d - 49 = n, -2*y + 4*d = -48. Is y a multiple of 5?
False
Let i be -3 - (-16)/4*1. Does 25 divide i - (-898)/6 - (-22)/(-33)?
True
Let i(u) = -99*u + 87. Is 69 a factor of i(-4)?
True
Suppose 3*s - 1678 = -2*d, s - 14*d = -12*d + 554. Is 18 a factor of s?
True
Let l(v) = v**3 - 2*v**2 - 2*v. Let t be l(3). Suppose 0 = m - t*f + 6, -5*m + 2*f - 30 = -f. Does 22 divide 3/m*4*-22?
True
Let g(a) = -3*a - 25. Let r(f) = -f - 8. Let h(c) = -6*g(c) + 17*r(c). Let o be h(-11). Suppose 19 = o*s - 221. Does 16 divide s?
True
Let y(g) = 55*g + 3887. Does 13 divide y(0)?
True
Let z = -12 + 10. Let c be (-12)/1*z/4. Suppose -4*u + c*u = 82. Is 16 a factor of u?
False
Let i be 14 + 9/((-9)/3). Suppose 0 = -i*y + 7*y + 152. Is 12 a factor of y?
False
Let b(a) be the first derivative of 3*a**2/2 - 4*a - 6. Let r be b(-8). Let p = 64 + r. Does 12 divide p?
True
Let k(l) = l + 18. Let x be k(-12). Let m = x + -4. Suppose -m*g = -g - 10. Is 3 a factor of g?
False
Let w = -385 + 553. Is 6 a factor of w?
True
Let g = 16 - 17. Is 1410/25 + 2/5*g a multiple of 28?
True
Suppose -11*w = -12*w - 99. Let v be 1/(-9) + 88/w. Is 68 + (1 - (v - -4)) a multiple of 33?
True
Let o be ((-2)/3 - -1)*6. Suppose -o*x - 148 = -572. Is x a multiple of 16?
False
Let o(k) = -k**3 - 48*k**2 - 43*k - 247. Is 30 a factor of o(-48)?
False
Suppose 2*k + 23 = i - k, -5*i + k + 45 = 0. Suppose 47 = -i*d + 119. Is d even?
False
Suppose 0*w + 2*w = -10. Is ((-4)/w)/(2/45) a multiple of 10?
False
Let m(g) = 4*g - 16. Let l be m(4). Suppose l = 3*f - 7*f + 344. Does 15 divide f?
False
Let n = 13 - 7. Suppose 4*d = n + 2. Suppose 4*s - 12 = -2*o + 12, 0 = 4*s - d*o - 40. Is s a multiple of 4?
True
Let j = -356 + 383. Is 2 a factor of j?
False
Let x be 134 + (3/(-4) - (-135)/36). Suppose 0 = -5*t - 2*l + x, 2*t - t = 5*l + 49. Is 29 a factor of t?
True
Let h(g) = 2*g**2 - 3*g + 3. Let v be h(2). Suppose -5*a + v*n + 0*n = -785, -781 = -5*a + 3*n. Is 1/4 - a/(-4) a multiple of 24?
False
Suppose 4*q + 49 = 3*u + 6*q, -25 = -5*q. Suppose -109*d = -108*d + 10. Let i = d + u. Is 3 a factor of i?
True
Suppose -d + 2 + 1 = 2*f, -3*f - 3*d + 3 = 0. Suppose 3*u = -u + 720. Suppose -f*o = 3*o - u. Is 12 a factor of o?
True
Suppose 2*f = -0*f, 0 = 5*d - f + 5. Let h(o) be the second derivative of -27*o**5/10 + o**3/6 + o**2/2 + o. Is h(d) a multiple of 9?
True
Let v(y) = y**3 + 2*y**2 - 24*y + 6. Is v(-6) a multiple of 3?
True
Let h = 2 - -5. Suppose 96 = -3*w + h*w. Is 12 a factor of w?
True
Let f be (-4 + 3 - -2) + 4/2. Suppose -d + 369 = 5*l, -2*d - 218 = -f*l - 6*d. Is 12 a factor of l?
False
Let l = -38 - -129. Let g = 91 + l. Does 26 divide g?
True
Is (4248/(-28))/((-12)/56) a multiple of 12?
True
Suppose 2*x - 1465 = -5*v + 7*x, 2*v - 578 = 4*x. Let i = v - 165. Is 22 a factor of i?
True
Let m(t) = t**3 + t**2 + t + 1. Let j(h) = 6*h**3 + 2*h**2 + 2*h + 9. Let s(i) = -j(i) + 5*m(i). Does 5 divide s(-2)?
True
Suppose 0 = -2*x + 4*x - 6. Let j be (-61)/x - 4/6. Does 9 divide (48/(-2))/(j/28)?
False
Suppose -3*g = -i - 1 - 2, -4*i + 4*g = -12. Suppose 8*s - 2 = i*s. Is (-94)/(-6) + s/3 a multiple of 12?
False
Let c = 56 + -36. Let t = -16 + 8. Let r = c + t. Is 8 a factor of r?
False
Let m = 59 + -20. Suppose 244 = 4*o - 2*v, -o = 4*v - m - 40. Does 21 divide o?
True
Suppose 3 + 1 = 2*g. Suppose x + 11 = 3*q, g*q + 0*q + 2*x = 2. Suppose q = -o + 37. Is o a multiple of 16?
False
Let l(c) = -426*c - 157. Is 7 a factor of l(-2)?
False
Suppose -4*b - 143 = -5*l + 117, 4*b + 20 = 0. Let p = l - -64. Is 14 a factor of p?
True
Suppose -78 = 5*h + 2*z, z = 3*h - 0*z + 49. Is 12 a fac