 4/14 + 4/x. Is 2/3 bigger than u?
True
Let w = 106/273 + -4/39. Let f = -7 - -8. Which is smaller: w or f?
w
Suppose 46 + 9 = -5*v. Let o = 3 + v. Is o bigger than -9?
True
Suppose 15 = -91*o + 94*o. Suppose 0 = -4*i + 4*t, 0 = 4*i - 5*i + 5*t - 20. Is i bigger than o?
False
Let h = 168 + -172. Is h greater than -4?
False
Suppose 4*x - 5 = 3*x. Which is smaller: 7 or x?
x
Let r(b) = -b + 7. Let s be r(6). Suppose 2*v + s = -p - 2, 2*p = v - 11. Suppose 4 = 5*d - v. Is d smaller than -3/4?
False
Let m = 0.13 + -0.15. Does m = -0.2?
False
Let g(z) = z**3 - 7*z**2 - 9*z + 4. Suppose 5*j = -v + 8 + 25, 3*v - 44 = -4*j. Let w be g(v). Let r = -6 - w. Are -2 and r unequal?
False
Suppose 3*x + 27 = 3*c, c - 2*c = -3*x - 35. Is x equal to -12?
False
Suppose -4*j + 0 + 16 = 0. Suppose 3*d + 4*s - 14 = 0, 5*s - 7 = -2*d + 7. Suppose -3*u = d + j. Which is smaller: u or -1?
u
Let m = -10 - -2. Is m < -8?
False
Let m = 62.4 + -63. Let x = 1 - 1.1. Is x equal to m?
False
Let v(j) = -j - 21. Let r be v(-11). Is -10 at least r?
True
Suppose 4*j - 2*x - 3*x = -77, -3*j - 59 = -4*x. Which is greater: -14 or j?
j
Let f be (-2184)/108 + 4/18. Is f at least -19?
False
Let o(g) = -g**2 - 3*g - 2. Suppose t + 13 = -5*f, 3*f + 9 = -t + 2. Let v be -2 + t*-1 + 1. Let k be o(v). Which is smaller: -1 or k?
k
Let o(c) = -15*c**2 - 4*c - 1. Let y be o(2). Is y <= -69?
True
Suppose 4*h - 113 = -33. Are h and 20 nonequal?
False
Let v = 3 - 3. Suppose -5*c - 7 + 17 = v. Suppose 3*l = -c*l - 5. Which is bigger: 0 or l?
0
Let n be (36/(-4))/((-6)/8). Let c be -12*n/63 + 2. Is c bigger than -1/4?
False
Let q = -7.1 + 0.1. Let h = q + 7.2. Let g be (-1)/(1/1) - -2. Is g smaller than h?
False
Let q be -9*(-2)/24*-4. Which is smaller: q or -0.17?
q
Let n = 2 + -1. Let p = 1 - n. Which is smaller: 4 or p?
p
Let q be (10/6)/(1/3). Let v(n) be the first derivative of 3*n**2/2 + n + 8. Let m be v(1). Which is greater: q or m?
q
Suppose -5*h + 10 = 0, 3*h = 5*y + 1 + 5. Let m = 475/3 - 157. Which is greater: m or y?
m
Suppose 0 = 4*y - 7*y - 15, 5*n + 3*y + 5 = 0. Suppose -1 = -2*s + 1. Which is greater: s or n?
n
Let d(b) = b**2 + b - 2. Let q be d(-2). Do q and -1 have the same value?
False
Let p(q) = -2*q - 23. Let i be p(-11). Which is smaller: -1/13 or i?
i
Let d(b) = -b - 20. Let w be d(-15). Is -6 > w?
False
Suppose -2*v + 2 = -4*m, 16 - 3 = -2*v - m. Is -6 greater than or equal to v?
False
Let u = 17.5 - 17.2. Is 1 less than u?
False
Let q = -2.5 + 7.5. Let b = 0.1 - 0.1. Let p = q - b. Which is bigger: 0 or p?
p
Suppose 10*l = 5*l + 45. Let q be (-2)/l + 0 + 0. Suppose 7*t = 3*t. Which is greater: t or q?
t
Let r = -3 - 43. Is -45 less than or equal to r?
False
Let q = 67 + -75. Which is bigger: q or -78/11?
-78/11
Let r(z) = 4*z**3 + 9*z**2 + 3*z. Let q(m) = 5*m**3 + 10*m**2 + 2*m - 1. Let a(x) = -3*q(x) + 4*r(x). Let n be a(-5). Which is bigger: n or 0?
0
Let a be (16/10 - 1) + -1. Which is bigger: -1 or a?
a
Let y(j) = -j**2 + 11*j - 13. Let p be y(10). Let v be (-3)/((-3)/2) - -1. Suppose 5*l + v = -7. Which is greater: l or p?
l
Suppose 2 = -4*w + 18, -11 = -3*n - 2*w. Let u = -5 + n. Is -4 != u?
False
Suppose -u = 3 + 3. Let l = u - -9. Suppose 2*b + l*b + 5*q - 25 = 0, 16 = -4*b + 5*q. Which is smaller: -1/3 or b?
-1/3
Suppose s - 6*s + 20 = 0. Are s and 2 unequal?
True
Let j = 717/119 + -43/7. Let l be (2 - 10/4)*2. Is l less than or equal to j?
True
Suppose 8 - 58 = -2*x. Is 25 < x?
False
Suppose 3*k - 1 = 4*k. Suppose 10 = -5*r + 3*z - 7, 5*r - 2*z + 18 = 0. Let i be (-2)/5 + r/(-10). Which is smaller: k or i?
k
Let h be (-5)/(0 + 3 - 4). Which is smaller: 6 or h?
h
Let o = -42 - -43. Let v = -54 + 377/7. Is v equal to o?
False
Let g = 200 + -9798/49. Is g greater than or equal to 0?
True
Let t(q) = q. Let s be t(4). Suppose b + 2*b = 5*i, 4*i = s*b. Which is greater: i or -1/4?
i
Let j = 27 - 45. Let v be 16/(-6) + 6/j. Which is smaller: -2 or v?
v
Let o be (-28)/(-16) + (-2)/(-8). Let l be 10/15*o/(-4). Is l less than 0?
True
Suppose 2*d + 54 + 18 = 0. Let j be (3 - (-111)/d)*-2. Let b = j - -7/30. Is -0.1 at most b?
True
Suppose 1 = o, 0 = 3*a - 2*o + 3*o - 226. Let g be (-10)/45 + a/(-27). Let p(w) = w**3 - 10*w**2 + 10*w - 11. Let h be p(9). Which is smaller: h or g?
g
Let r = 56 - 223/4. Which is smaller: r or 1?
r
Let b(h) = -h + 1. Let y be b(3). Let v be (0 + 0/(-2))/y. Which is smaller: v or 2/15?
v
Suppose 8 = 3*l + 5. Which is smaller: 1/37 or l?
1/37
Let w = 44/15 + -211/75. Which is smaller: 0.2 or w?
w
Let s = 0.12 + -25.12. Is -0.1 less than s?
False
Let f = 6 - 4. Let h = 33 + -30. Is f at least h?
False
Let b(p) = -3*p - 5 + 4 + 2 + 6*p. Let u be b(-1). Let c(o) = -o**2 + 5*o - 2. Let w be c(5). Is w at least u?
True
Let z = -17 + 20. Let f be (-4)/(-6) + (-1)/3. Which is greater: z or f?
z
Let o = -14 - -8. Are -6 and o unequal?
False
Let g(x) = 4*x**2 - 1. Let m be g(-1). Let v be 1 + (1 - 0) + 3. Suppose 0*f - 2*f + 5*k + m = 0, 4*f = -v*k - 9. Do 3 and f have the same value?
False
Suppose 4*s = s + p + 17, 4*s - 40 = -3*p. Which is greater: 1/3 or s?
s
Let s = 141 - 98. Suppose 32 + s = -5*w. Does -15 = w?
True
Let l = 3 - 0. Let d = -10 - -5. Let v = d + 7. Are v and l unequal?
True
Let h = -463.01 + 467. Let v = h - 4. Which is greater: v or -1?
v
Let y(z) = z**3 - z**2 + 2*z - 1. Let p be y(1). Let w = -3/22 + 103/110. Is w greater than or equal to p?
False
Let v = -37486/7 - -5339. Let a = -16 - v. Let u be 4/(-22) - 4/(-22). Is u greater than or equal to a?
False
Let i be -24 - -1*(2 - 6). Is i <= -29?
False
Let l(r) = r**2 + 20*r - 23. Let c be l(-21). Are -5 and c unequal?
True
Let o(i) = -6 + i - 16 + 15. Let r(u) = u**2 - 2*u - 1. Let w be r(-2). Let f be o(w). Is -3/4 bigger than f?
False
Let f(a) = a**3 + 13*a**2 + 5*a - 4. Let b be f(-13). Is b bigger than -71?
True
Suppose -n + 4*d = 6, 6 = n + 4*d - 2*d. Let s(p) = -2*p + 2. Let t be s(n). Is -1 bigger than t?
True
Let g(l) = l**3 - 13*l**2 - 2*l + 27. Let x be g(13). Which is smaller: x or 27?
x
Suppose -20 = -2*h + 6*h. Let j = 10 + -4. Let l = j - 32/5. Is l at most h?
False
Let b(x) = -10*x + 75. Let m be b(10). Is m less than -26?
False
Let v be (-1)/4 + (-1398)/1320. Let s = v - -10/11. Let p = 1/42 + 25/126. Which is smaller: s or p?
s
Let x = -1487.21 - -1497. Let b = 0.21 + x. Which is greater: b or -1?
b
Suppose -4*y - 7 = -3*y + 5*k, -12 = -3*y - 4*k. Is y less than 8?
False
Let i = -104 + 50. Let t = 3/926 - -145373/2778. Let q = t + i. Is q equal to -1?
False
Let b be (-30)/(-20) + 3/(-4). Let i(q) = q**2 + 8*q + 3. Let o be i(-8). Suppose 0 = -m + o*m. Which is greater: m or b?
b
Let s = -6 + 6. Is s >= -3?
True
Suppose 3*z - 105 = -3*h, -3*z + 7*z = h + 120. Is z at most 30?
False
Suppose 0 = 5*c - 5*h, -c - 14 = 3*h + 2. Let i = c - -22/5. Which is bigger: i or 0.3?
i
Suppose 0 = 2*z - 3*g + 1 + 5, z = g - 1. Let f(l) = -7 - 3*l**2 - 4*l + 4*l**2 - 5*l**2 + l**z. Let a be f(5). Which is smaller: a or -0.4?
a
Let h = -19 - -27. Is h <= 12?
True
Let b be 8/12 - (-46)/3. Let l be (-28)/b + 2/(-8). Let p = -3 - -1. Are p and l nonequal?
False
Let m(g) = -g**2 - 7*g - 8. Let o be m(-4). Suppose 0*a + o = -4*a. Which is smaller: 1/21 or a?
a
Let q = -0.1 - -0.2. Let j(l) = l**2 + 3*l - 3. Let v be j(-5). Let f be ((-2)/(-3))/(v/3). Are f and q nonequal?
True
Let k be (-84)/(-8) + (-1)/2. Suppose k = -2*r, l - 3*r = -0*r + 11. Suppose -1 = -s - 4. Is s at least l?
True
Let c = -20 - -25. Let u = 5 + c. Which is bigger: u or -1?
u
Suppose 5*g + 65 = -175. Let r = 89/2 + g. Is -5 smaller than r?
True
Suppose 4*w = 3*w - 4*q + 48, -2*w = -5*q - 109. Let d be 3/5 - w/20. Are -1/2 and d unequal?
True
Let u be 1 - 6*12/2. Is -34 less than or equal to u?
False
Let w(o) = o**3 + 11*o**2 + o + 14. Let m be w(-11). Suppose m*t - 2*t + 2 = 0. Suppose 2*r = -0*q - 5*q - 8, 3*r + 4*q = -12. Which is smaller: r or t?
r
Let i be (-1 + 56/62)/(18/36). Is -1 <= i?
True
Let i = -125/3 + 43. Is i less than -1/4?
False
Let h(t) = -t**2 + 5*t. Let y be h(5). Let s = 2 - y. Suppose -m - s = m. Does -2/3 = m?
False
Suppose -j - 2*d + 1 = 0, 2*d + 3*d = 4*j + 22. Let c be (0/j - -2) + 0. Let b be -1 - 0 - 0/c. Is b less than -1?
False
Suppose -2*l - 1 = 5*y, 0 = -l - 2*y - 0*y - 1. Let s b