 r(t) = 7*t - 13. Let j be r(10). Let d = 256 - j. Is 18 a factor of d?
False
Let u(j) = -6*j - 18. Let c be ((-21)/(-15) - 3)*5. Let l be u(c). Is (0 + l)*(-2 - -3) a multiple of 20?
False
Suppose 4*v - 3*v = 8. Let k = 10 - v. Let a = 13 - k. Does 4 divide a?
False
Let t be (6/24)/((-2)/(-8)). Let g be 13 - (t - (-3 - -4)). Suppose -5*v = g - 3, 52 = 5*x - v. Is 4 a factor of x?
False
Let l(o) = 2*o - 3. Let d be l(5). Suppose 2*v - 10 = d*v. Is 10 a factor of v*19*2/(-4)?
False
Suppose 2*g - 5*i = 907, 0 = 9*g - 10*g - 4*i + 421. Does 12 divide g?
False
Let w(h) = h**3 + h**2 + h + 1. Let s(t) = -6*t**2 + 11*t - 17. Let d(g) = s(g) - 2*w(g). Is d(-7) a multiple of 32?
False
Let i(v) = -162*v + 39. Is 23 a factor of i(-7)?
True
Is -5*((-3)/12)/(30/6168) a multiple of 9?
False
Suppose t = 4, t - 4*t = -g + 4. Let q = 20 - g. Suppose 0 = -q*x - 1 + 29. Is 2 a factor of x?
False
Let t(p) = p**2 + 35*p - 66. Is 66 a factor of t(-59)?
False
Let s = 111 - 27. Suppose 4*b - 8 = 0, -s = v - 5*b + 14. Is 6 a factor of 16/v - (-642)/22?
False
Let m = 64 + 135. Suppose -4*l = -3*u - 0*l + 188, 4*u = -5*l + m. Is 10 a factor of u?
False
Let w = 39 + -37. Suppose 3*z = w*z + 90. Is 11 a factor of z?
False
Let y be (-4)/(1 - (-2 + 4)). Suppose -53 = -y*c + 2*c + m, 110 = 5*c + 2*m. Is c a multiple of 12?
True
Suppose 0 = 6*g - 3463 - 227. Does 15 divide g?
True
Let l(c) = c**2 - c + 20. Let j be l(0). Suppose -3*y = -p - 72, -4*y + 8*y = 4*p + 96. Let t = j + y. Is t a multiple of 15?
False
Let b = -369 + 633. Is b a multiple of 24?
True
Does 99 divide (12 + -16)/((-8)/2572)?
False
Suppose -n - 5*m + 30 = 0, 5*n - 5*m + 0*m = 30. Suppose -n*i = -14*i + 120. Is i a multiple of 15?
True
Suppose 4*o - 3 - 9 = 0. Suppose 0 = 2*b + o*b. Is 44 - b*3/6 a multiple of 14?
False
Let m = 14 + 2. Suppose -12*t - 148 = -m*t. Is t a multiple of 29?
False
Suppose 0 = 3*v + 641 + 190. Let x = v - -420. Is 34 a factor of x?
False
Suppose 428*l + 2544 = 430*l. Does 24 divide l?
True
Let r be 1/9 + 19/(-171). Does 28 divide (r + -9)*-18 - 3?
False
Is ((-2372)/(-8))/((-1)/(-2)) a multiple of 57?
False
Suppose -1 + 11 = -3*k - 5*w, 15 = 2*k - w. Suppose -u + 5*m + 50 = 0, 0*u + 2*u = k*m + 125. Is 5 a factor of u?
True
Suppose 4*b = 4*r - 236, b = -4*r - 2*b + 271. Suppose -128 = -5*c - 2*u, -2*c - 4*u = -0*c - r. Does 6 divide c?
True
Does 77 divide (-17556)/19*11/(-4)?
True
Let s = 1714 + -1097. Does 8 divide s?
False
Suppose -2*y - y - 8 = -5*q, -4*y = -2*q + 6. Let k be y - (-2 + 2/(-2)). Suppose -54 = k*w - 4*w. Does 9 divide w?
True
Let t(a) = a + 2. Let u be t(-1). Let v be (2/u)/((-6)/(-9)). Let b(j) = 5*j**2 + 3*j - 3. Is b(v) a multiple of 27?
False
Let d = -170 + 68. Let x = d - -139. Does 14 divide x?
False
Let d(u) = -u**2 + 10*u - 8. Suppose -5 = -5*j + 35. Let r be d(j). Suppose -6*k - r = -92. Is 10 a factor of k?
False
Suppose 8*r = -17*r + 4550. Is 13 a factor of r?
True
Let b = -68 - 20. Let z = b + 126. Is 11 a factor of z?
False
Let h = -14 + 48. Let b = h - 25. Is 4 a factor of b?
False
Let x = 35 + -23. Is 15 a factor of 14/6*(0 + x*2)?
False
Let k(r) = 2*r**3 + 4*r**2 + 2*r - 7. Let q be k(-5). Let f = 642 - 401. Let l = f + q. Is l a multiple of 19?
False
Let w(k) = -2749*k + 6. Is w(-1) a multiple of 29?
True
Let d(b) = -b**2 - 8*b - 9. Let v be d(-4). Suppose 3*t - 60 = c, -5*c = -22 + v. Suppose -20*z + t*z - 50 = 0. Is z a multiple of 25?
True
Let n = 45 - 29. Let u = n - 14. Suppose -u*w + 173 = 45. Is w a multiple of 16?
True
Suppose -4 = -3*u + 2. Let x(l) = -5 - l + 0*l**2 + 2*l**2 + 2*l**2 - l**u. Is 22 a factor of x(5)?
False
Let b = 174 + -6. Does 21 divide b?
True
Suppose 0 = -3*p - 0*p + 18. Suppose 0 = 3*o + p*o - 567. Suppose -3*z + 3*h = -o, 0*h = 4*z + 4*h - 124. Is 13 a factor of z?
True
Is 13 a factor of (-8)/(1 - (-53)/(-52))?
True
Suppose 25*a + 315 = j + 23*a, -j - 5*a = -315. Is j a multiple of 9?
True
Let w(n) = n**3 - 25*n**2 - 41*n + 65. Does 28 divide w(29)?
True
Suppose k = -4*k - 375. Let l = -101 - -207. Let g = l - k. Does 37 divide g?
False
Suppose -7*u = -5*u - 586. Is u a multiple of 17?
False
Suppose 0 = -3*r - 6, 3*t = 6*t + 2*r - 12950. Is 17 a factor of t?
True
Is 6 a factor of 39 + -35 + 67*8?
True
Suppose -o + 2*k + 4 = -15, 0 = -2*o + k + 32. Does 4 divide ((-1)/(-1))/(3/o)?
False
Let y(j) = j**3 - 6*j**2 - 3*j + 1. Let a be y(6). Let k = 43 - a. Does 13 divide ((-195)/k)/(2/(-24))?
True
Let b(h) = h**3 + 7*h**2 + h + 11. Let q be 1 + -2 - (1 + 2). Let g be (q + 5)/(1/(-7)). Is 4 a factor of b(g)?
True
Suppose w - 4*n - 20 = 0, 3*w - 32 = 5*n - 7. Let x be (1/(-2))/((-4)/16). Suppose -4*b = -y + 3*y - 10, -b - y + x = w. Is 3 a factor of b?
True
Let q = -5 - -6. Let b be 94/(q/(-2)*2). Let d = -25 - b. Is 23 a factor of d?
True
Suppose 27*n - 25*n = 390. Suppose -99 = -7*k + n. Is 11 a factor of k?
False
Let u = -33 + 22. Let b = u + 23. Is b a multiple of 2?
True
Suppose 2*z - 10*z + 64 = 0. Suppose 5*b - z*t + 7*t = 800, 629 = 4*b - 3*t. Does 23 divide b?
True
Let l(d) = d**3 - 5*d**2 - 4*d - 2. Let u be l(6). Suppose 3*k - 5*k = -u. Suppose -5*f = k*c - 60, f + 8 = 4*c - 3*f. Is 4 a factor of c?
False
Let m = -339 - -1315. Does 61 divide m?
True
Suppose 5*j = -20, 4*p - 4913 + 717 = -2*j. Is p a multiple of 10?
False
Does 21 divide (-233)/(-2)*4 - (34 + -30)?
True
Let q(t) be the second derivative of t**4/12 + 93*t**2 - 5*t. Let z be q(0). Suppose 0 = -4*v + z + 6. Is 7 a factor of v?
False
Let t be (1*(-2 - -4))/1. Suppose 2*k = -t*k + 360. Let c = k - 60. Does 12 divide c?
False
Let b be (-6)/(-15) - (-8440)/25. Let s = b - 241. Is 14 a factor of s?
False
Does 5 divide 93/9 + (-5)/15*1?
True
Let c(j) = 2*j**3 + 19*j**2 - 93*j - 12. Is 13 a factor of c(6)?
True
Let q(r) = -9*r - 3 - 4 + 6 + 36*r. Let m(o) = -o + 7. Let c be m(4). Does 29 divide q(c)?
False
Let m be 2 + 0 + (-8 - -3). Let a be 0*(-2)/(1 + m). Suppose -5*h - j = -82, a = -5*j + 6 + 4. Is h a multiple of 7?
False
Let y(m) = -m**2 - 19*m - 34. Let n be y(-17). Suppose 10 = -2*z, -3*w + 2*z + n*z + 166 = 0. Is 11 a factor of w?
False
Let b be -2*(-4 - (1 - 4)). Suppose 4*p - 24 = 4*v, -4*p + b*v + 0*v = -18. Is p a multiple of 2?
False
Let y(a) = 9*a + 302. Is 7 a factor of y(15)?
False
Let f(m) = 53*m**2 + 5*m + 3. Is f(-3) a multiple of 31?
True
Let g be (16/20)/(1/(-30)). Let v be (-8)/g*3*83. Suppose p + 71 = 4*p + 2*b, -4*b - v = -3*p. Is 16 a factor of p?
False
Let r = -818 + 1228. Is r a multiple of 41?
True
Suppose -23 = 4*u + 37. Let m be 8/3 - (-10)/u. Suppose -4*w - m*w = -156. Is w a multiple of 26?
True
Suppose -2*p + 18 = -s, -2 + 46 = 5*p - 3*s. Does 3 divide p?
False
Suppose z + 124 = -305. Let w = 242 + z. Does 5 divide (0 + -1)/(11/w)?
False
Suppose 0*w + 15 = 3*w. Suppose -2*f + 3 + w = 0. Suppose 16 = f*s + 4. Does 3 divide s?
True
Suppose 4*r = 20, -3*v + 3671 = -6*r + r. Does 32 divide v?
False
Let d be (-1*24)/(-2) + -3. Suppose -c + 19 = -p, 5*p - 36 = -5*c + d. Suppose -c*b = -13*b - 3. Is b a multiple of 3?
True
Let j = -40 + 41. Is 2 + -4 - j - -63 a multiple of 8?
False
Suppose 3*v - 154 = 185. Suppose 2*r = 3*x - 81 + 26, 5*x - v = -2*r. Is 21 a factor of (-6*x/(-6))/1?
True
Let s be ((-15)/10)/(3/8). Let d(p) = -2*p - 4. Let v be d(s). Suppose v = 2*m + t - 5*t, -2*t = m - 22. Is 6 a factor of m?
True
Let a = 172 + -167. Suppose -h - 4*j + 14 = -34, 0 = -5*h + a*j + 240. Does 24 divide h?
True
Let y(j) = -3*j**3 - 4*j**2 + 4*j + 30. Does 15 divide y(-6)?
True
Let f(v) = 24*v**2 + 2*v + 25. Is 15 a factor of f(5)?
False
Let x = 499 + 215. Is x a multiple of 21?
True
Does 17 divide 1*(-5)/10 - 5956/(-8)?
False
Let j(x) = -5*x + 10. Let p be j(2). Suppose 0 = -p*b - 4*b - 4*t + 376, -2*b + 168 = -2*t. Is b a multiple of 18?
False
Suppose 0 = -3*n - 4*i + 375, 2*n = 7*n - 4*i - 625. Let v be -2 + -3 + n + -2. Suppose 2*x - v = -5*b, 0*x + 3*x - 69 = -3*b. Is b a multiple of 6?
True
Is 55 a factor of 9838/8 - (0 + (-3)/(-4))?
False
Suppose 10 = 3*q + 1. Suppose g - q*g + 86 = 0. Is 16 a factor of g?
False
Suppose -j + 11 = 3*v, 0*j + 3*j + 2*v - 19 = 0. Suppose 0 = 3*t - i + j, 0 = t - 3*i + 15. Suppose t = -m + 84 - 29. Is m a multiple of 12?
False
Let y(f) = -2*f**3 + 22*f**2 - 11*f - 12. Is y(10) a multiple of 26