r equal to z?
True
Let f be (1 - 2)/((-2)/16). Which is smaller: f or 9?
f
Let t be -44*2/(-4) + 0. Which is smaller: t or 2/5?
2/5
Let i = 8 + -9. Let c be (-4)/10 - 2/(-10). Is i equal to c?
False
Let t = 15 - -12. Which is smaller: t or 26?
26
Let a be (8/20)/((-1)/(-10)). Let u be (-12)/a*1*-1. Suppose 4*i - u*p = p + 16, 3*i + 6 = -3*p. Which is bigger: -1 or i?
i
Let x(a) = -a**3 - 13*a**2 + 15*a + 14. Let p be x(-14). Is 0 less than p?
False
Let x be (-1)/((-14)/6 + 2). Suppose -4*u + x = -1. Let d be 1*2*u/2. Is d <= -2/5?
False
Let o(q) = -3*q**2 + 4*q - 3. Let u be o(2). Which is bigger: -1 or u?
-1
Let n = 0.09 + -5.09. Let c = n + 5.1. Let j = 0.1 + 0. Is j less than c?
False
Let k be 1/16*8*(1 - 1). Let j = -0.18 + 0.2. Is j > k?
True
Let m be 2 + -2 + 0 + 1. Is 1 > m?
False
Let b = -0.25 - 0.05. Let v = 0.5 + b. Are -1/4 and v unequal?
True
Let v = -0.18 - -1.18. Do -3 and v have the same value?
False
Let g = -7 + 3. Let b = g + 5. Let i = 110/3 - 36. Is b greater than or equal to i?
True
Suppose -3*j - 2*j + 5*g = 0, -3*j - 4*g = -14. Suppose 0 = -2*o - 6 - j. Let a(k) = k**3 - 5*k**2 + 2*k + 3. Let x be a(4). Is x smaller than o?
True
Suppose 9*c = 3*c - 6. Which is smaller: 1/7 or c?
c
Suppose 2*c - 18 = -4. Suppose 0 = -2*h + 3*a - c - 0, 4*h = -2*a + 10. Let d = -29/6 - -197/42. Are d and h non-equal?
True
Let x = -56 - -93. Which is smaller: -1 or x?
-1
Let b = 11 + -2. Let m = -9.2 + b. Is m greater than or equal to -4?
True
Suppose 3*q + 1 - 7 = 0. Suppose -j + 6 = q*j. Let f be ((-4)/(-42))/((-24)/(-180)). Which is smaller: f or j?
f
Let d be (-16)/(-14)*-1 + 1. Let n be (2 + -5 - -4)*1/(-1). Which is smaller: d or n?
n
Let b be (-1 - 2) + 9 + -7. Which is smaller: b or -4/27?
b
Let s = -19 + 18.9. Which is bigger: s or 6?
6
Let z = 39044/1969 - 218/11. Let j = z - -340/1611. Let v(y) = y**3 + y**2 - y + 1. Let u be v(0). Is u equal to j?
False
Let z(h) = h + 7. Suppose -y - 23 = 3*o, -3*y + 3 = -3*o - 0. Let j be z(o). Is 2/17 at least j?
False
Let a(x) = x - 4. Let l be a(4). Suppose -5*i - 4*u + 6 = l, 4*u + 11 - 1 = 3*i. Is i at least -2?
True
Let z = -14/5 + 341/120. Which is bigger: z or 0?
z
Suppose k + 0*r - r = 5, -r - 7 = -2*k. Suppose k*d - d = 4. Let s(c) = c**3 - 4*c**2 + c - 3. Let f be s(d). Is 3/8 at most f?
True
Suppose 2*p - 2*l + 16 = 2*l, p - 4*l = -12. Let r be ((-7)/14)/((-10)/p). Are r and 0 nonequal?
True
Suppose 1 = 5*i - 9. Do i and 2 have the same value?
True
Suppose 0 = w + 2*w + 552. Let s = w - -2762/15. Let f be (-3)/(-9)*(2 - 5). Does f = s?
False
Let l be (-104)/(-210) + (-18)/45. Is 0 greater than l?
False
Suppose -5*g - 20 = -2*m - g, -2*g = 3*m - 6. Suppose -m*x = -9*x + 2*j, 0 = -2*x + 4*j. Is x != -1?
True
Let a = -180 - -170. Which is greater: a or 1?
1
Let i be 3*((-26)/6 + 3). Let m be (-2 + (-6)/i)*0. Let h be (-14)/(-44) + (-2)/4. Which is bigger: m or h?
m
Let t be 4/(-20) + 2/10. Let r be (-3)/((-36)/10) - 1. Which is bigger: r or t?
t
Let i be 0 - (1 + 1 + -5). Are i and 5 unequal?
True
Let k be ((3 - 0) + -2)/3. Suppose 2*d = 0, -8 = -2*f + d + d. Suppose 0 = 3*b - f*b + 1. Which is bigger: b or k?
b
Let l(u) = u**2 + 7*u - 17. Let y be l(-9). Is 2/33 < y?
True
Let l(r) = r**2 + r + 4. Suppose 7*n = 3*n. Let c be l(n). Let i be c/11*9/(-6). Is -2 less than or equal to i?
True
Let n(c) = -c - 1. Let v be n(-1). Let i = -107 - -425/4. Which is smaller: i or v?
i
Let k be (3/6)/((-1)/15). Let u = 7 + k. Let n = -0.4 + 2.4. Which is smaller: u or n?
u
Let w = 0 - -7. Suppose 3*s + s - 7 = -j, s + 2*j + w = 0. Are 4 and s non-equal?
True
Let a(l) = -8*l + 58. Let s be a(7). Is s less than 2/3?
False
Let l be (-8)/3*48/(-18). Which is bigger: 8 or l?
8
Let t = -3 - -2. Let i = -19 + 77/4. Which is greater: t or i?
i
Let h = 3/17 + 5/68. Let p = -5 + 6. Let a = p - 1. Which is greater: a or h?
h
Suppose 274 = 4*w - 5*m, -3*w + 3*m + 89 = -115. Let g = w - 332/5. Which is greater: 0 or g?
0
Let t = -13 + 9. Let b be (t/(-6))/(4/5). Let q = b + -7/6. Which is smaller: q or 0?
q
Let b be -33 + 35 - 40/11. Which is bigger: -1 or b?
-1
Let a(l) = -l**2 - 9*l - 8. Let i be a(-8). Let b be 1*(-4 + i - 1). Suppose 3*g + 6 + 3 = 0. Is b greater than g?
False
Let m = -2 + 3. Suppose -m = 2*z - z. Let j = -113/7 - -16. Which is bigger: j or z?
j
Let w = -1.07 + 1.37. Are 0.3 and w non-equal?
False
Let t be (-70)/63*(-4)/5. Which is smaller: 1 or t?
t
Suppose 4*d + 3*a = -51, 5*a = -2*d - 3*d - 60. Let u = d - -13. Is -1 >= u?
True
Let r = -2 + -1. Let y = -2 - r. Which is greater: y or -5?
y
Let q(m) = -m**2 + 5*m - 4. Let f be q(3). Let h be (-3)/9 - 2/(-60). Let c = h + 9/10. Which is smaller: c or f?
c
Suppose 2*t - 96 = -0*t. Let m be 0 + -2*(-789)/(-33). Let j = t + m. Which is bigger: j or 1?
1
Let k(b) = -b**2 - 12*b - 7. Let o be k(-11). Suppose 0 = -4*f - t + 3*t + 14, -o*t - 25 = -5*f. Let x be (1/2*-1)/(-2). Which is smaller: f or x?
x
Let o = -1.1 - -1.1. Let t = -38.1 + 36. Let v = -2 - t. Which is smaller: v or o?
o
Let v(s) = -s**2 + 16*s + 17. Let h be v(17). Which is greater: -2/43 or h?
h
Suppose -2*g - 3*o = 2*o - 18, o + 18 = 5*g. Suppose -10 = 3*k + h + g*h, -5 = -4*k - 3*h. Let d be (16/12)/(1/3). Which is smaller: k or d?
d
Let u be (-1)/(-6) + (-3)/(-54). Let r(n) = -n**2 - 7*n - 6. Let h be r(-6). Which is smaller: u or h?
h
Let x = 2.98 - -0.02. Let m = -1 + x. Let f = 3 - m. Is 0.4 bigger than f?
False
Suppose 4*l - 11 = 5. Suppose l*d - 4 - 20 = 0. Let k be (3/d)/(3/12). Which is smaller: k or 1?
1
Suppose 3*r + x = -4*x + 16, -4 = 3*r + x. Let n = r - -4. Let w be 0 + (2 - 64/30). Is n >= w?
True
Let q(x) = x**3 + 6*x**2 - x - 9. Let y be q(-6). Is y equal to -3?
True
Suppose 0 = -0*r - 2*r + 14. Suppose 0 = 5*g + 4 - 19, r = 4*l - 3*g. Let d be ((-1)/(-3))/(l/12). Which is greater: -2 or d?
d
Let i be ((4/2)/2)/1. Let g be (0/(-2))/(i + 1). Suppose -l = -g*l. Which is bigger: 2/3 or l?
2/3
Suppose -5*v + 11 = -3*w - w, -5*v - w = -16. Suppose -4*o = 20, -2*h = -6*h + v*o + 19. Let d be (4/(-7))/(2 + 0). Is d at least h?
False
Suppose -2*t = -5*t + 9. Suppose -2*d - 27 = t*n, -n + 32 = -6*n + d. Which is smaller: 0.2 or n?
n
Let z = -146 + 66. Do z and -80 have different values?
False
Let n = -1/124 - 29/248. Let t be 3/15 + (-6)/5. Is n less than t?
False
Let q = -5.099 + -0.001. Let u = 5 + q. Let c = u + 0.2. Is -2/7 less than or equal to c?
True
Suppose -4*w - n + 73 = 2*n, 0 = -2*w + 2*n + 40. Let i = w - 18. Does i = -3/13?
False
Let m(p) = p**3 - 10*p**2 + 7*p + 12. Let g be m(9). Which is bigger: g or 1/4?
1/4
Suppose -4*o = -3*o - 2. Let c be -2 - (1 + 1)/o. Let u be c/(-12) - (-3)/4. Which is bigger: u or 2/3?
u
Suppose 4*s + 56 = -3*z, 2*z = s - 7 + 21. Which is bigger: s or -13?
-13
Let w be 2 - 327/135 - (-4)/18. Do w and 22 have the same value?
False
Suppose 6*o = -5*j + 5*o - 22, 3*j - 4*o + 4 = 0. Let v = 9 + j. Suppose u - v*u = 0. Which is smaller: -2/11 or u?
-2/11
Let x(k) = -k**3 - 3*k**2 + 2*k + 2. Let l be x(-3). Is -2 <= l?
False
Suppose -2*r - 4 = 2*t - 6*t, 3*r + 3*t = -6. Suppose 5*m = 8 - 43. Let b = m + 3. Which is greater: b or r?
r
Let l = -0.8 + 0.6. Let b = -0.1 - l. Is -0.1 at most as big as b?
True
Let w = -108 - -42. Let b be (-104)/w + 2/(-3). Are 2 and b equal?
False
Let x(o) = -o**2 + o. Let a be x(1). Let z = -8.6 + 8.4. Which is greater: a or z?
a
Let u = -0.02 - -0.02. Let l = u + -0.1. Let s = 3 - 2. Which is greater: s or l?
s
Let g = 0.03 - -0.97. Let r = 1 - g. Let v = 2 + r. Which is smaller: v or 2/5?
2/5
Let g = 371 - 371. Let s be (1 - 1)/(0 + 2). Are s and g equal?
True
Let v = 13/38 + -647/114. Do v and -4 have the same value?
False
Suppose 0 = -4*y + 5*y - 15*y. Let t = -17 - 95. Let f = -1006/9 - t. Is y less than f?
True
Let d be ((-29)/(-1))/(1/4). Let u = d + 89. Let i = 1843/9 - u. Which is bigger: i or -0.1?
-0.1
Let g = -2/89 + -164/623. Is g at most as big as 0.53?
True
Let l = -68 - -67.955. Which is smaller: 1 or l?
l
Let m = 3 - 2.99. Let j = m + -0.31. Which is smaller: j or 1?
j
Let t be 6/4*2*2450/150. Do t and 50 have the same value?
False
Let l = -2 - -5. Let r = -52/7 + 201/28. Are l and r equal?
False
Suppose 8 = 4*u, -4*m = -3*m + 5*u - 30. Let z = m - 9. Is z bigger than 10?
True
Let f =