 j be r(4). Which is smaller: 5 or j?
j
Suppose 3*y = 2*y. Suppose -8 = -2*p - 5*u, -p - 4*u + 4 = -y. Is p at least as big as 4?
True
Let m be 1/(-3 - -2) + -2. Let n be (0*m/6)/(-1). Is 4/3 at least n?
True
Suppose 0 = -4*q + 6*q - 8. Let w = q - 3. Which is bigger: w or 6/5?
6/5
Let n = -185.9 - -178. Let r = 8 + n. Which is smaller: r or 0.2?
r
Suppose -4*w = -w - 3*x + 225, 5*x + 5 = 0. Which is bigger: -77 or w?
w
Suppose -47 = -4*h - k + 5, 4*k = 16. Let x be (0 + -3)/(9/h). Is -2 greater than x?
True
Let d be (6/108)/(2/4). Let f be 28/20 + (-6)/15. Which is smaller: f or d?
d
Let b(c) = c**3 + 4*c**2 - 6*c - 6. Let m be b(-5). Is m less than or equal to -11/6?
False
Let h(c) = c**3 - c**2 + c + 2. Let s(k) = -k**2 - 4*k + 7. Let u be s(-5). Let a be 0/(2 - u - 1). Let b be h(a). Which is smaller: b or 1?
1
Suppose 2*k - 5*m - 25 = -k, 3*m + 15 = 2*k. Let n = -1/53 - -221/477. Is k < n?
True
Let n(u) = u**2 + 8*u - 8. Let z be n(-9). Let p = -6 - -15. Let w be p*(z - 4/6). Is 2 less than or equal to w?
True
Let c be -1 - (0 - -1 - 1). Let o be (c/3)/(1/(-15)). Suppose -o*r = -3*r. Is 1 bigger than r?
True
Let h(i) = i**2 - 5*i + 4. Let l = 7 - 6. Let b be (2/l - -3) + -2. Let m be h(b). Which is bigger: m or -4/3?
-4/3
Let a(l) = l**3 + l**2. Let v be a(-1). Let x = -0.52 - -0.56. Which is smaller: x or v?
v
Let c = 1082418/7 - 154182. Let r = 448 - c. Let n = -2 - 0. Which is smaller: n or r?
n
Let f(y) = 2*y + 1. Let w be f(4). Is 0 bigger than w?
False
Let s be 1*((-2 - 0) + 7). Suppose z = l + 2*l + s, 2*l + z - 5 = 0. Let d = -981/4 - -244. Is d at most as big as l?
True
Let z(k) = k - 1. Let j be z(0). Let x = 65/2 - 34. Which is smaller: x or j?
x
Suppose -2*d = -18 - 2. Let j be 15/d + 11/(-7). Is -1 less than j?
True
Let x be 7/21 - 4/(-6). Let a = -1 - x. Is -1 bigger than a?
True
Let x be 0/2 - 1178/(-335). Let i = x - -19/67. Which is smaller: i or 3?
3
Let v(r) = 11*r - 18. Let a be v(3). Is a < 13?
False
Let h be (-1)/(-2) + 13/(-10). Let m = 3 + 3. Let a be (-8)/m + 4/12. Which is greater: a or h?
h
Let z(b) = -2*b**2 + 2*b - 2. Let c be z(4). Is c < -26?
False
Let y = 15 + -12. Is 3 at most y?
True
Suppose -3*l = 5*u + 18, -8 = 2*l + 3*l + u. Which is smaller: l or 2/37?
l
Let w(s) = -s**3 + 6*s**2 - 4*s - 7. Let g be w(5). Let y = -0.32 + 0.42. Which is smaller: y or g?
g
Let w = -0.22 - -1.12. Let m = 0.1 + w. Let s = 6 + -2. Are m and s unequal?
True
Suppose -3*b + 5*s + 103 = 0, -4*s = 5*b - 0*s - 147. Is 31 >= b?
True
Suppose 0 = -l - 8 + 7. Which is smaller: l or 2/43?
l
Let q be (3 - 2) + 26/(-18). Suppose 0*u - u = -4*a + 9, 4*a = -u + 15. Suppose -5*h = -2*h - a. Is q not equal to h?
True
Suppose -2*d - 2*d - 20 = 0, -2*q + 117 = -d. Let n be (-144)/q - (-3)/(-7). Which is greater: n or -5/2?
-5/2
Let h = 5.9 + -4.9. Let r = 11 + -18. Which is bigger: h or r?
h
Let c = -4/3 + 5/3. Suppose -3*u + 15 = 2*u. Suppose -h + 2*m + 3*m - 15 = 0, -u*m + 9 = -4*h. Which is smaller: h or c?
h
Let f be 63/12*(-4)/(-18). Let t = f + -2/3. Let a = 2 - 0. Is a != t?
True
Let c = 60 - 108. Let f be (-152)/c - 3*1. Is -1 greater than or equal to f?
False
Let c = 10.9 - 3.9. Is c at most as big as 1/4?
False
Let s = -78 + 86. Which is bigger: s or 50/7?
s
Let v(k) = 0 + 0 - 1 + 3*k - 4*k. Let r be v(-4). Let o be (4/(-8))/((-1)/r). Which is greater: 2 or o?
2
Let l be (-5 - -1)/(-1 + 3). Let t be 2/l - (-3)/3. Which is smaller: t or 4?
t
Let y be (-2)/(-2*11/(-4)). Which is smaller: y or 1?
y
Let k(s) = 7*s + 2. Let d be k(-1). Let f(r) = -5*r**2. Let n be f(-1). Let g = d - n. Is -3 greater than g?
False
Let q(z) = z**3 - 2*z**2 - 6*z. Let m be q(4). Which is smaller: 22/3 or m?
22/3
Let o be (-192)/88 - (-4)/(-66)*-3. Which is smaller: o or 2.7?
o
Suppose 0 = -4*a + 3 - 7. Which is smaller: a or 2/87?
a
Let c be (-7)/((-4466)/(-1248)) - -2. Let u = 4/29 + c. Is u at most -1?
False
Let n = 101/3 - 799/24. Let u(g) = -g**2 - 4*g + 11. Let d be u(-6). Is d > n?
False
Let o = 97.9 + -93. Let b = -0.9 + o. Let a = 3 - b. Is -7 <= a?
True
Let m = -0.05 - 0.01. Let v = 0.14 - m. Are -2 and v equal?
False
Let b be (-1 - (-20)/18)/1. Let l be (-2 + 4/2)/3. Are l and b equal?
False
Let u be 9/12*4 - 4. Suppose -1 - 3 = -q. Let a be 6/q*8/(-18). Which is bigger: a or u?
a
Suppose 2*n + 4 = g, 2*g - 22 = -2*g + 5*n. Let u be (-2)/g - 3/(-4). Is 0 >= u?
False
Let d be 64/28 + 2/(-7). Suppose -2*n + 0*n - d*w = -2, 3*n - 3*w + 9 = 0. Let m be 2 + 2/(5 + n). Which is smaller: m or 2?
2
Suppose 0 = 3*l - 3. Suppose -131 = d - h - 3*h, -h = -3*d - 437. Let v = d + 1032/7. Is l at least v?
True
Let q be (1 - 0)/(-2 - -3). Let t be (-10)/55*958/(-1). Let k = t - 174. Are k and q equal?
False
Let m = 13 - 11. Is m <= -12?
False
Suppose -84 = -0*c + 3*c. Which is smaller: c or -26?
c
Let g(p) = -p**2 + 5*p. Let v be g(4). Suppose -10 = -3*u + u. Is v != u?
True
Let s = 225 - 667/3. Which is bigger: 2 or s?
s
Suppose 4*n + 0 = -2*x - 8, -x = -5*n + 4. Let k = 2 + 1. Suppose k + 2 = 5*q. Which is greater: n or q?
q
Let j(w) = w**3 + 8*w**2 + 9*w + 8. Let d be j(-7). Let m(q) = q**2 + 7*q + 7. Let g be m(d). Which is smaller: g or 3?
g
Suppose -5*b + 8 = -3*b. Suppose 5 + 9 = 4*x - 3*p, 0 = 4*x + b*p. Let v be (2 + -2)/(x + -4). Is v bigger than 2/39?
False
Let p be 4/(-3)*1/3. Let l = p - 2/9. Suppose 4*n - 6 = 3*i, -2*i - 4 = -4*n + 5*n. Which is greater: n or l?
n
Let a be (-2)/(-6) - (-57)/(-9). Let g(t) = -t**2 - 7*t - 5. Let c be g(a). Suppose -4*m + 5*f + c + 4 = 0, 2*m - 2*f - 2 = 0. Which is smaller: m or 1?
m
Suppose p = 2*j - 6, -4*p + 5 + 1 = 2*j. Which is smaller: 1 or p?
p
Suppose 5*t + 0*b - 3*b = -82, -5*t + 2*b - 78 = 0. Suppose 133 = -26*x - 231. Is t < x?
False
Suppose 5*b + 5*y - 70 = 0, 40 = 3*b + 2*b - y. Let z = 53 - 43. Is z at least b?
True
Suppose -11 = w + 1. Which is smaller: w or -2/5?
w
Let b be 80/(-8)*(-1)/(-2). Which is greater: -21/5 or b?
-21/5
Let b = -4 + 6. Suppose 4*i + 2 = 2*r, 4*i - 28 = -0*r - 4*r. Let z = r - b. Is z greater than 1?
True
Let x = -0.15 - -0.1. Let c = x - 0.11. Is 0 smaller than c?
False
Let z = -23 + 23. Which is smaller: 2/13 or z?
z
Suppose 9*b = -17 - 1. Let c(p) be the first derivative of -p**4/4 - 4*p**3/3 + 5*p**2/2 - 3*p + 1. Let y be c(-5). Which is greater: y or b?
b
Let o be 743/1478 - (15/6)/5. Which is smaller: o or 1?
o
Suppose -5*k - 27 = -5*s - 2, 2*s - 5*k = 16. Suppose -l - s*o - 9 = 0, -o = -3*l - 6 - 1. Let j = 3 + l. Which is smaller: 2/11 or j?
j
Suppose r + 4 = -r. Let u be (-3)/(-7) - 85/35. Is u greater than or equal to r?
True
Let j be 16 + -3 + -1 + 2. Suppose 5*l = -3*w - w - 23, j = -4*l - w. Let s be 2/l*(-3)/(-2). Is s <= -1?
True
Let w(r) = r**2 - 6*r + 4. Let y = 6 + -1. Let a be w(y). Is a at most as big as -1/3?
True
Let f be 1/(-3) - 69/9. Let r = f + 11. Suppose 3*w - d = 6 + 1, 0 = 2*w - 3*d + 7. Which is smaller: r or w?
r
Let o = -152 - -149. Which is smaller: o or -18/7?
o
Suppose 5*b + 3 = 4*b, -4*f - b - 51 = 0. Is -12 < f?
False
Let i = 16/213 - 1966/9159. Let z = -56/215 + i. Let s be 4/18 + (-8)/(-45). Are s and z unequal?
True
Let h be 111/9 - 1/3. Suppose 5*q - 6*n - 35 = -n, 3*n + h = 0. Is 2 greater than or equal to q?
False
Let w be ((-2)/(-4))/((-1)/(-4)). Let h be w + 1 + -3 + -2. Suppose -5*o - 2*x + 0*x = 4, x + 5 = -4*o. Is o at most h?
True
Let v = 31 - 34. Is v <= -5/2?
True
Let c(l) = l**2 - 6*l + 1. Let f be c(5). Let i be (-6)/f + 8 + -9. Which is greater: i or 7?
7
Let x(f) = 2*f + 1. Let m be x(-4). Let b be (-2 - m/3)*3. Let y be (2/(-4))/((-30)/8). Which is greater: y or b?
b
Let j = -19 - -19.4. Let y = j + 0.6. Which is smaller: -7/5 or y?
-7/5
Let v = 0 - 4. Let i = v + 7. Suppose -3*t - i = -4*a, 6*t - 2*t + 4 = 4*a. Which is smaller: -1 or a?
-1
Let k = -2 + 12. Is 11 smaller than k?
False
Let n = -39 - -40. Let h = 6 - 25/4. Is h at least n?
False
Let a be 24/14 + 18/63. Let x be (10 - 7)*a/6. Do 1 and x have the same value?
True
Let k be ((-8)/10)/((-8)/(-120)). Which is bigger: -23/2 or k?
-23/2
Let c = -0.03525 - -44.02525. Let a = c + -42. Let h = a - -0.01. Which is bigger: h or -1/3?
h
Let z be -2 - (1 - 2) - -4. Suppose 2*n + 17 = z*c, -3*c + 0*n = -4*n - 25. Suppose -3*b = -6*b + c. Is b at least as big as 1?
