-20 + s. Which is bigger: r or -2/17?
-2/17
Suppose -4 = -n + 1, -3*w - 34 = -5*n. Let f be 9/(w/(2 - -1)). Suppose -54*q = 62*q - 107*q + 99. Is f less than or equal to q?
False
Let b = 47.32 + -50.32. Let t = 27 + -12. Let a be 20/t*(-30)/(-4). Which is greater: a or b?
a
Let u = -203411 + 2239441/11. Do 174 and u have different values?
True
Let d = -0.6887 - 149.3113. Do 2/83 and d have different values?
True
Let v(o) = -58*o - 502. Let s be v(-6). Let r = s - -285/2. Is r smaller than -13?
False
Let i = -37941506/1161 - -32680. Which is smaller: 0 or i?
i
Let v = 317/5 + -11709/185. Let y(c) = 5*c - 23. Let q be y(7). Suppose q = -0*u + 4*u, 0 = d - 2*u + 5. Which is bigger: d or v?
d
Let n be 12/14*(-2)/6. Suppose -30*u + 19*u + 55 = 0. Suppose 4*g = -5*s + 8*g - 4, 0 = 5*g - u. Is s < n?
False
Let p(b) = 21*b**2 - 40*b - 8. Let a be p(11). Is 2093 at least as big as a?
True
Let o(u) = 2*u - 34. Let y(j) = j - 34. Let k(x) = 5*o(x) - 4*y(x). Let i be k(6). Suppose 2*z - 10 = -i*l, 0 = 4*l - 7 - 9. Is -3/17 < z?
True
Let j = -10 - -17. Suppose 7 = j*z - 7. Suppose -z*f + 5 = -3*f. Which is greater: 0.3 or f?
0.3
Let m be (-4640)/(-248)*(-12)/(-30). Which is smaller: m or 6?
6
Let x = 1174/33 - 384/11. Which is bigger: 60 or x?
60
Let r = -58.26 - -0.26. Let w = -270 - -269.7. Is w less than or equal to r?
False
Suppose 0 = 18*v - 19*v. Let w be (24/(-6) + 4)/1. Suppose w = 6*o - 29 + 17. Is v greater than or equal to o?
False
Let k = 5120 + -6277. Which is smaller: k or -1160?
-1160
Suppose 109*a - 111534 = -65*a. Is a greater than 640?
True
Let p = 109 - 100. Let w be 2/(-2)*(p - 20). Is w smaller than 9?
False
Let r be 396/20 + (-2)/(-10). Suppose 4 = -2*k + r. Let d be (-54)/(-45)*(6 + -1). Is d bigger than k?
False
Suppose 27 = 2*v + 25. Let g be 3/(-2)*(-10)/(-15). Let b be 20/75*-1 - g/5. Does b = v?
False
Suppose -l + m + 17 = 2, -l = -2*m - 17. Suppose 18*q = l*q + 5. Let i be (-13)/(-1 + q*(4 + -2)). Which is bigger: i or -2/5?
-2/5
Let t = -34414288/75751 + 5906/13. Is t at most as big as 1?
True
Let h = -16004 + 16004.096. Are h and 2/9 equal?
False
Let i(j) = j**3 + 12*j**2 + 8*j - 31. Let y be i(-11). Let v = -17/8 + 91/24. Is y less than v?
False
Let n = 0.4 + -1.4. Let w = 1.1 + n. Let d = 37 + -421/11. Is d smaller than w?
True
Suppose -3*b + 16 = -2*t, t - 2*t - 14 = -3*b. Suppose -59 = -4*y - 63, 29 = -w - b*y. Is -22 less than or equal to w?
False
Let t = -311.9 + 323.108. Let x = t + -0.208. Which is bigger: -1 or x?
x
Let j = 930 + -2272. Which is smaller: 0.1 or j?
j
Let u = -32.78 - -206.48. Let o = 176 - u. Is o < 1/3?
False
Suppose -5*p + 6*p + 11 = -2*b, -3*b + 6 = -3*p. Let a be b/2*(-5 - 12590/(-2520)). Are a and 1 non-equal?
True
Let q = 182 - 181.97. Let l = q - 0.13. Let o = -1.74 + 1.5. Is l at least o?
True
Suppose -9 = -7*i + 5. Suppose -x + 7 = i. Let g be ((-1)/4)/((-10)/(-200)*-5). Is x <= g?
False
Let t be (5 + -9)/(766/(-1890) + 24/(-168)). Which is greater: 6 or t?
t
Suppose 14*q - 9*q = -2*f - 7961, -q = 2*f + 1605. Is -1592 equal to q?
False
Suppose 0 = 152*t + 61334 + 88690. Are -987 and t equal?
True
Let w = 25.4 + -0.55. Let n = 23 - w. Which is smaller: n or 2?
n
Suppose -77 = -4*t - 21. Suppose -k = -t - 21. Which is smaller: k or 32?
32
Suppose -v + 28*o - 79 = 29*o, -v - 91 = 5*o. Do v and 56 have different values?
True
Let p = -0.173 + 0.261. Let g = p - 0.288. Which is greater: g or -0.076?
-0.076
Let f(o) = 1 - 3*o**3 + 2*o**3 - 2 + 5*o**3 + 3*o**2. Let a be f(1). Suppose 7*c = a*c. Which is greater: c or 4/33?
4/33
Let n(x) = -3*x**3 - x**2 - 3*x - 1. Let v be n(-1). Suppose -3*p = -v*l + p - 8, -4*p + 8 = 4*l. Is -1/35 less than or equal to l?
True
Let m = 40.2 - 43. Let s = m - 16.2. Let t = -51 - -48. Which is bigger: t or s?
t
Let b be (-1010)/(-3*8/12). Let l = 401 - b. Which is greater: -101 or l?
-101
Let a be 1/2 + ((-150)/(-20))/(-15). Let m = -329092/141 + 2334. Is a > m?
False
Suppose 0 = c + 4*c. Suppose 2*q + 5*g = -31, c = -q - 0*g + 4*g + 17. Is q < -3?
False
Let j = -16/13 - -74/39. Suppose 11130 = -12*x + 2094. Let l = x + 709. Is l greater than or equal to j?
False
Let q = 14751 - 14754. Does 5/418 = q?
False
Suppose -s - 7*o = -44, 0 = -3*s + 21*o - 18*o - 12. Which is bigger: s or -27?
s
Let x be 94/141 + 8/6. Suppose -w = x*l + 3, 3*w - 2*l - 4 = 5*w. Is w equal to 5/12?
False
Let m be 1 + 2/((-304)/150). Suppose -84*p = 39*p. Which is smaller: p or m?
p
Let u be ((-3)/2)/(48/320). Let w(r) = -3*r - 125. Let b(y) = y + 31. Let j(a) = 9*b(a) + 2*w(a). Let h be j(u). Which is smaller: -2/281 or h?
h
Let u = -35408 - -37262. Which is bigger: u or 1861?
1861
Suppose 33*b = -14 - 55 + 3. Let z = 5/1078 + -28113/18326. Is z greater than or equal to b?
True
Let t be (4484/(-418))/((-3)/3). Let v = 0.03 - -0.97. Which is bigger: v or t?
t
Let r be (-1 + 0)/(-7) + 466668/203. Do 2297 and r have the same value?
False
Suppose 0 = 3*j - 8*j + 30. Let m = -32 - -37. Suppose -7*h = -m*h - 14. Is j equal to h?
False
Let x be (14/28*2*-1)/(7/(-3409)). Which is smaller: 492 or x?
x
Let g = -5927 + 8582. Which is smaller: g or 2656?
g
Let f = 10862 + -11419. Is f at least as big as -548?
False
Let r be (175*147)/(-5) - (-5)/((-15)/12). Which is bigger: r or -5148?
-5148
Let j(h) = -h**2 + 12*h + 641. Let y be j(32). Which is bigger: y or 2/22585?
y
Let y be (-118)/(-1475) + (-123)/(-25) - (5 + 1). Is y equal to 2/3971?
False
Let l be (-8)/2 - (-4 - 9). Let b be (-108)/(-2 - -11)*(1 - (-10)/(-6)). Is b > l?
False
Let b = -331.6 + 302.6. Let c = 0.35 + 29.65. Let n = c + b. Which is greater: n or 1.6?
1.6
Let g = 83.5 + -83.4. Which is bigger: g or 33.7?
33.7
Let y = -104.53 + 103. Let r = y - -1.52. Is 1 < r?
False
Let t be -3*(2 - 24/9). Let n(a) = -30*a**2 - 3. Let f be n(t). Let r = f - -613/5. Is r > -0.19?
False
Suppose 5*o - 14*o + 54 = 0. Let a(n) = n**2 - 10*n - 14. Let j be a(o). Let d = -129 - -89. Is j < d?
False
Let r = -3539 - -3543. Let p = -19 - -119. Let v be (2/(-5))/((-14)/p). Which is smaller: v or r?
v
Let o = -503.8 + 507. Let x be 2/11*(-8)/(-16). Which is greater: x or o?
o
Let q(j) = -2*j**2 - j + 62. Let f be q(0). Suppose -f = -5*w - 67. Which is greater: w or -3/104?
-3/104
Let w be (-2)/7 - 67/(-14). Suppose 66*l - 200 = 61*l. Suppose 2*u - l = -2*u + 4*j, 22 = u - 4*j. Is u <= w?
False
Let z = -6 + 57. Suppose -7814 = 45*s - 10154. Is z < s?
True
Let s = -4.289 - -3.915. Is s bigger than 0.5?
False
Let g = 2977 + -1688. Which is greater: 1288 or g?
g
Let h = -0.385 - -4.385. Which is bigger: h or -45?
h
Let k be 31/(-4)*-4*(-1 + 4). Let n be ((1 - 3) + 5)/(k/31). Are n and 5.3 nonequal?
True
Suppose 0 = 198*b - 243*b + 22815. Do b and 506 have the same value?
False
Suppose 2*i + 71*p - 79*p + 2 = 0, -p = i + 1. Is -8/3397 <= i?
False
Suppose 2*o + 2 = -0. Let x = 29957/20312 - -2/12695. Let f = x + -15/8. Which is greater: f or o?
f
Suppose -q + 0*a + 2 = -a, -5*q + 12 = -4*a. Suppose -18 = -2*s + n + n, -q*s - 3*n = -22. Suppose -s - 2 = -9*p. Which is greater: 8/17 or p?
p
Let q be 7/(-84) - 1/3. Let i = -5005 - -5004. Is q at least as big as i?
True
Let m = -1 + 4. Let l be (-1*2 + m)*-2. Suppose -873 = -877*b - 5258. Which is smaller: l or b?
b
Suppose 147*c = 167*c + 700. Is c at most as big as 3?
True
Let m = 131.472 - 132. Is m at least 5?
False
Let c(o) = -2*o**3 - 19*o**2 - 73*o - 689. Let a be c(-9). Which is smaller: -119 or a?
-119
Suppose -31*m + 33*m + 74*m - 76 = 0. Do m and 145/187 have the same value?
False
Let y = -9030 - -10881. Is y <= 2/13?
False
Let v(r) = 2*r**3 - 4*r**2 + 4*r. Let l(i) = -i**3 - 1. Let m(h) = l(h) + v(h). Let x be m(3). Let d = -399 + 400. Is x greater than or equal to d?
True
Let q be ((-55)/22)/((-7)/(-182)). Is 7 at most as big as q?
False
Suppose 0 = -2*v + t - 5, -3*t + 15 = -v + 6*v. Let u be (5 + v)/((-2)/(-2)). Suppose 2 = -4*n - w + 5, u*w - 15 = -2*n. Which is greater: n or 7?
7
Let x(f) = 74*f - 1837. Let t be x(28). Which is smaller: t or 0?
0
Let c(l) = 30*l**2 + 358*l - 24. Let f be c(-12). Which is bigger: f or -324?
f
Let y(p) = -100*p + 2. Let z be y(-6). Let i = z - 602. Which is smaller: i or 1/418?
i
Let x be (9/12)/((-18)/243 - (-520)/(-1728)). Is x greater than 15628?
False
Suppose -5*u + 6