ter than f?
True
Let k(d) = d**2 + 4*d. Let s(o) = -o + 2. Let h be s(6). Let b be k(h). Suppose b = -0*f + f. Do f and -0.3 have different values?
True
Let k = 13 + -14. Which is greater: 1/23 or k?
1/23
Let k(i) = i**2 - 3*i - 1. Let d be k(4). Let j be (-2)/15*(0 + d). Which is smaller: 1 or j?
j
Let w be (1/2)/((-105)/(-60)). Which is greater: -7.2 or w?
w
Let d = 48 + -80. Let w = d + 65/2. Which is smaller: w or -3?
-3
Let j(w) = w - 1. Let v be j(4). Let y = 7 - 6. Is y <= v?
True
Let m be (-2 - 2)*(-1)/98. Which is smaller: 1 or m?
m
Let f be -1 + (0 - 0) + (-78)/(-24). Which is smaller: f or -2/7?
-2/7
Let b = -0.5 - -0.5. Let f = b - -0.7. Let t = 0.3 + f. Is -1 at least as big as t?
False
Let w be -2*1/(-6)*1. Let s = 3 + 1. Let j = s - 3. Is j less than w?
False
Let u be ((-10)/(-15))/((-1)/6). Let q = u - -2. Is -3 smaller than q?
True
Let o be 13*(-2 + 4)/(-2). Let u = -5 + o. Let w = 35/2 + u. Is 0 greater than w?
True
Let t be (6/15)/((-2)/(-10)). Let b(i) = -2*i**2 + 12*i + 15. Let j be b(7). Which is smaller: j or t?
j
Suppose -4*i = -0*i. Let n be 17 - 3 - i/1. Let y be 20/15*3/n. Which is smaller: y or 0?
0
Let s(j) = j**3 - 23*j**2 - 23*j - 21. Let h be s(24). Which is bigger: 6 or h?
6
Suppose h + 42 = -h - 5*t, 0 = -3*t - 12. Which is greater: -10 or h?
-10
Let d(x) = -2*x + 2. Let w be d(0). Let l be 1/1 - (6 - 2). Let r = w + l. Which is smaller: 1/4 or r?
r
Let u = -3 + 3. Let d = -69 + 72. Which is smaller: d or u?
u
Suppose -2*u - 4*u = 0. Which is smaller: -4/13 or u?
-4/13
Let n = 26 + -48. Which is bigger: n or 2?
2
Let d = -2959/40 - -74. Which is smaller: -1 or d?
-1
Let h = -28 + 12. Let v = h - -9. Is -1/2 != v?
True
Let t = 6.8 + -13.6. Which is smaller: t or -2?
t
Let y(h) = -3*h**2 - h. Let d be y(-1). Let l = 1 + 3. Suppose l*g = u - 12, 2*u + 5*g = u - 24. Is d at least u?
True
Let b be (6/21)/(12/7). Let a be (-1 - 1)/(2 - 0). Is a > b?
False
Let n = -5 + 13. Suppose n = r - 3*r. Let v be (-3)/(0 - (-3)/r). Are 4 and v nonequal?
False
Let t = 0.14 + -0.04. Let y be (-3)/(-2) + (-2)/(-4). Does t = y?
False
Let y(s) = -s + 2. Let k be y(4). Let p be -1 - 1 - 2*-2. Let j be (p/(-6))/(6/18). Is j greater than k?
True
Let j = 11 + -10. Let h = -3 + j. Let x = -0.2 - -0.1. Is x less than h?
False
Let f = 57 - 58. Which is bigger: 2/49 or f?
2/49
Let f be 1 + 0 - 133/119. Which is bigger: -1 or f?
f
Let q(o) = o**2 + 17*o - 11. Let l be q(-17). Is -5 bigger than l?
True
Suppose 0 = -b + 2 - 1. Let v = 14 + -10. Let x = v + -6. Is b < x?
False
Let w = 2.895 + 0.105. Is w equal to -2?
False
Let t(y) be the second derivative of y**4/12 - y**3/3 + y**2 + 2*y. Suppose -4*g + 8 = -4. Let v be t(g). Is 5 > v?
False
Suppose -5*v + 40 = -v. Suppose 2*g = -4*k - 14, -5*k - 9 = g + v. Let f(s) = -s**3 - 4*s**2 + 2. Let n be f(-4). Is n less than or equal to g?
False
Let v = -2 - -1.5. Let z = 0.5 + v. Which is smaller: -1 or z?
-1
Let k = -77/94 - 42359/846. Let s = k + 51. Is s != 0?
True
Let t(f) = -f**3 - 3*f**2 + 8*f + 3. Let p be t(-5). Do 13 and p have the same value?
True
Let i(h) = -h**2 + 4*h - 1. Let y be (2/(-6))/((-2)/12). Suppose -y = -a, -z - 4*a = -5*z + 8. Let b be i(z). Which is smaller: 0 or b?
b
Let a(g) = -g + 2. Let m be a(2). Let l = 0 - m. Suppose -o - o + 2 = 0. Which is bigger: o or l?
o
Let c = 11 + -6. Suppose 5*i + 0*i = -5*l - 5, 5*i + 2*l + c = 0. Which is smaller: i or -3?
-3
Suppose -5*d + 5 = -5*z, -8 = -3*d - 2*z - 0*z. Suppose -d*k = -2 - 0. Is k less than or equal to 1?
True
Let s = -35319648/365 + 96766. Let f = s - 3/73. Which is bigger: 4/5 or f?
4/5
Let s = 86/3 + -29. Suppose 2*j + 9 = 11. Is s <= j?
True
Suppose u - 3*l + 22 = 6*u, 24 = 2*u + 5*l. Let z be (-24)/18*3/u. Is -10/3 at most z?
True
Suppose 15*h - 21 = 16*h. Is -21 at most as big as h?
True
Suppose 0 = -4*d + 5*d. Let p = 11849/4 - 2808. Let z = p + -155. Is z equal to d?
False
Let z = 12 - 11.9. Is -0.054 at most as big as z?
True
Suppose 0 = l + 4*s + 8 - 33, -5*s + 20 = 0. Are 7 and l nonequal?
True
Let q = 22 + -16. Suppose -4*x = 2*k + 2, 2*k = 3*x + 2*x + 16. Suppose -q*r + 6 = -k*r. Which is greater: r or 4?
4
Suppose 0 = h + 2*z + 34, 0 = -h - 3*z - 12 - 21. Let a be 2/(-5) - h/40. Which is bigger: 0 or a?
a
Let t = 18 + -16. Let p = t - 2.04. Which is smaller: p or 0?
p
Let o be -4 + 0 + -1 - -2. Let c = 8 - 13. Let k = c - o. Are k and -1 equal?
False
Suppose 3*s - 12 = s. Let d be s/(-3) - 22/(-8). Let o be -2 + (-2)/(6/(-9)). Which is bigger: o or d?
o
Let a = 21 + -36. Let u be ((-6)/a)/((-3)/(-30)). Is u < 0?
False
Suppose 0 = 5*m - 6 - 4, b = -5*m + 26. Let k(n) = -n - 6. Let o be k(-22). Is b at most as big as o?
True
Let w be 4*(176/24)/(8/3). Are w and 6 equal?
False
Let g = -1520/203 - -126/29. Is -4 bigger than g?
False
Let t be ((-268414)/4)/(1/(-42)). Let k = t + -1234435399/438. Let w = k - 1/146. Which is smaller: 2 or w?
w
Let w = -17 - -16. Do -2/73 and w have different values?
True
Let t(c) = c + 6. Let b be t(-6). Suppose b = 3*w + 2*w + 15. Let n = -92 - -88. Which is greater: w or n?
w
Let n = 9/29 + -121/203. Let b be 5/4 - 2/8. Which is smaller: n or b?
n
Let i be (-4)/222*(-678)/11. Let q = -2/3663 - i. Let o = -29/18 - q. Which is smaller: -1 or o?
-1
Let q = 21 - 22. Which is bigger: q or 1.6?
1.6
Let a = -7 + 15. Suppose 3*c = -10 - a. Is -7 at least as big as c?
False
Let l(j) = 11*j + 1. Let u be l(1). Suppose 5*m = -2*d + u, 0*m + 4*m - 30 = -5*d. Let v be 4/d + 42/(-144). Which is smaller: v or -1?
-1
Let w = -7 + 2. Let z be -1 - -1*(-3 - w). Let x = -1 + 1. Which is smaller: z or x?
x
Let y(q) = 4*q**2 - q + 1. Let g be y(1). Let s = g + -6. Let z be 2 + s - (-6)/(-5). Which is smaller: -2 or z?
-2
Let v = 18 + 104. Is v <= 122?
True
Let p = 6.04 - 6. Which is smaller: p or 2?
p
Let u = -1.19 - -1.29. Which is smaller: u or 3/40?
3/40
Let p = -316 - -202. Let r = p - -796/7. Are r and 4 non-equal?
True
Let c be 8/40 - (-1)/(-55). Do c and -1 have the same value?
False
Suppose 0 = -o - 3, -4*o - 16 = -p + 2. Let u = p + -15. Are u and -9 non-equal?
False
Let y = -53/6 - -9. Let x = -0.3 - -0.2. Is y greater than x?
True
Let x = -100 - -102. Let r = 171/2 + -83. Is x at most as big as r?
True
Let d = 43 - 66. Which is smaller: -1 or d?
d
Let p = -0.09 + -3.91. Let q = -4 - p. Let j = -35/78 - 2/39. Is q < j?
False
Let t(n) = n**2 + 2*n - 3. Let m be t(-3). Is m < 1?
True
Let d(z) = -2*z + 4. Let g be d(5). Let y be (2/g)/((-8)/(-3)). Which is smaller: 1/2 or y?
y
Let w(v) = -8*v - 34. Let f be w(-5). Does f = 9?
False
Let d = -4 - -6. Let q be -1 + -2 + 2 + -2. Let f be d/q*-3*1. Is f > 3?
False
Let t(o) = -o**3 - 4*o**2 + 6*o + 4. Let w be t(-5). Suppose -a + 4*a - 9 = 0. Let v be 4/(-3)*a/(-30). Is v greater than or equal to w?
True
Let l = -369.9 - -386. Let k = -21 + l. Let h = -0.1 + k. Which is smaller: 0.1 or h?
h
Let f = 9.05 + -0.05. Which is smaller: f or -1?
-1
Let c = 12.1 + -12. Is -3 at least as big as c?
False
Let a = -18.1 + 18. Let i = 6 + -9. Is a < i?
False
Suppose 1 = 11*l - 10*l. Are l and -1/33 non-equal?
True
Let a = -1.1 + 0.1. Which is smaller: a or -2/17?
a
Let a be 2 + 3/(-9) - 6/9. Are 3/11 and a unequal?
True
Let m(s) = -s**2 + 16*s - 4. Let n be m(15). Let b = n + -4. Is 6 bigger than b?
False
Suppose 5*a - 2*k + 26 = 0, 12 = 5*a - k + 35. Let d be (-2 - -3) + a/4. Let n = 0.8 - -3.2. Is d less than n?
True
Let r(h) = -h + 3. Let k be r(0). Suppose k*n = 5*b + 11, -2*n + 5*b - 3*b + 2 = 0. Let u be ((-6)/8)/((-3)/(-14)). Which is smaller: u or n?
u
Let f(m) = m**2 + 5*m - 1. Let j be f(-6). Suppose -2 = j*u - 12. Let k = -2 + 1. Which is smaller: k or u?
k
Let v be 4/(-6)*(-6)/4. Let d(u) = u**2 + 2*u - 1. Let i be d(-3). Suppose b + i*b - 3 = 0. Does v = b?
True
Let f = -1.18 + -0.02. Let a = 1.1 + f. Suppose 3*i + 1 = 2*i. Which is greater: i or a?
a
Let m be 21/(-3 + (-9)/(-2)). Let k be 4/(-14) - 38/m. Suppose 4*q + 12 = -4*v, -2 - 5 = 2*q + 3*v. Do k and q have the same value?
False
Suppose 11 + 29 = 5*o. Which is greater: o or 9?
9
Let i = 403/4 - 100. Is 0 <= i?
True
Let w = 10.2 - 10. Which is smaller: -0.3 or w?
-0.3
Let c(m) = -3*m - 13. Let u be c(-4). Are -4/3 and u equal?
False
Let w = 132 - 133. Which is greater: -0.83 or w?
-0.83