t u = -5.23 + 0.13. Let s = u + 5. Which is greater: -0.01 or s?
-0.01
Suppose 14 = -2*v + 4*h, 0 = -4*v + h - 4*h + 16. Which is smaller: v or 2?
v
Let b be (5/25)/(2/(-4)). Let l = 14 + 0. Is l less than or equal to b?
False
Let u(w) = w**2 - 18*w - 27. Let f be u(19). Are 4 and f unequal?
True
Suppose 108 = f + 3*f. Let d = 15 - f. Is -11 at least as big as d?
True
Let h = 6 - 5.93. Let y = 0.93 + h. Let k = 0 - 0. Are y and k non-equal?
True
Let k be 5/(-15)*(-9)/24. Which is smaller: 1 or k?
k
Let h = -33.8 + 34. Which is smaller: h or -7/4?
-7/4
Let v be 87/6 - 1/(-2). Let g be 6/v + (-16)/(-10). Let x be g + -1 + 1*-2. Is 0 > x?
True
Let v(m) = -m**3 + 4*m**2 + 2*m + 2. Let a be v(4). Let w be a/(-60) + (-5)/(-42). Is w at least as big as -1?
True
Let b be (-9)/(-60) - 2/(-8). Which is smaller: b or -1?
-1
Let r(i) = -i**3 + 7*i**2 - 3*i - 5. Let p be r(6). Which is smaller: 11 or p?
11
Let o = -3/34 - -43/102. Is -2/19 != o?
True
Let n = 13 + -9. Suppose 27*m - 18 = 21*m. Do n and m have different values?
True
Let s = 8 - 118/15. Which is smaller: s or 0?
0
Suppose -5*l + 4*l + 33 = 0. Let p be l/(-11) - (0 + 1). Is -4 less than or equal to p?
True
Let o = 22.62 + -23. Are o and -1/4 unequal?
True
Let o = -18.6 + 17. Let i = o + -0.4. Let s be 6/(-15) + (-2)/(-5). Is s at most as big as i?
False
Suppose 15*b = 10*b + 5. Which is smaller: b or 3/4?
3/4
Let c = 2680 - 302838/113. Which is smaller: 0 or c?
0
Let v = 9 + -4. Let l = v - 4.6. Let r = l + -0.5. Is r smaller than -0.2?
False
Let w be (-3)/(-12)*7*36. Let g be (-86)/18 + (-14)/w. Suppose 0*l + 5 = -l. Is g smaller than l?
False
Let v be (-4)/2 + 3/(-1) + -5. Are v and -10 nonequal?
False
Let f be (-3)/(-12) + (-210)/744. Which is smaller: 1 or f?
f
Let p = -2 + 3. Let s be 1 + -3 + 107/(-2). Let v = s + 57. Which is bigger: v or p?
v
Let x = 0.81 + -3.81. Are -9 and x equal?
False
Suppose -3*s + 742 - 34 = 5*a, -3*s + a = -690. Let c = 1149/5 - s. Is -2 at most c?
True
Suppose -4*h - 19 = -2*y - 1, -2*y + 3*h + 13 = 0. Let b be y + 74*7/12. Let o = -87/2 + b. Do 0.1 and o have different values?
True
Let t = -36 + 36. Suppose 11 = -2*c + 3*l, -3*l - 25 = -5*c - 6*l. Let o be (-1)/3*(0 + c). Is o greater than t?
False
Let d be 1/(-3) + (2274/(-36) - -7). Which is smaller: -58 or d?
-58
Let g(i) = -i + 4 - i + 4*i - i. Let n be g(-2). Which is smaller: 6/11 or n?
6/11
Let j be (-3)/15*(-5)/(-4). Are j and 0.2 nonequal?
True
Suppose 5*q = -5*f - 60, -8 = -q + 3*q - 2*f. Is q bigger than 0?
False
Let p = 17/315 + -1/252. Which is smaller: 1 or p?
p
Let f be (4/2)/(-3 + 4). Let l be ((-1)/f)/(1/(-2)). Suppose -3*t - 13 = -9*j + 4*j, -2*j - 3*t = -l. Which is smaller: 1 or j?
1
Suppose -4*b = 3*o - 22 - 5, -b + 24 = -5*o. Let f(p) = -p + 9. Let m be f(b). Which is greater: -2/3 or m?
m
Suppose 4235 = 5*o - 4620. Let t = 12455/7 - o. Let s = -8 + t. Is s greater than or equal to 0.2?
True
Let i = 0.09 - 0.19. Is 1/11 bigger than i?
True
Let o be 16/12*6/(-4). Is o < -15/11?
True
Let g = 53 + -319/6. Is 6 != g?
True
Suppose 3 = -12*m + 15. Is m not equal to 3/14?
True
Suppose -7 = -6*i + 5. Suppose -2*m = -7*m. Which is smaller: m or i?
m
Let u(j) = -j**2 + 5*j - 5. Suppose -4*c = -c - 12. Let d be u(c). Let n = 187 + -1311/7. Which is smaller: d or n?
d
Let r = 0.5 + -1.5. Let p = -10 - -21/2. Which is greater: p or r?
p
Suppose j = -2*j + 63. Let d be (-3)/(5/(15/j)). Which is smaller: 0 or d?
d
Let k = 22.22 - 0.22. Is -1 greater than or equal to k?
False
Let b = -5 + 3. Suppose 0*z - 4*c + 7 = -z, 4*c = -z + 1. Let u be (b*z/6)/9. Which is greater: -1 or u?
u
Let l be (4/(-6))/(-1)*3. Suppose l*s = -4*o + 29 + 11, -5*o - 28 = -4*s. Which is smaller: s or 11?
11
Let f be -20 + 13 + -1 + 5. Suppose 3*z = 2*x - 5*x - 3, -2*z = -2*x + 6. Is x smaller than f?
False
Suppose 0 = -3*u + l + 19, -3*u + 3*l + 22 = -u. Which is greater: u or 2?
u
Let f = -305/6 - -95/2. Is -4 at most as big as f?
True
Let s be 7/(-14) + (-41)/2. Is s > -21?
False
Suppose 0 = 3*p - 8 + 50. Let g(a) = a**2 + 15*a + 16. Let u be g(p). Which is bigger: u or 4?
4
Suppose -2*g - 5*f = -1, f = 4*g - 2*f + 63. Is -16 != g?
True
Let g(n) = -2 - 7*n**2 - 7*n + 4 + n**3 + 0. Let f be g(8). Suppose 2 + 8 = -5*r - b, 5*r - 2*b + f = 0. Which is bigger: r or -3?
r
Let r be 30/(-9)*1*-3. Let o = -42 + 42.1. Which is smaller: r or o?
o
Suppose -5*y - 7 = u, 4*y + 1 + 1 = -2*u. Which is greater: 8 or u?
8
Let c = -155/259 + 1/37. Are c and -2 unequal?
True
Suppose 2*s + 3 = 3*s. Are s and 2/9 non-equal?
True
Let l = 4 - 5. Let w be (-2)/45*(-3 + (-6)/(-1)). Is w <= l?
False
Let m(g) = -9*g**2 - 7*g**2 - g**3 - 12*g + 5 + 3*g**2. Let c be m(-12). Which is greater: 7/2 or c?
c
Let n = -238 - -707/3. Is -3 smaller than n?
True
Suppose 0 = -3*i + z + 4 + 1, -2*i = -4*z. Suppose s = 2 + 1. Let a be 7 + (3 - 4 - s). Which is greater: i or a?
a
Suppose 0 = 2*y - 50 - 48. Is y at least as big as 49?
True
Let q = -6 - -1. Let r(p) = p + 6. Let z be r(q). Suppose 24*n - 60 = 12*n. Is n at least z?
True
Let h = 23/22 - 6/11. Which is greater: h or -1/4?
h
Let b be (-374)/198 + ((-8)/6)/(-2). Which is greater: 0 or b?
0
Suppose -2*t = -t. Suppose 4*w - o - 4*o = -349, -4*w - 304 = 4*o. Let m = -409/5 - w. Is t at most m?
False
Let b be 2/(-13*(-2)/(-4)). Let o be 9/3 + (-4)/((-2)/(-2)). Is b greater than o?
True
Let a(b) = -b**3 - 5*b**2 + 5*b + 6. Let m be a(-4). Let l be (24/m)/((-1)/5). Suppose -5*h - 2*t - 3 = l, 3*t - 1 = 4*h. Does -1 = h?
True
Let i = -8 - -7. Let d = 1 + i. Is d > 1?
False
Let t = 56/3 - 18. Which is bigger: t or -5.7?
t
Let z be (4 - -1)/(-5) - (-1 + 1). Are z and 1 non-equal?
True
Let p(g) = 0 - 1 - 3*g + 5*g + 0. Let i be p(6). Is i < 12?
True
Let j(m) = -m + 2. Let x be j(3). Let r be 0 + -2 + 2 + x. Let f be 0/(0 - r)*-1. Is -2/7 >= f?
False
Suppose 18*f = 22*f. Is f greater than -2/7?
True
Let u = 0.6 + -0.5. Is u smaller than -1/5?
False
Let s be 2/(-13) - 810/(-195). Suppose -4*g = s*t + 12, 7 = -5*t - 3. Which is smaller: g or 1?
g
Let z be ((-6)/(-21))/(6/42) - 3. Suppose -2*m = -0 + 2. Are z and m nonequal?
False
Let p be -2*1/4 + 14/(-4). Which is bigger: -1 or p?
-1
Let b(q) be the third derivative of -q**4/24 - q**3/3 + 7*q**2. Let v be b(-1). Which is bigger: v or -3?
v
Suppose 2*w - 4 = -4*b - 0*w, -3*b + 3 = -3*w. Suppose -b = -6*f + 11. Which is bigger: -7 or f?
f
Let l(v) = v**3 + 6*v**2 + 2*v + 6. Let x be l(-7). Let y be 3/x + (0 - 0). Is y equal to 0.1?
False
Let m be (-2)/(2 - 5/2). Suppose -m*n + 28 = 8. Suppose 2*k = n*f + 15 + 8, 2*k + 12 = -2*f. Which is smaller: -1/3 or k?
k
Let d = -36.2 + 38.2. Let k = -0.01 + 0.04. Which is greater: d or k?
d
Let t = -5 + 8. Let k = -2.9 + t. Is 0.2 > k?
True
Let u be 18/6*4/150. Is u bigger than -1/2?
True
Suppose -8*l - 654 = 242. Which is smaller: l or -113?
-113
Let z = -729 - -10211/14. Is z > 0?
True
Suppose -3*s = -z - 5 - 18, 2*s + 2*z - 26 = 0. Is 11 >= s?
True
Suppose -5*h = -0*p + 3*p - 17, 5*h = -2*p + 13. Suppose -4*w + 4*a - 12 = 0, -a + 3*a - 2 = p*w. Suppose -w*t - 1 = 1. Is t not equal to 2/13?
True
Let h = -14/3 + 109/24. Which is greater: 0 or h?
0
Suppose 0 = 4*l - 3 + 11. Let g = -11 - l. Let z be (-3)/g*-1 - -1. Is z at most as big as 0?
False
Let d(s) = -s**3 + 6*s**2 - 4*s - 7. Let f be d(5). Let q(z) = -z**2 + 2*z + 3. Let a be q(f). Suppose -20 = y + 4*y. Is y at least a?
True
Let o = -1 + 1.2. Let w = 0 + o. Let s = 63 + -61. Is s less than or equal to w?
False
Let m = -4 + 10. Suppose 0 = -8*c + 4*c + 8. Is m < c?
False
Suppose -5*i + 7*i = -5*w + 15, 5*i - w + 3 = 0. Suppose -5*u - 20 + 0 = i. Let d be 3/(-2)*u/12. Which is bigger: 0 or d?
d
Suppose 4*r = -3*i + 54, -5*r = -0*i - i - 58. Is r less than 13?
True
Suppose -5*t + w = 15, 4*t + t - 5 = -3*w. Which is bigger: -3 or t?
t
Let l = -4 + 3.986. Let g = -2.114 - l. Let a = -2 - g. Is a >= 0.2?
False
Let p = -15 + 11. Let q(k) be the first derivative of k**3/3 - 4*k**2 + 5*k + 1. Let h be q(7). Which is greater: p or h?
h
Let c = 5.05 + -5. Let r = 0.05 + c. Let h = -0.05 - -2.05. Which is greater: r or h?
h
Let u be 279/27 - 2/(-3). Suppose 10 = -5*d - 4*p, 3*d = 3*p - 2*p + u. Let m be d/(-2) - 4/(-6). Is m at least 0?
False
Let k = 11.93 - 12. Let i = k - 1.93