j = 0. Which is bigger: x or -1/6?
x
Let b = 0.17 + -4.17. Is b at least as big as 2/7?
False
Let m = -0.9 - -12.9. Let u = -11.91 + m. Which is bigger: 2/9 or u?
2/9
Let r be 2/(-5)*694 + -2. Let u = r - -278. Which is greater: 0 or u?
0
Let r = 1.028 - 0.028. Let l = 9/7 + -31/35. Which is bigger: r or l?
r
Let d = -9.58 + 10.58. Let v be -6*(1 + 2/(-4)). Let u = v + 7. Is u >= d?
True
Let f(t) = 2*t - 9. Let j be f(4). Let b be (j/(-2))/(18/36). Is b greater than or equal to 0?
True
Let f = -0.3 + 0.6. Which is greater: f or 7?
7
Let i = -12 + 8. Let k be ((-3)/15)/((-1)/(-16)). Which is smaller: k or i?
i
Let i = 0.15 + -0.1. Let u = i - -0.45. Is 1 at most as big as u?
False
Let b be 4*-1 - (-234)/63. Suppose 1 = s - 2*j - 1, 3*j = 3*s - 9. Suppose -5*g - 10 = -s*p, 3*g + 5 = -3*p - 1. Which is smaller: b or p?
b
Let h = -5.5 + -0.8. Let y = h - -6. Let g = y + 0.7. Which is smaller: 1/4 or g?
1/4
Let z = 33 - 33.21. Let n = -17 - -17.09. Let b = n - z. Are 1 and b nonequal?
True
Let y = -4 - -10. Suppose 11*h - y*h + 15 = 0. Let o = -3 - -1. Is o not equal to h?
True
Let m = 0.064 + 5.036. Let u = 5 - m. Is u less than or equal to 0.1?
True
Let m = 8 - 15. Which is bigger: -6 or m?
-6
Suppose -5*t + 2*y - 6 = 0, 3*t + 6 = 7*t + 2*y. Which is smaller: t or 3/44?
t
Suppose -3*i + t + 1 = 0, 0 = -3*i + 3*t + 7 - 4. Suppose -12 = -3*v - 3*q, i*q = 2*v - 5*q - 1. Is 3 != v?
False
Let r(z) = -5*z - 2. Let d be 12/(-3) - -2 - -4. Let u be r(d). Let l be (u/40)/(12/(-10)). Which is greater: l or 0?
l
Let h(j) be the first derivative of -3 - 1/2*j**2 + 8*j. Let n be h(10). Is -1 at least n?
True
Suppose 2*w = -5*p + 1, 6 = -4*p + 2*w - 7*w. Let m be (-88)/5 + (-14)/35. Let z be (-7)/21*m/16. Which is smaller: p or z?
z
Let n = -13 - -17. Suppose -3*w = c - 0 - n, -4*w + 2*c + 22 = 0. Is w smaller than 4?
True
Let m = -6 - -4. Let b(y) = -2*y - 8. Let a be b(-6). Let q = a + m. Which is smaller: 4/3 or q?
4/3
Let n = -3 - -1. Let g = -1.01 - -0.11. Let w = -1.1 + g. Are w and n non-equal?
False
Let a = -8 - -18. Suppose -l + a = 4*m, -6*l + 2*l = -5*m + 23. Let k = 1 + l. Which is bigger: -2/5 or k?
-2/5
Let h(i) be the third derivative of i**6/120 + i**5/20 - 5*i**4/24 - i**3/2 + 2*i**2. Let x be h(-4). Suppose x + 0 = -p. Is 0 != p?
True
Let w = -1201/60 - -98/5. Let o = 41/156 + w. Is o bigger than 0.2?
False
Let m = 39.86 - 39. Let g = m + 0.14. Which is smaller: 3 or g?
g
Let g be 79/(-10) - (-2)/2. Let s = g - -7. Is 1 < s?
False
Let p = -1202 + 80532/67. Does p = -1?
False
Let v = -26 - 92. Let f = -123.9 - v. Let d = f - -6. Is 0 at least as big as d?
False
Let a = 58 - 57. Is 9 less than a?
False
Suppose 2*k + 2*d + 20 = 0, -4*d = 6 + 2. Let f be ((-2)/k)/(1/2). Let q = -29 + 29. Are f and q equal?
False
Suppose 11 - 39 = 7*t. Let p = -15 + 22. Let x = 4 - p. Which is bigger: t or x?
x
Let i = 6 + -9. Let z be 2/i*3/(-2). Let p = -25/84 - -1/21. Which is smaller: p or z?
p
Let l be 3*(-3 + (-11)/(-3)). Suppose 29 + 4 = -2*a + 5*y, 0 = 3*a - l*y + 22. Do -4 and a have the same value?
True
Let k(t) = t. Let l be k(3). Suppose -l*v - 3 = 0, -d + 3*v = -2*v + 7. Let r be 16/d*(-1)/(-2). Which is smaller: -1 or r?
-1
Let c be ((-4)/6)/(10/(-6)). Let a be 1*-3 + 1 + 7. Suppose -p + a = 5*w, -4 = p - 5*p - 4*w. Which is bigger: p or c?
c
Suppose -4 = -o + 2. Let d = o - 4. Let j be d/4 - (-1)/(-4). Is j > -1?
True
Let s be 46 - (1/(-1) + (-44)/(-11)). Which is smaller: s or 44?
s
Let v = 0.2 + 0.1. Does v = 0.1?
False
Let g be (-13)/(65/10) - 9/(-3). Suppose 5*z - 12 = 4*r, -z = 2*r - r - 6. Let p be ((-6)/8)/(30/z). Is g greater than or equal to p?
True
Suppose -1 = c + 5*x + 17, x = -4. Let j = 0 + -3. Is j at least as big as c?
False
Let j = 27 - 26. Which is greater: -1/50 or j?
j
Let l(k) = 33*k + 12. Let x be l(10). Let f = x + -5126/15. Is 0 >= f?
False
Suppose -4*w + 75 + 5 = 0. Suppose w = -3*j - 2*j. Which is greater: -6 or j?
j
Let y = -91 - -88. Which is greater: y or 0.1?
0.1
Let w be 3*((-213)/(-9) + 3). Let x = w - 404/5. Which is smaller: x or -2?
-2
Suppose 34 = -11*k - 10. Which is smaller: 4 or k?
k
Let c = 3.9 + 0.1. Which is smaller: 1 or c?
1
Let o be (-3)/7 + 158/238. Which is smaller: o or -1?
-1
Let h = 13 - 73. Let c be h/185*12/26. Let t = -2/481 + c. Is 2 greater than t?
True
Let c = 6.7 - -2.3. Which is smaller: -2/7 or c?
-2/7
Let u be (-6)/21 + 24/(-14). Which is bigger: -3 or u?
u
Let c = -222 + 661/3. Which is smaller: c or 2?
c
Let s = 3842/15 + -256. Is 1/5 not equal to s?
True
Let s(m) = -m + 11. Let a be s(8). Suppose -8*w = -a*w - 5. Do -1/3 and w have different values?
True
Let x = 12 - 10. Is x at most 5/2?
True
Let l = -269/30 + 49/6. Is 3/7 equal to l?
False
Suppose -2*v - 4*y = -0*v, -3*v - 3*y = 0. Let r = 2 + -2. Let x be 1*3*(r + -1). Which is smaller: x or v?
x
Let m = 34.922 + 0.078. Let z = m - 39.9. Let u = -5 - z. Do u and -3 have the same value?
False
Let q(j) = j - 6. Let h be q(8). Let i be (-2)/6*(2 - h). Which is greater: 1/3 or i?
1/3
Let s = 1.4 + -1.478. Which is bigger: s or 0?
0
Let v = -1/18 - -5/9. Let m(p) = -p**3 - 4*p**2 - 2*p - 2. Let l be m(-4). Let r be (5 - -2)*l/21. Is v at least as big as r?
False
Let x = -3.5 + 4.5. Which is greater: x or -193?
x
Let k be -1 - (-4 + 1) - 3. Which is bigger: k or -7?
k
Let k be (-4)/(-6) + (-12)/45. Suppose -4*i = -4*b - 16, 2*b - 2 = -2*i + 6*i. Let c = 8 + b. Which is smaller: k or c?
c
Let g be (-4)/14 + (-209)/(-266). Which is smaller: g or 0?
0
Let a = 2 + -5. Let v be (a/14)/((-6)/12). Do 1 and v have different values?
True
Let q(s) = -s**2 + 3. Let h be q(0). Suppose m - 5 = h. Which is smaller: m or 9?
m
Let x = -4 + 3. Does x = 6?
False
Let n = -226805/2133 - 4/2133. Suppose 0*i + 2*i - 428 = 4*c, -2*i = -3*c - 323. Let a = c - n. Is a <= 2?
True
Let q = 3.6 + 0.4. Let s = q - 3.8. Which is smaller: -0.1 or s?
-0.1
Let a = 46.3 - 46. Is a >= 9?
False
Let w(r) = -r**3 - 20*r**2 + 71*r + 53. Let o be w(-23). Let a(m) = 7*m**2 - 1. Let t be a(1). Is o smaller than t?
False
Let m be 0 + (-4 - (-39)/18). Which is smaller: m or -2/5?
m
Let m be (-21)/7 - (-4 + 0). Is 1 bigger than m?
False
Suppose -a + 2*a = 10. Suppose 0 = 5*i + h - a, 2*i + 6 = 5*i - h. Let f = 0.1 + -0.2. Is f equal to i?
False
Let s = -7240/9 + 806. Is s bigger than 3?
False
Suppose -2*d - 9 + 13 = 0. Do d and -1 have different values?
True
Let o be 27/21 + 2/(-7). Suppose y + y = 0. Let h = o - y. Does -1/6 = h?
False
Let i be ((-2)/(-22))/((-6)/(-28 + -2)). Is 0 at most i?
True
Let y be (2/(-4))/(4/8). Is y greater than or equal to -1?
True
Let j be (1/2)/((-1)/2). Let y be (0 - -11)*(1 - 18/15). Which is smaller: j or y?
y
Let x be (-2)/5*(-102)/(-4). Let m = x + 10. Which is bigger: m or -1?
m
Let n = -5 + 5. Suppose p - 7 = -5*v, 2*v - p = -n*p. Are v and -1/12 nonequal?
True
Let p(a) = -a**3 + 39. Let r be p(0). Let z be 28/182 - (-20)/r. Which is greater: z or -0.07?
z
Let t be (-4)/(-12) + 124/(-348). Which is smaller: 0 or t?
t
Suppose -6*d = -5*d - 5. Suppose 4*v = -31 - d. Which is smaller: v or -10?
-10
Suppose 4*u = -3*h - 13, h - 4*h - 5*u = 17. Let o = -4 - -6. Which is bigger: h or o?
o
Suppose -4 = 2*z + 5*u + 6, -2*z - 6 = 3*u. Do -13 and z have the same value?
False
Suppose 20 = 5*b - 5*a, -b - a = -4*b + 12. Suppose 0*r = -4*r - b. Which is smaller: -1/3 or r?
r
Suppose 0*k - 266 = -5*k + 4*w, -3*k - 4*w + 134 = 0. Suppose 0 = -4*v - 6*y + 4*y + 40, -5*v + k = -5*y. Suppose v = 4*q + q. Is 3/4 > q?
False
Let g be (12/(-21))/(4/(-996)). Let m(a) = 28*a + 2. Let y be m(5). Let c = y - g. Which is smaller: 0.1 or c?
c
Let v(h) = 5 + 2*h - 11*h - 2. Let w be v(-3). Let k be (-2)/w - 7/21. Is k >= -0.3?
False
Let y = 10 + -15. Let f(q) = q**2 + 6*q + 2. Let x be f(y). Let u = x - -2. Is -2 smaller than u?
True
Let v = -2.02 - -2. Let j = -0.05 - v. Let g be 7/(-35) + (-2)/40. Which is greater: g or j?
j
Let z be -7*1*(2 + -1). Let s(v) = -6 - 3*v**3 + v**3 + v**3 - 6*v**2 + 6*v + 0*v**3. Let n be s(z). Which is bigger: n or 2?
2
Suppose 1 = -0*m + m. Is 2/11 equal to m?
False
Let z be 5/(-11)*(12/5 - 2). Which is greater: 0.8 or z?
0.8
Let y be ((-1)/(-6))/(9/18). Is y <= -1/4?
False
Suppose -7*m = -0*m + 35. Is m less than -5?
False
Let p(f) = -f*