i be y(-9). Suppose -i - 5 = -3*f. Let s be (1/1)/(3 + -1). Which is bigger: s or f?
f
Let y(j) = -2*j**3 - 11*j**2 - j + 19. Let f be y(-6). Does 62 = f?
False
Let h be (-8 + 10)*(-12)/(-2). Is -1 at most h?
True
Suppose v - 4*v - z + 44 = 0, 0 = -5*z - 5. Which is greater: 1/2 or v?
v
Let j = 5 - -2. Let x(f) = f - 8. Let h be x(j). Which is smaller: -1/4 or h?
h
Let l be (-4)/42 - 4/(-6). Suppose 2*g - 5 = -1. Which is smaller: g or l?
l
Let u = 883 + -89182/101. Which is bigger: 1 or u?
1
Suppose -5*f - 164 = 3*m - m, 3*m - 4*f + 200 = 0. Let n be (-4)/18 + (-34)/m. Let h = -3 + 2. Which is bigger: n or h?
n
Let r(c) = 3*c - 6. Let k be r(4). Let t(y) = -y**2 + 6*y + 2. Let h be t(k). Is 3 smaller than h?
False
Let o = 13 + -13. Let l = -1 - -1. Let r = 0.2 + l. Are o and r unequal?
True
Let d be 6*(1 + 1/2). Let b be d + (2 - 6 - -3). Is b at most 7?
False
Suppose 2*k - 3*q + 8 = 0, 3*k - 2*q - q + 9 = 0. Suppose 2 + 3 = -p. Let i = p - -8. Is i >= k?
True
Let c = -0.13 - -0.43. Let h = c + 0.1. Is h != 0?
True
Let m(g) = -8*g + 2. Let h be m(2). Let n be h/35 - (-36)/(-10). Are n and -4 nonequal?
False
Let m = 11 - 5. Let y be m*(-2)/(-4)*-1. Which is smaller: 2/5 or y?
y
Let s = -44 + 56. Which is bigger: 13 or s?
13
Suppose 4*d - 2 = 6. Let q(s) = s - 1. Let a be q(d). Which is greater: -1/3 or a?
a
Suppose 0*b - 3*b + 566 = -5*t, -b = 5*t + 558. Let s be -2*-10*4/t. Is s != 0?
True
Let z(w) = 10*w + 28. Let k be z(-3). Are k and -1 non-equal?
True
Let m be (-335)/(-65) + (-2)/13. Which is greater: m or -2?
m
Let q be ((-2)/4)/((-2)/36). Let j = q + -17/2. Which is smaller: j or 0?
0
Let v = 18 - 18. Which is greater: 4/5 or v?
4/5
Let k(p) = 2*p - 16. Suppose 2*j = 7*j - 35. Let y be k(j). Let s = -1 - -1. Which is greater: s or y?
s
Let n be (2/(-65))/(32/(-30)). Let s = n + -241/1144. Suppose -2*c - 2 = 4*h, -h + 3*c = -0*h + 4. Are h and s nonequal?
True
Let i(y) = y**3 + 10*y**2 + y + 14. Let b be i(-10). Suppose b*q - q - 15 = a, -2*q - a + 10 = 0. Which is smaller: 3 or q?
3
Let c be (0 + 1)/((-2)/(-4)). Let v(p) = -2*p**3 + p**2 + 3. Let b be v(0). Is c bigger than b?
False
Suppose 3*f = -2*m + 23, 2 = -4*f + 6*f. Suppose 0 = -m*p + 5*p + 5. Let i be 8/18 - (7 - 7). Is i greater than p?
False
Let h be (-1)/(1*(3 + -2)). Let z be ((-3)/(-2))/(54/8). Which is smaller: z or h?
h
Suppose 5*r - 4*n = -0*r - 22, -n = 2. Which is greater: -13 or r?
r
Suppose -2*u - 5*p + 13 = 0, 3*u - p = -2 - 4. Let y be (-2)/3 - (-6)/9. Suppose 5*r - 2*w + 6 = y, 4*r + 3 = 7*r + w. Is r > u?
True
Let c = -362/15 - -24. Let f = 2 - 1. Which is bigger: c or f?
f
Let v = 75 - 67. Is 11 at least v?
True
Let y be (3/(-30))/(16/(-20)). Which is bigger: y or -0.1?
y
Let s = -1 - -4. Suppose -5*k - 9 = 2*g, 0 = -g + 4*g - s*k - 18. Which is greater: g or 0?
g
Let r = 0 - 0. Suppose u + 1 + 3 = r. Let z = -3 - u. Which is bigger: 2 or z?
2
Let c be 5 - (0 + 2) - 3. Let p = -1 + c. Let l be (p/3)/(22/36). Are l and 0 equal?
False
Let v = 5.7 - 0.7. Let k = 5.2 - v. Is k at least as big as 0?
True
Suppose 1 + 7 = 4*x. Suppose i - 5*i + 4*o = 0, 4*i - 8 = x*o. Is 13/4 >= i?
False
Let t = -3.01 + 3. Let f = t + -1.99. Is -0.1 < f?
False
Let b be ((-4)/(-6))/1*(-2)/(-76). Is b less than or equal to -1?
False
Let l be 13/(-15) + (0 - -1). Which is greater: l or 1?
1
Suppose 2*r + 3 = -r. Let j be 12/(-15) + r + 0. Which is smaller: -1 or j?
j
Let v = 4 - 3. Suppose 0 = -c - 5*r - v, 2*c - 5*r = -c + 17. Let i = c - 4. Which is bigger: -2 or i?
i
Let s = -1.8 - 3.4. Let i = 5 + s. Which is greater: 2 or i?
2
Let c(i) = -3*i**3 - i - 4 - 2*i**2 + 0*i + 10*i**3 - 8*i**3. Let u be c(-2). Which is smaller: -10/3 or u?
-10/3
Suppose 4*b - 6 = 2. Suppose 0 = -2*i + 6, -4*z = -i + b*i + 1. Which is smaller: 1/5 or z?
z
Suppose -5*p + 2*p = s, 4*s = 5*p. Is 4/3 at most p?
False
Let b = -153 + 151. Which is bigger: b or -8?
b
Suppose -4*r = -2*r + a + 8, 5*r + 18 = -2*a. Which is smaller: -3/7 or r?
r
Let v = 0.3 + -0.1. Let n = -6.03 + 6. Let p = -0.13 - n. Which is smaller: v or p?
p
Let n(o) = o**2 - 8*o - 11. Let w be n(9). Which is greater: w or -3/4?
-3/4
Let z = -4 - 6. Let k be 5/((-5)/9) + 2. Let l = k - z. Is l greater than or equal to 4?
False
Let t be (-539)/55 - 1/5. Is t != -12?
True
Let i(k) = -27*k**2 + 2*k + 2. Let r be i(-1). Is r less than or equal to -27?
True
Let p be (-6)/4*26/39. Suppose 5 = -5*g, -3*g + 4 - 7 = z. Which is smaller: z or p?
p
Let s = -1 + 2. Suppose k + 4*p = 8, k = 2*p + 1 + s. Which is bigger: k or 5?
5
Suppose 0 = -0*d + 4*d - 8. Are 5/9 and d unequal?
True
Let z = 12/13 + -62/39. Which is greater: z or -2?
z
Suppose 12 = -5*u - 173. Is -35 less than u?
False
Let k be (-3)/2 + 288013/184382. Let y = k + 2/289. Which is greater: 0 or y?
y
Let q = 45/152 - -3/38. Let h = -7 + 5. Let p be 0*(h + (-14)/(-6)). Which is bigger: q or p?
q
Suppose 4*o - 20 = 3*i, 2*i - o + 3*o - 10 = 0. Is 3/4 bigger than i?
True
Let f = 3.4 - -1.6. Let r = 5.8 - 0.8. Let x = r - 4. Is f bigger than x?
True
Let b = 239.04 + -232. Let g = 7 - b. Let w = -0.14 - g. Which is smaller: 4 or w?
w
Let g be (9 + (-2)/(-2))/1. Suppose 2*x - g - 8 = 0. Let v be 6/x + 5/(-3). Which is bigger: 2/11 or v?
2/11
Let b = 4 - 1. Suppose -14 + 2 = -4*z. Suppose 4*m - 3*m = -z*q + 2, 2*q = -3*m + 6. Do m and b have the same value?
False
Suppose -4*i + 49 = 53. Which is smaller: i or -4/53?
i
Let z be 16/3 - 4/(-6). Let m be (-6)/(-4)*(-130)/(-15). Let k = m + -8. Is z less than k?
False
Let d be (-1 + 3)/((-8)/32). Which is bigger: -7 or d?
-7
Let b be (4/(-6))/(1 + 1). Let q = 1 + b. Let g = -1/3 - -5/9. Is g < q?
True
Suppose -9*j + 21 = -96. Which is smaller: j or 14?
j
Let r = -0.08 - -0.12. Let b = r - 0.14. Which is greater: b or -3/2?
b
Let a = 12/7 + -122/63. Suppose -4*v = -9*v - 30. Let s = v + 5. Which is bigger: a or s?
a
Let p = 0.009 - -5.991. Which is bigger: p or 0.06?
p
Suppose 2*h + 25 + 5 = 0. Is -15 not equal to h?
False
Suppose -3*j - u = 4*u - 38, 2*u - 8 = 0. Suppose 0 = 4*l - j*l - 40. Which is smaller: -19 or l?
l
Let t(k) = k**3 - 4*k**2 + 3*k. Let c be t(3). Let u be (-2 - -1) + c + 0. Is -1 < u?
False
Let i = -5 - -10. Does i = -1/4?
False
Let u be (-1)/3*1*3. Let j be u/4 + (-59)/4. Let h be (-10)/j*6/(-10). Which is bigger: -2 or h?
h
Let q(l) = -l - 5. Let h be q(-10). Do 5 and h have different values?
False
Let t(u) = -3*u - 13. Let x be t(-11). Which is bigger: x or 19?
x
Let a = 0.53 + 0.47. Which is smaller: a or -8?
-8
Let j = 0.38 + 0.02. Let w be (1/(-1) - -2)/(-7 + 2). Which is smaller: w or j?
w
Suppose 5*j = -27 - 3. Let h be (j/(-30))/((-3)/(-5)). Which is bigger: h or 0?
h
Let q = 2 + 4. Is q smaller than 1?
False
Let g(y) = -y + 5. Let h be g(3). Suppose -w = -h*w. Suppose 5*q + 4 = -1. Which is greater: w or q?
w
Let s be (2/3)/((-2)/6). Are -2/3 and s equal?
False
Let m = 1 - -3. Let o = m - 1. Which is bigger: 2/5 or o?
o
Let c(x) = -1 + 4*x + x - x**2 - 2. Let l be c(3). Suppose -3*h = l*d - 5 - 1, 4*h - 12 = 0. Which is greater: 0 or d?
0
Let h be (-365)/(-70) - (-2)/7. Is h at most as big as 5?
False
Suppose j - 12 = -2. Suppose z - j = -4*r, 2*r = z + z. Which is bigger: 7/4 or z?
z
Let f be 3/(-2)*4/6. Let j = 4 + -5. Is j less than f?
False
Let x(n) = -n**2 + 3*n - 1. Let r be x(2). Let k be (119/(-21) - -4)*2/(-15). Is r at least as big as k?
True
Let w(h) = h**2 - 5*h + 3. Let s be w(3). Let l be (-1)/s*(1 + -2). Which is smaller: 1 or l?
l
Let f be (-1 + 1)*(0 + 1). Let b = 81/4 - 1061/52. Is b smaller than f?
True
Suppose 0*j + 5 = 5*j. Suppose -v - v = w - 1, 0 = 4*v + 4*w + 4. Is v < j?
False
Let w = 0 - 0. Let b = 12 + -12.06. Does w = b?
False
Let z be (2/55)/((-4)/(-20)). Let v(n) = n - 5. Let q be v(6). Which is smaller: z or q?
z
Let m = 2/65 - -61/130. Suppose -5*s + 6*s + 2 = 0. Let v = -1 - s. Which is greater: v or m?
v
Suppose 2*l + 2 = 0, -5*v - 2*l + 6 = 2*l. Let c = 2 - -1. Suppose -c = -2*z - 1. Is v equal to z?
False
Suppose -22 = 7*d + 20. Let g = -6 - -2. Which is smaller: g or d?
d
Let a be 5*-2*(6/5 + 0). Suppose 4*z + 3*d = -58, d = z + 15 - 4. Which is greater: z or a?
a
Let v = 17 + -16. Do 6/13 and v have the same value?
False
Let s be -3 + (-2 - 0)*-5. Suppose f + 0*f = 6. Suppose f = 5*r