3)/10). Let h be 1*(-38)/n*-2. Which is bigger: h or -20?
h
Let t = 12693/253 - 489/23. Which is greater: 28 or t?
t
Let j = -23714 - -3912754/165. Let o = j - 2/33. Which is greater: o or -1?
o
Let t = 436 - 993. Is -557 at least as big as t?
True
Let a = -47 - -96. Let b be (-1 + 0 + 2)/((-7)/a). Which is greater: b or 2?
2
Let z = 1.027 - 0.9. Let a = 0.373 + z. Is a at most as big as -1/4?
False
Let f(g) = g**3 + 3*g**2 - 5*g - 6. Let w be f(-4). Let x be 88/10 - w/10. Which is smaller: 3 or x?
3
Let w = 1145 + -1144.95. Let u = -1/3 + -1/6. Which is bigger: w or u?
w
Suppose 5*g = 8*g - 3*a - 15, -16 = 4*a. Let p = 0.03 + 1.97. Let r = -1.5 + p. Which is smaller: r or g?
r
Suppose 386 = 4*p + 2*j, -4*p - 27 + 433 = -2*j. Suppose 0 = 6*d - d + 3*x - p, 0 = -3*d + 4*x + 42. Let y be (3 + -2)*d/(-3). Is -6 >= y?
True
Let b be 0*(0 + 1)*5/(-15). Suppose 0 = y - 3, 3*r + 15 = -2*r + 5*y. Is b greater than r?
False
Let f be ((-144)/40 + 4)*685. Is 273 greater than or equal to f?
False
Let j = -0.5 - -0.9. Let m = -0.1 + j. Let f = m - 0.3. Is f <= -3?
False
Let k = 5.6 - 5.7. Do -8/53 and k have different values?
True
Let y(l) = -4*l**2 - l + 0*l**2 + 5*l**2 - 7*l - 9. Let c be y(9). Let k be 8/16*(c - 2). Which is bigger: -2/33 or k?
-2/33
Let g = 14.593 - -0.307. Let a = 262 - 277. Let w = g + a. Which is bigger: -0.01 or w?
-0.01
Suppose 3*q = -4*i + 21, -3*i - 4*q + 2*q + 16 = 0. Let o be (17/51)/((-1)/i). Is -22/9 smaller than o?
True
Suppose k + 27 = -5*a + 14, 101 = -2*k + 5*a. Is -63 smaller than k?
True
Suppose 27*a + 2*z + 52 = 30*a, a = -z + 14. Are 14 and a non-equal?
True
Let k(a) = 57*a - 438. Let x be k(-19). Is x < -1520?
True
Let j be 5 - 0 - (-4 + 1). Suppose -f = 4 - j. Suppose -f*m - m = 0. Do m and 1 have the same value?
False
Let w be 11 + -5 + -1 + (-2832)/566. Are w and 0 unequal?
True
Let p = 129 + -126. Is p greater than -8?
True
Let x be 4/(-18) + 20/9. Let u(b) = -b + 1. Let z be u(x). Let m(a) = -a**3 + 15*a**2 + 15*a + 16. Let d be m(16). Are d and z equal?
False
Let y be (-6 + 1)/(47/(-235)). Is 33 greater than or equal to y?
True
Let l be -3 + 34/(-4) + 2. Let h = 53/6 + l. Suppose 13*y = 10*y - 6. Is h smaller than y?
False
Let h = -272 + 465. Which is bigger: h or 192?
h
Let p(b) = b**3 - 7*b**2 - 2*b - 4. Suppose 29 = 7*i - 3*i + l, 2*i - l - 13 = 0. Let q be p(i). Which is bigger: q or -17?
-17
Let c = -4598376711823297/3966198040 - -8411/9288520. Let u = 1159391 + c. Let s = -4/7 - u. Which is greater: s or 0?
s
Let m(b) = -b + 2. Let r be m(5). Suppose 0 = 4*z + 23 + 105. Let u = 26 + z. Which is smaller: u or r?
u
Suppose 7*q - 339 = 2*q + 4*f, -f - 280 = -4*q. Suppose -5*p - g + 61 = 0, 5*p - 4*g - q - 10 = 0. Is 13 smaller than p?
False
Let l = 20.7128 + -0.4048. Let d = l + -0.408. Let v = d - 20. Which is greater: v or -2?
v
Let p = -4/69 + -1222/345. Let f = 1044/5 + -212. Let r = f - p. Is r greater than 1?
False
Let v = 1574 - 1573.71. Which is bigger: 0 or v?
v
Suppose 3*q + 0*q = 0, 0 = 5*s + 3*q - 30. Suppose 2*j + s - 8 = 0. Let g(p) = -3*p + 1. Let y be g(j). Is -1 at least as big as y?
True
Let t = 27 + -24. Suppose 0 = -3*u + x + 8, 5*x = t*u + 8. Which is bigger: u or 2?
u
Let q be 2*(3 - 1) + -3. Which is smaller: -6/17 or q?
-6/17
Let u = -985 - -1435. Is u less than 451?
True
Suppose -4*o - 2301 = -105. Is 1/3 at least as big as o?
True
Let z = -286.4 - -286. Is 38 smaller than z?
False
Let x be 46/4 + (-2)/(-1). Let r be 234/780 - (-137)/10. Is x smaller than r?
True
Let r(j) = -4*j**2 - j. Let l be 1*(1 + -2)*1. Let p be r(l). Let f(h) = h**3 + 21*h**2 - 356*h - 7481. Let d be f(-21). Which is bigger: p or d?
p
Let t = 32 + -25. Suppose 72 = -n + t*n. Is 12 <= n?
True
Let a = -860 + 856. Suppose 4*d + 57 = 17. Let s be (-14)/5 - (-2)/d. Which is bigger: s or a?
s
Let o = -63 + 68. Suppose -3 = o*n + 7, -5*v + n + 17 = 0. Which is smaller: -2 or v?
-2
Suppose s - 1 = -19. Let d = -12 - -17. Suppose -4*j + 2*a - 62 = 0, -d*a - 7 = 8. Which is greater: j or s?
j
Suppose 43*b = 10*b - 792. Let v(n) = -n - 36. Let j be v(-12). Is j > b?
False
Suppose -648 = 72*r + 1080. Let n = -34 - -10. Is r <= n?
True
Let d(z) = -z**3 + 16*z**2 + 15*z + 34. Let h be d(17). Suppose -3*r = 3*i - i - 35, -22 = -2*r - i. Let k be (4/(-6))/((-15)/r). Is h != k?
True
Suppose -23*h + 26*h - 18 = 0. Let q be (-7)/(-154)*(-16)/h. Which is bigger: 0 or q?
0
Suppose -3*t + 2 = -4*t. Let m = 88 - 84. Let j be (t + 0)/(m*1). Do -1 and j have different values?
True
Suppose 0 = -5*q - 2 - 13. Let j be q/4 - 0/4. Does j = 0.1?
False
Let a = -35 + 36. Let r(p) = p**2 - 2*p. Let y be r(a). Is y greater than or equal to -2?
True
Let i be 6/(-3)*348/120 + 3. Suppose 0 = 4*n - 5*r - 21, -3*r = -6*r - 3. Let s be 4*(n + -2 - 3). Which is greater: s or i?
i
Let q = 5 + -1. Let o be q/(-14) + 36/28. Let b be (99/(-231))/(10/(-7)). Which is bigger: b or o?
o
Let f = 673 + -68. Which is greater: f or 606?
606
Let p be 3 - 5/((-20)/48). Suppose -p = -2*o - o. Suppose -10*j - 35 = -o*j. Which is greater: -8 or j?
j
Let f be (-2 - 51/(-12))*-4. Let h(s) = s**2 - 9*s - 10. Suppose -3*w = 5*o - 36, 5*o = 4*o + w + 12. Let v be h(o). Which is smaller: f or v?
v
Let l = 3.16 - 0.16. Let z = 0.5 - -1.5. Which is smaller: z or l?
z
Suppose 0 = -5*i, 3*i - 4*i = 5*k - 255. Suppose -j - 106 = -3*j. Is k smaller than j?
True
Let w be (-9)/(-1 - (-4)/16). Let r(o) = w + 0*o + 2*o - 6*o + o. Let t be r(5). Is -3 bigger than t?
False
Let b(g) = 5*g**3 + 7*g**2 + g + 3. Let w(s) = -4*s**3 - 6*s**2 - 2. Let u(a) = 3*b(a) + 4*w(a). Let z be u(-4). Which is greater: z or 3?
z
Let l = -2 + 3. Let z = -2 + l. Let g = 0.05369 - -0.14631. Which is smaller: z or g?
z
Let b = 1.204 - 1.254. Are b and -7 unequal?
True
Let h = 30 + -11. Let f = 17.4 - h. Let n = -1.6 - f. Which is bigger: n or -9?
n
Let w = -414 - -285. Let z = w - -130. Which is bigger: z or 13?
13
Let w = -731/18 + 53/18. Let p(t) = 6*t**3 + 3*t**2 + 2*t + 2. Let l be p(-2). Let k = w - l. Which is bigger: 0 or k?
k
Let c(o) = -3*o**3 + o**2 + 2*o + 1. Let w be c(-1). Let t be -6*(-1)/(-4)*(-8)/w. Is 2 less than t?
True
Let g(k) = k**2 - 11*k + 18. Let j be g(12). Let t = j + -29. Is t != -1?
True
Suppose 11 = -4*m + 5*m. Suppose -3*y + m = -16. Suppose 0 = y*h - 11*h. Which is bigger: h or 4/17?
4/17
Let l be ((-53)/(-3))/((-10)/33). Let a = 116037/1990 + l. Which is bigger: a or 0?
a
Let b = 14 + -12. Suppose -4*v + b = -3*v. Is v < 0.2?
False
Let b be ((-1)/(-1)*-1)/1. Let h = -8 - -10. Let o be (-3)/h*4/(-15). Is b equal to o?
False
Suppose -2*d + 2*w = 36, -5*d + 4*w - 49 - 37 = 0. Let j = -52 - d. Are -38 and j unequal?
False
Let m = -2.76 - -1.79. Which is smaller: m or -1/2?
m
Let f(y) = -18*y + 683. Let t be f(26). Which is bigger: t or 644/3?
t
Let f(l) be the first derivative of -l**4/4 - 7*l**3/3 - 7*l**2/2 - 5*l + 3. Let i be f(-6). Let p = 80/7 + -241/21. Which is smaller: i or p?
p
Let x be -22 + 13 - (-430)/50. Which is smaller: x or -214?
-214
Let x = 799 - 811. Which is bigger: 0.1 or x?
0.1
Suppose 8 = k - 3*k. Let l = 3 + k. Let p = 9 - l. Is p less than 10?
False
Let d = -4194 - -641678/153. Which is smaller: 1 or d?
d
Let t(s) = -3*s - 12. Let y(u) = u + 6. Let l(a) = 3*t(a) + 7*y(a). Let j be l(3). Which is smaller: j or 12/11?
j
Let o be 108/(-135)*-1*10. Which is smaller: 42/5 or o?
o
Let k be (489/3663)/(5*5/15). Let y = k + 2/185. Are y and 3 non-equal?
True
Let q(d) = d**3 + 6*d**2 - 2*d - 2. Let n be q(-7). Is n >= -35?
False
Let i = 330.1 + -330. Which is smaller: -2/275 or i?
-2/275
Suppose -120 = -3*s - 0*s. Suppose -5*z + s = -z. Which is smaller: 8 or z?
8
Let j be 3/6 + (-2)/(-4). Let w(r) = -3*r**2 - 17*r - 4. Let u be w(-5). Let q be ((-26)/u - -1) + (-1 - -4). Is q at most j?
True
Suppose -2*x = 2, 12*x + 22 = 3*w + 11*x. Is w >= -17?
True
Let u(v) = -v**2 - 2*v + 143. Let a be u(-13). Which is bigger: a or 10/11?
10/11
Let c be ((-9)/(-6))/(6/80). Suppose -13*o - 29 = -302. Which is bigger: c or o?
o
Let v = 14 + -94. Let a be 30*(v/(-15))/8. Is -0.1 not equal to a?
True
Suppose -20*m + 12*m = 64. Which is greater: m or -14?
m
Let z = -1/179 + 405/8413. Is -1 greater than z?
False
Let w be (1/(-18))/(25/(-15)). Suppose 0 = 34*b - 70*b + 36. Whic