 = 2*x**2 + x + 20. Let a be i(4). Let f = a - g. Is f a multiple of 6?
True
Suppose -4*s + 3480 = 5*u, 3815 - 299 = 4*s - 4*u. Suppose -68*y + 63*y = -s. Is 24 a factor of y?
False
Suppose 0 = 11*t - 716 + 683. Suppose h + 5038 = 5*r, t*r - 4*h = 4*r - 995. Is 19 a factor of r?
True
Let j = -44 + 54. Let b be 2/j*16 - 22/110. Suppose -b*g - 60 = -7*g. Is 15 a factor of g?
True
Suppose -222640 = -11*v - 29*v. Does 46 divide v?
True
Let i(k) = k**3 + 17*k**2 - 23*k + 12. Let l be i(-19). Let s = l - -539. Does 12 divide s?
False
Let l(x) = 52*x**2 - 1801*x + 99. Does 82 divide l(45)?
True
Let p be 6*(19 - -5)/4. Let l be -2 + 1 - (-3 - (p + -2)). Suppose -31*o - 110 = -l*o. Is 2 a factor of o?
True
Let o(m) = -m**3 + 7*m**2 + 9. Let i(v) = -6*v**3 - v**2 - v. Let h be i(-1). Suppose n + h = k, 3*k - 5*n + 12 = 4*k. Is o(k) a multiple of 7?
False
Let b = -1483 - -12807. Is b a multiple of 55?
False
Is 14 a factor of (35/(4375/100))/(2/3815)?
True
Suppose -5*k + 230 + 50 = 0. Does 14 divide 4137/k + (-3)/(-24)?
False
Suppose 5*o + 13 = 23. Suppose -o*x + x = -526. Suppose -4*p - v + 0*v = -x, 0 = 3*p + v - 394. Is 28 a factor of p?
False
Let l be (4/(-5))/(7 - (-180)/(-25)). Suppose 4*f + 636 = l*i + 8*f, 3*f = -9. Is i a multiple of 18?
True
Let b(r) = 2*r**2 + 35*r + 118. Let m be b(-13). Let i(y) = 41*y - 1 + 16*y - 6 + 24*y. Is i(m) a multiple of 11?
False
Suppose 7*v = 38*v - 248. Is ((-15)/(-5) + -5)/(v/(-20)) a multiple of 3?
False
Let a = 13373 - 8662. Is a a multiple of 33?
False
Suppose 57 + 2 = 4*i + 3*b, -2*i + 4*b = -2. Let t(r) = -5 - 17 - i*r - 1. Is 35 a factor of t(-17)?
False
Let b be 75/125 - (-2 + 48846/(-15)). Let t = -2299 + b. Is 25 a factor of t?
False
Suppose -v + 167 = o + 80, 3*v - 2*o - 266 = 0. Does 8 divide v?
True
Let f(r) = 575*r + 1808. Does 18 divide f(8)?
True
Suppose -4*z + 7124 = -n - n, -2*z + 3538 = 5*n. Suppose -47*v = -101 - z. Is v a multiple of 8?
True
Suppose 0 = 4*g + 4*v - 4786 + 30, 0 = -4*g + 5*v + 4711. Is 16 a factor of g?
True
Suppose -88*n + 1182180 - 281412 = 0. Is n a multiple of 6?
True
Let q = 34 + -3. Suppose 5*n - 2*b = -0*b + q, -3*b - 19 = -2*n. Suppose 0 = 2*k + 5*t - 65, 3*t + n = 8*t. Is k a multiple of 16?
False
Suppose -5 = 13*q - 18*q. Let y be (q + 1)/(4/24). Suppose y*h - 265 = 359. Is h a multiple of 4?
True
Let b be ((-28)/3)/((-54)/81). Suppose -1304 = -b*l - 2. Is l even?
False
Let n(o) = o**2 + 18*o - 11. Let x(y) = y**2 + 18*y - 11. Let m(k) = -3*n(k) + 4*x(k). Let v be m(-20). Does 13 divide -1*0/4 + v?
False
Let c be 2/(-4)*816/2. Let u = c - -352. Suppose a = -4*b + 3*a + 108, 5*b + 4*a - u = 0. Is b a multiple of 14?
True
Suppose 28*n - 172250 = 1041382. Is n a multiple of 86?
True
Let x = -5544 + 10209. Is x a multiple of 47?
False
Suppose 10*z - 11*z - 4*k = -7084, 4 = k. Is 72 a factor of z?
False
Let l = 13991 - 7743. Is l a multiple of 18?
False
Suppose 2*r - 3*u - 23 + 0 = 0, -4*r + 3*u = -31. Suppose -2 = w - r. Suppose -w*l = -m + 138, 2*m + 3*m - 662 = 3*l. Is 26 a factor of m?
True
Let h = -30885 + 73164. Does 17 divide h?
True
Suppose 4*z - 40 = -z. Let s(b) = -b**3 + 7*b**2 + 8*b + 2. Let t be s(z). Is 12 a factor of t + (37 - 2) - 1?
True
Let f = 63 - 57. Is 23 a factor of 502 - (9/f)/(6/(-16))?
True
Let n(m) = m**3 + 20*m**2 + 26*m + 327. Is n(16) a multiple of 220?
False
Suppose -23 = -9*p + 4*p - 2*o, 16 = 3*p - o. Suppose 10 = -p*j + 760. Suppose -5*n + 10*n = j. Is n a multiple of 15?
True
Let n be 6*((-135)/10)/(-9). Suppose -4*q - 4 = 0, -3*q = -13*a + n*a + 451. Is 3 a factor of a?
False
Let q be 4*-34 + 5 + -6. Let x = 147 + q. Suppose x*w + 127 = 11*w. Is w a multiple of 11?
False
Does 9 divide -2*(1209/(-156) + 6/(-8))?
False
Does 210 divide (-122)/(1/314*(-68)/34)?
False
Suppose 5*s = -347*i + 348*i - 3071, -3*i = -5*s - 9223. Does 8 divide i?
False
Let k be ((-40)/(-30) + 5/(-3))*1002. Does 43 divide 14/(-35)*5 - k?
False
Let g = -23 + 49. Let o = -10 - g. Is 12 a factor of -2*o/2 + -1?
False
Let u(b) = b + 3 - 9*b - 2*b - b**2. Let r be u(-11). Is r/(-1 + -1) + 8 a multiple of 4?
True
Is 64 a factor of ((-22904)/32)/((-2)/8)*(-15 - -22)?
False
Suppose -38*w - 779 = 3*i - 39*w, -521 = 2*i + w. Does 13 divide (i/15)/((-18)/81)?
True
Suppose 2*i + 13 = 3*c, i - 5*i + 4 = 4*c. Suppose -3*a = 2*a - 0*a. Suppose a = 5*o, c*o = -y + 5*y - 312. Is y a multiple of 9?
False
Let a(n) = -12*n - 25. Suppose -5*c + 7*c - 2 = 0. Let u be (-20)/2 - (c - -1). Is 8 a factor of a(u)?
False
Suppose -666279 - 8549 = -49*p. Is p a multiple of 134?
False
Suppose -28*y + 29186 + 51710 = -35864. Is 15 a factor of y?
True
Suppose 0 = -39*h - 3*h - 168. Suppose 233 = w - 9. Does 6 divide (2 - w/(-15)) + h/30?
True
Let l be (3 + 0)*17/(357/28). Suppose -4*u = -4*m - 888, 0*m - 8 = -l*m. Suppose -4*d + 5*f = -375, u = 3*d - 4*f - 56. Is 23 a factor of d?
False
Let c(y) = 110*y - 17. Suppose 8*x - 11*x = 15. Let a be ((-12)/(-15))/(1 - (-4)/x). Is c(a) a multiple of 62?
False
Let g be (1 - (-5 + 7))/(2/(-14)). Suppose 6*u = -5 - g. Is -1 + u + 55 + 1 a multiple of 8?
False
Let g be (-18)/(-6) - (0 - 3)/3. Suppose 0 = -g*d + 12, 4*s + 0*d + 5*d = 39. Suppose -5*b = -s*b + 2. Does 2 divide b?
True
Suppose -9*t + 17686 = 6454. Does 7 divide -2 + t/((-3)/(-1))?
False
Let m = 53 + -93. Is 32 a factor of 5 + -2 - m*1?
False
Suppose 0 = -13*w + 2952 + 1871. Let i = w - 261. Is 11 a factor of i?
True
Suppose 5*x + o - 6*o = 270, -5*x = -3*o - 260. Does 45 divide (3780/x)/(2/14)?
True
Let y(f) = -2*f - 11. Let g be y(-3). Let k be (-2)/(((-1)/10)/((-4)/g)). Let h = 32 - k. Does 8 divide h?
True
Let q(m) = m**3 - 7*m**2 - 31*m + 14. Let x be q(10). Suppose 16*y + x*y = 27040. Is 89 a factor of y?
False
Let y be ((-63)/(-12))/((-15)/(-40)). Does 18 divide (10816/y)/4 + (-1)/7?
False
Suppose 5*n = 5*t + 85, 0 = -3*t - 2*n - 14 - 22. Let s(b) = 12*b + 1 + 1 + 10*b - b + b**3 + 16*b**2. Is 20 a factor of s(t)?
True
Suppose 67*h + 13 = 66*h. Let f = h + 77. Does 16 divide f?
True
Suppose 0 = 2*x + 5*y - 20, -4*y + y + 26 = 4*x. Suppose 5 = -s, x*v + 0*s = -4*s + 390. Suppose -81*z - 65 = -v*z. Is z a multiple of 5?
True
Suppose v - 12222 = -6*v + 2*p, -5*p - 1746 = -v. Is 18 a factor of v?
True
Suppose 89*q - 6052944 = 3039404 - 2924648. Does 55 divide q?
True
Suppose 0 = -6*f + 13 - 49. Is 14 a factor of (2 + 464 - (21 - 23)) + f?
True
Let t(w) = 2*w - 30. Let l be t(16). Suppose 4*d - 232 = -l*h, -5*h + 43 = d - 33. Is 14 a factor of d?
True
Let k(b) = 37*b - 87. Let t be k(23). Suppose 2*h - 4*x - t = -2*x, -3*h - 3*x + 1134 = 0. Does 76 divide h?
True
Let r = 112 + -107. Suppose n = 4*x + 6 + 3, 0 = -5*x - r. Suppose -n*f = -f + 3*w - 135, 0 = 5*f - 4*w - 130. Is 7 a factor of f?
False
Let b be (-22)/(-8) - (-2)/8. Let v be 2 + 3 - (0/4)/4. Suppose -b*t = -5*t - v*j - 3, -j = t - 6. Does 11 divide t?
True
Suppose -11 = -6*n + 1. Suppose a = -2*a + 3, 0 = -t + n*a - 23. Let d = 24 - t. Does 12 divide d?
False
Let x(m) = 2*m**2 + 2*m - 31. Let a be x(5). Suppose 492 = -a*s + 32*s. Suppose 6*b - 10*b = -s. Is b a multiple of 25?
False
Let h = -337 + 758. Let s = -225 + h. Is s a multiple of 13?
False
Let r = -3006 - -3730. Does 2 divide r?
True
Suppose -5*r = -t - 9*r + 2060, 3*r - 6 = 0. Is t a multiple of 180?
False
Let b = -26366 - -26971. Is 38 a factor of b?
False
Let o = -222 + 223. Is 22 a factor of -2*(915/20)/(o/(-2))?
False
Suppose 0 = -30*j - 100 - 110. Is 20 a factor of -82*(-21)/2 - (-6 - j)?
True
Suppose 11296 = 3*t - 8*b, -t + 4*b + 1887 + 1881 = 0. Is 40 a factor of t?
True
Let q(m) = 1162*m**2 - 6*m - 15. Let y(n) = -n**2 + 2*n. Let z(k) = q(k) - 5*y(k). Does 73 divide z(-1)?
True
Suppose 526*x = 560*x - 230010. Is 11 a factor of x?
True
Let z be (-104)/130*(-10)/4. Suppose 0 = -4*a + 4*c + 174 + 22, 0 = -z*a - 2*c + 98. Is a a multiple of 3?
False
Suppose 3*b + 15 - 3 = 0. Let z(t) = 26*t**2 - 3*t - 9. Let g be z(b). Suppose 0*n + 4*k = -3*n + g, -4*n + 550 = k. Does 45 divide n?
False
Let b(y) = 36*y**3 + 97*y**2 - 618*y + 29. Is b(7) a multiple of 97?
True
Let z(u) = -2*u - 23 + 8*u**2 + 5*u + 19 + 3*u. Let g be z(6). Suppose 3*a + 5*p = g, -183 = 5*a + 3*p - 727. Does 22 divide a?
True
Let m be (-7)/14 + 782/(-4). Is ((m/(-12))/7)/((-9)/(-5454)) a multiple of 1