alse
Let x = 15716/35 - 449. Is 1 at least as big as x?
True
Let q = -2 - -5. Suppose -q*h = -4*h. Is -2 at most as big as h?
True
Let p = -0.11 - 2.89. Let g = -7 - -4. Let c = g - p. Is c at most 0.3?
True
Let m = -266/3 + 88. Is m bigger than -1.9?
True
Suppose j + 2*j + 17 = 5*x, 5*j = 3*x - 7. Is x >= 5?
False
Let q(y) = 8*y + 100. Let s be q(-12). Suppose 0 = -3*l + 9 + 27. Let f = l + -8. Is s at least as big as f?
True
Let g be (-3)/(((-9)/(-2))/(-3)). Let m = 27 + -20. Let h be m/4*(-3)/(-7). Is g >= h?
True
Let v(z) = -z**3 - z - 3. Let w be v(0). Let k = -3 - w. Which is smaller: k or 2/3?
k
Suppose b = 1 - 5. Let q = -161 + 156. Is b at least as big as q?
True
Let q(r) = -r**2 - 7*r - 3. Let f be q(-7). Let t be 2 - f*6/(-9). Suppose -5*d + 5*w = 35, 0*w + 2*w - 8 = t. Is d < -3?
False
Let h(t) = t**2 + 5*t + 3. Let l be h(-5). Let d(j) = -j**3 + 2*j**2 + 5*j - 3. Let s be d(l). Let n be (-2)/(-6)*(-9 - -18). Is n greater than s?
False
Let v be 8/(-2) + (-78)/(-15). Let s = 0.1 + -0.1. Which is smaller: s or v?
s
Let n = -23.3 - 6.7. Is 0 != n?
True
Let m(n) = -n**2 - 7*n + 8. Let r be m(-8). Let k = 19738/537 + -16/179. Let j = k + -36. Which is smaller: j or r?
r
Let f = -101 + 154. Is 54 less than f?
False
Let z be (8/(-12))/(2/(-9)). Let g(c) = c**2 - 3. Let r be g(z). Is 6 equal to r?
True
Suppose -y = 513 - 512. Which is smaller: y or -3/16?
y
Let y be -9 - (2 + 1) - 3. Let q = 22 + y. Suppose -4*a - 1 = q. Is -2 less than or equal to a?
True
Let k(c) = -c**2 - 13*c - 18. Let f be k(-7). Is 25 at most f?
False
Let u be (0 + 2 - 3)/(-1). Let w = u + 3. Suppose -w*t + 10 = 2. Is t less than 2?
False
Let p(z) = z**3 + 9*z**2 + 8*z + 2. Let i be p(-8). Suppose -i*f - 2*f = -20. Is 3 bigger than f?
False
Let i = -0.054 - -0.054. Is -13.2 > i?
False
Let f = -135 - -136. Is 0.28 less than f?
True
Let q be (-10)/50 + (-18)/10. Let z be q/(-10) + 10/(-150). Is z greater than 1?
False
Suppose -3*g = -g - 10. Suppose 4*n = -2*c + 6*c - 8, -n + 28 = g*c. Is 4 less than c?
True
Let v be (168/(-406))/(1*-2). Which is smaller: 0 or v?
0
Suppose 3*f - 2 = f. Suppose -4*d + 11 + f = 0. Suppose -4*w - d*x - 12 = 0, -2*w - 3*w - 3*x = 12. Which is smaller: 2 or w?
w
Let l = -2 - -4. Is 3/2 > l?
False
Let k be 76/10 + (-4)/(-10). Suppose 2*g + 0*g = 5*l + 8, l = 2*g - k. Which is greater: g or 2?
g
Let n(m) = -m**2 - 3*m + 1. Let z be n(0). Let g = 64/45 + -2/9. Which is smaller: z or g?
z
Let v = -10 - -27. Let q = -10 + v. Let s = -5 + q. Which is bigger: s or 2/7?
s
Suppose 3*a + t = -3, 2*a = -0*t + 3*t + 9. Is a != 11?
True
Let n = -4 + 6. Suppose -x = r + 3 - 0, n*x + 2 = 2*r. Let j = r - -1. Is 0 equal to j?
True
Suppose 0*c = -4*c + 4. Let y = 2/57 - -53/114. Do c and y have the same value?
False
Suppose 6*h - 3*h + 57 = 0. Which is smaller: -20 or h?
-20
Let r = -1 + 6. Let s(m) = -m - 4. Let n be s(r). Let d be n/6*(-1)/6. Is d > 0?
True
Let i(b) = -b**2 - 7*b - 3. Let h be i(-6). Let w be (-1)/h*0 + -1. Let q = 51 - 155/3. Which is smaller: w or q?
w
Suppose 4*z - r + 19 = z, 3*r + 9 = -2*z. Let f = -5 - z. Let i be (f - 4)*1/3. Is -2 > i?
False
Let p(a) = 114*a - 3. Let z be p(2). Suppose q + 2*q = z. Let d be 10/(-4)*(-12)/q. Is d bigger than -1?
True
Let t = -1006463/13 - -77847. Let f = t + -427. Are f and -1 equal?
False
Suppose -4*q - 14 = 102. Is q greater than or equal to -29?
True
Let l = -12 - -19. Suppose -2*j + 0*j + l = -5*m, j - 5*m = 6. Which is bigger: j or -2/15?
j
Let t = -11/3 + 4. Let r(p) = -p - 6. Let b be r(-6). Is t greater than or equal to b?
True
Let j(c) be the first derivative of -c**2/2 + 5. Let g be j(3). Which is smaller: g or -4?
-4
Let b(c) = -c - 3. Let l be b(-5). Let j = -34/75 - -661/1425. Let k = j + 187/285. Which is bigger: l or k?
l
Let j = -8 - -14. Let n = -0.12 - -8.12. Let g = j - n. Is g < 2/5?
True
Let g = -53 + 35. Is g at most -17?
True
Let d = -0.6 - -2.6. Let i = -6 - -4. Let z = -1.8 - i. Is d equal to z?
False
Let q be (25/4)/(2/8). Let t = 14 - q. Let a be (-35)/11 + (-2)/t. Is -1 greater than or equal to a?
True
Let l = -5/23 - -163/115. Let h = 5 - 4. Which is greater: l or h?
l
Let t(b) = b**3 + 4*b**2 - 5*b - 2. Let m be t(-5). Let j(n) = -n**2 - n + 1. Let x be j(m). Let y = -130 - -386/3. Is y greater than x?
False
Let w(j) = -j - 17. Let i be w(-11). Which is smaller: i or -8?
-8
Let s = -0.019 + -0.181. Are s and -0.1 non-equal?
True
Let b(x) be the first derivative of -x**2/2 + 26*x + 1. Let z be b(0). Let h be 1/4*(-16)/z. Is -1 less than or equal to h?
True
Let l = -1.7 + 1.8. Let b = l + -2.1. Do -1/2 and b have the same value?
False
Let t(o) = o**2 - 5*o - 5. Let j(l) = -2*l - 2. Let c be j(-4). Let w be t(c). Suppose -w + 2 = -a. Is a smaller than -1?
False
Let v = 20 + -46. Let j be (2 - 2) + 2 + v. Let w be (-6)/j + (-7)/(-4). Is w >= 1?
True
Let q = 13.28 - 0.28. Is q less than 0.1?
False
Let r = 3 + -2. Let f be (50/(-35))/(3/(-7)). Let c = -37/12 + f. Which is smaller: r or c?
c
Let i = -46 + 133/3. Which is smaller: i or 1?
i
Let r = 0.8 - 0.74. Let q = -1.94 - r. Which is smaller: 0.2 or q?
q
Let d = -61 - -42. Are -20 and d nonequal?
True
Let a be 2/(-7) - (-13)/364. Which is greater: a or -57?
a
Let c = -7 - -7. Is c bigger than 0?
False
Let a = 128.1 + -128. Which is smaller: 45 or a?
a
Let y = -0.4 - -8.4. Let u = -7 + y. Is 0.02 at least u?
False
Suppose -8*r + 3*r + 21 = 4*t, 4*t - 19 = -3*r. Is 46 <= r?
False
Let o = -4 - -8. Suppose 16 = 5*f - o. Suppose -r + 4*u - 16 = 8*u, 5*r - u = f. Do r and 1/2 have the same value?
False
Let g be (1*-1)/(4/68). Let l be g/5 + (-4)/(-10). Which is bigger: l or -2?
-2
Let z = 0.9 - -3.1. Let q = z - 4.1. Suppose 2*f + 4 + 4 = 0. Is q smaller than f?
False
Suppose -m - 4*r = m - 64, 0 = -2*r + 4. Is 27 < m?
True
Let h = -0.047 - 0.953. Is h at most 149?
True
Let n = 1.9 + -1.9. Which is smaller: -0.5 or n?
-0.5
Let t = -1.5 - -5.4. Let i = -4 + t. Let w = i - 0.1. Which is smaller: 1 or w?
w
Let l = 17 - 7. Let b = l - 10. Is -2/27 at most b?
True
Let u be ((-3)/4)/(1/4). Let a be u/2 - (-1)/2. Let v be ((-24)/(-28))/((-54)/(-28)). Is a != v?
True
Let i be ((1 - 2) + 7)/43. Which is bigger: 0 or i?
i
Suppose r - 4*r - 111 = 0. Do -38 and r have different values?
True
Let k = -5 + -1. Is 1/2 not equal to k?
True
Suppose 5*r - 4*g + 14 = 0, -2*r + 1 - 7 = -2*g. Let j(d) = d**3 + 8*d**2 + 7*d - 2. Let i be j(-7). Is r smaller than i?
False
Suppose 5*z + 3*v = 6, -3*v = -5*z + 4 - 10. Which is greater: z or 1?
1
Let t be -10*(20/(-5))/(-20). Let w = -24/23 + -18/115. Is w less than t?
False
Suppose 2*r - 25 = -3*i, r + 2 = -4*i + 7. Suppose 3*j + 4*d = -r, -4*d - 1 + 8 = -5*j. Is -2 bigger than j?
True
Let m(o) = -o**2 + o - 4. Let k be m(0). Let h be 6 + -5 + 0 + k. Which is greater: h or -6?
h
Let n = 14.1 + -14. Is n at most as big as 1/10?
True
Let b = -6 + 6.3. Let q = 0.9 + -0.7. Let h = b - q. Which is greater: 2/7 or h?
2/7
Let n = -103183/247005 + -2/4491. Let d = 3/5 + n. Let a = 17/3 + -6. Which is smaller: a or d?
a
Suppose -n - 9 = -h, h + 30 = 3*h + 2*n. Let l be (-2)/8 - 1257/h. Let m be 2 + 5/(l/48). Which is greater: -0.1 or m?
-0.1
Let j be (-474)/(-66) + 2/(-11). Let z = j - 5. Is z equal to 4?
False
Let f = 3.3 - 2.3. Let z = 4 + -3. Does z = f?
True
Suppose -2*j - 16 = 2. Let l be 1*(2 + 21/j). Which is smaller: l or 0?
l
Let a = 119/3 + -39. Let b be (7/(-21))/(2/(-42)). Is b not equal to a?
True
Let s = 19 + -14. Let z = s - 3. Which is greater: z or 0?
z
Let r be 5/30*(-22)/(-8). Let c = 1/8 - r. Which is greater: -1/4 or c?
-1/4
Let u be (-23)/10 + (-10)/50. Which is smaller: u or -2?
u
Let n(t) = -13*t - 14. Let p(q) = -6*q - 7. Let w(s) = -4*n(s) + 9*p(s). Let u be w(-5). Suppose 3*j + k = -2, 5*j - 2*k + 4*k + u = 0. Are 1/6 and j nonequal?
True
Let g = 3 - 0. Are g and 0 equal?
False
Let l = 3.6 - 0.6. Which is bigger: -7 or l?
l
Let k = -0.01 - -4.01. Let j = k + -4. Is -5 less than or equal to j?
True
Let q be (16/10)/((-8)/(-20)). Suppose q*i + 1 = 3*v, 0*v + 9 = 3*v. Which is smaller: 1 or i?
1
Let q(l) be the second derivative of l**4/12 + 2*l**3/3 + 3*l**2/2 + l. Let z be q(-3). Let y(i) = i + 2. Let s be y(-1). Which is bigger: z or s?
s
Let y = 8.15 - 0.15. Let t = -10 + y. Is -1