i be (10 - 0) + 2/1. Let p be (-4)/16 + 3/i. Let m = -1.7 - 0.3. Is p not equal to m?
True
Let n = -30/97 - -1784/5141. Which is smaller: 0 or n?
0
Let o = 14/47 - -250/423. Which is greater: o or 2?
2
Suppose 9*t = 4*t. Suppose -2*l = -t*l. Is l <= 0?
True
Let q = 1 - -16. Does 17 = q?
True
Suppose 3*y - 2*t = -44, -3*t + t - 46 = 2*y. Let g be (-1)/((165/y)/(-11)). Is 0.2 bigger than g?
True
Suppose -v = 2*v. Is v smaller than -3/5?
False
Let a = 5 - 0. Let q = a + -7. Is q bigger than -2?
False
Suppose 3*c + 78 = -5*x, 7*c = -x + 2*c - 20. Which is bigger: -12 or x?
-12
Let p = 3.36 + -3.4. Which is smaller: -0.1 or p?
-0.1
Let t(g) = -3*g - 8. Let p be t(-3). Does p = 1/5?
False
Let v be (-8)/(-10) - 0/(-1). Suppose 3*w - 5 + 2 = 0. Which is bigger: v or w?
w
Let q = 2/9 - -1/9. Which is smaller: q or -2/5?
-2/5
Let d = 7 - 0. Is d at least as big as 2?
True
Let f be 9*(-12)/22 + -34 + 34. Are f and -4 equal?
False
Let t be (-3)/(-6) + (-3)/(-2). Suppose 4*a - 14 = -3*c, -c - 8 = -4*a - 2. Suppose 4*z + 20 = 0, -6*d + z + 9 = -a*d. Which is greater: t or d?
t
Let b = -48 + 52.04. Let v = -0.04 + b. Let k = v - 4.1. Is k smaller than 0.2?
True
Let b(f) = f**3 - f. Let o be b(-1). Let m = -167/7 + 24. Is o less than m?
True
Let s be ((-104)/(-10))/(-4) + -1. Is s >= -4?
True
Suppose w = 5*c - 9, 5 = 3*c + c - 3*w. Let k be (3 + -2)/(2/8). Let a be -3*c*1/k. Is -0.2 less than a?
False
Let o be (-7)/9 - 34/153. Are 3/11 and o nonequal?
True
Let n be -4*(5/2 - 3). Suppose -2*t + 4*u + n = 0, 0 = -0*t + 2*t + 5*u - 2. Which is smaller: 2 or t?
t
Suppose u + 5 = 2*u. Suppose -u*l + 2 = -3. Is 2/9 > l?
False
Suppose v - 31 = 5*w - 2*v, -4*w = v + 35. Suppose 5*n + 14 + 56 = 0. Let s = n - -5. Is w bigger than s?
True
Suppose 0 = -0*i - 5*i + 15. Let b = i - 3. Let u(v) = -v. Let l be u(b). Is -1/2 at most l?
True
Let n(y) = -y**2 - 5*y - 3. Let w be n(-4). Let r be 5/(-4) + 0 + w. Does r = 0?
False
Let d be (66/12)/((-1)/(-16)). Is d less than or equal to 88?
True
Suppose 3*k + 0*k + 5*z = 40, k - 5*z = -20. Suppose 2*c - c - 3 = k*t, -15 = -3*t - 5*c. Which is greater: t or 2/9?
2/9
Let x = -0.36 - -0.402. Is x smaller than 0?
False
Let n = -3 - -8. Suppose v = -4*v - n. Let o be (2 - 0)/2*1. Which is bigger: o or v?
o
Let f = -45 + 43. Which is smaller: f or -0.05?
f
Let n be (9/(-15))/((-3)/15). Suppose -4*c + 0*c = -20, c = n*k + 11. Let y be -1*1 + (-1 - k). Is y at most -2?
False
Suppose 4*w - 61 = -1. Let c = w - 11. Which is smaller: 3 or c?
3
Let i(x) = x**2 + 3*x - 5. Let h be i(-5). Suppose -h*v - 7 = -2, 2*l - 6 = 4*v. Which is greater: l or -2/21?
l
Let q(z) = -2*z**2 + 8*z - 5. Let r be q(3). Which is smaller: -2/11 or r?
-2/11
Suppose -3*a + 37 = -4*i - 65, 4*a = 5*i + 136. Suppose -4*x - x - a = v, 0 = 4*x - 3*v + 31. Does x = -7?
True
Let q be ((-33)/(-10))/3 + (0 - 1). Is 0 smaller than q?
True
Let f(j) = 0 + 1 + j - 4*j. Let p be f(-2). Let g be 2/p + (-30)/56. Is -1 > g?
False
Let b be 0/(3 + (-5)/(10/4)). Which is greater: b or 5/6?
5/6
Let p be ((-5)/15)/((-11)/54). Which is smaller: 3 or p?
p
Suppose -24*b - 12 = -26*b. Which is bigger: 8 or b?
8
Let g be 18580/105 + (-1)/(-3). Let o = g - 177. Which is smaller: o or -2?
-2
Let v(z) = z**3 - 8*z**2 + 8*z - 7. Let c be v(7). Let f be 44/(-252) - (-4)/14. Which is smaller: f or c?
c
Let m be ((-1)/(-3))/((-3)/(-198)). Let l be -1 - (2 + (-70)/m). Which is smaller: 1 or l?
l
Let d(a) = a**2 - a - 2. Let z = 1 + 1. Let n be d(z). Is 0 smaller than n?
False
Let q be (3/(-12))/((-1)/(-2)). Let o = 1 + -1. Which is bigger: o or q?
o
Suppose 4*a + 5*g = 29, 0*a - 3*a - 2*g + 20 = 0. Suppose -a*m + 20 = -m. Which is greater: 3 or m?
m
Let z = 301 + -9031/30. Which is smaller: z or 0?
z
Let j be (0 - 1 - 0)*10. Let f = j - -10. Is 0 equal to f?
True
Suppose 0 = 2*p - 5*p - 3*q - 9, 4*p + 2*q = -6. Which is bigger: 5 or p?
5
Suppose 6*y = y + 5. Which is smaller: y or -6/35?
-6/35
Let j = 71 + -41. Let b = j + -18. Which is greater: b or -0.1?
b
Let w be (207/(-27))/((-2)/6). Let a = w - 33. Is a != -11?
True
Suppose 0 = -i + 12. Suppose 0 = -2*l - 2*y - i, 6*l = l - y - 10. Is l smaller than -1?
False
Let j be (-21)/40*1/2. Let l be 3/4 - (-13)/(-16). Let o = l - j. Do -2/7 and o have the same value?
False
Let m = 0.8 + -3.8. Let j = 17 - 11. Let p = j - 7. Which is bigger: m or p?
p
Let o be (-4)/14 - 22/70. Let v be 7/2 + 1/(-2). Suppose -2*f + 5*u - v*u = 0, 4*u = -f. Which is greater: o or f?
f
Let o be 3*-1 + (540/176)/1. Which is smaller: 1 or o?
o
Let b = 0.4 - -0.1. Let a = -2.5 - b. Let i = 3 + a. Which is smaller: i or 1?
i
Let x = 90 - 99. Which is smaller: -2 or x?
x
Let o(w) = w - 4. Let y be o(3). Let b be ((-90)/(-350))/(2/12). Let s = -8/7 + b. Which is bigger: y or s?
s
Suppose 3*w = -3*a + 15, 0 + 4 = 2*a. Let u be -7 - 0/(1 + w). Is -7 not equal to u?
False
Suppose j - 3 = -6. Is j at least -3?
True
Let t(x) = -x + 1. Let p be t(2). Which is smaller: -10 or p?
-10
Let g = 64 + -107. Which is greater: g or -2?
-2
Let k(q) = -6*q + 1. Let a be k(-2). Suppose -5 = 4*w - a. Suppose w*g + 0 = -6. Is -3 != g?
False
Let k be (-51)/(-208) - 0/1. Let f = -4/13 + k. Let v be 5/(-3) - -2 - 48/36. Which is bigger: f or v?
f
Let d = -22 + 21. Let a = d + 0. Which is smaller: 0.2 or a?
a
Let v = -0.13 - -0.03. Let i = v + 0. Are i and 2 equal?
False
Let u be (-9 - -10) + (0 - -1)*0. Which is smaller: 2 or u?
u
Let t = -48 + 47.7. Is -5 smaller than t?
True
Let p be (34 + 1)*9/15. Let q be -3 + 2*p/15. Is 0.2 greater than q?
True
Let q(l) = -l**3 + 2*l**2 - 2*l + 3. Suppose -5*x = -2*x - 6. Let c be q(x). Is -3 less than or equal to c?
True
Let c = -39.7 + 38. Let z = c + -5.3. Let x = z - -7.3. Which is smaller: x or 1/3?
x
Let f(l) = l**2 + 5*l - 1. Let h be f(-5). Let c(i) = -i - 7. Let q be c(-5). Let o = h - q. Are o and 3/8 non-equal?
True
Suppose -3*g - 18 = -4*n, 0*g - 1 = -3*n - 4*g. Is n greater than 5?
False
Let w(s) = 2*s. Let h be w(1). Suppose -h*c = -7*p + 3*p + 2, 4*c - 2*p = -4. Is c less than 2/19?
True
Let s = -2.9 + 3. Let w = 7.2 - -1.8. Let f = w + -9.2. Which is smaller: f or s?
f
Let w = -3 + 2. Let n be 0 - (1/4)/w. Let o = 11.1 + -11. Is o equal to n?
False
Suppose 0 = 5*z + 5*p - 24 - 1, -p + 9 = 5*z. Let h = 6487327/170 + -38161. Let k = h - 4/85. Which is smaller: k or z?
k
Suppose 24 = 4*b - 4*p, -6*p - 15 = -p. Let s be 1/(3/15 + 0). Is s <= b?
False
Let o = -361/7 - -51. Is o at most as big as 0?
True
Let b be (-138)/(-135) - (-2)/(-9). Let f = -3.5 + 3.5. Is b smaller than f?
False
Let a be (4 + 12)*(-1)/2. Is a less than -3?
True
Let u be 0 + 35/(-21) + 2. Let g = 11 - 11.33. Let k = g - -0.03. Is u at least k?
True
Let x be 1*3*8/12. Which is smaller: 3 or x?
x
Let u = 19 - 13. Suppose 2 = -2*h + u. Suppose 5*m - 5 = t + 2*m, m = t + 1. Is h not equal to t?
True
Let x(a) = 5 - 2 + 3*a + 0*a**2 - 3*a**3 + 3*a**2 + 2*a**3. Let y be x(4). Is 1/6 not equal to y?
True
Let t = -4/1861 + -23593/279150. Let s = t + -2/25. Let h(d) = -d - 5. Let i be h(-6). Which is smaller: i or s?
s
Let i(c) = -2*c - 1. Let x be i(-1). Let w be 0 + (0 - -3)*-2. Let f be (-1)/(11 - (3 + w)). Which is bigger: x or f?
x
Let a(q) = -q**2 - 16*q + 18. Let v be a(-18). Is v >= -18?
True
Let x(g) = -g**2 - 6*g - 9. Let y be x(-6). Let f = 19 + y. Which is smaller: -1 or f?
-1
Let p = -122/13 + 402/65. Which is bigger: -2 or p?
-2
Let o = -63/104 + 3/13. Which is bigger: 0 or o?
0
Let p(o) = -o - 10. Let k be p(-6). Which is bigger: k or -1?
-1
Let d = 145/2 - 79. Let g = d + 6. Which is greater: -2 or g?
g
Suppose 0 = 18*l - 23*l - 10. Is -2 less than l?
False
Let t(c) = c**2 + 5*c + 6. Let h be t(-5). Let i be ((-9)/15*2)/((-3)/10). Is i at least h?
False
Let l = 5 + -3. Suppose -l*p - 1 = -5. Which is smaller: 1 or p?
1
Let s be 4/(-388)*(2 + 0). Let m = s - 176/873. Which is greater: m or -1?
m
Let h = 769 - 8468/11. Which is greater: 0 or h?
0
Let j = 44 + -47. Is -6 less than j?
True
Let n = -9.1 - -9. Let b = 0.3 - n. Which is bigger: -1 or b?
b
Let c be -1 - -1 - 0 - 0. Let r = -2 + 3. Is c >= r?
False
Let l = 0.04 + -0.07. Let u = -0.37 + l. Is u greater than -1?
True
Suppose -4*b + 202 = -2*l, -3*l = b - l - 48. Let z be (2/4)/(5/b). Are z and 2 unequal?
True
Sup