 of 3?
False
Let m be 6 - 0 - (0 - -1). Suppose -f = 3*f + 16, m*o - 18 = 2*f. Suppose 3*i - 3*c = 87, 4*i - 112 = -o*c + 10. Does 15 divide i?
True
Suppose 84 = -3*c - 3*n, n + 3*n - 77 = 3*c. Let g = c - -51. Is g a multiple of 6?
True
Let o = -15 + 70. Let d be (9/3 - o)/(-2). Let c = 46 - d. Does 10 divide c?
True
Let f(t) = t**3 - 14*t**2 - 5. Let s be f(14). Let q(r) = r**2 + 4*r - 2. Let n be q(s). Suppose 56 = -n*h + 5*h. Does 21 divide h?
False
Let t(i) = 22*i**2 + 14*i + 22. Does 61 divide t(-6)?
False
Suppose -5*y = 4*z - 18, -4*y - z + 4*z + 2 = 0. Suppose 0 = -y*u + 6 + 4. Suppose -91 = -u*i + 269. Is i a multiple of 24?
True
Suppose 3*f - 2*y + 22 = 0, -f + 2*f + 13 = -5*y. Let z be ((-12)/f)/((-1)/8). Is 35*-6*4/z a multiple of 15?
False
Let i be ((-3)/6 - 0)*-22. Suppose -4*p + i = -9. Suppose -p*r = 4*l - 200, -4*r + 19 = -2*l - 141. Is r a multiple of 18?
False
Let a(l) be the first derivative of -1/3*l**3 + 5*l**2 - 5*l + 2. Does 8 divide a(7)?
True
Suppose 9*w = q + 13*w - 76, 356 = 4*q + 3*w. Is 9 a factor of q?
False
Let g = 33 - 30. Suppose 0*d + g = 2*n + 5*d, 11 = 2*n - 3*d. Is n even?
True
Is (10/(-6))/(20/(-312)) a multiple of 22?
False
Let u be (-2 - -7)*(-96)/(-15). Suppose 0 = 5*q + 4*f - u, 0*f = 4*q + 2*f - 22. Suppose -q*b = -4, 0*r + 147 = 3*r - 3*b. Is 25 a factor of r?
True
Suppose b - y = 295, 1171 = 4*b - 0*y - y. Suppose b = 7*v - 2. Does 3 divide v?
True
Let v(d) = -779*d - 225. Is v(-3) a multiple of 44?
True
Let z be 4/(-6) - ((-3208)/6 + 3). Suppose z = -m + 10*m. Is 16 a factor of m?
False
Let t(q) be the first derivative of q**4/4 - 3*q**3 + 6*q**2 - 12*q + 6. Let j be t(8). Suppose -5*k + 3*x = x - j, 5*k - 3*x - 25 = 0. Is k a multiple of 2?
True
Suppose 0 = -3*a + 5*k + 67, 2*k + 23 = 2*a + 3*k. Let z = 28 - a. Is z a multiple of 3?
False
Suppose -4*x = 2*s - 12, -2*s = -3*x - 3*s + 7. Let y be x*-1*(1 + -26). Suppose y*n - 225 = 20*n. Is 15 a factor of n?
True
Let w = -257 - -437. Let a = 259 - w. Suppose 186 = 5*j - a. Is j a multiple of 24?
False
Suppose -2*m - 90 = 14. Let c = -38 - m. Is 4 a factor of c?
False
Let i(v) = 15*v**2 + 24*v + 1. Is i(3) a multiple of 52?
True
Is 55 a factor of (-6078)/(-15) - (-3)/(-15)?
False
Let j be ((-6)/4)/1*100/30. Let g(l) = -7*l + 1. Is g(j) a multiple of 9?
True
Suppose 0 = 4*p - 171 - 129. Suppose 4*i - p = 137. Suppose -20 = 4*q, 2*u + 0*u - i = 5*q. Is 7 a factor of u?
True
Let f = -6 - -18. Suppose 505 + f = 11*b. Does 14 divide b?
False
Let c(j) = -5*j + 2. Let l be c(4). Is 13 a factor of 4/l - 1903/(-99)?
False
Let h(l) = 556*l. Let u be h(-1). Does 13 divide -3*(u/12 + 3)?
True
Let x(u) = 3*u. Let m be x(5). Suppose 0 = -2*i + m + 11. Does 4 divide i?
False
Suppose -6*v + 3*v = -1794. Suppose 67 = 5*p - v. Does 19 divide p?
True
Suppose -55 = 12*y - 2107. Is y a multiple of 10?
False
Is 22 a factor of 7905/30 + (-3)/6?
False
Let w be (42/(-5))/(30/(-500)). Suppose -5*l + 3*l = -w. Is 16 a factor of l?
False
Suppose 3*g = 4*j + 21, -2*j = 5*g - 3*g. Let b = 1703 - 1698. Suppose -2*x - b*r + 60 = g*x, 0 = 4*x + 5*r - 48. Is x a multiple of 6?
True
Let u be -2 + 4 - (1 - 1). Suppose 3*f + y = -u*y - 12, 0 = 4*f + 5*y + 20. Is 4 a factor of (f - 3) + (-7)/(-1)?
True
Suppose 0 = 2*x - 3*x - 33. Let l = 5 - x. Suppose 3*z - 5*t = l, -z = t - 3 - 15. Is 8 a factor of z?
True
Let z be 1*(2 + -3 - (1 + -2)). Does 22 divide (-600)/(-6)*(6/15 + z)?
False
Suppose -10*f + 9*f = 4. Let c = f - -37. Suppose 2*o - 66 = n, -o - 3*n + c = n. Is 10 a factor of o?
False
Suppose 2*u = -4*k - 0*k + 50, 35 = 3*k + u. Suppose 13*x - k*x = 162. Is 10 a factor of x?
False
Suppose 76*o - o - 81600 = 0. Is o a multiple of 34?
True
Suppose 3*x - 793 = 2*f, -95*f + 96*f + 1310 = 5*x. Is 2 a factor of x?
False
Is 94 - (8/14)/((-7)/(-49)) a multiple of 30?
True
Let k = -51 - -204. Does 3 divide k?
True
Suppose 64 = 6*v + 2*v. Is (-2)/v - (-385)/20 a multiple of 19?
True
Suppose -5 = i - 14. Let n be (i/27)/(3/36). Suppose -4 = n*d - 156. Does 10 divide d?
False
Let n(s) = 869*s - 114. Is 82 a factor of n(4)?
True
Let s be ((-3)/(-2))/((-9)/24). Let r = 84 + -68. Let i = r + s. Is i a multiple of 4?
True
Suppose 3857 = 29*k - 26*k - b, -3*k - b + 3865 = 0. Does 11 divide k?
True
Let f(r) = -7*r**2 - 2*r + 1. Let w be f(-2). Let g = w - -42. Is 2 a factor of g?
False
Let d = -68 + 140. Is 24 a factor of d?
True
Let h(w) be the first derivative of -21*w**2/2 - 1. Let p(g) = g**3 - 4*g**2 - 10*g + 39. Let u be p(4). Does 21 divide h(u)?
True
Suppose 0 = 508*t - 498*t - 30800. Does 10 divide t?
True
Let t = -8 + 11. Suppose -t*p + 97 = -8. Let m = 49 - p. Does 7 divide m?
True
Let x = 66 + 229. Is x a multiple of 59?
True
Let g = -221 - -243. Does 11 divide g?
True
Let x be (1 + -4*23)*(0 - 3). Suppose 2*t - 37 = x. Is t a multiple of 31?
True
Let t be -1 - 3 - (-8 + 0). Suppose 5*x - 4*x - 4*z - 80 = 0, -12 = -t*z. Is x a multiple of 16?
False
Let w(b) = -4*b**2 + 74*b - 24. Let d be w(17). Let o = d - -62. Is o a multiple of 15?
False
Suppose 0 = 5*g - 17 - 3. Let m(v) = -6*v + 5. Let z(w) = -12*w + 11. Let x(p) = -5*m(p) + 2*z(p). Is 7 a factor of x(g)?
True
Suppose -3356 = -9*z + 1369. Does 15 divide z?
True
Let w(a) = 3*a**3 - 26*a**2 + 4*a - 11. Let k be w(9). Let b = 118 - k. Does 6 divide b?
True
Let a = 577 + -368. Is a a multiple of 19?
True
Let t(f) = -4*f + 26. Let x be t(8). Does 24 divide 143/6 - (5/x)/5?
True
Let f be -4538 - 6/4*(-4)/(-3). Does 10 divide f/(-42) + (-22)/231?
False
Is 17 a factor of (49/(-98))/(-1 + 406/408)?
True
Let x(r) = -r**3 - 3*r**2 - 5*r + 4. Let y(s) be the second derivative of s**5/20 - 3*s**4/4 - 11*s**3/6 + 3*s**2 - s. Let b be y(10). Is x(b) a multiple of 23?
False
Let f(z) = 8*z**3 - 6*z**3 + 5*z + 6 - 4*z**2 + 10*z**2. Let h be f(-6). Does 16 divide (2/3)/((-5)/h)?
True
Let x = -25 + 18. Let s = 9 - x. Is s a multiple of 9?
False
Let r = 58 - 112. Let w = -10 - r. Does 12 divide w?
False
Suppose 19 = 3*b + 2*u, 5*b + 5 = -0*b + 4*u. Suppose h + 120 = 3*q, -92 - 28 = -b*q - 3*h. Does 20 divide q?
True
Does 19 divide (418/(-77))/((-3)/21)?
True
Does 19 divide -1*((-6)/(-27) - (-668096)/(-198))?
False
Let d be (-1)/3 + 2/6. Suppose d = -4*k + 2*m + 230, 4*k - 2*m = -m + 235. Is 12 a factor of k?
True
Suppose -11*i = -14*i + 12. Does 7 divide (2 + i)/(15/70)?
True
Let p be 1/(9/30)*3. Let w(q) = 11*q**2 - 3*q. Let v be w(2). Let k = v + p. Does 10 divide k?
False
Suppose 3523 = 13*u - 0*u. Does 7 divide u?
False
Suppose 73 - 83 = 5*z. Is (-9)/(-12)*(z + 90) a multiple of 15?
False
Is 30/2*11993/335 a multiple of 11?
False
Is 3 + 7480/(8 - -2) a multiple of 4?
False
Let x(r) = r**2 - 11*r + 334. Is x(39) a multiple of 46?
True
Let w(g) = -g**3 + 8*g**2 - 10*g - 12. Let v be w(6). Suppose -2*d + 220 = -v*d. Is d a multiple of 14?
False
Let m(f) = 23*f - 12. Let u be m(-6). Let s = u + 106. Let b = s + 98. Is 27 a factor of b?
True
Let k be (-5)/10*(-8)/1. Suppose 3*o = 4*a - 0*o - 1191, -4*a + 1196 = -k*o. Does 14 divide a?
True
Let k(t) = -18*t - 290. Does 5 divide k(-50)?
True
Suppose 0 = v - 5*g - 128, 14*v + 3*g - 474 = 11*v. Is v a multiple of 26?
False
Let y be (46/(-69))/(1/(-54)). Is 12/(-4) + -4 + y a multiple of 11?
False
Let i be ((0/3)/(-1))/(-1). Suppose 0*j - 5*j + 25 = i, -2*o + 10 = -4*j. Is 7 a factor of o?
False
Suppose 3*f - 12*b = -9*b + 105, -3*f + 129 = 3*b. Is 2 a factor of f?
False
Let q(h) be the second derivative of 1/3*h**3 + 3/4*h**4 - 1/20*h**5 + 5*h**2 - 3*h + 0. Is q(9) a multiple of 14?
True
Suppose 5 = 4*l - 3*l. Suppose 0 = 4*t - l*c - 33, 37 = 5*t + 3*c - 32. Does 3 divide t?
True
Let b(x) = -x**3 - 21*x**2 + 40*x + 48. Is 10 a factor of b(-23)?
False
Let c(n) = -n**3 - 8*n**2 + 6*n + 12. Let x be c(-8). Let s(p) = -p**2 + p + 60. Let k be s(0). Let j = k + x. Does 8 divide j?
True
Let s = 576 - 212. Is 13 a factor of s?
True
Suppose 0*n + 3*n - 285 = 5*g, n = g + 93. Suppose o - 2*o - 5*p + n = 0, 5*o = 5*p + 360. Is 15 a factor of o?
True
Let t(p) = -4*p**2 + 95*p - 8. Is t(7) a multiple of 20?
False
Let f = 126 - 114. Is 6 a factor of f?
True
Let i be 36/48 - 410/(-8). Suppose 2*v - 52 - i = 0. Is v a multiple of 13?
True
Let q be (-8)/8 - (-1 - -294). Let y = q + 426. Does 33 divide y?
True
Is 12 a 