ch is smaller: s or 0?
0
Let o = -4 - -3. Which is greater: o or 10/7?
10/7
Let y be 2/(-3) - (-24)/9. Is 10/9 greater than y?
False
Let j = -52/9 - -163/36. Suppose -1 = -h + 1. Suppose -r - 4*v + 16 = -2*r, -4 = h*r - v. Which is smaller: r or j?
j
Let h = 67 - 66. Is h > -2/25?
True
Suppose -2*d = 5*n + 38, n - 6*n - 42 = 3*d. Let x = 2 + n. Is x <= -4?
True
Suppose -h + 13 = -2*h + 4*i, 2*h = -4*i + 10. Which is smaller: -1/8 or h?
h
Suppose 2 = 5*x - 18. Let y be 1*2 + (2 - x). Suppose y = 7*s - 6*s - 4. Which is smaller: 2 or s?
2
Let b be -3 + (100/(-36))/(-1). Which is smaller: b or -1?
-1
Suppose -8 = y + 3*n, 2*y - 4*y - 5*n - 13 = 0. Let k = -105/4 + 26. Which is greater: y or k?
y
Let n(l) = l**3 - 15*l**2 + 27*l - 16. Let g be n(13). Is -3 at least as big as g?
True
Let a be 8 + -2 + 2 + 0. Suppose r - 5*h - 20 = -4*r, h = -2*r + a. Let t = 3 + -2. Is t less than or equal to r?
True
Suppose -7*k = -5*k + 2. Do k and 12 have the same value?
False
Let w = 549789/151 + -3641. Let x be -6 - (-9)/3 - 294/(-604). Let d = w - x. Which is smaller: d or 0?
0
Suppose q - 6*q = 10. Let k = 34 - 36. Let i be k - -1 - (1 - 0). Are q and i equal?
True
Let b be ((-413)/(-12))/((-3)/(-8)). Let f = b - 92. Which is smaller: 0 or f?
f
Let q(g) = -g**3 + 9*g**2 - g + 8. Let m be q(9). Which is bigger: -2/5 or m?
-2/5
Let c be -5 + (-1)/((-4)/8). Is -10 smaller than c?
True
Let t = 132 + -132. Are t and 2/9 nonequal?
True
Let x = -17.9 + 18. Which is smaller: x or -3?
-3
Suppose 4*x - 5*y = 6*x - 18, 3*x = -5*y + 37. Suppose 2*c = c - 4*d - x, 5*c = 5*d + 5. Which is smaller: 0 or c?
c
Let t be ((-28)/455)/(-2*1). Is t at least as big as 0?
True
Suppose 6*s - 17 = -11*s. Are -3/64 and s non-equal?
True
Let t(q) = q + 8. Let b be t(-4). Let m be 6/b - (-1 - -4). Is 1 at least m?
True
Let c be (4/(-8))/(1/(-10)). Suppose -28 = -l + c*l. Are -6 and l nonequal?
True
Let v = -12/25 - -58/225. Which is bigger: 0.1 or v?
0.1
Let o(x) = x**2 + 12*x - 6. Let m be o(-12). Is -3 less than m?
False
Suppose -4*g + x = -4*x, 4*g - 3*x = 0. Which is smaller: -4/5 or g?
-4/5
Suppose -z = -3*z - 2. Let l(v) = -v**3 - 2*v**2 + v - 6. Let c be l(-3). Is c bigger than z?
True
Suppose -v - 36 = -6*v - 4*r, 0 = -2*v + 3*r - 4. Let c = 18 + -10. Suppose -c = -0*q + v*q. Which is smaller: -5/4 or q?
q
Let d = -11.88 - 0.12. Let g = -21 - d. Which is greater: g or 0?
0
Suppose 4*l - 2 = 14. Suppose 2*n + 2*b = 0, 0 = -2*n + l*b - 1 - 5. Is -1 < n?
False
Suppose a = -5*r - 46, -2*a = r - 3*a + 8. Let x = -10 - r. Which is smaller: x or -2/39?
x
Let n = -410/3 - -138. Let w = 16.15 - 1.05. Let t = 15 - w. Which is bigger: t or n?
n
Let y = 113 - 71. Let w = -13 + y. Suppose -2*b = -4*n - n - w, -4*b = -n - 13. Which is smaller: b or 3?
b
Let y be 4/(1 - 0 - 4). Which is greater: 0 or y?
0
Suppose 0 = -4*v - v. Let b be v - 0 - (3 - 1). Let t(w) = -w**3 - 4*w**2 + 6*w + 4. Let j be t(-5). Which is smaller: j or b?
b
Let f = 79/35 + -20/7. Suppose -7*t + 106 = 113. Do t and f have the same value?
False
Let n(c) = 42*c + 1. Let p be n(-4). Let g = -497/3 - p. Suppose 3*y = -y. Which is bigger: y or g?
g
Suppose 4*s = 4*a + 88, -3*s - 2*a = -0*a - 76. Which is smaller: s or 23?
23
Let l = 24 + -20. Suppose -12 = -l*g - 0*g. Let a(b) = -4*b - 1. Let p be a(-1). Are g and p unequal?
False
Let o = -16 + 15. Let i be 2*((-2)/(-12) - 0). Is o bigger than i?
False
Suppose -5*p + 45 = -d + 124, -3*p - 33 = 3*d. Let z be 1 + 0 - (-27)/p. Suppose c = -4*n - 16, -2*c - n + 2*n = -4. Which is greater: c or z?
c
Let s be (-45)/(-25) + 3/15. Are s and 2 equal?
True
Let i = 10 - 9.5. Let j = -0.2 + i. Which is bigger: -2 or j?
j
Let z = 0.032 - 0.032. Which is smaller: 0.09 or z?
z
Let h(i) = -i + 7. Let v be h(10). Which is greater: -2 or v?
-2
Let a = 349 - 348. Let j = -53/2 - -28. Which is bigger: a or j?
j
Let x(f) = 2*f**3 - 5*f**2 + f + 4. Let u be x(3). Suppose 5*c + u = c. Let l = 150 + -154. Do l and c have the same value?
True
Let j = -14 + 10. Let n = 2 + j. Let m be (3 - 1) + -4 + -1. Which is smaller: n or m?
m
Let l be ((9/4)/(60/40))/12. Suppose 5*v = -5*z + 40, 0*z + 2*v - 19 = -3*z. Let w be (-2 + 0)/(z - 0). Which is smaller: w or l?
w
Suppose 3*k + 5*c = 5, 3*k = -3*c - 0 + 3. Let r be 0 + -1 + 4 - 2. Which is smaller: r or k?
k
Let i be (1/4)/(8/160). Let x be 6 + -4 + 2 + 0. Suppose -2*v - i*t - 6 = 1, 3 = -x*v + t. Is 1/8 equal to v?
False
Let b(x) be the second derivative of -x**3/6 - 13*x**2/2 + 3*x. Let z be b(-12). Are 2/27 and z equal?
False
Let x = -3.42 - -0.42. Is x < -2/3?
True
Let d be (-1 - (-14)/(-6))*3. Let f be (-56)/d - (-2)/5. Let w = 5 - f. Is -1 <= w?
True
Let t = 2.6 - 2.8. Does t = 2/9?
False
Suppose 2*b = -3*w + 10, -5 = b - 0*b - w. Are b and -2/91 nonequal?
True
Suppose l + l = 10. Suppose -3*t + 2*t = v + 8, -2*v + l*t + 5 = 0. Which is smaller: -1 or v?
v
Suppose 10*g = 2*g + 72. Which is smaller: g or 0?
0
Let a = -32 - -50. Suppose 3*z = 8*z - 95. Which is smaller: z or a?
a
Let s = 7.96 + -8. Let b = s + 0.14. Is -14 greater than or equal to b?
False
Let i(f) = 11*f - 14. Let k(t) = -4*t + 5. Let u(a) = 3*i(a) + 8*k(a). Let n be u(1). Let j = 538/5 + -108. Is n >= j?
False
Let m be 2/(-16)*-2*1. Let z(y) = y**2 - 12*y + 13. Let a be z(11). Suppose a*x - 1 = 1. Which is smaller: x or m?
m
Suppose -2*c - 3 = -c. Let y be 1 + (1 - (-12)/c). Which is smaller: y or -4/3?
y
Suppose -5*c = -0*c. Let l = -1 + c. Let w = -391/40 - -75/8. Which is bigger: l or w?
w
Let i = -9/4 + 3. Let j(a) = 6 + a + 0*a + 1. Let g be j(-6). Is i at most as big as g?
True
Let c = -0.92 - -0.55. Let q = -0.03 + c. Let n = 0.18 + -1.18. Which is greater: n or q?
q
Let i = 16 - 17. Let w = 3 - 9. Let l = w - -3. Is l at least i?
False
Suppose 16 = -5*f - 4. Suppose 31*z = 38*z + 21. Which is smaller: z or f?
f
Let s = 1 + 3. Let q = -2 + s. Let x = q + -4. Is x less than -1?
True
Let f be (-2)/(-2)*(2 + -3). Is -3/16 < f?
False
Let f be (-2)/(-2)*(4 + -4). Suppose f = -5*d + 9 + 1. Suppose -d*r = -5*r - 3. Which is bigger: 3/7 or r?
3/7
Suppose -2*j + 3*n = 17, -3*j - 8 = -0*j - n. Which is greater: 0 or j?
0
Suppose 0 = -2*j + 3*j + 9. Let x = j + 13. Which is smaller: x or -0.1?
-0.1
Let p = -2606 - -7921/3. Which is smaller: p or 33?
33
Let t = -195.817 + 196. Let a = -3.263 + t. Let z = a + 0.08. Which is smaller: z or -1?
z
Suppose -6*d - d = 0. Is -2/11 at least as big as d?
False
Suppose -3*d + 2 = 4*v, v - 4*v - 2 = 4*d. Is d <= 7/2?
True
Let j be ((-17)/(-34))/(2*2). Which is bigger: j or 0?
j
Suppose 8 = i - 0. Let f be (-3)/(-24)*i/(-6). Let k = f - 1/3. Are k and -1 equal?
False
Let a = -15 + -4. Is -19 greater than or equal to a?
True
Suppose 12 = u + 3*u + 2*y, 2*u + 2 = y. Suppose -2*n = -3*n + u. Which is smaller: -1/9 or n?
-1/9
Let f(j) = -j**3 + 7*j**2 - 4*j - 7. Let m be f(6). Let x = -8 + m. Let r be (-3)/2*(5/3 - 0). Which is smaller: r or x?
x
Let x = -797/3 + 263. Let a = 2.1 + -2. Which is smaller: x or a?
x
Suppose 0*x - u - 10 = 3*x, -45 = 4*x - 5*u. Suppose 4*f - 5 + 17 = 0. Which is smaller: f or x?
x
Let o = -1.129 - 0.071. Is o <= 1/2?
True
Let i = -13 - -11. Is -5/7 greater than or equal to i?
True
Let w = -6 - -6.5. Let g = 0 - w. Let l = -0.6 - g. Are l and 2 non-equal?
True
Let l be (-267)/42*4 + 3. Let s = l + 23. Which is smaller: 2 or s?
s
Let q(y) = -y**3 - 3*y**2 + 4*y + 6. Let n be q(-4). Suppose -4*s - 12 = -s. Let h = s - -10. Is n greater than h?
False
Let j = 1.7 + -2.4. Let l = j + 0.6. Is -0.04 <= l?
False
Let t(p) = p**2 - 5*p + 1. Let z be t(6). Let q = 4 - z. Let o be (-8)/(-12)*1/q. Which is greater: 1 or o?
1
Suppose 2*s = -5*h, -4*h + 3*s + 8 = -15. Suppose 0 = -2*u + h*m + 16, u + 3*m + 1 + 7 = 0. Suppose -u*g = -g - 3. Which is bigger: 1/2 or g?
g
Let b = 0.041 - 16.041. Which is smaller: b or -0.1?
b
Let m = -3161/2250 + 2/125. Let b = -1/9 + m. Which is smaller: -1 or b?
b
Let b = -2/227 + 468/1589. Let m(s) = s**3 + s**2 + s + 2. Let p be m(0). Which is greater: p or b?
p
Let x be 2/3 + 42/(-36). Are x and -19 unequal?
True
Let k be ((-3)/(-9))/(0 + 46/12). Which is bigger: 0 or k?
k
Suppose 2*x + 8 = -2*q, 0 = 5*q - x - 3*x + 2. Is -4/7 greater than q?
True
Let z = -3 - -10. Which is smaller: 8 or z?
z
Suppose