
Suppose 3 = 3*i + 24. Suppose 2*k - 1 = -3. Let w be (k - 1) + (-7 - -2). Is i less than w?
False
Suppose -2*y + 3*y - 3*m = 8, -2*m = 8. Suppose 0 = -4*o - 6 - 2. Are y and o unequal?
True
Suppose -4*v + 2*v = -2. Let g be 2 - 628/70 - -2. Let o = g + 32/7. Do v and o have different values?
True
Let m = 2 - 3. Let a be (3 - (-2402)/(-20))*-2. Let j = -235 + a. Is j smaller than m?
False
Suppose 5*t - 4*d = -0*t + 89, 4*d = t - 21. Do 16 and t have the same value?
False
Let i be (-3 + 1/1)*-2. Suppose 3*r - 20 = -4*y, -3*y - r = 4 - 24. Let q = y + -4. Is q <= i?
True
Let z be ((-3)/15*1)/1. Which is bigger: z or -1?
z
Let p(a) = a**2 + 3*a - 1. Let n be p(-3). Let c = n - 0. Let z be c - 2/((-8)/(-3)). Do z and 0.1 have the same value?
False
Let j = -991 + 42615/43. Which is greater: j or 0?
j
Let a = 356 - 252. Are 105 and a non-equal?
True
Suppose 0 = -3*c - 107 + 485. Which is smaller: 127 or c?
c
Let k(q) = -q**3 + 5*q**2 + 2*q + 4. Let n be k(6). Let m = n + 20. Are m and 6/5 equal?
False
Let z = 137.3 - 137. Which is smaller: -6 or z?
-6
Suppose -4*r + 9*r + 20 = 0. Is -3 greater than r?
True
Suppose 2*k - 6 = 2*r, 4*k - 10 = 2*r + 4. Let m be 1 - k - 39/(-9). Suppose 3*c + 1 + 4 = t, 2*t - 10 = -5*c. Is m greater than or equal to c?
True
Let q = -84/377 + 89769/1885. Suppose 2*z + 69 = -25. Let h = q + z. Which is bigger: -1 or h?
h
Suppose 4*n + 5*o - 7 = 0, 6*n - 2*n = o + 13. Suppose 2*v - 3*v + i + 5 = 0, 0 = -n*v - 2*i. Is 2 < v?
False
Let r be 5/20 + (-6)/(-8). Suppose -2*c + 0*c - 8 = 2*j, -2*c + j + 7 = 0. Let s = c + -1. Which is smaller: r or s?
s
Let k(m) = -m**2 - 3*m - 4. Let u be k(-2). Are 3 and u nonequal?
True
Let g = -8 + 49/6. Is g <= 2/11?
True
Let u be ((-12)/10)/(9/(-30)). Is 1/3 equal to u?
False
Suppose 0 = 8*d + 144 - 568. Is d greater than 52?
True
Let y = 1.24 + -0.24. Is -29 < y?
True
Let h be (-4)/14*57/51. Let u = 3/17 + h. Suppose 0 = 4*l - 2*d + 4, 4*l - 5*d = -4. Which is smaller: u or l?
l
Let i = 0.02 - 2.02. Let s = 0.11 + -0.11. Let v = i - s. Are v and 1/2 equal?
False
Let y = -69 + 73. Suppose -6 - 6 = -4*r. Which is bigger: y or r?
y
Let t = -1.81 + 1.8. Let r be 0 + -1 - (1 + -1). Which is greater: t or r?
t
Let m = -2.9 - -3. Let i = 8.7 + -9. Let p = i + m. Which is bigger: 1 or p?
1
Suppose 4*x - 244 = 3*n, -n = -0*n + 3*x + 103. Let v be (n/20 - -4)/8. Which is smaller: 1 or v?
v
Let f be (-4)/(2 + (-36)/21). Which is greater: f or 3?
3
Suppose -5*c = -2*p - 13, 5*p = 5*c - 4 - 6. Which is smaller: -1/3 or c?
-1/3
Suppose 2*y = -8 + 4. Is y not equal to -41?
True
Let c = -19 + 19.07. Let s = c - -0.23. Is s at most 0.3?
True
Let i = 10 + -20. Is i < -8?
True
Let x = -11/6 - -19/12. Let m(h) = -11*h - 2*h**2 + h**2 + 6*h - 1. Let q be m(-5). Which is bigger: q or x?
x
Suppose 0 = -b - 25 - 25. Let t be 20/b + 3/(-5). Is t smaller than 1/4?
True
Suppose -5*w - 3*c = 3, -6 + 2 = -c. Suppose -4*a = 5*n - 28, 2*n - 16 = -0*a - 4*a. Suppose -6 = 3*s + 5*b + 6, a*s = b - 8. Which is bigger: w or s?
w
Let p be (-24)/(-21) + 2/(-14). Is p less than -1/57?
False
Suppose -73 - 62 = -5*w. Is 25 at least as big as w?
False
Suppose 0 = -0*w - 4*w - 4. Let x(t) = -3*t - 1. Let y be x(w). Is 3 > y?
True
Let g(w) = -w**3 - 5*w**2 - 5*w - 3. Let m be g(-3). Let z be m/21 - (-5)/(-7). Is -1/7 <= z?
False
Let c = 3.1 + -6. Let d = 1.1 - c. Let u = d + -7. Which is smaller: -1/3 or u?
u
Let m be (-2 + 9)*(1 - 0). Let w = 9 - m. Do w and 2 have the same value?
True
Let a = -51 - -51.1. Let m = -4.9 - 0.1. Which is bigger: a or m?
a
Let h be (9/39)/(8/(-8)). Let x = -5 - -6. Which is smaller: h or x?
h
Let w = 39 - 88. Is -48 at least as big as w?
True
Suppose 3*i = -i. Suppose i = 4*u + u. Let m be 1 + -3*1/5. Do m and u have the same value?
False
Let x(k) = -2*k**3 + 7*k**2 + 3*k + 3. Let w be x(4). Are w and -2/5 non-equal?
True
Let u(n) = -3*n**3 + n. Let m be u(1). Let v be 2/(-20)*(-25)/(-2). Which is smaller: m or v?
m
Let n be (24 - 23)/(1/9). Do n and 12 have the same value?
False
Suppose 2*u + 2*y = 4, -5*u + y = -4*u + 6. Suppose -h - 5*m = 11, -h + 3*m + 9 = -4*h. Is h >= u?
True
Suppose -2*i + 4 = 2*g, 3*g + g - 2 = 2*i. Which is greater: i or -1?
i
Suppose 2*r + 4*u + 70 = -3*r, u + 25 = -2*r. Let k = r + 49/5. Suppose 5 = -3*j + 2. Which is smaller: k or j?
j
Let b(z) = -z**3 + z**2 - z + 7. Let p be b(0). Let n = -1 + p. Let v be (-10)/15 + (-40)/(-6). Are v and n non-equal?
False
Suppose -6*o + 10*o = 76. Is 19 at most as big as o?
True
Let s = 72 + -70. Is -15 at most as big as s?
True
Let f(r) = -r**3 + 7*r**2 + 23*r + 12. Let t be f(9). Which is greater: t or 55?
t
Let a = -0.2 + 0.5. Let q = 0.238 + -0.038. Which is greater: q or a?
a
Let l = -5 + 17. Let m(r) = r - 9. Let w be m(l). Is 3 at least w?
True
Let z = -48 + 193/4. Suppose 5*v + 3 - 18 = -2*o, -v + 5*o + 3 = 0. Let m be (-4)/v*1/4. Is m smaller than z?
True
Let b be (6/9)/((-3)/((-99)/(-7))). Are b and -2 equal?
False
Suppose 0*c - 2*c + 6 = 0. Let u be 2/5 + (-11)/(-10). Which is smaller: c or u?
u
Let n be (132/(-28))/1 - -5. Is n > -40?
True
Let n(c) = -c**2 + 5. Let u be n(-2). Which is smaller: u or 1/6?
1/6
Let g be 154/108 - 3/2. Which is smaller: g or 0?
g
Let m(n) = -n**3 - 10*n**2 - 18*n - 10. Let t be m(-7). Is -31 smaller than t?
False
Let i be (0 + 3/2)*24. Which is smaller: 37 or i?
i
Let x(z) = -z**2 - 7*z + 18. Let d be x(-9). Let a be 1/(-1) - (-1 + 2). Let g be (-1)/a - 3/4. Which is smaller: g or d?
g
Suppose -3*w + 4*o + 28 = 0, 2*w + 5*o + 32 = 5*w. Do w and 3 have the same value?
False
Let j be 1 + -19 + -1 + -1 + 1. Is j at least -20?
True
Suppose -2*g = 2*g. Suppose -4*o = -3*t + 25, -5*o + 2*t = -o + 22. Let b(v) = v**3 + 5*v**2 + 3*v - 5. Let h be b(o). Is h less than g?
True
Let u = 12/19 - 17/57. Let w be (-5)/10 + 6/8. Which is smaller: w or u?
w
Let k = -59 + 59.1. Suppose 4*v - t + 5 = 3, -v + 4 = 2*t. Let z be (v + -1)/(2 + 0). Which is greater: z or k?
k
Suppose -g - 2*g + 26 = -5*a, -5*g + 3*a = -22. Suppose 3*o - 12 = g*j + 8, o - 4*j - 20 = 0. Suppose o*f = 4*d + 8, -4 = -4*d - 0. Is 3 bigger than f?
False
Let d = -1.12 - -0.12. Is 1 at most as big as d?
False
Let f = -1 - -1. Suppose 0 = 2*r + 2*r. Suppose r = -5*v - f*v - 5. Which is bigger: 2/5 or v?
2/5
Let q be ((-15)/(-5))/(6/20). Let p = -8 + q. Let m = 7/2 - 2. Are m and p equal?
False
Suppose -2*o + 2 = -2. Suppose -o*f - f = 9. Are -5 and f unequal?
True
Let z = -0.3 + 0.3. Let d = z - -3. Let x = d + -4. Do -2 and x have the same value?
False
Let w be 2/6 - (-4)/(-3). Let a = -2/149 + -439/596. Which is smaller: w or a?
w
Let t(q) = 4*q + 3*q**2 + q**2 + 7 + 0*q - q**3 - q. Let d be t(5). Let v(l) = -2*l**2. Let h be v(1). Is h bigger than d?
True
Let l = 4.1 - 5. Let r = 0.9 + l. Is 0.1 less than or equal to r?
False
Let k = -12 + 12. Suppose -m + 2 = -k. Are m and 1 nonequal?
True
Let o = -20/21 + 9/7. Let p = -2.01 - -0.01. Which is greater: o or p?
o
Let f(x) = 3*x**2 + 2*x - 2. Let u be f(-2). Let m(r) = 3*r - 9. Let c be m(u). Suppose 2*p + 7 = -k, k - 3*p + p - c = 0. Which is bigger: 0 or k?
k
Let g(u) = u + 12. Let m be g(-6). Let y be ((-10)/18)/(2/m). Do -3 and y have the same value?
False
Let j be (-6)/(-27) + 10/9. Suppose 4*p = -2*r + 16, 0 = -2*r - 2*r + 16. Does p = j?
False
Suppose 3*f - 30 = -6. Which is smaller: 7 or f?
7
Let h = -19 - -22. Which is smaller: h or -0.1?
-0.1
Let x = -0.9 - 2.1. Is x < -1?
True
Let n(h) = -h**2 - 22. Let u be n(0). Let k = u + 50. Let r be (-62)/168 - (-8)/k. Which is bigger: 1 or r?
1
Let n = -54 + 37. Which is smaller: 0.1 or n?
n
Let u be (-60)/155*(-4)/(-6). Let m = u + -100/93. Do m and 0 have the same value?
False
Let m be (-1)/(-5) + (-8)/(-10). Let x = -0.11 + 0.01. Which is bigger: m or x?
m
Suppose 5*l - 5 = 0, m + 4*l = 89 + 75. Suppose -5*j + m = -j. Let t be (-48)/j*(-2)/4. Which is bigger: t or 1?
1
Let j = 6 + -4. Let i be 1*(-2 + (-28)/(-12)). Which is smaller: i or j?
i
Let j be (1 + 0)/(2/(-14)). Let u be (j/14)/(2*-1). Which is bigger: -0.4 or u?
u
Let p be 3 + -4 + 1 - -12. Let z be (12/(-16))/(p/(-2)). Are z and 1 non-equal?
True
Suppose 447 - 123 = -9*t. Is 0 > t?
True
Suppose 5*c = -5*s + 3*c + 82, -2*s - c = -32. Let d = 14 - s. Which is bigger: 2 or d?
2
S