)/o)/(6 + 93/(-15)). Is r at least 37?
True
Suppose 29*u + 3*i + 825 = 26*u, 0 = i - 4. Which is bigger: u or -278?
-278
Let b be 14/77 + (-1 - 9120/308). Is -29 greater than or equal to b?
True
Let w be (-6)/(-5) + -1 - (-95)/25. Suppose -q = w*q. Is q at least -21?
True
Let l = 259 - 258.539. Is l < -2?
False
Let y = 315 - 315.2. Which is smaller: -1.25 or y?
-1.25
Let a(f) = f**3 - f**2 + 1. Let g be a(0). Let t = 26 - 73. Let m = t - -613/13. Is m greater than g?
False
Let z be 7/(-14) - (-26)/140. Let v be 12/(-1)*(-9)/420. Let b = z + v. Which is smaller: 0 or b?
b
Let m(r) = 4*r - 1. Let x be m(1). Suppose 5*u + 19 = 49. Suppose -u*h = -3*h + x. Is -1 > h?
False
Let a = 7/75 - 13/675. Is 2 >= a?
True
Suppose 0 = -2*p + 3*p. Suppose p = -z + 3*z - 10. Suppose -z*d = 4 + 1. Is d >= -2?
True
Let f(g) = -2*g + 6. Let j be f(6). Let p = -10 + 10.13. Let t = p - 0.13. Is t less than j?
False
Suppose -3*l + 2*c - 86 = -26, -3*l - c - 51 = 0. Let p be (-48)/l + 2/6. Suppose -s + 40 = p*s. Which is greater: 0 or s?
s
Suppose -p + 178 = 177. Let z be -1*(2/(-2))/41. Is p equal to z?
False
Let m = 1.3 + -2.3. Let f = m - -2.4. Let s = -1 + f. Which is bigger: s or 0?
s
Let z = 954 + -955. Let m = 2.02 + 0.18. Let o = m + -2. Is z at least as big as o?
False
Suppose 2*o = 2 - 8. Let d be (-6)/(o - 30/(-8)). Suppose 4*l = -0*l - 28. Is l bigger than d?
True
Suppose -p - 9 = 4*j, -p + 5*j + 9 = -0*p. Which is bigger: p or -4/27?
-4/27
Let h be 4/(-22) - (-2)/22. Let c = -184/3 + 61. Which is smaller: c or h?
c
Let h = 1010 + -1059. Which is greater: -54 or h?
h
Let x = 145/14 + -55/7. Are -2 and x non-equal?
True
Let h(q) be the first derivative of q**3/3 - 7*q**2/2 - 6*q + 4. Let m be h(6). Suppose -8*v + 3*v - 5 = 0. Which is smaller: m or v?
m
Let j = 529 - 529. Are j and -1/1142 non-equal?
True
Suppose 0 = 2*a - a + 2. Let m(l) = -l**2 - 1. Let k(i) = -i**3 - 6*i**2 - 6*i - 6. Let s be k(-5). Let o be m(s). Is a greater than o?
False
Let m be (3 - 1)*(-32)/(-13488). Is m > 0?
True
Let m = 106 - 92. Let j = 2 - m. Do j and -12 have the same value?
True
Let t = 0.067 - -114.933. Let j = -115 + t. Are j and 7/3 unequal?
True
Let l = -152 - -170. Let z = -37 + 56. Which is smaller: z or l?
l
Suppose -9*h - 18 = 9*h. Which is smaller: h or -12/37?
h
Let w = 0.1 + 0.9. Let n = -0.55 - -18.55. Let k = n + -39. Is w < k?
False
Let h = -1 + 5. Let f(a) = -a**3 - 9*a**2 - 7*a - 2. Let k be f(-8). Let d = k + 14. Are d and h equal?
True
Let g(s) = -2*s - 3. Let t be g(-3). Let a = t + -2. Which is smaller: a or -1?
-1
Let m(b) = b**2 - 5*b - 48. Let r be m(-5). Suppose l = r - 7, 56 = -4*g - 4*l. Which is smaller: -13 or g?
-13
Let q = 0.3257 + -0.0257. Which is smaller: 214 or q?
q
Let w(d) = d - 12. Let r(z) = -z**3 - 13*z**2 - 14*z - 10. Let n be (32/40)/((-1)/15). Let g be r(n). Let s be w(g). Is 2 less than s?
False
Let r be (13/(208/24))/((-1)/1078). Which is smaller: -1618 or r?
-1618
Suppose 16*u - 1122 = 27*u. Let n = 102 + u. Is n >= -1/59?
True
Let c = -7 - -9. Suppose -3*r - 3*j - 10 = -j, 2 = -3*r + c*j. Is -11/5 > r?
False
Suppose 0 = 4*r - 13 + 1. Suppose -20 = -3*g - w - 4, 0 = -3*g + 4*w + 11. Suppose 0 = g*x - 8 + r. Which is smaller: x or 1/8?
1/8
Let i be 1*((-66)/(-3) + -1). Let f be 1/(-2) + (i/(-6))/(-7). Which is bigger: -3/28 or f?
f
Let t be -3*(-6)/18*(3 - 0). Let n = -0.6 - -0.53. Are t and n equal?
False
Let k(m) = -m**3 + 5*m**2 - 6*m + 2. Let o be k(2). Suppose 0 = h - o + 1. Suppose -4*v + 0*v + 12 = 0. Is h > v?
False
Suppose 0 = 4*d - 6*d + 4. Suppose 0 = -d*i - 39 + 9. Which is bigger: -17 or i?
i
Let v(c) = -589*c - 11. Let q be v(-3). Let p = -8813/5 + q. Are -7 and p unequal?
True
Suppose -71 = -4*x - 55. Suppose -x*s + 167 = 7. Do s and 39 have different values?
True
Let m = 40 + -16. Let v be -5 + -1*1 - m/(-12). Which is bigger: -17/5 or v?
-17/5
Suppose -34*y = -35*y. Is y less than or equal to -28?
False
Suppose 2*q = -4*z - 14, -5*z - 4*q + 3*q - 13 = 0. Which is smaller: z or 1?
z
Let y(f) = -f**2 - 14*f - 17. Let s be y(-13). Let i be 117/(-36) - 1/s. Let o be i/18 + (-164)/(-48). Which is greater: o or 4?
4
Let i be 4/10 + (-285)/25. Let s = 7 + i. Let x be (110/(-40))/((-5)/s). Is 1 smaller than x?
False
Suppose -z + 11 = 2*j, 14*z - 4*j + 2 = 12*z. Let l = 11 + -7. Which is smaller: z or l?
l
Let g = 0.079 - 38.079. Let w = g - -29. Is -3 at most w?
False
Let j = -22.63 - 0.37. Let a = 22 + j. Is 18 greater than or equal to a?
True
Let j = 11.32 + -9.82. Which is smaller: j or 10?
j
Suppose 4*x - 4*m - 43 = -7, 5*x - 35 = -5*m. Let t be (1/x)/(7/28). Is -4/5 != t?
True
Suppose q = 2*q. Suppose -z + 3 - 1 = q. Suppose 4*n = -s - 33, z*n + 0*n + 118 = -4*s. Which is smaller: -28 or s?
s
Suppose 0 = -r - 0*r + 1, 2*x + 3*r - 1 = 0. Let m = 164 - 48. Let b = m + -817/7. Which is smaller: b or x?
x
Let x be (3/(-9))/(11/99). Which is smaller: 210 or x?
x
Let u(j) be the first derivative of -11*j - 1/4*j**4 - 13/3*j**3 - 1 - 13/2*j**2. Let w be u(-12). Is w < 3/35?
False
Let x = 47.1538 + -0.0538. Let h = 47 - x. Which is smaller: h or -2.5?
-2.5
Let a = 207359865 + -1027675495625/4956. Let s = 5/708 - a. Let m = -2/7 + s. Which is smaller: m or 1/3?
1/3
Let y be (-42)/10 + 1/(-3). Let f = -16/3 - y. Let w(c) = -45*c + 674. Let p be w(15). Which is greater: p or f?
f
Let x(z) = -z**2 + 14*z - 8. Let q be x(11). Is q greater than 23?
True
Let g(j) = j**3 + 4*j**2 - 5*j - 6. Let y be (11/11)/(1/(-5)). Let f be g(y). Let p be f/(-33) + 897/(-33). Are -27 and p unequal?
False
Let b be (-5)/(-9)*16/(512/(-12)). Which is greater: 0 or b?
0
Suppose -4*q + 65 = q. Let p = 15 - q. Suppose 3*s + 9 = 5*z, s + 3*z - 7 = p*s. Is s at least 1?
True
Let i = -85 - -45. Let w be 14/(-42) + i/42 + 1. Is -2.3 less than w?
True
Let b be 1/8 - (-43834)/(-1680). Let g = b - -124/5. Is 0 at most as big as g?
False
Let r = 2853 + -2867. Which is bigger: r or -47?
r
Let l be -4 - -2 - ((-9 - -4) + -2). Let x be 3/4 + (-9)/12. Suppose -m + 4*u + 21 = x, 0 = -u + l*u + 20. Are 4 and m equal?
False
Let h be 227/(-15) - (-6)/(-180)*-4. Is h smaller than 17?
True
Let r = 415/91 + -63/13. Let m = 47/522 - 1/29. Which is bigger: m or r?
m
Suppose 0 = -2*x + 4 + 12. Let l = x + -7. Is -3/37 less than l?
True
Suppose 0 = 5*t + 5*k - 95, -5*k = -0*t - 4*t + 40. Suppose 6*g - 25 = -3*l + 4*g, 2*l + g = 15. Suppose -t = -l*j - 0. Is 3 equal to j?
True
Let h = 1.03 + -7.73. Let b = h + 6.86. Which is greater: 1/5 or b?
1/5
Suppose -k - 1 = 11. Let v be (2/(-6) - 0)*k. Let y be ((-2)/4)/((-2)/v). Which is smaller: 6/7 or y?
6/7
Let b = 34 - 35.82. Let d = b - 0.18. Let j = -1.8 - 3.2. Which is smaller: d or j?
j
Let o = 9.73 - 9.63. Let h be (-6)/(-13)*(-2)/54. Is o not equal to h?
True
Suppose 5*p + 33 - 198 = -3*a, -4*p - 4*a = -140. Let c be p/4*8/10. Suppose 228*l - 1080 - 224 = -98*l. Is l < c?
True
Let o be (-2507)/(-3924) - 4/18. Suppose y = -3*y. Is y bigger than o?
False
Let i(l) = 2*l**2 - 4*l + 0*l**2 - 3*l**2 - 7 - 5*l. Let h be i(-6). Suppose 1 = -2*o + 2*b + h, -2*b = -5*o + 13. Is 3/7 at most as big as o?
True
Let r = 65 - 58. Let l be 4/4*0 + r + -4. Which is smaller: l or -4?
-4
Let p = 1871/14 + 258/7. Let z = 2375/14 - p. Which is smaller: z or -1/4?
z
Let c(x) = x**2 - 4*x + 4. Let l be c(1). Is 1/1470 > l?
False
Let k = -30.135 - -0.135. Which is greater: k or 2/5?
2/5
Let w(r) = r**2 + 19*r - 42. Let m be w(-21). Which is bigger: m or -5/16?
m
Let w(s) = 2*s**3 + 7*s**2 - 10*s - 2. Let x be w(-5). Are -32 and x nonequal?
True
Let r = 15 + 32. Let b be (-49)/r - -3 - 2. Let m = 0 + 0. Is m greater than b?
True
Let h = -1881/80 + 47/2. Which is greater: 0 or h?
0
Let p(i) = 2*i**3 - 4*i**3 + 11*i**3. Let q be p(1). Let g be ((-4)/12)/(3/q). Which is smaller: 0 or g?
g
Let p(g) = -g**2 + 8*g - 7. Let m be p(5). Let l = m - -6. Let z be (-38)/(-57) - l/30. Which is smaller: z or -1?
-1
Let v(l) = l - 15. Let a be v(-8). Let j(s) = s**3 + 23*s**2 + s + 20. Let q be j(a). Which is greater: q or -1?
-1
Suppose -4*h - 301 - 143 = -3*v, h + 296 = 2*v. Is v less than or equal to 147?
False
Let i = 609 - 615. Are 1/13 and i nonequal?
True
Let g(q) = -q**3 + 7*q**2 - 7*q + 7. Let i be g(6). Let c = i - 4. Let b be ((-10)/3 - c)*3. Are b a