= -2, 4*x + 3*v = -22. Which is bigger: -5 or x?
x
Let j = -2 + 1.9. Let s = j - 0.1. Let w = -0.278 + 0.478. Which is smaller: s or w?
s
Let z = 155/3 + -50. Does 3 = z?
False
Suppose 0 = f + 5*o - 9, -6*o = -2*f - 2*o + 60. Which is smaller: 22 or f?
22
Suppose 1 = -n - 0*n. Let x be 5 - (2 - (-1 - n)). Is x <= 4?
True
Let g = 213 + -1078/5. Do g and -2 have the same value?
False
Let t = 2/33 + -37/66. Suppose 5*y - 2*y = 12. Let m be (-8)/12*6/y. Is t less than m?
False
Suppose 2*d = -4*n - 4, 2*d + 3 = -5. Which is smaller: n or 1/7?
1/7
Suppose 4*l + 7*j = 4*j - 5381, -5*l - 6720 = 5*j. Let d = -120063/89 - l. Which is greater: 0 or d?
0
Let r = -45 + 78. Let b = -527/16 + r. Is 1 greater than b?
True
Let c = 536 - 2693/5. Is c >= -2?
False
Let y be (-16)/(-136)*4159/2. Let g = y - 245. Which is smaller: 0 or g?
g
Suppose o - 6*o = 0. Suppose 0 = -o*f - 5*f - 10. Which is bigger: f or 0?
0
Let l(m) = -2*m**3 + 3*m**2 - m + 2. Let v be l(2). Let f(p) = p**2 + 8*p + 4. Let n be f(-7). Is v > n?
False
Let l be ((-16)/6)/((-5)/(-15)). Let f be (0/(-2))/(-2) - l. Which is bigger: 7 or f?
f
Let t = -1.6 - -0.6. Let z = -0.1 + 0.2. Is z > t?
True
Suppose a + 3*a - 4 = 0. Is 6 at least a?
True
Let n be (-4)/2796*(-6)/14. Let g = n - -3229/53823. Which is greater: g or 0?
g
Let r = -0.13 - 4.87. Let a = r - -5.2. Is -0.1 less than or equal to a?
True
Let r = 2/41 - -35/123. Which is smaller: r or 2/5?
r
Suppose v + 2*u = -17, u = 6*u. Is -17 bigger than v?
False
Suppose -6 = 6*w - 4*w. Is -0.1 at most as big as w?
False
Suppose 5*i + 12 = 2*i. Let k(q) = q**2 + 2*q - 4. Let g be k(i). Let w be g/8*(-4)/13. Does w = 1?
False
Let y = 547/5 - 109. Let i = 3 - 3. Suppose 0 = -i*s - s. Which is smaller: s or y?
s
Let x be 70/(-12) + (4 - 35/10). Is x < 0.1?
True
Let l = 0.29 + 1.41. Which is greater: -0.2 or l?
l
Suppose 0 = 2*g + 2 - 30. Suppose 5*o + 2*p = -0*p - g, o + 19 = 5*p. Does 2/13 = o?
False
Let w = 79 - 79. Let x = -39/5 - -8. Which is smaller: x or w?
w
Suppose -3 + 6 = c. Suppose -c*u = -0*u - 3. Is 0 <= u?
True
Let q be 0/(-2) + 2 + 0. Suppose 0*r - q = -2*r. Is -1 less than r?
True
Let u = 3 + -5. Let l be 35/(-4) + u/8. Is l >= -9?
True
Let o = -3 + 2.8. Let h = 0.2 + o. Let l = h + 1. Which is smaller: -1 or l?
-1
Let d = -8.3 - -1.3. Let l = -4 - d. Is l not equal to 1?
True
Let b = -11 - -10. Which is smaller: -1/9 or b?
b
Let k = 3/10 - 19/30. Let v = 10/77 - 24/77. Which is smaller: v or k?
k
Let k = -0.5 + 0.5. Let n = 0.5 - 3.5. Let s = -3.3 - n. Is k greater than s?
True
Suppose 0 = 5*j - b - 10, -2*j + b + 0 + 4 = 0. Is j equal to -4?
False
Suppose 0 = 3*y - i + 11, -3*y - i = 3*i + 1. Which is greater: y or -2?
-2
Let s = 12 + -12. Is s < 2/111?
True
Let g = -2 + 1. Is 1/23 != g?
True
Let s = 13.3 - 12.3. Let v = -21/155 + -2/31. Is v != s?
True
Let x = 5 + 3. Let f = x - 7. Is f at most as big as 0?
False
Let z be (-3)/6*0/4. Let m be 2/(-7)*(-22)/4. Let f = -29/14 + m. Is f at least z?
False
Let q = -417058/183 + 2279. Is -1 greater than or equal to q?
False
Let g(v) = -v**2 + 1. Let t be g(-1). Suppose -5*z + 3*l + 15 = t, -4*z - 6*l - 20 = -2*l. Which is smaller: -1 or z?
-1
Suppose 3*i = -5*y - i + 13, 0 = 5*y + 3*i - 11. Are y and -1/12 unequal?
True
Let l(f) = -f. Let s be l(-2). Suppose s + 0 = i. Suppose -i*v - 5*a = 0, -5*v + 0*a - 2*a = 0. Which is greater: v or 2/3?
2/3
Let h = 5.4 + -5.2. Is h at most 0.14?
False
Suppose 5*g + 2*m + 16 - 1 = 0, 2*g + 7 = -m. Which is greater: g or 2/9?
2/9
Let x be (1/(-11))/((-1)/2). Let q(p) = -p**2 - 2*p - 1. Let k be q(0). Which is bigger: k or x?
x
Let j be 2 + -1 + (-3)/(-1). Let k = 5 + 0. Is j at least as big as k?
False
Let u = -0.14 - 0.06. Let g be (-3)/20 - (-7)/(-28). Is g > u?
False
Let x = 1.8 + 1.2. Which is smaller: 0.2 or x?
0.2
Suppose 23*o - 3 = 26*o. Which is bigger: o or 2?
2
Suppose -6*t = 6*t - 132. Which is smaller: t or 13?
t
Let v be (228/(-475))/(1/(-5)). Which is smaller: 3 or v?
v
Let n = -148 + 218. Suppose -9*h + 4*h = n. Are -15 and h nonequal?
True
Let m = -275 - -274. Let s(u) = u - 1. Let g(t) = 3*t - 4. Let p(i) = -g(i) + 2*s(i). Let h be p(3). Are m and h unequal?
False
Let h be 2*(-7)/(147/(-6)). Which is greater: h or -0.1?
h
Let j = -21.96 - -22. Let r = -1.04 + j. Is r at most 0.11?
True
Let z = 5 + -2. Let x(r) = -r**3 - 5*r**2. Let f be x(-5). Suppose -s + 2*s - 4 = f. Is s less than z?
False
Let q = 0.038 - -1.962. Is q >= 5/7?
True
Let k = -0.15 - 0.05. Which is greater: 0.1 or k?
0.1
Suppose -3*l - 3 + 0 = -3*c, 4*l - 5*c = -5. Suppose -5*m + 1 = 5*d + 76, -2*d + 5*m - 37 = 0. Let v be (1/2)/((-4)/d). Which is bigger: l or v?
v
Suppose 2*m + m - 15 = -3*l, -2*m = -4*l + 44. Let t = l + -10. Which is bigger: -3 or t?
t
Suppose -86 + 21 = -5*k. Which is greater: k or 12?
k
Let y = -566/115 + 4332/805. Let x = y - 4/23. Suppose -b = -3*b + 2. Is x bigger than b?
False
Let o = -68/3 - -131/6. Which is smaller: 0 or o?
o
Suppose 0 = 4*o - 5 + 17. Is -2 at least as big as o?
True
Suppose 0 = -15*k + 12*k. Does -1/5 = k?
False
Let w = 4/607 + -123237/2428. Let y = w + 51. Let m be -1 - 2/4*(-18)/15. Which is smaller: y or m?
m
Let h = 59 - 59. Which is smaller: h or 14?
h
Let a = 0.62 - 0.02. Let c = a - 0.5. Let v = c + -0.1. Are 4 and v non-equal?
True
Suppose 0 = m + 4*m. Suppose 37 = 5*a + 3*y, 11 = a - 3*y - m. Let d be (-4)/a*(-4)/(-2). Is -2 at most as big as d?
True
Let j = -21 + 30. Is 9 != j?
False
Let p = 0.9 - 0.9. Which is smaller: 4/7 or p?
p
Let x be (-10)/3*(-24)/10. Suppose m = -i - 2, m + x = -m. Suppose 2*t + 3 = 9. Which is smaller: i or t?
i
Let s(f) = -f + 2. Let j be s(11). Let h be 2/(6/j) - 2. Which is bigger: h or -17/3?
h
Let r(m) = 3*m + 8. Let f be r(-4). Is f > -4?
False
Let u = -44/75 - 2/25. Which is smaller: -1/12 or u?
u
Let i be ((-1)/(-1) + -1)/(-2). Let s be (1/(-469) + i)*-127. Let u = 1/67 + s. Is u at least 1?
False
Let m = -3 + 2.8. Let q = 0 + m. Let u = q + 0.3. Is 0 bigger than u?
False
Let r(y) = y**3 - 4*y**2 - y + 2. Let j be r(4). Let v(w) = w**3 + 2*w**2 - w - 1. Let s be v(j). Does 1/16 = s?
False
Let i = 10 + -4. Do i and 1 have the same value?
False
Let b = 14 - 15. Which is smaller: -3/35 or b?
b
Suppose -2*t = -0*t + t. Let m be -4*1*(-2)/20. Which is smaller: m or t?
t
Suppose -2*r + s = 4 + 2, -5*r - 4*s = 28. Let p be 2/(r/(-2)) - -3. Which is smaller: p or 1?
1
Let o(y) = -y**3 - 2*y**2 + 2*y - 2. Let i be o(-3). Let b(v) = v**3 + 5*v**2 - 5*v + 4. Let s be b(-6). Is i less than or equal to s?
False
Suppose 5*v - 583 = -113. Which is bigger: 93 or v?
v
Let k(r) = -r + 8. Let j be k(11). Let m be (-4)/((2*-1)/(-2)). Are j and m unequal?
True
Suppose 27 = 5*o - 4*i + i, i + 19 = 5*o. Let c be 4 - 2 - -1*1. Is c smaller than o?
False
Let g be 1 - (-11)/(-3) - -1. Let z = g + 7/6. Is z greater than or equal to 0?
False
Let r = -250 + 742/3. Which is smaller: r or -4?
-4
Let j = -19/12 - -4/3. Let f = -25 + 101/4. Which is greater: j or f?
f
Let h be ((-2)/18)/((-5)/15). Suppose 5 - 2 = -3*g. Do g and h have the same value?
False
Let d be 3 - 0 - 21/7. Let b(v) = v**3 + 1. Let r be b(d). Which is bigger: r or 3?
3
Suppose -6*b - 16 = 26. Is -7 < b?
False
Suppose 3*l = 2*l - 1. Let u be 1/(-20) - (-1)/4. Which is bigger: u or l?
u
Let u be (-3)/1 + 0 + -1. Let f be (-5)/(1 - (-2 - u)). Suppose f*o - 16 = -3*z + 7*o, 0 = -5*o + 5. Which is smaller: 5 or z?
5
Suppose 0 = -n + 3*n + 8. Let s be ((-16)/(-24))/(n/(-6)). Suppose -x - s = 1. Which is smaller: -3 or x?
-3
Let i be 20/4 - 6/3. Which is bigger: i or 2?
i
Suppose 3*n - 2 = 4. Suppose 5 = -n*d + d. Which is smaller: d or -4?
d
Let a be (2 + -1)/2*-2. Let q = -1 - a. Let t be 0/(2 + 0 + 0). Do q and t have the same value?
True
Suppose -4*r - 24 = -5*r. Is 24 at most r?
True
Let s = -1519/2 + 919. Let z = s + -155. Which is greater: 4 or z?
z
Suppose 2*x = 8 - 0. Let q be 4 - x - 2/(-5). Which is greater: 0 or q?
q
Suppose -5*c + 0*i + 165 = 4*i, -4*c + i + 111 = 0. Is 0 at most as big as c?
True
Let c = 151/21 + 149/14. Let w = -18 + c. Is -1 < w?
True
Suppose -3*o = -5*n - 39, -3*n - 13 = o + 2. Let x be (5 + -1)*(87/(-12) + 6). Which is smaller: x or n?
n
Let w(s) = -s**3 - 9*s**2 - s - 8. Let t be w(-9). Is t greater than or eq