/(-5 + 198/51). Which is greater: 1 or r?
1
Let f be (-112)/36 + (-18)/(-27)*9. Is -2/29 at least f?
False
Let v be 4830/300 - (-2)/(-20). Which is bigger: 47/3 or v?
v
Let s = 705 - 706. Which is smaller: s or 13?
s
Suppose -4*z + 6 = 4*g - g, -2*z = -2*g + 4. Let f = -737 - -5167/7. Is f at least g?
False
Let j = -262.85 + 251. Let r = j + 12. Let a = 0.05 - r. Which is smaller: a or 0.03?
a
Suppose 3*k = -3*b - 30, -3*b + 3*k - 5*k - 35 = 0. Let f be (-30)/8 - 60/b. Let y = 0 - -4. Which is bigger: f or y?
y
Let g = 4161863/1176 - 3539. Which is greater: g or 0?
0
Let x = 0.133 - -2.427. Let k = x - -0.24. Let h = 0.2 + k. Which is smaller: -2/3 or h?
-2/3
Let o be 68/(63/14 - 4). Is 136 < o?
False
Let a = 169 + -165. Which is smaller: 32/7 or a?
a
Let g be (-1)/(-1)*5/7. Suppose 29 = -19*i + 48*i. Which is smaller: i or g?
g
Let k = -260 + 144. Let b = -31 - k. Suppose 4*i - 3*p - 69 = -1, 5*i = 3*p + b. Is i smaller than 17?
False
Suppose 0 = 3*v - 0*v - 12. Suppose -v*b = -12 - 8. Suppose 0 = 2*p - h + 21, -b*h + 0*h = -3*p - 28. Is -12 bigger than p?
False
Let i = -4 + 12. Suppose -40 = 3*k - a - 7, -3*a = -k - 11. Let q = k + i. Is q at most as big as -3?
True
Suppose -3*a + 3*j - j + 7 = 0, -a = -j - 2. Suppose a*f - 12 = -0*f. Suppose f*z = k - 3, z - 4*z + 9 = -3*k. Is -12/11 != z?
True
Suppose 5*s - 2*z = -21 + 57, 0 = 2*s - 3*z - 10. Let f be ((-17)/84 + s/28)*-22. Are -1 and f non-equal?
True
Let g be 200/34 - 6/(-51). Suppose 4*a + m = 2 + g, 0 = -m + 4. Which is greater: 1/25 or a?
a
Let u be 6/(-9) + 16/42. Suppose 535 = -3*w - 5*d, -2*w - 2*w = 3*d + 717. Let m = -2338/13 - w. Is u > m?
False
Let n be 4 + (9/15)/(-3). Let y(j) = -j - 3. Let f be y(-3). Let z = f - -3. Is n smaller than z?
False
Let q be -2 + 2 + (-15)/1. Let y be (-3)/(q/13) - 2. Let j be 10/(-180) - (-2)/36. Is y at least j?
True
Let b = 2 - 2. Let q = -2.6 + -98.4. Let d = q - -102.8. Is d > b?
True
Suppose -211*h - 561 = -222*h. Is h >= 50?
True
Let y = -3282/83011 - -9/323. Which is greater: y or 1?
1
Suppose 6*g - 32 = 2*g. Let a(h) = h - 16. Let b be a(g). Is b at least -7?
False
Let c(n) = -2*n**3 - 34*n**2 + 5 + 64*n**2 + 3*n + n**3 - 32*n**2. Let y be c(-2). Are y and -11/5 equal?
False
Let w = 4621/1122 + 9/187. Which is bigger: w or 5?
5
Let h = -43.2 - 12.8. Let p = 55 + h. Let d = -0.3 - -0.29. Which is smaller: p or d?
p
Let h = -205 - -205. Let l = 0.3 - 1.1. Let r = l + 1.7. Is r at most as big as h?
False
Let m = 0.3 + -0.4. Let q = -113 + 113.014. Let a = q + -7.014. Is m smaller than a?
False
Suppose -z - 6 + 6 = 0. Suppose 5*f + 11*f - 32 = z. Do 10/13 and f have different values?
True
Let d be ((-1430)/(-1469) + (0 - 1))*38/57. Suppose y = -5*k - 3, -2 = 3*k - 7*k - 3*y. Is d greater than or equal to k?
True
Let w(r) = r**3 - 32*r**2 - 104*r - 28. Let l be w(35). Let u(q) = -q + 8. Let a be u(0). Which is greater: l or a?
a
Let d be (1 + 21/(-2))/(-6 - -5). Which is smaller: 11 or d?
d
Let y(d) = d**3 + 5*d**2 - 6*d + 4. Let t be y(-6). Let g be ((-21)/(-6))/(-2 + t). Which is smaller: g or 3?
g
Suppose 0*y - 12 = -4*y. Suppose -5*f = -5*v + 20, -2*v - 40 = 5*f + y*v. Let p = f - -6. Which is bigger: -2 or p?
p
Let f = 10 - 10. Suppose z = -4*n + 65, f = -4*n + n - 4*z + 52. Let u be 4/n*0 - 0. Is u != 0?
False
Suppose 4*b + 4*q - 9 = 3, -11 = -5*b - 4*q. Let c = -2/17 + 23/51. Is c >= b?
True
Let v = -26.09 + 27.3. Let r = v + -1.18. Let w = 1 + 0. Is w greater than r?
True
Let z = -0.026 + -155.974. Is z > 2?
False
Let r = -25.33 + 0.33. Is -0.4 at most as big as r?
False
Let u be 2 - (105/15)/((-1)/(-2)). Let q(i) = -10*i. Let b be q(-1). Let s be (-4)/b - (-96)/(-10). Which is smaller: u or s?
u
Let l be 30/(-95)*(-3)/516*-2. Which is greater: l or -1?
l
Suppose 15*k = 10*k. Is 0.3 bigger than k?
True
Let l = -78 - -79.42. Let j = l - 1.4. Let p = -0.02 + j. Which is bigger: 2/9 or p?
2/9
Let t = 111 - 69. Let d = t - 41. Is d >= -2/103?
True
Let z = -311 - -4041/13. Let g = -9 + 9. Which is smaller: g or z?
z
Let b = 6.9 + 21.1. Let z = 36 - b. Which is smaller: z or 2/3?
2/3
Let g(n) = -27*n - 3. Let b(a) = 9*a + 1. Let f(y) = 17*b(y) + 6*g(y). Let p be f(-1). Which is bigger: p or 10?
10
Suppose 3*k + 30 = 9*k. Suppose -k*m + 20 = 3*b - 2*b, 2*b - 3*m + 12 = 0. Which is smaller: b or 3/10?
b
Let g = -105 - -1068. Is g less than or equal to 963?
True
Let o be -1*(-38)/34 + -1. Suppose -14*k + 16 = -22*k. Is o <= k?
False
Let a = 259 + -234. Which is greater: a or 29?
29
Let f be 4 + 2 - ((-17280)/(-784) - 16). Suppose 0*y = -y + 1. Which is greater: f or y?
y
Let z be -1 - (2/(-1))/(-2). Let x = -560 - -333. Let k = 1131/5 + x. Which is greater: z or k?
k
Suppose -3*g - 3*q = -9, 3*g - 2*g - 3 = 2*q. Suppose 3*k + 3 - 20 = m, g*m = 3*k - 9. Do k and 2/3 have different values?
True
Let a be (3*-1)/((-12)/(-3024)*12). Is a >= -63?
True
Let r = -56.6 - -284.6. Which is smaller: r or -2?
-2
Suppose 5 = 2*x - 3. Let b be ((1/(-8))/1)/(6 - x). Which is bigger: b or -0.1?
b
Let p = -0.1157 + -0.0343. Which is greater: -1.2 or p?
p
Suppose -4*p + 4 - 2 = 2*z, -2*p - 3*z + 11 = 0. Let l be 6*(20/(-12) - p). Suppose -u = l*u + 9. Which is smaller: -5 or u?
-5
Let r be (-3)/(-2)*9/36. Let n be (-5 + 3)*(-2)/(4 - 0). Which is greater: r or n?
n
Let a be (-1)/((-1)/(-53)*(-8)/(-8)). Let d = 44 + a. Let p = -22 + 13. Is p at most as big as d?
True
Let d = -0.03 + 0.03. Let o be (2 - 1)*45/5. Which is bigger: o or d?
o
Let v be 68/(-8) + (-6)/(-4). Let b = -3 - v. Suppose -18 = -3*r - b*i, -5 = 3*r + i - 14. Is -0.1 greater than or equal to r?
False
Suppose q + 3*q = -2444. Let p = q - -2459/4. Which is smaller: 3 or p?
3
Let g be ((-24)/15)/((-8)/20). Suppose -i - g = -6. Suppose -3 = i*h - 5. Is 3/2 at least as big as h?
True
Let i(t) = -t**2 - 3*t - 2. Suppose -x = -8*x - 14. Let b be i(x). Is b smaller than 1/22?
True
Let b = -70/9 - -6851/882. Let z = -29/98 - b. Which is bigger: 5/3 or z?
5/3
Suppose 3*h - h - 16 = 0. Let o = -35 + h. Suppose -2*q = 3*q + 130. Are o and q non-equal?
True
Let q(z) = -z**2 - 69*z - 488. Let w be q(-8). Which is greater: w or -20/79?
w
Let y = 3.1 - 3. Let p be (-137)/(-2) - (-8 + 3 + 2). Let j = 73 - p. Which is greater: y or j?
j
Suppose -4*j = 5*z, -8*z = -3*z + 2*j + 10. Let o(i) = 2*i**2 + 6*i - 1. Let h be o(z). Let q = 8 - 1. Is q bigger than h?
False
Let z be (-2)/(-3) - 548/792. Let p = 5311/1386 - z. Which is smaller: p or 4?
p
Let n(r) = 7*r**2 - 308*r + 5. Let f be n(44). Suppose -2*x + 3 = -x. Which is smaller: x or f?
x
Let z be 10/75*-3 + (-824)/(-2210). Which is greater: z or -1?
z
Let p = 59/11 + -1423/253. Is 1 less than or equal to p?
False
Let b = -37 - -36. Let x be (0 + b/1)*-1. Which is greater: x or 3/14?
x
Let l be 4/(-10) + (2036/5)/(-2). Let s = -146 - l. Are 58 and s non-equal?
False
Let w(t) = t**2 - t - 1. Suppose -3*i - 1 = -4*i - 3*z, -2*i - z = 8. Let k be w(i). Is k bigger than 28?
True
Suppose -7*f - 5 = -40. Let i be (f/(-2))/((-12)/(-32)). Is i at most as big as -8?
False
Suppose -2*y = l - y, 4*l = y. Let x = -78 + 85.1. Let z = x + -7. Which is greater: l or z?
z
Let c = 1433/2 + -677. Let j = c - 40. Let w be -2*2/8*3. Which is bigger: w or j?
j
Let n be (-8)/(-6)*15/(-45). Let z = n - -77/72. Which is smaller: z or 0?
0
Let u(w) = -8*w - 94. Let z be u(-11). Is z smaller than -26?
False
Let i be ((-4)/1 + 3)*-19. Let l = i + -17. Which is bigger: 0.1 or l?
l
Let b = -432.033 - -1.033. Which is bigger: -1 or b?
-1
Let o be -10 + 18 + -2 + -8. Let n be (-2 + 2/3)*3. Is o >= n?
True
Let s(l) = l + 7. Let b be s(-3). Let f be (b/7)/(1/(-9)*3). Which is smaller: f or -1?
f
Suppose 0*a + 2*t = a - 30, 108 = 4*a - 4*t. Is a at least as big as 23?
True
Suppose 31 = 8*b - 41. Let r be (b/6)/((-5)/(-6)). Let l(o) = -o**3 + 4*o**2 - 4*o + 3. Let c be l(2). Which is greater: r or c?
c
Let z be 3/(-9) - 17/(-51). Is -2/29 smaller than z?
True
Suppose -4 = -5*z + 6. Suppose 0*t + z = t. Is t at least as big as 1?
True
Let z(n) = -2*n**2 + 6*n. Suppose a = -4*a + 25. Let l be z(a). Let r = l - -21. Is r < 4?
True
Let a = -1913 + 1921. Which is smaller: 9 or a?
a
Let x = -53 - -50. Let d be (x - (-188)/60)*(-3)/(-11). Are d and 0 non-equal?
True
Let x = 412/3 + -136. Let g = -19.2 