east as big as a?
False
Let u = 2 + -17/9. Does u = 0.1?
False
Let b(j) = -4*j**3 - 3*j**2 + 3*j - 4. Let v(i) = 4*i**3 + 2*i**2 - 2*i + 3. Let w(o) = 3*b(o) + 4*v(o). Let n be w(1). Do n and 4 have the same value?
True
Let d be 22*1*2/4. Suppose 4*w + 39 = 3*i, w - 2*i + d = -5. Do w and -5 have different values?
True
Let a = 74 + -111. Is a <= -38?
False
Let f = -0.18 - -0.74. Let w = f + -0.06. Let t = w - 0.6. Do -3 and t have the same value?
False
Let k = -8 + 3. Which is smaller: k or -4?
k
Let t = 1362 + -257419/189. Let m = -43/189 - t. Suppose 5*u = -5*n - 5, 3*n + 3 = 3*u - 5*u. Is n < m?
True
Let g(i) = -i**2 - 8*i. Let a be g(-8). Let v be a - (-2 - -4) - -2. Suppose -2*c = -v + 2. Is -1 at most c?
True
Suppose 2*o - 7*o - 10 = 0. Let k(i) = i**3 + 3*i**2 + 2*i. Let a be k(o). Suppose -2 = -a*b + 2*b. Which is greater: -3/8 or b?
-3/8
Suppose s = -3*l - 5, 8 = l - 5*l. Let i(n) = -n**2 + 3*n + 1. Let y be i(3). Let a be y - (1 - s)/3. Is a at least as big as 1?
True
Let q = -2 + 1.1. Is -0.1 greater than q?
True
Suppose 4*k - 3*k - 21 = -5*b, 2*b - 5*k = 30. Suppose 4 = 3*q - b. Suppose 0*c + c + 10 = -2*v, q*v = 5*c - 15. Are c and -2/11 equal?
False
Let y be 10/45 + 38/(-198). Which is smaller: y or -1?
-1
Let h = -15 - -16. Suppose -5*b + h - 6 = 0. Which is greater: 2/11 or b?
2/11
Let b = -0.52 + 0.02. Let v = -0.5 - b. Which is smaller: v or -3/5?
-3/5
Let n be -2*(1 - 52/72). Is -1 bigger than n?
False
Let n be 31/4 - 4/(-16). Let o be 1 + -1 - (-2)/n. Let w = 29 - 30. Which is greater: o or w?
o
Suppose 5*q + 10 = 2*u, 4*u = -0*q + 2*q + 20. Is q not equal to 0?
False
Suppose -q + 222 + 49 = 0. Let k = q + -4877/18. Is k > -1?
True
Let w be 0 + 0 - (12 + -12). Let p = 2008/15 - 134. Which is bigger: w or p?
w
Suppose 3*k + 55 = -5*u, 0 = 2*u + k + 4 + 17. Let l = u - -8. Suppose y - 2*v + 6*v + 6 = l, 0 = 2*y - 4*v + 12. Are y and -6 unequal?
False
Let t be 3/5*4/6. Let a be (-2)/8 + (-9)/12. Which is bigger: t or a?
t
Suppose -u = u - c, -2*c - 7 = 3*u. Let a = u + 1. Let y = 3 + a. Is y < 0?
False
Let d = 4 - 2. Let a(v) = -8 + 3*v**d + 7 + 9*v - 4*v**2. Let r be a(9). Which is smaller: 1/6 or r?
r
Let o = -59/2 - -28. Which is smaller: o or -1?
o
Suppose -4*i + 7 = 3. Which is smaller: 8/5 or i?
i
Let u = -1 - -5. Let z(a) = -a + 13. Let x be z(8). Which is greater: u or x?
x
Let g be (-212)/(-136)*-2 - -3. Let o = 0 + -1. Which is bigger: g or o?
g
Let q be 1 + (2 - 2) + 3. Let d(v) = 5*v - 5. Let h be d(4). Let s be 5/q*(-3)/h. Is 1 > s?
True
Let r(s) = s. Let l be r(2). Which is greater: 0 or l?
l
Let j = 31 - 94/3. Suppose 3*k + 64 = 2*k - 4*y, k - 3*y + 36 = 0. Let g be -2 - (-4)/(k/(-21)). Is g <= j?
False
Suppose 4*r + 33 = -47. Is -23 at least as big as r?
False
Suppose -22 + 3 = -k. Let m = -25 + k. Let z(o) = o**3 - o. Let r be z(-2). Does r = m?
True
Let h = 54 + -54. Is h equal to -2/11?
False
Let h be 6/(-14)*(-7)/(-2). Suppose 0*i + 2*i = 0. Let s = i - 1. Is s < h?
False
Let o = -3 + 1.8. Let c = o - 0.1. Let z = 0.3 + c. Which is greater: z or 0.2?
0.2
Suppose -b + 5*p = 2*p + 26, -5*b - p - 130 = 0. Let h be (-8)/b*-7 + 2. Which is greater: h or -1?
h
Suppose 3 = 3*j - 6. Let x be j/((-12)/(-80)*2). Which is greater: x or 8?
x
Let p = 49 + -81. Which is bigger: p or -31?
-31
Suppose 2*m + 285 + 417 = 0. Let r = 6671/19 + m. Which is smaller: 1 or r?
r
Let z = -5 + 9. Suppose -2*n + 2 = h, -h = 2*h + 4*n - 8. Is h greater than or equal to z?
True
Let f = -94 - -100. Let x = 12 - 7. Which is bigger: f or x?
f
Let x be (-1)/(-3)*(-15 + 13). Is x at least as big as -3?
True
Let u be (-8)/(-66)*894/4. Let b = 27 - u. Suppose g = -g + 2. Is g equal to b?
False
Suppose -5*b - 3*q = -16, 3*q + 2 = 5*b - 2. Suppose -2*m - 3*m - 15 = 5*o, 0 = b*m - 4*o + 6. Is m > -2?
False
Let f(z) = z**3 + 2*z**2 - 7*z + 6. Let j(r) = r**3 + r**2 - 8*r + 7. Let a(i) = 4*f(i) - 3*j(i). Let x be (-45)/(-3)*(-4)/(-10)*-1. Let p be a(x). Is -9 < p?
False
Let c = 25 + -12. Let m be c/39 - (-25)/(-3). Do -1 and m have the same value?
False
Suppose n - 1 - 1 = 0. Does -6 = n?
False
Suppose -2*m - 2*m = -24. Let w = m + -4. Let b be (22/(-12) + 2)*w. Are b and -2 non-equal?
True
Let z = -33793 - -236000/7. Let v = 79 + z. Suppose 4*i - 4*p + 9 = -3, -3*i - p = 1. Which is bigger: i or v?
v
Let w be 3 - 1*(1 - 0). Suppose 3*o = -3*l + 2*o - 31, -l = -w*o + 1. Let d = 9 + l. Which is bigger: 1/4 or d?
1/4
Let a be (-63)/(-2)*72/(-210). Is -12 > a?
False
Let h be 9/(-6)*64/(-6). Suppose -2*q - 2*v = -14, q - 6 = -2*q + 2*v. Suppose -3*a + a = 2*d + q, 4*d - h = 4*a. Which is bigger: d or 1/6?
d
Suppose -9*c - 505 + 145 = 0. Is c at least -38?
False
Suppose 3*y = -0*y + 9. Suppose -y*a + 2*t = -6, 0 = a + 2*t - 0 - 2. Suppose 2 + 0 = a*c. Is c greater than 1?
False
Let h = -5750130/371 + 108600/7. Let p = -183416/11925 + h. Let m = p - -8/25. Which is bigger: 1 or m?
1
Let n = 78.96 - 76. Let i = 0.04 + n. Let f = 2 - i. Which is greater: 2 or f?
2
Suppose -3*h = -9*h - 24. Is -4 smaller than h?
False
Suppose 8*x = 4*x + 4. Which is smaller: -4 or x?
-4
Suppose 9 = 3*b, -6*y = -3*y - 3*b + 12. Let t be (-1 - 0)*(-2 - 3). Suppose 0*g + 10 = -t*g. Is g equal to y?
False
Suppose -3*s - 25 = -5*y, 3*y = y - s - 1. Suppose h - 15 = -y*h, r + 22 = 4*h. Let j(a) = -a - 4. Let x be j(-6). Is r less than x?
True
Let b = -0.5 + 0.6. Which is smaller: -4 or b?
-4
Let p = -45 + 64. Does p = 19?
True
Let f = -5 + 9. Let x(p) = -5*p**2 + p - 2*p**3 + f*p**3 - 5 - p**3 + 4*p. Let g be x(4). Which is greater: -5 or g?
g
Suppose t + 12 = 4*t. Let b be t/(-6)*6 - 0. Which is smaller: b or -5?
-5
Suppose -4*g = -9*g - 15. Let r be 1/g - 6/(-18). Which is greater: r or 2/3?
2/3
Suppose p + 1 = -2*u - 6, -5*u - 20 = 3*p. Let d be ((-6)/(-40))/((-6)/15). Is u greater than d?
False
Suppose -j + 2 = -0*j. Suppose -w - 5*v = 2*w + 13, 0 = 3*w - j*v - 1. Let o(n) = -n - 4. Let r be o(-3). Is r less than w?
False
Let a = -1.4 + 0.4. Let x = 2.9 + -3. Which is bigger: a or x?
x
Let s = -0.62 + -1.38. Let p = -2.8 + 5. Let g = -2 + p. Is s < g?
True
Let d = -782/9 + 86. Which is greater: d or 1/4?
1/4
Suppose 6*c + 18 = 3*c. Let y(t) = t**2 + 9*t - 5. Let h be y(-9). Which is greater: h or c?
h
Let b = 1.008 - 0.008. Suppose 4 = 4*m + 3*s - 5*s, 5*m - 3*s - 6 = 0. Is m > b?
False
Let n be ((-1)/2)/(7/(-14)). Which is smaller: n or 1/4?
1/4
Let k(q) = -q**2 + 13*q + 14. Let p be k(14). Let i be (-5 + 5 + -2)/14. Is p >= i?
True
Let z = 0.15 - 0.05. Which is smaller: 0 or z?
0
Suppose -o = -6*o. Which is smaller: o or 3/17?
o
Let x = 20 + -14. Let l be 37/(-2) - 3/x. Let a be 4/10 + l/35. Is a bigger than 0?
False
Let q = -8.7 + 9. Are q and 4 equal?
False
Let n be 4/10 + 4788/30. Let y be 796/n*(-2)/23. Let u = y + 3/92. Which is smaller: 1 or u?
u
Let l(j) = j + 9. Let b be l(-7). Let o be (0 + b)/(0 + 1). Suppose 2*i - o = -0*i. Which is smaller: -1 or i?
-1
Let y = 0.09 - 1.09. Let l = -3 + 2. Are y and l equal?
True
Let n = 12/5 + -53/20. Which is greater: n or -2/239?
-2/239
Let i be (-2)/(-3)*(-6)/(-10). Suppose 2*b = -1 - 3. Is i at least b?
True
Let z = 0.073 - -15.927. Which is bigger: 0.1 or z?
z
Let x(p) = 3*p - 8*p + 1 - 2. Let c be x(-1). Suppose 3*t = -t - c. Which is greater: t or -0.1?
-0.1
Let p(c) = c - 4. Let d be p(4). Suppose d = -2*k + 6*k. Which is smaller: k or 1?
k
Let x be ((-15)/9)/(3/(-9)). Let q be 2/(x/((-45)/(-6))). Let v be 2/(-2)*2/q. Which is bigger: -1 or v?
v
Let w(h) = -h**3 - 7*h**2 + 7*h - 7. Let t be w(-8). Is -1/157 at most as big as t?
True
Suppose -5*r = -5*q, -2*q + 0*r + r + 2 = 0. Is 8 < q?
False
Let z = -57 + 5. Let q be (-2)/(-4)*z/(-39). Which is smaller: -1/4 or q?
-1/4
Let w = 6 + -3. Suppose -w*k = -2*k + 1. Is 1/11 at most k?
False
Let v be 0 + 2 + (18 - 18). Which is smaller: v or -5?
-5
Suppose -8 = 2*z, -3*h + 13 = -2*z - 4. Is h at most as big as 3?
True
Let v = 23 - 26. Is v < -2?
True
Let k = 5 - 3. Let b be 1/(k/((-16)/(-2))). Which is bigger: 3 or b?
b
Suppose 0 = -2*a - 0 + 2. Let j = -6 - -15. Let h be (a/4)/(3/j). Is h < 1?
True
Let m be (1/2)/((-1)/2). Suppose 0*j - j = 2. Is m less than j?
False
Let z = 2 - 1. Let d be -2 - (z + 1)/(-1). Let k be 12/10 - 5/5. Is d > k?
False
Let c = -2 + 0. Let k = -