e y(5). Do l and u have the same value?
True
Let g = 0.219 - 0.119. Which is smaller: 0.68 or g?
g
Let p(q) = 3*q**2 + 3*q + 3. Let x be p(-2). Suppose x*f = 12*f - 6. Let w = f - -4. Which is smaller: w or 4?
4
Let o be (-6)/56 + (-1)/(-4). Let u be (-1 - (0 + 1))/((-3)/39). Let l = -27 + u. Which is bigger: l or o?
o
Let k(r) = -r**2 + 2*r - 20. Let o be k(10). Let w = o + 73. Is -27 != w?
False
Let g = 15 - 13.4. Let a = -0.84 - 0.16. Let b = g + a. Is -1 less than or equal to b?
True
Suppose 43*f - 1855 = 8465. Is f smaller than 241?
True
Let r be (-28)/(-56)*(3 - 5). Which is smaller: r or 26?
r
Let y be 1 + -2 - (-8)/(-1). Let s = y - -12. Let x be (-5)/s - (-4)/6. Which is smaller: 1 or x?
x
Suppose g - 8 = -2*d, -5*d + 2*g = -2*d - 19. Suppose -77*t - 6 = -80*t. Suppose t*h + 1 - d = 0. Which is greater: h or 1?
h
Let t(p) = 4 + p - 4 - 2 - 14. Let i be t(5). Let r = -43 + 42. Is r at least as big as i?
True
Let d(p) = 3*p + 18. Let y(q) = q + 1. Let k(a) = d(a) - 4*y(a). Let j be k(10). Suppose w - 30 = -j*w. Which is greater: 2/7 or w?
w
Let i be 2 + 3 + -8 + 3. Suppose -2*j + 3*j + 43 = i. Let q = -25 - j. Which is bigger: q or 19?
19
Let u be (-1)/8 + (-65144)/1792*-4. Is 144 <= u?
True
Let b(l) = -l**2 - 16*l + 21. Let q be b(-17). Suppose 0 = u - q*c, -5*c + 4*c = 2*u. Is u greater than -12/11?
True
Let w = -230.1 - 50.9. Which is smaller: 0 or w?
w
Let i = -208 - -231. Is 23 >= i?
True
Suppose -14*f - 14 = 168. Is f less than -11?
True
Let l = 0.52 + -0.17. Let q = -0.037 + -0.013. Let v = l + q. Which is greater: 0.02 or v?
v
Suppose -13*u = -18*u. Which is bigger: u or 3/47?
3/47
Let v = 587 + -45201/77. Let m(p) = p**2 + p - 1. Let u be m(-2). Which is greater: u or v?
u
Let r = 10626 + -10835.92. Let z = r - -201. Let x = 0.08 - z. Is 1/4 at least as big as x?
False
Let a be 1*(-72)/20 - -4. Let s = -3 + -4. Let l = -3 - s. Which is greater: a or l?
l
Let r = -23.2 + 23.3. Let a = -11.25 + 0.25. Is r < a?
False
Suppose 7*u = -4*u + 44. Let z = -48 - -44. Is z at most as big as u?
True
Let v = 19 + -19. Is v not equal to 4/127?
True
Suppose -19*m - 43 = -62. Which is bigger: m or -4?
m
Let n = 187 + -101. Let a be 3*(n/6 - 1). Is 41 >= a?
True
Let v(c) be the first derivative of 1 + c**3 - 6*c - 1/2*c**2 + 1/4*c**4. Let s be v(-2). Which is smaller: s or -1/10?
-1/10
Let c = 2 + -10. Let t = c - -4. Let j be (-16)/(-40) - t/15. Is j != 7?
True
Suppose -14 = -4*l + 6. Let q = 8 - l. Suppose -q*m + m = 0. Which is smaller: m or -1/4?
-1/4
Suppose 2*x = 6 - 0, -2*i + x = 67. Let a be ((-42)/28)/((-30)/i). Which is smaller: a or -2?
-2
Suppose 3*d - 29 = 34. Suppose 3*a + 0*a - d = 0. Let y = -9 + a. Is 0.1 bigger than y?
True
Suppose 7*b + 20 = 3*b, 2*q = 5*b - 1861. Which is bigger: -942 or q?
-942
Let p be 20/(-6)*90/60. Is p greater than or equal to -5?
True
Let x(m) = 14*m - 6 + 7*m**2 + m**2 - 3 - 7*m**2. Let k be x(-15). Suppose -k*v - 12 = -2*z - v, 2*z + 5*v = -8. Is z at least 0?
True
Suppose -2*w - 5*a + 2 = 1, w - 2 = -4*a. Let v be ((-14)/4 - w)*64/(-12). Suppose -n = -0*n + 1. Is v greater than n?
True
Suppose 8*w + 30 = 11*w. Let b(r) = -r**2 + 6*r - 5. Let v be b(6). Let a = v + 14. Which is smaller: a or w?
a
Suppose -3 = -4*u + 5. Let n = u - 1. Let g(c) = 6*c**2 - 2*c. Let q be g(0). Is n smaller than q?
False
Let f(r) = -9 - 4*r - r + r + 2 + r**2. Let c be f(6). Suppose -2*o = 3*u - 20, -3*u + c*o = 2*u. Does u = 4?
True
Suppose 0 = 4*k - 9 + 53. Let p = k + 21. Suppose -2*j + p = 4. Is 0 smaller than j?
True
Suppose 2*v - 33 = -5*u, -7 = -4*u + u + 2*v. Suppose 25 = u*h, -w - 2*w + h = -13. Let m(s) = 2*s**3 - 5*s**2 + 6*s - 2. Let q be m(2). Is w < q?
False
Let t(h) = 24*h + 3. Let f be (1 - 0)/((-13)/13). Let x be t(f). Which is smaller: -1 or x?
x
Suppose -46 = -3*l - m + 3*m, -4*m - 32 = -l. Let a be -7 + -1 - (-9 + l). Which is greater: a or -12?
a
Let o be (-20)/(-15) + 8/(-12). Which is smaller: o or -0.318?
-0.318
Let a = -31 - -30. Let o be a*3 - (-5 + 2). Are o and -1/10 nonequal?
True
Let b = 224 + -406. Is 2/7 <= b?
False
Let v = -45 - -48. Suppose 9 + v = -2*a. Which is smaller: 0.5 or a?
a
Let k = -1039 + 791. Which is smaller: 3 or k?
k
Let c = 11199 - 3774057/337. Which is smaller: c or -1/4?
-1/4
Let b = -5 - -9. Let o be ((-2)/b)/((-1)/2). Let l = -7863/7 + 1124. Which is bigger: o or l?
o
Suppose -13 = 3*p + 2. Suppose d = 2*d - 5*x, -2*x + 2 = 0. Let t = p + d. Is t bigger than 0?
False
Let a be 1/6 + (-627)/(-18). Let q = a - 35. Does -12 = q?
False
Let l(a) = -5*a - 13. Let y be l(5). Let t(k) = -38*k**3 + k**2 - 1. Let r be t(1). Are r and y nonequal?
False
Let c = -1523 + 1614. Is c greater than 91?
False
Let y = 0.44 - -18.56. Let r = -14 + y. Let j = -7 + 5. Which is greater: r or j?
r
Let o = 1/195 + -1762/1365. Is -0.07 < o?
False
Let s = 2/9429 - 445259/3143. Which is greater: s or 0.1?
0.1
Let k be (-2)/(-9) - (-55030)/3465. Let i = 114/7 - k. Let p = -13 - -8. Is i < p?
False
Let q(z) = z**2 + 5*z. Let u be q(-5). Let r be (-84)/(-715) + 84/(-546). Which is greater: u or r?
u
Let g = 39 - 23. Let x be ((-11)/(-4) + -3)/(-1). Is g at most as big as x?
False
Let x = -9 + -4. Let p = -0.034 - -0.026. Let k = 1.992 - p. Which is greater: x or k?
k
Let s be (1701/60)/9 + (5 - 2). Let y = s - 31/5. Which is smaller: y or -1?
-1
Suppose -y = -c + 5, -y = 2*c + 5 - 0. Let v = -0.04 + -6.96. Which is greater: v or y?
y
Suppose -3*y - 3*z - 2*z = -105, 0 = 3*y - 2*z - 105. Suppose y - 10 = a. Is 24 >= a?
False
Let s = 89 - 64. Let h = s + -26. Let y be 1 + 2 + h + 6. Is 8 bigger than y?
False
Let a(w) = -w**2 - 11*w - 15. Let y be a(-10). Let f be ((-60)/(-32))/y*-4. Let m be 2/(-7) - 32/(-14). Which is greater: f or m?
m
Let c = 916 - 484. Which is bigger: c or 431?
c
Suppose 4*f = -2*f. Suppose -5*v + 2*t - 60 = f, 0 = -3*v + 5*v - 5*t + 45. Is -11 bigger than v?
False
Suppose -20 = -4*g - 2*p - 2*p, -5*p + 25 = 3*g. Let d = 35 - 31. Let q be -5*(d - 62/15). Is q at most as big as g?
False
Let j be (2/4 - 57/(-38)) + -1. Let a be ((-2)/4)/(5/3). Is a less than j?
True
Let s = -1711/11 + 155. Which is smaller: s or -2?
-2
Let x be 0 + 2 - (-68)/(-17). Let j be ((-2)/(-6))/((-8)/(-192)). Which is smaller: j or x?
x
Let j(i) = -11 + 23 - 2*i + i. Let y be j(11). Which is smaller: 4/19 or y?
4/19
Let y = -220 + 667. Let c = y - 18323/41. Let z = 348/205 - c. Which is smaller: 1 or z?
1
Let d(r) = -r - 22. Let l be d(-8). Let f be -1*(-1 + (-2)/1). Let z = l - f. Is z > -16?
False
Let j be (3/(-1))/(-12)*16 + -3. Which is smaller: 2/89 or j?
2/89
Let r be (0 + 63)/(-6*5/(-30)). Let b = 60 - r. Which is greater: b or -2?
-2
Suppose 4*h + 568 = -4*l, -h + 3*l - 41 = 113. Which is smaller: -143 or h?
h
Let o = 778 + -777.6. Are o and -2 equal?
False
Let k = 5.59 - 3.59. Let j(t) = -34*t + 1. Let v be j(1). Which is greater: k or v?
k
Let d = 1244 + -11194/9. Are 456 and d unequal?
True
Let q = 179/118 - 1/59. Is 0 at most as big as q?
True
Let y = 3.66 - 4.56. Is y greater than -0.07?
False
Let b(f) = -f**2 - 7*f + 1. Let i be b(-7). Let j be 6/(-10)*3/12. Is i not equal to j?
True
Suppose -2*s + 50 = -2*y, -s - s - 132 = 5*y. Let g be (-3 + 2)/(2/50). Is y greater than g?
False
Suppose 0 = -a + 3*c - 3 - 0, -3*c = -3*a - 3. Is -2/2795 at most a?
True
Suppose 4*w = 3*d - 334, -2*w - d = -7*w - 412. Let z = w + 121. Let h be (3/12)/(z/24). Which is smaller: h or 0?
0
Let a be 1/(-3)*-7*-3. Let i be (a - -2)*2/5. Let k be (36/450)/(4/10) - 1. Are k and i unequal?
True
Let i be (-25 - -21)*(-73)/(-4). Is -75 not equal to i?
True
Let x be (-327)/9 - -4 - (-14)/(-21). Which is bigger: -46 or x?
x
Let k = 0.41 + -0.441. Let f = 150 - 150. Which is smaller: k or f?
k
Let s be -2 + 11297/2827 + -2. Which is greater: s or 0?
0
Let v be (-11)/((-44)/(-24)) - 2. Let b be (v + 0)/2 - 6/(-3). Which is smaller: b or 4?
b
Let t(k) = 11*k + 50. Let y be t(-12). Are -81 and y nonequal?
True
Let j(n) = -3*n - 22. Let k(l) = l + 6. Let u be k(7). Suppose x = -2*z + z - u, -x = 4*z + 28. Let i be j(x). Which is greater: -1/7 or i?
i
Let l be (1/(-2))/((-1393)/(-84)). Which is smaller: -1 or l?
-1
Let q(k) = 2*k - 27. Let z be q(15). Suppose -2*y + 2*x - 10 = 0, -x = -z*y - 4 - 1. Let m = -40/33 + -4/33. Whic