ch is smaller: b or 6?
b
Let c(y) = 28*y**2 + 6*y + 2. Let p be c(1). Which is smaller: 34 or p?
34
Let k(n) = n**3 + 4*n**2 + 4*n. Let u be k(-3). Suppose -2 = -m, 2*m + 18 = -5*a - 28. Let y = -14 - a. Is y equal to u?
False
Let w(r) = -r**3 - 12*r**2 + 11*r + 9. Let k(i) = i**3 + 13*i**2 - 11*i - 9. Let d(y) = 3*k(y) + 4*w(y). Let v be d(-10). Let h = 157/4 - 39. Is v at most h?
True
Let i = -0.0476 - -0.0158. Is 2/3 at least as big as i?
True
Let v be 267/4 + 1/4. Suppose -9*u + 14017 = 172*u + 1890. Is u greater than v?
False
Let n(s) = -s**2 - 8*s - 14. Let f be n(-5). Which is greater: -1/492 or f?
f
Let l = -13.62 + 14. Let s = l - -0.02. Let t = -0.6 - s. Which is bigger: t or -6?
t
Let i = 2/30677 + -61364/153385. Let h be 1 - 3/(606/200). Let l = h - 310/707. Is i at least l?
True
Suppose r + 12 = -s, 3*s - 5*r = -32 - 4. Which is bigger: s or -15?
s
Let d = -1174/3 - -393. Which is bigger: -0.4 or d?
d
Let p(y) = 6*y**2 + 23*y + 8. Let r be p(-26). Let w = -107436/31 + r. Is 0 less than or equal to w?
True
Let y be (8/10)/((-6)/(-75)). Let n be 19/(-75) + y/30. Which is smaller: 1 or n?
n
Let l = -5 - -3. Let y be ((-14)/21)/(l/(-3)). Let h = -239/308 + 2/77. Which is smaller: h or y?
y
Let q be (-4)/((-8 + 25655/3206)*-4). Which is smaller: q or 459?
q
Let v = 269 - 269.88. Which is smaller: 2 or v?
v
Suppose -10*p = -6*p + 16. Let u(f) = -f**2 - 4*f. Let w be u(p). Let s be 0/1 + w + -2. Is 9 less than s?
False
Let q(a) = -15*a + 42. Let i be q(10). Is i at most as big as -109?
False
Suppose 6*h + h - 189 = 0. Which is bigger: h or 24?
h
Let t be (-2)/8*6093/18. Let y = 153 - 237. Let n = t - y. Is 0 smaller than n?
False
Let v = 76 + -77. Let r = 2683 + -34897/13. Which is greater: r or v?
v
Let o = 1781/1702 - 25/23. Which is smaller: o or -1?
-1
Let i be (-6)/(-4) - 3/(-6). Suppose -3*q + i = -g - 1, 2 = 2*q + 2*g. Let v be (4/4)/(q - 2). Which is greater: -2 or v?
v
Let h be 99/((-39)/504*9). Which is bigger: -142 or h?
-142
Let s(b) be the second derivative of b**5/20 + b**4/2 + b**3 - 5*b. Let m be s(-4). Let v be ((-7)/(-42))/((-2)/8). Which is bigger: m or v?
m
Let c = -0.29 - 0.01. Let l = 4.7 - c. Let f be (-8)/60 + (-56)/(-70). Which is smaller: f or l?
f
Let z = 0.01 - 2.51. Let w = -2.5 - z. Let l = -0.1 + 0.2. Which is bigger: w or l?
l
Let q = 0.1302 - 0.1602. Is q bigger than 2/219?
False
Let z = -197/8 + 607/24. Let u be 35/108 - (-1)/(-4). Which is smaller: z or u?
u
Suppose 0 = -8*y + 3*y + 4*g + 144, 2*g + 86 = 3*y. Let w = 26 - y. Which is smaller: -0.2 or w?
w
Suppose 0 = 2*y - 1 - 3. Suppose y*x - 2*k + k - 58 = 0, -77 = -3*x - k. Which is smaller: -1 or x?
-1
Suppose g + 8 = 4*j, g + 7 = 4*j + j. Let o = 14 + g. Is o >= 11/6?
True
Let o = -94 - -88. Let g(r) = r**3 + 7*r**2 + 6*r - 1. Let y be g(o). Suppose 0 = -c - 4*c. Is c at least y?
True
Let g = 850 - 850.0482. Is g smaller than 0?
True
Suppose -3*x + 41 = -19. Let f be 4/10*4601 - (-2)/(-5). Let q be f/96 + (-1)/6. Do q and x have different values?
True
Let z(g) = -102*g - 530. Let f be z(-9). Is f not equal to 389?
True
Let v be (-18)/(-10) - (-204)/(-255)*(-5)/(-2). Let f = 1.2 + -0.2. Which is bigger: f or v?
f
Let t = 35 - -16. Let g = -99 + t. Let i = g - -34. Is i less than or equal to 0?
True
Let t = 9 + -18. Let a be 11/55 - t/5. Let k be ((-3)/(-27))/((-2)/a). Which is bigger: 0 or k?
0
Suppose 0 = o + 4*o. Let h be 1 + o - (-30)/(-42). Let v = 1319/7 - 189. Which is smaller: v or h?
v
Suppose 5*r - 3 = 3*w + 3, 5*w = -4*r + 27. Let c be ((-5 - w) + 7)/(0 + 1). Is c smaller than -5/16?
True
Suppose 44 = -4*c - 12. Let w be 0 + c - (1 - 1). Let y be w/10 - (5 - 7). Which is smaller: y or -1?
-1
Let n = 269/3 + -91. Suppose 5*x = r - 1, 5*x + 3*r - 2*r = 1. Which is bigger: n or x?
x
Let f = 42 + -43.59. Let n = -1.7 - f. Which is bigger: n or 7?
7
Let a = -32669/47 + 695. Which is smaller: a or 1?
a
Let a be (28/(-5))/(4 + 42/(-10)). Let s be (-720)/(-28) - (-8)/a. Do s and 25 have the same value?
False
Let r(u) = -41*u - 2. Let z be r(-2). Suppose 63 = -4*p + 2*b - b, b - z = 5*p. Let a = -4 + p. Is a not equal to -21?
False
Suppose 16 = -4*d, -501 = 3*x - 5*d + 829. Is x at least as big as -451?
True
Let f = 38 + -34.6. Let v = -89.9 - -90. Which is smaller: f or v?
v
Let h(o) = -o**3 - 29*o**2 - o - 28. Let z be h(-29). Let b = -1.98 + -0.02. Let v = -2.1 - b. Does z = v?
False
Let c = -0.28 - -0.08. Let i = 0.1 + c. Is -2/7 <= i?
True
Let j(x) be the third derivative of -x**4/8 + x**3 - 3*x**2. Let y be j(2). Let v = 1/6 - -1/6. Which is smaller: y or v?
y
Let p(x) = 59*x - 175. Let m be p(3). Let b be 0 + 1*8/2. Let y be b*-1*m/(-4). Is 2 at least as big as y?
True
Let j(h) = -h**3 + 15*h**2 - 13*h - 15. Let m be j(14). Is -4/181 bigger than m?
True
Let o = 860 - 899.05. Let j = 39 + o. Let x = 209/3 + -69. Which is greater: j or x?
x
Suppose -5*r = n + 37, 7*n + 17 = -r + 2*n. Let f = 6 - 13. Is r at most as big as f?
True
Let y be (-9 + -3)/4 - -1. Let r be 4/y*(-6)/(-44). Is r <= -1?
False
Let j = 44.4 + -312.4. Which is smaller: -1 or j?
j
Let z(w) be the first derivative of w**3/3 - 4*w**2 + 10*w + 1. Let n be -33*(-1)/3 - 4. Let m be z(n). Is m smaller than 1?
False
Let f(c) = 2*c - 43. Let j be f(20). Let t be (2 + 15 + j)*(-1)/8. Is -2 <= t?
True
Let h = -2.43 + 0.03. Let u = h + 3. Is u bigger than 1?
False
Let u be (15/(-150))/(3/(-15)). Let w = 522 - 529.81. Let m = 0.19 - w. Which is greater: m or u?
m
Let c = 41.018 + 0.982. Is -7 at least as big as c?
False
Let s(t) be the first derivative of t**3/6 + 9*t**2/2 + 5*t + 3. Let f(w) be the first derivative of s(w). Let g be f(-7). Which is bigger: 0 or g?
g
Suppose 332 = -6*w + 8*w - 5*q, -690 = -4*w - 3*q. Which is smaller: w or 174?
w
Let o be ((-1)/2)/(1/(-2)). Let d = 2626002/325 - 8080. Is o at most as big as d?
False
Let b = 2063 - 68065/33. Which is bigger: b or 0?
b
Let j = -13.887 + 14. Is j smaller than -1?
False
Suppose -2*y + 73 = 7. Which is greater: y or 32?
y
Suppose 3*u - 2*u + s = 23, 3*u - 69 = -4*s. Let o = 26 - u. Which is bigger: o or 9/5?
o
Let y = -4176 - -4168. Let x = 21 - 31. Which is smaller: y or x?
x
Suppose 2*y - 26 = -2. Let i = y + -7. Let b = 4727/1050 + -1/525. Is b smaller than i?
True
Let u(q) be the second derivative of q**5/20 - 5*q**4/6 - 3*q**3/2 + 10*q. Let y be u(11). Suppose -y = -3*m + 11. Is m >= 21/2?
True
Let i = 16.13 - 0.13. Let v = i - 15.35. Let h = 0.05 + v. Is 0.2 less than h?
True
Let v = -382 + 446. Which is smaller: v or 66?
v
Suppose -n + 11 + 1 = 0. Let q be n/4 + -3 - 2. Let m be (q + (-15)/(-9))*0. Which is smaller: m or 2/25?
m
Let w = -16.459 + 21.46. Let f = w - 0.001. Which is greater: f or -4?
f
Let h(m) = -m**3 + 4*m + 5. Let g be h(-2). Is 11 bigger than g?
True
Let u be (-164)/(-20) + 2/(-10). Suppose 8*g - 12*g + u = 0. Suppose 0 = 2*h - 2*q - 26, g*q = -5*h + q + 35. Which is smaller: h or 9?
h
Let m be (10/(-14))/(-5 - -4). Which is bigger: m or -4?
m
Let g be (-48)/32 + (-6)/(-12). Is -21/32 equal to g?
False
Let d(z) = 3*z**2 - 82*z + 310. Let y be d(23). Let i be (21*(1 + 0))/2. Is y less than i?
False
Let p be -8*(86/6)/(308/(-42)). Which is smaller: 15 or p?
15
Suppose -3*p - 3*o = 63, 3*o = 5*p + 7*o + 105. Are p and 0 non-equal?
True
Suppose 29 = 5*j + 124. Suppose 2*x - 6 = -8. Let b(n) = 21*n + 3. Let c be b(x). Which is smaller: j or c?
j
Let b(c) = -7*c + 6. Let d be b(1). Which is bigger: 4/133 or d?
4/133
Let g = 21 + -58/3. Let k(o) = o**2 + o - 4. Let c be 24/14 - 4/(-14). Let f be k(c). Is g < f?
True
Let a be (0 - 15)*(-5 + (-140)/(-15)). Which is greater: -66 or a?
a
Suppose c = 2*c + 2. Let o be 3 + (18/(-5) - c). Which is smaller: o or 0?
0
Let t be -9 - (11 - (18 - 5)). Is 93 not equal to t?
True
Let x = 287 + -367. Are -9 and x unequal?
True
Suppose -6 - 22 = 4*m. Let h = 6 + m. Let x be (-14)/(-20)*h/(-7). Does x = 1?
False
Let h be 11/((-10)/(-2) + -4). Let a be h/8 + -1 - (-26)/(-104). Which is smaller: a or -1?
-1
Let g = 13 - 17. Is -57/11 at most as big as g?
True
Let s = -1815/3164 + 1/452. Is s < -1?
False
Suppose -x = -0*x - 5*z + 34, 0 = x - 3*z + 30. Are x and -23 non-equal?
True
Suppose 3*j = 8 - 5. Let h be (8/j - 1)/(-4). Which is smaller: -2/3 or h?
h
Let f(z) = z**