2*d - 3. Is o > t?
True
Suppose 30 = 5*i + 85. Let v = 8 + i. Let a be 3 - (-2 - -10 - 1). Which is bigger: a or v?
v
Suppose 0 = 4*t + 5 + 15. Let h be 1/((t/2)/5). Is -4 greater than or equal to h?
False
Let u be (-18)/(4 - 3 - 0). Which is bigger: u or -16?
-16
Suppose -4 = -4*a, -r - 9 = r - 3*a. Let l(y) = y + 7. Suppose -g - 2*g - 27 = 0. Let j be l(g). Which is bigger: r or j?
j
Let b be 720/195 + (-1 - 3). Is 1 less than or equal to b?
False
Let a = -0.07 - 0.93. Let d = a + 2. Which is greater: d or 2?
2
Let x be ((-4)/(-6))/((-1)/(-270)). Suppose 6*u = 2*q + u + 89, 0 = -5*q + 4*u - x. Let h be (-4)/(-6) - q/(-12). Is h <= -3/2?
True
Suppose -3*q + 27 + 6 = 0. Is 12 less than or equal to q?
False
Let l = -21 + 30. Let z = 7 - l. Which is greater: z or -3?
z
Let f be -2*(-942)/(-15) - 3. Let c = f - -128. Let b be 0*(-2)/(0 + -2). Is c at most b?
True
Let q(o) = -3*o**2 + 2*o - 1. Let y be q(1). Let s be (2 + 1)/(2/y). Is -1 >= s?
True
Let u = -24 - -23.8. Which is greater: u or -10?
u
Let l = 18 + -15. Which is greater: -1 or l?
l
Let o = -55/351 - 2/27. Let r be 2 + (1 + 0 - 2). Which is bigger: r or o?
r
Let u = -4 + 0. Let d be 9/(6 + -3) + u. Which is bigger: -2/13 or d?
-2/13
Suppose -8 = -2*l + 2*c, 13 = 5*l + 4*c - 2*c. Let y be l/(-4)*(-8)/(-15). Is y at most as big as 0?
True
Let o = 10 - 15. Let i(u) = -u**2 - 5*u - 5. Let y be i(-5). Is y bigger than o?
False
Let x = -1 - -10. Is x at least 9?
True
Let s = -332/5 - -66. Is 22 >= s?
True
Let i be 2/(-14)*(19 + -21). Let q = -1.2 + 0.2. Let v = q + 0.9. Are v and i equal?
False
Suppose -9 = 6*r - 15*r. Is r less than or equal to 5/3?
True
Let x(t) = t**2 + 2*t - 3. Let h be x(-3). Let l be 9/(-7) + 4/14. Let m = l - h. Are m and -2 equal?
False
Let k = 68 - -1. Let d be (351/k - 2) + -3. Is d at least as big as 0?
True
Let w(r) = 13 - 5 - r + 5. Let z be w(12). Which is greater: -4 or z?
z
Let h(u) = u**2 + 9*u + 11. Let g be h(-8). Suppose m + 3 = -g*r, -5*m + 19 = -2*r - 0*m. Is r smaller than -1?
True
Let g = 1 + -6. Let z be (7/(-7))/((-1)/g). Let c = z + 3. Is 0 at least c?
True
Let n = -11 + 8. Let j = n - -5. Is -0.2 less than j?
True
Let h = 2 - 0. Let g = h + -1.9. Which is smaller: -13 or g?
-13
Let w(k) = k**2 + 5*k + 4. Let b be w(-4). Suppose -2*t = -b*t. Which is bigger: 3/11 or t?
3/11
Let v(x) be the third derivative of x**5/60 - x**4/24 - x**3/6 - 3*x**2. Let t be v(3). Is t >= 5?
True
Suppose 4*l - 10 = -i + 3, -l = 2*i - 5. Let d = -4 - -3. Let u = 0 + d. Is u greater than or equal to l?
False
Let f = 4 - 4.17. Let o = -0.17 - f. Let m = -3 + 2.8. Is o at least as big as m?
True
Let g be (-5)/(-2)*12/45. Is -5 at least as big as g?
False
Suppose -5*j - 17 = 33. Is -1 less than j?
False
Let m = -11 - -6. Let p = -3.4 + 3.6. Which is greater: m or p?
p
Let d(w) = w - 23. Let k be d(11). Which is smaller: 2 or k?
k
Let j = -0.26 + 0.06. Let h = 1.2 + j. Let c = -1956/11 + 178. Is h <= c?
False
Let a be (-10)/(-36)*87/(-45). Let q = 1/27 + a. Is q >= 2/7?
False
Let t = 19 - 22. Is t greater than -0.02?
False
Let y = -153 - -1069/7. Let n be ((-8)/12 + 0)*18. Let p = n - -13. Which is greater: p or y?
p
Let j be (-188)/(-95) + (4 - (8 - 2)). Which is bigger: -1 or j?
j
Let a = -1157/7 - -165. Let y be 12/(-2)*4/(-6). Suppose 5*s - 5*t = 10, -y*s - 2*t = 5 + 5. Are a and s equal?
False
Let z = 1 - 6. Let h = z - -5.4. Let p = -80.9 + 81. Which is smaller: p or h?
p
Let k be (1/(-3))/((-2)/12). Suppose -k*f - 2*z = -12, 6*f + 4*z - 25 = f. Which is smaller: 2/7 or f?
2/7
Suppose -3*a - 2 = 5*h - 0*a, 5*a + 28 = 4*h. Suppose -2*t + 3 = 1. Are t and h equal?
False
Let p(j) = 5*j**3 + j**2 - j - 2. Let l be p(2). Suppose 14*s - 9*s = -l. Are s and -7 unequal?
True
Let v = 298 + -2081/7. Which is greater: v or 0?
v
Let n = -1 - -2. Let x be 56/6 - 5/15. Let c be ((-4)/42)/((-3)/x). Is n > c?
True
Suppose -5 = r - 3, -c + 10 = -4*r. Let t(g) = -4*g - c*g - 4 - 4 + 0*g**2 + g**2. Let h be t(7). Is h < -4/3?
False
Let t be 1/((-4)/(21*4)). Which is bigger: -20 or t?
-20
Let w be (-1)/2*0/1. Suppose -2*i + 20 = -2*c, 5*i + 3*c - 18 = -w*i. Let b = -6 + i. Is b greater than 2/3?
False
Let c = 0.07 + -0.07. Let o = c + -2. Let h = o - -1. Which is smaller: 2 or h?
h
Suppose -2*h + 16 - 126 = 0. Let p = -1537/28 - h. Let r = p - -11/28. Is 2 at most r?
False
Let n = 12083 + -36562/3. Let q = -8147/78 - n. Let c = 31/182 - q. Is c less than 0?
False
Let n be 5/(-18) + (-4)/18. Suppose -2*w = 3*d + 6, -3*d - 5 = -2*w + 1. Do n and d have the same value?
False
Let f be -3 + 3 + (-1 - -5). Is 4 less than f?
False
Let b be -3 - (14/(-2) - -2). Suppose g + 3 = d, -b*g + 49 = 5*d + 13. Is 4 bigger than d?
False
Let u be ((-2)/6)/(4/(-6)). Is 0.2 not equal to u?
True
Suppose 4*h + 3*q = 9, -1 - 14 = 5*h - 5*q. Suppose h = 4*j + j. Let l = 7/23 - -41/92. Which is smaller: j or l?
j
Suppose 0 = -4*v + 2*v + 2. Let u be v - (-4)/(152/(-42)). Is u != 0?
True
Let v be (-45)/(-7) + (6 + 0)/(-2). Which is bigger: 3 or v?
v
Suppose 2*r + 3*r - 5 = 0. Let g = -1 + 3. Let c be ((g + 0)*1)/(-13). Which is smaller: c or r?
c
Let z = 0.1 - 0.5. Let w = -6.3 + 6. Let b = w - z. Is -1 >= b?
False
Let b = -10.3 - -10.4. Which is smaller: -92 or b?
-92
Let z = -6 - -6. Is -0.01 greater than or equal to z?
False
Suppose 0 = t + 3*t + 44. Which is smaller: -12 or t?
-12
Let d = 3 - -1. Which is bigger: 18/7 or d?
d
Let c be ((-80)/6 - -2) + 5/15. Which is smaller: -7 or c?
c
Let n be 1 + -1 + (-1 - -2). Let t = 11 - 5. Let i(v) = -2*v + 12. Let h be i(t). Which is bigger: n or h?
n
Let p(g) = 2*g + g**2 - 3*g + 6 + 7*g. Let w be p(-5). Let o be (1/(1 + -2))/(-1). Is o <= w?
True
Suppose 3*l + 10 = 16. Let i be (l/6)/(6/(-18)). Let a = 4 - 2. Which is smaller: i or a?
i
Let v = 2 - 5. Let f be (2 + (-132)/63)*v. Let u be 4/(-18) - 35/(-441). Which is bigger: f or u?
f
Let s = 0.45 + -0.5. Let m = -0.15 + s. Which is smaller: -2/7 or m?
-2/7
Let a = 0.1 + -1.1. Suppose -12*u + 13*u = 0. Suppose 3*m + j - 5 = -u*j, -3*j = -15. Does a = m?
False
Let y be (4 - 1)/((-63)/(-6)). Is y smaller than -3/11?
False
Suppose -3 = 6*i - i + 4*k, 4*i = 3*k + 10. Which is smaller: 2/5 or i?
2/5
Suppose -4*t = 4*o - 12 - 28, 5*o - 30 = -3*t. Suppose w + 0*y + 2*y - 5 = 0, t = 5*w - 5*y. Let k = 4 + -2. Are k and w equal?
False
Let j = -2 + 5. Suppose 0*v + v - 3 = k, j*k + 4*v = 12. Let p be ((-12)/(-56))/((-6)/(-8)). Is k > p?
False
Let u = -3 - -1. Let r be 0/2 - -2 - u. Suppose -23 = -5*k + r*y, -k = 4*y + 4 + 1. Which is smaller: k or 4?
k
Let c be 5 - (-1 - -1 - -1). Suppose 5*s = -6 - 9. Let t = s + c. Which is bigger: t or 2?
2
Let n(m) = m**2 + 7*m + 4. Let z be -2*(-14)/8*-2. Let k be n(z). Suppose 0*q + 4*q = k. Which is greater: 1/2 or q?
q
Let r = 124.8 + -113. Let u = -12 + r. Let t = -4 + 6. Which is bigger: t or u?
t
Let w = -6 - -3. Suppose 4*a - 8 = 2*s, 2*s + 3*a + 2 = 1. Which is smaller: s or w?
w
Let c = -2 - 6. Let k be 12/10*(-4)/c. Which is smaller: k or 1?
k
Suppose -2*b - 3*u - 3 - 3 = 0, -2*b - 4*u - 8 = 0. Let n = -170/3 - -58. Is n < b?
False
Let t = 5/12 - 3/4. Which is greater: 3/4 or t?
3/4
Let h = -10 + 14. Suppose h*w + 35 = 2*f - 1, 3*w - 5*f = -34. Let v be (4/w)/(1/6). Is -3 < v?
False
Let f = -0.3 - -4.3. Let p = -26/105 - 3/35. Do f and p have different values?
True
Let q = -85020 - -251969/3. Let p = -1045 - q. Let g = p + 15. Is -1 <= g?
True
Suppose i - 9 = 4*i. Let q = 4 + i. Is 3/10 greater than or equal to q?
False
Let f = 5 - 6. Let u = 1.6 + f. Let o = u + 1.4. Do 2/3 and o have different values?
True
Let x = -49/20 - -6/5. Which is bigger: -1/3 or x?
-1/3
Let b(c) = -c**3 - 3*c**2 + c + 2. Let f be b(-3). Let a be 2/2*(-8 + 5). Let p be f + a*6/(-9). Which is bigger: -1 or p?
p
Let a = 131 - 139.1. Let p = a - -8. Is p less than -11?
False
Let d(s) = 4*s - 5 + s**2 - 1 + 4. Let p be d(-5). Suppose -3*q - 6 = -p. Is q less than -2/17?
True
Let w = -26 + 17. Let n = 15.3 + -2.3. Let f = n + w. Which is smaller: f or -0.2?
-0.2
Suppose -3*k - 25 = 2*k. Let c be ((-4)/k)/(6/15). Suppose 0*j = c*j. Is j > -2?
True
Let u = -2.88 + -0.12. Is u not equal to 0.2?
True
Let r = 24 - 23.9. Let y = 0.17 + -8.17. Is y at most r?
True
Let n(s) = -s + 7. Let h be n(9). Let g be (-14