1, 4*a + 13 + 0 = -d. Let j = 64/3 + d. Which is bigger: 6/11 or j?
6/11
Let x = -0.1 - 0.9. Let y = 18.9 - 18. Let f = x + y. Which is bigger: f or -1/2?
f
Let x = -7.5 + 7. Is 1 smaller than x?
False
Let a be (-1 - -1 - 2)/(-2). Let n(m) = 25*m**2 + 1. Let h be n(1). Let p be h/(-6) + 2/6. Is a equal to p?
False
Let k be (14/3 + -4)*9. Suppose k*q + 3 = 9*q. Is -1/18 greater than or equal to q?
False
Suppose -2*w - 2*w - 32 = 0. Is -8 smaller than w?
False
Let k(r) = -r**3 - 6*r**2 + 6*r - 9. Suppose o = -q, -4*o + 6 = q + q. Suppose -3*b - 27 = o*x, -3*b - 2*x + 13 = 38. Let v be k(b). Are -2 and v unequal?
False
Let l(p) = 4*p**3 - p**2 - p. Let r be l(-1). Which is smaller: -7 or r?
-7
Let x = 63 + -53. Which is greater: 2 or x?
x
Let k be (3/15)/(4/10). Which is bigger: k or 1/8?
k
Let j(f) = -f**2 + 13*f - 17. Let q be j(12). Let o be 0/1*q/(-10). Let h be (-1)/(-15)*2*-3. Is o greater than or equal to h?
True
Let j(u) = -u + 0*u - 7 + 2*u. Let m be j(9). Is 1 < m?
True
Let u = 29/10 + -5/2. Which is smaller: -2 or u?
-2
Let o be (1/2)/1 + (-42)/48. Which is greater: 1 or o?
1
Suppose 0 = -3*k + k + 2. Let p = 6 + -4. Suppose -3*f + 0*g - 1 = p*g, 4*g = -8. Is f bigger than k?
False
Let k = -0.05 + 3.05. Let q = 109 - 104. Let w = k - q. Which is greater: 2 or w?
2
Suppose 0 = -z - 0*z + 2. Let i be (-25)/4 + z/8. Which is bigger: -5 or i?
-5
Let o = -49 + 34. Which is smaller: -13 or o?
o
Let t be 20/6*18/(-15). Let k be t - (0 - (-1 - -1)). Let s be (k/12)/((-2)/18). Is 3 at most s?
True
Let n = 1.21 - 0.21. Which is bigger: n or 1/6?
n
Let w = -2 + 2.7. Let u = w - 1.5. Let a = -0.7 - u. Is a < -1?
False
Let q = 19/24 + -89/8. Which is greater: -11 or q?
q
Suppose 5*p = 2*p. Let j = -12 - -16. Let w be 1/((p - 3) + j). Are 1 and w nonequal?
False
Suppose 0*m = 2*m - 22. Suppose 0 = 4*b - 9 - m, 5*f - 2*b - 5 = 0. Is 3 at most f?
True
Let q be (-2 - -3)/(1/43). Let w = q - 131/3. Which is smaller: -1 or w?
-1
Let v = 155 + -13. Suppose 0*r + 3*y = -2*r + v, 174 = 2*r - 5*y. Let c = 691/9 - r. Is c >= 1?
False
Suppose -70 = -0*w - 5*w. Suppose w = -5*y + 2*r, -5*r + 16 = -y - 2*y. Let z be 0 + 1 + 4/y. Is -1 > z?
False
Suppose -3*m + 5*o + 17 + 18 = 0, -5*o = 20. Let p = 6 - m. Is p at most 2/21?
False
Let a = 12 + -17. Let b = 6 + a. Let c be 1/b*1*-2. Are -1 and c unequal?
True
Suppose 3*h - a - 2*a + 21 = 0, 5*a - 17 = 2*h. Let q be h/15 + (-3)/5. Let b be (-2 - -3)*(1 - 2). Is b <= q?
True
Let z = 6 - 0. Let x be z/15 - 96/15. Let n be (x/(-8))/(18/12). Is n < 0.1?
False
Suppose 1 = -4*s - 3. Let a = -170/21 + 8. Which is bigger: a or s?
a
Let f be 160/(-42) + (-10)/(-15). Which is smaller: -2 or f?
f
Let h = -8.5 + 8. Let u = -6.5 + 9. Let m = h - u. Is m greater than -1/2?
False
Let l = 1 - -4. Let n = 0 - l. Let o = -3 - n. Which is smaller: o or 0.1?
0.1
Let f be 25/9 + (-6)/(-27). Suppose 0 = -m + 6*m + o - 7, -3*m - 3*o - f = 0. Is 2 bigger than m?
False
Let b(y) = -7*y**3 + 16*y**2 + 7*y - 18. Let c(u) = -3*u**3 + 8*u**2 + 3*u - 9. Let k(i) = -2*b(i) + 5*c(i). Let z be k(8). Let h be 3 + (-5 - 2/z). Does 1 = h?
False
Let v(m) = -m**2 - 16*m - 21. Let o be v(-15). Is -4 bigger than o?
True
Let h = -9 - -10. Let r(b) = b**2 + 5*b + 2. Let y be r(-5). Is y equal to h?
False
Let f = -14684/33 - -445. Which is greater: -1 or f?
f
Let w = 0.05 + -0.05. Let d = w - -0.1. Which is bigger: 1 or d?
1
Let s be 3/(-7) + (-10)/(-14). Let y = 2 + -1. Is y at least as big as s?
True
Let j be (-4 + 1)/((-9)/6). Suppose -6 = j*q - 4. Which is greater: 3/10 or q?
3/10
Let k be 4 - ((-6774)/(-1071) + -3). Let y = k + -1/119. Let v = 0.1 + -0.1. Which is smaller: v or y?
v
Let x = 16 - 21. Is x greater than -0.1?
False
Let k = 7 + -8. Is -5/8 > k?
True
Let l(c) = 7. Let f(t) = t + 1. Let h(o) = 2*f(o) + l(o). Let p be h(-5). Suppose -5*q = -j + 6*j - 5, 1 = j. Which is smaller: q or p?
p
Let y be -1 + 0/1 + -2. Let d be (-26)/(-143) + (-3)/66*59. Do d and y have the same value?
False
Let z(k) = -k**2 - 5*k + 3. Suppose -10 = 3*x + 8. Let u be z(x). Suppose 0 = g - 2*g - 5*t + 10, -g - 8 = -4*t. Which is bigger: u or g?
g
Let v be (-11)/15 + 20/50. Let h be (4/(-16))/((-1)/4). Let t be (h/1 - -1)/2. Which is greater: v or t?
t
Suppose 6*b - b = 50. Which is smaller: b or 44/5?
44/5
Let c(j) = 2*j - 13. Let l be c(7). Is -1/10 bigger than l?
False
Let z = 2/53 + 49/106. Is 0 <= z?
True
Let s = 475.03 - 477. Let x = 0.7 - 0.73. Let b = x + s. Is 0.1 at least b?
True
Let c = 4 + -8. Which is greater: c or 0?
0
Let z be 2/(-6)*(-51)/(-17). Which is greater: -2/11 or z?
-2/11
Suppose -j - 6 = 2*j. Let u be (j - -1)/(4/(-4)). Let b = 3 - 0. Which is smaller: u or b?
u
Suppose 5*y + 200 = -5*q, -3*q + 7*q + 165 = -3*y. Is q <= -44?
True
Let u = -1.7 - -1.5. Let w = 0.7 + u. Is -2 at most as big as w?
True
Let r = 6 - 10. Let w = r - -3. Is w bigger than -3?
True
Let x be (-69)/(-5) - (-2)/10. Let o be 2 + -1 - 3 - -24. Suppose o = -r - 4*m, -3*r + 0*r + x = -4*m. Is r greater than -1?
False
Suppose -10 = -4*b + 14. Suppose 4 = -2*q - f + b, 4 = -f. Let y = 0.2 - 1.2. Are q and y nonequal?
True
Let h = 6 - 4. Suppose -12 = -2*u - h. Suppose -o - 12 = -u*o. Is o not equal to 3?
False
Let y be ((-306)/(-20))/(1/2). Let s(l) = 3*l**2 - 5*l + 3. Let w be s(4). Let q = y - w. Is q at most as big as -1?
False
Let i = 1269441/23165 - -1/23165. Let g = i - 55. Which is smaller: -5 or g?
-5
Suppose -3*y - 2*v = 2*y + 1, 3*y - 9 = 2*v. Do -1/31 and y have different values?
True
Suppose -3*c + 2*o = -3*o - 1, -o - 1 = -c. Which is smaller: -1/4 or c?
-1/4
Let u be 0 - (1 - (-3)/3). Let k = u + 3. Let o = -1/3 + k. Which is bigger: -0.2 or o?
o
Suppose -2*v = 2*v + 2*c, -5*c = 10. Suppose 2*t - 8 = 0, 3*t - 1 = l + 9. Suppose 5*o = -h - 17, 4*h - 7 = -l*o - 3. Is v smaller than h?
True
Let x = 4 + -4. Suppose 0 = -x*i + i. Is 6/7 > i?
True
Let j be (5/10)/((-10)/4 - -2). Let n be 6/(-70) + (-2)/(-7). Which is greater: n or j?
n
Suppose -4*u + 2*u = 4. Let f be u/(3*(-2)/3). Let x be f*1*4/2. Which is bigger: x or 4/5?
x
Let t be 3/(-4 - (-2 + -1)). Which is bigger: t or 2/7?
2/7
Let l(t) = -t**3 - 17*t**2 + 17*t - 15. Let i be l(-18). Is -2 not equal to i?
True
Let j = 4 + 10. Suppose 3*n + j = -v + 3, -5*n - 20 = 0. Suppose 2*h = -0*h + 2. Are v and h equal?
True
Let x be (-77)/63 - 2/(-9). Are -1 and x unequal?
False
Let n be -3 - -5 - 32/10. Let c be 0/(3*2/(-3)). Is n at least c?
False
Let h = -16 - -22. Let s = h - 2. Let d be ((-3)/7)/((-6)/s). Which is smaller: d or 0?
0
Let i = 1.8 - 1.3. Which is smaller: i or -0.3?
-0.3
Let h be (-10)/(-6)*4/20. Which is greater: 143 or h?
143
Let o(b) = -5*b + 7. Let y be o(-14). Suppose -f = 3*m - 4*f - 87, y = 3*m - f. Suppose -5*h + w - 19 = 0, 6*h - 3*w = 2*h - m. Is h > -8/3?
False
Let t(a) = -a**3 + a. Let q be t(-1). Let v = 1115/4 + -283. Let k = v - -111/28. Is q not equal to k?
True
Let k be 2/(-55) + (-9)/(135/(-6)). Suppose 0*h - 5*h - 5 = 0. Is k smaller than h?
False
Let a be ((-28)/(-455))/(2/5). Are 0 and a unequal?
True
Let k = 0 - 7. Let i be (-2)/k - (-6)/(-21). Which is greater: i or -6/5?
i
Suppose 7*m + 18 = 4*m. Is -4 >= m?
True
Let x = 5 - 9. Suppose -4*i + 0 - 8 = k, 5*k - i = 65. Let q be (-8)/k + (-33)/(-36). Are x and q non-equal?
True
Suppose j + 0*j - 15 = 0. Let a be (12/j)/((-3)/(-15)). Suppose -a*t - 20 = -0*t + p, -4*t - 5*p = 20. Which is smaller: -4 or t?
t
Let u = -70 + 70. Let v = -0.03 - 13.97. Which is bigger: v or u?
u
Suppose -5 = -5*w + 15. Suppose 2 - 14 = w*m. Do -1 and m have the same value?
False
Let n be (-26)/136 + 6/24. Is n < 1/3?
True
Let g = 1 + 2. Let d be 1/(-1)*(1 - g). Which is smaller: 3 or d?
d
Let z(m) = -6 - m + 3*m + 2 - 1. Let y be z(4). Do y and 2 have the same value?
False
Let g(s) = -5*s - 3. Let m be g(-5). Is 23 smaller than m?
False
Suppose 572 = 6*n + 5*n. Is 53 < n?
False
Suppose -92 = -2*s - 2*s. Suppose s = -2*m + 5*o, -3*o + 16 = 5*m - 4. Let p be (-2)/7*(-2)/(-2). Which is smaller: p or m?
p
Suppose -5*o + 2*l - 23 + 91 = 0, -40 = -3*o + 2*l. Suppose 4*t - 5*t = -13. Which is smaller: o or t?
t
Let h be (-20)/12*(0 - 3). Let m(k) = 2*k - 10. Let d be m(h). Is 1 smaller than d?
False
Let d = -17 - -52/3. Let k be 2 + 75 + (-1)/1. Let o = k + -