f 82?
True
Let d be -1 + -2 + 215/43. Suppose -4*r + 346 = d*a, -a = -3*r - 2*a + 258. Does 79 divide r?
False
Suppose 0 = -235*p + 143354 + 262791 + 65265. Is p a multiple of 34?
True
Suppose -4 = -0*o - o. Let d be (-5)/2*(-31 - -29). Suppose -g = -d*b + 66, -o*b - 5*g - 14 + 90 = 0. Is b a multiple of 7?
True
Suppose -c - 2*c = 3*n + 459, -5*n + 20 = 0. Let m = 638 + c. Does 8 divide m?
False
Let z(i) = -i**2 + 27 + 2*i + i - i - 13*i. Is z(-10) a multiple of 3?
False
Suppose 6*n - n = 0. Suppose 2*t - 38 - 176 = n. Is 27 a factor of (13 + -14)*(-1 - t)?
True
Let d(x) = x**3 + 6*x**2 + 7. Let t be d(-7). Let n = 44 + t. Does 5 divide n/(-7) + 1391/91?
True
Is 17 a factor of -3 + (-6)/4*(0 + -4082)?
True
Suppose 14*m + 70 = 7*m. Let l(v) = -17*v + 2. Let h be l(m). Suppose -2*x - u + h = -5*u, 2*u = 5*x - 398. Is x a multiple of 26?
True
Suppose n + v - 25220 = 0, -2*n + 4*v = 18590 - 69030. Is n a multiple of 13?
True
Suppose 5*u - 61 = -2*r, 4*r - 4 = -4*u + 52. Let p(d) be the second derivative of d**5/20 - 3*d**4/4 - 3*d**3/2 - 13*d**2/2 + 4*d. Does 7 divide p(u)?
False
Let w(h) = -19*h + 6. Let y be w(-1). Let u = y - -15. Does 10 divide u?
True
Let z be (6 + -3)*27*(2 + -1). Is 47646/z - 0 - (-4)/(-18) a multiple of 49?
True
Suppose 2*o - 13*o + 66 = 0. Is 35 a factor of 4 - (o - (0 + 4) - 312)?
False
Suppose -4*u = 2*t - 4802, 885*u = 883*u - 4. Is t a multiple of 37?
True
Suppose -4*h + 1739 + 741 = 0. Suppose 5*x - h = 2130. Suppose 8*o = -2*o + x. Is 11 a factor of o?
True
Suppose 157*k - 838335 = -96667. Does 4 divide k?
True
Suppose t = -k + 32, -4*t + 3*t = 2*k - 32. Let y = t - 2. Does 40 divide (y - -2)*(-1 - -4 - 1)?
False
Is 50 a factor of 148/(-481) + (-59804)/(-13)?
True
Let f(u) = 86*u**2 + 102*u - 37. Is f(-6) a multiple of 91?
False
Suppose -10*b + 295 + 95 = 0. Does 20 divide b?
False
Let p(o) = -o**3 + 6*o**2 + 16*o + 4. Let b be (-3)/2*(-32)/6. Let n be p(b). Suppose -5*k + 17 = -n*f, 5*f + 15 = 6*k - k. Does 5 divide k?
True
Let z(b) = b**3 - 12*b**2 - 2*b - 23. Let i(m) = -6*m - 5. Let t be i(-3). Let v be z(t). Let r = v + -72. Is 10 a factor of r?
False
Let h be 3/(-21) + 1 + 18930/14. Suppose 4*q + 3*w = -h, 3*q + 5*w - w = -1020. Let p = -239 - q. Is 16 a factor of p?
False
Let k(d) = -185*d - 9 + 177*d - 4 - 9*d**2 - d**3. Let v be k(-9). Suppose -37 - v = -3*i. Does 23 divide i?
False
Suppose 4*z + 0 = 12, -5*z + 15 = -3*w. Suppose 2*p - 152 - 592 = w. Suppose -5*r + 3*m = -p, 0*m - 3*m + 378 = 5*r. Is r a multiple of 5?
True
Suppose -3*v - 6148 = -7*v - 5*s, -3*v = 2*s - 4618. Suppose -25*y + v = -6608. Is 7 a factor of y?
False
Let t = 3549 - -5005. Is 14 a factor of t?
True
Suppose -3*h = -x - 9, -2*h - h = 3*x + 3. Let g(b) = 3*b + 12. Let f be g(x). Suppose -f*t - 46 = -2*c, 5*t - 24 = -3*c + 26. Is c a multiple of 4?
True
Let f be 1276/9 - 2/(-9). Let i(x) = 5*x**3 - 90*x**2 + 3*x - 40. Let s be i(18). Suppose 5*m = c - 106 + s, 5*m = -c + f. Is c a multiple of 13?
True
Does 18 divide 1/14 + ((-22865620)/(-280) - -3)?
True
Let d = -108 + 100. Does 18 divide 2/((18/(-516))/(6/d))?
False
Suppose -88*j + 545958 = 38*j. Does 13 divide j?
False
Is (-8 + (-30)/21)/((-12)/4284) a multiple of 17?
True
Let f = -120 + 86. Let h = f - -50. Is 4 a factor of h?
True
Is (1*-2 + 3)/(28/(525164 + 4)) a multiple of 36?
True
Let g be (-72)/(-972) - (-237)/81. Let c = -42 - -219. Does 18 divide -2 - ((-1)/g - c/9)?
True
Let v be (2 + 4 + -7)*-11. Suppose 0 = -38*s + v*s + 11232. Does 52 divide s?
True
Let m = 2359 + 238. Suppose -3*w + m = 4*d, -594 = -w + d + 281. Is w a multiple of 21?
False
Suppose 3*j - 12 = -j. Suppose -72 = -j*l + 6*l. Let q = -7 - l. Does 11 divide q?
False
Let i(w) = -3*w**2 - 12*w - 9. Let n(k) = -5*k + 50. Let a be n(11). Let x be i(a). Is 7 a factor of (20 + x)/((-4)/46)?
False
Let a = 22957 + -13662. Is a a multiple of 13?
True
Let f(i) be the second derivative of -i**5/20 - 3*i**4/2 - 23*i**3/6 - 15*i**2/2 + 2*i - 186. Let a = -40 - -23. Is f(a) a multiple of 11?
False
Let r = -52 - -62. Let u be (0 + -2)/(r/85). Let l = -6 - u. Does 2 divide l?
False
Suppose 3*w + 2*w - 3*o = 28, 6 = 2*w + 4*o. Suppose w*q - 2220 = 4*u, -3*q + 1131 = 5*u - 164. Is 40 a factor of q?
True
Let s(v) = -v**2 + 3*v + 12. Let w be s(5). Let g be w/(-7) - 74/(-14). Is (4 - g)/((-2)/46*1) a multiple of 4?
False
Let f = -1254 + 1350. Does 4 divide f?
True
Let p(d) = -4*d - 1. Let s be p(3). Let w(j) = 218 - j**2 + 169 - 17*j - 374. Does 10 divide w(s)?
False
Let w(c) = -89*c - 9. Let g be w(-5). Does 54 divide g - (7 + 3 + -6)?
True
Suppose c + 5 = g, -2*g = g + c - 31. Let b = -5 + -1. Does 9 divide 111/9 - b/g?
False
Let n = 9 - 7. Let f be 3 + (-2 - (-2 + -2 + 5)). Suppose -x = n*k - f*k - 86, -4*k - 4*x + 164 = 0. Is 9 a factor of k?
True
Let u(r) = -r**3 - 19*r**2 - 50*r - 36. Let t be u(-16). Let o(i) = -5 + 3 + 3*i - 3 + 8*i**2 - 5. Does 19 divide o(t)?
False
Suppose -5*z - 185 - 333 = -2*t, 3*t + 3*z = 819. Suppose 855 = -264*x + t*x. Is 9 a factor of x?
True
Let d be ((-9)/6)/((-6)/4) + 2. Let a(t) = 14*t - 2*t**3 - 4*t**3 - 17*t - d*t**2. Does 7 divide a(-2)?
True
Suppose -3*c - 67 + 1243 = 0. Suppose 0 = -4*s - 3*p - p + c, 2*s - p = 181. Let f = 1 + s. Does 34 divide f?
False
Let h be (2/((-18)/(-693)))/1. Suppose 33280 = -25*q + h*q. Does 64 divide q?
True
Let l(n) = -n. Let z be l(-4). Suppose 2*q = -q + 141. Suppose 0 = z*f - 25 - q. Is f a multiple of 18?
True
Suppose 0 = 4*c + 2*k - 28562, c - 5834 - 1284 = 4*k. Is 83 a factor of c?
True
Suppose 117*h - 122*h = 274*h - 1630476. Is h a multiple of 6?
True
Suppose 15*i - 48 = 3*i. Suppose x - 5*x + 1998 = -n, i*x = 4*n + 1992. Is 25 a factor of x?
True
Let d(a) = a**3 - 7*a**2 - 20*a + 18. Let j be d(9). Suppose -24*k + 30*k - 3840 = j. Is k a multiple of 20?
True
Suppose l = -3*m - 403, 2*l = m - 3*l + 161. Let z be m/(-2) + 0/11. Suppose 15*c = 19*c - z. Is 17 a factor of c?
True
Let y = -141 - -105. Let b be 6*(-4)/y*3. Suppose 0*c - 2*q - 178 = -2*c, 2*q = -b. Is c a multiple of 6?
False
Does 113 divide ((-1450092)/25)/(-4) - 66/(-825)?
False
Suppose 338040 = 2*y + 3*y + 35*y. Does 8 divide y?
False
Suppose 25*o - 2469558 + 23011758 = 494*o. Is 73 a factor of o?
True
Let r(h) = 2*h - 37. Let y be r(15). Let o(j) = j**3 + 6*j**2 - 15*j + 5. Does 12 divide o(y)?
False
Let b(n) = n**3 - 88*n**2 - 176*n + 1432. Does 55 divide b(93)?
False
Suppose -25 = 3*p - 61. Let b be ((-1)/(-3))/(-2*(-2)/p). Is 13 a factor of 69 + (-1 - 4) + b?
True
Let s(n) = -n**2 + n + 16. Let l be s(4). Let c be 0/(-1*(l - 3)) - 100. Let h = c - -200. Is h a multiple of 18?
False
Does 16 divide (-37190)/(-36) - 310/5580?
False
Let v be (-110)/(-9) + ((-8)/9)/4. Suppose -v = -6*z - 0. Suppose -3*f + 6 = -z*f. Does 3 divide f?
True
Suppose 4*d + 4*q - 22460 = 0, 27*d + q = 29*d - 11230. Is 12 a factor of d?
False
Let l(z) = -199*z + 1242. Is l(5) a multiple of 13?
True
Suppose 4*i + 35*i - 133980 = -21*i. Is 11 a factor of i?
True
Let t = 5673 + -3576. Does 5 divide t?
False
Let c(i) = i**3 - 13*i**2 - 93*i - 7. Does 53 divide c(24)?
False
Suppose 11*q - 3*q = 6*q. Suppose -4*v - 2*j + 20 = q, -3*v = -5*j - 5 + 3. Suppose v*a - 40 = -a. Is 4 a factor of a?
True
Suppose -2*b - 311 = n, -b = -3*n + 110 - 1008. Let x = -51 - n. Is x a multiple of 10?
True
Let s(u) = -5*u - 1. Let q be s(-1). Suppose -8*b + 848 = -q*b. Let v = -131 + b. Does 12 divide v?
False
Let x(w) = -w**2 + 3*w - 66. Let j be x(13). Is 107 a factor of 5 + 1 + (168/14 - j)?
True
Let i(m) = -m**3 + 25*m**2 + 101*m + 7. Let l be i(29). Let n = l + 1973. Is 20 a factor of n?
False
Let s(y) = -21*y**3 - 14*y**2 + y - 24. Is s(-6) a multiple of 19?
False
Let r(j) = -12*j - 51. Let z be r(-5). Suppose 0 = -z*o + 15 + 12. Is 19 a factor of 16 + (o - (1 - (-1)/(-1)))?
True
Let r = 2856 - -2749. Is r a multiple of 19?
True
Let c(m) = -m**3 + 13*m**2 - 23*m - 34. Let s be c(10). Let i(r) = -20*r - 2. Let t be i(-4). Let k = t - s. Is k a multiple of 21?
True
Let g(o) be the first derivative of -o**4/2 + o**3/3 + o**2 + o - 31. Let b be g(-1). Suppose 3*w = 3*z + 501, -b*w - 2*z = -z - 349. Is w a multiple of 43?
True
Suppose -656*b + 651*b = -9578 - 1212. Does 4 divide b?
False
Suppose 16*r = 2*i - 50, i - r + 31 - 98 