lse
Suppose -4*c - 144 = -7*c. Is 13 a factor of c?
False
Suppose 0 = -16*y + 11*y + 100. Is 3 a factor of y?
False
Let r(t) = -t**3 + 3*t**2 - 2*t. Let a be r(2). Let n = -12 + 5. Let h = a - n. Is h a multiple of 5?
False
Let p(a) = 4*a - 1. Does 4 divide p(6)?
False
Suppose 0 = -10*z + 487 + 683. Is z a multiple of 53?
False
Suppose -4*b + 9 + 19 = 3*m, 0 = -5*m - 3*b + 54. Is 3 a factor of m?
True
Let t(a) = -a**2 - a + 1. Let m(g) = -9 - g + 3*g**2 - g + 11. Let k(u) = m(u) + 2*t(u). Is 4 a factor of k(4)?
True
Suppose -2*l = -3 + 9. Is 4 a factor of 9 + (0/(-3))/l?
False
Suppose 2*q - 6*q = 3*y - 52, -2*q = -2*y - 12. Is q a multiple of 5?
True
Let j(o) = 5*o - 8. Is j(7) a multiple of 14?
False
Let s be 2/7 + (-1136)/56. Does 11 divide 1/4 - 435/s?
True
Let r = -45 + 67. Let m = -8 + 8. Suppose m = -k + 2*k - r. Does 9 divide k?
False
Let p(d) be the second derivative of d**3 - d**2 + d. Suppose 18 = o + 2*o. Is p(o) a multiple of 13?
False
Let r(l) be the second derivative of -l**6/40 - l**5/40 + l**4/6 - 5*l. Let b(s) be the third derivative of r(s). Does 14 divide b(-2)?
False
Is 37 a factor of -7 + 8 + 75 + 4/(-2)?
True
Suppose 0 = 3*j - o - 529, 2*o = -j + 87 + 80. Does 5 divide j?
True
Suppose -2*a - a + 360 = 0. Suppose 2*m + 6 = 4*m. Suppose m*c - a = -2*c. Does 12 divide c?
True
Let j(l) = l**3 - 4*l + 3. Let h be j(2). Suppose 3*t + h*u - 8*u = 104, -u + 98 = 3*t. Is 12 a factor of t?
False
Let c be -2 + -3*2/(-3). Suppose c = 7*o - 2*o - 90. Is 9 a factor of o?
True
Let m = 160 + -86. Does 25 divide m?
False
Let f(x) = x**2 - 7*x + 9. Suppose 0 = -t - 2*t + 18. Let c be f(t). Suppose -q - c*m = -22, -2*q - 2*m + 55 - 11 = 0. Does 16 divide q?
False
Suppose -5*i = -0*i + 30. Let r(n) = n**2 + 2*n + 6. Is r(i) a multiple of 15?
True
Let i(h) = -1 - 4 + 5*h + 2. Is i(7) a multiple of 16?
True
Let d be -4*(2 - (-21)/(-6)). Is 5 a factor of 34/d + 4/(-6)?
True
Let m(h) = -h**3 + 8*h**2 - 8*h - 1. Is m(5) a multiple of 4?
False
Suppose 4*j - 20 = 0, -2*w + 4*w + 4*j - 26 = 0. Suppose -4*i = -i - w*h - 99, h - 147 = -5*i. Is 15 a factor of i?
True
Let i = 14 + 31. Suppose -5*a = -2*a - i. Suppose -h = -4*b, -b + a = -h + 2*h. Does 12 divide h?
True
Let h(o) = -o**3 - 9*o**2 - 7*o + 6. Let v be h(-8). Let b be (-1 - v)/(3/(-15)). Does 8 divide (5 - 1)*(-2 - b)?
False
Let f = -4 + 4. Suppose -5*d - 15 = -5*q, f*q - d = -3*q + 3. Suppose q = l - 3*x - 29, -l - 2*x + 7 = -7. Is l a multiple of 16?
False
Let z = 24 - 13. Let t = z + -9. Is 2 a factor of t?
True
Let s(m) = -31*m + 6. Does 26 divide s(-4)?
True
Suppose -1 = -3*l + 14. Suppose 3*i + 2*z = -3*z, -2*i = -l*z - 25. Is 5/(-2)*(-18)/i a multiple of 9?
True
Let a(w) = -w**2 + 3*w + 3. Let x be a(3). Let z be (1 - x)*(4 + 0). Is (6/z)/((-2)/32) a multiple of 12?
True
Is (-2)/(-10) - (-1971)/45 a multiple of 9?
False
Let w = 5 - -1. Does 14 divide (-4)/12 + 218/w?
False
Let m = 0 + -15. Let b be (m + 3)*(-10)/4. Suppose 2*x - b = -5*f, 0 = 2*f - x + 4*x - 1. Is 4 a factor of f?
True
Does 6 divide 2/(6/(-9)*6/(-52))?
False
Let z(o) = -o - 2. Let k be z(-4). Is k/((-1)/(-48)*3) a multiple of 16?
True
Suppose -r + 16 = -4. Suppose -r = -2*k - 2*k. Is 5 a factor of k?
True
Suppose 0 = 4*i - 5*w + 12, 0 = i - 5*i - 4*w + 24. Suppose 80 = -i*h + 6*h. Does 10 divide h?
True
Is 22 a factor of (2/(-4))/(666/(-664) + 1)?
False
Let u(g) = g**3 + 2*g**2 - 4*g - 1. Let w(r) = r**2 + 5*r - 3. Let a be w(-5). Is 2 a factor of u(a)?
True
Suppose 0 = 5*c - 9*c. Suppose -3*h + c*h = -4*s - 128, -h - 4*s + 16 = 0. Does 9 divide h?
True
Let u(q) = -q**3 + 7*q**2 + 2*q - 7. Does 8 divide u(6)?
False
Let f be ((-3)/(-2) - 1)*2. Let j = 4 - f. Suppose -t + 5 = -2*l + j, l + 8 = 4*t. Does 2 divide t?
True
Suppose -111 - 84 = -5*w. Does 4 divide w?
False
Let k(a) = -a + 5. Let h be k(6). Let g = h + 5. Suppose g*m - 2*u - 3*u - 10 = 0, -3*m = -4*u - 7. Is m a multiple of 3?
False
Let t be 3 - 113/(-1) - -1. Let i = t + -59. Is i a multiple of 21?
False
Let j = -8 - -14. Let a(o) = -o**3 + 7*o**2 - 3*o - 1. Does 17 divide a(j)?
True
Let v(t) = -2*t**2 + 10*t + 6. Let b(j) = -3*j**2 + 10*j + 6. Let c(z) = -4*b(z) + 5*v(z). Is c(-8) a multiple of 15?
False
Let l be (-1)/2*(-25 + 3). Suppose y - l = 3. Is 4 a factor of y?
False
Suppose m - 6 - 12 = 0. Let o = -14 + m. Does 2 divide o?
True
Let g = 11 - -302. Let p = g - 208. Is 28 a factor of p?
False
Suppose -4*f - 114 = -4*c + 66, -c = -3*f - 53. Suppose 3*j - c = 2*m + 33, 5*j + m - 145 = 0. Is 7 a factor of j?
True
Suppose 2*f + f = -2*m + 305, 3*m = -f + 104. Let o = -57 + f. Does 12 divide o?
False
Let h(f) = -f**2 + 11*f - 5. Let d be h(6). Suppose 0 = 4*q - p - d, -5*q = -p - 20 - 12. Is 2 a factor of q?
False
Let u(k) = -2*k**2 - k - 3. Let g(i) = -i**3 - 2*i**2 - 2*i - 4. Let w(n) = 3*g(n) - 4*u(n). Let h be w(-3). Suppose h = 4*o + 9. Does 12 divide o?
True
Let h(j) = -15*j - 13. Is 13 a factor of h(-6)?
False
Let p be 276/(-18)*3/2. Let j = 25 - p. Let b = -24 + j. Is 8 a factor of b?
True
Suppose -6*j = -4*j - 288. Suppose a = -a + j. Does 29 divide a?
False
Let b = 58 + -9. Is 12 a factor of b?
False
Suppose 0*t = 4*t - 660. Is 15 a factor of t?
True
Let o = -35 + 29. Is o/(-2) - (-29 - -2) a multiple of 10?
True
Let y(w) = 21*w - 61. Is y(12) a multiple of 30?
False
Let m be 69/21 + (-4)/14. Suppose -4*t + 91 + 54 = m*d, -5*d - 155 = -5*t. Is 17 a factor of t?
True
Let t(x) = 11*x - 2. Let n be t(-2). Let v(k) = -9*k - 8. Let r be v(-8). Let z = n + r. Does 17 divide z?
False
Let i(r) = r + 4. Let o be i(-3). Let y be -1*8 + -3 + o. Let v = 17 + y. Is 3 a factor of v?
False
Let b(a) = -92*a - 24. Is 18 a factor of b(-3)?
True
Let n(k) = k**2 - k - 1. Let r(g) = g**3 + 15*g**2 - 7*g - 17. Let y(p) = -5*n(p) + r(p). Is 5 a factor of y(-10)?
False
Let v(k) = 13*k**2 + 2*k + 1. Let c = 0 + -1. Let z be v(c). Let s = z + 2. Does 7 divide s?
True
Let k = 0 + 10. Let f be 4/(-10) + 164/k. Suppose -2*w + w + f = 0. Is 6 a factor of w?
False
Let h be 30*((-32)/(-10) - 2). Let l = 60 - h. Is 12 a factor of l?
True
Suppose 0 = -3*a - 2*a - 105. Let l be (-26)/4 - 1/2. Let x = l - a. Does 7 divide x?
True
Let q(p) = -p - 4*p - 4 + 0*p. Let h be (5 + 1)*(0 + -1). Is 13 a factor of q(h)?
True
Let n be (24/(-18))/(4/(-6)). Suppose -c + 14 = -3*b, -2*c + 4*b = 3*c - 26. Suppose 3*p = -c*y + 51, -3*y + 97 - 1 = -n*p. Is 15 a factor of y?
True
Let r(n) = n - 5. Let z be r(7). Suppose 36 = z*d + 2*j, 4*d + 5*j = 1 + 74. Is 15 a factor of d?
True
Let k = 9 + -9. Suppose -16 = -4*p, 4 = -a + 2*p - k. Is 2 a factor of a?
True
Suppose j = 3*j + 28. Is 12/28 + (-218)/j a multiple of 4?
True
Let o(n) = -n**2 - n + 2. Let m be o(0). Suppose -m*w - 28 = -4*w. Is w a multiple of 7?
True
Suppose 0 = 2*f - 35 - 5. Is 4 a factor of f?
True
Let h(q) = -q**3 + 3*q**2 + 3*q + 4. Let b be h(4). Suppose b*y - y = 4*l - 26, 0 = 2*y + 3*l - 37. Does 14 divide y?
True
Suppose -y + 2 + 4 = 0. Suppose y*q = 2*q + 28. Is q a multiple of 7?
True
Let t(o) be the second derivative of 5*o**3/6 - 2*o**2 + o. Let x = -4 + 7. Is t(x) a multiple of 11?
True
Let t = 12 + -17. Let k(f) = -f + 7*f**2 + 4 + f**3 - f**2 + 2. Is 18 a factor of k(t)?
True
Let m(y) = -y**2 - 8*y + 13. Let c be m(-9). Suppose -q + 20 = q - 3*d, 5*q + c*d = 50. Is 5 a factor of q?
True
Let x(o) = -3*o**2 + 7*o**2 - 2*o - 4 - 5*o**2 - 8*o. Does 10 divide x(-6)?
True
Let j = 0 - 0. Suppose j*m - m = -11. Let p = m - 5. Is p a multiple of 6?
True
Let p(d) = -d**2 - 10*d - 6. Let t = 11 - -33. Suppose 3*r - 17 = -t. Is p(r) a multiple of 2?
False
Let m = -166 + 478. Is 13 a factor of m?
True
Suppose -3*t + 7*t = 4. Does 6 divide 3*(0 - -3)/t?
False
Suppose 222 = 2*q + q + 2*w, 0 = -2*w. Let y = 157 + -47. Let f = y - q. Does 12 divide f?
True
Suppose -83 - 112 = -3*m. Does 11 divide m?
False
Suppose -7*a = -12*a. Suppose a = 2*p - 4*j - 50, -3*p + 8*p + 5*j - 95 = 0. Is 21 a factor of p?
True
Suppose -4*t = -79 - 37. Suppose 3*b - t = 10. Does 11 divide b?
False
Suppose 5*s + 1 = 26. Let v(q) = q**2 + 7. Is v(s) a multiple of 19?
False
Let u(g) = 10*g + 21. Let d(f) = 3*f + 7. Let z(b) = -11*d(b) + 4*u(b). Let x be z(5). Let p = -16 + x. Is p a multiple of 9?
False
Is 4 a factor of (-390)/(-24) + 1/(-4)?
True
Suppose 3*