 Let t be (-22)/(1 - (-3)/a). Let z = t + 2287/26. Is z at most as big as 1?
True
Let n be -3 + 9 - (-3 + 136). Which is smaller: -1 or n?
n
Let l(f) = -f**3 + 49*f**2 + 52*f - 100. Let a be l(50). Which is bigger: a or 1/1240?
1/1240
Let x(c) = -2*c**2 - 23*c + 36. Let q be x(-14). Which is smaller: q or -39?
-39
Suppose 3*m - 105*i + 100*i - 2947 = 0, 2*m - 1923 = -5*i. Is 974 greater than or equal to m?
True
Suppose 0 = -22*b + 28*b + 12. Is -13/10 >= b?
True
Let u(l) = 3*l**2 - 4*l - 16. Let g be u(5). Is g greater than or equal to 40?
False
Suppose 4*r = -20, 0 = 5*w - 4*w - 4*r + 263. Which is bigger: w or -1?
-1
Let l = -2.82 + 2.835. Which is greater: 0.2 or l?
0.2
Let u = -4.2 - -5. Let b = 0.408 - 0.208. Is u equal to b?
False
Let u = -576 + 5149/9. Let g = u - -7/18. Which is bigger: g or 1?
1
Let p = -36 + 60. Suppose 3*x = -2*i - p, -2*x + x = i + 9. Is x bigger than -19/3?
True
Let a(p) = 2*p**3 - p + 2. Let o be a(2). Let v = o + -10. Let m = v + -8. Which is smaller: m or 1?
m
Let z(s) = -2*s**3 + 17*s**2 - 7*s - 17. Let p be z(8). Is p not equal to -58/7?
True
Suppose -69*l = -72*l. Is l > 6/31?
False
Let o(g) = 5*g. Let c be o(1). Suppose 2*h + c = -3*h. Let j be h - 95/(-35) - 2. Is -3 at least as big as j?
False
Suppose -18*u - 1475 = -377. Let w = u + 61. Do 1/17 and w have the same value?
False
Let j be (-1*4/24)/((-81)/4). Is j greater than or equal to 1?
False
Suppose 0 = -2*q + 4*q - 2, -5*q + 13 = -d. Let y = 6 + d. Which is bigger: y or -15/7?
y
Let g = -0.1 - 1.5. Let s = 0.3 - 0.9. Let k = g - s. Which is greater: k or 2?
2
Let x be -5 - (-1)/((-49)/(-259)). Which is smaller: x or -32?
-32
Suppose 1 = -r, o + 0*o + 2*r + 36 = 0. Do -33 and o have the same value?
False
Let t be (-3 - ((-54)/10)/1) + 1. Are t and 3 nonequal?
True
Let q be -3 - 33/(5 + -8). Let c be (3*4/(-48))/((-20)/q). Suppose 0 = 2*p - 3*l + 4*l - 5, -4*p + l + 1 = 0. Is c at least as big as p?
False
Suppose 95*b - 2 = 98*b - z, 0 = 2*b + z - 7. Let w = 1 - 0. Let r = w + -1. Which is smaller: r or b?
r
Let t be (3 - (-1 + 1)) + -1. Let n be 0 + (-1)/(-2) + (-22)/(-20). Which is bigger: t or n?
t
Suppose 2*y - 6*y + 196 = 0. Let i be (-1 - -5)/((-14)/y). Let t = i + 15. Is t less than 1/14?
False
Suppose -r - 23 = -4*u, u + 3*u - 4*r = 32. Suppose -5*k - 14 + 4 = -u*i, -3*i = 3. Which is greater: -9/5 or k?
-9/5
Let v(b) = -3*b + 20. Let n(o) = -2*o - 1. Let h be n(-6). Let k(q) = q**2 - 11*q + 10. Let l be k(h). Let c be v(l). Are c and -11 nonequal?
True
Suppose -25*c + 60 = 35. Which is smaller: -2/127 or c?
-2/127
Let i = -0.13 + 0.3. Let c = 0.47 - i. Which is smaller: -1/3 or c?
-1/3
Suppose 317*t = 336*t + 114. Which is bigger: -19 or t?
t
Let v = -0.35 + -9.65. Is 0.5 at most v?
False
Suppose 0 = 17*b - 15*b + 4*o - 12, -2*b = -2*o + 6. Which is smaller: 60/47 or b?
b
Let t = -0.1 + 0.2. Let q = -37 - -32. Which is greater: q or t?
t
Let h be (-7)/(-4) + 1/4. Suppose -5*u + 5*n - 5 = 0, -u = 3*u + 4*n - 36. Let z be 4 + -4 + -3 + u. Is h greater than z?
True
Let f = 87 - 87. Which is greater: -2/207 or f?
f
Let u(c) = c**3 + 24*c**2 + 8*c + 27. Let f be u(-23). Suppose -f = 3*i - 15*i. Is i < 31?
False
Let t be 18/15*1304/(-15732). Let j = t + -2/345. Suppose v - 5*f - 20 = 2*v, 2*v - f = 4. Does j = v?
False
Let r be -1 + 0*((-1)/3 - 0). Let v(m) = 2*m**3 - 2*m + 1. Let t be v(1). Which is smaller: r or t?
r
Suppose -5*z - 2 + 7 = 0. Let y be 4 - 8/(5 - z). Suppose y = -5*u - 3. Are u and -1 equal?
True
Suppose -10 = 2*b, -3*o - 8*b - 248 = -13*b. Is o >= -94?
True
Let m = 56 + -54. Let g be -1 + 1 - m - -2. Is g at most as big as 10/7?
True
Suppose 0 = 4*n - 3*c - 30, -5*c - 5 = 5. Is 11 equal to n?
False
Suppose 20*l + 186 + 54 = 0. Is -49 less than l?
True
Suppose 4*a + 4 + 8 = 0, -2*v - a = -9. Suppose v*t = -0*t. Which is greater: -55 or t?
t
Suppose 212*x - 199*x = -13. Is 2/1027 < x?
False
Let l = -13/8 + -1/8. Let o(x) = x**2 - 5*x - 3. Let j be o(6). Suppose j*v = 12, 0 = f + 3*v - 4*v + 6. Which is greater: l or f?
l
Let z(i) = i + 18. Let v be z(0). Let m(b) = 2*b + 7. Let n be m(2). Let u = v - n. Is 7 less than or equal to u?
True
Let n be 10/(-15) + 58/(-30). Let h = 327.1 - 327. Is n less than h?
True
Suppose 2*o + 4*x = 18, 6 = x + x. Let h be o/15 - 102/(-15). Let b be h/35 - (-2)/(-10). Is b not equal to 0?
False
Let f be 10/(-8)*(-72)/(-54). Let b(t) = 2*t + 3. Let c be b(3). Suppose -5*l + 8 = -c*l. Which is greater: f or l?
f
Let t(i) = i**2 - 2*i - 31. Let d be t(0). Let h = -28 - d. Let m be ((-2)/6)/(h/(-153)). Is 17 at most m?
True
Let y(p) = -p**2 - 17*p + 131. Let g be y(-23). Which is smaller: -18 or g?
-18
Let v = -6637 - -139435/21. Let l = -10/21 + v. Which is smaller: 3 or l?
l
Suppose 21*u = 34 - 76. Do -29/30 and u have the same value?
False
Let m(c) = -c**3 - 9*c**2 + 4. Let s be m(-9). Let t be (s/66)/((-14)/(-189)). Is 1 less than or equal to t?
False
Let p be (-64)/(-6)*(-10)/((-180)/243). Which is smaller: 146 or p?
p
Suppose 2*t = -b, -b - 2*b - 5*t = 0. Let h = 9.044 + -0.044. Is h smaller than b?
False
Suppose 12*b - 9*b = -33. Let l be 2/b*(-30)/(-20). Which is greater: l or 1?
1
Let j = -42 - -30. Let c = 11.8 + j. Let k = 22 + -15. Which is greater: k or c?
k
Let w = -0.15 - -0.2. Let s = 3.86 + -4. Let o = s - -0.04. Is o less than w?
True
Let n(f) = f**3 - 11*f**2 - 13*f + 20. Let l be n(12). Suppose 144 = 2*t + 2*g, t - 76 - l = -4*g. Is 68 at least t?
True
Suppose 3*d - 317 = 5*f, -2*f - 133 = d + 4*d. Let j = f - -55. Which is greater: j or -6?
-6
Let h = -277 - -288. Which is greater: 1/4 or h?
h
Let m = 566.94 - 567. Let z = -3 - 0. Is m at least as big as z?
True
Let k be (-9 + 6)*3*(-3)/(-693). Which is smaller: k or 0?
k
Let w(k) be the second derivative of 15*k + 1/12*k**4 + 13/2*k**2 + 0 - 4/3*k**3. Let z be w(6). Which is bigger: z or 4/7?
z
Let j = 259 + -252. Is 10 less than j?
False
Let x(p) = p**2 - 771*p - 3870. Let g be x(-5). Suppose 6 = 5*m - 4. Does m = g?
False
Suppose 6732 = 107*m - 74*m. Which is smaller: m or 205?
m
Let s be 0 + -7 + 652/100. Are 1 and s non-equal?
True
Let r = 44 + -59. Let s be 120/(-9) + 6/(-9). Is r greater than s?
False
Suppose -40*z + 46*z = 0. Is z at most 1/115?
True
Let a = -0.39 + -43.61. Let b = 50 + a. Which is greater: 2/9 or b?
b
Let p(v) = -3*v + 18. Let k be p(6). Let m(n) = -3*n. Let g be m(3). Let h be (-2 + g/(-6))/1. Is h <= k?
True
Suppose 0 = 21*y - 17*y - 24. Suppose 7 = y*d - 7*d. Which is smaller: d or -8?
-8
Let x(k) = -23*k + 13. Let c be x(-2). Which is bigger: c or 60?
60
Let o be 2 + (2 + -4)/(-1). Let f be 1/(o/(-8))*-5. Let p = 14 + -4. Is f greater than p?
False
Suppose -2*v - 2*w + 12 = 0, 3 = 2*w + 1. Suppose -4*n = -3*s + n, v*s = n - 22. Let z(q) = -q**2 - 7*q - 10. Let a be z(s). Is a >= -1/45?
True
Let g be ((-7)/(-14))/((-2)/(-72)). Let t be ((-26)/(-39))/(8/g). Which is smaller: 2 or t?
t
Let a = 1121 - 1092.16. Let g = a + -29. Is -0.2 greater than or equal to g?
False
Let d(l) = 35*l - 39. Let v be d(4). Let w = 110 - v. Is 4 != w?
True
Let r be (36/8 - 4) + 236/8. Which is bigger: 28 or r?
r
Let g = 531.5 + -533. Let u = -2.8 - -3. Do u and g have the same value?
False
Let d = -228.1 - -228. Let f be ((-10)/15)/((-28)/(-6)). Which is greater: d or f?
d
Let l = 583/5 + -63552/545. Which is bigger: l or 0?
0
Let y(t) = -t**3 + 10*t**2 - 7*t - 16. Let m be y(9). Which is smaller: 38/13 or m?
m
Let a = 325 + -194. Let l = a + -120. Is 0.1 not equal to l?
True
Let a = -48 + 42.1. Let s = a + 6.9. Does 1 = s?
True
Let f = -486 - -457. Do f and 0.2 have the same value?
False
Let k be (-2 + 2)/(-7 + 3 - -1). Is k at least -1/777?
True
Let x = 27 + -45. Let y = -10110/7 + 1444. Which is bigger: x or y?
y
Let m = 207 + -189. Is 0 smaller than m?
True
Let p = -485 - -14061/29. Is 1 greater than p?
True
Let w = 0.061 + 4.739. Let a = w - -10.2. Let o = 0.9 + -1. Which is smaller: a or o?
o
Let a = -15/44 + 619/396. Is a at most as big as 0?
False
Suppose f = -2 - 2. Let m be 20/f*(-5 - -3). Let j be 3/(-2)*-6*1. Is m greater than or equal to j?
True
Let n = -27 + 35. Let g be n/((-24)/(-63))*1. Let y be (-132)/(-28) - (-6)/g. Is y at most 3?
False
Let d be 182/(-4)*(-56)/49. Which is bigger: 2/5 or d?
d
Let w be -6 