ose -10*h + u*h + 85 = 0. Is h a multiple of 14?
False
Suppose -348 = -2*h - h. Let n be (160/56)/(16/(-560)). Let o = h + n. Does 4 divide o?
True
Suppose 57720 = 12*r + 27*r. Suppose -m - 174 - 1676 = -5*j, 4*j + 3*m = r. Does 10 divide j?
True
Suppose -42*j + 61*j - 66500 = 0. Does 25 divide j?
True
Let x(o) = 20147*o - 2047. Is x(2) a multiple of 291?
False
Suppose -4*k - 29 = 5*r, 2 = -3*r + 4*k - 9. Is 11 a factor of 1/r - (4446/(-30) - 1)?
False
Let n = 113 - 92. Suppose 0 = 4*f + n - 665. Is f a multiple of 8?
False
Is 0 - 158*54/(-6) a multiple of 9?
True
Let h(r) = r**2 + 5*r. Let b be ((-20)/(-15) - 2)*9. Let c be h(b). Is (-3)/((-4)/(320/c)) a multiple of 7?
False
Let c = 6127 + -3645. Does 34 divide c?
True
Let i(s) = -22*s - 4. Let n be i(-4). Let z = n + 316. Is z a multiple of 16?
True
Let y(z) be the second derivative of z**5/20 - z**4/2 - 5*z**3/6 - 36*z**2 - 161*z. Is 46 a factor of y(9)?
False
Let b(r) = r - 6. Let j be b(13). Let y(d) = -j - 13*d - d**2 - 5 - 9. Is y(-9) a multiple of 5?
True
Suppose -5*n - 2005 = 5*u, u - 1993 = 5*n + 3*u. Let t = -236 - n. Does 23 divide t?
True
Suppose z - 2*z - 135 + 365 = 0. Does 23 divide z?
True
Let o be (-8)/(-10)*9/4*10. Suppose o - 43 = -5*l. Suppose -345 = -l*i + 25. Is 12 a factor of i?
False
Suppose 0 = -3*g - 4*d - 1, g + 4*d = -6 - 5. Suppose -4*t + g*p + 5139 = 0, 5*t - 6460 = -0*t - p. Does 16 divide t?
False
Suppose 2*a + 27 + 13 = 0. Let b be ((-11760)/(-2744))/(-1 + 41/42). Is ((-24)/a)/((-8)/b) a multiple of 8?
False
Suppose 46 = f - 38. Suppose -j = -0*j - f. Is 4 a factor of j?
True
Let u be (-252 + 0)/(4/(-6)). Suppose 4*t - 2*v - 472 = 0, -169 = -5*t - 4*v + 408. Suppose -5*c + u = -t. Is c a multiple of 33?
True
Let s be ((-1)/(-1) - 2)*(1 + 5). Let n(g) = 4*g**2 - g + 14. Let j be n(s). Suppose -f = -2 - 3, 0 = -3*x - 4*f + j. Is 24 a factor of x?
True
Suppose 4*z = -5*j + 42089, 106*j - 109*j + 3*z = -25221. Is 38 a factor of j?
False
Suppose -61*s - 8541 = -5*g - 64*s, 0 = -2*g - 5*s + 3405. Does 10 divide g?
True
Let l(w) = 6*w**2 + 19*w + 2. Let s be l(-3). Let p(y) = -648*y + 1. Is p(s) a multiple of 26?
False
Suppose -5888 = 5*b + 4*c - 23362, 0 = -4*b - 3*c + 13980. Is b a multiple of 6?
True
Let x(m) = 7*m**3 - 4*m**2 + 3*m + 1. Let f(g) = 16*g**3 - 10*g**2 + 5*g + 2. Let n(s) = 6*f(s) - 14*x(s). Does 8 divide n(-5)?
True
Let j(n) = -n**2 - 26*n - 128. Let m be j(-7). Suppose 0*g - 149 = -g + m*o, g - 4*o - 152 = 0. Does 41 divide g?
True
Let o = -21307 + 22778. Does 7 divide o?
False
Let w be (-22)/(-187) + 4605/17. Suppose 305 + w = n. Suppose 9*a - 21*a + n = 0. Is a a multiple of 4?
True
Suppose p - j - 2714 = 3503, p - 6219 = 3*j. Is p a multiple of 14?
True
Suppose 0 = -27*c + 4882 - 2480 + 75169. Is c a multiple of 78?
False
Let m = 12 - 7. Suppose -6*s = 3*y - 837, -187 = -4*s + 5*y + 406. Suppose -m*v = -i + s, -7*v + 3*v + 664 = 4*i. Is 27 a factor of i?
True
Let u = 6 + 5. Let c(h) = h**2 + 9*h - 28. Let q be c(u). Suppose 55 = 13*z - q. Does 2 divide z?
False
Suppose -150 = 21*f - 36*f. Does 60 divide (-35091)/(-45) + 2/f?
True
Does 9 divide (-76)/(-133) - 14/(-21)*187140/14?
False
Let g = 6383 - 5888. Does 45 divide g?
True
Suppose -3*u + 0*x = -2*x - 179, -2*u = -2*x - 116. Suppose 5*t - 4*t - 32 = -2*v, -2*t + u = 5*v. Is 13 a factor of t?
False
Suppose 17*o - 1442 = 15*o - l, -l = 4. Does 57 divide o?
False
Let f be (5 + -14 + 4 + 7)*102. Suppose 5*w - 2*u = 525, 2*u = 12*w - 10*w - f. Is 20 a factor of w?
False
Let f(z) = z**3 - 3*z**2 - 50*z + 17. Let j be f(-7). Let p = 218 + j. Is 35 a factor of p?
False
Suppose d = -4*c - c - 15, 4*c + 12 = 0. Suppose d = 5*z + 7 - 12. Is 27 a factor of (6 - 6) + z - 204/(-2)?
False
Let v be ((-6)/2 + 4)*2. Suppose -14 = 3*w + 4. Is (15/w)/(v/(-52)) a multiple of 13?
True
Suppose x + 4 = -3*x. Let v be 3/(9/(-3)) + x. Is 11 a factor of 135/3*v/(-2)?
False
Let n(a) = 16*a**2 - 44*a + 3. Let j(m) = 11*m**2 - 29*m + 2. Let l(w) = -7*j(w) + 5*n(w). Is l(15) a multiple of 32?
False
Let q(u) = -u**3 - 28*u**2 - 45*u - 29. Let n be q(-26). Let o = 435 + n. Does 5 divide o?
False
Is 27/135 + 28496/20 a multiple of 57?
True
Let z(i) = 18*i**2 + 76*i - 202. Does 192 divide z(22)?
False
Let g(k) = -113*k - 5573. Does 23 divide g(-146)?
True
Suppose -l + 4 = -1. Suppose -2*a + 4*b - 3*b = -771, -l*b = -4*a + 1557. Does 25 divide a?
False
Suppose -14*z = 374 - 17986. Suppose -z = 18*t - 4624. Is 17 a factor of t?
True
Suppose -1123*w + 1114*w = -24786. Does 162 divide w?
True
Let c(j) = 2*j**2 + 12*j + 2. Let s be c(-6). Suppose -9*z = y - 6*z - 124, 654 = 5*y - s*z. Does 12 divide y?
False
Let v(r) = -8*r**2 + r**3 - r**2 - 7*r + 7*r**2 + 11. Is 17 a factor of v(5)?
True
Suppose -10*y + 2*q = -8*y - 290, 2*y + 4*q - 284 = 0. Does 56 divide (-58)/18 + 3 - (-65696)/y?
False
Let k be (-45)/(-10)*6/9. Suppose -33 - 30 = -k*d. Let v = d + -16. Is v even?
False
Suppose -3*t - 3*g = -3027, -4*t + 4046 = -3*g + 5*g. Suppose -a + t = 5*a. Is a + (-30)/(-6) + 5 a multiple of 6?
False
Suppose 1688 = 6*p + 2*p. Suppose z + p + 33 = 0. Let y = -65 - z. Is 41 a factor of y?
False
Let u be (-10)/4*(-582)/15. Let z = -46 + u. Let b = z + 129. Is 60 a factor of b?
True
Let m be (-1)/(1/(-28)) - (-2 + 2). Suppose -5*q + 3*q = -m. Let i = 87 - q. Is 11 a factor of i?
False
Let s(l) = 7*l**2 + 9*l + 37. Let n be s(-4). Let v = 41 + n. Is v a multiple of 14?
True
Let w = -360 - -503. Let j = w + -117. Does 26 divide j?
True
Let t be (-163)/(-3) - 1/3. Let n(f) = f**2 - 16. Let r be n(4). Suppose -3*s + t + 72 = r. Is 10 a factor of s?
False
Let z = 773 - 569. Let p = 916 - z. Does 32 divide p?
False
Let o = 69 + -72. Let j be (-8)/12 + (-839)/o. Suppose -29*l + j = -26*l. Is 31 a factor of l?
True
Let k = 15540 - 12130. Is k a multiple of 5?
True
Does 18 divide 35244/2 + (-19)/(190/(-70))?
False
Does 4 divide 2*3 - (6 + (5 + -9 - 2296))?
True
Suppose 648*w - 14414398 = 262*w. Is 19 a factor of w?
False
Suppose 0 = 36*l - 693874 - 452142 + 47656. Does 135 divide l?
True
Let m(l) be the second derivative of l**4/12 - 4*l**3/3 - 21*l**2 + 16*l. Does 6 divide m(-12)?
True
Let h(c) = -21*c**3 + 2*c**2 - 4. Let s be (-6)/4*4/18*-30. Suppose 0*a + 5*a = -s. Does 43 divide h(a)?
True
Let a = -50 + -10. Let j = a + 41. Let b(u) = -2*u**2 - 49*u - 41. Is 21 a factor of b(j)?
True
Let s = -2807 + 5021. Is 17 a factor of s?
False
Let v(b) = b + 11. Let w be v(-9). Suppose 6*g - 1368 = w*g. Suppose -307 = -4*p - 5*d + g, 2*p = -4*d + 332. Is p a multiple of 13?
True
Let b be 2 + -13 - (-18)/6. Let c be -12*b/12*-1. Does 18 divide -12*3*28/c?
True
Suppose -4*o + o = -5*j + 27, -4*o = 5*j - 34. Is 2*43 - (j - 8) a multiple of 10?
False
Suppose l - 24*l = -2944. Suppose -2*m - l = -x, -5*m = -0*x - 3*x + 379. Does 45 divide x?
False
Let p = -79 + 109. Suppose 4*k = -4*s + 532, p*k + s = 26*k + 544. Is k a multiple of 17?
False
Suppose 2*k + 3*g = -0*g - 222, 5*k + 544 = -2*g. Let u be k/3*(-6)/12. Suppose -t = v - u - 12, 0 = -4*v - 3*t + 125. Does 10 divide v?
False
Let a = 699 + 8657. Is 20 a factor of a?
False
Let y be 2 - 4/(-8) - (-3)/2. Suppose -m - z + 461 = 0, z = -y*z + 15. Suppose 0 = 2*t + 62 - m. Is t a multiple of 54?
False
Let h be 1/(-4) - (-174447)/252. Let k = 1023 - h. Does 15 divide k?
False
Let c(u) = -2*u**3 - 36*u**2 - 46*u. Does 92 divide c(-23)?
True
Suppose 2*r - 3*j - 23 - 15 = 0, 2*r + 3*j - 26 = 0. Suppose -4*x + r = 0, -5*x + 39 = 2*g - g. Is 19 a factor of g?
True
Let y(j) = 19*j + 69. Let d be y(25). Suppose 5*m = 3*m + d. Is m a multiple of 18?
False
Is 33 a factor of (-3291552)/(-132) - (22 - 1)?
True
Is 10 a factor of (-27)/45*(-10)/12*41180?
True
Let s = 143 + -137. Suppose s*y - 487 = -67. Is 35 a factor of y?
True
Suppose 3*t - 8*d + 17 = -9*d, 4*t - 3*d = -27. Let x(u) = 15*u**2 - 14*u - 25. Is 31 a factor of x(t)?
False
Suppose -219*t + 223*t - 14508 = 2*f, -2*t + 3*f + 7246 = 0. Is 20 a factor of t?
False
Let q(z) = 39*z + 24. Let f(l) = 210 - 402 + 2*l - 314*l. Let c(n) = -4*f(n) - 33*q(n). Does 31 divide c(-3)?
True
Let x = -786 + 316. Let b = -277 - x. Does 21 divide b?
False
Let v be 2/(3 - 964/322) + 1. Let j = 4 - v. Let m = -218 - j. Does 30 divide m?
False
Let k(g) = 2*g**2 - 6*g - 8. Let o be k(4