(3). Which is smaller: 2/3 or f?
f
Let z = 2 - 2. Let q be (z - -2)*3/(-2). Suppose -3*x = 4*x + 14. Which is smaller: q or x?
q
Let a be (1/2*1)/(27/90). Which is bigger: a or 3?
3
Suppose -r + 5*r = o + 3, 0 = -r + 2*o - 8. Suppose 3 = 4*c - 5. Are r and c non-equal?
False
Let m be (-3)/(-9) - 84/228. Which is smaller: 1/5 or m?
m
Let c = -82 + 77. Is -7 less than c?
True
Let a be (-215)/(-100) - 4/10. Which is smaller: -1 or a?
-1
Let s = 10.6 - 5.9. Let g = s - 0.7. Which is bigger: 0.1 or g?
g
Let y be (-18)/15*(-15)/(-6). Let v be (3/(-2) - y)*-1. Which is smaller: 1 or v?
v
Let f be 9/(-54) + 5/6. Is f > 0.75?
False
Suppose -3 - 29 = 4*g. Let d be 22/g - (-4)/2. Is d at least as big as -2?
True
Suppose 0 = -9*z - 49 - 5. Do -0.2 and z have different values?
True
Let a = 3 + -4. Let n be (-4)/(-6) + a/(-3). Let z be -3*1 + 3 + 1. Is z <= n?
True
Let w = -39 - -40.2. Is 0.1 greater than or equal to w?
False
Let u = 1.3 - 1.4. Let p = -4.7 - -2.5. Let o = p - -2. Which is smaller: u or o?
o
Let i = 18 + -69/4. Let u be 1 + (0 + -3)/6. Does u = i?
False
Suppose 5*d + 5 = 5*t, -4*d + d = 2*t + 3. Suppose t*b = b - 2. Which is bigger: b or 4?
4
Let t be (4/(-7))/(-1 - -3). Suppose 0 = 3*u - 100 + 280. Let x be 2/12 - 2/u. Which is smaller: t or x?
t
Suppose -4*r - 2*h + 128 = 2*h, -5*r + 210 = -5*h. Let l be 2/(-8) + r/164. Is 0 bigger than l?
True
Let r = 1052 + -49446/47. Is r <= 0?
True
Let t(g) = g**3 + 5*g**2 - g + 4. Let h be t(-5). Is h at most as big as 10?
True
Suppose 3*p - 25 = -2*p. Suppose -10*v + p*v = -5. Is v bigger than 0?
True
Suppose 2*m = -i + 6, 5*m - i + 5*i - 21 = 0. Let u = -10 + 14. Let v be (u/(-10))/(51/15). Which is smaller: v or m?
v
Suppose 0 = -g + i + 24, 4*g = 6*g + 4*i - 66. Which is greater: -1 or g?
g
Let n = 298234/3883 + 133/353. Let h = -77 + n. Which is bigger: h or -1/3?
h
Let y = -119 + 108. Is y != -15?
True
Let l = -3.9 + -0.1. Let z = l + 3.9. Let b = 0.1 + -0.3. Is b >= z?
False
Suppose 5*j - 16 - 44 = 0. Let i be 2 + (-3)/(j/8). Is i bigger than 0?
False
Let a(j) = j**2 - 4*j + 3. Let g be a(4). Let k = 8 - g. Which is greater: k or 2?
k
Let z(o) = o**3 + 14*o**2 + 14*o + 18. Let w be z(-13). Suppose 4*k = -0*l + l - 1, 0 = -w*l + 5. Is -4/7 at most k?
True
Suppose 2*d = -3*d - 3*j + 2, 0 = j - 4. Suppose 0 = 2*n - 4, -4*n + 12 + 7 = z. Let t = 6 - z. Is t smaller than d?
True
Let r be (-1 - -2)/(21/147). Is r at most 8?
True
Let r = -218 - -229. Is 3 at least as big as r?
False
Suppose k = -4*k. Let a = -8 - -7. Let q = k - a. Is 1 greater than or equal to q?
True
Suppose -19*r + 16*r = -180. Is r >= 60?
True
Suppose 15 = 5*h - 0*h. Suppose 2*j = h*j + 1. Is j greater than 2?
False
Let s(p) = 10*p**2 - 14*p + 2. Let j be s(2). Is j less than 10?
False
Let l(r) = -r**3 + 8*r**2 + 8*r + 10. Let v be l(9). Let a be (6/(-3) + 0)*v. Let c be 8/(-6) - a/(-3). Is c at most as big as -1?
True
Let y be 49/3 + (-60)/45. Let m = 16 - y. Let s = -964/13 - -74. Which is smaller: m or s?
s
Suppose -2*o + 4*o - k - 3 = 0, o = -2*k - 6. Let l be 6/16*1420/678. Let b = l - 4/113. Which is bigger: b or o?
b
Let f = -8 - -15. Let b = -17/2 + f. Is b smaller than -1?
True
Let w be -7 + 8 + -1 + 2. Is w greater than 1?
True
Let k be (1 - (-3)/12)*4. Let z be (1/k)/((-1)/(-5)). Suppose -z = n - 5. Is n at least as big as 5?
False
Let a = 9 - 3. Is a bigger than 6?
False
Suppose -2*s + 53 = 139. Which is greater: -42 or s?
-42
Let s(g) = -g**3 - 6*g**2 + 6*g + 3. Let h be s(-7). Suppose 2*f = -0*f + h. Let v be (2/f)/((-4)/20). Which is bigger: v or -3?
v
Let n(v) = -v**2 + v + 2. Let o be n(0). Suppose -5*u + 5*q + 15 = 0, -5*u + o*q - 6*q - 3 = 0. Let x = 59/126 + 2/63. Is u < x?
False
Let w = 3928/975 + -102/25. Is w less than or equal to -1?
False
Suppose -4*t - 4*g = -3*g - 20, -5*g - 20 = 0. Let o = -5 + t. Are o and 2 non-equal?
True
Suppose -5 = 3*r - 5*h, 2*r - 26 = -4*h - 0*h. Let d = r - 4. Are d and 16/7 non-equal?
True
Suppose -11*o - 25 = -6*o. Let s be o*7/(420/(-8)). Is 2/3 at most s?
True
Suppose q - 10 = -3. Let z = 4 - q. Let l be 4/(-28) - (-108)/(-28). Which is bigger: l or z?
z
Let y(q) = -3*q. Let d be y(1). Is -3 <= d?
True
Let v(s) = s + 17. Let g(q) = -2*q**2 + 2. Let x be g(3). Let k be v(x). Let l = -14/115 + 12/23. Is k < l?
False
Let l(x) = -x**2 + 13*x + 17. Let r be l(12). Is 1 != r?
True
Suppose -2*t - u = -3, 4*u = 4*t - 5*t - 16. Suppose -o + 0*o + 3 = -v, 5*o = t*v + 12. Let k = 2156/13 + -166. Is o equal to k?
False
Let f = 0.4 - -2.6. Suppose 0 = 3*p + 1 + 8. Let z be (p/9)/((-1)/6). Do f and z have the same value?
False
Let s be 0/1 - (-1080)/(-3927). Let p = s + -2/187. Let w(f) = -f + 3. Let x be w(4). Is p >= x?
True
Let g = -0.7 + 0.76. Which is greater: -1 or g?
g
Suppose 2 = -c + 4, -4*g - 3*c - 2 = 0. Let m = 1 + -4. Is g != m?
True
Let b = 75 + -227/3. Let i = 4 + -4. Suppose i = f - 5*f. Is f less than b?
False
Let c be (-18)/(-24) - (-30)/(-8). Let n be -1 + 4 - 2 - c. Is n >= 4?
True
Let b = 111 + -110. Let y be (-1)/(10/4) - -1. Which is bigger: b or y?
b
Suppose -14*h + 8 = -6. Is h equal to 1/7?
False
Let y = 2.03 - 0.03. Let g = y - 5. Let p = g - -4. Is -2/7 smaller than p?
True
Let k be 7/70 + (-12)/280. Which is smaller: k or 1?
k
Let m = 61 + -60.777. Let p = m + -0.013. Let z = p - 0.01. Is z <= -0.1?
False
Let f be 4 + (-10)/(-4 - -9). Let l(n) = -n**2 + 4*n - 2. Let u be l(3). Do f and u have different values?
True
Suppose 3*m + 0 = -12. Let u = m + 7. Do 3 and u have the same value?
True
Let u(o) = 0*o - 2*o + 3 - o**2 + 2*o**2. Suppose 3*t + b + 0*b = 9, -3*b = -2*t - 5. Let j be u(t). Do 4 and j have different values?
True
Let j = -2/7 - -1/28. Is j at most -0.6?
False
Suppose 2*o = a - 1, 4*o + o + 2 = 3*a. Are a and 3 nonequal?
True
Let m be 1 - 1 - (1 - -2). Suppose -5*a - 24 = -u, -5*u - 3*a + 0*a + 8 = 0. Let t = u + m. Is 4/7 less than or equal to t?
True
Suppose 8*m - 4*m + 44 = 0. Suppose -25 = 5*l, 0 = v - 5*l - 47 + 33. Is m <= v?
True
Let k = 12 + -21. Let z be 1 + (k/(-12))/3. Which is greater: 0 or z?
z
Let f(r) = -r**3 - 7*r**2 + 7*r - 4. Let t be f(-8). Suppose -4*k + t = -0*k. Is -2/15 at most as big as k?
True
Suppose -5*b + 39 = -3*h, -2*h + 2*b - 14 = -h. Let a = h - -2. Is -6 < a?
False
Let n be -18*-1*1/3. Let f be 44/n*75/8. Let j = 3017/44 - f. Which is smaller: j or 0?
j
Let f = 2 - 1.8. Let p = f + 0.2. Let y = -0.2 + p. Which is greater: y or 1?
1
Let l(x) = 2*x - 4 - 5*x - 5 + 2*x. Let p be l(-7). Which is smaller: -1 or p?
p
Let m = -98 - -93. Let x = -10 - -14. Suppose x*f - 4*q + 3 + 33 = 0, -q - 11 = 4*f. Is f at most m?
False
Suppose 0 = 4*s - 3*s + 1. Which is smaller: s or -2/9?
s
Let g(a) = -a**2 + 8*a - 6. Let q be g(7). Which is smaller: 0 or q?
0
Let k = 44/21 - 5/3. Suppose 4*p = -p. Which is greater: k or p?
k
Let a = 4 - 2. Let s(t) = -t**2 + 3*t - 3. Let d be s(4). Let z be (10/(-35))/(3/d). Are a and z equal?
False
Let g = 33.8 + -35. Which is smaller: 0.1 or g?
g
Let i = 3 - 4. Which is bigger: i or 4?
4
Suppose z = -0*z + 2*o + 7, -4*z = 4*o + 8. Let j be (1 + 1 - 2)/z. Let p = -106/5 - -22. Is j equal to p?
False
Let q = -58/91 + 12/13. Let h be (-126)/(-28)*2/(-21). Which is greater: q or h?
q
Let y be 1/(10/(-12)) - -2. Let d(p) = -2 - p - p - p**3 - 2*p**2 + p. Let u be d(-2). Are y and u equal?
False
Let r = 3 + -3.4. Is 3 at least as big as r?
True
Let h = -29 - -88/3. Suppose -4*b = -14 + 14. Is b <= h?
True
Let p = -0.9 - -4.9. Let g = 140 + -982/7. Is g != p?
True
Suppose -2*b = -2*j - 10, 4*j + 41 = -6*b + 3*b. Let n = 7 + -16. Which is smaller: j or n?
n
Let l = 3 - 3.02. Which is smaller: 1 or l?
l
Suppose 0 = -5*r - 3*b + 25, 3*r - 3 = 3*b + 12. Let x(d) = -d**3 + 5*d**2 - d. Let a be x(r). Let g = a + 5. Which is smaller: g or -3/4?
-3/4
Let h be 4/2 - (-3 + 1). Let p(f) = -f**2 + 5*f - 3. Let y be p(h). Let i be 9/78*8/(-6). Is i >= y?
False
Let n = 41 + -40. Let r be 8/(-9) + 2/9. Which is greater: r or n?
n
Suppose 4*i = 5*i - 1. Which is smaller: -2/137 or i?
-2/137
Let q = 3.3 - 3.3. Let l = -8.79 + -0.21. Which is greater: l or q?
q
Suppose 4*o + 5*o = 9. Which is smaller: -6/17 or o?
-6/17
Let z be (-12)/(-30)*(-5)/(-2). Let c(s) = 2*s - 1 - s**3 - s**2 + s**2. Let j be c(z). Is 0 less