 greater: x or -12?
x
Let w = -52 + 83. Let j = w - 123/4. Let k = -11 + 8. Which is smaller: j or k?
k
Let u = 133 - 126. Are 1 and u non-equal?
True
Let z = 75 + -126. Which is smaller: z or 2?
z
Let i = 0.6 + -2.6. Let c = i + 3. Let u = -224 + 223.8. Is u less than or equal to c?
True
Let w be ((-2)/6)/(3/9). Let b = 3 + w. Is b at least as big as 2?
True
Let j be (-1)/(-5) - (-19)/(-45). Let z = -15 - -15.1. Which is greater: j or z?
z
Suppose 0*r + 4*r = 0, 1 = z + 2*r. Let i be -1 + (z/1 - 1). Which is bigger: i or -3?
i
Suppose 3*w - 6*w = -60. Let j = w - 16. Which is smaller: j or 5?
j
Let a = -0.016 - -6.016. Let v = 0.2 - 0. Is a != v?
True
Let d(r) = r**2 + 7*r + 3. Let w be d(-6). Which is smaller: -6 or w?
-6
Let z = -199 + 334. Which is greater: z or 134?
z
Let l(w) = w - 7. Let f = 3 - -6. Let j be l(f). Let s be 3 - 4 - 0/j. Are -2 and s equal?
False
Let c be -1 - 0 - (-196)/(-144). Let v = -5/36 + c. Which is bigger: -4 or v?
v
Let y = -25 - -39. Let p be 6/y - (-96)/(-28). Do 1 and p have the same value?
False
Suppose -7*v = -3*v - 4. Is v > -2/11?
True
Let c = -0.045 + -4.755. Let u = -0.2 + c. Which is smaller: u or 1?
u
Suppose -b = 3*b. Let m = b + 0. Let z be (4 + -4)*(-1 + m). Is 0 > z?
False
Let h = -179 - -2863/16. Which is smaller: 1 or h?
h
Let z = 48 - 54.4. Let d = z + 6. Let a = d - -0.4. Is a at most 0.2?
True
Suppose -4*h + 13 - 5 = 0. Which is greater: 0.05 or h?
h
Let s = -4 + 4. Suppose 5*d = -s - 5. Let k be (d - -1)/(2/(-2)). Which is smaller: -3/4 or k?
-3/4
Suppose 2*x - 2 = 4*x. Which is smaller: -16/9 or x?
-16/9
Suppose -3*u - 3 + 12 = 0. Let v = 1 + -2. Let x = u + v. Is 1/2 <= x?
True
Suppose 4*p + 96 - 280 = 0. Suppose -i - 2*z - 4 = 0, -z = -4*i + z - p. Let x = i - -7. Which is bigger: -2 or x?
-2
Let o = -84 - -418/5. Is o <= -0.2?
True
Let f = -2 + 6. Is f > 5?
False
Let u = -17.2 + 3.2. Let r = -13.8 - u. Which is smaller: -0.5 or r?
-0.5
Suppose 5*l - 2*v + 3*v = -9, 5*l - 3*v + 13 = 0. Which is smaller: -3 or l?
-3
Let h = -38/9 + 347/63. Is 0 >= h?
False
Let m be -1 + 0 - (-1 + -1). Let n be (1 + m)*7/(-10). Let p = -37/30 - n. Is p at least as big as -1?
True
Let r = -6 + 8. Suppose 2*m + 0 = -4*y + 2, 3*y + 5*m = 5. Let s = y - r. Do s and -2 have the same value?
True
Let x = 353 - 502. Which is smaller: x or -0.1?
x
Let v be (-3)/18 - 13/(-6). Suppose -6*x + v*x - 2 = -z, -2*z = -4*x. Let p = 2 + -3. Which is smaller: p or z?
z
Let d = 0.35 + 0.05. Is -1 at most as big as d?
True
Let i be 4*-3*3/36. Which is smaller: -2 or i?
-2
Let a = 3.7 - 0.2. Let s = a - 0.5. Is 0 at most as big as s?
True
Let s = -58/13 + 425/104. Which is smaller: s or -1?
-1
Let f = 7 - 12. Is f at least as big as -5?
True
Let k = -22 - -48. Is 26 smaller than k?
False
Let z(p) = p**3 - 7*p**2 - 9*p + 12. Let r be z(8). Suppose r*h - 3 = -2*o - o, 3 = 3*o + h. Let d = 58/7 - 239/28. Is o at most as big as d?
False
Let r = 5/66 - -8809/462. Let p = 25/21 + r. Let u = 20 - p. Is u at most -1?
False
Let f = -0.7 - 3.3. Let n = -2 - f. Is n <= 0.3?
False
Let o = 0 + 1.2. Let s = 0.2 - o. Which is greater: 2/3 or s?
2/3
Let w = -5.42 - 0.78. Let s = w - -6. Is 2 equal to s?
False
Let y = -123/325 - 2/325. Which is bigger: y or 0?
0
Let f = 3 - 2. Let z be 0 - f*(-2)/(-24). Let j be 1 - 0/(3/(-1)). Which is smaller: j or z?
z
Suppose 12 = -2*m - 4*f, -3*m = 2*m - 2*f - 18. Let h be (-1 - m) + (3 - 0). Which is smaller: h or 1/2?
h
Let n(f) = f**2 - 4*f + 4. Let c be (-1)/(-4) - (-11)/4. Let a be n(c). Is 14/9 < a?
False
Let x = -3 - -3.1. Let d(h) = -h - 1. Let k(y) = 4*y + 8. Let n(p) = 3*d(p) + k(p). Let c be n(-9). Which is smaller: c or x?
c
Let n(l) = l**2 + 2*l + 4. Let g be n(-4). Let c = g + -12. Is 0 less than c?
False
Let h(y) = y - 1. Let z be h(4). Suppose -4*m = -5*m + 2. Do z and m have the same value?
False
Let w(f) = -2*f**2 + 2*f**2 - 6*f - 10 - 4*f - f**2. Let y be w(-9). Which is smaller: y or -2/7?
y
Let h = 269.8 - 298. Let j = 26 + h. Let t = -0.2 - j. Is 0 at most as big as t?
True
Let d = 16 + 13. Is 29 greater than or equal to d?
True
Let i = -1.9 - -2. Let p = 8 - 5. Let k be 18/(-20) - p/(-6). Are k and i equal?
False
Let t = 0.8 + -1.8. Let l be (1/(-2))/(8/6). Is t < l?
True
Let h = 2 + -5. Let u = -2 - h. Let d be 75/20 + -3 - 19/36. Which is greater: d or u?
u
Let q(w) = 5*w + 0 + w**2 - 3*w + 1. Let v be q(-3). Let x be (-3)/2 + (-2)/v. Which is smaller: x or -3/5?
x
Let t be (-1)/3 + (-4)/(-3). Is -1/42 equal to t?
False
Suppose -7*i + 42 = -6*i. Which is greater: i or 41?
i
Let n(b) = -b**2 - 4*b + 12. Let j be n(-6). Which is bigger: -6/11 or j?
j
Let g = 6 - 8. Let c be 1/2 + g/2. Which is smaller: c or -0.4?
c
Suppose v - 5818 = -5*t, -3*t + 2*v + 3490 = 3*v. Let i be ((-2)/(-368))/(15/t). Let m = i - 1/46. Which is greater: m or 1?
1
Let n be -3 - -3 - (-4)/2. Suppose -5*d + 2*u - n = -4*d, u = 2*d + 19. Let s be (-1)/d*24/9. Is 0 equal to s?
False
Let x be ((-4)/(-22))/(2/(-6)). Let v be ((-2)/(-3))/((-35)/21). Which is smaller: x or v?
x
Suppose 14 = 4*y - 10. Let n(k) = -k**2 + k. Let x be n(2). Let w = y + x. Is w > 4?
False
Let d = 169/189 - 1/27. Suppose 0 = -3*w - 2*w. Which is greater: w or d?
d
Let g = 4/5 + -13/10. Which is smaller: g or -2?
-2
Let m(h) = -h**2 + 7*h - 4. Let k be m(6). Let w(b) = b + 2. Let o be w(0). Let a = o - k. Is a <= 3/5?
True
Suppose -6*p - 7*p = -65. Is p equal to 2?
False
Let t = -7 + 9. Suppose 4 + 2 = t*c. Are 5 and c equal?
False
Suppose -22*o = -o + 1239. Is -59 at least o?
True
Let z(f) = f**2 - 4*f + 2. Let o(u) = 6*u**2 - 21*u + 10. Let n(r) = 2*o(r) - 11*z(r). Let k be n(-3). Does k = -18?
False
Let m = 3/8 - 25/24. Let x = -9 + 5. Let d = -4 - x. Which is bigger: d or m?
d
Let q = -8 - -7. Let n be (-1)/(4 + q - 8). Which is smaller: 0 or n?
0
Suppose 2*n - 8 = -2. Suppose -2 = -5*x + n. Let y be 2 + (0 - (1 + x)). Is y at least -1/4?
True
Let a(u) be the third derivative of u**6/120 + u**5/20 - u**4/24 - 4*u**2. Let n be a(-3). Is 0 at most as big as n?
True
Suppose -3*v - 2*o + 2 = 0, -o = -1 - 0. Is -1/181 less than v?
True
Let p = 11 + -11. Which is smaller: -1 or p?
-1
Suppose -v + 2 = f - 3, -5*f = v - 17. Suppose -4 = 5*g - f*g. Which is smaller: -9 or g?
-9
Let m be (-7)/(-15) - (-1 - -2)*1. Which is smaller: m or -2?
-2
Let n(k) = k**3 + 7*k**2 + 7*k + 6. Let g be n(-6). Suppose -5*w + 2*w = 0. Let s be 2/(-5) + w/3. Is s < g?
True
Let p be 4/2 - (0 + -56). Let g be 8/(-36) + p/18. Let m = g - 3. Is m != 2/9?
True
Let s be 35/60*6/21. Which is smaller: 1 or s?
s
Suppose -6*p + 5 = -11*p. Which is smaller: 3/52 or p?
p
Let b be (2 - 5)/(-1 - 0). Suppose 0*c - b = c, 5*c + 17 = -2*p. Which is bigger: -8/11 or p?
-8/11
Let m be 5/35 + (-76)/(-7). Let i = m + -10. Let y be ((-1)/6)/((-4)/9). Are y and i equal?
False
Let g(t) = t**2 + 7*t - 1. Let b be g(-8). Let s = b + -2. Let f = s - 5. Do f and -1 have different values?
True
Let j(m) = -6*m**2 + 29*m + 7. Let g be j(5). Which is smaller: 4 or g?
g
Let d = -88 - -86. Which is greater: -5 or d?
d
Let x = 0.04 + 2.16. Let n = 2 - x. Which is greater: 2 or n?
2
Let w(v) = -v + 2. Let j be w(2). Let c be (-1 - -1) + -6 + 7. Let r be -1*c*2/(-6). Which is smaller: j or r?
j
Suppose 3*h = 3*t - 4*t + 13, 2*h - 4 = -3*t. Let v be -2 - (-21)/(3 + 0). Suppose -v - 1 = 2*s. Which is smaller: s or t?
s
Let n = 41/51 - 8/17. Let v = n + 1/15. Which is smaller: v or -1?
-1
Let m be (5/(-10))/(2/(-4)). Which is smaller: m or 24/17?
m
Let s(m) be the first derivative of -2*m**3/3 + m**2/2 - 2. Let f be s(1). Let d be (-1 - f)/(2 - 1). Which is greater: d or 1/5?
1/5
Let a be (-1 + 1)/(-1 + 2). Let f be -4 - (-4 - 3/(-33)). Are f and a unequal?
True
Suppose 2*c = -0 + 2. Which is smaller: 3 or c?
c
Let z(k) = k**2 + 2*k - 2 - 3*k - 7*k + 0*k**2. Let o be z(8). Which is smaller: -3 or o?
-3
Let k(n) = 0*n**2 - 3*n**2 - 1 + n - 2*n**2 - n**3 + 0*n. Let a be k(-5). Which is greater: -5 or a?
-5
Let t = -0.191 + -0.109. Which is smaller: t or -8/9?
-8/9
Let w(s) = -s**2 - 6*s + 2. Let j be w(-6). Let l(u) = -u - 7. Let r be l(-7). Suppose r = -j*b + 3*b + y - 4, 2*b + 4*y = 14. Does 3 = b?
False
Let d = -2 + 0. Let p = -2.136 - -0.036. Let t = d - p. Is -2 at most as big as t?
True
Let i = -