79. Is c a multiple of 49?
False
Suppose g - 5 + 1 = 0. Let k be -2*(-10)/6*(-15)/(-10). Suppose -g*v + 35 = -k. Is v a multiple of 6?
False
Suppose r + 19 = 2*r + 4*b, 20 = 5*b. Suppose 3*y + v = 2*v - 133, r*y + 117 = -3*v. Is -1 - (-4)/2 - y a multiple of 9?
False
Is 7796501/470 - 6/20 a multiple of 29?
True
Let m = 79 + -56. Is 30 a factor of (m - 22) + 23*9?
False
Does 10 divide (1 + 1)/(206/40479)?
False
Suppose -3*r = 8*r - 19239. Let n = r - 987. Suppose 0*q - n = -6*q. Is q a multiple of 10?
False
Let j be (0 + -1)/(2/8). Let c(g) = 11*g**3 + 72*g**2 + 2*g - 20. Let m(i) = 4*i**3 + 26*i**2 + i - 7. Let o(n) = 3*c(n) - 8*m(n). Does 17 divide o(j)?
True
Suppose -44*f = 6*f - 268800. Does 56 divide f?
True
Suppose 4*u + 21*u + 686196 = 39*u. Is u a multiple of 18?
True
Let g = 36 - 72. Is 9 a factor of (-93)/(-2)*(-48)/g?
False
Suppose -51*x - 6*x = 228. Is 19 a factor of (0 + 6/x)/(294/(-3724))?
True
Suppose 3237 - 87 = 6*v. Let i = -279 + v. Is i a multiple of 22?
False
Suppose -159*h + 661760 = 29*h. Does 4 divide h?
True
Let w = 123 - 114. Suppose -3*z + 4029 = t, -9 = w*t - 6*t. Suppose 0*c = -8*c + z. Is c a multiple of 14?
True
Let b(p) = 105*p + 16. Let o be b(-4). Let y = o - -668. Suppose 21*u - 15*u = y. Is 44 a factor of u?
True
Suppose -5*u + 683 = 8. Let y = 170 - u. Does 3 divide y?
False
Suppose 110*x + 13066 = 2*d + 114*x, -3*x + 13072 = 2*d. Is 58 a factor of d?
False
Let m(n) = 3*n**2 + 6*n - n + 6*n + 5 - 3*n. Is 3 a factor of m(-6)?
False
Suppose 27238 + 94154 = 48*v. Is v a multiple of 281?
True
Let v(u) be the second derivative of 5*u**3/6 + 15*u**2/2 - 22*u. Is v(12) a multiple of 15?
True
Let u(m) = -2*m**3 - 45*m**2 - 95*m - 63. Does 63 divide u(-27)?
False
Is (90/(-21) - (4 - 10))*15407 a multiple of 38?
False
Let m(q) = -1732*q + 596. Is m(-2) a multiple of 29?
True
Suppose -3*p + 1417 = 5*c, -2*c - 1 = -c. Suppose -72 = 6*j - p. Suppose 0 = 2*g - j - 77. Is 24 a factor of g?
True
Suppose 4 = z - 4. Let u = -3 + z. Suppose 105 = -4*h + u*h. Is 15 a factor of h?
True
Let z = -2180 - -5991. Is 34 a factor of z?
False
Suppose -k = -2*a - 414, 0 = 5*k - 9*k + a + 1677. Suppose 2*l - 294 = 3*y, -998 + k = -4*l + y. Does 24 divide l?
True
Suppose -1339*b + 1322*b + 388960 = 0. Does 20 divide b?
True
Suppose -5*q = -2*k - 3*k - 2510, 0 = 4*q + 5*k - 1981. Suppose -64 = 5*i - q. Does 6 divide i?
False
Is 510/(-8)*((-35)/(-5) + -11) a multiple of 15?
True
Suppose -2*d + 1639 = -5*a + 6995, -d - 3213 = -3*a. Suppose -a = -7*p + 2661. Is 41 a factor of p?
True
Let h(q) = -6*q + 257. Let l be h(-27). Let p = 437 + l. Does 65 divide p?
False
Let n be (3/(-3))/(2/(-4)). Let h be (-2 - -1)*(-3 - n). Suppose -h*q + 2*q = 4*x - 178, -4*q = 2*x - 234. Does 10 divide q?
False
Let l(q) = -q**2 - 3*q + 43. Let b be l(-8). Suppose -485 = -4*h - b*k + 1318, -k + 1 = 0. Does 41 divide h?
False
Suppose 5*i + 19 = -16. Let c = 71 - 76. Does 4 divide (-4 - i)/(-3) - c?
True
Let c be 9 + (-19 - 5)/8. Does 48 divide (2*c/(-36))/(1/(-3303))?
False
Let j = 11 - -38. Does 29 divide j - 6*(-35)/(-30)?
False
Let y = -11100 - -18485. Is y a multiple of 35?
True
Let q(o) = o**2 + 95*o + 94. Is q(39) a multiple of 20?
True
Let i(j) = 22*j**2 + 26*j - 14 + 15*j**2 - 52*j**2 + 12*j**2. Let s be i(8). Suppose 0 = -s*z + 39 + 143. Does 13 divide z?
True
Let r be (11 - -1)*(-3 + (-20)/(-6)). Suppose -3*j + 88 = s, -5*j - 234 + 614 = r*s. Is s a multiple of 25?
True
Let r = 295 + -435. Let d = r - -325. Is 11 a factor of d?
False
Let k(f) = f**3 + 27*f**2 - 57*f - 122. Does 71 divide k(-25)?
False
Suppose 1089 + 411 = 6*i. Let y = 463 - i. Is y a multiple of 27?
False
Let m = 13419 - -5433. Is 12 a factor of m?
True
Let h(p) be the first derivative of p**4/4 + 17*p**3/3 - 19*p**2/2 - 23*p + 3. Let w be h(-18). Is -139*(15/w - -2) a multiple of 30?
False
Let a be 10 + -8 + 81 - (-3 - -4). Let i(h) = -23*h**2 - 2*h + 1. Let o be i(1). Does 8 divide (a/3)/((-16)/o)?
False
Does 10 divide (-609)/49 + 12 + (-111180)/(-14)?
False
Let c(n) = 67*n - 185. Let l be c(8). Suppose -9*r + 108 = -l. Is r a multiple of 3?
True
Let y be 3/(-1)*15/((-270)/24). Is 18 a factor of (-3634)/(-69) + y/3?
True
Let p(i) = -12*i + 2644. Is p(27) a multiple of 136?
False
Let j = 23425 - 22651. Does 2 divide j?
True
Let r = 4 - -40. Suppose 5*z + 46 = 741. Let v = z - r. Is 14 a factor of v?
False
Let l be (16 - 3)*(-4)/(-4). Suppose -18*x + l*x + 45 = 0. Is (252/6)/(x/24) a multiple of 29?
False
Is 32 a factor of (-3)/12 + (-144305)/(-196)?
True
Let w be (-8)/(-18)*3*15. Let p be (18/(-6))/(6/w). Let v = 24 + p. Does 10 divide v?
False
Let n = -23 + 39. Let l(f) = -3*f**3 + 14*f**2 - 13*f + 26. Let k(z) = 7*z**3 - 27*z**2 + 26*z - 51. Let w(c) = -2*k(c) - 5*l(c). Does 30 divide w(n)?
True
Suppose -3*b + n - 5 = 0, -2*b + n = -1 + 5. Let y be -165 + (-3 + 3 - b). Does 7 divide (-2 + 1)/(y/(-56) - 3)?
True
Let w(a) = a**3 + 4*a**2 - 11*a + 14. Let z be w(-6). Let l(v) = 20*v - 20. Does 6 divide l(z)?
False
Let v(r) = r**3 + 6*r**2 + 7*r + 10. Let d be v(-5). Let y(h) = -h**2 + 6*h + 100. Is 20 a factor of y(d)?
True
Let n = -96 - -94. Let z(s) = 220*s**2 - 9*s - 10. Is z(n) a multiple of 7?
False
Suppose -117*n + 116*n - 4*p = -5970, -5958 = -n - 2*p. Is 2 a factor of n?
True
Is 525/(-100)*1240/(-6) a multiple of 31?
True
Let w = -337 - -2584. Suppose 5*l = 5, 2*j - 3*l = 6*j - w. Suppose 3*k + 57 = j. Is 21 a factor of k?
True
Suppose 55863 = 3*h + 3*b, 13*b = -4*h + 23*b + 74526. Is 97 a factor of h?
True
Suppose -21298 = -3*o + 5*b, 34*b - 12 = 31*b. Is o a multiple of 19?
True
Let f be 7/2 + (-21)/14. Let w(u) = 13 + u**f - 6*u - 6*u - 1. Is w(13) a multiple of 3?
False
Suppose 0 = 5*w - 3*c - 257043, -5*c - 13665 = 3*w - 167884. Is w a multiple of 272?
True
Let q(n) be the second derivative of -n**4/12 + 4*n**3/3 - 2*n**2 + 8*n. Let m be q(7). Suppose 4*b - 203 = m*g, 4*b = -b + 5*g + 260. Is b a multiple of 19?
False
Suppose 0 = -7*m + 815 - 129. Suppose -m = -o + 126. Does 14 divide o?
True
Let g = -214 + 153. Let v = g - -71. Is (12/v)/(-4*(-3)/840) a multiple of 12?
True
Suppose -5*f = d - 1 - 70, 0 = -3*d + 4*f + 137. Is 4 a factor of (63 - d)/(2/22)?
True
Is (3*6/(-63) - 323595/(-119)) + 4 a multiple of 128?
False
Let j = -28 + 25. Let f be 2*j/(-30) - (-2072)/(-10). Is (f/15)/3*-5 a multiple of 23?
True
Let m(u) = 2*u**3 - 129*u**2 - 15*u + 150. Does 40 divide m(65)?
True
Let t = 112 - 107. Let d(y) = y + 45. Let x be d(t). Let m = 12 + x. Does 16 divide m?
False
Suppose -19*l = 4*l - 69. Suppose 10 = -0*t + t + z, -4*t - l*z + 43 = 0. Is 8 a factor of t?
False
Suppose -5*c - 2*g = -0*c - 946, 5*c - 931 = 3*g. Suppose 2*r + u - 390 = 0, 2*r = r - 4*u + c. Is r a multiple of 16?
False
Let j = 49990 - 39696. Is j a multiple of 61?
False
Let z = -1753 - -1735. Let u(f) = 34*f - 1. Let n be u(2). Let y = z + n. Is y a multiple of 14?
False
Let o be 2/(-6) + 356/(-12). Let v = 2933 + -2947. Let a = v - o. Is a a multiple of 8?
True
Let p = 811 + 31. Let i = p + -180. Is i a multiple of 35?
False
Suppose 0 = -4*w - 2*r - 2, 2*r - 10 = -w - 12. Suppose w = 23*t - 18*t + 2*o - 5167, -5*t + 5*o = -5195. Is 69 a factor of t?
True
Suppose 2*p - 6*p + 4700 = 0. Let l = p + -304. Does 18 divide l?
False
Let c(f) be the first derivative of 5*f**3/3 + 20*f + 20. Does 15 divide c(4)?
False
Suppose 3*w = -5*x + 1995, 4*w - 1562 - 1098 = x. Suppose 11*j - 10*j - 5*a - 667 = 0, j - 4*a = w. Is 54 a factor of j?
False
Let w(p) = 60*p - 1. Suppose -5*i + 2 + 13 = 0. Let f(a) = -121*a + 1. Let z(r) = i*f(r) + 5*w(r). Is 47 a factor of z(-3)?
False
Let y = -96 + 100. Suppose -4*s = -y*o + 684, 4*o - 681 = -2*s - 3. Is o a multiple of 34?
True
Let i be 7/((-21)/122)*-3. Suppose 3*x = 4*v + 59 + 40, -2*v - i = -4*x. Suppose -y - 2*m + x = -34, -3*y - 4*m = -183. Does 21 divide y?
False
Let c be -6*10 + 48 + -48. Is 6 a factor of (c/14)/(1/(-168))?
True
Suppose 2*z - 3 = w, -9 = -3*z + z - w. Let b be (-7)/z - (16/6 - 2). Is 17 a factor of ((-68)/b)/(((-20)/(-6))/5)?
True
Let s = 43 + -47. Let k(d) = 10*d**2 + 9*d + 6. Let a(g) = -g**2 - g. Let r(u) = 5*a(u) + k(u). Is 10 a factor of r(s)?
True
Suppose -b = -2*t - 782 + 6099, -t + 4*b = -2676. Is t a multiple of 65?
False
Let n(d) = -d**3 -