.1 - a. Is f smaller than q?
False
Suppose 8 + 5 = 13*r. Let y be (2/4)/(2/(-4)). Which is smaller: r or y?
y
Let l = -0.7 - 4.3. Is l at most -2?
True
Let d be (-10)/(-21) - 38/57. Is 1 at most as big as d?
False
Suppose 6*z - 8*z = 0. Let u = -49 - -437/9. Which is bigger: u or z?
z
Let n = 5.5 - 6. Is n != 2?
True
Let d = 21799/43 - 507. Is d != 1?
True
Let o be (((-14)/3)/(-7))/((-4)/54). Which is smaller: -6 or o?
o
Let z be (-4)/6 + (-2)/(-3). Which is bigger: z or 2/23?
2/23
Let t be ((-2)/24)/((-18)/16). Let x = 3.37 - 3.2. Let n = x - 0.27. Which is smaller: t or n?
n
Let w(c) = -c**3 + 2*c**2 - c - 2. Let a be w(-2). Let n be ((-6)/(-14))/((-6)/a). Is -2 at most n?
True
Let r = -14 + 9. Let x = r - -7. Suppose -17 = -v + 5*f, -x*v + 1 = -2*f - 9. Which is smaller: v or 3?
v
Let s be 0/((-12)/(-4) - 2). Which is smaller: -2/163 or s?
-2/163
Suppose -1 + 9 = 4*k. Suppose -3*a = -1 - 8. Which is smaller: a or k?
k
Suppose -1 = -0*g - g. Let j = -10/9 + 7/9. Which is smaller: j or g?
j
Let f = 0.46 - -7.54. Which is smaller: -2 or f?
-2
Let b = -766/565 + -5/113. Which is smaller: b or -1?
b
Suppose -4*u + 0*u + 16 = 0. Suppose i + 6 = -5*g, 2*g - g = u*i + 3. Is g at least as big as -2?
True
Let n be ((-4)/6)/(161/21). Which is bigger: 1 or n?
1
Suppose 0 = -9*g + 10*g + 3. Suppose -3*s + 64 = 13. Suppose -5*o - s = -7. Which is smaller: g or o?
g
Let g = -247/2 + 128. Which is bigger: 2 or g?
g
Let z = 1/430 - 1463/430. Which is bigger: z or -2/7?
-2/7
Suppose -x + 6 = d + 3, 3*d - 17 = 5*x. Which is bigger: 28/11 or d?
d
Let w(v) = v**3 + 9*v**2 - 10*v. Let r be w(-10). Let q be (4/(-30))/(2*-1). Which is bigger: r or q?
q
Let j(h) = h**2 + 2*h + 12. Let s be j(0). Is s >= 12?
True
Let j be 4/5 - (-126)/30. Let h be 0 + (13 - 1)/1. Suppose 0*k + 3*c + h = -k, -c - 4 = j*k. Is k less than 0?
False
Let o = 0.15 + 0.35. Let i = 0.4 - 0.5. Which is smaller: o or i?
i
Suppose 2*x + 3*x + 2*p - 11 = 0, -4*p = 4*x - 16. Are x and -2/107 non-equal?
True
Let s(r) = r + 5. Suppose -2*g = -78 - 20. Suppose 3*k = q - 10, 4*q - 9 = -4*k - g. Let x be s(k). Is 0 less than or equal to x?
True
Let b = -1/3 - -17/24. Which is smaller: b or 0?
0
Let r = -0.4 + 0.2. Let p = 0.4 + r. Let o be (-4)/32*-2*-2. Which is smaller: p or o?
o
Let i be (-8)/(-6)*((-15)/2)/(-5). Let o = 3 - 6. Do i and o have the same value?
False
Let q be -3*(-2)/(-6)*(-13)/7. Do 3 and q have the same value?
False
Let y = -2813/7 - -403. Let r be ((3 - 2) + -1)/1. Which is bigger: y or r?
y
Let k be 3/1 - (-95)/(-35). Is k not equal to 3?
True
Suppose -7*t + 2*t - 5 = 0. Let q be 22/4 + t/2. Let v = -8 + q. Which is smaller: v or -2?
v
Let b = 0.2 + -0.3. Let f = -0.34 + 0.04. Is b smaller than f?
False
Let r(p) = -p**2 + 8*p - 5. Let y be r(6). Suppose -c = 5*z + 19, c - 3*z - 26 = z. Is y at most as big as c?
False
Let p be 3*((-15)/(-9) - 0). Let o = p - 5. Which is smaller: 1 or o?
o
Suppose -2*l + 391 + 383 = 0. Suppose 3*n + l = -5*p, -p - 2*n + 0 - 76 = 0. Let y = p - -309/4. Which is bigger: -1 or y?
y
Let o = 5 + -5.1. Let z = o + 0.1. Let j = 2.99 - -0.01. Is z bigger than j?
False
Let f(t) = -23*t + 2. Let q be f(-2). Suppose -3*y = y - q. Which is smaller: 11 or y?
11
Suppose 0*s = 5*s. Let g = s + -8. Are g and -7 equal?
False
Let y(b) = -2*b**2 - 5*b - 6. Let r be y(-3). Which is greater: r or -8?
-8
Let z = -3.4 - -4. Which is smaller: -2 or z?
-2
Let y(g) = g**3 - 2*g**2 - g + 2. Let v be y(2). Are -1/4 and v unequal?
True
Let q(o) = o**2 - 5*o - 5. Let h be q(6). Which is bigger: 7 or h?
7
Let v(p) = -2*p - 5*p - p**2 - 3*p + 12 + p. Let m be v(-10). Let h be (-32)/12*(-3)/m. Which is smaller: 5 or h?
h
Let l(v) = v**3 + 7*v**2 + 5*v - 4. Let y be l(-6). Let o be (5 + -4)*14/2. Let f(b) = b**2 - 6*b - 6. Let a be f(o). Which is smaller: a or y?
a
Let o be (2/5)/(99/15). Is o at most 2/5?
True
Let g = 10 + 12. Suppose -2 + g = 4*j. Which is smaller: 0 or j?
0
Let h = 0.14 - -0.06. Is -1 < h?
True
Suppose 0 = 5*b - 2*b - 21. Let l = 5 - b. Which is smaller: -3 or l?
-3
Let x = 0 - 0. Let p = 8 + -7. Which is smaller: x or p?
x
Suppose 3*v = -12, -4*f + 4*v = -3*f - 13. Let h be (0/f)/(1 - 3). Suppose h = -6*g + g. Is 0 less than or equal to g?
True
Let q = -2 + 2. Let l be (1 + 0)*(1 - -3). Suppose g + l*g = 0. Is g greater than q?
False
Suppose 9 = 3*w, 3*s = -0*s + 3*w - 3. Which is smaller: 5/3 or s?
5/3
Suppose 21 = 5*w + 1. Suppose -27 = -4*x + j, j - 64 = -5*x - 19. Let i be -2*-2*10/x. Which is bigger: w or i?
i
Let o be (-717)/441 - 3/(-9). Let j be (-120)/(-539) + (-2)/11. Let c = o - j. Are -2/3 and c equal?
False
Let o(n) = -5*n**2 - 37*n + 24. Let c(v) = -v**2 - 9*v + 6. Let m(d) = 9*c(d) - 2*o(d). Let x be m(5). Let l be (-2)/x*0/3. Which is bigger: l or -2/5?
l
Let j = 3079/23 - 134. Is 0 greater than or equal to j?
True
Let y(z) = -z + 7. Let f be y(6). Let a = 2/27 - 13/54. Which is smaller: a or f?
a
Suppose 51 - 36 = -5*m + x, 10 = 2*x. Let d = 1 - 2. Is d smaller than m?
False
Let m(h) = -2*h + 1. Let b be m(-1). Let f(c) = -2*c - 2*c**2 - 3 + 1 - c + b*c**2. Let q be f(3). Is q less than or equal to -2/3?
True
Suppose -2*y - 2 = -3*y. Suppose 4*s - y*s = 2*w, 5*s = -3*w. Are w and -2 nonequal?
True
Suppose -4*t = -7*t - x - 20, 3*t + 44 = 5*x. Is t greater than -8?
False
Let a = -1.9 - -1.9. Which is greater: a or -2?
a
Let m = -1 - -6. Suppose 3*h - 3*l - 2*l + 13 = 0, 3 = -m*h - l. Which is greater: h or 2?
2
Let j = 0.11 + -0.11. Let f = -13/20 - -9/10. Which is smaller: f or j?
j
Let q(u) = 3*u + 2. Let p be q(2). Let l(t) = t + 2. Let z be l(-6). Let g be p/(-18) - z/(-18). Is -1/2 smaller than g?
False
Suppose 3 = -5*p + 18. Suppose p = -3*t - 3*a, -2*t = t + 2*a + 1. Is -1/8 greater than t?
False
Let k = -13.03 - -13. Let f = 0.13 + k. Is f >= 0.3?
False
Let b be (1 - (25 + 1))/(-1). Do b and 22 have the same value?
False
Let d = -63176566/201 + 314308. Let v = 4/67 - d. Which is bigger: v or -2/5?
v
Let f = -7 + 1. Is f <= -6?
True
Suppose -4*s = -9*s + 20. Suppose 0*d = s*d + 12. Are d and -3 equal?
True
Suppose 4*q + k = 2 + 6, -4*k = 5*q - 10. Let x be q/4*-2*4. Let y = 3 + x. Is -1 >= y?
True
Let a = 35 + -31. Is 4 < a?
False
Let a(m) = m - 2. Let f be a(3). Let k(r) = -r**3 - 10*r**2 - 2. Let g be k(-10). Let u be (g/24)/((-1)/3). Which is bigger: f or u?
f
Suppose 2*n + 2*n + 4*z + 4 = 0, -4 = -4*n - 2*z. Is -0.1 < n?
True
Let t(b) = -b**2 - 6*b + 3. Let v be t(-3). Suppose -4*g - 2*g + v = 0. Is g >= -1?
True
Let s be (-2)/(-20) + (4 - 676/160). Let c(t) = -2*t**2 + t + 1. Let u be c(-1). Let p = -1 - u. Is s greater than p?
False
Let c(p) = -p**2 - 11*p + 11. Let a be c(-12). Let n = -14/3 + 151/33. Which is smaller: a or n?
a
Let l = 2/6711 + 179705/2237. Let i = l - 79. Suppose 0*j - 4*j - 3*x = -13, 8 = 2*j + 2*x. Which is bigger: j or i?
i
Let b(o) = -o + 9. Let s be b(9). Let f be (2 + s)*(-3)/(-6). Which is bigger: f or 2/9?
f
Suppose -3*o = 5 - 14. Let x be 2/(-1) - -1 - -2. Which is greater: x or o?
o
Let i(k) = -k**3 - 6*k**2 - 6*k + 1. Let o be i(-5). Let n be ((-36)/(-14))/(o/28). Let t = n + -71/6. Is 0 smaller than t?
True
Let v = -11 + 7. Let n(z) = -z**3 - 11*z**2 + 1. Let q be n(-11). Is v less than q?
True
Suppose -5*k - h - 94 = 8, -5*k - 5*h - 110 = 0. Which is smaller: k or -21?
-21
Suppose 0 = -3*l + 2*w, 0 = -2*l - 2*w + 10 - 0. Let h be ((-3)/(1 - 19))/((-2)/(-8)). Which is greater: l or h?
l
Let r = 1 - 2. Suppose -m + b = -6*m - 30, 5*b = 0. Let h be (-2 - 14/m)*r. Which is smaller: -1 or h?
-1
Let j = -7.1 + -0.9. Let m = 1 - j. Which is smaller: m or 0.1?
0.1
Suppose 0 = -2*a - 10, -4*a - 20 = -3*p + p. Suppose u + q - 20 = 5*q, 4*q - 40 = -4*u. Let f be 7/u - (-12)/72. Which is smaller: f or p?
p
Suppose 2 = -2*n + 4*n. Let m = 0 + -1. Which is smaller: m or n?
m
Let a = -1 + 7. Let g be 2/4*12/a. Which is greater: g or -2/5?
g
Let b = -29 + 28. Which is bigger: b or 0?
0
Let t = -15 - -7. Let s(h) = -h - 9. Let m be s(t). Is m at least -1?
True
Let k = 18 + -9. Which is bigger: k or 1?
k
Let o = -16 - -19. Suppose 2*x = g - 18, -4*g + 4*x + 42 = 6*x. Suppose 0 = -o*m - g. Is -4 at least m?
True
Suppose 4*d - 5*t = 36 + 23, 60 = 4*d - 4*t. Suppose 0*g = -4*g + d. Let m = 3 - g. Which is smaller: m