s bigger: -2 or t?
t
Suppose 5*l - 5*q = -q + 14, -3*l = q - 5. Let v be (-2)/(-4)*(-2 + l). Which is smaller: v or 1?
v
Let x = -15 + 14. Which is smaller: -2 or x?
-2
Let j = -13 + 13. Suppose 0 = -m + 8 - j. Is m at least 9?
False
Let x be (2/4)/((-38)/12 - -3). Suppose 5*y = 1 - 11. Which is smaller: y or x?
x
Let z = 289/55 - 60/11. Suppose 20 = 4*l - 4*s, 4*s = 3 + 1. Suppose 0 = -m + l*m. Is m at most as big as z?
False
Let n be 66/(-78) + (-2)/13. Which is smaller: 3/23 or n?
n
Let z(f) = -f**2 + 4*f - 7. Let c be z(5). Is c equal to -13?
False
Let b(d) = 3*d + 1. Let w(l) = 4*l + 1. Let n(p) = -3*b(p) + 2*w(p). Suppose 2 = -2*y - 4. Let g be n(y). Is 0.1 equal to g?
False
Let p = 86 + -72. Which is smaller: 13 or p?
13
Let d = 3.2 + 0.8. Let m = 1 - d. Is -2/3 > m?
True
Suppose -4*g = -3 + 7. Let v = -15 + 1. Let c be v/78 - 1/(-3). Which is bigger: g or c?
c
Suppose 0*j = -j - 5. Which is smaller: j or -6?
-6
Let u(k) = 7*k**2 + 14*k + 1. Let z(s) = -13*s**2 - 27*s - 2. Let t(f) = 11*u(f) + 6*z(f). Let x be t(-8). Let h = -2 - x. Which is smaller: h or 0?
h
Let s = 24.946 - -0.054. Which is smaller: 1 or s?
1
Let g be 3*(2 + -1)*-1. Let j be ((-1)/(-4))/(g/6). Which is smaller: 2 or j?
j
Let r = -4 - 0. Let o = r - -11. Let c = -2 + o. Which is smaller: 2 or c?
2
Let f be (-1)/((4/2)/4). Suppose 0 = 2*g - 19 + 3. Let r(s) = -s**3 + 8*s**2 + s - 9. Let y be r(g). Is y > f?
True
Let b be 1 + -1 + 608/(-1932). Let d = -2/69 - b. Suppose -5*r + 25 = 3*j, -15 = -2*j - 6*r + 3*r. Is j at most as big as d?
True
Let n be (-7)/(-5) + 10/(-25). Suppose -r - 18 + n = 0. Is -17 greater than r?
False
Let o = -50 - -50.88. Let k = o + -0.08. Is 0 at most as big as k?
True
Let z(m) = m**2 - 5*m + 3. Let r be z(5). Suppose 1 = -t, 0*t = -c - r*t. Let s = -2 + 5. Is c less than or equal to s?
True
Let b be 4/65*(-10)/204. Let k = b + -1288/12597. Which is greater: k or 0?
0
Suppose -55 = 23*i - 28*i. Which is bigger: 8 or i?
i
Let y be -2 + ((-379)/(-162) - (-2)/(-6)). Is 0 smaller than y?
True
Suppose 0*w = w + 13. Do -13 and w have the same value?
True
Suppose r - 7 + 1 = 0. Is 7 < r?
False
Let a = 0.2 + -0.25. Let m = a - 1.95. Let g = 0.1 + 0. Which is greater: g or m?
g
Let f be 4*1/(-7) - -2. Is f greater than 2?
False
Let z(s) = 2*s**3 - s**2 + 3*s + 2. Let m be z(-1). Which is smaller: m or -22/5?
-22/5
Let j = -6236/27 - -231. Which is greater: 1 or j?
1
Let l = -123 + 124.2. Is 0.1 smaller than l?
True
Let l be (31/(-4619))/(1 + 1/(-2)). Is -1 <= l?
True
Suppose 0 = g - 5*g - 40. Let d = -9 - g. Which is smaller: -2/17 or d?
-2/17
Let p = -3 - -2. Is 0 bigger than p?
True
Let f(r) = r - 2. Let b be f(3). Is 7/4 != b?
True
Let o = 2/257 + -919/19018. Is 0 <= o?
False
Let m(x) = x**3 - 7*x**2 + 3*x. Let h be m(6). Let y be (-6)/20*(-12)/h. Is y smaller than 3?
True
Let d be (-3648)/(-14) + 0 + 1. Let k = 262 - d. Let c(z) = z**3 - z**2 + z + 2. Let h be c(-1). Which is greater: k or h?
k
Let i = 1.07 + 0.23. Are -7 and i equal?
False
Suppose -r + 9 = 2*r. Suppose -2*t + 5 = -r*s, -4*t - 4*s - 3 = -3*t. Suppose -36*x = -40*x + 8. Which is smaller: x or t?
t
Let f = 1.6 + 2.4. Which is bigger: -2/9 or f?
f
Let g be (-2)/(28/(-18)) - 1. Suppose 3*p - 4 = n, 3*p + 1 = -p - 5*n. Do p and g have different values?
True
Let d = -1.2 - 0.7. Let o = -0.1 + d. Is -0.1 at most o?
False
Let a(p) = -4*p + 3. Let s be a(6). Let z = -7 - s. Suppose 4*n = -3*j + 16, -5*j + z + 9 = 3*n. Which is smaller: n or -1?
-1
Let j be 4/(-3)*6/(-4). Let r(t) = -t - 2. Let d be r(j). Which is greater: -3 or d?
-3
Suppose 3*i + r - 10 = 8*i, i - 4*r + 21 = 0. Is i equal to 2/17?
False
Suppose 0 = 4*g - 2*p + 22, 3 = -2*p + 1. Let r be (32/6)/(g/(-9)). Let d = -6 + r. Is d > 0?
True
Let m = 0.2 - 0.6. Let u = m + 0.7. Let s = 0.2 - u. Does s = -0.1?
True
Let m(n) = -n**2 + 7*n. Let h be m(6). Suppose -2*k + h*k = 16. Suppose 5*l + 4 = k*l. Which is smaller: -5 or l?
-5
Let o be (-3 - (-174)/57)/1. Is o at most as big as 1?
True
Let t(d) = -d**2 - 2*d + 4. Suppose 2*n = -0*n - 6. Let c be t(n). Let z = -1 - c. Which is greater: 2/7 or z?
2/7
Let f = -16/7 + 62/21. Which is smaller: f or -1/4?
-1/4
Let z = 127/51 + 37/17. Is z <= 4?
False
Let d be (11/44)/((-2)/(-8)). Which is smaller: -5 or d?
-5
Let m be (40/(-12))/(7/(-3)). Let o = m + -16/21. Do o and 2/5 have different values?
True
Let w = 0 - 0. Suppose -4*f - 2*k + 12 = -w*k, 0 = 2*f - 3*k - 14. Suppose b + 2*s = -10, -f*b - s - 20 = 3*s. Do b and -2/19 have the same value?
False
Let r = -4 - -6. Let d be (-3)/((-42)/(-4)) + 640/770. Is r > d?
True
Let d(i) be the third derivative of i**4/24 + 3*i**3/2 - 3*i**2. Let n be d(-11). Which is bigger: -4/5 or n?
-4/5
Let p = 95/3 + -31. Which is smaller: p or 5?
p
Suppose -d + 84 = 5*a - 0*a, 2*d - 161 = -3*a. Let f = 14/1735 + -952613/12145. Let g = f + d. Which is smaller: 2 or g?
g
Suppose 5*s - 8*s = -5*s. Let p(v) = 9*v + 4. Let n(j) = 5*j + 2. Let i(x) = -11*n(x) + 6*p(x). Let t be i(s). Which is bigger: t or 1?
t
Let w be (-10)/(-85) + (-77)/(-68). Does 1 = w?
False
Suppose -5*a = -8*a + 6. Let s = -31 - -34. Is a <= s?
True
Suppose r + z - 2*z + 4 = 0, -z = 2*r - 7. Suppose 1 = i - r. Which is greater: i or 1?
i
Let n = -3 + 4. Let a be -1 - n - (-4 + -1). Suppose 13 = 5*i + a. Is i at most as big as 6/5?
False
Suppose 0 = m - 5*m - 3*v + 8, -m - 3*v = -11. Is -1/4 at least as big as m?
True
Suppose -89 - 396 = -5*z. Let w = 771/8 - z. Are w and -1 equal?
False
Suppose -1 = -0*m - m. Let z be 42/245 + (-4)/(-10). Which is bigger: z or m?
m
Suppose -2*x - 9 = -3*x. Suppose -4*k + q = -33, 4*k - q + 6*q = 27. Is x != k?
True
Let w be (-3 - (3 + -2)) + -2. Let b = w + 8. Suppose -2*m = b*m. Is m equal to 0?
True
Let z = -12 - -15. Suppose -4*n + 0*n - q + 16 = 0, -3*q + 3 = -z*n. Is n equal to 0?
False
Suppose 7*n = 3*n - 8. Let o = n - 6. Which is smaller: o or -7?
o
Suppose -156 + 33 = -3*c. Suppose 5*h - c = 29. Suppose q - u = 2*u - 14, 3*q - h = -5*u. Which is bigger: -3 or q?
q
Let j = 63.041 - 63. Which is bigger: -2/5 or j?
j
Let w(b) = b + 0*b + 0*b + 3. Let l be w(-4). Is l less than 0?
True
Let u = -6 - -7. Let o(z) = -z - 4. Let d be o(-6). Suppose 0 = -d*y - y + 6. Is y equal to u?
False
Let w be -1*(-2250)/(-1001) + 2. Let z = w + 6/91. Which is greater: z or -1?
z
Let k = -2 - -1. Let s(l) = l**2 - l. Let x(t) = -4*t**2 + 6*t. Let n(m) = -5*s(m) - x(m). Let f be n(k). Which is smaller: -6/5 or f?
-6/5
Suppose 4*p - 3*p + 3*l = 8, 4*l = -2*p + 12. Let y(j) = j - 2. Let a be y(p). Is 3/7 not equal to a?
True
Let a = -4 - -4.05. Let h = -0.45 + a. Let v = h - -0.3. Which is smaller: 0.3 or v?
v
Let l be ((72/3)/3)/2. Which is bigger: 14/3 or l?
14/3
Let f(c) = c**2 + c. Let b be f(-3). Let q = b + -5. Suppose h = q - 3. Which is greater: h or -3?
h
Let m be (4/(-6))/(2/(-3)). Let u = 0 - m. Let f(j) = -j - 2. Let w be f(u). Is w greater than or equal to 0?
False
Suppose 12 = 3*p, 0 = f + 3*p + 2*p - 21. Let g be (1 + (-3)/f)*-5. Suppose g = -s + 5*z, 3*z = 4*s - s + 18. Which is bigger: s or -6?
s
Let w = -18 - -18.16. Let g = -0.04 - w. Which is bigger: 0.02 or g?
0.02
Let k(x) = 2*x - 1. Suppose 0 = 4*n + 6 + 2. Let w = n - -1. Let g be k(w). Which is smaller: -5/2 or g?
g
Let n = 0.168 + 0.032. Which is smaller: n or -13?
-13
Let r = 3 + -5. Let v be 70/(-60) + 1/6. Is v greater than r?
True
Let y = 16 + -9. Let v = 6.4 - y. Let c = 0.5 + v. Which is smaller: 1/3 or c?
c
Suppose 65 = 5*s + 5*t, -s + 3*t - 2 = -3. Do s and 9 have the same value?
False
Let j = -0.3 - -0.3. Are j and 0 nonequal?
False
Let c = -4 - -12. Suppose c*h = 3*h. Let v = 306/55 - 70/11. Which is smaller: h or v?
v
Suppose -14*y + 451 - 129 = 0. Are y and 21 nonequal?
True
Let h(p) = -p**3 - 9*p**2 + p + 13. Let f be h(-9). Let d be (1 + 1)*(-6)/f. Suppose -4*y - 3*z = -0*y + 6, 3*y = -z - 7. Is y > d?
False
Let v = 0 - 4. Let q = -0.05 - -4.05. Let b = v + q. Which is smaller: 0.1 or b?
b
Let z(u) = -u**2 + 13*u + 15. Let w be z(15). Is w <= -15?
True
Let o = -56 - -56.3. Is o <= 1?
True
Let o = 249 + -3235/13. Which is smaller: o or 1?
o
Let f be 3*1/3 + 3/(-11). Is f bigger than 0?
True
Let o = 0.1 - 0.12. Let y = 0.12 + o. Is 0.1 less than y?
False
Let l(x) = x**3 - 2*x**2 -