 -3*s + 3*g + 20 + 1 = 0. Suppose -4*b = 5*v - 4, 3*b = -4*v + s - 0. Which is bigger: 0.2 or b?
b
Suppose -5*j = 35 - 85. Let x be (-2)/6 + j/(-42). Is x at least 0?
False
Let z be (1 - 5)/24*4/39. Which is smaller: z or 1?
z
Let g(r) = 2*r + 2. Let b be g(-10). Let z be (-5)/(15/b) + -1. Let h(s) = s**3 - 3*s + 2. Let i be h(2). Which is smaller: i or z?
i
Let o be -1 - ((-176)/(-42))/(-4). Let x be 6/5 + (36/15)/(-12). Is o at most as big as x?
True
Let s(d) = d + 14. Let v be s(-10). Let b be v*(-3)/(-12) - 14. Do -14 and b have different values?
True
Let r(i) = 3*i**2 - i. Let g be r(1). Suppose 6 = 3*z + 5*s, s + 4 = g*z - 0. Let a be (1 + 1 + -2)/z. Is a <= 1/7?
True
Let a be (188/3)/(14/60). Let w = a - 269. Let x = 3 - 3. Is x < w?
False
Suppose -2*i = -0*i + 3*w - 100, -w - 4 = 0. Let t be 48/i*-2*7. Is t <= -12?
True
Let n(a) = a**3 + 6*a**2 + 4*a - 3. Let t be n(-5). Suppose k + t = -k. Which is smaller: k or -1/3?
k
Let x = 7 - 5. Let y = -1.9 + x. Let r be (-10)/3 - 4/6. Is y smaller than r?
False
Suppose -8*m + 6*m = -n + 57, -4*m - 261 = -5*n. Is n less than 50?
True
Let k = 35 + -242/7. Let f be (-28)/(-156) + 3/(39/2). Do f and k have different values?
True
Suppose 0 = -281*r + 276*r. Is r != -5?
True
Let a be -2 - (-486)/1946*8. Let h = -1968/10703 - a. Which is bigger: 0.1 or h?
0.1
Let o = 2 + -1.8. Let w be (-1 + -1 + 2)/2. Is w at least o?
False
Let w = -2 - -1. Suppose -k - 3 = 2*l, 0*l - 5*l + 3*k = -9. Do l and w have different values?
True
Let f be -1 + -1 - (0 - -1). Let y = 14 + -18. Let v = y - f. Is v < -1?
False
Let n be (-5)/20 - (-57)/4. Let g = n - 8. Let l be (-4)/(-6) - 22/g. Which is bigger: l or -2?
-2
Let u = 102 + -2959/29. Is u at most 1?
True
Let q = 11 + -10. Let u be (-4)/14 - (-48)/21. Is q less than u?
True
Let r = 22 - 22. Which is smaller: -1 or r?
-1
Let o = -48 + 433/9. Let b = 9/19 + -101/133. Which is bigger: o or b?
o
Let p = 4 - 3.8. Let n = -2 + 7. Suppose n*d = -0*d - 10. Which is smaller: d or p?
d
Let v(h) be the second derivative of -h**4/6 - h**3/3 + h**2/2 + h. Let q be v(-2). Is q > -5?
True
Suppose -4*v = -5*v + 2. Which is smaller: v or 5/2?
v
Let s be (84/(-10))/(9/30). Let m be 7/s + 46/(-8). Let d be 4*(1 - (-9)/m). Is d > 1?
False
Let l(g) = g**2 + g + 4. Let w be l(-3). Let y = 21/2 - w. Is y smaller than -1?
False
Let d = 4 + -8. Let g be ((-1)/(-2))/(22/d). Is g at least as big as 0?
False
Suppose 0 = 9*f - 14*f - 225. Are f and -46 non-equal?
True
Let a be 0 + (0 - (3 - 7)). Is a less than 2?
False
Let s = 25 + -24. Is s bigger than 11?
False
Let r be ((-20)/270)/((-2)/6). Let m = -1.2 - -1. Let x = 0 - m. Which is smaller: x or r?
x
Let a = 7441/90243 - 25/333. Is 1 less than or equal to a?
False
Let p = 13 - 8. Let y(g) = -g + 6. Let w be y(p). Let a be -2 + (-18)/(-15) + w. Which is bigger: a or -2?
a
Let m be 1/6 - 6556/(-72). Let x = 91 - m. Is x less than 0?
True
Suppose 10*y = 5*y + 5. Is y < 1?
False
Let i be 2/6 + (-1)/(-3). Let g = 35 + -38. Which is greater: g or i?
i
Let x = -0.5 - -0.5. Let t = -0.1 - x. Let y = 0.03 - 0.13. Is y bigger than t?
False
Let k = -12.37 + -0.52. Let i = -13 - k. Let s = i + -0.09. Which is smaller: s or -4?
-4
Let n = -31 - -43. Let g = 12 - n. Is -0.1 >= g?
False
Let z be 3 - 5 - 25/(-11). Is z > -1?
True
Let x(c) = -14*c**2 - 2*c - 1. Let u be x(-1). Let r be (u - -3) + 1 + 1. Let t be 6/(-4) + (-4)/r. Is 1/6 greater than t?
True
Let v be (-8)/(-2)*-1 - 1. Is -5 greater than v?
False
Let i = 0.21 + -0.02. Let u = i + 0.01. Which is greater: 0.1 or u?
u
Let r = -3/28 - -45/28. Let s = 1 - r. Is -0.1 less than or equal to s?
False
Let s = 1 + 10. Suppose 0 = 3*a - s + 2. Let h be a/5 - 21/60. Which is bigger: h or 0?
h
Let a = 5 - 6. Which is bigger: a or -1.08?
a
Let k = 1/792847 + -1761706125/72149077. Let l = k + 172/7. Is l greater than or equal to 0?
True
Suppose -4*o - 5*g = -3*o - 6, -2*o - 18 = -5*g. Let a = 3/2377 - 425495/9508. Let u = a - -45. Is u less than o?
False
Let g = -28.79 - 1.21. Which is greater: g or 0?
0
Suppose o + 3 = -2*o. Does -8/9 = o?
False
Suppose -2*k - 2*m - 98 = 0, k + 5*m = 2*m - 45. Does k = -51?
True
Let q(f) = f**2 - f - 1. Let p(k) = k**3 - 5*k**2 - 7*k + 6. Let j be p(6). Suppose 6*t + 12 = 4*h + t, 2*h + 3*t - 6 = j. Let s be q(h). Is 3 not equal to s?
True
Let q = -62.76 + 1.76. Is q <= 0?
True
Let m = 20 + -15. Which is bigger: m or 3?
m
Let h = 14 - 15. Is h at least 2?
False
Suppose -5*z - 12 + 52 = 0. Suppose k - 1 = -4*c, z*c + k = 3*c. Which is smaller: c or 0?
c
Let o be (3 - -9) + 1*-3. Is o at least 10?
False
Let w = -2 - -4. Suppose -i + 4 = w*r, 3*i = 3*r + i + 1. Let u be (r/(-2))/(2/4). Which is smaller: u or -1/6?
u
Suppose a + a = 6. Suppose -p - 2*p - a*q - 6 = 0, 3*p + 2 = -q. Which is greater: p or -1?
p
Suppose 0*z = 2*z - 8. Let n be (-2)/z*(-3)/3. Which is smaller: -1 or n?
-1
Let r be ((-6)/18)/((-1)/18). Which is smaller: r or 7?
r
Let b be 5/2 + (-10)/5. Is b bigger than -13?
True
Let g be (-2 + 2)*(-2)/(-4). Let f = 7 + -9. Let k = -4 - f. Is g equal to k?
False
Let a = -7 + 6. Let f be (a + 3)/2 + -1. Is -1 < f?
True
Let t(f) = f**3 - 15*f**2 + 14*f. Let i be t(14). Let q be ((-3)/(-6))/(13/(-4)). Which is greater: q or i?
i
Let y = -2.93 - 0.07. Let t = y - -3.2. Let m = 0.1 - t. Which is smaller: m or 2/9?
m
Let v(h) = -h - 12. Let d be v(16). Is d less than or equal to -27?
True
Suppose -4*v - 175 = -171. Which is smaller: v or 1?
v
Let j be 368/(-12) + 2*(-2)/12. Is j less than or equal to -32?
False
Let v = -0.1 - -1.8. Let m = -0.3 - v. Is -2 >= m?
True
Suppose 0 = r + 3*r - 16. Suppose -5 = -r*g - 1, w + 2*g = 9. Is -0.1 > w?
False
Let s(k) = 2*k - 9. Let w be s(6). Suppose -w*t = -3, -4*n + 4 = -n - 5*t. Let x be n/9*(-3)/2. Which is smaller: x or 0.2?
x
Let m be 3 - (108/(-109) - -4)*1. Which is bigger: 0 or m?
0
Let v(x) = 7 + x**3 - 7 + 3*x + 4*x**2. Let d be v(-2). Suppose -d*a - 5 = -7*a. Which is greater: a or -2/13?
a
Let s = -2 - -3. Suppose 0*o - 3*j - 11 = -2*o, -3*o + j - s = 0. Let q(m) = -m**2 - m - 1. Let y be q(-1). Which is greater: o or y?
y
Let u(r) = -r**3 + 10*r**2 - 8*r - 13. Let s be u(9). Let h = s - 6. Let v be 2/(1/((-2)/h)). Which is smaller: v or -0.1?
-0.1
Let s(u) = -3*u + 0*u**2 + 9*u - u**2 - 3. Let r be s(6). Does r = -1?
False
Let y = 0.04 + -0.04. Let l be 25/(-15) - (-2 + 0). Is y at least l?
False
Let w = 0.4 + -0.5. Suppose -a = -5*a - 4. Let r be (-1 + (1 - a))/1. Which is greater: w or r?
r
Let u = -39 + 39.1. Which is greater: u or 4/29?
4/29
Let r(x) = 7*x**2 - 1. Let z be r(1). Let k(c) = 0*c + 1 + c**2 - z*c + 2. Let f be k(5). Is f less than or equal to -2?
True
Let h(w) = w**3 + 21*w**2 - 47*w - 16. Let m be h(-23). Which is smaller: -2 or m?
-2
Suppose 4*w - 5*z + 2 = 0, -12 = -2*w + 4*w + 3*z. Let l(k) = k**2 + k + 5. Let g be l(0). Let i = -9 + g. Is i equal to w?
False
Let s be (3 - 1)/1 + 1. Suppose -z - 4 = 0, 0 = -s*g - 2*z - 12 - 8. Let r be 6/9*3/(-4). Which is smaller: r or g?
g
Let s be 1 - ((-1 - 2) + 2). Let q(u) = u**2 - 2*u + 3. Let n be q(s). Suppose 4 = -4*x - i, -n*i - 4 = 4*x + i. Is x at most as big as -2/9?
True
Let z = 0.27 + 0.03. Let r = -0.8 - 2.2. Which is greater: r or z?
z
Let m be (-12)/(-6)*1/(-2). Let k(y) = -y - 1. Let x be k(m). Let b be ((-2)/(-2) + -2)*1. Which is greater: x or b?
x
Let q(x) = 6*x + 21. Let j be q(5). Is j at least as big as 52?
False
Let p = 14166 + -98758/7. Let c = 58 - p. Suppose 3 - 8 = 5*a. Which is greater: a or c?
c
Let o(b) = b**2 - 3*b + 1. Let v be o(1). Let s be (-2)/(-4)*(0 - v). Let z be (4 - 0 - 1)*1. Is s less than z?
True
Let u = 3 - 3. Is u bigger than -7?
True
Let y be 1*6 - 2/(-1). Suppose -y = -3*g - 2. Let m be (2/(-20))/(8/(-60)). Which is smaller: m or g?
m
Let s(n) = 2*n**2 - 3*n + 3. Let a be s(1). Which is greater: 4 or a?
4
Let i = -187/6 + 31. Which is smaller: -1 or i?
-1
Let i(q) = 3*q**2 + 10*q + 14. Let p be i(-4). Which is smaller: p or 68/3?
p
Let m = -118 + 102. Is m bigger than -0.1?
False
Let t = -2/73 + 79/219. Are -1 and t equal?
False
Suppose 3*t + 2*h - 18 = -0*h, -2*t + 5*h + 31 = 0. Let p = t + -6. Which is bigger: p or -2/3?
p
Let z = -2.08 - -2. Let m = -4 - -5. Which is bigger: z or m?
m
Let g = 14 + -10. Let 