*h + 0*r - 5*r - 3 = 0. Does 36 divide (h/(-6))/(1*7/(-4683))?
False
Is 157 a factor of 3*157/3 + 0/11?
True
Let b be ((-400)/6)/(-10)*96/10. Suppose -72*d = -b*d - 1736. Does 32 divide d?
False
Suppose -8*n + 440 = -0*n. Suppose 8*g + n + 49 = 0. Let i = g - -97. Is 14 a factor of i?
True
Suppose 5*g - 41069 = 71766. Suppose -g = -31*b + 1985. Is b a multiple of 21?
False
Suppose -18*h - 37224 = -0*h. Let a be (-3)/6 - (-10)/(-4). Does 31 divide h/(-33) - (-2)/a?
True
Let q(h) = h**3 + 7*h**2 + 10*h + 2. Let r be q(-5). Suppose 3*t = -r*d + 1471, 4*d + 1055 = 2*t + 85. Is t/21 + 12/(-42) a multiple of 5?
False
Let q be (-18)/(-4*6/16). Suppose 0 = 31*p - q*p - 760. Is p a multiple of 8?
True
Suppose 24*t = 135 - 39. Suppose -2*b - t*r + 117 = -75, -4*b + 420 = -4*r. Does 34 divide b?
True
Suppose 0 = 2*h + 2*r - 32, 0*h + 4*r = -2*h + 38. Let g(p) = 47*p**2 - p - 1. Let w be g(-1). Let l = h + w. Is l a multiple of 25?
False
Suppose -9*h = -21*h - 36. Let g(m) be the first derivative of -m**4 + 13*m - 6. Is g(h) a multiple of 18?
False
Suppose -3*l - 2*u + 304 = 0, 5*l + 5*u = 243 + 267. Let g = l + 260. Is 24 a factor of g?
True
Suppose 709129 = 30*n + 4*n + 86657. Is n a multiple of 199?
True
Let v = 127 + -119. Let p be (v/5)/(-2 + (-40)/(-25)). Is (-4 - p - 2)*340/(-8) a multiple of 17?
True
Suppose -234*o + 375*o = 3254844. Is 29 a factor of o?
True
Let i be 5/((-135)/6) - (-8162)/(-693). Let m(p) = p**3 - 2*p**3 - 11*p**2 + 10*p - 9 - 1. Is m(i) a multiple of 5?
False
Suppose 10 = z - 5*k + 33, 22 = -2*z + 2*k. Let a(t) be the second derivative of t**4/12 - t**3/6 + 5*t**2/2 - 27*t. Is 44 a factor of a(z)?
False
Let x be 2651/33 + 4/(-3). Let f = x - -286. Is f a multiple of 73?
True
Suppose 0 = 5*y, -x - 4*y = 3*x - 12. Suppose -v + 972 = 3*q, 0 = -3*q - x*v + 6*v + 960. Does 22 divide q?
False
Let y be (-10)/((-2)/(4/12*3)). Suppose y*h + 72 = 3*n - 16, -3*n + h = -104. Is n*((-3)/(-2) + -1) a multiple of 15?
False
Let k(m) be the first derivative of 3*m - 6 + m + 4*m**2 + 6*m - 5*m. Does 37 divide k(4)?
True
Let v(r) = 2*r**3 + 2*r**2 + 12*r - 24. Suppose 13*u - 40 + 1 = 0. Is v(u) a multiple of 28?
True
Let p = -33 - -37. Suppose 4*m - 125 = t + 132, 251 = p*m + 5*t. Does 13 divide ((-45)/4)/(3 + (-196)/m)?
False
Let q(w) = w**3 - 76. Let b be q(0). Let n be 735/(-210)*16/(-14). Is 4 a factor of (b*(-1)/n)/(0 + 1)?
False
Suppose -5*a + 705 = -9*t + 4*t, -3*t = 5*a - 705. Let z = -83 + a. Is 6 a factor of z?
False
Let w(b) = -3 + 11*b**3 - 4*b - 1 + 9*b - b**2. Let u be (-9)/2*(-1 - (-15)/27). Is w(u) a multiple of 12?
False
Let n = -128 - -126. Let l(i) = -3*i**3 + i**2 + 3*i + 3. Let u be l(-2). Does 9 divide (1 - 0)*u - n?
True
Let s(q) = 10*q + 76. Let n be s(-10). Does 16 divide (140670/48)/9 - 9/n?
False
Let p(o) = 3*o**3 + o**2 + o - 1. Let s be p(1). Suppose 3*q - 149 = 4*l, 3*q - s*l - 158 = -9*l. Is q a multiple of 17?
True
Let i be ((-22)/(-44))/(1/(-46)). Let m = 42 - 16. Let z = m + i. Does 3 divide z?
True
Let m(i) = 3*i + 43. Let f(g) be the second derivative of g**3/6 - 8*g**2 - 30*g. Let k be f(9). Is m(k) a multiple of 11?
True
Suppose 0 = 2*u - l - 6781, 0 = u - 5*l - 3349 - 28. Is u a multiple of 32?
True
Let g = -19039 + 31592. Is g a multiple of 150?
False
Let w = 892 - 584. Let q = -260 + w. Is q a multiple of 32?
False
Let w(f) = -5*f + 18. Let z be w(37). Let g = 407 + z. Is 21 a factor of g?
False
Let b(l) = -2*l**2 + 27*l - 8. Let g be b(13). Suppose 3*n = -g*c - 521, c = 2*c + 1. Is (46 - n) + 1/(1/(-3)) a multiple of 43?
True
Suppose 0 = -11*o + 910 + 1345. Suppose k - 3*t = 113 + 2, -t - o = -2*k. Suppose 6*b - 86 = k. Is b even?
False
Let q = -5 + 11. Suppose 48*i - 40 = 44*i. Suppose i*z - 276 = q*z. Is 8 a factor of z?
False
Suppose -3*q + 0*q - 23 = 5*z, 3*z - 5*q = -7. Let c(g) = -g**3 - 4*g**2 - 3*g + 6. Let a be c(z). Does 15 divide 33 + 1/(2*(-3)/a)?
True
Let g(y) = -y**3 - 7*y**2 - 4*y + 13. Let d(l) = -l**2 + l - 1. Let q(m) = 4*d(m) + g(m). Let a be q(-10). Let v = a + 145. Is 6 a factor of v?
True
Let n be 1*(3/(-15) - (-208)/(-10)). Does 3 divide (n/(-6) - 2) + (-3813)/(-62)?
True
Is (-117)/585 + 10782/10 a multiple of 11?
True
Let k be (-1)/(-2) + (250/20 - 9). Suppose -2*o = -2*w + 112, 2*o = -k*w - 89 + 301. Is 7 a factor of w?
False
Suppose -3*x + 4*a = -4329 - 6272, x - a - 3532 = 0. Does 9 divide x?
False
Suppose -12*b + 744 = -4*b. Suppose 3*w = -4*c - b, -3*c + 124 = -0*w - 4*w. Let o = w + 87. Does 5 divide o?
False
Is 16 a factor of (-97336)/(-52) + 9 + (-805)/91?
True
Suppose 43*x + 335569 = 126*x. Does 4 divide x?
False
Let l(f) be the third derivative of 3*f**5/4 - f**4/6 - f**3/2 + 24*f**2. Is l(-2) a multiple of 37?
True
Let o be (-24)/84 + ((-18)/(-14) - -1). Suppose 5 = o*h - 7. Suppose h*j - 76 = 2*j. Does 10 divide j?
False
Let z be (-8422488)/68 + (-2)/(-17). Is 67 a factor of z/(-264) - (1/6 + 0)?
True
Let g be -2 + -3 + 3 + 2. Let r be 611/7 + (g - 4/14). Is r*(3/9)/1 a multiple of 5?
False
Suppose 9*v = 58172 + 52294. Is v a multiple of 38?
True
Let p be -10*(6/(-4) + 1). Suppose -4*d = -0*d + p*i - 106, 0 = 2*d + 2*i - 52. Suppose d = v - 18. Is v a multiple of 21?
True
Suppose -121 = -2*s - 41. Let j = s - -191. Let k = -128 + j. Does 9 divide k?
False
Suppose -4*d + 6637 = 3*g, 5*d + 64*g - 8340 = 69*g. Does 41 divide d?
False
Suppose -1353 = -4*t + 50127. Does 99 divide t?
True
Let m be (-651)/15 - 8/(-20). Let r = m - -47. Suppose 0 = r*b + 4*b - 64. Is b a multiple of 2?
True
Let w(o) be the third derivative of -3*o**6/40 - o**5/30 - o**4/6 - 15*o**2. Let m be w(-4). Suppose 0 = -3*r + 10*r - m. Does 20 divide r?
True
Does 198 divide (-135)/(-24) + (-105 - -99) + 275379/8?
False
Let m be 12/8*(23 - (-5)/(-1)). Suppose -23*y = -m*y + 1680. Does 15 divide y?
True
Let f(z) = -2*z**3 + 6*z**2 - 21*z - 24. Does 21 divide f(-24)?
True
Let k(p) = -30*p**3 + 3*p + 2. Let g be k(-1). Suppose -2*q - 19 = -g. Suppose -5*f = a - 125, -3*f = -8*a + q*a + 357. Is a a multiple of 24?
True
Suppose -6*z - 6 + 42 = 0. Suppose l + z*l - 1379 = 0. Is l a multiple of 17?
False
Let b(m) = 19*m**2 + 4*m + 3. Let x be b(-1). Suppose 4*u = 2 + x, 1265 = 5*w + 3*u. Is 37 a factor of w?
False
Suppose -31*h + 6 = -87. Does 66 divide h/45*6 + 4944/15?
True
Let d = -439 + 708. Suppose -320*j + 323*j - 1056 = 0. Suppose -2*y = 4*u - 7*y - j, -3*u + d = -5*y. Is 9 a factor of u?
False
Suppose 13*i - 4579 - 14323 = 0. Suppose -4*p + i - 246 = 0. Is 50 a factor of (-2 + (4 - p))/(-1)?
True
Suppose -4*t + 6*t = 10. Suppose 0*o = t*o + 25. Is (-3)/(1*o/60) a multiple of 8?
False
Let v(y) = y + 5. Let d be v(-3). Let i(o) = 0*o - 19*o + 11*o**2 - 4*o**3 + 8*o**d + 3*o**3 + 38. Does 4 divide i(18)?
True
Suppose -10*b + 11*b = -10*b - 11. Suppose -5*p - 2*i + 26 = 0, p + 3*i = -i + 16. Does 33 divide p - ((5 - 167) + b/(-1))?
True
Let h = -34 + 40. Suppose -6*z - h = -8*z. Does 26 divide 2*(z/5)/((-2)/(-130))?
True
Suppose 0 = d + n - 7, -3*n = 33*d - 36*d + 39. Suppose 11*q - d*q - 169 = 0. Is q a multiple of 13?
True
Let v(u) = 61*u - 3444. Is 41 a factor of v(93)?
False
Suppose -72*t + 974430 + 60064 = -173378. Is t a multiple of 24?
True
Let a(t) = 5*t + 17 + 0*t - 4*t. Let l be a(-15). Suppose -3*z - p = -l*p - 82, -z - 5*p + 6 = 0. Is 13 a factor of z?
True
Let b(o) = -2*o**2 - 16*o + 5. Let a(q) = -7*q + 2. Let w(j) = 5*a(j) - 3*b(j). Is w(-9) a multiple of 13?
True
Suppose -i + 17 = 5*d, 0*i + 4*i - 3*d + 24 = 0. Let q(x) = 8*x**2 + 6*x - 4. Is q(i) a multiple of 5?
True
Let i(r) = -12 - 10 - 12 + 2*r. Let j be i(19). Suppose j*u = 17 + 43. Is 5 a factor of u?
True
Suppose 38*g - 92*g + 2797578 = 0. Is g a multiple of 167?
False
Let z be ((-722)/(-14) - 2) + 3/7. Let k = z - -330. Is k a multiple of 17?
False
Suppose -5235516 = -361*s + 22*s. Is 12 a factor of s?
True
Suppose -6*t = -2 - 4. Suppose -3*j = 4*u + 2 + t, -12 = -3*j + u. Is (j + (-14)/4)*(3 - 43) a multiple of 5?
True
Suppose -5*a + 8 = -4*m, -4*a - m + 2*m = -13. Suppose 14 = -2*u - 4*p, 0 = -u - 9*p + 5*p - 9. Is 5 - a - (u + -22) a multiple of 7?
True
Let u = 268 - 266. Suppose -3*i + u*y = i - 142, -3*i - 4*y = -123. Is i a multiple of 19?
False
Suppose 5*l - 2*z = 0, 2*l + l + 5*z - 31 = 0. Suppose 5*x - l*a - 1554 = 0, 