se 0*t = 2*t. Suppose t = -2*b - 16 - 0. Is 6 a factor of ((-16)/10)/((-1)/((-60)/b))?
True
Suppose 6*t + 9 = -3*t. Let g be -1 + -2 - ((-50)/2 - t). Does 7 divide (-80)/48*(0 - g)?
True
Let y(s) = -3*s + 12. Let d(r) = -r + 3. Suppose -12 = -2*x - 3*k, -3*x = -4*k - 15 - 20. Let q be d(x). Does 11 divide y(q)?
False
Let u(b) = -366*b + 4554. Is u(0) a multiple of 66?
True
Suppose 0 = 29*a - 89864 - 105062 - 508469. Does 13 divide a?
False
Suppose 1508 = -6*m + 3740. Let i = m + -74. Is 27 a factor of i?
False
Does 5 divide (53283/15)/1 - 4/110*33?
False
Suppose -45*t = -49*t - 3*r + 215436, r = 2*t - 107738. Is t a multiple of 9?
True
Let x = -9102 + 19665. Does 58 divide x?
False
Let r(v) = 3*v - 42. Let u(w) = 5*w + 51. Let t be u(-8). Let o(f) = f**2 - 10*f + 11. Let l be o(t). Is r(l) a multiple of 6?
True
Let t(x) = -11*x + 286. Let o be t(26). Suppose o = -5*i, -5*i - 1761 = -c - 61. Is c a multiple of 25?
True
Does 27 divide (-34312)/(-3) - 545/(-327)?
False
Does 16 divide 5/35 - 65/210 - 27052/(-24)?
False
Let x(b) = -54*b - 43. Let g be x(-14). Let r = g - 401. Is r a multiple of 12?
True
Let x(i) = 118*i**2 - 74*i - 343. Is x(-5) a multiple of 13?
True
Suppose 0*r + i = -4*r + 4349, 2*r - 2170 = 4*i. Let w = r - 619. Is (w/30)/(6/40) a multiple of 26?
True
Let s(q) = q**3 + 13*q**2 - 23*q - 36. Let b be s(-14). Let o be 2/(-1)*(-9)/3. Suppose -o*g + 0*g + b = 0. Does 5 divide g?
True
Suppose -4*m - 4*s + 1132 = 128, -4*m + 969 = -3*s. Let h = 262 - m. Does 10 divide h?
False
Suppose -4*t = -2*n - 1540 - 5112, -4*t + 4*n + 6644 = 0. Is 45 a factor of t?
True
Suppose 35405 + 20833 = -1934*g + 1947*g. Is 8 a factor of g?
False
Let j(a) = -a**3 - a**2 + 4*a + 4. Let s be j(-3). Suppose 0 = s*x - 12*x + 12. Let v = x + 34. Is 20 a factor of v?
True
Let m be 114/22 - (-4)/110*-5. Suppose -3*j = 4*d - 2385, -j = -m*d - 3*j + 2976. Suppose -3*r + 7*r = -5*u + d, 2*r + 588 = 5*u. Does 11 divide u?
False
Let o be 9632/258*42/4. Suppose -2244 = o*r - 394*r. Is 42 a factor of r?
False
Let p(n) = 2*n - 4. Let z be p(6). Suppose j = 3*j - z. Suppose -70 = -j*g + 34. Does 26 divide g?
True
Let k = -335 - -443. Suppose k*w - 1185 = 105*w. Does 117 divide w?
False
Let y be 14/(-9 + 7 + 0). Let i(r) = r**3 + 7*r**2 - 4*r + 15. Is 3 a factor of i(y)?
False
Let m be (5*(-52)/(-455))/((-1)/(-14)). Does 27 divide (m + 8)/8 - 3232/(-4)?
True
Suppose -12 = 2*t - 4*h, 0*t - 5*h = 2*t - 24. Let z(c) = -2*c - 78*c**t - 1 + c**3 - 3 + 3 + 95*c**2. Does 3 divide z(-17)?
True
Let d(o) = o**2 - o - 1005. Let f be d(0). Let h = -761 - f. Is 2 a factor of h?
True
Suppose 4*b - 29 = 2*j + 15, -3*b + 5*j = -47. Suppose -4*k + 5*t = -b*k + 2860, t = 5. Is 63 a factor of k?
True
Let u(d) = d**3 + 7*d**2 - d - 1. Let x be u(-7). Let v be 24/16*136/x. Suppose 38*i = v*i + 568. Is i a multiple of 13?
False
Let d(a) = a**2 - 7*a - 74. Let z be d(-19). Suppose -6*l = -4*l - z. Is l a multiple of 15?
True
Suppose -159*b = -152*b - 28. Suppose -2*p - 5421 = 8*g - 13*g, 4*g - 4344 = b*p. Is 20 a factor of g?
False
Suppose 3732 = 4*u + 3*j - 54663, 3*j = -2*u + 29205. Does 105 divide u?
True
Let w = -73 + 148. Let j = w + -45. Does 29 divide j?
False
Let t(k) = 5*k + 101. Let z be t(-19). Let v(d) = 4*d**3 - 6*d**2 + 24*d - 54. Is v(z) a multiple of 18?
True
Let d = 162 - 154. Is (5 - d)/((-1)/3) a multiple of 3?
True
Suppose -y + 2568 = 201*p - 205*p, -7730 = -3*y - p. Does 4 divide y?
True
Let o(u) be the second derivative of -u**3/2 - 17*u**2 - u. Let m be o(-12). Suppose m*i - 207 + 21 = 0. Does 31 divide i?
True
Let s(f) = 11*f - 19. Let q be s(2). Suppose q*t + 3*g = 525, -2*t + 375 = -g - 2*g. Is t a multiple of 15?
True
Suppose 5*x - 66 = w - 581, -5*w + 229 = -2*x. Is 34 a factor of (x/(-4))/(60/1360)?
True
Suppose y - 3*x = 2*x - 39, -25 = y + 2*x. Let f be 4/40 + y/(-10). Suppose -1099 + 151 = -f*w. Is w a multiple of 48?
False
Let z(j) = 1146*j - 941. Is 137 a factor of z(16)?
False
Let j = 57 + -65. Is 12 a factor of 15/(-20) + (-1254)/j?
True
Let o(p) = -p**2 + 14*p + 25600. Is o(0) a multiple of 80?
True
Let f(i) = -455*i - 6616. Is f(-62) a multiple of 177?
True
Suppose -303 = -3*d - 309, -21950 = -3*u + 4*d. Is u a multiple of 63?
False
Let b(l) = l**2 - 9*l + 3. Let c be b(9). Suppose c*j = 4 + 2. Suppose -280 = -5*y - 5*o, y = o + j*o + 48. Does 12 divide y?
False
Let g = 62791 + -44403. Is g a multiple of 38?
False
Suppose 3*o + 2*o + 25 = 0, -12 = 2*d - 4*o. Let l = d + -85. Let w = l - -124. Is 5 a factor of w?
False
Suppose -t = t - 2*b - 26, -2*t - 4*b = -14. Suppose 0 = 57*r - t*r - 48760. Is 10 a factor of r?
True
Let t = -59 - -1814. Does 19 divide t?
False
Suppose 5*t = 4*z - 456, 4*z - 4*t + 0*t - 456 = 0. Let w = 106 - z. Is 2 a factor of (w/(-14))/((-4)/(-70))?
True
Let v = 6899 + -3299. Suppose 9*k + v = 27*k. Is 3 a factor of k?
False
Is 33 a factor of (-16)/6*482628/(-296)?
False
Let o(c) = -c**3 + 21*c**2 + 3*c + 8. Let h(t) = -t**3 + t**2 + t - 42. Let p be h(0). Let b be (-2)/7 - 298*3/p. Is o(b) a multiple of 15?
False
Let p(w) be the first derivative of 3*w**4/4 - 2*w**3 + 11*w**2/2 - 8*w - 92. Does 6 divide p(4)?
True
Suppose 0 = -g - 6*g - 84. Let z be (g/(-10))/((-15)/(-1750)). Let j = -76 + z. Is j a multiple of 32?
True
Let m(x) = 100*x**3 + 5*x**2 + x - 6. Let t be m(-2). Let p = t - -1774. Is p a multiple of 68?
False
Suppose -q + 5*k = -206, 0 = 4*q + 3*k - 5*k - 842. Let h be 130/(7 + 3) + (-2 - 0). Suppose -h*w = -119 - q. Is w a multiple of 5?
True
Let h(m) = 60*m**3 - 12*m**2 + 6*m - 19. Is 4 a factor of h(3)?
False
Let i(j) = 25*j**2 + 2*j + 2. Let n be i(-2). Let b be (-6 - 4)/5 + n. Let r = b + 29. Is 20 a factor of r?
False
Let f = 147 + 299. Is f a multiple of 9?
False
Suppose -4*j + 0*j = 4*t - 56, 5*j - 58 = -2*t. Let x(p) be the third derivative of -p**5/60 + 13*p**4/24 + 2*p**2 - 211. Is 5 a factor of x(j)?
True
Suppose -3*f + 91 = 5*c, -22*f + 21*f - 2*c = -32. Suppose -f*k - 12*k + 816 = 0. Is 3 a factor of k?
True
Let a = 939 - 934. Suppose 0 = -s + 3*x + 97, -455 = -3*s - 2*s + a*x. Is s a multiple of 11?
True
Let c(p) = -35*p - 10 + 20*p**2 + p**3 + p + 5*p + 6*p. Let i(w) = -22*w**3 + 2*w**2 - 2*w + 1. Let s be i(1). Is c(s) a multiple of 8?
True
Let i(o) = 139*o - 659. Is 16 a factor of i(34)?
False
Let y(x) = -x**2 + 32*x + 44. Let b be y(33). Let c be (2/(-4))/(2/(-8)). Let i = b - c. Is i a multiple of 9?
True
Let w = -11166 + 19913. Is w a multiple of 80?
False
Let x be ((-12)/15)/(2/5). Let m be 3*x/(-18)*(36 + -3). Suppose -2*s - 135 = -m*s. Does 5 divide s?
True
Let v(c) = 15*c**2 - 3*c + 4. Let m be v(3). Suppose 0 = 122*o - m*o + 5896. Does 11 divide o?
True
Let p = -11092 - -14002. Is 5 a factor of p?
True
Is (-3 + -1 + 8)*-2 - -218 a multiple of 5?
True
Let u be 140/21 + (-2)/3. Suppose -u*w + 9*w = -9. Let r(q) = 2*q**2 - 6*q - 6. Is r(w) a multiple of 7?
False
Let k(c) = 7*c - 28. Let q be k(16). Let a be 3672/q*168/9. Suppose 7*f - a = -f. Is 13 a factor of f?
False
Let z be 6/5*(-3 + (-84)/(-8)). Suppose 3*d + 4*x = z*x + 1769, 0 = 5*d - 4*x - 2944. Is 59 a factor of d?
False
Suppose -3*n - 3*k = 9, -2*n + k = 1 - 4. Suppose n = 2*g - g - 646. Does 19 divide g?
True
Is (((-12)/14)/((-195)/(-546)))/(4/(-3830)) a multiple of 72?
False
Let i(h) be the third derivative of h**5/30 - 11*h**4/24 - 4*h**3/3 - 18*h**2. Let v be i(8). Suppose 2 - v = -6*t. Is t a multiple of 4?
False
Suppose 4*j + 4*t = 20588, 106*j - 111*j = -t - 25765. Is j a multiple of 7?
True
Let y(b) = -6*b**2 + 2*b - 27. Let r be y(7). Let t = r - -456. Is t a multiple of 21?
False
Let m(l) = 7*l**3 - 5*l - 9*l**3 + 20 - 7*l**2 + l**3. Is m(-9) a multiple of 32?
False
Suppose -3*n - 5*k = -57, -2*n + 7*n + k = 95. Let m(o) = 31*o + 35. Let p be m(-1). Suppose n = p*x - 37. Is x a multiple of 13?
False
Suppose 2*b - 4*m = 0, -5*m = -3*b - m. Suppose b = -5*g - 20. Is (70/(-7))/(g/6) a multiple of 15?
True
Suppose 1408 = -50*a + 82*a. Is 22 a factor of a?
True
Suppose -4585 = -15*w + 13624 - 2549. Is w a multiple of 58?
True
Let r = 3626 - -22984. Is r a multiple of 15?
True
Let d = 66 + -61. Let v be (-5)/d + -1 - -5. Suppose 3*c - 610 = -5*z, -3*z + 0*z + 372 = v*c. Is 17 a factor of z?
True
Let u = 51 + -47. Let p(m) = -6*m + 3