= q*h - 5*g. Suppose -5*i + h*n = -75, -3*n = -2*i + n + 22. Does i = 20?
False
Let j be ((-40)/(-4296))/((-540)/(-144)). Is j at most -1?
False
Suppose 21 = 3*s - 4*v, 4*s + 2*v - 5*v - 21 = 0. Suppose -24 = -s*n - 3*n. Let i be 12/n - 5 - 8/(-2). Is 12/17 equal to i?
False
Let l = 327 - 329. Let j be (-141 - (-1 - l))/((-30)/(-15)). Suppose 5*a - 2*s = -351, -2*a - 3*s = -32 + 180. Is j > a?
False
Let k = 14860 - 14870. Which is greater: -412/41 or k?
k
Let w(y) = -2*y**2 + 28*y - 107. Let k be w(12). Is k at least as big as 2?
False
Suppose -33587 = 303*i - 331133. Which is smaller: i or 985?
i
Let m(j) = 3 + 0 - j + 32 - 9. Let v be m(22). Let p be 0 - 0 - (2 + -7). Is p <= v?
False
Let g = -1082 + 566. Let d be (g/(-2))/((-9)/45). Let y be d/320 + (-2)/(-1)*2. Are y and 0 equal?
False
Suppose -8*l + 35 = 195. Let w be (-15)/60*l/(-15). Which is smaller: -187 or w?
-187
Let c(n) = -6*n**2 + 8*n - 6. Let g be c(6). Let w be ((-1570)/(-20))/((-74)/164). Let o = g - w. Which is bigger: o or 0?
0
Let j be 29 + (-36)/252 - 29. Let b = -1111/2 - -542. Which is bigger: b or j?
j
Let o = 5439 + -5438. Which is greater: o or -3/17069?
o
Let m = -6883/9188 - 2/2297. Let l be -1 + -1 + 494/10. Let n = -47 + l. Which is greater: n or m?
n
Let i be (2/(-21))/((-10)/(-18))*1. Which is bigger: i or -25?
i
Let h = -479029/3 - -165783. Is 6108 bigger than h?
True
Let q(s) = -s + 1. Let m(h) = -162*h + 108. Let o(r) = -m(r) + 108*q(r). Let a be o(-1). Let w = 315 + -368. Does w = a?
False
Let d = -8092 - -8091. Let s = -0.17 - 30.83. Which is greater: d or s?
d
Let g be 11/30 + (-82)/(-615) - (-190)/(-152). Suppose -5*t + 5 = -15. Suppose 5*j = j - t. Is g greater than j?
True
Let m be 120/144 + 21/(-14). Let p = -6.4 + 5.4. Is p < m?
True
Let n = -20567 + 19491. Do n and -1077 have different values?
True
Suppose 26*b - 41459 + 983 = 149948. Is b less than 7325?
True
Suppose -r + 0*r + 226 = 2*k, -4*r + 16 = 0. Let a = k - 76. Let o be 1569/45 + 2/(-240)*-16. Is a at most o?
True
Let r = -354 + 258. Let l be 0 + 2/8 + r/896. Which is greater: l or -0.06?
l
Let c be 28/126 - ((-42)/(-12))/((-18)/40). Which is smaller: c or 369/43?
c
Suppose s + 179 = 2622. Suppose 9*j + 23 = -s. Which is greater: -275 or j?
j
Suppose -j + 335 = 4*x, -2*j + 0*j - 741 = -9*x. Is 3.2 bigger than x?
False
Let t be (288/80)/(-1 + (-39)/(-30)). Which is smaller: t or 22?
t
Let q = 0.96 + -1.2. Let r = 33.24 + q. Are r and 1/4 non-equal?
True
Let w be 9*(-2)/4*1. Let p = -0.25471 + -8.74529. Which is smaller: w or p?
p
Let f be (4/4)/(30/29)*(-10)/8. Does -1 = f?
False
Let z be (72/(-60))/(3/310). Let j be 1/(-2 + (-2948)/(-492) + (-14 - -10)). Is j equal to z?
False
Let d = 931 - 930.7. Is -0.23 <= d?
True
Let x(v) be the third derivative of -v**6/120 + 3*v**5/20 - v**4 + v**3 - 3*v**2 - 45. Let f be x(5). Which is greater: 4 or f?
4
Suppose 0 = 6*g + 5 + 1. Let s = -1/36243392388 + -83572085198179/763467060653220. Let k = s - -1/2681. Which is smaller: g or k?
g
Let f(h) = -76*h**2 + 48*h - 53. Let w be f(7). Is w at most as big as -3441?
True
Let k(o) = 681*o**2 - 2*o + 8. Let n be k(2). Let z be ((-8)/n*-11)/(2/4). Which is smaller: z or -1?
-1
Let u be (3 + -4)/((6/12)/((-2)/(-4))). Which is bigger: 4/1545 or u?
4/1545
Let f = -4296 + 21602/5. Which is smaller: f or -6?
-6
Let r = 87 - -18. Suppose 6*t - 9*t - 521 = 5*o, 4*o = t - 427. Let p = r + o. Are -0.3 and p equal?
False
Suppose -5*b + s = 4*s + 30, 2*b + 2*s = -8. Let h(p) = -p**3 - 46*p**2 - 49*p - 179. Let v be h(-45). Let w be b + 1/v*-3. Which is smaller: -21/2 or w?
w
Let z = 44.39 + -43. Let o = 1.29 - z. Let a = 15 - 2. Is a less than o?
False
Let y(i) = 2*i**2 + 84*i - 1162. Let s be y(-53). Suppose -68 = 4*t + v + 4*v, 5*v + 80 = -5*t. Let w = 20 + t. Is w < s?
False
Let l = -3562 - -2795. Which is bigger: l or 23?
23
Let n be (-134237 + 25)/(-26) + -26. Is -1 bigger than n?
False
Let f be 1/13*-1 - (3 + (-7281078)/2366325). Is -1 equal to f?
False
Let j be ((-1485)/325 + 5)/(-1 - -7). Which is greater: j or 1?
1
Let z be (-1)/(-1) - 2 - -14. Let w = -14104 - -14120. Suppose -z*c + 168 = -w*c. Which is smaller: c or -55?
c
Suppose 1487 - 1089 = -218*b - 4616. Which is greater: -27 or b?
b
Let k be (4 - 4)/((-6)/(-33) - (-434)/154). Which is smaller: k or 5/1349?
k
Let s = 26748/1625 + 2/1625. Do 17 and s have the same value?
False
Let s = 2790 + -2791. Is -0.1197 bigger than s?
True
Let l(p) = -p**3 + 22*p**2 - 30*p - 175. Let b be l(20). Which is smaller: 36 or b?
b
Let j be (94750/(-225)*(-12)/26)/(4/18). Is 876 smaller than j?
False
Let t = -0.143 - -0.243. Let u = 338.6 - 309. Let g = 23 - u. Which is smaller: g or t?
g
Let w = -4967 - -34752/7. Let y be (-5)/6 + (-2)/12. Which is smaller: w or y?
w
Let l be (-2 + 139)/((25/50)/(44/72)). Is l != 166?
True
Let f(v) = 3*v - 8. Suppose 0 = -2*k + 5*k - 12. Let z be f(k). Let g be (z/22)/(1 - 3). Which is smaller: g or -1?
-1
Let c be (525/(-210))/((-5)/96). Which is smaller: 95 or c?
c
Suppose 40*p = 39*p - 4*j + 317, 0 = -3*p - j + 1039. Which is smaller: 377 or p?
p
Let c = -9029 - -9039. Is 100 at least c?
True
Let p be (-28)/(-14) + (-27)/135*(-24096)/(-2410). Is p < 4?
True
Let r = 511.82 + -229.82. Which is smaller: -0.8 or r?
-0.8
Let a = -29 - -31. Suppose 4*n + a*n + 6 = 0. Let r = 2 - n. Is -0.12 at least as big as r?
False
Let j = 82/3 + -27. Let u = 0.5347 - 0.0797. Let a = -2.545 - u. Which is smaller: a or j?
a
Let r be -11*(-43)/52 - (-526 - -534). Is 1 equal to r?
False
Let h = 96 - 289/3. Let j = 3908.49 - 3996. Let n = j + 88. Is h smaller than n?
True
Suppose 4*v - 16 = -0*v. Suppose -f + 4*w = -5, -w + 2 = v*f + w. Let q be (88/110)/((-238)/35). Which is bigger: f or q?
f
Let s = 1/1011 - -1009/2022. Which is smaller: s or 2011?
s
Let x(g) = -8*g**2 - 64*g - 6. Let u be x(-5). Let k = u + -115. Is k < -4/29?
True
Suppose 5*l - 6 = w, 0 = -5*l + 2*w - 48 + 50. Is l at least 5618?
False
Let t = -4097 + 2791. Let m = t + 84888/65. Let n = -7 - -7. Is n less than m?
False
Let p(h) = -3*h + 9 - h - 2*h**2 - 13*h. Let w = 337 + -346. Let d be p(w). Which is greater: d or 0.2?
0.2
Suppose 5*r - 190 = 825. Let c = 184 - r. Do c and -23 have different values?
True
Let k be ((-2)/(-5) - 36/(-10)) + 1. Suppose k*j - 20 = 5*d + 3*j, j = 2*d + 9. Let u be ((2 + d - 0)/1)/(-1). Is -1 >= u?
False
Let s be (64/(-40))/((-1)/(-10)). Let f be (-4)/s - 17/4. Let q = -2406 + 36092/15. Which is smaller: f or q?
f
Let p = 35.44 - -0.56. Let b = -31 + p. Let k = -4.8 + b. Is -1 bigger than k?
False
Suppose -t + 5*f = -8, t + 2*f - 5 = -4. Let h be t/7 - (-327)/(-763). Which is smaller: h or 11/41?
h
Let q = 737.841 + -738. Let c = q - -0.239. Is -0.3 less than c?
True
Suppose -3*l = x + 15643, 0 = -l - 5*x - 3518 - 1715. Are l and -5214 nonequal?
True
Let m = -1.94 - 0.06. Let l = 306.35 - -4.65. Let y = -296 + l. Which is bigger: m or y?
y
Let n(r) = 2*r + 1. Let h be n(-1). Let i = 10.923 - 53.923. Which is greater: h or i?
h
Suppose 24 = 4*l - b, -4*b = -5*l - b + 37. Suppose z - 22 = -l*f, -3*z = -4*z + 3*f + 6. Is z less than 11?
False
Suppose 0 = -97*k + 100*k + 18. Let x be (-5575)/930 - 1*k. Which is smaller: x or 1?
x
Let h = 5604 + -5675. Which is bigger: 73 or h?
73
Let n(s) = -s**2 + 2*s + 47. Let y be n(8). Let i = -78 + 84. Which is smaller: i or y?
y
Let s = 468 + -478. Let i(r) = -2*r - 3. Let u = -3 - -7. Let w be i(u). Which is smaller: s or w?
w
Suppose 4*q - 17 - 3 = 0, -q = -4*m - 5. Suppose -z + 2*o + 7 + 0 = m, -3*o + 17 = 4*z. Which is greater: -13 or z?
z
Let b = -0.01129 - -0.11133. Is b at most as big as 1?
True
Suppose 11*a - 1083 = -8*a. Suppose 168 = 65*d - a*d. Which is smaller: 16 or d?
16
Let r be (65 + 5 + 6)*-2. Do -154 and r have the same value?
False
Let o(b) = b**3 - 4*b - 4. Let g be o(-2). Let z be (g + -3)*(54/(-21))/3. Let q(y) = -y - 20. Let k be q(z). Are -26 and k non-equal?
False
Let v = -838.94 - -839. Which is bigger: -69 or v?
v
Let f = -1777 - -3242. Which is bigger: f or -0.2?
f
Suppose 16*l = 33*l - 68. Suppose 0 = l*n + 180 + 96. Is -3 less than or equal to n?
False
Let c = 30478 + -27790. Which is bigger: c or 2691?
2691
Let v be 46/(-8) + 21/28. Let p be 10*3*v/10. Is -13 greater than p?
True
Let o be ((