the same value?
False
Let n = -2 - -5. Let p be (-10)/(-40) - (-22)/8. Suppose -u + n*k + 14 = 0, p*u - 3*k - 20 = 4. Is u bigger than 5?
False
Let q be (-52)/9 - -3 - (0 - 3). Let j be 1 + (-3)/2 + 0. Is q at least as big as j?
True
Let h = 23.01 - 23. Let f = 106 - 532/5. Is f > h?
False
Let t = 9.3 + -1.3. Let j = t - 11. Let z = -3.1 - j. Is -2/15 equal to z?
False
Let l be (-1 - 41)*((-24)/9)/4. Which is smaller: l or 26?
26
Let x be ((-55)/(-15))/((-6)/9). Is -6 at most as big as x?
True
Let f = 8 - 4. Let z = 1 - f. Is -3 less than or equal to z?
True
Let r(k) = -7*k + 2 - 1 + 0*k**2 - k**2 + 0*k. Let a(h) = h**2 + 6*h. Let m(j) = 3*a(j) + 2*r(j). Let t be m(-3). Is t greater than -2?
True
Let m = 134/87 - 1369/29. Let f = m + 45. Which is smaller: f or -2?
-2
Let k be 14/18123*(3 + 0). Let i = 1768/18123 - k. Let c = i + -31/105. Which is smaller: 1 or c?
c
Let f = 369/2314 - 1/178. Let j be (1 - 0)*(-5 - 0). Let a = j + 5. Are f and a nonequal?
True
Let i(n) = -3*n - 10. Let k be i(-3). Which is greater: k or 2/25?
2/25
Let d be 0*(4/(-12) + 0). Is d bigger than 2/139?
False
Let q(b) = -6*b + 3. Let w be q(5). Let g be -1 + w/15 + 2. Which is bigger: g or -1?
g
Suppose 3*h + 0*h = 3*c + 21, -5*c = -4*h + 30. Is c at most 0?
True
Suppose -3*h + 0 = -9. Let v = 3 - h. Let s be -1 - (0 - 8/5). Does s = v?
False
Let x = 0.5 - 2.5. Let m = x - -2. Let j = -0.7 - 0.3. Is j >= m?
False
Let f = 49 - 49.03. Let k = -0.054 - -1.024. Let w = k - f. Which is bigger: 3/5 or w?
w
Let w be (-14)/(-49) + 23/(-7). Which is smaller: -9/5 or w?
w
Let f(r) be the third derivative of r**4/24 + r**3 - 2*r**2. Let i be f(-5). Let n = 3 + -1. Which is smaller: n or i?
i
Let l = 95 + -94. Is 2.6 smaller than l?
False
Let p(u) = -2*u**2 - 4*u + 4. Let m be p(2). Let f = -11 - m. Which is smaller: f or 2/33?
2/33
Let p(k) = 4*k**2 - 7*k + 1. Let w be p(3). Which is smaller: w or 17?
w
Let x = 0.04 + -0.04. Let n = 0.1 - x. Which is bigger: 5 or n?
5
Let t(y) = -y**2 - 5*y - 4. Let w be t(-3). Suppose 4*p = -w*d - 16, -5*p + 0 = 4*d + 35. Which is greater: -11 or d?
d
Suppose 0 = -5*i + 12 + 8. Let y be i + (1 - (-51)/(-15)). Which is bigger: 1 or y?
y
Let m = -1.8 - -1. Let r = 1.1 + m. Let v = r + -0.2. Does 0 = v?
False
Let p(q) = q + 1. Let i(f) = 1. Let v(u) = -6*i(u) + p(u). Let y be v(4). Is -1 >= y?
True
Let c = 1 + -2. Suppose 2*u - 5 + 7 = 0. Is c less than u?
False
Let f = -3 + 2.8. Let q = 86 + -82. Does q = f?
False
Suppose 10*d = 5*d. Which is smaller: d or 1/10?
d
Let y = -4.04 + 4. Let g = 0.02 + y. Let v = g + -0.18. Which is smaller: v or 2/7?
v
Let x = 131/12 - 32/3. Suppose 0*g + 3*g = 3. Do g and x have different values?
True
Let l(m) = m**3 + 4*m**2 + 3*m + 2. Let v be l(-3). Let f = -3 + v. Let k be (-8)/44 + 12/(-297). Which is greater: f or k?
k
Let q = 92 + -1181/13. Let v = 71/39 - q. Let z be 0*(1 + 3/(-2)). Is v greater than z?
True
Let p be 3 - 4 - 2/(-3). Suppose -u - 1 = 2. Which is bigger: p or u?
p
Let c be ((-18)/(-5))/((-234)/(-60)). Which is bigger: 1 or c?
1
Let x(i) = 2*i - 4. Let k be x(4). Suppose -k = 3*d - 1. Which is bigger: d or -1/12?
-1/12
Suppose 20 = 2*n + 3*n. Let s be (-30)/(-40)*n/3. Are -2/31 and s non-equal?
True
Let n = -43 + 31. Let q(t) = -t**3 - 12*t**2 + t + 17. Let b be q(n). Which is bigger: 6 or b?
6
Let a(j) = j**3 + 8*j**2 - j - 4. Let k be a(-8). Suppose -4*l + v + 2 = k*v, -2*l - 2*v + 2 = 0. Let m = -3.9 + 4. Is l greater than or equal to m?
False
Let d = 39/290 - 1/29. Is d equal to 4?
False
Let r = -5 - -2. Let l be -2 + -5 - r/3. Suppose 2*w - 12 = 4*w. Is l < w?
False
Suppose 2 = -2*c + 6. Does c = 4/3?
False
Let h = -10 + 16. Let t = h - 6. Is t less than or equal to 1/2?
True
Let g = 56 - -38. Is 93 at least as big as g?
False
Let g be (-18)/(-14) + (-2)/7. Let h = 2279/33 - 205/3. Which is bigger: g or h?
g
Suppose 0 = 7*o - 2*o + 4*o. Is o != 0.4?
True
Let t = -0.58 + -27.42. Are t and 1 nonequal?
True
Suppose g + 19 = 4. Let b be ((-2)/(-12))/(g/20). Let p be 1 + -1 + 2/8. Is p greater than b?
True
Let q = 0 - 4. Suppose -t + 5 = 1. Let p = t + q. Do p and -1 have different values?
True
Let i be (6/2*6/(-9))/(-8). Let c = 3 + 2. Which is smaller: i or c?
i
Let g = -7 + 9. Which is greater: 1 or g?
g
Let r be 1/(6/9 - 1). Let n be (2/10)/(r/(-15)). Suppose 0*z = z - 2. Which is smaller: n or z?
n
Let r = 9 - 7. Let t be -2*(-2 + (-5)/(-2)). Let x = t + r. Is -2/15 not equal to x?
True
Let w = 0 - -2. Suppose w = 5*o - 8. Let h = 43 - 127/3. Do h and o have the same value?
False
Let d be 15 - (2 + 8/(-4)). Suppose -2*h - f = -5, d = -3*h + f + 2*f. Which is smaller: -2/5 or h?
-2/5
Let k(f) = -f - 1. Let l be k(7). Is l >= -9?
True
Let x(w) = 0 - 1 - w + 2 - w. Let s be x(-1). Suppose n = 3*v - 0*n - 22, -s*v - n + 20 = 0. Which is bigger: v or 6?
v
Suppose 4*d + 5*v - 85 = -d, -3*v + 7 = d. Which is greater: 21 or d?
d
Suppose -6 + 2 = -v. Let y = 3 - v. Let g = y + 2. Which is bigger: 2/13 or g?
g
Let l be 116/5*1 + (-1)/5. Which is greater: 87/4 or l?
l
Let q = -8 + 8. Which is greater: 10 or q?
10
Let q(s) = -s**2 - 4*s + 18. Let a be q(3). Which is smaller: a or -5?
-5
Let p = -0.17 - -0.17. Which is greater: 1/8 or p?
1/8
Suppose 0*q + 8 = 4*q. Let b be 4/(-6)*-18 - 2. Suppose -5*t - h = -b, t - 6*t - 5 = 4*h. Are t and q non-equal?
True
Suppose -2*h - 4*t = -0*h, 0 = -4*h - 2*t. Suppose -8 = -4*w + 8*w. Let z be w - 1 - (-1)/1. Which is smaller: h or z?
z
Let k = 14 - 6. Let u = 9 - k. Let o be (-3 - -3 - 0)/u. Is -2/23 greater than or equal to o?
False
Suppose 4*l - 2*l - 10 = 0. Suppose -l*g - 29 = -2*w - 11, -2*w - 22 = 5*g. Which is bigger: -3 or w?
w
Let q = -63 - -60.1. Let u = -7 + 4. Let s = u - q. Which is greater: 0 or s?
0
Let y be (-4)/((-2)/(1/1)). Let t(k) = -k**3 - 3*k**2 - 4*k - 20. Let h be t(-5). Let p be y/h*5/2. Which is smaller: p or 0?
0
Let q(c) = 3*c. Let h be q(1). Let k be -9 - -6 - (-18)/4. Which is smaller: h or k?
k
Let s be 0 - (-3 + (-12)/(-3)). Is s smaller than -4/11?
True
Let v = -14 + 16. Is v > 3/2?
True
Let k = -3/457 + 11434/1371. Which is smaller: 9 or k?
k
Let j = 90 - 94. Is j less than -2/5?
True
Let f(d) = 2*d**2 - 11*d + 11. Let z be f(7). Which is smaller: z or 2?
2
Suppose 8*c - 110 = 3*c. Is c at most as big as 22?
True
Suppose 3*h = -2*h - 5*x - 15, -2*h + 3*x + 14 = 0. Is 41 not equal to h?
True
Let d be -5*(1 - -1) - -1. Let r = 7 + d. Is -4 at least r?
False
Let d(o) = o**2 - 12*o + 4. Let q be d(12). Let g be 22/q - 6/4. Suppose -2*n = -4*n - g. Is n less than or equal to -2?
True
Let o be (-2)/4*1*2. Let j(z) = 28*z**3 - z**2 + 1. Let v be j(1). Let m be ((-18)/v)/((-24)/14). Is o greater than m?
False
Let w(m) = m**2 + 8*m - 12. Let i be w(-9). Which is smaller: -4 or i?
-4
Suppose i - 12 + 9 = 0. Let r(v) = v**2 - 6*v + 6. Let o be r(6). Let t be 2/o + (-5)/(-3). Are i and t equal?
False
Let c = -7/32 - -181/96. Suppose 2*q + 2*q + 14 = -2*z, 0 = 4*z - q - 8. Which is bigger: z or c?
c
Let o(w) = -w**3 - w**2 + 5*w + 5. Let d be o(-2). Is 10/21 at least as big as d?
True
Let q be 20/(-21) + 2/3. Let h(y) = -3*y**2 + 1. Let w be h(-1). Let u be ((-2)/(-3))/(w/(-3)). Which is bigger: q or u?
u
Suppose 3*o + 4*r = 433, -2*o + 6*o + 3*r = 582. Let s be -3*(-1 + o/153). Let n = -11/51 - s. Which is smaller: -1 or n?
-1
Let x(u) = -4*u - 31. Let w be x(-8). Does w = 1/51?
False
Let s be 35/(-4) + 11/(-44). Which is smaller: s or -10?
-10
Suppose 6*g = h + 2*g + 2, 2*h - 3*g = -9. Let y(n) = n**3 + 5*n**2 - 5*n + 4. Let m be y(h). Let s = -1 + 1.2. Which is bigger: m or s?
s
Let u = -71.851 - 0.149. Let o = u + 70.94. Let p = -0.06 - o. Which is smaller: p or 0.2?
0.2
Let n be -6 - (-2)/3*6. Which is smaller: n or -9/5?
n
Suppose 3*x = -0*x + 12. Let u = 2 - x. Let t = 11/2 + -37/6. Does t = u?
False
Let y = 16 - 10. Let s = 9 - y. Let a be 1 + 1 + (-10)/4. Is s less than a?
False
Suppose 0 = -4*f - 5*p - 23, p = -f - 3*p - 3. Let r = -1899/254 + -3/127. Is f at least r?
True
Let c(j) = j**2 - 9*j - 5. Let h be c(10). Suppose -3*g - g + 13 = z, -h*z + 31 = 3*g. Let y be (3 - 1)*z/(-5). Which is smaller: y or -3?
-3
Let x be (-5)/(-10) - (-3)/6. Which is bigger: x or -1/42?
x
Let u(i) = i**2 + i. Let k be u(-1). Let r = 1 + k. Whic