4*i - 3*j. Is i > -1?
False
Let i = -26/43 + -1435/258. Is -5 at least as big as i?
True
Let z(y) = -18*y - 15. Let m be z(-1). Which is bigger: m or 36?
36
Suppose -2*q = -6*q - 72. Let v be (18/34)/(q/12). Which is greater: -1 or v?
v
Let x = 2531 + -2050. Which is bigger: x or 4?
x
Let z = -43.04 - -43. Let w = z + -0.06. Let s = -0.4 - -0.3. Do s and w have the same value?
True
Let r = 12 + -74/3. Which is bigger: r or -13?
r
Let v = -54 - -59. Let m = v + -53/11. Let p = 3 + -4. Is p greater than m?
False
Let y be (5/(-5))/(1/3). Let g be -1 - 1 - (-12)/6. Let r be (g - -3)*(-2)/3. Is r >= y?
True
Let s = 10 + -7. Suppose 9*d = 5 + 49. Suppose -2*j = -d*j + m + 7, -3*j = -2*m - 4. Which is bigger: j or s?
s
Let s(b) = b**2 - 2*b - 25. Let w be s(0). Let o = -43 - w. Let a be 12/9*(-3)/o. Which is smaller: a or -2?
-2
Let x = -29 + 36. Which is bigger: 11 or x?
11
Let x be ((-1552)/(-2240) - 6/8) + 0. Is x at most as big as -1?
False
Let y(s) = 7*s + 8. Let k be y(0). Let b be 1/4 - (-5)/12. Is b greater than or equal to k?
False
Let w(b) = 2*b**2 + b. Let d be w(1). Suppose g = -5*k + 4*g - 50, 0 = -3*k + d*g - 24. Let r(h) = h**2 + 12*h - 16. Let v be r(k). Is v at most as big as -2?
True
Let c be 0/(-2)*5/(-2 - -17). Suppose 5*z = -0*s - 2*s + 24, 0 = -5*s - z + 14. Suppose c = -o - b - s, 2*b = -b. Is o greater than or equal to -1?
False
Let n(c) = 6*c - 2. Let p be n(1). Let q be p/(-24) + 1*644/(-24). Which is smaller: -26 or q?
q
Suppose -2*n = 2*i + 44, -i + 18 - 56 = 5*n. Is -158/9 not equal to i?
True
Suppose 0 = 16*a - 14*a - 36. Suppose -n + 5*n = -4*v - 140, 0 = -3*v - 4*n - 110. Let m = a + v. Which is greater: 1/4 or m?
1/4
Suppose -50*a + 19082 = -3*a. Which is greater: a or 2?
a
Let q = -2147 - -2143. Which is greater: 57 or q?
57
Let o = 2674 + -2113. Which is greater: 0 or o?
o
Let r = -3 + -35. Let b = r + 38. Is -1/20 at least b?
False
Let b be (40/25)/((-1)/(-5)). Let n = b + -4. Let i be -3 + (-2 - -2) + n. Which is greater: -2/5 or i?
i
Let k(s) = -s**3 + 7*s**2 - 9*s + 6. Let j be k(5). Suppose 2*t - t = -2*i + 19, -5*i - t = -55. Is j smaller than i?
True
Let y = -0.2055 - -0.0055. Which is greater: 117 or y?
117
Let x = 247/22644 - 2/333. Does 1 = x?
False
Let f(n) = -n**3 - 6*n**2 + n + 6. Let d be f(-6). Suppose d = -2*g + g - 9. Which is bigger: -8 or g?
-8
Let i = 45/44 - -78/77. Let c = 16/7 - i. Let v = 4.3 - 7.3. Which is greater: c or v?
c
Let m = -283.9524 + -0.0476. Let c = -296.7 - m. Let x = c - -13. Is 0 smaller than x?
True
Let o = -14 - -14.03. Which is bigger: 40 or o?
40
Suppose -2*k = 4*w + 70, -5*k + k - 65 = 3*w. Let a = -15 - w. Which is smaller: a or 1/2?
a
Let m = -426.8 + 427. Which is bigger: 85 or m?
85
Suppose 7 + 18 = 5*n. Suppose -2*i + 9 = -n. Let w be 19/(-20) + i/(-28). Which is smaller: -2 or w?
-2
Let p = 1040 - 2081/2. Which is smaller: 2.4 or p?
p
Let h be (-52)/13*2/8. Let j be (-5)/h - 26/78. Is j bigger than 5?
False
Let n(x) = x**3 + 12*x**2 + x - 24. Let r be n(-7). Which is smaller: 213 or r?
213
Let v be (-25)/20 - (-388)/272. Let b be (3/9)/(9/27). Which is smaller: b or v?
v
Let w(i) = 26*i - 105. Let k be w(9). Is 129 < k?
False
Let z(i) = -22*i + 16. Let d be z(-1). Which is greater: 39 or d?
39
Let w(y) = 5*y - 59. Let k be w(12). Which is smaller: k or -10/29?
-10/29
Suppose m - 4*b = 73, 0 = -0*m - 4*m + 3*b + 227. Let l = 65 - m. Which is bigger: l or 13?
13
Suppose l + 3*o = -3*l + 5, -l - 5*o = 20. Let q(t) be the first derivative of t**4/4 + t**3 + 3. Let b be q(-2). Which is smaller: l or b?
b
Let g = -55 - -40. Let o = g + 15. Let l = 0.35 + 0.05. Which is smaller: o or l?
o
Let r = 6 + -4.6. Let d = 0 - -1.4. Let u = d - r. Do u and 2 have the same value?
False
Let n be 2/(-4) + (-13)/2. Let j be 34 - 38 - ((-152)/26 - -2). Which is bigger: n or j?
j
Let a = -77/138 + -5/46. Is -44/5 bigger than a?
False
Let w = 347 - 303. Which is smaller: w or -7?
-7
Let x = -0.1205 + -126.8795. Is x > -2/3?
False
Let m be 6/(-8) + 415/20. Let h = m + -18. Let y be (2 + -4 + h)*1. Which is smaller: y or 0.3?
y
Suppose -10 + 8 = -c. Let w be c/4*(-14)/(-28). Is 18 at most as big as w?
False
Suppose 3*p + 4*w = 2*w + 5, -4 = -4*p - 4*w. Suppose p*f = 8*f + 50. Let q be (-70)/(-78) - f/(-15). Is 0 less than q?
True
Let n = 2397 - 2400. Is -19/6 greater than or equal to n?
False
Let p be ((-1704)/(-92))/6 - 4. Does 0 = p?
False
Let k = 0.5 - 24.5. Let w = k - -20. Is w greater than or equal to -1/4?
False
Let r = -1049 + 1052. Let c(l) = -l**2 - 6*l + 4. Let k be c(-7). Which is smaller: r or k?
k
Suppose 0*c = -c + 3. Suppose -3*h + v = 18, -c*v - 30 = -2*h + 7*h. Let w = -41 - -33. Which is smaller: w or h?
w
Let n be (99/(-18) + 8)/(1/2). Suppose -6*k = -7*k - n*y + 38, -4*k = -3*y - 60. Which is smaller: 21 or k?
k
Let j = 1007 - 579. Let l be (-8)/6 + j/330. Is 0 less than l?
False
Suppose 0 = 5*y, 0 = -5*j - 0*y - 4*y. Suppose 2*q + 30 - 6 = j. Suppose 3*k + k + 48 = 0. Is k greater than or equal to q?
True
Suppose 4*i = -5*h + 57, -2*i - 1 + 7 = -2*h. Let q(f) = f**2 - 9*f + 12. Let d be q(i). Is d greater than 5?
False
Let c be (1 + 13)/((-10)/4615). Let v = 335955/52 + c. Let y = -1/13 - v. Which is smaller: y or -2?
-2
Let d be 4/(-3 - (-1 - 3)). Suppose -4*m - 8 = d. Let b be (-2)/(-26)*(-12)/m. Which is greater: b or 0?
b
Let t = -10 + 8. Let a = 36 + -39. Which is smaller: t or a?
a
Let w = 590 - 589.843. Which is smaller: w or -3?
-3
Let b = 10 - -3. Let q = 11.5 - b. Let v = q + 1.5. Which is greater: -10/9 or v?
v
Suppose -3*h = 2*u - 7, 0 = 3*h + 4*u - 6*u - 11. Let v = -8 - -18. Is v greater than h?
True
Let r = 471 - 902. Is r at least -430?
False
Let r be -4*(-4)/(-48)*3. Which is smaller: 249 or r?
r
Let h = -19 - 0. Suppose 7*g + 105 = -28. Is h smaller than g?
False
Let i be (-8617)/11 - ((-105)/(-33) + -3). Let d = -783 - i. Which is greater: 0 or d?
d
Let l(a) = 2*a**3 - a**2 + 2*a - 1. Let s be l(1). Let z be (-201)/54*s/19. Let h = -4/9 - z. Are h and 0 equal?
False
Let p = -13091/18 + 727. Let o = p - 1/126. Let f = 1 + 0. Do f and o have the same value?
False
Let x be 2*(-6 - (0 + -1)). Let j be x/6 + 2/3. Is j greater than -8?
True
Suppose -t - c + 36 = 2*c, 4*t - 3*c = 69. Let x be (-12)/42 + 142/7. Which is smaller: t or x?
x
Let t = 43 + -30. Let p = -10 + t. Suppose i + 0 = -d - 11, -p*i - 9 = 0. Are -9 and d non-equal?
True
Let l(z) = -z**2 + 74*z - 636. Let q be l(10). Suppose 2*g + 0*g = -3*m + 11, 5*m - 25 = -5*g. Are g and q unequal?
False
Let n(y) = 3*y**3 - 5*y**2 - 7*y + 5 - 5*y**3 + 2*y**3 + y**3. Let s be n(6). Let o be ((-18)/(-168))/((-72)/28). Is o bigger than s?
True
Suppose -k - 4*k - 10 = 0. Let j be (-22)/10 - k - 405/(-150). Let w be (0 - 4)/(1 + -3). Which is smaller: w or j?
w
Let i = 13441/30 - 448. Let y be 3 - 1 - (1 - -1). Is i not equal to y?
True
Let c(u) = -u**3 - 8*u**2 + 9*u + 15. Let v be (9/(-15))/(1/15). Let y be c(v). Is 15 at most as big as y?
True
Suppose -4*m = -2 + 6. Let k = -84427/59 + 1431. Which is bigger: k or m?
k
Let j(x) = x**3 - 10*x**2 + 13*x - 16. Let m be j(9). Let k be 464/10*m/(-80). Is -13 bigger than k?
False
Let y be 5 - (-6)/(-2) - -1. Suppose 0*f = -y*f - 42. Let g be 4/(-10) + f/(-10). Is 3 less than or equal to g?
False
Let h be (6/142)/(380/(-76)). Which is smaller: 0 or h?
h
Let q be 15/(-10) - (-71)/(-2). Let v be q + 37 - 2/(-10)*-2. Is 7 at most as big as v?
False
Let m(i) = i**3 - 22*i**2 - 2*i + 42. Let j be m(22). Let g be 29/j - 1/2. Is g > -2?
False
Let l(p) = p**3 - 9*p**2 - 19*p - 16. Let f be l(12). Suppose f*j = 190*j + 20. Which is greater: j or -62/7?
-62/7
Suppose 5*r + 39 = 3*b + 16, 2*b - 5*r = 22. Which is greater: 1/84 or b?
b
Let k(o) = -8*o - 11. Let t be k(-7). Let a be (-24)/t*(-3)/(-2). Let z(d) = -d**2 - 5*d. Let l be z(-5). Which is smaller: l or a?
a
Let p = -204.1 - -219. Let i = p + -15. Suppose -3*k + 4*k + 3*h + 6 = 0, 5*h = k - 2. Which is bigger: k or i?
i
Let t = -1.62 - -98.62. Let y = t + -96. Which is greater: 17 or y?
17
Suppose 0 = -3*o - 2*i + 11 + 1, 4*o + 2*i = 18. Let a = -158 - -153. Let c = o + a. Which is smaller: c or -1?
-1
Suppose -7*q = -4*q + 15, -43 = 4*g - 5*q. Is g at most -16?
True
Let j = -331/1085 + 3/155. Is 9 smaller tha