t j = -699 - -698. Is j != g?
True
Let n = -871/120 - -139/24. Let q(h) = -2*h**2 + 7*h - 1. Let a be q(3). Which is greater: a or n?
a
Let f = 2750 - 13798/5. Suppose 4*l + 6*h + 124 = 98, 3*h + 46 = -5*l. Which is smaller: l or f?
l
Suppose 3*i = -i - 5*f + 23, 2*i + f - 7 = 0. Let g be 2/(-12)*16*(-21)/i. Is g >= 27?
True
Let h = 21255 + -21253.99. Let g = -25/33 + 12/11. Which is bigger: g or h?
h
Let d be 3*8/(-6) - 492/(-120). Let m be (2/2)/(10/30). Suppose -m*c - c = 0. Is d equal to c?
False
Let i be 3*(2*2/12 + (-6 - -3)). Which is smaller: 33 or i?
i
Let o = -3954.109 - -3954. Which is smaller: -5/2 or o?
-5/2
Suppose 0 = 3*g + 3*o + 2517, 7*g - 3*g + 2*o = -3366. Let p = g + 1580. Is 736 bigger than p?
False
Let u be (33/18 + -1)*6. Suppose u*r + 3 - 48 = 0. Suppose r*d = 9 - 0. Which is smaller: d or -1/16?
-1/16
Let l = 8081 - 8072. Is l at least 588?
False
Let l = 31298 + -32265. Is l > -967?
False
Let v be (-6)/(-16)*(-10366)/213. Suppose -3*u = -2*f - 157, 0*f + 4*f = 3*u - 161. Suppose -5*g + u = -8*g. Which is smaller: g or v?
v
Suppose -3*a + 12 = 2*x, -2*x + 0*x - 16 = -4*a. Suppose a*c - 141 = -5*j, -4*c + 3*c + 5*j = -4. Are c and 27 equal?
False
Let j be 4/2*1*-1. Let o = 1979 - 1986. Let c be 1 + (j - 13/o). Is 1 at most c?
False
Let k be 26498692/8265 - 3/((-45)/(-2)). Is k bigger than 3206?
False
Let v be ((4 - 4) + 30)/2. Suppose 0 = -6*z + 12*z - 60. Let s be (-5 + v)*(-4)/z. Are s and -33/7 non-equal?
True
Let m = 10807.7 + -10808. Which is bigger: 849 or m?
849
Suppose 3*n + 4*o - 1520 = -24956, 4*n + 5*o + 31250 = 0. Is -7820 less than or equal to n?
True
Let h be (-241)/(((-24)/6)/(-4)). Let p = h - -252. Which is smaller: p or 85/8?
85/8
Let d = -753 + 745.06. Let s = -0.06 + d. Suppose -3*y - 29 = -5*a, 2*a + 3*a = -y + 17. Are s and y non-equal?
True
Suppose 164 + 760 = 2*s. Let p be 2/13 - s/1820. Is 0 < p?
False
Let v(u) = -u**3 + 22*u**2 - 58*u + 9. Let w be v(19). Let d be (-3)/18*(w + 13). Let c = -80/9 + 364/45. Are d and c non-equal?
True
Let y = 47 + -397. Is y greater than -351?
True
Let j = 319 - 298. Let t be 168/(-9)*j/(-28). Let z = 28 + -13. Are z and t equal?
False
Suppose -h - 2*z = 66, -3*h + 57*z - 61*z = 188. Is -84 greater than h?
False
Let v be -25*(-1)/10*4. Suppose v*h = -101 - 9. Let q = 11 + h. Which is smaller: -1 or q?
-1
Let i be (-4)/(-407)*-49*28/(-2744). Let l be 8/2 - 2 - 3. Is i smaller than l?
False
Let o = 81 - 66. Let i = o + -15. Is -4/35 at least as big as i?
False
Let l(y) = 13 - 279*y + 254*y - y**2 + 4*y**2. Let h be l(8). Do h and 6 have different values?
True
Let r = -9265 - -10192. Which is bigger: r or 925?
r
Let h = -9.34 + 9. Let c = 1627.44 + -1627. Let o = c + h. Is 3 < o?
False
Let o(l) = -l**2 + 6*l - 7502. Let x be o(-84). Is -15061 at most x?
False
Let b = 466 - 471. Let s be (70/6 + 4)*(-2 - b). Which is smaller: s or 49?
s
Let x = -73.942 - 0.058. Let q = x + 59. Let i = -14 - q. Which is bigger: i or -16?
i
Let m be -4 + (12 - (-456)/(-40))/(3/10). Which is smaller: m or -810?
-810
Let z = 0.74 + -10.84. Let y = -1.9 + z. Let h = 3545/2 - 1772. Is h >= y?
True
Suppose -15*b = -50 + 20. Let d(s) = 3*s**3 - 6*s**2 + 3*s - 2. Let z be d(b). Suppose -z*t + 340 = 4*j, j + j - 165 = -t. Does 80 = j?
True
Let g be 23/253 - 138/4301. Is -16/13 >= g?
False
Let v = 2002.084 + -3.084. Is -0.2 at least v?
False
Suppose 2*n - 3*f = -4*f + 1184, 2960 = 5*n - 2*f. Suppose n = -4*k - 4*t, -2*t - 464 = 3*k - 3*t. Is k greater than or equal to -154?
True
Suppose -70 = -8*y - 6*y. Let f be -2 + ((-1842)/(-568) - y/4). Which is smaller: f or -1?
-1
Let o(n) = -104*n - 205. Let j be o(-2). Which is bigger: j or -10/49?
j
Let t = 19 - 19.9. Let l = -8827/3840 + -1/768. Let x = 14/5 + l. Is x <= t?
False
Let h be (-2)/5 + (-2)/(-5). Let l = -1 - h. Let q = 74897/2755 + -789/29. Is q <= l?
False
Suppose -17*w + 14*w = 9. Let u = w + 4. Suppose 2*z - u - 59 = 0. Which is greater: 29 or z?
z
Let v = -1115487/968 + 9219/8. Suppose 0 = -4*x - 3*p, 5*x = -0*p - 5*p. Is v greater than x?
True
Let c = 282993 - 14998628/53. Let l(y) = -y + 2. Let k be l(2). Which is greater: c or k?
c
Let q be 3*(-195)/18*14. Let k = -4553/10 - q. Which is greater: k or 4/5?
4/5
Let k = 192.7 - 258.7. Which is smaller: -0.2 or k?
k
Let l be (-6)/(21/(-6) - -2). Let g be (9 + -9)/(-1 + 4). Suppose g = -21*c - 44 + 128. Is l <= c?
True
Let l(u) = u**2 + 73*u + 72. Let b be l(-1). Which is smaller: b or 3/1819?
b
Suppose z + 11*z = 60. Let u be ((30/4)/z)/((-15)/40). Which is smaller: u or -29/6?
-29/6
Let k = 69510 - 415963/6. Let t = -172 + k. Which is smaller: 11 or t?
t
Suppose 39*p - 223 = 323. Is 320/23 <= p?
True
Let t = -2.272 - -2.172. Let y = -8 + -14. Is t at most as big as y?
False
Let j = -2337 + 633. Is -2/9 less than or equal to j?
False
Let p be -12 - (-2467905)/201476 - 3/12. Is 1 <= p?
False
Let j = 35 + -54. Suppose -12*z = -17*z. Suppose z = -3*t - 91 + 34. Is t <= j?
True
Let x = -12.216 - 10.884. Which is smaller: 3 or x?
x
Let u(s) = -s**3 - 11*s**2 + 9*s - 33. Suppose -28*d = -20*d - 192. Suppose d = -2*h - 0*h. Let f be u(h). Are 4 and f non-equal?
True
Let k be -1 - 47578*(-1)/(-13). Let v = 3659 + k. Let d be ((((-99)/9 - -10) + -6)/(-7))/(-1). Is d greater than or equal to v?
True
Let t = 1581 + -1579. Let y be 7/(-42) - 2/(-12). Let h be y + (-1 - (3 + 12)). Do t and h have the same value?
False
Let y = 8.2 + -2.085. Let p = y + -0.115. Which is greater: -9/4 or p?
p
Suppose 5*p - 3050 = -s, 167*p - 165*p + 5*s - 1197 = 0. Which is greater: p or -4?
p
Let r be (-9)/12 + ((-24)/(-4))/(-24). Let q = 57 - -406. Let c = -76857/166 + q. Which is bigger: r or c?
c
Let c = 0.6017 - 66.6017. Which is smaller: c or -1/18?
c
Let c(u) = -2*u + u**3 + 14 + 2*u**2 - u**2 - 39. Let f be c(0). Let d = f + 24. Is 1/62 smaller than d?
False
Let n = 9 + 151. Suppose n*k = 162*k. Let o = 9057/20 - 453. Which is bigger: o or k?
k
Let q(y) = 4*y**2 + 46*y + 41. Let j be q(-19). Suppose 9*h + j = 179. Is 0 at least as big as h?
True
Let r = -571/1362 + 39/454. Is r at least 38?
False
Let h = -1 - -2. Let g = -6.18953 - 0.11047. Is g > h?
False
Suppose 5*k = -3*i - 0*i - 12, -3*k = 0. Let c = i + 0. Let j(h) = 5*h + 7. Let z be j(c). Is -11 > z?
True
Let y be 23388/24 - (-99)/22. Is y smaller than -1?
False
Let q = 12287 - 2820. Which is smaller: q or 9468?
q
Suppose 2301 - 2312 = 11*n. Which is smaller: n or -18?
-18
Let m(u) = u**3 - 7*u**2 + 6*u + 1. Let c be m(5). Is c less than -15?
True
Suppose -11 - 5 = 4*s. Suppose -t + 5 = -0. Let u be (t + s)*(1 - 2). Which is smaller: u or 1/22?
u
Let n = 4 + -22. Let q(r) = 4*r + 68. Let x be q(n). Let f be (-276)/100 - 1 - x. Which is smaller: 0 or f?
0
Let i = 14206 - 14014. Is 211 equal to i?
False
Let x(l) = -5*l + 29. Let r be x(6). Let a be 4 + -2 + 121005/275. Let z = -442 + a. Which is bigger: z or r?
z
Let f = -1865 + 1913. Is 27 smaller than f?
True
Let a = 0.616 + -120.616. Let y = -123 - a. Which is smaller: 11 or y?
y
Let n(f) = -23*f**2 + 375*f. Let b be n(8). Are b and 0.1 equal?
False
Suppose -45630 = -5*b - 34*b. Suppose 52*o + b = 58*o. Is o at least 194?
True
Let h be ((-8)/410)/(212/(-583)). Which is bigger: h or -1?
h
Let y(a) = 333*a + 107. Let t be y(-5). Which is smaller: -1559 or t?
-1559
Let u(y) = -y**3 - 6*y**2 - 7*y + 17. Let g be u(-8). Let l = 359 - g. Let h be (-13)/13*(-4)/l. Which is bigger: h or 0?
h
Suppose 115*i = 121*i. Let d = 7628 + -3989446/523. Does i = d?
False
Let c = -8773/78556 - -19/164. Is c < 0?
False
Suppose -5*u - 55 = 70. Let g = -18 - u. Suppose 0 = -g*r - r - 32. Is 2 >= r?
True
Let t = 75.784 + -76. Let u = t + 0.316. Which is smaller: u or -0.021?
-0.021
Let j(t) = 25*t + 3. Let s be j(2). Let a = s - 14. Are 38 and a non-equal?
True
Let f = 7112 + -7558. Let j be 2/(-1*2)*446. Is j at least as big as f?
True
Let i = 75596/45 - 1680. Let x(c) = c**2 - 4*c + 22. Let u be x(0). Let q be -3 - 11/u*(-9 - -1). Are q and i nonequal?
True
Let w be (239 - 277)*((-321)/(-6))/(-1). Which is smaller: w or 2034?
w
Let b(s) = 54*s**2 + 11*s - 1. Let r be b(-4). Let h be (-4)/10 + r/135. Which is bigger: 7 or h?
7
Let u be (-2 + (-7188)/(-333))/((-10)/(-145)). Let c = u + -284. Which is greater: -1 or c?
c
