 greater: 1 or r?
1
Suppose 0 = 2*f + f - 24. Suppose f*j - 3*j = 35. Which is bigger: -1 or j?
j
Let o be -1*(-1 - -9) - -2. Is o at least as big as -4?
False
Suppose -2*c + 4*k + k - 3 = 0, -c = 2*k - 3. Is c at most as big as 10?
True
Let h be 495/261 - (4 + -2). Is h greater than or equal to 1?
False
Suppose i = 3*i + 22. Is -11 less than i?
False
Suppose 4*w = a - 11, -4*w = -3*w + 2. Suppose a*p - 3 = 2*p. Let f be p/4*14/21. Which is greater: f or 2?
2
Let n = 395413/105 + -18853/5. Let x = n + 38/7. Is x at most 2?
True
Let b = -0.4 + -0.1. Let u = -2.5 + b. Let i be -2 - (-8)/10*(0 + 5). Is u at most i?
True
Suppose 2*n + 10 = -4*g, 3*n + 2*g + 0*g = 5. Is n equal to 19/5?
False
Let s(g) = -g - 11. Let z be s(-14). Is -1/4 greater than or equal to z?
False
Let x be (1 - 1) + 1 + -12. Let i = x - -7. Let j be 3/6*(0 - 8). Is i equal to j?
True
Let l(d) = -d**3 - 6*d**2 + 7*d - 1. Let v be l(-7). Is 2/5 greater than or equal to v?
True
Let r = -70 + 69.4. Which is bigger: r or 2/11?
2/11
Suppose -2*s + 6*s = 16. Suppose -s*f = -3*v + v - 2, 0 = f - v - 3. Let g be ((-4)/10)/(4/25). Is g greater than or equal to f?
False
Let z be (-396)/847 - 4/(-22). Is 0.05 at most z?
False
Let f(i) = -i**3 - 5*i**2 + 7*i + 4. Suppose 4*n - 5*m = -34, 7 + 1 = 4*m. Let c be f(n). Which is bigger: c or -1?
-1
Let m be 4 - 2*(-3)/(-6). Is -0.2 smaller than m?
True
Let o(t) = -4*t - 20. Let u be o(-6). Which is smaller: 3 or u?
3
Suppose 4*c + 16 = 0, -5*l - 36 - 5 = 4*c. Is -4 less than l?
False
Let i = -2.1 - 0.4. Let a = 0.4 - -0.1. Let w = i + a. Which is smaller: 2/5 or w?
w
Let l be 1/2*4*2. Let s = l + -1. Is 3 != s?
False
Suppose -4*w + 3*w = 0. Let o = 1 + w. Is o greater than 2/9?
True
Suppose -8*b + 11*b - 6 = 0. Which is smaller: b or 27?
b
Let p(f) = f**3 + 2*f**2 - 4 + f**2 - f + 2*f**2 - f**2. Let b be p(-4). Let z be 2/5*5/7. Is z at most b?
False
Let j(b) = b**2 + 4*b + 4. Let x be j(-3). Let r = 2421/8 + -303. Is x greater than or equal to r?
True
Suppose -5*j + 3 = -12. Let d be (-3)/j + (2 - 5). Is d at most -2?
True
Let n = -3.08 - -0.08. Let a = 3.1 + n. Let h = a + 0.2. Which is greater: -1 or h?
h
Let t = -3 - -2. Suppose 0 + 3 = -n. Let x = n - t. Is -3 >= x?
False
Suppose 3*x - x - 18 = -3*c, -4*x + 2*c + 4 = 0. Is 6 less than x?
False
Let f be (0 + -12)*(-9)/(-12)*-2. Is f < 84/5?
False
Suppose 0 = -5*y + 16 - 41. Which is greater: -6 or y?
y
Suppose 24*y - 19*y = -25. Is 0 bigger than y?
True
Let y be (-12)/(-9)*78/272. Let j = -2/17 - y. Which is greater: j or 0?
0
Let z(b) = 9*b**2 + 17*b - 4. Let r be z(-4). Which is smaller: 74 or r?
r
Let k = -3.751 + -0.309. Let j = k + 0.06. Which is bigger: j or -1?
-1
Suppose -q - 3*c + 8*c + 5 = 0, -4*c - 4 = q. Suppose -2*f = -q*f + 2. Which is smaller: f or -4/7?
f
Let r be -3 - (-1 + 2) - -7. Is 2 > r?
False
Let z(s) = -s**2 - 5*s - 2. Let d be z(-4). Suppose -d*a - a = 6. Let r = a - -4. Are r and 2 equal?
True
Suppose -2*t - d = 21, 0 = 2*d + 2 - 0. Let h = t + 10. Which is smaller: -1 or h?
-1
Suppose 16 = u - 5*u, 5*i + 2*u - 2 = 0. Suppose 4*r - 4*q - 4 - 16 = 0, i*r - 5*q = 19. Let d be (-1 - r) + (1 - 2). Is d greater than -5?
True
Let n = 0.2 + -1.2. Which is smaller: n or 0.2?
n
Let w be -13*6/(-14) + -5. Suppose -u = -0*u - 2. Which is greater: w or u?
u
Let c = 42 - 64. Which is smaller: -21 or c?
c
Suppose d - p = 5*d - 6, 0 = 5*d + 4*p - 13. Let h be 0 + 1/3 + 0. Is d at most h?
False
Suppose 3*a - 1 + 4 = 0. Suppose v - 3 + 9 = s, 2*s + 12 = -2*v. Let g = -8 - v. Which is greater: g or a?
a
Let a = 25 - 21. Let x = 0.45 - 4.35. Let q = x + a. Is 2/7 < q?
False
Suppose 2*m + 1 = 3*u - 6, 4*m + 9 = u. Let n be 2 + -2 - m*1. Is n bigger than 10/11?
True
Let h(g) = -g**3 + 2*g**2 + 2*g + 7. Let q be h(5). Let i = q - -520/9. Are i and -0.1 non-equal?
True
Suppose 3*i - 140 = -4*g, -3*i - g + 134 = -0*g. Suppose 22 = -3*y - k - 9, 2*k + i = -4*y. Is y not equal to -7?
True
Let n(c) be the third derivative of -c**4/24 + c**3/2 + 2*c**2. Suppose 3*k - 13 = -g - 4*g, -5*k + 32 = -2*g. Let y be n(k). Is 0.1 bigger than y?
True
Suppose -6*c = -2*c - 96. Suppose 0 = 20*p - c*p. Which is bigger: p or 1/6?
1/6
Let t = -1 - -1. Let x = -30 - -3. Let d be 6/x + 32/(-18). Does d = t?
False
Let m = 18 + -13. Suppose 4*s + 2*z = 0, 5*s + m*z - 8 = 2. Are -1 and s non-equal?
True
Let m = -62 + 188/3. Let j(q) be the third derivative of -q**4/24 + 4*q**3/3 + q**2. Let r be j(6). Which is greater: r or m?
r
Suppose r + 2*n - 3 = 6*n, -3*n + 3 = r. Let w(t) = t**3 - 9*t**2 - t + 9. Let l be w(9). Suppose 5*u - 5*k = -l*k + 10, -k = 0. Is r greater than u?
True
Let a = 10 + -2. Suppose -n + a = -0*n. Let y be -3 + 26/n - 0. Is y at most 0?
False
Let m be (0 + 0)*(1 - 2). Suppose m = -2*h + 5*h. Suppose -4*t - 4*p - 16 = h, 2*t + 5*p = t - 24. Which is smaller: -1/4 or t?
-1/4
Let q = 0 + 0.15. Let i = 0.15 - q. Let a = -5 + 3. Is a bigger than i?
False
Let j(q) = -q - 5. Let y be j(-5). Suppose -3 + y = -3*c. Which is smaller: 0 or c?
0
Suppose 4*p - z - 25 = 0, -15 = -2*p - 0*p + z. Is 7 at least p?
True
Suppose -v + 3*v + 33 = -3*y, 5*v = -15. Let z = 8 + y. Which is bigger: z or -2/7?
-2/7
Let f = -6 - 3. Let b be 6/f + (-33)/(-36). Let i = 48 - 146/3. Is i >= b?
False
Let m(k) = k + 1. Let d be m(-5). Is -4 >= d?
True
Let f be 1*3 + (-4)/(14624/10984). Are f and 1 unequal?
True
Let y(t) = -t**3 + 15*t**2 - 12*t - 2. Let q be y(14). Which is smaller: 25 or q?
25
Let x(w) = w**3 - w**2 - 3*w - 4. Let c be x(3). Suppose 0 = c*i + 5. Let t be 4/((-56)/2) + (-62)/56. Is t at most as big as i?
True
Let c = -138 - -144. Which is smaller: c or 7?
c
Suppose -20 = -5*b - 50. Suppose 4*n - 4*s = -7*s + 10, 0 = 3*n - 4*s - 20. Let y be (28/8)/(b/n). Which is bigger: -1 or y?
-1
Let p = 23 + -30. Which is smaller: 1/6 or p?
p
Let y(c) be the third derivative of c**5/60 - 7*c**4/24 + c**3/3 + 2*c**2. Let f be y(6). Are -1 and f equal?
False
Let q = -0.37 - -0.17. Let g = -2 + 3. Is q bigger than g?
False
Suppose -34 = -2*x - 4. Which is greater: 14 or x?
x
Let m be 4/(-10) + (-4)/(-5). Let p be (-25)/9 + 14/(-63). Let b be (-2)/p - (-75)/(-45). Which is smaller: b or m?
b
Let q = 6.9 + -7. Let p = -4 - -3. Is p greater than q?
False
Let a be (3 - 6) + 0 + -1. Let w = 7 + a. Suppose -4*q + 6 = 4*h - 3*q, 2*h + 2*q = 0. Which is greater: w or h?
w
Let o = 23.1 - 23. Does -2 = o?
False
Let b = -2/353 - 4932/1765. Which is smaller: -1 or b?
b
Let r be ((-6)/(-4))/(5 + -2). Let b be (-6)/(-4) + 4 + -6. Which is bigger: r or b?
r
Suppose -3*q = 5*h + 35, 4*q + q + 3*h = -37. Do -5 and q have the same value?
True
Suppose 5*s = -6 + 1. Which is smaller: 1/23 or s?
s
Let w be 4/3*(-6)/(-4). Suppose -w = 3*u + 4. Let x(a) = a**2 + 6*a + 4. Let b be x(-5). Which is smaller: u or b?
u
Let d(l) = -9*l + 7. Let m be d(-7). Is 70 < m?
False
Let n = 171 - 3930/23. Let z = n + -127/92. Is -2 equal to z?
False
Let s(t) = t**3 - 12*t**2 - t + 14. Let m be s(12). Which is smaller: m or 13/8?
13/8
Let u be (-3)/(18/(-10))*3. Suppose u*r - 4 = 1. Let q = -3 + 4. Is r bigger than q?
False
Let k be (-5)/(-60)*21 - 1. Which is smaller: k or 6?
k
Let d = 15 - 14. Let l be (-49)/17 + (d - -2). Which is smaller: l or 0.2?
l
Let j(o) = -o**2 - 3*o. Let k be j(-3). Suppose -121 = 4*p + 367. Let z = p - -977/8. Is z < k?
False
Let u = 11 + -12. Which is bigger: 2/41 or u?
2/41
Suppose -y = -5*y. Suppose -2567 + 803 = -7*b. Let g = 2774/11 - b. Which is greater: y or g?
g
Let b = 1 - 2/3. Let s = -57 + 56. Which is smaller: s or b?
s
Suppose -3*o = -4 + 16. Let v be (-3)/3*o + -3. Which is smaller: -0.9 or v?
-0.9
Let o be (3/(-2))/(1/6). Let l = -9 - o. Suppose 0 = -2*w - l*w + 8. Which is smaller: w or 0.1?
0.1
Suppose 4 = -x + 5*a, -2*x + a = -1 - 0. Suppose 0 = 3*k - 2*w - 21 + 5, -4*k = -5*w - 33. Are k and x equal?
False
Let t be ((-14)/21)/((-3)/72). Suppose -t = -p - 14. Do 5/2 and p have different values?
True
Let r(p) = 9*p + 3. Let u(b) = -b - 1. Let x(o) = -r(o) - 6*u(o). Let i be x(2). Suppose 0*c + 4*c = -12. Is i at least as big as c?
True
Let y = 23/70 + -9/14. Let q = 5/7 + y. Let p = 8.7 - 9. Which is smaller: q or p?
p
Suppose 3*p + p = 0. Suppose p = -x + 4*x + 21. Let i = 0.2 + 0.8. Which is greater: i or x