
b
Let q = 3.2 - 1.8. Let l = q - 1.2. Which is smaller: l or 1?
l
Let m(k) = -2*k**3 - 5*k**2 + 2*k - 5. Let n be m(-4). Suppose 0 = z - 13 - n. Let h = 339/7 - z. Is 0 smaller than h?
True
Let u(d) = d**2 + 2*d - 8. Let o be u(-6). Suppose -1 + o = -5*s. Let q be (-2)/3*s/9. Which is smaller: q or 1?
q
Let z = 5 - -2. Suppose -a - m + z = a, a + 3*m - 1 = 0. Let c be 1*1/2*a. Is c at most 2?
True
Let o(m) = -m + 1. Let d(w) = -w + 7. Let g(h) = -d(h) + 2*o(h). Let z be g(-13). Which is smaller: z or 9?
z
Let t = -5 - -9. Let y be (-3)/t - 13/4. Let c be (-1 - 2/y)*10. Which is smaller: -4 or c?
c
Suppose -4*u + 4 = 8. Let y be (6/4)/((-3)/4). Which is bigger: y or u?
u
Suppose k + 4*j + 7 = -0*j, 2*j = -5*k + 1. Which is bigger: k or -1/50?
k
Let k = -24 - -20. Let m be 7 + k + 27/(-8). Which is greater: m or -1?
m
Let k be (70/(-252))/(8/(-30)). Let o = 5/6 + k. Is o <= 2?
True
Suppose 0*v - v + 4 = 0. Suppose k = v*k. Let i = 0.06 + 0.04. Is i at most as big as k?
False
Suppose -2 = -0*t + t. Let r = -10 - -6. Which is greater: r or t?
t
Let k = -25 - 0. Is -25 less than k?
False
Let g(x) = -5*x**3 + 12*x**2 - 4*x + 8. Let y(n) = -11*n**3 + 25*n**2 - 7*n + 16. Let b(r) = 9*g(r) - 4*y(r). Let s be b(7). Is s less than 2?
True
Let m = 0.5 - 1. Let q = 0.6 + m. Which is smaller: q or -0.3?
-0.3
Let h = -1195/4 - -283. Let f = 16 + h. Let j = 3 - 2. Is f <= j?
True
Let g = -46 + 32. Which is greater: -16 or g?
g
Let k(m) = 58*m**3 - m - 1. Let c be k(-1). Is -57 greater than c?
True
Suppose 20 = -3*m - 4*n + 7, -n - 6 = -2*m. Suppose 0 + 3 = b + 4*l, 0 = l - m. Let r = -0.1 - 0.1. Which is greater: b or r?
r
Let b(h) be the second derivative of -h**3/6 + 7*h**2/2 - h. Let n be b(8). Let j = 787/18 - 87/2. Which is greater: n or j?
j
Suppose 3*h = -3*i, 0 = -h - 6*i + 3*i + 2. Which is smaller: h or -0.08?
h
Let o be 3/((-168)/(-68)) + (0 - 1). Which is smaller: 1 or o?
o
Let z = -3 + 9. Suppose z*g = g. Is 2/21 equal to g?
False
Let l be ((-44)/(-3))/((-4)/(-6)). Let i = l - 20. Which is greater: i or 0?
i
Let s be 15/(-6)*(1 + 1). Suppose 0 = -f + 3*f - 12. Let j = -12 + f. Is j at least as big as s?
False
Let v = -0.007 - -3.107. Let h = v - 3. Is -5 less than h?
True
Let v = 2 + -3. Suppose -4*o - 8 + 0 = 0. Does v = o?
False
Let v be (-8)/(-3)*1/(-6). Let j(w) = -3*w**2 + 1. Let z be j(-1). Let p be z/4 - 9/(-6). Is v smaller than p?
True
Suppose -3*a + 5 - 16 = -5*s, 0 = -5*s - 4*a + 32. Are s and 3 equal?
False
Let m = 13/10 + -1/10. Let i = 0.1 + -0.2. Which is bigger: i or m?
m
Let g be 26 - (1 - -2)*-1. Let o = g + -30. Let m = -2 - -3. Which is bigger: o or m?
m
Let q be 2 + (2 - 3) - 5. Do -6 and q have different values?
True
Let u be (-30)/9 - (-1)/3. Let b = u + 2. Is b greater than -1?
False
Let w = 53/2 + -27. Is w at least as big as -0.06?
False
Suppose 0 = 5*g + 28 - 3. Which is greater: g or -4?
-4
Let l(s) = -s**2 - 7*s - 2. Let t be l(-8). Let x = -27 + t. Let v be x/(-44) - 15/20. Is 0 equal to v?
False
Suppose 2 + 4 = -2*n. Let m be n/(-1)*(-5)/5. Is -3 greater than m?
False
Let y = -3 + 3. Let v = y + 1. Let q be (2/(-12))/((-2)/16). Is v <= q?
True
Let i = 53 + -111. Let f = i - -176/3. Let a = -22.1 - -22.1. Which is smaller: a or f?
a
Let q(s) = 4*s**2 - 4*s + 10*s**2 - 2*s**2 - 3 - s**3 - 6*s**2. Let l be 12/2 - (1 + 0). Let i be q(l). Which is smaller: i or 0?
0
Let l = 2022/23 + -88. Which is smaller: l or 0?
l
Let x = 10664/27 + -395. Let z = -93 + 92. Which is smaller: z or x?
z
Let n = 24 + -25. Which is greater: -2/27 or n?
-2/27
Let n(j) = j + 11. Let d be n(-7). Suppose d*v - 16 = -4*o, v - 3*o - 7 = 1. Let q(x) = x**2 - 6*x + 3. Let z be q(v). Do z and -2 have the same value?
True
Let i = 5.9 + 0.1. Let n = i - 1. Let t = -4 + n. Which is greater: -1/2 or t?
t
Let t be (-1 + -1)*1/(-1). Suppose 0 = n + 3. Let u = n + t. Which is bigger: -1/4 or u?
-1/4
Let h = -0.1 - -0.09. Let g be 56/(-308) - (-48)/22. Is h smaller than g?
True
Let o be (4/(-3))/((-8)/12). Let q be ((-4)/(-10))/((-1)/(-5)). Suppose -l + q = -0. Is o != l?
False
Suppose 5*x = -5*j - 105, 7*x = 2*x + j - 75. Let b be ((-6)/x)/(6/2). Is -1 bigger than b?
False
Let j = -18 - -16. Is -4 at most j?
True
Suppose -3*x + 115 = -8*x. Let k = -41 - x. Let z = 73/4 + k. Which is greater: 0 or z?
z
Let b = -32 - -30. Are -0.2 and b equal?
False
Suppose -12*h + 9*h - 60 = 0. Is h equal to -20?
True
Let l = -8 - -8.09. Let z = l - 0.09. Which is bigger: -2/9 or z?
z
Suppose -22*p + 24*p + 16 = 0. Is p <= -1?
True
Suppose -2*k = -0*k + 714. Let b be 1*-3 - k/117. Is b not equal to -1?
True
Let n(y) = y**3 - 12*y**2 + 3*y - 32. Let a be n(12). Which is greater: a or 5?
5
Let k be (-4 - 1 - -1)*1. Which is smaller: k or -5?
-5
Let d = -8 - -30. Let f be 14/35*10/d. Is -1 not equal to f?
True
Suppose 4*z + 3 = 3*z. Let h be (-11)/z - (-2)/(-3). Do 3 and h have different values?
False
Let o = 7 - 6.77. Let l = o + -0.03. Which is bigger: l or 0?
l
Suppose 0 = 4*b - 6*b - 10. Let f be 2*(-1)/(-1)*-3. Is f less than or equal to b?
True
Let h be 1/(-2 - (-255)/126). Let g be 19/h + 1/(-6). Is g >= 5?
False
Suppose 4*g + 2*r - 16 = 0, -5*r = 4*g - r - 8. Let k(y) = -y**3 + 5*y**2 - 1 - g*y + 2 + 2*y**3. Let o be k(-6). Is o at most -1?
False
Suppose 0 = -5*q, v - 2*v = -2*q - 2. Suppose -v + 4 = 2*m. Is 2/7 > m?
False
Let c = -17 - -15. Let r = 3/2 + c. Which is smaller: r or -1/4?
r
Suppose 3*d - 164 = -0*u - 4*u, 196 = 4*u - 5*d. Let c = u + -752/17. Let k = 29/51 + c. Is k not equal to 1?
True
Suppose 4*w - 5*z - 19 = 0, 0 = 4*w + 2*z + 3*z + 11. Which is smaller: w or 3/2?
w
Let k = -46 + 47. Which is greater: -2/19 or k?
k
Let a = -68 - -70. Let x(w) = -w - 8. Let q be x(-6). Let c be q - -1 - -2 - 1. Which is greater: c or a?
a
Let m = 55 - 52.9. Is m at most as big as 1/5?
False
Let x be 2/7 - 8/(-70). Let t(p) = -2*p**3 + 2*p + 1. Let y(a) = a**2 + 3*a + 1. Let v be y(-2). Let k be t(v). Is x > k?
False
Suppose 0 = -7*s + 5*s - 4. Let y = -1 - s. Do y and 0 have different values?
True
Let x = 189 - 188. Let h = 2.9 + -3. Which is bigger: x or h?
x
Let a be (-27)/18*(-32)/6. Is 8 less than or equal to a?
True
Let h be (-4)/(-5) - (-54)/(-80). Let c be (4/(-8))/(1/2). Which is greater: h or c?
h
Suppose -r - 4*r = -135. Suppose -15 = -0*f - 3*f, -f = 2*a - r. Is a < 11?
False
Let m = 2 + 0. Let w be -2 - (m + 98/(-24)). Is 0 > w?
False
Suppose 0*h = h. Let z = 5 + h. Is z greater than 4?
True
Let v = -198691/63 - -3154. Let x = v + 1/9. Which is smaller: x or -2?
-2
Suppose -10*b = -2*b + 16. Which is bigger: b or -1?
-1
Let d be ((-6)/4)/((-18)/(-24)). Let p be 57/(-6) + (-2)/4. Let g be p/24 - (-2)/(-8). Which is smaller: g or d?
d
Let i be (-4)/(-16)*(-3 + 1). Suppose -2*j = -5*j - 3. Let p = -2 - j. Are p and i equal?
False
Suppose 2*d = -3 - 3. Is -3 less than d?
False
Let x(g) = g**3 + 3*g**2 - 3*g - 3. Let d be x(-3). Let o = d - 9. Is o equal to -3?
True
Let x be -1 - (6/(-8) - 12/(-16)). Which is bigger: 1/37 or x?
1/37
Let p(g) = -7*g**2 + g + 1. Let l be p(-1). Let k = l - -8. Which is bigger: k or 2?
2
Let d = 12 + -15. Which is bigger: -1 or d?
-1
Let c(b) = -b**3 + 4*b**2 - 3*b + 2. Let g be c(3). Let f be g/8 + 1/12. Is 0 at least as big as f?
False
Let v = -0.489 - -0.189. Which is bigger: -12 or v?
v
Suppose 0 = 7*b - 2*b. Let u(l) = 5*l. Let z be u(-5). Let a = z + 281/11. Are a and b unequal?
True
Let x be (-4)/6*3 - -2. Which is greater: x or -1/14?
x
Let m = -71 - -75. Is m equal to -1?
False
Let l be 567/192 - 0 - (-3)/(-1). Which is smaller: -1 or l?
-1
Let j = -2.9 + 2.66. Which is smaller: -1/3 or j?
-1/3
Let g be (-2)/(-6) + 26/(-6). Let n(j) = -j + 4. Let y be n(4). Let b = -1 - y. Is g at most b?
True
Suppose 0 = 2*l + 8, 6*l + 56 = 2*t + 2*l. Suppose -5*k = -k + t. Let p = k + 5. Are p and 4 nonequal?
True
Suppose 0 = -2*m - 4*m - 36. Is m less than 0.1?
True
Let v = -0.038 + 0.158. Which is smaller: 2 or v?
v
Let b be ((-3)/6)/((-1)/2). Suppose -3 = 4*w + f, -2*f - 2 - b = 5*w. Is 2/7 > w?
True
Let n = -0.07 + -0.03. Let y = -5 - -4. Which is smaller: y or n?
y
Suppose -4*h - 2 = 2*l, -4*h = 3*l - 6*l + 7. Let n = -0.12 - 6.88. Let x = -9 - n. Is l <= x?
False
Let s = -0.001 + -19.999. Let q = s - -19.6. Is 1 > q?
True
Let