ch is smaller: 2 or i?
i
Let z = 0.0094 - -10.9906. Let f = 0.9 - 0.7. Which is bigger: f or z?
z
Let m be 3/(10/69 + 3/(-18)). Let r = m + 138. Which is bigger: 20/47 or r?
20/47
Suppose -7*z + 2828 = -4578. Which is smaller: z or 2113/2?
2113/2
Let x = 99 - 92. Suppose 0 = x*j - 6*j - 10. Let q be (-6)/30*j/164. Is q < 0?
True
Let r(j) = -2*j**3 - 333*j**2 + 164*j - 506. Let y be r(-167). Is y != 10/19?
True
Let z be (1 + 0)/(1/(-2)). Let t be (-403)/(-93) - 14/(-105)*-55. Which is smaller: z or t?
t
Let f be 4/20*((-40)/140 - 6/28). Which is greater: f or 117?
117
Let x = 95 - 97.1. Let i = x - -17.1. Is -2/5 at least i?
False
Let i be 5/(-30)*-6*17. Suppose -i*l = -30*l. Let z = -0.63 - -0.6. Which is greater: l or z?
l
Suppose -4*o - 284 = -108. Let k be 0 - (-1 + (-10)/(-8)). Does o = k?
False
Suppose -6 = 64*a - 62*a - 6*d, -15 = 5*a + 2*d. Is -132/65 smaller than a?
False
Let u = -65 - -67. Let b be (u + (-21)/6)*(-8)/44. Let a(s) = -s**3 + 12*s**2 - 11*s. Let h be a(11). Is b smaller than h?
False
Suppose 3*z - 2*p - 144 = 0, 3*p - 5*p - 48 = -z. Suppose s = z + 61. Suppose -12*c - 299 = s. Which is smaller: c or 1?
c
Let u = 17419 + -87042/5. Is u smaller than -1.3?
False
Let u = 65 - 61. Suppose -5*c - 8 - 16 = -2*q, -2*q = -u. Let x = c + -9. Is x at most as big as 0.1?
True
Suppose -33*q + 43*q + 1843 - 1873 = 0. Let k = -0.22 + 16.22. Which is smaller: q or k?
q
Let m = 27008558/1146319 + -4/27959. Are 23 and m non-equal?
True
Let t = 9 + -29. Let n = 95 + -97. Let p be (n - t/5) + -3. Is p smaller than -3/35?
True
Let p be (-548)/(-90) - 13*12/(-1170). Suppose 3*c + 5*b - 58 + 15 = 0, -10 = -2*b. Is p at least as big as c?
True
Let o = -126 - 162. Let x be (-2)/6 - 3/(o/140). Which is bigger: x or -0.1?
x
Let g be 3/((-9)/(-2))*(40107/58 + -30). Is g at most as big as 438?
False
Let u = 2.78 + 11.52. Let r = -4.7 - u. Let n be -10*(-18)/1800*10. Which is smaller: n or r?
r
Let f = -7.2106 - 0.0494. Let m = -23 + 21.74. Let z = f - m. Do 10 and z have the same value?
False
Suppose 0 + 6 = 2*q. Let t(p) = -46*p**2 - 54*p + 4. Let n be t(-5). Let y = 867 + n. Are q and y equal?
False
Let a = -77 - -332. Suppose -a + 13 = -11*l. Let p = l - 15. Is 8 greater than or equal to p?
True
Suppose -5*g = -2*p - 84, -3*p = p - 4*g + 168. Let m(a) = 60*a + 17. Let z be m(-1). Do p and z have the same value?
False
Let p be ((-53)/(-3))/(3/(486/6)). Suppose 5*i - 27 = -2, 4*a = 5*i - p. Let r = -107 - a. Is 3 less than or equal to r?
True
Let x = 19 + -25. Let m(n) = -2*n. Let y be m(x). Suppose -4*f = l + 4*l - 53, 2*l = 3*f + y. Is l at most as big as -4/5?
False
Let w = 485 - 297. Suppose -86 = -29*i + 55*i + 60*i. Which is smaller: w or i?
i
Let l be (1*(5 - 9))/2 - 7. Let j be (-1 - -1)*l/27. Is j >= 1/383?
False
Let b = -22586 - -30636. Is b > 8050?
False
Let u = -2.35608 + -542.64992. Let d = u + 545. Which is bigger: d or 0.1?
0.1
Let i(r) = 3*r - 1. Let c be 0/(208/91 + 4/(-14)). Suppose c = 4*y + 4, -5*v - y - y = -28. Let a be i(v). Is a > 16?
True
Let h be (3/(-6))/(2/(-24)). Suppose 28 = h*v - 68. Let d = 49/3 - v. Is d smaller than -1?
False
Let b = 19 + -11. Let z be 51 + -49 + (2 - 2*-2). Is z < b?
False
Let w be ((-4 - 2)/(-3) + -8)*-1. Suppose -5*i + 26 = w. Suppose 2*m - 7*m - 2*k + 562 = 0, i*k = 4*m - 444. Is 113 at most m?
False
Let n = 0.2 + -0.1. Let t(j) = j**3 + 16*j**2 - 44*j - 17. Let q be t(-18). Let o = q - 123. Do o and n have different values?
True
Let m = -331.7 - 51. Let a = 381 + m. Do a and -1/5 have the same value?
False
Let c(l) = 2*l - 4 + 13*l - 8*l + 15. Let w be c(-4). Which is smaller: w or -10?
w
Let f be (98/(-21) - -4)/(1/(-54)). Suppose -82 = 4*t + 2*b, 3*t + f = t + 4*b. Let h be (1/101)/(t/40). Which is bigger: h or 0?
0
Let h be 1 + (-1)/(-2)*2. Suppose 3631*p - 3634*p - 27 = 2*w, 4*w + 62 = 2*p. Which is greater: h or p?
h
Let v(y) = -24*y**3 + 9*y**2 - 19*y + 9. Let s be v(3). Is s smaller than -615?
False
Suppose 3*o - o = 4. Let q be (-24)/108 + (-20)/(-9) + o. Suppose -56 = -d + 3*i, -2*i = -5*d - q*i + 229. Which is smaller: d or 45?
45
Let c = -186.6 - -171. Let l = -15.5 - c. Which is bigger: -20 or l?
l
Let o = 85465/13 + -6571. Suppose -5*a = -23 + 3. Is o < a?
True
Let u = -1.9 - -1.26. Let g = 0.34 + u. Let z = g + 0.3. Is 1 <= z?
False
Let b be (-5697)/(-43255) + 3/(-15). Is -1 < b?
True
Let s(y) = 18*y**2 - 107*y - 7. Let c be s(6). Is c bigger than -3/760?
False
Suppose 0 = -p + 17 + 6. Let y = 309 - 322. Let l = p + y. Which is bigger: l or 11?
11
Let l = 0.6 - 0.5. Let o = 113 + -198. Let c = o - -110. Is c <= l?
False
Let k = -1780 + 17809/10. Is 2 not equal to k?
True
Let j = 755 + -740. Let i be (-1424)/288 + j/6. Which is greater: i or -3?
i
Let o be 1/3*4*6/8. Which is smaller: -2/10815 or o?
-2/10815
Suppose -f = -4*j - 4*f + 2112, -4*j = -3*f - 2112. Let q be ((-138)/4)/((-36)/j). Let s = q - 6581/13. Which is greater: 1 or s?
1
Let f = -25 - -25.59. Let y = f + -0.3. Let w = -0.01 + -1.99. Which is smaller: y or w?
w
Let f be 22939/(-58)*-1 + (0 - 1/2). Which is smaller: f or 398?
f
Let c(q) = q**3 + 3*q**2 - q - 277. Let f be c(0). Is -286 < f?
True
Let u(v) = -2*v + 15. Let p be u(5). Let b be 50/5*4/p. Let z be 18/30 - (b/(-30))/4. Is 0 > z?
False
Let m = -37235.32 - -37179. Which is smaller: 1 or m?
m
Let o(x) = -22*x**2 - 125*x + 154. Let p be o(-7). Which is greater: p or -298?
p
Let w = -1254 + 1254.1. Let z be (-48)/(-40)*(-830)/4. Which is greater: w or z?
w
Let w be (-25)/175*(-14)/(-4). Is w at least 23?
False
Suppose 4*d = -5 + 13. Suppose 0 = -q + 7*i - d*i - 12, 0 = 5*q - 3*i + 38. Let s = 0 + q. Is s at most -8?
False
Let x = -7/24 + -1/24. Let v = -179420/37 + 105840151/21830. Let h = -1/118 - v. Which is bigger: x or h?
h
Let k(m) = -646*m**3 - m**2 + 41*m + 44. Let s be k(-1). Which is greater: 637 or s?
s
Suppose -3*k - 223 = 4*m, -4*k + 8*m = 6*m + 334. Is k greater than or equal to -407/5?
True
Let c = -6325667/9 - -702093. Which is greater: -758 or c?
-758
Let g be (-1994886)/(-336) - 4/14. Let q = 5929 - g. Which is bigger: -9 or q?
q
Suppose 5*g - 19*g - 52*g = -8*g. Is g at least 2/999?
False
Let u = -375 - -3383/9. Let z = 57081 - 57079. Is z < u?
False
Let u = -0.088 + -0.053. Let l = -0.041 - u. Is -213 smaller than l?
True
Suppose -4*o = -3*n - 112, 2*n + 3*o + 0*o = -69. Let k(w) = 4*w**3 - 2*w**2 + 15*w - 16. Let u be k(2). Let l = n + u. Which is greater: 7/6 or l?
l
Let h(i) = 2*i - 6. Let t be h(5). Suppose -5*b + 21 = -2*f + t, -b = 3*f - 17. Let c be f - (-831)/(-138) - -2. Is 1 at most as big as c?
False
Let d = -0.11 + -0.612. Is d bigger than 2?
False
Let p be (-75)/8 + (-12)/(-32) - -3. Let r be (12/60)/(p/4). Which is bigger: 1 or r?
1
Let d(b) = 4*b**3 + 101*b**2 + 118*b + 98. Let c be d(-24). Which is greater: c or 43?
c
Let f be (-4)/4*-17*1. Let d(n) = n**3 - 16*n**2 - 16*n + 7. Let b be d(f). Let p be ((-8)/6)/(-2 + 175/90). Is p less than b?
False
Let d be (-30 - (18 - 466))/((4/(-14))/(-1)). Are 1462 and d non-equal?
True
Let y be (-5977556)/2988639 - (-4)/2. Is 0 <= y?
False
Let x be (46618/146835)/(1/5). Let g = x + -8/251. Let q be -2*(-1)/(-2) + (-4)/(-2). Which is smaller: q or g?
q
Let k = 384.916 + -385. Let h = 0.116 - k. Is -1/76 not equal to h?
True
Suppose -4*x + 57 = 17. Let u be -1 - x/((-640)/(-552)). Is u less than -9?
True
Let d = 7543.1 + -7902. Let i = d + 359. Which is smaller: i or -104?
-104
Let j = -37 - -61. Suppose -4*l + l = -j. Suppose b + 5*y = 18, 6*b - 2*y = 2*b + 28. Is b greater than or equal to l?
True
Suppose -3 = -a - 1. Let u be (-51)/1 + 4 + 14. Which is smaller: a or u?
u
Let c = -119 - -358. Let x = 239.1 - c. Is x < -151?
False
Let t be -5*9624*(-11)/110. Which is smaller: t or 4811?
4811
Let g(i) = i**3 + 3*i**2 - 180*i + 1. Let z be g(-15). Is z less than or equal to -1/6896?
False
Suppose -f - 11 = 4*u + 2*f, 2 = -3*u + 4*f. Let p be (1390/20)/(u/4). Is -139 less than p?
False
Let k = -85 - -169. Let q = k - 79.64. Let y = q + 0.64. Which is smaller: y or -1/7?
-1/7
Let o = 48.585 - 0.135. Let f = o + -48. Let u = -6.55 - f. Is -3 < u?
False
Let k = 527 + -527.0397. Let o = k - 0.0403. Is 3 <= o?
False
Let t = 2.915 - -1.085. Which is greater: t or -334?
t
Let x = 144 + -129. S