 or 1?
1
Let s = -2516/3 + 838. Let t be ((-1 - -1) + -1)*1. Is s != t?
True
Suppose -4*s - 16 = 0, -2*s - 3*s = 4*c + 12. Let l be 3/c*24/9. Suppose -l*y + 5*i = -12, 3 = 4*y - 3*i - 9. Are 4 and y equal?
False
Suppose 4*d + 5*b - 91 = 5, -4*d - 3*b + 104 = 0. Let t = d - 61. Is t at most as big as -32?
True
Let l = 12 - 8. Let x = 7346/7 + -1049. Is x < l?
True
Suppose -12 - 13 = 25*f. Is f < 3/88?
True
Let q be (6 + -42)*(-80)/(-24). Which is greater: q or -122?
q
Let d = 42 + -42. Let p = 2180/104253 + 2/3363. Which is greater: p or d?
p
Let k be (-4 - (-15)/5)/1. Which is bigger: k or -2/93?
-2/93
Let f = -541 - -542. Suppose 0 = -0*v - 4*v - 8. Let s = v - -2. Is f at most as big as s?
False
Suppose -112 = 2*q + 2*q - 2*t, q + 23 = -2*t. Is q > -26?
False
Suppose 3*w - 945 = 4*w. Let s be (-18)/81 - 102/w. Which is smaller: s or 1?
s
Let i be 4 + (-39)/9 + 3. Which is smaller: 3 or i?
i
Let s = 205 - 69. Let f be (-2)/8 - (-58)/s. Do f and 0 have the same value?
False
Let y(p) = 4*p + 46. Let s(x) = x. Let z(o) = 2*s(o) + y(o). Let h be z(-7). Which is greater: 1/4 or h?
h
Let g be ((-18)/(-15))/(1/5). Suppose 2*w - g = -w. Let x(p) = 2*p - 2. Let b be x(w). Which is smaller: b or 3?
b
Let s = 2.8 - 10. Let t = s - -7. Is -0.5 less than or equal to t?
True
Suppose -2*v + 0*v = 5*j + 12, -5*v - j = -16. Let q be 0 - -2 - (2 + -16). Let l be q*(-3)/12*-1. Is v at most as big as l?
True
Suppose 36*g = 815 - 11723. Which is bigger: -301 or g?
-301
Let s = -0.013 - -0.06. Let b = 5.953 + s. Which is bigger: b or -0.2?
b
Let w = 224.3 - 232.3. Let a = 809/2 - 439. Let q = 625/18 + a. Which is smaller: q or w?
w
Let y be (36/(-14) - -2)/10. Let c(f) = -3*f**3 + 5*f**2 + 2*f + 1. Suppose -x - x + 2*t + 4 = 0, -5*t = -x + 2. Let b be c(x). Is y smaller than b?
True
Let l be 26/4*(-2)/4*4. Let z be (-3 - -6)*-1 - (0 - l). Is -18 < z?
True
Let l = 205188 - 1441878/7. Let a = l + 796. Which is smaller: 2 or a?
a
Let f = 61/165 - 2/55. Which is smaller: f or -2/7?
-2/7
Suppose 3*w = 0, 4*r - 4*w = 1003 + 309. Let t be 45/r*(-102)/(-9). Let i = t - -8/41. Does i = 3?
False
Let j be 1014/1105 - 8/10. Is 1 greater than j?
True
Let r = -4 + 3.9. Let z = -32 - -51. Let x be z/7 + 6/21. Are x and r unequal?
True
Suppose -3*a + 45 + 60 = 0. Suppose 20*h = 19*h + 4*g + 27, 101 = 3*h - 2*g. Is a less than h?
False
Let m = -407/1007 + 363479/567948. Let v = m - -2/141. Which is greater: v or -1?
v
Let v(u) = -2*u + 4. Let l(s) = s - 5. Let i(m) = 3*l(m) + 2*v(m). Let w(b) = b + 3. Let j be w(-10). Let x be i(j). Which is smaller: x or 2/19?
x
Let m = -0.1513 - -0.0513. Are m and 0.65 unequal?
True
Suppose 2*s - 4*y = -58 + 10, 18 = -s - 4*y. Let z be 17/85 - s/40. Suppose -5*t + 1 = -0*c + c, -3*t - c = 1. Which is bigger: z or t?
t
Suppose -5*a = -a + 32. Let c = 21 - 47. Let n = c - -19. Which is smaller: n or a?
a
Let y be -2 - (-2 + (4 - 0)). Let d be y/(-7) + 83/(-133). Which is smaller: d or 0?
d
Let a be (((-5)/(-22))/(-5))/(8/(-736)). Is 4 less than or equal to a?
True
Let i = -2.1509 - -0.1509. Is 36 <= i?
False
Let x be 9*10/1512 + 1/(-6). Let g be 1/(-3 + 2/1). Which is smaller: g or x?
g
Suppose -8*a + 38 = 22. Is a smaller than 26/17?
False
Let b = -98 + 245. Let r = b - 146. Which is bigger: r or 37?
37
Let x(g) = 2*g**3 - 13*g**2 + g - 8. Let y(t) = -t**3 + 7*t**2 + 4. Let m(i) = 3*x(i) + 5*y(i). Let c be m(3). Which is bigger: c or -2?
-2
Let d = 55/2 + -27. Which is bigger: 0.081 or d?
d
Suppose 3*v = -7*u + 4*u - 6, 3*v + 5*u = -6. Let d be (-20)/((-2)/(4 + v)). Let x be 17 - -6*(-3)/(-6). Do d and x have the same value?
True
Suppose -5*c - 5*t = -0*t - 20, -t + 4 = 0. Let p be 169 + 2 + 3 + -6. Let q = p - 508/3. Which is smaller: q or c?
q
Let x(y) = -3*y**2 - 2*y - 1. Let s be x(-1). Let c = 4082 + -4082. Which is greater: s or c?
c
Let b be (1 - (-10)/(-8))/(24/96). Let d be (-2)/6 + (-5)/3. Let u be ((-6)/(-68))/(d/4). Is b at most as big as u?
True
Let t be 3 - (-2)/4*2. Let i(k) = 5*k**2 - 21*k + 7. Let j be i(4). Is t smaller than j?
False
Suppose 4*j - 55 = -2*t - 7, -5*j + 25 = 0. Let x = -28 - t. Let g be (x/24)/((-2)/8). Is -0.1 equal to g?
False
Suppose 5*u + w - 8 = 0, 8*u - 2*w = 3*u - 1. Suppose -3*z = -5*y - 5, y + z = 2*z - u. Let p be y/10 - 9/(-18). Which is greater: -0.1 or p?
p
Let y = -27946 + 27756.03. Let w = y + 192. Let t = w + -0.03. Which is smaller: t or 0.2?
0.2
Let o(q) = -16 + 121*q - 5 - 117*q. Let z be o(10). Suppose 0 = -23*j + z*j - 104. Is j at least -25?
False
Suppose -5*w = -2*o + 53, -5*o - 37 = 5*w - 3*o. Let a be (3 + w)/(9/2). Which is smaller: a or 2?
a
Suppose -9*b + 51 = -66. Suppose 8 = -2*o, 5*f + 4*o - 25 = 24. Is b at most f?
True
Suppose 0 = -3*w + 5*b + 119 + 16, -w = -5*b - 55. Is w at most 40?
True
Let j be -4*-5*(-4)/(-16). Suppose -j*y + 4*o + 5 - 26 = 0, -3*y + 5*o - 23 = 0. Which is bigger: -1/5 or y?
-1/5
Suppose -2*j + 8 = -3*c, 3*c + c + 10 = 2*j. Suppose x + 3 = 4*l - j, 0 = -3*x. Suppose 3*y - l + 4 = 0. Is -7/4 < y?
True
Let t(q) = -q**2 + 11*q + 33. Let u be t(-6). Which is bigger: -209/3 or u?
u
Suppose 3 = -5*l + 2*l. Let x be (-64)/(-28) - (l + 1). Let j = x + -50/21. Is j < 1?
True
Let f = -12.1 + 28.1. Let v = -15.9 + f. Which is smaller: v or 90?
v
Let g = -18 - -58. Let u = g - 359/9. Let m = 723 - 724. Which is smaller: u or m?
m
Let u = 23.99 + 0.01. Let b = -16 - -41. Let s = b - u. Which is greater: 2/3 or s?
s
Let f = 90393/215 + -2101/5. Is f < -1?
False
Let o be 1/1*(-117)/126*10. Is o > 1/3?
False
Let w = -83/3 - -922/33. Let b = -62.5 - -62.5. Which is smaller: w or b?
b
Let h = -318 - -285. Are -31 and h non-equal?
True
Let w(t) = 47*t + 1. Let v be w(-1). Let b = 49 + v. Is b at most -0.05?
False
Suppose -4*l + p - 4*p = 469, -5*l - 4*p = 585. Let i = l + 120. Are -1 and i non-equal?
False
Let g = -55 + 57. Let a be (6/(-8))/(6/24). Let y = a - -5. Is y greater than or equal to g?
True
Let n be ((32/126)/(-8))/(6/(-42)). Is n >= -0.02?
True
Suppose -24 = -10*d + 6*d. Let t be ((-12)/9)/(1/3). Let h be 1 + d + t + -2. Is 1 at most h?
True
Let r(p) = p**2 + 3*p + 3. Let d(o) = o**2 + 7*o + 4. Let l be d(-7). Suppose -4*y + 3*c = 20, 4*y = -c - 0*c - l. Let z be r(y). Is 3/11 at most as big as z?
True
Let s = 795/7 - 114. Suppose -14*p + 6 = -8. Is p at least s?
True
Let i = 1330 - 977. Which is greater: 354 or i?
354
Let f be (-6)/10 - 2/(-2). Suppose -4*k + 35 = 15. Suppose -v = -k*v. Is v greater than f?
False
Let n = 425/1729 + -2/133. Suppose -10*g - 5*f = -5*g - 30, 3*f - 15 = 0. Is n <= g?
True
Let d = 0.14 + 6.86. Let z = 9 + d. Which is greater: 1 or z?
z
Let x be 35*(0 + (-2)/5). Let s be (0 - (-3)/(-30))*x. Let f(d) = -48*d + 242. Let n be f(5). Which is smaller: s or n?
s
Let u be ((-1)/(-5))/((-2)/10). Let q be 9321/18 + 2/12. Let c = 17096/33 - q. Which is greater: u or c?
c
Let g(r) = r**3 - r**2 - r - 1. Let z(c) = -7*c**3 + 6*c**2 + 8*c + 5. Let a(u) = 6*g(u) + z(u). Let x be a(0). Is x greater than -2?
True
Let v = 10 + -2. Suppose 2 + v = 5*t. Let f be (t/4)/(6/24). Which is smaller: 14/9 or f?
14/9
Let s = -105.1 - -118.24. Let u = 18.3 - s. Let k = u - 0.16. Is -1 at most k?
True
Let o = 179 + -1251/7. Suppose 5*f + 2 = 2. Suppose f = -2*h - h. Which is greater: h or o?
o
Let l = 35 - 32. Suppose 2*x - 72 = -l*v - 3*x, 4*v + 4*x = 88. Let i be (10/(-6))/(5/(-60)). Which is smaller: v or i?
v
Let j be (-38)/(-6) + (-58 - -52). Which is smaller: j or 408?
j
Suppose 0*j + 2*z = -j + 6, 3*z = j + 9. Suppose 12 = 3*v - j*v. Suppose 4*t = 2*w, -2*w + t - 1 + v = 0. Is 1/2 less than or equal to w?
True
Suppose 4*u + 20 = 4*y, 6 + 9 = -5*y. Let k be (-1 + 5)/(u/(-16)). Let o be (2 - (-3 + k)) + 19. Are o and 15 nonequal?
True
Let j = 229/3 + -75. Which is bigger: j or 3?
3
Let u = 125 - 120. Let h be 4/18 + 4/(-18). Let w = 4 + h. Which is smaller: w or u?
w
Suppose -5*a + 8*a = 9. Suppose -3*o - a = -0. Let i be -1 + 0 + 2/3. Which is smaller: o or i?
o
Let o(m) = 14*m - 86. Let r be o(12). Is 412/5 <= r?
False
Let s be 6/4*(6 - 4). Suppose 10 = 2*t - 4*q, s*q + 1 = -2*t - 3. Is t less than 5?
True
Suppose 0 = -o - 4*h + 1 + 12, -4*o = 2*h - 52. Suppose o - 9 = 4*a. Is 2/171 >= a?
False
Let b = 46 - 47.94. Let t = -0.06 + b. Suppose h = -5*a + 