be (8/6)/((-1176)/(-36)). Which is bigger: 0 or f?
f
Let y = 1/42 - 5/14. Which is smaller: y or 1?
y
Let z be (-4 + 3)*(0 + -1). Let y = z - 0. Suppose 5*x + 2*i - 1 = y, 2*i - 2 = 0. Is 2/5 < x?
False
Let x = -29/46 + 3/23. Which is smaller: x or -3?
-3
Let q be 1/(-1)*3*12/9. Let k = -6 + 9. Suppose -4*u + k*g + 3 = -0, -5*u - 5 = -2*g. Which is smaller: q or u?
q
Let t be (4/(-9))/(3/9). Let h be -1 - 6/(-2) - 3. Let p = h + 1. Which is smaller: p or t?
t
Suppose -5*f - 4*f - 9 = 0. Which is smaller: -2/197 or f?
f
Let p be 4014/4 + (-2 - -1). Let w = p - 917. Let r = -84 + w. Which is greater: 1 or r?
r
Suppose -29 = -4*k + 3*w, 4*k + 2*w = -0*k + 14. Is 6 at most k?
False
Suppose 9*k = 22 + 5. Which is greater: k or 2?
k
Let j = 10 - 8. Suppose 0 = -y + 2 - 0, 2*y = 3*a - 2. Is a equal to j?
True
Let l = 9 - 6. Suppose -7*r + 16 = -3*r. Is r at least as big as l?
True
Let x = 2.114 - 0.054. Let f = x - 0.06. Let p = -8 - -7.9. Which is bigger: p or f?
f
Let i be 0 + 2 + (-1 - -1). Suppose 0 = i*c - 10 - 0. Let z(n) = n**2 - 4*n - 6. Let q be z(c). Which is greater: q or -1/7?
-1/7
Suppose -3*l + 7 = -2. Let z be 49/2 - (l - 5). Let t = z - 26. Is t bigger than 0?
True
Let u(w) = 23*w + 15. Let z be u(-3). Which is greater: -107/2 or z?
-107/2
Let u = 3 - -1. Let v = -1/6 + 8/3. Which is greater: u or v?
u
Let g = 1.1 - 0.1. Let h = 0.2 + -0.3. Let y = 0.1 - h. Which is greater: y or g?
g
Let v = -8 - -8.11. Let b = 3.89 + v. Let o = b + -4.1. Which is greater: o or 1?
1
Let c(a) = a**3 + 15*a**2 - 35*a - 22. Let z be c(-17). Is z >= -5?
True
Let v = 82 + -572/7. Let t(y) = -4*y**2 - 28*y. Let q be t(-7). Which is bigger: v or q?
v
Let u = 4 - 9. Let m(w) be the first derivative of -w**3/3 - 3*w**2 - 4*w - 2. Let h be m(u). Is h != 1?
False
Let a = -13/1800 - 6314231/23400. Let q = a + 270. Suppose 0 = 6*w - 2*w. Is q <= w?
False
Let v(r) = r**3 + 9*r**2 - 11*r - 8. Let x be v(-10). Let l = -5/17 + 151/51. Is l smaller than x?
False
Let m = 15 - 9. Let c(t) = t - 5. Let w be c(8). Suppose -4*q + 2*s + 12 = -m, w*s = -9. Which is smaller: q or 0.1?
0.1
Let a = -76 - -1063/14. Let u = a + -95/42. Which is greater: -3 or u?
u
Let h = -353 + 8823/25. Let t = 31/75 + h. Do t and 0.9 have the same value?
False
Let u = -118/3 + 39. Which is greater: u or 12?
12
Let a be 1 + (-1)/((-4)/(-6)). Let u be 12/9 - (-10)/15. Suppose 4*j + 0*j - c + 4 = 0, u*j - 4*c + 16 = 0. Does a = j?
False
Let p be (-8)/(-17)*3/6. Suppose -l = -0*l - 5*q - 9, -5*l = -5*q - 5. Which is bigger: p or l?
p
Suppose 2*l - 8 = 2*v, 0*v + 9 = 3*v + 4*l. Let s be 3*(v + 0) - 4. Is -3 smaller than s?
False
Let a(n) = -n - 1. Let q(v) = -v**3 + 5*v**2 - 3*v - 11. Let b(p) = 4*a(p) - q(p). Let t be b(5). Which is smaller: 1 or t?
1
Let l(y) = 10*y**2 + y. Let m be l(-1). Let c be 4/9 + (-2)/m. Is c at most 2/7?
True
Let v = -12 + 22. Let q(h) = -h**2 + 10*h - 1. Let c be q(4). Suppose 4*x - 13 - c = 0. Is x <= v?
True
Suppose 19 = -o + 48. Which is bigger: 27 or o?
o
Let k(s) = s**2 - 10*s. Let q be k(10). Let o = q - 2. Are -1 and o nonequal?
True
Let w = -39 - -40. Is 2/23 less than w?
True
Let i = 0.1 - -0.9. Is -5 at most as big as i?
True
Suppose 5*t - 6 = -3*g, -t + 0*t = g - 4. Let y(a) = 5 - 3*a**3 + 6*a**2 + 2*a**3 + 7*a - 4. Let i be y(g). Which is greater: 1/2 or i?
i
Let k be 4/6*(-6)/12. Is k at most -1?
False
Let q be (-4)/((-60)/85)*1. Are 5 and q equal?
False
Let f = -0.19 - -0.59. Are 3 and f equal?
False
Let y(t) = -3*t**3 + t**2 + t + 1. Let o be y(-1). Suppose s - o*s = -9. Is s bigger than 5?
False
Suppose -9 = -3*g - 3. Suppose -g*v - 2*v = 0. Let m = -8 + 26/3. Which is smaller: m or v?
v
Let x = 0 - 0.1. Let h = 68 + -67.94. Which is greater: x or h?
h
Let b = 0.16 - -0.04. Which is smaller: 3 or b?
b
Let m = -10 + 13. Suppose 3*z + 19 = q - m*q, 3*q + 25 = -z. Which is smaller: -9 or q?
-9
Let q = 1 + -1.2. Let f = -108 - -108. Is q <= f?
True
Let i = -3.1 - -2.9. Which is bigger: -0.34 or i?
i
Let t = 22 - 3. Is t not equal to 17?
True
Let s be (-725)/10*36/(-15). Let r = s + -2260/13. Which is greater: r or 1?
1
Let t(f) = -2*f + 2. Let u be t(2). Let b be (-8)/(-8) + u/(-6). Is b not equal to 2?
True
Let c be 20/8*(-4)/(-5). Suppose c*m - m = -3. Is 1 at most m?
False
Let a be 0 + -4 + -2 + -1. Let h = a - -9. Let o be (h + 0)*(-2 - -3). Are o and 5/2 unequal?
True
Suppose -4*o = -9*o - 15. Is o greater than 0?
False
Let s = 2 - 2. Let x = 2/931 + -1952/41895. Does x = s?
False
Let a = -27 - -28.1. Let g = 1.13 - a. Are -0.1 and g nonequal?
True
Let w = -5 - -4.9. Which is smaller: w or 9?
w
Let r = 5/18 - 1/2. Is r < 2?
True
Suppose 7*p = 2*p. Let g = 14 + -8. Suppose -3*r - g = -p. Which is greater: -1/2 or r?
-1/2
Let u = -4.98 - -5. Let q = u - -0.98. Let p = -3 - -2. Is q at least p?
True
Let w(x) = x - 20. Suppose -3*a = 3*g + 18 - 78, -5*a + 73 = -4*g. Let t be w(a). Which is greater: t or -14/5?
-14/5
Suppose c - 16 = 2*g, g = -5*c + 3*g + 40. Which is greater: c or 5?
c
Let w = -6 + -5. Let t = -6 - w. Let i be 15/(-9)*(-1)/t. Which is smaller: -2/9 or i?
-2/9
Let w = 62.9 - 84. Let d = -22 - w. Is d bigger than 1/2?
False
Let k = 0.17 + 0.03. Let y = k + 0.1. Which is smaller: -2 or y?
-2
Let n be (112/32)/((-2)/16). Let a be (-1)/(-6)*n/(-21). Which is smaller: a or 1?
a
Let x be -2 - (3 + 0 + -11). Let c be 3 + ((-32)/x - -3). Suppose k + 5*p = -14, -5*k + k + 7 = -p. Which is smaller: c or k?
c
Suppose 2*r = -3*r. Suppose -2*u + 1 - 3 = r. Let m be (u - -2)*(-2)/4. Does -0.1 = m?
False
Let d(c) = -3*c**3 - c**2 + 2*c - 1. Let n be d(1). Let r = n - 2. Let i = 5 + r. Is i greater than or equal to 1?
False
Suppose 0 = 2*o - 5*o. Suppose 2*s + 4 = -4*a - 2, 3*s - a - 5 = o. Let q(w) = -w**3 - 4*w**2 - 2*w + 2. Let x be q(-3). Which is smaller: s or x?
x
Suppose 4*t + 5 = 9. Is t less than or equal to 4/9?
False
Let r = -15 - -17. Which is smaller: r or 4/5?
4/5
Let p(z) = z**2 - z. Let y be p(0). Which is smaller: y or -3?
-3
Let w = 3 + -3. Suppose -28 = -3*t + 5*b, 2*t + 0*b - 2*b - 12 = w. Which is greater: t or 0?
t
Let q = -6/37 - -116/259. Let l be (-1 - -3)*6/(-12). Let a be 0/(2*l + 0). Is a greater than q?
False
Let q = 8.6 + -8.56. Which is greater: q or 1/2?
1/2
Let w = -0.063 - -2.063. Which is bigger: w or 5/4?
w
Suppose z + 2*z + 29 = -2*q, -4*z + 52 = -3*q. Let y = q - -15. Let a be (1/(-3))/(6/9). Is a smaller than y?
False
Let n(f) = 3*f + 8. Let u be n(-6). Is -9 greater than u?
True
Let b be (-90)/25 - (-5 + 1). Is 1 > b?
True
Suppose -22 = -4*f - 2*k + 6, 2 = -2*f + 3*k. Suppose 0 = -3*t + 3*x + 9, 0*t - f*t + 3*x = -11. Let r be (-3)/7 + 2 + -2. Is r > t?
False
Let y(b) be the third derivative of b**4/24 - b**3 + 2*b**2. Let q be y(6). Let t = -1 - q. Is 2/11 greater than or equal to t?
True
Let c(n) = n**2 - n + 3. Let p be c(0). Suppose 0 = -2*k + 5*k + p. Which is smaller: 4/7 or k?
k
Let c = 16779/4 + -4154. Let z = c - 40. Let b be ((-2 - -2) + 0)/(-2). Are b and z non-equal?
True
Let x be 3/12*0*-1. Which is smaller: x or 3/7?
x
Let y = 3 - 2. Let u = -0.3 - -0.1. Which is smaller: y or u?
u
Suppose 4*f - 5 + 1 = 0. Let g be (f/(-2))/(49/28). Is g at least as big as 1?
False
Let s be 3/((-102)/(-28)) - (-20)/(-10). Which is greater: -1 or s?
-1
Let r(s) = s**2 - 8*s + 3. Suppose 0 = -2*p - 3*p + 40. Let q be r(p). Suppose -t = 3*t - 4. Which is smaller: t or q?
t
Let s = -39.5 + 39. Is 0.02 > s?
True
Suppose 4*w - 4 = 2*w. Let n be (1*-2)/(-2*2). Which is smaller: w or n?
n
Suppose 4*n - 1 - 9 = -2*a, 3*n = -3*a + 3. Suppose 0 = n*h - 4, 3*t + 4 = 2*t + 5*h. Is t at most as big as 1?
True
Let d = 21/41 + 551/205. Is 4 at least d?
True
Let p be (-9 - 10/(-2))*1/(-4). Is p greater than 1/119?
True
Suppose 0 = 3*q - 6*q - 42. Let p be ((-13)/4 + 0)*(-14 - -18). Is q greater than p?
False
Let b = 8 - 29. Are b and -21 non-equal?
False
Suppose -f + 2*w = -10, 4*f - 4*w = 24 - 0. Let j be 0/(-3) + f*-1. Let g = 1002/5 + -201. Is g > j?
True
Let k be 2*(-10)/(-12)*3. Suppose k*m + 3 = 8. Let d be 24/18 + (-3)/2. Which is bigger: d or m?
m
Let z = -966/11 + 88. Let n be 6/(-4) + 1/2. Is n at most as big as z?
True
Let j = -193 - -819/4. Let n = j - 219/20. Is n equal to 0?
False
Let w(o) = -o**2 + 11*o + 11. Let k be 