/5
Let s be -2 + (1760/(-115))/(-8) + 19796/5474. Let g be (0 - 1 - 0) + 4. Which is smaller: g or s?
g
Suppose 134*k = 128*k - 588. Let w = k - -98. Let a = -671/14 + 48. Is a > w?
True
Let a(s) = 3*s - 45. Let f be a(21). Suppose -f*x + 1296 = -9*x. Let v = -190 + x. Do -48 and v have the same value?
False
Suppose r + 13 = 5*v, -13 = -5*r + 220*v - 221*v. Is 281/121 > r?
True
Let w(m) = 17*m + 771. Let j be w(69). Is 1945 greater than j?
True
Suppose -a - 2*z = 4*a + 135, 0 = -a + 5*z - 27. Let y be ((-4)/6)/(18/a). Suppose 17 = -2*s + y. Is s < -8?
False
Suppose -v - 5 = -6*v + 5*u, 4*u - 28 = -4*v. Suppose 0*n + 5*o = 2*n - 8, -o + v = n. Suppose -b - w = -1, -5*w = -0*w - 20. Is n < b?
False
Let q = -0.3207 - -0.1207. Is 414 >= q?
True
Suppose -2*d = 2*d + 5*l, 0 = 3*l. Suppose -548 = 4*p - 8*p. Let u = 5342/39 - p. Which is smaller: u or d?
u
Suppose 4*v + 2*x = 1124, -3*v - 5*x + 2335 = 1534. Suppose 3 = -3*o, r - 5*o - 135 = 157. Is v smaller than r?
False
Suppose -3*j - 36 + 48 = 0. Let y(q) = -q**3 + 4*q**2 + 9*q - 16. Let b be y(j). Which is greater: 26 or b?
26
Let g be (1760 - 0)*(-157)/314. Which is smaller: -0.1 or g?
g
Let v(n) = n**2 + n - 49. Let f be v(-15). Let g = -160 + f. Is g > 2/59?
True
Let z = 1832 - 1783. Is 47 > z?
False
Let j = 100 + -92. Suppose 3*y + 22 = -j. Let z be (25/y)/((-3)/(-6)). Do z and -7 have different values?
True
Suppose 49*y + 40*y - 1780 = 0. Which is bigger: 22 or y?
22
Let a(n) = 3*n - 6. Let p be a(4). Suppose 13*i - 15*i + 144 = 0. Suppose i = 10*s + 22. Which is smaller: s or p?
s
Let l be (0 - -1)*(-6 - 55/(-5)) - 7. Which is greater: -547 or l?
l
Let n = -10 + 10. Suppose n = -105*b + 95*b. Which is greater: -37/3 or b?
b
Let z = -8236 + 8511. Is 1/15 >= z?
False
Let x(d) = -2*d - 4. Let z be x(-18). Let g be ((-236)/z)/((-2)/4). Let p = 14 - g. Is 0 != p?
True
Let z = -5038 + 5170. Suppose 3*i - 4*q + 3*q - 400 = 0, -4*q - 16 = 0. Is i greater than z?
False
Let k(j) = 9*j + 3. Let s be k(0). Let a = 51 + s. Let m = a + -57. Which is greater: -22/13 or m?
-22/13
Let c = 5668 - 2894. Suppose c = 22*h - 812. Is h at least 161?
True
Let u be (-2)/6*(-4 - (-4 + 3)). Let z be 395/15 - 2*1. Let i = 1381/57 - z. Which is bigger: i or u?
u
Let n = -101.23 - -102.1498. Let l = -0.0802 - n. Is 62 at most l?
False
Let p be (2/(-3))/1 + 1710/135. Suppose -p*w - 10 = -22*w. Is w < 308?
True
Let o = -137 + -371. Is o greater than -3552/7?
False
Let q be (-27)/((-20655)/5848) - (-4)/3 - 3. Is 6 at most as big as q?
False
Let f be 2612/(-6)*-9*10/60. Let y = f - 636. Is -11 at most y?
True
Suppose 3*v + 60 = -2*v. Let b be (-2*27/v)/(5/10). Suppose 6*a - b*a - 5*i = -29, -a - 2*i = -10. Which is bigger: a or 33/4?
33/4
Let g be -1*(-89)/7 + 4/14. Let l be 0 + (-24)/(-3 + 7) + 21. Is g smaller than l?
True
Let a be 3*(-3)/(-27) - (-2745732)/(-1089). Is a bigger than -2521?
False
Let d be (256/40)/(-8)*1170/(-12). Are d and 84 nonequal?
True
Let f = -5712 - -5705. Is -13 bigger than f?
False
Suppose -5*m - 4*h = -2*m - 42, m - 4*h - 14 = 0. Let t be 11 - m - (-33)/12. Let x = -4 + 13. Which is bigger: t or x?
x
Let x = 2 - 3. Suppose 9 = 4*o - 10*p + 5*p, -4*o + 2*p = 6. Let s be -2 + 71*o/(-140). Which is smaller: x or s?
x
Suppose -o = 8*o + 243. Let f = 26 - 45. Is o at least as big as f?
False
Suppose -6*f = -11*f - 5. Let b be (-8*5/(-520))/(62/(-4)). Which is greater: b or f?
b
Suppose 4*t + 120 = 4*r, -4*r = -3*r - 4*t - 36. Suppose -7 + r = i. Let f = i - 419/20. Is f >= -1?
True
Let l(v) = -22 - 19*v + 18 - 34*v - 74 + 6*v. Let n be l(-2). Is n >= 19?
False
Let s = -0.12 - 6.88. Suppose 6*r - 50 = 16*r. Let t be 1/(-10) + r/(-10). Is s > t?
False
Suppose -3098 = -52*g + 1946. Let s = -79 + g. Which is bigger: 22 or s?
22
Suppose -u + 5*u - 76 = 0. Let j be (2/(-2 - 0))/(79/(-1343)). Which is smaller: u or j?
j
Let d(b) = 2*b**2 + 29*b + 5. Let p be d(-33). Let t = p - 3640/3. Is 13 greater than t?
True
Suppose -5*s = -29 - 31. Let i be ((-25)/(-4))/(3/(-12)). Let b = i - -36. Which is smaller: b or s?
b
Suppose 31 = w + 27. Suppose -z = s + 2*s, -w*s = -z. Let o be (4/1 - 3)/35. Which is bigger: o or z?
o
Suppose 13*u = 6*u + 35. Suppose -w = 3*x - 7, -u*x + 0*w + 1 = -w. Is x less than -6/53?
False
Let w be (-15)/((-135)/(-18))*89/2. Let t be (-5)/(20/(-8)) - (-3 + 93). Which is smaller: t or w?
w
Let q(j) = 16 - 4 - 9*j + 2*j + 8*j. Let f be q(-9). Let k be 3/5 - (-4)/10. Do k and f have different values?
True
Suppose 0*x = x + 3. Let k be x - 1954/(-30) - (-4)/(-30). Let i = k + -49. Is 3 at least i?
False
Suppose 0 = -8*g + 12*g. Suppose 4*q - 23 = -3*u, 0*u + 3*u + 3*q - 21 = g. Suppose u*z - 39 = 4*y + 59, -6 = -3*z. Is y less than or equal to -21?
True
Suppose -g + 27 = 2*s - 2*g, -3*s + 5*g + 30 = 0. Suppose m = -8*b + 3*b - s, 2*b + 2*m - 2 = 0. Let x be -4 + (-12)/b - -1. Which is bigger: -6/5 or x?
x
Let d = 3035 + -3035. Which is greater: -2/7889 or d?
d
Let c(l) = -8*l**3 + 55*l**2 - 22*l - 12. Let o be c(7). Is o <= -0.4?
True
Suppose 4*f + 2*g + 14 = 4*g, f - 13 = -5*g. Let r be (-2)/(-6)*274*f/4. Let m = 45 + r. Is 0 bigger than m?
True
Let j = 20507 + -3258. Which is smaller: j or 17250?
j
Let h = 16308 - 16816. Is -508 < h?
False
Let r be 160/(-2)*(-4)/10. Suppose -10*k = 8 + r. Let b be (-3)/k - 1463/228. Which is greater: -5 or b?
-5
Let i be (-8729)/96135 - 1/(-3). Let s = 1/85 - i. Suppose h = -4*b + 4*h - 12, -3*h = 2*b - 12. Which is bigger: s or b?
b
Let w(x) = 17*x + 1587. Let m be w(-99). Is -94 > m?
True
Suppose 5*x = -5*c - 25, -3*c = -c + x + 5. Is 6/1405 bigger than c?
True
Let k be 1212/60 + (-2)/10. Let d(i) = i**2 - 21*i + 20. Let j be d(k). Suppose j = 2*p - 5*t - 214, -5*p = 3*t - 13 - 460. Is p >= 97?
True
Let f(k) = -k**3 + 5*k**2 + 16*k - 14. Suppose -3 = g - 5*v - 20, -v + 5 = g. Let b be f(g). Which is bigger: -25/17 or b?
b
Let h be ((-6681)/(-17))/(43 - 4/1). Do h and 10 have different values?
True
Let a be (-81592)/56 - (8 - (2 + -1)). Is -1464 bigger than a?
False
Let h = 285.052 - 0.052. Let f = 276 - h. Let p = 0.1 + -0.1. Is p smaller than f?
False
Let g = 0.0978 - 609.0978. Let t = -615 - g. Let p = 0 - 3. Which is bigger: p or t?
p
Let h(c) = 2*c**2 - 307*c + 154. Let a be h(153). Let u be 3 + (0 - (-74)/(-30)). Is a not equal to u?
True
Suppose -c + 161 = 2*c - n, 0 = -c + 3*n + 67. Let s be ((-2)/c)/(4/(-16)). Let j be 0/(-4*(-3)/12). Is j at least s?
False
Suppose -4*w + 12*o + 66 = 14*o, -96 = -5*w + 2*o. Let l be (-3)/w*9*(-304)/6. Is l greater than or equal to -1?
True
Let d(h) = 665*h**3 + 2*h**2 + 500*h + 497. Let r be d(-1). Is r smaller than -669?
False
Let l = 136465/109 + -1252. Let s = 0 - 0. Which is smaller: s or l?
l
Let p = 156 + -220. Let t be (-160)/p*(-8)/70. Let k = -9 - -25. Which is bigger: k or t?
k
Let u = -95.2 - -95. Let d be 1298/90 - (-4)/(-18). Let v = 98/5 - d. Which is smaller: u or v?
u
Let c = 495 + -475. Let s = 210 - 230.2. Let x = s + c. Which is bigger: 1/9 or x?
1/9
Let n = -237361/120 + 1978. Is 2 > n?
True
Let f be 153/(-326) + (-16 - (-396)/24). Which is smaller: -1 or f?
-1
Let l = 67113/7 + -9655. Let t = -4049/56 - l. Is 5 equal to t?
False
Let p(h) = -h**2 - h - 4. Let d be p(-9). Let n = d - -76. Is n at least -15/17?
True
Suppose 0 = 4*d + 2*a - 14, 38*d = 35*d + 4*a + 38. Which is smaller: d or -5/3?
-5/3
Let g(f) = 63*f - 9. Let r be g(3). Let j be -2*(r/8 - 0). Let a = -3 + -41. Which is smaller: a or j?
j
Let d = -27 - -62. Let g = 37 - d. Let z = -358 - -377. Is z not equal to g?
True
Let x(h) = 23*h + 157. Let k be x(-5). Suppose 2*p = -2*a + 16, -6*a + 2*a = 2*p - k. Which is greater: 25 or a?
25
Let v = -14 - -15. Let i = 8 + 12. Let f(o) = o**2 - 21*o + 23. Let d be f(i). Is v < d?
True
Let p = -144 - -144. Suppose -5*t - 25 = p, -t + 29 = 2*a + 272. Do a and -118 have the same value?
False
Let m = 16087 + -16086.9. Is m at most as big as -83.6?
False
Let s(d) = -3*d**3 + 6*d**2 - d + 4. Let x be s(2). Which is smaller: x or 15/7?
x
Let p(m) = 117*m - 25. Let x be p(1). Let z = x - 88. Is 1/9 smaller than z?
True
Let g = 110 - 136. Let h be (9 - (-273)/g)*(-542)/(-3). Does -270 = h?
False
Let k = -418 + 423. Which is bigger: k or -31?
k
Let z(w) = -2*w**3 - 20*w**2 + 3*w**3 - 2*w + 3*w - 