or h?
-1
Let o(j) = 2*j - 1. Let v be o(1). Let u = -3 - v. Is 1 > u?
True
Let w = -3.01 - -0.01. Let x = w + 10. Let j = 9 - x. Which is smaller: -1 or j?
-1
Let w(y) = 11*y + 12. Let m be w(0). Is 13 greater than m?
True
Let u = 5 - 3. Is 1 < u?
True
Suppose -14*o + 164 - 430 = 0. Suppose -4*x = -3*u - 56, -4*u - 5*x - 85 = -0*u. Which is greater: o or u?
o
Suppose -p + c = -5, -4*p + 2 + 14 = -3*c. Suppose 5*b + 6 = p. Let a(y) = 3*y + 1. Let o be a(b). Which is bigger: o or 0?
0
Let m = 177/5 + -35. Let h = -0.3 + 0.3. Is m less than h?
False
Suppose v - 2*v = 3*p + 52, -4*p = 4*v + 168. Which is bigger: v or -36?
-36
Let x = -2.9 + -9.1. Let j = -11 - x. Is j > -7?
True
Let k be (-80)/(-30) + 2/(-12). Suppose 5*g + 1 = -3*o, 5*o - 65 + 0 = 5*g. Suppose 0*a = -2*a + o. Do k and a have different values?
True
Let q(g) be the first derivative of -g**2 + 4*g - 1. Let x be q(4). Let c(z) = z**3 + 15*z**2 + 14*z - 2. Let t be c(-14). Is t greater than or equal to x?
True
Let y(c) = -5*c - 3. Let x be y(-2). Let q = -12 + x. Is -5 less than or equal to q?
True
Let z be (20/5 - -6)*34/(-4). Is -86 at most as big as z?
True
Let h = -7.9 + 3.9. Is h <= 0.3?
True
Let l = -4 + 5. Let n be (-1)/3*(l + 0). Is n smaller than 1?
True
Let i = 1590 + -11112/7. Let h = i - 76/35. Which is greater: 2/7 or h?
h
Let b = 1 - -2. Let f = -10 + 30. Suppose -b*t = t + f. Is -2 bigger than t?
True
Let q be (6 - 3 - 0) + 0. Suppose q*r = r. Suppose 3*n - 1 = -10. Which is bigger: r or n?
r
Suppose -4*w = -0*w + 40. Let g be ((-6)/15)/(1/w). Let f be 3/6*(-2)/g. Which is bigger: f or 0?
0
Suppose 0*r + 1 = r. Let u = -7 - -5. Let b = u + r. Is -1/3 bigger than b?
True
Let v = 76/483 - 1/69. Let a(c) = 3*c**2 - 5*c + 5. Let m(b) = b**2 - 2*b + 2. Let j(y) = 2*a(y) - 5*m(y). Let r be j(0). Which is smaller: v or r?
r
Suppose -13*t = -9*t - 16. Is t greater than 24/7?
True
Suppose 0 = -5*m - 2*p - 3*p - 15, 0 = 4*m - p + 32. Suppose -5*j - 35 = 5*n, -5*n + 2*j = 29 + 6. Is n equal to m?
True
Let h = -2.8 - -2.87. Is h greater than 2?
False
Let c = -12 + 21. Suppose 4*s = -3*r + 4*r + c, -5*r = 25. Is 1 bigger than s?
False
Suppose r - 13 = -28. Which is bigger: r or -1?
-1
Let y be (-2 + 6)/1 + -1. Suppose 2*g = 5*s + y, -3*g - g - 4*s = 8. Let w = -126 - -1132/9. Which is bigger: g or w?
w
Let h = 6 + -5.6. Let r = -109712/15 + 7311. Let m = r - -14/5. Is m bigger than h?
False
Let y = -0.25 + -32.75. Is -1/3 equal to y?
False
Let k = -0.2 + 0.7. Let q = k + 0.5. Which is smaller: -6 or q?
-6
Let d = 0.5 - 4.5. Let f = d - -3. Which is greater: f or 3?
3
Let r(f) = f**3 - 7*f**2 + 5*f + 5. Let i be r(7). Suppose i = -j + 13. Let p be j/(-119) + 8/(-28). Is 0 less than or equal to p?
False
Suppose 4*o + 250 + 62 = 0. Is o < -79?
False
Let p(n) = 2*n - 10. Let i be p(9). Let z(k) = -k**2 + 7*k + 8. Let y be z(i). Is y equal to -3/5?
False
Let d(c) = -25*c**2 + 3*c + 2. Let k be d(-1). Let b = 27 + k. Is b smaller than 1?
False
Suppose 2*w - 8 = -4*g, 2*g = -2*g - 3*w + 12. Suppose -4*x + 0*x = g. Which is greater: -1 or x?
x
Let j be 4*((-30)/(-8) - 1). Let b be (-25)/(-3) + j/(-33). Is 7 less than or equal to b?
True
Let s be 14/(-6) + 6/(-9). Let t = s + 2. Let i = 0 - 0.1. Is i smaller than t?
False
Suppose 4*i + 4 = -3*l + l, 4*l - 3*i - 3 = 0. Suppose -4*a + 18 - 2 = l. Let o be 1 + (5 - (-1)/(-1)). Which is smaller: a or o?
a
Let w be (1 - (-44)/10) + -5. Which is smaller: w or 0.055?
0.055
Let u be 1 - (96/21)/4. Which is greater: 0 or u?
0
Let i(s) = -3*s**2 + s + 8. Let m be i(-4). Is -2 greater than or equal to m?
True
Let s = -46 - -42. Which is smaller: s or -2?
s
Suppose 3*y = 1 - 10, -19 = -2*w + 5*y. Let z be ((-2)/(-4))/(1/w). Suppose h + z = -3*h + o, 2*o = -h + 2. Is h bigger than 1/4?
False
Let b be 12/(-30) - 4/(-10). Does 2/51 = b?
False
Let s = 0.2 + -0.1. Let h(c) = 19*c - 1. Let o be h(1). Let m be 5/o + 3/(-6). Which is smaller: s or m?
m
Let h be 2/(-7) + 12/(-105). Let p be 0 + (-67)/(-5) - 1. Let j = p - 12. Are j and h unequal?
True
Let h = 65 - 110. Is -46 equal to h?
False
Let x = -0.7 + 0.77. Is x at most as big as -1?
False
Suppose 0 = 5*l + 5*i + 25, l - 3*i + 8 = -5. Let s be 2/(-6)*0 + l. Is s at most -6?
True
Let s = 58 - 68. Is s > -12?
True
Let f = -199 + 95. Are -103 and f nonequal?
True
Suppose 5*d + 3*y = -7, -4*y - 11 = 3*d + 2. Let q = 15 - 15.09. Let w = q - -0.09. Which is smaller: w or d?
w
Let j be (-1 - 1)/(1 + -2). Let l be 2/4*(-18)/(-9). Let g be (2 + -3 - l) + j. Is g greater than or equal to 0?
True
Let k = 2 + -1. Let h be (0/2)/((-2)/k). Let q = -14/5 - -17/5. Are h and q equal?
False
Let j = -26 - -77/3. Let v(q) = q**3 - 2*q**2 + q + 2. Let t be v(3). Let r be -1*2 - (-24)/t. Which is smaller: r or j?
j
Let p(f) = f + 3. Let l be p(-3). Let b be -2 - 2/9*-10. Which is greater: l or b?
b
Suppose 5*r - 9 + 4 = 3*a, 0 = 2*a - 4*r + 6. Suppose a = 3*f - 4. Is 4 smaller than f?
False
Let z = -167174173466/6699 - -24955094. Let m = z - 2/609. Is 0 not equal to m?
True
Suppose -2*b + 0*q - 93 = q, 5*b + 235 = -5*q. Which is bigger: -45 or b?
-45
Let i = -6.8 - 1.2. Let y = i - -5. Is y less than or equal to 1?
True
Let a be (-559772)/80*(-4 + 0). Let z = a - 27872. Let s = -117 + z. Which is smaller: s or 1?
s
Suppose 0 = -3*q - 5*w + 19, q - 3*w + 12 = 3*q. Suppose 0*x - x - 1 = 0. Let g be x/q - 4/(-3). Which is smaller: g or 1/3?
1/3
Let z be (-5)/3 + (-2)/(-3). Let n be (-2 - 2) + (-50)/(-12). Is n bigger than z?
True
Suppose -5*d = 5*d - 440. Does 44 = d?
True
Suppose -3*s = -2*c - 9 - 7, -2*s + 7 = -5*c. Which is greater: s or 4?
s
Let p(s) = -s + 8. Suppose -3*r = 5*w - 27, 0*r + 3*w + 11 = 5*r. Let m be p(r). Let n be 0 + 0 - 3/m. Which is bigger: n or -1?
n
Let t be 40/4*2/5. Let i = -5 + t. Is -3/8 less than or equal to i?
False
Let t = -7.74 - 2.36. Let x = t - -0.1. Is 1/4 equal to x?
False
Suppose y + 2 = 2*y. Suppose 5*v + 3 = y*v. Let t be (6/9)/(1/(-3)). Which is bigger: t or v?
v
Let q be (-3)/(-15) - (168/(-15))/4. Which is greater: q or 13?
13
Let n be (12/(-915))/((-1)/(-5)). Let i = -142/305 - n. Suppose 2*p = -5*z - 13, 0*p + 8 = -2*p. Which is greater: i or z?
i
Let a = -0.8 + -0.2. Let f = -0.64 - -0.04. Let k = -2.6 - f. Is a >= k?
True
Let k(b) = -2*b + 10. Let z be k(-7). Let w be z/9 + 1/3. Is w < 0?
False
Suppose 7*t - 2*t = 0. Which is greater: -5/9 or t?
t
Let y = 1.944 + -0.044. Is -3 < y?
True
Let h = -0.82 - 0.18. Which is smaller: 0 or h?
h
Suppose -w - 9 = 5*d - 4, 5*d = -3*w - 5. Which is smaller: 1/7 or d?
d
Let i = -3 - -7. Let l = i - 3. Let o be ((-1)/(-4))/(-2 - -1). Is l at most o?
False
Let t(w) = -w**2 + w + 1. Let q(k) = k**3 - 7*k**2 + 6*k. Let c be q(6). Let m be t(c). Suppose -2*z + 1 = -m. Is -1/4 at most as big as z?
True
Suppose -9*q + 4*q = -75. Is 15 > q?
False
Let u(w) = 7*w**2 + 3*w**2 + 3 + w - w**3 - 2*w**2 - 2*w. Let j be u(8). Which is bigger: j or -4?
-4
Let g(d) = -d**3 - 6*d**2 - 3*d - 7. Let u be g(-5). Let o = 8 + u. Let f = 35/4 + o. Is f not equal to 0?
True
Let g be (-2 - -1)/(2 + -1). Let y be (g - -1 - 1) + 2. Let l be 1*(2/(-2) - -1). Are y and l non-equal?
True
Let p be (((-72)/3)/(-4))/3. Is p at least as big as 6?
False
Let g = -2 + 2.04. Let q = -12 - -11. Is q less than or equal to g?
True
Suppose 4*a = 5*a + 5*u + 6, 3*u + 2 = a. Let d be a/((12/4)/(-6)). Does d = 3?
False
Suppose u - 9 - 11 = 5*k, -2*u + 10 = 0. Let g(i) = -i**3 + 4*i**2 - i - 1. Let h be g(3). Suppose v + h*m + 31 = -3*v, -v = -5*m - 11. Is k greater than v?
True
Let l(p) = p + 7. Suppose -3*k - 2*b = -0*b + 24, b + 27 = -4*k. Let w be l(k). Which is bigger: -2 or w?
w
Let p = -97 - -777/8. Let j = -0.21 + 0.41. Is j >= p?
True
Let m = 32 - 30. Which is greater: m or 0?
m
Let p = -17 + 31. Which is greater: p or 13?
p
Let a be 29/15 - (1 + -11)/(-5). Are a and -1 unequal?
True
Let u be (-34)/4*104/6. Let j = u + 145. Which is bigger: j or -3?
j
Let p = -0.1 + 0.2. Let n = -2.01 + 2. Is p equal to n?
False
Suppose 2 = -k - 2. Which is smaller: k or -3?
k
Let h = 8.06 + -0.06. Let l = 89.8 - 90. Is l greater than or equal to h?
False
Let j = 7 + -3. Let c = j + -2. Let w be -1 + (c - 0)/4. Do w and 0 have the same value?
False
Suppose -g - 2 = -0*g. Let t be 4*(-1)/g + -12. 