1/70 and l non-equal?
True
Suppose 4*u + u - 5 = 0. Which is smaller: u or 6/7?
6/7
Let j(h) = -h**2 - 15*h + 14. Let b be j(-15). Let k(t) = -19*t**2 + 2*t - 1. Let l be k(1). Let p be (-2 - l/b) + 1. Which is smaller: 1 or p?
p
Let f = 20/63 + -2/63. Let h = 1/21 + f. Are -0.01 and h equal?
False
Let q be 2*1/((-1)/(-2)). Suppose -q*o + 7 + 9 = 0. Suppose o*k = k. Is k at most 1?
True
Let o be (-8)/(-9)*12/(-16). Let l be 5/(-6) - 2/(-3). Let j = l - o. Are j and -1 nonequal?
True
Suppose -f - 4*f = 0. Let i = f - -2. Suppose i*q - 2 = 4*q. Which is smaller: q or 0?
q
Suppose 2*y + 2 = 0, 0*c - 2*y = -4*c + 18. Let m be 1/((-3)/c) - -1. Which is bigger: -1/4 or m?
-1/4
Suppose 0 = r - 4 - 15. Is 19 < r?
False
Suppose 0*w = 4*w - 5*o, -w + o + 1 = 0. Suppose -2*a = -3*s + w*s, 5*s = 5*a. Which is smaller: s or 0.8?
s
Let g be 0*-1*(-2)/(-4). Let d be (-2 - 3)/(-5) - 5/7. Is g smaller than d?
True
Suppose 2*r + 0*r - 42 = 0. Suppose -2*u = -0*u - 4*h + 16, 0 = 3*u + 3*h - r. Suppose 2*t - 2 = -0. Is u > t?
True
Suppose 5 = -3*d + 17. Which is greater: 2 or d?
d
Let a = -0.34 - -0.24. Is -7 <= a?
True
Let a = -0.9 - 2.1. Let z = -3.06 + 0.06. Let q = z - a. Is -2 at least q?
False
Suppose -2*l + 2 = 4. Is 2/15 equal to l?
False
Let s = -20 + 23. Which is bigger: 4 or s?
4
Suppose 0 = -8*w - w - 0*w. Which is bigger: w or -1/25?
w
Let x = 13 + -4. Let p = -9.3 + x. Let z be 0 + -2 + 0 + 1. Which is smaller: z or p?
z
Let x be -1*4/(4/(-3)). Let n(b) = b**2 + 3*b - 2. Let f be n(-2). Let s be (-2 - f) + (-4)/x. Is s greater than or equal to 1?
False
Let f be (-228)/645 + 10/25. Is f not equal to 0?
True
Let i = 12 + -10. Which is smaller: -10 or i?
-10
Let z(h) = h**2 - 4*h - 6. Let y be z(6). Suppose y*u + 14 = 8*u. Which is smaller: 6 or u?
6
Let g be (-6)/3 + 7 + -4. Which is smaller: -1/13 or g?
-1/13
Let z be 8/(-6) + (-1)/(-3). Suppose -2*t = -s - 5, -3*s = t - 0*s - 13. Let d be 4/t*(-1)/(-4). Which is smaller: z or d?
z
Let a = -169/3 - -57. Let o be (0 - -2) + (-2)/(-2). Let l be -6*o/(-1 + -8). Is a greater than l?
False
Let j = -0.25 - -0.37. Which is greater: j or -3/8?
j
Suppose -3*l - l = -36. Let u = l + -9. Which is bigger: -1 or u?
u
Let y be (-3)/((-4)/(24/9)). Suppose -y = r - 0. Is r at least as big as -2?
True
Suppose i - 18 = 4*p, 2*i + i - 2*p = 14. Suppose 2*g + i = 3*g. Let k be (g/(-2))/(55/(-5)). Which is smaller: 1 or k?
k
Let j = 20.4 - 19.8. Let q = 2.9 + -3. Let k = 0 + q. Which is greater: k or j?
j
Let k(j) = 7*j - 4. Let w be k(3). Which is greater: w or 6?
w
Let b = -7.703 + -0.197. Let c = 8 + b. Which is greater: -10 or c?
c
Let r = 36 - 37. Which is greater: -2/111 or r?
-2/111
Let g(m) = 2*m. Let u be g(-6). Let v(z) = -z - 11. Let n be v(u). Let o(b) = 2*b**2 + b. Let r be o(-1). Is n less than or equal to r?
True
Let l be 16/(-24)*3/7. Is l smaller than -11?
False
Let t = 1 - 1. Let r be -4*-1*(-3)/3. Let o be 10/(-4)*r/60. Is o at least t?
True
Let p = -2 - -6. Suppose -3*n + 12 = -p*q + 2, -5*n = -2*q - 12. Let l = 172/3 + -58. Which is greater: l or q?
l
Let f = -15.95 + 16. Let u = 0.25 - f. Let m = -1.3 - -0.3. Which is bigger: u or m?
u
Suppose 10 = 5*d - 0*d. Let z be 16*(-2)/18 + d. Is z greater than -1?
True
Let k = -4.9 + 4.8. Is -9 at least as big as k?
False
Let d be ((-2)/(-5))/((-24)/(-40)). Which is bigger: d or 2?
2
Let w = 0 + -3. Let z be -1 + (-7 + -4 + 8 - 0). Is w equal to z?
False
Suppose 0 = 3*u - 0*u - 216. Suppose -u + 27 = 5*j. Let m be 3/j - 0/2. Which is bigger: -1 or m?
m
Let h be (56/30 - 2)*-282. Let m = h + -38. Let o = -3/14 + -1/126. Is m at most as big as o?
True
Let l be -3 + 5 + (0 - 2). Let n = -8 - -12. Let c = n + -7. Which is smaller: c or l?
c
Suppose -4*h = h - 2*w - 3, 0 = 4*w + 16. Let p be h - ((-57)/15 + 3). Which is smaller: p or -3?
-3
Let f = -10 + 32. Let r = -21 + f. Let i be ((-6)/1 - -2)/1. Which is bigger: i or r?
r
Let m(v) = v**3 + v**2 - 108. Let f be m(0). Let s be (-2 + f/(-20))*5. Which is bigger: 16 or s?
s
Suppose -3*h - 5*t + 1435 = -593, h = t + 684. Let k be (-6)/h*(-1 + -1). Let a = 960/2951 - k. Is a less than 0?
False
Let y = -13 + 20. Let w(v) = v - 5. Let n be w(y). Suppose -2*x = -0 + n. Is 0 bigger than x?
True
Let h = 2/139 + -147/556. Let t = 9 + -7. Is h smaller than t?
True
Suppose -18 = -5*x + 2. Let m(l) = -l**3 + 14*l**2 + 14*l + 17. Let c be m(15). Is x less than c?
False
Suppose y - 5*v + 14 = 0, -2*v + 7*v + 2 = -3*y. Let c be (-5)/(-20) + 2/y. Let d = -3 - -4. Which is greater: d or c?
d
Let z be 5/50*((-38)/(-6) + -1). Is 0 at least as big as z?
False
Let d = 27 - 21. Which is greater: d or 1?
d
Let h be (81/12)/((-9)/(-24)). Is 18 smaller than h?
False
Let r(g) = g + 2. Let s be r(-4). Let p(j) = j**2 + 4*j. Let w be p(-3). Is w greater than or equal to s?
False
Let k = -17 - -15. Let f be (-1 - -2)*(-3 - k). Which is smaller: 6/13 or f?
f
Let i(g) = -g**3 - g**2 - g + 1. Let a be i(1). Let j = -31 + 36. Let p be a/j*6/4. Which is bigger: p or -1?
p
Let t = 27.19 - 27. Let l = 0.01 + t. Which is bigger: -1/4 or l?
l
Let c be (7 + -9)/(5 + (2 - 3)). Suppose -i = 2*s, -4*i + 11 - 1 = -2*s. Is s at most c?
True
Let z = 351 + -2462/7. Let n = -1 + 0. Is n at least as big as z?
False
Let w = 19 - 6. Suppose -w = 3*t + 5*s, 0 = 5*t - 0*t - s - 25. Suppose 0*z - t*z = 0. Is 3/4 equal to z?
False
Suppose f = -2, 2*f + 4 = 2*x + 5*f. Suppose -q + 2*q - 2 = 0, 4*q = b + x. Is b <= 3?
True
Let i be 14/(-1*(0 - 1)). Let z be i/(-40) + 12/16. Which is smaller: -1 or z?
-1
Let y = -8 - -22. Let f be (-4)/y + (-132)/(-315). Let i be (0/3)/((-1)/1). Which is smaller: i or f?
i
Let i = 2.989 - -0.071. Let g = i - 0.06. Let k = -0.3 - -0.2. Is k <= g?
True
Suppose -d - 4*f - 11 = -0*d, -5*d - 3*f - 4 = 0. Let b = -1 + 1. Suppose -u = -2*u - 2*s, 5*u - 5*s = b. Is u equal to d?
False
Suppose 1 = -4*x + 21, -4 = 3*w + x. Which is greater: -8/5 or w?
-8/5
Let b = 38 + -38. Which is bigger: -2/63 or b?
b
Let m be ((-6)/(-8))/(3*1/36). Does m = 9?
True
Let y = 8 - 6. Let f = 3/440 - 15513/440. Let u = 35 + f. Is u at least y?
False
Suppose -5*c + 190 = -35. Let t = -30 + c. Let u be (-21)/t + 6/15. Is 0.3 bigger than u?
True
Let m be -1 + (-2 - (0 + 0)). Let j be (-1 - (-3)/2)*4. Let h = j + -6. Is h <= m?
True
Let x be (-3)/(-36)*(-40)/(-15). Which is greater: x or 1?
1
Suppose -4*r = -16, 108 = 6*j - 2*j - 4*r. Let g = -61/2 + j. Let v(b) = b + 5. Let k be v(-5). Is g bigger than k?
True
Let f(p) = -2*p + 1. Let k be f(-1). Suppose 20 = -k*m + 8*m. Suppose -2*h + 5*a - 16 = 0, 10 = -h + m*h + a. Is 2 at least h?
True
Let u = 1.9 - 2. Let c be 24/60*(-30)/(-8). Is u at most c?
True
Let t(u) = u - 8. Let o be t(9). Let l = 2417/157 + 4/785. Let v = l + -46/3. Is o smaller than v?
False
Let a = 53 + -87. Is a at most -33?
True
Let n(p) = -2*p**3 + 2*p. Let j be n(-2). Let r = j - 11. Which is greater: r or 4?
4
Let x be 2 - (1 - 0) - 0. Suppose n + 0 = -x. Which is smaller: 1/10 or n?
n
Let u = 41.9 + -42. Which is smaller: u or 30?
u
Suppose 0 = -b + 5 - 1. Suppose -b + 2 = 2*w. Are w and -3/4 nonequal?
True
Suppose 23 + 47 = 5*w. Let m be (-32)/14 + 4/w. Which is smaller: m or -1?
m
Let l(k) = k**2 + 11*k + 13. Let h be l(-9). Let m be ((-10)/(-4))/h*0. Let f = -5 + 23/5. Which is smaller: f or m?
f
Let r be 4*1/4 - (-2 - 0). Suppose -2*f + 3*f + 4 = s, 5*f = 3*s - 18. Which is bigger: s or r?
r
Let i be (9/6)/(10/(-12)). Is -2 at most i?
True
Suppose 0 = -4*n - 4*u + 24, -n + 2*n + 5*u = 22. Let d be ((-84)/(-7))/(-4) - 14/(-2). Which is greater: n or d?
d
Let d(g) = -g - 1. Let p be d(-5). Let z = p - 2. Let x = -3 + z. Is -3/4 smaller than x?
False
Suppose 2*o = -o. Let f = -0.01 + -0.99. Which is bigger: f or o?
o
Let h(x) = -x**2 + 16*x. Let t be h(16). Does t = 1?
False
Let u(f) = f**2 - 19*f + 31. Let d be u(17). Is d <= -3?
True
Let f = -2 + 0. Is 2 at least as big as f?
True
Let b be (2 - 0) + (-936)/10. Let q = 92 + b. Let s = 5 - 5. Is s at most q?
True
Let j(w) be the second derivative of w**5/10 + w**4/6 + w**3/3 + w**2/2 + w. Let l be j(-1). Let g = 137 - 137. Is l bigger than g?
False
Let j be (2/(-4))/(1/(-6)). Suppose -j = -c - 2. Let m(o) = o**3 + 6*o**2 - o - 3. Let t be m(-6). Which is bigger: c or t?
t
Let i be (0/1)/