tor of ((-196)/v)/(18/45)?
False
Let o(u) = 16*u - 18. Suppose 8*i - i - 14 = 0. Suppose 0 = -2*v + i*t + 22, 5*v + 3*t = 7*t + 56. Is 14 a factor of o(v)?
False
Let l = 287 + -278. Is l/21 + (-2888)/(-56) a multiple of 52?
True
Suppose 156*a = 148*a. Suppose a = 7*q + 3*q - 6400. Is 8 a factor of q?
True
Suppose 0 = 26*g - 30*g + 8. Is (g/4 + -2)*-44 a multiple of 3?
True
Let r be (-1)/2*0/(1 + 1). Suppose p + 3 - 137 = r. Suppose 66 + p = 5*j. Is 17 a factor of j?
False
Let t = 930 + -928. Let i = -3 + 13. Suppose -i = -t*g - 0*g, 5*g = k + 18. Is k a multiple of 7?
True
Let t = 9298 + -6955. Does 33 divide t?
True
Let a(p) = -p**3 + p**2 + 5*p + 18. Let h be a(-9). Suppose 2*k = -4*w + k + h, 5*w - 3*k - 1000 = 0. Does 10 divide w?
False
Let x(k) = 101*k**2 - 3*k + 2. Let z be (-124)/(-2) - (24/(-6))/(-2). Let u = -59 + z. Does 25 divide x(u)?
True
Suppose -5*l + 187526 + 18464 = f, f + 164783 = 4*l. Does 12 divide l?
False
Suppose -54*q - 17*q + 62000 = -31*q. Does 323 divide q?
False
Let c = -5 - -1. Let r be -3 - (6/8)/(1/c). Let z = r + 36. Is 4 a factor of z?
True
Let w(r) = 5*r - 13. Let i be w(3). Suppose -p + 18 = i*p. Suppose 215 = 11*z - p*z. Does 27 divide z?
False
Let l(y) = -2 + 23 - 10*y + 6. Let s be l(-13). Let d = s - 9. Is 37 a factor of d?
True
Let k(j) = 87*j - 24. Let w(o) = -7*o - 62. Let a be w(-9). Is k(a) a multiple of 6?
False
Suppose 15*m - 24 = 13*m. Does 21 divide (-8)/((-192)/1050)*m?
True
Is (-6246)/(-12) - 1*10/4 a multiple of 5?
False
Is 16/(-20) - 50168/(-10) a multiple of 33?
True
Let l be (-5138)/6 + (4/6)/2. Let y = l - -1225. Does 7 divide y?
False
Let d = -907 - -1612. Suppose 195 = -w - 5*l, 6*l - l + d = -4*w. Is 34 a factor of (-8)/(5/w*4)?
True
Let v(l) = -4*l**2 + 8*l - 9. Let g be v(6). Let w = 382 - 557. Let h = g - w. Is 14 a factor of h?
True
Let l be -23 - (1 - 3 - -1). Let g = 330 - 240. Let a = l + g. Is 4 a factor of a?
True
Let p = -131 - -138. Let s(k) = k**3 - 3*k**2 - 7*k + 43. Is 38 a factor of s(p)?
True
Let j(o) = -20*o - 60. Let b(q) = q + 1. Let a(y) = -12*b(y) - j(y). Let c = -572 - -578. Is a(c) a multiple of 24?
True
Suppose 31*b = 3690 + 34285. Does 35 divide b?
True
Suppose 5*h = -4*j + 271680, 204*h = 198*h + j + 325987. Is h a multiple of 47?
True
Suppose -4*h + 5*h - 4 = 0. Suppose -2*a + 468 = -2*u, -2*a - 2*a - h*u = -912. Suppose a = 12*x - x. Is 2 a factor of x?
False
Let f(r) = 12517*r**2 - 12516*r**2 - 61 - 18*r + 8. Does 27 divide f(27)?
False
Suppose -4*o + 2 = -2*a - 4, -2*o + 18 = 2*a. Suppose -r = -a*m + 546, 3*r = 5*m + 358 - 896. Let q = m - 56. Is q a multiple of 9?
True
Suppose 0 = 9*k - 926 - 532. Suppose 834 = 5*b + 4*d - 0*d, -b + k = 2*d. Is 5 a factor of b?
True
Let l(g) = -3*g**3 - 34*g**2 - 93*g + 202. Does 93 divide l(-26)?
True
Let b(u) = -9*u - 190. Let h be b(-23). Suppose -h = 5*q + 5*p - 937, -2*p - 547 = -3*q. Does 5 divide q?
False
Suppose 36*y - 41*y + 5*g = -1075, -4*y + 842 = -g. Is y a multiple of 11?
True
Let o(j) = 3*j**2 - 71*j + 58. Let u be 34 + 1 - (-3 + 7). Is o(u) a multiple of 10?
True
Suppose 11594 - 4356 = 11*f. Let k = 2040 - f. Is k a multiple of 20?
False
Is 16 a factor of (31 + -10 + -24)/(-2 - 72634/(-36320))?
True
Suppose -2*u = -5*x + 4435, -3*x + 74*u - 76*u = -2661. Is 5 a factor of x?
False
Let s = 461 + 819. Is s a multiple of 128?
True
Is 92 a factor of (-4264 + 34)/((8/12)/(-1))?
False
Suppose 0 = 7*h - 5*h - 32. Suppose -2*q = -2*a + 18, -2*a + 0*q = -3*q - h. Suppose -a*d + 1057 + 351 = 0. Does 16 divide d?
True
Let h be 1 + 0 + -3 - (-100 + 17). Suppose -2*x + 21 = 3*w - h, 0 = -4*x - 4*w + 200. Is 12 a factor of x?
True
Suppose -4*z - 4*s - 278 = -82, 5*z - s = -251. Let w = z + 50. Suppose -3*g = -w*g - 105. Is g a multiple of 7?
True
Let z = -2657 - -4067. Suppose 0 = 6*a - z + 330. Does 20 divide a?
True
Let y be 120/(-24)*1/(-1). Suppose 0 = y*q + 20, 3*x + 2*q - 174 = -q. Does 2 divide x?
True
Let a be 32/(-64) - 195/6. Let s(b) = b**2 + 26*b - 126. Is s(a) a multiple of 26?
False
Suppose -s + 0*c + 7 = -2*c, -1 = c. Suppose -3*y + 140 + 292 = 0. Suppose 291 = s*k - y. Does 24 divide k?
False
Is 10 a factor of 2195 - (1 - 6)/(-17 - -16)?
True
Suppose 361*y - 365*y + 1677 = 5*m, 0 = m + 2*y - 339. Is 2 a factor of m?
False
Let n(b) be the first derivative of -b**3/3 + b**2 + 12*b + 18. Let r be n(4). Is 11 a factor of (-92)/(-3*r/12)?
False
Suppose 19*o + 6384 = 11*o. Let l = -262 - o. Does 64 divide l?
False
Suppose -6*u - 624 = 6*u. Let x = u + 116. Does 16 divide x?
True
Let q = 130 - 126. Suppose -2*r = q*b - 900, -4*r + 8*b = 6*b - 1760. Does 39 divide r?
False
Let y(g) = -2*g**3 - 11*g**2 - 8*g. Let d be y(-6). Let a = 156 - d. Is a a multiple of 12?
True
Is (-920)/(-4*6/168) a multiple of 23?
True
Let d(q) = 14*q**2 + 40*q**3 - 76*q**3 + 37*q**3 + 17*q - 6. Does 8 divide d(-12)?
False
Let j(k) = -k**3 - k + 2. Let h be j(0). Suppose -x - 3*r - 5160 = 0, -3*x + 4*r - 15436 = 2*r. Is 14 a factor of (1/h)/((-11)/x)?
False
Let g = -4074 - -4284. Is g a multiple of 35?
True
Suppose 12*w - 2813 = 31099. Suppose -129*y + w = -123*y. Does 33 divide y?
False
Suppose 5*m = -2*i - 330 + 2026, -5*i = 3*m - 4297. Is 29 a factor of i?
False
Suppose z + 13060 = 5*l, 7*l = 9*l - 5*z - 5247. Does 33 divide l?
False
Let k = -677 + 5025. Does 9 divide k?
False
Let i(k) = -36*k**3 + k. Let o(l) = -l + 12. Let r be o(10). Let w be i(r). Is 15 a factor of 3/(9/w)*(-18)/12?
False
Suppose -63*d + 375020 = -51301. Does 101 divide d?
True
Let d = -208 - -213. Suppose 2*m - 2*p = -d*p + 472, 936 = 4*m + 4*p. Does 10 divide m?
True
Let a(g) = g + 156. Suppose -4*w - 2*q = 20, 2*w + 3*w - 4*q = -51. Let x be (-1 - -1)/(w*(-3)/21). Does 12 divide a(x)?
True
Let k(t) = -t**2 + 31*t + 238. Does 4 divide k(22)?
True
Is 63 a factor of (-15)/(-3) + (3715 - (0 - 4))?
False
Let d be (5 - (-8)/(-2)) + 3. Suppose z + 2*j = 313, -5*j + 1255 = d*z - 0*j. Is z a multiple of 50?
False
Suppose -5*x - k = -5*k - 692, 4*k - 668 = -5*x. Suppose 0 = -10*z + 2*z + x. Let c(g) = g + 14. Does 13 divide c(z)?
False
Let m(p) = p**2 - 3*p - 4. Let v be m(7). Let b(w) = 4*w**2 - 4*w - 2. Let k be b(8). Is (-5)/4 + 1 + k/v a multiple of 9?
True
Suppose -4*v - 114 + 122 = 0. Suppose 0 = v*n + 2*n - 996. Is 47 a factor of n?
False
Suppose 0 = -122*z + 129*z - 7203. Let y = -497 + z. Does 19 divide y?
True
Let j = -76040 - -108135. Is j a multiple of 60?
False
Let d = 45010 - 43125. Is d a multiple of 38?
False
Let c(v) = -3*v - 27. Let s be c(-9). Suppose s = -19*b + 2550 + 3435. Is 21 a factor of b?
True
Let v = 5 + -4. Let a be (-3 + v)*-2 - (-63)/7. Suppose -a*r = -21*r + 1088. Is 23 a factor of r?
False
Let n(b) be the second derivative of -19*b**3/3 + 11*b**2/2 - 41*b. Let r be n(-8). Suppose 0 = 2*u - 157 - r. Is 13 a factor of u?
False
Is (-16346)/(-66)*(-4)/(-4)*3 a multiple of 9?
False
Suppose -3*f - 6316 = -2*l - f, l + f = 3166. Is 82 a factor of l?
False
Suppose -30120 - 79823 = -28*t + 8245. Does 3 divide t?
True
Is 14028/42 - (-5)/1 even?
False
Suppose 2*i + 0 = 10. Suppose -14*u + i*u + 828 = 0. Is u a multiple of 9?
False
Suppose 7*g + 48 - 9288 = 0. Is g a multiple of 11?
True
Let c(v) = v**2 - 4. Let s be c(3). Suppose -58 = -s*g + 3*w, -4*g - 3*w = -g - 30. Let m(h) = -h**2 + 16*h + 15. Is 10 a factor of m(g)?
True
Suppose 6*q + 4 = 40. Suppose 5*n - o = 0, -3*o + q*o = 5*n. Suppose -3*v - l = -66 - 131, n = -4*v - 5*l + 259. Is v a multiple of 9?
False
Let x = 31 + -30. Let d(q) = -q**2 - 4*q + 3. Let h be d(-7). Is 9*(-6)/h + (11 - x) a multiple of 2?
False
Let y = -9772 + 16063. Is 24 a factor of y?
False
Let u = -4634 + 6728. Does 3 divide u?
True
Let q = -42 + 41. Does 51 divide ((-28)/(-28))/(q/(-173))?
False
Let b(y) = -4*y + 31. Let h be b(7). Suppose h*f = 1532 - 491. Suppose 445 = 9*z - f. Does 11 divide z?
True
Let m(f) = -2484*f + 13009. Is m(5) a multiple of 4?
False
Let x(u) = -34*u**2 - 943*u - 31. Is x(-22) a multiple of 225?
False
Let x(w) = -17*w + 7. Let t be x(3). Let y = t - -47. Suppose -y*l + 80 = -l. Is 10 a factor of l?
True
Suppose 16 = -2*x + 22. Let v(t) = -10*t + 0 - x - t - 2*t. Does 10 divide v(-1)?
True
Is 3 a factor of (102/(-85))/(203/205 + -1)?
True
Let u(o) be the first derivative of o**5/40 + o**4/