d be u(0). Let b = d + 15. Suppose 0 = -4*c + 2*v + 2 + 2, c - 5*v - b = 0. Do c and -1 have the same value?
False
Let v = -70 + 102. Let l = v + -31.87. Which is bigger: l or 1?
1
Let n(t) = -2*t - 4. Let a be n(-4). Let s be -1*1/(a/8). Are s and -0.3 nonequal?
True
Let t(w) = -3*w + 2. Let n be t(1). Which is smaller: -5 or n?
-5
Let m = 0.31 + -12.31. Let x = m + 9. Which is greater: -2/5 or x?
-2/5
Suppose -9 = -5*y + 11. Suppose 1 = 5*k - y. Suppose 3*c - 2 = w, -2*w - 3*c = 2*c - 7. Is k greater than or equal to w?
True
Let d = 10.8 - 15. Let t = d + 3.2. Let m = 1.2 - 0.2. Is m at most t?
False
Let q be 8/6*(-6)/28. Let d(f) = -f + 4. Let v be d(5). Is q less than or equal to v?
False
Let y = 3 - 3. Let u = 68 - 40. Let n be (-2)/42 + (-8)/u. Is n smaller than y?
True
Suppose 19 = 2*r - 3*r - 5*n, 3*r - 43 = 5*n. Let o = 0.2 + -0.3. Is o less than r?
True
Let g = -14.1 - -0.1. Let c = g - -14. Which is smaller: c or 4?
c
Let z be (2/(-8))/(2/(-8)). Let k = -4 - -1. Let y = 3.1 + k. Which is bigger: y or z?
z
Let t = 744 + -1459/2. Let o = t + -15. Suppose 0 = 7*z - 3*z - 2*b, 5*z + b = 0. Is z smaller than o?
False
Let p = -3 - -23. Let r = p - 13. Which is greater: 6 or r?
r
Let o be 2/6 + (-1)/12. Suppose -p = 3*p. Is o < p?
False
Suppose 0 = 2*d - 6*d - 20. Which is bigger: -4 or d?
-4
Suppose 2*z + 3*z - 10 = 0. Let u be z - 1 - 22/20. Which is bigger: -1 or u?
u
Let z(w) = w**3 + 5*w**2 - 5*w - 15. Let k be z(-6). Is -21 greater than k?
False
Let k be 1/((-3)/6) - -4. Suppose 0 = -k*n + 5*n. Is n greater than 1?
False
Let c be 23/10 - (-7 + 9). Which is greater: c or 0?
c
Let f(l) = 2*l**2 + 3*l - 1. Let v be f(-2). Are v and 4/9 unequal?
True
Let g be (1 - 1)/(-3 + 5). Suppose 3*a - a - 4 = g. Let o be a/(-10) - 64/(-20). Are o and 3 non-equal?
False
Suppose -3*m + 7*m - 8 = 0. Suppose -12 = -5*a + 2*a. Suppose 0 = n + 5*t - 25 + 2, -4*n - a*t = -28. Which is smaller: n or m?
m
Suppose -k - 3*k + 12 = -i, 0 = 3*k - 2*i - 4. Suppose 4*l - 3*u - 22 = 0, u = 3*u + k. Suppose d + 3*v - 4 = 0, d - 2*v - l = -0. Which is smaller: 5 or d?
d
Let l = -6 - 2. Let z = -6 - l. Suppose -14 = z*r - 3*x, 5*x - 13 = 7. Is -0.3 > r?
True
Let r = -34 - -34. Are r and 2/15 equal?
False
Suppose 3*k + 1 = -2. Is k < -2/103?
True
Let u(p) = -p**3 + 8*p**2 - 1. Let m be u(8). Which is bigger: -1/18 or m?
-1/18
Let o(f) = -f**3 - 5*f**2 - 5*f - 4. Let u be o(-4). Suppose -l + 2*g - 1 = u, -l - 2*g + 6 = 3*g. Is 2 smaller than l?
False
Let h = 33 - 36. Which is bigger: -15/8 or h?
-15/8
Let u = 5/12 + 11/12. Is u >= 1?
True
Suppose -8*y - 95 = -15. Which is greater: -13 or y?
y
Suppose 0 = -0*q + 4*q - 16. Suppose -6 = -3*t, 0 = c - 5*c + q*t - 208. Let g be (-5)/(-1)*(-8)/c. Do g and 2 have the same value?
False
Suppose o + 87 = 4*o. Which is greater: 3 or o?
o
Let m = 269579/99 - 2723. Is 1 != m?
True
Let a be -2 + (9/3 - -6). Suppose v - 5*z = -12, z = 4*v - 5*v + 12. Is v < a?
False
Let w = -20 - -20. Which is greater: 6/5 or w?
6/5
Suppose d = 6*d. Suppose 4 = -d*o - 4*o. Is 1/5 >= o?
True
Suppose 3*b + 6*j = 2*j - 12, 0 = -4*b + j + 3. Suppose 5*l = 20 + 10. Suppose n + 0*w = 2*w + 2, 0 = -n - 2*w - l. Which is smaller: b or n?
n
Let g = -2/35 + 12/35. Let h(o) = -o + 7. Let w = -6 + 13. Let p be h(w). Is g greater than p?
True
Let t be (3 + 1)*(-2)/(-4). Suppose -5 = j - 3*h, -t*j - 2*j + 20 = -2*h. Are 7 and j non-equal?
False
Let n = 0.009 - 0.009. Which is greater: 0.4 or n?
0.4
Let y be 2*1*25/10. Suppose -2*s - 25 = 5*d, -4*s + y*d + 15 = 2*d. Which is bigger: 1 or s?
1
Suppose 2*q - 24 + 6 = 0. Suppose 0 = -3*f + g + 2*g - q, 0 = -5*g + 25. Let o = -1 - f. Is -3 smaller than o?
False
Let d = 55562/8961 - 180/29. Which is smaller: d or 2/3?
d
Suppose -4*c + 135 = -7*c. Are c and -44 non-equal?
True
Let d be (-2)/((-3 - -2)*1). Suppose z = -d*z. Let g be ((-56)/(-10) + -5)*(1 - 0). Is z bigger than g?
False
Let r = 22.0461 + 0.0539. Let t = r - 22. Is -7 <= t?
True
Suppose 0 = -5*q - i + 4*i + 9, -1 = q - 2*i. Let c = q - 3. Let d = -65/57 - -9/19. Which is bigger: c or d?
c
Suppose -15 = -n - 5*t, 0 = -0*n + 2*n - 5*t. Suppose -2*q + 12 = 2*l, n*l = -7*q + 3*q + 25. Which is smaller: 3/5 or l?
3/5
Let j be 1/(-2 + -15)*5. Let f = j - -32/51. Which is greater: f or 1?
1
Let x be 3*1*22/(-165). Are -19 and x nonequal?
True
Let d be (1/3)/(17 + -15). Suppose 3*p - 8*p + 100 = 0. Suppose -4*i - 6 = -3*m + 14, -p = 4*i. Is d at least m?
True
Let y be 5*(0 - (-4)/10). Let i = -15 - -78/5. Which is smaller: y or i?
i
Let w = 3634/133 + -192/7. Is 0 smaller than w?
False
Let i = -29 + 21. Are i and -8 nonequal?
False
Let f(w) = -w**3 - 5*w**2 + 2*w + 11. Let s be f(-5). Are s and 4/5 equal?
False
Suppose -119 - 49 = 6*i. Is i less than -27?
True
Let d(p) = -2*p**2 - p - 1. Let z be d(-1). Let i be (1 - 1)/(z + 0). Let l = -5/9 - -1/18. Is l smaller than i?
True
Let x be (-92)/(-28) + (-2)/7. Suppose -3*s = 4*g - 26, -x*s + 5*g + 13 = -22. Which is bigger: s or 9?
s
Let x(o) = o**2 + 14*o + 2. Let j be x(-14). Is j at least 13/6?
False
Let r = -1.99 - 0.01. Let z = r - -3. Let h = 0.2 + -0.1. Is h greater than z?
False
Suppose -5*c + 18 = -2, -f + 15 = 4*c. Let s be 0 - 9/(1305/(-10)). Is s smaller than f?
False
Let a be 9/(-3) + 240/81. Which is greater: a or 1?
1
Let k be (-2)/(-5) - (-17)/(-5). Let p be (-2 + 8)*7/(-14). Is k > p?
False
Suppose -5*a + 211 = 5*t + 16, 0 = a - 3*t - 39. Let s be 1 + a*3/(-123). Which is greater: s or 1?
1
Let h = -0.74 + 0.6. Let z = -0.24 - h. Is 1 >= z?
True
Let l be 14/6 - (-4 - -6). Let o(a) = -a**3 + 3*a**2 + a. Let k be o(3). Suppose -4*u = -k*u - 2. Which is smaller: l or u?
l
Let n = 2.097 - 2.1. Are 0.1 and n unequal?
True
Let s be ((-2)/(-3))/(18/(-27)). Which is bigger: 21 or s?
21
Let b(w) = w**3 - 8*w**2 + w - 10. Let z be (1 - 1) + 10 + -2. Let h be b(z). Let r be -6 + (2/h - -3). Which is smaller: r or -1?
r
Let m = 1.6 - -10.4. Let k = m + -14. Is 3 at least as big as k?
True
Let s = -6 - 9. Let w = 439 - 1315/3. Is s < w?
True
Let l = 16 - 16. Suppose -4*i + 4 + 12 = l. Is i not equal to 4?
False
Let l(v) = -v**2 + 7*v - 4. Let g be l(6). Let a be (-4 - (-3 + 0))*-2. Is a at least g?
True
Let k = -15 - -22. Is -1 less than k?
True
Let k(j) = -2*j. Let l be k(1). Let m = l - -4. Suppose -m = 2*y - 3*y. Which is smaller: -2 or y?
-2
Let h be (-4)/20*(-30)/(-8). Let c = -3/2 - h. Is c smaller than 0?
True
Let c = 10/81 - 353/891. Suppose 2*j + 4*t - 4 = 0, t + 0 = -2*j + 4. Suppose 2*w + j = 4*w. Is c >= w?
False
Let s = -0.09 - 1.91. Which is smaller: -11 or s?
-11
Let m(z) = z - 2. Let y be m(2). Is y less than -1/5?
False
Suppose 3*q + 4 + 8 = 0. Let j be (2/q)/(3/6). Which is greater: j or 2?
2
Suppose 2 = -o - o. Suppose 5*a = -3*h - 19, -a + 2*h = 3*a + 2. Which is smaller: o or a?
a
Let r = 2 - -2. Let v be 0*(-2 - (-10)/r). Let h be -1*4/(-22) + v. Is h smaller than 1?
True
Let m(i) = -i - 6. Let l be m(-7). Let f = 10 + -9. Is l bigger than f?
False
Let d(v) = -2*v**3 - 4*v**2 - 3*v + 1. Let g(k) = k**3 - k - 1. Let i(h) = -d(h) - g(h). Let a be i(-2). Which is smaller: a or 2/35?
a
Let y = 0.053 - 5.053. Let l = -0.1 + 0. Is y > l?
False
Let i = -49 + 49. Let a = -1 - -1.01. Let y = a + 1.99. Which is bigger: i or y?
y
Let h = -869/6 + 144. Let k = -90 + 89.9. Are h and k nonequal?
True
Suppose 2*c = 4*c - 2. Let a = 8 - 4. Which is smaller: c or a?
c
Suppose 5*d = -37 - 43. Which is smaller: d or -13?
d
Let d = 383/5 + -77. Let i be 59/(-3) + 18/27. Let o = i + 18. Is d at least o?
True
Let w = -16 + 31. Let v be (-11)/w + 2/5. Which is smaller: 4 or v?
v
Let s be (-426)/(-140) + (-15 - -12). Let h = 1/14 - s. Which is greater: h or 0?
h
Suppose -9 = 3*n - 0. Let c = 1 + 0. Suppose 5*i = -c - 4. Is n at least i?
False
Let n = 77/5 + -343/20. Suppose 0 = -3*d - s + 2*s - 11, -5*s + 19 = 3*d. Are d and n nonequal?
True
Suppose 0 = 5*r - 4*q + 1, -3*q = -q + 2. Is -0.3 equal to r?
False
Let r = -2607/182 + 100/7. Let p = r - -29/78. Let j = 5 + -4. Is p >= j?
False
Suppose 2*m = 5*w + 7, -8 = -4*m - 0*m + 4*w. Suppose -o = -3 - m. Let x = o - 5. Which is greater: x or 3/8?
3/8
Let s be (160/120)/(4/(-6) - 0). Are -2 and s equal?
True
Let k be -4 + 5 + 2/(-2). Which is greater: k or 4/13?
4/