lse
Let f(i) = 2*i**3 - 4*i**2 + 11*i + 20. Let t be f(-6). Let r = -505 - t. Does 2 divide r?
False
Suppose z - 2589 = -2*h, 0 = -20*h + 18*h + 2*z + 2574. Is h a multiple of 52?
False
Let c = 26 - -85. Suppose h + 3*i + 0*i = 81, -h + 3*i + c = 0. Suppose 0*y = -8*y + h. Is y a multiple of 6?
True
Suppose 4*u - 4*s - 1032 = 0, -3*u = -2*u + 2*s - 273. Suppose -5*b + u = -3*h, 27 - 282 = -5*b - 5*h. Does 26 divide b?
True
Let v(m) = -2*m**3 + m**2 + 15*m + 137. Is v(-8) a multiple of 85?
True
Let p be -36*155/10*(-7)/14. Let x = 475 - p. Is 4 a factor of x?
True
Suppose 0 = 183*q - 191*q + 48696. Is q a multiple of 12?
False
Let q(t) = -6*t**3 + t**2 - 2. Let s be q(-2). Let h = 52 - s. Is -63*h/(-1 + -1) a multiple of 11?
False
Let f = -493 + 2570. Suppose -f = -6*i + 137. Suppose 0*j + 3*k = 3*j - i, -2*j + 248 = -3*k. Does 44 divide j?
False
Suppose 6 - 1 = -5*x + 5*p, 4*x - 5*p = -7. Let b be 4/(-6) - 20/15. Does 5 divide b/4*x*(-89 + -1)?
True
Let y be 20/3*8*(-3)/(-2). Let x = y + -81. Is 10 a factor of 15 - 8/(-2) - x?
True
Let i = 118 - 109. Suppose 73*h - 74*h + i = 0. Is h a multiple of 9?
True
Suppose 0 = 3*p - 3*n + 273, 3*p + 459 - 190 = 4*n. Let a = p + 111. Suppose -2*h + 69 = u, -a - 161 = -5*h - u. Is 36 a factor of h?
True
Suppose u + 20 = -0*u - 5*a, -a - 4 = -5*u. Let d = 299 - 108. Suppose u = -5*n + 1051 - d. Does 11 divide n?
False
Suppose -4*h + 26 + 2 = 2*w, 0 = 3*w - 2*h - 2. Suppose -3*k - w*q - 52 = -300, 3*k - 4*q = 280. Let z = 121 - k. Is 11 a factor of z?
True
Let t = -50 - 70. Let l = 914 - 966. Let w = l - t. Is 10 a factor of w?
False
Suppose j - 275 = -24*j. Suppose j*o = 6*o + 815. Is 53 a factor of o?
False
Let f = 15430 - 5629. Is 16 a factor of f?
False
Let d(r) = 90*r + 10254. Does 9 divide d(-64)?
False
Let v(f) = -12*f**3 - 5*f**2 + 31*f + 18. Is v(-6) a multiple of 44?
True
Suppose 5*b - 7 = 2*l + 7, -4*l = -4*b + 4. Let p be (-3)/(-6)*(0 - 0). Suppose p = -3*g - 5*n + 45, -n = -b*g + 2*n + 89. Is 2 a factor of g?
True
Let u be 1 + (-11)/(-22) + (-1)/(-2). Suppose g - 400 = -2*v, 0 = 3*g - u*v - 381 - 787. Is 11 a factor of g?
False
Suppose r + 3*t = 9030, 5*r - 27338 = 3*t + 17920. Does 58 divide r?
True
Suppose 3*b + 15 = 0, -14*v - 1609 = -18*v - 3*b. Does 14 divide v?
True
Suppose 0 = -2*m - 2*j + 5276, -3*m - j = j - 7916. Suppose -21*u = -29*u + m. Does 15 divide u?
True
Suppose 0 = 136*v - 140*v + 14332. Is v a multiple of 54?
False
Let j be -73 + 50/10 + -8. Suppose 0 = 3*d - d - 4*g - 8, 9 = 4*d - g. Is ((-11)/d)/(230/j - -3) a multiple of 47?
False
Let r(w) = 13*w + 112. Let g be r(-8). Suppose -g*z + 12540 = 12*z. Is 51 a factor of z?
False
Let w = 348 - 291. Suppose -2*i + 3*b = -657, 0 = i - b - 388 + w. Is 12 a factor of i?
True
Is ((114/12)/(-19))/(9/(-922320)) a multiple of 120?
True
Suppose 111*w - 63*w = 23520. Is 10 a factor of w?
True
Suppose -5*i - 4*j - 1074 + 3019 = 0, -5*i + 1970 = -j. Suppose 3*q - 5*q + 813 = -c, q = -4*c + i. Does 21 divide q?
False
Suppose 553 = 7*b - 14*b. Let f = b + 81. Suppose 2*z - f*c + 552 = 4*z, 2*z + 3*c = 555. Does 21 divide z?
True
Let x be ((-819)/(-3) - 3) + 2. Let g = -35 + 40. Does 17 divide x/10*g/2?
True
Suppose -24*q - 8070 = 28*q - 60330. Does 3 divide q?
True
Suppose 74160 = 18*b - 46206. Is b a multiple of 29?
False
Suppose w = -2*x + 81978, 0 = 5*x - 4*w + 6*w - 204948. Does 32 divide x?
True
Let r = -558 - -1384. Suppose 2*a = 4*b + r, a + 2*a - 1199 = -4*b. Does 22 divide a?
False
Suppose 0*v - 5*v = -3*t - 26975, 7*v - 37765 = 2*t. Is 94 a factor of v?
False
Let w = -6311 + 17703. Is w a multiple of 64?
True
Suppose 15674 + 13078 = 24*g. Let i = -350 + g. Is i a multiple of 51?
False
Suppose -28300 = -20*d + 15740. Suppose d = 6*y + 1992. Does 21 divide y?
False
Let c(g) = 36*g - 20*g - 20*g + 2 + 56*g**2. Let k be (3/6)/((-1)/(-2)). Is c(k) a multiple of 24?
False
Is 128 a factor of 5 + -12 + 8 - -6*453?
False
Suppose 0 = -6*y - 4*y - 740. Let t = 86 - y. Suppose -7*s + 785 = -t. Is 16 a factor of s?
False
Let f = -607 + 1062. Let r = f + -366. Is r a multiple of 10?
False
Suppose 0 = 7*o + 31464 - 143443. Is o a multiple of 12?
False
Suppose 4*k = -3*p + 24410, 206*p = 5*k + 204*p - 30478. Is k a multiple of 6?
False
Suppose 0 = 3*d + 3*i - 43629, 873*d - 869*d - 2*i = 58190. Is 21 a factor of d?
False
Suppose u + 279929 = 5*w, 3*w - 2*u = 6*w - 167960. Does 93 divide w?
True
Is 19 a factor of (-4)/(-3) - (1230190/(-3))/5?
False
Let j(w) = -w**3 - 9*w**2 + 11*w + 4. Let l be j(-8). Let i = l - 124. Let b = i + 466. Is b a multiple of 35?
False
Let k(h) = 3*h**3 + 3*h**2 + 126*h. Is 33 a factor of k(11)?
True
Suppose -38 = -10*h - 8. Let t(a) = a**3 + 10*a**2 + 8*a - 2. Let u be t(-9). Suppose -324 = -u*i + h*i. Is i a multiple of 9?
True
Suppose 5*n + 195 + 155 = 0. Let u = n + 111. Suppose 6*z = u + 67. Does 6 divide z?
True
Let r = -17230 - -19830. Is 176 a factor of r?
False
Let f = -176 + 169. Let w(y) = -y**3 - 3*y**2 + 5*y + 28. Is w(f) a multiple of 7?
True
Suppose 0 = 25*p - 521183 + 134663 - 159955. Is 11 a factor of p?
False
Let n(o) = o**2 + 3*o + 1. Let x(f) = 2*f**2 + 7*f + 245. Let v(a) = -3*n(a) + x(a). Is 22 a factor of v(0)?
True
Let x(n) = -2*n**2 - 30*n + 23. Let z be x(-12). Suppose -z*l = -107*l + 3780. Does 45 divide l?
True
Suppose -691 + 227 = -2*q. Suppose -43*t + 2*x = -47*t - 646, 2*t + 4*x + 320 = 0. Let d = t + q. Does 10 divide d?
True
Suppose -40222 + 3822 = -2*p - 11*p. Does 70 divide p?
True
Let q be 12 + -13 - (1 + -5). Is 26 a factor of 7/((-5)/(-302 - q))?
False
Let l(n) = 1434*n**2 - 5*n + 1. Does 30 divide l(-1)?
True
Let f = -32103 + 67773. Is f a multiple of 41?
True
Let w be 525/(-28)*16/(-6). Let a = w - -13. Let b = a - 17. Is b a multiple of 11?
False
Let v be (27080/(-2))/(1962/162 + -12). Is 43 a factor of v/(-105) - (-12)/28?
True
Let p = 3282 + -3062. Suppose -3*t + 11 = -2*t. Suppose -k - p = -t*k. Does 22 divide k?
True
Let w(h) = -12*h - 138. Let g be w(9). Does 6 divide -9*12/(-18) - g?
True
Suppose 453*t + 80622 = 471*t. Does 8 divide t?
False
Suppose 28 = -24*f + 100. Suppose -o - u = -787, u - 796 = -o - f*u. Is o a multiple of 30?
False
Let o be (4/6 + 2)*234. Suppose -2*i - c = -11, -12*i + 8*i + 25 = 3*c. Suppose -o = -8*w + i*w. Does 13 divide w?
True
Let w = -303 - -577. Suppose c - 146 - w = 0. Suppose -4*j - j + c = 0. Is j a multiple of 10?
False
Suppose 10*h - 23 = -z + 13*h, h = -3. Let v(i) = -i**3 + 13*i**2 + 16*i + 18. Is 6 a factor of v(z)?
False
Suppose -a = 0, 4*v + 3*a = -0*a + 16. Suppose -v = 2*i - 5*r + 2, i - 5*r = -3. Let n = i + 16. Is 13 a factor of n?
True
Let s be ((-10)/(-4))/(2/(-12)). Is 11 a factor of (33/(-18)*s)/((-12)/(-600))?
True
Let m(s) = s**3 + 19*s**2 - 37*s + 60. Is m(-18) a multiple of 10?
True
Suppose 3*v = -0*v + 135. Let d = -24 + v. Let b = 24 - d. Does 3 divide b?
True
Suppose 0 = 23*k + 18*k - 56252. Does 14 divide k?
True
Let g(c) = 3*c**2 - 6*c - 21. Suppose -174*s = -169*s - 35. Is 14 a factor of g(s)?
True
Let i(y) = -31*y + 4. Let d be i(0). Let s(j) = j**3 + 7*j**2 - 17*j + 12. Is 12 a factor of s(d)?
True
Let w be ((-40)/3)/((-16)/3 - -5). Suppose 2*z - 61 = -p, 2*z = -4*p + w + 186. Does 11 divide p?
True
Let l be (-9)/((-9)/3 + 632/211). Suppose 3*v + 23 = -q + 1154, 0 = -5*v + 3*q + l. Does 21 divide v?
True
Let c(d) = 5187*d**2 - 124*d + 124. Is c(1) a multiple of 21?
True
Let h = 6791 + -47. Is 12 a factor of h?
True
Suppose -4*m + 1827 = -3*o, -o + 0*o - 5*m - 609 = 0. Let h = o - -625. Is h a multiple of 4?
True
Suppose t + 3 = 0, -2*j = -0*j - 3*t - 3641. Suppose -j + 14312 = 16*l. Is 48 a factor of l?
False
Let t(b) = -14*b + 3097. Does 5 divide t(108)?
True
Let j be (44/10)/((-3)/(-15)). Let n(g) = 4 + j*g - 4*g + 8*g. Does 23 divide n(4)?
False
Suppose 5333 + 737 = 5*l. Suppose -49*k = -51*k + l. Does 12 divide k?
False
Let m be ((-8)/(-4) + -6)/((-1)/(-7)). Let g(s) = s**3 + 31*s**2 + 35*s - 169. Does 8 divide g(m)?
False
Suppose 15*p - 20*p = 46*p - 223584. Is p a multiple of 32?
True
Suppose -20 = 2*i - 7*i. Suppose n = i*j + 4*n - 547, n - 275 = -2*j. Let z = 295 - j. Is z a multiple of 29?
False
Suppose -18 - 6 = -2*r. Suppose z - 4 - 9 = 0. Suppose -z*n + 20 = -r*n. Is 6 a factor of n?
False
Suppose 