 + 10/(-35). Is -1 < w?
True
Let k = 122/21 + -36/7. Suppose 3*b = -6, -3*t + 2*b - 7*b = 7. Do k and t have the same value?
False
Let g(a) = a + 23. Let n be g(-11). Suppose -3*t = 4*l - n, -2*l = -t - t - 6. Let h = -2/33 + 13/33. Is h <= t?
False
Let z = 12521/420 + -149/5. Which is greater: 1 or z?
1
Let r(j) = -j**2 - 7*j + 6. Let p = 16 + -24. Let y be r(p). Let l = y - -2. Which is bigger: -2/9 or l?
l
Let p = -1 + -1. Let q = 0.4 + 3.6. Let a = -2 + q. Is a <= p?
False
Let y = 23 - 3. Are y and 19 nonequal?
True
Let c(r) = r**3 - 3*r**2 - 4*r - 4. Let i be c(4). Let a be 3*i/6 + 2. Let t be 2/((2 - a) + -3). Which is bigger: -1 or t?
-1
Let f be (-3)/2*(-84)/9. Let y = -13 + f. Let t = -81 + 647/8. Is y smaller than t?
False
Suppose -5*d + x + 8 = 0, -x - 3 = 2*d - 9. Which is smaller: d or 1/2?
1/2
Let t = 13 + -24. Let o = -11 - t. Which is smaller: -3 or o?
-3
Let u = 6 - -9. Let x = 19 - u. Is 1 >= x?
False
Let k = -0.2 - 0. Which is smaller: 9 or k?
k
Let q be 7*(-3)/(-12) + (-6)/4. Which is smaller: q or 2/9?
2/9
Let o be (-1)/((3 - 2)*(-1)/(-1)). Which is greater: -5 or o?
o
Suppose -28*d + 24*d = 24. Do d and -5 have the same value?
False
Let g = -43 - -20. Which is smaller: -1 or g?
g
Let n be ((-3)/6)/((-1)/2). Let k = 786/16457 - 7270448/24734871. Let c = 4/167 + k. Is n bigger than c?
True
Let y be ((-2)/6)/((-6)/(-12)). Suppose -9 = f - 0. Let m be (f/(-6))/3*0. Is y <= m?
True
Let w(j) = j**2 + 7*j + 9. Let u be w(-6). Suppose 3*l = -s - 1 + 2, -u = -3*l. Is s at least as big as -1?
False
Let h = 29 + -25. Which is smaller: h or 0.3?
0.3
Let i(k) = 3*k**3 + k**2 - k - 1. Let d be i(-1). Let z be -1*3*-1 - d. Let r(f) = f - 4. Let a be r(z). Which is smaller: 0 or a?
0
Let t = 2 + -5. Let d = -7.11 - -0.11. Let q = 6.8 + d. Which is greater: q or t?
q
Let d be 1/(-2)*(-4 - -4). Suppose 2*s = 2, 0 = j - 5*s - d*s + 13. Let y be (1/9)/((-4)/j). Is 1 greater than y?
True
Let p = -17 - -17.1. Is 3 bigger than p?
True
Let u = 0.046 - -4.854. Let i = u - 5. Let k be (2 - -2) + (-15)/5. Is k bigger than i?
True
Let k = 2 - -2. Suppose 0 = 4*q - k, -5*q = -2*t - 0 - 1. Is 1 bigger than t?
False
Let v(i) = 0 + 2 - 3*i - 4 + 5*i. Let g be v(2). Which is smaller: 6/5 or g?
6/5
Suppose 0 = 3*h - 8*h - 65. Is h < -10?
True
Suppose -1 + 3 = 2*n, -5*q + 2 = -3*n. Which is smaller: -1/39 or q?
-1/39
Let w = -22 - -22.22. Let q = -0.12 + w. Which is smaller: q or 0.7?
q
Suppose 2*n - 34 = r, 4*r - 2*r = 2*n - 32. Suppose -c - 3*f = -2, -6*c = -2*c - f + n. Is c equal to -4?
True
Suppose -8 = a - 5*a. Let l be 45/63*a/(-5). Is 3 at most as big as l?
False
Suppose -9*w = -4*w + 120. Is w at least -24?
True
Let b(l) = -l - 6. Let m be b(-6). Suppose r - 2 + 5 = m. Are r and 2/5 non-equal?
True
Let g(l) = -5 + l - 6 - 3*l. Let k be g(-7). Are k and 4 equal?
False
Let j = -19.04 - -19. Which is greater: 0 or j?
0
Suppose -30 = -5*u - 5*m, -u + m = -0*u - 2. Suppose u*w = -0*w + 256. Let r = w + -321/5. Is r != 1?
True
Let h be 0/1 - (-3)/3. Suppose -3*k + 0*k = -3. Let z be 0 + (-21)/(-12) - k. Which is greater: h or z?
h
Suppose 0 = 3*t + 1 - 7. Does 3/2 = t?
False
Let y = 118/3 + -39. Let j = -1 - -5. Suppose 2*t + j = -p - 2*p, -5*t + 3 = p. Which is greater: y or t?
t
Let o be 4*2/(-4)*(-14)/(-4). Let r be -2 - -4 - (0 - -8). Is o greater than or equal to r?
False
Suppose 0*c + 8*c + 8 = 0. Let o be 2 - 1 - (-18)/(-22). Which is smaller: c or o?
c
Let k be (-3 + 9)/2 - 39. Let g = -25 - k. Which is smaller: g or 10?
10
Let f(h) = -2*h - 6. Let i be f(-4). Let w be (-6)/(i/(-1) - -1). Suppose 2*j = -2*c - 3*c + 8, 0 = -3*c + w. Which is smaller: j or 1?
j
Let k be (0/1)/(4*(-3)/12). Does 4/19 = k?
False
Let i = -411113071445636/435 - -945088141562. Let d = i + -620997. Let o = d + 2/145. Which is smaller: o or 0.1?
0.1
Let p be -12*(-1)/(-6)*-2. Let m(t) = -t**2 + 8. Let r be m(p). Do -7 and r have the same value?
False
Let x be (-1)/3 + (-1)/(-21). Let i = 10/13 - 1/52. Do i and x have the same value?
False
Let i = -0.41 + 0.01. Let s = 0.1 + i. Let y = -12 - -13. Are y and s non-equal?
True
Let b = 7/5 - 9/10. Let f = -6 - -7. Let a = f - 4. Is a greater than b?
False
Let h = 350 - 8399/24. Which is bigger: -1 or h?
h
Let h be 3/(-2) - (-3)/(-2). Is h smaller than -13/4?
False
Let m(h) = h**3 - 2*h - 1. Let t be m(-1). Let n(j) = -j**3 + 7*j**2 - j + 9. Let v be n(7). Which is greater: v or t?
v
Let g = 16 - 1. Let s be (-2877)/(-189) - (8/(-9))/(-4). Is g at most s?
True
Let b be ((-6)/4)/(6/(-8)) + -2. Which is bigger: b or 2/77?
2/77
Suppose -3*t - 5 = -5*i + 1, -4*i = -5*t + 3. Suppose i*w - 2*w - 2 = 0. Is w greater than or equal to -2/5?
True
Let b be 5/7 - (-2)/7. Let j = 1 - 7/5. Which is bigger: b or j?
b
Let h = 2.92 - -0.08. Let i = -5 + h. Which is greater: i or 2/3?
2/3
Let h(j) = -j + 1. Suppose -3*m = 3*l - 16 + 4, -2*l - 6 = -5*m. Suppose 19 = l*t - 5*a, 4*a + 5 + 7 = 0. Let y be h(t). Which is smaller: 1/4 or y?
y
Let l(k) = 25*k**3 - 2*k**2 - 2. Let j be l(-2). Let n = j - -2308/11. Is n smaller than 1?
True
Let o = 9.943 + 0.057. Is o < -4?
False
Suppose 5*l + 135 = 4*k, -4*l - 108 = -0*l + 2*k. Are -27 and l equal?
True
Suppose -3*r - 85 = -3*v + 5*v, 2*r + 218 = -5*v. Which is smaller: v or -43?
v
Let r be (2 + -4)*(-6)/(-4). Let b be ((-4)/6)/(2/(-36)). Suppose -5*z + 11 = -3*q - 1, 3*q + b = -2*z. Is r greater than or equal to q?
True
Let g be ((-2)/(-1) - (3 - 1))/(-2). Let q = -16/89 + 1090/5073. Is q smaller than g?
False
Let o(r) = -r**2 + 4*r + 8. Let l be o(0). Is 8 not equal to l?
False
Suppose -10 = -2*w, 5*k - k = 4*w + 24. Suppose -y - k = 4. Are y and -14 equal?
False
Let o = 0 + 9. Let m be (7*1)/(o + -10). Is m < -8?
False
Let k = 13 + -49. Is k equal to -36?
True
Let l = -33 - -30. Which is smaller: -6 or l?
-6
Let d = -521050/191 + 2728. Is d greater than or equal to 0?
False
Suppose -2*d + 9 = 3*y, 0 = y - d - 4 + 6. Which is bigger: y or 4/21?
y
Let p(s) = -s**2 - 8*s + 33. Let z be p(-11). Is 4/63 > z?
True
Let x = 168 - 345/2. Let q = x - -35/8. Suppose 0 = -2*o + 2. Is o at least q?
True
Suppose -3*b + 2 = -1. Let x = 95589308/585639 + -1/65071. Let g = x - 163. Is g greater than b?
False
Suppose o - 2*x - 38 = 3*x, -4*o + 5*x + 92 = 0. Let c be 4/6 + (-30)/o. Let h be -1 + 2/(-10)*-1. Which is greater: h or c?
h
Let l = -46 - 11. Which is bigger: l or 0?
0
Suppose -3*u + 31 = -5*t - 46, -131 = -4*u + t. Which is smaller: u or 32?
32
Let u = -1.587 + -0.013. Are 0 and u equal?
False
Let r be (-88)/(-14) - ((-260)/70)/(-13). Suppose -3*w - 4*p - 27 = -8*w, 3*p + 29 = 5*w. Is w >= r?
True
Let a(t) = -t**2 - 6*t + 4. Let f be a(-7). Suppose -2*p + d + 3*d - 2 = 0, -5*d = -p - 4. Is f > p?
False
Let m be (20/6 - 3)/1. Let q = -10.6 - -11. Which is smaller: m or q?
m
Let k = -20.02 - -20. Let x = 0.08 + k. Which is smaller: x or 1/4?
x
Let z = 4.9 + -4. Is 2 <= z?
False
Let m = -0.24 - -1.24. Which is smaller: 0.03 or m?
0.03
Let g = 0.11 + -0.01. Let p = g - 0.4. Suppose q + d = 5, -4*d + 3*d + 4 = 0. Which is smaller: p or q?
p
Let f be 2/126*41 - (-33)/(-77). Which is bigger: 7 or f?
7
Suppose 4*t - 2*t = -4*h + 26, 0 = -h - 2*t + 11. Suppose 0 = h*b - 0*b + 5. Which is greater: b or -2?
b
Let m be (-4)/10 - (-132)/30. Suppose 4*p + 7 = -i, -3*p + 4*i = -m + 14. Let x be (-2)/(-6) - (-1)/p. Is -1 < x?
True
Let u = 2/99 - -64/99. Let x = 160 + -802/5. Which is greater: x or u?
u
Let o = 91/18 + 4/9. Which is greater: o or 7?
7
Let t be (-5)/100*-2*(-70)/8. Is t bigger than -1?
True
Let y = -36 - -37. Which is smaller: y or -2/15?
-2/15
Let z be (-1 - -4)*14/(-7). Are -2 and z equal?
False
Let d = -12/13 + 110/91. Let f(l) = l**2 + 6*l + 5. Let z be f(-5). Let k(i) = i - 1. Let y be k(z). Which is smaller: d or y?
y
Let b = 0.08 + -0.88. Let n = -1.1 - b. Let k = -6 + 7. Is k > n?
True
Let t = 14 + -14. Is 0 greater than or equal to t?
True
Let a = -53/6 + 253/30. Is a less than or equal to -4/3?
False
Let s be (7/(-2))/((-3)/(-6)). Let v be 2 + 0 - 2 - -4. Let h = s + v. Is h != -3?
False
Let o = -10 - -16. Let g be 256/(-48) - -3*(-4)/18. Let u = g + o. Is -3/11 at least as big as u?
False
Let v(m) be the second derivative of -m**3/3 - 4*m**2 - m. Let h be v(-7). Suppose 3*c + 0*c = -h, -8 = 2*