 Suppose -u = -14*r + 4*r. Which is greater: 37/11 or r?
37/11
Let p(j) = 9*j**2 - 15*j + 19. Let b be p(1). Which is bigger: b or 141?
141
Let n(l) = l**3 - 7*l**2 + 5*l + 14. Let i = -39 - -59. Suppose -i = 4*k, 56 - 6 = 5*f - 4*k. Let v be n(f). Do v and 8 have different values?
False
Let o = 3.6 - 3.223. Let h = o - 1.377. Which is smaller: h or -253?
-253
Suppose -78*t = 9274 + 1646. Suppose -2*r - 257 = -5*y, 156 = -r - 0*r - 3*y. Which is smaller: r or t?
r
Let d = -0.4 + 30.4. Let w = d - 30.2. Let c = -13 + 14.1. Which is smaller: c or w?
w
Suppose -2*n + 997 = -u, -3*u + 2*n = -5*u - 2000. Are u and -997 nonequal?
True
Suppose 0 = -122*o - 122*o. Let j = 46 - 49.9. Is o less than j?
False
Suppose -2*i + 912 = -5*t - 4*i, -4*t = -5*i + 723. Let k = -181 - t. Which is smaller: k or 2/11?
2/11
Let p = 7 - 28.4. Let t = -21.4 - p. Let d = 8 + 27. Which is greater: t or d?
d
Suppose 5*a + 14 = 13*t - 17*t, -2*a + 2*t - 2 = 0. Let r be -1 - (1 + a)*9. Which is smaller: r or 5?
5
Let t(k) = 19*k - 19. Let w(u) = 15*u**3 + 2*u**2 - 2*u - 1. Let o be w(-1). Let q be (-15)/o*-2*18/(-15). Let m be t(q). Do 39 and m have the same value?
False
Let h = 21457/19 + -1129. Suppose 11*o = 21*o + 50. Let t(y) = y**3 + 3*y**2 - 12*y - 11. Let b be t(o). Is b at most h?
True
Let w = -25826 - -27090. Which is bigger: 1268 or w?
1268
Let b be (3800/210 - 18) + 115099*2/42. Do 5482 and b have the same value?
False
Let o = -0.8603 + 1.2444. Are o and 0 equal?
False
Let j be 344 - 360 - (-64758)/4046. Is j less than 1?
True
Let i be 178/(-8) + (-1)/(-4). Suppose 0 = -3*l + 4*b + 292, l - 18 = -3*b + 101. Suppose 4*x = -3*v - l, 5*v = 5*x + 8*v + 127. Which is smaller: i or x?
x
Let m(o) = -o - 5. Let d be m(-6). Let x(i) = -i**3 + 15*i**2 - 14*i + 2. Let v be x(14). Suppose 8*l = -v*l + 10. Is l > d?
False
Let h(d) = -154*d - 14. Let o be h(-1). Suppose 0 = -6*l - o + 8. Is l at least -23?
True
Let p = -3998 - -3998. Which is smaller: -1/1947 or p?
-1/1947
Let f = 2.5118 - 2.3118. Suppose b + 105 = 4*b. Is b smaller than f?
False
Let x = -10036 + 10063. Which is smaller: x or 70?
x
Let k = 1161 + -559. Let m = k + -531. Is m less than or equal to 71?
True
Let q = 32.599 + -56.919. Does q = 1/5?
False
Let r be (-48)/96 - (-1)/2. Suppose -11*o - 47 + 3 = r. Is -0.2 greater than o?
True
Suppose -63808 - 67817 = -195*k. Do 665 and k have the same value?
False
Suppose 0 = -x - 3*b + 12, 0 = -2*x + 63*b - 62*b - 4. Is x bigger than 1/2824?
False
Let q = 1/2583 + -6185/408114. Let a = q - -8777/16590. Which is bigger: a or 1?
1
Suppose -7*m = -4*h - 6*m + 2, -4*h + 6 = -3*m. Let g(a) = -5*a + 13. Let s be g(-4). Let w be s/88 - 505/1368. Which is smaller: w or h?
h
Let d be ((-5)/(-10))/((-78)/(-8)). Let n = 8/17 - 392/1989. Let g = d - n. Is -3 less than g?
True
Let l(o) = 30*o + 1136. Let a be l(-38). Which is smaller: a or 310?
a
Let j be (-1053)/(-45)*(-18)/(-36)*180/(-27). Suppose -17 = 3*f + 217. Is f < j?
False
Suppose -9*k + 2*k - 245 = 0. Let u(l) = l - 6. Let j be u(9). Suppose -5*p + 175 = -5*z, -j*z - 4*p - 60 = 45. Is z > k?
False
Let d(u) = -u**3 + u**2 - 2. Let x(v) = 8*v**2 - 7*v + 6. Let a(t) = d(t) - x(t). Let p be a(-8). Which is greater: 88 or p?
88
Let m be (-81)/891*2/640. Which is greater: -1 or m?
m
Suppose 3*z - 4*k - 108 = k, -2*k = 3*z - 108. Let c be (-48)/z*(2 - (-19)/(-12)). Which is smaller: c or 0?
c
Let t = -543 - -99. Let v = -447 - t. Let x be 2*(-2)/13 + -2. Which is smaller: x or v?
v
Suppose 5*k + 2*d + 13 = 0, 0 = d + 11 - 7. Are 10 and k equal?
False
Let z be (2 + 4)/((-2)/12). Let n be -51*3/z + 3/4. Let i be n/((-815)/(-3))*(-2)/(-3). Which is greater: i or -1?
i
Let o = 572 + -4002/7. Let v = -198 + 198.38. Are v and o non-equal?
True
Suppose -11*o + 9 + 13 = 0. Suppose 10 = -f + 2*f - 3*b, -o*b - 6 = 0. Which is greater: -4/141 or f?
f
Let g = -1.371183 + 109.846883. Let w = -2.5857 + g. Let b = -106 + w. Which is smaller: -4/3 or b?
-4/3
Let c(a) = -a**3 + 28*a**2 - 27*a + 2. Let j be c(27). Suppose j*i = 8, 2*b + 3*i - 237 = -3*b. Which is bigger: 0 or b?
b
Let u = 401 + -1607/4. Let h = -9 + 12. Suppose x + 4*o = -8, -h = 3*o + 3. Is x at most as big as u?
False
Suppose 2*q + 5*n = -541, 2*q - n + 571 = 4*n. Let y = 836/3 + q. Which is smaller: y or 4?
y
Let g = -16.9 - -16.8. Which is bigger: g or -822?
g
Let d(t) = t**2 + 11*t - 4. Suppose -56 = -0*k + 4*k. Let c be d(k). Let m = c + -29. Which is greater: m or 15/2?
m
Let k = -0.5189 - -492.5189. Which is bigger: 0.1 or k?
k
Let z = 7702 + -7731. Is z less than 7?
True
Let p be (-81)/6*(-32)/6. Let v = p + -70. Does v = 7/9?
False
Suppose -180*l = -98*l - 99*l. Which is greater: l or -24/221?
l
Suppose 6*d = 10*d - 52. Let z be (-378)/12*(-2 - -4). Let p = 75 + z. Is p less than or equal to d?
True
Suppose 0 = -4*d - p - 1979, -4*p = -d - 175 - 324. Are -498 and d equal?
False
Let m = 31 - 17. Let j = -5 + m. Suppose 3*x - 12*o + 17*o = 48, 0 = -2*o + 6. Is x > j?
True
Suppose 18*s - 13*s = 210. Let a = -57 + s. Let o be -7 - -8 - 99/a. Which is bigger: 9 or o?
9
Let z be ((-4)/(-1014))/((-18)/54). Suppose 0*h = 3*h - 39. Suppose 4*w + 2*j - 29 = -3*j, 3*j - h = 2*w. Is w at least as big as z?
True
Let m = -1609 + 1609.2. Is m != 1370?
True
Let q be (-24674)/(-12) + 11/6 + -2. Suppose 444 = -26*j + q. Which is bigger: j or 64?
64
Let i(t) = t**2 + 9. Let j be i(4). Let c = j - -65. Suppose 28*a - 23*a = -c. Which is bigger: a or -17?
-17
Let x be -12*21/(-42) - (1 - (-129)/27). Are x and 79 equal?
False
Let m(y) = -y**3 + 6*y**2 + 12*y - 14. Let c be m(11). Let z be (-2)/(-16) - c/8. Let q = -82 + z. Is q at most -21?
True
Let t = -739 - -732. Suppose w + 1 + 4 = 0. Let k(i) = i**2 + 8*i + 5. Let d be k(w). Which is greater: d or t?
t
Suppose -3*z + 2*g - 1284 = 0, 0 = -23*z - 10*g + 9*g - 9844. Is z at most -428?
True
Suppose 336*w - 295*w = 0. Let b = 15 + -7. Let k be b/(-420) - (1 - 1). Is k > w?
False
Let f(j) = j + 5. Suppose 5*t - 12 = -2. Let p be (24/28)/((-4)/56*t). Let n be f(p). Is -3 <= n?
True
Let b = 19 + -18. Suppose 0 = -c + 5 + b. Let x be (-2)/c*36/(-56). Is x <= 0?
False
Let f(u) = -3*u**2 - 4*u + 64. Let r be f(9). Let w = 78 + r. Is -135 less than w?
False
Suppose l - 7 = 3*a + 36, 5*a = 5*l - 215. Suppose -28 = 18*f - 244. Suppose d = -z + 5*z - 165, 0 = -4*d + f. Which is smaller: z or l?
z
Let w = -28 - -49. Suppose 3*z - w = 63. Suppose -p + 6 = z. Which is smaller: p or -21?
p
Let r = 285 - 334. Which is smaller: -40 or r?
r
Suppose 0 = 5*r - 25, -2*f + 4*r = -0*f - 10760. Suppose 0 = -141*j + 155*j + f. Is j > -386?
True
Let v = 43 - 450. Let g = -408 - v. Let m = -0.44 - -0.04. Is m greater than or equal to g?
True
Let w(m) = -238*m - 112. Let i be w(1). Is i > 3?
False
Let k be ((-53)/15 - -3)*-3. Let z = -63 - -69. Suppose z = 7*w - 8. Is w equal to k?
False
Let x be (-8)/15 + 2/(-3). Let u be (1/(-2))/((-1)/8). Let r be 2/(-2 - 2)*u/1. Is x at most as big as r?
False
Let x = -35.94 + -0.06. Let z = -4 - x. Let y = 32.2 - z. Which is bigger: -0.1 or y?
y
Let w = -1697 + 1619. Does w = 13?
False
Let x = 17 + -6. Suppose -5*p = -x*p + 750. Is p equal to 123?
False
Let g = 12 + -19. Let d be (-2)/(-4)*g*6/12. Is -2 not equal to d?
True
Let g = 24.1 + -23.54. Let o = 1.02 - g. Which is smaller: o or -4?
-4
Let t be -3 - (19 - (-4 + 4)). Let q be (0 - 1)/(11/t). Suppose q*d = 5 - 1. Is d at most -9?
False
Let j(p) = -2*p + 13. Let t be j(-11). Let y = -12 - t. Let q = y + 79. Which is greater: q or 33?
33
Suppose 1033 + 658 = -2*j - 1345. Which is smaller: -1 or j?
j
Suppose 3*p + 3*f = 4*f - 7, -4*p - f = 7. Let w be 29*4*(-132)/176. Let y be p + w*1/(-45). Which is greater: y or 0?
0
Suppose 5*a = 11*a + 6. Let u be ((-10)/465)/(2/6). Let q = u - -123/2387. Is q smaller than a?
False
Let s = 6 + -2. Suppose j = -s*j. Let n = 2.96154 - -0.03846. Is j greater than n?
False
Suppose -2652 = 28*w - 2652. Let v be (-266)/132 + 2 - 0. Is v < w?
True
Suppose -62448*n + 161 = -62465*n - 26. Which is bigger: n or -25?
n
Let s = 1301 + 17. Is 2/3 > s?
False
Let v be (-33)/(-9) - 10/6. Suppose 108 = v*m - 86. Suppose -2*s + 5*a + 184 = 0, 3*s - s + 4*a - 202 = 0. Is s at least m?
True
Let v = 31 - 78. Let a = 133 + v. Is -2/7 less than or equal t