 - 136 = -8*x, 0 = -2*l - 5*x + 95. Let u be ((-104)/(-1430))/(6/l). Is u != y?
True
Suppose -109*q - 740028 = 57*q. Which is smaller: q or -4459?
-4459
Let s = -264 - -275. Let u = s + -11. Is 1/348 less than or equal to u?
False
Let b = -1499/4 - -103511/276. Let j = b - -1/23. Let f = 25.6909 + 2.3091. Is f at most j?
False
Let r = 1124 - 991. Which is greater: 122 or r?
r
Suppose -5*h = 3*j - 21, 2 = 5*j - 8. Let z be (2/18)/(808/(-272) + h). Is z at least as big as 4?
False
Let v be (-3)/(-1) - (-595)/(-220). Let x = 47/10 - 577/110. Let u = x + v. Which is greater: u or -3/25?
-3/25
Let c = 462.3 + 402.7. Does c = 3?
False
Let v = 8298.112 - -2.888. Which is bigger: -1/4 or v?
v
Suppose 0*l - 4 = 2*l. Let j = -30/589 + -9803/4123. Is j equal to l?
False
Suppose 6*v = 7*v - 10*v - 810. Are -72 and v nonequal?
True
Let o = -52 - -30. Let i be (80/o + (2 - -3))*-1. Suppose -5*j + 3*f = 3, j - f = -j - 1. Which is greater: i or j?
j
Let h(l) = 21*l - 7. Let t(g) = g**2 - 26*g + 70. Let f be t(23). Let m be h(f). Is m at least 15?
False
Suppose m - 142*t + 139*t = -9, 0 = 2*m - 3*t + 9. Do 2/8053 and m have the same value?
False
Suppose 0 = 3*d - 3*g + 15, 4*d - 5*g + 65 = 39. Which is smaller: d or 8/3897?
8/3897
Suppose 14 = 8*y - 6*y. Let n = y + -76. Let f be 2/3*(-4)/((-8)/n). Is -23 at most as big as f?
True
Let a(f) = 2*f**2 - 5*f. Let s be a(4). Let n = -15378 + 15383. Is s smaller than n?
False
Let r(i) = -i**2 - 79*i - 1447. Let x be r(-17). Which is greater: x or -397?
x
Let k be 6 - (-5)/(5/(-2)). Suppose -3*h = 3*d - 6 + 18, 13 = -k*d - h. Let u = -17219/7175 + -1/7175. Is d <= u?
True
Let g(c) = -c - 56. Let i be g(0). Let w be 22/((-18)/i*(-30)/(-45)). Is 102 at least w?
False
Let l be 2 + 0 - (-84)/(-35). Let y be -5 + 2 + (9 - -2) + -3. Let n be ((-25)/(-5))/y*(-2 - -1). Which is bigger: n or l?
l
Let x = 3347 + -1694. Are 1/5 and x non-equal?
True
Suppose -2*d = 2*u - 8, -10*d + 14*d = 3*u - 5. Let a(k) = 99*k**3 + 5*k**2 - 5*k + 1. Let f be a(d). Which is greater: 101 or f?
101
Let x(p) = -4*p - 5. Let o(d) = -d**2 + 18*d + 17. Let i be o(19). Let j be x(i). Suppose -2*y - 5 = j*y. Which is bigger: y or -2/95?
-2/95
Suppose -5*c = 17*f - 11*f - 26, -2*c = 3*f - 11. Is f smaller than -1690?
False
Let p be (-1 - -8)*(14 + -15). Let g be 4/(-6) + 8*p/(-156). Is 1/3 not equal to g?
True
Let h = 267 - 5339/20. Let c be (4 - (-96)/(-20))/((-4)/10). Suppose 0 = -3*w - 5*j - 2 + 12, 0 = -c*w + 3*j - 6. Which is smaller: w or h?
w
Let j = -325 + 325. Is 215/2 >= j?
True
Let u = 378895/16 - 23667. Is 14 > u?
True
Let i = -3333 + -262. Is i < -3594?
True
Let h = -13071 + 12862. Which is bigger: h or 2/31?
2/31
Let s = 2228 - 1962. Is s greater than or equal to 264?
True
Let s = -3700/69 + -477283/759. Let n = 682 + s. Is n at least 1?
False
Let p(x) = -1056*x - 1055. Let c be p(-1). Is c at least -2/11455?
True
Let m be 129824662/16091955 - (-2)/30*-1 - 8. Does -1 = m?
False
Let l = 8.537 + -8.6. Let c = 23.2238 + 0.0762. Let z = 22.3 - c. Is z equal to l?
False
Let j(a) = 895*a - 2682. Let t be j(3). Are t and -253 unequal?
True
Let z be (77/(-11) - -8)*1/1*-7. Which is bigger: z or -40?
z
Let i = -40 - -52. Suppose -5*y = 4*n - 15, -4*y = -3*n - 0 - i. Suppose n = 3*a + 75 + 18. Is -31 at least as big as a?
True
Let n be 10 - (36/(-120) + (-173111)/(-16770)). Which is greater: n or -1?
n
Suppose -23*z + 254 = 254. Is z at least -10/259?
True
Suppose 4*a + 5*u = 8*u - 71, -3*a + 3*u = 57. Let h be (-15480)/70 - 2/a. Is h at most 1/2?
True
Let j be (13 - 6)*6/12*2/7. Is 2/10499 less than j?
True
Suppose -2*i = -2*f - 2*f + 46, -4*i = 2*f + 112. Let x be ((-142)/8)/(i/216). Does 143 = x?
False
Let t = -3764139/25 + 150455. Which is greater: t or -110?
-110
Let g = 16903 + -16901. Are g and -3 non-equal?
True
Suppose 5*r + 544 - 139 = 0. Let n = -50 - r. Suppose -4*g - 21 = n. Are g and -13 non-equal?
False
Suppose 27 = 14*t - 29. Let y be t - 240/25 - -5 - -1. Which is smaller: y or 2/761?
2/761
Let b = -462.2 + 462.8. Which is smaller: b or 761?
b
Let y = -4357/7428 + 2/619. Let k = 1.51 + -0.91. Is k > y?
True
Let j = 3634/5 - 36261/50. Which is greater: 3 or j?
3
Let w(a) = a**3 - 3*a**2 + 3*a - 5. Let s be w(3). Suppose 19 = 3*c + x, 3*c - s*x + 1 = -0*x. Let b be c/(-20) + (-129)/(-4). Is 32 greater than or equal to b?
True
Let q = 568.32 - 568. Let k = -3.82 + q. Which is smaller: -0.4 or k?
k
Suppose j + 14 = 49. Let w be (j - 35)/(3/3). Is w greater than 221?
False
Let n(r) = -r**3 + 3*r**2 + 5*r - 1. Let s be n(4). Suppose s*m - 4*q - 16 = 0, m + q - 6 = 2*q. Suppose 2067*z = -1207*z + 29466. Does m = z?
False
Let l = 5 - 9. Let t be (1*(3 + l))/7. Let c(p) = -3*p - 105. Let w be c(-35). Which is smaller: w or t?
t
Let g be ((-104)/18 - (-112)/(-504))/(765/6). Is g greater than 14?
False
Let f = -9187/3256 - -31/11. Let c be ((112/24)/7)/((-2)/3). Which is bigger: f or c?
f
Suppose -2*w + 2*o = 266, 3*o - o = -5*w - 630. Suppose -4*y - 532 = -5*z, -4*z - 86 - 282 = 3*y. Is y > w?
False
Suppose -35*u + 32*u + 21 = 0. Suppose 0 = -u*y + 4*y. Suppose y = -3*s - s - 8. Which is smaller: 8 or s?
s
Suppose 53682 = -13*n - 32*n - n. Which is bigger: -1165 or n?
-1165
Let q = -1 + 22. Let k be q/49 + 1758/14. Let c be ((-8)/6)/((-7)/(k/8)). Is 1 bigger than c?
False
Let r be 6 + (4/(-14))/(4/(-56)). Suppose -r*t = 14*t - 48. Which is greater: 24 or t?
24
Suppose -4*u - 3 = h, -4*u - 5*h + 3 - 18 = 0. Suppose u = -3*g + 16 - 13. Let a be ((-2)/(-46))/(g/(-10)). Is 0 at least as big as a?
True
Let i = -5662 - -5662.2. Which is bigger: -395 or i?
i
Suppose -4*i + 92 - 88 = 0. Suppose -9*o = i - 1. Which is smaller: 2/7 or o?
o
Let v(c) = 12*c - 52. Suppose -26*h = -33 - 19. Let q be v(h). Which is smaller: q or -30?
-30
Suppose 24*k - 56 = -176. Let y be 372/(-42) + 4 - k. Which is greater: -0.4 or y?
y
Let z = 87 - 82. Suppose 7 = 3*j - z. Let v be (30 - 3)*1 - j. Which is bigger: 24 or v?
24
Let y(u) = -u**2 + 10*u - 10. Let i be y(4). Let s = i - 11. Let q be (-1 - s)*36/(-984). Is q != -1?
True
Let p be (3 + -5)/6 + 4. Suppose 74 + 31 = 3*r. Let i be (-30)/r*-5 - (-6)/(-21). Which is smaller: p or i?
p
Let x = 1.07 + 10.93. Let m = 62 + x. Let t = m - 71. Which is greater: -0.4 or t?
t
Suppose 2*s = -4, -h + 5*s - 73 = 2*s. Let t = h + 75. Let k be t + (24/10)/((-6)/200). Which is smaller: -85 or k?
-85
Suppose -20 = 13*q + 240. Let a be q/72 + (-1)/(-9)*-2. Which is smaller: -528 or a?
-528
Suppose -3*g + 44*g = -164. Which is greater: g or 130?
130
Let o(x) = 2*x**3 - 14*x**2 + 17*x - 7. Let w be o(9). Let u = -568 + w. Which is bigger: -100 or u?
u
Let l = -5076308/15561 + 2936/9. Is l at most as big as 1?
True
Let n be 8/10*(-35)/(-14). Let i = 4 - n. Let r = -41.84 + 26.84. Which is greater: i or r?
i
Let l be 16 + (-777)/56 + -2. Which is smaller: -4.26 or l?
-4.26
Let f = -5503/432 - 83/27. Is -17 bigger than f?
False
Let x = 195 - 203. Let m be (159/(-12))/(x/96). Which is smaller: 158 or m?
158
Let j = 1924016/945 - 2036. Which is greater: j or 0?
0
Let a = -2444 - -3213. Which is greater: 3849/5 or a?
3849/5
Let z = -101/93 + 3369065/3102294. Is 0 equal to z?
False
Suppose 65*w + 13*w - 6392 = -58*w. Is w < -24?
False
Suppose 17*y + 21 = 24*y. Suppose 5*q + 4*i = -21, 0 = -q - i - y*i - 17. Let f = -13 + 675/52. Which is smaller: f or q?
q
Suppose 3*r = m - 54, 3*r + 0*r + 54 = 3*m. Suppose 0 = 37*j + 563 - 119. Which is smaller: j or r?
r
Suppose 0 = 17*x - 18*x + 18. Suppose 3*m - 39 = -x. Let h = -4.7 - -5. Is h > m?
False
Let m be 10 - (-6 + 5)*-3. Suppose 4*y - 5*q = -0*q + 56, 2*y - q = 28. Suppose y + 11 = 5*k. Is k less than m?
True
Suppose -1106 = -2*y + 4*r, 2*r - 1537 + 407 = -2*y. Is 558 greater than y?
False
Let l = -202 + 1410/7. Let i be (-4)/3*(-48)/(-308). Let s = i - l. Which is greater: s or 1?
1
Let d be (-7 - 90/(-12)) + (-50)/4. Let q(n) = n**3 + 15*n**2 + 42*n + 54. Let u be q(d). Is -20 bigger than u?
False
Let n = -2161 - -1056727/489. Let q = 0 - -1. Which is smaller: q or n?
n
Suppose -26 = 2*o - 5*w + 22, 30 = -5*w. Are -36 and o unequal?
True
Let h = 419 - 263. Let j = -236 + h. Does -79 = j?
False
Let b be (1 - -1)*(83/(-2) - (228 - 238)). Let r(d) = -3*d**2 - 3*d - 3. Let p be r(4). Is b 