 or -2/9?
-2/9
Let x = 0.13 + -0.48. Let r = 0.05 + x. Which is smaller: -1 or r?
-1
Let u(j) = j**3 + 4*j**2 - j - 2. Let x be u(-2). Let z be (-66)/(-14) + x/28. Is 9/2 equal to z?
False
Suppose 0 = -17*b + 15*b. Is 3/31 at least as big as b?
True
Let n = 0 - -1. Let q be ((n - 4) + -1)*1. Suppose -25*f - 64 = 11. Is f at least as big as q?
True
Suppose 0 = -o - 0 + 4. Suppose 0 = o*z + z + 30. Which is smaller: -7 or z?
-7
Suppose 0 = -10*l + 5*l + 4*g + 5, -3*l - 5*g = -3. Suppose 4*h + 3*v = 2, -2*h - 4*v - 3 - l = 0. Let s = 63/5 - 12. Which is smaller: s or h?
s
Let t be (-27)/(1 + -2 + -1)*-2. Which is smaller: t or -26?
t
Let y be -3*(-3)/(-4 + 1). Let g(v) = -v**2 - v. Let h be g(y). Let s = -12 - h. Which is smaller: s or -5?
s
Let g(l) = l - 6. Let c be g(-17). Is c >= -23?
True
Let y = -1.25 + 0.25. Is y smaller than -0.06?
True
Let k = -4 + 9. Let d = k + -3. Is 2 < d?
False
Suppose 0 = -6*t - 1 - 5. Let h be (-38)/6 - 0 - t. Which is smaller: h or -4?
h
Let y = 0 - -1. Suppose -4*i - y = 7. Which is smaller: -1 or i?
i
Let s = 1.33 + 4.82. Let f = -6 + s. Let h = f - -0.05. Which is smaller: -2/11 or h?
-2/11
Let m be 2 - (-37 - (-2 + 2))/(-11). Is -2 at least as big as m?
False
Let u = -1.6 - -0.4. Let m = 1.2 + u. Which is smaller: 1 or m?
m
Suppose -p + 26 = -3*a + 9, -p + 2 = 0. Suppose -7 = 6*f - 5*f. Let m be (-4)/(-10)*a/f. Is m smaller than 1?
True
Let h(l) = l. Let i be h(1). Suppose -2*x + x = i. Which is bigger: x or -3/4?
-3/4
Let y(q) = -3*q**2 - 31*q - 10. Let l be y(-10). Is l equal to -0.2?
False
Let y = -4 - -11. Let i be 3 - (-5)/y - 4. Which is bigger: 1/2 or i?
1/2
Let l = 0.2 + 14.8. Let t = 16.1 - l. Let b = 9.1 - t. Is 2/7 at least b?
False
Let i = 0.043 + 0.047. Which is smaller: i or -2/7?
-2/7
Let s be (-21)/(-14)*(-1 + -1). Which is smaller: s or -2?
s
Let l = -4 - -3. Let x(c) be the second derivative of c**5/20 + c**4/12 + c**3/6 + 2*c. Let p be x(l). Do p and 0 have different values?
True
Suppose 5*t + 5 = -4*n + 3*n, 4 = 4*n - 4*t. Suppose n = -4*j + j. Which is bigger: j or 4/23?
4/23
Suppose -3 = -3*v + 4*v. Let w be (-1)/(5/v) + 0. Which is bigger: 2 or w?
2
Let b be (-9)/36*1*2. Which is smaller: b or -1?
-1
Let l = -2.1 - -2. Let i = 19.96 + -20. Which is smaller: i or l?
l
Let u = -65 - -66. Which is bigger: 26 or u?
26
Let z = 2 - 3. Let k be (2 + z)*(-3 + 3). Let v = -3 + 4. Are k and v non-equal?
True
Let l be ((-75)/(-474))/(-5)*-2. Let i = 93/1027 + l. Is -1 at least as big as i?
False
Let m = 11 + 28. Suppose -q - 3*q - 37 = 3*c, 5*c + m = -q. Do c and -7 have the same value?
True
Suppose -3*z + 2 = -1. Let c be (-1)/(5/(-4) + z). Let f be (-2)/(-5)*(-9 + c). Are f and -2 unequal?
False
Let k be (-60)/9 + (-2)/6. Are k and -8 non-equal?
True
Let l = -231 + 919/4. Suppose 0 = j - 0*j. Do l and j have different values?
True
Let z be ((-39)/2)/((-15)/80). Let q be (-3)/(-7) - z/112. Do q and -14 have the same value?
False
Suppose 0 = -3*z - 0*z + 21. Let t be ((-1)/2)/((-2)/16). Suppose -y + z = 4*q - 13, -3*y - t = -4*q. Is q smaller than 5?
True
Let n = -2042 - -26569/13. Are n and 2 unequal?
True
Let c be (-2 - -60)/((-6)/3). Let r = c - -14. Is r > -15?
False
Suppose -3*j = -o + 2*o - 2, j = 3*o - 6. Suppose -a - 4 = 4*x - 2, a + 2 = j. Which is bigger: 3/4 or x?
3/4
Suppose -5*t + 1 = -3*y - 6, -2 = -3*t + 4*y. Suppose 0 = 3*s - t*s. Suppose s*z + 2*z = 0. Which is smaller: z or 2/5?
z
Suppose -5 = 5*q - 0. Which is greater: q or -3/16?
-3/16
Let n be (5/(-10))/(1/(-6)). Suppose 0 = 2*g - 1 + n. Suppose 0 = -3*w - 10 - 2. Which is smaller: g or w?
w
Let n = 2.8 - 2.8. Which is smaller: 0.11 or n?
n
Let z = -32 - -15. Let r = z + 35/2. Which is greater: 0 or r?
r
Let a = 35 - 49. Is -15 >= a?
False
Let y = -2 - -4. Let r be (-7)/6 + 1/2. Which is bigger: r or y?
y
Let v = -16 - -12. Is v < -3?
True
Suppose m + 0 = 3*g + 1, 4*g = -3*m - 36. Let u(o) = -6*o - 33. Let q be u(-4). Let l = m - q. Do l and -2/11 have the same value?
False
Let f(h) = h**3 + 6*h**2 + 3*h. Let a be (1 + 0)*(-3 + -2). Let g be f(a). Suppose 0 = w + w - g, -5*x + 5*w - 20 = 0. Which is greater: x or 2/5?
x
Suppose -19 + 23 = 4*j. Let w = -1529 + 582550/381. Let s = w - -634/381. Which is greater: j or s?
s
Let o = 11 + -9. Suppose -12 = 2*k - 2*l - 0, o*k + 12 = -5*l. Do -5 and k have the same value?
False
Suppose -4*h = -5*l + 49, 2*l - 1 = h + 3*l. Let a be (-4)/h + (-51)/9. Which is smaller: -6 or a?
-6
Let k(i) = i**3 + 5*i**2 + i + 9. Let u be k(-4). Which is smaller: 22 or u?
u
Suppose f + 27 = -5*z, -5*z = -f + 3*f + 39. Are -11 and f nonequal?
True
Suppose -4*g - 7 + 3 = 0. Suppose w = 1 + 1. Which is greater: w or g?
w
Let n = 6 - 4. Suppose -2*o + 5*d = -21, 5*d + 0 = 4*o - 27. Which is greater: o or n?
o
Let u = -32 + 26. Which is smaller: u or -5?
u
Let t be (4/(-8) - -1)/((-1)/(-46)). Is t at least as big as 21?
True
Let w be 2 + -7 + 11 + -7. Let j = 0 - 1. Is w <= j?
True
Let p = 13 - 9. Let j(m) = m**3 - 7*m**2 + 7*m - 4. Let o be j(6). Suppose 0 = b + 3*l + o - p, -2*l = -2. Is -1 smaller than b?
False
Let w = -4 + 6. Let t(h) = h**3 - 6*h**2 + 3. Let x(o) = o - 11. Let q be x(17). Let m be t(q). Which is smaller: w or m?
w
Suppose -2*n + 3 = n. Let i = -0.2 - -0.2. Let p = i + 0.1. Which is greater: p or n?
n
Suppose 0 = -3*a + 4*a - 4. Let w(l) = -8 + l**2 - 3*l**2 + 5*l**2 - a*l**2 + 8*l. Let x be w(7). Is x > -2/15?
False
Let f be -2*(-2 - (-7)/3). Which is smaller: f or 0?
f
Suppose -2*g + 3*h = 7*h - 2, 9 = -4*g + 5*h. Which is greater: g or 0.09?
0.09
Let w(j) = -j. Let t(a) = -a - 1. Let x be t(-1). Suppose x = 3*g + g + 4. Let k be w(g). Which is smaller: -1 or k?
-1
Let u = 0.7 + -1. Let o = 97 - 95. Is u at least o?
False
Let n(t) = t**3 + 4*t**2 - 4*t - 6. Let o be n(-5). Let i be (-6)/(-18) + o/24. Is i at most as big as -1/4?
False
Let g = 37 + -24. Let r = 23 - g. Let x be 3 - 0 - 30/r. Is 1/3 <= x?
False
Let u be (-2 - -1)/(2/(-14)). Let x = u + -2. Suppose x*n = 4*n - 3. Is -2 > n?
True
Let c = 0.04 + 7.96. Let f = c - 7.9. Is -7 bigger than f?
False
Let g = -0.88 - -0.08. Let d = g - 0.2. Do 2/7 and d have the same value?
False
Let f be (-6)/3 + 1 + 0. Let w be 3*(2/f - -1). Suppose -2*d = 3*d + 3*k + 7, 2*d = -4*k. Are d and w equal?
False
Suppose -22 - 3 = -5*l + 5*g, -2*g + 14 = 2*l. Let z(m) = -m**3 + 6*m**2 - 5*m + 6. Let k be z(5). Are l and k unequal?
False
Let z = 0.051 + 0.049. Is 25 at least as big as z?
True
Let g = 1.1 + -0.1. Let b = 1.8 - 1.85. Which is greater: b or g?
g
Let r be (-1)/(-2)*(30/5)/(-3). Suppose 0 = -7*h + 3*h + 4. Is h at most r?
False
Suppose -4*k + 10 = -d - 0*k, -5*k = d + 19. Is d smaller than -15?
False
Let j = 1 - -2. Let m = j - 4. Suppose 2*k - 3 = -3*t, -5*t = -2*k - 2*k + 17. Is t at least m?
True
Suppose 0 = 4*o + 4*s + 24, 0 = 4*o + s + 4*s + 28. Let l = 4 + -5. Let q(a) = 4*a + 1. Let n be q(l). Which is smaller: n or o?
n
Suppose 3*p - 4 = 5*p. Which is greater: -1 or p?
-1
Let w be ((-2)/(-4))/(-2 - (-28)/8). Is w less than or equal to -0.48?
False
Let h = 0.02 - -0.08. Is 2/25 not equal to h?
True
Let w = -139 + 140.4. Is -5 at least as big as w?
False
Let n = 60.05 + -60. Which is bigger: 2 or n?
2
Suppose 0 = 2*c - 8, -c + 1 = 2*b - 3. Let x be 312/(-830) - (-4)/10. Let i = 488/415 + x. Is i > b?
True
Let u be ((-2)/(-4))/(3/(-31)). Let g = 11/2 + u. Is -2/9 less than g?
True
Suppose 2*a + 3*j + 1 = -7, 5*j = -2*a - 12. Is a at most -2/11?
True
Suppose -i = -2*i. Let b be (-18)/(-9) - 23/11. Do i and b have different values?
True
Suppose k + 3 + 4 = 0. Let t be 1/k + (-75)/(-35). Let m be (5/(-35))/(t/(-6)). Which is smaller: m or 1?
m
Suppose 57*d = 54*d - 69. Does d = -25?
False
Let m = -28 + 29. Is -3/41 equal to m?
False
Let h = 9 - 8. Is 1/28 at most as big as h?
True
Let b be (1 - 4)/((-45)/(-30)). Which is smaller: b or -5/3?
b
Let z = 10.9 + -11. Let m(h) = h - 6. Let a be m(3). Let d be a/(-15)*2/(-1). Which is bigger: z or d?
z
Let o = 0.4 + 1.6. Which is bigger: o or -0.04?
o
Suppose 0 = 6*x - 7*x + 3. Suppose 0 = 7*m - x*m - 4. Are m and 6/7 non-equal?
True
Suppose -2*b + 0 = 6. Let w = 8 + b. Which is smaller: 0.1 or w?
0.1
Let d = 2 + -16. Let g be ((-4)/35)/(d/35). Which is smaller: 0 or g?
0
Let w = 8.3 - 8.1.