/90. Which is smaller: i or -3/116?
-3/116
Let c = -153 - -297. Suppose 5*a + a = c. Is 22 at least a?
False
Let s = 741 - 947.5. Let k = 162 + s. Let r = -44 - k. Which is smaller: r or 1?
r
Let u(t) = -t**3 + 41*t**2 - 69*t + 574. Let k be u(40). Is k < -586?
False
Let h = -4112 - -4121. Is h greater than -97?
True
Let n = -429695/181 + 2374. Suppose f + 3*r - 10 = 0, 2*r + 3 = 5*f + 4. Is n != f?
True
Let k be (-12)/22 - -2239*(2601/(-187) - -14). Are k and 72 nonequal?
True
Let a = -159 - -238. Let q = -80 + a. Is q less than -10.2?
False
Let g = -57 + 27.7. Let h = 31.3 + g. Which is bigger: -2/5 or h?
h
Let k be (-16)/(-3462)*(-36)/48. Is 0 smaller than k?
False
Let j be 30/(-16) + 17/((-34)/(-3)). Let c = -0.22 - 0.28. Let f = c - -0.8. Which is smaller: f or j?
j
Let m be ((-12)/10)/((-9)/(225/10)). Let c be 93/(3/9*1*m). Is 94 equal to c?
False
Suppose 4*s = j + 7333, 48*j + 2*s = 45*j - 21957. Is -7322 less than j?
True
Let c(s) = -2*s**3 + 65*s**2 + 43*s - 125. Let g be c(33). Is g greater than or equal to 174?
True
Suppose 2*d - 17665945 = -81954491. Let g = d - -43876934929/1365. Let y = g + 8/195. Is 3 <= y?
False
Let b = -44 + 51. Suppose -b*o - 27 = 2*o. Let d be (o/12)/(6/8). Which is greater: -0.15 or d?
-0.15
Let q = -148 + 153. Let i be (-2)/q + 49490/(-2275). Is i equal to -22?
False
Let l be ((-22292)/(-4680) + -5)*-3. Let n = -15/26 + l. Suppose -c - 3 = 2*c. Is n >= c?
True
Let s be (-6)/(-3) + (-6352 - 188). Is -6538 less than s?
False
Let u(k) = -k**2 + 16*k + 7. Let d be 3*-6*-1 + -39 + 38. Let z be u(d). Let w be 1/((-2)/20) + (-71 - -73). Is z less than w?
True
Let r be (9 - 5 - 4)*((-36)/(-6) + -7). Which is smaller: r or -266?
-266
Suppose 8*n = 102 - 102. Let m be (-8)/18 + (-2)/(-6). Which is smaller: m or n?
m
Let z be (-4)/8*6 - -7. Suppose -4*x - z*x - 344 = 0. Let j = 1 - 45. Which is greater: x or j?
x
Let c(m) = 4*m - 4. Let r be c(1). Suppose -7*y = -r*y + 147. Let b(s) = -s**2 + 4*s - 9. Let a be b(6). Is a at least as big as y?
True
Suppose 4*g = 5*r + 132, -7*r = -3*r - 5*g + 102. Let a = 1.76 - 1.5. Let f = 0.36 - a. Which is bigger: r or f?
f
Let j be -15*(4494/18 - 5)*-1. Is 3673 at least j?
True
Let d = 1409.3 - 1410. Which is smaller: d or -249?
-249
Suppose 8 = 4*h - 2*o, 0*h + 5*h + 2*o = 10. Let r be (-105)/28 + h/8. Is r greater than -1/12?
False
Let y(p) = -p**2 + 26*p + 7. Let u be y(25). Suppose -7*z - 200 = -u*z. Do z and 9 have the same value?
False
Let v be (0 + 1771)/((-4)/4). Let u = v - -86770/49. Which is smaller: -1 or u?
-1
Let a be (28/(-14) - -19373)*(0 - 1). Let h be (-2)/(-3) - a/(-29205). Which is bigger: h or -1?
h
Let q be 51908/(-17300) - 12/((-4)/1). Is 0 > q?
True
Let j be ((-1)/2)/((-1)/(-24)). Let c be 2 - -5 - 7/((-28)/j). Suppose -9*r - c = 5. Which is greater: -25 or r?
r
Let k = -701/285 - 23/570. Which is smaller: -2/2875 or k?
k
Let y(h) = -h. Let d(z) = 20*z + 6. Let v(u) = -4*d(u) - 72*y(u). Let j be v(-5). Let i(x) = 3*x - 40. Let m be i(j). Is m < 23/3?
False
Suppose 8 = 18*a - 22*a. Let p be 2*(a/5)/((-24)/(-30)). Let b be ((-5)/20)/(6/(-4)). Is p less than or equal to b?
True
Let j be ((-13)/(-3) - 3)/(5/15). Let a be 1/(-4)*-1 - (-23)/j. Suppose 11 = k + 5*v - a, 0 = -3*v - 12. Is k at most 37?
True
Let j = 84258 - 84306. Let c = -104 + 57. Which is bigger: j or c?
c
Let t = 1228 - 1255. Let z = -107.58 - -135. Let x = t + z. Is 1 less than or equal to x?
False
Suppose -700*u = -697*u + 3309. Which is smaller: u or -1105?
-1105
Let j = -69.784 - -66.8. Let m = 0.016 - j. Is m at most -1/13?
False
Let m = 163 + -163. Which is bigger: m or 2156?
2156
Suppose 8*v + 0*v - 8 = 0. Let h be (v/(-6)*-81)/(2/(-12)). Is -81 >= h?
True
Let c(i) = -i**3 - 16*i**2 - 17*i + 52. Let m be c(-14). Let p be (0 + -1)*-102 + -2. Let o = m + p. Which is smaller: o or -12/5?
-12/5
Let h = 1.35 - -0.07. Let v = -2.42 + h. Which is greater: v or -0.84?
-0.84
Let t(g) = -g**3 + 48*g**2 + 86*g - 1801. Let k be t(49). Is -9 at most k?
True
Let a(h) = h**3 - 8*h**2 + 3*h + 2. Let d be a(8). Suppose 0 = -12*w - 39 + 339. Is d smaller than w?
False
Suppose -4 + 1 = 3*y. Let j = -1060244/2065 - -3594/7. Is y <= j?
True
Let g = -1263 + 1287. Which is smaller: 18 or g?
18
Let n = 0.391 - -0.269. Let y = n + 1.34. Are 24 and y nonequal?
True
Let y(n) = 15*n**3 - 13*n**2 + 6*n - 30. Let c be y(3). Which is smaller: c or 1922/7?
1922/7
Let n be (160/(-20))/(44*36/(-24)). Let t(y) = y**2 - 3*y - 1. Let q be t(3). Which is greater: q or n?
n
Let r = -87 - -90. Let j(a) = a**3 - 3*a**2 + 16*a - 51. Let h be j(r). Which is greater: h or -4?
h
Let s = 9.3 + -0.3. Let t = s - 5. Let m = 326.3 + -320.3. Which is smaller: m or t?
t
Let t be 3 + -4 + ((-18159)/(-372) - -3). Let v = 203/4 - t. Let w = 5 + -6. Which is greater: v or w?
v
Let w be (-3)/(2 - (-81)/(-36)). Let i(f) = f**2 - f**2 - 6*f**2 + f**3 + 11*f**2 - 3*f + 2. Let k be i(-5). Which is bigger: k or w?
k
Suppose -11 = 38*f - 49. Let x be (-4)/(138/(-23)*f/(-3)). Is x smaller than 20?
True
Let t = -19/15 - 2/15. Suppose 0 = 2*r - 3*a - 32, r + r - 32 = 5*a. Suppose 0 = 3*k + 3, -5*w - 5*k = r - 6. Which is smaller: w or t?
t
Let a be (-3 - (-16)/1)*(-108)/3. Let f be (a/15)/(3*(-3)/(-30)). Let m = f - -102. Is -9/13 at least as big as m?
True
Let o(z) = -z**3 - 6*z**2 + 14*z - 18. Let s be o(-8). Let a be s + ((-4)/14)/((-2)/14). Which is smaller: 0.137 or a?
a
Suppose -3*a + 0 = p - 13, -15 = -5*a. Suppose 4*n + 3*s - 138 = 0, -5*n - p*s = -5*s - 182. Let i = -179/5 + n. Is 1 at least i?
True
Suppose 3*d = -2*y + 816, -5*y = -4*d + 372 + 716. Are 6 and d nonequal?
True
Let u be -2 + (-11)/6*64/(-59). Suppose -7*i = -15*i - 8. Which is smaller: i or u?
i
Suppose 0 = -8*h + 9*h - 1836. Suppose -6*x = -33*x + h. Is 68 at most as big as x?
True
Let r = -34 - -74. Let o be (232/20)/(4/r*2). Let v = -119 - -176. Is o smaller than v?
False
Let r = -462 + 460.54. Let p = 1.56 + r. Which is bigger: p or 208?
208
Suppose 0 = 60*a - 35*a - 475. Suppose 4*p = -2*b - 746, -a*b + 368 = -2*p - 15*b. Is p greater than -185?
False
Let l = 19519 + -21076. Is l > -1562?
True
Let a = 1080 - 7557/7. Is -152 < a?
True
Let k = 23.377 + 21.323. Which is greater: 3/23 or k?
k
Let w = -81.7 - 5.3. Let m = w + 86.95. Let v = -158/5 - -32. Is m < v?
True
Suppose 6*z = 10*z - 276. Let v be (-46)/z + 112/6. Let y be 96/v + -5 + (-22)/(-6). Are y and 42/11 equal?
False
Let x = 45 - 42. Let n be -2 + ((-12)/x - -8). Let d be ((-80)/(-12))/(n/(-4)). Which is smaller: d or -13?
d
Let c be ((-76)/(-12) + -1)*-3 - -5. Let v be c - -14 - (3/(-3) + -25). Let u = -37 + 66. Is v != u?
False
Suppose 2*k + 232 = 2*z + 218, -2*z = -14. Which is smaller: k or -11/2059?
-11/2059
Let b be (242/(-33) - -7)/(10/15786). Is -526 < b?
False
Suppose 2*u + 35 = 7. Let j be -1 + u/(-16) + (-322)/112. Let s be (6 + j)*138/18. Is s greater than or equal to 20?
True
Let c = -0.092 + -15.908. Let h = -117/5 - -1223/45. Let w = h + -28/9. Which is smaller: w or c?
c
Let c be ((-1316)/35)/(12/10) + (-4)/6. Suppose -3*n = -0*n + 102. Is n >= c?
False
Suppose -5 = 8*d - 45. Suppose -u = -d*u + 160. Is u <= 42?
True
Let w be ((-9)/18)/(2/16). Suppose -107 = z - 99. Which is bigger: w or z?
w
Suppose 3*b = -2*u + 11, 9*b + 5*u - 2 = 10*b. Let d(k) = k + 2. Let h be d(1). Suppose -3*w - f = h*f + 11, -5*w = -4*f - 35. Is w >= b?
True
Let b(n) = 686*n - 8942. Let z be b(13). Suppose 0 = -x - 3*t - 18, 2*t + 46 + 22 = -3*x. Do z and x have the same value?
True
Let m be 2/(-2 - -4)*(-153)/9. Let d be m + 18 - 3*4/(-6). Suppose -13 = -d*w - 2*k, -2*k + 0 = w - 11. Which is bigger: w or 3/16?
w
Let k be -31*((20 - 15) + 4). Which is greater: -278 or k?
-278
Let j be (1170/(-3972))/(-13)*((-2376)/30)/9. Are j and -1 nonequal?
True
Let n(c) = 27*c + 37*c - 3 - 67*c + c**3 + c**2. Let k be n(-2). Let p be (-3)/(-111)*3*1. Is k equal to p?
False
Suppose 2*k - 3*u - 36 = 0, 3*k - 37*u - 9 = -40*u. Which is greater: 65 or k?
65
Let t = 84 - 81. Let n = 83 - t. Let k be 2/1 - (n/(-18))/(-4). Are k and 2 non-equal?
True
Let p be (-38 - (-4633)/123)/(626/552). Which is smaller: p or -1?
-1
Let a = 2.065 - -3.755. Do a and -2 have the same value?
False
Let u(w) = 7*w**2 + 7*w. Let b be u(-2). Suppose -b*l + 8