be (1*(-14)/u + 1)*-6. Which is smaller: w or -17?
-17
Let a be 4/(-108)*-6 - 1. Suppose -80 = -5*n + 50. Let l = -27 + n. Is a bigger than l?
True
Suppose 0 = 4*c + 3*r + 210, -148*c + 151*c - 2*r = -166. Do c and -120 have the same value?
False
Let q(d) = -14*d - 28. Let a be q(-7). Suppose 3*x - a = -2*k, k + 0*x - 24 = 4*x. Is k bigger than 95/3?
True
Suppose 5*h - 85 - 30 = 0. Let r be 89*(7 + -11)/(-4). Suppose -2*n - 3*y = 2*n - r, 0 = -2*n + 4*y + 50. Are h and n equal?
True
Suppose 0*w = 6*w - 30. Suppose 250 = 3*c - w*j, -2*c - 3*j = j - 130. Let v = c + -71. Which is bigger: v or 0.1?
v
Let s(m) = -6*m - 1. Let i be s(-2). Suppose i*x - 14*x = -5*w + 148, 44 = 2*w - 5*x. Which is smaller: w or 33?
w
Let v = -22.949 + 22.939. Is v at least as big as 332?
False
Let h(m) = m**2 - 37*m - 255. Let w be h(43). Is w at least as big as 1/92?
True
Let a = -11.21 - -0.21. Let l = 12.58 + -25.58. Let o = l - a. Which is bigger: 0.02 or o?
0.02
Let u be (-4 - -8) + 3 + (-6300)/732. Which is greater: -1 or u?
-1
Suppose 0 = -215*z + 77*z - 608028. Is z not equal to -4406?
False
Let b be ((-177)/(-9))/((-2)/(-6)*-1). Let n = 1 - b. Suppose 0*u - 3*u = n. Which is bigger: -21 or u?
u
Let i = 188 + -284. Let l = -94 - i. Let t be ((-6)/(-8))/(l/160). Is 61 at most t?
False
Let y = 3260 + -2808. Which is smaller: 449 or y?
449
Let k(b) = b**2 + 5*b - 2347. Let a be k(-51). Which is bigger: 5/3791 or a?
5/3791
Let o = -45 - -80. Suppose -9 = 2*q - o. Suppose 2*u = 4*h + 336, 2*h - q + 191 = -4*u. Is h at most -85?
True
Let a(n) = -16*n - 48. Let b be a(-20). Let m = 2452/9 - b. Which is smaller: m or 2/63?
2/63
Let c = -0.94 - 0.06. Let q = -301.1098 - 0.0902. Let x = q + 296. Are x and c nonequal?
True
Let a = 19 + -21. Let x = 48 + -71. Let l(u) = u**3 + 23*u**2 - 2*u - 44. Let w be l(x). Which is bigger: a or w?
w
Suppose 37 = 30*t - 83. Let m be ((-42)/t + 4)*8/4. Is -11 at most as big as m?
False
Let q be ((-560)/(-24))/(-10)*(-9)/(-33). Is 0 greater than or equal to q?
True
Let m = 8 + -2. Let s be (-2)/m - (-30)/9. Suppose 2*o = 0, -593*p - o - o = -589*p - 24. Does p = s?
False
Suppose i - 2*j = 11, -3*i = 4*j + 11 - 4. Suppose 4*h - 3*g = -85, -4*g + 4 = -i*h - 58. Let y be (-18)/h + 2/11. Which is bigger: y or 16/15?
16/15
Let h = -123/34 - -771/340. Let u = h + 3/4. Let p = 3 - 3. Is u equal to p?
False
Let t = 271.4 - 251. Let j = 20.5 - t. Is 50 at least as big as j?
True
Suppose 4*p - 11 = -7, -181 = 3*j + 5*p. Suppose -4*a + 24 = -3*t + 5*t, -5*t - 12 = -2*a. Suppose -258 = a*r + 114. Is j >= r?
True
Let r be (1/(-3))/(1/(-12)) + 6. Let k be (-139)/10 + 2 + (-16)/r. Is k < 2?
True
Let v be (0 + 4)/(16/(-176)*-11). Which is greater: v or -71/2?
v
Let o(z) = 3*z**2 + 17*z - 46. Suppose 11 - 101 = 5*f. Let n be o(f). Which is bigger: n or 619?
n
Let x(z) = -z + 25. Let w be x(15). Let v be (-1 - 5) + (16 - w) + 52. Is v smaller than 53?
True
Suppose -52*u - 281*u + 6*u = -9483. Is -0.011 > u?
False
Let j = 652.1201 - 0.1201. Let k = -666 + j. Is -0.2 <= k?
False
Let w(q) = -183*q + 120. Let j be w(1). Which is greater: j or -4?
-4
Let n be (-272)/(-340) + (-1052)/(-485) + 0. Is -0.2 < n?
True
Let r = 526761 + -2623772/5. Which is smaller: 2007 or r?
r
Let b be ((-193952977372)/(-1995))/7 - 2/(-5). Let p = -13888477 + b. Let x = -9/95 + p. Which is bigger: 30 or x?
30
Let j(z) = z**2 + 49*z - 333. Let s be j(6). Let i(v) = 2*v - 6. Let w be i(4). Suppose -2*d - 6 = w. Is d > s?
False
Let d = 310 - -554. Let t = d + -69986/81. Is 1 less than or equal to t?
False
Let m = -3 + 60. Let t = 8 + m. Let l = t - 19. Which is bigger: l or -1?
l
Let z = 32.23441 - -0.06559. Is z > -0.1?
True
Suppose 7*q - 4*q - 1 = w, q + 9 = -2*w. Let n be ((-5)/(-220))/(2/(-21646)). Let v = 246 + n. Are q and v non-equal?
True
Suppose -8*v + 880 = -968. Suppose -2*s + 79 = v. Which is bigger: -75 or s?
-75
Let t(g) = -102*g - 3876. Let y be t(-38). Is 15935 less than y?
False
Let o = 11.745 - -2794.255. Is o equal to 0?
False
Let h(q) = 492*q**3 - 4*q**2 - 22*q + 5. Let x be h(2). Which is greater: x or 3883?
3883
Suppose 0 = -2*j, -3*y + 5*j + 43 = -14. Suppose 5*k = l + 24, l + y = 6*k - 2*k. Let g = -6521/13 + 502. Which is bigger: g or l?
l
Let q = 9 + -5. Let d be (0/1)/(q/2). Let l = 818 - 7354/9. Is l not equal to d?
True
Let p be -44 + 250925/6175 - (-3 - 0). Do -1 and p have the same value?
False
Let r(d) be the first derivative of d**4/4 + 4*d**3/3 + 5*d**2 + 22*d + 646. Let a be r(-4). Let p = -22 + 2. Which is smaller: a or p?
p
Let n(g) = 13*g**2 - 18*g**2 + 4*g**2 + 0*g - 11*g - 18. Let w be n(-9). Is w >= 2/33?
False
Let k = -195/133 + 28/19. Which is greater: -0.1 or k?
k
Let l = 1.5 + 7.5. Let q = l - 9.06. Let x be (-24)/(-80) - (-4)/(-5). Is x < q?
True
Let i be ((-1)/27)/(30/(-90))*-12*-72. Which is greater: 42 or i?
i
Let h = -7133 + 21398/3. Is h at most as big as 4279?
True
Let h = -533033470821/20171 - -607519252/23. Let b = 11853 + h. Which is greater: 0 or b?
b
Let m be (-8)/(-3)*17/((-1938)/(-36)). Let r = m - 1. Are r and 1 unequal?
True
Let z be ((-42)/7 - -8)/(2/49). Let p = z - 27. Suppose 0 = 4*i - 4*l + 2*l + p, 4*i = l - 21. Is i not equal to -9/2?
True
Let z(m) = -5*m + 17. Let g be z(4). Let u be (-2)/(-33)*g*(-195)/26. Which is bigger: u or 2?
2
Suppose 2*m + 5*x - 350 = 0, 6*x - 5*x - 8 = 0. Which is greater: 97 or m?
m
Let n be (3/6)/((165/(-1232))/(-15)). Which is bigger: n or 1392/25?
n
Let o(i) = -8*i + 7. Let b = -50 + 51. Let q be o(b). Is -2/131 > q?
True
Suppose -87 + 150 = 15*a - 78*a. Is 1/35495 >= a?
True
Let h = 5.052 - 1.052. Are 67 and h equal?
False
Let k = 2509 + -2505. Is 98/33 not equal to k?
True
Let u = 3955 + -3954.8. Which is greater: u or -0.317?
u
Let y be 25 + (-14695)/730 + 14/(-4). Do 2 and y have the same value?
False
Suppose 16*f - 21*f + 60 = 0. Suppose -14 = -h + 2*t, -h + 3*t = -f + 2. Are 25 and h non-equal?
True
Let v = -233.2 - -232.7. Is v <= -2849?
False
Let q(a) = 8*a**3 - a**2 + 4*a - 3. Let b(n) = -3*n**3 - n + 1. Let o(c) = -11*b(c) - 4*q(c). Let s be o(-5). Suppose -s = d - 2. Is d < 3?
True
Let u(k) = 50*k**2 - 72*k + 285. Let w be u(4). Are 797 and w non-equal?
False
Let i = 13346 + -13561. Is i at most as big as -213?
True
Suppose 12*x - 16 = 32. Let f be x/(-5)*13/(-546). Does 1 = f?
False
Suppose c = 4*a - 17, 2 + 5 = c + 2*a. Let k(o) = 10 - 9*o - 10*o + 21*o. Let f be k(-6). Which is smaller: f or c?
f
Let c = -19856 + 18582. Which is greater: c or -1276?
c
Let k = 194 - 300. Let h = -45 - 62. Which is bigger: h or k?
k
Suppose 5*u = c + 328, c - 13*u = -9*u - 325. Let x be (-157)/(2*1/4)*1. Which is greater: x or c?
c
Let x = -2/2749 - 1795079/24741. Let b = x + 2438/63. Which is greater: -33 or b?
-33
Let t = 35159 + -35149.2. Which is bigger: 11.4 or t?
11.4
Let j = -241.6 - -200.56. Let k = j + 0.04. Let y = -40 - k. Is y > -2?
True
Let a = -152 - 294. Let d = 437 + a. Which is smaller: d or -1/15?
d
Let f = -121 + 192. Let r = -52.5 - 18.5. Let k = f + r. Which is smaller: k or -0.19?
-0.19
Let m = -1411 + 1277. Which is greater: m or -133?
-133
Let t be 46/126 + 399/(-2793). Let u = -2 - -1.928. Which is greater: t or u?
t
Let g(r) = -2*r**2 - 14*r - 11. Let u be g(-6). Let q be u/54*(-5 + 7). Which is bigger: 1 or q?
1
Let i(z) = z**3 - 11*z**2 - 12*z + 5. Let n be i(12). Let w(q) = -q**3 + 21*q**2 + 445*q + 22. Let r be w(-13). Which is smaller: n or r?
r
Suppose j + 6 = 2*j + 3*w, -3*j + 39 = 2*w. Let r = -115045 + 115051. Which is greater: j or r?
j
Let h be (((-18196)/(-20320))/1)/((-18)/344). Let b = 3/1270 + h. Which is smaller: -18 or b?
-18
Let v = 12667.999 - 12695. Let n = v - -0.001. Let z = n - -27. Which is greater: -17 or z?
z
Let q(f) = -f**3 - 4*f**2 + 3*f + 12. Let d be q(-4). Let x = 10 - -2. Suppose -5*b = -o - 18, 2*b - x = o - d*b. Which is smaller: o or 0?
o
Let v = -297 + 297. Suppose 5 = -3*f - 4. Let r be (4/f)/(-26*4/8). Is r at least v?
True
Let a be 8/((-2720)/(-50))*-1. Suppose -k = k + 8, -3*k - 10 = -2*i. Are a and i unequal?
True
Let w = -2.3 + 2.294. Let b = -0.9137 + -0.0863. Is w greater than or equal to b?
True
Let n be (-177)/1593 - (-1 + 88946/9). Let m be ((-81)/n)/(2/(-4)). Does 1/3 = m?
False
Suppose 11*z - 3939 = 5224. Suppos