a factor of o(-10)?
True
Let t = -6374 - -12476. Does 116 divide t?
False
Let j = 23 + -14. Let q = -99 - -100. Is 5 a factor of (q + 1)*(j/2 + -2)?
True
Let u(t) = -3*t + 10. Let g be u(1). Let p(h) = 9219*h - 9246*h + 3*h**2 - g + 2. Is p(11) a multiple of 14?
False
Let p be (-24)/((-12)/4) + -2 + 2. Suppose -p*g + 22055 - 8055 = 0. Is g a multiple of 50?
True
Suppose -14*q - 4 = -16*q. Suppose -3 = -3*z, 3*f - 3*z = -q*f - 533. Let a = 168 + f. Is 31 a factor of a?
True
Suppose -5*r - 114 = -2*r. Let p = r + 40. Let c(y) = 9*y**2 + 3*y - 1. Does 41 divide c(p)?
True
Let a be -5*2527/(-210) - (-2)/(-12). Is (10/a)/(2/(-18))*-296 a multiple of 37?
True
Suppose 396*l - 401*l = -12*o + 668, 0 = -o - 4*l + 38. Is 11 a factor of o?
False
Let c = -7313 - -8676. Does 29 divide c?
True
Suppose 0*v = -5*v - h - 7878, 5*v - 5*h + 7860 = 0. Let z = -1059 - v. Is z a multiple of 74?
False
Suppose 14571 = -40*y + 152211. Is y a multiple of 31?
True
Let a(i) = 18*i**3 - 7*i**2 - 24*i + 174. Is a(8) a multiple of 12?
False
Let w(o) = 2*o**2 - 18*o. Suppose -997*r + 1000*r = 63. Does 19 divide w(r)?
False
Let r(u) = -1. Let y(g) = -3*g**2 + 7*g - 14. Let s(v) = 6*r(v) - y(v). Let d be s(-7). Is 23 a factor of (0 - -2)/2 + d/3?
True
Let p be -5 - (8/20 - (-2997)/(-5)). Suppose v - h - 298 = 0, 6*v - p = 4*v + 3*h. Does 5 divide v?
True
Let p(c) = 9*c**2 + 44*c + 21. Is p(-13) a multiple of 4?
False
Let r be (-5 + (-133)/(-28))/(11/44). Let l(o) be the first derivative of 47*o**3 + o**2/2 + 3*o - 2. Does 11 divide l(r)?
True
Suppose -131*l = -111*l - 607460. Does 10 divide l?
False
Suppose 4*a + 4 = f, 0*a - 16 = -4*f + 4*a. Suppose f*x - 259 = -15. Is x a multiple of 15?
False
Let m(n) = 4*n + 2. Let o be m(7). Let h = -5 + o. Does 15 divide h?
False
Let q(w) = -w**3 + 28*w**2 - 10*w + 85. Let c be q(28). Let x = c + 214. Is x a multiple of 2?
False
Let n be (-230 + 6/(-2))*-5. Suppose 4*c = -5*b + 1138, 5*b - c = 4*c + n. Is 14 a factor of b?
False
Let b(t) be the first derivative of -37*t**2/2 + 257*t - 112. Is b(6) a multiple of 12?
False
Is (344/(-7))/((-85)/5950) a multiple of 16?
True
Let z = -10 + 10. Let a = -234 + 231. Does 7 divide (z - 20 - 4)*a?
False
Is (-10507)/(-7) + 4/(-14) + (-108)/14 even?
False
Let l = 27 + -22. Suppose -15*s + 20*s = l. Is 35 a factor of (-4 + 26/6)/(s/303)?
False
Suppose 7*y = -1536 + 17412. Is 40 a factor of y?
False
Let m = -94 - -78. Let h = m + 20. Suppose 0 = -3*u + 6, -h*n - n + 247 = u. Does 7 divide n?
True
Let z(q) = -5*q + 2. Let f be z(-2). Suppose -62*l + 110 + 21 - 7 = 0. Is (176/f*3 - -2) + l a multiple of 8?
True
Let f = 6155 - 5316. Does 94 divide f?
False
Let i be 1 + 1/(3/(-21)). Is (-4330)/(-12) + 5/i a multiple of 37?
False
Let k be 4/(-6) + 4742/(-6) + -1. Let v be (k/(-15))/8 + 2/5. Is 596/14 - (-3)/v a multiple of 14?
False
Let w = -7 - -13. Suppose w*h - h = -2*r - 15, 0 = -2*r + 2*h + 20. Suppose -115 = -r*d + 45. Is d a multiple of 9?
False
Suppose -19*d + 14782 = -57*d. Let i = d - -481. Does 4 divide i?
True
Let x(w) be the second derivative of -3*w**5/20 - 4*w**4/3 - 2*w**3/3 + 6*w**2 + 63*w. Does 18 divide x(-6)?
True
Suppose 5*g - 2*g = -5*c + 27, 4*g = 16. Let t be (3 - 2 - 3) + -1. Does 9 divide (-2 - t) + c + 95?
True
Suppose -3 = -4*c + 21. Suppose -4*q + c*q = 134. Let a = q + -23. Is 15 a factor of a?
False
Let i = 2032 + -1285. Does 9 divide i?
True
Let n(a) = -a + 4*a - a**2 + 64 - 2*a. Let m = -570 + 570. Is 16 a factor of n(m)?
True
Let s be (-6250)/(-12) - -1*(-4)/(-24). Suppose 8*t - 471 = s. Let z = -54 + t. Is 19 a factor of z?
False
Let l be (-4)/6*1/((-8)/(-732)). Let b = 167 + l. Let y = -5 + b. Does 12 divide y?
False
Let m(h) = -9*h - 5. Let n be m(10). Let g = 534 - n. Let p = g - 413. Is p a multiple of 36?
True
Suppose 27*r - 2 = 25*r. Let m be ((0 + -2 + r)*0)/(-2). Suppose 4*h - 2*u - 1040 = m, 7*u = h + 2*u - 278. Is h a multiple of 21?
False
Let p(z) = -1053*z - 2868. Is p(-3) a multiple of 4?
False
Let c be 4/26 - (-236)/(-13). Let d be (12/18)/((-4)/c). Suppose -d*l - 2*k = -286, 2*l - 188 = -5*k + k. Is 16 a factor of l?
True
Let r(z) = 3*z**2 + 3*z + 4. Let v be r(-1). Is 15 a factor of 290/v - 20/(-8)?
True
Let w(y) = -6789*y**3 + 4*y**2 - 4*y - 11. Is 15 a factor of w(-1)?
False
Is 44 a factor of (-67893)/(-159) + (1 - -13)?
False
Let x(b) = 34 + 26 - 10*b + 11*b - 10. Is 5 a factor of x(-21)?
False
Suppose 4*d - 90973 = -5*q, -4*q + 65688 = 3*d - 7090. Is 12 a factor of q?
False
Let o(f) = -68*f**3 + 2*f**2 - 2*f + 18. Let h be o(-6). Suppose 8*j = -26*j + h. Is j a multiple of 8?
False
Let n(c) = -373*c + 6042. Is 114 a factor of n(0)?
True
Let p(q) = q**3 + 7*q**2 - 975*q + 72. Is p(31) a multiple of 39?
False
Let a(v) = -v**2 + 4*v. Let j be a(4). Suppose 8*x + 156 + 76 = j. Let w = x + 140. Does 37 divide w?
True
Let k = -2524 + 2794. Does 9 divide k?
True
Let x = 3464 - 1948. Is 2 - ((-30)/(-105) - x/14) a multiple of 10?
True
Suppose -62 = 18*s + 10. Suppose 4*l = k + 1796, 2*l - 3*l + 3*k = -438. Is 15 a factor of l*(42/(-105))/(s/5)?
True
Suppose 173*w - 163875 = 98*w. Is 49 a factor of w?
False
Let h = 454 + 2050. Suppose 2*p - h = -4*l, 258 = -l - p + 885. Is l a multiple of 63?
False
Suppose 12*a - 2*a = a + 124173. Is a a multiple of 63?
True
Let l(s) = 4*s**2 - 16*s - 8. Does 6 divide l(11)?
True
Suppose -5*w = 15*w + 80. Let p(s) = -40*s + 38. Is p(w) a multiple of 33?
True
Let h be (-7 - -8)/((-1)/(-6)). Suppose h*k - 2*k = 52. Suppose -k = -2*l + 11. Is l a multiple of 12?
True
Suppose -77 = 4*m - 65, 4*m = 3*j - 159231. Is 179 a factor of j?
False
Let v be 6 - 314/(2 - 4). Suppose -171*w = -v*w - 1024. Is 2 a factor of w?
True
Let g(z) = -15*z + 42. Let s be g(-6). Suppose -k + 78 = 4*q, 0*k - 2*k = -4*q - s. Is k even?
True
Is 131 a factor of 7884/270*140/12*6?
False
Let b be ((-85)/(-5))/((-2)/(-4)). Let p be (-7 - -7) + 0/1. Suppose q - 3*q + 5*j = -b, p = 2*j. Is q a multiple of 7?
False
Suppose -1025*a = -1028*a, -a + 1212 = 4*t. Is t a multiple of 20?
False
Let h(z) = 9*z**3 - 4*z**2 + 50*z + 275. Is h(10) a multiple of 125?
True
Let d(f) be the first derivative of -20 + 7/2*f**2 - 8*f. Is d(4) a multiple of 7?
False
Suppose 11*z + 57654 = 14*z + 14982. Does 16 divide z?
True
Let z(u) = -u**2 - u + 1. Let m(j) = 7*j**2 + 18*j - 5. Let f(t) = m(t) + 6*z(t). Let r be f(-12). Is (-3 - -29)/((-4)/(-24)*r) a multiple of 12?
True
Let o be (1/(-2))/((-5)/(3817 - -3)). Suppose 0 = 3*i + 4*w - 1138, 7*w - 759 - o = -3*i. Is i a multiple of 27?
True
Let s(c) be the second derivative of 21*c**3/2 + 12*c**2 + 85*c - 2. Is 5 a factor of s(7)?
True
Let c be ((-1)/(-3))/(2 + (-175)/90). Let b(v) = -v**2 - 29*v + 240. Is b(c) a multiple of 15?
True
Let i = -825 + 765. Is 4 a factor of ((-96)/30)/(4/i)?
True
Let i(r) = r**3 + 23*r**2 - 48*r + 54. Let a be i(-25). Suppose 5*z + 89 - 1499 = -5*u, a*u = -2*z + 1128. Does 14 divide u?
False
Suppose -21*j = -23*j + 3*h + 752, -1486 = -4*j - 3*h. Is j a multiple of 3?
False
Suppose 3*y - 730 = -12*t + 8*t, -3*t = -2*y + 481. Let x = 247 + y. Does 22 divide x?
False
Suppose 12 = 3*f - 375. Let o be -5 + 0 - (-24 + 0). Let r = f - o. Is r a multiple of 22?
True
Is 11100 - (-3 - 36/18)/(5/(-6)) a multiple of 86?
True
Suppose -45890 + 19973 = -58*z + 386463. Does 193 divide z?
False
Suppose 52734 = 3*o + c, 46*c = -4*o + 47*c + 70319. Does 29 divide o?
False
Suppose 0 = -4*q + 7848 + 12872. Does 28 divide q?
True
Let i = 2 + -3. Let g be (-33)/9*-3 + i. Suppose 0 = -4*q + g*q - 96. Does 8 divide q?
True
Let c(i) = 6*i**3 + 2*i**2 - 2*i + 1. Let t be c(1). Let g = 7 - t. Suppose g = -4*w + 19 + 1. Does 3 divide w?
False
Let y = -17097 + 17402. Let s be (0 + 10/(-4))*-2. Suppose 74 = d + 4*c + 13, -4*c - y = -s*d. Is 13 a factor of d?
False
Let r(f) = 3*f**3 - 21*f**2 - 22*f + 55. Let x be r(15). Suppose -x = -10*t - 31*t. Does 7 divide t?
False
Suppose -4*x + 50854 = -2*j, -208*x + 209*x + 5*j - 12675 = 0. Is 31 a factor of x?
True
Suppose -1828 = -16*o + 757 + 3175. Is o a multiple of 27?
False
Let a = 832 + -461. Suppose a = -11*p + 4584. Does 7 divide p?
False
Let d = 142 - 109. Does 18 divide (428/(-1))/(d/(-3) + 9)?
False
Suppose 2*x = 3*q - 0*q - 15, -3*q - 4*x = -15. Suppose 5*l - l = 4*k + 180, 0 = q