r r?
r
Let b = -4 + 2. Let o = 1.7 + 0.2. Let p = o + b. Which is smaller: p or 2/3?
p
Suppose -5*g + 16 = -9*g. Let p = 0 - -0.2. Which is greater: p or g?
p
Let v(w) = -w**3 - 3*w**2 + 2*w - 3. Let p be v(-3). Which is bigger: p or -5?
-5
Let b be ((-2)/(-5))/(2/(-10)). Let k be b/8 + 53/(-6). Let g = 37/4 + k. Which is smaller: 1 or g?
g
Let s be 2/((-2)/(-11) + (-7)/(-22)). Is s smaller than 2/7?
False
Let s(q) = q + 10. Let y be s(0). Let w = -84 + 93. Which is bigger: w or y?
y
Let u be -1 + (-3)/4 + 2. Let r be ((-6)/(-8) - 1) + 0. Is r not equal to u?
True
Let f(z) = -z**3 + 8*z**2 - 6*z - 15. Let n be f(7). Is n <= -9?
False
Let b be (8/10)/(12/90). Suppose 0 = 2*z - 4 - b. Let r(m) = -m**2 + 7*m - 5. Let n be r(6). Which is smaller: z or n?
n
Suppose -4*t - 2*t = 3*t. Is t bigger than 3/44?
False
Let u be -1 + 3*8186/23160. Let p = -2/193 + u. Is p equal to 0?
False
Let c = 37 - 20. Which is bigger: 0 or c?
c
Let p be (1 - -17)/(-2) + 4. Is -5 at least as big as p?
True
Let f be -2 - -5*(-1)/(-4). Let x(i) = i**2 + i + 1. Let v be x(3). Suppose -4*n - h - v = 0, -n - 8 = h - 1. Which is bigger: f or n?
f
Let h = 2 - 7. Let u be 6/h + (-1)/(-5). Let n = 2 - 2. Which is greater: n or u?
n
Suppose 0*m + 3*m + 6 = 0. Let k be 2 + 2 + -1 + -1. Which is bigger: m or k?
k
Let g = 0 + 0.2. Let m = 0.01 + 0.19. Let k = g - m. Is 3 at most as big as k?
False
Let r = 527/5 - 104. Suppose -7*n = -3*n - 12. Suppose -n*c + 6 + 0 = 0. Which is smaller: r or c?
r
Suppose 0 = 4*i - 3*i - 3. Suppose 4*a - i*a = 0. Is a > 4/3?
False
Suppose 3*j + 99 = 15. Is j < -28?
False
Suppose 0 = -4*p + 8 - 28. Which is bigger: p or -4?
-4
Let h be 1/(-7) - 48/(-238). Is h less than 0?
False
Let s be (-28)/(-8) + 2/4. Which is smaller: s or 2/9?
2/9
Suppose -4*z - v + 0 + 3 = 0, -v - 3 = -2*z. Let y be (-6)/(-2) - (-2)/z. Let i be (-2)/(-12) + 58/12. Is y less than i?
False
Let o(n) be the first derivative of -n**3/3 + n**2/2 + 3. Let y be o(1). Is y at least -1/10?
True
Let g(h) = -h**2 + 12*h - 20. Let i be g(12). Which is bigger: -19 or i?
-19
Suppose 4*n - 28 = -2*q, -3*q = 2*n - 0*q - 22. Let m = 13 - 8. Is n != m?
False
Let j = 38 + -27. Is 11 greater than or equal to j?
True
Let u = 60 + -61. Let t = 7 + -3. Suppose 2*v = t*v. Is u not equal to v?
True
Let f = 9.5 + 0.5. Let a = 9.5 - f. Which is bigger: a or 2/3?
2/3
Let x = 15.04 + -15. Let q(k) = k**2 - 4*k. Let t be q(4). Which is greater: x or t?
x
Let r be 3/(-3*1/8). Let d(x) = 3*x - 58. Let s be d(17). Which is bigger: s or r?
s
Let d = -2083/7 + 297. Is 5 at least as big as d?
True
Let h = 0 - 1. Let a be h/5 - (-80)/25. Let m(i) = i**3 - 2*i**2 + 3*i - 3. Let g be m(2). Is a greater than g?
False
Suppose 2*y - 43 - 3 = 0. Let f be 0 + 0 + y + -4. Which is smaller: f or 18?
18
Let o = 13 + -12. Which is smaller: o or 1/5?
1/5
Let i be (-14 + 15)*(-1)/(-44). Which is greater: 0 or i?
i
Let m be (-44)/(-7) - (-4)/(-14). Let r be (9/m)/((-6)/8). Let j be (-1 - 46/(-14)) + r. Which is smaller: 0 or j?
0
Let b be (-25)/(-2) + 1/(-2). Let l be (10/(-125))/(b/15). Which is smaller: 0 or l?
l
Suppose 6*m - 2*t - 8 = 4*m, -3*t - 12 = -m. Let u = 4 + -3. Which is bigger: u or m?
u
Let p(u) = -u**3 - 4*u**2 + 8*u + 14. Let s be p(-5). Which is smaller: -3/8 or s?
s
Suppose -c - 3*c = 20, 0 = 4*i - c - 5. Suppose -6 = 3*p - 5*l - 14, 3*p + 3*l = i. Let b be p/(2 - 1/1). Is 0 greater than or equal to b?
False
Suppose -3*g + 6*v = v - 46, 2 = g + v. Which is bigger: g or 9?
9
Let z = -6876/19 - -362. Is 1 greater than z?
True
Let h = -22/3 + 8. Let f = 284320 + -3698060/13. Let k = f + 146. Which is greater: h or k?
h
Let v be -2 + (6 - (3 - 1)). Suppose o - 2*r = -r + v, 1 = -4*o + r. Which is smaller: -5/7 or o?
o
Let n(b) = 0*b**2 + 4*b**3 - b - 6*b**2 - 8 - 5*b**3. Let j be n(-6). Let u be -1 + -1 + j/1. Are -3 and u nonequal?
True
Let k = 11 - 9.4. Let a = 0.7 - k. Let s = a - -1. Is -2 < s?
True
Suppose 2*m - 4*p - 8 = 0, m - p = 2 + 7. Let w = m + -8. Which is greater: w or 7?
7
Let v be (1 - -1) + 0 + 0. Let p = 16 - 10. Let w = 9 - p. Is v > w?
False
Let z = 0 + 3. Suppose -3*x - z*v + 5*v = -13, x - 11 = 2*v. Let i be 4/6 - (-5)/(-21). Is i equal to x?
False
Let c be (1/38)/(2/(-8)). Let t(f) = -f**3 + 12*f**2 - 12*f + 11. Let p be 8 - (1 + -1) - -3. Let a be t(p). Does c = a?
False
Let v be 2/(-7) - (-6)/21. Suppose -5*l - 18 = 2, 18 = 2*g - 4*l. Suppose -3 = 2*o - g. Which is bigger: o or v?
v
Let j = -74 - -78. Is 0 <= j?
True
Let o(v) = -v**2 - 5*v + 6. Let n be o(-6). Let f = 326/5 + -22499/345. Let d = -200/483 + f. Is d < n?
True
Suppose 16 + 22 = 3*j + 5*h, 0 = -2*j + 2*h + 36. Which is smaller: j or -2/3?
-2/3
Let b = 0.584 + -0.074. Let a = b - 0.17. Let l = a + 0.06. Which is bigger: l or 0.1?
l
Let a = 0 + 0. Let d be (-10)/(-45)*6/(-4). Is a >= d?
True
Let c = 0.06 - -0.24. Which is greater: -1 or c?
c
Suppose 0 = 5*i - 20, -3*h - 1 = 2*h - 4*i. Which is smaller: 5/3 or h?
5/3
Let j(a) = a. Let l be j(-1). Let w = 1/6 - 5/3. Which is greater: w or l?
l
Suppose -5*d + 2*d = -3*a - 109107, 36351 = d + 5*a. Let l = d - 253759/7. Let u = l - 115. Which is smaller: u or -2?
-2
Let f be 54/14 - 1/(-7). Does -2 = f?
False
Suppose 2*u - 6 = 2*d, 4*d - 6*u + u = -15. Suppose -5*h = -0*z - 3*z + 11, 2*h + 5*z - 8 = d. Let y be 2 - (2 + h + 1). Is 2/3 <= y?
False
Let y(q) = -q**3 + q**2 - q - 2. Let w be y(-1). Which is smaller: 2/23 or w?
2/23
Let w = -5.3 - -0.3. Let q = w - 2. Let v = q - -5. Is v at most 0?
True
Let d(b) = b**3 + 4*b**2 - b - 4. Let m be d(-4). Let v = 1 - -4. Suppose v*n = -4*f + 15, 12 = -0*f - 4*f + 4*n. Is m at most as big as f?
True
Suppose -3*u + 11 + 16 = 0. Let i be u - (0 + (4 - 2)). Suppose -4*k = -i*k. Is -1 at most k?
True
Let u be 3 + 4/((-8)/(-14)). Let d be 4/(-20) + 2/u. Which is bigger: d or 2/13?
2/13
Suppose 0 - 13 = -5*f + 3*d, -2*f - 3*d + 1 = 0. Which is greater: 5/8 or f?
f
Let t = -10106032/175 + 57749. Let f = t - -1/25. Is f smaller than 1?
True
Let s = -0.1 + 0.3. Let x be (2/(-5))/((-4)/(-20)). Is s < x?
False
Suppose 0*x - 5 = x. Let j = -7 - -12. Let g(s) = -s**3 + 4*s**2 + 3*s + 6. Let y be g(j). Is x equal to y?
False
Let j be (-66)/(-9)*(2 + -5). Are -108/5 and j equal?
False
Let y = -1091/7 - -156. Let i be 0/(3 - (0 + 1)). Is i greater than or equal to y?
False
Let y be 1/2*(-39)/(-6). Let o = y - 3. Let m = -0.2 - -0.2. Which is bigger: o or m?
o
Suppose 5*t - 3 - 2 = 0. Is 2/23 greater than or equal to t?
False
Let x(f) = 11*f**2 + 7*f + 2. Let l be x(-2). Is 32 at least l?
True
Let z = 10 + -18. Is z greater than -84/11?
False
Let q be (1 + 0)*(7 - (13 + -7)). Does q = 3/34?
False
Let q(p) = -p + 3. Let j be q(3). Let b = 0.9 + -1.9. Is j < b?
False
Suppose 15 = -r + 13. Suppose -5*g + i = -6, -1 = 4*g + 2*i - 3. Do g and r have different values?
True
Suppose -5*f + 7 + 18 = 0. Let t be (3/(f + -2))/(-1). Let i be -1 + (0 - -3) + t. Which is smaller: i or 5/3?
i
Let t = -23 + 22. Is -9/5 less than or equal to t?
True
Let f = -243 - -173. Does f = -70?
True
Let w be -1*(2 - (-5)/(-1)). Is w at least 4?
False
Let v = 7 + -7. Suppose v = 5*b + 4*o - 9, -5*b - 2*o + 6 = -11. Which is smaller: b or 6?
b
Let m = -8 - 22. Is -29 != m?
True
Let g = -11 - -7. Let l be 3/((-27)/(-12))*-3. Let i = l - g. Are -2/3 and i non-equal?
True
Let x(c) = -c. Let s be x(2). Suppose -l + 3*l + 9 = -3*n, 7 = 2*n - 3*l. Which is greater: s or n?
n
Let t be (0 + 0/3)/2. Let o be (-4)/(-14) - 264/(-7). Let d = o - 191/5. Which is smaller: t or d?
d
Let m = 149/3 + -50. Which is smaller: -2/17 or m?
m
Let w(t) = -t**3 + 5*t**2 - 3*t - 5. Let r be w(4). Let o = -18 + 17. Is o less than or equal to r?
True
Let i(o) = o**3 + 4*o**2 - 2*o + 4. Let z be i(-5). Let v(l) = -l**3 - 11*l**2 - 1. Let n be v(z). Which is greater: n or -2/11?
-2/11
Let i = -41 + 81. Let g be 1*-1 + i/(-8). Are -5 and g non-equal?
True
Suppose 5*s - 43 = -0*q + 2*q, -4*s = q - 24. Which is smaller: 0.2 or s?
0.2
Let z = 0.47 - -1.53. Which is bigger: -3 or z?
z
Suppose -2*s - 5 = 3*s. Let m be (s - -3)/(-1 - 0). Which is smaller: m or -3?
-3
Let v = -0.7 - -0.1. Let x = -0.4 - v. Let w = 10 + -7. Is x at least as big as w?
False
Let j = 2 + 0. Let z = -3067/7 + 439. Is z greater than or equal 