= a - -8. Let j be (2/3)/(4/18). Is t not equal to j?
False
Let a = 1.62 + -1.7. Is a at least as big as 1/3?
False
Let q be (1 - -1) + 132/(-102). Which is greater: 2 or q?
2
Let j be 12/54*3/(-9). Which is greater: -1 or j?
j
Suppose -9*c - 26 = -7*c. Let p = 12 - 26. Is c greater than or equal to p?
True
Suppose 2*n - n = 0. Suppose n = 4*r - 3*q + 37, 21 = -2*r + 2*q - 3*q. Let i = 10 + r. Do 2/17 and i have the same value?
False
Let w = 1.1 - 1. Are w and -42 non-equal?
True
Suppose -4 = -5*o + 2*l - 17, -2*l = 2. Let h(v) = v**2 - 8*v + 8. Let q be h(6). Is q at most as big as o?
True
Let q = -13.1 + 20. Let t = 7 - q. Let x = 138/7 - 20. Which is bigger: t or x?
t
Let k(m) = -m**2 - 18*m + 12. Let l be k(-18). Which is bigger: l or 9?
l
Let c = -6 - 0. Let a be ((-4)/c)/(5/15). Let u be 0/(-1 + a) + -2. Is u at least as big as -2?
True
Suppose -2*l = 5*k - 0 - 3, -4*k - 8 = -l. Let m be k/13*32/(-80). Which is smaller: 1 or m?
m
Let q be 4 + (8/2)/(-2). Let z be 7/q*16/28. Suppose z*i + 4 = -0*i. Is i at least -5/4?
False
Let k = 176 + -705/4. Is k at most as big as 42?
True
Suppose 4*w = 8*w - 40. Is w greater than 7?
True
Let s be (-168)/(-78) + 4/(-26). Suppose s*t - 8*t = 18. Is -5 at most t?
True
Let y be 3/(-5) + (2 - 507/(-45)). Which is smaller: -0.1 or y?
-0.1
Let n be 3 - (-2)/(-1) - 1. Suppose n*r = -5*r - 50. Let v be r/(-8) - 3/12. Is 4/3 bigger than v?
True
Let h(j) = j**2 + 7*j + 5. Let n be h(-6). Let w be n + (-5)/(-4) + 0. Let y be 2/11 + (-21)/(-308). Is y smaller than w?
False
Suppose 0 = -0*t + 4*t. Suppose 3*j - 5*j + 14 = t. Let f = j + -5. Are f and 1 unequal?
True
Let d = -131 - -71. Let y be -5*(-8)/d*3. Is y greater than -13/5?
True
Suppose 15 = 5*s, d - s = 5*d - 19. Suppose d - 3 = c. Suppose 3*i + 2*y - 17 = -0*i, -15 = -i - 3*y. Which is greater: c or i?
i
Let z = -862 - -861. Let d = -9 + 4. Are z and d equal?
False
Let y = -0.16 - -0.2. Let a = -0.04 + y. Does a = 0?
True
Suppose 5*m + 30 = -315. Let g = 28 + -49. Let h be -2 + m/g - 1. Is h equal to 0?
False
Let j(g) = 4*g + 34. Let d(p) = -p - 11. Let u(i) = -7*d(i) - 2*j(i). Let b be u(7). Which is smaller: b or 3?
b
Let r = 2.3 - -0.7. Let z be -2*(3/6)/1. Is z greater than or equal to r?
False
Let m be 13/2 + 1/(-2). Suppose -v - m*b + 5*b = -2, -2*b + 4 = -2*v. Let z be 8/(-9)*(-21)/(-28). Which is greater: z or v?
v
Let i be -5 + (5 - (-3)/(-79)). Is 0 equal to i?
False
Suppose -5*a + 6 = -2*f, -3*f + 3*a = -4*f + 19. Let q(x) = x**3 - 6*x**2 - 5*x - 10. Let o be q(f). Suppose -o*v + 15 = 7. Is 2 > v?
False
Let f = -78 + 56. Let k be 8/(-10)*11/f. Is k at most 0.4?
True
Let l = -2.5 + 2.2. Is l less than or equal to 2?
True
Let g be 48/(-36) + (-52)/(-3). Let t be 32/182 + g/56. Which is bigger: t or 0?
t
Let x(k) = -k**2 - k + 3. Let r be x(-3). Let l(a) = -a - 3. Let i be l(r). Which is greater: -1 or i?
i
Let t = 61 - 62. Is t at most as big as 135?
True
Let u(l) = 3*l - 7. Let j be u(3). Which is greater: 3 or j?
3
Let x(j) = -j**2 + 8*j. Let w be 11 - 5 - 2/(-1). Let c be x(w). Which is bigger: c or 1?
1
Let y = -0.2 + -0.3. Let h = 29 + -30. Which is greater: h or y?
y
Let a = 0.7 + -0.6. Does a = 40?
False
Let a(j) = -j**3 - 5*j**2 - 4*j - 6. Let y(z) = -2*z + 5. Let l be y(5). Let h be a(l). Suppose 0*r = -5*t + 3*r - h, -5*t = 4*r - 7. Does -1/10 = t?
False
Let y = 90.79 + -91. Is -2/7 equal to y?
False
Suppose 16 - 24 = -2*m. Which is smaller: 1 or m?
1
Let m = 115/2 - 56. Let l(x) = 2*x - 4. Let o be l(3). Which is smaller: m or o?
m
Let u = -24 - 6. Which is greater: -29 or u?
-29
Let n = -7 - -4. Let v = -1 - n. Which is greater: v or 3?
3
Suppose u + 3*u + 3*w - 13 = 0, 0 = -4*u - 4*w + 16. Is 1 at least as big as u?
True
Let i(r) = 2*r**3 - 3 - r**2 + r + 3 + 1. Let u be i(-1). Let l be (u/(-2))/((-1)/(-2)). Is 2 less than l?
True
Let p = -340/9 - -6442/171. Is -6/5 greater than p?
False
Suppose -3*t - 10 = -2*n, -2*n - 2*n = -4*t - 12. Is t > -4?
False
Suppose -2*m + 3*q = -5, 7*m = 2*m - 2*q - 16. Let y = 8 + -4. Suppose -c = -3 + y. Which is smaller: m or c?
m
Let v = -117/14 - -62/7. Suppose 5*n = 1 - 6, -2*t - 3*n = 15. Let l = -4 - t. Do l and v have different values?
True
Let i = -11 - -22. Are i and 11 non-equal?
False
Let u be 1976/140 + (-2)/(-7). Let t = -14 + u. Do -2/11 and t have different values?
True
Let k(a) = a**2 + a. Let t be k(-1). Suppose 16 = -4*h + 4*u, -5*h + u - 15 = -3*u. Which is smaller: h or t?
t
Suppose -5*a + 2*a = 30. Let u be (-3)/45 - 4/a. Suppose 2*w + 5*o = 7, 0*w - 5*o = -5*w. Which is smaller: w or u?
u
Let q(t) = -t**3 + 3*t**2 + 4*t. Let r be q(4). Suppose 3 = p, r = d + 2*d - 4*p + 9. Which is bigger: d or -2/5?
d
Suppose 4*w = -16 + 40. Let u be 27/5 + 4/(-10). Is w less than or equal to u?
False
Let g(x) = 2*x - 7. Let m be g(5). Let d be m - -6*2/(-4). Is 1/14 bigger than d?
True
Let a = -3.5 - -4. Let v = a - 0.6. Is -3 smaller than v?
True
Let d be (-4)/(-3) + 165/(-117). Which is bigger: 1 or d?
1
Let r(p) = 0*p + 6*p + 7*p**2 - 10 - p**3 + 2*p - p**2. Let i be r(7). Suppose -6*k + k = 15. Is k smaller than i?
False
Let x(v) = v + 4. Suppose -2*f - 14 = 4*t, 0*t + 3*t = f - 18. Let i be x(t). Suppose -1 + 2 = -s. Is i at most s?
True
Let g be (-6)/15*7/2. Which is greater: g or -2?
g
Suppose -a - 25 = 5*t, 4*t + 5*a = 2*a - 20. Let m = t + 10. Is m less than 3?
False
Suppose 25 = -x - 2*x - 5*m, 4*m + 20 = -5*x. Let p be (-8)/(-14) - 0/(-1). Is x less than or equal to p?
True
Let q = 0 - -1. Suppose 0 = -h + 3 - 0. Let d be (h + (-93)/27)/2. Is d less than or equal to q?
True
Suppose -17 + 4 = -a. Suppose g = 3*n - 1, -3*g - a = n - 0*n. Let k be 2*((-3)/27 + 0). Which is bigger: k or n?
k
Let i = -60.8 - -61. Let q be ((-2)/(-6))/(2/6). Is i smaller than q?
True
Let v be 14/42 - (-46)/15. Is 4 bigger than v?
True
Suppose -h + 2*h = 2. Suppose 3*x = -3*j - 3, 0*x = h*j + 3*x + 1. Let w be 3/6 + 3/j. Which is smaller: w or -2/11?
w
Let h = 13 + -12.9. Which is smaller: -1/4 or h?
-1/4
Let q be 2 + -1 - (-1 + 1). Let j(l) = 4*l**2 - 2*l - 3. Let i be j(3). Let f be (-10)/(-10) - 29/i. Which is greater: f or q?
q
Let q(v) = -v**3 + 2*v**2 + 2*v - 2. Let g be q(2). Let z be g*(-3)/18*-3. Suppose -z = 2*f + 3. Is f < -3?
False
Let r = -280/3 - -93. Which is greater: -3/4 or r?
r
Let p(a) = -a**3 + 3*a**2. Let v be p(2). Suppose -3*t = v*q + 21, -3*t - q - 8 = 4. Let j be -2*(t/(-1))/(-15). Is j at least -1?
True
Let r = 0.243 - 2.273. Let q = 0.03 + r. Let n = 0.027 - 1.027. Which is smaller: q or n?
q
Let b be -10 + 0 - (-3 - -4). Let a = 10 - b. Let p be 1/1 + (-27)/a. Which is smaller: 1 or p?
p
Let q = 1132/7 - 162. Suppose -h + 2 = -4*z + 6*z, -5*h + 4*z = 4. Is q at most as big as h?
True
Let j be (12/8)/(3/2). Suppose -6*n + 5*n = j. Which is smaller: -3/7 or n?
n
Let c(p) = -9*p - 2. Let z be c(-5). Let r = z + -171/4. Let v = 60 - 57. Is r equal to v?
False
Let w = -47 - -25. Let l = -21 - w. Does l = -2/11?
False
Let z(j) = j**3 + 7*j**2 - 7*j + 6. Let w be z(-8). Let u be ((-2)/4*0)/w. Suppose -5*x - 20 = 3*m, -4*m + 2*x = -0*x - 8. Is u less than m?
False
Suppose 0*m + 6 = -m. Which is smaller: m or -22/3?
-22/3
Let k be 6/(-14) + 170/119. Is k <= 5/26?
False
Let c = 30/11 - 161/55. Suppose 0 = 2*j + 4*j. Which is smaller: j or c?
c
Let k(x) = -x**2 - 3*x + 4. Let t be k(-3). Let l be (-12)/3*5/(-4). Is l < t?
False
Let r be 2*2*2/4. Let t = r - -1. Suppose 15 = -4*f - 3*q, t*f + 5 = 4*f - q. Is f bigger than -2?
True
Suppose -5*b - 76 = -f - 3*f, 0 = -f - b + 19. Let i = f - 19. Which is greater: 2/7 or i?
2/7
Suppose -4*s + 5 - 1 = 0. Suppose -7*p = -2*p + 15. Let j be (s - (-4 + 3)) + p. Is -1 smaller than j?
False
Let v = -180/187 + 4/17. Which is smaller: 1/4 or v?
v
Suppose -9*h = 284 + 238. Which is smaller: h or -59?
-59
Let h = -1 + 1.2. Let u = 0.1 + -0.1. Which is smaller: u or h?
u
Let a(j) = -4*j**3 - j**2 + j + 1. Let o be a(-1). Suppose -w = -0*z + z, z = 2*w - o. Which is bigger: w or 2?
2
Let k = 1.4 + -1.3. Are 3/2 and k nonequal?
True
Suppose 0 = -2*b - 3*j - 20, -2*b + 4*j - 20 = 2*b. Let s(u) = u**2 + 5*u - 9. Let c be s(b). Let a be -1*2 + 11/c. Which is smaller: a or 0?
0
Let z = 65475 + -10803413/165. Let f = 1/33 + z. Which is bigger: f or -1?
f
Let