: h or 1?
1
Let m be 3 - ((-23)/(-2) - 10). Suppose 4 = 5*a - 1. Are m and a unequal?
True
Let m = 918 + -875. Which is smaller: m or 27?
27
Let i = -23 + 53. Let y be 140/i - (-2)/6. Suppose -y = 2*g - g. Which is greater: -3 or g?
-3
Let q = 372.03 - 413. Let b = q - -41. Is 1/2 greater than or equal to b?
True
Let x = 111 - 103. Suppose -x*m + 5*m = -9. Which is smaller: m or 2?
2
Let u be (-22)/(-24) - 13/52. Let b be 1*5 - (-1)/((-4)/16). Which is smaller: u or b?
u
Let p be (-170)/(-120) - (2 + (-7)/3). Is -3/5 at least as big as p?
False
Let j = 143/6 - 24. Let q = -2.6 + 3.9. Let t = -1 + q. Which is bigger: j or t?
t
Let j be 0/(9/((-18)/(-4))). Suppose 3*r = -j*r - 39. Suppose -2*g + 2 - 26 = 0. Which is greater: g or r?
g
Suppose 4*k - 18 = 2. Let h(i) = -i**3 + 8*i**2 + 2. Let t be h(8). Suppose 12 = t*j + j. Which is smaller: k or j?
j
Let y be (2 + 45/(-24))/(5/(-105)). Let m = -47/24 - y. Is m != 43?
True
Let r = -2/7 + 1/7. Suppose 0 = -6*n - 68 + 74. Which is bigger: n or r?
n
Suppose 0 = a + 5*a. Suppose 3*t + 6 - 12 = a. Is 21/11 at most as big as t?
True
Let k = -1 - -333. Is k at most as big as 331?
False
Let h(k) = k**3 + 29*k**2 + k + 31. Let r be h(-29). Let j = 4 - 5. Let q be 10/(-7)*j/2. Which is bigger: q or r?
r
Let r = 5 + 17. Suppose -2*w - 4*c + c + 40 = 0, 2*c = w - 27. Which is bigger: w or r?
w
Let c(p) = -p**2 - 4*p + 6. Let h(u) = u**2 + 3*u - 7. Let r(w) = 5*c(w) + 4*h(w). Let n be r(-9). Which is smaller: -15/2 or n?
-15/2
Suppose 0 = 2*g + 4*o - 9*o - 29, 0 = 3*g - 2*o - 27. Which is smaller: 28/5 or g?
28/5
Let v(k) = k**3 + 7*k**2 - 8*k + 3. Let t be v(-7). Suppose 2*u + g + 47 = -u, -4*u - t = 5*g. Let f = u - -17. Is 1 greater than f?
False
Let k = 0.27 + 0.03. Let s = 283 + -295. Is s > k?
False
Let r be (68081/(-39))/(3 + -2). Let g = -1778 - r. Which is smaller: -33 or g?
-33
Let h = -1.65 - -64.65. Let s = h - 79. Is -0.1 bigger than s?
True
Let n = 653 + -509. Which is smaller: n or 141?
141
Let t(o) be the first derivative of o**3/3 - o**2 - 3*o + 4. Let a be t(4). Suppose a + 2 = r - i, -r - 3 = 4*i. Is 7 at least as big as r?
True
Let h(n) = 4*n - 6 - 7*n + 2*n + 4*n. Suppose 4*y - 2*y = 8. Let v be h(y). Is -1/2 equal to v?
False
Let q be 72/(-12) + 12/3. Let z be 0*(-3 - q) - 88/4. Which is greater: -20 or z?
-20
Let f = 0.11 - -8.89. Let r = 8.97 - f. Let l = 0.97 - r. Is -0.03 equal to l?
False
Let p = -0.6 - 0.4. Let i = -246 + 251.1. Are i and p equal?
False
Let t(m) be the third derivative of m**6/120 - 3*m**5/20 + 7*m**4/12 - 7*m**3/6 + 18*m**2. Let o be t(7). Are -8 and o equal?
False
Let b = 2684 - 2684.6. Suppose 0 = 2*q + 4*u + 16, -2*q - 2*u - 3*u = 21. Suppose q*f - 2 = -0. Which is smaller: f or b?
b
Let x(j) = j**3 + 2*j**2 - 5*j - 2. Let n be x(-3). Suppose -n = -a - a. Let q be (-5 - -2) + a + -1. Do q and -1/3 have different values?
True
Suppose -3*g = -4*n + 7249, -5*g + 2*n + 3*n - 12080 = 0. Let l = 427453/177 + g. Are -1 and l non-equal?
True
Let p be (-5 - (-12 + 6))*-1. Which is bigger: -5/22 or p?
-5/22
Let w be -1*(0 - -1)*(-12 - -11). Suppose 5*p - 2 = -3*s + 4, -3*s = 2*p - 6. Let o be 1 - ((-6)/8 - p). Which is greater: w or o?
o
Let t = -0.13 - 6.87. Let w = 2.41 - 9.81. Let g = w - t. Which is bigger: 2 or g?
2
Let h = 12 + -9. Suppose -3*c + 2*v - 10 = -3*v, h*c + 6 = 3*v. Suppose 0 = -3*l + 5*p - 36, c*p = -5*p + 15. Which is smaller: l or -5?
l
Let f = 0.48 + -0.356. Let r = f + -0.894. Let i = -0.8 - r. Which is smaller: i or 1?
i
Let k = 28 + 3. Let c = k + -31. Is c smaller than 1/16?
True
Let j = -3.6 - -3.77. Let z = -0.27 + j. Which is bigger: z or 13/5?
13/5
Let o(g) = g**2 - g + 2. Let m be o(1). Let u be (-4)/(-22) - (0 - m)/(-1). Is u bigger than -1?
False
Let d(f) = -f**3 + 6*f**2 + f - 31. Let r be d(5). Which is smaller: r or -1/31?
r
Let o(b) = 119*b - 18. Let v be o(1). Which is bigger: v or 102?
102
Suppose 400 = 5*h + 10. Let j be 99/55*(-20)/h. Is 1 < j?
False
Let v be (3/2)/(327/4 - 0). Is 0 not equal to v?
True
Let j = 228.45 + -229. Which is greater: -1/4 or j?
-1/4
Let g(n) = -n**3 + 18*n**2 + 24*n - 45. Let h be g(19). Suppose 144 = 2*l - h. Are l and 97 equal?
True
Suppose -4*k + 5*t = -0*t + 14, 0 = -2*k - 2*t + 2. Suppose 4*o - 10*o = -24. Suppose o = 3*l - 5*l. Is k != l?
True
Let g = 27/14 + -10/7. Let d be ((-6)/(-12))/(6/40). Which is smaller: g or d?
g
Let i(g) = -40*g**2 + 10*g + 1. Let h be i(2). Let y = -696/5 - h. Suppose 0 = 5*c - c - 4. Do y and c have the same value?
False
Suppose -5 = -2*p - a, -p + 4*a - 11 = -0*p. Which is greater: p or -1/86?
p
Let q = -8/161 + 3706/68103. Is q greater than 0?
True
Let d = -360303/157 + 2295. Is -1 greater than d?
False
Suppose -5*z = -4*c + 848, 2*z = -z - 2*c - 500. Let m be (-4)/24 - 220/z. Suppose -5*x + 4*x = -1. Which is smaller: m or x?
x
Let y = 1 + -1.1. Let s = -67.8 - -68. Let u = y + s. Which is greater: 11 or u?
11
Let z = -19359/5 + 3868. Let v = 7 + -10. Is z at most v?
True
Suppose -3*v - 2*v = 3*n - 265, -5*v - 210 = -2*n. Which is smaller: n or 96?
n
Suppose -2*s = 3*m - 47, 42 = 3*s - 4*m - 20. Let i be 28/s - (-2 - 0 - -3). Do 0 and i have the same value?
False
Let y = 205 + -205. Does -3/7 = y?
False
Let q = 318 - 322.01. Let f = q - -3.4. Which is greater: -0.1 or f?
-0.1
Let p(r) = -r**3 + 12*r**2 + 13*r + 10. Let d be p(13). Let m be d/12 - (-7 + 7). Let t = -1/2 + m. Does t = 1/8?
False
Suppose 4*p = p + 18. Suppose u = 10 - p. Let g be u + 4*(-108)/104. Which is greater: g or -1?
g
Let n = -5.79 - -6. Let k = -0.13 + n. Let b = -0.2 - -0.1. Which is bigger: k or b?
k
Suppose -77 = -4*f + 63. Let v be 4/10 - 434/f. Which is smaller: -10 or v?
v
Let c = 8457499/5451016 + -3/40081. Let d = c - 20/17. Let p = -0.224 - -0.124. Is p <= d?
True
Let w be (-5230)/(-2786) + -2 - 61/(-427). Which is smaller: -1 or w?
-1
Let h(g) = -5*g - 19. Let j be h(-11). Let c be 172/j + (-2)/(-9). Let w = -4 - -2. Which is greater: w or c?
c
Let v = -0.9 + -0.2. Let w = v - -1.14. Let l = w - -0.86. Is -0.1 smaller than l?
True
Let z = 1.58 - 1.581. Which is greater: 0.6 or z?
0.6
Let x = 14 + -8. Let g be (x/(-8))/((-9)/(-6)). Let v = -308 + 308. Which is smaller: g or v?
g
Let z(h) = -h**2 - h + 1. Let w be z(0). Let g be 4/(-12) - (-39)/171. Are g and w unequal?
True
Let c(u) = 2*u + 33. Let r be c(-16). Let i be -1*r/(-1)*(-84)/27. Which is bigger: i or 1?
1
Let u = -50 + 49.9. Which is smaller: u or -63?
-63
Let l = -143/49 - -9953/3528. Let s = l - 1/8. Which is smaller: 0.07 or s?
s
Let j = 481 + -3359/7. Let q = -22 + 22. Is j at least q?
True
Let c = -57 - -71. Suppose 15 = l + c*l. Is l smaller than 6/67?
False
Let k be 5/((-300)/(-232)) + -4. Let m = 1.98 - 2. Which is greater: m or k?
m
Let x = -0.8 - -2.7. Let o = 96 - 99.9. Let b = x + o. Is -2 <= b?
True
Let d be (-58*(-8)/16)/(1 + 0). Suppose 31*b = d*b. Which is smaller: b or 1/11?
b
Let j = -7.6 - -8. Which is smaller: j or -4?
-4
Let q = -57 - -56.31. Let n = 0.21 - q. Let g = n + -0.8. Is g not equal to 17?
True
Let m(l) = -2*l - 37. Let z be m(-17). Let i be z - (1 + 0 + -3). Does -2/41 = i?
False
Let r be 2/(-80)*75/(-50). Is 0 at most as big as r?
True
Suppose 0 = p - 2*d - 18, p = -4*d - 7 + 1. Let i be (p/(-30))/((-2)/(-10)). Is i greater than 1?
False
Let c = -207 - -204. Which is greater: -17/9 or c?
-17/9
Let d = 5 - 1. Let w = -0.0087 - -0.2087. Is d less than w?
False
Let q(z) = -19*z**3 - z**2 + 6*z - 2. Let h be q(2). Is -147 less than h?
True
Let i be (-2)/(-11) + 7/((-231)/(-60)). Let v be (i + -1)*40/(-5). Is v not equal to -4?
True
Let c be (-4)/26 - (11/13 - 2). Let l be 2 - c - (-8 - 0) - -4. Are 10 and l equal?
False
Let b = -97447/19786 - -3/1522. Do -5 and b have the same value?
False
Let p = 4.74 + -3.14. Which is bigger: p or 0.12?
p
Let d = 898 - 903. Is 72 at least as big as d?
True
Let a = -5070533/609 + 8326. Is 1 less than a?
False
Let n = 24 + -171. Let u be (21/n)/(0 - 2/(-10)). Let d = -1 - 1. Which is smaller: d or u?
d
Let g = 2 - 1. Suppose -2*p + 9 - g = 0. Let w be ((-2)/p)/(2/(-4)). Are -2/17 and w equal?
False
Let t = -12 + 18. Suppose 0 = 5*n + 3*j - t, -4*n = -j - 4*j + 10. Is -8/11 < n?
True
Let u = 0.02 - -0.08. Let m = -0.1 - 0.1. Let g = 0 + m. Which is smaller: 