r of k?
True
Let f = -87 - -89. Let m be 6/(f/(5 + 1 + -5)). Is ((-194)/m)/(-4*9/54) a multiple of 4?
False
Let a be (1/2)/(3/48). Let r be (-30)/a*(-9 + -3). Suppose 6*h = 117 + r. Is 8 a factor of h?
False
Let s = 12641 + 12837. Is s a multiple of 6?
False
Let t be (2/2)/((-18)/(-90)). Suppose -t*n + 4 = -11. Is (-6)/n + 158 - 0/2 a multiple of 13?
True
Suppose -834137 - 434064 = -29*k - 258595. Is k a multiple of 14?
False
Suppose -12*a + 13*a + 5055 = 5*z, -2*z - 2*a + 2010 = 0. Is z a multiple of 24?
False
Suppose 9*h - 226 = 11141. Does 23 divide h?
False
Suppose 3*i - 18 = -6*b + 2*b, 8 = 2*b + i. Suppose b*c + 570 = 3*u, u + 26*c - 25*c = 194. Is 3 a factor of u?
True
Let s be (-41)/8 - -5 - 291/(-24). Suppose -5*i + s*i - 854 = 0. Does 43 divide i?
False
Suppose -15*j - 65858 = -101588. Is j a multiple of 18?
False
Suppose 27*p = 24*p - 4*i + 4493, -p = 3*i - 1486. Is p a multiple of 4?
False
Suppose 0 = 3*f + 5*l - 1295, -42*l + 420 = f - 38*l. Does 5 divide f?
True
Let z = 104917 + -61783. Is 19 a factor of z?
False
Suppose 9*i + 2 = 29. Suppose i*d = d + 222. Does 37 divide d?
True
Is (22318/7)/(12/42) a multiple of 67?
False
Let h = 18091 - 10008. Does 10 divide h?
False
Let o(u) = -19*u**3 + 8*u**2 + 9*u + 82. Is 170 a factor of o(-6)?
True
Let n(v) = -139*v**2 - 6*v - 2. Let c be n(4). Let h = c - -3737. Does 20 divide h?
False
Let g(c) = -106*c**3 - 5*c**2 + 3*c. Let i be g(-3). Suppose 6*p = i + 2868. Does 43 divide p?
True
Suppose -24 = -2*o - 4*v, o + 11 = -4*v + 25. Is 23 a factor of 13*-115*o/(-25)?
True
Suppose -4*u = p - 103 - 468, -3*u - p + 427 = 0. Let v = 216 - u. Does 6 divide v?
True
Let q(g) = -6*g - 101. Let n be q(-37). Suppose -33 = -7*j + n. Is j a multiple of 7?
False
Let u = 57 - 53. Suppose -2*j + 44 + 44 = u*s, -3*j + 140 = 2*s. Suppose -3*d + j = -d. Is 2 a factor of d?
True
Suppose -5*s + 376 = -9. Suppose 0 = -4*w + 127 + s. Is 14 a factor of w?
False
Let y(l) = l**3 - 10*l**2 - 11*l - 21. Let d be y(11). Let a be (6*5)/(7*(-6)/d). Is 4 a factor of (50/a)/(-1 + (-4)/(-3))?
False
Let k = 93 - 77. Suppose 3*h = k*h + 52. Does 17 divide (34/h - 0)/(3/(-42))?
True
Let f = 4011 + 2390. Does 37 divide f?
True
Let r = -42 + 45. Suppose r*k - 8*k = -40. Suppose 0 = -13*h + k*h + 60. Is h a multiple of 6?
True
Suppose -3*w = w. Let c(r) = -2*r**3 + 38*r**3 + w + 17*r**3 + 1. Is c(1) a multiple of 12?
False
Suppose -6*g - 3*g - 2*g = 0. Is (1805/1)/5 - (1 + g) a multiple of 40?
True
Let p = -7459 - -12074. Is 9 a factor of p?
False
Let h = -7787 - -10969. Let f = h + -818. Is 11 a factor of (-8)/(-12)*f/8?
False
Let q be (1/(-17))/((-7)/(-12005)) - 36/306. Let b = -240 + 356. Let x = b + q. Does 7 divide x?
False
Suppose -5224 = 15*t - 20674. Is t a multiple of 12?
False
Suppose 24*g - 65941 = 86579. Is g a multiple of 31?
True
Let x(v) = 268*v**2 - 2*v + 1. Let u be x(-2). Let q = u + -573. Is q a multiple of 12?
True
Suppose -8 = -7*y + 6. Suppose -7*r = -2*n - 3*r + 508, -n - y*r = -250. Does 12 divide n?
True
Suppose 3788*x - 391515 = 3745*x. Is 108 a factor of x?
False
Suppose 9*x + 10*x = x. Suppose 3*d = 4*k + 1005, 4*d + 19*k - 24*k - 1339 = x. Is 11 a factor of d?
False
Let c = 9527 - 2523. Does 10 divide c?
False
Suppose 4*d = -0*v - 3*v - 6, 2*d - 4*v - 8 = 0. Suppose -60*s + 111 = -9. Suppose -2*z + 5*b - 14 = d, -5*z + 7 + 0 = -s*b. Is 2 a factor of z?
False
Suppose -5*f - 8 = -4*y - 3*f, 0 = 5*y + 3*f + 1. Let m = 1 + y. Suppose 3*c + 19 = -3*z + 8*z, 3*c + 4 = m*z. Does 5 divide z?
True
Let s be 10/((28/(-60))/7). Let w be s/((-2)/((-8)/(-3))). Suppose -2*f - 5*o + 194 = 2*f, w = 4*f + 2*o. Is f a multiple of 20?
False
Let d = 51 + -49. Suppose -294 = 4*h - d*h. Let p = 210 + h. Is p a multiple of 21?
True
Is ((-171893)/(-76))/(3/12) + -6 + -1 a multiple of 113?
True
Let a = -569 + 413. Is a/1014 + (-5932)/(-26) a multiple of 4?
True
Let s(m) = 53*m + 377. Let h be s(-7). Suppose -j - 12 = -3*x + 3*j, x + 5*j = -15. Suppose h*r = -x*r + 864. Is r a multiple of 36?
True
Let a(u) = -2*u - 8. Let c be a(10). Is 13 a factor of (4 - -1)*(c/(-10) - 0)?
False
Let j be (-120)/32*(-8)/3. Let w be (-17)/((-2)/(-8)*-2). Suppose m + j - w = 0. Is m a multiple of 12?
True
Suppose 8*i - 9*i + 5*y + 9447 = 0, 2*i = -4*y + 18978. Is i a multiple of 81?
True
Let s(u) = -1427*u**2 - 17*u - 38. Let n be s(-2). Is ((-2)/6)/(16/n) a multiple of 7?
True
Suppose -5*w + 4*w = -84. Suppose -2*u + w = -5*u. Let c = 57 + u. Is c a multiple of 8?
False
Let b(l) = l**3 - 15*l**2 - 7*l - 66. Suppose -5*i + 53 = -27. Is 26 a factor of b(i)?
True
Suppose 0 = -3*p - 6, j + 0*p + 5*p - 14130 = 0. Is 20 a factor of j?
True
Suppose -48*x + 1165872 = 10*x + 49*x. Does 69 divide x?
False
Let v = 1108 - -2190. Does 34 divide v?
True
Suppose -28398 = -15*n - 6648. Does 29 divide n?
True
Let q be 75/(3/3) + -2. Let u = q + -65. Let x(z) = z**3 - 6*z**2 - 9*z - 7. Is 7 a factor of x(u)?
True
Suppose -17*d = 20*d + 555. Is 15 a factor of 1804/3*10/(-100)*d?
False
Let g = -6263 + 13655. Is g a multiple of 33?
True
Let v(z) = -74*z - 18. Let o(q) = q**3 - 3*q**2 + 6*q - 23. Let n be o(3). Is 32 a factor of v(n)?
True
Suppose 6 - 6 = 13*c. Suppose -2*o + c*o = 4. Is (12 - 14)/(o/58) a multiple of 21?
False
Let j = -10 - 25. Let l = j + 41. Does 16 divide 94 + 3/(l/4)?
True
Let t(a) = -24*a + 11584. Is t(83) a multiple of 88?
True
Let c = 48 + -43. Suppose -c*a + 0 = -15. Suppose -3*s = -j - 173 - 78, -257 = -a*s - 5*j. Is 21 a factor of s?
True
Let s(j) = 3886*j**2 + 50*j + 96. Is 140 a factor of s(-2)?
True
Suppose 5*j - 3*s - 28 + 3 = 0, 2*j + s - 10 = 0. Suppose 3*u - 4*r = -r + 357, -j*u + 594 = -4*r. Is 17 a factor of u?
False
Let r = 60500 - 35553. Is 12 a factor of r?
False
Suppose 0 = -2*y - 0*y + i + 1, 5*i - 25 = 0. Suppose 3*f - f + y*s - 248 = 0, 370 = 3*f + 5*s. Is f a multiple of 4?
False
Let k = 93 + -312. Is 73 a factor of (-6 + (8 - 5))*k?
True
Let r(p) = -7*p + 5. Let f be r(0). Is 15 a factor of 69/1 - (f - (13 - 5))?
False
Let h(n) = n**3 - 3*n**2 + 2*n + 8. Suppose -2*y - 2 = 5*j - 8, -j + 6 = y. Let s be 0 - y*(-2)/8*2. Is h(s) even?
True
Suppose -3*w + 0 - 9 = 0. Is 1*w*(8 + 148/(-12)) a multiple of 3?
False
Let o = 184 + -261. Let t = 7156 + -7003. Let x = t + o. Is 13 a factor of x?
False
Suppose 4*i = 4, 0 = 34*v - 30*v - 2*i - 51734. Is v a multiple of 29?
True
Suppose -3*l - 2*h = -13170, -5*l - 5*h = -8924 - 13021. Is l a multiple of 8?
True
Suppose 4*q - 6 + 0 = -3*m, 0 = m + 5*q + 9. Suppose m*k - 562 = 176. Is k a multiple of 29?
False
Let q = 1 + 5. Let y(t) = 58*t - 34. Let r(w) = -19*w + 12. Let s(i) = 8*r(i) + 3*y(i). Is s(q) a multiple of 46?
False
Let y be (-2)/(16/29268)*(-3 + 1). Is 53 a factor of (-120)/80 - y/(-6)?
False
Let f = -2069 - -6497. Is 82 a factor of f?
True
Let w = -40930 - -60931. Is 59 a factor of w?
True
Suppose -26608 - 35484 = -266*j + 94*j. Is j a multiple of 5?
False
Suppose 13*a - 11*a = -3*x + 50, -4*x = 0. Suppose -5*h + 10 = 0, 4*h - 3 + 240 = 5*m. Let f = m - a. Is f a multiple of 4?
True
Is (-7 - -27) + 34685 - 11 a multiple of 17?
False
Let h(x) = -38*x + 39 - 108 + 26*x**2 + x**3 + 52. Is h(-27) a multiple of 28?
True
Suppose 29*h + 2*m - 29114 = 25*h, 8*h + m = 58213. Does 58 divide h?
False
Suppose -5*v + 62506 = 4*n, 0 = -2*n - 36*v + 37*v + 31246. Does 63 divide n?
True
Let u(n) = -293*n + 9185. Is 84 a factor of u(13)?
True
Suppose 53478 + 21051 = -124*b + 163*b. Does 21 divide b?
True
Suppose 0 = -12*v - 469 + 553. Suppose 4410 = -0*i + v*i. Is i a multiple of 9?
True
Let t(x) = x**3 - 2*x**2 - 15*x - 13. Let y be t(6). Suppose 888 = -y*i + 43*i. Is i/22 - 6/33 a multiple of 14?
False
Suppose 49*q - 4526 = 18*q. Does 4 divide q?
False
Suppose -3*l = 2*l - 25. Suppose u + u + 10 = 0, -l*y + 5*u = -35. Suppose -y*w - 2 = -78. Is w a multiple of 4?
False
Let r(p) = -p - 5. Let w be r(-8). Let j be 32/(w*(-2)/15). Let f = -65 - j. Is f a multiple of 15?
True
Suppose -12 = -3*u, 2*a - 5*a - 2*u + 5048 = 0. Suppose 8*l = 13*l - a. Is l a multiple of 6?
True
Suppose 38*p + 2607 = 5*c + 36*p, 2635 = 5*c + 5*p. Is c a multiple of 9?
False
Suppose 0 = 4*u + t - 1496, 0 = u + 4*t - 195 - 164. Suppose -4*z = -285 - u. Does 16 divide z?
False
Suppose i + 2*i + 10 = k, 8 = 4*k +