- 0.36. Let y be 20/(-66)*(-44 + (-25960)/(-600)). Which is greater: y or b?
y
Let w be (30/(-18))/(1/80). Let f = 31178 - 31311. Which is greater: w or f?
f
Let a = -35957 - -35652. Is -315 greater than a?
False
Let u be -1 - (-2234)/2230 - (5 + 19 + -24). Suppose 0 = 5*k - 25, -4*h + h - 3*k + 12 = 0. Is h smaller than u?
True
Let m = 11162.99 - 11163. Which is smaller: -0.017 or m?
-0.017
Let x be (186/(-12))/((-14)/(-49) - 57/224). Is x <= -1?
True
Let s be (-480)/34 + 35/(1190/4). Is s less than 1/27?
True
Let y(m) = 32*m + 398. Let c be y(-6). Which is greater: c or 211?
211
Let k = 22.962 + -23. Let h(g) = 9*g**2 - 3*g - 1. Let n be h(0). Which is greater: n or k?
k
Let i = 81818502/92699185 + -1060/1201. Which is bigger: i or -1?
i
Suppose 6*v - 737 + 749 = 0. Let r be 5/v - 41742/(-108). Which is smaller: r or 2?
2
Suppose a + 27 = 17. Let j be (-342)/(-12)*a/(-15). Suppose 2*y = -8, 96 = 4*q - 4*y - 0*y. Is j at least as big as q?
False
Let a = 18882/371 + -108/53. Which is bigger: 48 or a?
a
Let g(w) = w - 2. Suppose 0 = -2*o - 3*y - 5, 3*o - 8*o + 40 = -3*y. Suppose 2 = 2*k + 3*n - o*n, 2*n = 6. Let z be g(k). Is z less than -0.9?
False
Let f = 9.824 + -9.824. Which is smaller: 17.84 or f?
f
Let k = -2.74991 + -0.25009. Let o be (-4)/(-2)*(-1)/(-12). Which is smaller: o or k?
k
Let s = -79 + 104. Let k = s - -19. Let a = 61 + -60.9. Is a smaller than k?
True
Let u = 485 + 877. Which is smaller: 4084/3 or u?
4084/3
Let i be (-2)/(-4)*(-1 + 81). Suppose 4*b - 8 - i = 0. Which is smaller: 15 or b?
b
Let w(s) = -61*s + 885. Let z be w(18). Let h be (90/(-27))/(2/129). Is h equal to z?
False
Let m be 3/(3/30*6). Suppose 0 = -m*t - z - z - 19, 3*t + z + 12 = 0. Let s be (-90)/13 - 119/1547. Is s greater than t?
False
Let t be (1208 - (-15 - -35))*35/(-15). Is -2772 != t?
False
Let n be (-7 - -13)*(-2 - -1). Let t = -2 - n. Let z be 3*(t - (-48)/(-9)). Which is greater: z or -1?
-1
Let r be ((-2)/(-3))/(360/324). Suppose 4*j = -36*j. Is r >= j?
True
Let d be 74*(-3)/(-531) + (-10)/30. Let h = d + -277/1180. Suppose 0 = 3*k - 8*k + 5. Which is bigger: k or h?
k
Let g = -16666788 + 15633453865/938. Let r = 2/1407 + g. Let j = 409/42 - r. Is -0.2 bigger than j?
False
Let g = 9987 + -7125. Which is smaller: g or 2863?
g
Let g = 340036/137 - 2482. Let o = 16 + -17. Is g bigger than o?
True
Let b = 9 - 9.1. Let u be (-8*1/(-12))/((-7)/108). Let s = u - -339/35. Is b less than s?
False
Let i be (-24 - (2 - -2))*(-1 + 3). Let v = i + 57. Let c = 38/5 - 451/60. Which is smaller: v or c?
c
Suppose 0 = p - 3*d + 3, 3*p - p - 2*d = -10. Let c be 3/2*((-20)/p + -4). Let i be (c/(-3))/((-1668)/(-558) - 3). Is -31 > i?
False
Suppose -34 = -g + 18*g. Let p be (1 - 0) + (-17)/10 + -2. Which is greater: g or p?
g
Suppose -2*u - 22 = a + 3*a, 0 = -2*u - 2*a - 24. Let h = u - -3. Let v be (h/90)/((-47)/(-6)). Which is bigger: -1 or v?
v
Let l(q) = q**3 + 3*q**2 + 6*q + 19. Let b be l(-3). Let s be 36/198 - (2 + -3)*b. Is s greater than 0?
True
Let s = -9863/19913756 - -5/5498. Which is bigger: s or -1?
s
Let w = 243.606 - 244. Let o = w - -0.194. Is o > -43/5?
True
Let q = 1/9089 + -836193/45445. Which is greater: -5 or q?
-5
Let m = 25 + -22. Suppose 5*y + 17 = -m*b, -4*b + 0*b + 4*y + 20 = 0. Let w = -1625/3857 - -1/133. Which is bigger: b or w?
b
Let a be 1/((176/(-2618))/8). Which is bigger: 87 or a?
87
Suppose 37 = 2*y - 5*b, -3*b - 60 = -4*y + 7. Let o be (-60)/(-750)*2645/12 + (-57)/190. Is o at least y?
True
Let q = 20 + -20. Suppose q = -2*z + u - 25, u = -z - z - 15. Let v(n) = -5*n + 36. Let g be v(z). Is 86 != g?
False
Suppose -3*w - 5*v - 22 = 0, -v - 17 = -3*w - 9. Let c be 1947/22*(-4 + (w - -1)). Is -177 < c?
False
Suppose -q + 2*m - 11 - 62 = 0, -2*m + 2 = 0. Suppose 0 = -22*n + 27*n - 20. Suppose x = w - 72, -2*w = -n*x - w - 285. Is q less than or equal to x?
True
Let g = -26 - -54. Let z(m) = -m**3 + m**2 - 3*m + 8. Let p be z(2). Which is bigger: p or g?
g
Let v(q) = -q**3 + 36*q**2 - 285*q + 236. Let x be v(25). Suppose 0 = -o - 11 - 3. Is o bigger than x?
False
Let v be 21/(-9) - ((-16236)/(-3510))/(-2). Let n(r) = r + 2. Let l be n(-3). Which is bigger: l or v?
v
Suppose -17 = -2*m - 101. Let u = 61/96 - 20177/480. Is m greater than or equal to u?
False
Let m = 3246 + -3245. Is 2396 at most as big as m?
False
Let h = 4307 - 4309. Is h greater than or equal to -62/35?
False
Let i = 40 + -37. Suppose 0 = 5*y - i*y + 2. Let a be 2/(-8)*y + 62/(-184). Which is smaller: 0 or a?
a
Suppose -r - 3 = -65. Suppose 3*x - 3*j = -j - r, -3*j - 24 = 2*x. Let g be (69/15 - 0)/(x/15). Which is greater: -5 or g?
g
Let u(y) = -2*y**3 - 47*y**2 - 37*y - 125. Let t be u(-22). Is -763 greater than or equal to t?
True
Let c = -0.056 + 0.061. Let y = c + -54.005. Let d = -54.5 - y. Is -5 at most as big as d?
True
Suppose 0*f + f - 4 = -2*s, f + 4 = 0. Suppose 0 = 5*h + s*l + 2747, -865 = 4*h - 5*l + 1308. Which is greater: h or -548?
h
Let c = 27569 + -24409. Which is greater: c or -4?
c
Let c = 577 - 331. Let g = c - 257. Let j = -0.3 + 0.4. Which is greater: j or g?
j
Let d(b) = -b**3 + 60*b**2 - 109*b - 404. Let t be d(58). Let p be 121 - (2 - 1)/(-1). Is t > p?
False
Let y = 444 + -443.8. Is -7/110 < y?
True
Let w(j) = j**3 + j**2 - 9*j + 4. Let y be w(-4). Let t = -4 - y. Suppose t*l - 13 = -0*u + 5*u, 3*l = 4*u + 10. Which is smaller: u or -4?
-4
Let i = 118 + -44. Suppose 0 = z - 4*z + 12. Suppose 0 = -j - 3*q + 62, 2*q - 216 - 72 = -z*j. Is j <= i?
True
Let x(u) = -u**3 + 38*u**2 - 3. Let c be x(38). Let s be (-1)/c + (-62)/36. Which is greater: s or 0?
0
Let t = 1265 + -1280. Let w(o) = -o**3 + 13*o**2 - 14*o + 11. Let a be (-1)/(-3)*3 + 11. Let i be w(a). Which is smaller: i or t?
t
Suppose -3*d + 2 = -5*d. Suppose 0 = -4*s + 8 - 0. Suppose -s*i + 7*j - 3*j + 24 = 0, -5*i + 5*j = -35. Are i and d equal?
False
Suppose 5*w + 244*v = 246*v - 2, w = -v - 13. Which is greater: w or -788?
w
Suppose 11*o + 540 = o. Let h = 122 - 172. Which is smaller: o or h?
o
Suppose -3*a - 4*q + 27 = 0, -4*a - 3*q + q = -26. Let n be 1/(2/a) - 2/4. Suppose -2*h = -96 - n. Is 48 at most h?
True
Let n = 671 + -675. Let r be ((-4)/(-82))/((-2)/n). Which is smaller: r or 1?
r
Let c = -258 - -259. Let x(m) = 23*m - 26. Let i be x(24). Let z = i + -1598/3. Which is smaller: c or z?
z
Suppose -74*x + 89639 = -81301. Is 2309 greater than x?
False
Suppose 200 = 2*g - 4*b, 2*g - b = -4*b + 228. Suppose 3*s - 4*k = -7*k - g, -2*k + 10 = 0. Which is smaller: -42 or s?
-42
Let h(j) = -55*j + 8. Let b be h(-4). Suppose -l = b - 246. Is 19 less than l?
False
Let s be 5/(7*(-105)/(-147)). Which is smaller: -3/8926 or s?
-3/8926
Suppose 3*y - 30 = -0. Suppose -y*v - 10*v = -13*v. Is v at most -39/43?
False
Let o be (-34)/36*((-2)/(-31) - (-6798)/341). Are -20 and o non-equal?
True
Let n be (1330/(-252) + 5)/((-2)/1304). Which is greater: 181 or n?
n
Let m be ((-4)/(-25))/((-36696)/(-990)). Is m not equal to 0?
True
Let b(q) = -q**2 + 2*q + 8. Let u be b(3). Suppose -9 = -m - 2*a, -u*m + 19 = 3*a + 9. Let f = -9 + -3. Is m <= f?
False
Suppose -m = 4*u + 15, -4*u = -4*m - 0*u - 60. Suppose -75 = 6*t + 39. Which is smaller: m or t?
t
Let w = -17322 + 710156/41. Which is bigger: w or -1?
-1
Let q = -15.2 - -36.4. Let c = q - 24.7. Suppose -m - 1 = -0*m. Which is smaller: m or c?
c
Let i be 100/160 - (-51545)/(-40). Which is greater: -1290 or i?
i
Suppose -554 = -f - 5*r, -5*r + 7 = -18. Is f bigger than 527?
True
Suppose 0 = -3*x - 25*a + 24*a + 7294, 5*x + 4*a - 12145 = 0. Is 2433 less than or equal to x?
True
Suppose 42 = -105*c + 147. Let t = -41176618351/20874 - -11835763/6. Let r = -10/147 + t. Which is bigger: c or r?
c
Let l = -53 + 97. Let k = l - 0. Let i = k + -44. Which is bigger: 23 or i?
23
Let z = -13738 + 13362. Which is smaller: z or -367?
z
Let l = 7.26 + 2.1. Let r = 1.66 - l. Is r at least as big as 1/2?
False
Let p be -53 - (-46 - 2667) - (6*3)/2. Which is bigger: 0.3 or p?
p
Suppose 2 = -2*b + b. Let p be (112/(-70))/(((-9)/45)/((-14)/161)). Is b at most p?
True
Let h = -18453 - -406209/22. Is 10 less than h?
True
Suppose 115*u + 121*u - 3756 = 8752. Let h = -26 + 92. Let m = h - u. Which is smaller: m or -0.6?
-0.6
Let n = -2355 - -2413. Is 56 less than n?
True
