h be (-2)/(-2) - 10/(-26). Let a be ((-38)/14 + 4/(-14))*(-16)/24. Are a and h non-equal?
True
Suppose -4*z + 195 = 71. Let j = -29 + z. Is 14/11 >= j?
False
Suppose r - 22 - 2 = 0. Let d = r + -22. Which is smaller: d or 14/5?
d
Let s be -4 + (-34971)/(-63) + 1. Let v = s + -552. Let c be 2 + (-26)/7 - -2. Is v less than c?
True
Suppose 2*j - 4*v - 1 = 1, -v - 5 = -2*j. Which is smaller: 50/23 or j?
50/23
Let z = 14.94 + 0.06. Let v = -14.72 + z. Do -0.1 and v have different values?
True
Suppose 0 = -v - v. Is 15/29 > v?
True
Suppose 5*y + 2*b - 39 = 0, -12 = -7*y + 6*y + b. Let z(f) = -f + f + f**2 + 9. Let p be z(0). Are p and y non-equal?
False
Let r = 10 + -5. Let t = 1 - r. Let n = t - -3. Which is smaller: 1 or n?
n
Let o(q) = -7*q**3 - 2*q**2 - 4*q - 3. Let h be o(-2). Let d be (-2 - (-1017)/510)*h. Let m = d - 3/34. Which is smaller: -1 or m?
-1
Let h(x) = -x**3 - 35*x**2 + 36*x + 51. Let k be h(-36). Is k equal to 51?
True
Let n = -15 + 14. Let a(l) = l**2 + 9*l - 18. Let c be a(-11). Which is smaller: n or c?
n
Let a = 27.71 + -2.41. Let c = -25 + a. Which is smaller: -0.1 or c?
-0.1
Suppose 4*m - 3*r = -107, -21 - 114 = 5*m - 5*r. Let w = -16 - m. Suppose -3*h + 8*h = -w. Which is smaller: -1 or h?
h
Suppose -q - 4*q + 64 = 4*a, -4*a - 4*q = -60. Suppose -2*b + 10 + 16 = 0. Is a less than b?
True
Let z = 0.47 + 4.13. Let f = -4.5 + z. Is f not equal to -2/9?
True
Let n be (-5 - -10)/(0 - 1). Let u(r) = -r**2 - 8*r - 15. Let z be u(n). Is z greater than or equal to 8/7?
False
Let t be (-20)/(-15) + 174/(-117). Are -2 and t non-equal?
True
Let y = 758 + -424. Let m be (-5)/((-5)/(-2)) + 664/y. Are -1 and m equal?
False
Let n = -4.4 + 4.2. Let i = 417.87 + -418. Which is smaller: n or i?
n
Suppose -8776 + 9000 = 2*y. Which is smaller: y or 2?
2
Let l(r) be the second derivative of -r**4/12 + r**2/2 + 6*r. Let v be l(-1). Suppose 6*b - 11*b = v. Which is greater: -3/8 or b?
b
Let a = 583 + -196. Is a at most 387?
True
Suppose 0 = 4*i - 39 - 29. Is i at least 103/6?
False
Suppose 0*x - 5*x = 0. Let i be (0 - 0) + 3 - x. Let w = 13 - 10. Is w >= i?
True
Let b = -5.6 + 6. Let g = -13.4 - -15. Let t = g - 1.6. Which is smaller: t or b?
t
Let h be 0 - (4 + (774 - (1 - -3))). Which is smaller: h or -775?
-775
Let g be 2/(0 + (-2)/(-4)). Let w be (21/2)/((-51)/(-170)). Let f be w/11 - 24/132. Which is bigger: g or f?
g
Let o = 0.93 - -1.11. Let j = -7 + 5. Let b = o + j. Which is smaller: -1 or b?
-1
Let g be 1/((-1 + 6 - 8) + 5). Which is smaller: g or 190?
g
Let p = 888 - 73706/83. Is p less than or equal to 1?
True
Suppose r = -z - 185, 5*z - 10*r = -11*r - 929. Which is greater: z or -179?
-179
Suppose f - 12 + 0 = -5*l, -3*l = 2*f - 24. Let s = 9631/5 + -1914. Is f bigger than s?
False
Suppose -24*z + 51*z = -19*z. Is z less than -1/107?
False
Suppose 3*s = -4*u - 156, -133 + 11 = 3*u + s. Let f be 0/(-2 - (2 + -3)). Is u <= f?
True
Let h be (-2)/(-5) - (-182)/(-5). Suppose 4*q + 8 + 8 = 0, -5*q = 3*p - 31. Let v = p + h. Is -19 smaller than v?
False
Let c = 39 - 17. Let p = 126 - 127. Is c at least p?
True
Let g = 581 + -579. Let p = 17 + -113/7. Is p less than g?
True
Let d be ((-200)/140)/((-6)/7). Which is greater: -2/3 or d?
d
Let t be 1 + 2*(-1)/(-2). Let p = -24.8 + 2.8. Let d = 21 + p. Is t > d?
True
Let b be (-204)/(-16) - ((-7)/(-4) - 2). Do 18 and b have the same value?
False
Let s(k) = -17*k + 201. Let o be s(11). Which is smaller: 140/11 or o?
140/11
Suppose -16 - 8 = -4*r. Let j(l) = -l**2 + 8*l - 15. Let k be j(r). Let u(g) = -g**2 - g. Let a be u(0). Is a at least k?
True
Let s = 59 + -58.97. Let y = s - 2.43. Is y at least as big as 0?
False
Let c(q) = 3*q**3 + 2 + 3*q**2 + 1 + 0*q**3 + 5*q. Suppose -103 = 5*k - 93. Let l be c(k). Is -19 at least as big as l?
True
Let f(x) = -x**3 + 12*x**2 - 7*x - 1. Let u be f(11). Suppose -8 = 5*d - u. Is d less than 7?
False
Suppose 4*r + 1 = 5*h, 9 = 4*r - 0*h - 3*h. Let k = 9 - r. Suppose 5*m = -4*n + 25, -k*n - 3*m = n - 15. Is n > 0?
False
Suppose -w = 2*w. Let l = -116 - -113. Which is smaller: l or w?
l
Let q = 0.01 - -4.59. Let d = -3.6 + q. Is -1/2 equal to d?
False
Let v(d) = d**2 - 18*d - 2. Let r be v(15). Suppose 54 = -q - 5*s + 1, -s + 143 = -3*q. Is r <= q?
False
Let y = -9.27498 + 0.21398. Let r = y - -0.061. Which is greater: r or 1?
1
Let f be 4 + -3*(-3470)/(-2580). Which is bigger: 0.3 or f?
0.3
Let n = 75/8 + -359/40. Let h = 95 - 94. Which is bigger: h or n?
h
Suppose -5*p + 5*r - 21 = -11*p, 4*p + 4*r = 16. Which is bigger: p or 2/23?
p
Let f(p) = -p**3 - 17*p**2 - 17*p. Let k be f(-16). Let m(o) = o - 23. Let l be m(k). Let n be 2/l - (-26)/(-7). Is -2 at most as big as n?
False
Suppose -6*l + 5*l = 0. Let z = -17 + 16.83. Let q = -8.17 - z. Is q less than or equal to l?
True
Let k(d) = -34*d + 48. Let o be k(8). Is -223 less than or equal to o?
False
Let j be 4/(-7)*77/(-22). Let b = -4 + 9. Suppose 0 = -2*m - 2*u - j, -b*u = -4*m + 2*m + 26. Are 2 and m nonequal?
True
Let x = 187 + -182. Is x at least as big as -1/2?
True
Suppose 1 = -12*m + 109. Suppose -2*f = 3*q - m, 5*f - 3*q = -2*q + 65. Is f <= 14?
True
Suppose -5*o = -0*o - 3*s - 109, -5*s + 5 = o. Let n be (1/(o/16))/2. Is n < 0?
False
Suppose 3*u - 33 + 0 = 0. Suppose -3*n = -4*a + 51, 3*a - 29 = 2*n + 8. Which is smaller: a or u?
a
Let f = -2063 - -2380. Is f < 317?
False
Let p be -33 - -32 - 4/(-21)*6. Suppose -2*r - 3*j = -2, -2*r + 4*j = 3*j - 2. Which is smaller: p or r?
p
Suppose 0 = 4*d + d - 2*g + 60, 0 = d - 4*g + 30. Let x be 6/125*(-6)/(12/d). Which is smaller: 0 or x?
0
Let o = 658 + -658. Do 14/33 and o have the same value?
False
Let s be (-53446794)/(-576)*668/(-139006). Let r = s - 3/158864. Let a = r + 446. Is -1 less than a?
True
Suppose -4*o + 4*y + 2 = -3*o, -4*o + 8 = 5*y. Suppose -s - 11 = o*t - 2, -t = 2. Let a(i) = -i**3 + 13*i**2 - 21*i - 15. Let k be a(11). Is k less than s?
False
Let p(g) = -g**2 - 7*g - 8. Let f be p(-5). Let h be f*1 + (-15)/3. Let a be 0*h/12*2. Is a smaller than -2/3?
False
Let c = -0.4 - -9.4. Let k = 2218 + -6398/3. Let o = -86 + k. Is c at most o?
False
Let k = 2.24 - -16.66. Let y = k + -17. Is -1 at least y?
False
Let w = 23231/3 + -7641. Let y = -938/9 + w. Let d be (-7 - -2 - -1) + 2. Is d at most y?
True
Let h = 185/2 + -90. Is h < 0.29?
False
Let g be 6/(-4) + 78/(-12). Let j = g - -7. Let v be (3 + j)/(-22) + 0. Which is greater: v or 1?
1
Let t = 5 - 4. Let x be (-5)/5 - (t + 1). Let v be 0/(x*(-2)/(-3)). Which is smaller: 4/5 or v?
v
Let g = 273/20 + -67/5. Which is bigger: 3/227 or g?
g
Suppose 0 = 4*z + 92 + 60. Let y be (-3)/(-3)*1/((-2)/z). Is y equal to 19?
True
Suppose -2*j - 4 = -4*m - 2, -3*j - 12 = 3*m. Let u be m/80*3*(-2)/1. Which is smaller: -1 or u?
-1
Let u(x) = 5*x + 10 + 6*x - x**3 + 0*x**2 + x - 10*x**2. Let d be u(-11). Let h = 1019 - 17325/17. Which is smaller: h or d?
d
Let h = 3/10 - 41/70. Is h != 41?
True
Let c = 10 + 3. Suppose 15*g - c*g = 12. Is 8 at most g?
False
Let k = -2.94 - -0.94. Let t = -8 - -15. Suppose 3*c - t = -2*y, 4*c + 4*y - 17 + 1 = 0. Which is greater: c or k?
c
Let n = 83 + 24. Is n bigger than 108?
False
Let k(d) = 20*d**3 + 3*d**2 + 4*d + 3. Let x be k(-2). Which is smaller: -151 or x?
x
Suppose -3*v + 28 = -3*w + 1, 19 = v - 3*w. Suppose d - 3*d + v = 0. Suppose -d*o + 3*y - 12 = -3, -3 = -y. Which is smaller: o or -2/11?
-2/11
Let k = 16 + -20. Let v be 12/171*2/k. Are 1 and v non-equal?
True
Let v be ((-4)/(-20))/((-1)/(-5)). Which is smaller: 3 or v?
v
Let p be 3 + (0 - (3 + -3)). Let z(b) = -b**3 + 4*b**2 - 4*b + 4. Let g be z(p). Let l = 41/5 - 8. Which is smaller: l or g?
l
Let p be -5 + (291 - -1)*-2. Is p greater than or equal to -589?
True
Let m = 0.39 + -0.39. Suppose -g - 3*u = -13, 5*g - 2*g - 9 = u. Suppose 2*c + 0*c + 10 = -3*a, -g*c + 2*a = -12. Do c and m have the same value?
False
Let c be (-5038)/12 - (-16)/(-96). Is c not equal to -418?
True
Let f = 85 - 87. Let h be f*1/(-6)*2. Is 3/19 bigger than h?
False
Suppose 15 = 3*c - 6*c. Let t = c - -11. Which is bigger: 4 or t?
t
Let b = 1897 - 1897.3. Which is smaller: b or -8/3?
-8/3
Suppose 77 = 5*c - 4*a, 2*c - 88*a + 83*a = 24. Suppose -5*w - 98 = -10*w - 4*t, 5*t + 62 = 4*w. Is w < c?
False
Let k be 6/27 - 2274/27. Is -81 