rue
Let q be 66820/21 + (480/(-315))/(-16). Suppose 45*g - 1093 - q = 0. Does 30 divide g?
False
Let j = -2279 + 4574. Is j a multiple of 16?
False
Let a = -2712 - -2745. Does 3 divide a?
True
Is (31968/15)/((-9)/(-585)*13) a multiple of 72?
True
Let y(j) = 12*j + 33. Let x be y(-2). Suppose -3700 = -3*f - l, -l - 2475 = -11*f + x*f. Is 65 a factor of f?
True
Suppose 485*b = 509*b - 321792. Is b a multiple of 191?
False
Suppose -5*a + 461 = q, -q + 4*a - 1372 = -4*q. Suppose q*p - 2023 = 449*p. Is 17 a factor of p?
True
Let u(o) = -14*o**2 + 10*o - 8. Let p be u(4). Is ((p/(-6))/1)/(1/3) a multiple of 16?
True
Does 14 divide 2/(-6*(-11)/68376)?
True
Suppose -906 = -r - 5*m, -91*r + 5*m - 3684 = -95*r. Does 2 divide r?
True
Suppose -24*h + 3*h = -63. Suppose -3*k + 4*k + 4*x = 141, h*k + 5*x = 423. Is k a multiple of 8?
False
Let h(g) = g**2 - 3*g + 6. Let t be h(2). Suppose 2*z - 4*m - 354 = 0, 0 = -12*z + 10*z - t*m + 322. Is 4 a factor of z?
False
Let n be ((-8)/(-6))/((-32)/6 - -6). Suppose -h = -4*w - 125, 164 = h - n*w + 49. Is 24 a factor of h?
False
Let s(t) be the third derivative of -47*t**4/24 - 22*t**3 - 28*t**2 + 2. Is 10 a factor of s(-14)?
False
Let f be -544*(72/(-108))/((-4)/6). Let g = f + 844. Is g a multiple of 3?
True
Suppose h - 3317 = 5*c, 3*h - 16556 = -2*h - 4*c. Is h a multiple of 46?
True
Suppose -3*u - 605*o + 11428 = -610*o, 0 = -2*u + 5*o + 7612. Is 20 a factor of u?
False
Let q(k) = -k**2 + k. Let x(i) = 13*i**2 - 2*i + 27. Let b(c) = -2*q(c) - x(c). Let f(s) be the first derivative of b(s). Does 22 divide f(-1)?
True
Let j(d) = 18*d - 765. Is j(89) a multiple of 31?
True
Let m = -10 - -14. Suppose -m*a - 468 = 2*l, -126 - 108 = 2*a + 2*l. Does 8 divide -2 + 4/((-4)/a) + -3?
True
Let w = 104 + -135. Let o(r) = -4*r + 20. Is o(w) a multiple of 8?
True
Let w(i) = i**2 + 3*i - 85. Let x be w(7). Is 210/28*(-312)/x a multiple of 4?
True
Let r = 72 + -30. Let j be (-1)/(-2)*((4 - 74) + 16). Let l = r + j. Is 3 a factor of l?
True
Suppose 13 = q - 42. Suppose 3*a = 4*a - q. Is a a multiple of 12?
False
Suppose 86*u = 854996 - 85124. Does 34 divide u?
False
Suppose -202003 = -112*a - 43*a + 9572. Does 21 divide a?
True
Let g = 57 - 54. Let q(n) = 2*n**2 - g*n - 20*n**3 - 13*n**3 - 4 - 11*n**3. Is q(-1) a multiple of 10?
False
Let l(n) = 50*n - 19. Let u be l(-6). Let k = u - -631. Does 52 divide k?
True
Let h = 223 + -221. Suppose 0 = -h*u + a + 129, 4*u + 16*a = 20*a + 252. Does 5 divide u?
False
Let l(f) = 286*f - 2208. Is l(16) a multiple of 8?
True
Suppose 13*u = 23*u - 3790. Let l = u - -153. Is 14 a factor of l?
True
Suppose -u + w = -214, 5*w = -u + 17 + 221. Suppose -b - 47 = 4*k - 197, -3*k = -b + 157. Let t = u - b. Does 16 divide t?
True
Let b = 16230 - -17370. Does 21 divide b?
True
Does 12 divide (8/24*(-1)/1)/((-32)/57216)?
False
Let v(y) = y**3 - 15*y**2 + 46*y + 11. Let w be v(11). Suppose w*x - 28*x = 10, -5*x + 718 = 2*r. Does 28 divide r?
False
Is 13 a factor of 11/55*(-4)/(-8)*56830?
False
Suppose -v - 45 = -4*v. Let w(r) = r**2 - 8*r. Let m(q) = q**2 - 6*q - 2. Let z(a) = -3*m(a) + 4*w(a). Is 7 a factor of z(v)?
True
Does 50 divide ((-3 - -13) + -60)*-14?
True
Let g(d) = 65*d + 167. Let c be g(-12). Let f = 358 - c. Is 26 a factor of f?
False
Let y = 135 + -89. Let g = 48 - y. Suppose -g*u = -204 - 288. Does 47 divide u?
False
Let p = 1116 - -15844. Does 64 divide p?
True
Suppose 0 = 3*w - 8*w + 445. Suppose 175 = -4*t - w. Let o = t - -122. Does 6 divide o?
False
Suppose 6104 = 15*i - 4621. Suppose 0 = 15*t - i - 80. Is t a multiple of 53?
True
Is -11 + 4 - (432871/(-17) + 16) a multiple of 20?
True
Let w = -5822 + 7837. Does 13 divide w?
True
Is (-544)/(-3)*(-333)/(-148) a multiple of 34?
True
Suppose -9*b = -2*m - 6*b + 902, 3*b - 12 = 0. Suppose -10*f + m = -10423. Is f a multiple of 34?
True
Suppose -5*c + 5 + 25 = 0. Suppose c*d + 3760 = 7*d. Is 27 a factor of d/24 - 4/6?
False
Let x be 3 - (4/6 + (-212)/12). Let l = x + -23. Let r = 14 - l. Is r a multiple of 2?
False
Let i(n) = -16*n**2 + 32*n + 75. Let w(a) = 8*a**2 - 15*a - 37. Let j(t) = 2*i(t) + 5*w(t). Is 57 a factor of j(11)?
False
Suppose 0 = -4*a - p - 6, 0*p - 3*p + 12 = -3*a. Let q(m) = -3 - 22*m + 6 - 4*m - 4. Is q(a) a multiple of 7?
False
Suppose -2*c = -8*c. Suppose 2*u + 2*u + 56 = c. Let f = 16 + u. Is f even?
True
Suppose 40 = 26*h - 64. Suppose -h = -q, q = a - 288 - 534. Is 14 a factor of a?
True
Suppose a + 999 - 1001 = 0, 3*a = r - 4170. Is r a multiple of 24?
True
Suppose 3*m - 3 = 0, 3*t + 2490 = 4*t + 3*m. Does 21 divide t?
False
Suppose -6*m + m + 125 = 0. Suppose 5*o + m = 4*x, -o + 3*x + 0*x + 6 = 0. Is (o - -2)/((-1)/2) a multiple of 6?
False
Let d be -1*2 + (15 - 5 - -24). Suppose -5*t + 983 = -d. Is 29 a factor of t?
True
Suppose 25*w - 100263 = -32*w. Is 11 a factor of w?
False
Let q(u) = 3*u - 6. Let t be q(4). Let n(w) = w**2 - 3*w + 1. Let d be n(1). Does 15 divide 64/((-2)/t - d)?
False
Let z = 32 - 191. Let w = -53 - z. Let i = w + 58. Does 37 divide i?
False
Suppose 10*l + 749 = 3*c + 12*l, -5*l = -c + 261. Is c + (-4 - 5/5) - 3 a multiple of 19?
False
Let q be -2 - 56/(-16) - (-13562)/4. Suppose 16*f - 13*f - 2019 = -3*j, 4*f = 5*j - q. Does 52 divide j?
True
Suppose m = 2*n - 2370, 9*n - 3*m + 1185 = 10*n. Is n a multiple of 3?
True
Let i(c) = 364*c + 5. Does 64 divide i(29)?
False
Suppose -3*d + 27 = -2*s + 2*d, s + 4*d = 6. Does 19 divide -4 - (17 + s)*29/(-1)?
False
Let g(q) = -q**3 - 45*q**2 + 83*q + 878. Does 15 divide g(-47)?
True
Let g(t) = t**2 + 7*t - 4. Let j = -79 - -79. Suppose -w - 4*p + 23 = -0*w, 3*w + 2*p - 29 = j. Does 11 divide g(w)?
False
Let c = -1068 + 4276. Is c a multiple of 7?
False
Suppose -67*x - 512 = -3*x. Suppose 0 = -5*b - 649 - 16. Let m = x - b. Is 25 a factor of m?
True
Let q be 91/5 - (-13)/(-65). Let w be ((-387)/q)/((-2)/4*1). Suppose -59 = -u + w. Does 6 divide u?
True
Let i = -8245 - -16348. Does 304 divide i?
False
Is 12 a factor of 1624 + 6 + 3 + -7?
False
Let n = 992 - -8437. Is 31 a factor of n?
False
Let s = -717 - -813. Let q = 942 - s. Is q a multiple of 47?
True
Suppose -j = 2*s - 6*j + 6, -s + 4*j - 6 = 0. Let q(f) = f**2 - 4*f + 2. Let n be q(5). Suppose -265 = s*o - n*o. Is 12 a factor of o?
False
Is 22/((-220)/(-3585))*(6 - 0) a multiple of 85?
False
Is 12 a factor of 8/216*9*167364?
True
Let l(v) = 19*v**2 + 436*v + 13397. Is 4 a factor of l(-33)?
True
Let t = -309 + 295. Let m(q) = -q**3 - 9*q**2 + 57*q - 20. Is m(t) a multiple of 18?
True
Let w(a) = -a**2 + 20*a + 66. Suppose -42 = -3*b - 3*r, -3*b + 47 = b + r. Suppose 15*o - 326 = -b. Does 15 divide w(o)?
True
Let i = 38039 + -25055. Is 8 a factor of i?
True
Let f = -132 + 163. Suppose 32*k - 102 = f*k. Is k a multiple of 2?
True
Let y(v) = -v**2 - 6*v - 3. Let s be y(-4). Let f = 4041 - 4038. Suppose -s*n + 42 = -f*n. Is 3 a factor of n?
True
Let c(d) = -85*d - 16. Let q(v) = -v**2 - 8*v - 10. Let o be q(-7). Is 13 a factor of c(o)?
False
Suppose 4*b - 2*c - 418 = -70, -372 = -4*b - 4*c. Let a = b + -63. Is 6 a factor of a?
False
Let l be 5 - 0 - (25/5)/5. Suppose -l*u + 236 = 4*p, u - 5*p - 73 = -2. Does 15 divide u?
False
Let t be 575/207 + (-2)/(-9). Suppose t*x = 2*x + 269. Is 71 a factor of x?
False
Suppose 10752 = 4*y - 4*t, 5*y + 4*t = -5318 + 18749. Is 2 a factor of y?
False
Is (4/2)/((-37)/((-351500)/8)) a multiple of 19?
True
Suppose 5*c + 3*a + 253 = 7*c, -2*c - 3*a = -283. Let k = c - 187. Let r = k - -153. Does 20 divide r?
True
Let f(o) = 3*o**2 + 14*o**2 - 16*o**2 + 7*o + 9*o**2. Let m(s) = 11*s**2 + 7*s + 1. Let u(h) = 7*f(h) - 6*m(h). Does 8 divide u(3)?
False
Let q be 4/6*(61 - 31). Is (10/3 + -2)*2910/q a multiple of 11?
False
Suppose 215563 = 60*x - 5837. Does 30 divide x?
True
Suppose x = -p, -10*x + 8*x + 8 = 0. Let q(y) = 16*y**2 + 8*y + 35. Is q(p) a multiple of 36?
False
Let f be (7 + -5)*-1*(-3 - 2). Suppose 11*c - 30912 = -f*c. Is 81 a factor of c?
False
Let j(g) = g**3 + 11*g**2 + 17*g - 7. Let h be j(-9). Suppose 2*p + 14 = h*f, -2*f + 7 = p - 1. Suppose f*z - 124 = a + 139, -4*z + 222 = 5*a. Does 9 divide z?
False
Let p be 5978/20 - 2/(-20). Suppose 13*l - p = -0*l. Is l even?
False
Let q(u) = -4*u**2 + 12*u + 44. Let b be q(-3). Is ((-4690)/b)/(((-2)/2)/(-6)) a mu