q or u?
u
Let s be 2/(14/(-30) + (-2)/10). Which is smaller: 1 or s?
s
Let t = 16.2 - 15. Let x = t + -1.6. Which is smaller: x or 2/9?
x
Let i = 37 + -21. Let h = 16.2 - i. Let d = 0.9 + -1. Which is bigger: d or h?
h
Let f be (3 + (-20)/6)*-11. Is 5 less than f?
False
Let d = -7 + 50. Which is smaller: 42 or d?
42
Let z(s) = s**2 - 2*s - 8. Let k be z(4). Let h = -33504 - -234036/7. Let c = h - -70. Is c at most as big as k?
True
Let b = -2 - 0. Let q be ((-2)/2)/7*b. Do q and 1 have the same value?
False
Let r = -18 + 10. Let q = r - -7. Is q at least as big as 0?
False
Suppose 5*s = -3 - 2. Which is smaller: -1/2 or s?
s
Let w = -5.7 + 3.8. Let o = 1.81 + w. Which is smaller: -0.1 or o?
-0.1
Let j be (180/65)/6*1/3. Is -1 >= j?
False
Let b = -8 + 7. Is b at least as big as 7?
False
Suppose -3*d - 3 = -r, 5*r = -0*d + d + 15. Let k(a) = a**3 - 4*a**2 + a + 4. Let f be k(r). Let b be (-1)/((f + 1)/2). Which is greater: b or 1?
b
Suppose 3*t = f + 3, -5*f + 39 + 0 = 3*t. Suppose -2*a = a + f. Which is smaller: a or -7/5?
a
Let h = -137 - -137.039. Is h >= 2/9?
False
Let i = 113/75 - -4/25. Let d be (12/(-15))/((-2)/5). Suppose -d = -0*m - 2*m. Is i smaller than m?
False
Suppose 0*f - 5*f = 5. Which is smaller: 1/7 or f?
f
Let j be -69*1/(-3)*1. Is 23 greater than j?
False
Let d = -6 - -6. Let h = 1 + d. Let y be h - (-1 - 5/(-3)). Which is smaller: 0 or y?
0
Let v be (-1)/(-2) + (-19)/(-66). Let l = v + -4/33. Let n be (-6 + 4)*1/(-2). Is l != n?
True
Let d = 3.2 + -7.15. Let v = 4 + d. Let y = -0.15 + v. Which is smaller: 4 or y?
y
Let m(a) = a**2 - 4*a + 3. Let n be m(6). Let i = n + 11. Suppose 3*k - 20 = 5*j, j = 2*k + 3*k - i. Which is bigger: j or 2/5?
2/5
Let i = -5.7 + 4.7. Let u = 1.7 - 1.77. Which is bigger: u or i?
u
Suppose 4*w - 10 = 2*v, -2*w + 3*v + 15 = -3*w. Let s be -2 - (2 + -1*14). Suppose 0 = -5*d - w + s. Is d at most as big as 1?
False
Let j = -8 - -6.6. Let n = -0.6 + j. Let y = 0.2 - 2.2. Is n at least y?
True
Let o = 11 - 21. Let h = o + 15. Are -2/5 and h nonequal?
True
Let r = -22 + 16. Which is greater: r or -8?
r
Let n be (-2)/11*(1 - 2). Let y = -5443 + 179602/33. Let b = n + y. Which is smaller: 0 or b?
b
Let s be 4 + (-3 - (-4 + 3)). Let b = 4/7 - 1/14. Which is bigger: b or s?
s
Let o = 64 + -63. Is o at most 1.5?
True
Let h = 3 + -4. Suppose -5*p = 2*z - 4*z + 21, 3*z + 3 = -4*p. Is p bigger than h?
False
Let d(g) = -2*g**3 - 3*g**2 - g + 1. Let a be d(-2). Which is greater: a or 8?
8
Suppose 3*t = d + 3*d + 12, -d - 3 = 3*t. Suppose 2*o + 4*x = -2, 3*x = o + 2*x - 2. Let y = o + t. Which is smaller: y or 2/5?
2/5
Let h = -282 - -2253/8. Let o = 0 - -0.1. Which is greater: o or h?
o
Suppose -2*f = -3*m + 7*m - 16, -4*f + 5*m - 7 = 0. Is f != 4?
True
Let o = 0 + 0. Suppose -132 = -o*p + p - 5*b, 5*b + 204 = -2*p. Let h = -1006/9 - p. Which is bigger: h or 0.1?
h
Let h be 1/2*1*2. Suppose 0 = -a - 0*t - 4*t - 12, 2*a + 2*t + 18 = 0. Let k be a/12 - (-6)/9. Is h < k?
False
Let n(u) = u**2 - 7*u - 30. Let g be n(10). Which is bigger: 2/45 or g?
2/45
Suppose 2*q - 5*v - 41 = 14, -80 = -5*q + v. Let y = q + -59/4. Is y equal to 0?
False
Let q = 6.751 + -0.691. Let s = -4.8 - -4.86. Let f = q - s. Do f and 1 have the same value?
False
Let t(d) = -7*d**2 + 12*d - 10. Let z(f) = 4*f**2 - 6*f + 5. Let m(h) = -3*t(h) - 5*z(h). Let u be m(4). Let l be (u/(-6))/(12/(-3)). Is 1 greater than l?
True
Let s be (-11 + 9)*(2 - 1). Let z = 0 + s. Are -12/7 and z equal?
False
Let f = 0.4 - 6.4. Let q = f + 6. Is q > 0?
False
Suppose 0 = 2*n + 4*s - 30, 3*s = -n - 2*s + 9. Let b = 18 - n. Is -4/3 < b?
True
Let s = 2/65 + -77/390. Are 0.2 and s unequal?
True
Let j(i) = 2*i + 3. Let d be j(-1). Which is smaller: d or -1?
-1
Suppose 3*g = 4 - 1. Let p = -3/17 + 2/17. Is p >= g?
False
Let x(w) = -w**2 + 2*w + 6. Let m be x(5). Let u = m - -13. Suppose -8 = 4*f, u*g = -0*f + 4*f + 16. Is g greater than 3?
False
Let z be 4/6*(-36)/(-15). Are 2 and z nonequal?
True
Let m(b) = 2 - 8 - 7 + b + 5. Let n be m(10). Let f be (-2 + 4/n)/1. Which is smaller: f or 1/12?
f
Suppose 6*n + 1 = -5. Is -7/10 smaller than n?
False
Let q = -47 - -46.93. Which is greater: q or 0?
0
Suppose -2*v = 3*v. Let r = 856/13 + -66. Which is smaller: v or r?
r
Let h = -6/31 - -16/403. Which is greater: 0 or h?
0
Let r = -0.04 + 0.03. Let f = 1.01 + r. Let v = 55/7 + -701/91. Is v <= f?
True
Let a = 5 + -2. Suppose 5 = 2*q + 3. Which is bigger: a or q?
a
Suppose -2*p + 3*p = 2*u + 1, -5*p - 5*u = 25. Suppose a - 2*a = 0. Let j = a + -1. Is p equal to j?
False
Let i = -9 - -8.1. Let b = i - -1. Let r = -214/35 + 32/5. Is r < b?
False
Let w be 3/(1 + -4)*1. Suppose 1 = 2*l - 3*l. Let p = l + w. Which is bigger: p or -0.1?
-0.1
Let i(x) = -x - 17. Let c be i(3). Is -20 greater than or equal to c?
True
Let y(q) = 3*q**2 + 5*q**2 - 2 - q**2 + q - 3*q**2. Let j be y(-2). Suppose -3*k + 4*d = -k - j, 4 = k - d. Is k less than or equal to -1?
False
Let s = 1 - 2. Let k be ((-9)/(-18))/(s/2). Is -1 > k?
False
Let f be 0 - 3*3/9. Let g = -19 + 132/7. Which is greater: g or f?
g
Suppose -15*x = -12*x - 45. Which is smaller: 3 or x?
3
Let z = 1.9 - 2.1. Which is bigger: 0.3 or z?
0.3
Let d = 41 + -49. Which is greater: -6 or d?
-6
Let v = -5 - -3. Is -2 at most v?
True
Let s = 6 + -16. Let a = s - -16. Which is bigger: 7 or a?
7
Let w = 29 + -10. Which is bigger: w or 18?
w
Let b = -24.9 - -25. Which is smaller: b or -0.4?
-0.4
Let s = 64 - 78. Which is greater: s or -16?
s
Let q be (2 - 1459443/(-66))/6. Let d = q + -3686. Let a = 1/44 + d. Which is smaller: a or 1?
a
Let q(x) = -x**3 - 5*x**2 + 5*x + 9. Let c be q(-6). Let p be ((-6)/c)/((-9)/(-5)). Let a = 7 + -19/3. Is a bigger than p?
True
Let k = 0.5 - 0.6. Which is bigger: k or -2?
k
Let y(u) = -3 - 5*u**2 + 8*u**2 - 6*u - 4*u**2. Let h be y(-5). Which is smaller: h or 4/3?
4/3
Let g = -21.1 + 19. Let n = -0.1 - g. Is -5 <= n?
True
Suppose w - 1 = -2*c - c, 3*w - 3 = 0. Suppose 4*l = 5*m - 1 - c, 4*l - 2 = 2*m. Let i = -83 + 81. Is m at least as big as i?
True
Let w = -78 - -232/3. Is 0 bigger than w?
True
Let t be (-6)/4*(-40)/15. Suppose -t = u + u. Are u and 2 non-equal?
True
Suppose -2*d + 2*h = -h - 30, -3*d + 67 = h. Let m = -3958/55 + 565/11. Let i = d + m. Is 1 < i?
False
Suppose 0*w + 10 = 2*w. Suppose -4 = 7*n - w*n. Let y = 9 - 35/4. Is y at least as big as n?
True
Let i be 8/70 + 2/(-5). Suppose 0 = 4*r - 5*c + c, 3 = -r - 2*c. Which is smaller: r or i?
r
Let g = 61 + -60. Let q = 10 - 7. Let d be 1*-1 + (q - 2). Is d != g?
True
Suppose -3*i + 1820 = 2*i. Let n be -2 - (2 - 1191/i). Let x = n + -2/91. Which is bigger: -2 or x?
x
Let d = -15.2 - -14. Let g = d + 0. Let h = g - -0.8. Which is greater: 0.2 or h?
0.2
Let f = 1.4 + -1.3. Which is bigger: f or 0?
f
Let g = -0.52 - -0.12. Is g > 1?
False
Let d(t) = t - 1. Suppose 0 = -2*g - g. Let q be 0/3 - (-1 - g). Let c be d(q). Which is greater: c or 1/9?
1/9
Let g = 20 - 36. Let k be g/(-20)*45/(-6). Is -6 <= k?
True
Let y = -3 - -2. Is 0.2 < y?
False
Let p be (-222)/21*(-2)/(-4). Let k = -541/105 - p. Which is smaller: k or 1?
k
Suppose 2*a + 2*a = -u - 21, 4*u - a = 1. Do u and -3/14 have different values?
True
Let k(d) = -d**2 - 4*d + 3. Let u(x) = -x + 6. Let a be u(11). Let j be k(a). Is j equal to 1?
False
Let w = 8 - 3. Suppose -2*g + w = -3*i + 4, 3*g = i + 5. Is -2/25 < i?
True
Let i(h) = h**3 - 22*h**2 + 21*h. Let k be i(21). Let d = 0 + -1. Which is smaller: d or k?
d
Let q(v) = v**3 + 6*v**2 + 9*v + 1. Let x be q(-6). Which is bigger: -55 or x?
x
Let l be 1 + 34/20*15/12. Which is greater: l or 4?
4
Suppose 12 = 7*c + 40. Let b be (-1 + 0)*(-1 - -4). Is b != c?
True
Suppose 0 = 2*a - 7*a + 20. Is 7/2 at most as big as a?
True
Let n = 140.14 + -139. Let h = -0.14 + n. Which is greater: h or -0.02?
h
Suppose -u - 6*f = -4*f + 25, 3*u + 5*f + 72 = 0. Let x = -17 - u. Let o = -18 - -37/2. Which is greater: o or x?
x
Let b be 8/68 + 2/(-17). Suppose -3*m = -b*m - 12. Which is bigger: 13/4 or m?
m
Let z = -2.1 + 6.1. Which is greater: z or 2/13?
z
Suppose 0 = -29*f + 35*f + 6. Is f equal to -3?
False
Suppose 0 = -3*c - 5*d + 6*d + 25, -2*d - 23 = -3*c. Let p = -10 - -20. Is c > p?
False
Suppose 0 = l + 3, l - 9 = -3*c - 0. Let r(w) = w**3 - 5*w**2 