6595*n - 612. Does 12 divide r(2)?
False
Suppose -4*i + 20996 = -4*g, -91*i = -86*i - 4*g - 26243. Is 99 a factor of i?
True
Suppose -25*t + 5*t + 49702 = -58658. Does 7 divide t?
True
Let o(j) = j**3 - 14*j**2 + 12*j + 7. Let m be o(13). Let x be (10 - 16)*8/m. Suppose -x*a - 180 = -11*a. Is 10 a factor of a?
True
Suppose -215*c - 11*c - 126563 + 1225149 = 0. Is c a multiple of 10?
False
Suppose 5*w - 58 = 7. Suppose 0 = a - 0*s + 4*s - 24, 5*s - w = 3*a. Is 32 a factor of a - 1/((-2)/8)*71?
True
Let g(w) = 338*w + 399. Is g(18) a multiple of 79?
False
Suppose 10837 = 54*c - 665. Does 3 divide c?
True
Suppose 4*g = -5*k + 5*g + 27, k + 3 = 3*g. Is 12 a factor of 1034/k + -6*(-3)/27?
False
Suppose 3*f - 2*a - 2491 = 6783, 4*f - 12384 = -2*a. Is f a multiple of 14?
True
Suppose -22*v - 2*d + 5503 = -19*v, -6*d = -2*v + 3698. Is v a multiple of 4?
False
Is (-217)/93 - 6307/(-3) a multiple of 6?
True
Suppose -3*w - 12 = -0*w. Let g(b) = 1 - 107*b**2 - 8*b + 67*b**2 + 39*b**2. Is g(w) a multiple of 3?
False
Let v = -22187 - -28061. Does 25 divide v?
False
Suppose 102*t - 154218 - 118428 = 0. Does 9 divide t?
True
Suppose 132*s + 720 = 133*s. Suppose -752 = -5*y + 3*p, 2*y + 5*p = -3*y + s. Is 37 a factor of y?
True
Let r(u) = -97*u - 105. Let o be r(-18). Suppose 0 = -3*x + 483 + o. Does 12 divide x?
True
Let k(h) = 103*h - 5044. Is 67 a factor of k(62)?
False
Suppose -6*m + 31 = 7. Suppose -m*b - 2*f = 3*f + 1066, 1355 = -5*b + 5*f. Let p = 398 + b. Is p a multiple of 16?
False
Suppose -j - 2*r + 868 = 2*r, 2*j + 4*r - 1748 = 0. Suppose i - j = -9*i. Suppose -3*v + i = 5*v. Is v a multiple of 6?
False
Suppose v + 2509 = -16*w + 18*w, w = v + 1258. Does 2 divide w?
False
Let m(n) = -107*n + 76. Let u be (5/45*3)/((-3)/54). Is 15 a factor of m(u)?
False
Is 5 a factor of ((-293536)/24)/(8*5/(-60))?
False
Suppose -3*p + 151 + 485 = 0. Let g = 250 - p. Does 9 divide g?
False
Suppose -2460 = -4*w + 2*w. Let n = w - 871. Is n a multiple of 25?
False
Let u(c) = c**3 + 54*c**2 - 145*c + 153. Is u(-54) a multiple of 42?
False
Let a be (56/(-16) - -6)*2. Suppose 4*w = -2*y + 938, a*y + 1238 = 4*w + 335. Is w a multiple of 8?
True
Let f(x) be the first derivative of -61*x**2/2 - 2*x - 5. Suppose -4*i - 2*m = 0, 0*i + 2*i = 2*m - 12. Does 30 divide f(i)?
True
Suppose 3 = -2*z + 11. Let k(l) = l**2 + z + 10 - l - 21. Does 9 divide k(7)?
False
Is 20 a factor of (-4)/(-2)*(274 + 30480)*(-3)/(-4)?
False
Let i(m) = -6*m - 5*m + 4*m + m**2. Let n be i(6). Does 8 divide (4/(-6))/2 + (-260)/n?
False
Let z(u) = 5*u**2 - 6*u + 20. Let k be (2/(-8))/(31/(-372)). Is z(k) a multiple of 4?
False
Does 21 divide (30/9)/((-4)/12) + 3884?
False
Let v(i) = 11*i**2 - 103*i - 1177. Is v(-11) a multiple of 2?
False
Suppose 10*r + 28280 - 128000 = 0. Is r a multiple of 3?
True
Let a = -67 - -84. Suppose -174 = 14*g - a*g. Is g a multiple of 29?
True
Let s be (-33)/(-9) + (14/(-6))/(-7). Let z be (-26)/(-10) - s/(-10) - -11. Let v = 37 - z. Is v a multiple of 2?
False
Suppose 1653 = 5*l + 3*r, 2153 = 5*l - 2*r + 505. Suppose -l - 993 = -7*h. Is h a multiple of 9?
True
Let f(a) = -11*a**2 - 9*a - 26. Let t(o) = 31*o**2 + 27*o + 76. Let b(u) = -17*f(u) - 6*t(u). Does 23 divide b(16)?
False
Let b be (3/(-2))/(9/(-12)). Suppose -15 = p - b*x - x, p + 5*x = -31. Does 7 divide (-24)/56 - 198/p?
False
Suppose -3*u + 16 = u. Suppose u*h + 20 = 3*h. Is 12 a factor of (h/(-15))/(4/174)?
False
Suppose -4*j + 17 = -3*j + f, -5*f = -3*j + 27. Suppose -j*w = -20*w + 318. Is w a multiple of 9?
False
Let o(c) = -c**3 + c**2 - c + 1. Let l(u) = -u**3 + 22*u**2 - 15*u + 44. Let y(a) = -l(a) + 2*o(a). Does 9 divide y(-21)?
True
Suppose 40*w - 16286 = 17154. Is w a multiple of 40?
False
Let k(z) = -179*z + 63. Let m be k(-6). Suppose 6*o - 399 - m = 0. Is 32 a factor of o?
True
Let x be ((-275)/20)/((-1)/4). Is 16 a factor of 7579/x + 7 - (-8)/(-10)?
True
Let o(z) = 4*z**2 + 3*z + 19. Suppose a + 4 = -5*v, v - 1 = -0. Let q be o(a). Is -1 - -4 - q/(-2)*1 a multiple of 18?
False
Suppose -5*m = 4*d - 32384, 9*d - 8*d - 6476 = -m. Does 90 divide m?
True
Let o = 917 - -833. Is o a multiple of 7?
True
Let x(b) be the second derivative of -2/3*b**3 - 17*b + 19/2*b**2 + 0 + 1/12*b**4. Does 6 divide x(8)?
False
Let v(z) = 4*z**3 + 48*z**2 - 47*z - 47. Let w(g) = -g**3 - 12*g**2 + 12*g + 12. Let u(b) = 2*v(b) + 9*w(b). Does 3 divide u(-14)?
True
Let f(l) = -662*l - 4288. Does 15 divide f(-14)?
True
Let t be (4 - -2)/3 - 9. Let y be (-2)/t - (-1250)/35. Suppose -5*l + y = -49. Is 17 a factor of l?
True
Let b(v) = 15*v**2 - 16*v - 180. Is 23 a factor of b(-7)?
True
Let v be (3 - -21)/((-15)/(-10)). Let z(a) = 11 - 3 - 14*a - 7 - a**3 - 6 + v*a**2. Is 5 a factor of z(15)?
True
Suppose 5*d + 5*f - 1140 = 0, 2*d - 5*f + 4*f = 459. Suppose -2*p = -3*r + 18, 0 = r - 74*p + 69*p - 19. Is 6 a factor of r/14 + d/7 - 3?
True
Suppose 8344*l - 8361*l = -23188. Does 62 divide l?
True
Does 10 divide 2702/9 - (-138)/(-621)?
True
Let l = -242 + 981. Suppose 9*c + l = 8695. Does 26 divide c?
True
Suppose -v + 6613 = -5*r - 6849, 53967 = 4*v - 3*r. Does 33 divide v?
True
Suppose 5*g - 11 = 29. Let w be 5*g/(-160) + (-1070)/8. Let y = -128 - w. Does 3 divide y?
True
Is 9 a factor of 320/(-60)*(-4338)/12?
False
Let m(z) = 214*z - 40. Let q be m(5). Suppose 230 + q = -15*j. Is (j/5)/(9/(-30)) a multiple of 7?
True
Suppose -2*q + t + 4*t + 33 = 0, 4*q = -3*t + 1. Does 25 divide 2/q*3750/15?
True
Let o = -32 - -36. Let u = 3 + o. Suppose -u*h = -0*h - 112. Is h a multiple of 3?
False
Suppose 5450*a - 5437*a = 440128. Is a a multiple of 18?
False
Let b(i) = -i**2 + i + 31. Let z be b(-5). Let t be (1 - -2) + -2 + z + 539. Suppose 3*o - o - 5*s - 281 = 0, 4*o = 3*s + t. Is 7 a factor of o?
True
Let i(a) = -a**3 - 4*a**2 + 14*a + 67. Let c be i(-6). Suppose 0 = -47*v + c*v - 6152. Is v a multiple of 32?
False
Let g = -7 - -127. Suppose -74*n + 79*n = g. Is 8 a factor of n?
True
Suppose 39*g + 8*g = 324641 + 186014. Is 53 a factor of g?
True
Suppose 2*n = 3*q - 4, -q + 4 = 5*n + 14. Suppose 4*r + m = -0*m + 86, -r = -3*m - 28. Suppose q = 4*a - 158 - r. Does 9 divide a?
True
Let c = 2 - -16. Let t = c - 19. Is 9 a factor of t + -3 - 7*-7?
True
Let s(l) = 7*l + 16 + 4*l**3 + 7*l - 2*l**2 + 3*l**3 - 3*l - 2*l**3. Is s(6) a multiple of 21?
False
Let c = 43 - 38. Suppose 2*h = 7*l - c*l - 482, 3*h + 477 = 2*l. Does 41 divide l?
True
Let d be (2*-538)/(15/(-30)). Suppose -d - 488 = -16*u. Is u a multiple of 10?
False
Let i be (174/15)/((-46)/(-15) - 3). Suppose -175*u = -i*u - 94. Does 5 divide u?
False
Let j(a) = 4*a**3 + 157*a**2 - 151*a - 18. Is j(-40) a multiple of 5?
False
Let i(y) = 4*y + 124. Let r(d) = -d - 25. Let a(l) = 3*i(l) + 16*r(l). Let q be (-1 + (-6)/(-10))*-3*(-1400)/140. Is a(q) a multiple of 2?
True
Suppose 27759 - 7085 = 3*f - b, f - 6878 = 3*b. Does 24 divide f?
False
Let w = 448 - 443. Is w + 3/(30/440) even?
False
Suppose -10*s = 5*l - 13*s - 783, 4*s - 464 = -3*l. Is 12 a factor of l?
True
Is 3 a factor of 223800/250 + 18/10?
True
Let j be 3/1 + (7 - (2 - -5)). Suppose 0 = -j*f - 5*k + 386, 4*k + 9 = -11. Does 23 divide f?
False
Suppose m - 46 = -0. Suppose 26*o - 47 = 31. Suppose -4*j = -o*c + m, -5*j + 46 = c + c. Does 9 divide c?
True
Suppose -6*t = -13*t + 77. Let q(c) = -5*c**2 - 5*c + 2*c**3 - 407 - c**3 - 5*c**2 + 409. Is q(t) a multiple of 22?
False
Let c be -1 - -6*(-9)/(-6). Suppose -7*p + c = -5*p. Suppose 230 = 3*u + 5*b, -3*u - 110 = -p*u + 5*b. Is u a multiple of 20?
False
Suppose -154*f + 210*f - 16296 = 0. Does 6 divide f?
False
Is (-34 - -14 - -4) + 1377 a multiple of 12?
False
Let i be ((-36)/(-1))/((-12)/(-8)). Suppose 4*r = -5*t + i, -t = -4*r + 10 + 14. Is 37 a factor of r/(225/111 - 2)?
True
Let q be (-5 - 1) + -13*(-227 + -4). Suppose -27*f + 8802 + q = 0. Is f a multiple of 19?
True
Let l(q) = q - 7. Let z be l(22). Is 21 a factor of (-2 + 3)/(z/315)?
True
Let w = -17 - -21. Suppose 3*k - 1 - 4 = -5*l, 0 = -4*k + w*l - 36. Is 22 a factor of (k - -6) + 40 + 2?
False
Is 15 a factor of (-6 + 1188/20)*1*15?
False
Suppose 8*f = 3*f + 3835. Let l = f + -449. Is l a multiple of 54?
False
Suppose -24*x + 41*x = 6715. Let a = x - 295. Is a a multiple of 10?
True
Let d(a) = a**3 + 44*a**2 - 70*a. Is 