 + 12/5). Let t be (a/10)/(21/15). Which is smaller: -1 or t?
-1
Let b = -3.2 + 3. Which is bigger: b or 11?
11
Let k = -16.59 - 0.41. Let y = k - -25. Which is bigger: y or 2/5?
y
Let m(l) = -9*l**3 + l**2 - 1. Let v be m(1). Let f = v - -18. Which is greater: 10 or f?
10
Let i = -103 - -114. Which is greater: 13 or i?
13
Let m be (-100)/(-36) + (-4)/(-18). Suppose -m*d = d. Which is smaller: d or -2/3?
-2/3
Suppose p - 10 = 6*p, -5*l + p - 3 = 0. Which is smaller: l or -1/123?
l
Let x = -4 + 4.6. Let g = -0.64 + x. Let d = g + -0.06. Is d smaller than 1/3?
True
Let m(l) = 2*l + 9. Let q be m(-6). Let u = 3 + -6. Let g be (-4)/(6/u) + -2. Which is smaller: q or g?
q
Let p = -0.1 - 0. Let a = -0.2 - p. Let t = 196/295 + 8/59. Is a at most t?
True
Suppose 6*q - 12 = 2*q. Let h = -4 + q. Let c = 2 + h. Are -3 and c equal?
False
Suppose 4*m + 16 = -12*m. Which is bigger: -1/93 or m?
-1/93
Let u(j) = -j**2 - 2*j - 6. Let t be (-5 + 1)/((-2)/3). Let a be u(t). Let g be 11/9 + 12/a. Is g greater than or equal to 1?
True
Let d(w) = -w**3 + w**2 + 2*w - 2. Let p be d(2). Let x be 0 + p + 10/6. Let s(b) = b**2 + 20*b + 20. Let o be s(-19). Do x and o have different values?
True
Suppose -4*y - 3 - 13 = 0. Let d be (-1)/4 + (-9)/y. Which is smaller: d or 1?
1
Suppose -23 = i + 5*f, 2*i + 0*f + 2*f = -6. Suppose -2*v - i*v - 16 = 0. Let s(p) = -p**2 - 4*p - 2. Let u be s(v). Which is greater: u or 0?
0
Let z = -1225 + 8560/7. Let n(a) = a**2 - 3*a - 12. Let q be n(5). Is z < q?
True
Let z = 3 - -3. Let c be 1 + z + (0 - 1). Let j be (6/15)/(c/10). Is j at least as big as 2?
False
Let c = -21 - -17. Let o be -1 - (c/4 - 0). Which is bigger: o or -2/3?
o
Suppose -k - 36 = 58. Let h be -2*(3 - k/(-31)). Which is smaller: 0 or h?
0
Let r = -16 + 26. Let l be (2 - 1)*(r - 6). Let k be (-3)/2*l/6. Is k < -4/3?
False
Suppose 5*k - 2 = -p - 11, 0 = -3*k - 3*p - 3. Which is smaller: 3 or k?
k
Let c be (3/(-9))/(-1*1). Let u(r) = r**2 + 6*r + 4. Let x be u(-5). Let j be x/(-3) - 4/(-6). Does c = j?
False
Let c = -19 - -16. Do c and 2/5 have the same value?
False
Let t be (-25)/1 + 4 - 0. Let v = t - -22. Are 7 and v non-equal?
True
Let i(w) = w**2 - 5*w - 2. Let g be i(5). Let p be (-3 - g)/(1 + 0). Let r be p + -1 - (-108)/52. Which is smaller: -1 or r?
-1
Let j be (-11)/22*(-1)/(-1). Is -0.03 != j?
True
Let y be (-18)/1 - (4 - 2). Let o be (y/(-15))/((-1)/(-9)). Let q be (4/(-18))/((-8)/o). Is q less than or equal to 0.1?
False
Suppose -4*f - 2*r + 94 = f, -3*f + 2*r + 50 = 0. Suppose 3*y + 4*u + 18 - 4 = 0, 0 = 4*y + 5*u + f. Which is bigger: -1 or y?
-1
Let w = 63/13 + -12713/2626. Do w and -1 have the same value?
False
Let j = -7/69 - 55/138. Suppose 0 = 3*x - 4*x + 5. Let g = x - 9. Which is smaller: j or g?
g
Suppose -5 = y - 0*d + 5*d, 2*y = 2*d + 26. Let q be (-4)/y + (-7)/(-5). Let v be (-33)/(-91) + 4/(-14). Are v and q unequal?
True
Let r = 32 + -46. Let p = r + 49/3. Which is greater: 1 or p?
p
Let h be (2 + 3/(-3))*2. Let k = h - -2. Is 4 > k?
False
Suppose -5*x + 21 = -4*a, 6 = -4*a - 0*a + 2*x. Let l be ((-3)/46)/(22/(-16) - -1). Is l greater than a?
False
Let w be (4 - 18/4)/((-1)/(-4)). Is w less than -4?
False
Let z = 39 + -40. Which is smaller: -1/22 or z?
z
Let p = -1.1 - -0.1. Let q = -1.1 - p. Suppose 6*l = -4*l + 9*l. Which is bigger: l or q?
l
Let c = 0.06 + -2.06. Let v be 8 + (-4 - 2) - 22/14. Is c at least v?
False
Let r = -0.28 - -0.3. Let m = -1.88 - -1.8. Let q = r - m. Which is smaller: -1 or q?
-1
Let o = -7 + 10. Suppose 0 = q + p, o*p - 4 = 3*q - 2*q. Let y = q - -3. Is y not equal to 3?
True
Let q = -9.6 + 6.3. Let b = q - -1.3. Is -1/4 bigger than b?
True
Let x(k) = -k**2 - 6*k - 4. Suppose -2*u = 0, 4*w - 2*u - u = -20. Let f be x(w). Is 1 smaller than f?
False
Let c = 0.04 - -3.96. Let x = -1.3 - -1.5. Which is greater: x or c?
c
Let v be (-2 - -1)/(0 + -5). Let m = -0.15 + 0.05. Which is greater: m or v?
v
Let f = -0.9 - -0.93. Let g = -18 + 18. Which is smaller: f or g?
g
Let s be 1 + 2/7 + (-4)/14. Is s less than -2?
False
Suppose 0 = 2*i - 5*n - 2, i - n + 4 = 5*i. Suppose -21*o + 16*o + 40 = 0. Let f be 1*o/2 - 3. Is f <= i?
True
Let t = 3 - -1. Suppose 2*x - 2*j + 22 = 0, -2*x + 4*j - t = 16. Let b be (x/147)/((-12)/14). Is b <= -1?
False
Let a = 5.2 - 13.1. Let y = -8 - a. Which is smaller: y or -1?
-1
Let m be 338/((-40)/52 - -2). Suppose -825 = -0*h + 3*h + 2*g, 0 = h + g + 275. Let n = m + h. Which is smaller: n or 1?
n
Let i = 238 + -208. Which is greater: i or 28?
i
Let g(p) = 11*p**3 - 2*p**2 + 1. Let h be g(1). Let b be ((-8)/h)/(-1*2). Is 1 > b?
True
Suppose -s = -4*t + 7*t + 71, -3*t = 3*s + 81. Is t less than -22?
False
Let q = 5.7 + -6. Let a = q - -0.3. Let j = 2 + a. Which is greater: j or 0.2?
j
Let t be ((-2)/4)/((-2)/12). Suppose 0 = -t*n + 4*n + 1. Is n at most as big as -2/7?
True
Suppose 0 = 4*n + 3 - 11. Is n > 1?
True
Suppose -39 = 7*u + 10. Is -9 at most u?
True
Let z be 0*(-2)/(-4) + (0 - -3). Which is bigger: -0.5 or z?
z
Let y = 0 - -1. Let c(l) = -3*l**3 + 2*l**2 - l + 1. Let v be c(3). Let h = v - -453/7. Which is greater: h or y?
y
Let d = 65 + -72. Which is bigger: d or 0?
0
Let g = -0.03 - -4.03. Let d = -3.8 + g. Let x = d - 0.4. Which is bigger: -1/3 or x?
x
Let t = 5/4 + -17/12. Let h be 4/(-12)*(1 - -2). Which is greater: h or t?
t
Suppose -12 = 11*s - 13*s. Let k = -187 + 1311/7. Which is bigger: s or k?
s
Let k = -1 - -4. Suppose -10 = 4*p + k*x, 5*p = 5*x - 5 - 25. Let i be (1 - (-18)/p) + 2. Which is greater: i or -2?
i
Let h = 3 + -1. Suppose -g + 14 = 4*g - 4*n, -5 = -4*g - 3*n. Suppose g*x - 1 = 5*s, 7*s - 3*s = -h*x + 10. Is s less than or equal to 2?
True
Let p be (4/12)/(1/6). Let x be (p/8)/(-1)*-2. Is x equal to 1?
False
Let m = 8 + -8. Which is bigger: -0.9 or m?
m
Let c be (12/60)/((-3)/(-5)). Do -0.3 and c have different values?
True
Let j = -8 - -11. Let x be j/7*(-28)/(-32). Suppose 0 = -5*q - 6*g + 3*g - 8, -3*q + 2*g - 1 = 0. Is x < q?
False
Let t = 21 + -15. Let w(r) = r**3 - 6*r**2 + 4*r - 8. Let u be w(t). Let m be 6/(-21) + u/(-42). Which is smaller: m or -1/2?
m
Let a be 2/4 - (-49)/14. Suppose 0 = -a*m - 5 + 1. Is m equal to -1/3?
False
Let z(n) = -n**3 - 2*n**2 + 3*n + 4. Let j be z(-1). Is -3/43 less than or equal to j?
True
Suppose -2*o + 19 = 15. Let b be (-2)/(-4)*24/22. Let r = b - 1/22. Which is greater: o or r?
o
Let j be -1 - 1 - (-1200)/610. Which is smaller: 1 or j?
j
Let h = -9 - -7. Let j = 0.1 + -0.3. Let b = -0.3 - j. Is b less than or equal to h?
False
Let z = -4 + 7. Let x be z/17*(-6)/9. Let o = x - -25/68. Is o not equal to -2?
True
Let a = 30 + -19. Suppose 3*o + 4*d + a = -0*o, 4*o - 2*d = 0. Let s be 0 - (1 + 36/(-39)). Which is smaller: o or s?
o
Let y = 0.4 - -0.3. Let x = 2.1 - y. Let r = 0.4 - x. Is r less than -1/3?
True
Let y(a) = a**3 + 5*a**2 - a - 6. Let n be y(-3). Is n not equal to 15?
False
Let u be ((-1)/(-10))/(12/50). Are -1 and u unequal?
True
Let y = 15.5 - 20. Let h = 5 + y. Which is bigger: -1 or h?
h
Let l = 20 - 30. Let b = l - -10. Is -8 at least b?
False
Suppose r + 3 - 2 = 0. Does -1/17 = r?
False
Let t = -0.4 - -1. Let o = -0.7 + t. Which is smaller: 1/2 or o?
o
Let m(p) = -p - 3. Let x be m(-4). Let s be ((-3)/x)/((-27)/18). Which is smaller: 9/4 or s?
s
Let v(n) = -n**3 + 6*n**2 - 4*n - 4. Suppose -5*o = -6 - 19. Let x be v(o). Let h be 1/1 + 2/(-2). Does h = x?
False
Suppose 3*x = 8 - 2. Let h = x - -1. Is h bigger than 0?
True
Suppose -2*d + 7 - 5 = 0. Is 4 > d?
True
Let u = -3 - -5. Let y = 2 - u. Let w = 0.21 - 0.11. Which is smaller: y or w?
y
Let n = -27 + 48. Is n < 21?
False
Let s = 34 + -24. Let m be 4/s + (-26)/(-10). Is m smaller than 1/3?
False
Let s = -12745/4 - -3212. Let v = 26 - s. Which is bigger: v or -2?
v
Let w = 37 - 38. Let o = -11 - -9.9. Let g = o - -1. Which is smaller: g or w?
w
Let m = 4 - 4. Suppose -h + m*h - 21 = 4*k, 16 = -4*k. Which is greater: h or -6?
h
Suppose j + j - 4*a = -20, 1 = a. Suppose d = -3*d - 32. Is d greater than or equal to j?
True
Suppose 23 = -2*a - 3*l, 23 = -3*a - l + 6. Is -3 >= a?
True
Let s = -5 + 8. Is 11/4 at most s?
True
Suppose -427 = -4*x - 3. Let s = x + -421/4. Which is smaller: 2 or s?
s
Let d be ((-2)/3)/((-8)/12). Suppose 0*k + k + d = 0. Is k 