384/10865*(1 - (-36513)/2)?
True
Suppose -2*i + 51044 = 4*u, 32*u - 29*u - 2*i - 38290 = 0. Is 9 a factor of u?
True
Let g be 1/(-2) - (-4 - 63/2). Suppose -q = -4*o + 279, -3*o + 263 = -3*q + 47. Let u = o - g. Is u a multiple of 16?
False
Let l be -262*(6/(-4))/(-3). Let m = l + 1105. Is 32 a factor of m?
False
Let l(k) = -5*k + 7 + 4*k**3 - 2*k + 0*k**3. Suppose -23 = -5*a - 95*w + 94*w, 0 = 3*a - 4*w. Does 47 divide l(a)?
True
Let o be ((-52)/(-6) - 0)*(-11 - -2). Does 6 divide o/4*-1*20/6?
False
Suppose -10 - 6 = -4*h. Suppose -21 = -2*f - h*u - 1, -u + 5 = 0. Suppose -7*r + 4*r - 2*q = -244, -3*r + 5*q + 272 = f. Does 14 divide r?
True
Let k be (-4)/(3/(-3)) + (-5 - -1). Suppose 4*w = f + 1569, w + 6*f - f - 366 = k. Is w a multiple of 18?
False
Let z(s) = 1388*s - 676. Is z(3) a multiple of 292?
False
Let p = 57 - 63. Let o be 1*-3*p/9. Does 8 divide o/((-18)/(-533)) - (-18)/(-81)?
False
Let i(u) = 7 - 3 - 6*u + 3*u - u. Let m(j) = -3*j + 4. Let t(v) = -2*i(v) + 3*m(v). Does 2 divide t(-3)?
False
Let a = 1252 - 661. Suppose 13*q - 449 = a. Does 5 divide q?
True
Let z = 12978 + -12194. Does 98 divide z?
True
Let y(o) be the first derivative of -7*o**2 + 14*o + 49. Is y(-6) a multiple of 9?
False
Suppose 6 = d + o, -2*d - 6 = -d - 2*o. Let x be (98/4)/7 - (-12)/(-8). Suppose -d*i + 587 = 3*i - x*k, 4*i = -5*k + 496. Is i a multiple of 17?
True
Let c = -87 + 96. Suppose c = 10*r - 21. Is (-1)/(1/r - 2/5) a multiple of 5?
True
Let f(m) = 2*m**2 - 12*m + 77. Is f(8) a multiple of 5?
False
Is 13 a factor of (22962 - -9)/3 - (3 - 3)/1?
True
Let a = -328 + 222. Suppose 793 = 16*d - 1223. Let n = a + d. Is 13 a factor of n?
False
Let r = -117 + -134. Let x = -145 - r. Is 17 a factor of x?
False
Is (11 - 1) + (6125 + -2 - 11) a multiple of 41?
False
Suppose -9*j = -13*j + 12. Let r be (j - 1)*(-391)/(-34). Suppose 20*t + 18 = r*t. Is t a multiple of 6?
True
Let h(n) = 14*n**2 - n - 42. Let g be h(6). Suppose 2*t = 4*f + g, 7*t = 10*t - f - 689. Is 7 a factor of t?
False
Let b(w) = 6*w - 9. Let o be b(3). Suppose 2*m = -m + o. Suppose 0*t - 4*t = -5*p + 668, 392 = m*p + 2*t. Is 33 a factor of p?
True
Is 153 a factor of (144/60*(-255)/2)/((-4)/194)?
True
Suppose t = 5*p - 3*t + 12, 2*p + 2*t = 6. Suppose p = -2*w - 5*w + 819. Let h = -81 + w. Is h a multiple of 18?
True
Let i be -3*(-4)/54 + 2084/18. Suppose 4*c = 6*c + i. Let w = 112 + c. Does 9 divide w?
True
Suppose -280*t - 1130208 = -376*t. Does 61 divide t?
True
Let s(h) be the first derivative of h**3/3 - 13*h**2/2 - 24*h - 28. Let g be s(-10). Suppose -g = -4*k - 3*x, 0*k - 4*x = -5*k + 242. Is k a multiple of 41?
False
Suppose 0 = 780*v - 846*v + 238590. Is 108 a factor of v?
False
Suppose -21*p + 50 = -34. Let g be ((-6)/4)/((-9)/12). Suppose -g*m - m + 3*j = -159, p*m - 212 = j. Does 9 divide m?
False
Suppose -20*r + 3684 = -2976. Is r a multiple of 24?
False
Suppose 5*q - 3*y - 40390 = 0, 36574 = 5*q + 3*y - 3846. Is q a multiple of 50?
False
Let j(a) = 4*a**3 + 3*a**2 + 6*a + 13. Is 14 a factor of j(3)?
False
Suppose -2*q - 3*w = -63412, 12*q - 6*w = 8*q + 126824. Is q a multiple of 83?
True
Let w(x) = -x**3 + 26*x**2 - 24*x - 25. Let i be w(25). Suppose 4*t + 490 - 3210 = i. Does 40 divide t?
True
Suppose 3*v - 3263 = -3*f + 490, 0 = -3*v - 2*f + 3751. Let l = -619 + v. Is 35 a factor of l?
True
Let o(q) be the first derivative of -3*q**2/2 + 42*q - 13. Let y be o(12). Let i(l) = 2*l**3 - 12*l**2 + 5*l + 2. Is i(y) even?
True
Does 74 divide 21/((-210)/(-17000)) - (-4 + 1 + 1)?
True
Let n(z) = -23*z - 33. Let q(t) = 23*t + 31. Let c(r) = -4*n(r) - 3*q(r). Does 10 divide c(7)?
True
Suppose -129*y = -98*y - 33403 - 20754. Is y a multiple of 141?
False
Let c(w) = 24*w**2 - 11*w + 19. Let q be c(2). Suppose 0*u - 12 = -4*u. Suppose -2*z + 34 = n, 0*z + 3*z + q = u*n. Is n a multiple of 7?
False
Let m = 23993 - 1833. Is 20 a factor of m?
True
Let l be 2/(-15) - 10/(-75) - -3. Let j be ((-2)/(-4))/(l/6). Let i = j - -19. Is i a multiple of 5?
True
Let j = 43112 + -25664. Is 6 a factor of j?
True
Let y = 41 - 49. Let r be 0/(-1) - (y - (-39 - -3)). Is 15 a factor of (-8)/r - (-495)/7?
False
Suppose 4048 = -5*n + 17183. Is 94 a factor of n?
False
Let i(y) = 5*y**2 - 27*y - 89. Does 209 divide i(18)?
True
Let w = -53 + 61. Suppose 0 = 3*b + 3*o + 207, w*b - 5*b - o + 219 = 0. Let f = 79 + b. Is f a multiple of 7?
True
Suppose -2*s - 6*l + 4433 = -l, -5*s + 4*l = -11066. Suppose -163*v + 172*v = s. Does 5 divide v?
False
Suppose 361*r = 357*r + 36, -4*r - 1128 = -n. Is 4 a factor of n?
True
Let q = -7307 + 9677. Is q a multiple of 3?
True
Let i(f) = 316*f - 40. Let b be i(-3). Is -13*b/36 - (-8)/36 a multiple of 7?
True
Let i(a) = a**3 - 8*a**2 + 11*a - 7. Let p = -185 + 192. Is 7 a factor of i(p)?
True
Let m(u) = 4*u**3 - 16*u**2 - 96*u + 183. Does 3 divide m(13)?
True
Suppose -524 = -g - 4*n + 220, 0 = 3*g + 2*n - 2262. Is 42 a factor of g?
True
Let r be 2/3 + 496510/246. Is 21 a factor of (-75)/200 + r/8?
True
Suppose 212 = d - 2*l - l, 3*d - 5*l - 616 = 0. Let b = d + -72. Suppose -3*y + b = -2*y. Is 18 a factor of y?
False
Let h = 70 - 110. Does 7 divide (272/h)/((-6)/105)?
True
Let w = -5140 + 10156. Is 11 a factor of w?
True
Let u = 1112 - 967. Does 13 divide u?
False
Let c(b) = 7*b**2 - 11*b - 22. Let z(q) = 8*q**2 - 10*q - 21. Let g(i) = 7*c(i) - 6*z(i). Does 15 divide g(30)?
False
Suppose 59 = 6*p - 61. Let v be 4*(-1 + (-165)/p). Let k = -34 - v. Is k a multiple of 3?
True
Let s(v) = 2*v**3 + 46*v**2 + 26*v - 8. Is s(-16) a multiple of 10?
True
Is (2358/10)/(99/1650) a multiple of 10?
True
Let n(y) = 2*y**3 + 18*y**2 + 19*y + 13. Let i be n(-8). Let f be 124 - ((-2)/i + (-96)/44). Suppose 120*m = f*m - 324. Is 14 a factor of m?
False
Let r = 653 + -87. Suppose 3*s - r = 625. Does 22 divide s?
False
Suppose t - 1312 = -5*f, 0 = 6*t - 3*f + 5*f - 7900. Suppose -7*h - 169 = -t. Is h a multiple of 41?
True
Suppose 0 = 3*j + j + 2*v - 6248, 6*j + 5*v - 9360 = 0. Does 5 divide j?
True
Let o = 3102 + 9438. Is o a multiple of 12?
True
Let w = 7572 + -3216. Does 121 divide w?
True
Let q = 139 - 128. Suppose q*z - 2916 = 659. Is z a multiple of 13?
True
Suppose 3726 = -10*o + 15*o + r, 4*o - 2996 = 3*r. Suppose 2*k = 2*v - o, -7*v + 2*v + 2*k = -1880. Is v a multiple of 63?
True
Suppose -4*l = -2*g + 30, -3*l = -3*g - 5*l + 5. Suppose -g*t + 2*n = n - 1974, 2*n = -8. Does 22 divide t?
False
Let d = -30319 + 44143. Is 16 a factor of d?
True
Suppose -108315 = -5*o + 5*l, -31314 + 96302 = 3*o - 4*l. Does 69 divide o?
False
Let u(q) = q**2 + 3*q + 6. Let h be (-4)/48*3*4. Let t be (-14)/35 - (13/5 - h). Does 2 divide u(t)?
True
Is 52/13 - -692*11 a multiple of 19?
False
Does 27 divide (96/(-48))/(4/(-27906))?
False
Suppose -37*c = 98*c - 948915. Does 14 divide c?
False
Let k(n) = 3*n**3 - 8*n**2 + 26*n - 35. Is 34 a factor of k(13)?
True
Let q(v) = 2*v**2 - 8*v - 2301. Does 282 divide q(88)?
False
Let h(u) = u**3 - 25*u**2 + 28*u - 28. Let r(w) = w**3 - 7*w**2 + 13*w - 18. Let n be r(6). Is 6 a factor of h(n)?
False
Suppose 0 = z - q - 827 + 52, 5*q + 779 = z. Let k = z + -564. Is 5 a factor of k?
True
Let r = -70 - -72. Suppose 14 = 2*l - 4*f + 6*f, r*l - 17 = -3*f. Suppose -2*z - l*a = -24, -2*a - 3 = a. Does 6 divide z?
False
Suppose -21054 = -4*s - 141*n + 144*n, -s - n + 5274 = 0. Is s a multiple of 37?
False
Does 7 divide ((-2)/(-18)*147)/(11/13101)?
True
Let x = -16 + 42. Suppose 0 = -5*d, 4*y + 74 = -2*d + x. Is 4 a factor of y/12*-4*1?
True
Let w(g) be the second derivative of g**4/12 + 7*g**3/6 - 5*g**2 + 35*g. Let l be w(12). Suppose 2*i - l = -4*s, -4*s + 116 = i - 97. Is 23 a factor of s?
False
Let b = 15939 + -15582. Does 21 divide b?
True
Suppose -5*t - 233 = 192. Let r = -77 - t. Let m(i) = -i**3 + 9*i**2 - 7*i - 5. Is 3 a factor of m(r)?
True
Let a(g) = -299*g - 658. Does 15 divide a(-17)?
True
Suppose -6*j = j + 588. Let l = j + 81. Does 8 divide (-20)/l*1344/160?
True
Does 19 divide ((-196825)/(-20) - (5 - -2)) + 2/(-8)?
False
Let q = -28 + 28. Suppose q = 3*u - l + 1, -5*l + 16 = 41. Is 33 a factor of ((-20)/(-12))/(u/(-198))?
True
Suppose 18133 = 4*f - 5*w, 6882*f - 6881*f = 5*w + 4522. Is f a multiple of 97?
False
Let k = 151 - 52. Suppose 6*m = 17*m - k. Suppose -357 = m