. Which is smaller: g or a?
g
Let m = -19 - -15. Which is bigger: m or 2?
2
Let o be (-2)/(1*8/68). Let s = -19 - o. Suppose 0 = 5*h + 6 + 4. Is h not equal to s?
False
Let v = -32 + 40. Which is greater: v or -2/3?
v
Let m be (11 + -15)*(-46)/(-8). Which is smaller: m or -20?
m
Let r be (-9)/(-6)*2/27*-20. Let z = 1122 + -20159/18. Let u = r + z. Is u at most as big as -1?
False
Let m = -551 - -2682/5. Which is smaller: m or -16?
-16
Suppose -z - 12 = -4*t + 3*z, -3*t = -4*z - 10. Suppose -1 - 1 = t*y. Which is smaller: y or 1/30?
y
Let p = -14 - -22. Let i be 1 - p/(-6)*3. Let k = i - 2. Does k = 4?
False
Suppose -22 - 34 = -4*v. Let t be (2*1)/(v/35). Is 4 >= t?
False
Let k be 4/(-10)*(-18)/(-4). Which is smaller: -2 or k?
-2
Let r = -46 - -35. Which is smaller: -10 or r?
r
Let h(u) = 2*u - 19. Let a be h(8). Let y be a + (-5 - -2) + -1. Which is greater: -8 or y?
y
Let r = -51 + 57. Is -0.6 less than or equal to r?
True
Let q = -18 + 30. Let i = q - 12. Let k be ((-2)/(2*-2))/(-1). Is k at most as big as i?
True
Let i = -3 - -2.8. Let o = -40 - -45. Is o < i?
False
Let w = 0.95 + -1. Let z be (20/(-8) - -2)/(15/12). Which is greater: w or z?
w
Let p be (-10)/(-36) + 12/54. Do p and -5/6 have the same value?
False
Let c = -44 - -45. Do c and -5/13 have the same value?
False
Suppose -3*a - 4*r + 5*r + 7 = 0, 2*r + 2 = 2*a. Suppose 0*z = -a*z. Which is smaller: z or 0.07?
z
Let v = 64/527 - 2/527. Is v greater than -0.01?
True
Let s = -30 + 30.9. Which is smaller: -1 or s?
-1
Let f = 122.053 + -5.993. Let c = 118 - f. Let i = -0.06 - c. Is 1 smaller than i?
False
Let r = 9 + -4. Let s(f) = -f**3 + 4*f**2 + 6*f - 6. Let o be s(r). Do 1/5 and o have different values?
True
Let z = -827/5 + 167. Let x = 69 - 66. Are x and z nonequal?
True
Let d = 0.151 + -0.351. Which is bigger: d or 5/13?
5/13
Let u(o) = -o + 2. Let r be u(3). Let c(a) = a**2. Let b be c(1). Let t be (b - 1)/(-2 - 0). Which is bigger: t or r?
t
Let d = 122 - 121. Is d less than 30?
True
Let r(b) = -2*b**3 - 2*b - 1. Let l be r(-1). Suppose m - l = 4. Which is greater: m or 6?
m
Let b(t) = t - 5. Let i(c) = -c + 4. Let d(k) = 4*b(k) + 5*i(k). Let m be d(-2). Suppose -2 = -0*g - m*g. Which is bigger: -1/3 or g?
g
Let a = 2 + 1. Suppose 0 = -2*c + a + 1. Let m be (-24)/(-20) + (-3)/5. Which is bigger: c or m?
c
Let z = -1.3 + 0.1. Let j = 0.2 + z. Let l = -1.2 - -2.2. Which is smaller: l or j?
j
Suppose 5*p - 160 = 5*f, -4*f + 2*f - 5*p = 50. Which is smaller: f or -31?
-31
Let g = -2 - -2. Let y(u) = -u - 1. Let r be y(3). Let x = -3 - r. Is g < x?
True
Suppose -2*o + 0*o = 2*i - 8, 0 = 2*o + 4*i - 8. Suppose o*p = -7 - 5. Which is smaller: -4 or p?
-4
Suppose -3*s + 20 = 2*s, 4*o = -s - 48. Which is smaller: o or -12?
o
Let z = -131 - -919/7. Let n be (-17)/(-238) - 4/14. Let b = z - n. Which is bigger: -5 or b?
b
Let q = -1833/5 - -365. Let a = q - -13/10. Do a and 1 have the same value?
False
Let i be 50/(-225) + 4/18. Which is bigger: 15/11 or i?
15/11
Let w = -1 - -2. Let d be (w/14)/(2/(-8)). Is 0.2 less than or equal to d?
False
Suppose 11*c - 10*c - 13 = 0. Is c bigger than 13?
False
Suppose -2*g = -0*g - 6. Let t(d) = -d**2 - 12*d - 10. Let q be t(-11). Is q at most as big as g?
True
Suppose k + 4*t = 6*k - 19, 2 = 2*k + 4*t. Suppose y + 5 = 0, -k + 0 = -2*g + 3*y. Which is smaller: -2 or g?
g
Let n(z) = -z**3 - 5*z**2 + 9*z + 17. Let g be n(-6). Which is smaller: g or 3/20?
g
Let y = -327/70 - -32/7. Let p = -47/70 - y. Which is bigger: p or -2?
p
Let b = 11 - 14. Which is smaller: -2 or b?
b
Suppose 5*f - 2*k - 11 = 0, 3*k + 2 + 4 = 4*f. Is f at least as big as 6?
False
Let f be (1 + (-5)/3)/(-1). Which is smaller: -2 or f?
-2
Let i = -2 + 4. Suppose 0 = -4*m - i - 14. Let r be -1 + 1 + 4 + m. Does r = -2/7?
False
Let g = 2 - 10. Let o(d) = -d**2 - 7*d + 4. Let c be o(g). Which is smaller: c or -3?
c
Suppose -p + 6*p + 5 = -5*v, p + 5 = 0. Let b = -6 - -4. Which is smaller: v or b?
b
Let g = 1168/3 - 390. Let z = 5 + -2. Suppose 3*v + 0 = -z. Is g less than v?
False
Let r = 8.9 + -9. Which is smaller: r or 18/5?
r
Let s = 4 + -6. Which is smaller: s or -1?
s
Let w = 2 + -7. Let r be (-7 + w)*(-2)/4. Let d be (1/r)/(1/(-4)). Which is smaller: d or -0.1?
d
Let p = -0.91 + 0.27. Let i = -0.04 - p. Let n = -4.6 + i. Is -0.1 less than or equal to n?
False
Let l be 15/2*4/(-5). Let d = 4 + l. Let j be 2/(-4) + 3/(-10). Which is smaller: j or d?
d
Let x be 2/8 - 294/1288. Is -1 at most as big as x?
True
Let y = -104 - -106. Which is smaller: y or 40?
y
Let t = -0.1 - 0.9. Let n(l) = l**3 - l**2 - 9*l + 6. Let j be n(3). Is j at least t?
False
Suppose -5*w - 23 = 2*p, -38 + 11 = 3*p + 5*w. Let x = -70 - -67. Which is smaller: x or p?
p
Let n = 20 - 22. Which is greater: -8/11 or n?
-8/11
Let o be (1 - 0) + 0/(-1). Suppose -7*q = -3*q - 32. Let m be (-9)/6*q/(-18). Which is smaller: o or m?
m
Let t be 10 + -8 + 2/(-2). Which is smaller: 12 or t?
t
Suppose -c = 4*c - 35. Let s = 5 - c. Let u be 0 + 0 + s + 1. Which is greater: -5/3 or u?
u
Let u = 6 + -6. Is u >= 5/8?
False
Let p = -2 + 0. Let h = p + 4. Let b be (h/(-12) + 0)*-2. Is b at least -1?
True
Let g(t) = -t + 5. Let f be g(8). Let r be (324/(-28))/f - 3. Do r and 2 have different values?
True
Suppose 0*l - 2*a = -3*l + 3, 3*a = 5*l - 4. Let r be 3 + 6/(-4)*l. Are r and -1/4 non-equal?
True
Let w = 1.2 + -1. Let j = 0.3 - w. Which is smaller: 1/4 or j?
j
Suppose 4*p + 1 = f + 3*p, 5 = f - 3*p. Let s = f + 0. Let z = 0 + s. Is z bigger than -1?
False
Let k(o) = 3*o - 9. Let g be k(2). Does -3 = g?
True
Let q(m) = -m - 10. Let t be 3/3 + 1*13. Suppose -t = 3*p + 5*x + 41, -5*p - 70 = 4*x. Let b be q(p). Which is greater: b or -3/4?
b
Let k(o) = -3*o + 1. Let v be k(-3). Let g = 11 - v. Do g and -3/11 have the same value?
False
Let o be 44/33*(-18)/32. Are o and -2 unequal?
True
Let a(u) = u**3 - 11*u**2 + u. Let f be a(11). Is 11 smaller than f?
False
Let y = 82 - 83.95. Let v = y - -2. Let c = v + -0.05. Which is smaller: c or -1/2?
-1/2
Let m be (28/(-8) - -3)*-6. Suppose -4*k + m*f + f = -24, 3*k + 2 = -f. Is k smaller than 1?
False
Suppose 21 - 1 = 3*i - 2*y, 5*y = 5*i - 40. Suppose 0*k + 2 = 3*k - 4*q, -5*k - i*q + 46 = 0. Is 6 < k?
False
Suppose -33 = -3*w + 3*l, -3*l - 23 = -5*w - 6*l. Let c(u) = -u**2 + 8*u + 1. Let a be c(w). Is a != 7?
True
Let h be 63/(-6)*4/(-6). Suppose -h*v + 15 = -2*v. Is 2 bigger than v?
False
Suppose 0 = c - 5*c. Let t = 3 - 0. Suppose c = -0*a - 3*a + t. Is -2/9 equal to a?
False
Let h = -133/24 + 39/8. Which is smaller: h or 0.7?
h
Suppose 9 = 5*o - 11, 4*f = -o + 32. Which is smaller: 5 or f?
5
Let n be 10*1*(-1 + 0). Let z = n + 14. Suppose -9 = -4*c + 3. Is z greater than or equal to c?
True
Let j be (0 - 0 - -1)*-3. Let z = j + 3. Which is bigger: -1 or z?
z
Suppose -1 + 3 = 2*p. Is p at least as big as 7/5?
False
Suppose -2*a + 5*z = 58 + 16, 5*a - 4*z + 151 = 0. Let k = 26 + a. Suppose -o = -2*m - 6, -1 + 4 = -4*o - m. Which is smaller: o or k?
k
Let l be (1 + 5)/(2/((-8)/3)). Is l != -9?
True
Let d = -3.5 - -4. Let p = 0.3 - -0.2. Let m = p - d. Which is bigger: m or -3?
m
Let h = 120 + -114.9. Let k = -1.1 + h. Let j be (-1*7/(-42))/((-1)/4). Which is smaller: j or k?
j
Let i be (24/(-9))/1 - 0. Which is greater: i or -4?
i
Let v be 10/(-12)*8/(-10). Is v less than 2?
True
Let p = -39 - -59. Suppose -5*x - 3*q - p = 0, x - 18 = 5*q + 6. Is x not equal to 0?
True
Let a be 2/(-14)*(-3 + 1). Let s(f) = -f**3 + f**2 - 3*f + 2. Let q be s(1). Which is smaller: a or q?
q
Suppose -q + 0 = -2. Suppose 2*p - 75 = -3*m, 69 = q*m - 9*p + 4*p. Let n be 33/27 - 6/m. Which is greater: -0.1 or n?
n
Let t = -67/142 - 2/71. Let h = -4 + 15. Is t >= h?
False
Let d be 1/(-8) + (4 - 4). Which is bigger: -1 or d?
d
Let p = 8 - 15. Let b = -4 - p. Let c be (-1)/2 - b/(-2). Is c greater than -1?
True
Suppose -23*l + 5*l + 54 = 0. Let r be (-1)/4 + (-13)/(-4). Is l at least as big as r?
True
Let l be 288/(-80) + (0 - -1). Which is smaller: -3 or l?
-3
Let i be -5 - (0 - (-1 - -2)). Which is bigger: i or -19/5?
-19/5
Let f = -0.1 + -0.4. Let z = 0.8 + f. Which is smaller: -2 or z?
-2
Suppose 3*l - 5*s + 24 = 96, 0 = -3*l - 4*s + 99. Let j = l + -21. Let p be j/(-3) + 1/(-3). Is 0 greater than p?
Tru