ose -4*r - d = -2*c, -c + r + 94 = -0*r. Is c a multiple of 10?
True
Let h = -6080 + 10571. Is h a multiple of 37?
False
Does 100 divide (-5)/(-15) - (-59992)/15 - 5/(-25)?
True
Let i = 122 - 113. Suppose i*y - 3*y - 768 = 0. Is 6 a factor of y?
False
Suppose 4*s - 34066 = -2*m, -15*s + 11*s - 4*m = -34072. Does 65 divide s?
True
Let s(l) = 20*l - 14*l + 19 - 4*l**2 + 0 + 3*l**2. Let c be s(7). Suppose i = 2*h + 59, 0 = 5*h - 3 - c. Is 13 a factor of i?
True
Let l(n) = 15*n**3 - 3*n**2 + 4*n - 2. Suppose -2*h - 5*t + 17 = -9, -3*h = 2*t - 17. Suppose 8*y - 19 = -h. Does 38 divide l(y)?
True
Does 5 divide 0/2 - (-12 - 118 - 0)?
True
Let u be (2/6)/((-2)/(-2784)). Let n = 58 + u. Does 14 divide n?
False
Suppose 4*l = -62*y + 60*y + 115896, 4*y = -5*l + 144876. Does 10 divide l?
False
Let c be -7 + 12 + -1*5. Suppose 0 = g - t - 11, c*g = 4*g - 5*t - 41. Is 14 a factor of g?
True
Suppose 3*s - 24 = 4*s + 4*r, -5*s - 24 = -4*r. Let b = s + 281. Is 30 a factor of b?
False
Let g(f) = f**3 + 6*f**2 + 9*f + 80. Let o = -653 - -648. Is g(o) a multiple of 2?
True
Let b(k) = 363*k - 282. Is 9 a factor of b(43)?
True
Is 1 + 68/((-12)/(-1374)*1) a multiple of 16?
False
Let f(i) = 1035*i - 7392. Is 98 a factor of f(9)?
False
Let s(a) = 11*a**2 + 49*a - 29. Is 7 a factor of s(3)?
True
Suppose 37*l - 142 = 117. Suppose l*j - 9*j = 3*w - 1131, j - 546 = 5*w. Is j a multiple of 34?
False
Let i(h) = -1271*h**3 - h**2 + 207*h + 411. Is i(-2) a multiple of 13?
False
Let v = -3406 - -3731. Is v a multiple of 5?
True
Let b(u) = -11*u**3 - 8*u**2 - 10*u + 31. Is 11 a factor of b(-3)?
True
Let i(s) = 70 - s**2 + 14*s - 44 + 26. Does 52 divide i(11)?
False
Suppose -4*d + 3*i + 33238 = 0, -4*i - 3856 = -4*d + 29384. Is 137 a factor of d?
False
Let l(k) = 10*k**2 - 7*k + 15. Let h be l(3). Suppose h*s - 93*s = -6120. Is 34 a factor of s?
True
Suppose 5*d - 5*b - 100 = 0, 0 = -3*d + 5*b + 79 - 21. Suppose 0 = d*s - 525 - 315. Is s a multiple of 10?
True
Suppose 0 = 3*n, 3*m = -n + 43 + 2. Suppose -m*p - 1994 = 4261. Does 9 divide p/(-5) - -7 - (-2)/(-5)?
True
Let m = -5028 + 5508. Is 4 a factor of m?
True
Suppose 2*a = 3*j - 3*a - 19272, 5*j - 32092 = -a. Suppose -45*m + j + 8251 = 0. Does 6 divide m?
False
Let k(s) = s**3 - 120*s**2 - 360*s - 541. Is 3 a factor of k(123)?
False
Does 24 divide (-27 + (56 - 8141))/((-4)/22)?
True
Let w(g) = -11*g**3 - 14*g**2 - 3*g - 7. Let j(f) = -43*f**3 - 55*f**2 - 12*f - 24. Let a(v) = -3*j(v) + 11*w(v). Suppose 3*n - 7 - 2 = 0. Does 29 divide a(n)?
True
Let t(q) = q - 1. Let a(c) = -14*c + 8. Let l(j) = j**2 + 20*j - 3. Let m be l(-20). Let n(b) = m*t(b) - a(b). Is n(11) a multiple of 29?
True
Let y be (9/12)/((-48)/(-320)). Suppose 10*v - 15*v = -5*o + 115, -v = -y*o + 119. Does 3 divide o?
True
Suppose -210*w = -175*w - 8225. Suppose 4*n - 251 = 3*m + 141, 4 = -m. Let x = w - n. Does 7 divide x?
True
Suppose -169*z + 4241312 + 2500306 = -55*z. Does 13 divide z?
True
Let q = 112 - 113. Let i(u) = -75*u + 1. Let z be i(q). Is 54 a factor of -3 + z + 0 + 2?
False
Let x(i) = -i**3 + 12*i**2 + 13*i + 2. Let s be 2/6 + 304/24. Let w be x(s). Suppose -2*u + 2*m + 214 = 0, 3*m = w*u + 3*u - 525. Is 34 a factor of u?
True
Let c(v) = -v**2 + 14*v + 19. Let k be c(15). Suppose 14*g - k*x - 3457 = 9*g, -3*g = x - 2064. Is g a multiple of 71?
False
Let i be 4*3*(-84)/18. Is 36/(-14)*9/(144/i) a multiple of 2?
False
Suppose -58*t + 3523 = -54*t + 3*g, 0 = 4*t + g - 3521. Is 22 a factor of t?
True
Suppose 5*c + 146 = -f - 0*f, -c - 466 = 3*f. Does 5 divide (-59553)/f - 14/8?
True
Suppose 0 = 3*z - 3*b - 6, 3*b = z - 12 + 10. Suppose 3*v - 184 + 22 = 0. Suppose 24 = z*o + 3*a, -4*a + 6 - v = -4*o. Does 5 divide o?
False
Does 10 divide (-11)/(231/(-193928)) - ((-16)/(-6))/(-8)?
False
Is (-135)/12 - -12 - (52170/(-8) - -2) a multiple of 10?
True
Let u = 8769 + -8556. Is u a multiple of 2?
False
Let p(s) = -s**3 - 21*s**2 + 25*s - 11. Is 20 a factor of p(-25)?
False
Suppose 0 = 5*m + 2*z - 24, -3*m - 4*z + 72 - 66 = 0. Suppose 643 = -m*t + 4783. Is 30 a factor of t?
True
Suppose -9*l = -11*l + 6. Suppose l = 14*a - 13*a. Suppose 7*t - 160 = a*t. Does 5 divide t?
True
Let g(r) = -2*r**3 - 6*r**2 + 7*r + 1. Let s be g(-5). Suppose s*h - 3921 = 5715. Is 2 a factor of h?
True
Let b = 39 - 35. Suppose -5*i + 10*i - 175 = -b*u, -5*i = -4*u - 135. Suppose 14 + i = 3*m. Is m a multiple of 5?
True
Let u = -26 + 83. Is (u/(-15) - -7)*(-1 + 31) a multiple of 34?
False
Is 6 a factor of (1 + 1 + -1151)/((-26)/4 + 6)?
True
Let p = 2447 + 3359. Does 78 divide p/8 - ((-85)/20 - -4)?
False
Let b = 152 - 128. Suppose b*t - 26*t = -5*y + 3333, 2*t = -2*y + 1322. Is 30 a factor of y?
False
Suppose -28*p + 13537 = -22499. Is p a multiple of 14?
False
Let l be 3 + (-1149)/12 + 8/(-32). Let g = l - -117. Does 8 divide g?
True
Let n(z) = 2*z**2 - z + 1. Let i be n(1). Suppose i*b + 84 = 2*a, 5*b - b = -4*a - 200. Is 26 a factor of b*((-2)/(-4) + -1) + 3?
True
Let l be 5667/9 + 1 + (-2)/3. Suppose -l = -2*h - 3*h. Suppose -x + h = -0*x. Is x a multiple of 19?
False
Suppose 126 + 34 = -8*i. Let d(q) = q**2 + 13*q + 8. Is 9 a factor of d(i)?
False
Is (6 - (-4840044)/234) + (-10)/(-195) a multiple of 36?
False
Let r(b) = 13*b**2 + b - 18. Let f(m) = 38*m**2 + 2*m - 55. Let t(d) = -2*f(d) + 7*r(d). Does 34 divide t(5)?
True
Let t(l) = 66*l**2 + 31*l - 7. Is t(-5) a multiple of 16?
True
Suppose -4*g - 14 = 2*q, -2*q + 2*g = -24 + 14. Let f(k) = -k**3 - k**2 - 4. Let y be f(-5). Is (12/16)/(q/y) a multiple of 13?
False
Let y = -44 + 140. Let g(d) = -d**3 - 2*d**2 - 5. Let m be g(-3). Suppose y = -2*k + 6*k + m*u, -4*k = u - 99. Is 6 a factor of k?
False
Let z be (-62)/(-12) + 5/(-1 + -29). Suppose w = z*y + 1326, 50*w - 3*y + 2717 = 52*w. Is w a multiple of 25?
False
Let w(n) = n**3 - 58*n**2 + 57*n - 1607. Is 107 a factor of w(59)?
False
Let z = -6635 - -6743. Is 18 a factor of z?
True
Suppose -7 + 103 = -3*o. Let m be -2 + (o/(-12) - 6/9). Suppose 5*d - 2*d - 594 = m. Is d a multiple of 22?
True
Suppose -4*l - 9*u + 6526 = -14*u, 5*u - 6466 = -4*l. Is 2 a factor of l?
True
Let i(u) = 375*u - 49. Is 2 a factor of i(1)?
True
Let h(i) = 60*i**2 - 20*i - 74. Let w be h(-5). Suppose 0*u + g - 514 = -u, -g = -3*u + w. Is u a multiple of 49?
False
Suppose 11*j - 21956 = -4*j + 33949. Is 8 a factor of j?
False
Does 34 divide -62 - -56 - (0 - 2)*(-15699)/(-6)?
False
Let n(i) = i**2 + 9*i + 25. Let r be n(-7). Is 11 a factor of (-20 + 21)*r*(5 - -2)?
True
Does 38 divide (868/248)/(2/3500*1)?
False
Let o(a) = -a**2 + a - 174. Let g be o(0). Let v = g - -447. Is 21 a factor of v?
True
Suppose -2*w = -2*q - q - 89, 0 = 3*q + 15. Let u = 159 + w. Does 9 divide u?
False
Let l(x) = 3*x**2 + 80*x + 9619. Does 7 divide l(-125)?
True
Let h(z) = 3*z + 40. Let n be h(-12). Let l be ((-60)/16 + n)*12. Let r(s) = 3*s**3 - s**2 - 2*s - 4. Does 7 divide r(l)?
False
Is (-188556)/(-7) + (-1)/(23/4 - 4) a multiple of 189?
False
Let r = 44 - 41. Suppose -5*n - l = 21, -4*n + r*l - 4 - 9 = 0. Does 16 divide (430/(-5))/((-4)/(-24)*n)?
False
Suppose 145*b - 135*b = 0. Suppose a = 4*o - 6*o + 52, a - 5*o - 38 = b. Is 16 a factor of a?
True
Suppose -53239 = -14*z + 22427 + 3350. Does 82 divide z?
False
Is ((936/(-195))/(-1 + -1))/((-26)/(-203255)) a multiple of 21?
False
Suppose -3456 = 182*t - 206*t. Is t a multiple of 9?
True
Suppose 2*z = 4*n + 30, 2*n + 9 - 20 = -z. Let r be (458/6)/((-1)/(-3)). Suppose 0 = 2*u - r - z. Is 11 a factor of u?
True
Let d(i) = -1 + 200*i - 3 - 9 - 194*i. Let b = 21 - 15. Is d(b) a multiple of 3?
False
Suppose -7*n = -7 - 21. Let j(v) = 31*v**2 + 2*v. Let w(m) = -15*m**2 - m. Let b(s) = n*j(s) + 7*w(s). Is b(1) a multiple of 4?
True
Let r(s) = 18*s + 5. Suppose 3*c + 50 = 8*c. Let p be r(c). Suppose 4*g = -k - 4*k + p, 0 = -g - 5*k + 50. Does 8 divide g?
False
Let y(t) = 99*t**2 + 31*t + 56. Is 20 a factor of y(8)?
True
Suppose -32*y + 30*y + 1928 = 0. Let x = y - 884. Is 9 a factor of x?
False
Suppose -3*h - 22 = 3*p + 2, -p - 20 = -2*h. Does 48 divide (-3468)/(-72) + ((-34)/p - 3)?
True
Suppose 9*h - 334 = -19. Is 77 a factor of ((8008/(-65))/14)/((-2)/h)?
True
Suppose 14 - 4 = m. Let p = m - -144. Is p a multiple of 11?
True
Let v(z) = 2*z**3 - 8*z**2 - 21*z + 1. Let b(j) 