er: h or w?
h
Let c = 3 - 3.08. Let y = -1.25 + 0.17. Let o = y - c. Which is smaller: o or 2/7?
o
Suppose f - 4 = -3. Suppose 2*j + 2*i + 9 = 47, 85 = 5*j + 3*i. Let r be 2/((-32)/j) + 1. Which is bigger: f or r?
f
Let v(q) = 4*q - 106. Let u be v(21). Which is bigger: u or -17?
-17
Let d be (2 - 1)/((-1)/5). Let v be (-4 - -4) + d/(-6). Is v equal to 2?
False
Let k = 32 - 70. Is k bigger than -37?
False
Let o = 36 - 42. Which is smaller: -50/9 or o?
o
Suppose d = 2*d + 7. Let o = 5 + d. Which is smaller: -3 or o?
-3
Let x = 87 + -90. Suppose 2*b + 0*b = -4. Let d = b - x. Which is bigger: 0 or d?
d
Let p(t) = t**3 - 5*t**2 - 4*t - 7. Let v be p(6). Suppose -3*m + 12 = -3*c, -v*m - 4*c + 6*c + 32 = 0. Let q = m - 6. Which is bigger: 6/11 or q?
q
Let h = -197/72 - -25/9. Is 1 not equal to h?
True
Let f = 72.1 - 72. Is -35 not equal to f?
True
Let k be -2*2*2/(-44). Let y = -141 + 709/5. Is y bigger than k?
True
Let t be 12/(-42) + 194/(-203). Let c = 4119/116 - t. Let x = c + -37. Is -1 greater than x?
False
Let n = -289.01 + 291. Let t = n + 0.01. Let j be 6/(-16)*(-2)/3. Is j != t?
True
Let y = 6.9 + -0.9. Which is smaller: y or 4?
4
Let r = 6 - 7. Which is greater: r or -15?
r
Suppose 0 = -j + 6*j + 10, -4*l + 5*j - 2 = 0. Let n be (3 + -2)/(l/6). Let m be (n/2)/((-1)/3). Is 0 equal to m?
False
Let d = -0.9 - 0.7. Let p = d + 0.6. Let z = -1.4 - -0.4. Is p smaller than z?
False
Suppose 7 - 2 = -2*v + h, 3*v + 12 = -3*h. Which is bigger: -5 or v?
v
Suppose -6*y + 7*y + 1 = 0. Which is bigger: y or -3/7?
-3/7
Suppose -2*m + 30 = 3*m. Let b be m/(-33)*(-3 + 2). Is b smaller than -1?
False
Let j = -3.5 + 0.5. Let k = 60 + -84. Let q = k + 47/2. Which is greater: j or q?
q
Let m be (2/10 - 1)*4/(-16). Which is smaller: 0 or m?
0
Let m be (-2)/6 + (-21)/(-9). Let i(o) = -4*o - 9. Let h be i(-6). Suppose 0 = -0*z + 5*z - h. Which is smaller: m or z?
m
Let w = 11 - 7. Let b = -41 - -44. Does b = w?
False
Let s(a) = -a**3 - 8*a**2 + 10*a + 10. Suppose 3*k + 2*p + 31 = 6*p, -5*p = -3*k - 32. Let y be s(k). Is y greater than or equal to 3?
False
Let j = 14.5 + -14.3. Is j <= -21?
False
Let r be (2/68)/((-23)/(-46)). Which is smaller: -1 or r?
-1
Suppose 0 = -2*d + 5*x + 17, 5*x = -2*d - 0*d - 33. Let b = 50 - 54. Are b and d nonequal?
False
Let i be ((-1)/(-3))/(1/24). Suppose -4*f + 3*g + 6 = 0, -4*g = f - 0*f + i. Which is bigger: f or -2?
f
Let h = -0.51 + 0.01. Let q = 0.56 - -0.04. Let a = h + q. Which is smaller: 0 or a?
0
Let y = -2919/590 + -9/59. Let k = -1051/210 - y. Which is bigger: k or 0?
k
Let v = 0.343 - -0.147. Are v and -1/4 nonequal?
True
Suppose -9 = -5*d - 2*t, 0*d + 2*d = 3*t - 4. Which is smaller: d or 2/23?
2/23
Let f = -5 - -8. Suppose 17 = 3*q + 5*n, -f*q - 4*n + 0 = -13. Let j = 44/5 - 46/5. Which is bigger: q or j?
j
Let i(y) = 5*y**3 - 4*y**2 + y + 1. Let f be i(2). Is f at most 28?
True
Suppose -z = 5*j + 22, 0 = -3*z - z - 5*j - 28. Let b(n) = -n**3 - 2*n**2 - n - 2. Let t be b(z). Let c be 1/(-6)*(-7 + 11). Is c greater than or equal to t?
False
Suppose 7 = -5*k - 2*j, -3*k + 2*j + 11 = 7*j. Let f be 4*((-3)/(-4) + k). Let s be 8/f*9/6. Is s greater than or equal to 1/2?
False
Let k = -1.07 + 0.07. Let g = -1.4 - -6.4. Are g and k nonequal?
True
Let t = 8 - 7. Let h = 1 + -1.3. Which is smaller: h or t?
h
Let y = 0.3 + -1.3. Let w = -0.8 - y. Is w < -1/3?
False
Let d = -5.6 - -0.6. Let u = -1 + -5. Let x = u - d. Is 2 greater than x?
True
Let g(c) = c**3 - 3*c**2 + 3. Let b be g(3). Suppose -3 = -b*q + 2*u, q - 3*u = 4*q - 3. Let p = q - -1. Is p at least as big as 1?
True
Suppose 4 - 3 = y. Let d be 4/(-6)*3858/(-14). Let i = d - 184. Is i at least y?
False
Let b be 4/16 - 55/(-4). Let u be (-4)/b + 804/1540. Let z = u + -2/55. Is 1 less than z?
False
Suppose 5 = -3*a + 2*y, a + 4*y + 10 = 3*a. Suppose -5*u - 14 - 6 = 0. Which is greater: a or u?
u
Suppose -3*u - 9 = 3. Let y(n) = n**2 + 2*n. Let i be y(u). Suppose -2*a - i = -q - 6*a, 3*a - 6 = 2*q. Which is smaller: -1 or q?
-1
Let w = 1.6 - 1. Let l = w - -0.4. Which is smaller: l or 3?
l
Let x be -1*(-4)/6*6. Is x greater than or equal to 2?
True
Let y = 165.3 + -165. Let z = -0.45 - -0.05. Are z and y non-equal?
True
Let d be (-3)/(0 - -3) + (-539)/(-99). Which is smaller: d or 3?
3
Let o = -0.4 + 0.1. Are o and 0.3 unequal?
True
Let f be 0 + -3 + 804/204. Which is bigger: f or 0?
f
Let i = 2 - 4. Let r be (-1 - (-21)/12)*1/(-3). Which is greater: r or i?
r
Suppose 0 = -5*v - 3*x + 32, 2*v + 5*x - 12 = 16. Suppose v*b = -8 + 40. Suppose 0*m + m = s - b, 3*m + 18 = s. Is s >= 4?
False
Suppose -2*j - 2 + 4 = 0. Let k be 3/(-6)*-8 - 0. Let c be k/(-35)*(-15)/(-6). Is j < c?
False
Let j = 6 - 3. Let l(q) = -q**3 + 2*q**2 + 3*q. Let n be l(j). Let h = -2 + n. Are -3 and h equal?
False
Suppose -14 = -10*r + 16. Suppose 3*g - 3 = 0, -g + 6 + 20 = 5*v. Which is smaller: v or r?
r
Suppose -3*s - 4 = k + 4*k, 0 = k - 5*s + 12. Is k smaller than -6/11?
True
Let t(p) = -33*p**2 + 3*p + 1. Let w be t(-1). Are -34 and w unequal?
True
Let t(p) = p**2 + 5*p - 5. Let y be t(-4). Let g = y - -14. Is -0.1 <= g?
True
Let n = -28 - -62. Suppose 0 = -y + 5*k + n, 4*y - 46 = y + k. Is 14 > y?
False
Let f be 0 + (4 - (7 - 3)). Is -2/9 at least f?
False
Suppose -5*i = -2*r + 14 + 7, r + 12 = -5*i. Suppose -3*f - 3*w = 0, -r*f + 5*f - w = -3. Let v = 1 + -3. Is v less than or equal to f?
True
Let x(f) = f + 7. Let j be x(-6). Let q = j + -5. Let b be ((-2)/q)/(6/24). Is b < 4?
True
Let x(q) = -2*q**2 - q. Let g be x(-1). Let k = 322493/8 + -40548. Let a = -236 - k. Which is smaller: g or a?
g
Let g be -2 + (-1058)/(-342) + -1. Let x = g - -1/57. Let s = 0 + 0. Is s at most x?
True
Let h = -0.07 + 6.07. Let r = h + -6.4. Which is smaller: 1 or r?
r
Suppose 0 = -2*g + 7 + 1. Let o be (g/(-4) - -1)/2. Is o at least -2/15?
True
Let m = 2.5 + 2.5. Let r = 6.7 - 7. Which is bigger: r or m?
m
Let g = -13 - -14. Let i be 4 + (-14)/3 + g. Which is greater: i or 0?
i
Suppose -r - 2*r + 19 = z, -15 = r - 5*z. Suppose 5*p = -r*a - 8 - 7, -4*p = -5*a - 24. Is a <= -4?
True
Suppose 5*x + 4*d - 2 = 6, -5*x - 6 = -3*d. Let p = 99/260 + 1/52. Which is smaller: p or x?
x
Let d(b) = -2*b**2 - 11*b - 17. Let y be d(-3). Let p = -0.4 + 0.7. Is p > y?
True
Let r = -3/8 + 25/24. Let w = 2 - 4. Let k = w + 2.1. Is r smaller than k?
False
Suppose 0 = -2*s - 6*w + 4*w + 10, 4*s - w = 5. Suppose s*g - 2*j - 2 = 0, -2*g = -4*j - 1 - 5. Is g equal to 1?
False
Let p(k) = -k + 7. Let j be p(7). Is 0 smaller than j?
False
Let k = 6 + -5.9. Let b = -0.06 + 0.03. Is k < b?
False
Let z = -19 + 25. Which is smaller: z or -1?
-1
Suppose -z - 2*z + 12 = 0. Let h = z - 6. Let d be (-30)/(-8)*h/(-10). Is d >= 0?
True
Let v(c) = c - 6 - 2*c + 0*c. Let f be v(-5). Let n = 2 + f. Is n smaller than -1?
False
Suppose -3 = -2*f + 5*f. Let t = f + -4. Which is smaller: -6 or t?
-6
Let y = 21 + -22. Which is greater: y or -2/7?
-2/7
Suppose -2*i + 2 = 4. Which is smaller: -2/31 or i?
i
Let u = 0 + 9. Let j = 9 - u. Is j equal to 0?
True
Suppose 0*m + 3*m - 4*j - 58 = 0, -5*j = 3*m - 103. Which is smaller: 24 or m?
24
Let j = 5 - 8. Let i = -2 - j. Which is smaller: -3/5 or i?
-3/5
Let d be (4/55)/((-14)/35). Which is smaller: d or 2?
d
Let s be 0 + (-79)/(-42) + 4/(-2). Which is bigger: -1 or s?
s
Let i be 6/2*5/(-5). Suppose 6*z - 5 = 3*z + 5*t, 3*z = -4*t - 4. Let b be 4/16*(-10 + z). Which is bigger: i or b?
b
Suppose -a = -4*u - 4*a + 1, a + 3 = 2*u. Is u > 19?
False
Let t(s) = -3*s**2 - 5*s - 3. Let h be t(-3). Let y be (h/(-18))/(-5)*4. Which is smaller: 0 or y?
y
Let r(h) = -h**3 + 3*h**2 + 2. Let l be r(3). Let u(g) = -g**3 + 9*g**2 + 9*g + 11. Let p be u(10). Suppose -p = o - 2. Is l greater than or equal to o?
True
Suppose -3*i - 13 = 8. Let n(u) = -u + 5. Let b be n(12). Is i greater than b?
False
Suppose -6*o = -3*w - 5*o - 2, 0 = -4*o - 16. Which is greater: w or 2?
2
Let f(c) = -c**3 - 16*c**2 + 18*c + 25. Let a be f(-17). Which is smaller: 3 or a?
3
Let t = 3 - 3.3. Let l = t + 0.2. Let k = 0.1 - 0.1. Which is greater: k or l?
k
Suppose -2*a + 3 = 1. Do a and -1/10 have different values?
True
Let g = 49/78 + 1/26. Let w = 9 + -9.3. Is w bigger than g?
False
Let j = 35 + -21. Let h = j + -17. Which is bigger: h or 1/3