v + 0 + 2 = 0. Is v < -3?
False
Let l be -4 + -4 - (3 + -78). Is l < 67?
False
Suppose 5*m - 6 + 1 = 5*t, -5*t + 4*m - 3 = 0. Which is smaller: t or -3/136?
-3/136
Let a be 36/(-6) + 4 + -2 + 5. Is a equal to 6/5?
False
Suppose 2*n - 24 = 6*n. Let s be ((-10)/n - 2)*129. Let w = -213/5 - s. Which is smaller: 1 or w?
w
Let u be (-10)/35 + 23/7. Let a be (1 - 1)/(5 - 18/u). Do 1 and a have different values?
True
Let c(f) = -f**3 - 7*f**2 - 6*f + 1. Let t be c(-6). Which is bigger: 55/6 or t?
55/6
Suppose m + 2*m + 6 = 0. Let z be (-61)/2*8/(-3). Let b = z - 82. Is m >= b?
False
Suppose 5*w - 7 = 4*l, 5*w = -3*l - 37 + 23. Is -5/63 at most as big as w?
False
Let n be (-1)/(-12 - (-1991)/165). Which is bigger: n or -96/7?
-96/7
Suppose 153 = w + 4*x, 4*w + 0*x - x - 646 = 0. Let z = w + -1927/12. Let l = -44 - -45. Is z less than l?
True
Let j = -940 + 1014. Is j not equal to -5?
True
Suppose 2*l - 5 = 2*x - 7, 5*x = 3*l + 5. Suppose -d + 0*d = 3*h, -3*h - 12 = -3*d. Suppose l = d*g - 10 - 20. Are 8 and g equal?
False
Let d(s) = -3*s - 16. Let v be d(-7). Suppose -23 - 18 = -v*o - j, 0 = o + 3*j - 11. Let l be ((-6)/o)/((-10)/(-8)). Which is greater: l or -2?
l
Let a be 1/(-4) - ((-71)/(-4) - 4). Which is bigger: a or -90/7?
-90/7
Suppose 0 = -5*k - 0*l - 4*l + 15, 0 = -2*k - 5*l + 23. Is k equal to -133?
False
Let y = -13471 - -13489. Suppose 5*o + 81 = 4*z, -z - z + o + 39 = 0. Is z less than or equal to y?
False
Suppose k + 2 - 3 = 0, -k = -2*o - 1. Let f be 2 - (1 + -95 + 0). Let i be f/(-287) - (-6)/21. Is i smaller than o?
True
Suppose 602*o = 590*o + 12. Which is smaller: o or 43/20?
o
Let a = 0.45 + -3.45. Are a and 6/7 non-equal?
True
Let s = -1/60 - -17/20. Suppose -a + 8 + 1 = 0. Suppose a*p - 11*p + 2 = 0. Is s greater than or equal to p?
False
Let y = -1173/173 + 406727/1557. Let o = 255 - y. Suppose 2*f - 2*p = p + 14, 3*f + 2*p = -5. Are f and o unequal?
True
Suppose 4*a + 2 = 14. Suppose 0 = 5*h + 5*v - 20, -7 = -3*h - a*v + v. Suppose -l + 4*m = -11, 4*l - m + 1 = -0. Are h and l equal?
True
Let o be (-507)/182*7/2. Which is smaller: -11 or o?
-11
Let u be ((-5)/3)/(44/(-24)). Is 1 at most as big as u?
False
Let y = 277 + -1661/6. Let b be (-2)/4*(-6 + 0). Suppose 4*v = -20, 0 = -b*d - 0*d - 2*v - 10. Is y bigger than d?
True
Let k = 1 - -2. Suppose 1 - 4 = k*t. Let p be 0 - 8/12 - t. Which is bigger: p or 0?
p
Suppose 2*x = -2*x + 12. Suppose -x*n = 3*o - 2*n - 18, -2*o - 2*n = -8. Suppose 90 = -o*q + 2*q. Which is bigger: q or -17?
-17
Let h = 23.01042 - -0.00558. Let o = h - 23. Which is smaller: 2 or o?
o
Let l be (-464959)/(-817) - 2/19. Which is smaller: 1137/2 or l?
1137/2
Let z be 0*(6/(-4))/3. Let l = 96 + -668/7. Which is smaller: l or z?
z
Let c(z) = z**2 - 16*z - 7. Let r be c(-7). Suppose 11*q - 88 = r. Is 23 bigger than q?
True
Let a = -378 - -413. Which is smaller: a or -3?
-3
Let x be 2018/11*4/(-3190). Let n = x + 38/121. Let c = 1/145 + n. Which is smaller: c or -1?
-1
Let a = 174 - 177. Let n = -54 - -258/5. Which is greater: n or a?
n
Let k be (-39)/(-105) - 1/(10/4). Suppose 0 = 4*f - 0 + 4. Is f at least k?
False
Suppose 23 = -2*k + 5*a, 0*a - 11 = k - 2*a. Do -59/7 and k have different values?
True
Suppose -5*a = -m + 47, m + 163 = 6*m - a. Let z = -20 - 20. Let o = m + z. Do -2 and o have different values?
True
Let g = -7 - 3. Let a = -209.1 + 199. Let o = a - g. Which is smaller: o or -2/3?
-2/3
Let t = 10 + -12. Let l be (6/t)/1 - -1 - 2. Is l less than or equal to 3/5?
True
Suppose 2*u + 14 = -30. Let c = u - -20. Is c at least -12/5?
True
Let c be (-38)/(-57)*(-2 + -1) + 3. Does -5/122 = c?
False
Let p(d) = -d**2 - d. Let s be p(2). Let x be s/(-4) + (-4)/(-8). Let q = 944 - 6609/7. Are q and x nonequal?
True
Suppose 0 = -0*k + 5*k + 2*f + 27, 0 = -2*k + 2*f - 22. Suppose 16*p = 10*p. Suppose -3*g - 5*x - 26 = -7, g - 2*x + 10 = p. Is g > k?
False
Suppose -108*n + 126*n = -180. Which is bigger: -151/16 or n?
-151/16
Suppose -32*i + 116 = -36*i. Let u = i - -25. Is u bigger than -5?
True
Suppose 12*u - u = -11. Let i be 4/((-12)/27)*27. Let d = -979/4 - i. Which is bigger: d or u?
u
Let o be ((-4)/(-6))/(3/(-9)). Suppose -1 = -m + 5*l - 5, -3*m - 5*l + 28 = 0. Let c be m/(-4)*(-68)/(-51). Is c > o?
False
Let x = 68 - 96. Let w = x - -28. Is -53 greater than or equal to w?
False
Suppose 3*i - 3*y = 48, 0*i + 2*y = 4*i - 60. Is i bigger than -1?
True
Let l(v) = v**2 - 4*v + 4. Let o = 27 - 25. Let j be l(o). Do j and 4/13 have different values?
True
Let k = 41 + -26. Let m be (-3)/2 + k/10. Let j = 4 - m. Which is greater: j or 0?
j
Suppose -6*l + l - 55 = 0. Let i = -73/80 + 21/16. Which is bigger: l or i?
i
Suppose 0 = 5*y + 4*c + 785, 247 = -2*y + 3*c - 67. Which is greater: -1/4 or y?
-1/4
Suppose 1866*i + 695 = 1861*i. Is i less than -138?
True
Let g = 1.72 - 2.12. Does 3/22 = g?
False
Let r = 29 - 18. Let i = r - 12. Let h = 15.3 - 15. Is i >= h?
False
Let o = -477.9 + 478. Let v be (148/16)/((-2)/(-4)). Is o >= v?
False
Let p be (24/(-108))/((-10)/45). Is 34/33 less than p?
False
Suppose 0 = n + 3 + 3. Let i be 629/(-136) - n/(-16). Is i at most as big as -4?
True
Let v = -13 - -19. Let z = -6 + v. Suppose d + 4*d = z. Which is greater: d or -2?
d
Let q be ((-2)/6)/(5*(-10)/300). Suppose -2*o - 3*t + 88 = q*o, 0 = 5*t. Is 20 bigger than o?
False
Suppose -203*g - 549 = -206*g. Is 183 bigger than g?
False
Suppose 102*w = 97*w + 90. Are 26 and w non-equal?
True
Let b be -2 + 6 + (37 - 7). Which is smaller: 35 or b?
b
Let y(r) = -3*r + 50. Let m be y(15). Let t(a) = -a**3 + 5*a**2 - 3. Let v be t(m). Is -16/5 greater than or equal to v?
False
Let q = 6/107 + -232/321. Let f = 9 + -5. Suppose f*n - z = -9, -n - 4*n = -z + 11. Is n less than q?
True
Let r be 5/(35/28) - 65. Are -61 and r equal?
True
Let o = -54 - -62. Suppose -34 = -3*k + 2*g, 5*k - g = 32 + 20. Let c = 18 - k. Is o less than or equal to c?
True
Let a = 26 + -43. Let g = 15.9 + a. Let k = -1 - g. Which is greater: -3/5 or k?
k
Suppose 4*i + 136 = 2*x, 3*i - x = -29 - 71. Is i equal to 3/7?
False
Let f = -0.08 + -0.32. Let j = f - -0.2. Let o = j - 4.8. Are o and 1 unequal?
True
Let q(s) = -2*s - 3. Let g be q(-5). Let l be 3/(6/4*g). Which is smaller: l or 1?
l
Let x = 1153 + -1133. Is x not equal to 19?
True
Suppose 8*u + 36 = -4*x + 11*u, 3*u + 24 = -x. Suppose 4*n + 70 = -n. Which is bigger: x or n?
x
Let a = -5 - 4. Let o(x) = x + 8. Let i be o(a). Which is greater: i or -2/27?
-2/27
Let q = -507 - -353. Which is smaller: -0.1 or q?
q
Let v = 44 + -62. Let y be (v/(-24))/((-6)/(-100)). Which is greater: 12 or y?
y
Let l be 6/(-30) + 6*7870/225. Which is smaller: l or 210?
l
Let q = -1.802 + 1.827. Which is bigger: q or 1/4?
1/4
Let t = 2 - 3. Let k be 4/(-32)*2 + (-788)/(-208). Let v = 723/208 - k. Is v greater than or equal to t?
True
Let l be 1 - (-28)/4214*-149. Which is bigger: l or -1?
l
Let f = -33003/35 + 943. Is 1 < f?
False
Let q = 7792/49 + -159. Let a be ((-1)/1 - 0)/((-48)/(-48)). Does q = a?
False
Let s = -24.39 - -25. Let i = s + -0.31. Which is bigger: -4/3 or i?
i
Suppose 2*l + 3 = -l. Let c be l/(-4) - (-20)/(-16). Do c and -9/4 have different values?
True
Let d be (-21)/(-6) - 3/(-6). Suppose d = -3*i - 2*t, 4*t = 5*i - 2*i - 8. Suppose i*y = y. Which is bigger: -5/13 or y?
y
Let k = 500 - 499.9. Which is smaller: 2.68 or k?
k
Let g(z) = z**3 + 5*z**2 + 2*z + 2. Let n be g(-4). Suppose 0 = 3*w + 4*w - 63. Which is greater: n or w?
n
Let b be (-7 - 764/8)*-2. Is b bigger than 825/4?
False
Let r(h) = -6*h**3 - h**2 - 2*h + 8. Let y(w) = -5*w**3 - w**2 - w + 7. Let u(q) = -4*r(q) + 5*y(q). Let i be u(-3). Let o = 17 - i. Which is smaller: 6 or o?
o
Suppose 0 = 5*a + 20, a + 6 = -h - 0*a. Let f be h*1/4*-2. Let j = 83/370 + -12/37. Which is smaller: f or j?
j
Suppose 7*z - 223 = -755. Let x = z - -149/2. Let f = -1 - -1. Is f equal to x?
False
Suppose 3*q - 8 = 25. Suppose 6 + 6 = -3*v. Let x(b) = 2*b**2 + 7*b + 7. Let i be x(v). Is q < i?
False
Suppose -58 = 1868*i - 1866*i. Which is greater: -13 or i?
-13
Let v = 0.11 + -0.1. Let u = 113 + -112.29. Let q = v - u. Is 1 at most q?
False
Let c be (-1 - (-1)/3)/(1/(-6)). Let x be (-3813)/(-2550) + ((-18)/c)/3. Is 1 less than x?
False
Let w be ((-18)/(-45))/((-12)/15)*