 Let y = 3 + 0. Which is greater: y or w?
y
Let w = -8 - -9. Let u = -10 - -14. Let t be u/(-8) - (-22)/20. Which is smaller: t or w?
t
Let u = -45/371 + -21639/32648. Let i = u - -10/11. Which is greater: i or 1?
1
Let n = -23 + 139/6. Let a be (-5)/(-3) + 3/9. Suppose -4*m - 2*f = -4, -a*m - m + 3*f = 15. Is m less than n?
True
Let m = 5 - 9. Let k = m + 5. Let q be 3/(((-195)/2)/(-5)). Which is bigger: q or k?
k
Suppose -6 = -0*p - 3*p. Suppose 2*l + b = 3*b - p, 22 = 5*l + 4*b. Suppose -d = l*d + 3. Which is bigger: d or -3/2?
d
Suppose 2*i - 3*d = -1, -d + 17 = 4*i - 2. Suppose -3*r = w + 1 - 0, -w = i*r + 2. Let v(s) = -s + 2. Let g be v(4). Which is smaller: r or g?
g
Suppose -2 = w + 1. Let f = 0 + w. Let t = 3 + f. Which is smaller: t or -1?
-1
Suppose 5*n + 4*p = -8 - 13, -21 = n + 5*p. Suppose -2*i = 2*i. Suppose 5*y + i*y - 2 = -r, 0 = -4*r + 8. Which is smaller: y or n?
n
Let v = 0.16 - 0.26. Is -1 > v?
False
Let n = -48/49 + 118/49. Is 2 at least as big as n?
True
Suppose 6*w + 28 + 8 = 0. Which is bigger: w or 0?
0
Let d = 146 - 167. Which is bigger: -2/5 or d?
-2/5
Suppose -4*t - 19 = -5*j, -4*j + 10 = -0*t + 2*t. Is t less than or equal to -8?
False
Let y = 143/6 - 121/3. Suppose -6 + 22 = o. Let x = y + o. Which is bigger: -2/3 or x?
x
Let p be (-29 + 7)/(-2 + 3). Which is smaller: -23 or p?
-23
Suppose 47 = 4*t - 3*t. Which is bigger: t or 1?
t
Suppose -24 = w - 28. Is 9 bigger than w?
True
Let b be (3*-1)/(-4 + 5). Let x be b/(-13)*4/6. Which is greater: x or 1?
1
Let a be 240/(-1305)*3/(-4). Which is smaller: a or 0?
0
Let z = -15 - -13.6. Let n = 0.4 + z. Is n bigger than -1?
False
Let n = 12.86 + -13. Let w = 0.14 + n. Do 0 and w have the same value?
True
Suppose 2 = o + 2*u + 7, 0 = 4*o + 3*u + 25. Let f = o + 2. Is -4 greater than f?
True
Let j be 9*(-12)/(-22) + -4. Which is smaller: 1 or j?
j
Let z(b) = b**3 - 4*b**2 + 4*b - 1. Let l be z(3). Suppose 0 = 7*a - l*a. Is 2/31 smaller than a?
False
Suppose -2*l + 1 = -3. Let m be 10 - (-5 - (3 - 6)). Suppose 3*f - m = -9. Which is smaller: l or f?
f
Let a(g) = -g + 3. Let x(d) = 2*d - 4. Let o(k) = -3*a(k) - 2*x(k). Let i be o(-8). Is 1 not equal to i?
True
Suppose 2 - 10 = -4*s. Let t(l) = l**2 - 3*l + 1. Let a be t(s). Let d = 15 + -11. Which is greater: a or d?
d
Let j = -98.1 - -107. Let k = j - 9. Is k less than or equal to 1?
True
Suppose 3*j + 39 - 12 = 3*r, r = -j - 5. Let x = -49 + 44. Is x less than or equal to j?
False
Let j be (-3)/(15/(-8))*(-540)/312. Are j and -4 unequal?
True
Let z be 1 + 1 + (6 - 2). Let q be (-28)/z - 1/3. Which is smaller: -4 or q?
q
Let a(i) = 2*i**3 - i**2 + 1. Let j be a(1). Suppose -4*v + 12 = 3*c, 4*c + j*v = v + 3. Which is smaller: -1 or c?
-1
Let w = -44 + 50.4. Let c = 6 - w. Let j = -0.5 - c. Is 0 at least as big as j?
True
Let g be (3/6)/(3/18). Suppose 0 = -0*n + n - 4, -g*n = 4*h - 72. Is 15 < h?
False
Let r(b) = 3*b + 0*b - 4*b. Suppose -4*x - 3*m = -27, 4*m - 22 = -4*x + 2*m. Let f be r(x). Which is smaller: -2 or f?
f
Let k = 9 + 26. Which is smaller: k or -1/3?
-1/3
Suppose -4*s - 2*t + 0*t - 4 = 0, 5*s = t - 5. Which is bigger: s or 2/77?
2/77
Let c be (-7)/(-2 + 1) + -1. Suppose -c = -4*h + 3*h. Suppose 4*o + 2*f + h = 0, 2*f - 21 = 3*o + 2*o. Is o <= -1?
True
Let q = 63 - 251/4. Which is smaller: q or 9?
q
Let g = -2/15 + -7/15. Which is greater: 0 or g?
0
Let o = 6 - 11. Let x = -0.08 - -0.16. Let f = x - 1.08. Is f < o?
False
Let l be (-4*1 - -2) + -2. Let b be 3/l - 27/12. Is -4 less than b?
True
Let j be (0 - 4/21)/((-36)/54). Suppose -3*n - 4*u = -35, 3*u - 15 = -5*n + 47. Suppose 0 = 2*s + 3*s + 4*p + n, -p - 7 = 5*s. Which is greater: j or s?
j
Let l be (-3)/(12/8*-1). Suppose -m = -l*m. Is 2/59 smaller than m?
False
Let u be 0 + 1 + 33290/(-150). Let f = 221 + u. Is f not equal to 0?
True
Suppose 2*t = -0*j - 3*j + 9, 2*t = -4*j + 12. Let k be (28/4)/(1 - t). Which is smaller: 8 or k?
k
Let b = 2 + -1. Are 4/3 and b unequal?
True
Let k be (-27)/(-5) - 2/5. Suppose -20 = -5*a, 8 = -2*m - k*a + 26. Let d be (m + 2)*-1 + 1. Which is smaller: -1/3 or d?
-1/3
Suppose 3*n + 84 = 15*n. Is n >= 6?
True
Let s(w) = w**3 - 3*w**2 - w + 3. Let u be s(4). Suppose 4*t = -u - 1. Let h be (0 + 2)*(-5)/2. Which is smaller: t or h?
h
Suppose -4*w + 2*w - 2 = 0. Let a be (w + 13)*(-1)/(-2). Let i be 27/(-24)*4/a. Which is greater: i or -2?
i
Let w(s) = s. Let p be w(1). Suppose -p = 3*r + 5. Which is greater: r or -15/7?
r
Let w = -76 - -61. Which is smaller: w or -17?
-17
Let f be ((-1)/7)/(4/(-16)). Let y = -3 - -6. Is y <= f?
False
Let i be (-9)/(-54) - (-2)/(-3). Which is greater: -1.8 or i?
i
Let o = 11283/52 + -217. Let u(k) = k + 8. Let t be u(-9). Which is greater: o or t?
o
Let v = -8.4 + -0.6. Let a = 10 + v. Is 1/4 at most a?
True
Suppose u - 2 + 1 = 0. Let j(f) = -3*f**3 - f**2 + 2. Let g be j(-2). Suppose -p + 13 = 5*t, 8*t = 3*t - 4*p + g. Do t and u have the same value?
False
Let t(q) be the second derivative of q**4/12 - q**3/6 + q**2/2 + 2*q. Let d be t(1). Are 1/3 and d unequal?
True
Let i = -0.2 + 1.2. Let r be (-105)/(-14)*1*12/(-15). Which is bigger: i or r?
i
Let r(l) = -l**2 - 3*l + 3. Suppose 2*x = -3*x - 15. Let d be r(x). Do 4 and d have the same value?
False
Let m = 12 + -11. Which is bigger: m or 5?
5
Let x = -1 + 0. Let q be 46/8 + 2/8. Suppose 4*w + 2 + q = 0. Which is smaller: w or x?
w
Let w = -9 + 8.9. Let g = w + 0.1. Are -1 and g nonequal?
True
Let s = 0 - 1. Is s less than -5?
False
Let y(z) = z**3 - z. Let o be y(1). Let n be (3 + -5)/2*-2. Suppose -v + 2*r + n = 1, 0 = 3*v + 4*r + 7. Which is smaller: o or v?
v
Let g = 195/341 - 7/11. Suppose 3*o - 2*o = 5*o. Does g = o?
False
Let a = -7 + 2. Let h = 4 + a. Let j(b) = b**2 + b + 1. Let m be j(-1). Which is smaller: h or m?
h
Let t(u) = -6*u + 1 - 4*u + 9*u. Let f(x) = -x + 7. Let g be f(5). Let d be t(g). Is -1/5 less than d?
False
Suppose z = -z + 4. Suppose -z + 4 = 2*f. Is -2/7 >= f?
False
Let s(o) = 2 - 3*o + 2*o**2 + 2 + o + o**3 - 1. Let v be s(-3). Is v bigger than 0?
False
Suppose -2*g = -0*g + 2*j + 18, 25 = -5*j. Let k be ((-2)/(-4))/(1/g). Let o be 0 + 6/4 + -2. Is k greater than o?
False
Let f(h) = 7*h + 4. Let w be f(-2). Let d = w - -9. Is d > -2?
True
Let c(y) = -y**2 - 7*y + 5. Let k be c(-5). Let i = 11 - k. Which is greater: 1 or i?
1
Let r be (-1 - 2) + (-6845)/(-180). Let w = r + -141/4. Let y be 3/((-5)/(-1) + -2). Which is bigger: w or y?
y
Let p be 3/3*(7 + -2). Suppose 0 = 3*g - p*g + 4. Let o be 1 - 1 - 0/g. Does o = -1?
False
Let l = -4 - -6. Suppose 4*k - 2*k = -4*m - 28, 0 = 4*m + 4*k + 32. Let z be (-1)/5*12/m. Is z >= l?
False
Let g(o) = -11*o - 8. Let y be g(-1). Which is smaller: y or -4?
-4
Let f be 45*-3*(-3)/9. Suppose 0 = 2*n + n - f. Let a be ((-1)/3)/((-10)/n). Is a less than 0?
False
Let h = 1 + 4. Suppose 5*c = 2*v - 36, h*c + 2*v = v - 27. Is -5 greater than c?
True
Suppose -y + 30 - 7 = 0. Suppose 0 = -4*u + y - 59. Which is bigger: 0 or u?
0
Let m be (-121)/(-33) + 4/(-6). Let t be (4/14)/(m/(-7)). Is -1 smaller than t?
True
Let y(a) = -a - 9. Let r be y(-5). Let j be r/(-36) + 26/9. Is 0 at least as big as j?
False
Let n = 1 - -1. Let y(d) = -3*d - 7. Let w be y(-3). Do w and n have different values?
False
Let v be (-11 - -11)/(0 - 1). Let b(j) = j**2 + 5*j + 3. Let n be b(-4). Let t be (177/(-171) - n)*3. Is t greater than v?
False
Let n = -7 - -6. Let g = n + 2. Let b be (g/10)/((-8)/32). Which is smaller: b or 0.2?
b
Let w = -9.9 - -10. Which is smaller: 6 or w?
w
Suppose -8*y = -21*y + 13. Is 0 < y?
True
Let x = -0.18 + 0.28. Which is smaller: 3 or x?
x
Let r = 0.13 + -0.03. Let b = r + -1.1. Is b smaller than -2/5?
True
Let z(j) = 3*j - 2. Let s be z(1). Which is smaller: s or 2/15?
2/15
Let j = 0.2 - -0.8. Suppose -5*k + 30 - 5 = 0. Is j at least k?
False
Let g be (-15)/10 - (-1)/2. Let y be ((-2)/(-8) - -1)/(-1). Which is smaller: y or g?
y
Let k be ((-9)/198)/((-2)/(-136)) - -2. Is 3 at most as big as k?
False
Suppose -5*r - d = 10, -2*r - r - 4*d = 6. Let n be (-4)/(24/(-3))*r. Are -1 and n non-equal?
False
Let s = 30 + -29. Which is greater: -4/9 or s?
s
Let f(g) = -5*g + 6. Let n(t) = -t. Let o(h) = f(h) - 4*n(h). Let l be o(8). Which is bigger: l or 0?
0
Suppose 0 = -3*j - 2 + 32