gger than h?
False
Suppose -2*i + 10 = -s - 7, -4*s = -2*i + 92. Which is smaller: s or 0.1?
s
Let o = -71 + 23. Let h = 31 + o. Is -17 less than h?
False
Let u = -22/43 - -421/1075. Do u and 1 have different values?
True
Let x = -893/66 - -147/11. Which is greater: x or -1.8?
x
Let y = -824 + 744. Which is bigger: y or -2/7?
-2/7
Let b be (-63)/(-13) + 6/39. Let x(t) = 2*t + 5. Let q be x(b). Let j = q + -76/5. Is -1 not equal to j?
True
Let a = -40 - -42. Suppose a*j = -1 + 23. Is 13 smaller than j?
False
Let f = -5 + -1. Let i = 68.1 - 74. Let j = f - i. Which is smaller: -0.04 or j?
j
Let b be 61/(-52) + 2/8. Let j = -37/26 - b. Let g = -38 + 37. Is g > j?
False
Let p = 708 + -740. Is p < 0.1?
True
Let b be (-12)/(-9)*(-105)/(-140). Which is greater: -0.312 or b?
b
Let x(l) = -l**3 + l**2 + 3*l + 11. Let s be x(0). Let j be -1 + -2 - (3 + s). Is j at most -18?
False
Let r = 243/20 - 33677/2780. Do r and 1 have the same value?
False
Let d be ((-254)/(-14))/(5/35). Which is greater: d or 2?
d
Let r = -96 + 2. Let o be 2/(-3)*(-2)/r. Let t = o - 272/705. Is t > 0.1?
False
Let i = 11/36 + -1/18. Let c = 1845/2717 + -33/247. Which is smaller: c or i?
i
Suppose 247*y = 243*y - 116. Does -29 = y?
True
Let o = 76.9 - 66. Let n = o - -5.1. Which is smaller: 0 or n?
0
Let x = -0.0346 + 1.0346. Which is greater: x or 1/2?
x
Suppose 4*c - 1500 = m, 1277 = 3*c + 2*m + 152. Which is greater: c or 372?
c
Let b = 9 - 0. Let c = b - 6. Let m = c - 5. Which is smaller: 4 or m?
m
Let y = 9998 - 8298337/830. Which is greater: 0 or y?
y
Suppose -65 = -5*h - 20. Suppose 8*c - 97 = -25. Do h and c have different values?
False
Let j(c) be the second derivative of -c**4/12 + 8*c**3/3 + 5*c**2/2 - 18*c. Let o be j(16). Which is smaller: o or 7?
o
Let t(o) be the third derivative of o**5/60 + o**4/2 + 11*o**3/6 - 5*o**2. Let u be t(-5). Let q be (-6)/(-15) - u/(-135). Is q != 1?
True
Let f = -0.3 + 0.2. Let m = 1.1 + f. Let k = -1520 - -1536. Is m at most as big as k?
True
Let q(s) be the first derivative of s**3/3 - 11*s**2/2 + 6*s - 8. Let o be q(11). Suppose -t = 5*t - o. Is 13/6 less than t?
False
Let k = -2663 + 2663. Let i = -2304/5 + 459. Is i smaller than k?
True
Let x be 4/(-10) - 168/105. Suppose 9 = 4*r - 3. Suppose -r*g = -0*g + 9. Is x != g?
True
Let b be (1 + 26)*(-8)/24. Which is smaller: b or -6?
b
Let x = 1883 - 1883.1. Is x bigger than 218?
False
Let t = -11 - 4. Let h be ((-8)/45)/(10/t). Let x = -3/5 + h. Which is smaller: 0 or x?
x
Let l(i) = 2*i**3 - 3*i**2 + i. Let a be l(3). Suppose -5*p + 2*n - n = a, -5*n = p - 20. Let k = p + 3. Is k >= 0?
False
Let a = -90 - -24. Which is smaller: a or -67?
-67
Let q = 0.63 + -41.63. Let f = 43 + q. Is -3/7 > f?
False
Let r = 212 + -147. Suppose -5*a = 2*u + r, 5*a + 2*u = 4*a - 13. Which is smaller: a or -16?
-16
Suppose 12 = k + 74. Suppose -5*u - 290 = 5*n, 26 = -u - 5*n - 16. Is u greater than k?
False
Let v(l) = l**3 + 8*l**2 - 4*l. Let z be v(-8). Suppose -h - 4*h + q - z = 0, -3*h = 3*q + 12. Let i be (195/h)/5 - -2. Which is smaller: -4 or i?
i
Let i = 408 - 408.3. Which is greater: -29 or i?
i
Let g = 4576/368289 + 2/2439. Which is bigger: 0 or g?
g
Let v = 8.3 + -8. Let p = 0.4 - v. Let y = 2.1 + -2.1. Is y at least p?
False
Let b be (32 - 32)/(3 + 0 + -1). Which is smaller: b or -13/38?
-13/38
Let i = 35 + -34.5. Let w = -0.1 + -0.9. Is i greater than w?
True
Let f = -44 - -61. Let r = -11 + f. Is -4 > r?
False
Let p(z) = -z**2 + z + 6. Let t be p(3). Let k be 0 + (t - 2) - -1. Is -1 greater than or equal to k?
True
Let h(u) be the first derivative of 3*u + 2*u**2 + 1/4*u**4 - 14 + 2*u**3. Let d be h(-5). Is d <= 8?
True
Let v = -168 - -168. Which is smaller: v or -13.8?
-13.8
Suppose -2*v = -2*b + 18, 3*b - 19 = v - 0*v. Let y be (-40)/24 + (-469)/147. Which is bigger: y or v?
v
Let z(n) = -n**2 + 3*n + 6. Let w be z(9). Let c = 93 - 140. Is c greater than w?
True
Let g = -9 + 23. Let h = 35.9 + -15. Let z = h - 21. Which is bigger: z or g?
g
Let i = -5.064 + 0.064. Which is greater: 36 or i?
36
Let v = -5675/3094 + 49/26. Is 0 greater than v?
False
Let h be (-4)/16*2*2. Which is smaller: -3/61 or h?
h
Let d be (-119)/(-285) + 2/(-5). Let a be (-88)/72 - (-6)/27. Which is smaller: d or a?
a
Let u(d) = -2*d**2 - 2*d + 1. Let m be u(-4). Let g = -94227/4010 + -4/2005. Which is smaller: g or m?
g
Suppose 10*g - 10 = -0. Let d be (g - 2)/(5/5). Which is bigger: d or 0.2?
0.2
Suppose 3*f - 19 = 35. Let u be f/22 + 8/(-16)*2. Which is greater: -1 or u?
u
Let d = -0.107 + 19.107. Let l = -2/3 + 8/21. Which is bigger: d or l?
d
Let w = 317 - 311. Let b = 0 - -7. Is w > b?
False
Let a = -587 - -600. Is 35 less than a?
False
Let g(z) = -z**2 + 22*z - 4. Let m be g(20). Is 5 > m?
False
Suppose -67*o + 70*o - 99 = 0. Are 36 and o equal?
False
Let d(j) = 6*j**2 + 4*j + 4. Let c be d(-4). Is c bigger than 427/5?
False
Suppose -18 - 14 = 4*o. Let a be 262/10 - o/(-20). Let w = -913/35 + a. Which is smaller: w or 1?
w
Let h(g) = -g + 32. Let k be h(0). Let j be 3/4 - (-520)/k. Let y = j + -23. Are y and -8 equal?
False
Let i = 46 + -37. Let z = 20 + -11. Is i smaller than z?
False
Let b = -3621 + 640919/177. Which is bigger: b or -1?
b
Let y be 20/((-120)/18)*(-38)/9. Which is bigger: y or 1?
y
Let i(h) = -h**3 - 9*h**2 + h + 11. Let m be i(-9). Suppose 1 = m*g - 5*r + 2, -2*r = -g. Suppose b = 3*b - 8, b = g*o + 6. Is o at least as big as 3/11?
False
Let i = 5.81 - 64.81. Is i at most -1?
True
Let q = 13613/14 - 6586/7. Let y(v) = 18*v - 3. Let a be y(2). Which is smaller: q or a?
q
Let k = -408/25 - -82/5. Let w = 5 - 2. Suppose -3 = -0*l + w*l. Is k greater than l?
True
Let f = 748 + -27674/37. Let n be (-34)/(-17)*2/(-4). Which is smaller: n or f?
n
Let n = -27 + 27.18. Let d = 0.28 - n. Does d = -1?
False
Let v be 7/21 - (28/12 + -3). Which is greater: -2/431 or v?
v
Let g be (2 + 6)/(-8)*2/(-2). Let m = 0.6 - 0.4. Let u = 0.6 - m. Do u and g have the same value?
False
Let h = 284 + -281. Which is greater: -1 or h?
h
Let w = 66 + -450/7. Suppose 3*m = -x + 1, -4*m - 1 = 2*x - 3*x. Suppose m = -6*a - 0 + 6. Which is greater: a or w?
w
Let i be (-4)/16*(0 + (-4)/1). Which is greater: i or 12/167?
i
Suppose l - 5*k - 19 = 0, 2*l - 3*l + 17 = -3*k. Suppose -16*v = -l*v. Which is smaller: 2/83 or v?
v
Let i = -78.929 - -79. Let s = i - 2.571. Is s at least as big as -2/7?
False
Let a = 2.1 - -5.9. Let g = a + -7.2. Let z = 0.7 - g. Is -2/9 at most z?
True
Let p be (-105)/15*1*(3 - 2). Is p not equal to -43/6?
True
Let n be 455/117*102/(-4). Is n <= -99?
True
Let q(v) = 28*v - 673. Let y be q(12). Is y less than -340?
False
Suppose -8 = -s - 4*v - 23, -5*s = -2*v - 35. Which is greater: s or -6?
s
Let w be (-460)/4 + 23 + -24. Which is smaller: w or -1/4?
w
Let x = -5487 + 5487.37. Let i = -2/7 + 13/21. Which is smaller: i or x?
i
Let v(t) be the second derivative of -t**4/12 + t**2 + t. Let o be v(2). Suppose 17*k + 192 = -15*k. Which is bigger: o or k?
o
Let v be 4/10 + (-13)/(-5). Suppose -40 = -6*d + d. Suppose d = -3*q + 20. Which is bigger: v or q?
q
Let l be (-80)/(-290)*(-46)/(-14). Let f = l - 18/29. Which is smaller: f or -2/7?
-2/7
Let l(u) = u**3 + 8*u**2 + 7*u + 1. Let v be l(-5). Is v >= 208/5?
False
Suppose o + 45 = -2*o. Let y = -12 - o. Suppose 4*c + y*x = -15, -4*x = -3*c - 0*c - 5. Is c > -3?
False
Let u = -381 + 372. Which is greater: u or -4?
-4
Let q = 202 - 210. Which is smaller: -12 or q?
-12
Let k = -296 - -254. Which is bigger: -39 or k?
-39
Let g(n) = 4*n**2 - 4*n. Let d be g(1). Which is smaller: -2/179 or d?
-2/179
Let f = 34 + -24. Suppose 6 = 22*c - 214. Is f <= c?
True
Suppose 3*u - u = 0. Let g(f) = 5*f - 7. Let h be g(2). Let d be 1320/222 - h - (1 - -2). Which is greater: d or u?
u
Suppose -68 + 13 = -5*g. Suppose -3*y + 0*y + g = -5*s, -y + 4*s - 1 = 0. Is y bigger than 7?
False
Suppose -2*b - 56 = 188. Let d = b + 613/5. Which is greater: d or -1/3?
d
Let r be 42/9 + (-2)/3. Let u(f) = -102*f + 98*f - 5 - 19. Let b be u(-7). Are b and r non-equal?
False
Let k = -19 + 9. Let a(d) = -66*d**3 + d**2 + d - 2. Let l be a(1). Let z be l/3*(15/10 - 1). Which is greater: k or z?
k
Let t be 8/(-20) - (-28)/70. Which is greater: t or -10/63?
t
Suppose 65 = -4*r - 151. Are r and 