b bigger than -1?
True
Suppose -2*h - 3*u + 16 = 0, 5*h - 6 = -3*u + 4*u. Let y be -2 + (0 - -1) + 4. Suppose h*v + c + 6 = -2*c, y*v + 9 = 3*c. Which is greater: -4 or v?
v
Let a be 3/((-6)/9 - 0). Are -4 and a non-equal?
True
Let c = 0.7 - 1.7. Is c < 1/4?
True
Let g = 49285/56 + -880. Which is smaller: g or 0?
0
Let t(s) = -19*s - 1. Let q be t(-3). Let r be (-24)/q*14/20. Is r greater than or equal to -1?
True
Let y be (-44)/20 - (-2)/1. Suppose -5*z + 0*z + 20 = 0. Suppose -z*r + 5 = r. Which is smaller: y or r?
y
Let o(b) = 2*b**3 + b**2 - b - 1. Let u be o(-1). Let p = 12 - 13. Is u > p?
False
Let q(r) = r**2 + 3*r - 5. Let o be q(-4). Which is smaller: o or 30?
o
Let a be (-2610)/(-120)*((-8)/(-2))/1. Do a and 87 have different values?
False
Let t be (3 - 1)/((-9)/(-1)). Let m = 0.21 + 9.79. Let v = 10 - m. Is t greater than or equal to v?
True
Let u be 9/2*((-54)/(-6) + -13). Which is bigger: -120/7 or u?
-120/7
Suppose -5*x - 45 = -5*h, 5*x = 4*h - 15 - 19. Let n = h + -26. Is -15 < n?
False
Let q = 102/5 + -11011/540. Let m = q + 319/540. Does m = -2/5?
False
Suppose 15 = 2*x + 2*x + c, 0 = 3*x - 3*c. Suppose -4*b - 8 = 0, -3*v - 4 = -b + 3. Let u be 6*v*(-2)/9. Which is smaller: u or x?
x
Let a be 0 + 0 + (2 - -14). Let c = 13 - a. Do c and -3 have different values?
False
Let o(b) = b**2 + 10*b - 5. Let t be o(-11). Let p be ((-30)/(-9))/(4/6). Do p and t have different values?
True
Let q = 0.49 + -0.29. Is -0.09 <= q?
True
Let r(x) = -x + 12. Let b be r(9). Is b less than or equal to 9?
True
Let n be -4 - (6/2 - -3). Which is bigger: -12 or n?
n
Let p = -14/9 + 47/36. Which is bigger: p or -4?
p
Let k be (-6 - -5)*-2 - 432/214. Is -0.1 at least k?
False
Suppose 0 = -m + 5*j, -4*m = -9*m - j. Let s be -5 + (2 - m) + 4. Which is bigger: 2/43 or s?
s
Let d = 6.1 + -6. Let f(b) = b + 1. Let a be f(3). Let u = 1 - a. Which is smaller: d or u?
u
Let c be (-46)/140 - (-2)/5. Is 0 less than or equal to c?
True
Let v be (3/9 - 1) + 188/12. Is v at most 14?
False
Let m = 2 - 1. Let c be 1 + m - 22/6. Let d = 17 + -18. Which is greater: d or c?
d
Let q be (-8 - 5/5)/1. Do -9 and q have different values?
False
Let d = -15 - -21. Let n be -1 - (50/(-2))/5. Suppose -n*i - d = -2. Which is bigger: i or -1/8?
-1/8
Let o = -32 + 48. Suppose l = 3*y - o, l + y + 3*y - 19 = 0. Is 7 >= l?
True
Let q = 11089/118 - 612/295. Let r = q + -92. Is r bigger than -1?
True
Let w = -9.883 - 0.017. Let c = -10 - w. Which is smaller: 3/4 or c?
c
Let c = 13371/29 - 461. Which is greater: c or 0?
c
Let a be 0/1 + 14 - -4. Let i = a - 20. Is i <= -12/5?
False
Let d(a) = a**3 - 8*a**2 + 7*a - 2. Let z be d(7). Suppose g - 3*g = -s - 5, -g - 25 = 5*s. Suppose g = -6*b + b. Is b >= z?
True
Let a be -1 + 3/((-30)/(-14)). Let g be ((-5)/15)/(2*(-1)/(-6)). Which is greater: a or g?
a
Suppose -2*c + 16 = -14. Let s = 21 - c. Is 8 less than or equal to s?
False
Let m be (2 + -3058)*(-1)/(-32529). Let l = m + -2/1549. Which is smaller: l or 1?
l
Let k = 5.84 - -0.06. Let r = 6 - k. Is 0.1 at least r?
True
Let f be ((-20)/(-50))/((-3)/(-10)). Let s be (2 - 5)/6*-2. Suppose 1 = 2*u - s. Which is greater: f or u?
f
Let a = 1 + 2. Suppose 0 = r - 0*r. Suppose c = -2, r = -3*i + c + 2*c + 12. Which is greater: i or a?
a
Suppose -2*m + 12 = 4*c, -m + 3 + 0 = c. Let q(h) = -h**3 + 2*h**2 + 4*h. Let a be q(c). Is 3 > a?
False
Let a = -3.4 + 3. Let k = 0.41 + a. Which is smaller: k or 0?
0
Suppose -x + v = 8, 2*x = -4*v - 0*v + 14. Suppose q - 2*h = -0*h, 2*q + 3*h + 14 = 0. Is q equal to x?
False
Let d = -26 - -24. Which is smaller: -3 or d?
-3
Suppose 2*q - 19 = 3*b - 2*q, -8 = -2*q. Let o be 1/(-3)*(-6)/(-4). Is o bigger than b?
True
Let g be (-2490)/(-52)*(-66)/9. Let o = g - -351. Which is greater: 0 or o?
0
Let s be -3 - ((-115)/125 - 2). Which is bigger: s or -1?
s
Suppose 12*y - 5 = 7*y. Let p be (18/16)/(15/4). Is y less than p?
False
Let b(n) = n - 5. Let s be b(5). Suppose s*h + 11 = -h. Which is bigger: h or -10?
-10
Let x = -9.9 - -10. Do 1 and x have the same value?
False
Let x = 4 - 3. Let y be (x/6)/((-4)/3). Let i be -3 + 0/(-2) - -4. Which is smaller: y or i?
y
Let l = -69 - -68. Are l and -9/8 nonequal?
True
Suppose 0 = 5*j - 2*j - 84. Suppose -4*t = 3*p + j, 5*p - 4*t + 20 = -16. Let u be (-22)/(-8) - p/(-4). Which is greater: u or 0?
u
Let z = -4.73 + -0.27. Is z at least -3/4?
False
Let l = -63 - -59.7. Let g = 0.3 + l. Let u = 2.02 + -1.02. Are g and u nonequal?
True
Let w = -6 - -5.9. Let j = w - -0.1. Which is smaller: j or -0.6?
-0.6
Let w = -0.1 + 0.15. Let t = -0.26 - 0.09. Let j = w + t. Which is smaller: -2/7 or j?
j
Let q = 18749429/31430 + -35071/70. Let a = q - -18/449. Let s = a - 96. Are -1 and s unequal?
True
Suppose 2*x + 8 = -0*x. Let f be -1 - -2 - x/(-10). Is 3 less than or equal to f?
False
Let d be 2/(-16) - 616/64. Which is smaller: -9 or d?
d
Let m be (36/(-20) + 3)/(7/(-5)). Which is bigger: -2 or m?
m
Let g(x) be the third derivative of x**4/24 - 4*x**3/3 + 3*x**2. Let q be g(6). Which is smaller: -3 or q?
-3
Let i be (0/(-3))/(-4 - (-10)/2). Let f be ((-18)/(-56))/((-6)/(-16)). Is i >= f?
False
Let f = 28 - 20. Which is greater: f or 6?
f
Let l(d) = -d**2 - 6*d + 3. Let i be l(-6). Suppose x + 2 + i = 0. Let g be 16/90 - (-2)/x. Is g less than or equal to -0.1?
True
Let d be 1 + (-1 + -1 - -3). Suppose -4*n + d - 6 = 0. Let w = 619/9 + -69. Is n greater than w?
False
Suppose -4 = -u, -5*v + 0*v + 2*u = 28. Suppose 6 = -3*n - 3. Which is bigger: v or n?
n
Let z be -18*(-3)/((-12)/(-40)*-3). Which is greater: -61 or z?
z
Suppose 2*l - 5*l + 9 = 0. Suppose -k = 3*x - 5, -2*k = -2*x - 3*k + 2. Does l = x?
True
Let k be (26/1)/(2*-1). Which is smaller: k or -11?
k
Suppose 3*r = 8*r + 20. Let h be 1/(-4) + (-1)/r. Let d be -9 + 4 - (-6)/2. Which is smaller: h or d?
d
Let c be -2*(-2)/16 + 0. Let p = 12 - 7. Suppose 4*w - 2*d = 8, w + 20 = -w - p*d. Is w smaller than c?
True
Let z(x) = -2*x**2 - x - 1. Let v be z(0). Is v less than 5/11?
True
Suppose 0 = 3*y - 94 + 19. Suppose -5*a = -y, 4*k + 5*a - 24 - 21 = 0. Suppose -8 - k = 2*l + 5*b, 0 = -l + 3*b + 21. Which is smaller: l or 5?
5
Suppose -2*g = -0*g. Let w = -10/73 + 382/657. Is g not equal to w?
True
Let h(t) = -t**3 + 5*t**2 - t + 7. Let m be h(5). Let c = m - -1. Is c bigger than 3?
False
Let q(d) = -3*d + 7. Let w be q(-6). Suppose -3*o + p - w = 0, -2*p + 5 = -o - 0. Let k = o - -5. Is -3 > k?
True
Let h = 22/59 + 377/413. Is 1 greater than h?
False
Let i(s) = s**3 - 5*s**2 - s - 2. Let x be i(5). Is -8 less than x?
True
Let f be -1 + 534/15 - 3/5. Which is greater: 33 or f?
f
Let o be (-2)/12 - (-182)/12. Which is smaller: 14 or o?
14
Let q = -3/20 + 31/340. Is 0 not equal to q?
True
Let i be (-284)/28*2 - 4/(-14). Which is smaller: i or -0.1?
i
Let s be ((-12)/(-42))/(8/14). Which is smaller: s or -1?
-1
Let y(r) = 3*r - 5. Let b be y(4). Which is smaller: 0.2 or b?
0.2
Let t = -0.2 - 0.2. Let l = t + 1.4. Let b = l + -1.1. Which is smaller: 1 or b?
b
Let t = 31 - 32. Is 2/135 bigger than t?
True
Let b be ((-1)/(-2))/(2/8). Let r = 18 - 18. Suppose v + 2*y + 4 = r, 3*y - 1 = -2*v - 6. Is b at most v?
True
Let y be 2/6 - 5/(-3). Let r(m) = -m - 5. Let v be r(-5). Suppose -f + v = -y. Is 2 != f?
False
Suppose -17 = -4*k - t, -5*t = -4*k - 2*t + 29. Let f = 2 - -2. Suppose -5*r = n + k, f*r - 2*n = 3 - 7. Which is smaller: 0 or r?
r
Let v = 198/5 - 43753/1105. Let w = v + 33/221. Let d be 0 - 2/(-4)*2. Which is bigger: w or d?
d
Let u be (2 + (-10)/4)*0. Suppose u = 7*i - 2 + 23. Is i greater than or equal to -1?
False
Let n(k) = -k**3 - 13*k**2 - 12*k. Let u be n(-12). Suppose u*p = -2*p. Let l = p - -1. Which is smaller: 1/6 or l?
1/6
Let m(c) = c**3 + 3*c**2 - 4*c + 3. Let x = -2 - 2. Let g be m(x). Is 3 at most as big as g?
True
Let d be 6/(-14)*4/6. Suppose -6 = 3*f - 21. Suppose -f*t = -5 - 0. Is t greater than d?
True
Let r(z) = 2*z - 35. Let l(h) = 3*h - 53. Let n(o) = 5*l(o) - 8*r(o). Let x be n(7). Is 8 smaller than x?
False
Suppose a = 2*v - 0*a + 3, -v = -a + 2. Is v != 1/7?
True
Let r be (-1608)/(-40) - 2/10. Let o be (-210)/r*(-2)/3. Which is smaller: o or 3?
3
Let t be (-2)/(-200)*8/6. Let u = t - -49/75. Are 0 and u equal?
False
Let m = -18 + 17. Which is smaller