 Which is smaller: t or 461?
t
Suppose 116 = 2*k + 3*s - 149, 0 = 5*k + 4*s - 652. Which is bigger: 126 or k?
k
Suppose l = 3*l + 4*y - 32, 4*l = -3*y + 39. Are 0 and l equal?
False
Let f = 2675/154 + -205/14. Let b(d) = -d**3 + 36*d**2 + 5*d - 176. Let h be b(36). Which is smaller: h or f?
f
Let n be 2/(-1 + 5/6). Let v(t) = t**3 + 12*t**2 + 3*t + 16. Let x be v(n). Is -39/2 greater than x?
True
Let v(x) = 9*x + 3*x - 15 - 3*x - 4*x. Let y be v(4). Let j be 1/2*12*1. Is y bigger than j?
False
Suppose -91 = 4*i - 75. Let x be (-2 - 11/i)/(9/102). Is 9 at most as big as x?
False
Let r = -2 - -3. Let k(u) = -11*u**2 - 71*u + 3. Let w be k(-6). Which is smaller: r or w?
r
Let t(x) = -x. Let i be t(2). Let h be 0 - i/8*-4. Let q be ((-3)/3 - 0)/(-9). Is q at least as big as h?
True
Let d be (-1)/2 - (99 + -99). Which is bigger: -113/5 or d?
d
Suppose x + 5*h - 2 - 8 = 0, -5*x - 4*h + 8 = 0. Let m = -22 - -217/10. Is m greater than x?
False
Let d(o) = o**2 - 3*o - 7. Let m be d(4). Let z be m/(-7) + 30/(-21). Let b(r) = -5*r**2 + 1. Let u be b(z). Do -2 and u have the same value?
False
Let h(q) = -2*q**2 - 22*q - 48. Let v be h(-6). Is 43/4 greater than v?
False
Suppose -4*d + 31 = h, 146 - 54 = 5*h - d. Is h > 139/7?
False
Let a = -5 - -8. Let g = a - 3. Let v = -1362/65 - -104/5. Do v and g have the same value?
False
Let g = 274 + -275. Which is bigger: g or 80?
80
Let g = 8.6 - 46.6. Let i = g - -43.9. Let l = i + -0.9. Are l and 0 equal?
False
Let z = -4 - -9. Suppose -z = 2*y + 11. Suppose 0 = 5*b + 55 - 15. Do b and y have different values?
False
Let w = 219 - 219. Are w and 1/46 unequal?
True
Let k = -1.9 + 1.76. Let o = -0.24 - k. Which is smaller: -15 or o?
-15
Suppose -h - 4 = -2*h. Let x(l) = -l**3 - 9*l**2 + 4. Let w be x(-9). Suppose 5*p + w*b = -16, -12 = -2*p + h*b - b. Do 2/13 and p have the same value?
False
Let j = -86.39 - 0.61. Let s = 112 + j. Are s and -0.2 nonequal?
True
Let c be -7 - 88444/(-15612) - (-4)/3. Is c smaller than 1?
True
Let z = -1 + 10. Suppose -z*u + 0 = -54. Let f be 17/3 - 1/(-3). Is f at least as big as u?
True
Let v(x) = x**2 - 6*x + 1. Let c(o) = o + 8. Let l be c(-2). Let a be v(l). Let d = 5 - 10. Which is bigger: a or d?
a
Let c(a) = -a**2 + 7*a - 1. Let p be c(6). Let b = -326 - -331. Do p and b have the same value?
True
Let b = 1479847/202 + -7326. Which is greater: b or 1?
1
Let i be (-2)/(-2) - 2607/790. Which is greater: i or -2?
-2
Let z(a) = a**3 + 3*a**2 - 20*a - 6. Let r be z(5). Suppose 16*j - 3 = 13*j, 0 = 2*f + 2*j + r. Is -46 greater than f?
True
Suppose -65*o - 1213 - 1842 = 0. Does o = -48?
False
Let c(t) = 339*t**2 + 4*t + 5. Let v be c(6). Let a be (-1)/7 + v/14924. Let f = 3/41 + a. Is f not equal to 1?
True
Let r = 111/100 + 1/900. Let o(m) = 3*m + 5*m**2 - 3*m**2 - m**2 - 2*m - 2. Let n be o(-2). Is r at least as big as n?
True
Let m = -82 - -82. Do m and -9/277 have the same value?
False
Let l be (0 - -2)*1*(-51)/6. Let h be ((-4)/26)/(l/(-102)). Which is greater: h or -1?
h
Suppose -f - 132 = 2*f. Let a = 26 + f. Are a and -19 unequal?
True
Suppose 5*r + 119 = 3*u - 6*u, 2*u + 96 = -4*r. Which is greater: r or -131/5?
r
Let n = -0.19 + 0.09. Let y = 17 - 16.84. Let r = y - 0.11. Is n at least r?
False
Let k = 0.331 - 8.331. Which is smaller: k or 1?
k
Suppose 4*q = 3*q - 2. Let d = 22.1 - 4.1. Let k = -21 + d. Which is smaller: q or k?
k
Suppose 0 = 2*b + 2*b. Let n be 0 + b + 0 + 0. Suppose 2*f = -n + 8. Are -1 and f nonequal?
True
Suppose -7*z + 3 = -4*z. Suppose 3*o - 25 = -2*o. Suppose o*q = q. Is z greater than q?
True
Let d be 208377/(-5292) + (-3)/9. Let v = d + 159/4. Which is smaller: v or 0?
0
Let j = 0.0528 - 35.0528. Which is smaller: 0.4 or j?
j
Let y = 4 - 11. Suppose 3*o - 30 + 9 = 0. Let u be (-2)/y - (-54)/o. Which is smaller: u or 9?
u
Suppose 8*y - 204 = 1164. Is 171 at least as big as y?
True
Let o be -6*1*(-2)/6. Let v be (2/(-3))/(o/9). Let q be 0 + 0/(v - -1). Is 2/17 bigger than q?
True
Suppose -4*r - 8 = 4, 3*w + 144 = -3*r. Let l = -45 - w. Suppose 0 = 2*s - 1 - 1. Is s not equal to l?
True
Let v be 32/60 - (-2 - 11/(-5)). Which is greater: -173 or v?
v
Let s = -0.513 + -421.487. Let u = -400.02 - s. Let a = -22 + u. Which is smaller: 1/2 or a?
a
Let h = 13 + -11. Let j be (h/(-22))/(5/69). Let x = j + 16/11. Which is bigger: x or 0.03?
x
Let x = 66.9307 + -0.0307. Let i = 67 - x. Which is greater: -19 or i?
i
Let i = -0.08 - 0.92. Let d = 11 - 11.06. Let b = 0.16 + d. Which is smaller: i or b?
i
Suppose -4 = -5*m + 16. Let l be -1 - (0/m - -3). Are l and -5 non-equal?
True
Suppose -i = -2, s - 7 - 3 = -5*i. Let h be (-6)/8 + (-6)/(-8). Suppose 2*v - 5*z - 23 = h, 4*z + 15 = -v + 6*v. Do v and s have the same value?
False
Suppose -5*q - 5*d - 40 = -2*d, 3*q + d = -24. Let v be (-4)/(-6)*3/q. Which is greater: -54 or v?
v
Let x = 419 + -442. Which is smaller: x or -5?
x
Let m = -231 + 232. Do 2/605 and m have the same value?
False
Let v = 0.03 + 0.01. Let t = 0.14 - v. Let j = -0.54 - -0.14. Which is bigger: t or j?
t
Let k be -2 + (-3 - 0)/3. Let a be k/(-3) + (-44)/2. Let t be (a/14)/((-4)/(-2)). Which is greater: t or -2?
t
Let p be (-32)/(-12)*3/2. Suppose p*m - 5*m = -1. Let u be (-3)/44 - 2/11. Is u > m?
False
Suppose x - 3*h = -10, -3*h = 2*x - 6*h + 11. Is 6/157 smaller than x?
False
Let g = 104 + -111. Let p be -4 + (1/1 - 0). Let o = g - p. Is -4 at least as big as o?
True
Let o = -205901/7707 - -2/1101. Which is bigger: o or -28?
o
Let m = 275690/157 + -1756. Which is greater: 1 or m?
1
Let i(x) = x**2 - 2*x + 5. Let p be i(0). Suppose b - 3*b = -y - 4, p*y + 5*b + 5 = 0. Which is bigger: y or -1?
-1
Let w = 2/991 - 48593/16847. Which is greater: w or -3?
w
Let w = -0.13872 - -0.18872. Suppose 8*u - 50 = 3*u. Suppose -4*r - u = -i, -12 = 5*r + i - 2*i. Is r at most w?
True
Suppose 5*u - 2*v + 38 = 0, -2*u + 3*v - 4*v - 8 = 0. Is u at most -40?
False
Suppose -i = -3*a - 55, 0 = -5*i + 3*a + 189 + 50. Which is greater: 44 or i?
i
Let q(k) = k**2 - 2*k - 3. Let g be q(6). Which is greater: g or 81/4?
g
Let w be 15 - 12 - (-2 - 0). Let u(f) = f**3 - 4*f**2 - 5*f + 3. Let d be u(w). Suppose s - d = -2. Is 2/15 greater than s?
False
Let o(c) = c**3 - 6*c**2 - 3*c + 313. Let x be o(0). Is 312 >= x?
False
Suppose -3*z + 1 = -y, 3*z - 2*y + 0 + 4 = 0. Suppose z*v = -0*v - 10. Suppose 0 = -4*a + a - 2*f + 2, a + f = 2. Do v and a have the same value?
False
Let z = -102 + 59. Let r = -43 - z. Do r and -4/11 have the same value?
False
Let b = 1273 + -1247. Is b smaller than 48?
True
Let u = -952 + 955. Which is bigger: 103 or u?
103
Let a(q) = 23*q**2 - 2*q - 3. Let y be a(-1). Suppose -11*x - y = 176. Is x greater than -19?
True
Suppose c = -4*c - 390. Let o be (-2)/8 + c/(-24). Suppose 5*f - 23 = -4*p, 13 = 4*f + 2*p + o*p. Are 7 and f unequal?
False
Suppose 10*h - 5*h = 10. Suppose 0 = 6*n - h*n - 4. Is 6/11 smaller than n?
True
Let r = -18.1 - 3.9. Let m = -21 - -39. Let w = r + m. Are 1 and w equal?
False
Let b = 231 - 131. Suppose 0 = -3*j + 38 + b. Let c be j/10*15/(-6). Which is greater: c or -12?
c
Suppose 4*m + 42 = -2*n, -2*n = 3*m - 0*m + 34. Let b be 2/(-5) + (-216)/30. Which is smaller: b or m?
m
Let x = 4 - 2. Suppose 0 = 3*a + a + 3*f + x, 4*f + 10 = 2*a. Let d be 21/(-9) - (a + -3). Is d < 0?
True
Let k = -85 + 115. Let p = k + 8. Is 2 at least as big as p?
False
Let k be (-132)/(-330) + (4768/(-5))/4. Is k <= -237?
True
Suppose -102*a + 85*a + 2397 = 0. Which is bigger: a or 0?
a
Let l = -14.85 - -22.35. Is -0.1 less than l?
True
Let v = 1583 + -1444. Is v greater than 137?
True
Let j be ((-27308)/8)/((-14)/(-12)). Let v = -2921 - j. Is v smaller than 6?
True
Let p = 1186 - 1062. Which is smaller: 0 or p?
0
Let a be (2 + (-20)/5 - -5) + -4. Suppose -3*c + 18 = 6. Let y be ((-2)/(-19))/(c - 2). Which is smaller: a or y?
a
Let w = 43.97 + -44. Let g = 0.27 - w. Which is greater: -17 or g?
g
Let d = -116 + 221. Suppose 4*f = q + 76, 0 = -2*q + 4*f - d - 35. Let x = q - -190/3. Which is greater: x or 1?
1
Let l be 2 - -1*(3 - 2). Suppose -l*r - 10 = -4*r. Let w be (-72)/24 - (-1 - 11). Is w greater than r?
False
Let f be 9/((-1)/(-1) - 0). Let t(u) = -u**2 - 27*u - 99. Let r be t(-5). Which is smaller: f or r?
f
Let s = -40 + 82. Are s an