ppose -6 = -u*h + 8. Suppose -3*s = -p + 64, 4*s = -4*p + h*s + 186. Is 7 a factor of p?
True
Let q = 2709 - -4805. Is q a multiple of 34?
True
Suppose 7*t + 14 = 8*t. Let n(y) = -18*y. Let a be n(-4). Suppose -a = t*u - 17*u. Is u a multiple of 24?
True
Suppose -225*r = -233*r. Suppose 21*g - 3805 - 5204 = r. Is 33 a factor of g?
True
Suppose 69*x + 14850 - 93510 = 0. Is 12 a factor of x?
True
Suppose -2915 = 148*q - 135*q - 17787. Is q a multiple of 22?
True
Suppose 2*r = 0, 4*r + 472 = -4*a + 8*r. Suppose -22*x + 6008 = -69*x + 15314. Let f = x + a. Does 20 divide f?
True
Let b = 10387 + -5406. Is 8 a factor of b?
False
Let p = 177 - 172. Is (5 + 10 + -8)*p*1 a multiple of 5?
True
Let j be ((-305)/4)/((55/(-20))/11). Suppose 13*y + j = 18*y. Is 15 a factor of y?
False
Let m(h) = -12*h + 8. Suppose 0 = -5*x + 163 - 3. Let p = -37 + x. Does 17 divide m(p)?
True
Let j = 166 + 117. Suppose -4*n + 234 = 2*r - 880, -n = -4*r - j. Does 29 divide n?
False
Let y(u) = 9*u**3 - 5*u**2 + 13*u - 158. Does 20 divide y(6)?
False
Let i = -56295 - -99779. Is 20 a factor of i?
False
Suppose -12 = -u - 4*o, -40*u = -44*u - o + 78. Suppose -p = 4*w - 2572, -u*p = -4*w - 22*p + 2568. Is w a multiple of 36?
False
Let v(y) = -3*y - 58. Let w be v(-19). Is (w/(-4) - (-33)/44) + 144 a multiple of 5?
True
Suppose -a - 549 = -2*a. Let s = -492 + a. Does 2 divide s?
False
Suppose -w + 4*a = -4, 5*w - 4*a = 6*w - 12. Does 38 divide -2 + (4 - w) + 117?
False
Let v(y) = 641*y - 308. Is 25 a factor of v(38)?
True
Suppose 0 = -22*a + 18*a - 12, -30222 = -3*c - a. Is c a multiple of 65?
True
Let l = 535 - 528. Is (-2)/l + (-1684)/(-14) a multiple of 10?
True
Let i be ((-48)/(-9))/(7/84). Suppose -1596 = -4*c - i. Does 43 divide c?
False
Let n = -136 - -73. Let z = 158 + n. Is 16 a factor of z?
False
Let n(x) = -8*x + 934. Is n(7) a multiple of 2?
True
Is 2 a factor of (-1 - (-7)/2) + -1 + 5796/8?
True
Let y be ((-12)/(-16)*4)/(6/(-10)). Let z(w) = -65*w + 89. Does 69 divide z(y)?
True
Let c be 0/(-6 - (-4 - 3)). Suppose -12*r + 196 + 80 = c. Is 23 a factor of r?
True
Let r(d) = -9*d**2 + 50*d + 4. Let z(k) = -16*k**2 + 101*k + 10. Let m(c) = 5*r(c) - 3*z(c). Is 24 a factor of m(-8)?
False
Let d = -29821 - -45294. Is d a multiple of 15?
False
Suppose -2*s - 4*q = 0, -24 = -2*s + 6*s - 4*q. Let n = 24 + s. Suppose -360 = 17*b - n*b. Is b a multiple of 16?
False
Suppose 2*q = -4*x + 148, 2*q + 3*x = q + 77. Suppose 86 - q = 6*o. Is o a multiple of 3?
True
Suppose -80 = -h - 12. Let l = h - 30. Let d = 97 - l. Does 14 divide d?
False
Suppose 2*z - 2854 = 4*d, 4*d - 821 = -z + 630. Suppose -z + 4816 = 7*x. Is x a multiple of 35?
False
Let t(k) = k**3 - 7*k**2 - 2*k + 9. Let j be t(8). Let u(q) = q**2 + 16*q - 3. Let z be u(-4). Let g = j + z. Is g a multiple of 6?
True
Let v(p) = 2*p**2 - 2*p - 7. Let b be v(-2). Is 30 a factor of (-3)/b + 5889/65?
True
Suppose -133*d + 532 = -129*d. Suppose d = 2*h - 13. Let o = h - -5. Does 6 divide o?
True
Let z = -551 - -1346. Suppose -30*s + 7905 - z = 0. Does 54 divide s?
False
Suppose -2 = 4*g - 4*f + 14, -3*g - 9 = -4*f. Let c(i) = 14*i + 158. Is 4 a factor of c(g)?
True
Let o be (519/4)/(3/(-8)). Let k = -115 - o. Is 21 a factor of k?
True
Let q(u) = 4*u**2 - 14*u + 1. Let v be q(4). Let m = v + -9. Suppose 5*d + 3*g + 0*g - 369 = m, 3*d = -2*g + 221. Is 25 a factor of d?
True
Suppose 5*m - 16336 = -4*f, -2*f - 16372 = -9*m + 4*m. Does 69 divide m?
False
Suppose -f + 4*l - 320 = -3878, 0 = -f + 6*l + 3556. Is f a multiple of 26?
True
Let v(q) = -10*q + 350. Does 10 divide v(-29)?
True
Let w(i) = -i + 2. Let f be 2 - (-3 - 1 - -6). Let m be w(f). Is (-1)/(m/(-4)) - -169 a multiple of 17?
False
Let r be -3*((-129)/6)/((-9)/(-6)). Suppose 595 = 6*b + r. Is b a multiple of 9?
False
Let r = -387 + 387. Suppose r = -3*x, o - 45 = 3*x + 465. Is o a multiple of 61?
False
Suppose 4*f = 6*f - 10. Suppose -f*a + 10 = -30. Suppose a*i - 178 = 142. Is 8 a factor of i?
True
Suppose -6 = -4*v + 3*v. Let d be v/(-12)*(-33)/(-1)*-12. Let i = d - 128. Is 11 a factor of i?
False
Suppose 0 = -3*j + 2*a + 5, -j - 10*a + 7*a = -20. Let v = -85 - -144. Suppose 151 + v = j*h. Is 7 a factor of h?
True
Suppose 121440 = 59*s - 13*s. Does 36 divide s?
False
Let l be -1 + 1 - 1 - (-417 + -1). Let k = 732 - l. Is k a multiple of 21?
True
Suppose 0 = 3*n + 14 + 4. Let d be ((-4)/n)/(1/3). Let u = d - -52. Does 27 divide u?
True
Let w be (0 + (-364)/21)*9. Let n = w + 198. Is n a multiple of 3?
True
Suppose -7 - 4 = -3*a + 4*c, -5*a + 28 = 3*c. Suppose -a*t - 151 = -51. Let f = t - -56. Is f a multiple of 10?
False
Suppose 5 = -69*b + 74*b. Suppose -2*q + 7 = -b. Suppose -q*u + 2*s = -2*s - 692, s = -u + 175. Is 29 a factor of u?
True
Suppose -3*r + 4*c + 164 = 0, 78 + 28 = 2*r - c. Suppose -v - b = -0*b - r, 0 = -5*v + 2*b + 253. Suppose -4*g + 5*g = 4*y - v, g + 64 = 5*y. Does 2 divide y?
False
Let o(k) = 2*k**2 + 9*k - 44. Suppose 2*y - 65 = 7*y. Does 59 divide o(y)?
True
Let a(u) = u**2 + 8*u + 5. Let k be a(-8). Is ((-6)/10)/(k/(-225)) a multiple of 4?
False
Suppose 4*q + 1433 = 18*l - 15*l, 0 = 5*l - 4*q - 2391. Suppose -u + 2*k = k - l, 0 = -2*k - 10. Does 12 divide u?
False
Let f = 9382 + -4444. Does 27 divide f?
False
Suppose 6332 = 38*g - 1610. Let s = 249 - g. Does 5 divide s?
True
Let z be (-6)/(-144)*-4 - (-31)/6. Suppose k + z*p - 50 - 5 = 0, 0 = 3*p. Let x = -44 + k. Does 4 divide x?
False
Let q(w) = -w**2 - 15*w - 22. Let f be q(-13). Suppose -i + 143 = 2*a, f*a + 0*i - 281 = 3*i. Suppose 4*c = -p + 36, -4*p - 2 + a = c. Is p a multiple of 8?
True
Let w = 18891 + -9441. Is w a multiple of 15?
True
Suppose 4*x + 89580 = 5*c, 2*c + 35*x - 35865 = 30*x. Is c a multiple of 56?
True
Suppose 8838 = 3*h + h + 5*l, -2*l + 11039 = 5*h. Suppose -5*v = -3*c + 1874, -4*c + 311 = 3*v - h. Does 28 divide c?
False
Let j be (-74)/(-14) - (-56)/(-196). Suppose 10*w - 5*i = 6*w + 3749, w + j*i = 931. Does 42 divide w?
False
Let z(r) = -8*r + 5. Suppose -5*v + 2*y + 3 = 0, -2*y - 2*y - 1 = -5*v. Let q be (v - (2 - 0))*3. Is z(q) a multiple of 6?
False
Suppose 1045 + 807 = g - 4*f, -4*g + 7478 = -2*f. Suppose g = 29*w - 5*w. Is 13 a factor of w?
True
Suppose 3*b = -y + 6, 4*y - b - b = 10. Suppose -l = -d + 1, -3*d - 4*l = y + 1. Suppose 0 = -d*o - 3*o + 180. Does 30 divide o?
True
Suppose 3*m + 5*a - 14 = 10*a, 2*m - 4*a = 10. Suppose -4*c - 3*v + 1084 - 277 = 0, m*c - 603 = -3*v. Is 4 a factor of c?
True
Suppose 7*l + 20 = 2*l. Let m be (-16)/l + (-1)/1. Suppose -i - 3*i + 135 = 3*q, 4*q = m*i + 180. Is 10 a factor of q?
False
Does 78 divide (2660/6)/(20/(-6)*3/(-135))?
False
Let h(c) = 974*c + 321. Let o be h(6). Suppose -18*u + o = 1629. Is u a multiple of 4?
True
Let y be (-7)/56*2 - 99/(-12). Is (-5)/((-5156)/644 + y) a multiple of 35?
True
Suppose -32 = -8*h - 8*h. Suppose -12 + 18 = h*a. Suppose -4*x - x + 369 = -a*q, -5*q = 3*x - 201. Is 9 a factor of x?
True
Let u(x) = 2 - 301360*x**2 - 112*x**3 + 301360*x**2 - x. Is u(-2) a multiple of 100?
True
Let b = 13 + -1. Suppose 320 = b*s - 592. Does 19 divide s?
True
Let x = 1364 - 897. Suppose 173 = 3*l - 2*w - x, 3*l + w - 625 = 0. Is l a multiple of 10?
True
Let q(t) = -401*t**3 + t**2 - 1. Let w be 2*((-28)/8)/7. Let z be q(w). Suppose 5 = -5*a, -z = 3*p - 5*p - a. Is p a multiple of 50?
False
Let c(k) = 3*k + 51. Let t be c(-11). Suppose -4355 = 5*l - t*l. Is 42 a factor of l?
False
Let m = 75205 - 52471. Is 182 a factor of m?
False
Let w(r) = r**3 - 8*r**2 + 12*r - 31. Let k be w(7). Suppose -k*f - 4 = 16, -2*f - 25 = 5*o. Is (-4)/o*(-30)/(-4) a multiple of 3?
False
Suppose 1 = -c + 9. Suppose 0 = -h + c*h - 14. Suppose -263 + 717 = h*b. Is 16 a factor of b?
False
Suppose -5*h + 0*y = 3*y - 213, 127 = 3*h + 2*y. Let j = h - 46. Let g(l) = -107*l + 1. Does 25 divide g(j)?
False
Let w = -24 + 75. Let r = 56 - w. Suppose -5*q + 5*u = -q - 52, 0 = -4*q - r*u + 52. Is q a multiple of 13?
True
Let j(v) = 2*v**3 - 11*v**2 + 28*v + 83. Does 7 divide j(13)?
True
Let i(w) be the first derivative of w**4/4 + 5*w**3/3 - 5*w**2 + 5*w + 3. Let o be i(-6). Suppose -a = -2*a + o. Does 7 divide a?
False
Suppose 10*w + 33*w - 2369027 - 783217 = 0. Is w a multiple of 123?
True
Suppose -108 = 6*q - 3*q. Let z = 38 + q. Suppose 