 Which is smaller: z or w?
z
Let w be (2 - 1)/(-7 + 7758/1107). Let d = -67 + w. Which is smaller: d or 54?
54
Let n be (-15 - (-276)/18)/(2/(-42)). Let v be (-500)/14 - 72/252. Which is smaller: n or v?
v
Let i = 1/35 + 169/210. Suppose y + 5*m = -2, -4*y - m - 1 = -31. Suppose -2*a = -3*h + y - 0, 4*a = -4*h - 16. Which is smaller: i or h?
h
Suppose -99*a + 675 = -90*a. Which is bigger: 73 or a?
a
Suppose 0 = -3*a + 9, o - 4*a + 8 + 1 = 0. Which is smaller: 122 or o?
o
Let l = -2149 + 807. Which is bigger: l or -1344?
l
Let q = -57474 - -811705301/14123. Which is smaller: 0 or q?
q
Let a = -515 + 39. Let q = 475 + a. Let t be (-2)/4 - (-2)/4. Is q <= t?
True
Let r = 1061/4 - 263. Let d be 2/6*(-39 - -21). Let j(p) = -p**2 + 12*p + 110. Let l be j(d). Is l less than or equal to r?
True
Let m = -13512734/2415 - -16786/3. Do 1 and m have different values?
True
Let c = -329 + 194. Let f = c + 135. Let z be 16/(-18) + (-2)/(-6). Is f less than or equal to z?
False
Let b(t) = -t**3 + 9*t**2 - 11*t + 20. Let v be b(8). Let k be v + 54/14 + 590/14. Suppose -k - 15 = -3*y. Which is greater: 18 or y?
y
Suppose -4*p - 330 = -2*x, p - x + 261 - 170 = 0. Let d = 140 + -212. Is p >= d?
False
Let j = 1103.4 + -1103.3. Which is bigger: 104 or j?
104
Suppose -34*r + 26 = -35 - 41. Suppose 4*z = 4*a - 28, 0 = -3*z - a + 5*a - 22. Let l = -1 - z. Are r and l equal?
False
Let s be -25 + ((-22)/33)/(1/(-3)). Let c = s + 24. Which is bigger: c or 34?
34
Let j = 82 - 78. Suppose -10 - 6 = j*b. Let l be 2/3 - (-11)/(-3). Is l <= b?
False
Let a be (-2)/(-7) - (48/(-28) + -2). Suppose 4 = x + a. Are -1/43 and x equal?
False
Let p = 2/747 - 1249/1494. Which is bigger: -504 or p?
p
Let p = 2497 - 2495.668. Which is smaller: p or 1/5?
1/5
Let s = 16/14755 - 77803147/29510. Which is bigger: s or -2637?
s
Let l be (13 - -7)/((-33)/15 + 3). Is l less than 1?
False
Let m = 429.3 + -429.3. Let w = 885/21658 - 2/833. Which is smaller: m or w?
m
Suppose 5*o - 198 = -73. Suppose o = 3*n - 23. Suppose -2*w - 2 + 8 = 0, -w = v - n. Is 12 greater than v?
False
Let o = -966 + 960. Let h(k) = k**2 - 3*k - 3. Let d be h(3). Let m be (o/(-4))/d - 1/(-2). Are -1/40 and m unequal?
True
Suppose 901 = -7*j + 9357. Suppose j - 308 = -50*u. Is u <= -15?
True
Let a be (165/4)/((-315)/12600). Is -1650 <= a?
True
Let a be 3/20 - 2/(-8). Let t = -30.1 + 589.1. Let k = 565 - t. Which is smaller: a or k?
a
Let y = -3222 + 3216.3. Let k = -8.9 + 37.6. Let c = y + k. Which is greater: 0 or c?
c
Suppose -j - 22 + 0 = 0. Let y be 2/6*2/j. Let m = 7/11 - y. Is -0.04 < m?
True
Let p = 531 + -530. Let d be (-10)/(-25)*(-92)/24 + p. Is -3 > d?
False
Let t(m) = -m**3 + 15*m**2 - 32*m + 138. Let u be t(18). Which is greater: -1409 or u?
-1409
Suppose -4*l - 488 = -5*p, 3*p + 4*l + 103 = 383. Suppose 2*f - m = p, -5*f + 3*m = 4*m - 233. Suppose -32 + f = 3*b. Are b and 4 unequal?
True
Let q = 13557 + -13557. Which is smaller: -9/902 or q?
-9/902
Let z be (1/3 - 68892/270270) + -3. Let d = z - -40/819. Let p = d + 36/11. Which is smaller: p or 24?
p
Let f = -200684917/1102403408 - 11/1501912. Let x = f - 2/367. Which is smaller: 1 or x?
x
Let s(k) = k**2 - 24*k + 23. Let x be s(23). Which is bigger: -4/17 or x?
x
Let t be (10/(-30) - (-2402)/7242)*(-10)/(-20). Is t <= 1?
True
Suppose 4*m + 3*u = 2418, m + 2*m - u - 1820 = 0. Let x = 4857/8 - m. Let q = -5 - -6. Is x at most as big as q?
False
Let w = 4.4 - 46.2. Let y = -41.108 - w. Which is smaller: 0 or y?
0
Let c be 268434/104 + 2/(-8) - 348/(-2262). Do 2582 and c have different values?
True
Let w = -445 - -451. Let k be -2*5/(-30) + -1. Is w at most k?
False
Let j = 1700843/181 + -9397. Which is bigger: 0 or j?
0
Let j(o) = -o**2 + 65*o + 1799. Let s be j(-21). Is -200 bigger than s?
False
Let i = 3.271 - 3.171. Is i at least -0.0627?
True
Let f(i) = i**3 - i**2 + i. Let y(t) = 4*t**3 + 4*t**2 + 13*t + 18. Let l(b) = 5*f(b) - y(b). Let u be l(10). Let x = -4 - u. Do -5 and x have the same value?
False
Let a = -16418 + 82363/5. Let d(f) = -2*f**3 - 57*f**2 + 101*f + 2143. Let u be d(-29). Which is bigger: u or a?
u
Let v = -473/3 - -2285/12. Let q be (-121 - -135) + 8 + 10. Is v equal to q?
False
Let u(c) = -11*c + 277. Let s be u(-13). Let b = -323 + s. Which is smaller: 93 or b?
93
Let c = -9654 - -9654. Which is smaller: c or 0.0603?
c
Let h = -154 + 154.94. Let x = h - -0.26. Which is greater: x or -3?
x
Let z = 2.9 - 3. Let w = 6096/23 + -265. Is w at most z?
False
Let f be (21672/77)/(3 + -1). Let d = f - 141. Let p = 41 + -44. Is d != p?
True
Suppose 17*u - 12418 = 62110. Is 4383 at least u?
False
Let s = -0.54 - 0.46. Suppose -4*x - 6 = -2*x - 3*n, 4*x = -2*n - 28. Let m be (4/x)/(2/3). Are m and s equal?
True
Let g = 23 + -19. Let d = g - 3.8. Let z = -0.26 - 1.14. Which is smaller: z or d?
z
Let x(q) = 3*q - 17. Let v(t) = -t + 1. Let j(h) = 4*v(h) + x(h). Let a be j(-17). Let p be (6 - 8)*(-2)/a. Does -4/11 = p?
False
Suppose 2*n - 51 = 255. Suppose 0 = -148*h + n*h + 45. Let q be 185/(-7) - h/21 - -1. Which is smaller: -26 or q?
-26
Suppose 489 = -0*v - 3*v. Let m = -165 - v. Is 0.64 at least m?
True
Suppose -t + 12 = -1. Suppose t*v - 15*v + 22 = 0. Which is bigger: 12 or v?
12
Suppose 0 = -5*g - 5*s + 165, 2*s = -6*g + 3*g + 98. Let r = g + -69. Is -4 at most as big as r?
False
Let d(y) be the second derivative of -y**4/12 + 25*y**3/6 - 2*y**2 + 27*y. Let w be d(18). Let h = -125 + w. Is h != -4?
True
Suppose -85*m + 3*m = -5*m + 69146. Which is greater: 0 or m?
0
Let v = -404 + 409. Suppose 2*x - 6*x - 64 = 4*i, 0 = v*i. Is -4 at most x?
False
Let w = 304 - 3950/13. Let y = 1254 - 1253. Which is smaller: y or w?
w
Let s be (48/360)/(201/30). Is 2/3 greater than or equal to s?
True
Let q be 89/(-133) + 1*(-6)/(-42). Suppose 4*v = -2*c, -c = -4*v + 5*v. Is c >= q?
True
Suppose 29*y + 2209 - 2506 = -9606. Which is smaller: y or -326?
-326
Let y be 148/(-3)*(-3 - 54/(-4)). Let o = -519 - y. Are 2 and o unequal?
True
Let k = 526 + -501.9. Let u = -24.08 + k. Which is greater: 5 or u?
5
Suppose 71 = 7*u + 295. Let r be (4*(-4)/u)/1. Is r equal to -7.8?
False
Suppose -8 = -3*n + h, 4*h - 6*h - 8 = -2*n. Suppose 2*i = 5*a + 5, -n*i - 2*i - 4*a = 4. Let w = i + 20. Is w greater than 20?
False
Let g be -42*(-9 - (-37)/3). Is g at most as big as -139?
True
Let y(m) = 8*m - 12. Let q = 92 - 100. Let b be y(q). Let h be 158/(-10) - (4 + b/20). Is -16 at least h?
True
Suppose -11727 + 35287 + 13652 = 21*u. Is 1774 less than or equal to u?
False
Suppose 2*d - 295 = -4*w - 3*d, -195 = -3*w + 5*d. Let t be (-2)/(-10) - 89/w. Suppose -4*a - 15 - 7 = -g - 26, 2*a = 2. Is g greater than t?
True
Let j = 25128 - 25129. Are 1/14712 and j nonequal?
True
Let c be (-334 - -15*30/50)*2/(-2). Which is smaller: c or 318?
318
Let b be ((-9)/(-27))/(4/24). Which is bigger: b or -7?
b
Suppose 16 = -3*t - p, -3*p + 8 = -5*p. Let u be -1*(-4 - t)*1. Suppose -16*q + 20*q + 32 = u. Which is smaller: q or -7?
q
Let m(q) = q**3 - 7*q - 7. Let k(o) = -o**3 + 7*o + 6. Let p(a) = -6*k(a) - 5*m(a). Let d be p(3). Which is bigger: 13 or d?
13
Suppose -2*p + 169 = -5*b + 560, 3*b = 5*p + 246. Suppose 0 = b*i - 80*i. Which is greater: i or -14/17?
i
Let b = -47 + 49. Suppose -8*y = -b*y - 36. Suppose -y*q = -q + 85. Are q and -15 nonequal?
True
Suppose 0 = 3*l - 3, l - 100 + 94 = 5*c. Let i = 14 + -29/3. Let r = i - 107/24. Do r and c have the same value?
False
Let q = 178/9 - 49/9. Let x = q + -143/9. Is x <= -1?
True
Let s be (-17)/(884/8) - (-4112)/26. Let v = s + -173. Is v smaller than -13?
True
Let v = -4 + 4. Let l(u) = 0*u + v + 9 + u + 3. Let n be l(-13). Which is greater: 2/171 or n?
2/171
Let d = -17953294/99 + 181348. Let y be 22/(-18) + 6 + -3. Let x = y - d. Which is greater: 1 or x?
1
Let p(i) = 3*i - 31. Let s be p(11). Suppose -j - 40 = -5*w + 13, s*w - 2*j = 26. Let u be (6/(-36))/(w/12 - 1). Is u at most -1/56?
False
Suppose -108 = 3*n + 3*c, -5*c - 60 = n + n. Let q be (32/6 + -2)*(-576)/160. Let u = q - 29. Which is smaller: u or n?
u
Let f(c) = -10*c**3 + 2*c**2 + 2*c + 4. Let d be f(4). Let l = d - -1772/3. Which is greater: l or 2/7?
2/7
Suppose 138*w = -5732 + 2144. Suppose 0*f = 5*y - 3*f - 42, -2*y + 4*f + 28 = 0. Let r be (-170)/y - (-2)/6. Which is sm