 r?
True
Let u = -297 - -298.96. Which is greater: u or -1?
u
Let v(m) = m**2 + 7*m - 9. Let j be v(-8). Suppose -38*u = -8*u + 19*u. Is u greater than j?
True
Let m = -246.05 - -237. Let s = -9 - m. Let w = s + -0.05. Which is smaller: 0.2 or w?
w
Suppose 2*w + 3*w = 190. Is w less than 1/3?
False
Let y be 55/(-126) - (48/27)/(-8). Suppose 15 = -2*l - m - 4*m, 4*l + 3 = -m. Suppose 5*g = -4*a + 24, l = 4*a + 3*g - 1 - 15. Is y < a?
True
Let b = -144 - -1005/7. Which is bigger: b or 5?
5
Let j(x) = x**3 + 10*x**2 - 13*x - 3. Let m be j(-11). Let o(g) = 6*g - 2. Let b be o(-1). Let w be -4*(3 - (0 - b)). Which is smaller: m or w?
m
Let a = 23 + -31. Let i(y) = y + 11. Let u be i(a). Suppose 2*j + j + 4*w = -21, j - u*w = -7. Which is smaller: -0.1 or j?
j
Let a be 5/(-2 - 9/(-2)). Suppose a*q + 2*u - u = -7, -2*q + 2 = -2*u. Do q and -0.15 have the same value?
False
Suppose 2*g + 5 = -5*o + 5*g, -2*o + 4*g - 16 = 0. Which is smaller: 13 or o?
o
Let h be ((-33)/(-36) + -1)/((-2802)/(-18)). Do 1 and h have the same value?
False
Let s = 2927.2 - 2927. Is 0.0522 greater than or equal to s?
False
Let i = 11/9 - 86/63. Suppose q = -f - 7, -2*q + 2*f = -0*f + 6. Is q greater than i?
False
Let s be 3/((0 + -1)/(-1)). Suppose -5 = -f - 5*l, 4*l = f + 23 + 8. Let a be (12/(-10))/(f/50). Is a greater than s?
True
Suppose 4*m - 141 = -129. Suppose x + m*g = 7, -4*x - 2*g + 1 = -7. Is 1/95 bigger than x?
False
Suppose 5*f - 7*f - 98 = -3*l, 54 = -f + 4*l. Is f >= -47?
True
Let s be (24/30)/((-4)/30). Let b be 16/s + (8 - 6). Is b != -1?
True
Let x = -23 + 22. Suppose 32 = 4*o - r - r, -5*o + 3*r + 39 = 0. Suppose 0 = o*g - 3*g + 36. Is x <= g?
False
Let d = 815 + -814.95. Is d at least as big as 0.05?
True
Let i = -9 - -10. Let c be 2/(-11) - 0 - 624/(-3190). Which is smaller: i or c?
c
Let b be 3/(-2)*(-20)/12. Let r = -8 + 7.82. Let t = -1.82 + r. Which is smaller: t or b?
t
Let b = -251 + 252. Is b smaller than 1/40?
False
Let x = -25 + 51. Let p = -1036 - -1062. Is p at most x?
True
Suppose 2*w = -5*p - 29, 0*p = -w + 4*p + 18. Which is bigger: 1 or w?
1
Let s(y) = -4*y - 2. Let z be s(3). Let c = -27/2 - z. Which is smaller: 1 or c?
c
Suppose 3*l - 6*l + 18 = 0. Let r = l + -1. Suppose 0*j = r*j + 10. Does 2 = j?
False
Suppose -5*p = 5 - 0. Let t = p + 2. Which is smaller: t or 4/23?
4/23
Suppose 0 = 4*s - 9*s + 10. Let w = s - 3. Let m(c) = -c**3 - 18*c**2 - 47*c - 28. Let l be m(-15). Which is smaller: w or l?
w
Let z = -144 - -144.067. Let v = z - 3.667. Is 0.2 equal to v?
False
Suppose 78 = 5*b + 4*u, u - 45 - 27 = -5*b. Let v = 6 + -15. Let j be v/6*52/(-6). Which is smaller: j or b?
j
Suppose -j = r - 2, 3*j + 36*r - 32*r = 11. Let q(i) = -i**2 - 4*i + 7. Let h be q(-6). Which is bigger: h or j?
j
Suppose 9*i - 1904 = 26*i. Which is smaller: i or -110?
i
Let j be (-18)/36 - 10/(-4). Suppose j*k - 8 + 18 = 0. Which is greater: -4 or k?
-4
Let i(b) = 41*b - 6. Let q be i(-4). Let x be 8/(-20) + (1 - (-98)/q). Is -2/7 < x?
True
Let r = 1646.26 - 1720. Let z = 74 + r. Which is smaller: z or -1/3?
-1/3
Let a be 4/22 + 19/(-44). Let p = 29 + -25. Suppose 0*r + 2*r + 5*j = 8, 8 = p*j. Is a <= r?
False
Let n be (-12)/28 + 55/(-231). Is 333 < n?
False
Suppose 4*m = 2*g - 16, 2*m - 69 = -3*g - m. Let d = -5 + g. Let c = d + -12. Are 1/7 and c non-equal?
True
Let h be 3/18 + 5/(-3) - -16. Which is bigger: h or 15?
15
Let k(s) = -29*s**2 + 15*s**2 + 16*s**2 + 9*s + 10. Let g be k(-5). Let n be (-35)/g + 3/2. Which is smaller: n or -1?
-1
Let z = 0 + -0.4. Let a = 3.9 + -2.8. Let u = 0.9 - a. Which is bigger: u or z?
u
Let a(h) = -h**2 + 6*h + 8. Let c be a(6). Suppose 47*k + 1 = 21*k + 27*k. Are c and k equal?
False
Suppose -1106*m - 126 = -1124*m. Which is greater: 15 or m?
15
Let o = 38 + -35. Let y = -7 + o. Which is greater: y or -1/8?
-1/8
Let s = 1562 + -1704143/1091. Which is smaller: 1 or s?
s
Let l be 1182/15 + (-1)/(-5). Let z = l - 91. Is z bigger than -13?
True
Let s(z) = -12*z + 12. Let n be s(3). Let m = 27 + n. Which is smaller: 1 or m?
1
Let t(a) = -159*a**2 + 9*a - 5. Let u be t(1). Is -153 greater than u?
True
Let l = -12 + 26. Let t = 16 - l. Suppose -4*a - 1 = 3. Which is smaller: t or a?
a
Let k = 9.99 - 9.99. Is k equal to 32?
False
Let f = -17.19 - -18.3. Let v = 0.21 - f. Which is greater: 0 or v?
0
Let n = -24371/11 - -2214. Which is bigger: n or -3?
n
Suppose -3*h - 57 = -4*l, -4*l - 3*h + 2*h + 61 = 0. Is 240/17 at least as big as l?
False
Let o(r) = -8*r + 2. Let w be o(-5). Let x = -67 + 97. Let p = x - w. Does -12 = p?
True
Suppose 5*p = 3*h, -6 = -h - 2*h + 3*p. Suppose -4*q + 35 = 3*m - 141, -5*m = h*q - 285. Suppose i = -3*i + m. Which is greater: 12 or i?
i
Let r be (2/20)/((-5)/1800*-25). Which is smaller: r or 2?
r
Let s = -61 - -59.93. Is -0.1 greater than s?
True
Let o = -105460/1289511 - 2/22623. Let z = -9/19 + o. Which is smaller: z or -2?
-2
Suppose 9 = -3*k + 2*r + 64, 0 = 3*k - r - 50. Let f be (12/k*20/(-8))/(-41). Is 0 >= f?
False
Let g be 10/(-4)*5472/(-240). Are 404/7 and g unequal?
True
Let m = -2 - -3. Let p = 0.17 - 26.17. Which is smaller: p or m?
p
Let n = -118 - -110. Which is greater: -72/11 or n?
-72/11
Let s = 7 + -6.7. Let p be 12/24*0/2. Suppose p = 3*x - 0. Which is smaller: s or x?
x
Let s = 0.04773 - -4.91027. Let w = s - -0.042. Is -13 equal to w?
False
Let n(a) = 6*a - 146. Let p be n(24). Is 61 at least p?
True
Let c = 318.93 - 189.14. Let u = c + -132. Let d = u - -0.21. Which is greater: 0 or d?
0
Let l be (-1 + (4 - 1))*2166/76. Is l at most as big as 54?
False
Let l = 4892/3237 - 58/39. Let c = l - 89/249. Is c at most as big as -0.3?
True
Suppose 5*o = 13 + 2. Let d be -50 - 2*3/24. Let b = 52 + d. Which is greater: b or o?
o
Let j = -151 + -135. Let g = -7720/27 - j. Which is smaller: -1 or g?
-1
Let l = -678 + 2030/3. Which is smaller: l or 0.061?
l
Let t(o) = o**3 - 14*o**2 - 17*o - 12. Let h be t(15). Let k be (-48)/(-12) - h/(-8). Does 0 = k?
False
Let g = 3/842 - 42981/10946. Is g at most as big as -3?
True
Let i = 0.1 - 1.9. Let y = i - -2.8. Let t = -2/65 - -41/65. Which is smaller: t or y?
t
Let g be (12/30)/(8/10). Is 0 at least as big as g?
False
Let b(f) be the third derivative of -f**6/120 - f**5/12 + f**4/6 + f**3 - 3*f**2. Let i be b(-6). Let n be (-58)/i + (-24)/(-108). Which is smaller: n or -11/4?
n
Let o(l) = l**2 - 4*l + 3. Let c be o(3). Let p = c + -12. Let v = p + 15. Is 3 greater than v?
False
Let c = 3 - 3.3. Which is smaller: 14 or c?
c
Let p = -336 + 546. Suppose -63 = -3*m - p. Are m and -48 unequal?
True
Let u = 27.7558 - -0.2242. Let w = u + -28. Is -4 > w?
False
Let u be ((-2)/(-8))/((-10)/(14 - 4234)). Which is bigger: u or -1/3?
u
Suppose z - a = 2*z - 30, -42 = -z - 4*a. Let f = z + -30. Which is smaller: -2 or f?
f
Let z be 4 + (5 - 5) + (-5 - -3). Do -3 and z have different values?
True
Suppose -28*b + 1498 = 8582. Is -253 at least as big as b?
True
Let b = -875 - -863. Is b not equal to 21?
True
Let d = 1258 + -1257. Which is smaller: d or 3/76?
3/76
Let o = -0.1358 + 0.9358. Is 51 less than o?
False
Let h = 0.02 + 0.78. Let z = 1 + h. Let s = z + -1.7. Which is smaller: s or 6?
s
Suppose -3*l = -5*k - 92, -l - 2*l - k + 104 = 0. Suppose -80 - l = -6*h. Which is bigger: 17 or h?
h
Let f = -3084 - -3084.4. Is f < 121?
True
Suppose 3*v + 92 = -v. Suppose 5*n - 10 = 5*r + 15, 5*n = 3*r + 15. Which is smaller: v or n?
v
Let q be ((-9)/(-102))/(42/(-56)). Is q <= 0.16?
True
Let n = 3.01 + -3.11. Suppose 3*d = 2*m + 4, d + 16 = 3*m + 2*m. Suppose i + m = 3*i, -2 = -5*l + 4*i. Which is bigger: l or n?
l
Let n = 8 + -4. Let q = n - 7. Let y = -129 - -127. Which is smaller: q or y?
q
Let y = 64 + -42. Let j = y - 22.1. Which is smaller: -2.6 or j?
-2.6
Let s = -384 - -37249/97. Is 1 at most s?
False
Let k = -0.02 + 6.02. Let w = 250.3 + -250. Is w < k?
True
Suppose 5*t - 5*j - 265 = 0, 5*j - 15 - 10 = 0. Let k = -38 + t. Which is bigger: k or 59/3?
k
Suppose r - 54 - 516 = 0. Let s be 3 + ((-2)/6)/(40/r). Which is greater: -1 or s?
-1
Let g = 5 - 12. Let a(b) = 2*b**3 - 8*b**2 - 11*b - 4. Let y(h) = -3*h**3 + 8*h**2 + 12*h + 3. Let v(s) = 4*a(s) + 3*y(s). Let l be v(g). Is l at least 3/7?
False
Let o(g) = -g + 2. Let y(u) = -2*u - 11. Let k(t) = -6*o(t) - y