ose 5*u + v = 4*z, -3*u + 1 = 4*z - 4. Let d(i) = -i**2 - 5*i + 10. Let s be d(-7). Is s >= u?
False
Let t(i) = -4*i - 1. Let d be t(-8). Suppose n = -3*n - 4, 2*j - d = -5*n. Let g = j - 7. Which is greater: g or 12?
12
Let x be (((-35)/(-2))/(-5))/((-10)/(-1320)). Which is smaller: -463 or x?
-463
Let q be -2*(-5)/(-4)*-2. Suppose -4*y - 4 = 3*t, 2 - 1 = -y - q*t. Let r = 22 + -153/7. Which is smaller: r or y?
y
Let a be 2 - (-28)/(-8) - 18/(-4). Let g be (a/71)/((-3)/((-3)/(-1))). Which is greater: g or -1?
g
Let h = -44867/70236 - 1/11706. Let i = h - -8/9. Let j(w) = w**3 - 12*w**2 - w + 12. Let o be j(12). Which is bigger: i or o?
i
Let h(w) = 10*w - 140. Let a be h(14). Let z be (-63)/(-6)*1*-12. Let l be 60/z - (-1)/3. Which is greater: a or l?
a
Let v = 4.38 - 4.58. Which is smaller: v or -15/13?
-15/13
Let b be (-8)/(-16) + (-172)/8. Which is smaller: -62/3 or b?
b
Suppose -7*a = 71 + 34. Is -23 bigger than a?
False
Let m(z) = 4 + 0 + 5 - z. Let b be m(7). Let f(c) = -4*c + 3. Let a be f(b). Which is smaller: -2 or a?
a
Let f(w) = 4*w - 68. Let z be f(23). Which is smaller: z or 23?
23
Let u(f) = f**2 + 5*f - 6. Let t be u(-6). Let q = t + 3. Let z be q/(18/(-8)) + 2. Are -6 and z equal?
False
Let i(d) = 2*d + 10. Let b be i(-6). Let m be (-1 + b)*(-8)/(-24). Which is smaller: 3/8 or m?
m
Let n = -111443/120 + 2786/3. Let d(s) = s - 4. Let w be d(4). Is n less than w?
True
Suppose -4*y - 249 = r - 4*r, -4*r - 4*y = -360. Suppose 1001 - 5301 = -50*o. Which is greater: r or o?
r
Let m = -48 - -49. Which is smaller: m or -24/125?
-24/125
Suppose 4*u + 529 = 5*r, -3*r + 2*u = -212 - 107. Let m = 1089/10 - r. Suppose 4*w = -4*p - 4, -w - 4*p = -0*w + 1. Is m > w?
True
Let t be 2 + (2 - (1 + 7)). Let u be (-38)/(-14) + t/(-14). Suppose -u*a - 6 = -5*a. Is 2 greater than a?
False
Suppose c - 6*z + 4*z = 108, 0 = -5*c - z + 496. Let f = c + -210. Is f equal to -110?
True
Let b = 0.03 + 1.97. Let d = b + -2.1. Let a = -0.041 + -0.859. Which is smaller: d or a?
a
Let b = 13612/421 - -1/1263. Is b >= 1?
True
Let y be 2 - (-1)/((-21)/54). Let o = y - -19/21. Let u = -39 + 33. Which is bigger: u or o?
o
Let b be 2*(-1 - (-15)/6). Let l = 1081/660 - 1/660. Is l smaller than b?
True
Suppose 3*d - 5*z = -3*z - 21, 3*d + 5*z + 42 = 0. Which is bigger: d or 6?
6
Suppose 2*r - 5*l - 6 = 0, -r - l = r - 6. Suppose 4*q - 7 + 3 = 2*f, r*q = 4*f + 3. Which is smaller: f or 1/19?
f
Let m be 5/50 + 858/820 - 1. Which is smaller: m or -1?
-1
Suppose 20*g - 84 = 16*g. Let w(u) = u**2 - 23*u + 38. Let b be w(g). Is 2 > b?
True
Let u = 0.00047 - -114.68953. Let v = u + -115. Which is smaller: -0.1 or v?
v
Suppose -10 = 3*n - 1. Let v be (n + (-52)/(-16))*(1 + 1). Which is smaller: v or -34?
-34
Let h(p) = 204*p + 366. Let b be h(-2). Which is greater: -75 or b?
b
Suppose -8 = -10*d + 1792. Which is greater: 178 or d?
d
Suppose -39*a + 26*a + 715 = 0. Is a bigger than 54?
True
Suppose -2*k - k + t = 17, 21 = -5*k - 2*t. Suppose -y - 3*y = -4*n + 264, -58 = -n + 5*y. Let d be n/24 - 2/(-12). Which is smaller: d or k?
k
Let f(l) = l - 8. Let r be f(13). Suppose r*b = 5*x + 35, 5*b = -2*x - 9 - 5. Is x less than or equal to -5?
True
Suppose 2*y - 34 = -4*s + 12, -5*s = 5*y - 65. Let k = s - 12. Let i be (-3)/(-3)*22/k. Is i at least as big as -13?
True
Let m = 19673 - 6275681/319. Which is smaller: 1 or m?
m
Let f = -280.1 - -280. Which is bigger: 0.013 or f?
0.013
Let j be 0/1*(-2)/4. Let c be ((-144)/900)/(52/10). Which is smaller: c or j?
c
Let o = -20/229 + 1385/2748. Is -2/7 greater than o?
False
Suppose 4 = 16*m - 14*m. Suppose m*a = 4*a - 4. Is a <= 12/5?
True
Let l(s) = 13*s + 2. Let z be l(2). Suppose 4*a - z = d, -2*a - d = -11 - 3. Are a and 1 equal?
False
Let u = 364713464255107894015933/10973865 - 33234732180058522. Let v = u + -2/313539. Let r = v - -913. Is -1 > r?
False
Suppose 281 = -33*o + 2492. Which is greater: 468/7 or o?
o
Let b = 86 - 131. Let s be (-4)/(-30)*b/15. Which is smaller: -25 or s?
-25
Suppose 0 = i - 4 - 3. Let v(n) = n**2 - n - 5. Let q(b) = -b**2 - 6*b - 1. Let k be q(-5). Let g be v(k). Is g at least as big as i?
True
Let z be (-222)/45 + (9 + -5 - -1). Suppose -i = -0*i. Is z > i?
True
Suppose -358*w + 1756 = -362*w. Which is smaller: -440 or w?
-440
Suppose -5*o = -0*o - 10. Suppose x - 2*x + o = 0. Suppose 4*b - x = -2*a, 3*b + 3*a + 1 = -a. Which is smaller: b or 1/2?
1/2
Suppose 5*v + 10 = -5*t, 4*v - 4*t - 19 = t. Suppose 3 = -2*o + v. Do o and 1/10 have different values?
True
Let k = -332 + 335. Which is bigger: k or 38?
38
Let o = 6 + 5. Is 8 at most as big as o?
True
Suppose 9 = 39*b - 48*b. Are -25 and b equal?
False
Let z(h) = h + 13. Let f be z(-11). Suppose 7 = -3*l - f*t, -2*l - 3*t - 14 = -l. Let b be (-1)/(-4) + l/(-3). Is b at least 1?
False
Let s = -62 + 30. Let l = 28 + s. Which is bigger: -15/4 or l?
-15/4
Let b(m) = -8*m - 8. Let o be b(-4). Is o < 23?
False
Let f(w) = -w**2 + 4 + 32*w + 2*w**2 - 19*w. Let m be f(-4). Which is smaller: -31 or m?
m
Let g = -3.775 - -3.775. Let a = -25 - -17. Is a >= g?
False
Suppose 7*s = -13 + 111. Suppose 3*k - 3*p - 51 = 3, -4*k + p + 60 = 0. Is s less than or equal to k?
True
Let h = -1178 - -1177.7. Let x = 0.93 - 1.1. Which is smaller: h or x?
h
Let m be 3/14*(1 - 3/(-9)). Let x(u) = 5*u**2 - u. Let s be x(1). Which is smaller: m or s?
m
Let z = 21 + -14. Suppose 4*q + 124 = w - 5*w, -2*q = 4*w + 66. Let i = 35 + q. Is i at least as big as z?
False
Let f(g) = g**3 - 2*g**2 + g + 13. Let d be f(0). Let x(o) = 2*o**2 + 4*o. Let a be x(-3). Let y = a - d. Is y bigger than -6?
False
Suppose -5*j - z = z - 125, -2*z - 105 = -5*j. Is 24 bigger than j?
True
Suppose -4*k + 2*y - 156 = 0, 0 = -8*y + 12*y + 16. Which is smaller: -0.05 or k?
k
Suppose -3*b + 2*m = -70, 5*b + 57 - 162 = m. Let n = 0.3 + -1.3. Which is greater: n or b?
b
Suppose 188*u = 192*u - 2060. Which is greater: u or 516?
516
Let n = 2.4069 + -0.0369. Which is smaller: 2/7 or n?
2/7
Let j = -23.248 - -0.248. Let f = -0.1 + 0.2. Which is smaller: f or j?
j
Let w = 21/503 + -14173/315381. Do w and 0 have different values?
True
Suppose -4*a = 2*v + 20, -3*v - 45 = -a - 43. Is v smaller than 5?
True
Let b = -94 + 154. Suppose -o + 0*o - b = -5*y, y = -5*o + 38. Suppose 16*r - y*r - 42 = 0. Which is bigger: r or 12?
r
Let i = 12.98 + 0.02. Let y = 12 + 1. Let g = y - i. Is g greater than -0.1?
True
Let z = -75 + -79. Let i be ((-2)/(-1) + z/75)*5. Which is smaller: 0.1 or i?
i
Let m be (256/20 + -4)/(6/(-45)). Is m < -67?
False
Suppose 2*x + q - 100 = 0, 0*x - q - 160 = -3*x. Is 54 > x?
True
Let z(h) = 2*h + 15. Let n be z(-8). Let t = -383 - -5744/15. Which is greater: t or n?
t
Let x be ((-255)/45 + 5)/(-1). Let v = 23.5 + -4.5. Is x at most v?
True
Let a = 1.9 - 1.62. Let f = a - -15.22. Let g = f - 16. Is g at least 1?
False
Let y be 4 - (4 + (-1 - -5)). Let m(s) = -s**3 - 4*s**2 + 2*s + 6. Let k be m(y). Is -7/9 at least as big as k?
True
Let j = 61/130 - -2/65. Let t = 1822 + -1822. Which is smaller: t or j?
t
Let t = -40.9 + 32. Let j = t + 7.9. Which is smaller: 6 or j?
j
Let o = 9 - 8.84. Let f = -101 + 100.94. Let l = o + f. Which is greater: 1 or l?
1
Let y = 95 + -93. Suppose -6*f = -2*f + 20, -d - 11 = 3*f. Suppose -y*q - 10 = -d*p, 3*p + 2*q = 8*p - 10. Are p and -4/13 non-equal?
True
Let f = -8.2 + 1.2. Let w = -41 + 7. Let m = 36 + w. Which is bigger: f or m?
m
Let c = 0.17 + 12.83. Let k = 0.0527 - -21.0473. Let g = 21 - k. Which is smaller: g or c?
g
Let m be (-154)/35 - -4 - (-12)/10. Which is greater: 0 or m?
m
Let t be (-4)/(-1) - (-15)/(-4). Let p = 201 + -196. Is p <= t?
False
Let f = -7.233 + 7.2. Let j = f + 0.153. Let r be 2/1 + -2 + 0. Is r greater than j?
False
Let f be 1/(21/(-13)) + 1024/3584. Let x = 0 + 0. Which is smaller: x or f?
f
Let s = -0.7 + 0.2. Let t = s + 0.4. Let k be (4 - 5)*(8 + -13 - -4). Which is smaller: k or t?
t
Suppose z + 0*z + 24 = 0. Let q be (8/z)/((-2)/6). Suppose 2*g + 0*b - 26 = 3*b, 3*g = -5*b + q. Is 7 greater than or equal to g?
True
Let c(s) = -13*s - 5. Let g be c(-1). Suppose -2*l = -10*l - g. Which is bigger: l or 1/31?
1/31
Let l be 612/1430 + (49/(-35) - -1). Which is smaller: -1 or l?
-1
Suppose -58*u + 680 = -55*u + 5*w, 0 = 5*w - 5. Is u gre