
Let s be (-10)/(-14) + 6/21. Let i = -81.6 - -75. Let b = i + 7. Is s less than b?
False
Let g be 1/2 + (-1)/(-2). Let r be 23/(-3)*(3 - 0). Let o = 205/9 + r. Which is greater: g or o?
g
Let f = -22 - -66. Let h = f + -128/3. Suppose -p - 3 + 5 = 0. Which is bigger: p or h?
p
Let t(p) = -p**2 + 3*p + 5. Let a be t(5). Let w be a/(-10) + 2/(-4). Which is bigger: 1/9 or w?
1/9
Let f = 235 - 4467/19. Let m(y) = -y. Let u be m(-1). Which is smaller: f or u?
f
Let n = -3 + 2.75. Let y = n - -0.15. Which is bigger: y or 0.3?
0.3
Let m = 1 - 0. Let r = -0.009 - -0.009. Is m greater than or equal to r?
True
Suppose -2*v = -7*v. Let m(o) = -o**2 + o - 2. Let c be m(v). Suppose 0*x = -2*j + 4*x - 6, 0 = 3*j + x + 2. Is c less than or equal to j?
True
Let k = -0.07 - 0.03. Let r = 0 - k. Is r < -2/5?
False
Let v(y) = 2*y + y + 4 + 0 - 2*y. Let l be v(-4). Let h be l - 3/(-1) - 1. Is 2 > h?
False
Let o = 8.1 + -8. Is o equal to 2.6?
False
Let w be 4*(-6)/10*5/(-2). Let v = -0.4 - 1.6. Which is smaller: v or w?
v
Let v = 4 + -1. Let s be ((0 + -1)/1)/v. Let c = -3.8 + -0.2. Which is greater: s or c?
s
Let i(b) = b**2 - 7*b + 7. Let n = -5 - -10. Let t be i(n). Let g be 6*(30/9 + -4). Which is greater: t or g?
t
Let k be 2/(-8) - (-82)/8. Suppose 4*y - 3*y = 4*h + k, y = -h - 5. Is y greater than 1?
False
Suppose -5*l + 30 = z, -5*z + 5 = -3*l - z. Suppose -3*a + h = -16, h - 5 = -6. Is a >= l?
True
Suppose 16 = 2*l - 3*l + 4*f, -3*l = 2*f - 22. Suppose 0 = 5*a - 3*j + 2 + 12, -12 = -l*j. Is a at most as big as 1?
True
Let l = -1.23 - -1.93. Let t = -0.4 - -0.3. Which is smaller: l or t?
t
Let x(c) = -c**2 - 12*c - 11. Let y be x(-11). Which is smaller: 3/38 or y?
y
Let o = 0.396 - -1.574. Let t = o - -0.03. Let w = -2.1 + t. Is -2 equal to w?
False
Let u(y) = -8*y. Let a be u(1). Let h = 13 + a. Which is smaller: 4 or h?
4
Let a(i) = i. Let w(q) = -q**2 - q + 4. Let m(l) = -3*a(l) - w(l). Let h(s) = s**3 + 2*s**2 - s + 2. Let j be h(-2). Let z be m(j). Which is smaller: 6 or z?
z
Let o = -6 + -2. Let r = o + 6. Let j be 4/(-8)*4/(-6). Is j at least as big as r?
True
Suppose -4*f + 27 = -17. Let g be -2 + (f - 1) + 3. Let w = 7 - g. Which is smaller: -3 or w?
w
Suppose -4*w = -4*u - 60, 3*u + 24 = 4*w - 25. Is u at most -12?
False
Suppose -6*y = -y. Which is smaller: 1/2 or y?
y
Suppose 17 = 3*f - 55. Suppose 4*s = -8 + f. Which is bigger: s or 13/3?
13/3
Let o = -5/3 + 2. Is -1 less than or equal to o?
True
Let a(m) = m + 6. Let v be a(-6). Let z be -1*(0 - -1)*-1. Which is smaller: v or z?
v
Let r be 2579/18 - (-2)/4. Let v = r + -144. Which is smaller: 0 or v?
v
Let y be (-540)/(-25) + (-6)/10. Let f = -21 + y. Which is bigger: -6/5 or f?
f
Let y = 16 + -5. Let b = y + -8. Which is smaller: 5/3 or b?
5/3
Let s = 4 - 4. Let u be -1 + (s - 2) - 5. Is u bigger than -6?
False
Suppose -3*l - 2*f + 7*f + 8 = 0, -1 = 2*l + 3*f. Is l greater than 1?
False
Let r(g) = g**2 - 8*g + 2. Let k be r(8). Suppose k*b - 5*b + 3 = 0. Are -1 and b unequal?
True
Let n be 2/5 + (-27)/15. Is -1 >= n?
True
Let p be 0 + -3*4/(-6). Let t(b) = -5*b - 5. Let s(d) = 11*d + 9. Let i(m) = 4*s(m) + 9*t(m). Let f be i(-12). Is p <= f?
True
Suppose -1 = -g - 3. Let j be g/10*20/16. Is j >= 2?
False
Let i be 20/(-6) - 9/(-27). Let a be i + 2 - (-1 + -2). Is 2 greater than a?
False
Let w = -37/15 + 13/5. Suppose 5*k = 3*k. Which is greater: w or k?
w
Let f = -19142/55 + 348. Is f greater than or equal to -1?
True
Suppose 3 = l + 4. Which is greater: 3/17 or l?
3/17
Let p = 0 - -3. Suppose 5*g - 45 = -3*n + 4*n, -p*g + 27 = 3*n. Suppose 2*d = g - 3. Is 3 less than d?
False
Let w be (16 + -17)/((-3)/16). Is 5 less than or equal to w?
True
Suppose 5 - 12 = 7*q. Which is smaller: q or 2.6?
q
Suppose 0*n = n + 5, -8 = 3*v - 5*n. Suppose -44 = -4*u - 92. Is v at most u?
False
Let t be (-10)/(-25) - 28/(-5). Let j be (t/90)/((-2)/5). Is -1 != j?
True
Let o = 249/2 - 127. Let p(v) = -v**2 + 8*v - 4. Let l be p(8). Is l at most o?
True
Suppose 6*g = 3*g + 6. Let a be (30/(-18))/(g/3). Which is smaller: a or -4?
-4
Let q = 6.13 - 0.13. Let d = -14 + q. Which is bigger: d or -2/7?
-2/7
Let j be 5 + -3 + 2398/(-3640). Let x = 4/455 + j. Let g = 8/5 - x. Which is smaller: -1 or g?
-1
Let g = 5 - 7. Let j = -1 + g. Suppose 0 = -5*m + 5*k - 30, 6 = 2*m - m + 3*k. Do m and j have different values?
False
Let u(a) = -a**2 + 9*a - 6. Let x be u(9). Let m = -6 - -9. Let s = m + x. Which is smaller: -4 or s?
-4
Let m be (-2)/(-36) - 20/90. Let s = -5/34 + 169/918. Let g = s - 10/27. Is g >= m?
False
Let b = 7 - 8. Let h(r) = -r. Let y be h(b). Is y equal to 2?
False
Let z = -103 - -106. Which is greater: z or -0.12?
z
Let w = 46 + -43.1. Let u = -3 + w. Let q = -2/91 - 87/182. Which is smaller: q or u?
q
Let i = 1 - 3. Let g be i/6 + (-3)/(-9). Let a = g + -2. Which is greater: -1 or a?
-1
Suppose -6 + 2 = 4*v. Which is greater: v or 0?
0
Let u = -5.9 + 6.21. Let d = u + -0.01. Are -1 and d unequal?
True
Suppose d + h = 4*h + 13, 3*d - 4*h - 44 = 0. Let y be d/24*(-6)/32. Which is smaller: 0 or y?
y
Let m be -2*((-16)/14 + 1). Suppose 6 = -3*q - 3. Let d = q + 3. Which is smaller: m or d?
d
Let p = 2 + -1. Let j = p - 1.2. Is j less than or equal to -0.2?
True
Let t be ((-16)/6)/((-4)/12). Let h = t - 7. Is h != -1/14?
True
Suppose 4*x - 14 + 5 = 5*o, 3*x + 3*o = -27. Suppose g = 3*v + 2*v + 13, -11 = v - 3*g. Let q = v - x. Is q < 3/5?
False
Suppose 2*u + 2*v + 4 = 0, -3*u + 5*v = -6*u - 10. Which is smaller: 5/7 or u?
u
Let t = -3.4 - -3. Which is greater: -0.1 or t?
-0.1
Let m be ((-2)/(-8))/(6/24). Are 1/11 and m non-equal?
True
Let v(z) = -z**3 + 13*z**2 - 2*z - 5. Let r be v(13). Is -31 > r?
False
Let c be 0 + 449/(-225) + 2. Let i = c - -1/45. Let f = 52/75 - i. Which is smaller: f or 1/2?
1/2
Let j(p) = 4*p**2 - p - 2. Let g be j(-1). Which is smaller: g or 1?
1
Let t(i) = -i**3 - 13*i**2 - i - 16. Let y be t(-13). Which is smaller: 0 or y?
y
Let v = 0.24 - 2.24. Is v less than -1?
True
Let g be 6/(40/(-22) + 2). Which is smaller: g or 34?
g
Let l = -17 - -16. Is l less than 1.4?
True
Let z = 3319/17 - 161/34. Suppose -2*n + 207 = -167. Let j = z - n. Which is smaller: 5 or j?
j
Suppose 5 = -d + 10. Let c = 13 - 1. Let w = c + -8. Which is smaller: w or d?
w
Let p(z) = -z**3 + 2*z + 2. Let w be p(0). Suppose 4*t + 2 = 10. Are w and t equal?
True
Let l be (-4*(-5)/(-15))/(-6). Suppose 5*w = -5*x + 6 + 4, -14 = 2*x - 4*w. Which is bigger: x or l?
l
Suppose -5*s - 15 = -35. Suppose 1 = 3*r + 2*r - 2*w, -16 = 4*r + s*w. Let l be 3/20 + (-3)/(-12). Is r at most as big as l?
True
Let h be (3 + -5)*(-1)/((-4)/(-6)). Does h = -4?
False
Suppose -3 = 2*k - i, -i - i + 5 = -3*k. Let c = -397/18 + 22. Which is smaller: c or k?
k
Suppose -3*o + 32 = -10. Which is bigger: o or 15?
15
Let r(g) = 3*g + 0*g - 2*g. Let j be r(5). Let v = 4 - -2. Is v at most j?
False
Let w(n) = n**3 - 13*n**2 + n - 15. Let o be w(13). Let y be (3*o/(-4))/6. Do y and 0 have the same value?
False
Suppose h + 1 = -5*b, 3*h + 2*h = -b + 19. Suppose -5*t + 4*x = -2*t + 8, 0 = 3*t + 4*x - 8. Does b = t?
False
Suppose 5*d - 3*n + n = -2, -4*d + 5 = 5*n. Let r be 3/(-3*(-1)/2). Suppose -3*b - 4*z = -4 + 1, -2*b - r*z + 2 = 0. Is d <= b?
True
Let r = 0.32 - 0.3. Let v = 0.98 + r. Which is greater: v or -1?
v
Let g = 3.8 - -1.2. Let z = -5.1 + g. Is z equal to 0?
False
Let x = 3/163 - 1518/2771. Which is greater: -1 or x?
x
Suppose 0*w = 4*w - 20. Suppose 0 = -l + 5*x - 3*x - w, l - x = -1. Let q = 0.9 + 0.1. Which is greater: l or q?
l
Let r(y) = -y**2 - 6*y - 2. Let g be r(-5). Let j = 19 + -17. Which is smaller: g or j?
j
Let f = 12 - 14. Let k be f/(-14) - 160/42. Which is smaller: k or 1?
k
Suppose 4*k = -4*u + 264, -264 = -4*u - 0*k + 5*k. Let a be (-21)/u - 3/(-6). Is -1 less than a?
True
Let h be (-2)/4 + 156/(-8). Is -20 != h?
False
Let k(l) = -2*l**2 + 22*l + 21. Let q be k(12). Does q = -3?
True
Let l be 1/(1/(-1 - 1)). Let a = -8 - -3. Let d be ((-8)/(-50))/(l/a). Which is smaller: 0 or d?
0
Let y be -3 - (-3 - (-4 - -2)). Which is greater: -5/6 or y?
-5/6
Let v be (-1)/((-3)/15 + 0). Suppose 5*s - v*z - 15 = 0, -z = -2*s - 2 + 5. Is s at least 1/8?
False
Let j = 35.8 + -36. Let m = 0.3 - 0.4. Is j not equal to m?
True
Let o be