r 0?
a
Let m(f) = -3*f**3 - 2*f**2 - f - 1. Let d be m(2). Let h be (-27 - 0)*d/(-3). Let v be -6*(-6)/h*5. Which is smaller: -2 or v?
-2
Let q = -43 - -44. Is 11/23 >= q?
False
Suppose 12 = -3*a - 2*d, -2*d + 7 = a - 5*d. Let c = -13 + 12. Do c and a have the same value?
False
Let i = 0.8 + -1. Let g = -0.2 - -0.7. Let q = g - 0.4. Which is bigger: i or q?
q
Let z = 24.23 - -0.77. Which is smaller: 0 or z?
0
Let o be (-1)/(-4) + 42/24. Let c be (-5)/o + 3/(-2). Is -4 bigger than c?
False
Let s = -3.1 - -2. Let c = -1 - s. Let n = -0.3 - -0.2. Which is smaller: n or c?
n
Suppose -l = -5 - 0. Let u be (-1)/(-1)*-4*-1. Suppose -g + l = y + 2*g, 0 = u*y + g + 24. Is y less than or equal to -7?
True
Let b = -57 - -56. Is b greater than or equal to 11?
False
Let b be 2/((-1)/(6/4)). Let o = 2 + b. Let i(g) = -g**2 + 7*g. Let v be i(7). Which is smaller: o or v?
o
Let g be 18 + 0 + -4 - 2. Is g < 12?
False
Let f be 21*(-3)/36*-5. Which is smaller: f or 9?
f
Let f be (-4)/130*(13 - 8). Suppose -3 = 2*h - 3*h. Suppose -2 = h*x + 1. Which is smaller: x or f?
x
Let q = -3 - -8. Let j(w) = w**3 - 10*w**2 + w - 5. Let z be j(10). Is z at least as big as q?
True
Let r be 242/(-20) - 20/50. Let s = r + 13. Is 0 at most as big as s?
True
Let q be 4/10*30/(-36). Let p = 3 + -2. Let i = p + -1.2. Is q less than i?
True
Suppose -3*i - 3 = 9. Let y(o) = o**2 + 5*o. Let z be y(i). Let d be ((-144)/21)/z - 2. Which is greater: d or -1?
d
Let u(g) = -g**2 + 2*g. Let f be u(1). Let x be (-9)/12 - -1 - f. Which is greater: x or -1?
x
Suppose 2*j = i - 1 + 10, -3*i = 3*j - 9. Which is smaller: i or 1/4?
i
Suppose 5*h + 4 = 39. Let d = 24 - 18. Is h at least as big as d?
True
Suppose -1 - 7 = -o. Suppose 0*a - o = -4*a. Suppose 0 = a*b + b. Which is bigger: b or -1/4?
b
Let r be 2*(-4 - (-345)/87*1). Which is smaller: 0 or r?
r
Let s = 5 - 0. Suppose -8 = z + s*y, -4*z + y - 16 = 5*y. Which is bigger: z or 0.4?
0.4
Let w = -28 - -27.85. Is w < -2/5?
False
Suppose 5*w - 1 = 3*f + 4, -2*f + 5*w = 5. Suppose 5*d - 2*y + 46 = 2*y, -4*y + 4 = 2*d. Let t be 14/d + (-8)/(-4). Are f and t equal?
False
Let i = -5 + 5.3. Let v = -17 + 18. Which is bigger: v or i?
v
Let w = 32 + -29. Is w > 7/3?
True
Let z = 1 + -5. Let s = -38 + 73/2. Which is greater: s or z?
s
Let a(c) = 4*c**2 - c - 1. Let g be a(-1). Let z = g - 6. Let r(x) = -x + 11. Let m be r(13). Do m and z have different values?
False
Let u = -4 + 6. Let o be -2 - -5*u/6. Is o < 0?
True
Let h(p) = -p**2 - 4*p. Let n(a) = 2*a + 4. Let z be n(-3). Let d be h(z). Is 5/2 greater than d?
False
Let c = -5 + 27. Let n = c - 23. Is -1 equal to n?
True
Let i = -114 - -137. Which is smaller: 21 or i?
21
Let u be 4/(-2)*-1 + 93/(-51). Let v(x) = x**3 + 7*x**2 + 6*x + 1. Let q be v(-6). Which is smaller: u or q?
u
Let p(f) = f + 2. Let y be p(0). Let m be (y/(-10))/((-2)/(-1066)). Let n = 106 + m. Which is smaller: n or -2?
-2
Let h be 20/(-35)*(-21)/81. Which is greater: 0 or h?
h
Let r = -36 + 34. Which is bigger: r or -2/3?
-2/3
Let o = 10 - -14. Suppose -25 + 83 = 5*t + 2*i, 4*t - o = 4*i. Which is smaller: -0.1 or t?
-0.1
Let y = -36 - -36. Which is smaller: y or -1/44?
-1/44
Let u = 17 + -33. Which is smaller: -15 or u?
u
Suppose 4*s + s - 132 = -3*b, -28 = -s - b. Let y = 47/2 - s. Which is smaller: -3 or y?
-3
Let l = 85/6 + -29/3. Is 0.1 != l?
True
Let z(m) = -10*m + 11. Let u be z(8). Which is smaller: u or -68?
u
Let t(x) = 3*x - 11. Let r be t(5). Let f be r/35*(-55)/22. Which is greater: -1 or f?
f
Let d = 0 - 1. Let r be (d/(-5))/(4/(-5)). Let i(s) = -s**3. Let w be i(-1). Which is bigger: r or w?
w
Let t = 183 - 111. Suppose 4*r = r + t. Suppose 5*h - s = -2*s - 9, -4*h - r = 5*s. Is -2 at most h?
True
Let f = -15 - -7. Which is smaller: -7 or f?
f
Let a(m) = -m**2 + 6*m. Let h be a(6). Let z(l) = -l + 1. Let j be z(-3). Let b be j*(-1)/(-4)*1. Is h != b?
True
Let v(u) = u**2 + 10*u + 1. Let m be v(-10). Do 2/5 and m have different values?
True
Let v be 5/((-465)/(-6)) + 0. Is -1 < v?
True
Let y be (-12)/54 + 82/612. Let u = y + 143/850. Which is greater: u or 0?
u
Let w be 8 - 11 - 1/1. Which is greater: w or -18/7?
-18/7
Let z = -2 - -2. Suppose -2*n - 1 + 9 = 0. Let x = -2 + n. Which is smaller: x or z?
z
Let y = 30 + -21. Is y > 9?
False
Let a = -0.2 - -0.2. Let v = 0 + a. Let y = -61/15 + 22/5. Is v bigger than y?
False
Let g(n) = 24*n**2 - n - 1. Let a be g(-1). Suppose 0*r + a = -4*r. Which is smaller: -0.2 or r?
r
Let r = -7.796 + 0.096. Is 0 smaller than r?
False
Let w be 1/4 + (-1)/(8/(-150)). Are w and 18 non-equal?
True
Let f(s) = s**3 - 2*s**2 - s - 4. Let d be f(0). Let q(l) = -l**3 - 5*l**2 + 8*l + 7. Let z be q(-6). Is z at least as big as d?
False
Let d(h) = -9*h + h**2 - 3*h + 20*h. Let c be d(-8). Which is greater: 2 or c?
2
Let c = -0.4 - -0.2. Let a = c - -1.2. Let m = -3 - -2. Does a = m?
False
Let x be -2 - 2/((-4)/42). Suppose 19 = -4*b - 4*z + z, b - 4*z = x. Which is smaller: b or -6/11?
b
Suppose -3*d = -2*n + d + 288, -4*d - 150 = -n. Is n at most 137?
False
Let y = 9 + -11. Suppose -2*q - i - 3 = 0, i = 2*i + 3. Let s be (1*q/2)/1. Do s and y have the same value?
False
Let v be (-2)/(-3) + 20/6. Let g be (-2)/((-155)/40 + 4). Let w = -11 - g. Which is greater: v or w?
w
Let v(p) = -p**2 + 12*p - 6. Let a be v(12). Is a <= -7?
False
Let o(f) = -11*f - 22. Let l be o(-4). Which is smaller: l or -1/2?
-1/2
Let s = 1.65 - 2.25. Is s less than or equal to 5?
True
Let j(m) = -m**3 - 2*m**2 - 4*m - 3. Let a be j(-2). Suppose -n = -a*u, 4*n - u = -3*u. Suppose p + n = 1. Which is smaller: p or 2?
p
Let s = -0.48 + 0.38. Are -11 and s nonequal?
True
Let f be ((-4)/(-6))/((-2)/(-33)). Let l be (f/(-5) - -2)*2. Suppose -4*z - 2 - 2 = -4*s, 0 = -2*z. Which is smaller: s or l?
l
Let h be -4 - (242 + -1)*(-17)/1037. Is h at most as big as -1?
False
Let l = 8.498 + -0.098. Let q = l - 1.4. Let t = q - 8. Is -1 less than or equal to t?
True
Let i = 14 + -13.8. Which is greater: i or -2?
i
Let k = 0.006 - -0.094. Let m = 12.11 + -0.11. Is m bigger than k?
True
Suppose -5*q + 9 = -1. Is 12/5 equal to q?
False
Let a = 132 + -72. Suppose -i = -6*i + a. Suppose 4*z - 2*g = -i, 15 = -z - 2*z + 3*g. Is z < -2?
False
Suppose 48 = -3*a - 3*m - 0*m, 0 = a + 3*m + 6. Is a less than or equal to -20?
True
Suppose -4*j + 0 - 2 = -2*h, -3*j - 4*h = -26. Suppose -t - t = -j. Which is smaller: t or 4/3?
t
Let l = -0.19 + 0.13. Let p = -5 + 4.84. Let j = l - p. Are j and -0.1 nonequal?
True
Let j = -2735059 + 2808906330/1027. Let q = j + -2/79. Let i = -1/39 + q. Is 1 not equal to i?
True
Suppose 2*r + 0*r + 2 = -2*w, 5*w = -r - 21. Suppose r*z + 8 = -3*a, 2*z + 4 = -6*a + 3*a. Are a and -4 equal?
False
Suppose 4*b + 8 = -4*s, -2*s = -2*b + b + 1. Is b greater than or equal to 2?
False
Suppose -3*t = 2*o - 8, 2*o - 16 = t - 2*o. Suppose -y = -2*d - 2*d - 9, -2*d - 4 = t. Is -1/3 greater than or equal to y?
False
Let r = 6 + -6. Let y be ((-5)/(-10))/(39/(-12)). Which is greater: r or y?
r
Suppose 3*v - 6 = 0, 4*v - 3 = -l + 5. Suppose 0*n - n + 1 = l. Let i be 2/4*1 - n. Is i at least -2?
True
Let l = -184 + 4224/23. Is l equal to 0?
False
Let t = -19 - -83. Let u be t/(-24)*18/44. Is -1 less than u?
False
Let q be 2/2*-1*0. Suppose q = -h - 4*h. Let u be 2 - 2/((-4)/(-6)). Is u >= h?
False
Suppose 0 = 4*l + 10 - 122. Let c be ((-6)/l)/(5/40). Which is smaller: c or 2/3?
c
Let l = -2 - -3. Suppose 2*k - 3 + 9 = 0. Let s be (1 + k)*(-2)/(-1). Which is smaller: l or s?
s
Let m = 259/3 + -87. Is m not equal to 1?
True
Suppose -4*z - 10 = 6. Which is smaller: z or -9?
-9
Let k be 1/(-2)*(-2 - -1). Let u(y) = y + 10. Let t be u(-10). Let j = k + t. Is 0 less than or equal to j?
True
Let a = -30 + 16. Let c = a + 11. Which is smaller: -3/2 or c?
c
Let g be (-4*(-2)/(-108))/((-2)/6). Does 14 = g?
False
Let b = 11/2 + -45/8. Which is smaller: 2/5 or b?
b
Suppose 52*h - 47*h - 25 = 0. Which is greater: 7 or h?
7
Let s = 28 - 16. Suppose 4*o - 5*o - 34 = 4*h, -2*o - s = h. Which is bigger: -7 or h?
-7
Let l = 23 - 13. Let k = l + -14. Does -4 = k?
True
Let w(b) = b**3 - 7*b**2 + 7*b - 7. Let a be w(6). Let q be 15/51*(-3)/(-15)*-1. Which is smaller: q or a?
a
Let l be (9/(-132))/(3/26). Let g = l + 1/11. Is g < 3/7?
True
Let o