lse
Suppose -330 = -23*a + a. Does 3 divide a?
True
Suppose 0 = y + 2*z - 3240, y + 72 = 3*z + 3327. Does 33 divide y?
False
Let r = 1200 - 680. Does 13 divide r?
True
Let q(z) = -924*z + 168. Does 28 divide q(-1)?
True
Let y(m) = 4*m**2 + 1 - m**2 + m + m**3 + 2. Let s(j) = j**2 + j - 1. Let f(a) = s(a) - y(a). Is f(-3) even?
False
Suppose 0 = -0*i + 4*i - d - 539, -3 = -3*d. Let t = i - 71. Does 16 divide t?
True
Let g(n) = -4*n**2 - 7*n + 22. Suppose 3*k = k - 6. Let f(s) = s**2 - s - 1. Let r(v) = k*f(v) - g(v). Is r(-13) a multiple of 20?
True
Suppose t - 1436 = 3*u, -464 = -2*u - 3*t - 1414. Let a = -294 - u. Does 46 divide a?
True
Let v be ((-8)/20)/((-2)/(-30)). Let b be 100/(-15) - 4/v. Let n(i) = -i**3 - 6*i**2 - 3*i - 6. Does 12 divide n(b)?
True
Let j be (-258)/(-43)*2/2. Does 21 divide 4/(j/(-699)*-2)?
False
Let t = 31 + 17. Is -25 + 26 - (-1 - t) a multiple of 5?
True
Suppose 0 = -2*l - 5*d + 1816 - 449, 0 = 3*d - 3. Is l a multiple of 33?
False
Suppose -20*o = -4836 - 105484. Is o a multiple of 14?
True
Let u = 15 + -15. Suppose -j - 4*r + 9*r + 45 = u, 4*r = 0. Is j a multiple of 9?
True
Suppose 0*w - 4*w = -72. Let a be (w/7)/(3/21). Suppose -m - 1 = -a. Is 16 a factor of m?
False
Suppose -27 = -4*i - 7. Suppose 2*h - 73 = -i*p, -h + 8 = h. Does 13 divide p?
True
Let f(x) = -9*x**3 + 28*x**2 - 6*x + 68. Let v(j) = -5*j**3 + 14*j**2 - 3*j + 34. Let k(s) = 6*f(s) - 11*v(s). Does 38 divide k(-14)?
True
Suppose 0 = -2*t + 12*t - 50. Is 9 a factor of (t - (-103)/(-3))*(0 + -3)?
False
Let o be 20 + -2 + (-3)/3. Suppose 31 = 5*f - 3*q - 70, f - o = -q. Does 6 divide f?
False
Suppose 0 = 18*y - 627 - 30261. Does 48 divide y?
False
Suppose -2*d + 128 = 4*w, -4*w + 3*d + 62 + 86 = 0. Let l(p) = 2*p**2 + 6*p + 5. Let t be l(-4). Let v = w + t. Is 11 a factor of v?
False
Let b(q) = 13*q**2 - 8*q**2 + 5*q - q - 3 + 35*q**2. Let w be b(2). Let g = w - 105. Is 15 a factor of g?
True
Suppose -21*t = -19*t + 20. Let u = t - -22. Is u a multiple of 2?
True
Let y(x) = -x**2 + 4*x - 17. Let q be y(5). Let t = q + 89. Does 8 divide t?
False
Let y = -48 + 28. Is (-432)/y + (-10)/(-25) a multiple of 22?
True
Let n(a) = a**2 - 11*a + 6. Let y = 59 + -40. Suppose -y = -v - 8. Is 3 a factor of n(v)?
True
Let w be 10/4*(-12)/(-45)*-6. Is 8 a factor of (-768)/36*27/w?
True
Let x = -3784 - -6844. Does 20 divide x?
True
Let s(g) = -1276*g**3 - 2*g**2 - 5*g - 4. Is 82 a factor of s(-1)?
False
Suppose 0 = -36*u + 2*u + 19380. Is 10 a factor of u?
True
Suppose -c + 2279 = z, -5*z + 5105 = 3*c - 6284. Is z a multiple of 21?
False
Let n = 13 + -8. Suppose -5*t = -3*k - 465, 2*t = -3*t - k + 445. Suppose t = n*s - 0*s. Does 18 divide s?
True
Let x(s) = 15*s**2 + 29*s + 9. Is x(-8) a multiple of 11?
True
Let s(i) = -i**3 + 7*i**2 - 7*i + 8. Let q be s(6). Let u(g) = 0 + 5*g**2 + 6*g - q*g - 7 - 4*g**2. Is u(-9) a multiple of 7?
False
Suppose -2*c + 185 = z - c, 5*c - 549 = -3*z. Suppose -z = -8*t + 4*t. Suppose -2*g + 0*y = -5*y - t, -3*g + 87 = -2*y. Is g a multiple of 10?
False
Let w(z) = -z**2 + 33*z - 171. Is 5 a factor of w(17)?
False
Suppose 19*x = -8 + 160. Let p(v) = 5*v**2 - 3*v**2 + 0*v**2 + 1 - 7*v. Is 26 a factor of p(x)?
False
Let l = -10 - -10. Suppose l = 3*j - 4 - 2. Is 14 a factor of 65 - j/(-4)*2?
False
Let n = -2281 - -2284. Does 2 divide n?
False
Let h(x) = -x**3 - x**2 + 4*x - 1. Let p be h(-3). Let b be (3 - 3)/(5/(-15)*3). Suppose b*o = 2*a - p*o - 85, -2*a = 3*o - 93. Does 11 divide a?
False
Is (-3264)/(-85) + (-12)/5 + 2 a multiple of 2?
True
Suppose 9*g - 333 + 117 = 0. Does 4 divide g?
True
Suppose -2810 = -5*v + 2*p, -6*v + 2*v + p + 2248 = 0. Is 11 a factor of v?
False
Let q(w) = 2*w**3 - 6*w**2 - 2*w + 7. Does 24 divide q(7)?
False
Suppose -4*i + 5*u - 1 = 95, -4*i + u - 112 = 0. Let c = i - -46. Is 7 a factor of c?
False
Suppose -4*h + 0*h = -h. Suppose 5*i + 20 = 4*p - 89, -3*p - i + 96 = h. Is 3 a factor of p?
False
Let h(m) = -2 + 5 + 0 - 4*m + m**3. Let q be h(2). Suppose -r = -q*r + 8. Does 4 divide r?
True
Let a = 6 + -11. Is 3 a factor of (76/6)/(((-40)/12)/a)?
False
Let c = 135 - 80. Suppose -32 = -k - 4*o, -3*o = -3*k + c - 4. Does 7 divide 6/(-15) - (-148)/k?
True
Let j = -61 + 65. Is 1/(-5) - -28*j/10 a multiple of 11?
True
Suppose 284*w - 3678 = 281*w - 2*o, 0 = 4*w + 3*o - 4905. Is w a multiple of 21?
False
Suppose 4*x + 5*n = 7543, -4*n + 10267 - 827 = 5*x. Is x a multiple of 11?
True
Let z(i) = -i**3 - 10*i**2 - 2*i + 1. Let y be z(-10). Let t = y + -34. Let h = 33 + t. Does 5 divide h?
True
Suppose -3*v + 24 = -6. Let u(o) = 2*o**2 + v - 9*o**2 + o**2 - o**3 - 3*o - 2. Does 9 divide u(-6)?
False
Suppose 644 = 3*z + 4*j, 2*j + 208 = -4*z + 5*z. Suppose -813 = -5*a + z. Does 26 divide a?
False
Let o be 4 - 54/15 - 23/(-5). Suppose z - 39 = -o*m + 60, z + 1 = 0. Is m a multiple of 4?
True
Let m = -68 + 93. Let d(a) = 5*a + 8. Does 11 divide d(m)?
False
Let m(h) = h**2 - 18*h + 13. Let y be m(19). Does 12 divide (y/2)/4 + 106?
False
Let c be (8/(-4) - 0) + -873. Let d be (6/(-15))/(5/c). Let l = d - 46. Does 5 divide l?
False
Let j(x) = -8*x - 35. Let o be j(15). Let g = 275 + o. Does 8 divide g?
True
Suppose -120 = -2*w + 296. Is 13 a factor of w?
True
Let s be -59 - (-1 + 1/(-1)). Suppose 5*f - 5*p + 148 = -7, p - 133 = 4*f. Let k = f - s. Does 11 divide k?
False
Let d(f) = f**3 + 6*f**2 + 3*f + 42. Does 35 divide d(7)?
True
Suppose 14*g - 4380 = 324. Is g a multiple of 14?
True
Let k(h) = 1 - 4 - 1 - 6 + 21*h. Let m be k(10). Suppose 0 = -8*u + 3*u + m. Does 20 divide u?
True
Suppose h + p = -118 + 605, -484 = -h - 2*p. Is h a multiple of 71?
False
Let u(r) = r - 4 + 7*r + 1. Let v be ((-33)/55)/((-2)/20). Is u(v) a multiple of 18?
False
Let z = -21 + 17. Is 705/(-27)*-3 - z/6 a multiple of 15?
False
Suppose 0 = 3*v + 5*n - 303, 24*v = 20*v + 4*n + 372. Let s(o) = 2*o + 6. Let r be s(-4). Does 9 divide 6*(r + v/9)?
False
Let p(f) be the first derivative of -3*f**3 - 4*f**2 - 4 - 3*f + 1/4*f**4. Does 4 divide p(10)?
False
Suppose -5*b + 152 = -3*i + 7*i, i + 4*b = 49. Let c = 48 - i. Suppose 4*h - 5 - c = 0. Does 2 divide h?
False
Let b be (-13)/((-78)/21) - 3/2. Let d = 38 + -10. Is (-7)/(d/(-80)) + b a multiple of 5?
False
Is 20 a factor of 9*348 + (11/(-11) - -6)?
False
Let x be 4/(-26) - 82/(-26). Let v = -5 - -7. Does 6 divide x*v/2*5?
False
Suppose -22*j = -32*j + 4900. Is j a multiple of 5?
True
Suppose -14940 = -3*n - 6*n. Does 82 divide n?
False
Let u be (-12)/9*(-1 + -332). Is (-39)/(-65) + u/10 a multiple of 9?
True
Let k be (-52)/(-12) - (-2)/(-6). Suppose -k*t = -70 + 2. Suppose m = x - 0*m - t, 0 = 4*x + 3*m - 89. Does 10 divide x?
True
Suppose a = 7 + 43. Suppose -3*i - 5*o = -38, -5*i - o + a = 4*o. Is 12 a factor of i/(3/180*9)?
False
Does 40 divide 4640/(-14)*(-448)/128?
True
Let v(k) = 930*k - 18. Does 12 divide v(1)?
True
Let m be (-5)/((-1 - -3)/2). Let s = m + 16. Suppose 25 = 2*d - s. Is 6 a factor of d?
True
Suppose -330 - 4134 = -31*l. Is l a multiple of 9?
True
Let k(x) = -6*x + 276. Does 24 divide k(-10)?
True
Let d(t) = 2*t**3 - 60*t**2 + 34*t + 5. Is 13 a factor of d(30)?
False
Let t(d) = 8*d**3 + 7*d**2 - 3*d. Let z(j) = -32*j**3 - 29*j**2 + 13*j - 1. Let x(r) = -9*t(r) - 2*z(r). Is x(-2) a multiple of 7?
False
Let u(i) be the first derivative of i**4/4 - i**3 - 2*i**2 - 6*i + 12. Is u(5) a multiple of 3?
True
Suppose -4*h - 49 = -3*b, 4*b - 5*h = -4*h + 74. Let l = 26 - b. Does 7 divide l?
True
Let d be (4/2)/(-2) + 9. Let o be (-4)/(((-2)/182)/(2/7)). Suppose -d*l + 80 = -o. Is l a multiple of 23?
True
Suppose -2*z = -3*s + 36, -5*s + 15 + 20 = 5*z. Suppose 0*t + s = 5*t. Let m(a) = a**2 + a + 2. Does 7 divide m(t)?
False
Let q be 5*(-9)/((-45)/326). Is -5 + 2 - 2*q/(-4) a multiple of 32?
True
Let w = -20 + 956. Is 52 a factor of w?
True
Suppose -2987 - 4629 = -8*x. Does 22 divide x?
False
Let j = 541 + 321. Is 13 a factor of j?
False
Let n be 24/10 - (-8)/(-20). Suppose -4*t - 2*h + 42 = 0, 0*h + 6 = t + n*h. Does 12 divide t?
True
Let x(p) = -719*p + 38. Is 18 a factor of x(-2)?
True
Let p be ((-99)/(-12))/(27/144). Suppose -62 + 234 = 5*t + 2*u, t = 2*u + p. Is (2 + 15/(-9))*t a multiple of 6?
True
Let t(y) = 19*y**3 + 19*y**3 - 37*y**3 - 2*y**2. Let u be t(2). Suppose u*f - 112 