.3?
0.3
Let u = 381 + -296. Is 85 <= u?
True
Suppose -2*n = 5*c - 36, 5*c - 32 = -3*n - n. Let a(f) = 2 + 1 - c*f + 7*f. Let q be a(0). Which is greater: q or 4?
4
Suppose 2*o + r + 0*r = -8, -5*o = -2*r + 11. Let v = -20 + 28. Let x be 1 - (v*-1)/(-2). Is x less than or equal to o?
True
Suppose -2*r + 4*w = -804, 46*w = -3*r + 51*w + 1207. Do r and 405 have different values?
True
Let s be 9/2*(-6)/(-9). Suppose -s*m + 8*m + 55 = 0. Are m and -10 nonequal?
True
Suppose 0 = 8*w - 220 + 196. Are w and 2 nonequal?
True
Suppose -94*f - 5625 = -19*f. Which is smaller: -74 or f?
f
Suppose -30*m + 25*m + 5 = 0. Let d be (-6)/66*(m + 0). Which is bigger: d or 1/3?
1/3
Suppose -5*m - 17 = -3*b, 4*b + 1 = -m - 7. Is b less than 1/46?
True
Let t = -0.36 + -0.13. Are t and -4 unequal?
True
Let a(g) = -197*g + 4. Let y be a(2). Let p be 2/y*12/10. Let k = -1631/975 - p. Is k at least -1?
False
Let h be ((-12)/9 - 0)/(1/3). Let o = h - 0. Which is greater: o or -14?
o
Suppose 12 = 2*t + h - 3*h, -t + 3*h = -12. Suppose -2*i - 107 = t*i + 3*w, -i + 3*w = 7. Are -21 and i non-equal?
True
Let l be 300/(-34) + (-72)/(-12). Are -4 and l unequal?
True
Let n = -1230/73 - -30371/949. Is n less than or equal to 14?
False
Let s = -258 + 645. Which is smaller: s or 388?
s
Let t = -275 - -267. Which is smaller: t or -4?
t
Let c = 1 - 2. Let t = 91.9 + -81.9. Which is smaller: c or t?
c
Suppose -76 = -310*l + 314*l. Which is bigger: l or -59?
l
Let k be (-33)/(-22) + 900/(-598). Let l = 4751/6578 - k. Is 1/2 >= l?
False
Let w be (-1)/(-2)*6 + (-220)/55. Does 2/5 = w?
False
Let f = -229 + 604. Is f at most 375?
True
Let k(d) = -2*d**3 - 9*d**2 - 4. Let h be k(-6). Is 96 greater than h?
False
Let n(h) = 4*h**2 + 4*h + 1. Let x(c) = -5*c**2 - 4*c - 1. Let f(z) = -7*n(z) - 6*x(z). Let v be f(3). Suppose v*g + 8 = g. Which is bigger: g or -4/5?
-4/5
Let t = 177 + -178. Do t and -2/51 have the same value?
False
Let y = -17 - -2. Let t be (y/(-15))/(1/11). Which is smaller: t or 9?
9
Let n = -2 + -6. Suppose -4*q + 4*u = 8, 13 = -5*u - 12. Which is bigger: n or q?
q
Let o be 26/((-7)/(7/4)). Is o equal to -1/4?
False
Suppose 0 = 3*i - 2*c - 0*c, -5*i - 2*c = -16. Let b be i/4 + (-35)/5. Let v = -5 - b. Which is greater: v or -1/2?
v
Let k(t) = -t**3 + 12*t**2 - 8*t - 12. Let q be k(11). Let m be 14/q*(-3)/8. Is m >= 1.6?
False
Let b be (-5)/(4 - (-20)/(-4)). Let j be (-3 + b)*(-3)/(-6)*27. Which is bigger: -2/3 or j?
j
Suppose -9*z + 5*z = 16. Let n be -11*(-1 - -5)/z. Let l = -2 + 12. Is l < n?
True
Let i = 3 + -5. Let r = -317 - -1583/5. Is i at most r?
True
Suppose -5*v - 2*p = -16, -1 = -v - p + 1. Suppose 4*t - 8 = 2*n + 22, 5*t + 5*n = 15. Suppose -46 = v*l - 5*c, 0*c + 3*c = t. Is l at least 2?
False
Let h(s) = s**2 + 11*s + 28. Let q be h(-6). Let l be (1/(-2))/(4/88). Let k be -4*(l/(-9) - 1). Which is smaller: q or k?
q
Let b = -12 - -14. Let k be (27/6 - b)*-2. Suppose -5*c = 5*p + 35, -2*c = -4*p - 0*c - 16. Are p and k nonequal?
False
Let a = -1519223/12243 - -1365/11. Which is bigger: a or 1?
1
Let c(n) = n + 6. Let s be c(13). Let d = -9 + s. Let p = -80 + 90. Is d greater than p?
False
Let y = 11 + -12.4. Let c = -0.7 - y. Let h = 1/187 - 377/561. Which is smaller: h or c?
h
Suppose -6*o = -o + 95. Let r = o + 20. Let i be (12/15)/((-9)/(-15)). Which is smaller: i or r?
r
Suppose 0 = 54*g - 46*g + 176. Is 0 > g?
True
Let j be -7 - ((-252)/147)/((-2)/(-7)). Is j > -1?
False
Let l = 1.743 - 1.743. Let r = -0.75 + -0.15. Is r smaller than l?
True
Let k be (-1)/(-13)*2 + 68323/(-221). Which is smaller: -308 or k?
k
Let b(v) = v**3 + v**2. Let q be b(-3). Let m be (612/(-72))/(5/2 - 2). Is m less than or equal to q?
False
Suppose 6*t + 9 = -3. Let o be (t - -1) + 77/28. Is o less than 3?
True
Suppose -21 = 2*g - 3. Let z be (-7)/3 + (-3)/g. Let a(l) = -2*l**2 + 1. Let t be a(z). Is -8 < t?
True
Let q(r) = 10*r - 2. Let i be q(1). Let g be 12/(-6) - i/(-2). Suppose -76 = 4*t + g*m, -2*m = m - 6. Which is smaller: t or -21?
-21
Let k(w) = 1 + 7*w**3 - 7*w**3 + 2*w**2 + w**3 - w**2. Let j be k(-2). Let u be 36/(-40) + (-3)/j. Which is bigger: 1 or u?
1
Let k = 616 + -623. Let h be (-2)/(-2) - 1 - -5. Suppose -4*o = o, -4*o - 20 = h*f. Is k != f?
True
Let k be 1127/28 + (-3)/12. Suppose k = -6*x + x + 3*n, 2*x + n = -5. Is x < -5?
False
Let t = -66.1 + 69. Let b = -2.1 - t. Is b bigger than 3?
False
Suppose 9 + 7 = 4*a. Let y(w) = -18*w + 23. Let n be y(1). Let r be 1 + (a - 1) + n. Are r and 10 nonequal?
True
Let i = -7 + 5.9. Let q = 1.2 - 0.9. Is q at most i?
False
Let o = 73.33 + -2.43. Let s = o + -72. Which is smaller: 1 or s?
s
Suppose -3*x + 68 = -m + 95, -4*m = -x - 9. Is x less than or equal to -12?
False
Let b = -185 - -205. Let a = -2 + -2. Let q be (20/(-3))/(a/12). Are q and b nonequal?
False
Let i = 0.048 + -0.188. Let d = -14 - -55/4. Is i < d?
False
Let d(b) = -35*b - 7. Let w be d(-2). Which is smaller: w or 3?
3
Let q = 2043 - 2043.1. Are 1/4 and q unequal?
True
Let c = -5385 + 2040911/379. Which is smaller: -1 or c?
-1
Suppose 4*j - 16 = -4*w, 4 = 3*j + w - 6. Suppose -102 = y - j*y. Which is bigger: 52 or y?
52
Let b = -4.5 - 6.5. Let i = 13.7 - 2.7. Let u = b + i. Which is bigger: -6 or u?
u
Let x be (-9)/22 + (-109)/1199. Is x greater than or equal to 16?
False
Let o be 101*(-2 - (-852)/424) + -1. Is o > 1?
False
Let b be (2/6)/((-12)/252*1). Suppose -f + 6 = 4*z, 2*z - z + 2 = -2*f. Suppose r = -z*u - 17, -3*u + 4*r - 3 + 5 = 0. Which is smaller: u or b?
b
Let a be (9/117)/((-6)/8). Suppose 0 = 2*u - 2. Is a greater than u?
False
Let w(r) = -22*r. Let a be w(20). Let v be 30/a + (-2)/(-8). Let x be 0 - -2 - 2/2. Is x at least v?
True
Let t = 50 + -36. Let s = 15 - t. Which is smaller: 7/9 or s?
7/9
Let p be 3/(-1) + 7975/(-40). Let i = p + 202. Does i = 0?
False
Let a = 0.043 + 33.957. Let l = -25 + a. Let q = -47/2 + 24. Is q >= l?
False
Suppose -w = 4*f - 29, 5*w + 0*f = -5*f + 85. Suppose 169 + 221 = w*v. Which is greater: 27 or v?
v
Suppose 0*d - d = -4. Let s(q) = -q**3 + q**2 - q + 11. Let y be s(0). Suppose -y = -g - u, 3*g - 3*u = -g + 9. Are d and g equal?
False
Let o be 1*(-7 - -1) + -1. Suppose -3*l + 26 = 32. Let h be (-1313)/143 + l/(-11). Which is smaller: h or o?
h
Suppose 4*z - 8 = 0, 0*c + 5*z + 311 = -3*c. Are c and -107 equal?
True
Let u = 49 + -244/5. Let o(n) = -3*n**2 + 36*n + 135. Let h be o(15). Which is bigger: h or u?
u
Let n = 5 + -8. Let a = -2 - n. Let c be 44/66 + 38/(-66). Is c bigger than a?
False
Let g(b) = -b**2 + 8*b - 8. Let j = -2 - -10. Let t be g(j). Is t >= -9?
True
Let b = 533.9 - 534. Let u = -31.39 + 31. Which is greater: b or u?
b
Let r = -7743/5 + 1449. Let i = r - -100. Let z = -31060 - -31061. Is i bigger than z?
False
Let n(j) = -2*j**3 - 9 + 3*j**3 + 2*j**3 + 11*j**2 - 9*j - 4*j**3. Let c = 10 - 0. Let u be n(c). Is u < -2/15?
False
Let u be (33/(-6)*4)/1. Let b = u - 3. Suppose 774 = -27*v + 72. Which is smaller: v or b?
v
Let w be ((-52)/39)/(4/(-3)). Let n = 4 - w. Suppose -m = n*m - 28. Are m and 7 nonequal?
False
Let y be ((-5)/(-2))/((-1)/(-2)). Let t be (-8 + y)*(-2 + 1). Suppose -3*o + t = -0*o. Are o and -1/4 unequal?
True
Let f = -4789/5712 - -101/102. Does f = -1?
False
Suppose -17 = 5*s - q, -5*s + 7*s = q - 8. Are s and -75/31 equal?
False
Suppose -2*d = -3*z + 1, 4*d - 8*z = -5*z + 1. Is 12/49 at most as big as d?
True
Let c(o) = o**3 - 16*o**2 - 6*o + 50. Let p be c(16). Let u = p - -47. Let l be ((-3)/(-35))/(3/2). Which is greater: u or l?
u
Let k(d) = d**3 + 8 + 54*d**2 - 3*d - 49*d**2 - d. Let s be k(-6). Which is smaller: s or -5?
-5
Let o = -1.44 + 0.64. Which is smaller: o or -3?
-3
Let n = 94284649/412797 + -564/12509. Let w = -685/3 + n. Are -1 and w non-equal?
True
Suppose a - 2*a + j - 172 = 0, 2*j + 846 = -5*a. Let p be 22/55 + 63/a. Which is smaller: p or 1?
p
Let n be 1/((-1 - 4)/120). Suppose -3*f + 27 = 5*t + 155, 2*t + f + 51 = 0. Which is smaller: t or n?
t
Suppose -6431 = -w + 5*i, -4*i = 4*w - 16986 - 8810. Let s = -44551/7 + w. Let k = s - 82. Is 0 >= k?
True
Let a = -4.99 - -4.69. Is a > -5/3?
True
Let s = -48/5 + 346/35. Is -302 less than s?
True
Suppose 0 = 4*j - 8, 3*j - j + 174 = 2*d. Let t = d - 90. Is 3/37 bigger than t?
True
Let j be (19/14744)/(25/(