reater: d or g?
g
Let f be (0 - (-42)/(-24))*16/(-15). Let c = f - 36/5. Let n = -10 - -5. Which is smaller: n or c?
c
Let v = 58 - 56. Let j be (14/(-98))/((-1)/v). Which is smaller: -7 or j?
-7
Let v be (-3)/(261/(-84) + 3). Suppose 0 = -c + 4*z - 3, -1 = 5*c + z - v. Suppose -25 = -7*w + 2*w + c*q, 5*w + 3*q - 1 = 0. Which is smaller: w or 4/5?
4/5
Let g = -37 - -275/8. Let y(x) = 2*x - 10. Let n be y(4). Which is smaller: n or g?
g
Suppose -s = -2*j - 6, 5*j + 39 = -2*s + 42. Is 131/29 greater than s?
True
Suppose 4990*f - 15 = 4975*f. Do 3452 and f have the same value?
False
Let h(m) = m**3 - 41*m**2 + 34*m + 240. Let d be h(40). Suppose w = -7 + 1. Let i be (2/5)/(w/(-20)). Is d != i?
True
Let k = -44 + 253. Suppose -2*j - 3*y + 78 = 0, -4*y + k = j + 4*j. Let x = 6115 - 6070. Is x > j?
False
Let l be (14/(-12))/(5290/(-39330)). Does l = 10?
False
Let r(q) = -q**3 - 5*q**2 - 2*q - 10. Let h(m) = 2*m**3 + 25*m**2 - 15*m - 31. Let a be h(-13). Let w be r(a). Do 1/346 and w have the same value?
False
Let h = -3772 + 3693. Which is smaller: -82 or h?
-82
Suppose 7*o - 188 = 1. Let m be 30/o + (-4)/36. Is 2/1039 >= m?
False
Suppose 12 = 3*a - 3*p, 0 = p + 3 + 1. Suppose 0 = 5*f - 32*f + 54. Suppose -o - 3*z = -23, -52*o + f*z - 30 = -54*o. Which is greater: o or a?
o
Let q = -91.9 + 152. Let m = q - 60. Let l = -2 - -2.05. Is m smaller than l?
False
Let l = -5919166/47 + 125946. Which is greater: l or 6?
l
Suppose 34 + 6 = -10*f. Let q be -15 + -11 - 4*-1. Does f = q?
False
Let d = -15 - -13. Let x be (2 + d)*(-4)/(-16). Let m(l) = l**2 + 2*l - 20. Let j be m(x). Which is smaller: -19 or j?
j
Let a be -14 + (-266)/(-21) + (-16)/6. Let i = 11 + -14. Let j be 2/i + 110/(-24). Which is smaller: j or a?
j
Suppose -5*z + 46713 = -k - 10065, -k - 45424 = -4*z. Which is smaller: 11353 or z?
11353
Let b(g) = -g**2 + 9*g - 3. Suppose -5*r - 15 = -55. Let a be b(r). Suppose -5*s + 90 = a*t, 5*s - 14 = 11. Is 13 < t?
False
Let c(o) = 103*o + 15. Let n be c(3). Suppose 816 = -4*p - 4*g, 90 + n = -2*p - 5*g. Is -201 smaller than p?
False
Let p(i) = -i**3 - 8*i**2 - 5*i - 5. Let o(n) = -n**2 + n. Let u(b) = -2*o(b) + p(b). Let d be u(-2). Is -8 smaller than d?
True
Let j(i) = 10*i - 20. Let h be j(4). Suppose -7*p = 3*p + h. Let l be p - ((-338)/205 - 10/25). Which is bigger: l or 1?
1
Let z be (-5)/((-25)/2055) + -1*2. Suppose 4*g - z = -5*q, 5*q = 6*g - 2*g - 359. Suppose -3*m = 4*x + g, 3*m = 2*m + 4. Is x at least as big as 1?
False
Suppose 0 = -5*j + 2*k + 107733, 185*j + 5*k - 107740 = 180*j. Which is smaller: j or 21546?
21546
Let u = 3527 + -3527.1. Is u bigger than -145.6?
True
Suppose -19 = 3*x - 28. Suppose 2*c - 12 = 5*r, 5*c - r - x = -2*r. Let b be (c - 3)*(0 + 6). Which is smaller: -11 or b?
b
Let j be -1 - 11/8 - -2. Suppose -136 = -4*w - 120. Suppose -31*o + 26*o = w*m + 20, 5 = -o - m. Which is bigger: j or o?
o
Let h be -5*(-7 - (-648)/90). Let c = 2.97 + 153.03. Which is smaller: h or c?
h
Suppose 61*p + 2*d = 60*p + 826, -1666 = -2*p + 3*d. Is p at most as big as 2486/3?
False
Let x = 1/5294 + -5317/121762. Which is bigger: 106 or x?
106
Let q(f) = f**2 - 8*f + 25. Let p be q(10). Let m be ((-36)/10)/(p/(-150)). Suppose m*i = 2*i. Which is smaller: i or -3/4?
-3/4
Let p = -74/213 - -33208/94359. Let c be (-4)/14 - 226266/(-74424). Let d = c - p. Are d and 3 unequal?
True
Let n(c) = 2*c**3 + 24*c**2 + c - 13. Let v be n(5). Which is greater: v or 838?
v
Let h be 305/(-39) + (-2)/(-13) - -3. Let u = 1895/7 - 271. Which is smaller: h or u?
h
Suppose y - 1047 = m, -y + 1556 = -2*m - 535. Are -13560/13 and m unequal?
True
Suppose -9*b + 4*b - 10 = -5*y, -2 = 2*y. Let q(r) = -2*r**3 - 29*r**2 + 30*r**2 - r**3. Let g be q(1). Is b less than or equal to g?
True
Let f = -0.5 - 0.5. Let b(g) = 13*g + 99. Let r be b(1). Is r greater than or equal to f?
True
Let f be (-792)/(-13530)*175/(-2). Which is smaller: -5 or f?
f
Let d(k) = 13*k + 3. Let n be d(1). Let j be n/3 - (9 + -3). Which is smaller: j or 0.02?
j
Let n = -2.12 + 2.17. Let f = -14 - -18.05. Let o = n - f. Which is smaller: -3 or o?
o
Let f = -8/17 + -10/51. Let m = 38.76 + -40. Let o = -0.14 - m. Which is smaller: f or o?
f
Let o = -7614 + 6413. Does 1 = o?
False
Suppose 9*v = -39*v + 52320. Let z be (-16)/v*55/(-44). Is 1 smaller than z?
False
Let n = -0.13467 + -4.86533. Let c = 2/15 + 4/45. Which is smaller: c or n?
n
Let z(w) = -157*w - 366. Let p be z(-6). Suppose 0 = -0*k + 32*k + p. Is -21 at least as big as k?
False
Let a = 14.928 - 712.819. Let w = -698 - a. Is -2 greater than or equal to w?
False
Let b be 1479/(-290) - ((-2)/20 - 0). Are -43/9 and b unequal?
True
Suppose 0 = 2*s + 8 - 152. Let v be 2/(-2) + s/(-15). Let a = 496120.1 + -496120. Which is greater: a or v?
a
Let b = -1903 + 1243. Are b and 1 non-equal?
True
Let u = 0.3 - 0.2. Let l(r) = 7*r + 13. Let f be l(1). Let c be (2/f)/((-48)/(-20)). Which is smaller: u or c?
c
Suppose 4*p = -0 - 4. Suppose 5*d - 785 = 5*a, -4*d + a + 0*a + 628 = 0. Suppose 68 = 9*r - d. Is r >= p?
True
Let v be (-207)/406 + ((-1)/2 - -1). Let k(u) = u + 29. Let w be k(-29). Is v bigger than w?
False
Let f(i) = 14*i**3 + i**2 + 4*i - 26. Let r be f(5). Which is smaller: 1772 or r?
r
Let s = 2.1026 + -141.1026. Which is bigger: s or 0.04?
0.04
Let r = 13639/2 - 25273087/3706. Which is bigger: 1 or r?
1
Suppose -i - 5*l = -166 - 26, -3*i + 610 = -2*l. Suppose -5*j + i = -63. Is j equal to 54?
False
Let l be (-1)/(-3) - 34/8. Let w = 11627 + -69787/6. Let o = l - w. Is -7 at least o?
False
Let p = -1195/1071 + 5/1071. Suppose 6 = f - 3*q, -3*f + 2 = q + 4. Let i be ((1 - 2)*f)/(-2). Which is smaller: i or p?
p
Let o = 15263 + -8593066/563. Which is smaller: 0 or o?
0
Let f be (1/3 + 0)*-3. Let l be 1 + (f/(-1) - 2). Suppose -79 + 3 = 38*w. Are l and w nonequal?
True
Suppose -9*r + 153 = -15*r + 23*r. Is 50 less than or equal to r?
False
Let x = 1.5 + 5.5. Let j = x + -7. Let n be -6 - -5 - (-21)/42. Which is smaller: n or j?
n
Suppose -21 = -6*b + 3. Let u = 2/40429 + 1253279/404290. Is b smaller than u?
False
Suppose -4*f - 126*h = -127*h - 8044, -3*f - 4*h = -6014. Are 2011 and f equal?
False
Suppose -b - 9 = a - 7, 0 = -3*b + 3*a + 6. Are b and -86/259 nonequal?
True
Let q be ((-406)/42)/(1/3). Which is bigger: q or -73?
q
Let n be (84 - 90) + 4*10/(-4). Is -1.56 != n?
True
Suppose 5*h = -3*p - 16, -2*h + 10*p - 14*p - 26 = 0. Which is greater: -2/2119 or h?
h
Let a = 6999 - 6999. Is a > -7/3177?
True
Let w = 123 + 144. Let j = w - 273. Does -4 = j?
False
Let m be -80 + 0 - (6 - (4 + 2)). Let h be (m/32)/(1/(-2)). Let s be -4*2*(-23)/40. Is s != h?
True
Suppose m = -8*m - 711. Let t = m + 46. Do t and -33 have different values?
False
Let w be (-152)/16587*(-297)/(-18). Is w <= 0.1?
True
Let u be (-1 + (-7)/(-4))*(-1)/177. Let m = 12 - 13. Which is bigger: u or m?
u
Let b be 4/18 + -2*3/27. Suppose b = 2*z - 6 - 42. Is z at least 23?
True
Let x = 5045 - 5045. Does -0.2994 = x?
False
Let g = -1/53870 + -204677/1562230. Let y = g - -1/5. Is 0 equal to y?
False
Let q be (-78)/(-3)*(-1)/5*10. Let i = 29 + q. Let a = 25 + i. Which is smaller: 12/11 or a?
12/11
Suppose -18*m + 4*m = 7*m - 3738. Is m >= 176?
True
Let z(p) = 2*p**2 - 9*p - 2. Let k be z(-2). Let u be 16/k - (2 - 426/9). Suppose -2*j = -j - 46. Is j not equal to u?
False
Suppose a = 6*a - 415. Let f be (2 - 4 - 0)*(-914)/(-20). Let d = f + a. Which is smaller: -9 or d?
-9
Let v(z) = -2*z**3 - 14*z**2 - 4*z - 4. Let d be v(-6). Let u = -33 - d. Is 16 less than u?
True
Let a be 3/(-4) + 1/(-4). Let c be (7 - 19)/(-4) - -13. Suppose -5*o = 4*w - 14, 0 = 4*w + 2*o - c + 8. Which is smaller: w or a?
a
Let i be (-18)/1 + 19046760/1058198. Is -1 not equal to i?
True
Let x = 203 - 235. Let c be 138/x + 3 + 1. Is c smaller than 1/4?
True
Let v(p) = 4*p**2 + 335*p + 388. Let u be v(-99). Is 6427 > u?
False
Let n = 0.3 - 0.2. Let c = 167 + -165. Suppose 3*b + 26 = 8*b - 3*h, -2*b + c*h = -12. Which is smaller: n or b?
n
Let c = -22.1 - -23. Suppose 184*h - 1026 = 526*h. Which is smaller: h or c?
h
Let l = -0.0878 - 213.7122. Let m = -214 - l. Is m < 3?
True
Let j = 80 - 31. Let o = -16 - j. Which is smaller: o or 0?
o
Let a be (7 - 5)/18 + (-20)/18. Which is smaller: -26/45 or a?
a
Supp