1 greater than or equal to m?
False
Let x = 4.89 + 0.11. Let v = x - 6. Which is greater: 2/5 or v?
2/5
Let a be (18/(-45))/(2/(-10)). Suppose 0 = -y - a*l + 5*l - 11, -17 = 3*y - 5*l. Is 1 <= y?
True
Let p(f) = 3*f - 1. Let u be p(2). Are 1 and u equal?
False
Let r(o) = -o**2 - o + 1. Let g be 2 + (0 - (-2 + 3)). Let t be r(g). Let l be 2*(-2 - (t + -2)). Which is bigger: 3 or l?
3
Let u(t) = t**3 - t**2 + t + 1. Let w be 2/(-11) - (-18)/(-22). Let k be u(w). Does k = -3?
False
Let d = -13 + 14. Is 0.3 equal to d?
False
Suppose 3*g - 3 = -0. Let r be 0 + 0/(1/g). Let w be ((-6)/(-16))/(12/8). Which is greater: w or r?
w
Suppose -32 = -3*r + 4*f + f, 3*f + 39 = 4*r. Let l = r + -5. Is l >= 4?
True
Let x be (-2 - 87/(-18)) + -2. Which is smaller: x or 2?
x
Let g = 0 - -2. Let k(p) = 5*p**2 - 2*p + 1. Let b be k(1). Suppose g*r = -b - 0. Which is smaller: r or -3?
-3
Let j = 11 - 11. Is 0 at most j?
True
Let z(t) = 6*t**3 + 14*t**2 + 8*t - 4. Let d(n) = -n**3 - n**2. Let a(p) = -5*d(p) - z(p). Let q be a(-8). Is q greater than 2?
True
Let p be (-7)/6 - 1*3/(-18). Which is smaller: 1/8 or p?
p
Let c be ((-72)/330)/(2/(-40)). Let u = 347/77 - c. Let g = -12/35 + u. Which is smaller: g or -0.1?
g
Let b = 58 - 57. Which is smaller: b or 1/11?
1/11
Suppose 0 = 2*d + d - 21. Is 4 at least as big as d?
False
Suppose -2*a - 2*d - d = -12, -3*a + 4*d - 16 = 0. Let y be (-42)/12 + (-9)/(-6). Is a not equal to y?
True
Suppose -4*a - 9 = m + 9, -m - 2 = 0. Let o(f) = -f + 6. Let k be o(7). Let w = a - k. Which is smaller: -1 or w?
w
Let y be 0/(0/(-2) - -2). Let r = 1 - -3. Suppose 3*n + w + 9 = -2*w, -r*n = -2*w - 6. Do n and y have different values?
False
Let u = 76 - 75. Is 4 at least as big as u?
True
Let r be 9/6*2/7. Is -2/11 greater than r?
False
Let i(l) = l**2 + 21. Let n be i(0). Suppose 5*f - 2*h = 34, -n = -3*f + 2*h - h. Is f bigger than 9?
False
Let g be -2 + -2 + 0 + 3. Is -2/27 not equal to g?
True
Suppose 0 = 4*a + 8 + 4. Let u(q) = q**2 + 5*q + 3. Let r be u(a). Which is smaller: -4 or r?
-4
Let p = 1310/57 + -82/19. Which is greater: 20 or p?
20
Let o(a) = a**2 + 6*a - 3. Let x be o(-6). Let k = 10 - 4. Let r = k + -7. Which is smaller: x or r?
x
Let p(h) = -72*h**3. Let k = 7 - 8. Let c be p(k). Let r be c/16*2/3. Is r >= 1?
True
Let n = -2.3 - -0.3. Let y = n + 2.1. Let i = 0.1 - y. Which is greater: i or 0.1?
0.1
Let i = -6 - -4. Suppose 0*j + j = 12. Suppose -4*y - 3*p = -y - 9, -j = 4*y - 2*p. Do i and y have different values?
True
Let k = -1 - -3. Suppose 0 = 4*o - 5*o. Is o <= k?
True
Suppose -22 = -3*i + i. Let l = i - 11. Is l smaller than 1/4?
True
Let w be 1/2 + (-3)/6. Let k = -1/598883 + 137144597/233564370. Let h = k - -1/78. Is w >= h?
False
Suppose 2*t - 3 = 5*t. Which is smaller: t or -33/2?
-33/2
Let o(p) = -p**2 + 10*p - 13. Let t be o(9). Let d be 1/t*(-1)/2. Is d at least as big as 0?
True
Suppose 0 = 2*u - 2*f + 10, -3*u - 7 - 32 = 3*f. Which is smaller: u or -12?
-12
Suppose 0 = -2*p + r - 0*r + 12, 5*r = 3*p - 11. Suppose 3*c = -8 - p. Let n(s) = s**2 + 4*s - 4. Let i be n(c). Which is greater: 3/7 or i?
i
Let c = 14 - 10. Suppose -3*d + 10 = -3*k - 5*d, c*d = -5*k - 20. Which is smaller: 3/13 or k?
k
Let k(m) = -m - 10. Let a be k(-10). Are 2/27 and a nonequal?
True
Let k be (-1)/(5/(-110) + 0). Which is smaller: 23 or k?
k
Let w = -1.3 - 8.7. Let y = w - -14. Let n = y - 4. Is n greater than or equal to 0.2?
False
Let n(y) = 56*y**3 - 2*y**2 + 2. Let j be n(1). Which is smaller: j or 57?
j
Let j = -2 - 1. Is j < -2?
True
Let h(b) be the second derivative of b**3/6 + 3*b**2 - 3*b. Let k be h(-6). Is k at least as big as -1/3?
True
Let p(w) = -w**2 + 6*w + 88. Let c be p(0). Which is greater: 87 or c?
c
Let q = 8200/13 + -632. Which is smaller: q or 0?
q
Let g = 2/551 + -1663/2755. Does 0 = g?
False
Let h = 6 + -4. Suppose 16 = -2*r + x - 3*x, 0 = -2*r + 4*x + h. Is -4 not equal to r?
True
Let r = 0.4 + 0.6. Let x = 1.1 - r. Let h = -0.2 + x. Which is smaller: 0 or h?
h
Let g be (0 - 0) + 2*1. Suppose s + 3*y + 3 = 0, 2*y + 1 = -s + y. Which is greater: g or s?
g
Let y = 2.7 + -2.8. Are y and -2 nonequal?
True
Let f = 37 + -33. Is f at most as big as 4?
True
Let t(k) = -k**2 - 8*k - 1. Let i be t(-8). Let p be -1 - -6 - (-2)/i. Suppose -y + 3 = 3*h - 0*y, h - p = -y. Which is smaller: -1 or h?
-1
Let v = 2/2069 + -244148/6207. Let r = -40 - v. Which is smaller: r or 0.2?
r
Let c = -33/7 + 113/21. Suppose -12 = 3*x - 3*n, 3*x = -2*x + 2*n - 32. Let b(s) = s + 9. Let k be b(x). Is c > k?
False
Suppose 11 = 2*z + 3*q - 0*q, 5*z + 4 = 3*q. Let w = -2 + z. Suppose 0 = -5*p - 0*p - 10. Is w less than p?
False
Let w = 0 + -9. Let l = w + 8.9. Is l smaller than -7?
False
Let v be (-1)/(-1*5)*-2. Let m = -2162/273 + 111/13. Let l = m - 1/3. Is l at most v?
False
Let g(w) = w**3 - 4*w**2 + 5*w - 2. Let y be g(3). Suppose 0*b = -y*b. Let p = b - 0. Is p less than 1/8?
True
Let i = 6 + -5.8. Let n = i - 0.4. Is n bigger than 1/2?
False
Suppose -3*j = 9 - 3, -5*j = -2*d - 52. Is d smaller than -30?
True
Let t = -177/4 + 44. Is 6 > t?
True
Let c = 13 + -13. Let i be 1/(-4)*(0 - -2). Is c greater than i?
True
Let m = 21/5 + -99/20. Let o be 14 + 0*1/(-2). Suppose 5*z + o = 4. Which is bigger: z or m?
m
Let v = -41 - -20. Is -1/3 greater than v?
True
Let h = -52 - -55. Do h and -0.3 have different values?
True
Let o = -0.78 + 0.68. Are 37 and o equal?
False
Let r(m) = -m**2 + 20*m - 19. Let k(x) = 3*x + 1. Let s be k(6). Let u be r(s). Which is smaller: 2/7 or u?
u
Let z be 2 + -2 + -2 + 0. Is z at most -2?
True
Let m be (-1)/(3/18*2). Are m and -24/11 unequal?
True
Let u = 1.8 - 1.7. Is u not equal to -23/4?
True
Let k(a) = a**2 + 4 - a**2 - a + a**3. Let u be k(0). Suppose -r - 15 = -4*r. Which is greater: u or r?
r
Let l = 259/1125 + -1/125. Is l greater than 22?
False
Let l be ((-2)/(-6))/(3/9). Are l and 5/14 non-equal?
True
Let d = 0.16 - 0.86. Are 1 and d unequal?
True
Let i = 8 + -9. Let d be 3 + i + (-14)/8. Is 0 > d?
False
Let x = 318 - 606. Let y = x + 2588/9. Is y >= -1?
True
Let s(y) = y + 4. Let o be s(-4). Let a be 180/875 + (2/(-7))/1. Is a at most as big as o?
True
Let t = -5 + 5.15. Are -1 and t non-equal?
True
Suppose l - 5*u - 11 = -2*u, 16 = 4*l + 2*u. Suppose 2*k = -4*q + 20, 3*q = -l*k - q + 26. Which is bigger: 1 or k?
k
Suppose y - 2 = -0*y. Suppose -y*m = -0*m - 4. Do 4 and m have the same value?
False
Let t = -1/84 + -5/21. Which is smaller: t or 2?
t
Let y = 2 + -5. Let u = y - 2. Let f = 5 + u. Is 0 <= f?
True
Suppose 0*y - 75 = -5*x + y, -2*x + 18 = 2*y. Suppose 4*w + 2*c - x = 4*c, 5*c = -w + 31. Let s = -5 + w. Is s at most 3?
True
Let g = -2 + 0. Let i be g/8 - (-1)/4. Let c = -35 + 104/3. Which is smaller: c or i?
c
Suppose 0 = -j + 1 + 3. Suppose 0 = -5*k + 25, 0 = j*i + 5*k - k - 36. Suppose -i*a - 5*r + 1 = 0, -r + 5 = 4*r. Which is greater: a or -2/5?
-2/5
Let n = 4 + -13. Let m = 15 + n. Let r = -2/7 - -1/28. Which is smaller: m or r?
r
Let p be ((-4)/(-20))/((-4)/(-15)). Is p > 1?
False
Let p = 185/3 + -61. Let b(a) = -a**3 + 4*a**2 + a - 6. Let m be b(3). Suppose -m*k = -k. Which is bigger: k or p?
p
Suppose 3*b - 7*b = -4, -3*b = -3*h - 24. Which is smaller: -1/3 or h?
h
Let g = -14 + 4. Let f = g - -12. Let k be (-4)/(-18) - 22/(-63). Is k bigger than f?
False
Let d = -107 + 108.96. Let k = 3 - 2.96. Let v = k + d. Which is greater: -2/7 or v?
v
Let d = 1.5 - 2. Is 4 > d?
True
Let j(u) be the second derivative of u**5/20 + u**4/2 - 3*u**3/2 - 2*u**2 + 2*u. Let t be j(-7). Let m be (12/(-105))/(4/t). Which is bigger: 1 or m?
1
Let w = 2036/9 - 226. Suppose -2*g - 4 = 4*u - 0, 5*u + 5 = -3*g. Which is smaller: w or u?
u
Let y(o) = -3*o - 5. Let g be y(-2). Is g greater than 1/119?
True
Suppose -v = 3*v. Suppose -2*f - 18 = -4*t, -5*f - 2*t = -4*f - 3. Let m = -3 - f. Is v equal to m?
True
Let b = -32 - -34. Let c = 8 - 12. Let y(u) = u**2 + 4*u + 1. Let w be y(c). Which is smaller: w or b?
w
Let h = 8769/9316 + -65/68. Which is bigger: 0 or h?
0
Let p = 713/13 + -55. Let z = 0.83 - 0.73. Which is bigger: p or z?
z
Let p(n) = -n. Let w be p(0). Suppose 4*q - 14 = 2. Let h be (-3)/q - 2/8. Is w at least h?
True
Let v = -3 + 0. Let q(b) = -b**3 - 4*b**2 - 5*b - 4. Let r be q(v). Suppose 0