l?
True
Let o = -2811/7714 + 4/551. Is o greater than 1?
False
Let c be (108/(-45))/((-4)/10). Let t be (16/c + -3)*-3. Is -6/5 at most t?
True
Let j = 1.5 + -3.2. Let p = -2.7 - j. Do -2 and p have different values?
True
Let q be 3/(((-2)/5)/(10 - 8)). Which is smaller: q or 3?
q
Let l be (1 - 1) + 28*35/84. Is l equal to 13?
False
Let n be 4 + 2/(-2) - 3. Let p be ((-64)/12)/((-14)/(-18)). Let q = -7 - p. Is q > n?
False
Let i = 2 - 8. Let j = 7 + i. Is j equal to -2?
False
Let n = -5.3 + 5.4. Which is smaller: 19 or n?
n
Let h be 2/5 + (-11)/15. Let t be (-56)/(-54)*387/(-30). Let y = t - -68/5. Is h less than or equal to y?
True
Suppose -5*m - 23 = -3*z - m, 2*z + m = -3. Is 2/9 at most as big as z?
True
Let g = -11/34 - 3/17. Suppose 0 = 2*y - 5*u - 21, 9*u + 25 = 4*u. Let c be y/((-1 - -2)*2). Which is bigger: c or g?
g
Suppose 0*w + 2*u = -4*w + 16, 4*u - 17 = -3*w. Let b be 0 - (-1 + w - 2). Let k be 15/12 + 1/(-4). Which is smaller: k or b?
b
Let u = 0.11 + -0.01. Let z = -0.1 + 0.3. Let i = z - u. Do i and -0.1 have the same value?
False
Let w = -0.7 + -0.3. Is w at most as big as 0.01?
True
Suppose 4*o - s = 2, 0 = s - 0 - 2. Let j = 0.4 + 0. Let z = j + 0.6. Is o smaller than z?
False
Suppose 4*k + 35 = -k. Which is smaller: k or -6?
k
Suppose -3*i + 2 - 6 = -5*a, -2*i = -a - 2. Let z be 2/(-8) - 1/(-4). Suppose z = 3*t - 2*t + 2*g + a, -3*g + 3 = 3*t. Which is greater: -0.1 or t?
t
Let h(t) = -t**2 + 5*t. Let k be h(4). Suppose 0 = -k*j - 12 - 0. Let d be (6 + -2)*j/4. Is -1 at most d?
False
Let a = 40 + -161/4. Let f be 1*-2 + 2 - -1. Let v be 0/(3 - 1 - f). Is a smaller than v?
True
Let w(v) = 4*v - 2. Let g be w(-3). Let u be (-2)/(-7) + (-38)/g. Let d = 0.0427 + -1.0427. Which is smaller: d or u?
d
Suppose 0 = -2*a - 41 - 15. Let l be (-15)/a - 6/21. Let u = -5 + 5. Is u <= l?
True
Let p = -0.21874 - 108.39126. Let w = p + 108. Let o = w + 0.11. Is 1 equal to o?
False
Let p be (9 - 9) + 2/(-12). Is p greater than 0.2?
False
Let o be (-54 - -3)/(1*-3). Do 18 and o have different values?
True
Let y(x) = -x + 11. Let d be y(0). Which is bigger: d or 10?
d
Suppose 4*m - 12 = -4*t, -t - m + 1 = 2*t. Suppose 5*r - 10 = 0, -5*r - 2 = 5*g + 3. Does t = g?
False
Let k be ((-1)/2)/(3/(-2)). Let j = -167.7 + 160. Let p = 8 + j. Which is smaller: k or p?
p
Let i be ((-3)/9)/(716/24). Let j = 547/895 + i. Is j >= 0.1?
True
Let h = 55 + -49. Is 5/4 not equal to h?
True
Let u(f) = -f**2 + 3*f + 5. Let c be u(4). Suppose 0 = 2*z + 1 + c. Let d be 93/(-24) - -2 - -2. Which is smaller: z or d?
z
Let n be (9/(-4))/((-6)/(-16)). Which is smaller: n or 1?
n
Let u = 0.08 - -0.02. Which is bigger: -2 or u?
u
Let p(k) = k**3 - 5*k**2 - 2*k + 7. Let g = 4 - -1. Let f be p(g). Is f bigger than -7/4?
False
Let z(n) = -5*n - 6. Let c be z(-5). Let b = c - 27. Let u(g) = -g**2 - 6*g + 11. Let w be u(b). Which is bigger: w or 0?
0
Let q be -4 + ((-6)/(-1) - 3). Do -1 and q have the same value?
True
Let p be (-3)/(-3) + 1 + 1. Let c(q) = 6*q - 2. Let d be c(2). Let n = 14 - d. Which is greater: n or p?
n
Let a be (-312)/(-14) - (-2)/(-7). Let j = -16 + a. Let u be (j/4)/((-2)/(-4)). Are 2 and u non-equal?
True
Let a = -11 + 8. Let j be 4 - (a + 5) - 1. Let m be 4/63 - 8/28. Are j and m equal?
False
Suppose -m = 2*c + 5, -2*c - 2*m + 5 = -3*m. Let a(u) be the first derivative of -u**3/3 + 4*u**2 - u - 1. Let n be a(8). Which is bigger: c or n?
c
Let q(x) = -25*x**2 + 3*x + 3. Let l be q(-1). Is -25 greater than l?
False
Let f(b) = b**2 + 10*b + 23. Let g be f(-6). Suppose 0 = -2*t - 4*x + 12, -t + 10 = 7*x - 3*x. Let n be t/6*4/6. Which is greater: g or n?
n
Let i = 2 + -6. Let q = i + 6. Does -1 = q?
False
Suppose -34 = -4*k - 6. Suppose -2*j = -5*q - 16, 0*j - 5*q = j - 8. Is k greater than or equal to j?
False
Let j = -1 + 3. Let a = j - 1.6. Which is smaller: a or -2/11?
-2/11
Suppose -2*g + n + n = -28, -n + 19 = 2*g. Suppose m = 2*m - g. Suppose 0 = -3*s - 2*z + 9, s + 4*s - m = -2*z. Is s at least as big as -2/13?
True
Let n = -0.15 + 0.05. Is 1 != n?
True
Let c = -2/5 + -7/20. Suppose -4*n = -n. Which is smaller: n or c?
c
Let n = 30 - 31. Let z = -3.5 - -3. Is z equal to n?
False
Let d = -4 + 1. Let m = d - -5. Let y = m - 5. Is -1/3 greater than or equal to y?
True
Suppose 0 = -4*m - 12, -4*m = 7*d - 2*d + 42. Is d equal to -4?
False
Let p be (-79)/(-116) + 3/(-4). Which is greater: p or -1?
p
Let j = -365 - -360. Suppose 5*k = 4*n + 27, -3 - 3 = -2*n - 4*k. Let i be n - (0 - -1)*1. Which is bigger: i or j?
i
Let k be (-8)/50*(-42)/(-28). Is 0 smaller than k?
False
Let i(d) = -d**3 - 2*d**2 - d - 4. Let l be i(-3). Let z = 5 - l. Let m be (-51)/(-18) - (z - -6). Which is smaller: m or -1?
-1
Let c be ((-9)/6)/(18/16). Which is bigger: 2/7 or c?
2/7
Suppose 0 = 3*i - 8 - 1. Let m = 6 - 3. Suppose m = -5*y + 13. Which is smaller: y or i?
y
Let a = 0.14 - 0.04. Let z be ((-4)/36)/(2/(-12)). Which is greater: z or a?
z
Suppose 4*y - 2*k + 8 = 5*y, -2*k + 8 = -y. Let q(r) = -4*r - 3. Let l be q(-2). Suppose -3*o + 2 = l. Does y = o?
False
Suppose 3*t - 21 = x, 8*x - 9*x - 31 = -5*t. Let y(n) = -2*n**3 - 3*n**2 - n - 1. Let w be y(-2). Let c = 1 - w. Which is greater: c or x?
c
Suppose -4*o = d + 69, 0*d - 100 = 5*o + 4*d. Let c be ((-2)/14)/(8/o). Is c greater than -4?
True
Let b = -3/7 - -2/21. Which is bigger: b or 1?
1
Let h = -16 + 13. Which is bigger: -2 or h?
-2
Let r = 2 + -2. Which is greater: r or -2/11?
r
Let m be (-87)/4 + 21/28. Let y be 4/6 - (-14)/m. Which is smaller: 4/3 or y?
y
Let j be 3 + -1 + -1 + 4 + -2. Suppose -a = 3*a - 16. Is a at least as big as j?
True
Let j(l) = l**2 + 9*l - 1. Let b be j(-8). Let i be (b/12)/((-42)/16). Is -1 at least i?
False
Let y be ((-6)/(-12))/((-9)/6 + 2). Is -0.07 > y?
False
Let a be (-2 - 3)*(-4)/(-4). Is a at most as big as 0?
True
Let l(s) = s**3 + 4*s**2 + s - 3. Let h be (6 + -2)/(-2) + -2. Let n be l(h). Which is greater: n or -6?
-6
Let w(b) = -9*b**3 - 3*b**2 + 4*b - 2. Let j be w(2). Let a be 3/4 - j/(-168). Is 1 != a?
True
Let p = 93972531055526033/5298593252460 + 13/26361160460. Let r = p + -88678/5. Let w = r + 4/67. Is w equal to 1?
False
Let j = -10 - -10. Which is greater: -0.4 or j?
j
Let y be 69/4 + 0/(-4). Let v = 17 - y. Which is greater: v or 3?
3
Suppose 1 = 2*o + 3*p, 0 = 2*o + 3*o + 5*p. Let x be 0 + 2*o/8. Is x less than or equal to -0.1?
True
Let a(l) = l**2 - l + 3. Let p be a(0). Let o(j) = j + 5. Suppose k + 8 = 5. Let d be o(k). Is d at most as big as p?
True
Let p = -0.17 - 3.23. Let b = p + 0.4. Let q = -4 - b. Which is bigger: q or -4?
q
Let h(t) = t + 7. Let l be h(-6). Which is bigger: l or 0?
l
Let h be (-542)/(-1330) - 3/7. Which is smaller: h or 0?
h
Suppose -5*w + l - 21 = 5*l, w - 4*l = 15. Is w greater than or equal to -1/67?
False
Suppose 9*k - 4*k = 2*v + 5, 5*v + 22 = 3*k. Which is smaller: -0.09 or k?
k
Let d = 11.7 + -14.7. Let t = -3 + 2. Which is smaller: t or d?
d
Let v = 2 - -4. Let j be v/(-48)*2*-1. Let x be (4/(-10))/((-6)/(-10)). Which is smaller: x or j?
x
Suppose 3*h - 98 - 112 = d, 3*h - 4*d = 210. Let k be 2/5 - 8/h. Let w = -6 + 3. Which is smaller: w or k?
w
Let t be (-8)/(-52) - (-184)/(-13). Is -16 less than or equal to t?
True
Suppose -2*f = f. Which is bigger: 1 or f?
1
Let d = 10 + -20. Let v be (3/(-36))/(d/(-15)). Is 1 smaller than v?
False
Suppose -j = 3*f + 11, 3*j - 6*j - 15 = 3*f. Suppose -19 = -5*n + 56. Suppose -n = 3*x + 2*x. Is x greater than or equal to j?
False
Let g = 639/10 + -64. Suppose -5*j = -6*j. Which is bigger: g or j?
j
Suppose 2*x = -3*x - 5. Which is smaller: x or -2/13?
x
Suppose 2*p - u + 6 = -4*u, 3*u = -12. Let g be (-1)/p - 2/(-6). Which is smaller: 5/6 or g?
g
Let k be -2 - -3 - (-24310)/(-24352). Let x = 1348151/9022416 + k. Let g = x - 10/39. Is g greater than or equal to -1?
True
Let u be (-4)/(-14) - (-32)/(-14). Let f = 7 - 5. Suppose -f*p - 8 = 2*p. Do p and u have the same value?
True
Let p = -0.02 - 1.98. Let y = -3 - -2.8. Let x = 0.8 - y. Which is bigger: p or x?
x
Let v be (-1)/((-1)/18*-3). Let h be (v/40)/(6/(-15)). Let m = h - 7/40. Is 0 at least as big as m?
False
Let u be 1*(2 + -3 - -24). Let b = -21 + u. Which is smaller: b or 10?
b
Let j be (10/(-3))/((-3)/9). Let s be ((-12)/j)/(6/(-15