-13 + 13.9. Let o = f + -1. Which is bigger: o or t?
o
Let f(j) = 2*j - 2. Let t be f(-6). Let y = 1807 - 1822. Which is smaller: y or t?
y
Let s be 8/112 + (-11985)/210. Is -3 bigger than s?
True
Let j = -32 + 29. Let q be (43 + -1)/(-6 - (-8 - j)). Is -43 greater than or equal to q?
False
Suppose 16 = 11*h - 3*h. Let i be (h - 1)/(17/(-493)). Is -29 bigger than i?
False
Suppose -2*w - 24*i + 21*i + 1325 = 0, -4*w = 2*i - 2630. Is 654 <= w?
True
Suppose 0 = 2*h - f + 14, 3 + 7 = -2*h + 2*f. Let u(t) = 0*t**2 + 4*t - t**3 + t**2 - 3 - 1. Let p be u(3). Is h at least as big as p?
True
Suppose -3*x = -6*x - 900. Let o be 3 - ((-521692)/x + 2). Let j = 1738 + o. Which is smaller: 0 or j?
0
Let k(p) = 3*p**2 - p. Let n be k(1). Let i be (7 - 5)*(1 - n). Let b be (-5)/i + 18/(-9). Which is bigger: b or 1?
1
Let v be ((-4)/(-5))/((-40)/(-5300)). Is 108 greater than v?
True
Suppose 5*s - 3 = g, 2*g + 4 = 2*s + 3*g. Which is greater: 5 or s?
5
Let g be (-1 - -17*1)*(-45)/(-60). Let v be ((-5)/g)/(4 - 57/12). Which is smaller: v or 1?
v
Let z be 310/52 + (-9 + 7)/(-4). Which is smaller: z or 5?
5
Let b(s) = 36*s**2 - 1. Let r be b(1). Let l be 14/r + (-2)/5. Suppose -2*d = -v + 11, -3*v + l*d = -3*d - 21. Are v and 3 equal?
True
Let p = -1057/6 - -176. Let r(h) be the first derivative of h**2/2 - 4*h + 1. Let z be r(3). Is z > p?
False
Let g(m) = 5*m**2 + 1. Let f be g(-1). Let i = -14.22 - -14. Let q = 0.42 + i. Which is greater: q or f?
f
Let z = 1.1 + -0.1. Let s = -1.1 + z. Let o = 5 - 4.94. Which is greater: s or o?
o
Let d = 11 + -9. Suppose 0 = d*j - 4. Let m = 3 - j. Which is smaller: m or -3/13?
-3/13
Suppose -30*t + 293 + 697 = 0. Do t and 29 have different values?
True
Let p be 4 + (-210)/27 + -2 + 6. Which is bigger: 0.23 or p?
0.23
Let y = -31.09 - -31. Let z = -9 + 9.05. Let r = z + y. Does 0.1 = r?
False
Let i = -3.1923 + 0.1923. Let h = 3 - 3. Which is smaller: h or i?
i
Let m = -82 - -3364/41. Suppose 0 = -2*o + v + 7, 0*v + 4*v = -3*o - 6. Let x = 3 - o. Do m and x have different values?
True
Let y(c) = c**2 - 4*c - 28. Let k be y(-11). Is k > 136?
True
Let u be (-9)/(-36) - 210/8. Let d = u + 30. Let m be 3 - (d - (-1 - -3)). Is m smaller than -2/57?
False
Let x = 2252/9 + -250. Is -0.1 > x?
False
Let j be (-1)/(-2*2/(-4)). Let x(h) = -h**2 - 174*h - 1490. Let r be x(-9). Which is smaller: r or j?
r
Let b(g) = -3*g**2 + 5*g + 12. Let v be b(4). Is v greater than or equal to -214/13?
True
Suppose -4*l + 2*n = -34, -5*n + 9 = -6. Suppose -5*c + 4*j = -116, -5*c - 5*j + 53 = -3*c. Suppose 44 = 28*x - c*x. Which is smaller: l or x?
l
Let k be -2 - ((-8)/12)/(5/15). Suppose 3*b + 6 = -k. Do -20/7 and b have different values?
True
Let l = 1 + 6. Let s(n) = -3*n**2 - 12*n + 6. Let b(p) = p**2 + p. Let u(i) = 4*b(i) + s(i). Let f be u(l). Is 2/13 < f?
False
Let o(d) = d**2 + 5*d - 12. Let k be o(-7). Suppose k*c = 2*r - 10, r + 4*c = -8 - 7. Which is bigger: r or -0.6?
r
Let y = -389659/82 - -908598365/191142. Let h = y - 8/259. Let s = 88/45 - h. Is s equal to -1?
False
Let u be (-2)/9 - (-560)/90. Let r be 6/(2 - 14/4). Let h be 3*r/u - -2. Which is bigger: h or 1/3?
1/3
Let u be 98 - (6 + -76)/7. Is u less than 106?
False
Let r = -716 - -632. Is r equal to -86?
False
Let g be (1 - 1)/(-1) + 18 + -19. Is g <= -1/39?
True
Let f = 7.07 + -0.07. Let y = f + -7.2. Let i = 0.1 - 0.2. Which is smaller: i or y?
y
Let i(a) = -6*a + 21. Let z be i(6). Is -15 >= z?
True
Let n(v) = 2*v. Let x be n(1). Suppose 2*i = -x*h + 16, -78 = -4*i + 5*h - 10. Suppose -3*m - 25 = 5*r - 71, 0 = 2*m - 2*r - 20. Is i < m?
False
Let f = -441 + 3085/7. Which is smaller: f or 398?
f
Let k = 2752 + -891. Is k greater than 1861?
False
Let l(j) = j + 2. Let x be l(-1). Let f be (x - (-2)/2) + -1. Let t be 5/10 + 9/((-270)/25). Which is greater: t or f?
f
Let t = -106 - -106. Suppose 27*d - 12*d - 60 = t. Let p be 2/30 + 2/6. Does d = p?
False
Let b(n) = -6*n**3 + 2*n**2 - 4*n - 5. Let l be b(-2). Let h = 62 - l. Let p be (-2)/1*(0 + -2). Which is bigger: h or p?
p
Let q = -470798/11671 - 26/1061. Which is bigger: q or -39?
-39
Let c = -25 + 31. Suppose -4*o + 4 = 0, 4*o = -2*x - 56 - c. Which is smaller: -34 or x?
-34
Suppose -32 = -3*i + 91. Suppose -8*d = -3*d. Suppose -5*s + d*j + 2*j - i = 0, -4*s = 4*j + 16. Is -7 not equal to s?
False
Let q(l) = -1 - 1 - 2*l + 3*l. Let t be q(-2). Let s be (6/t)/((-15)/(-5)). Which is bigger: 0.2 or s?
0.2
Suppose j - 446 = -420. Is 1/3 bigger than j?
False
Suppose j - 20 = -q - 6, 0 = -2*j + 4*q + 52. Suppose -3*x = -3*k - 54, -5*x - 23 + 117 = -3*k. Which is smaller: x or j?
j
Suppose -2*q + 5 + 3 = 0. Let s be ((-2)/q)/(4/(-40)). Suppose 2*c + 2*c + 2 = -3*x, 3*c = s*x - 16. Which is smaller: 4/3 or x?
4/3
Let m = 7.01 + -18.01. Which is smaller: m or 0.021?
m
Let q = 14.16 - 14.36. Is q less than or equal to -110?
False
Suppose -13*y - 4330 - 2118 = 0. Is -496 bigger than y?
False
Let u(i) = -i**2 - 2*i. Let j(d) = -d**2 + d - 1. Let n(x) = -2*j(x) + u(x). Let y be n(4). Which is greater: 3 or y?
3
Suppose 6*l + 16 = 106. Suppose 10*r + l = 15*r. Let c be 10/r + -6 + 3. Is c less than or equal to 0.5?
True
Suppose -41*i + 88 = -40*i. Let g = i + -90. Let c be 0 - 1 - (-3 - 1). Are g and c equal?
False
Suppose 0 = 4*d + 4 + 16. Suppose -29 = 3*p + 4. Let y = p - d. Which is smaller: 1 or y?
y
Let m = -1273/21 - -828/7. Is 59 smaller than m?
False
Let z = 167/300 - 7/12. Does z = -0.2?
False
Let c = 6 - 4. Let y(w) = -5 + 3*w**c + 7*w - w**2 - 3*w**2. Let h be y(6). Which is smaller: h or 6/13?
6/13
Let c(w) = -2*w**3 + 3*w**2 + w + 3. Let j be 2 - 4/(3 + -7). Let f be c(j). Is -59/3 less than or equal to f?
False
Let n be 22*(18/8)/(3/2). Let i = n - 38. Which is smaller: i or 0.1?
i
Let n = 686 + -698. Which is greater: n or -16?
n
Let m = -55.568 + -1.832. Which is smaller: 1/2 or m?
m
Let l be (-1)/(3 + -3 + -1). Let t be (50/125)/(2*l). Is t at least -1?
True
Let k = 376 - 371. Is k equal to 4?
False
Let s be (-246)/(-2) + 2*(-10 - -9). Is s <= 122?
True
Let p = -18202/17 + 1071. Which is smaller: p or -1?
-1
Suppose 2*m - 41 = -17. Suppose m = -j + 5*j. Suppose 3*o = -w - j + 1, -2*o + 12 = 4*w. Which is bigger: w or 5?
5
Let v be (-4)/(-30) + (-3)/(-90)*2. Let g be (-3)/(-2)*(1 - -1). Suppose -a - 2*a = -g. Does v = a?
False
Let h be 6/4*(-16)/18. Let z(t) = t**3 - 7*t**2 - 9*t + 8. Suppose 11 + 29 = 5*i. Let o be z(i). Which is bigger: o or h?
o
Suppose -9 + 14 = -2*a + s, 3*a + 9 = 3*s. Is -40/3 >= a?
False
Let g = -560.9 + 10.9. Does 0.1 = g?
False
Let p(o) = 9*o - 405. Let w be p(45). Is -10/29 at most as big as w?
True
Let x be (-2)/(-2) - (-3 - (-41 - 6)). Do x and -45 have the same value?
False
Suppose -13*r + 6 = -4*x - 10*r, 6 = 5*x + 3*r. Which is smaller: 8/295 or x?
x
Let v = -1201 - -1471. Which is bigger: 1 or v?
v
Let z = -32 - -18. Let h = 5 + z. Which is smaller: h or -2?
h
Suppose -42*d + 2527 = -2387. Are 115 and d equal?
False
Suppose 3*n = -y - 486, -n - 202 = 5*y - 40. Are -161 and n equal?
False
Let o = 0.332 + -0.232. Which is smaller: o or 0.03?
0.03
Let y be (-80)/280 - 4/(-7). Let s = -0.1 - 0. Let c = 0.19 + s. Which is smaller: c or y?
c
Suppose 4*f = 5 + 19. Let d = f + -43. Is d at most -38?
False
Let m = -114 + 114.16. Let i = m - 0.06. Which is smaller: i or -0.034?
-0.034
Let h = -8.837 + -0.163. Is -20/17 greater than or equal to h?
True
Let z = -2.1 + 2. Let n = 5.461 - 5.5. Let s = n + -0.161. Which is smaller: s or z?
s
Let a = -41.1 - -41. Let n = 55 - 36. Let k = -16.9 + n. Which is bigger: k or a?
k
Let n(w) = -w**3 - w**2 - w - 35. Let g be n(0). Let s be ((-4)/10)/((-7)/g). Let v = 3 + s. Are 2/41 and v nonequal?
True
Let r = -413 - -425. Is r != -1?
True
Let f = -2/365 - -381/2920. Suppose -4*c + 2*v = 0, -2*c - 3*v - 2 = 6. Let o = -1 - c. Which is greater: f or o?
f
Suppose 0 = 5*l + 30*l - 455. Are -17 and l unequal?
True
Suppose -268 = -4*q + r, 3*q + 10*r - 5*r = 224. Are 70 and q equal?
False
Suppose 0 = 5*j + 2*m - 12, -5*m - 3 + 12 = 2*j. Suppose 0 = -7*b + j*b - 10. Suppose 27*q - 412 = -466. Does b = q?
True
Suppose -17 = 5*u + 13. Let x = 11 + u. Let q be 9/60*x/6. Which is greater: q or 0?
q
Let y = 2364 - 2350.005. Let a = -0.005 - y. Which is smaller: -0.2 or a