 + -118.576. Is n > -50?
False
Suppose 2700 = 14*n - 9*n. Suppose 0 = 6*s - s - n. Suppose -11*g + 2*g = -s. Are g and 12 nonequal?
False
Let q(r) = r**2 + 49*r + 548. Let c be q(-18). Which is smaller: -278/25 or c?
-278/25
Suppose -6*f + 9*f - 89*f = 0. Is f != 19/1020?
True
Suppose 47*v - 7201 - 366 = 0. Is v bigger than 107?
True
Suppose 0*r - 6 = -6*r. Let y be (-628)/(-208) + r + -4. Suppose 12*o = 1 + 11. Which is bigger: y or o?
o
Suppose -3*x - x + 8 = 0. Suppose -4*z + 6 = -x*z, -50 = 5*c - 5*z. Suppose -4*m + 18 = -7*m. Is c not equal to m?
True
Suppose -10 = c + 15. Let h = -6 - c. Let u = -4062 - -4081. Is h at least u?
True
Let u(a) = -a**3 - 3*a**2 + 3*a + 2. Let s be u(-3). Let c be 1/s + (-1272)/(-84). Suppose -22*d = -c*d - 63. Which is smaller: d or 39/5?
39/5
Let r(l) = -3*l**2 + 93*l - 197. Let n be r(30). Which is smaller: n or -3.7?
n
Let q = 114 - 114. Suppose -4*i + q*i = -2*t + 218, -4*t + 106 = -2*i. Let z = -67 - -13. Is z equal to i?
False
Let k be ((-275)/110)/((-1)/112*10). Is k greater than 38?
False
Let l(o) = -o**3 - 2*o**2 + 2*o - 3. Let y be l(-3). Let u be (30553/(-15252) - (-38)/(-19)) + 4. Let v = u - 3/164. Which is smaller: y or v?
v
Let v = 0.0853 - 0.0143. Let w = -0.029 - v. Is w < 0.184?
True
Let w = 5.92 + -6. Let q be (2 + 40/(-25))*((-810)/99)/18. Which is smaller: w or q?
q
Let j(x) = 10*x + 12. Let q be j(-4). Let h be (11880/q)/6 - -4. Let a = 67 + h. Which is smaller: -3 or a?
-3
Suppose 156*b = 2244422 - 380846. Are 11946 and b unequal?
False
Let z(x) = 16 + 45 - 14*x - 13*x + 10*x. Let h be z(8). Which is bigger: h or -74?
-74
Let w = 37 + -27. Let t = -0.01676 + 2.97576. Let k = t + 0.041. Is w greater than or equal to k?
True
Let i = 2791 - 6307/2. Which is smaller: i or -362?
i
Let x be 2/(-23) - 138630/690. Is 3 greater than or equal to x?
True
Suppose 5*n + 217 + 349 = -4*o, 5*n + 2*o + 538 = 0. Suppose -56 = 3*k + 253. Is k >= n?
False
Let m = 792 + -4771/6. Suppose 0 = 4*s + 122*z - 118*z + 28, 2*s + 5*z = -23. Which is smaller: s or m?
s
Let m(t) = 11*t**2 + 32*t + 96. Let w be m(-10). Suppose 7*x + 2253 = -w. Are x and -448 non-equal?
True
Suppose 24*o + 93 = -15*o - 258. Is o greater than 70?
False
Let o be 0 - (-11)/(605/(-1110)). Let q = o - -477/22. Which is smaller: -3 or q?
-3
Let h = 2449/12 - 204. Which is greater: 36 or h?
36
Let u = -8014 + 8011. Which is bigger: u or 112.7?
112.7
Let n(b) = -129*b + 1123. Let x be n(9). Which is smaller: x or -482/13?
x
Suppose -8*p = -296 - 104. Let l be -5*(-7 - 3)*16/p. Is l greater than 101/6?
False
Let w be 5 - 25/(100/(-2424)). Is w <= 614?
True
Let t = -5079 - -5011. Is t at most -86?
False
Suppose 3 = 5*v - 4*v, 4*v + 8 = -5*j. Let x be (-3)/(-14) - j*(-5)/40. Is 2/11 > x?
True
Let s = -33201579197/8619380 - 428/74305. Let v = s - -3852. Which is bigger: v or -1?
v
Suppose 1 = 4*p - 7*l + 2*l, 5*p = l - 25. Suppose 4*h + 0*h + 3*r = 9, -5*h + 18 = -3*r. Let b = p - h. Is b smaller than -9?
False
Suppose -211*g - 199*g + 386*g + 24 = 0. Which is bigger: g or 1/20261?
g
Let x(n) = 3*n**3 - 19*n**2 - 23*n + 27. Let t be x(8). Which is greater: t or 152?
t
Let r(x) = -x**3 - 7*x**2 + 17*x + 17. Let b be r(-7). Let d be 3*48/(-180)*(b + 2). Is d bigger than 81?
False
Suppose 4*o = y - 826, 5*o + 17*y = 12*y - 1020. Which is greater: o or 4?
4
Let p = 1036 - -431. Let u = p + -2165. Does -697 = u?
False
Let d be (111417/20)/3 - (-44)/(-110). Let n = d + -1857. Which is bigger: 0 or n?
0
Let r(u) = -u**3 - 9*u**2 - 5*u - 5. Let o(w) = -w - 1. Let d(k) = -5*o(k) + r(k). Let g be d(-9). Is -1/28 smaller than g?
True
Let c = -5.25 + 0.25. Let k = c + 37. Let o = 0.5 - -0.5. Which is greater: o or k?
k
Suppose -w - 32 + 45 = -z, 4*z + 2*w = -40. Let r(t) = 1. Let i(h) = -h - 26. Let d(k) = -i(k) - 2*r(k). Let p be d(z). Is p bigger than 12?
True
Let x be (-9*(-5)/675)/(16/(-6) + 4). Let y be 3/(-9) - 2/3. Which is bigger: y or x?
x
Let b = -37.5 + 37.6. Is b less than -8.12?
False
Suppose -4 = 3*m - 130. Suppose 2*l = 44 - m. Which is greater: l or 14/11?
14/11
Let o be -2 - (3/4 - (-13 + (-1416)/(-96))). Let s = 48461/13919 - 108/31. Do o and s have different values?
True
Let m = 1850 + -1850. Which is smaller: -2/3467 or m?
-2/3467
Let w = -41 + 14. Let g = 33 - w. Let a = 59 - g. Which is smaller: a or 0.43?
a
Let u be (24/(-40))/((-6)/4). Let r = -0.097 + 0.18. Let x = -6.917 - r. Is u at least x?
True
Let v be ((-4)/(-18))/(3 + 196/(-63)). Which is smaller: v or -13/25?
v
Let q be (0 - -1)*1/(-1). Let p be (57 - 54)/(6309/6). Does q = p?
False
Let i be (42/420*(10 + -1))/((-1)/2). Is i at least as big as -13/3?
True
Suppose 0 = -2*f - 4*h + 312, -257*f + 259*f - 309 = -5*h. Is 167 at least f?
True
Suppose 4*s - 3627 = u - 187, 0 = 4*u + 3*s + 13741. Is -3432 less than u?
False
Suppose -6*m = -2*m + 4. Let w = -376/67 - -12840/2479. Is m less than w?
True
Suppose 3*s + 25 = -0*r + 4*r, r - 4*s - 3 = 0. Suppose -r*z + 276 = -3*z. Is 1/3 smaller than z?
True
Let c(n) = -3*n**2 + n + 759. Let m be c(0). Let g = 103225/136 - m. Is g at most as big as 0?
False
Let b = 516 - 1041/2. Suppose r - 3*r = 0. Suppose -5*s = -r*j + 3*j + 32, 5*s + 36 = -4*j. Which is smaller: b or s?
b
Let n = 208 + -200. Suppose -4*d - 4*w + 64 = 0, -4*w + n = -2*w. Is d greater than or equal to 0?
True
Let k(i) = -i**2 - 11*i - 23. Let w be k(-8). Let t be 2/(-30)*(-1)/2. Which is greater: t or w?
w
Let m = -52 - -61. Suppose 1090 = m*i + i. Suppose i = -11*v - 45. Is v bigger than -14?
False
Suppose -3*y = -19*y + 160. Suppose 4*x - y = 314. Does 81 = x?
True
Let s = -146 + 148. Suppose 0 = 3*b + 4*x - 5, s*x = 3*b - 3*x + 13. Let t = 1193 + -139583/117. Which is smaller: b or t?
b
Suppose -142*j = -37121 + 1337. Is j at least 254?
False
Let c be 3*4/54 - 39185/(-612). Let b = -191 - -255. Is b less than or equal to c?
True
Let g(j) = 63*j - 2232. Let v be g(36). Let c be (-532)/(-16) - (-2)/1. Which is greater: v or c?
v
Let m = 24 - 134. Let y(z) = 2*z**2 + 68*z - 393. Let f be y(-39). Let i be f - -5 - (-10)/m. Is i less than 3?
True
Suppose 0 = -18*q - 138 - 6. Is -13 smaller than q?
True
Let y(n) = 6*n**3 + 6*n**2 + 13*n + 10. Let x be y(-2). Which is bigger: -83 or x?
x
Suppose -5*b + 321 = -3*b - 3*o, -163 = -b + o. Let f be b/24*(-3)/(-21). Is f at least as big as -5?
True
Suppose 5*n = 2*n - 345. Let r be 24/276 - 7166/n. Are 63 and r unequal?
True
Let y be ((-68)/6438)/((-4)/27). Let o = 1/58 - y. Suppose 5*t = 2*w - 11, -4*t + 70*w - 12 = 68*w. Is o less than t?
True
Let u = -3 - -23. Suppose -6*y - 4*k = -2*y + 124, 0 = 4*k + u. Let n = y + 41. Is 0.1 < n?
True
Let y = 3455 - 3442. Is y not equal to 9?
True
Let v be (-7 + -1)/(105/(-90)*2/14). Is 1494/31 at most v?
False
Suppose 866 = -5*d - n, -11*d + 6*d - 867 = 2*n. Let g be (0 - -2 - 176) + 1. Is g > d?
False
Let t(o) = o**2 - 51*o - 15. Let q be t(21). Let h be q/(-115) + -5 - (-4)/(-6). Is h > 0?
False
Let b = -9.032 - -9. Let u = b + -0.04. Let p = 0.012 + u. Is p > 0.5?
False
Let a = 15.2 - 15. Let z = 69.2 - a. Which is greater: -1 or z?
z
Let c be (-20)/(-600) + (-41)/1230. Let x = -1837/1178 - -41/31. Which is smaller: c or x?
x
Let u = 4 + -14. Suppose -699 + 186 = -9*a. Let l = 48 - a. Is l less than u?
False
Let i be 114/22 - (7 + 525/(-77)). Let k be i/80*8 + (-13)/10. Let n = -3.1 + 3. Is k greater than or equal to n?
False
Let a = 469.84 + -486. Let l = 0.16 + a. Let u = -10 - l. Is 0 greater than or equal to u?
False
Suppose 3*v + 33 = d - 74, 2*v + 74 = 2*d. Let a(w) be the second derivative of w**4/12 - 3*w**3 - 9*w**2 - 45*w. Let r be a(17). Is r at most as big as v?
True
Let b = 0.016 + -0.306. Let y = -0.81 + b. Let h = 0.46 + -0.26. Which is smaller: h or y?
y
Let o = -19 + 52. Let d = -923 + 956. Let a = o - d. Which is smaller: 2/11 or a?
a
Let w(a) = -a**3 - 7*a**2 + 9*a + 13. Let u be w(-8). Suppose -3*j + 1 - 26 = -u*f, 5*j + 29 = 2*f. Is -2 bigger than f?
False
Let p = 4738 + -5172. Which is bigger: p or -0.4?
-0.4
Suppose 1284 = 159*q - 306. Which is smaller: q or -20?
-20
Let k = -0.6237 - -0.6237. Which is bigger: k or -25282?
k
Let c(s) = 42*s - 150. Let m be c(5). Suppose -71*b = -72*b + 61. Is m <= b?
True
Suppose 3*c + f + 14 = 9, f = -c - 3. Which is smaller: