s -3/7 > q?
False
Suppose 2*y - 4*x + 10 = 0, 4*x = -0*y + y + 7. Let z be 2/(-2 + y + 3). Is 0 at most z?
False
Let n be (-3)/(-1)*(-4)/(-6). Suppose 3*c - 2 = l, -c + 4*l - n - 1 = 0. Which is smaller: 2 or c?
c
Suppose 7*w = 3*w. Which is smaller: w or 3/11?
w
Let g be (4/(-24))/(((-9)/(-20))/9). Which is bigger: g or -5?
g
Let f(x) = -x**3 + 4*x**2 - 2. Let n be f(4). Which is smaller: n or -9/7?
n
Suppose 0 = -4*v + 8*v - 32. Let t be 2/8 - (-30)/v. Which is greater: t or 2?
t
Let i(k) = 13*k - 1. Let o be i(-3). Let c be ((-1)/2)/(4/o). Let r = -31 - -36. Is c not equal to r?
False
Let c = -6.02 + 0.02. Let h = -1 - c. Which is greater: h or -0.1?
h
Let p(m) = -m**3 - 2*m**2 + 3*m - 3. Let k be p(-3). Let v(j) = 3*j + 4. Let r be v(k). Let h = -10.9 - -11. Which is smaller: r or h?
r
Suppose 0 = -4*y + 20 + 4. Let a = 5 - y. Is a > -2?
True
Let b be ((2/28)/(-1))/(11/44). Which is smaller: 3/16 or b?
b
Suppose -5*p - 90 = -65. Suppose 3 = -0*d - d. Is p >= d?
False
Suppose -p + 2*p = -1. Let b = p - -5. Suppose -3*f + 1 = -11. Is b > f?
False
Let v = -105 - -733/7. Let y = 2 - 1.8. Let h = y + -0.3. Which is greater: v or h?
h
Let v(l) = 2*l**2 + 14*l + 3. Let s be v(-7). Do 5 and s have different values?
True
Let s be 12/(-66) + 18/(-22). Is 1 equal to s?
False
Let f = 1 - -7. Let g = 7 - f. Does g = 1/12?
False
Let b = -1028.9 + 1072. Let g = -45 + b. Let j = -2 - g. Is -1 less than j?
True
Let a = 18 + -18. Which is smaller: 7/8 or a?
a
Let w = 302 + -3924/13. Let r = 67.2 + -68.2. Is r at most w?
True
Suppose 0 = 287*a - 289*a - 14. Let p be (7/2)/((-1)/2). Let r = a - p. Is r less than 0?
False
Let c = -39 + 32. Which is bigger: -5 or c?
-5
Let s be (-2)/7 - 610/(-175). Let o = 59/20 - s. Is -1/4 > o?
False
Suppose -4*z + 6*z + 4 = 0. Let l be ((-1)/z)/(2/(-16)). Does -3 = l?
False
Suppose -13 - 2 = -5*a. Let v be (-4)/12 + 20/6. Is a less than or equal to v?
True
Suppose -1 = -4*y - a, 3*a - 11 + 1 = -5*y. Let h be 150/(-66) - 4/(-2). Which is bigger: h or y?
h
Suppose -114 = o + 4*t, 0 = -3*o + o + 2*t - 228. Let q be 10/55 + o/22. Which is bigger: -4 or q?
-4
Suppose 14 = -4*n - 3*n. Suppose 3*q = -3*o, -5*o - 2 = 4*q + 2. Which is bigger: o or n?
n
Let c(l) be the first derivative of -l**4/4 - 10*l**3/3 + 11*l**2/2 - 3*l - 1. Let a be c(-11). Which is bigger: a or -1?
-1
Let k = -13 + 14. Which is greater: 4 or k?
4
Let o = 3.5 - 3.5. Are o and 0 unequal?
False
Suppose 3*c = 25 + 29. Which is bigger: c or 17?
c
Let i = -98 + 692/7. Let v(x) = -3 - x - 3 + 3. Let r be v(-5). Is r greater than i?
True
Let j = -4/47 - 66/329. Is 0.2 bigger than j?
True
Suppose 2*a = 3*a - 6. Let q = 4 - a. Let d be (-4)/(q - (2 + -2)). Is d smaller than 0?
False
Let z = 3/31 + -99/62. Let i(n) = n**2 - 5*n - 2. Let s(j) = j**2 - 9*j - 3. Let r(x) = -5*i(x) + 3*s(x). Let d be r(-2). Is z smaller than d?
False
Let m(a) = -9*a - 1. Let v be m(1). Is v at most as big as -9?
True
Suppose -g - g = -14. Let k = -3 + g. Let t be (k/42)/(9/21). Is -1 >= t?
False
Let a be (-6)/(-2 + 4) - -1. Let o be 3 + a - (2 + 1). Let q be o/((0 + -21)/(-3)). Is 0 less than q?
False
Let f = 3 - -3. Let h be ((-2)/f)/((-4)/(-12)). Suppose -3*w + 12 = z, 20 = 4*z + 3*w + 2*w. Are z and h equal?
False
Suppose -10 - 26 = 3*n. Let z be 4/n + (-3)/(-9). Is z less than -1/15?
False
Let n be 65/(-15)*3 + 0. Do n and -10 have the same value?
False
Suppose 73 + 41 = -3*r. Which is greater: -37 or r?
-37
Let u = 1 + -0.5. Let q = 0.5 - u. Let y = -6.7 - -7. Which is greater: q or y?
y
Let h = 380 - 783/2. Suppose -1 = b - 2*s, 3*b = -4*s + 3*s - 38. Let o = h - b. Which is greater: 0 or o?
0
Suppose -5*p + 5*q = 185, -p - 3*p + 3*q - 153 = 0. Is -41 bigger than p?
True
Let y = -3 - -16. Let f = -8 + y. Let w = 4 - f. Is w equal to -1?
True
Let i(g) = g**2 - 3*g - 10. Let k be i(6). Do 8 and k have different values?
False
Let t = 1.2 + -1.1. Do t and -6 have the same value?
False
Suppose 3*g - 2*g + 3*s - 6 = 0, 0 = 2*g - 4*s - 2. Suppose 0 = -0*j + g*j. Do j and -1 have the same value?
False
Let d be 4/(-10) - (-7)/5. Let a = -10617/37 - -287. Is d less than or equal to a?
False
Let i be (1 + 1)/(4/(-2)). Which is greater: i or -1/4?
-1/4
Let s(t) = -5*t. Suppose -3*q = -2*z - 3 - 1, q - 7 = -5*z. Let c be s(z). Let v = -5 - c. Do -1/7 and v have the same value?
False
Let i = -0.2 + -0.8. Let r = 2 + i. Let y = 4.8 - 4.9. Is r bigger than y?
True
Let x be (-136)/(-20) + -3 - 3/(-15). Let v(m) = 5*m. Let d be v(1). Are d and x unequal?
True
Let r be 50*1/4 + (-2)/(-4). Which is greater: r or 12?
r
Let x be (6/(-36))/((-1)/(-4)). Is -2/15 > x?
True
Suppose -5 = -5*r - 5*v, -2*r = v - 2 - 0. Is r < 1/2?
False
Suppose s - k - 2 = -1, 3*k - 5 = -s. Which is greater: s or 4?
4
Let m(v) = -2*v**3 - 5*v + 7. Let t be m(2). Which is bigger: -20 or t?
t
Suppose -3*c = -5*c + 2*n + 8, -2*n - 7 = -3*c. Do c and 2/147 have different values?
True
Suppose 0 = 5*w - g + 56, -3 = -4*g + 1. Let d = w - -10. Let v = 157/4 + -40. Which is smaller: v or d?
d
Suppose 0 = 4*y - 15 + 7. Suppose 6 - 2 = y*j. Which is greater: j or 0.1?
j
Let m = 5 - 7. Let z be (1/m)/(1/(-8)). Which is bigger: 5 or z?
5
Suppose 0*g - 5*g - 20 = 0. Suppose -3*o - 11 + 17 = 0. Suppose 4*b = 2*c - 20, 2*b - o*c - 4 = 6*b. Which is smaller: g or b?
g
Let c be ((3 - 2) + 15/(-3))/(-14). Let f be (1 + (-1 - -1))*-1. Which is smaller: c or f?
f
Let o be 5/5*(4 - 3). Is o <= 1?
True
Suppose 4 = 4*z - 5*x, z + 5*x - 2 = -1. Which is greater: 16/9 or z?
16/9
Let z be (-2)/((1 + 94/(-2))*-1). Which is smaller: z or 2?
z
Let t = 26 - 14. Suppose r = 5*r - t. Let m be ((-1)/r)/((-10)/6). Which is greater: m or 0?
m
Suppose 4*c = 3*r + 35, 3*c + 3*r = -2*r - 10. Suppose -16 - 4 = -c*d, 4*d - 22 = -2*n. Are n and 3/2 unequal?
True
Let s(d) = -d**2 - 8*d - 3. Let z be s(-7). Which is greater: 5 or z?
5
Let k = 2 - 1. Let u be (-2)/(-7)*1 - (-24)/(-42). Which is smaller: u or k?
u
Let v = -63 - -50. Is v > -12?
False
Let x = 23/10 + -9/5. Is x equal to -1.2?
False
Let i(g) = g**2 + 3*g - 7. Let o be i(-5). Let w = 6 - o. Suppose -11 = 5*r + 3*n, 0*n - 3*n = w*r + 9. Is 0 equal to r?
False
Let b(z) = -19*z - 3. Let m be b(-2). Let o = -26 + m. Which is smaller: 10 or o?
o
Suppose -4*b - 16 = 2*o, -2*b + 2*o - 8 = 6*o. Let f = b + 1. Suppose -3 = 4*v + 5. Which is bigger: f or v?
v
Let x = -12 + 12. Let j = 2 - 1. Is j > x?
True
Let z be 3*(-3)/(-9)*15. Let x be 6/(-12) + z/18. Which is greater: -0.1 or x?
x
Let j(x) = x**3 - 7*x**2 - x + 7. Let m be j(7). Let c be (47/15 - 3)/((-8)/12). Is m bigger than c?
True
Let n = 12.3 + -12. Let h = 3 - 3.1. Let m = h + n. Which is smaller: m or -0.1?
-0.1
Suppose 4*r + 6 - 2 = 0. Let o = -11 + 11.8. Let d = 0.2 - o. Is r less than or equal to d?
True
Let d = 0.53 - 0.63. Which is bigger: 9 or d?
9
Let c be (-5)/2*(-8)/10. Suppose -c*d + 2 = -14. Let q be (d/10)/(2/(-5)). Are q and -2 non-equal?
False
Suppose -13 = -5*p + 12. Is -2 less than p?
True
Let m = -0.2 - -0.2. Let s = 22/27 + -4/27. Which is smaller: m or s?
m
Suppose -1 = w - 3*u, 5*w = 2*w + 3*u - 3. Suppose 3 = -4*g + 7*g. Let a be 60/(-55) - g*-1. Which is smaller: w or a?
w
Let h = -33/58 + 2/29. Is h not equal to 7?
True
Suppose 2*m = 5*z - 18, 3*z - 39 = 5*m - 13. Let w be ((0 + -1)*z)/2. Are w and 1 unequal?
True
Let p(l) = 27*l + 5. Let j be p(-1). Is j >= -23?
True
Suppose -3*r + 2 = -5*r. Let i(l) = -l**3 - 3*l**2 + 2*l + 4. Let h be i(-3). Which is greater: r or h?
r
Suppose 15*x + 164 = -256. Is -27 at least as big as x?
True
Let v = -1 + 1. Suppose 2*t - 6*t = -4*f, 5*f - 2*t = 3. Suppose 0 = z - 2*k + 10 + f, 3*z + 4*k - 17 = 0. Which is smaller: z or v?
z
Let x be (-10)/6 - (-17 - -15). Suppose 3*y + 5*f = -8, 3 + 24 = -2*y + f. Are y and x equal?
False
Suppose 0 = -x + 4*x - 3. Let s = 1923 + -163453/85. Is s less than or equal to x?
True
Let c(v) be the third derivative of v**5/60 + v**4/6 + v**3/3 + 2*v**2. Let r be c(-2). Let h = -6 + 5. Is r > h?
False
Let r = -10.1 - -11. Let o = r - -0.1. Is 0.1 <= o?
True
Suppose -2*a = 0, -4*a - 9 = 4*w + 15. Which is smaller: -32/5 or w?
-32/5
Let r = -123 + 209. Let v be (-6)/(-18) - 38/6. Let h be v/27 - r/(-144). Is h less than or equal to -1?
False
Let p(l) = -l + 9. Let f b