, 3*v + 5*w = 2*v + 22. Let l be 0/((3*v)/q). Is 2/3 < l?
False
Let h = 2 - 2. Let c = 1 - h. Let y be -6 - -8 - 1/1. Is c < y?
False
Let s = -5 - -6. Suppose -p + 0*p = s. Let w be 1 - (-8)/(-5) - p. Is w bigger than -2/3?
True
Let h = -11 + 13. Which is smaller: h or -17?
-17
Let y = -0.9 - -0.6. Let t = y + 0.5. Let a = -26/21 - -4/7. Is a > t?
False
Suppose 3*v - 36 = -4*x - 9, -2*v = 4*x - 22. Let u(k) = -2*k + 10 - 4*k + v*k. Let p be u(8). Are 1 and p unequal?
True
Suppose -5*g + 2*r + 4 = 0, -r - 2 = -4*g + 2*g. Let s be (-6)/(0 + (-36)/(-8)). Which is bigger: g or s?
g
Let f be 0 + 2/1 - 1. Let w = 3 + 1. Let b = -4 + w. Which is smaller: f or b?
b
Let p = -86 - -69. Which is smaller: -16 or p?
p
Suppose -2*g - 5 = -5*k, 3*g - 21 = -k - k. Is -1 not equal to k?
True
Suppose 5*t + 7*n - 3*n - 27 = 0, -21 = -4*t - 3*n. Is t at most 2?
False
Let f = -7 - -4. Let x = -2 - f. Let j be (-1)/(-1 + (6 - 0)). Which is smaller: x or j?
j
Suppose r = 4*u + 78, u = r - 4*u - 78. Is 79 less than or equal to r?
False
Let b = -0.13 + -0.07. Let q = -1.1 + 0.2. Let f = -1 - q. Which is bigger: f or b?
f
Let q(o) = -o**3 + 5*o**2 + 5*o + 2. Suppose -5*n - 14 = 1. Let p be (36/n)/(-2) - 0. Let i be q(p). Which is smaller: -5 or i?
-5
Let y be (-1*(-4)/(-20))/(1/(-12)). Which is greater: y or 2?
y
Suppose -w + 2*w = r + 9, -w = -4*r. Let y be 20/w + 1/3. Let a be (-2)/9 + y/9. Are -1/5 and a non-equal?
True
Let n = 21 + -22.5. Let j = -2.2 - n. Does j = 1?
False
Let s be (2 + (-15)/6)*0. Let o be -2*1 + (1 - -5). Suppose o*k = 4*g, g + 4*k = 4*g - 1. Which is bigger: s or g?
s
Let z = 0.1 - 0. Let u = 15.2 + -15. Let c = z - u. Which is bigger: -1/4 or c?
c
Suppose 3*v = 4*u + 15, 0*v - v - 5*u = -5. Suppose 2*n - v*n = -6. Is 3 less than or equal to n?
False
Let o = 1 - 2. Let c be 14/28 - (-26)/(-28). Is o at most as big as c?
True
Let z(j) = j - 1. Let s be z(5). Suppose -s*y = -y. Let m = 54 - 380/7. Which is smaller: m or y?
m
Let x = -41 + 43. Are -7 and x non-equal?
True
Let l = 0.159 - -0.741. Which is greater: 1 or l?
1
Let r = 173/21 + -18/7. Which is bigger: r or 7?
7
Let b = 1.6 + -2. Let f = -0.5 - b. Let t be (-117)/99 + (-4)/(-22). Which is greater: f or t?
f
Let x = 1646/5 - 328. Is 1 smaller than x?
True
Let d = 2659/35 - 397/5. Is -2 less than d?
False
Let v = 591/5 - 119. Suppose -3*x = 4*b + 14, -5*b + 4*x - 1 - 1 = 0. Which is smaller: b or v?
b
Let k be 1/(-3 + 5/2). Let f be 29/(-20) - 8/(-32). Which is smaller: k or f?
k
Let j be (-4)/2*60/450. Let c be (0/(0 + 2))/1. Which is bigger: c or j?
c
Let k = 15/4 - 17/4. Which is smaller: k or 6?
k
Let m = -21 + -9. Is m >= -3?
False
Let a = 23 - 21. Which is smaller: -5/7 or a?
-5/7
Suppose -20 = t + 2. Let z be (-1 - -3)*2/t. Which is smaller: -1 or z?
-1
Suppose 2*j - 52 = y - 2*y, j = 5*y - 249. Suppose 5*r = 4*l + y, 2*r + 0*l + l - 20 = 0. Let g be r/6*(-6)/4. Is g > -4?
True
Suppose r + 129 = -2*r. Which is greater: r or -42?
-42
Let f(g) = g**3 - 30*g**2 - 31*g - 62. Let o be f(31). Is o smaller than -62?
False
Suppose -3 = -5*h + 7. Suppose 3*q = 8*q. Which is bigger: q or h?
h
Let a be 6 - 2*(-1)/(-2). Let f be 6/(-8) + 689/156. Is f > a?
False
Let f = 0.083 - 0.153. Which is smaller: 0.05 or f?
f
Let h = 52 + 46. Let b be h/6 - (-10)/15. Suppose 0 = 5*u + 2*f - 0*f + b, u - 2 = 5*f. Which is smaller: u or -2?
u
Let n = -26 - -21.3. Let t = 5 + n. Let z = t + -0.4. Is z at least as big as 0?
False
Let g(y) = -3*y + 1 - 2*y + 7*y. Let c be g(-1). Which is smaller: c or -3/7?
c
Let l(p) = p**2 - p - 1. Let g(k) = k**2 + 6*k + 5. Let c be g(-5). Let r be l(c). Which is smaller: 0 or r?
r
Suppose 5*q - 5*f + 4*f + 62 = 0, -3*f = 3*q + 30. Is q not equal to -13?
True
Let w be 2 + (-10)/7*1. Suppose -2*g + 6*g = -16. Let y be (-8)/g + 2/(-2). Are y and w nonequal?
True
Let c = -5/142 + 643/2130. Is 0 > c?
False
Let g = -0.9 - -0.9. Which is bigger: -2/33 or g?
g
Suppose -c = -3*y - 0*c + 17, 25 = 3*y - 5*c. Suppose y*z = -7 - 3. Suppose -3*m - 9 = -m + r, 3*r + 21 = -3*m. Do m and z have different values?
False
Let g be 1/1*3 - 2. Let s be 0 + (-1 + g - 1). Does -3/7 = s?
False
Let w = 0.9 + 1.1. Let z = -2.1 - -2.1. Is z >= w?
False
Let y = -127/981 + 2/109. Let f be (-1 - -1) + (0 - -1). Which is bigger: f or y?
f
Suppose -2 + 6 = 4*c. Let l = -26 + 27. Does c = l?
True
Let t(v) = -2*v - 25. Let c be t(-13). Are c and 12/11 unequal?
True
Suppose 12 = -3*o, 4*u + 39 = -4*o + 15. Let t be u - ((-2)/2)/1. Which is bigger: t or 2/13?
2/13
Suppose 5*g + 2 - 33 = -2*k, g = -5*k + 20. Suppose g = 2*a + 3. Which is smaller: a or 3?
a
Let p = -6 + 1. Let z = -19 - p. Let g be (-1)/z*4/3. Which is greater: -1 or g?
g
Suppose 6 = -t - 2*t, -9 = r + 4*t. Suppose -3*c - 3 = -4*c. Suppose 10 = -2*n - c*n. Is r at most n?
False
Let p = -6 + 1. Let f be -1*-1*(-2)/p. Which is bigger: -1 or f?
f
Suppose 4*g - 2 = -62. Let y be (-9)/g*(-1 - -6). Is y greater than 4?
False
Let t = -6 + 5. Let j(l) = -l**2 + 1. Let c be j(t). Is c bigger than -2?
True
Let j = -3 + 1.1. Let m = j - 0.1. Are 2/3 and m equal?
False
Suppose -y + 19 = 24. Which is smaller: y or -6?
-6
Suppose 0 = q + 3*i - 11, 0*q - 3*i + 8 = 4*q. Which is smaller: -1/27 or q?
q
Let g be 42/72*(-13)/(-42). Let k = -1/18 + g. Is k < 1?
True
Let g = 84 - 47. Which is smaller: 36 or g?
36
Let m = 3.031 + 0.069. Let u = m - 0.6. Let z = u - -0.5. Is z not equal to -0.1?
True
Let v = 4 + -4. Let c = 25555248/205 + -124660. Let x = 6/41 - c. Is x not equal to v?
True
Let i = 0 - 1. Let n = -1.1 - i. Let f be 1 + 2 - 72/27. Which is greater: f or n?
f
Let n be (-9)/(1170/(-352)) - (-2)/(-5). Which is smaller: -2 or n?
-2
Suppose -4*v + 2 = -3*h, 5 = -2*v + 4*h + 1. Suppose 0*b = -5*c + 3*b - v, 0 = -2*c - 5*b - 7. Which is smaller: c or -2?
-2
Let x = -37/24 + 3/2. Does 1 = x?
False
Suppose -30 = -8*l + 3*l. Let y be 2/7 - l/21. Which is smaller: y or -3/10?
-3/10
Let o = 9 - 6. Suppose -3*l + 4*n = 32, -3*l - 2*l = -o*n + 35. Is -4 at most l?
True
Let w = -8 + 8. Let v = 3/10 + 1/5. Do w and v have the same value?
False
Let c(j) = -j - 10. Let f = -7 - -4. Let q be c(f). Which is greater: -6 or q?
-6
Let h = 3881/20 - 194. Is -1 != h?
True
Let v be (0 + -2)*6/(-12). Which is smaller: -13 or v?
-13
Let r = 2 - 3. Let t = -0.1 - -0.1. Let b = t + r. Which is greater: b or 0.7?
0.7
Let g(o) be the third derivative of -o**6/120 - 3*o**5/20 - o**4/3 + o**3/6 + 3*o**2. Let q be g(-8). Is 4/5 at most q?
True
Suppose -17 = -4*w - 13. Is 2 > w?
True
Let a = 11 + -16. Let h = 21 - 28. Do a and h have the same value?
False
Let f = -26 + 26.07. Let w = 0.6 + -0.57. Let b = f + w. Which is smaller: 1 or b?
b
Let d be 100/(-42) - 4/(-6). Does d = -2?
False
Let g be 27/(-21) + 0 + 1. Let m = -0.39 + -0.71. Is m less than g?
True
Let f be (1 - 0)/((-35)/(-7) + -7). Let g(h) = -2 - 1 - 2*h + 5*h. Let r be g(2). Is r greater than f?
True
Let r be 0 + 2/((-3)/(-3)). Let h be r/(-6)*3/4. Which is bigger: h or 0?
0
Let v be ((-6)/8)/((-15)/8). Which is greater: 2/7 or v?
v
Let y = 2.869 - 0.019. Let j = y + 0.15. Let x = -2 + 1.9. Which is smaller: x or j?
x
Let z = 53 + -64. Is z < -6?
True
Suppose 4*t + 1 = 145. Let r be (-2)/(-72) + 8/t. Let b = -2 - -3. Which is smaller: b or r?
r
Let g be 0/((1 + 0)/1). Let n = g - 0. Which is bigger: 3 or n?
3
Let o(d) = -d**3 + 6*d**2 - 6*d. Let u be o(4). Let r = u - 9. Are r and 3/7 equal?
False
Let l = 0.5 - -0.5. Suppose -2*f - 10 = 0, 0*f + 5*f = 3*x - 31. Do l and x have different values?
True
Let h = 82 - 85. Is h less than -3?
False
Let n be (11066/(-336))/(-11) - 3. Is n less than or equal to 0?
True
Suppose 5 = -14*l + 19*l. Do l and 1/31 have the same value?
False
Let s = -865/17 + 51. Is 1 > s?
True
Let l be ((-4)/(-16))/((-17)/4). Which is bigger: l or -1?
l
Let v = -34/15 + -17/5. Is -5 at most as big as v?
False
Let t(w) = -6*w - w + 0*w - w**3 - 9 + 9*w**2 + 2. Suppose u - 40 = -4*u. Let p be t(u). Is p <= 1?
True
Let d(c) = -5*c - 4. Let z be d(3). Let y be 2/(-6) - z/12. Which is greater: 1 or y?
y
Let v = -1 - -1.9. Let x = 1 - v. Which is greater: x or 0.04?
x
Let v(x) be the second derivative of x**3/3 - 2*x**2 + 9*x. Let j be v(3). Which is greater: j or -0.1?
j
Suppose -u - 4 = u. Let x be (u/4)/