. Suppose -4*y + 2*y + 2 = 0, -2*y + 6 = 4*c. Let g = -1 + c. Which is bigger: f or g?
g
Suppose 3*g - 15 = -2*g. Suppose q - 4*q + 13 = 4*t, -g*q = -4*t - 5. Is t at least as big as 15/7?
False
Suppose -2*h = 2*h + 5*u + 25, 0 = 5*h + 3*u + 15. Suppose h = 3*y + 1 + 2. Which is bigger: 2/23 or y?
2/23
Let r(t) = -t**2 + 24*t - 5. Let j be r(11). Let o be j/(-56) + (-8)/28. Let c = 3 + o. Which is smaller: 0.1 or c?
0.1
Let l = 15 + -8. Suppose -4*b = -l - 1. Suppose 0 = -b*r - 2. Which is bigger: 0 or r?
0
Let m(y) = y**2 + y - 1. Let v be m(1). Is -3/7 not equal to v?
True
Suppose 0 = -3*z + 2*m - 49, 4*z + 2*m + 3 = 3*z. Which is greater: z or -12?
-12
Let v = -9.9 + 10. Let c = 0.3 - 0.1. Are c and v non-equal?
True
Suppose 2*h + 0 = 6. Suppose -6*d = -h*d + 15. Let l = 8 + d. Is l != 3/2?
True
Let q be ((-18)/(-10))/(3/10). Let s be 5/2 - q/(-12). Let z(w) = -w + 2. Let y be z(s). Which is greater: -2 or y?
y
Let q be 2/(-3 + (0 - -4)). Let n = 0 + -2. Is q less than n?
False
Let t = 1066/133 + -55/7. Which is greater: -1 or t?
t
Let n be 2/((-6)/15)*1. Is n less than 5/3?
True
Let a be (10/75)/(8/(-5)). Which is greater: a or 5/6?
5/6
Let d = -0.4 - -0.3. Let k = -3.07 + 0.07. Which is bigger: d or k?
d
Suppose 0 = 5*v - 5*s + 8 - 3, 4*s - 2 = 2*v. Let u be (4 - v)*6/(-135). Is 1 > u?
True
Suppose 0*g - 24 = -4*g. Let b be ((-1 + g)*1)/(-4). Suppose -3*f - 2*a + 12 = a, 3*f + 5*a - 20 = 0. Is b at least f?
False
Let j be 6 - -1 - (-5 - -11 - 5). Which is bigger: 9 or j?
9
Let v = 22 - 36. Which is bigger: -38/3 or v?
-38/3
Let p = -1/13426 + -657829/604170. Let c be ((-1)/(-3))/((-6)/16). Let q = c - p. Is 0 < q?
True
Let g = -7.97 - -7.5. Let s = g + -0.03. Let h = -0.5 + s. Which is smaller: h or -6?
-6
Suppose -3 = 2*b - 13. Which is bigger: b or 7?
7
Suppose -6*n = -3*n + 3. Let t be (-2 + (0 - -7))/n. Let m = 8 + t. Is 3 < m?
False
Let n = -1/39 + -4/13. Which is greater: n or -12?
n
Suppose -2*u = -5*u - 3. Let x = 1 + u. Is x less than 11?
True
Suppose -3*j = -t - 0*j - 14, -5*t - 5*j - 110 = 0. Which is smaller: t or -1?
t
Let b = 3 - -4. Let g be 5/(-7) + (-2)/b. Let w = -82/9 + 419/45. Which is bigger: w or g?
w
Let v be -22*8/84*3/2. Which is bigger: -2 or v?
-2
Let p be -1 - (44/(-20) + 2). Is -2 >= p?
False
Let k(t) = t + 1. Let g be k(1). Suppose 0*r = -r - g. Let j = 13 + -13. Are j and r unequal?
True
Suppose 5*r = 7*r. Which is smaller: 3/8 or r?
r
Let i = -1.942 + -0.058. Which is bigger: 13 or i?
13
Let p = 9 + -3. Suppose 10*r + 2*r = 3*r. Suppose r = 3*s + p - 3. Which is smaller: s or 2/23?
s
Suppose 3*c - 58 = -22. Suppose -2*l - c = l. Is -4 not equal to l?
False
Suppose 0 = -2*w - 5*f - 27, -3*w - f - 4 = -4*w. Let o be (-6)/4*6/(-9). Suppose 4 = -5*y - o. Is y smaller than w?
False
Let b be 0/(-2) - 6/(-4). Let d = 1.2 + -1.4. Are d and b non-equal?
True
Let q(h) = -h**2 + 10*h. Let c be q(8). Suppose -p - 3*p = -c. Let g(k) = -k**2 + 4*k. Let d be g(p). Is d <= 1?
True
Let y(a) = -a**2 + 13*a - 13. Let f be y(12). Which is bigger: -3/34 or f?
-3/34
Suppose 18*n - 10*n + 24 = 0. Let z = -2 + 17. Let u be ((-5)/z)/(2/n). Which is greater: 0 or u?
u
Let z(x) = 2*x**3 - 3*x**2 + 6*x - 9. Let m be z(3). Which is greater: m or 35?
m
Let b = 0 - -2. Is 1 < b?
True
Let b(d) = -d**2 + 2*d. Let p be b(2). Let g = p + 1. Is 1 at most g?
True
Let j(l) = -l - 4. Let r be j(-7). Suppose -k + a = -0*k + r, -a + 23 = -5*k. Let f = k + 7. Which is bigger: 3 or f?
3
Let c = 18 + -2. Let q = c - 11. Are -1/3 and q unequal?
True
Let b = 3.27 + 0.03. Is -1/4 not equal to b?
True
Let f be (-1 - (-21)/15)/(6/120). Suppose 0 = -h - z + 13, -5*h - 2*z = z - 55. Are h and f nonequal?
False
Let s = 1 + -2. Suppose 0 = -5*b - 100 - 15. Let t = b - -113/5. Is t < s?
False
Let r = -146 - -146. Let t = 0.1 - 0.4. Which is greater: r or t?
r
Let y = -1 - 3. Let x = 5 + y. Is x < 0.2?
False
Let p be (354/(-105))/(3/(-5)). Let l = p - 16/3. Which is smaller: l or -1?
-1
Let m = 9 - 5. Let y = 5 - m. Suppose -2*c + 2 = -0*c. Is c at least as big as y?
True
Let r(a) = -a**2 - 6*a. Let f be r(-6). Is 7 >= f?
True
Let c = -0.2 + 0.3. Are 2/3 and c non-equal?
True
Let r(h) = h**3 - 20*h**2 + 16*h + 53. Let q be r(19). Which is greater: -28 or q?
q
Let u = -0.13 - 0.17. Let o = 0 + -0.7. Let r = u + o. Which is greater: r or -2?
r
Suppose 8 - 88 = 2*u. Let a be (-6)/u + (-4)/10. Suppose 5*o - 4*o + 1 = 0. Is a smaller than o?
False
Let b be (1 + 2)/((-3)/(-2)). Let y = -13 + 15. Is b less than y?
False
Let q(w) = -w**3 + 10*w**2 - 8*w - 3. Let m be q(9). Let v = 1 - m. Suppose -6 = 4*o + 2*s + 18, s = -5*o - 30. Which is greater: o or v?
v
Suppose 0 = 4*t + 22 + 18. Which is bigger: 0 or t?
0
Let c = 22 - 36. Let j = c + 12. Which is bigger: 5 or j?
5
Suppose 22 = 2*y - 14. Let g be 6/y - (-32)/(-6). Let j be 3/(-15) + (-11)/g. Is 2/3 less than or equal to j?
True
Suppose -2*o + 4*g = 14, 3*o = -0*o + 3*g - 6. Suppose 2*h + o*y - 3 = 0, -4*y = -h - 31 + 5. Let r be (-2)/h*-7*3. Is r < -8?
False
Suppose -n - 3*n = -60. Let o be 4/(-35) + 6/n. Let z be (-1)/2 - 1/(-2). Which is smaller: o or z?
z
Let w = -35 - -139/4. Which is smaller: 1/2 or w?
w
Suppose -3*m + 90 = -2*o, 5*m - 5*o = 220 - 70. Let v be (m/(-9))/2 + 1. Let q = -10 - -10. Are q and v equal?
False
Let s = 3 - 3.1. Suppose b - 8 = m, -4*m = 2*b + m + 19. Let d be 3/(2 - b/6). Are d and s nonequal?
True
Let k = 28.1 - 28. Is k bigger than -58?
True
Let h be 9022/(-18) - 40/(-30). Let y = -501 - h. Which is smaller: 0 or y?
y
Let q = -8 - -13. Suppose 10 = -q*g - 5. Which is bigger: g or -4?
g
Let k = -11.6 - -0.6. Let d = -10.9 - k. Which is bigger: -1 or d?
d
Suppose 0 = 5*m - 7 - 23. Let i = 8 - m. Let j be i/7 + 51/(-105). Which is greater: j or -1?
j
Let t = 6 + -6. Let u be 2/(-14)*(-1 - t). Is u less than or equal to 0.1?
False
Suppose -32 = -6*g + 4. Which is smaller: g or 5?
5
Suppose 0 = 2*u + 3*b + 120, 2*u = -2*b - 67 - 53. Which is smaller: u or -59?
u
Suppose i + 0*i = 30. Suppose 5*n = 4*o + i, 3*o + 2*n + n + 36 = 0. Is o < -9?
True
Let k = 5 - 6. Let j = -0.9 - k. Which is bigger: -6 or j?
j
Suppose 5 + 25 = 5*j. Suppose -w - w + j = 0. Suppose 0*z = -3*z - w. Is -1/4 smaller than z?
False
Let r be (-6)/15*(-50)/32. Is 0 at least r?
False
Suppose 3*l + 12 = -3*o, -5*l - 3*o = o + 17. Suppose 3*s - 2*s + 4*c = 7, -2*c + 3 = s. Let z be s/(-2)*4/6. Which is greater: l or z?
z
Let b = 3 - 10. Let f = 5.85 + 0.15. Let k = b + f. Are k and -1 unequal?
False
Suppose -3*z + 85 = 5*l, 0 = 3*l + 4*z - 52 + 1. Is l less than 17?
False
Let d = -2298 - -326319/142. Let p = -245/1846 - d. Let q be (-2)/(-4) + (-1)/2. Which is smaller: q or p?
p
Let s be (-2 - 0) + -1 + 8. Let p = s - 11. Is -6 equal to p?
True
Let w = 19 + 4. Suppose 0 = -5*k + 47 + w. Do k and 14 have the same value?
True
Let h = 10 - 6. Let n = -30 + 34. Is n less than h?
False
Suppose -4*a + 212 = -112. Suppose 0 = 3*r + 18 - a. Suppose 4*s + r - 9 = 0. Is 1 < s?
False
Let m be (-12 - -6)*2/(-3). Let c = 6 - 4. Let j = c + -3. Is m at most j?
False
Let m be 0 + 2 + -1 + 1. Suppose -m*s + 7*s = 25. Let w = s - 3. Is w at most as big as 5/2?
True
Suppose 4*u - 12 = -2*g - 0, 0 = -4*g - 8. Is u equal to 4?
True
Let y(c) = -c**2 - 9*c - 3. Let j be y(-9). Let l(u) = u + 6. Let x be l(j). Is x at least as big as 1?
True
Let m be (7 + -1)/(2/2). Is 10 greater than or equal to m?
True
Let c be (-4)/18 + (-12)/(-81). Suppose 0 = -3*d + 5*d. Which is smaller: d or c?
c
Suppose 5*d = 2*j - 34 + 1, j = -d + 6. Are j and 9 non-equal?
False
Suppose 0*a - 3*m = 5*a - 79, -2*a + 32 = m. Is 1 at most a?
True
Let q = 1/2 + -9/10. Suppose 2*h + 14 = -4*r, -5*r + h = -r + 5. Let n = r - -1. Is q > n?
True
Let a(f) = f**3 - 14*f**2 - f + 9. Let w be -1 + -3*(-5)/1. Let v be a(w). Is -11/3 less than or equal to v?
False
Let v = -58 + 55. Let o = -3 + 2.9. Which is bigger: v or o?
o
Let c = -219/86 - -2/43. Is c > 1/12?
False
Suppose -m + 4 = 5. Let p = -7 - -5. Is m < p?
False
Let q be 7/3 + (-1)/3. Suppose -2 = -2*v + 3*v. Let x be v - -2*9/6. Which is smaller: q or x?
x
Let u = 35/2 + -73/4. Which is smaller: 0 or u?
u
Let v be 19*-5*8/(-20). Suppose o = 4*g + 51, g = -2*g + o - v. Is -12 less than or equal to g?
False
Let m be ((