k or f?
f
Let t = -19.4 - -19.2. Is t at most 64?
True
Let l = 1354 - 1353. Which is bigger: 5/4 or l?
5/4
Let i = 5842 - 5833. Let s be 1/3 + 1/15. Is s bigger than i?
False
Suppose 0 = 3*z + v - 132, v - 177 = -9*z + 5*z. Which is smaller: z or 42?
42
Let g be ((-12)/(-9))/((-1)/(-3)). Suppose -b - g*b + 10 = 0. Suppose 4 = -0*c + b*c. Is 1/2 >= c?
False
Suppose -2*g = 4*o - 58, -2*g + 3*g = 4*o - 43. Suppose -r = -3*r - o. Let u be 6/(-9)*3*3. Is u <= r?
True
Let w be (8/12)/(12/(-198)). Let l = -4 - w. Which is greater: 6 or l?
l
Let r = -4 + 4. Let t be ((-38)/(-4) + r)/((-2)/4). Are t and -19 nonequal?
False
Suppose 34*w - 160 = 29*w. Let r be (-1)/(-1)*3 + -27 + w. Which is greater: r or -2/9?
r
Let i(t) = 18*t - 1. Let k be i(-7). Let f = k - -130. Do f and 23/10 have different values?
True
Let v = -191.3 - -181. Let w = 3.7 - v. Let u = w + -13.93. Are 1 and u equal?
False
Let x = 94 + -93.7. Let b = -4.3 + x. Which is smaller: b or 0.3?
b
Let x = -7711/7 + 1105. Is x at most 4?
True
Let i = -91 - -91.119. Which is smaller: i or -2/3?
-2/3
Let v = 0.1103 - -0.8897. Which is smaller: v or -609?
-609
Suppose 179*f - 186*f + 420 = 0. Is 0 at least f?
False
Let l be (2/17)/(12/3). Let z = -30.4 - -152.4. Let k = z + -123. Is k smaller than l?
True
Let u be 14/(-6)*2/3*(-534)/46102. Suppose -x + 3*w - 2 = 0, -2*x = -w - 2*w + 1. Which is smaller: x or u?
u
Let n(j) = -j**3 + 3*j**2 + 2*j + 6. Let s be n(-5). Which is smaller: s or 195?
195
Let x = -773 + 772. Which is smaller: x or -67?
-67
Let n be (-7 - 88/(-10))*205. Is n bigger than 368?
True
Let d(p) = p**2 - 23*p - 79. Let k be d(26). Let u = -5932/250473 - -2/2879. Are k and u unequal?
True
Let r = 0.138 - -59.862. Let h = r - 42. Do h and -2/9 have the same value?
False
Let m be (-6)/(-14) + (-149359)/735. Let f = -608/3 - m. Is f not equal to 1?
True
Let b = 33 - 50. Let c = b + 25. Let f = c + -7. Are -1 and f equal?
False
Let h = -347/10 - -56/5. Let n = 23 - 46. Let s = h - n. Is 1/4 less than or equal to s?
False
Let f(r) = -5*r - 21. Let h be f(-4). Suppose 5*n + 19 = 3*u + n, -7 = -3*u + n. Let a = -2 - u. Is h greater than a?
True
Let w(t) = -4*t**2 - 3*t - 1. Let k be (-1 + (-7 - -9))/(1 + -2). Let o be w(k). Which is smaller: o or -1/2?
o
Let j be (-7)/(84/102)*-2. Let c be (69/6)/(1/2). Let p = c - j. Does 6 = p?
True
Let h be 18452/(-4284) - 2/3 - -5. Is h greater than 0?
True
Let p = 12.1 - 12. Let q = -0.07 + p. Let g = -0.07 - q. Is g smaller than -11?
False
Suppose -21*i + 3*i = 1620. Let d be (-2 - 156/i)/((-2)/(-5)). Which is smaller: 1/4 or d?
d
Let t be (-7)/(-12) + 2*6/(-48). Is -3 greater than t?
False
Let t(x) = -7*x - 3. Let o(k) = 6*k + 4. Let p(h) = -2*o(h) - 3*t(h). Let i be p(-1). Let a be 3 + -2 - (-5)/i. Is a < 1?
True
Let r be 1*(9 + -13)*(-2)/(-8). Which is smaller: r or 1/145?
r
Let k(c) = -192*c + 912. Let r be k(5). Let i = -75 - -29. Which is greater: i or r?
i
Let w be (6/(-10))/(36/45) - (-194)/280. Let f = 0.6 - 0.9. Let x = f + 1.3. Which is smaller: w or x?
w
Suppose c + 2*h + 12 = -4*c, -5*c - 40 = -5*h. Let p = 0.064 + -0.264. Is p bigger than c?
True
Let z = 2/22083 - 1266098/66249. Is -19 at least as big as z?
True
Let h be 12/29*15*(-7)/84. Is 0 less than h?
False
Let y be (4/(8/2))/(-1). Suppose 0 = -3*k + 16 + 74. Suppose 0 = -4*s - 2*f + 18, 5*s - 5*f + 0*f = k. Which is greater: s or y?
s
Let l be 72/54 - 109/30. Is l smaller than -1?
True
Let c = 246696 + -25655823/104. Let q = 15/104 - c. Are -6 and q equal?
False
Let k(d) = -824*d + 3. Let j be k(1). Let b = j + 10678/13. Is 0 less than b?
True
Let i(n) = 55*n**3 - 4*n**2 - n + 2. Let w be i(1). Let k = -38 - -37.9. Are k and w equal?
False
Let t(u) = u + 5. Let y be t(-3). Let m(v) = -2*v**2 + 1 + 0*v + 71*v**3 + v - 72*v**3. Let b be m(y). Which is smaller: -12 or b?
b
Let g = -38 + 39. Suppose -11*z + g = 45. Which is greater: 3 or z?
3
Suppose 0*r = 4*r - 12. Suppose -18 = -0*a - 4*a - 2*i, 0 = 2*a - r*i + 3. Suppose -a*x = 4*g - 6*g + 8, -4*g = -4*x - 12. Which is bigger: 2/13 or g?
g
Let t(j) = -j - 12. Let v be t(-7). Let d be ((-48)/(-9) - 0)*(v + -13). Which is smaller: d or -97?
-97
Let v be (-447074)/(-95) + 2 + (-5 - -6). Let l = -4709 + v. Is 0 bigger than l?
False
Suppose -5*s + 11*s = 222. Let j = 36 - s. Is j equal to 10/39?
False
Let b be (-1 - 1) + (-56748)/(-132). Let v = 429 - b. Let o = 3 - 2. Which is bigger: v or o?
v
Let v(j) = j**2 + 5*j + 24. Let u be v(-8). Suppose -5*y - 4*z = -y - u, 0 = y - 2*z + 3. Let m be 48/9 - 4/(-6). Which is smaller: y or m?
m
Suppose -18*n + 143 = 35. Let p be (-2 + 4/3)/((-4)/n). Is 1/132 at least as big as p?
False
Suppose -a = 3*a + 32. Let s be ((-42)/a + 0)*-4. Let w be (s/(-49))/(1 + -2). Is 1 at least w?
True
Let n(u) = -u**3 - 11*u**2 + 4*u + 10. Let y be n(-10). Let g = -1299/10 - y. Which is greater: g or -5?
g
Let s = -5.7 - -3.8. Let b = s - -1.69. Let u = b - -1.21. Which is bigger: 10 or u?
10
Let t = 328 + -549. Is t less than -221?
False
Let t be (2/(-16))/(1/(-2)). Let o = 74.963 - 75. Let v = 3.037 + o. Which is bigger: t or v?
v
Let s be 2*(-147)/73 + (-19 - -23). Is s >= -1?
True
Suppose -5*x = u - 13, 0 = -3*u - 5*x - 0*x + 49. Let f be ((-88)/(-48))/(3/u). Suppose -j = -t - 6, -4*t = 2*j + 1 - 43. Is f > j?
False
Let q(o) = -2*o + 5. Let r be q(4). Let p(i) = i**3 + 5*i**2 - 4*i + 7. Suppose 0 = -2*u - 4, -3*u - 19 + 1 = 2*a. Let d be p(a). Which is smaller: r or d?
d
Let m = -30 + 26. Let s(i) = -3*i - 7. Let y be s(m). Which is greater: 7 or y?
7
Let i(d) = -13*d - 81. Let a be i(-5). Suppose -25 = 4*t - 261. Suppose 4*u - 5*h = -34 - t, 5*u + 105 = 4*h. Which is greater: u or a?
a
Let c(a) = -a**3 + 9*a**2 - a - 5. Let q be c(9). Let i be ((-39)/(-52))/(-2 - q/8). Is 2 != i?
True
Let n = -460 + 437. Which is greater: n or 1/4?
1/4
Let p = -8 + 3. Let f be 0 - 2/4 - 68/8. Let x be (6/f)/(0 - 16/(-6)). Which is smaller: p or x?
p
Suppose 0 = -11*h + 2*h. Do h and -0.096 have the same value?
False
Let t(h) = h**3 - 7*h**2 - 6*h + 4. Let q be t(7). Let d = q - -30. Let j be 1 - 19 - (5 + d). Which is greater: -13 or j?
-13
Suppose -22*f = -974 - 192. Is f at least 1?
True
Suppose -h + 160 - 162 = 0. Is -306 at most as big as h?
True
Let o(x) = -16*x**2 - x**3 + 2*x + 1 + 15*x**2 - 5. Let l be o(2). Let k be l/(-45)*15/10. Is k < 0.03?
False
Let b = 187 - 563/3. Which is smaller: -0.01 or b?
b
Suppose y - 3*g - 5 = 0, -5*y = -3*y + 2*g + 6. Let z be 1280/(-450) - ((-32)/12 - -2). Let h = z + 16/9. Do y and h have different values?
True
Let c = -1056 - -1010. Which is smaller: c or -47?
-47
Let h = 721 + -806. Is -0.1 at least as big as h?
True
Let t be (-1 - -2)*4/2. Let n = -3.454 - 0.776. Let o = -0.23 - n. Is t > o?
False
Let w be 119/252 - (-1)/(-4). Suppose 8*i = 7*i + 2. Suppose i*c = -h + 3, 3*c - 2 = 2*h - 1. Which is smaller: w or h?
w
Suppose t + 0*x = -x + 19, -5*t = -4*x - 77. Let n = -169/4 + 231/4. Which is smaller: n or t?
n
Let a(c) = c**2 - 5*c - 2. Let m be a(5). Let o be ((-1)/m)/(6/60). Suppose 86 - 18 = -34*x. Is o at most x?
False
Let t(n) = n - 4. Let p be t(-3). Let a be (1 + 39/(-21))*p. Suppose 10 - a = 4*d. Which is bigger: 4/11 or d?
d
Let k = -200 + 201. Which is smaller: k or 6?
k
Let v = -51.6 + 52. Does v = -0.053?
False
Let j(r) = -6*r + 15. Let v be j(2). Let x be (-1)/v*48/2232. Which is smaller: x or 1?
x
Let i be -20 - ((5 - 4) + 0). Let w = 18 + i. Let j be 5/(-15) - 1 - w. Which is greater: j or -2/3?
j
Let c be 72/(-105) - 6/15*-1. Suppose 2*u = -2*u + 2*n + 28, -2*n + 20 = 4*u. Suppose -5*z + u = -3*z. Is z at least as big as c?
True
Let q = -26 - -25.91. Let j = -27 - -27.19. Let c = q + j. Which is smaller: c or -9?
-9
Let y = 45 + -179/4. Let v = 0.07983 - 16.07983. Is v greater than or equal to y?
False
Suppose 0 = 2*j + w - 7, w = -5*j + 3*w + 40. Let i be (-30)/24*4 - (-46)/4. Is i at most j?
False
Let y = -1.51 + 1.5. Let o = 0.13 - y. Let j = -0.86 - o. Which is smaller: j or 4?
j
Suppose 4*w + l = w, 2*l = -2*w. Let g be -2*2/(-12)*(-51)/782. Is g <= w?
True
Let j = 119/33 + -36/11. Let s(b) = 13*b + 7. Let u be s(-5). Let d = 291/5 + u. Is j <= d?
False
Suppose 320 = -9*f - f. Which is smaller: f or -33?
-33
Let g(y) be the second derivative of -y**4/