se
Let b = 95 - 139. Let c = b + 211. Is 43 a factor of c?
False
Suppose -90 = s + 2*s. Let v be (-282)/s + (-4)/10. Is 6 a factor of 8/(-4) + 1 + v?
False
Let f be 2/8 - (-39)/52. Let t be (0 - -3)*f - 643. Is (-2)/13 + t/(-104) even?
True
Let f(x) = -x**2 + 15*x + 14. Is f(14) a multiple of 5?
False
Let o(c) = -9*c**2 - 3*c - 7. Let b be o(-3). Is 18 a factor of -4 + 3*b/(-3)?
False
Suppose 5*h - 659 = b, 3*h + 3*b - 208 - 191 = 0. Suppose -4*z - 3*l = -44 - 160, 3*z - 3*l = h. Does 8 divide z?
True
Let z(y) = 11*y - 7. Let r be z(1). Suppose r*c = 4*v + 924, -2*c = 3*c + 3*v - 1179. Is c a multiple of 18?
True
Let u = 61 - -49. Is u a multiple of 7?
False
Let d be (-2)/10 + (-6360)/(-50). Suppose 233 = 4*j - d. Is j a multiple of 30?
True
Let x = 19 + -23. Is 12 a factor of x + (-9)/(27/(-84))?
True
Let t = -28 - -41. Let p = t - -11. Does 12 divide p?
True
Let f(d) = d + 2. Let c be f(3). Suppose -5*l = -4*t - 634, -l + 5*t = c - 136. Does 18 divide l?
True
Suppose 0 = -a + 5*i + 854, 30*a + 4324 = 35*a + 2*i. Is 32 a factor of a?
True
Suppose 4*p = 479 - 39. Is p a multiple of 5?
True
Is 11 a factor of (4 - -1647) + 5 + -6?
True
Let y(p) = p**3 - 3*p**2 + 5*p - 3. Let w = 29 - 25. Does 11 divide y(w)?
True
Suppose -5*a = -0*n + 2*n - 5545, 3*n + 2*a = 8290. Does 16 divide n?
False
Let f(o) = o**2 + 11*o + 15. Let v be f(-10). Does 6 divide v*(3 + -3 + 3)?
False
Let v = 3338 + 36. Is v a multiple of 106?
False
Let l(u) = -u**3 - 17*u**2 - 23*u - 57. Let h be l(-16). Suppose 2*i - 26 = 8. Suppose -4*n = -h - i. Is 18 a factor of n?
True
Let d be ((-3)/4)/((-2)/(-8)) - 0. Is (d + (3 - 1))*-205 a multiple of 20?
False
Let u = 331 - -174. Is u a multiple of 19?
False
Suppose -569 = -11*h - 371. Let s be 4 + 1 + 2 + -3. Suppose -s*b + h + 126 = 0. Does 12 divide b?
True
Let x(o) = 2*o**3 + 9*o**2 + 14*o + 67. Is 5 a factor of x(9)?
True
Is (-14)/(-6) - 1 - (-94369)/69 a multiple of 37?
True
Suppose -3*t + 2*b = 5 + 17, -t + b = 9. Is 10 a factor of (t/6 + 2)/((-8)/(-180))?
True
Let m = -14 + 4. Let a = 16 + m. Does 22 divide 129/a - 2/(-4)?
True
Let k be (8 - 16)*1/2. Is 13 a factor of (-5 - k)/(2/(-52))?
True
Suppose 123 = -63*m + 64*m. Does 19 divide m?
False
Suppose 0 = -n - 4 + 7. Suppose 9*h = n*h + 480. Is 16 a factor of h?
True
Let j(l) be the first derivative of 1/2*l**2 + 8*l + 4 + 1/3*l**3. Is 8 a factor of j(0)?
True
Suppose 0 - 4 = -b. Suppose b*c - 23 = -2*s + 25, -2*c + 126 = 4*s. Suppose 0 = -5*u + 46 + s. Is 8 a factor of u?
True
Let y(f) = 23*f - 1. Let p = 8 - 6. Is y(p) a multiple of 9?
True
Let x be -1*(-4 - (-6 + 2)). Suppose -6*g + 8*g - 344 = x. Does 11 divide g?
False
Let w(v) = v - 2. Suppose -3*y - 3*s + 11 + 13 = 0, 3*s = 12. Let f be (y/(-10))/(6/(-120)). Does 6 divide w(f)?
True
Suppose -5*d - 106 - 129 = 0. Let k = d - -11. Does 7 divide (11/(-4))/(9/k)?
False
Let i(m) = -3*m**2 + 5*m**2 + 5*m - 3 + 5*m**2 - 8*m**2. Let c be i(5). Is c - -3 - 16/(-1) a multiple of 4?
True
Let n(q) = -222*q + 90. Is 3 a factor of n(-2)?
True
Let r = 671 + -263. Does 24 divide r?
True
Let o be 2/(-2) + 6*-7*1. Let m = 22 - o. Does 8 divide m?
False
Let i be 57/6 - (-2)/(-4). Suppose 2*s = 27 + i. Is s a multiple of 13?
False
Let m = -622 + 879. Is 20 a factor of m?
False
Is 46 a factor of (-102)/85*(-4340)/8?
False
Let o be 92 + (1 + -4 - -7). Let p = o - 55. Is 24 a factor of p?
False
Let n(c) = -c**3 + 49*c**2 + 26*c - 18. Does 114 divide n(48)?
True
Let g(m) = m**2 - 2*m - 2. Let c be g(5). Suppose j - 70 = c. Is 34 a factor of j?
False
Suppose 21 = -4*t + 189. Is 21 a factor of (9/(-2))/(t/(-392))?
True
Let y = 26 + -17. Let f be 2 - (3 + y/(-3)). Let q = f + 16. Is q a multiple of 6?
True
Suppose 0*v + 5*p - 127 = -4*v, -4*p = -12. Suppose -5*o = -4*j - v, -5*j = -2*j + 6. Let n(u) = 6*u - 4. Does 18 divide n(o)?
False
Let k(m) = 5*m - 5. Let w be k(2). Is 10 a factor of -4 - 0 - w/(25/(-320))?
True
Let w(c) = -c**3 + 4*c**2 + c. Let x be w(4). Suppose 106 = l + 4*b, -4*b + 363 = x*l - 121. Is 42 a factor of l?
True
Suppose -2385 = -15*s + 3525. Does 27 divide s?
False
Suppose 0 = -5*t + 3*t + 10. Let u(j) = j**3 - 4*j**2 - 6*j + 7. Let l be u(t). Suppose 0 = -s + 3*y - l, -5*s + 5*y + 2 = -18. Is 2 a factor of s?
False
Let r(w) = 91*w - 220. Is 37 a factor of r(26)?
True
Let a = 21 + -31. Let k(n) = n + 20. Is k(a) a multiple of 5?
True
Let u(c) = -3*c - 11. Let y be u(-5). Suppose 4*z = -4*w + 20, -2*z + 3*w + 2*w = y. Suppose 2*h - q - 84 = -0*q, 0 = -z*h - 4*q + 137. Is 11 a factor of h?
False
Let i(r) be the second derivative of 5*r**3/6 + 5*r**2/2 - 16*r. Is 4 a factor of i(3)?
True
Let d(o) = -2*o**3 + 18*o**2 + o - 43. Does 16 divide d(7)?
True
Let y(p) = -p**2 - 5*p - 5. Suppose 0*f + 4*f + 32 = -4*s, -s - 2*f - 13 = 0. Let x be y(s). Is 7 a factor of (-1)/((x/(-1))/27)?
False
Let l be 2508/28 - (-9)/21. Is 5380/l + -1 + (-33)/(-27) a multiple of 4?
True
Suppose -605 + 185 = 4*o. Let h be (o/(-20))/(6/32). Let q = h + -15. Does 13 divide q?
True
Suppose -4*r + 887 = -849. Suppose -71 = 5*l + r. Is 24/(-16) + l/(-2) a multiple of 11?
False
Let q = -33 + 33. Suppose 5*l + 0*l - 15 = q, 3*l = 2*p - 153. Is p a multiple of 20?
False
Suppose 0 = -2*p + 5*n + 19, n = -2*p + 2*n + 7. Suppose 2*q = -p*j - 2, 0*j + 3*j - 3*q = 27. Suppose -j*x + 12 = -2*x. Is x a multiple of 3?
True
Let u = 3 + -3. Suppose 5*l - 3*m - 288 = -2*m, u = 3*l - 4*m - 183. Suppose 3*c - 36 = l. Does 21 divide c?
False
Let b = -114 + 200. Is 17 a factor of b?
False
Let m(b) = 3*b**2 - 9*b + 33. Does 18 divide m(5)?
False
Suppose -5*t + 3335 = -22*s + 27*s, 2656 = 4*s - 2*t. Is s a multiple of 95?
True
Suppose 0*r - 3*c = -6*r + 27867, 5*c - 18543 = -4*r. Does 92 divide r?
False
Suppose 0 = 5*p - 2835 - 185. Is 54 a factor of p?
False
Let k be (-105)/(-9)*(-6)/(-1). Let w = k + -2. Is 18 a factor of w?
False
Suppose 40 = -7*b + 2*b. Is ((-420)/b)/7*(1 + 3) a multiple of 5?
True
Suppose z - 5*z = -24. Is 3 a factor of z?
True
Let z(r) = -5*r**3 - 10*r**2 + 3*r + 55. Is z(-7) a multiple of 76?
False
Suppose -278*t = -268*t - 40. Suppose 3*k = -12 - 0. Is 34 - k/(4/t) a multiple of 20?
False
Let b(j) = -49*j - 133. Is b(-49) a multiple of 18?
True
Suppose -8 = -2*n, -15 = -2*f + 3*n + 17. Does 11 divide f?
True
Suppose -7*o + 1392 = 237. Does 3 divide o?
True
Let a be (4/16)/((-4)/(-16)). Suppose -4*p + 21 = a. Is 8 a factor of (-1)/(-5) + 74/p?
False
Let h be 0 + 4/((-16)/(-12)). Suppose -5*y = -h*y - 150. Suppose 2*i - 115 = -3*q, -3*i + y = -0*q + 2*q. Is q a multiple of 13?
True
Let n = 66 - -86. Is n a multiple of 4?
True
Suppose 0 = -3*j - 10 - 8. Let g(y) = 16*y - 1. Let m(h) = 32*h - 2. Let r(p) = 11*g(p) - 6*m(p). Is 16 a factor of r(j)?
False
Let s(d) = -d**2 - 10*d - 4. Let z be s(-11). Is (-6)/(-6) - (0 + (z - -1)) a multiple of 11?
False
Let n(k) = 5*k - 3*k - 3 + 0*k. Let o(u) = -1. Let m(y) = -n(y) + 2*o(y). Is 12 a factor of m(-6)?
False
Suppose 4*g - 18 = 2*g. Let y = -9 + g. Suppose y*q + 2*q = 86. Does 19 divide q?
False
Suppose 0 = -5*f + 2*d + 1876, 7 = -2*d + 1. Is 34 a factor of f?
True
Is (1 - 6)*7464/(-20) a multiple of 144?
False
Let p be (-3 + -1 + 2 - -1)*-11. Does 17 divide (-2)/p - (-5670)/330?
True
Let d be -163*((-7)/(-2) + -3)*-2. Let h = d - 80. Does 5 divide h?
False
Let d(u) be the first derivative of -u - 2 + 1/4*u**4 + 0*u**2 + 8/3*u**3. Is 20 a factor of d(-6)?
False
Let p(u) = -25*u + 404. Is p(0) a multiple of 25?
False
Let s = -2747 + 3495. Is 68 a factor of s?
True
Suppose 723 = 5*v - 2*j, 0*j = 3*v - 3*j - 441. Suppose -v = -2*d + 5*q, 311 = d + 4*d + 3*q. Suppose -y + d = 3*i - 2*y, 48 = 3*i + 3*y. Does 20 divide i?
True
Suppose 24 = 4*q + 4, -2*q = 3*t - 226. Suppose -16 = -3*h + h. Is 567/t + 1/h a multiple of 4?
True
Suppose 4*m - 6 = 2. Suppose -w - w + 48 = m*k, -2*k - 4*w + 58 = 0. Is k a multiple of 4?
False
Let x = 78 + -76. Suppose -114 = 2*a - 6*a - v, -x*v - 24 = -a. Is 14 a factor of a?
True
Suppose 277 + 959 = 12*v. Suppose 12*m - 149 - v = 0. Does 3 divide m?
True
Let s = 236 + 27. Suppose 5*g + 818 = s. Let b = -59 - g. Is b a multiple of 13?
True
Suppose -4*r + 2*h + 782 = 52, -9 = -3*h. Is 6 a factor of r?
False
Let u = 1488 + -528. Does 12 divide u?
True
Let z(l) = -l**3 + l**2 - 5*l - 3. 