maller: y or -1?
y
Let v = -413 + 269688/653. Which is smaller: -0.1 or v?
-0.1
Let i = 0.425 - -5.575. Is -21 bigger than i?
False
Let r be (-6)/(-9)*-1*66/(-44). Do r and -241 have the same value?
False
Let x = 353/2 - 171. Suppose 0 = -4*v - 4*i + i - 21, 0 = -4*v - i - 31. Let y be (0 + 6/v)*-9. Is y greater than x?
True
Suppose 4*a - 3*a = -156. Let y = 120 + a. Do -37 and y have the same value?
False
Let c = -97 - -81.2. Let s = c - -16. Is -8 not equal to s?
True
Let t be (-7)/(-28) + 75/(-12). Let z be 21/(-35) + t/(-10). Is z >= 1/3?
False
Let y = -28 - -29. Let c be y/6*8/(-46). Is c not equal to 0?
True
Let s(f) = 9*f - 53. Let c be s(6). Which is bigger: 1/226 or c?
c
Let l be ((-9)/(-1))/9 - (1 - 1). Which is bigger: 1/390 or l?
l
Let g be (-949)/(-780) - -4*2/(-10). Let q = g - -1/4. Suppose 3*v - 4*a - 2 = 0, -4*v + 3*a = v + 4. Is q equal to v?
False
Let g = -334/3 - -665/6. Is g > -90?
True
Let t = 20/3 - 7. Let u(s) = -20*s + 391. Let x be u(19). Is t < x?
True
Let n = 552 - 553. Which is smaller: n or 1/28?
n
Let m be 2/(-10) - 2/(-10). Let h be (2/28)/(318/(-371)). Is h greater than m?
False
Let k = 71198064 + -4057806274/57. Let o = k + -8480. Let n = 3/38 - o. Is 0 != n?
True
Suppose 2*g + l = 3*g - 62, 3*g + 3*l - 198 = 0. Suppose 46*m + g = 42*m. Is m < -13?
True
Let c = 0.269 - -0.141. Let w = 0.59 + c. Does -0.33 = w?
False
Let o = -28 + 37. Let k = o + -6. Is k >= 0.5?
True
Suppose 25*g + 48 = -127. Is g at most -86/15?
True
Let h = 15.3 - 23.1. Which is bigger: -1/4 or h?
-1/4
Let y be 1/4 - (-1170)/(-8). Is -151 > y?
False
Let x = -25.57 + 76.57. Do 0.1 and x have the same value?
False
Suppose -2*k - 618 = 2*r, -2*r = -3*k - 605 - 307. Let w be (-16)/((51/(-975))/1). Let i = k + w. Which is smaller: i or 0?
i
Let k = 2/15 - 88/885. Let b be (-144)/(-2)*140/20. Suppose -500*w + b*w = 0. Which is smaller: w or k?
w
Let p = -0.373 - -0.673. Is 68 at most as big as p?
False
Let k = -50 - -95. Let b = k + -47. Do b and -2 have different values?
False
Let z = -489 - -439. Which is smaller: -48 or z?
z
Let n = -193 + 218. Let q = -2.09 - -0.09. Which is bigger: q or n?
n
Let a(w) = 2*w**2 + 6*w + 19. Let d be a(-6). Is d at least as big as 54?
True
Let h be 6/(-20)*4/(-3). Let i = 0.8 + -0.2. Let r = i + -0.3. Is h > r?
True
Let n be (3 - 11)*(-2)/14. Let i = 222 + -223. Are i and n non-equal?
True
Suppose -n = 3, -4*b - 2*n + 8 = -6. Let q be ((-6)/(-30))/((-3)/b). Let l = -0.27 + -3.73. Which is greater: l or q?
q
Let a = -244/11 - -3249/143. Let o be 628/234 + 27/(-9). Let x = a + o. Is 0 greater than or equal to x?
False
Let j = -23 + 6. Let r = j + 12. Let x = 6 + r. Do x and -2/17 have the same value?
False
Let b = 648 - 384. Let u be b/(-1071) + 4/14. Which is smaller: -1 or u?
-1
Let c(w) = w**2 + 8*w - 2. Let j(y) = 5*y**2 + 33*y - 8. Let f(z) = 9*c(z) - 2*j(z). Let h be f(4). Are 6 and h nonequal?
False
Let t be (5/2)/((-4)/(-8)). Suppose 2*a - 5 = t. Suppose -10 = a*r - 0*r. Which is smaller: r or -3/2?
r
Let v be ((-1158)/(-30))/(1 - (-12)/(-15)). Which is smaller: 191 or v?
191
Let a be (-9)/27 + (-1994)/(-6). Let q = -20250/61 + a. Which is smaller: -1 or q?
-1
Let p = -25.64 + 25. Let v = -0.06 + p. Let k = 0.8 + v. Are k and -2 nonequal?
True
Let j(s) = 2*s - 8. Let b be j(8). Let q = -17 - -25. Let k = b - q. Which is smaller: -1/27 or k?
-1/27
Let j = 2 - -3. Suppose -j = 2*l - 7*l. Let s be 1 - l - (-21)/3. Is 8 at most as big as s?
False
Let s be (-16)/(-56)*(-4)/496*2. Which is smaller: s or -1?
-1
Let o = -1549 - -1549.757. Let t = o + 0.043. Which is smaller: 1 or t?
t
Suppose -25 = -u - 0*c - 5*c, -41 = -5*u + 3*c. Let p be 3 - (u/4 - 0). Let m = -487 + 487. Which is smaller: m or p?
m
Suppose -7*i + 3*i = 0. Suppose 0 = -5*c - i*l + 3*l + 42, 4*c - 44 = 5*l. Which is smaller: c or 4?
4
Let q(a) = 2*a - 1. Let t be q(3). Suppose 0 = 47*g - 40*g - 56. Suppose 3*r - g = -t. Is -1/10 less than or equal to r?
True
Let y = -10.91 + -0.09. Let b = -155.1 + 152.1. Which is bigger: y or b?
b
Let i be 4/(-10) - 42/(-30). Let b = 14 + -16. Let s be 6/b - 24/(-7). Is i <= s?
False
Let b be (-118)/(-70) + (-15)/10. Let s = b - -3/14. Suppose -4*f + 3 = -f. Which is smaller: f or s?
s
Let g = 1985191/9 + -220095. Let t(n) = 8*n**2 - 6*n + 17. Let a be t(8). Let f = g - a. Which is smaller: 2 or f?
f
Let l = 1.3 - 25.3. Let v = 28 + l. Let q = v - 9. Which is bigger: q or 0?
0
Suppose -7 = -2*q - 15. Let l be 1 + (-210)/q - 3. Let d = l - 2325/46. Are d and 0 unequal?
True
Suppose -15*c = -5*c - 1990. Let h be c/45 - (-42)/(-189). Is 3 greater than h?
False
Let g = -14 - -20. Let o be 25/(-4) + g/24. Let a be (-2)/((-2)/o*-2). Is a >= 5?
False
Suppose -a + 4 + 0 = 0, 4*f + 3*a + 40 = 0. Suppose 0 = -11*l - 141 + 9. Which is greater: f or l?
l
Let u(g) = -3*g**2 + 17*g + 5. Let l be u(6). Suppose 7 = -5*v - 4*y, -3*y = -5*v + 2*v + 12. Let f be 2 + v*(2 + -5). Is f != l?
False
Let u = 168 + -168.067. Let h = u + -18.933. Which is greater: -1 or h?
-1
Let q = 230 + -228. Is q bigger than -32/11?
True
Let v = 176 - 172. Is -1 smaller than v?
True
Let h = 0.0131 - -1.2869. Let w = 5 + -6. Which is greater: w or h?
h
Let m = -32.84 - -34. Let l = m + -0.16. Which is smaller: -6/23 or l?
-6/23
Let b(k) = k**2 + 5*k - 72. Let r be b(-12). Let i = 7 - -6. Do i and r have the same value?
False
Let x = -10 - -20. Suppose x - 2 = -2*j + 5*l, -l - 4 = j. Is j at most 0.2?
True
Let x = 8.0082 - 0.0082. Which is smaller: x or 10?
x
Suppose 3*k = 6*k + q + 226, 5*q - 145 = 2*k. Let d = -77 - k. Is -11/8 smaller than d?
False
Let q(g) = 2*g**3 + 29*g**2 - 10*g - 5. Let d be q(-15). Is -80 > d?
False
Suppose -27*m = -26*m - 6. Suppose 0 = -7*s + m*s + 2. Suppose 4*o + o = s*t + 19, -o + 5*t + 13 = 0. Are 4 and o non-equal?
True
Suppose -3*g + 5*p + 2415 = 0, 4*g = 2*g - 4*p + 1610. Is g less than or equal to 806?
True
Let c be (-7 + 3)/(16/(-12)). Let l = 3 + 3. Is l greater than c?
True
Let z = -0.07 + 0.046. Let n = z + -3.976. Does n = 0.1?
False
Let y = 0.758 + -2.758. Is y at least -2/729?
False
Let h be (-2)/(8*6/388). Let n = -23/3 - h. Let v = n - 31/4. Which is bigger: 0 or v?
v
Let s(t) = 137*t - 145. Let q be s(3). Is q at most 1860/7?
False
Let j(b) = b**2 - 6*b. Let a(n) = 7*n**2 - 3*n + 1. Let g be a(1). Let m be j(g). Is -5 bigger than m?
False
Let j be 36/10 + (-4)/(-10). Suppose j*l + 0*l = 0. Which is smaller: 1/18 or l?
l
Let v(p) = -p - 2. Let y be v(-6). Let c(b) = b**3 + 9*b**2 - 7*b + 10. Let r be c(-8). Let m be (-20)/r + -82*(-2)/52. Which is bigger: y or m?
y
Let l(t) = -t**2 - 7*t + 10. Let v be ((-16)/6)/((-6)/(-18)). Let a be l(v). Suppose 2*k - s + 2*s + 6 = 0, 0 = -5*k - a*s - 17. Is k greater than -5?
False
Suppose 0*v + 22 = 3*v + 2*w, 2*v + 4*w - 20 = 0. Suppose k = -k + v. Suppose 5*z - 12 = k*c, -3*c + 5*z + 4 = -4*c. Which is greater: -6 or c?
c
Let d be 14/91 + (-193)/(-13). Let v be (-124)/(-9) - ((-44)/36 - -1). Which is smaller: v or d?
v
Let x = -6 + 5. Let m = 501 + -1504/3. Is m >= x?
True
Let l = -64 - -105. Which is bigger: l or 43?
43
Let h be 629 - (4 + -6) - (1 + 5). Is h less than 625?
False
Let w = 180 - 103. Let y = -75 + w. Is 2 at least y?
True
Suppose 3*g = 5*v + 25, -v - g - 4*g = -23. Suppose 4*m + 46 - 186 = 0. Let y be (-1)/v - m/98. Is -2/7 at least as big as y?
False
Let a = -808 + 811.1. Which is smaller: 2/3 or a?
2/3
Suppose 379 + 219 = 13*j. Suppose j = 5*s + 4*t - t, 4*t = -5*s + 48. Which is smaller: 10 or s?
s
Let y = 14 + -6. Suppose -b - 4*d - 54 = 0, -4*d = b - y*d + 14. Which is smaller: b or -35?
-35
Let p be (-2 - 0)*5/185. Which is smaller: 1 or p?
p
Let w(n) = n + 19. Let q be w(-13). Suppose -4*r - 5*t = 49, -5*t - 55 = -r + q*r. Which is smaller: r or -8?
-8
Let t = -11/141 + -12/47. Which is smaller: -9.4 or t?
-9.4
Let o = 7 - 4. Let t(r) be the first derivative of 2*r**3/3 - 3*r**2/2 + 2*r + 12. Let q be t(o). Which is smaller: 10 or q?
10
Let c = 132 + -123. Let w be (-32)/(-168)*c/12. Is w <= 0?
False
Suppose -6*s = -26*s - 120. Is 1 less than or equal to s?
False
Suppose t - 2 = -3. Let q(x) = 22*x - 7. Let n be q(21). Let r = 11373/25 - n. Is r > t?
True
Let f = 85/12 - 104951/14820. Which is smaller: 0 or f?
0
Let f = -55 + 99/2. Is 9 at m