Which is smaller: 2.41 or l?
l
Let s = -2 + 2. Suppose 15*u - 231 = 18*u - l, 4*u - 4*l = -300. Let x be u/4 + 1 + (-12)/(-8). Is s at most x?
False
Let j(q) = q**2 + 12*q - 25. Let x be j(-9). Let g = x + 54. Is g less than 24/41?
False
Let s = -387830/243 + 1596. Let k = s - 2833/243. Are k and -11 nonequal?
True
Suppose 0 = -4*v + 12 - 16. Which is greater: v or 8/1111?
8/1111
Let d = 51.94 + -52. Let p = -0.629 + -1.571. Which is bigger: p or d?
d
Let n be 4/14 + 1088/14. Let z = -681/16 - -1949/16. Is z at least as big as n?
True
Let j be 5203*-2*4/(-200). Suppose 5*i + 4*g - 1037 = 3*g, -3*g = 2*i - 407. Let m = i - j. Which is smaller: -1 or m?
-1
Let d = 683 - -15. Let l = d + -697.9382. Which is bigger: 0 or l?
l
Suppose 3*x + 4*s + 7 = 0, -2*x + 21 = -5*s - 5. Let z = 16 + x. Let r(f) = -10*f**2 + 45*f - 1. Let n be r(4). Is z at least n?
True
Let a(x) = 91*x - 9958. Let w be a(114). Is 416 >= w?
True
Let r = -0.67 - -272.67. Let t = 273 - r. Is t at most as big as 1/3?
False
Let r be (-174 + 173)*(166 - -1)*1. Which is greater: r or -1007/6?
r
Let v(i) = -i**3 + 8*i**2 - 6*i + 2. Let n be v(4). Suppose 104 = -71*j + 97*j. Suppose n + 2 = -j*d. Is -1 != d?
True
Suppose 2*w - 26 = -4*x, 0*x + 4*x = 2*w - 34. Suppose 0 = -10*b + w*b. Let z = b + 2/7. Which is bigger: 0.5 or z?
0.5
Let s = -7 + -3. Let c be (6/s)/3 + 624/420. Suppose -1 = 4*f - 5*f. Is c less than or equal to f?
False
Let r(o) be the first derivative of -o**3/3 + 25*o**2/2 - 22*o + 40. Let t be r(24). Is t greater than 27/7?
False
Suppose 4*i + 2*i = -8*i + 12*i. Which is smaller: i or 2/8047?
i
Suppose -197*o = 77*o - 2873 - 689. Is 129 equal to o?
False
Let l = -1/66 - -17/33. Let d be 18/5 + (-5)/(-25)*2. Suppose c - 3*q + 5 = -3, 5*c + 7 = d*q. Which is smaller: c or l?
l
Let j be (2 - (-39)/(-26))/(33/(-1899)). Are -30 and j nonequal?
True
Let f(g) = -g**2 - 6*g + 38. Let t be f(4). Which is greater: t or 1215?
1215
Let n = 23094 - 23107. Is n > -536/41?
True
Let a = -0.72 + -0.28. Let h = 150 + -152. Do a and h have the same value?
False
Suppose 4219 = -199*q + 58*q - 998. Do q and -140 have different values?
True
Let x = 1.1 + 3.9. Let u = x - 5.33. Let w = u + 0.43. Which is smaller: w or -1.9?
-1.9
Suppose 2*t + 96 = 3*m, 6 = m - t - 26. Which is bigger: m or -7?
m
Let q = -83 + 88. Suppose -80 - 21 = -n. Suppose -4*d - n = -q. Which is bigger: d or -23?
-23
Let l = -11275.67 + 11285. Is l <= 0.5?
False
Let r(j) = -4*j + 3. Let k be r(7). Suppose 4177 = -82*c + 1717. Is k less than or equal to c?
False
Let t = -2218 + 2295. Which is smaller: t or 1020/13?
t
Let g = -4104 - -4116. Which is bigger: g or -11?
g
Let a(y) = y + 16. Let n(l) = -3*l**3 + 2*l**2 + 4*l - 5. Let t be n(2). Let c be a(t). Suppose -c*s - 31 + 95 = -4*g, -s + 4*g + 16 = 0. Is 24 greater than s?
False
Suppose -q + 2*q - 23 = 0. Let l be (10/8)/((-86)/(-1032)). Suppose 4*w - l = -q. Which is bigger: 0 or w?
0
Let k be (-9)/(-6) - 85/(-10). Suppose -3*l - k = -1. Let o be (-11)/(-4)*l/(-6). Do o and 2 have the same value?
False
Let z = -12.66 + -1.14. Let w = z + 31.8. Let o = 11 - w. Are o and -0.08 nonequal?
True
Suppose 14*f = 19*f - 50. Suppose f*n + 476 = -14. Let g = -7 + -41. Is g greater than or equal to n?
True
Suppose 0 = 5*t - 3*r - 99, -3*t = 2*r + 19 - 86. Let x be (1 + 2)*(35/t)/1. Let g = x - 56. Which is smaller: g or -50?
g
Let q = -0.15 - -0.2. Suppose -30*l + 165 + 165 = 0. Let p be -6 - (l/(-2) + 7/14). Are q and p unequal?
True
Let l be (1 - -14)/(5278/(-1820)). Are -6 and l nonequal?
True
Let t be (-5592)/(-342) - (11 - 5)/(-18). Which is smaller: t or 18?
t
Let k(w) = w + 114. Let b(z) = 2*z + 230. Let r(s) = 3*b(s) - 7*k(s). Let n be r(-30). Which is greater: -76 or n?
-76
Let z = -243 - -216. Let m = 38 + z. Which is greater: 3 or m?
m
Let z(f) = 16*f + 16. Let o be z(-5). Which is smaller: -62 or o?
o
Let d be 87/(-21) - (-3 + 1). Let p = -104 + 116. Let k = p + -15. Are d and k equal?
False
Let m = -2140 - -2139.78. Let d = -8.91 + 2.43. Let s = m + d. Which is smaller: s or -0.1?
s
Let n(j) = -j**3 - 8*j**2 + j + 2. Let s be n(-8). Let q be -5 - (s/30 + -2). Which is bigger: q or -4?
q
Let u = 8426 + -6000. Which is smaller: 2424 or u?
2424
Let a(x) = -21*x + 76. Let m be a(12). Let l be m*(-14)/(-1228) + (1 - -1). Which is greater: 0 or l?
0
Suppose 37*i = 36*i + 5, -5*u - 125 = i. Which is bigger: u or -4?
-4
Suppose -8*z + 4943 = -6*z - 5*n, -3*n = -z + 2469. Do 2484 and z have the same value?
True
Let t = 190 - 581/3. Let d(s) = -s**2 - 13*s - 34. Let r(m) = 4*m**2 + 52*m + 136. Let c(i) = 9*d(i) + 2*r(i). Let b be c(-10). Which is smaller: b or t?
b
Let f = -117.9 - -216.9. Let r = -306.1 - -207. Let j = f + r. Which is smaller: 15 or j?
j
Let r = -2875/3 + 959. Let v = 4/17 - 54/85. Which is greater: v or r?
r
Suppose -34*f + 2 = -39*f + v, -2*f - 3*v + 23 = 0. Is f <= 1/2564?
False
Suppose -1021 - 2255 = -13*i. Let f be i/350*10/(-16). Which is greater: f or 0?
0
Suppose -q = -2 + 6. Suppose -3*k - 416 = -4*u, -424 - 292 = 5*k - u. Let p be (0 - (-724)/k) + 4/(-18). Which is greater: q or p?
q
Suppose -117*g - 67 = -2*m - 112*g, -3*g + 43 = 2*m. Is 27 bigger than m?
True
Let s(g) = 6 + 15 - 46*g**2 - 12*g + 47*g**2. Let d be s(10). Is d <= 3/5?
False
Let x = 161 - 146. Let i be -4*x/(-102) - -4. Which is smaller: 5 or i?
i
Let j(d) be the first derivative of -8 + 11/3*d**3 + 1/4*d**4 + 1/2*d**2 + 12*d. Let i be j(-11). Is 2/21 equal to i?
False
Suppose -5*c + 2*c = 237. Let l = 96 + c. Let h be (-3)/((-7)/28 + l/44). Which is smaller: h or -20?
h
Suppose 222*v - 51925 = -19273 + 89226. Which is smaller: 4946/9 or v?
v
Suppose 5*p + 4*c + 2945 = 0, -15*c = -p - 16*c - 588. Is p > -592?
False
Let m be (10/12*-2)/((-10)/120). Let k be (-8)/m + 356/(-10). Let y = -35 - k. Are y and -5 nonequal?
True
Let q = -3 - -23.1. Let u = q + 8.9. Let n = u - 28.9. Do n and -20 have different values?
True
Let r be (-792)/99 - (1 - 435). Let i(v) = v**3 + 14*v**2 + v + 30. Let x be i(-9). Is r >= x?
True
Suppose -4*v - 308 = 2*n, -4*v - 25 = v. Let z = -579/4 - n. Let p be -4*40/96 - (-1)/(-3). Which is greater: z or p?
z
Let n = 7389 - 7468. Does -0.12 = n?
False
Let p = -95 - -94.674. Let c = -0.024 + p. Let o = c - -0.55. Which is bigger: o or -1/4?
o
Let t(g) = g**2 + 6*g - 73. Let s(x) = -5*x + 56. Let k be s(10). Let j be t(k). Which is smaller: 64 or j?
j
Let u = 7 + -8. Let i be u + -42 + 4 - 2. Let j = i + 42. Is -2/19 greater than j?
False
Let g(i) = i**3 - 2*i**2 + 2*i - 2. Let z be g(2). Let q be 2/z - (-540)/9. Let b = 1938 - 1876. Do b and q have the same value?
False
Let s be -17*4*32/(-20). Let j = s - 138. Which is bigger: j or -28?
-28
Let c be (-21)/(-36) - 14/(-21). Let o = -585 + 584.94. Which is smaller: o or c?
o
Let x be -57 + 66 - 38/(-8). Suppose -2*h + 26 = 4*k - 22, -3*h + 44 = 4*k. Is x > k?
False
Let w = 7433 - 7429. Let t(i) = -i**3 - 3*i**2 - 2*i + 2. Let l be t(-2). Suppose -6 = -g - l. Is w smaller than g?
False
Suppose 2*c + 105 = -3*n, 105 = 5*n - 8*n + c. Let h be 2/12 + 5625/(-54). Let i = h - -102. Which is smaller: i or n?
n
Suppose 2*z - 5*q - 30 = 0, -4*q + 6 + 2 = 0. Let i(n) = 2*n**3 - 23*n**2 + 108*n - 225. Let p be i(6). Which is smaller: p or z?
z
Suppose 4*p - 19*r = -22*r - 114, 4*r = p. Let o = 62/37 + -3689/148. Is o greater than or equal to p?
True
Let m = 45.4 - 45. Let a = -0.363 + m. Let w = -0.137 + a. Which is greater: 0.32 or w?
0.32
Let k be ((-35)/(-14))/(-2 - (-9)/2). Let x(s) = 131*s + 4. Let o be x(k). Is o at least 135?
True
Let j(k) = k**3 - 17*k**2 + 15*k + 16. Suppose 0 = -5*i + 338 - 258. Let l be j(i). Which is smaller: l or 1/70?
l
Let f = -14.1 - -2.1. Let u = 107.8 + -109.8. Which is greater: f or u?
u
Let k(s) = 7*s - 14. Let u be k(-3). Let o = -17 - u. Let h be o/4*(-84)/693. Is -2 <= h?
True
Let m = -2958 + 2979. Which is greater: 1/81 or m?
m
Let r be (-7)/14 - (-59)/(-2) - 0. Let q be ((-80)/r)/(2/3). Suppose -3*h + 2*c = q*c - 7, c - 7 = -5*h. Which is smaller: h or -1?
-1
Let s = -284.17 + 2.17. Let q be ((-2)/12)/((-2)/3). Which is smaller: q or s?
s
Let t = 0.176 - 1.376. Let v = 127 - 128. Which is greater: t or v?
v
Let b be 1/(7/763) + (1 - 2). Suppose -107 + b = j. Let k = -3 + 9. Is j 