u, 2*s + 19*u = 24*u + 12. Suppose -4*y - 2*w - s - 5 = 0, -6 = -4*y + 2*w. Which is greater: -5/237 or y?
y
Let k(f) = 359*f + 1178. Let x be k(-20). Which is bigger: x or -6001?
-6001
Let n be (-308)/44 - 5*2*419/(-542). Which is greater: n or 2?
2
Suppose 0 = 5*t + 3*y - 252, -t + 0 + 56 = -5*y. Let a = t + -1. Let x be a/(-46) + (-2 - -3). Are 3 and x non-equal?
True
Let w = -19 - -211/11. Let d = -2973/8 - -372. Do d and w have different values?
True
Let y(r) = r**2 + 11*r - 62. Let a be y(-14). Let n(t) = -62*t**2. Let d be n(-1). Let j = 43 + d. Which is smaller: a or j?
a
Let o(z) = 22*z + 23 - 8*z**2 + 7*z**2 + 4 - 3. Let k be o(21). Let q = 13 + 31. Which is smaller: k or q?
q
Let p = -59185306/1959 - -30212. Is p less than or equal to -0.5?
False
Suppose -176*j = -177*j - 306. Let p be 2/((j/(-12))/(-3)). Are p and 1/3 unequal?
True
Let l = -208207/52 - -4004. Let g(a) = -a + 1. Let y be g(0). Which is smaller: l or y?
l
Let i = -4 + 3.3. Let u = -106.04 + 106. Let z = -2.96 + u. Is i greater than or equal to z?
True
Suppose -30 = 4*q - 4*x + 10, -q + 5*x - 6 = 0. Let u be q/(33/54)*(-2)/6. Let a be 2*u*3/(-22) - 0. Is a at most as big as -1?
True
Let g = -140.3 - -129.3. Which is smaller: g or 2/687?
g
Let x(o) = -10*o - 110. Let a be -5 + (-5 + -13)/3. Let c be x(a). Does c = -20?
False
Let a(y) = 54*y + 775. Let g be a(-13). Is g at most 81?
True
Let p(q) be the second derivative of q**4/12 + q**3/6 + 9*q**2/2 + 92*q + 2. Let s be ((-10)/(-8))/((-1)/4). Let h be p(s). Which is smaller: 30 or h?
h
Suppose 4*f = -4*t, 3*t - 4*f = -0*t. Let q(a) = -2 + 4 + a**3 + 17*a + 0 - 9*a**2 + t. Let o be q(7). Which is greater: o or 21?
o
Let x = 15399 + -692954/45. Which is smaller: 14 or x?
x
Suppose -2 = 2*b, 2*b = -2*c + b + 161. Let q = c - 88. Let v be 1 - 3 - (2 + 5). Is q > v?
True
Let h = 23.55 + -8.8. Let a = h + -0.75. Let d = a - 13.924. Is d greater than -0.1?
True
Let x be ((-1)/(126/135))/(96/(-56)). Which is smaller: 267 or x?
x
Let m be (-24)/10*(-10)/(-3). Let n be 0*(-4)/m*2. Is n less than -16/29?
False
Let z(x) = -30*x**2 + 6 + 0 + 33*x**2 + 5*x. Let y be z(-5). Let k be (-22)/42 + (-8)/y. Is k less than or equal to 0.04?
True
Let q(t) = t**2 - 7*t - 8. Let c be q(8). Suppose 4*l + 6*m - m - 288 = c, -5*l + 4*m = -360. Let j = l + -34. Is 38 at least as big as j?
True
Let j be (170/174 + 3/(-3))*9. Let h(c) = 63 - 7*c - 33 + 6*c**2 - c**3 - 35. Let u be h(4). Which is bigger: u or j?
j
Let o = -11.75 + -0.25. Let h = -1557 + 1551. Is o bigger than h?
False
Let r = 36 + -31. Suppose -m = 3*q - 4, q = -m - 3*m - 17. Let c be q/r + 1148/70. Which is greater: c or 14?
c
Suppose 21*d - 33*d + 5 = -7. Which is smaller: -7864 or d?
-7864
Let a be (60/80*4/5)/(630096/160). Is a greater than or equal to -1?
True
Let i = 249 - 323. Let d = i - -74.4. Which is smaller: -0.15 or d?
-0.15
Let z = 0.27 - 0.89. Let w = 0.42 + z. Which is smaller: w or 4?
w
Suppose -144 = -35*w + 23*w. Suppose 5*q - w*q = 7. Which is bigger: -3/82 or q?
-3/82
Suppose 2*o = -3*o + 13400. Let l be (-4)/22 - o/(-220). Which is bigger: l or 7?
l
Let y be (-1418)/840 + -2 - 3/7. Let n = -11/20 + y. Which is greater: -6 or n?
n
Let d = -3 - -24. Suppose -334*m = -339*m + 15. Suppose m*v - 3*x = 54, 3*v - 4*x = -5*x + 70. Which is greater: v or d?
v
Let h(m) = 4*m - 3*m + 0 - 5*m**2 - 2 + 0. Let w be h(-4). Let a = w - -432/5. Are 0.19 and a unequal?
True
Let w = -44607182/441 + 101150. Is 0 smaller than w?
False
Let j be (7 + 208/(-32))*5*-1*38. Is 8 > j?
True
Let f = -203 + 236. Let c = -1579 - -1579. Is f >= c?
True
Let w(l) = 2*l**2 + 10*l + 7. Let n(i) = i**3 + i**2 - 2*i + 5. Let x be n(-3). Let o be w(x). Let b be 10/o + (-1104)/189. Is b at most -7?
False
Let v(c) be the second derivative of 41*c**4/12 - 7*c**3/6 - c**2 - 7*c. Let r be v(4). Let l = r + -6267/10. Is l > -1?
True
Suppose -1566 = -6*c + 4*c. Let z = c - 525. Suppose 19*h = -103 - z. Which is smaller: h or -15?
h
Let o(y) = 38*y + 3310. Let k be o(53). Are 5324 and k nonequal?
False
Let i(l) = -87 - l**2 + 4*l**2 + 70 + 3*l**2 + 41*l. Let y be i(-7). Is -4 bigger than y?
True
Suppose 0 = -4*c - 5*j + 2912, -5*j = -55 + 15. Which is greater: 716 or c?
c
Let w = -225 + 202. Let d be (-5)/w - 5 - -5*1. Is -1 <= d?
True
Let l = 0.005 + -72.005. Let x = 20 + l. Let w = x + 55. Does 0.2 = w?
False
Let x = -1048 + 1028. Which is smaller: x or 647?
x
Let z(k) = -295*k**3 + 3*k - 16*k + k**2 - 304*k**3 + 570*k**3 + 27. Let y be z(2). Is -228 <= y?
True
Let n(t) = -3*t - 3. Let m be n(-3). Let s = -125 + 140. Let c = s - 13. Is c >= m?
False
Let v(z) = 2*z**3 + 38*z**2 - 17*z + 27. Let a be v(-19). Let q = -29 + a. Which is smaller: q or 320?
320
Suppose 2*k + x - 83 + 6 = 0, -4*x + 156 = 4*k. Let p be 109/(-425) - k/(-475). Suppose -4*o - 6 = -2. Which is smaller: p or o?
o
Let b = 18 - 85/2. Let p be -9 - (-56)/8 - 126. Let c = p - -128. Which is smaller: c or b?
b
Let x = -27340 - -11766. Is x <= -15574?
True
Let j = -26 - -4. Suppose 3*h = 0, 4*r - 2*r - 3*h = 140. Let d = 48 - r. Is j at least d?
True
Let g = -11 + 16. Let j = 31.6982 - -0.0018. Let c = j + -32. Do g and c have the same value?
False
Suppose 0 = 4*d - 1 - 55. Suppose 2*j + 6 = 2*n + d, -j - 16 = 4*n. Which is smaller: 2/273 or j?
j
Let p(h) = -h**2 - 18*h + 64. Let y be p(-21). Let r = -38.37 - -1.31. Let w = r - -37. Which is greater: w or y?
y
Let d(s) = -4*s**3 - 2*s**2 + 13*s + 19. Let z be d(-8). Let v = -1015 + z. Let i = 56582/69 - v. Is 1 greater than or equal to i?
True
Let a = 4228.5 - 4225. Is -57/5 >= a?
False
Let a = 26597/96 + -151/32. Is 273 not equal to a?
True
Let s be (-658)/21*(-3)/(-11). Let t = 28547/143 - 2490/13. Let l = t + s. Are 1 and l equal?
False
Let f(l) = 65*l + 188. Let n be f(-3). Let g be (n - -1)*(-160)/(-672). Suppose -5*v + 4*s = 9, -5*v - 2 + 1 = 4*s. Are g and v non-equal?
True
Suppose 0 = -120*v + 869 - 749. Which is greater: 2/23749 or v?
v
Let y = -2374 + 2328.16. Let i = -45 - y. Let v = i + -0.44. Which is smaller: 0.04 or v?
0.04
Suppose -5*p + 11*a = 9*a + 52, 0 = -4*p + 4*a - 44. Let d be p + 287/28 - 33/4. Is d at least -2?
False
Let z = 14.81 - 14.8821. Let t = 42.0721 + z. Which is bigger: 1 or t?
t
Let f = 1493 - 1492.79. Is f at most as big as -0.44?
False
Let f(x) = -2*x**2 - 16*x - 23. Let w be f(-6). Suppose 4*c - 3*a = 8, a - 2*a = -3*c + 11. Do w and c have different values?
True
Suppose -27*u - 1122 - 5004 = -186. Which is smaller: u or -8/7?
u
Suppose 49*d - 21909 + 3289 = 0. Do d and 380 have different values?
False
Let b = -130 - -166. Let x = -39.8 - -4.8. Let p = x + b. Which is smaller: p or 87?
p
Let v = 182 + -182. Let p = 133 - 239. Let c = p - -106.086. Is c > v?
True
Suppose y - 374 - 436 = 2*m, 0 = 2*m + 4*y + 830. Let q be (30/45)/(3/(-9)*m). Which is smaller: q or -1?
-1
Let t = -781 - -782. Let q be (6 + (-7)/t)*10 - -1. Which is bigger: -20 or q?
q
Let s = -5764.07 - -5471.7. Let g = s + 291. Which is smaller: -1 or g?
g
Suppose -u + 301 = 2*p, p - 1435 = -5*u + 5*p. Let i = -1528/5 + u. Is -15 > i?
False
Let a = -46 - -80. Let i = 38 - a. Suppose 4*z = -3*u + 25, 0*z + i*z - 5*u = 65. Is z >= 9?
True
Suppose 47 = 11*v + 14. Suppose 5*j - c = -5, v*c - 1 = j + 6*c. Do -9/41 and j have the same value?
False
Suppose 447 = 2*k + 481. Let z = k - -90. Which is smaller: z or 72?
72
Let n(t) = t + 8. Let d be n(4). Let l be 14/8 - (-3)/d. Let a be l - (-3 + 3 - 5). Which is smaller: a or 38/5?
a
Let l be (1 - -759) + (109 - 108). Which is smaller: l or -6?
-6
Let d = -63.16 + -4.84. Let a = 68.27 + d. Which is greater: 11 or a?
11
Let o = 251226/8605 - -8/1721. Let k be (-1 - 2) + 3 + ((-738)/(-18) - 13). Which is bigger: k or o?
o
Let n = -13/49 - 33/245. Is 332 at least n?
True
Suppose 0 = m + 5*o + 44 - 57, -2*m - 9 = 5*o. Let i = 0.09 - 0.79. Which is smaller: m or i?
m
Let z(d) = -15*d + 5. Let v be z(-5). Let g = 6.4 - 5.4. Which is bigger: v or g?
v
Suppose 7*r = 3*d + 2*r + 1263, 3*d + r = -1245. Let j be (-3159)/(-8) - 52/d. Is 395 less than j?
False
Let z = -4/35 + -23/105. Let y(d) = -d**2 - 29*d - 210. Let q be y(-14). Do q and z have the same value?
False
Suppose -177*w - 51 = 3*c - 175*w, -4*c + 5*w - 45 = 0. Which is smaller: c or -13?
c
Supp