Let t = m - -12. Which is bigger: 7 or t?
7
Let z = 0.28 - 0.19. Which is smaller: z or 1/2?
z
Let w = 0 - 3. Let y be -4 - ((1 - 1) + w). Let r be (y + 0)/(10/(-3)). Is 1 > r?
True
Suppose -2*v + 2 = -8. Suppose -v*o - b = -4*b - 25, 10 = 2*o + 5*b. Suppose -5*j - 32 = 3*s, o*j = 6 - 26. Which is smaller: -3 or s?
s
Let w be 3/(-5) + (-392)/(-70). Is 3 less than w?
True
Let v be 10/12*2 - 1. Suppose 0 = 5*y + 3*i - 13, 2*i = -2*y + 6*i + 26. Let o = 5 - y. Which is smaller: v or o?
o
Let g be 5/(-6) - 2/(-6). Let t(c) = -c**2 - 1. Suppose 0*a = -a. Let k be t(a). Which is smaller: k or g?
k
Let c(o) = -o**3 - 8*o**2 - 6*o + 2. Let x be c(-7). Let p(z) be the third derivative of z**4/24 + 2*z**3/3 - z**2. Let f be p(x). Which is greater: f or -2/11?
-2/11
Let l be (2/(-4))/(10/4). Let v = 11/1697 + 902749/8485. Let u = 106 - v. Which is bigger: l or u?
l
Let p be (2/8)/((-36)/192). Which is smaller: p or -1?
p
Let q = -1.7 + 2.8. Let n = q - 0.1. Is n bigger than 1?
False
Suppose 0*q + c - 5 = 2*q, -3*q - 5*c = -25. Suppose q = -4*y + y. Is 3 <= y?
False
Let m(b) = 2*b - 1. Let f be m(-4). Let r = 8 + f. Which is greater: r or 0?
0
Let c = 328 + -637/2. Which is smaller: 9 or c?
9
Let g be (-5)/15 + 8/6. Suppose 3 = q - g. Suppose 10*c = 9*c + q. Which is greater: c or 0?
c
Let x = 1 + -8. Let m = -13 - x. Let h = 6 + m. Is h greater than or equal to -4?
True
Let s = -4 + 6. Let b = 2.089 - -0.011. Let k = b - s. Which is bigger: 3 or k?
3
Let h be (-9)/2*(-4)/(-6). Let u be -14*h/(-6)*-1. Let x(z) = -2*z - 2. Let y be x(-4). Which is bigger: y or u?
u
Let u = 0 + -2. Let y = 1.8 + u. Is -1/5 < y?
False
Let w = 63 - 439/7. Is w >= 10?
False
Let f be (28/(-8))/((-2)/(-12)). Is -20 < f?
False
Let k = 2.3 + -0.9. Let t = -0.7 + 0.1. Let y = k - t. Which is greater: y or -1/4?
y
Suppose -1 = 3*k - 4*l, -2*k - 3*l + 7 = 19. Let j be k/(-5) - (-488)/(-680). Which is smaller: j or 1?
j
Let t(l) = 2*l**3 + 7*l**2 - 2*l + 9. Let g be t(-4). Is 19 bigger than g?
True
Let r = 1222 + -28111/23. Let z = -14/1207 + 14405/305371. Let a = z + r. Which is bigger: 1 or a?
1
Let l = -4.3 - -4.3. Let n be (9/(-69))/(6/(-4)). Which is smaller: l or n?
l
Suppose 0 = -8*g + 4*g - 16. Let c be g/14 + 12/14. Let u(t) = t + 13. Let a be u(-12). Which is smaller: a or c?
c
Let p = -23 + 23. Which is smaller: p or 3/14?
p
Let d = 109/168 + 1/56. Let i be (-3 - -1)/(1/(-2)). Suppose -i*s + 0*s + 8 = 0. Is s less than or equal to d?
False
Suppose -3*g = 3*x - 9, 4*g = 3*x + 55 - 22. Suppose 5*c - 5 = 30. Which is bigger: c or g?
c
Let t = 40 + -40.04. Are 0.05 and t nonequal?
True
Let l be (144/22)/(-3) + 2. Let x = 104 + -101. Which is greater: l or x?
x
Suppose p + 2 = 14. Let h = -11 + 23. Is h at most p?
True
Let f = 14.07 + -14. Let q = 3.07 - f. Which is smaller: 0 or q?
0
Suppose -5 = -3*u + 1. Suppose 0 = -u*b - 0*b. Let l = -2176/9 + 242. Is l greater than or equal to b?
True
Suppose 3*v - 12 = 2*j, -5*j - 7 = 4*v - 0*j. Let i(d) = -d - 3. Let s be i(-6). Which is bigger: s or v?
s
Let r be ((-2)/15)/((-12)/40). Suppose 4*u + 3*c + 9 = 0, -u + c - 1 = -4. Is u greater than r?
False
Let s(m) = 2*m - 7. Let u be s(5). Suppose -u + 7 = 4*z. Let i be z/(-2) - 1/2. Does -2 = i?
False
Suppose -5*j - 1 = 59. Let n be ((-3)/j)/(3/(-20)). Are -2 and n nonequal?
True
Suppose 16 = -2*l - 2*l. Let u = 5 + l. Is u bigger than -2?
True
Let d = -10/21 - 6/7. Is 0 at most d?
False
Let o(g) = -g**3 - 2*g**2 + g - 4. Let z be o(-3). Let i = 6 + 2. Suppose -4*q + u + 7 = -4*u, 4*q - i = 4*u. Are z and q equal?
False
Suppose 0 = 3*r + 2*r - 15. Suppose 7*n = r*n. Let v be (-13)/(-12) - 3/4. Is v > n?
True
Let q(l) = l**2 + 7*l - 17. Let k be q(-8). Which is bigger: -10 or k?
k
Let q be (0 - (-4)/(-6))*69. Let b be 0 + 3 - q/(-14). Which is bigger: -1 or b?
b
Let x = -3 - -7. Suppose 3*g + 6 = -3*i, x*i + g = -0 - 8. Let s be 4 - (3 + i) - -1. Is 3 < s?
True
Let n = 823273 - 866906362/1053. Let z = n + -2/81. Is 0 at least as big as z?
False
Let u = 10 - 7. Suppose 0 = -i - 1 + 3. Let n(t) = -t**3 + 3*t**2 - 2. Let g be n(i). Which is smaller: g or u?
g
Let y be 0 + (0 - 10/4). Let x = 4 - 7. Which is bigger: y or x?
y
Let v(l) = l**3 - 8*l**2 - l + 11. Let b be v(8). Suppose -7 - b = j. Let y be (-4)/j - 2/5. Which is smaller: -1 or y?
-1
Let t = -0.4 + -6.6. Let u = t - -3. Is -2/3 greater than u?
True
Let x(g) = -g**3 + 2*g**2 + 2*g - 3. Let q be x(3). Let p = -25/4 - q. Let y(a) = a**3 + 2*a**2 - a - 1. Let v be y(-1). Which is bigger: v or p?
v
Let w(b) = -b**2 + 7*b + 2. Let n be w(7). Suppose 3*j + n*j - 5 = 0. Is j at most 2/31?
False
Let h be (-97)/(-140) + (-9)/12. Let q = h - -41/105. Which is smaller: q or 1?
q
Let o be ((-34)/51)/((-1)/(-6)). Which is bigger: -6 or o?
o
Suppose 3*h + 2*n + 68 = 7*h, 0 = -h + 5*n + 8. Is 18 greater than h?
False
Let r be 10/3 - 6/(-9). Suppose -r = -l - l. Let m be (l/(-3))/(1/6). Is -4 at least as big as m?
True
Let i be (-2)/(-3) - 20/12. Suppose 4*a - 5*t + 16 = -3, 0 = 2*a - 4*t + 14. Are i and a equal?
True
Suppose f = -4*b + 3, -4*b + 2*f = -6 - 0. Let r be 76/(-8)*(3 - 1). Let o be (2/r)/2*2. Which is smaller: o or b?
o
Let x = 47.6 - 48. Is -2/9 less than x?
False
Let y = 19 + -22. Which is smaller: 1 or y?
y
Let n be (24/(-10))/((-16)/120). Is -1 not equal to n?
True
Let q be ((-3)/2)/(6/60). Is -0.3 at least as big as q?
True
Let z be (-9)/(-2)*8/(-12). Which is smaller: -1/4 or z?
z
Suppose 4*u = 5*u. Suppose -3*t + 7*t - 16 = u. Are t and 4 nonequal?
False
Let z be (0 + -2)/(0 + -2). Let d be (-2 - (0 + -2))*z. Is d != 0?
False
Let w(y) = -y**2 - y - 3. Let f be w(-2). Is f greater than -4?
False
Let j be 8/20*15/6. Let b(x) = x**3 + 3*x**2 + x - 2. Let i be b(-2). Do j and i have different values?
True
Let b(g) = -5*g - 10. Let p be b(-3). Suppose -5*z + 0*z = -2*x - 7, 29 = 3*z + 5*x. Suppose 3*d + 0*d = -p*r + 15, z*r = -d + 9. Is d at most -2/11?
False
Suppose -5*g + 2 = -18. Suppose g*r = -r. Is r bigger than -2/23?
True
Suppose 3*a - 6 + 0 = 0. Let x be (-12)/15*a/4. Which is greater: 0 or x?
0
Let s be (22/(-9))/2 - -1. Let d(v) = 2*v - 1. Suppose 4*m = -4, l - 3*m = 3*l + 1. Let n be d(l). Which is greater: n or s?
n
Let l be 10/(-5) + 1 - -39. Is 38 > l?
False
Let c be 9/(-2) + 3/2. Let z be 0 - (-1*3)/c. Which is greater: 0 or z?
0
Let x = 20 + -27. Let p be 52/10 - 5/25. Suppose -p*t - 23 - 7 = 0. Are t and x unequal?
True
Let n = 2156/61 - 106/3. Let c = n + 356/915. Is c greater than 2?
False
Suppose 5*y + 56 = 6. Which is greater: -9 or y?
-9
Let p(z) = -z**3 - 9*z**2 + 10*z + 11. Let r be p(-10). Which is greater: r or 10?
r
Suppose 15*i - 6*i = 135. Which is smaller: 13 or i?
13
Let c(j) = j + 2. Let r be c(0). Suppose b + 2*b + r*v + 4 = 0, 3*v + 5 = -4*b. Let q = 17 - 20. Is b equal to q?
False
Let f = -5 - -4. Let h be -8*1 + (-2)/f. Let m = h - -4. Are -2 and m non-equal?
False
Let l = -99 + 493/5. Is 0.5 > l?
True
Let o(i) = i**3 + i**2 - i + 2. Let u be o(2). Which is smaller: u or 4?
4
Suppose -2 = 6*r - 38. Suppose 3*q - j - 10 = 2*q, 2*q - 16 = j. Is r bigger than q?
False
Let o(v) = v**3 + 0*v + 0*v - 5*v + 8 - 7*v**2 + 4*v. Let f be o(7). Which is greater: 4/9 or f?
f
Let k = 2 - -4. Let g = k + -7. Is g <= -2?
False
Let n be (6/9)/(4/6). Let d be (n + -1 + 0)/1. Let q be -1*(0/2 + d). Is q smaller than 0?
False
Let i = 0.1 - -0.9. Let a = -1.2 + i. Let s = 286/3 + -96. Which is smaller: a or s?
s
Suppose 5*x + 3*i - 8 = 4*i, -4*x = -3*i - 13. Suppose -2*m + 3*q = -m + 1, -m - 4*q = x. Let w be ((-3)/(-18)*2)/m. Which is smaller: 1 or w?
w
Suppose 2*k - 5 = -23. Is k > -8?
False
Let u(p) = -p - 11. Suppose 4*d = 2*q - 0*q, 0 = 4*q - 2*d - 12. Suppose -q*t - 29 - 11 = 0. Let r be u(t). Is -2 < r?
True
Let m be (-2)/7 + 141/(-21). Let s = m - -2. Is s < -1?
True
Suppose 2*h = -5*j + 4 - 1, -h - 6 = -5*j. Is 0.09 at least as big as h?
True
Let p be (-6)/(-48) + 30/16. Suppose l - 6 = -3. Which is smaller: p or l?
p
Suppose -2*u = u - 18. Suppose 2*a = 2*d - u, -5*d + 3*a - 1 + 6 = 0. Is d bigger than 0?
False
Suppose -16*t + 392 = -8*t. Does t = 49?
True
Suppose -8*r = -13 + 5. Which is smaller: 2 or r?
r
Let i = 28 + -43. Suppose -2*a - 4*k = -4*a - 32, 0 = -k + 1. Which is smaller: i or a?
i
Let s