lse
Is (102*6/(-12))/((-5)/55) a multiple of 17?
True
Let o(i) = -6*i**2 - i**3 - 35 + i**3 + 3*i**3 + 38. Let d be o(3). Is (2 + 56/20)*d a multiple of 12?
True
Is 206 a factor of 194706/45 + 104/(-130)?
True
Let j(u) = 17*u**2 - 15*u - 3. Let l be j(2). Suppose 10224 = l*c + 3014. Does 14 divide c?
False
Suppose -4*c - 3*g + 24 = -22, -5*g = c - 3. Suppose -c*w + 555 = 2*w. Is w a multiple of 7?
False
Let b(q) be the third derivative of -49*q**4/12 - 49*q**3/3 - 283*q**2. Is b(-4) a multiple of 8?
False
Is 12 a factor of (-2)/3 + 2 - 2049344/(-426)?
True
Let o(j) = -32*j**2 + 5. Let k be o(-6). Let l = -667 - k. Is l a multiple of 23?
False
Let v be ((-2)/(-3))/((-9)/(60183/(-6))). Suppose -5*t + 535 = -5*b, -v + 212 = -5*t + b. Does 14 divide t?
False
Let n = -55 - -196. Suppose 64 + n = 3*u - 4*i, 3*i + 12 = 0. Is 3 a factor of u?
True
Suppose 2*c + 13 = 5*g, 4*c + 11 = 7*g - 2*g. Suppose -67 = g*q - 265. Is 22 a factor of q?
True
Let d(v) = 11*v + 6. Let j be d(-1). Let f(t) = t**2 + 4*t - 5. Let g be f(j). Suppose g = -h + 7*w - 2*w + 18, 3*w + 157 = 4*h. Is 7 a factor of h?
False
Let w = -89 + 89. Suppose -3*f + 5*f = -k + 8, w = -f + 1. Suppose -k*p + 2432 = 2*p. Does 20 divide p?
False
Let q(u) = 3*u + 1. Let z(v) = 2*v**2 + 15*v + 109. Let o(w) = -3*q(w) + z(w). Does 19 divide o(0)?
False
Let k = 67419 + -45677. Is k a multiple of 11?
False
Let p(n) = 1106*n**2 + 10*n + 66. Is p(-3) a multiple of 15?
True
Let j(g) = 1 + 4 - g**3 + 29*g**2 - 17*g - 13*g**2 + 2*g**3. Let f be j(-17). Suppose 96 = f*c - 3*c. Does 47 divide c?
False
Suppose 4*p + 5*v = 3*p + 4495, 9*p - 40375 = -5*v. Is p a multiple of 49?
False
Suppose -v + 10*g = 12*g - 2010, 3*v - 6042 = -2*g. Suppose v = 845*c - 841*c. Does 5 divide c?
False
Suppose -6294 = -2*a - 5*j, -5*j = 5*a - 9915 - 5835. Does 6 divide a?
False
Suppose 0 = 14*h - 159235 - 32341. Is 11 a factor of h?
True
Suppose -2*n + 111 = -3*d, 2*n - 7*n + 300 = -3*d. Suppose -62 = -5*q + n. Does 3 divide q?
False
Let k(c) = 7*c**3 + 11*c**2 + 51*c - 24. Let o(b) = -13*b**3 - 23*b**2 - 103*b + 47. Let m(h) = -11*k(h) - 6*o(h). Does 15 divide m(-9)?
False
Suppose 2*k - 9 + 9 = 0. Suppose -7*g - g + 24 = k. Suppose f - 195 = -3*f + 5*j, -g = -3*j. Is 15 a factor of f?
False
Suppose 10*p - 9020 - 4609 = 631. Is p a multiple of 22?
False
Suppose 0 = 4*c - 18 - 22. Suppose -c*v + 846 = -294. Does 19 divide v?
True
Let o = -77 - -81. Suppose 794 = 3*h + o*y, 2*h + 2*y = 4*y + 548. Is h a multiple of 25?
False
Suppose -4*s - h = -7, 5*h = -0*s - 3*s - 16. Suppose 5*t = -5*p + 155, -s*t = -0*t. Suppose -4*n = -p - 149. Is 5 a factor of n?
True
Let a = -151 - -130. Let z(i) = -i**2 - 28*i - 29. Is z(a) a multiple of 35?
False
Does 46 divide (-3)/8 - (-156592)/128?
False
Let s be 5*(-2)/(-4)*-6. Suppose 0 = o + 3*a - 33, 8*o + 5 = 9*o - 4*a. Let l = o + s. Is 3 a factor of l?
True
Let b(m) be the first derivative of 2*m**3/3 + 13*m**2/2 + 59*m + 270. Is b(16) a multiple of 11?
False
Let k(z) = z + 4. Let w = 72 - 48. Suppose -4*l = 3*p - 20 + 6, -4*p - 4*l = -w. Does 7 divide k(p)?
True
Does 13 divide (-19)/(114/63)*(-65952)/28?
False
Let q = 375 + -272. Suppose -62 = -b - y + q, -4*b + 3*y + 660 = 0. Is b a multiple of 3?
True
Suppose 62*d - 64*d = 2*r - 61920, -12 = -2*d. Does 33 divide r?
True
Let m = -135 + 135. Suppose 13*n - 15*n = m, 0 = 3*y - n - 9. Is 339 + y/(-2)*2 a multiple of 16?
True
Let g(s) = 22*s - 9*s - 13*s - 11*s + 52. Let u be g(-13). Suppose -2*c + l = -u, -5*c + 88 = -l - 401. Is 11 a factor of c?
False
Let p(t) = -t**2 + 10*t. Let x be p(0). Suppose 2*o = 5*c - x*c + 748, -2*o + 736 = c. Is o a multiple of 12?
False
Suppose -3*t + 6904 = 5*w, -5*t + 1106 = -4*w + 6607. Is 5 a factor of w?
False
Suppose 0 = -4*n + 431 + 749. Suppose -18*b = -n - 2567. Is 12 a factor of b?
False
Suppose -2*q + 3*n + 497 = 0, 4*q - 514 = -5*n + 425. Let j = q - -416. Does 15 divide j?
False
Let v be (54/(-21) + 2)/(2/(-7)). Suppose v*f = 5*f - 2*x + 2, -3*x + 3 = -4*f. Suppose -3*u + 6*u - 228 = f. Does 18 divide u?
False
Suppose 14*c + 5 = 9*c. Let v be c/5*-48*20/6. Suppose v*d - 27*d = 625. Is d a multiple of 25?
True
Suppose -5*z - 4*i + 62 = 0, -5*i = z - i - 6. Suppose -z*l + 26 + 16 = 0. Suppose -4*t - 5*u + 95 = 0, 2*u = -l*t - 3*u + 70. Is 4 a factor of t?
False
Let q = -234 + 234. Suppose u + 2*d - 91 = q, 149 = 2*u + 3*d - 30. Does 17 divide u?
True
Let h(u) = -12*u**2 - 497*u - 12. Is h(-6) a multiple of 54?
True
Suppose 0 = 5*n - 6*n + 15. Suppose -4*c + n = -33. Suppose c*g = 135 + 81. Does 18 divide g?
True
Let y(a) = -a**3 - 7*a**2 - 3*a - 16. Suppose i - 71 + 81 = 0. Is y(i) a multiple of 7?
False
Let q = 210 - 210. Suppose 6*s - 433 - 137 = q. Does 13 divide s?
False
Suppose 2*a = 4*a + 4*v + 4, -3*a + 2 = 2*v. Suppose -a*z + 295 = -1931. Does 53 divide z?
True
Let j(v) = v**3 + 12*v**2 - 167*v + 16. Is 37 a factor of j(17)?
False
Suppose -5 + 311 = -6*q. Let a = 96 + q. Suppose -7*p - a = -10*p. Is 5 a factor of p?
True
Let u(v) = v + 3. Let p be u(-5). Suppose -129 = 5*d + 4*j, -2*d + 0*j = j + 51. Does 16 divide p - 20*d/10?
True
Suppose q - 5*w = -w + 21, q - 5*w = 25. Suppose -3*h - 12 = -3*y, q*h = 9*h - 8. Is 16 a factor of 8/(-6)*(y - 18)?
True
Let f(x) = 9*x**2 + 4*x + 4. Let j be f(-2). Let k(o) = o**3 + 10*o**2 + 26*o + 10. Let c be k(-8). Let w = j - c. Is 16 a factor of w?
False
Let j(v) = 28*v + 59. Let g be j(-2). Suppose -1840 = -a - g*a + 4*o, -5*a - 3*o = -2316. Does 66 divide a?
True
Suppose 67*x - 3486 = 53*x. Let f = 1003 - x. Is f a multiple of 35?
False
Let d(w) = -w. Let r be d(-4). Suppose 4717 = 19*i + 518. Suppose -5*p = 2*q - i, -q + 102 = 5*p + r. Is 26 a factor of q?
False
Let h(u) = -1124*u + 3025. Is 5 a factor of h(-6)?
False
Let i = -17 - -20. Suppose 0*n - i = -n. Is 10 a factor of 1830/40 + n/(-4)?
False
Suppose -4*g = 2 + 2. Let q be 3/1 + (g - 0/2). Suppose 5*l + 5*p = 750, 2*p = -0*l + q*l - 320. Is l a multiple of 13?
False
Suppose -19 = -5*o - 24, -5*u + 34015 = 5*o. Does 36 divide u?
True
Let d(v) = 390*v**2 + 10*v + 6. Let a be d(-4). Suppose m = -2*m - 2*s + 3724, -3*s = 5*m - a. Does 31 divide m?
True
Let f(w) = -8*w**3 - w**2 - 4*w - 3. Let c be f(-1). Suppose 3*g - g - c = 0. Is 130 + (-3)/(12/g) a multiple of 41?
False
Suppose -d + 1709 = 505. Suppose d = 3*p - 620. Does 18 divide p?
False
Suppose -4*j + 4*m = -1673 + 9, 20 = -5*m. Let y = -379 + j. Is 3 a factor of y?
True
Suppose 17*r + 10168 = 25*r. Suppose -7*z + r = -1312. Does 9 divide z?
True
Let a be 6 + -9 - 1*-59*1. Suppose a*f = 55*f + 8. Is 4 a factor of f?
True
Does 40 divide (301/105 - 3) + (-90004)/(-30)?
True
Let a(o) = -2*o**2 + 10 - 30*o - 42 + 12. Is a(-12) a multiple of 4?
True
Let i(s) = 2*s**3 - 87*s**2 - 130*s - 114. Is 131 a factor of i(47)?
False
Let p = -45 - -220. Let x be 1556/28 + -5 + (-93)/(-21). Let n = p - x. Does 24 divide n?
True
Let s = -15148 - -23259. Does 13 divide s?
False
Let j = 317 + -310. Let l(g) = -24*g + 19 + 20*g + 18. Does 3 divide l(j)?
True
Let q be (-1 + 0)/(74/25 + -3). Suppose 0 = 5*w - q, -4*w + 1260 + 704 = 4*x. Does 54 divide x?
True
Let m be 4/(-12)*(-4)/(12/81). Let f(a) = a**2 - 7*a - 16. Let l be f(m). Suppose -5*k + 388 = -3*k + 4*q, l*k - 378 = q. Does 32 divide k?
False
Let p be 0 - (-5)/(-7 + 2). Let b(g) be the first derivative of -156*g**2 + 2*g - 1. Is 30 a factor of b(p)?
False
Suppose 77 = 280*h - 5243. Is h a multiple of 19?
True
Let h(c) = -6*c**3 + c - 6 + 0*c - 6*c. Suppose 12 = -8*l - 4. Is 28 a factor of h(l)?
False
Suppose -102 = 4*d + 186. Let q = -3064 + 3184. Let p = q + d. Is p a multiple of 9?
False
Suppose -10 = 5*c, -2788 + 376 = -2*m + c. Suppose -4*n = k - m, k + 1220 = 4*n + 5*k. Is n a multiple of 20?
True
Let x = -34 - -36. Let d(l) = 0*l + 13 - 5*l + x*l + 4*l. Is 11 a factor of d(9)?
True
Suppose 44405 = -9*x + 13*x + 5*o, -4*x - 3*o + 44419 = 0. Does 11 divide x?
True
Suppose 6*r + 86 = 7*r. Let z = -125 + r. Let w = 66 + z. Is 22 a factor of w?
False
Let k be (-560)/(-12) + 4/(-6). Suppose 0 = 2*i + 2*g - k, -13*i + 8*i = 2*g - 100. Is i a multiple of 3?
True
Suppose 65 = -9*p + 83. Is 34 a factor of -1 + 4 + (1 + p - -368)?
True
Suppose 5*o - 2*n - 157360 = 12657, 5*n + 5 = 0. Is o a multiple of 13?
Fa