al?
True
Suppose 0 = 8*k - 3*k - 370. Let j = k + -65. Suppose -j + 0 = 9*u. Is u less than or equal to -2/157?
True
Suppose -5*p = 5*v + 10, 0 = 2*v + 4*p + 7 + 1. Let o be 0 + -6 - (-5)/(160/152). Which is bigger: v or o?
v
Let n be (-2 + 202/2)/(21/1778). Is 8382 at least as big as n?
True
Let q be (-1)/(-5) + (-351)/5. Let i be 0 + (-125)/q + -2. Let j = i - -2/7. Are 0 and j equal?
False
Let v = -1088 - -1105. Let n be (-8836)/61523 - (-2)/v. Suppose 0 = 5*g + 5. Does g = n?
False
Let x = -4854 - -5244. Which is bigger: x or 4?
x
Let p be (16/5)/4 - (17471/(-5) - 1). Is 3497 greater than or equal to p?
True
Suppose 4*a + 4*q + 4 = 0, 5*q - q + 4 = 5*a. Suppose -7*p - 24*p - 248 = a. Let d = 2.7 + -0.7. Which is bigger: d or p?
d
Suppose -3*n + 6 = 258. Let l = 181 + -276. Let k = l - n. Is k smaller than -19/2?
True
Let a = -39 + 39.44. Let p = 0.418 - a. Let u = 0.578 - p. Is u > 0.2?
True
Let a(y) = 3*y + 6. Let c(n) = n**2 - 11*n + 15. Let p be c(9). Let i be a(p). Let s be ((-6)/328)/(i/(-2)). Is 0 at most s?
False
Let k = 75 + -66. Let c(l) = -l**3 + 9*l**2 + 6*l - 37. Let s be c(k). Is s at least as big as 82/5?
True
Let p(z) = -z**3 - 23*z**2 + 26*z + 31. Let g be p(-24). Let y be (18/g)/((-13)/(-39)). Is y at most -2?
True
Let v(s) = s**2 - 13*s + 4. Let a be v(13). Suppose -20 = -a*n + 5*m - 7, 8 = 5*n + 2*m. Which is smaller: 7/5 or n?
7/5
Suppose 14*k - 9*k = -f + 10, 3*k - 8 = -f. Is -8/303 smaller than k?
True
Suppose -5*w + 59 = 4*c, 4*w + 11 = 3*c - 10. Suppose -3 = 4*h - b, -4*b - 15 - c = 3*h. Which is smaller: 8 or h?
h
Let p be (1 + (-15743)/15782)*44/(-33). Let i(x) = x - 4. Let o be i(3). Is o bigger than p?
False
Let j = -56597 - -3169783/56. Is 6 > j?
False
Let y = -273765/2 + 133001. Are y and -3883 unequal?
True
Let a = 147.8 + -144. Let c = a + -3.6. Is c at most -0.4?
False
Suppose -8072 = 2*j + 236*z - 234*z, 0 = -3*j + 5*z - 12116. Which is greater: -4033 or j?
-4033
Let a = 499 + -354. Let d = -88 + a. Which is greater: d or -0.2?
d
Let k be 6/9 + 5083/(-2262) - 1/(-6). Which is smaller: -2 or k?
-2
Let k be ((-96)/180)/(-1)*(-2)/8. Suppose -x - 1 = -0, -5*l - 3*x + 2 = 0. Is l > k?
True
Let w = -2 + 27.4. Let b = 29 - w. Let i = 27.4 + b. Is -1 less than i?
True
Let i = -30747/182 + 1178/7. Let c = i + 361/572. Is 1 < c?
False
Let r = -2 - -3. Suppose 9*u = -489 - 1599. Let w = -231 - u. Is r at most as big as w?
True
Let r = -7708.01 - -7708. Let u = 10 + -15. Let o = u - -5. Are o and r equal?
False
Let m = -13 - -12. Suppose 18*p + 889 + 659 = 0. Let g = -70 - p. Which is smaller: m or g?
m
Let o = -6974 + 7161. Which is smaller: 0.6 or o?
0.6
Suppose 129*z - 87*z = -59 + 17. Which is greater: -19578 or z?
z
Suppose 4*w + 59 + 2 = -5*o, -2*w - 2*o - 30 = 0. Let g be ((-36)/21)/(3/w). Suppose 12*z + 400 = g*z. Is z at most as big as -99?
True
Suppose -12264*h - 23 = -12241*h. Let n = -582336499/56 - -10398324. Let s = n + 542. Is s bigger than h?
True
Suppose 4*d - 132 = 2*d. Let t = -27 + d. Which is bigger: 37 or t?
t
Suppose 15*w - 1113 = 9*w - 15. Which is smaller: 197 or w?
w
Suppose 3*n - 3*g = -16509, -3*g = -85*n + 88*n + 16539. Is n < -5508?
False
Let g be (8 - 1066/104)*2*2. Which is smaller: g or -179?
-179
Let r be 4 - -157 - (0/(-3) - 0). Let d = 94 - r. Let z = -65 - d. Which is bigger: z or 1?
z
Let o = 61.5 + -61.484. Let h = 8.016 - o. Which is greater: 0.11 or h?
h
Let p = 86.8 + -87. Let w = -13069/44 - -297. Are p and w non-equal?
True
Suppose 25*n = 30*n - 5*v + 705, 2*n + 3*v + 302 = 0. Which is greater: -113 or n?
-113
Let m be 5/(-15) + (-48)/(-9). Suppose 5*w + m = -5. Let z be (20/w)/((-1)/(1/2)). Is z greater than or equal to 9?
False
Let y(l) = l + 4. Let v be y(4). Let r = 6 + v. Let p = -1273 - -1289. Is p < r?
False
Suppose -603 = -9*q + 4*q - y, q + 2*y - 117 = 0. Let k = q - 126. Let v be ((-8)/4)/(0 - -1). Which is greater: v or k?
v
Suppose 0 = -3*r + 12, -3*b + 5*b - 5*r + 116 = 0. Let n be ((-204)/(-34))/((-2)/17). Is b greater than or equal to n?
True
Suppose 2*k = -8*k - 39105 + 7735. Which is bigger: -3136 or k?
-3136
Let z be 4/(8/6) + -3 + 0. Suppose z = t - b - 9, -5*t = -3*t + 2*b - 18. Suppose 0*u = -t*u - 9. Is u at least -1/7?
False
Suppose 2*g - 207 = -16*u + 15*u, -3*g = 5*u - 1042. Let q = -76 + u. Which is greater: 135 or q?
135
Let h be (792/(-45) + 10)/(-4). Do 1/2 and h have the same value?
False
Let g(j) = 8*j**3 - 43*j - 84. Let x be g(-4). Do x and -422 have the same value?
False
Let z be (-6)/(-9)*3 - (3 + -3). Suppose -2*x - 5*u = z + 21, -7*x + 2 = u. Are 3 and x unequal?
True
Let a be ((-6)/(-15))/((-2)/(-4)). Let b = 18532 - 18537. Which is bigger: b or a?
a
Let l be 16*(-1 + -1 + 4). Let q = -63/2 + l. Let i be 20 + -30 - 388/(-40). Is q != i?
True
Suppose 163*t - 40 = 167*t - 2*y, 0 = t - 4*y + 38. Which is greater: t or -171/28?
t
Let b(v) = 26*v - 7. Let j = -32 - -46. Let y be b(j). Let c = y - 9995/28. Which is bigger: -1 or c?
c
Let t be 1/5 + ((-2184)/120 - -18). Which is smaller: t or 2/9351?
t
Let f be 0/(-3 - (-40)/8). Are f and -25/458 unequal?
True
Let h = -105739/18 + 5874. Suppose -2*f + 8 = 0, 16 = 4*n + 3*f + 2*f. Are n and h equal?
False
Let r = -0.48 + 0.46. Suppose -2*n = 18 + 14. Let p be 56/n + 0 + (-2)/(-4). Which is greater: p or r?
r
Suppose 2 = -4*y + 10. Suppose -3*a + 2 = 4*r, 2*r - 6*r + y*a = 8. Let j be 3/r*((-10)/6)/(-1). Is j smaller than -5?
False
Suppose -98 = -3*g - 71. Let z = -4 + 7. Suppose -g = -6*c - z. Which is greater: -0.2 or c?
c
Suppose -c - 1497 = 4*f, f - 6*c + c = -369. Let p = -411 - f. Let n = 9 - 46. Is n >= p?
True
Let d = 779.415 - 777. Let k = -0.585 - d. Is k < -0.4?
True
Let w(j) = -j**3 - 13*j**2 - 10. Suppose -16 + 81 = -5*y. Let s be w(y). Suppose -36*f - 154 = -22*f. Is f bigger than s?
False
Suppose 0 = -4*k + 5*c + 45, 0 = -2*k + 14*c - 13*c + 15. Is k at most -141?
False
Suppose -255*w - 16764 = -244*w. Which is smaller: -1523 or w?
w
Let o = 1055 + -1677. Let i = -622.1 - o. Is -38.2 > i?
False
Let m be ((-92)/(-115))/((-7)/(-5) - 1). Suppose 0 = -m*y - 4*i + 10, -i - 2 = -4. Which is greater: y or 16/17?
y
Suppose 2*v - 3*l = -2*v - 15, 2*v = -l + 5. Suppose v = 5*x + 5 + 10, -2*x - 6 = -3*i. Which is greater: -2/787 or i?
i
Let b be (5/(930/(-1637)))/(193/(-3)). Let c = -3/386 + b. Let l = -99 + 98. Which is greater: c or l?
c
Let z = 0.204729 - 93.271729. Let w = z - -0.067. Let s = w - -93. Is -2/37 greater than s?
False
Let k(n) = -550*n + 1651. Let r be k(3). Is 30/709 less than r?
True
Let x be (-10)/3*(-228)/171*(-9)/2. Which is greater: x or -153/8?
-153/8
Let t(c) = -c**2 + c + 2. Let k be t(2). Let m = -923316/77717 + -57/2507. Let s = m + 12. Which is greater: k or s?
s
Let p = -339 - -206. Let o = -132.886 - p. Let x = o + 0.116. Is 2/9 not equal to x?
True
Let h = 0.2 - 0.1. Let y = -421 - -417.85. Let c = -3.28 - y. Is c greater than h?
False
Let f be (-10)/75 + 1421359/(-195) + (-2)/(-13). Which is smaller: f or -1/4?
f
Let f be 8/6*3/2. Let t = 1 - f. Let p be (-104604)/(-7848) + 1360/(-102). Is p <= t?
False
Let y = 15103 + -15103.026. Which is greater: y or 17.2?
17.2
Let q = 34 + -2. Suppose -5*h = c + q, -3*c - c - 83 = 5*h. Let j = 3 - c. Are 19 and j unequal?
True
Let r = -545003/19 - -28725. Is 41 != r?
True
Suppose 22*n - 20*n - 550 = 0. Let x = -275 + n. Which is bigger: -1/283 or x?
x
Let c = -2 - -1. Let h = -473/90 - -261629/49770. Which is smaller: c or h?
c
Let l = -3090.024 - -3126. Let v = l + 0.024. Let m = v - 32. Is 3 < m?
True
Let o(l) = -l**2 - 29*l + 3104. Let a be o(-72). Which is smaller: -1.76 or a?
-1.76
Let q(c) = -c**2 + c + 466. Let i be q(0). Suppose 0 = 79*n - 44*n - 16310. Is n at least as big as i?
True
Let w be (-1 - -7)/(2 - 12/9). Let q be (w + (-424)/40)/(2/5). Which is smaller: q or -46/11?
-46/11
Let t = -1497313/2 + 2049073084/2737. Let c = t - 8/119. Is 0 equal to c?
False
Let d = 791 + -790.8. Is d at least 60/23?
False
Suppose -327*i = -i - 395438. Which is smaller: i or 1226?
i
Let l = 11408.15 + -11408. Which is bigger: l or -207?
l
Let l = 26 + -28. Let m = 1685.97 + -1685. Which is greater: l or m?
m
Let v be 6*63/(-18) + -1 + 8. Let p be (-203)/v - (-24)/16. Let j = 9 - 0. Does j = p?
False
Let h = 9 - -21. Let v