s n?
True
Suppose -5*t - 2*x = -30, -4*t - 5*x + 29 = -3*t. Suppose -h - t = 3*b, 10*b - 5*b = -h - 6. Let j be (-22)/(-55) - 12/10. Which is bigger: b or j?
j
Let n(h) = 3*h**2 - h - h**2 - 1 + 0*h. Let s be n(-1). Which is smaller: 4 or s?
s
Suppose 4*h = -4*r + 5*r + 10, 2 = 3*r + 4*h. Which is bigger: r or 84?
84
Let f = 73 + -74. Which is greater: f or -2/43?
-2/43
Let z = -0.11 + -0.69. Let r = -4 + 3. Let g = z - r. Is g greater than or equal to -1?
True
Let c(d) = d**2 + d + 3. Let u be c(0). Let j = 9 - u. Suppose -3*a + 0 = -j. Is 2 at least a?
True
Suppose -f + 3*b - 12 = -2*f, -4*f - b = 7. Suppose -x = -4*x. Suppose 0 = -5*z - 5*n - 25, -n + x*n - 13 = 3*z. Is f smaller than z?
False
Suppose -3*f + x - 1 = 0, 1 = 5*f + x - 4*x. Do -5/13 and f have the same value?
False
Let v = 4 - 2. Let i = -0.06 - -0.11. Let l = -0.15 - i. Are v and l unequal?
True
Suppose 3*t - t - 5 = 3*n, -4*t = 5*n + 45. Is 0 at least as big as t?
True
Suppose -4*t + 1 = -3. Let r(w) = w - 1. Let j be r(8). Let m be 14/j - 136/70. Which is smaller: t or m?
m
Let s = 9 - 10. Which is bigger: s or -1/14?
-1/14
Suppose 2*n = n + 2. Suppose 2*r + n + 0 = 0. Let x be (2/(-6))/((-4)/(-6)). Does r = x?
False
Let f be (1 + 1 - -26)/((-24)/36). Is -42 at most f?
True
Let a = 38 + -40. Are a and -1 unequal?
True
Let b = -44 + 43.8. Which is greater: 1 or b?
1
Let z be (-152)/368 + (-2)/(-4). Suppose k - 2 = -1. Is z less than or equal to k?
True
Suppose -46 = -5*v - 16. Suppose f = v*f. Let s = 3 + -2. Which is greater: s or f?
s
Let h = 4 - 5. Let c be (h - 2)*(-4)/3. Are c and 3 non-equal?
True
Let k = -0.57 - -0.07. Let v = 0.7 + k. Which is greater: v or -2?
v
Let i = 7.6 - 3.3. Let q = 4 - i. Let u = q - -0.3. Are u and -0.2 equal?
False
Let a be 2/8 - (-1)/(-4). Let r = 5 + a. Is r less than 6?
True
Let c = -21 + 20. Let f be -3 - (-190)/32 - 3. Is c at least f?
False
Let x = 58 - 83. Which is bigger: 1/2 or x?
1/2
Let l = -120 + 92. Which is greater: l or -27?
-27
Suppose 12 = -o + 3*o. Let q = o + -2. Suppose 2*x = 3*s + 9, 3*x - 3*s = -2*x + 18. Is x at most as big as q?
True
Let t be 2/(304/(-247) - (-2)/(-13)). Which is greater: -1 or t?
-1
Let y = 0.36 + 0.14. Let o = 1.5 - y. Is -1 greater than or equal to o?
False
Let r(q) = -q + 1. Let g be r(2). Which is greater: g or -3/43?
-3/43
Let g(m) = -m - 7. Let u be g(3). Is -8 >= u?
True
Let z = -5 - -5.5. Let u = z - 0.3. Let j = 1.2 - u. Does 3 = j?
False
Let u = 22 - 27. Which is smaller: u or -3?
u
Let y = 58 - 62. Let g = 7 + -11. Is g equal to y?
True
Let y(f) = f**2 + f - 3. Let o be y(-3). Suppose -c + 4*c + 2*k - 15 = 0, -c = 4*k - 15. Suppose 0 = 4*t + o*z + 12, c*t + 3*z + 12 = 2*t. Does -1/5 = t?
False
Let y be (-5 + 4)/1*1. Do y and 6/47 have different values?
True
Suppose 3*h - 10 = f, 3*f + h - 10 = -0*h. Suppose -4*t + f*d - 14 = 0, 6 = d + 1. Which is smaller: t or 5?
t
Let d be ((-18)/16)/(12/104). Which is smaller: d or -10?
-10
Suppose 2*v - 8 + 0 = 0. Suppose 3*h = m + 2, -v*h = -3*h + 3*m + 6. Let k be (2/(-1))/2*1. Is k not equal to h?
True
Let l = -18.5 - -18. Let g = 2.7 + -1.7. Is g greater than or equal to l?
True
Let h = 126154880573/42001 + -292425426/97. Let d = -11079 - h. Let y = -880/3031 - d. Is y > -1?
True
Let x(g) = 2*g + 12. Let k be x(10). Suppose 4*o = -4*t - k, 3*t = 4*o + 4 - 0. Is -4 equal to o?
True
Let m = 113 + -1018/9. Are m and 0 nonequal?
True
Let k = 8 + -12. Let d = k + 18. Suppose 0 = -5*g + d + 6. Which is greater: g or 0?
g
Let f = 43 + -42. Let t = 0.1 - 0.3. Is t less than f?
True
Let h(u) = 11*u - 7. Let t be h(-3). Let z be (-2)/9 - t/18. Is 2 at least as big as z?
True
Let s(q) = q + 6. Let g be s(-6). Suppose 0 = a - g*a + 1. Let n be 5/3 + (-2 - a). Which is bigger: -4 or n?
n
Let s be 3368/(-32) + 3/(-4). Let x be ((-2)/5)/(s/10). Are x and 0 nonequal?
True
Let w = -4 - -4.6. Let z = w - 0.5. Do z and -2/11 have the same value?
False
Let a = -15 + 15. Is a bigger than 5?
False
Let w = 4 + 6. Let z be (-8)/48 + w/(-12). Is z > -8/9?
False
Let q = 9 - -19. Let w be 10/(-25) + q/45. Let i = w + 5/18. Is 1 not equal to i?
True
Let n(o) = o**3 - o + 28. Let l be n(0). Suppose -3*m + 1 = l. Which is smaller: m or -8?
m
Let o = -7 + 3. Let c(r) = r**3 - 3*r**2 + r - 3. Let u be (-14)/(-5) - (-1)/5. Let z be c(u). Is o < z?
True
Let u = -4 - -13. Let y = -2 + u. Is y greater than or equal to 0?
True
Suppose -6*m = r - 4*m + 73, 121 = -2*r + m. Is r at least -62?
False
Let y = 0 + 4. Let z = -2 + 1. Which is greater: z or y?
y
Let s = -13458 + 202006/15. Let d = s - 29/3. Does 2/3 = d?
False
Let s be 3/(-9) + 110/6. Suppose a - s = -a. Suppose 3*m - a = -3. Is m less than or equal to 0?
False
Let w be 267/(-1408) - -3*8/132. Is w greater than or equal to 0?
False
Let r = -7 + 21. Let x = -14 + r. Let t be (-7)/(-12) - (-1)/(-3). Which is smaller: t or x?
x
Let j(g) = 2*g**2 - g + 1. Let i be j(1). Let y be (1/3)/(57/30). Let b = -3/19 - y. Which is bigger: b or i?
i
Let j = -7.28 + -0.32. Let l = j + 8. Let x = -1 + 0. Are l and x unequal?
True
Let u = 21/2 + -143/10. Which is smaller: -5 or u?
-5
Suppose 4*a + 3*x - 9 = 0, 3*x + 1 = a + 5*x. Let t(q) = -2 - 4*q + 1 + a + q**2. Let g be t(3). Do 1/4 and g have different values?
True
Let a = 0 - 4. Let g be 3/(-7) - (-18)/(-7). Let v be 2/g*27/18. Is v at most a?
False
Let o(x) = x**3 + 14*x**2 - 17*x - 17. Let q be o(-15). Which is smaller: q or 15?
q
Let b = 108 - 107. Is 49 <= b?
False
Let f(t) = -t**2 + 5*t - 5. Let k be f(6). Let p = k + 18. Let b be p - 2/1 - 2. Is 3 greater than b?
False
Let l be 1 - (0 + 24/20). Let h(y) = -y + 3. Let p be h(4). Is p < l?
True
Suppose 2*j + 0 = 8. Suppose -j*k + 8 = -3*f - 1, -13 = -f - 4*k. Is f < 2?
True
Let h(q) = -q - 8. Let a be h(0). Let v = 5 + a. Which is bigger: v or -4?
v
Let r(c) = -c**3 - c**2 - c. Let j(g) = 4*g**3 - g**2 + 2*g + 3. Let f(d) = j(d) + 5*r(d). Let h be f(-5). Are h and 0 nonequal?
True
Suppose 4*h - 2 = 34. Suppose -2*b - 4*i = -5*b + 11, b = 4*i + h. Suppose 0 = -2*n - 2 + 6. Which is bigger: b or n?
n
Let g = 9 - 9.1. Let k = 0 - g. Which is bigger: 0 or k?
k
Let z = -171/77 + 31/14. Is z >= 0?
False
Let j = -4 - -3. Let z be (4/(-6))/(280/90). Is j >= z?
False
Let d = -326 - -653/2. Let n = -2 + 6. Is n > d?
True
Let k = 14 + -13. Are k and -1/4 nonequal?
True
Let d = 20 - 28. Let u = 5 + d. Is u <= -0.1?
True
Suppose u = 5*d - 20, -3*d + 2*u - 10 = -3*u. Let b = d - 5. Is -2 smaller than b?
True
Let g = 0 - -1. Let b be (-82)/6*(0 + g). Let k = b + 14. Which is bigger: k or -1?
k
Let l(w) = 2*w + 25. Let k be l(-14). Let g be (-2)/5 - (-57)/(-45). Which is smaller: k or g?
k
Let a = -23 - -18. Is -4 at most as big as a?
False
Let u = 31/21 + -15/7. Which is bigger: u or 0?
0
Let z = 153/4 - 2287/60. Which is smaller: z or -3?
-3
Let j = 0 + 0. Let a(o) = 3*o**2 - 1. Let m be a(-1). Let t be (1/3)/(m/4). Is j smaller than t?
True
Let p be (-9)/6 + (6 - 2). Which is bigger: p or 3?
3
Suppose 0 = 3*f - 23 - 1. Is 1 smaller than f?
True
Let c = -12 - -18. Let n be 14/c - (-2)/3. Suppose -t = n*t + 4. Is t <= 0?
True
Let k = 2.02 + -2. Suppose 110*x - 4 = 106*x. Does k = x?
False
Let s be 2*2*(-3)/(-2). Let p be (s/4)/3*0. Suppose p = -5*d + 5. Which is smaller: d or 2/15?
2/15
Suppose 5*f - l + 35 = 2*l, f - 11 = -3*l. Which is smaller: -13/3 or f?
-13/3
Let r = 1 + 16. Let n = r + -14. Is n less than or equal to 0?
False
Let w = -7227230/63 - -114712. Let j = -56/9 - w. Is j greater than 1?
False
Suppose 3*o + 5*z = 34, o = z + 3*z. Let b = o - 9. Is -4/13 greater than b?
True
Let v be 4/6*(-6)/5. Let f(q) = q**3 - 5*q**2 - 16*q + 13. Let j be f(7). Which is smaller: v or j?
j
Let f = -8 + 7. Let a be (-33)/36 + 2/3. Which is greater: a or f?
a
Let i be (3 - 3) + (-3)/(-1). Are i and 4 nonequal?
True
Let u be ((-4 - -2)/2)/3. Let o be 2/3 + 22/(-6). Let q be 1*o*(-1)/3. Which is greater: q or u?
q
Let w be (2/6)/((-4)/(-12)). Let q be 5 - 4 - (1 - 0). Does q = w?
False
Let d(p) = -p**3 - 13*p**2 - p - 7. Let r be d(-13). Let j = 6 - r. Which is bigger: 1 or j?
1
Let i(n) = -n**3 + 4*n**2 + 1. Let x be i(4). Is x at least 2/137?
True
Let p = -11 + 10.9. Is p less than 1/26?
True
Let t = -21 + 21.1. Which is smaller: t or -4?
-4
Let b 