) + (-3)/x)*-3. Is -109 smaller than h?
False
Suppose -318 = 7*z - z. Let a be (-4)/8 + z/(-88). Is a != -1?
True
Let p be (-6)/12 + (-3)/(-2). Suppose -110*l - p = -109*l. Let u be (4 - 8/4)/(1 - l). Does u = 3/16?
False
Let s = 0.57 + -0.25. Let a = 0 - 22. Let m = a + 23. Which is smaller: m or s?
s
Let i = 640 - 635. Suppose 3*a + 5 = -b, -4*b = -5*b + 2*a + i. Which is greater: 15/37 or b?
b
Suppose -59712*h + 59683*h - 90161 = 0. Is -3109 bigger than h?
False
Let y be -1 + -61 - (-2)/2. Let s be ((-224004)/836 - (-4)/(-76))/4. Is s bigger than y?
False
Let v = 4976 - 4974. Is v not equal to -1327?
True
Let i(v) = -9*v + 135. Let d be ((-18)/(-27))/((-29)/(-15) + -2). Let f be i(d). Is 223 < f?
True
Let n be 5/3 + -1 - 6727/(-93). Let h = n + -73. Suppose h = 2*b + 18 - 16. Which is smaller: b or -7/17?
b
Let o = -0.2 + 0.22. Let g = -0.102 + 221.102. Let t = g + -222. Which is bigger: t or o?
o
Let p be (31864/490)/((-3)/7). Let w = 152 + p. Is 1 less than or equal to w?
False
Let u be 3/(-24)*(468/247)/(-3). Let i = 5 - 4. Which is greater: u or i?
i
Suppose 0 = -4*w + 2*j + 1048, 1658 - 346 = 5*w - 3*j. Is w at most 260?
True
Suppose 0 = w - 752 + 163. Suppose -124560 = -309*v + 27598 + 29534. Is v less than w?
True
Let m be (3/(-9))/((-15)/(-18)). Are m and -0.0653 nonequal?
True
Let z = -4.01 + -147.99. Which is smaller: -1/3 or z?
z
Let a = -693 - -666. Let c = -2.8 - -27.8. Let b = a + c. Are 18/7 and b non-equal?
True
Let o = -243.817 + -0.183. Let m = o + 423. Which is greater: m or 1?
m
Let v(p) = -749*p**2 - 19*p + 21. Let c be v(1). Which is bigger: -2/17 or c?
-2/17
Let t(g) = -g**3 - 8*g**2 + g + 6. Let f be t(-8). Let a(d) = -3*d - 5. Let m be a(f). Let p = -1259 + 71765/57. Which is smaller: m or p?
p
Let o be 10*(-1)/(-138)*993. Let q = o - 72. Let j = -45 + 45. Are q and j nonequal?
True
Suppose 2*f + 3*u = -0*f + 1, -5*u + 5 = 0. Which is bigger: 1/1086 or f?
1/1086
Let y = 146 + -142. Suppose -2*d = 3*g - 7*g + 10, -3*g = -5*d - y. Which is greater: -2/207 or d?
d
Let l be (-8854)/(-10) + (-12)/(-20). Let y be 7/(63/(-2)) - l/(-18). Which is greater: 42 or y?
y
Let i(p) = 14*p**3 - 3*p**2 - 5*p - 2. Let a be i(-1). Let f = a - -26. Suppose 2*c + f = c. Which is greater: c or -13?
c
Suppose -2*u = -0*u. Suppose -5*r - 4*r + u*r = 0. Suppose 58*d - 55*d = r. Is 1/63 bigger than d?
True
Let j = 146 - 142. Suppose a - 5 = 4*b + 15, 0 = -j*b - 4*a. Let f be (-3)/(-42) - (b/(-1))/(-28). Is 0 less than f?
True
Suppose 393524 = 41*n + 97566 - 123185. Which is bigger: n or -2?
n
Suppose 3*m + 113 + 148 = 0. Let c = -112 + m. Let r = c - -6565/33. Is r at least 0.3?
False
Let w be (8/(-6))/(424/318). Let k(j) = -300*j + 10. Let v be k(-3). Let a be (13/v)/((-1)/8). Is a at most as big as w?
False
Let m(k) = -10*k**2 - 36*k + 608. Let a be m(12). Is -1266 smaller than a?
True
Let a(b) = -b**2 + 21*b + 49. Let z be a(23). Suppose 0 = -5*v + 4*r + 15, -z*r + 2 - 20 = 3*v. Let s be 0 + 1*(-1)/(-24). Which is smaller: s or v?
v
Let w = -204 - -223. Let m be (-32745)/285 - 2/w. Is -116 equal to m?
False
Suppose -14*b = 12*b - 338. Let n = b + -34. Is n at most -17?
True
Let a be -6 + ((-80)/25)/(2/(-10)). Let p be ((-342)/27)/(8/(-6)). Which is greater: p or a?
a
Let w be 5/((-1)/(-1)) - (347627/(-9328) + 42). Which is smaller: w or 1?
w
Let f be 1*(3 + (1 - 3)). Let d = -43 + -295. Let h = d - -8113/24. Do f and h have the same value?
False
Let b be 2/(-12)*764*((-2295)/6)/(-17). Is -2866 >= b?
False
Let z be ((-735)/(-14))/(-7) + (-10 - -17). Let l be 2/6 - (-43)/(-12). Let g = -25/12 - l. Which is smaller: z or g?
z
Let y be ((-21)/(-117))/(322/276). Which is greater: y or 2?
2
Suppose 1 = h + 3*r, 2*h = -3*r - 5 - 2. Let p be (-14)/(-4)*6/(-196)*h. Suppose 2*m = 4*m - w + 1, 5*w - 5 = -4*m. Which is smaller: m or p?
m
Suppose 0 = 3*s - 3*g + 15231, -5*s + 2*g - 3342 = 22028. Is -5073 <= s?
True
Let f(m) = -2*m**2 - 6*m - 2. Let c be f(-3). Let j be 60/5 - (0/c - -2). Let o be ((-48)/(-315))/(-1) + j/35. Is 0 at most as big as o?
True
Let b be (-8)/24*-1*(-4 + 4). Which is greater: b or 1/1160?
1/1160
Let t(x) = -4*x**2 - 123*x - 1133. Let q be t(-10). Which is bigger: q or -2720/9?
-2720/9
Suppose -2*y - 5*o - 16 = 0, -4*y - 12 - 20 = -5*o. Suppose -5*k - 2*k = 168. Let l = 13 + k. Which is smaller: l or y?
l
Suppose 34*z - 8 = 33*z. Suppose -z*q + 10*q = 10. Suppose -q*c = -4*c - 2*c. Are 1 and c nonequal?
True
Suppose -4*f - 89 = -29. Let l(z) = 5*z + 81. Let r be l(-15). Let b be 1*(4 + (-26)/r). Do b and f have different values?
True
Let a = -188.61 - 0.39. Let d = a + 189.02. Are d and 3/5 equal?
False
Suppose 0 = 3*f + 20 - 41. Let u be (f/14)/(-2*(-2)/8). Which is smaller: u or -6?
-6
Let i be (-1)/4*(-6 - 290). Let t(j) = j**3 + 11*j**2 + 22*j - 11. Let k be t(-8). Let g be 3/6*73*(-3 + k). Which is smaller: i or g?
g
Suppose 0 = 44032*d - 44016*d. Which is bigger: d or -71/16?
d
Let w be (-1339)/(-10) + (-59)/(-590). Let n = -186 - -320. Is w greater than n?
False
Let l = 14 + -26. Suppose -4005*a - 143 = -3992*a. Is a != l?
True
Let h(o) = -3*o**3 - 28*o**2 - 30*o + 13. Let s be h(-8). Suppose 5*j - 57 = 53. Is j != s?
True
Let j(a) = -a**3 - 6*a**2 - 2*a - 9. Let z = 54 - 10. Suppose x + 21 = -3*y, 4*x = -4*y - z - 0. Let t be j(x). Which is greater: t or 0.1?
t
Let o be -1 + 56 + (0 - 0). Let s be (10/8*2)/(65/104). Suppose -8*z - 3*n = -417, -s*z + 3 = 2*n - 203. Is o <= z?
False
Let x = 0.12 - -0.089. Let v = x - 0.109. Which is smaller: -0.156 or v?
-0.156
Let i = 0.1609 - -0.0111. Is i less than or equal to -5?
False
Let l be (-12)/(4 - 10) + (-2121)/3600. Let o = -3363/176 - -226/11. Let m = l - o. Which is greater: 0 or m?
0
Let f be (-2)/6 + 9/((-46602)/(-1732)). Let q = f - 1729/2589. Which is bigger: -52 or q?
q
Let g be ((-12)/9)/((-51)/(34 - -1649)). Let k = 60 - 103. Let j = 88 + k. Is g <= j?
True
Let x = -42627 + 1236523/29. Is 12 bigger than x?
True
Let y be 0/2 - (6 - 9). Suppose m - 4*p = 60, y*m - 171 = -2*p + 79. Suppose 0 = -4*x - 3*a + 106, -3*x = -2*a + 4*a - m. Is x equal to 29?
False
Suppose -3*n - 6 = 3*n. Let l be (-9)/6 + (-1)/(-2). Let u be (l*(-1)/(-5))/(180/(-40)). Which is bigger: n or u?
u
Suppose -5*y = 4*y + 1386. Let c = -464/3 - y. Is c bigger than 0?
False
Suppose 4*w = w + 5*r + 283, -3*w - 5*r + 293 = 0. Let o(n) = -76*n - 435. Let d be o(-7). Is w at least as big as d?
False
Let g be (441/45 - 9)*(-7)/(35/1325). Let k = 281 + -495. Is g > k?
True
Suppose -35862 + 97092 = 13*c. Suppose 0 = -8*i + 23*i - c. Do i and 314 have different values?
False
Suppose 467074 = 2*p - 70*p + 1497886. Is 15159 less than p?
False
Let i = 0.36 + -0.4. Let k = i - -3.04. Let g = 1125 + -1124.9. Is k less than or equal to g?
False
Let x(k) = k + 6. Let p be x(-5). Suppose 729 = l + 734. Let j be l/(-176)*30/25. Is p bigger than j?
True
Suppose 11*z = 6*z - 3*i - 875, -525 = 3*z + i. Is z greater than -175?
False
Let j = -0.0793 + 1.0793. Do j and -0.593 have different values?
True
Let u(y) = 3*y**2 + 24*y - 523. Let w be u(-20). Which is smaller: 62 or w?
62
Let o = 35512232/2405 + -14766. Is -1 at most as big as o?
True
Let u(c) = -3*c**3 + 16*c**2 - 4*c - 6. Let f be (-3)/(-5 + (-235)/(-50)) - 5. Let x be u(f). Which is greater: -1/1273 or x?
-1/1273
Let q = -46 + 44. Let a be (-2 - q)*-1 - -86. Suppose 74 = 2*y + z + 4, -3*z = -2*y + a. Which is bigger: y or 36?
y
Let h = -18 + 18.023. Let f = 2.647 - 9.67. Let v = f + h. Which is bigger: 2/5 or v?
2/5
Let f = -10186 - -10186. Are -2/2087 and f unequal?
True
Suppose -8*r - 2554 = 2670. Is -653 > r?
False
Let x be 38/10 - (-5)/25*1. Suppose -2 = -4*g - 2*s, -3 + 0 = 5*g - 3*s. Suppose g = 2*r + 4. Which is bigger: x or r?
x
Let n = -695 - -711. Suppose n*y + 5*y = 0. Which is greater: -19 or y?
y
Let a be 26898/(-8924)*26/39 + (-13 - -15). Which is smaller: a or 1?
a
Let h = -8.7 + 14.3. Let k = 0.8 - -4.9. Let m = h - k. Which is smaller: 29/3 or m?
m
Let y = -177.02 - -182.12. Which is greater: 60 or y?
60
Let y = 1362 + -1392. Is 3.7 >= y?
True
Let g be (-3)/26*((-68)/612)/(3/36). Are -426 and g equal?
False
Let d = -11071/4 + 2757. Which is bigger: d or -0.6?
-0.6
Let g = -19.3961 - 0.6039. Which is smaller: 0.03 or g?
g
Let r be -1 - (562