> -2/13?
True
Suppose 3*b + 1310 = 5*g, 2*g + 1026 = 6*g + 2*b. Which is smaller: g or 258?
258
Let q be 2 + 15/(1 + 4). Suppose 5*p + 65 = 3*v + v, -q*p = -5*v + 85. Let d = v + -18. Which is bigger: d or -9?
d
Let n = 1 + -1.4. Let s = -2.89 + -1.11. Are s and n unequal?
True
Let s = -7 + 6.71. Let o = s - -0.19. Which is greater: 0.23 or o?
0.23
Let n = -465 + 12553/27. Which is smaller: n or -1?
-1
Let z = -0.13 - 1.17. Let c = -0.7 - z. Let i = c - 0.9. Which is greater: 0 or i?
0
Let p(w) = 2*w + 2. Let q be p(-1). Let v be q - 7/(182/8). Let o be (-1)/(0 - -1) - -1. Which is greater: v or o?
o
Let y(f) = f**3 + 26*f**2 + f + 36. Suppose 260 = -9*j + 26. Let w be y(j). Is w smaller than 5?
False
Let u = -2 + 2. Let r(o) = -8*o - 6. Let q be r(-7). Let i be (2/(-36))/(q/(-20)). Is u less than i?
True
Suppose 4*w = -3*r + 5*r - 28, 3*w + 23 = 2*r. Suppose 11*y = 17*y + 36. Is w < y?
False
Let k(p) = 2*p**3 - 16*p**2 - 20*p + 8. Let d be k(9). Which is smaller: d or 28?
d
Let v = 0.464 - -0.536. Which is smaller: v or 407?
v
Let x = -64 + 63.2. Let g = 16 - -8. Let u = g - 47/2. Do u and x have different values?
True
Suppose -55*d = -54*d - 476. Is d >= 477?
False
Let z = -3106/15 - -207. Let q = 13/18 - 7/18. Is z less than q?
True
Let h be -4 - (-13 - (-2 - 10)). Do 218 and h have the same value?
False
Suppose 0 = -5*p - i, -2*p - 2*i = i. Suppose p*v = 10*v - 100. Is 8 < v?
True
Suppose 4*v - 29 = -3*k, 3*v + 3*k + 7 = 31. Suppose -5*w - 10 = -5*a - 0, v*a + 10 = -5*w. Let y be a + (-94)/30 - -3. Is y at most 1?
True
Let n be 25 + -24 + (-5)/4. Let k(b) = -b**2 + 1. Let y be k(0). Which is bigger: n or y?
y
Let t = 2224 - 2224. Is t equal to 7.2?
False
Let r = -6/385 - -72013/1155. Which is bigger: r or 61?
r
Let z be (6/(-20))/((-30)/(-4360)). Let q = -44 - z. Which is smaller: q or 1?
q
Let c be -2 - 0/(0 - 2). Let y be (-2)/(-3) + 58/(-6). Let i be y/3 + (-18)/(-4). Which is greater: i or c?
i
Let b be ((-528)/(-196) - 6)*28/(-6). Is 15 <= b?
True
Let u = -357 + 301. Is u at most as big as -56?
True
Let i be (-3)/(-2)*(-6)/9. Let v = 1205/12 - 2075/21. Let u = v - 307/196. Which is smaller: i or u?
i
Let b = 60 + -65. Let i = -17 + b. Are -22 and i non-equal?
False
Let s = 245/6 + -83/2. Suppose 2 = -4*i - 2. Which is smaller: i or s?
i
Let t = -1 - -3. Suppose -2*n + 3 = 3*d, t*d = -5*n - 12 + 3. Is -1 at most as big as n?
False
Let j be 64/(-160) - (-134)/(-5). Which is bigger: j or -26?
-26
Let p = 491 + -492. Which is greater: -5/47 or p?
-5/47
Let t = -40 - -44. Suppose -j = t*j - 5. Which is bigger: -1/17 or j?
j
Let v = -23.8 + 21.8. Is v smaller than -7?
False
Suppose -29*h + 2597 = -1695. Which is smaller: 144 or h?
144
Suppose -r + 3*a = -16, 0 = 3*r - 0*r - 2*a - 13. Let s be r/(-6)*(7/3 - 1). Is s smaller than 0.09?
True
Let q = 4 - 0.7. Let h = -3.4 + q. Which is smaller: -3 or h?
-3
Let x be (0/(-1) - -2)/(-2). Let z(t) = t**3 - 9*t**2 - 8*t + 4. Let o be z(10). Let r be ((-16)/o)/((-1)/(-3)). Which is smaller: x or r?
r
Let j = -41 - -10. Let a = -21 - 14. Let w = a - j. Does w = -3?
False
Let c = 9 - 4. Suppose -c*k + k - 456 = 0. Let s = k + 1141/10. Is 1 equal to s?
False
Suppose -4*j - 5*j = -2*j. Is j at most 2/139?
True
Suppose 0 = -s + 4, 3*s + 2*s = t + 24. Let f be ((-1)/8)/(3/t). Is -1 < f?
True
Suppose 5*b - 17 = 48. Is b less than 128/9?
True
Let k be 0/((0 - 2) + 1). Suppose -h - 2*j = 1, k = 2*h + 2*j + 7 - 1. Which is greater: -11/3 or h?
-11/3
Let v be (-2)/15 + (-376)/(-120). Suppose 5 = 3*a - 1. Suppose -v*x = a*x - 70. Which is smaller: x or 15?
x
Let f = -56/15 - -32/15. Which is smaller: f or -4?
-4
Let w = 177 + -355/2. Let v = -3 - -2.92. Let k = 0.05 + v. Is w >= k?
False
Suppose 2*f + 3*f = -210. Let m be (f/(-224))/(3/(-22)). Which is smaller: 0 or m?
m
Let c be (-1)/8 + (-801)/(-712). Which is smaller: c or 121?
c
Let a(l) = -2*l - 7. Let p be a(7). Let b be ((-6)/p)/(1/7). Suppose 0 = 2*r - b. Which is greater: 6 or r?
6
Let u = 35 - 34.94. Which is greater: -1/19 or u?
u
Let i(c) = -3*c**2 + 68*c - 5. Let u be i(22). Which is smaller: 43 or u?
u
Suppose 69 = -4*p - d, -2*p - 27 = 9*d - 6*d. Is p bigger than -17?
False
Let t = 768 + -100605/131. Which is smaller: 1 or t?
t
Let j be ((-1)/8)/((-1)/(-362)). Let h = 3069/68 + j. Suppose g - 1 = 8*f - 4*f, 0 = 4*g - 4. Which is smaller: f or h?
h
Let x(s) = -s + 5. Let o be x(6). Let i(r) = -r**3 + 7*r**2 + 2*r + 10. Let m be i(7). Let n be m/4*(-2)/(-4). Are o and n unequal?
True
Let r be ((-57)/(-380))/(44/10 - 2). Which is greater: -0.22 or r?
r
Let f be 10/45 - (-76)/(-99). Which is smaller: f or -2?
-2
Let d = 362872787/152 + -2387331. Let u = 79/8 + d. Do -1 and u have different values?
True
Let g = -3.66 + 3.36. Let x = -23/1260 - 2/63. Which is bigger: g or x?
x
Let w be 2/6*(5/(-1) - -20). Suppose w*h - r = -3*r, -2*r = -10. Suppose -2*x = s + 3, -5*s - 4*x = -0*x + 15. Which is bigger: h or s?
h
Let b = 2 + 0. Suppose -2*d - b = -x, 4*x - 14 = 2. Which is bigger: 1/3 or d?
d
Let v = -0.6 - -13.85. Let x = -0.25 + v. Let p = 13.09 - x. Is -1 greater than or equal to p?
False
Let v be (-1 + 17)/((-1)/(-4)). Which is greater: 63 or v?
v
Let v = -19.7 + 4. Let i = 16 + v. Does -4/11 = i?
False
Let g = 0.93 - 9.83. Let u = g + 9. Is 14 less than u?
False
Suppose 3*n - 63 = -4*o, 10 = -4*n - 2. Let b be -2 + 2/(o/21). Let k = 0.6 - 0.4. Do b and k have different values?
True
Let o = -33.5 + 27. Let i = 600 - 607. Let t = o - i. Is -3 less than t?
True
Let t = 1328/7 + -190. Let u be 4 - (-7)/((-14)/344). Let r be ((-4)/u)/(2/8). Are t and r non-equal?
True
Let f = 17 + -6. Let r = f + -11. Suppose 3 = -5*z + 2*i, 0 = -z - 3*i - 4 - r. Is z at most as big as -3?
False
Let m be 28/(-154) + (-496)/(-2486). Which is smaller: 1 or m?
m
Let l(q) = 2*q - 3. Let m be l(8). Suppose m*t - 11 = 2*t. Does -3/2 = t?
False
Let a(k) = -7*k + 2. Let i be a(-3). Suppose v + 6 = i. Let s = -14 + v. Is s at least as big as 5?
False
Suppose -8*m - 16 = -24*m. Let n be 2/(-6) - 44/(-78). Which is smaller: n or m?
n
Let s be ((-95)/(-30) - -2)*(-3)/5. Does s = -2?
False
Let o be 6/10 - (-21)/(-60). Let r be 2*1 + 5 + 7. Let k be (7/r)/((-14)/4). Which is greater: o or k?
o
Let u(n) = -n**3 - 10*n**2. Let w(c) = -c**3 + 5*c**2 + 5*c - 4. Let i be w(6). Let r be u(i). Which is smaller: r or 5/8?
r
Let u be (-3)/(-3)*-1 - -59. Suppose -u = 4*d + 2. Let o be ((-9)/(-4))/(d/8). Is o at least -2?
True
Let k(o) = 12*o + 3. Let c(l) = -13*l - 2. Let a(t) = 5*c(t) + 6*k(t). Let i be a(8). Which is greater: 63 or i?
i
Let l = -1 - -4. Suppose 0 = -2*x - 2*y + 6, 5*y - l*y + 24 = 3*x. Suppose -3*h - 7 = -2*u, -x*h - 2*u - 33 = -h. Do h and -2 have the same value?
False
Let c = 7 + -6. Let s be (c - 3) + -2 - -8. Let q be s/(-10)*1/12. Which is bigger: q or -1?
q
Let n(y) be the third derivative of 0 + 1/3*y**4 + 1/60*y**5 - 5*y**2 + 0*y**3 + 0*y. Let w be n(-8). Is w at most as big as 1/5?
True
Let s(d) = -4*d + 16. Let l be s(4). Let r(b) = b**3 + 8*b**2 - 15*b - 55. Let v be r(-9). Which is greater: v or l?
l
Let g be (-10)/(-25) + 8/(-70). Suppose 0*h + 3*n + 7 = -2*h, 2*h + 4*n + 10 = 0. Let s be (h - (-3)/(-3))/(-3). Which is smaller: g or s?
s
Let c = 22.9 + -1.2. Let m = -36.8 + c. Let w = -15 - m. Is w < 0.05?
False
Suppose -32 = -5*u + 163. Which is greater: 121/3 or u?
121/3
Suppose 0 = -9*j + 3*j + 7*j. Is 4/121 equal to j?
False
Let h be 2/(-3) + (-16)/(-6). Suppose 5*y + 3*s - 7 + 1 = 0, 4*y - 8 = -4*s. Let q be (h - (1 + y))*-1. Is 1/4 < q?
False
Let i(k) = -8*k + 23. Let n(l) = 15*l - 45. Let u(p) = -9*i(p) - 5*n(p). Let h be u(6). Which is smaller: h or -2/53?
-2/53
Let f = 6 - -12. Let a = 18 - f. Which is greater: 47 or a?
47
Suppose -219 = -2*g - g + 3*x, 365 = 5*g - 3*x. Suppose 12*s = s - 4*s + 1110. Are s and g equal?
False
Let y(o) = -4*o - 5. Let d(l) = -5*l - 6. Let x(u) = 5*d(u) - 6*y(u). Let b be x(-2). Suppose -4*f = -3*v + 33, f - 18 = b*f - 4*v. Which is greater: -7 or f?
f
Let z = 0.26 - -16.74. Let n = 11.12 - 0.12. Let m = z - n. Is -1 at least m?
False
Let u(l) = -l**2 + l - 1. Let f be u(3). Let j(s) = -s**3 - 8*s**2 - 7*s. Let q be j(f). Let g = 2232/19 + -235/2. Is q smaller than g?
False
Let g be (-91568)/160832 + (-36)/(-63). Which