 + 7 + 1 = 0. Let j be -3*4*(-2)/(-8). Which is smaller: j or n?
j
Suppose 0 = 3*b - 2*b - 13. Which is smaller: 12 or b?
12
Suppose -4*d + 170 = d. Suppose 20 = g + 5*x, -4*g - 3*x + d = g. Suppose -y = 4*y - 25. Is g > y?
False
Let i = -12 + 17. Suppose 4*n = 2*r - 1 - 13, i*r = -4*n + 21. Suppose -w = r*b - 3*b + 6, 0 = -2*w + b - 7. Is w greater than or equal to -4?
True
Let k = 12 - 15. Is -4 < k?
True
Suppose 11 = b - 4*m, 0 = 2*b + 2*b + 4*m + 36. Do b and -5 have the same value?
True
Let y be (-7)/(-3*(-10)/46). Let m = -31/3 - y. Which is smaller: m or -2/31?
-2/31
Let f = 60 + -62.6. Which is bigger: 0.2 or f?
0.2
Suppose -11 + 1 = -2*g. Let f(k) = -k**2 - 9*k - 1. Let m be f(-8). Let p = g - m. Which is bigger: p or 0.1?
0.1
Suppose 0 = -0*v + 2*v. Let s(q) = 10*q**3 + q**2 - q + 1. Let f be s(1). Let g = f - 13. Is v >= g?
True
Let x be (-10)/3*24/16. Which is smaller: x or -6?
-6
Let u be (2 - 4)/(-2) - (-13)/(-13). Which is smaller: -4/21 or u?
-4/21
Let w = 14 + -14.7. Let n = -1.1 + w. Let s = 0.2 - n. Which is smaller: -2/7 or s?
-2/7
Let k(m) = -5*m - 21. Let l be k(-4). Which is bigger: l or -1/38?
-1/38
Suppose -2*g = 3*g + 30. Let r be -3 - (0 - (0 + 0)). Let j be r/((-3)/g*-3). Which is bigger: 1 or j?
j
Let k be ((-3)/(-355))/(28/(-140)). Which is bigger: k or 0?
0
Let s = -1 - -7. Let c = s - 7. Which is greater: c or 0.08?
0.08
Let i(g) = -2*g**2 - g. Let u be i(3). Let y be (-72)/u - 1 - 3. Is y > 0.2?
False
Let x = 0.19 - 0.09. Let s be (0/(-3))/(-1)*1. Is s less than x?
True
Let s = 47 - 49. Is -3 smaller than s?
True
Suppose -a = -q - 0*q - 13, 2*q = -4*a + 46. Suppose -f = f - a. Let x be ((-4)/(-40))/((-1)/f). Which is smaller: 0 or x?
x
Suppose -3 = -2*i + 1. Let m be 6/(-1)*i/(-6). Let g be (4/(-5))/(12/(-30)). Are m and g equal?
True
Suppose -9*l = -7*l - 14. Which is smaller: l or 15/2?
l
Suppose -2*a - 12 = -0*a. Let z be 6/(-9)*(-9)/a. Which is bigger: z or -4?
z
Suppose 26*n = 25*n + 1. Which is greater: n or -1?
n
Let m = -9 + 11. Which is smaller: 3 or m?
m
Let a be -2 + (-3)/(9/(-21)). Suppose -3*b - 10 + 3 = -s, -a*s - b - 29 = 0. Let g = -4 - s. Which is smaller: g or -1?
-1
Let k(g) = -g**3 - 5*g**2 - 4*g + 4. Let h be k(-3). Which is smaller: h or -3?
-3
Let b = -27.1 - -1.1. Let g = b + 25.8. Which is smaller: 1 or g?
g
Let u be 1/3 + (-2)/(-6). Suppose 0 = -4*s - 3*n + 6, 0 = 3*s + 10*n - 6*n - 8. Which is smaller: u or s?
s
Suppose 4*n - 3*n - 4 = -4*z, -2*n + 8 = -z. Let u(c) = -c**2 - 6*c - 4. Let o be u(-5). Is o greater than z?
True
Let h be -4 - (0 + 2*-1). Let m(q) = q**2 - q - 1. Let r(a) = 4*a**2 + 2*a - 8. Let c(f) = -5*m(f) + r(f). Let x be c(7). Which is smaller: x or h?
x
Let k(z) = z**3 - 7*z**2 + z - 10. Let w be k(7). Let m(r) = r**2 + 4*r. Let q be m(w). Which is greater: -7/3 or q?
-7/3
Let v(z) = -4*z**2 + z**2 - 4*z**2 - 8*z - 5 + z**3 + 3. Let o be v(8). Let r be ((-38)/16 + 2)*o. Is r greater than 2?
False
Let a be -1 + (-2 - 1) - -7. Is 9 greater than a?
True
Let y = 3.2 - 3. Let b = y - 0.22. Let r = 0.28 - b. Is -1 at most as big as r?
True
Let t = 0 - 0. Let n(i) = i**3 + 7*i**2 + i + 7. Let b be n(-7). Let p be 1/(3 + b)*-2. Do p and t have the same value?
False
Let p be (-8)/6*15/35. Is p < 0?
True
Let k(x) = x - 1 + 4 - 4. Let m be k(-2). Which is greater: -2 or m?
-2
Let d(r) = 2*r + 10. Let a be d(-8). Which is greater: -19/3 or a?
a
Suppose -62*l - 3 = -59*l. Which is smaller: l or 1/20?
l
Let h = 15 + -2. Let p = 18 - h. Let i = -3 + p. Which is greater: i or 2/3?
i
Let p(c) = c**3 + 7*c**2 + 7*c + 9. Let s be p(-6). Let u be 18/15*60/27. Is u at least s?
False
Suppose 4*l - 20 = -0. Suppose v - l*v = -4. Which is greater: 2/7 or v?
v
Let y(q) = q**3 + 4*q**2 + 2*q - 3. Let z be y(-3). Suppose 0 = -z*j + 5*j + 10. Are -7/3 and j non-equal?
True
Let i = 2/105 - -8/21. Suppose 0 = 4*x + 3*n - 6, -2*x + 5*x - n + 2 = 0. Suppose a - v - v + 3 = x, -a - 5*v + 11 = 0. Is a less than or equal to i?
False
Suppose q - 3*q + 6 = 0. Suppose 0*r + 2*r - 12 = -2*n, -3*r - 5*n + 24 = 0. Let j be (-3 + q/r)/(-1). Which is greater: 3/4 or j?
j
Let c be 3/2*(-8)/(-30). Let b = 469 + -9383/20. Let d = c + b. Is 2 <= d?
False
Suppose -6 = -3*q - 0. Suppose -2*l + 2*k + 0 - 2 = 0, 0 = -5*l - 2*k + q. Is l bigger than 2/21?
False
Let q be 1/(-3) + (-15)/(-18). Let f = 22 + -26. Which is smaller: q or f?
f
Let h = 0 + 8. Let l be 826/(-708)*(1 - (1 + 6)). Is l > h?
False
Suppose -5*z + 0*z = -15. Suppose -z*g + 5*g - 8 = 0. Let n be 34/10 + 12/20. Is g smaller than n?
False
Let o = -62 + 62.15. Which is smaller: o or 1/2?
o
Let v = -151 + -12. Which is smaller: v or -162?
v
Let o = 6 - 3. Suppose -4*f + o = -f. Is 2 < f?
False
Let m(z) = z**2 - 8*z - 7. Let t be m(8). Do t and -7 have different values?
False
Let s be (-2)/3*(-144)/(-2). Let j be 12/s + 6/(-8). Which is smaller: 4 or j?
j
Let u = 0.3 + -0.2. Let i = -3.9 - -4. Is i greater than u?
False
Let b(w) = w - 8. Let l be b(11). Let t be 36/30*(-30)/(-9). Which is smaller: l or t?
l
Let p(b) = b**2 + 4*b. Let n be p(-4). Which is smaller: n or 5/7?
n
Suppose 48 = 4*v - w, 4*v + 5*w - 66 = 6. Suppose -5*q + v = -27. Suppose t + t + q = 0. Is -3 less than t?
False
Let q = 51 + -11. Is q at least -0.1?
True
Let f be 0*2/2 + -1. Let w(h) = h**3 + h**2 - 1. Let r be w(f). Let u = -0.1 + 0.2. Which is greater: r or u?
u
Let n(d) = -3*d - 1. Let i be n(-1). Let u = -287 - -53097/185. Let j = 364/555 + u. Is i at least j?
True
Suppose -2*n = -0*n - 8. Let a be (-1 + (-1)/4)*-4. Which is greater: n or a?
a
Let o = 7 - 7. Suppose o = 5*j - 2*j. Which is smaller: 1 or j?
j
Let q = 0.04 + 2.96. Is -3/2 greater than q?
False
Let y = -0.03 - 0.07. Let r = -0.1 - y. Let c = 13 - 15. Is c less than r?
True
Let y = -0.62 + 0.5. Let k = y - -0.32. Is k less than 0.2?
False
Suppose 9*z - 20 = 4*z + 3*d, -3*d - 13 = 2*z. Suppose 0 = 4*n - 5*g - 28, -5*n = -4*g + 8 - 34. Is n bigger than z?
True
Let s be (-4)/(-6)*(-3)/(-1). Let o be s/(-3 + 2) - -7. Suppose -1 - 1 = d, 4*d = -o*v - 8. Which is smaller: 1/3 or v?
v
Suppose 4*o = -4*z - o + 192, -4*z + o = -216. Suppose -3*s - n = -3*n + z, -3*s - 54 = -3*n. Which is smaller: s or -16?
s
Let y = -1 - 1. Let i(r) = 4 - 5*r + 0 + r + 3*r. Let v be i(4). Which is bigger: v or y?
v
Let b be (-18)/(-35) + (-2)/(-7). Let l(j) = -j + 5. Let a be l(4). Which is smaller: b or a?
b
Let m(w) = -w**2 - 5*w + 8. Let i be m(-7). Let l = i + 8. Is 3/5 <= l?
True
Let a = 23 + -50. Let j be (9/a)/(2/(-6)). Is j less than -6/17?
False
Let i = -125 - -180. Let u be ((-6)/i)/((-21)/(-70)). Is -1 smaller than u?
True
Let d = -8 + -2. Let m = d - -9.97. Let a = m + 0.23. Is a != 3?
True
Let v be 0 - -1 - (-2)/(-1). Let f be (3 - 3) + 0 + v. Let j be (-1)/f*4/4. Are -1 and j equal?
False
Let d(y) = y**2 - 7*y + 3. Let v be d(6). Let u be 2/(-9) - (-23)/(-18). Is v at most as big as u?
True
Let d(w) = 2*w**3 - 3*w**2 + w + 2. Let i be d(2). Let j(s) = -s + 8. Let b be j(i). Is b equal to 0?
True
Let v = 35/4 - 265/44. Let k = 27/22 - v. Suppose 5 = -3*b - 1. Which is smaller: k or b?
b
Let o(k) = k**2 - k - 3. Let f be o(3). Is f greater than 4?
False
Suppose 0 = 3*u + 4*n + n - 1, 3*u - 3*n = -15. Is -2 bigger than u?
True
Let c(q) = q**2 - q - 11. Let i be c(4). Which is bigger: 3 or i?
3
Let u be 1 + 3/(-9) + (-21)/(-9). Which is smaller: u or -6?
-6
Let z = 4/21 - 62/105. Let t = -5 - -2. Let g = t + 3.2. Which is bigger: g or z?
g
Let s = -10 - -12. Suppose -3*w + 16 = -5*w. Let x be (2 + w/6)*1. Is s != x?
True
Suppose 0 = 4*x - 5*h - 4, -2*x - 4*h - h = -32. Suppose 2*z - 5*v = -7, -z + 1 = -3*z + 3*v. Let s = z - x. Do s and -1 have the same value?
False
Suppose -8*s + 3*s - 20 = 0. Does -4 = s?
True
Let c be ((-2)/2)/((-3)/(-3)). Let g be 1 - ((-4)/c + -1). Is 1 at least as big as g?
True
Let u = -0.229 - 0.001. Let k = 0.03 + u. Let r = 0.4 - 0.3. Which is smaller: k or r?
k
Let z be 18/136 + 8/(-32). Is z greater than 1?
False
Let b = 0.19 + -0.19. Which is smaller: -0.06 or b?
-0.06
Let i = 8 + -15. Let w = i - -6. Which is smaller: -3 or w?
-3
Let j = -0.27 - -0.17. Let w = j - 1.9. Which is smaller: w or 8?
w
Let j = 2335/3363 + -42/59. Which is smaller: 1 or j?
j
Let k = 8 - 7. Suppose 2*j + k = 11. Do 5 