
True
Is 232 a factor of 7885 + 21*2/28*2?
True
Let p be (13 - 12) + (2 - 1) - -2. Suppose -b + 45 = p*b. Suppose 96 = 13*x - b*x. Does 12 divide x?
True
Let d = 58 - 43. Let u = 28 - d. Let x = u - -34. Is 12 a factor of x?
False
Suppose -104*b + 48775 = 103. Let x = -3 + 7. Suppose l - 3*u = 6*l - 609, -x*u - b = -4*l. Is 12 a factor of l?
True
Let s be ((-12)/27)/(18/(-81)). Suppose 0*f + j = -2*f + 282, s*j = 3*f - 423. Is f a multiple of 47?
True
Let u(s) = s**2 - 19*s + 17. Let k be u(16). Let h = -26 - k. Suppose 3*o + 152 = 5*o + d, h*o + d = 386. Does 26 divide o?
True
Let l = -29589 + 50826. Does 87 divide l?
False
Let c = 14471 - 14464. Let t(i) = i**2 - 7*i + 8. Let j be t(6). Suppose -j*w = -2*x + 338, x - c*w + 2*w = 185. Is x a multiple of 33?
True
Let h = -361 + 266. Let u(v) = 35*v**2 + 2*v - 1. Let k be u(2). Let n = h + k. Is n a multiple of 16?
True
Suppose 4*u - x - 6 - 23 = 0, 2*u - 32 = 4*x. Let y(c) = -2*c + 7. Let z be y(u). Is 2496/30 + (-4)/z a multiple of 28?
True
Let q be -1 - -5 - 0/6. Suppose q = 2*j + 2*a, -a = -j - 0*j + 8. Suppose 3*c - 188 - 820 = -3*v, -5*c + 1630 = -j*v. Is c a multiple of 48?
False
Suppose 7 = y + 5, t + 2*y = -27. Let u = t + 36. Is (u/20)/(1/68) a multiple of 17?
True
Suppose 0 = 17*t - 19*t + 6. Suppose 11*g + 710 = 2*n + 7*g, -3*n + t*g + 1050 = 0. Is 22 a factor of n?
False
Does 88 divide (-56)/(-21)*(-4 - (-28)/16) + 15198?
False
Let n(k) = k**3 - 7*k + 39. Let c(y) = -y**3 + y**2 + 5*y - 40. Let u(d) = -3*c(d) - 2*n(d). Is u(0) a multiple of 14?
True
Let m be (1*(-12)/8)/(12/(-728)). Suppose 4*f = c + 562, 4*f - c - c = 564. Let w = f - m. Does 7 divide w?
True
Let h = -53 + 74. Suppose 0 = -9*z + 129 - h. Suppose -7*d + 6*d + z = n, -5*n = 20. Does 8 divide d?
True
Suppose 180*l = 179*l + 162. Let p = l - -202. Is p a multiple of 17?
False
Let q = -1865 - -643. Let f = -700 - q. Is 26 a factor of f?
False
Let j(d) be the second derivative of 331*d**5/10 - d**4/12 - d**3/2 + d**2 + d + 19. Let o be j(1). Let f = o + -341. Is f a multiple of 29?
True
Is (32/(-8) - -17)*129 a multiple of 6?
False
Is (3/6)/(((-28)/1784)/(-7)) a multiple of 21?
False
Suppose 0 = 127*b - 49*b - 1090908. Does 18 divide b?
True
Suppose -4*d = 5*u - 5, u - 3*d + 3 = 4. Let s(w) = 1443*w + 12. Is 66 a factor of s(u)?
False
Suppose -618*i = -581*i - 39405. Is i a multiple of 5?
True
Let s(c) = 2*c + 28. Suppose -15*f - 15 = 180. Let z be s(f). Suppose 5*o + 126 = j + j, z*j + o - 102 = 0. Is j a multiple of 12?
False
Let i be ((-6)/(-4))/(81/65556). Suppose 6*x - 4*x + 3*z - 478 = 0, -2*z - i = -5*x. Is x a multiple of 22?
True
Let z(h) be the second derivative of -h**5/20 + h**4/2 + 3*h**3/2 - 71*h. Does 6 divide z(7)?
False
Suppose -4807 = 4*l + 15*l. Let f = l + 292. Is f a multiple of 13?
True
Let s be (-42)/(-2) - (8 + -3). Suppose -14 = -6*r + s. Suppose r*h = -2*v + 756, -h - 4*v + 110 + 34 = 0. Does 8 divide h?
True
Let v be 4/(2 + 3 - (4 + -1)). Let m be v*((-7)/2 - -4). Let h(k) = 48*k + 2. Is h(m) a multiple of 18?
False
Suppose 8*i = 29 + 43. Let p be i - 5 - 2*1/(-2). Suppose -309 = -3*f - 0*w - 4*w, p*f - 4*w - 547 = 0. Does 10 divide f?
False
Let w(q) = 13*q**3 + 2*q**2 - 14*q + 24. Let j(k) = 4*k**3 + k**2 - 5*k + 8. Let n(m) = 11*j(m) - 4*w(m). Is 58 a factor of n(-3)?
True
Suppose -549885 - 1198919 = -46*v - 99198. Is v a multiple of 30?
False
Suppose 4*z - 799 = 5*g, -7*g + 2*g - 181 = -z. Suppose c - z = -3*n, 5*n - 5*c - 346 = -8*c. Does 4 divide n?
True
Let z = 6 + -13. Suppose 0 = 5*k - 4*w - 1, 161*k = 163*k + 5*w + 26. Is (z - -18)*(2 - k) a multiple of 11?
True
Suppose 197*f - 202*f = 2*v + 152, -38 = 2*f - 3*v. Suppose z - 82 + 17 = 0. Let w = f + z. Is w a multiple of 4?
False
Suppose 5*d = -5*h + 1255, -76*h + 73*h = -d - 745. Is 3 a factor of h?
True
Let m = -357 + -3. Suppose 0 = 3*z - 9, -2*a + 2*z - 10 = -1424. Let r = a + m. Does 35 divide r?
True
Let n(c) = 25*c**2 - 532*c + 40. Does 11 divide n(-18)?
False
Suppose 30062 = 39*v - 35419. Suppose v = 4*j - z, 31*j - 27*j - 1676 = 4*z. Is 42 a factor of j?
True
Let f(l) = -l - 2. Let c be f(-6). Let m = -237 + 279. Suppose w - c*n - 15 = -4, -2*w + m = -3*n. Is w a multiple of 9?
True
Suppose -7*h = -2*h - 0*h. Suppose 6*g - 8 - 4 = h. Is 16 a factor of 159 - (g - 4)*-1*2?
False
Suppose t + b + 418 = 0, t + 133 + 281 = b. Let v be (2037/14)/(3*(-2)/8). Let g = v - t. Is 20 a factor of g?
False
Let h(b) = -32*b**3 + b**2 - b - 1. Let j = -132 + 131. Let v be h(j). Is v/77 + (-1)/(14/(-2178)) a multiple of 13?
True
Suppose -8*x + 48 + 112 = 0. Suppose 5*g + x = 0, g = -2*p + 4*g + 656. Does 14 divide p?
True
Suppose 0 = -42*q + 44652 - 11136. Does 3 divide q?
True
Suppose -5*t - 2*w = 3*w, 4*t - w - 20 = 0. Suppose 2*b - 2*a - 60 = 0, t*b - 102 = 5*a + 19. Is 8 a factor of b?
False
Let j = 22 + -17. Suppose -3*a = n - 488, 0*n - 4*a = -j*n + 2383. Is 13 a factor of n?
False
Suppose -y = 4*f + 21, 3*f - 2*y + 6 = -18. Let z(x) = 13*x + 42. Let o be z(-5). Does 40 divide (f + 3)*o - -5?
False
Is 31 a factor of (-8)/(-36) + -2371*24/(-54)?
True
Let w(k) = -118*k - 456. Does 28 divide w(-6)?
True
Suppose 2*b + 3*a - 31 = 0, b + 3*a = -4*b + 55. Suppose 5*i - 1092 = b. Suppose 3*r + 112 = 6*r - 2*y, -i = -5*r - 5*y. Is 5 a factor of r?
True
Let m be (888/(-15))/(0 - 4/20). Let o = m - 161. Does 32 divide o?
False
Let g = 758 - 415. Suppose -y = -5*k + 7*k - g, -3*y + k + 1064 = 0. Does 24 divide y?
False
Let f(k) = -k**3 - 17*k - 103. Is 44 a factor of f(-18)?
False
Is 2/5 + 65088/180 a multiple of 33?
False
Let h be 3 + (-1)/(-1) - 2. Suppose -i + 30 = h*i. Suppose -i*t + 0*t + 350 = 0. Is t a multiple of 35?
True
Let h(a) = -a**3 + 16*a**2 + 46*a - 68. Is h(-18) a multiple of 110?
True
Suppose -4*b - 3*y = -10, -5*b = -3*y + 2 - 1. Let i be 3/b*-1 - -7. Suppose 2*h + 101 - 359 = 2*s, 0 = i*h - s - 519. Is h a multiple of 13?
True
Suppose 3*m + 9501 = -3*x + 52215, 0 = 2*x + 3*m - 28475. Is 12 a factor of x?
False
Let b be 1/2 - (-3)/((-24)/(-5468)). Suppose -b = -3*w - 3*w. Suppose 3*j - 126 - w = 0. Is 33 a factor of j?
False
Let f(x) be the third derivative of 11*x**5/60 - 31*x**4/24 + 25*x**3 - 12*x**2 - 5. Is 20 a factor of f(6)?
True
Let b(c) = 2*c**3 - c**2 + 3*c - 2. Let t be b(1). Suppose n + y = t*y - 169, -4*n - 2*y - 676 = 0. Let u = 259 + n. Is u a multiple of 30?
True
Let w be 4/(-10) + 68/20. Suppose -7*k = w + 4. Let d(l) = 70*l**2 + 4*l + 2. Is d(k) a multiple of 23?
False
Let y(c) = c**2 - 16*c + 50. Let o be y(12). Let f be o/3*3 - 34. Is (-6)/8 + (-1208)/f a multiple of 8?
False
Suppose -7 = -2*z + 5. Suppose 4*o = z*o. Let q(j) = j**2 + 2*j + 49. Is 7 a factor of q(o)?
True
Let a(k) = 2091*k**2 - 36*k - 111. Is 16 a factor of a(-3)?
True
Suppose 321630 = 692*l + 613682 - 4196316. Does 26 divide l?
True
Suppose 102*p - 107*p + 31118 = 4*t, t = -4*p + 24912. Is p a multiple of 5?
True
Suppose 0 = 36*l - 24*l - 60. Suppose -7*a = l*a - 6828. Is 21 a factor of a?
False
Let b = 181 - 184. Is 11 a factor of b/((-5)/(-110)*(-12)/20)?
True
Let s(l) = -l**3 + 29*l**2 + 34*l - 7*l + 13 + 10*l - 3*l - 64. Is 8 a factor of s(30)?
False
Let t = -372 - -134. Is 11 a factor of (-32504)/t - 6/(-14)?
False
Suppose 7*z = -240 + 170. Is 7 a factor of 30 + 2/2 - (z + 13)?
True
Does 24 divide (12/(-28))/((-45)/3399060)?
False
Let q = 4014 - 2775. Is 17 a factor of q?
False
Let z(k) = -k**2 + 2*k + 1. Let b(g) = -14*g + 1. Let i(t) = 2*b(t) + 2*z(t). Is i(-8) a multiple of 18?
False
Suppose -244*h - 416036 = -2296788. Is h a multiple of 47?
True
Let v(i) = -2*i + 69. Let m be v(16). Suppose -k + 186 = -m. Is k a multiple of 33?
False
Suppose 21458 = 5*q - 2*m, -4*m + 4730 + 20994 = 6*q. Does 39 divide q?
True
Suppose -12*m + 1205 = 89. Suppose 87*v = m*v - 3240. Is 10 a factor of v?
True
Is 26 a factor of (-260)/(-13 + 579/45)?
True
Let s(z) = z**2 + 2*z - 6. Suppose 25*m = 28*m - 6. Let a be s(m). Suppose -f - 3*p + 45 = -a*p, -181 = -4*f - 5*p. Is f a multiple of 14?
False
Does 16 divide 7787 + 10*36/45 - 4?
False
Let h = -8703 - -16118. Does 15 divide h?
False
Let c(p) = 3*p + 4*p**3 - 5*p**3 + 1 - 2*p**2 + 10*p**2 - 5*p**2. Let a be c(4). Is (231 + a - -3)*1/3 a multiple of 8?
False
Suppose 205*v + 698453 = -99*v + 5702597. I