j + 9. Which is greater: j or -1/4?
-1/4
Let k be -14*(1 + -2)*(-2)/(-4). Suppose -4*s + 3*w - 24 = -5*s, -4*s = 3*w - 51. Suppose j - s = -n, -j - 13 = -2*n - 4. Which is greater: k or n?
k
Let s = 8.918 - 8.818. Is s > 1/23?
True
Let d(v) = 9*v + 104. Let s be d(-12). Let r be (s - 3 - -6) + -74. Is -75 >= r?
True
Suppose -51*v + 400 = -41*v. Do 31 and v have the same value?
False
Suppose 17*v - 18*v + 123 = 0. Let a be (-4 - v/(-15))*(2 + -12). Do a and 2 have the same value?
False
Let f = 30.051 + -0.051. Let c = f - 34. Let a be 11/13 + (-2)/2. Is c at least as big as a?
False
Suppose -3*c - c = -8. Suppose 4*z = -2*r - 6 - 24, 0 = -4*z - 5*r - 33. Let n be (3 + z - -2)/c. Is n equal to -9/8?
False
Suppose -5*f = 10*y - 15*y + 6970, 3*f + 4*y + 4175 = 0. Is f bigger than -1393?
False
Let x = 1212 - 1263.02. Let f = 5167 - 5218. Let o = f - x. Which is bigger: -2 or o?
o
Let d = -34 - -36. Let b(k) = -3*k**2 + k**2 + 25*k - 35*k + 3*k**d. Let u be b(13). Which is smaller: u or 38?
38
Let v = 2.584 + 24.416. Is -3/257 at most v?
True
Let n be (((-32)/6)/2)/((-8)/(-192)). Is n smaller than -56?
True
Suppose 0 = -90*x + 89*x + 4. Suppose 5*d + u = 33, -15*u + 13*u + 24 = x*d. Which is bigger: d or 1?
d
Let z be (2 - 115)/(27/189). Let v = 775 + z. Which is smaller: -160/11 or v?
v
Let m = -4146 + 840. Is m equal to -3305?
False
Let k = -6800 - -32889/5. Let t = 3683/15 + k. Let s(f) = 219*f - 4575. Let h be s(21). Which is smaller: t or h?
t
Suppose t - 26 = -24. Suppose 4*y + 356 = t*y + 3*g, -5*g = 5*y + 840. Is -171 greater than or equal to y?
True
Let v = 1.14 - 0.14. Let n = -1.1 + v. Let r be (-783)/(-12) + 4 - 1/32*8. Which is smaller: r or n?
n
Suppose 16841*x = 16829*x + 13044. Which is bigger: 1083 or x?
x
Let f = 457 - 307. Suppose 0*b = -15*b - f. Is b > -0.1?
False
Suppose -14 = -5*b + 6. Let f be b/3 + 2/(-6). Let l = -1792196 - -1792199. Which is greater: f or l?
l
Let v = -13369 - -7286107/545. Let o(m) = -18*m - 18. Let a be o(-1). Which is smaller: a or v?
a
Suppose -35*t = -38*t + 78. Let a = 20 - t. Let x be (2100/8)/(-7)*16/a. Which is smaller: x or 101?
x
Let v(q) = -q**2 + 3*q + 1. Let j be v(4). Let h = -3 - j. Let y be 2/9 - (-130)/(-234). Which is smaller: h or y?
y
Suppose 3*s - 3*p + 7167 = 0, -2*p + 15 = 13. Does -2388 = s?
True
Let p = -34251 - -2294865/67. Is 0 <= p?
True
Let d(x) = 7*x**3 - x**2 + x - 3. Suppose 4*y + 64 - 76 = 0. Let f be d(y). Is f bigger than 181?
False
Let z be 1 - 1 - (6 + -10). Suppose -5*p - 13 = -3*l - 0, -z*p - 13 = -5*l. Let o be p - (-28)/3*(-1)/(-2). Which is greater: 4 or o?
4
Let i = 7652 + 8093. Let b be (2/10*1)/(5/i). Let z = b + -632. Do z and -1 have the same value?
False
Let o(u) = 11*u + 21. Suppose -2*s + 6 = -s + 2*y, 3*y = s + 19. Let z be o(s). Let m = 8 + -30. Which is greater: m or z?
m
Suppose -6*z = -7*z + 1. Let g(c) = c**3 + c. Let f(y) = -8*y**3 - 8*y + 3. Let n(h) = f(h) + 6*g(h). Let l be n(z). Which is smaller: 1/29 or l?
l
Suppose -2*l = 2*l + 12, -64 = -4*k + 4*l. Suppose -3*r - 17 = k. Which is smaller: -12 or r?
-12
Let y = -174 + 174.1. Let r = -32 - -56. Suppose 4*m - 5*m = 3*p - 14, 5*p + m = r. Which is smaller: p or y?
y
Suppose -4*x - 13 = 5*w, -4*x + 6 = 3*w + 9. Let z be x/(-24)*3*9. Which is smaller: z or -4?
-4
Let k = -0.00992 - 0.49008. Is 4/83 at most k?
False
Let w = -200507771/1050390 + -1/116710. Which is bigger: w or -191?
w
Let z be 606730/(-136) - 3/(-12)*-3. Which is bigger: -4463 or z?
z
Suppose 0 = -6*h + 3*h + 5*r + 277, 3*r = 5*h - 435. Suppose -60*b + 72*b + h = 0. Is 1 less than b?
False
Suppose o = -2*b + 6, 13*o - 8*o - b - 52 = 0. Suppose 0*h - 5 = -5*h - m, 3*h - o = -2*m. Let g be (-1)/(-4) + (-69)/288. Which is smaller: h or g?
h
Let o(r) = 9*r**2 - 30*r - 3. Let j(p) = 10*p**2 - 29*p - 2. Let f(g) = 5*j(g) - 6*o(g). Let a be f(9). Is -259 less than or equal to a?
True
Let k(x) = -24*x - 36. Let a be k(-7). Let y = 130 - a. Is y not equal to 0?
True
Suppose 0 = -13*p - 25 + 38. Let z be (0 - p)*(54 - 55). Is 4/269 at most as big as z?
True
Let k(l) = l**2 - 12*l + 17. Let h be k(9). Let x be 1*h/15*-36. Suppose x*s = 19*s - 20. Which is smaller: -30/7 or s?
-30/7
Let h = -114 + 50. Suppose -11*j + 7*j - 244 = 0. Let a = h - j. Which is greater: a or 15?
15
Let m = -1001953/349980 + 272/95. Is m less than or equal to -1?
False
Let g = -242 - 177. Let r = 43 + g. Is -0.1 > r?
True
Let w be 1 - (-5 + 1 + 1). Let h = -0.62 - 7.78. Let g = -8.2 - h. Which is smaller: g or w?
g
Let v(y) = -11*y**2 + y - 6. Let l be v(2). Let r be (-1*(-4)/(-16))/(6/l). Which is bigger: 43 or r?
43
Let t be 1 - (10/(-2) - (-188326)/30430). Let j = 2/179 - t. Is j greater than or equal to -3?
True
Let h = 58.901 + -1.001. Let s = 60 - h. Let p = s + -2.3. Which is smaller: -10 or p?
-10
Suppose -25*q = 134*q. Is q < -188?
False
Let l be (3 - 50/18) + 12/(-54). Let z be l - 6 - 1768/(-306). Which is bigger: z or 7?
7
Suppose i + 72 = 1. Let f(v) = -3*v**2 - 31*v - 2. Let x be f(-10). Let y be 423/(-6) - -1 - 4/x. Which is greater: i or y?
y
Let f = -1.7 + 16.7. Let a = 16 - f. Let o = 11.7 - 7.7. Is a <= o?
True
Let r = -6739 - -7468. Is r less than or equal to 732?
True
Suppose 25 = 2*q - z, 2*z - 45 = -2*q + 7*z. Suppose s = q + 1. Let t(j) = -j**2 - 15*j - 38. Let h be t(-10). Is s < h?
True
Let x = 25.5 + -25.575. Let t = 0.025 - x. Are 7/16 and t equal?
False
Let x = 3721 + -2511. Let h = x - 854. Is h greater than or equal to 356?
True
Suppose f - 7 = 3*j - 4*f, f = 2*j. Suppose -51 = -3*a + n, -5*a + a = -n - 69. Let i be a/(-30)*(-4)/(-30). Which is smaller: i or j?
i
Let c = 128243/627 - 2241/11. Is 1 greater than c?
True
Suppose 2*m + 2 = -40. Let q be 0 + (-2)/4 - m/(-6). Suppose -3*o = -3*k + 9, -k + 15 = -5*o + 2*o. Are o and q non-equal?
True
Let f(x) = x**3 + 7*x**2 + 7. Let a be f(-7). Suppose a*r - 8*r + 2 = 0. Suppose r*p - 27 = -5*m, -p + 3*m = -4*p + 18. Which is smaller: 2/87 or p?
2/87
Suppose t + 3*v = -3, -4*t + 5*v + 0*v = 12. Let s(j) = j**2 + j + 1. Let k be s(t). Suppose -k*r - 61 = 2. Which is smaller: r or 1?
r
Let q = -1522/1755 + 13/15. Is q less than or equal to 2?
True
Let j be ((-7)/26)/((-1505)/250 + 6). Let u = 76151/5655 - j. Is u equal to -1?
False
Let y be (-15)/35*2/4314. Are 1 and y equal?
False
Let c = 99852 + -99849. Let u = -0.11 + -0.59. Which is smaller: c or u?
u
Let y = 10422 - 3848. Which is smaller: y or -2/5?
-2/5
Let l = -86 + 83. Which is smaller: -1.7 or l?
l
Let h be (8/(-1684))/((-11)/(77/14)). Is 0 not equal to h?
True
Let u be 560/480 - 24/9. Is 453.7 > u?
True
Let v be (28/(-21))/(35/(-3)). Suppose 3*m - 6*m = -18. Suppose 0 = -m*o - o + 7. Is v smaller than o?
True
Suppose 5 = 2*j - z, 4*j + 4*z - 14 = 2*z. Suppose 4*p = j*c + 132, -2*p = 2*c - c - 56. Let w be p/132*(-3 + 237/75). Are 0 and w unequal?
True
Let o(l) = l**3 + 5*l**2 + 4*l + 80. Let d be o(0). Which is smaller: d or 88?
d
Suppose 4*r - 3*u + 2 = 0, -1 = -5*r - u + 6. Let n be 1*-1*r/17. Suppose -125*b = 69*b + 45*b + 239. Which is smaller: b or n?
b
Let c be -3 + 2*12/(-8) + 15. Let x(n) = n - 9. Let h be x(c). Let v be 1 - h*(-4)/12. Which is greater: v or 2/5?
v
Let m be (0 + -4)/(-4) + (1 - -16). Suppose m*s - 873 = -135. Which is smaller: s or 44?
s
Suppose t = 2*n + 3*n - 385, 5*n = 0. Let o = 418 + t. Which is bigger: o or 32?
o
Suppose -3*t + 25 = -t - 3*b, 3*t - 40 = 5*b. Suppose -168 = 2*y + 4*k, 2*y + k = t*k - 160. Is y != -82?
False
Let l = -1 + 13. Let v be (-1)/(l/9 + -1). Let h be (-160)/(-100)*3/(6/(-4)). Is v less than h?
False
Let v be ((-4)/6)/((-4)/(-96)). Let f(k) = -3*k**3 - 44*k**2 - 26*k + 8. Let c be f(-14). Which is smaller: v or c?
c
Let m = -340 + 339. Let c be ((-64)/(-12))/(-4)*(-10)/(-6). Which is smaller: c or m?
c
Suppose -5*m - 8 = 22. Suppose -20*d + 242 = -31*d. Let h be (9/(-6))/((-11)/d). Which is bigger: h or m?
h
Suppose 0 = 32*p - 121 + 62 - 101. Do p and -57.5 have the same value?
False
Suppose -37*v = -379 + 120. Let x be 4/(2/1)*2. Suppose 0*l = -5*l - u + x, -4*l + v = -3*u. Is l at least as big as 4/41?
True
Suppose -2*x + 56 = 50*z - 40*z, 5*x = -5*z. Is 2 at most as big as z?
True
Let o = 1756/3 - 585. Let h = -2066.89 - -2054. Let z = h - -13. Which is smaller: z or o?
z
S