Let z be -3*((-4)/6 - 0). Suppose -z*h + 3*y = 5, -2*h - 7 - 4 = -5*y. Which is smaller: a or h?
a
Let f = 144.07 + -149. Let z = 5 + f. Let n = z + 0.03. Which is smaller: -0.1 or n?
-0.1
Let s(q) = 2*q**2 + 3*q + 1. Let t be s(-2). Suppose -1 = 4*o + t*x + 13, 5*x = o - 8. Which is bigger: o or 0?
0
Let f = -3 + 10. Let c be f/5 - (-2)/(-5). Is -1/3 less than or equal to c?
True
Let b be 2/(-5) + 62/5. Let v be 0 + (2 - 21/b). Is -0.4 < v?
True
Let t = -3 - 2. Let v = 8 + t. Is 2 >= v?
False
Suppose -4*d + 2 = -3*d. Suppose -d*m = m - 12. Let y(w) = w**3 - 3*w**2 - 4*w + 1. Let i be y(m). Is i != 0?
True
Let n = -10/17 + 64/51. Let t be -1*(-2*75)/2. Let v = 373/5 - t. Which is smaller: n or v?
v
Let x be 1/(-3)*324/126. Which is smaller: -1 or x?
-1
Let l = 1 + 4. Do -2/9 and l have the same value?
False
Suppose 0 = -2*g - 3*g - 4*q - 33, -g = 2*q + 9. Let j be 22/(-55)*g/(-9). Is 0.3 at most j?
False
Suppose 0 = -0*j - 5*j - 30. Let p = 6 + j. Let x be (-2)/5 + 9/15. Which is smaller: x or p?
p
Let s be (-14)/(-28)*60/(-2). Let g be 21/s + (-1)/(-1). Which is greater: -1 or g?
g
Let f be (-1)/(0 + (0 - -1)). Are f and -1 nonequal?
False
Suppose x + 5*d = -24, 2*x - 7 + 103 = 2*d. Is x less than or equal to -44?
True
Suppose 3*z + 23 = 8. Suppose -g - 11 + 6 = 0. Is z != g?
False
Let u(g) = -g - 6. Let t be u(-6). Do t and 2/23 have different values?
True
Suppose 4*x + 56 = -4*i, -5*i - x = x + 58. Let j be (i/25)/((-1)/20). Suppose 4 = 4*g - j. Which is greater: 1 or g?
g
Let j = -0.09 + 1.79. Let h = j + -2. Which is smaller: -0.2 or h?
h
Suppose 8*z - 13*z = -20. Suppose -z*y + 12 = -y. Which is smaller: 3 or y?
3
Let q = -25 - 13. Which is greater: q or 0?
0
Let x be (-4)/6 - 84/(-18). Which is smaller: x or 3?
3
Let p = 118 + -118.4. Which is smaller: p or -1/5?
p
Let o be 2 - (0 + -1 + -3). Is o >= 20/3?
False
Let f = -13041/5 + 2631. Let t = 23 - f. Let l(z) = z + 6. Let h be l(-5). Is h < t?
False
Suppose 3*x - 3 - 9 = 0. Suppose 0*p - 12 = -x*p. Is 1 >= p?
False
Let s be -44 + ((-2)/(-4))/(2/(-12)). Is -46 greater than s?
True
Suppose 5*z = -0*z - 25. Which is bigger: -4 or z?
-4
Suppose -1 = s - 0. Which is smaller: s or -0.1?
s
Let t = 2 + -4. Is -3 < t?
True
Let q = -2 - -4.5. Let f = -0.5 + q. Is 1 smaller than f?
True
Let q be 4/(-6)*(-1)/4. Let c(t) = -t - 4. Let u be c(-4). Is u greater than q?
False
Let q(v) = -v**2 - 5*v + 1. Let l be q(-5). Let n be ((-2)/(-25))/((-4)/(-5)). Which is bigger: n or l?
l
Let b(c) = -6*c + 4*c - 5 + 0*c. Let g be b(-5). Let a be 1/(-4) - g/(-4). Is 0 less than or equal to a?
True
Let g be (-1)/(-1) - 9/7. Let k(y) = y. Suppose -7 = -h + 3*t - 2, 5 = -3*h - t. Let w be k(h). Is g smaller than w?
False
Let a = 60 + -59. Which is smaller: 2 or a?
a
Let o = 13 + -119/9. Let b = 256 - 257. Which is greater: b or o?
o
Let i(u) = 6*u + 3. Let r(m) = -5*m - 3. Let l(j) = 6*i(j) + 7*r(j). Let s be l(5). Are s and 2 equal?
True
Let k = 18 - 26. Let m = -5 - k. Let l be (2/8*-2)/(-1). Which is bigger: m or l?
m
Let f = 3 + -3. Let h be (-2 - (-1 - 1)) + f. Is h bigger than 2/7?
False
Let n(i) = -i**2 - 9*i - 7. Let m be n(-7). Suppose 2 = 3*x - m. Let d be (3/27)/(1/x). Which is bigger: -1/5 or d?
d
Let t be -2 + 1 - (-2 + 1). Which is smaller: t or -1/3?
-1/3
Suppose -2*u - 20 = 3*w, 4*w + 0 = -5*u - 36. Let g be 4/6*(-6)/w. Let f be (-1)/(2*(-2)/(-4)). Which is bigger: f or g?
g
Let j = -23 - -22. Is j bigger than 1/6?
False
Suppose -n = -7 - 7. Is 12 bigger than n?
False
Let k be (-72)/7 + 10/35. Let y = 13 + k. Which is bigger: 1 or y?
y
Let s be (36/21)/((-2)/28). Let q be (-15)/s*2/5. Let i(a) = -a + 6. Let k be i(5). Is q equal to k?
False
Let p = 0.55 + 5.65. Let g = p - 6. Is g bigger than 0.2?
False
Suppose 2 = 2*g - 0. Let f be (4/(-42))/((-4)/(-12)). Which is greater: f or g?
g
Let k be 2/(-3) - 48/(-18). Let n be 76/40 + (-3)/k. Which is bigger: n or 0?
n
Let q = -143 - -159.1. Let v = 17 - q. Let n = v - 1. Is n smaller than 1/3?
True
Let l = -11 - -12. Let f be (2 - l)*(-16)/4. Which is greater: -6 or f?
f
Let p be 16/6 + (-2)/3. Suppose p*l - 5 = -3*l. Is l <= 2?
True
Suppose -30 = n - 6*n. Let r be 4*(2 - n/4). Which is greater: r or 3?
3
Let i(v) = -v - 13. Let r be i(-13). Which is smaller: -2/19 or r?
-2/19
Let m = -7 + 1. Let c(p) = -p**2 - 5*p - 1. Let j be c(m). Are j and -6 unequal?
True
Let u be -10*(-2 - 8/(-5)). Suppose -u + 5 = -d. Is d != 0?
True
Let z be 2/1*(2/20)/1. Let m = 1 + 0. Which is greater: z or m?
m
Let a(o) = -4*o**2 + 3*o**2 + 0 - 1. Let i be a(-1). Let z = -7 - -7. Which is bigger: z or i?
z
Let r = 104 - 155. Which is greater: -1 or r?
-1
Let r be (3/(-18)*-166)/(0 + -1). Which is smaller: r or -29?
-29
Suppose 52 = -5*t - 13. Which is smaller: t or -12?
t
Let u = -3.5 - -3. Let b = u - -0.4. Which is smaller: -0.3 or b?
-0.3
Suppose -3*g = -5*k + 4*k + 18, 2*g + 32 = 4*k. Suppose 0 = 10*q - k*q. Is 0 at least q?
True
Let j = -2/15 - -8/15. Let u = 10.14 + -10. Let d = u - -1.86. Is j less than d?
True
Let z be (3 - -1) + 4/(-2) - 3. Are z and -2/255 unequal?
True
Let v = 0.068 + 1.932. Which is greater: -12 or v?
v
Let z = 6 - 3. Suppose 4*t + 2*x - 1 = z, 4*t = -x + 8. Do 2 and t have the same value?
False
Let z = -7.98 - -0.88. Let v = 7 + z. Is v at most as big as 1/13?
True
Let z = 0.67 + -0.57. Is 0.09 equal to z?
False
Let w(s) = -s**2 - 4*s + 5. Suppose 0 = 5*o + 4*g + 13, -3*o + 2*g - 4 = 17. Let u be w(o). Let x be 0 + (-1)/2*u. Which is greater: 2/11 or x?
2/11
Let c be (-1)/1*0/(-2). Let n = -5 - 3. Let x = -8 - n. Is c >= x?
True
Let v be ((-2)/(-8))/(1/4). Which is smaller: -19 or v?
-19
Let r(t) be the third derivative of t**6/120 - t**5/30 + t**4/24 - 8*t**2. Let v be r(1). Let s = -62 - -560/9. Are v and s equal?
False
Let q = 45 - 32. Suppose q = -2*y + 1. Is -6 at least y?
True
Let w = -58/39 - -2/13. Suppose -4*m + 11 + 9 = 0. Suppose t + 0*a - 4 = -5*a, 2*t - 3 = -m*a. Is t less than w?
False
Let o = -0.016 - 0.984. Which is greater: o or 1?
1
Let j be (8/24)/(2/48). Are 9 and j nonequal?
True
Let n(k) = k**2 + k + 2. Let b be n(-3). Suppose -m - 13 = 2*i, -6 = 3*m + 9. Let g be (2/b)/(2/i). Are g and -2/7 unequal?
True
Let j be 40/8 - (-2 - -3). Suppose -j = -3*t + 2*t + u, -3*u = 0. Is 4 > t?
False
Let i(b) = 2*b - 1. Let z be i(2). Suppose -4*g = z*l - 7, 3*g = -2*g + 20. Which is greater: 0 or l?
0
Let i be (7/1)/(0 - 1). Let t(d) = -d**2 - 7*d - 3. Let l be t(i). Is -5 equal to l?
False
Let w(i) = 2*i**3 + 2*i**2 - i. Let b be w(1). Suppose s - 2*k + 7 = 0, -b*k - 1 = -13. Is 1 > s?
False
Let a = -23.1 + 23. Which is greater: a or -2?
a
Let f = 0.2 - 0.4. Let o = f + -0.8. Let m = -0.3 - -0.2. Is m equal to o?
False
Let o = -64/97 + 3706/6499. Let z = -17/938 - o. Which is smaller: -1 or z?
-1
Let u = -53/42 + -1/14. Suppose 4*w = 10 - 14. Are w and u unequal?
True
Let k be 415/20*18/2. Let v = 184 - k. Let s = 29/12 + v. Is s less than 0?
True
Let h = -503/145 + 17/5. Which is greater: h or -1?
h
Let w = -2 + 1. Let x = 7/6 + -65/42. Let q = x - 1/21. Which is smaller: w or q?
w
Let d(o) = -3*o - 16. Let r(f) be the third derivative of -f**4/12 - 11*f**3/6 + 2*f**2. Let a(u) = 5*d(u) - 7*r(u). Let j be a(-4). Which is bigger: j or 0?
j
Let q(k) = 4*k**2 + 1. Let c be q(1). Suppose -2*a - 18 = -4*v, -a + c*a = v - 1. Let l = -35 - -33. Which is smaller: a or l?
l
Let z = -18 + 20.6. Which is smaller: z or -1?
-1
Let g(p) = -p**2 + 3*p - 5. Let a be g(5). Is a equal to -46/3?
False
Let a = 1.3 - -0.7. Let n = 2.2 - a. Does n = 0.2?
True
Suppose 0 = 4*b - 4, 4*w + 2*b - 1 - 1 = 0. Let z(n) = n - 5. Let j be z(w). Let k = j - -5. Which is smaller: k or 2/13?
k
Suppose -4*h = 5*o - 4, 4*o + o = 5*h - 5. Let a(i) = i**2 + 2. Let t be a(0). Suppose -u - t = -2*x, -4*u + 2*x - 8 = x. Which is bigger: u or o?
o
Let b be 3*((-5)/(-3))/5. Are b and 2 non-equal?
True
Let d = -91 - -103. Is -0.1 > d?
False
Suppose 0 = -28*n + 29*n. Is 2 < n?
False
Let d = 1121/6516 - 6/181. Let u = d - -1/9. Is u < -1/21?
False
Let d(c) = c**2 - 7*c + 3. Let y(m) = -m - 1. Let r(x) = d(x) - 2*y(x). Let k be r(5). Suppose -1 = -2*g - k. Is g >= -1?
False
Let n = -1.1 + 1.15. Let b = n + 0.05. Which is smaller: b or -3/7?
-3/7
Suppose 4*p + i - 9 = 0, 4*i - 5