). Is y greater than f?
False
Let d(r) = r**2 + 2*r + 1. Let s be d(-1). Is s greater than 3/19?
False
Suppose 0*o - 3*o = 9, -g - 15 = 5*o. Suppose g = -3*r + 8*r - 20. Suppose x + 20 = n + r*x, -2*x = -n. Which is bigger: 9 or n?
9
Let j(s) = s + 2. Let a be j(10). Is a > 12?
False
Let w be -2 - 11/(-8) - -1. Which is smaller: w or 0?
0
Let l = -4 + 3. Suppose 6*x - 4 = 8*x. Let v be (-4)/(-24)*3/x. Which is smaller: l or v?
l
Let x be 446/1320 + -1*1/3. Which is greater: 1 or x?
1
Let d(i) = i**3 + 8*i**2 + 9*i + 7. Let w be d(-7). Let m = w - -2. Is m less than -6?
False
Let z be (4/10)/(2/10). Let x be 5/(-2 + z/2). Which is greater: -4 or x?
-4
Let w = 64/333 - 3/37. Are 1 and w equal?
False
Let l = -1 - -3. Suppose l*x + 3 = -x. Is x greater than or equal to -4?
True
Suppose 0*k + 5 = -5*k. Let a(f) = -4*f - 1. Let d be a(k). Is 2 equal to d?
False
Let x(m) = -m**2 - 7*m + 1. Let j be x(-7). Let u be 8/10 - j/(-5). Is u bigger than -1/4?
True
Let s be 0/((-2 + -2)/2). Let f be 4/12*3 + -43. Let i = f - -125/3. Which is smaller: s or i?
i
Let t be 3*(-2 - 20/(-12)). Which is smaller: 1 or t?
t
Let t = 107 - 106. Are t and 11/9 unequal?
True
Let t = -23/11 - -24/11. Suppose -3*h - 27 = -u + 2*h, 3*u = -3*h - 9. Suppose a + u = -a. Which is smaller: a or t?
a
Suppose 5*m - 2*g = -17, -5*m - 8 = -3*m - 2*g. Is m greater than -3/2?
False
Let z = -3.89 + -0.11. Does 1/5 = z?
False
Let u = -16 + 35. Let l = -3 + 24. Let q be u/(-7) + (-6)/l. Which is smaller: q or 0?
q
Suppose -3*d = s - 2*s + 12, -5*s + 2*d + 8 = 0. Let c = -1 - s. Let h = 134 + -669/5. Is c bigger than h?
False
Let d(b) = 3*b**2 - 4*b. Let p be d(3). Suppose -2*t - 3*t = -p. Let q be t/(-3) + (-1 - -2). Which is bigger: 2 or q?
2
Let o be ((-22)/8 - -2)*4/2. Is o less than -0.1?
True
Let j = 0 + 4. Let x be j/10 + (-208)/195. Let c be (-5)/(-6)*-1 - -1. Is c equal to x?
False
Let w = 103 + -88. Which is bigger: w or 3?
w
Let n = -11 - -20. Suppose n*o - 4*o + 50 = 0. Let y be (-8)/o*(-4)/(-8). Is y at least -1?
True
Let s(r) = -7*r**3 + r**2 + 3*r + 1. Let t be s(-1). Let o = 7 + 0. Is o smaller than t?
False
Let d be 59*(-2)/(-48) + -2. Let g = -7/12 + d. Which is smaller: -1 or g?
-1
Suppose -d + 5*d - 20 = 0. Suppose 3 = 4*f - 5*n - 14, 2*n = d*f. Let i = -713/1260 - 1/180. Do f and i have the same value?
False
Let b = 2 + -5. Is b >= -2?
False
Let d = 2.5 - 3.3. Does d = -1?
False
Let w = 16 - 15. Which is smaller: -45 or w?
-45
Let f(l) = -2*l + 2. Suppose 0*q - q - 5*c = -9, -4*c + 4 = 0. Let y be f(q). Is -4 < y?
False
Suppose 0 = -6*i + 2*i. Suppose 2*a + 5*s = 14, 2*a - 4*s - 2 + 6 = i. Let t be (25/a)/5 + -1. Which is bigger: 2 or t?
2
Let p = -2.7 - -9.6. Let a = -7 + p. Are a and -2/5 equal?
False
Suppose 2*u = 5*z + 14, 4*u - 5*z - 4 - 14 = 0. Suppose -5*k - u*i = -2 - 13, -k = i. Let q = k - 4. Are 1 and q non-equal?
False
Suppose 0 = -9*g + 4*g + 5*x, -3*x = -g. Which is smaller: -3 or g?
-3
Let z = 422 + -10552/25. Are z and -1 unequal?
True
Let h be (-28)/(-6) + (-8)/12. Suppose h*p = -2*m - 14, -2*m + 5*p + 19 - 6 = 0. Let a = -44/7 - -6. Is a != m?
True
Let u = -123 + 1587/13. Which is greater: 0 or u?
0
Let f be (-6)/(-2) + (-3)/(-3). Suppose f*n - r = 175, -2*r = n - 5*r - 41. Let s be 12/n*(-2)/6. Which is bigger: s or 0?
0
Let t be 12/(-4) + 255/87. Which is greater: 0 or t?
0
Let m = -42 - 2. Let o be (-8)/m - (-43)/(-55). Which is smaller: -0.1 or o?
o
Let z = 2146/3 + -14626/21. Is z less than or equal to 18?
False
Let g be (-1344)/3460 + (-6)/45*-3. Is 0 at most as big as g?
True
Let i be 4/18*18/3. Suppose 6*h = 9 + 3. Which is smaller: h or i?
i
Let c = 4.96 - 5. Let w = -3.04 - c. Let z = w - -3.1. Which is greater: 0.5 or z?
0.5
Let a = -18 - -22. Which is greater: 6 or a?
6
Let b = 0.24 + -0.04. Let f = b + 0. Which is greater: 0.3 or f?
0.3
Let r = 0 + -1. Let n = 40.1 - 40. Is r != n?
True
Let l = -0.2 + 1.2. Let v = -49 - -51. Let b = l - v. Which is greater: -0.1 or b?
-0.1
Let u be 0 - (0/(-6) - (-10)/6). Which is smaller: -1 or u?
u
Suppose 27 = 3*h - 4*i, -i + 2*i + 28 = 5*h. Suppose h*m - 4*d - 5 = 16, 2*d = -4*m - 4. Is 1 smaller than m?
False
Let n = 13.5 - 20. Let a = 6 + n. Which is smaller: -1 or a?
-1
Let b(h) = h**2 - h - 1. Let t be b(1). Let w(c) = 7*c + 1. Let s be w(-1). Which is bigger: s or t?
t
Let w = 2.72 + -7.72. Let s = -2.9 - -3. Which is greater: s or w?
s
Let g = 20.8 + -21. Are g and -10 equal?
False
Let c = 0.08 - 1.08. Let f = 1 + c. Is f at least -0.1?
True
Let g = 56/5 - 158/15. Let q(k) = k - 3. Let r = 7 - 3. Let m be q(r). Is m < g?
False
Suppose 0*g = 2*g + 4*g. Let u = 268 + -5094/19. Does u = g?
False
Let w be (-8)/(-28) - 125/511. Let i = 271/511 + w. Let l be 0/(1 + 2 + -1). Is l at least i?
False
Suppose 5*c + 10 = 0, 0 = -4*f + c + 4*c - 98. Let l be (-3)/f*(-24)/(-4). Which is smaller: 2 or l?
l
Let m be 2 + -1 - (-1 + 3). Let g = m + 9. Suppose -5*u - 1 = 4*s - 4, -2*u = -3*s + g. Which is greater: u or 0.3?
0.3
Let u(v) = -3*v**3 + 0*v**3 + 3*v**3 - v**3 - 9*v**2 - 1. Let m be u(-9). Which is bigger: 4/9 or m?
4/9
Let t be 1/2 + 38/68. Let o = t + -523/510. Which is greater: 0 or o?
o
Let s be 8/5 + 6/15. Let q = s - 5. Which is greater: q or -2?
-2
Let f = -34 + 135/4. Let y be (-2 - -4)/(-6)*-3. Which is smaller: f or y?
f
Let z(t) = -t**2 - 5*t + 8. Let p be z(-6). Let l = p - 1. Suppose -5*j = 3*i + 16 - 3, 4*j + 16 = -i. Does j = l?
False
Let i = -1 + 2. Let p(h) be the first derivative of -h**3/3 + 5*h**2/2 - 1. Let s be p(5). Are i and s unequal?
True
Suppose -3*n + 2*a + 3*a = 10, -4*n - 2*a = -4. Suppose n = 4*o - 5*t + 40, 30 = -7*o + 4*o + 2*t. Let m = o - -31/3. Is 0 at most m?
True
Let f be 2*2/20*-2. Which is greater: f or 2/15?
2/15
Let h be (-2)/6*(4/(-8) + -4). Which is bigger: h or 3?
3
Let y = -7.123 + -0.177. Let n = -7 - y. Is n at most 1/4?
False
Let h be (-4 + 224/20)*-100. Let c be h/33 + 2/(-11). Do c and -22 have the same value?
True
Let j be (-2)/(-2)*-4 + 2. Let b be ((-3)/(-2) - 1)*j. Let n be -4*2/(-4) + b. Which is bigger: n or 0?
n
Suppose -10 + 94 = -2*l + 5*k, -24 = l + 2*k. Which is greater: -30 or l?
-30
Let g = -0.7 - -0.81. Let z = g - 0.01. Is z not equal to -1?
True
Let c be -6 + -4*2/(-8). Is -5 < c?
False
Let o be 16/(-24) + (-14)/(-3). Suppose -4*z = -o - 4. Is z greater than 3?
False
Suppose -3*v + 24 = -12. Let s be 4/v - 2/6. Suppose s*u = -u. Do 2/11 and u have the same value?
False
Suppose -9*h + 5*d = -6*h - 20, -4 = h + d. Suppose m - 2*m + 3 = 0. Suppose 3*v - 2*j = 3*j - 7, 2*j - m = v. Which is greater: h or v?
v
Let p(t) = t - 8. Let h be p(9). Which is smaller: h or 3/2?
h
Let p = -69756/13 + 5722059/1066. Let w = -1275/943 + p. Let j = w + -2/23. Is j bigger than 2?
False
Let f be (-24)/10 + 2/5. Let h(z) = z**3 - z. Let w be h(0). Suppose w*y = -3*y - 3. Which is smaller: f or y?
f
Let t = -3 - -7. Let o(c) = 2*c**2 - 5*c + 2. Let h be o(t). Let a be (-21)/h + 2/4. Which is smaller: 3/8 or a?
a
Suppose 3*l + 6*l = 9. Let q = -3181/11 - -289. Is l greater than q?
True
Let j = 98418/95 - 1036. Is 1 > j?
True
Let y = 60 + -57. Which is greater: y or 15?
15
Let d = 0.108 - -0.892. Let b = -4 + 7. Is d <= b?
True
Let g be 0 - 1 - (-275)/350. Which is bigger: 0 or g?
0
Let a = -43 + 43. Which is greater: a or 1?
1
Let r = 3.5 + -4. Is r at most -2/5?
True
Let j(f) = -f + 4. Let y(u) = -2*u + 7. Let w(o) = 11*j(o) - 6*y(o). Let x be w(-1). Let r be (3 + 1)*1/38. Which is bigger: r or x?
x
Let h = -6 + 5.6. Let i = h - -0.3. Let v = -17 - -17.1. Which is bigger: i or v?
v
Let z = -0.19 + 0.15. Which is greater: z or 0.2?
0.2
Let s = 0.12 - 6.12. Let q = -8 - s. Let m = -2.2 - q. Which is greater: -0.1 or m?
-0.1
Suppose 0*h = h + 7. Let v = h - -6. Is -4/13 > v?
True
Suppose 2*q - 3*q = -5. Let j be q - 9/(0 + 3). Is 2 smaller than j?
False
Let s = 30 + -31. Is -6/23 less than s?
False
Let k be (5/(-2))/(1/6). Is k less than -15?
False
Let v be 2/(-6)*(-1 + -2). Let l(i) = i**2 + 0*i + i**2 + v - 4*i + 3*i. Let t be l(1). Do t and 1 have the same value?
False
Let o be ((-12)/(-3))/(1/(-39)). Let s = 1715/11 + o. Suppose 3 = -5*a + 2*x, -a - 15 = -2*x - 8. Are s and a unequal?
True
Let j = -2284/7 + 328. Which is greater: 2 or j?
2
Let h = -28.0