. Let x be y(-4). Suppose 7*z - x = z. Let g be 10/15 - z/9. Is -6 at most as big as g?
True
Suppose -10*p + 40 = -0*p. Suppose -p*j + 20 = 4*o, -3*j + 13 = 3*o + 2*j. Let c be o/(-3) + (-18)/(-7). Which is smaller: c or -0.08?
-0.08
Suppose 68*z = 61*z - 1043. Let k = -2386355/12 - -198714. Let i = k - z. Which is smaller: i or 1?
i
Let t = 219.4407 + -221.09. Let s = t - 0.0507. Which is smaller: s or -1?
s
Suppose 2*l - 2*c - 107 = 3*l, 5*l = c - 524. Let o be l/24*(-3)/15. Suppose q + 2 - 3 = 0. Is q bigger than o?
True
Let y(x) = -5*x**3 + x**2 - 35*x + 12. Let s(b) = 3*b**3 - b**2 + 23*b - 8. Let w(n) = 8*s(n) + 5*y(n). Let z be w(-5). Is 4/51 bigger than z?
False
Let j = 1052 - 584. Which is smaller: j or 470?
j
Let t = -984 - -981. Suppose -3*z = -2*y + y - 13, 0 = 2*y - z + 1. Suppose y*i - 9 = -3*p - 32, -2*p - 2 = 0. Which is greater: t or i?
t
Suppose -1 = 5*z + 4, -7 = d - 5*z. Let i be 116/(-6) + 3 - -5. Which is bigger: i or d?
i
Let x = 8 + -8. Let p be (0 + x)*(-2)/10. Let n = 32 - 23. Which is smaller: n or p?
p
Let q = -235 + 157. Let n = q + 45. Let y = n - -32.8. Is 3 greater than y?
True
Let t = -24/35 - -557/455. Let v = 8/39 - t. Let p(b) = 5*b + 2. Let g be p(-4). Which is smaller: v or g?
g
Let x be (-10)/2 - 0 - (-112)/(-56). Let s(o) = -o**2 - 3*o + 27. Let a be s(x). Is a greater than 9?
False
Let w be (-2)/(-3) + (-3)/(-9). Let x be 3*(14/(-3))/w. Suppose 18*m + 23 = -9*m + 4*m. Is x less than or equal to m?
True
Let m be 3/(-4) + (-944703)/(-1260912). Which is smaller: 0 or m?
m
Let v be (-13)/52*(-13672)/(-6). Let j = -559 - v. Suppose -2*y + y - 4 = -2*n, -5*y - 6 = 4*n. Which is smaller: n or j?
n
Let x = -5915 + 5914. Which is greater: x or 2163?
2163
Let i = 329 - 328. Suppose 0*q - q + 30 = 5*l, -15 = q - 4*l. Which is smaller: i or q?
i
Let q = -1/10322 + 21345/7235722. Let u = 17 + -18. Which is smaller: q or u?
u
Let f = 2996 - 3869. Do -873 and f have different values?
False
Let p = -1158865/171 + 6777. Which is smaller: -1 or p?
-1
Let a = 311320 - 311320. Let l be (-154)/235 + (-4)/(-10). Is l < a?
True
Suppose -2*z + 9*x - 4*x = -1241, 5*z - x - 3045 = 0. Is z <= 608?
True
Let c = -319.0929 - -319. Let v = c + -0.0071. Is v equal to -130?
False
Let b be (-27 + -3)/6 - (-150)/36. Is 59 <= b?
False
Let c(h) = -h**2 - 155*h + 2035. Let p be c(15). Is p at most as big as -516?
False
Let x(c) = 6*c**3 - 3*c**2 - 8*c - 32. Let s be x(-4). Let d = s - -476. Is 44 greater than d?
False
Let b be 1*99/6*2. Let f be -11*(-4)/16*8. Suppose 0 = -5*z + 148 + f. Is b < z?
True
Let w = -70950/7 + 10136. Let y = -97 + -59. Is w greater than or equal to y?
True
Suppose -x = 4*m + 12, -2*x = -m - 10 + 7. Are -2/1813 and x nonequal?
True
Let x = 67 + -72. Let m be (-61)/(-3)*(-5 + (x - -5)). Let q = m + 101. Which is greater: q or -1/22?
-1/22
Let n = 15 + -7. Suppose 21584*h - 328 = 21543*h. Do n and h have the same value?
True
Suppose 19334 = -14*f + 48*f - 2256. Which is smaller: f or 632?
632
Let r = 407310/19 - 21446. Do r and -8 have the same value?
False
Let w(v) = v**3 + 6*v**2 - v - 4. Let m be w(-6). Suppose m*d - 16 = -0*d. Suppose 6*q - d = 202. Which is bigger: 36 or q?
36
Let m be (4/16*0)/(8/(-8)). Let t be 0 - (176/52 - 3). Is m greater than or equal to t?
True
Let b(i) = 10*i**2 - 15*i + 2. Let s be b(-5). Suppose -10*d = -3*d. Is d equal to s?
False
Let l = -4.93 - 0.07. Suppose 15*g = 24*g + 9. Let n be -2*(0 - 1) + g. Is n at least as big as l?
True
Let s(r) = -r**2 + 3*r + 4. Let b be s(4). Suppose b = 12*x - 1454 - 310. Are x and 148 unequal?
True
Let o = 676.39 + -675. Let t = o - 3.99. Are -1 and t equal?
False
Suppose -2*h + 0*f - 42 = -3*f, 4*h = 3*f - 90. Let t(c) = c**2 - 12*c - 1. Let m be t(12). Let s be (-11)/(-22)*m/(2/96). Does s = h?
True
Let t(s) = 9*s - 11. Let n be t(2). Let w be (n + -6)/(2/(-20)). Let v be ((-6)/(-28))/(2/7). Which is smaller: v or w?
w
Let k = 70 + -61. Suppose k = -2*b + 13. Suppose -7*w = -2*w + 3*p - 60, -w = -b*p - 25. Which is greater: 1 or w?
w
Let w be 2/4*1/1. Suppose -302*z + 309*z = 35. Suppose 8 = 3*o + 5*p, 3*p = -4*o + 2*p + z. Which is smaller: w or o?
w
Let j = -2110 - -2110. Is -1/438 equal to j?
False
Let h = -1/26624 - 52233/27023360. Which is smaller: h or 1?
h
Suppose -2 = 3*i - i, 0 = 2*q + 3*i - 21. Suppose 4 = q*h - 10*h. Suppose 0 = -4*j - 2*n - 90, 5*j + 4*n + 55 = h*j. Which is greater: -23 or j?
-23
Suppose 134*r + 173*r + 0 + 0 = 0. Is r less than or equal to -12/133?
False
Let w be (-2)/(3612/11322) - (-10)/2. Let l = -30/43 - w. Are l and 2/51 equal?
False
Suppose s + 4*x - 4 = -78, 2*x - 2 = 0. Which is smaller: -864/11 or s?
-864/11
Let i(p) = -7*p**2 + 80*p - 1. Let k be i(-1). Which is smaller: k or -81?
k
Suppose 5*b + 33 = 3*k, -k - 6*b + 2*b - 23 = 0. Is k not equal to -1891?
True
Let x = -37329 + 37671. Let b(c) = -340*c**3 + 2*c**2 + c. Let h be b(-1). Which is smaller: x or h?
h
Let q = 48 + -8. Let w = q + -38.7. Let r = w - 1. Which is smaller: 1 or r?
r
Let h be (-6)/(-15) + (6642/225)/(-9). Is h greater than or equal to -2?
False
Let f = 10080 + -10080.4. Is f equal to -1/264?
False
Let c be (-8)/(-168) - 13910/(-273). Which is greater: 349/7 or c?
c
Let g = 16 - 14. Let b be (8/596)/g*2. Let f = 7689 - 7690. Which is smaller: b or f?
f
Let q = -947379193/5965 + 158823. Is q less than or equal to 0?
False
Let f = 130 - 229. Let s = 310 - 193. Let t = s + f. Which is greater: 2 or t?
t
Let r = 369 + -185. Suppose -4*s - 2*x - 8 - r = 0, -104 = 2*s - 3*x. Is s less than or equal to -48?
True
Suppose 4*g - 2*g - 4*l - 624 = 0, -2*g + l + 636 = 0. Suppose -5*c - o = -1370, -2*c + g = 2*o - 236. Which is smaller: c or 274?
c
Let w(u) = -u**3 + 18*u**2 + 64*u - 410. Let x be w(10). Are x and 1029 nonequal?
True
Let v be (-25)/(-10)*5/(25/(-1174)). Let c = -643 - v. Which is greater: c or -276/5?
-276/5
Let v be 4 - (2 - 2) - (-120)/(-12). Let l be ((-4)/(-6))/(790/v). Is l at least 0?
False
Let h = -11124 + 10917. Which is smaller: h or -28?
h
Let l(v) = v**2 + 3*v + 2. Let k = 193 - 193. Let g be l(k). Let x = -1.4 + 0.5. Is x smaller than g?
True
Let r = 8641 + -8641. Is r > -7/139?
True
Let d = -13836.1 + 14530. Let r = d - 724. Let q = 30 + r. Is -0.08 bigger than q?
True
Suppose 2*s - 4*h + 54 = 0, 183 = -4*s + h + 124. Are s and -147/11 unequal?
True
Let h be 3508/(-50)*(-15)/108. Let k = -49/5 + h. Is 1 at most k?
False
Let k = 2 - 2.1. Let f be 32448/(-2912) + (-1 - -10). Which is bigger: k or f?
k
Suppose -k = -16 - 4. Suppose 97*p = 93*p - 32. Let f = k - p. Which is bigger: 27 or f?
f
Let q be (-279870)/(-23322) - 13 - -1. Which is smaller: -1 or q?
-1
Suppose 10*n = -66*n + 2964. Let w = -6493 + 26123/4. Is w at most n?
True
Let w be 1 + (-24)/18 + (-2479)/(-3). Which is bigger: w or 2480/3?
2480/3
Suppose 20*l = -0*l - 70*l + 8100. Let o = -26 + 116. Is l < o?
False
Let i be 40515/60 + -2*(0 - -2). Let s = 670 - i. Let y be 0 + -1 + -2 + 1. Which is smaller: y or s?
y
Let v(b) = 100*b**3 - b**2 - 22*b - 41. Let i be v(-2). Let n = 741 + i. Which is smaller: -64 or n?
-64
Suppose 0 = 5*b + 4 + 1. Let j be (b - 1/2) + (-3)/(-2). Let m be (j/2)/(4/4). Is m >= 2/107?
False
Let c(l) = -l**3 - 23*l**2 - 5*l - 47. Let y be c(-23). Let m be 2/4 + (-306)/y. Does -2 = m?
False
Let v = 61396/12129 + 14/933. Let k be (((-4)/26)/(836/(-2717)))/((45/20)/(-3)). Are v and k unequal?
True
Let m(u) = u. Let x be m(-6). Let n be x/(-5) - (-4)/(-20). Let q(z) = -z**2 - 23*z - 104. Let d be q(-6). Does d = n?
False
Suppose 4 = -2*d + 6. Suppose -15 + 37 = 11*t. Let k be 14/(-21)*(-9)/t. Which is greater: d or k?
k
Suppose -4*w = 12, p - w = -0*w + 8. Suppose -p*h - 5*n + 110 + 350 = 0, 4*n + 392 = 4*h. Let k = 95 - h. Do 2/27 and k have different values?
True
Let a(s) = s**3 - 11*s**2 + s - 12. Let i be a(-4). Which is bigger: -1/4 or i?
-1/4
Let j(t) = 15*t - 87. Let o be j(6). Suppose 2*u - 5 = f + o*u, 4*f + 32 = -u. Are -6 and f unequal?
True
Let z(v) = 5*v - 58. Let q be z(13). Let t = 4 - q. Let u be (-1 + t/(-2))*0/62. Are u and 3/31 nonequal?
True
Suppose 132*t - 44 - 616 = 0. Suppose 2 = -o + 4. Let h be -1*6/o + 11. Which is greater: t or h?
h
Let w = -54 + 54.006. Let y = -0.026 + w. Let q = y + 0.12. Is -0.1 at most q