Let z = x - -13. Which is bigger: z or 5?
5
Let c = -19/4 - -841/172. Is c less than or equal to 1?
True
Suppose -5*l = 5, y - 2*y = 5*l + 2. Let f = 20 + -4. Suppose 4*i = 4*o + 4, -o + 6*o + 2*i = f. Which is smaller: o or y?
o
Let r = 7271 + -189147/26. Let g = 8/13 - r. Which is greater: -1 or g?
g
Let f = -16 - -16. Which is smaller: 2 or f?
f
Let q be (-120)/4230*(-1)/((-4)/(-6)). Do -1 and q have the same value?
False
Let i = -27 - -28. Let k = -1 - -1. Are k and i equal?
False
Let z = -5/3 - -11/12. Let l(k) = -k**2 - 1. Let m be l(-1). Let a = 1 + m. Is z bigger than a?
True
Let d be (3/6)/(4/40). Is d at most as big as 5?
True
Let n be 1/4 + 3/(-108). Is n less than -1?
False
Let h = 13 - 19. Let j(z) = z**3 + 6*z**2 + 3*z + 10. Let w be j(h). Do -8 and w have the same value?
True
Let u be (-6)/(-9) + 2/6. Let b = -1346/5 - -270. Which is smaller: b or u?
b
Suppose g - 3*h = 6 + 9, 4*g + 3*h = 0. Suppose 0 = -a - 3, -2*a - 2*a = -g*f + 12. Which is smaller: 1 or f?
f
Let k = -0.1 + 0.09. Let t = k + -0.09. Are t and -2 non-equal?
True
Let i(y) = -10*y - 41. Let m be i(-5). Is m smaller than 0.06?
False
Let m = -74 + 369/5. Let q = -1 + 1. Which is greater: q or m?
q
Suppose 4*t = -2*v - 0*v - 8, 2*v + 2 = 2*t. Let r = -2 + 1. Let i be r/2 + 3/(-6). Does i = v?
False
Let z(q) = -5*q + 1. Let l be z(0). Do 15/11 and l have the same value?
False
Let m = -56 + 37. Which is greater: -21 or m?
m
Let f be 22/(-6) + 2 + 2. Which is greater: f or 0.05?
f
Suppose 0*c = 2*c + 44. Let t = c - -16. Is t > -7?
True
Let w = -22 + 43/2. Suppose 9 - 7 = -c. Which is smaller: w or c?
c
Let t be (-25)/55*28/10. Is -2 at least t?
False
Let t = -82 - -655/8. Which is smaller: 1 or t?
t
Suppose -l + 3*j - 1 = 0, 2*l - 6 = 3*j - j. Is 4 <= l?
True
Let i = -3 + 10. Let o = 8 - i. Is 11 != o?
True
Suppose 5*k - 4*n - 13 = 0, -2*k + 4 = -0*n - n. Suppose 6 + k = -q. Let s = -5 - q. Which is smaller: s or 4/3?
4/3
Let n = 4 + -6. Let j = -7 + 3. Which is smaller: j or n?
j
Let k = -11 + 10. Let s = 0.9 + k. Do 0.5 and s have the same value?
False
Let v = -1438/7 + 205. Is 1/14 at least as big as v?
True
Let d be (-12)/(1/2*15). Is -2 greater than or equal to d?
False
Let h = 0.8 + 5.2. Is h smaller than 0.4?
False
Let o = 40.1 + -40. Do 10/29 and o have the same value?
False
Suppose -6*v + 2*v = -x + 31, 0 = -x + 2*v + 21. Which is greater: x or 12?
12
Let s be -4 + (-2 - -4)/(-1). Let q = s - -6. Is q <= -3/4?
False
Let z(y) = 21*y. Let h be z(1). Let r be 0/(-1) - 9/h. Let g(d) = 2*d**3 + 2*d**2 - 1. Let w be g(-1). Is w not equal to r?
True
Let p = 59 - 59.2. Is p >= 21/4?
False
Let u(t) = -t**2 - t + 3. Let z be u(0). Let o(y) = 6 - 1 - y - 2. Let p be o(z). Which is bigger: p or -2?
p
Let k = -0.17 + 8.17. Let i = 8.5 - k. Let b = 0.5 - i. Which is bigger: 1 or b?
1
Let p be 4*6/160*-4. Is p not equal to -1?
True
Suppose 0*c + 2*c + 8 = s, -5*s - 5*c - 20 = 0. Which is greater: s or 1/26?
1/26
Suppose 0*g + 11 = 3*g + 5*d, 3*d - 7 = -2*g. Let r be -2*1*g/4. Which is smaller: r or -2?
-2
Suppose 3*x + 5*p = 167, 4*p = p - 6. Let i = x - 883/15. Which is greater: 0 or i?
i
Suppose -2*o = -0*o - 2. Is -2/5 smaller than o?
True
Let s = 11 + -17. Is -6 equal to s?
True
Let a = -22/9 + -119/9. Let l = -15 - a. Let z = -42 - -41. Which is greater: l or z?
l
Let q be 6/3 + 0/(-2). Suppose 4*l - 7*t = -4*t - 4, 0 = -3*l - 3*t + 18. Is l < q?
False
Let j = 10973255371743161/201286 - 54515740646. Let x = j - 1/15891. Let a = x + -1/38. Is 0 greater than or equal to a?
False
Let w be 6*((-15)/(-6) + -2). Which is greater: 2 or w?
w
Let a = -0.2 - -0.19. Let m = -0.09 + a. Do -5 and m have different values?
True
Let r be (-2)/(-4)*(-56)/(-2058). Which is greater: -1 or r?
r
Suppose 5*c = 2*j - 91, -145 = -4*j - 3*c - 2. Suppose 5*z - j = 7*z. Let n be z/(-28) + 2/(-8). Which is smaller: n or -1?
-1
Let a(x) = -x + 1. Let h be a(-6). Which is smaller: h or 3?
3
Let a = -9 - -5. Let c be ((-2)/a)/((-15)/(-42)). Suppose -10*d = -3*d. Is c smaller than d?
False
Let j be 12/16 - -7*33/(-228). Which is smaller: 0 or j?
j
Let p(j) = j**2 + 2*j - 4. Let o be p(-3). Suppose -4*r = -x + 7, -3*r + 7 = x + 21. Let k be (o - -3)*(-3)/r. Do k and 2/5 have different values?
True
Let n = -8.3 - -8. Let s = n + 0.2. Let c = -5/3 - -1/6. Are c and s non-equal?
True
Let x(v) = -v**2 - 6*v - 3. Let w be x(-5). Suppose -2 = -u + a, 0 = 5*u - 0*a - 4*a - 8. Suppose -2*q - 3 + 7 = u. Do q and w have different values?
False
Let i be (-116)/6 - 4/(-12). Let u = -18 - i. Let k = -1 - -2. Is k != u?
False
Let n = 78 - 77. Let u = 59/36 - 3/4. Which is smaller: n or u?
u
Let q = 49.1 + -49. Which is smaller: q or -6/7?
-6/7
Let l be (-113937)/186 - 2/(-4). Let w = l - -612. Which is greater: 1 or w?
1
Let m = 29.4 - 8.8. Let d = m + -20. Is -0.2 bigger than d?
False
Suppose 0 = -3*f - 5*d + 207, -2*f - d + 4*d + 138 = 0. Are f and 69 non-equal?
False
Suppose -3*v + 18 = 3*v. Let c = 1.82 - 0.12. Let m = c - -0.3. Which is smaller: v or m?
m
Let j(w) = -w**2 + w + 4. Let t be j(0). Suppose 3*d - 3*x - 63 = 0, 5*d + x = -0*x + 81. Let c = 20 - d. Which is smaller: c or t?
c
Let w = -1 - -5. Let t be w/(-6) - 2/(-4). Is 1 != t?
True
Suppose -8*a - d - 115 = -4*a, -4*d = a + 25. Let h = a - -146/5. Which is bigger: h or -1?
h
Let o = 349/220 - 18/11. Does o = 1?
False
Let o = -18.9 + -0.1. Let g = -21 - o. Which is smaller: g or -3?
-3
Let r = 6/701 + 531316/4907. Let u = r + -1840/21. Let p = 21 - u. Is p at most -1?
False
Let a = 13 - 8. Which is greater: 8 or a?
8
Let f = -12 + -16. Is f <= -0.1?
True
Suppose -2 = -2*i + 2. Let a = -12 + 15. Which is smaller: i or a?
i
Suppose 5*o + 40 = 3*w + 2*w, 2*o = 3*w - 15. Which is smaller: o or -10?
-10
Suppose -6*r - 10 = -r. Let j be r/(1*4/(-8)). Which is smaller: 2 or j?
2
Let c be (2 - 3)*(2 + -9). Is c at least -1?
True
Let m = 0.039 - 0.019. Which is bigger: 0.8 or m?
0.8
Let a = 0.019 + -0.039. Which is smaller: 1 or a?
a
Suppose 0 = -o - 12 - 5. Is o greater than -17?
False
Let b = -13 + 13. Suppose 4 = -2*x + 12. Is b at most as big as x?
True
Let d(p) = p**3 - 8*p**2 - 10*p + 4. Let o be d(9). Let w be 3/(-14)*(3 + o). Which is greater: 1 or w?
1
Let z be 7/(-2) + 3/6. Is z smaller than -3?
False
Let l = 1455/62 + -30/31. Is 22 at most as big as l?
True
Let q = 0.118 - 2.118. Are q and 6/13 equal?
False
Let b(s) = s**2 - s - 1. Let z be b(-1). Let t be 20/(-11) + (-2)/11. Let r = t + 2. Is z at least r?
True
Let h = 0.01 - 3.01. Let t = h - -2.9. Let j = -1.9 + 2. Is t not equal to j?
True
Let y be 0*(0 + 3)/3. Suppose -2*o + 4*a = 4, 4*o + a - 3*a = 4. Let h be o/5 + (-24)/210. Is y at most as big as h?
True
Suppose q - 3*q - a = 5, 0 = 5*a - 5. Which is greater: q or -1?
-1
Let c = -9 + 9. Suppose 3*q + 5 + 1 = c. Are q and -5/8 equal?
False
Suppose -5*c + 8 = -c. Let v be 0 - (c/(-2))/(-1). Suppose -3*m - 15 = 5*s, -3*s - 4*m = -4*s + 20. Is s at least v?
True
Let d be ((-6)/(-4))/(3/(-6)). Let l be 27/(-12)*(-1 + d). Suppose 0 = k - 4*k + l. Is k bigger than 3?
False
Suppose 4*h = -c + 2*c - 74, -5*h + 3*c = 96. Is h at least as big as -20?
True
Let t = 145 - 97. Is 49 at most as big as t?
False
Let q = 3 - 1. Let c = q + -1.96. Which is greater: 0 or c?
c
Let k = 58 - 62. Is -2 at most as big as k?
False
Let l be ((-1)/3)/(44/330). Which is smaller: l or -3?
-3
Suppose 2*y = -3*x - 173306, 0*y - 2*y = 4*x + 173306. Let v = 1301489/15 + y. Let b = v + -113. Are 0 and b unequal?
True
Let d be 63/(-28)*4/(-5). Which is greater: d or 1?
d
Suppose 0*c + 2*c - 2 = 0. Suppose 23 = 5*o + 3*l + 1, -2*o - l + 8 = 0. Let s = o - c. Is -1/10 >= s?
False
Let o be -1*(63/(-17) + (-15)/(-5)). Is 1 not equal to o?
True
Let g = -30562/387 + 712/9. Is g >= 1?
False
Let g = -0.4 - -0.5. Let m = 3.1 - 3. Let n = m - g. Which is greater: 0.4 or n?
0.4
Let f = 553/29 + -68021/3596. Let a = f - -3/31. Which is smaller: a or 1?
a
Let d = 7 - 5. Let x = 1/13 + 23/39. Which is smaller: d or x?
x
Suppose z + 4 + 1 = i, -5*z + 7 = 3*i. Let m be (z + -1)/(-2) + -17. Let f be (2/(-60))/((-4)/m). Which is smaller: f or 0?
f
Let x = -5 + 5. Let t be x - 5/((-105)/(-6)). Is 1 at least as big as t?
True
Let z be (0 + (-2)/2)*-4. Suppose -2*m + 0*m = -8. Is m < z?
Fal