ler: r or -1/2?
-1/2
Suppose -2*t - 3*j = -2*j - 6, -9 = -t + j. Let w be (-11)/t + 3/15. Which is smaller: -1 or w?
w
Let d = 0.01 - -4.99. Let n = d + 0. Is n >= 1/3?
True
Let s = -5406227689/1358 - -3981021. Let w = -1/194 - s. Is 1 < w?
False
Let q be 2/12 - 3/18. Let t be (-2 - q) + 21/12. Which is smaller: 0 or t?
t
Suppose -4*a + 10 = -9*a. Is -2/15 greater than a?
True
Let h = -122 - -115.1. Let k = 10 + -3. Let b = k + h. Are b and -0.07 equal?
False
Let y = 53 - 899. Let b be (-1 - -4)*12/y. Is b not equal to -1?
True
Suppose -n - 4*t = 0, -4*n + 3*t - 69 = n. Is -14 less than n?
True
Suppose b + 3*h = -14, 4*b - 2*h - 12 = 3*h. Let s be (b/(-12))/((-1)/(-2)). Let f = 1 + -1. Which is smaller: s or f?
f
Suppose 0 = -2*n - 2 - 10. Let k be -2*(-2)/n*-3. Let t be (-1*k - -2) + 0. Which is smaller: t or 2/13?
t
Let i be 3 + 20 + (-2)/(-2). Is 24 greater than i?
False
Let v = -10 - -2. Let n = v + 10. Which is smaller: n or 5?
n
Let s = 79/1419 - 5/43. Let u = -25 + 24. Is u greater than s?
False
Let j = -5 - -3. Let k = j - -2.8. Let l = k - -0.2. Is l <= 0.2?
False
Let s = -119 + 127. Is -2 equal to s?
False
Suppose 6*d = 3*d + 6. Let q be (-29)/22 - d/11. Let a be -2*(-3)/(-9)*3. Is q != a?
True
Let k(s) be the first derivative of -s**2 - 3*s + 1. Let d be k(-4). Let x be 2/(-6) - d/75. Is -0.4 greater than x?
False
Let a = 26 - 25.9. Which is bigger: a or -1?
a
Let b be 1 - (-2 + 5) - 2. Let z be 2/3*6/b. Let p = z + 3. Is 1/2 < p?
True
Let j = -13 + 21. Which is smaller: 9 or j?
j
Let u be 3 + -3 + 4/2. Suppose -w + 1 = 4*i + 10, -2 = u*w. Let g be i/(-12)*(-12)/(-6). Which is greater: g or -5?
g
Suppose 3*v = -8 - 1. Let c = -13 - -16. Suppose b - 4 = -c*s, 0*b + 2*s - 12 = 4*b. Do v and b have the same value?
False
Let m = 16 - 11. Suppose 0 = -m*h - g - 5, -4*h + 9 - 27 = -2*g. Let l be -3 + -1 + h/(-1). Do -3/2 and l have the same value?
False
Let u be (1 - (-21)/(-27))*(-5)/25. Which is smaller: u or 1?
u
Let r(y) = -y**3 - 6*y**2 + 6*y + 6. Let m be r(-7). Suppose -1 = -3*w - m. Which is bigger: w or -5?
w
Let a be ((-1)/1 + 2)*2. Suppose z = a*z. Is 0 greater than or equal to z?
True
Let l = -157 + 165.1. Let c = 8 - l. Are -9 and c nonequal?
True
Let s = 19 - 19. Let l be -15 - -1 - (s + -3). Is -10 != l?
True
Let d be ((-4)/(-6))/((-30)/585). Which is bigger: d or -16?
d
Let c = -0.92 + -0.18. Let m = c - -1. Which is bigger: -2/7 or m?
m
Let t = 0.38 - -0.12. Let f = t - 0.4. Which is greater: f or -2/17?
f
Let o be 4/8*5/3. Which is bigger: o or 2?
2
Suppose 0 = -5*p + 3*u + 9, 2*p = 4*p - 5*u + 4. Let l be p + (-1 - (-2 + 2)). Let j(x) = -x**3 + 2*x**2 + 2. Let o be j(2). Do o and l have different values?
False
Suppose -c - 3 = -v, -15 = -3*c - 13*v + 8*v. Is -3/8 < c?
True
Suppose 2*y + 2 = -3*c, -2*c - 5*y = -3*c - 29. Let x be -1 - 0 - (-1)/(-1). Is c < x?
True
Let j = -4 + 6. Suppose 2*g - 7 = -3*u, 2*u + j*g - 12 = -3*g. Is 1 at most u?
True
Suppose -5 = -4*w + 27. Suppose 4*r - 32 = -5*v, -r - 4*r = 4*v - 22. Are w and v unequal?
False
Suppose h = -2*k + 28, k + 3*h + 33 = 4*k. Is 71/5 at least as big as k?
True
Let s(l) = -l + 2. Let c be (-2)/5 + 4/10. Let f be s(c). Let d(g) = -2*g - 16. Let r be d(-9). Is r equal to f?
True
Let g be 18/(-6) + (1 - -1). Which is bigger: g or 6/17?
6/17
Let p = 1.27 + -1.3. Let a = p + -5.97. Which is smaller: a or -2/7?
a
Let y(h) = h**3 - 4*h**2 - 15*h + 4. Let k be y(6). Is -13 at most k?
False
Let b be (2*(-6)/(-192))/(-1). Which is bigger: b or -2/7?
b
Let i = -0.5 + 1.5. Let x = 2 + i. Let c = x - 2.9. Is 3 equal to c?
False
Let w(c) = c**3 + 5*c**2 + 2*c + 12. Suppose -3*x + 0 = 15. Let i be w(x). Is 2 at most as big as i?
True
Suppose 3*y = -y - 8. Let l be -2 - (-3 + -1 - -1). Let w = -2 - l. Which is smaller: y or w?
w
Suppose -3*c + 10 = -f + 3, 5*c - 13 = 3*f. Let d = -2 + f. Let k be ((-6)/8)/(d + 0). Are k and 1 non-equal?
True
Suppose 5*v - 3*v - 12 = 4*r, -3*r + 1 = -4*v. Suppose -3*u + 0*u = -12. Let n = -5 + u. Which is bigger: n or v?
n
Let l(j) = -2*j - 5. Let i be l(5). Let z be 5/i + (-5)/3. Let k = z + 5. Is 2 greater than or equal to k?
False
Let s = 105/452 - -2/113. Let b = 5 - 4.93. Let u = b - 0.37. Which is smaller: s or u?
u
Let p(j) = 3*j**2. Let l be p(-1). Let n = 9 - 8. Let f be (-1 - (3 + -6))*n. Which is bigger: l or f?
l
Suppose -10 = -p - z + 4*z, 0 = 4*p + 5*z - 6. Let t be (p/((-8)/(-3)))/(-3). Is -1 at most as big as t?
True
Let i be (2 + 0)/2 - 3. Let z(o) = 2*o + 2. Let v be z(i). Are -2 and v equal?
True
Suppose -h - 6 = -2*v, 0 = -3*v + 6*h - 2*h + 4. Suppose -21 = 2*m + 5*z, -2*z = -v*m + 5 + 13. Is 1 bigger than m?
False
Let g = 0.67 + -0.8. Let r = 0.08 + g. Is -0.1 != r?
True
Suppose 3*a + 144 = -2*x, 5*x + 255 = -4*a - 91. Is -66 bigger than x?
False
Suppose 3*t = -2*b + 12, t - 3 = -5*b + 14. Suppose 5*z - 3 = 2*z. Let h = t + z. Is h at most 3?
True
Let s = 5 - 7. Let m be 15399/(-42)*2/3. Let p = -245 - m. Which is bigger: s or p?
p
Let c = -28 - -6. Let k = -23 - c. Is 1/12 at least as big as k?
True
Let j be (-5 - 306)/(127 - 1). Let h = 2/63 - j. Which is smaller: h or 4?
h
Suppose -364 = o - 4532. Let j = -20654/5 + o. Let h = 37 - j. Which is smaller: -1 or h?
-1
Suppose -b - 2*b = -5*d - 10, 2*b - 8 = 2*d. Which is greater: d or -0.07?
d
Let x = -15 - -17. Suppose 2*k = -3*l + x*l - 13, -5*l = -3*k - 13. Which is greater: k or -7?
k
Let y = 0.2 + 0.8. Which is bigger: 0.1 or y?
y
Let f(t) = t**2 + t + 3. Let w be -7*1 - (-4)/2. Let a(z) = z**2 + 3. Let y(p) = w*f(p) + 6*a(p). Let x be y(5). Which is smaller: 2/7 or x?
2/7
Suppose -2*d + 5*q - 11 = 0, 5*d + 4*q - 19 = 3. Suppose 4*p + 0*i + 9 = 3*i, 6 = -p + d*i. Let y be 2/2 - 2/2. Are p and y nonequal?
False
Let z(d) = d**3 - 6*d**2 + 3. Let x be z(6). Is -1 bigger than x?
False
Let t(u) = u - 4. Let w be t(9). Suppose -3*o + w = -4*o + 2*s, 0 = o - s + 2. Let i be 1/4 + 14/(-24). Is o equal to i?
False
Let d = 1 + -3. Which is bigger: 0 or d?
0
Let b be (-6)/(-2) + (0 - 3). Let t be 0 - b - (0 - 1). Let j be 87/120 - (-3)/(-5). Which is greater: j or t?
t
Let j be -2*2/12*8/16. Which is smaller: j or 0?
j
Let s = -127/3 - -42. Let b be 9*(-2 + 7/3). Let p(g) = -g + 4. Let v be p(b). Are s and v non-equal?
True
Suppose -152 = 3*v + l, 5*v + 14*l - 13*l = -254. Is -50 at least v?
True
Suppose 5*u - 15 = b, 0 = 4*u - 2*u - b - 9. Let h be ((-2)/4)/(5/u). Let t = -135 + 135. Which is bigger: h or t?
t
Let f(m) = -m + 11. Let i be f(6). Let v be (-2)/i*(-50)/30. Suppose w + 19 = y - 5*y, -3*w - 5*y = 22. Which is smaller: w or v?
v
Let k be 5 - 70/15 - 43/(-15). Which is smaller: k or 1?
1
Let a = 51 + -23. Suppose 0 = -0*n + 4*n - a. Is 7 less than n?
False
Let g = 1 + -1.04. Let q = g + 0.14. Which is greater: q or 1/3?
1/3
Suppose -3*x + 4*z = -x - 10, 0 = 2*x + 3*z - 3. Let l = 0 - x. Are l and -2 non-equal?
True
Suppose -2*s + 6*s = -8. Suppose 17 = -4*g + 3*j + 4, 11 = 4*g + 5*j. Which is bigger: s or g?
g
Suppose -2*b = -2*y + 4, 0 = -3*b + 5*y - 8 - 2. Which is smaller: -1/2 or b?
-1/2
Let m = 5 - 3. Let g(o) = 0 - 3 + m - o. Let z be g(1). Is z greater than or equal to -3?
True
Let m(b) = -3*b - 8. Let r be m(-12). Is r greater than 27?
True
Let p = -13 + 8. Let a be (p/(-30))/(2/(-6)). Which is bigger: a or -2?
a
Let k = -8 - -10. Let g be 2/5*(-30)/(-8). Is k at most g?
False
Let j = -10 - -13. Which is greater: j or -0.1?
j
Let p(n) = -n**3 + 24*n**2 - 43*n - 24. Let x be p(22). Let m(j) = -j - 10. Let s be m(-5). Let l = 3 + s. Is l <= x?
True
Suppose 4*p - p = 0. Let b be p - -1 - (-2 - -3). Is b smaller than -1?
False
Let g = -3253/3918 + -2/653. Let q = 1/2 + g. Let o = 2 + -1.8. Which is bigger: q or o?
o
Let c = 439/77 - 38/7. Which is smaller: -2/3 or c?
-2/3
Let n(a) = a**3 + 2*a**2 - 4*a + 1. Let r be n(-3). Is r greater than 4?
False
Let y(q) = 9*q**2 - q. Suppose -3*a = 2*a + 5. Let p be y(a). Let k be ((-4)/20)/(4/p). Which is bigger: k or -2?
k
Suppose -5*v + 2 = -8. Suppose -v = -2*t - 6. Is 0 > t?
True
Let g(j) = j**2 - 18*j + 47. Let l be g(16). Which is greater: l or -1?
l
Let d = -0.011 - 3.289. Let x = d - -3. Let b = x - -0.5. Which is greater: b or 0.1?
b
Let f = 8 - 7.94. Let x = -0.34 - f. Let g = -0.5 - x. Is g < -1?
False
Let v(s) = 