, -y + b = -3*y + g. Is 14 a factor of y?
True
Let q(z) = -23*z + 49. Let i be q(2). Let u(g) = 9*g**2 - 3*g + 24. Is u(i) a multiple of 4?
True
Let r be (1/2)/(3/498). Suppose -97 - r = -3*s. Let v = 204 - s. Is 13 a factor of v?
False
Suppose 24*t - 17*t = 28. Suppose 1380 = -0*k + t*k. Is k a multiple of 15?
True
Let z = -14195 - -27454. Does 35 divide z?
False
Is (-28)/(-6)*(-34902)/(-84) a multiple of 72?
False
Is 18 a factor of 378/(9185/572 + -16)?
True
Let p be 4/(23889/3981 + -6). Suppose 2*d = -5*c + 6*d + p, 3*c + 4*d = 3204. Is 93 a factor of c?
False
Let l = -927 - -882. Let s be (-1)/(-4) + 1509/12. Let y = s + l. Is 6 a factor of y?
False
Suppose 3*w - 7969 = -2*j, 2*w = -0*j - 5*j + 5309. Let b be w/5 - 6/60*4. Suppose 2*n + 195 = 5*c - b, 0 = -4*c + 5*n + 591. Is c a multiple of 16?
True
Let s(h) = -17*h + 66. Let v be s(-6). Suppose 0*g - v = -3*g. Is g a multiple of 7?
True
Suppose 50*w - 51*w + 447 = 0. Suppose w = 7*u - 71. Is u a multiple of 37?
True
Let f = 555 - 510. Is f/(6/(-336)*-4) a multiple of 39?
False
Let l(s) = 3088*s**3 - 3*s**2 - 23*s + 25. Is l(1) a multiple of 9?
True
Let u be -4 + 31 + (-1 - (4 + -3)). Suppose 21*s - u*s - a = -1819, -a = 5. Is 6 a factor of s?
True
Let t = -40 - -43. Suppose t*f + 4*g = 22, 2*g + 2 = 3*f + 2*f. Suppose 3 = 3*k, -2*j - 4*k + f*k + 6 = 0. Does 2 divide j?
True
Let y = 9992 + 7211. Does 39 divide y?
False
Suppose 0 = 2*w + 3*g - 0*g - 661, 993 = 3*w + 3*g. Suppose -6*s + w = -2*s. Is s a multiple of 4?
False
Suppose -51*u + 1487 = -41*u - 9963. Is u a multiple of 6?
False
Suppose y + 30 = -l + 37, -2*y = -4*l + 4. Suppose 2*o + 0*o - z = 3136, -l*o + 5*z = -4697. Is 14 a factor of o?
False
Suppose -45*b + 35442 + 29808 = 0. Is b a multiple of 28?
False
Let d(q) = -q**2 - 5*q - 3. Let h be 4/6*3/(-2). Let v be d(h). Does 10 divide 818/12 - -2 - v/6?
True
Let i = 4 - 0. Suppose x = -2, 2*f + 0*x = i*x + 32. Does 8 divide (-2)/(-8) + (-127)/f*-3?
True
Let s = 691 + -973. Is 14/(-2) - (-22 - -16) - s a multiple of 19?
False
Suppose 8 = -2*i - 5*y + y, 2*i = -5*y - 10. Let s be (i + -5)*(-9)/9. Suppose 3*o + s*j = 2*o + 133, 3*o - j = 319. Is 11 a factor of o?
False
Suppose 4*v = 3*v + 22. Let y = v + -20. Suppose -5*n = -y*n - 480. Is 40 a factor of n?
True
Suppose -10*k = -8*k - 3*j - 91, -j + 161 = 4*k. Suppose -4*z = k*t - 46*t - 1383, -2*t - 345 = -z. Is z a multiple of 33?
False
Is 1*-92*((-3978)/24 + -21) a multiple of 6?
False
Let l be 3/((-9)/(-144)*(-36)/(-39)). Does 6 divide l/(-39) + 685/3?
False
Suppose -7*y + 7536 = y. Let d = -360 + y. Suppose 83 = 5*x - d. Is 13 a factor of x?
False
Suppose 4*o - 10 = 2*v - 3*v, 0 = 5*o - 5*v. Suppose 2 = o*w - 2. Suppose -w*d + 23 = 5*m, -m = m + 2*d - 8. Does 5 divide m?
True
Suppose -q = q + 2*p - 12, q = -2*p + 9. Let k be (-4 + 4)*-2*q/12. Let y(l) = l**3 - l**2 - l + 32. Is y(k) a multiple of 32?
True
Suppose -2928 + 7270 = 26*j. Let q = 276 - 189. Let y = j - q. Does 20 divide y?
True
Let d(p) = p**3 + 10*p**2 - 29*p - 13. Let l be ((-9)/4)/((-12)/(-64)). Does 47 divide d(l)?
True
Let s be (1 - (18 - 1))*34/(-136). Suppose -3*p - 6*u + 548 = -10*u, -s*p - 4*u = -740. Is p a multiple of 23?
True
Let t(s) = 4*s**3 - 7*s**2 - 8*s + 63. Let a(n) = -3*n**3 + 6*n**2 + 7*n - 63. Let q(b) = -3*a(b) - 2*t(b). Does 12 divide q(7)?
False
Suppose 0 = -151*n + 600758 + 935818. Is n a multiple of 53?
True
Let h = -5464 - -8359. Is h a multiple of 3?
True
Let g be 30/40 - (-237)/4. Let r = g - 20. Does 8 divide r?
True
Let x(h) = 990*h**2 - 78*h - 79. Is x(-1) a multiple of 10?
False
Let z(b) = b**2 + 2*b. Suppose -g + 3 + 2 = 4*r, -4*r = -8. Let n be z(g). Suppose -n*j + 0*j + 21 = 0. Does 2 divide j?
False
Suppose -15*l + 111922 + 9353 = -0*l. Does 33 divide l?
True
Suppose 4*j = -5*d + 4*d + 11, -j - 5*d - 21 = 0. Suppose 16 + 84 = x + 5*v, -97 = -x - j*v. Let h = 139 - x. Does 18 divide h?
True
Suppose -20*u + 144986 = -294354. Does 57 divide u?
False
Let h(p) = -1053*p**2 - 3*p + 4. Let z(y) = -1053*y**2 - 3*y + 4. Let j(s) = 4*h(s) - 5*z(s). Does 65 divide j(1)?
False
Let c = 889 + -889. Suppose c = 5*w + 294 - 3164. Is 7 a factor of w?
True
Suppose 16*t - 17516 - 47775 = 9749. Is t a multiple of 35?
True
Suppose 5*y - 2*k = 10214, -4*y + k = 6*k - 8191. Suppose x - 412 = r, -5*x + 3*r + y = 2*r. Does 34 divide x?
True
Let c be (-2)/3*21/2. Let z(g) = -2*g - 10. Let j be z(c). Suppose -252 = -3*k + j*h, k - h - 73 = 4*h. Does 11 divide k?
True
Let o be 7*1/14 + (-18)/(-4). Suppose -7*u + 22 = 5*z - o*u, z = -4*u + 8. Suppose 7*s - 2*s + 2*d - 170 = 0, -3*s - z*d = -102. Is s a multiple of 17?
True
Let d = 9776 - 6109. Is d a multiple of 7?
False
Suppose 40*k - 33*k = 0. Suppose -5*i = -y - 2902, -3*y + 8*y - 15 = k. Does 35 divide i?
False
Let a(n) = n**3 + 7*n**2 - 2*n - 17. Let x be a(-7). Let l = 34 + -46. Is x/(-1 - 3/l) a multiple of 3?
False
Let i(a) = 2*a**3 - 3*a**2 + 6. Let m(n) = -n - 8. Let d(w) = 7. Let z(o) = 4*d(o) + 5*m(o). Let v be z(-3). Is 28 a factor of i(v)?
False
Let z(i) = 9*i**2 - 21*i + 3598. Does 14 divide z(0)?
True
Let p(h) = 150*h - 3. Let y = -736 - -738. Does 21 divide p(y)?
False
Let o be 204/36 - 15/9. Suppose -4*p - o*i + 0*i + 400 = 0, 4*p = -i + 409. Is 3 a factor of p?
False
Let c = 68 - 65. Let q(i) = 483*i + i**c - 15 + 11*i**2 - 482*i + 0*i**3. Does 13 divide q(-8)?
True
Suppose m + 4*m = -5*b + 165, m = -2*b + 34. Let z = -14 + m. Suppose 0 = -6*p + z*p - 1176. Is p a multiple of 18?
False
Let b(c) = 23*c**2 - 3*c - 6. Let o be b(-1). Suppose 0 = o*f - 46*f + 24310. Is 17 a factor of f?
True
Let h(y) = 3*y**2 - 33*y - 6. Let t be h(15). Suppose -8*o - 38 = -t. Is o a multiple of 2?
False
Suppose 2*j + 10 = 5*a, -3*j + 10 = -2*a - 5*j. Suppose s = 6*s + 4*u - 472, a = -4*s - 3*u + 378. Is 22 a factor of s?
False
Let p(y) = 8*y**2 - 5*y - 5. Let i be p(7). Suppose 0 = -i*d + 343*d + 8424. Does 104 divide d?
True
Let b be (-14)/28 - (-11454)/(-4). Let r be (-9)/6*b/12. Let j = -191 + r. Is j a multiple of 27?
False
Let t = -18039 + 28686. Does 9 divide t?
True
Let b be ((-30)/(-4))/(4/40). Let g = 70 - b. Is 32 a factor of (-158)/g + (-4)/(-10)?
True
Suppose 77*t - 41412 - 148878 - 158135 = 0. Does 14 divide t?
False
Suppose -82*f - 55200 = -258888. Does 18 divide f?
True
Let b = 1434 - 419. Suppose -3*q + b = 2*q. Is q a multiple of 37?
False
Let q be (3/9)/(-4 + 305/75). Suppose 3*g - 5*g - q*o = -337, -3*o - 453 = -3*g. Let t = g - 86. Is t a multiple of 10?
True
Let l be -9*(-5)/(-75) + (-3162)/5. Let t = 991 + l. Is t a multiple of 19?
False
Suppose 5*j - 2*t = 230, -5*t - 310 + 80 = -5*j. Suppose j = 8*u - 7*u. Suppose 7*c - u = 185. Is 5 a factor of c?
False
Suppose -52139 = 21*s - 155459. Does 40 divide s?
True
Let t be -29 + 35 + 1 + -13. Does 31 divide (-2002)/t + (-17)/(-51)?
False
Suppose 4*i + q = 75882, 0 = 7*i + 66*q - 71*q - 132834. Does 124 divide i?
True
Let w be 465/9 + (4/3 - 2). Let p = 54 - w. Suppose 7*b - 52 = p*b. Is 13 a factor of b?
True
Suppose -4*l + 5*u = 0, 6*u - 16 = 2*u. Suppose 0*h = h - l*v - 521, -5*v = 3*h - 1463. Is 16 a factor of h?
True
Suppose 3218*j = 3235*j - 59024. Does 124 divide j?
True
Suppose 4*j = 200 - 8. Suppose 0 = -4*i + j + 32. Suppose -4*z + 172 = 4*q, 2*z = -5*q + 115 - i. Does 4 divide z?
True
Suppose -26*a - 33152 = -143002. Does 25 divide a?
True
Suppose 9742 - 3397 = 9*s. Let p = 732 - s. Is 10 a factor of p?
False
Let u(d) = 2*d + 145. Suppose 3*j = -66 - 9. Let p = 25 + j. Is 46 a factor of u(p)?
False
Suppose 5*z + 4*w - 4967 = 4*z, 3*z - 4*w = 14853. Does 8 divide z?
False
Let h be (-38 - -34)/(-2 + 1). Let c be 6*(-6)/4*13. Let b = h - c. Is b a multiple of 12?
False
Is 67 a factor of ((-1)/3)/((-80)/66480)?
False
Does 61 divide (-4)/(-14) - (-19236)/(-112)*1832/(-14)?
False
Let r = 2840 - -3746. Is r a multiple of 18?
False
Suppose 18 = 14*p - 5*p. Suppose 12 - p = -2*t, -u - 2*t - 7 = 0. Let x = 11 - u. Is x a multiple of 4?
True
Let s = -35 - -91. Suppose 0*m + s = 7*m. Suppose -m*a + 842 = 5*o - 4*a, -2*a - 514 = -3*o. Is 34 a factor of o?
True
Suppose 2506 = 5*k + 2*a - 5470, -2*a = k - 1592. Is 38 a factor of k?
True
Suppose 118506 + 9650 = 159*b - 48970. Is b a multiple of 3?
False
Let z be 0 + 13 + (-7 - -4). Let o(p) =