9. Which is smaller: -2/31 or t?
-2/31
Let t = -2510 - -3794. Is 1/2 not equal to t?
True
Suppose v = -p + 37, 4*p - 118 = -2*v + 4*v. Let a = -161/5 + p. Suppose 0 = -5*s + 4*k - k + 14, 3*s - 5*k = 18. Which is bigger: a or s?
s
Suppose -5*q = f - 2*q - 8, 4*q = -4*f + 64. Let u be 7/f + (-22)/(-55). Is u greater than or equal to 1?
False
Let y be 0 - 1 - (-14 + 14). Let l = -0.8 + -0.2. Is y at least l?
True
Let t = 1 - 1. Suppose 2*c + 67 - 11 = t. Let x be 8/c + (-41)/(-21). Which is smaller: 1 or x?
1
Suppose 0 = -3*w, 0 = -5*a - w + 5*w - 5. Let n be ((-15)/(-100))/(5 + (-34)/(-10)). Is n greater than a?
True
Let p = -4174/1563 - -2/521. Let n = 6/757 - -2241/3785. Does n = p?
False
Suppose 0 = -0*z + 4*z - 80. Suppose 3*c - 4*x - 29 = 0, -c = 5*x - 15 - z. Suppose -5*o = c - 10. Is -1/30 smaller than o?
False
Let r be 2/3*(1/9)/((-92)/(-621)). Let v = -0.2 - -0.4. Is r smaller than v?
False
Let w be (-5 - -6)/(1*(-3 - -2)). Let f be 11 - 15 - (9*-1)/w. Which is greater: -14 or f?
f
Suppose o - 5*o - 50 = 2*j, 3*o + 38 = -2*j. Let d = o + -18. Which is bigger: -28 or d?
-28
Suppose 3*h = 2*t - 10, 2*t + 5*h + 2 + 4 = 0. Let f(s) = -2*s**2 - 3*s. Let n be f(-3). Let b be 2 - 2 - (n + t). Is 6 equal to b?
False
Suppose -39*a - 7 = -32*a. Which is bigger: a or 2/711?
2/711
Let b = -446 - -450. Is b != 27/7?
True
Let y = 75.9 + -85. Let v = y - -9. Which is bigger: 18 or v?
18
Let m be ((-11)/(-33))/((-1)/(-7)). Is m greater than or equal to 0.3?
True
Let m = 87.4 + -75. Let u = m + -0.4. Let z = 11 - u. Do -1 and z have different values?
False
Let o = -749 + 698. Are -54 and o unequal?
True
Suppose 3*n - 22 = -5*d, 2*n + 6 = n + d. Let k be 6/(-26)*(4 - n). Which is bigger: k or -2?
k
Let k(y) = y. Suppose -j + 5 = 7. Let m be k(j). Let l be ((-2)/(-18))/(m/(-4)). Which is smaller: 0 or l?
0
Let s(v) = 16*v**3 + 3*v**2 + 14*v + 4. Let f be s(-2). Which is bigger: f or -2/3?
-2/3
Let w(z) = -z + 6 + 1 - 6. Let p = -19 - -18. Let r be w(p). Do 0 and r have the same value?
False
Let n(a) = 3*a**3 - 2*a**2 + a. Let t be n(1). Let o = -1 + t. Suppose 3 = z + o. Is 4 greater than or equal to z?
True
Let i be (-472)/35 + (-4)/(-14). Which is smaller: -12 or i?
i
Let f be 33/(-6)*2 + 3. Let x be -19 - (-3)/((-6)/f). Is -15 > x?
False
Let f = -0.19 - -0.09. Are f and -2/77 equal?
False
Let b be -1*(-3)/(-3) + -123. Let x be 4/6 + b/6. Let l be x/(-16) + 3/(-12). Is 2/29 greater than l?
False
Let t = -96 + 104. Which is bigger: t or -0.04?
t
Let m(v) = -v**2 + 10*v - 22. Let j be m(6). Suppose 0 = -2*d - 2*a + j, -3*d + 3*a + a = -24. Let s be (-6)/10 - 1*-1. Is d < s?
False
Let b(p) = -4*p - 84. Let d be b(-21). Let l = 1611/52 + -31. Is d greater than or equal to l?
True
Suppose -4*p = y + 23, -129*p + 124*p = 5*y + 40. Suppose 3*w = 4*w. Suppose w = 3*m + 6, 0*d + 4*m = -d - 12. Are y and d equal?
False
Suppose 0 = 2*i + 5*o - 46, -3*i + 221*o + 92 = 217*o. Suppose -2*y + 4*y = 48. Which is smaller: i or y?
y
Let u = 1.3 + 0. Let l = 2.3 - u. Are l and -4/25 equal?
False
Suppose 4*x = 7*x - 2*r + 2041, -5*r = 5*x + 3360. Is -678 <= x?
True
Let i = -63 + 64. Which is smaller: 3 or i?
i
Suppose -4*r + 9*r = -20. Let j = 0.82 + -0.08. Let a = j - 0.74. Is a > r?
True
Let h(g) = g**3 + 6*g**2 + 2*g + 9. Let y be h(-6). Let k = -0.032 + 4.632. Let a = k - 5. Which is bigger: a or y?
a
Suppose -4*p + p = -54. Let a(v) = 2*v - 1. Let h be a(-11). Let n = p + h. Does -4 = n?
False
Let u be -11*2 - (-4 + 2). Let f = 11 + u. Let c be (f/(-102))/(12/(-16)). Which is greater: 1 or c?
1
Let p be (-6)/(-10) - (-56)/(-60). Let o(f) = -f**2 + 8*f - 1. Let y be o(8). Which is smaller: p or y?
y
Let a = -3775/838 - -2/419. Let m = 3056 - 3053. Which is smaller: a or m?
a
Suppose -w - a = 2*a + 3, 4*a = -w - 4. Let u be (w - (-36)/(-8))*(-3)/18. Is -5 less than u?
True
Let q(b) = -67*b**3 - b**2 - 4*b - 2. Let c be q(-1). Let l = -57 + c. Which is bigger: l or 12?
12
Let s(c) = c**2 + 9*c + 1. Let f be s(-9). Let x be ((-192)/(-36))/(4/6). Let n be 4/x*2/(-47). Are f and n equal?
False
Let d = -1258 + 1258. Are d and 2/4087 nonequal?
True
Let s = -17.1 + 18. Let i = s + -1. Let a = -64/69 - -6/23. Which is smaller: i or a?
a
Let k(y) = -y**3 + 8*y**2 - 10*y + 25. Let w be k(7). Let j(u) = u**3 - 3*u**2 - 4*u + 2. Let v be j(w). Is v < 13/5?
True
Suppose -3 = 2*g + 4*i + 73, -3*g = -i + 86. Which is greater: g or -21?
-21
Let y be (147/6)/7*12. Let p be y/(-147) + 58/7. Are p and 8 non-equal?
False
Let q = -170 + 163. Is -1 smaller than q?
False
Let y = 10 + 3. Suppose 0 = -7*a - 37*a + 572. Is a at least as big as y?
True
Suppose -35*n + 30 = -2*z - 40*n, 3*z + 5*n = -45. Do z and -14 have different values?
True
Let n be 6 + 11/((-66)/42). Is n bigger than 118?
False
Let j be (-40)/(1 - -7) - (-2 - 70). Is j at most 68?
True
Let s = 0 - -12. Let d = -1823 + 1834. Is s at most d?
False
Let f(l) = l**3 + 5*l**2 + 2*l + 3. Let x be f(-4). Which is smaller: x or 12?
x
Let r = 8 - 5. Suppose -k - 42 = -5*y, r*y - 2*k - k = 18. Let n = 31 + -23. Which is bigger: y or n?
y
Let m(q) = -q**2 - 2*q + 4. Let s = 46 + -50. Let i be m(s). Is i at most as big as -2?
True
Let v = 2.7 + -0.7. Let c = v + 0. Let q be (-2 - (3 + -3))/6. Which is bigger: q or c?
c
Let d = 17 - 17.2. Let l = 0.36 + d. Let f = l + -0.16. Is -2 < f?
True
Suppose 3*k - 4*t - 26 = 0, -3*k + t + t + 22 = 0. Suppose -2*f - 3 = -0*f - 5*u, -2*u + 30 = 4*f. Is k > f?
False
Let i be 18/(-72) + (126/8)/3. Suppose 40 = -4*z - l, -i*l - 44 = 4*z - 3*l. Which is smaller: z or -10?
-10
Let v = -0.17 + 0.22. Let t = 0.15 + v. Let n = -43 - -47. Is t >= n?
False
Suppose -2*i - 852 - 3170 = 0. Let w = -191047/95 - i. Which is greater: w or -1?
w
Let w(c) = c**3 + c**2 + 1. Let k(z) = -4*z**3 - 2*z**2 + 2*z - 3. Let m(v) = k(v) + 3*w(v). Let x be m(2). Do x and 1 have the same value?
False
Let a = -26 + 40. Suppose 3*m - 8 = -a. Which is greater: m or -8?
m
Suppose 0 = -2*q - 11 - 15. Let c = 15 + q. Which is smaller: c or -2/13?
-2/13
Let q(v) = v**2 - 3*v - 24. Let m be q(7). Suppose 3*n + 10 = 4*j, j + 11 = -n - m. Is -7 > n?
True
Let w = 0.28 - 20.28. Let o = -16 - w. Let k = 3.9 - o. Which is smaller: k or -1?
-1
Let u(c) be the third derivative of -c**6/120 + c**5/30 + c**4/12 - c**3/2 + 2*c**2. Let y be u(2). Let d be 7 + 5/15*(-6 - 3). Which is bigger: d or y?
d
Suppose -42*u + 14 = 2*j - 44*u, u = 5*j - 51. Let s(k) = k**3 + 3*k**2 - 7*k - 10. Let l be s(-4). Which is smaller: l or j?
l
Let f = 563 - 563. Is f bigger than 7/36?
False
Let q be (-7)/(-21) + (-491)/30*2. Which is smaller: q or -31?
q
Let o(m) = m + 8. Let x be o(-4). Suppose -10 = x*b - 2. Suppose 5*q + 1 = -4. Which is bigger: b or q?
q
Let i = -905 - -889. Is -4/5 greater than or equal to i?
True
Let d be (-90)/(-4)*66/1480. Let a = 14/37 - d. Is a at least as big as 0?
False
Let n = 66 + -3. Let y = 64 - n. Which is bigger: y or -3/5?
y
Let m = 3.2 + -3. Let a(x) = x**2 + x + 1. Let t be a(3). Which is greater: m or t?
t
Let t = 0.5 + 0.5. Let r = -0.9 - -2. Let d = 1.1 - r. Which is bigger: t or d?
t
Let o = 8 + -27. Let g = 37.1 + -17.8. Let i = o + g. Is i equal to -0.3?
False
Let h(b) = b**2 - 22*b + 23. Let g be h(21). Is g greater than 23?
False
Suppose 0 = -20*z + 9*z + 11286. Which is greater: z or 1027?
1027
Let t be 2/5 - 16/(-10). Suppose -t*c - 9 = 5. Let q be 0 - c/(154/(-4)). Which is bigger: q or -1?
q
Let r = -738582/23 - -32106. Which is smaller: r or -7?
-7
Let l = 0.16 - -12.84. Let c = l + -13. Let u = 0.92 + 0.08. Are u and c non-equal?
True
Suppose -3*h - 58 = 2. Let m = -29 - h. Suppose -2*j - 9 = -r - 0, 3*j + 1 = -r. Is m at least as big as j?
False
Let r = 82.26 - 84. Let t = 95.74 + r. Which is bigger: t or 1?
t
Let q = -4363 + 13093/3. Let j = -13 - -9. Is q < j?
False
Let o be (86/74 + -1)*111/222. Are 0 and o non-equal?
True
Suppose 2 + 66 = -4*a. Let g = a - -17. Which is greater: 1 or g?
1
Let c = 5.134 - -0.066. Let l = -5 + c. Let v = 31 + -30. Which is bigger: v or l?
v
Suppose 0 = -5*f - f + 36. Let x be (f/33 + 0)/((-3)/(-6)). Let q = -0.07 - -0.07. Which is smaller: q or x?
q
Let t be (-1*1)/((-693)/(-1243)). Let a be 2 - 0 - (-77)/(-99). Let l = a + t. Is l less than or equal to -2?
False
Suppose -6*