
Let u = 0.09 + -1.09. Let j = -22 + 18.8. Let d = j + 3. Which is smaller: d or u?
u
Let r be (-2 - 1)*(-4)/(-3). Suppose 0 = -3*o + 6, -o = 4*t + o - 24. Suppose 0*j - t*j - 7 = -2*q, 17 = -2*q - 3*j. Is r smaller than q?
False
Suppose 3*c - 10 = 2*r, 6*c - c = -2*r + 22. Do r and -2/25 have the same value?
False
Suppose 4*t + 4 = -0. Let j be (-2)/(-4)*(8 - 2). Let p = j + -5. Which is smaller: t or p?
p
Let j = 0.6 + -3.7. Let i = j + 3. Let u = 1 - 1. Which is smaller: i or u?
i
Let y = 44249/49 + -903. Is -1 less than y?
True
Suppose 2*n + 9 = 3*i - 6, -5*i + 12 = n. Let o = 8 + -5. Is o > i?
False
Suppose -9*f + 6*f + 3 = 0. Let g be 2 - (3 - -2) - -1. Which is bigger: f or g?
f
Suppose 11 = t + 1. Let z be t + (-1)/(-6)*3. Let u = 12 - z. Which is bigger: 0 or u?
u
Let d = 3.31 - -8.35. Let x = 1.56 - d. Let c = x + 10. Is -0.1 equal to c?
True
Suppose 0 = k - 5*l + 16, 0 = -4*k - k + l - 8. Let x = 76 + -605/8. Is k > x?
False
Let k be (-1)/2*(-1 + -9). Let v(s) = -s**2 + 7*s - 10. Let a be v(k). Let n be (-1)/2*0/(-1). Is n greater than or equal to a?
True
Let h be 0*1/(-3 + 5). Let t = h + -1. Which is smaller: 3/10 or t?
t
Suppose w + 2*g + 3*g = 20, 3*w - 3*g + 12 = 0. Let u be 6*(w - -23)/1. Let h = -1101/8 + u. Are -1 and h equal?
False
Let v(l) = -l**3 + 7*l**2 - 3*l + 7. Let j be v(7). Let g be -1*(j/10 - -2). Let r(x) = -2*x**3 + 2*x + 1. Let w be r(-1). Is g bigger than w?
False
Suppose 0 = -4*j + 5*j + 8. Let d(g) = -g**2 - 4*g - 2. Let a be d(-5). Let f = a - j. Is f smaller than 8/7?
True
Let g(y) be the first derivative of -y**3/3 - 5*y**2/2 - y - 2. Let j be g(-5). Is j greater than or equal to -2?
True
Let r be 4/(-2) - (4 + -8). Let p = 11 - 6. Which is smaller: p or r?
r
Let a be -10*(3/4 - 1). Let l(p) = p**3 + 3*p**2 - 7*p - 10. Let y be l(-4). Which is bigger: a or y?
a
Let t(o) = -o**2 + 2. Let d be t(2). Let n be 0 + 0 - (-8)/(-28). Which is smaller: n or d?
d
Let r = -3 + 3.1. Let i = r + -0.08. Let b = i + -1.02. Is b < -3/7?
True
Let m be -2*(-2)/(-36)*2. Suppose 4*f - 3*d - 2*d - 69 = 0, -1 = d. Suppose y + 2*a + a = 11, -4*a + f = 0. Which is smaller: y or m?
y
Let i = -80 + 81. Which is smaller: -15 or i?
-15
Suppose 2*f - 5 = 3*m + 4*f, 5*m + 3*f = -7. Which is greater: m or -1/112?
m
Let o = 3/104 - -1441/520. Which is greater: o or -1?
o
Let b = -39 + 38.9. Is 2 equal to b?
False
Let g = 1 - 13. Let u = g - -19. Is u bigger than -0.1?
True
Suppose -i + 3*i - 18 = -4*k, -k = 4*i + 6. Suppose -l = -k*l - 10. Let m = -1 - 2. Is l equal to m?
False
Let c be 12/8*4/3. Is c at least -1?
True
Let b = 13 - 16. Let a = b - -2.8. Which is greater: a or -2?
a
Let o = 369/14 + -62/7. Let c = -17 + o. Is 1 at most c?
False
Let a = -0.07 + 0.28. Let p = -2.39 - a. Let f = -0.4 + p. Are -1 and f nonequal?
True
Suppose 2*h = h. Suppose f - 5*f - 2*t - 2 = h, -4*t = 3*f - 1. Which is smaller: f or -4/3?
-4/3
Let f(g) = -g + 7. Let t be f(5). Let u = 0 + t. Is 1 at least as big as u?
False
Let d = -7.3 - 0.7. Is d greater than -2/7?
False
Let o = -202 + 97. Do -106 and o have the same value?
False
Let j(t) = -10*t**2 - 2*t. Let x be j(-2). Let w be ((-1)/(-6))/((-16)/x). Are 1 and w equal?
False
Let p = -6 + 5.7. Let h = p - -0.5. Is 2 at most as big as h?
False
Let b = -16 - -16.43. Let v = b + -0.03. Let q = -1.4 + v. Which is smaller: 0.1 or q?
q
Let x = 0.24 + -0.2. Let t = x + -0.08. Let z = -0.16 + t. Which is smaller: z or -1?
-1
Let r = 395/16 - 51/16. Let t = -22 + r. Which is smaller: t or 0?
t
Let c = 8 - 3. Suppose -c*q = -4*q + 1. Which is smaller: -2 or q?
-2
Suppose 3*z - 3 = -18. Let b be (0 - 0)/(-3 - z). Let c(h) = -h**2 - 2*h + 1. Let t be c(-2). Which is smaller: b or t?
b
Suppose -2*h + 13*g - 8*g - 1 = 0, 0 = 2*h + 5*g - 9. Suppose -2*f = f - 12. Is h smaller than f?
True
Let w = 13 - 9. Let v(r) = r**2 - 2*r - 3. Let s be v(4). Let c be s/10*w/2. Which is greater: 3 or c?
3
Let q(x) = x**3 + 5*x**2 + 3*x - 5. Let d be q(-4). Which is smaller: d or -2/5?
d
Let y be 13/(-21) + (-1)/(-3). Suppose 0*r - 2*z + 2 = -2*r, -2*r = -z + 2. Let p = 0 - r. Which is bigger: p or y?
p
Let y = 8 + -11. Suppose 5*b = -2*n + 7*n + 40, 5*b = -5*n. Are y and n equal?
False
Let l(k) = k**2 + 6*k - 8. Let f be l(-7). Let m = -15 + 6. Let i be (6/8)/(m/16). Which is smaller: i or f?
i
Let f = 10 + -8. Which is greater: 3 or f?
3
Let b = 6.77 + -7. Is b at least 2?
False
Suppose -4*h + 18 + 6 = 4*r, 2*r - 13 = -3*h. Let v be (h/(-3))/(1/15). Let f = -9 - -4. Is f > v?
False
Let q be (-2)/((-2)/5*-5). Let k = -406/5 - -79. Which is smaller: q or k?
k
Let k(x) = 3*x**3 + 0*x - x - 4*x**3 + 4*x - 4*x**2 - 7. Let j be k(-5). Which is smaller: -0.1 or j?
-0.1
Let g = 0.02 + 0.58. Let s = -3.82 + 0.22. Let p = s + g. Which is smaller: p or -2/3?
p
Let w(b) = -b**3 - 3*b**2 + 2*b - 6. Let c be w(-5). Which is bigger: c or 33?
c
Let z = 5 + -4.5. Let s = -0.1 + 0.2. Does s = z?
False
Suppose -5*t + 0*t + 20 = 0. Suppose t*j + 7 = -v, 5*v - v = -3*j - 2. Let w be (0/(-3))/(0 - v). Is 6/5 >= w?
True
Suppose -4*l = 6 - 46. Let t = 8 - l. Let p(x) = x**3 - 2*x**2 - 2*x - 1. Let f be p(-1). Is t bigger than f?
False
Suppose 8 = 5*i + 3. Let k be (10/(-24))/((-2)/(-4)). Let s = 3/2 + k. Is s less than i?
True
Let k(m) = m + 7. Let s be k(-7). Let j = 0.3 + 0.3. Let h = j - 0.4. Is s less than h?
True
Let v be 141*(-1)/11 + 18/(-99). Is v greater than -15?
True
Let z(h) = -16*h + 4. Let y be z(5). Let s = -382/5 - y. Which is smaller: -1 or s?
-1
Let t be 1/(-5)*1 + 0. Let j = -6 + 4. Let q(w) = -2*w - 3. Let c be q(j). Which is smaller: t or c?
t
Let j = 34/13 + -217/78. Let q = 0 - 0. Is q bigger than j?
True
Suppose -d = 3*d + 4. Which is bigger: d or -4/11?
-4/11
Suppose 0 = -4*w + 2*k - 10, 2*w = w + 5*k - 16. Let u be (-6)/(-15)*(-20)/36. Is u greater than or equal to w?
True
Let w = 26 - 26.26. Let v = w - -0.06. Let q = 2 - 3. Which is greater: q or v?
v
Let t = 533.4 - 533. Let h = -3 - 0. Let p = h + 2.8. Which is bigger: t or p?
t
Let n be 55988/(-144) + (-1)/(-4). Let j = 327 - -62. Let t = n + j. Which is smaller: 0 or t?
0
Let s = -5/344 - -8863/344. Let d(q) = -9*q + 1. Let u be d(3). Let f = s + u. Which is smaller: 1 or f?
f
Let i = -0.25 - 0.05. Let z = 0.3 + -1. Let s = i + z. Which is greater: s or 0?
0
Let f(k) = k + 4. Let h be f(-2). Suppose 2*v + 0 - 6 = 0. Does v = h?
False
Suppose 0 = 4*x + 5*a + 24, -x + 5*x - 4*a + 24 = 0. Which is smaller: x or -7?
-7
Let u = 40 + -40. Is u <= -6/5?
False
Suppose -7*p - 30 = -5*l - 3*p, -2*l - 1 = p. Suppose 3*w + l*w = 2*j - 7, 5*j + 14 = 2*w. Let b be ((-2)/(-3))/(j/(-6)). Is b less than or equal to -2/5?
False
Let z = -35 + 21. Are -0.2 and z non-equal?
True
Let l be 3/12 - (1 - 1). Let b(q) = -q**3 - 4*q**2 + 5*q + 1. Let k be b(-5). Let f(s) = s**3 - s**2 + s. Let j be f(k). Which is bigger: l or j?
j
Let n = -0.016 + -0.984. Which is greater: -1.9 or n?
n
Let n be (-2 + 2 + 3)/1. Let a be ((-1)/(n/(-18)))/2. Suppose -h + a*h - 4 = 0. Is 2 <= h?
True
Let o = 12 - 16. Is o at least as big as -4?
True
Let w be (-1 - 1)*114/(-12). Suppose -6*r - 3*s - 1 = -2*r, 5*s = 2*r - w. Which is greater: 1 or r?
r
Let q be -2 - 0 - 10/(-2). Suppose -q = -2*v - v. Does -2/43 = v?
False
Suppose -3*z = -5*y + 3*y - 92, 3*y + 93 = 3*z. Which is smaller: z or 28?
28
Let b be (3 - 4) + 1 + 58. Let u be b/(-204) - 1/(-6). Which is smaller: 1 or u?
u
Let q(g) = 4*g - 13. Let k be q(8). Suppose -3*w - k = -6*w + 4*b, 5*w = 2*b + 13. Which is bigger: 19 or w?
19
Let q be -52 + 11/((-55)/(-20)). Is -48 at least as big as q?
True
Let d = -5 - -3. Let v = d - -4. Is v >= 1/3?
True
Let q = -20 + 20.4. Let a be -3*(-2)/54*-3. Is q equal to a?
False
Let l(w) = -w**3 + 9*w**2 - 9*w + 11. Let y be l(8). Suppose -2*g - 3*g + 3*m = -28, -y*g = -3*m - 18. Let n be g/(-5) + 58/54. Which is greater: 0 or n?
n
Let q = -3 + 1. Are q and 7 non-equal?
True
Suppose t + 5 = -0*t, 5*t + 19 = -3*a. Let q = 5 + -2. Do a and q have the same value?
False
Suppose 0 = -6*y - 18. Let z be (2 + -1)*1/(-1). Which is bigger: z or y?
z
Let w(r) = -3*r - 1. Let s be w(-1). Suppose -3*q - s*q = 0. Is q > -4/9?
True
Let b(a) = a**2 + 2*a. Let i be b(-3). Let l(g) = g**2 - 5*g + 2. Let f be l(i). Let u be -2 - (36/4)/3. I