- y. Let t(x) = x - 1. Let g be t(2). Which is smaller: g or v?
v
Let n = 2 + -1.9. Let v = -0.8 + -0.2. Let y = 0 + v. Which is greater: y or n?
n
Let i(o) = -o**3 - 7*o**2 - 11*o - 30. Let b be i(-6). Is 2/483 >= b?
True
Let b be 106/(-13) - 3*(-14)/273. Which is greater: b or 0?
0
Let g be 15/4*(-16)/(-6). Let o(w) = w**2 - 2*w + 6. Let f be o(3). Which is bigger: g or f?
g
Let b(x) = x**2 + 35. Let h be b(0). Let u be (-2)/30 - (-7)/h. Which is smaller: u or -1?
-1
Let o be 162/(-60) + (-3)/(-15). Is o less than -3?
False
Let x = -2 + 1.6. Let p = -19 + 17.4. Let g = x + p. Which is bigger: 1 or g?
1
Let w(v) = 2*v**2 - 16*v + 23. Let r be w(6). Let h be ((-2)/(-14))/(2/(-10)). Which is bigger: r or h?
h
Let t = 13 + -7. Let p be (8/t)/(20/6). Is p < -1?
False
Let v be (-3)/(27/21) + 1 + 2. Let c = -4 - -4. Which is smaller: v or c?
c
Let f = 11.6 - 21.6. Which is greater: -2/9 or f?
-2/9
Let u = 7.3 - 0.3. Let l = u - 7.5. Let d = l + 0.6. Is -1/8 less than d?
True
Let q be 1/(-3)*30/(-50). Which is smaller: q or 1?
q
Let x = 5 + -4.95. Is x < -2?
False
Let g = -13.51 - -17.6. Let a = g + -0.09. Let f = a + -4.1. Which is smaller: 0 or f?
f
Let l = -42 + -157. Let i = l + 2597/13. Which is smaller: 2 or i?
i
Let b(m) = -3*m - 1 + 3*m + m. Let g be b(3). Is g less than 2?
False
Let x(q) = -2*q - 22. Let t be x(-11). Is 0 bigger than t?
False
Let l = 0 - 0. Let c be 37/(-3)*1 + 0. Let u = 12 + c. Which is greater: u or l?
l
Let j be (-6 + 1)/1 + 2. Let b be ((-11)/(-3))/(1/j). Are b and -11 equal?
True
Suppose 20*g = -2*g. Do g and -1/85 have the same value?
False
Let z be 375/12*(-115)/25. Suppose 252 = 4*k + 824. Let m = z - k. Which is greater: 1/3 or m?
1/3
Let m = -3/472 + -115/472. Let r(i) = -i + 4. Let h be r(0). Let d(g) = g**3 - 4*g**2 + g - 2. Let w be d(h). Is m equal to w?
False
Let d be ((-6)/8)/(24/16). Which is bigger: 1 or d?
1
Let f be 21/90*(-12)/231. Is 0 smaller than f?
False
Suppose 3*y - 8*y = -10. Suppose 0*l = -y*l. Let c be 1/3*(0 - -2). Which is bigger: l or c?
c
Let k(t) = -t**2 + t + 2. Let u be k(2). Suppose -3*b = -u*b - 9. Suppose -3*f = -0*f - 6. Is b equal to f?
False
Suppose q = 4*q. Suppose -5*l + 9 = -l - 5*g, -4*l + 3*g + 7 = q. Which is smaller: -2/21 or l?
-2/21
Let w be (2/12)/(1/3). Suppose -3*m + p - 6 = 0, 4*m - 5 = p - 14. Let v = m - -3. Which is bigger: v or w?
w
Let o = -25/2 - -677/54. Are o and -4 equal?
False
Suppose 77*m - 73*m = -144. Is -36 at most as big as m?
True
Let n = 15 - 9. Let o be ((-2)/4)/((-1)/n). Is 0 at least as big as o?
False
Let y be 4/8*-18 + 3. Is y < -7?
False
Let z be 1 - 1 - 4/62. Let f(q) = q**2 - 6*q + 5. Let k be f(6). Suppose -26 = -2*t + t - k*m, 22 = -3*t + 5*m. Which is smaller: t or z?
z
Let m(x) = x - 4. Let n be m(8). Suppose 4*v + 4*s - 16 = 0, -6*v = -v - 3*s + n. Is v at most as big as -0.11?
False
Suppose -49 = -2*g - 5*m, -4*g - g = -4*m - 40. Suppose 5*r = 41 - 16. Suppose s = r*s - g. Which is greater: 1 or s?
s
Let t = 0.25 + 0.05. Is -2/15 smaller than t?
True
Let l = -0.16 - -0.26. Let j be 1/(-2) + (-10)/20. Which is smaller: l or j?
j
Suppose 4 = -3*t - y - 16, 5*y - 2 = 2*t. Let f be 2*1/t*-3. Suppose 3*k - 2 = 5*k. Is f bigger than k?
True
Let o = 6 + -5.8. Let d = 1.8 + o. Let u be 1 + -1 + (-4)/10. Which is smaller: u or d?
u
Let u(b) be the second derivative of -b**4/12 + b**3/2 + b**2/2 - b. Suppose 28 = 14*x - 7*x. Let p be u(x). Is 0 not equal to p?
True
Let r be (-4 + (4 - 27))*1. Which is bigger: -26 or r?
-26
Let y be ((-3351)/837 - -2) + 2. Let r = y + 583/6975. Is 1 != r?
True
Suppose 5*y - 5 + 20 = 0. Let g(f) = -f + 3. Let t be g(0). Suppose 12 = -d - t*d. Is y greater than or equal to d?
True
Let t = -0.94 - 0.06. Let m = t + 2. Which is greater: m or -7?
m
Let s = -6 - -9. Suppose 0 = q - 2*q - s. Suppose -l - 3*t - 4 = 0, l - 3*t = -2 + 4. Is q < l?
True
Suppose 2*u + 12 - 16 = 0. Which is greater: 4/3 or u?
u
Let s be (0 - 1)/((-9)/(-8)). Is 1 equal to s?
False
Suppose 0 = m - 5*m + 4. Which is smaller: -2/21 or m?
-2/21
Let p(x) = 4*x**3 + x**2 - x + 1. Let j be p(1). Suppose j*h = 3 - 13. Let c be h/(-6) + 13/(-30). Is -1 at most as big as c?
True
Let g be 5/(-39) + 3/(-9). Let q(p) = -p**3 + 3*p**2 - p. Let c be q(1). Which is smaller: c or g?
g
Let s(p) = -p**3 - 3*p**2 + 7*p - 8. Let t be s(-6). Which is greater: t or 57?
t
Let b be 1*(-1 - (3 - 0)). Is b less than -4?
False
Suppose 4*m - 26 = -6. Suppose -m*p + 10*p = -10. Is p at least -2?
True
Suppose 65 = 5*x + p + 2*p, 2*x - 3*p = 5. Let r = x - 29/3. Is 0 smaller than r?
True
Let o = 6 - -1. Are o and 7 equal?
True
Let r = 20 + -22. Is -6/5 <= r?
False
Let a(y) = 12*y**3 + y**2 - y - 1. Let i be a(1). Suppose 33 = 5*c + 4*t, -6 = -c - 2*t + t. Which is bigger: i or c?
i
Let j be (-18)/117 - 7/(91/(-2)). Which is greater: j or 17?
17
Let a be ((4 - 8) + 42)/(-1). Which is greater: -37 or a?
-37
Let r = 1.4 - 3. Let z = -2 - r. Let u = z - -0.3. Which is smaller: -2/31 or u?
u
Let b be 1 + ((-217)/(-165) - 1). Let n = -17/15 + b. Let i = 18 - 17. Which is smaller: i or n?
n
Let l = 14 + -24. Let h = -10 - l. Is h != 14?
True
Let o be (-21 + 0)*28/42. Is -15 less than or equal to o?
True
Let g be (10/15*(16 + 2))/2. Are g and 62/9 equal?
False
Let x be 2 - (-2)/(-1) - -2. Let w = 4 - x. Which is smaller: w or 1?
1
Suppose 0 = -h + 1 - 19. Let b = 13 + h. Which is smaller: -6 or b?
-6
Suppose 12 = 4*h + 4*a, h + 12 = 3*h + 4*a. Suppose h = 4*n + 4, -2*w + 3*w + n = 8. Which is bigger: w or 8?
w
Let d = 4/101 - -85/404. Which is bigger: -61 or d?
d
Let b be (-3)/3 - (-3)/6. Let c = 5 + -6. Which is bigger: c or b?
b
Let f be ((-6)/14 - 0) + (-285)/(-567). Is f greater than 0?
True
Let x = 1 + -3. Let b = -5 - x. Let s = b - -5. Which is greater: 1 or s?
s
Let i(g) = g**3 - 12*g**2 - 10*g - 3. Let a be i(13). Which is bigger: 34 or a?
a
Suppose 2*v - 1 = 3*k, -v + 3 = 3*k + 7. Let z = -43/536 - 3/67. Are k and z non-equal?
True
Let x = -1831/385 + 52/11. Which is greater: x or 0?
0
Let m = 72 - 505/7. Let j = 0 - -0.1. Which is smaller: j or m?
m
Let k be 8/4*(-3)/(-6)*-1. Which is bigger: k or 3/8?
3/8
Suppose -10 = 5*a + 5*g, 4*a - 2*g - 17 = -g. Which is smaller: a or 4?
a
Suppose 0 = y - 3 - 0. Let k = 89 - 84. Which is bigger: k or y?
k
Let c be 8/32*24/10. Which is bigger: c or 7?
7
Suppose 0 = -4*t - 2*u - 2*u + 120, -4*u + 88 = 3*t. Which is smaller: 31 or t?
31
Let y = 2 + 1. Let m = y - 1. Suppose -7 = -2*z - 1. Is m bigger than z?
False
Suppose 4*i - 12 = i. Let x be (4 - 5)*(-1 - 2). Which is bigger: i or x?
i
Let w = 10 + -4. Let d = w - 5. Let b be 2 + d + (-124)/36. Is 0.1 >= b?
True
Let a = 2.06 - -0.14. Let d = 0.8 + a. Is d at least as big as -1?
True
Let f = 5.9 + -11.2. Let v = f - -5. Which is greater: 3/5 or v?
3/5
Let o(q) = q**2 - 6*q - 10. Let d be o(7). Which is smaller: d or -5?
-5
Let q = -13 - -21. Suppose -2*y = t + 7 + 5, 4*t = -q. Which is smaller: -3 or y?
y
Let b be 3/3 - 4/1. Let x = 1 + b. Which is bigger: x or -3?
x
Let n = 1.56 + -1.16. Suppose 3*f - 4 = -4*p, -2*p + 0*p + 5*f - 24 = 0. Let u be 26/40 + p/5. Is n at least u?
True
Let m(a) = a - 5. Let h be m(5). Suppose 6*d - d + 40 = h. Let z = 25/3 + d. Which is bigger: z or 6?
6
Suppose -3*y - 121 = 5*c, -c = y - 5*c + 29. Are -37 and y equal?
True
Let k be (-5)/(-194 - 1)*(0 + 6). Which is greater: -2/3 or k?
k
Let t be ((-8)/12)/((-6)/(-9)). Let h be (2 - 2)/(1 + 1). Suppose f = -h*f - 2. Is f less than t?
True
Let o = -8 + 9. Let x = 2 - o. Is x bigger than 2?
False
Let b be (-5 - -4) + (-3)/(-3) - 20. Is b equal to -17?
False
Let i = 5.082 - 0.082. Is 1 != i?
True
Suppose -13*c + 11*c = -82. Suppose -24 = 2*n - t, -2*n - t - c = -17. Do -2/5 and n have the same value?
False
Let i(r) = -r**3 + 9*r**2 - 2*r**2 - 2*r**2 + 2 + r + 2*r. Let y be i(6). Let n be 6/4*y/24. Does -7/3 = n?
False
Let j = 6 + -3. Suppose -15 = 6*k - j*k. Let q be k/(-52) + 5/(-20). Is q <= -1?
False
Let h be 6/9 - (-31)/180. Let i be 86/(-45) + (-2)/(-1). Let j = h - i. Which is smaller: 1 or j?
j
Let j = -0.14 + 1.24. Let l = 0.1 - 0. Let y = j - l. Is y > 0?
True
Let n be (-20)/175 - 2/7. Let d = -0.02 + 2.02. Let u = 1.9 - d. Which is greater: u or n?
u
Let k be ((-15)/(-2))/(20/(-8) - -2). Which 