o - 4, -2*p - 5 = -2*o - 19. Suppose 4*n - t - 19 = 0, 0 = p*n - 5*t - 17 - 10. Suppose 3*x - 17 = n*x. Which is greater: x or -16?
-16
Let y = 0.0353 - -0.0707. Is 0.3 > y?
True
Let y(c) = c**3 + 17*c**2 + 16*c - 10. Let v be y(-16). Suppose -u + 5 = d + 16, -5*d - 63 = -3*u. Do v and d have different values?
True
Let z(j) = j**2 + 3*j + 4. Let c be z(-3). Suppose 4*i = -c*n + 3*i - 9, 3*n + 3*i = -18. Which is smaller: 4 or n?
n
Let f be 214/9 - 4/(-18). Let o(j) = 25*j**2 - 4*j + 4. Let h be o(1). Which is smaller: h or f?
f
Let d(h) = -h**3 - 3. Let k be d(0). Suppose 0*i = 9*i. Is i < k?
False
Let s be (-3)/((-92 + 3)*3). Which is smaller: s or 1?
s
Let q(d) = 3*d**3 - 4*d**2 + 3*d + 9. Let a be q(-5). Let m be (-1)/2 - a/806. Let x = 18 + -17. Is x at least as big as m?
True
Let k(d) = -d + 9. Let g be k(5). Let z be g*(-2 + 9/6). Which is smaller: -14 or z?
-14
Let g = -144 - -137. Let k = -5 + g. Which is greater: 1 or k?
1
Suppose -y + 6*p - 5 = 4*p, 5*y + 11 = 3*p. Which is smaller: y or -2/2061?
y
Let g = 3 - -2. Suppose -12 = -g*h + 3*h + 5*t, 4*t + 8 = 0. Let v be (4/77)/((-22)/(-77)). Is v at least h?
False
Let t be ((-1)/54)/((-14)/(-28)). Let h = -3/1945 + 15641/52515. Let z = h - t. Which is greater: z or -0.1?
z
Let d = 3677/92207 - 6/211. Is d bigger than -1?
True
Suppose -5*k + 4*g = 112, 3*k + 51 = -3*g - 0*g. Let y be (2 + 147/(-74))/(10/k). Is 1 greater than y?
True
Let v(w) = w**3 + 21*w**2 - 44*w - 241. Let i be v(-22). Which is smaller: 242 or i?
242
Let k be 3 + ((-1)/5)/(4/20). Let p(x) = -x**2 + 4*x - 5. Let u be p(k). Which is smaller: u or -3/10?
u
Let s = 19 - 19. Let x be (-12 + 13)*(s - 0). Which is greater: -2/49 or x?
x
Let s = -5539/301254 + 1/2714. Suppose 0*y = -y + 5*m - 6, y - 3*m = -4. Which is bigger: y or s?
s
Let i(g) = -g**3 - 3*g**2 + 4*g - 4. Let v be i(5). Let j be v/36 - 20/(-4). Which is greater: j or -1?
j
Let p = -45.1 - -44. Let r = -2.5 - -3.6. Let l = r + p. Which is bigger: l or -0.1?
l
Let y be (-263)/(-3) + 4*(-6)/(-72). Which is greater: y or 72?
y
Suppose 3*f - 12 = -f. Suppose -f*c - 100 = o, -1 = c + 4*o + 25. Which is bigger: -131/4 or c?
-131/4
Let l = 74/11 + -1894/275. Which is smaller: l or 0?
l
Let l = -64 + 104. Let v be -4 + 85/l*2. Which is greater: v or 1/21?
v
Suppose 0 = 2*x + 10, -u - 2*x - 1 + 20 = 0. Suppose -22 - u = 3*n. Is n equal to -19?
False
Let p be 14/6 + (-2)/(-3). Let r(w) = -5*w**2 - 1. Let k be r(1). Let i = 8 + k. Which is bigger: i or p?
p
Let d(m) = -m**2 - 11*m - 31. Let a be d(-5). Let x = -10141/21 - -483. Is x not equal to a?
True
Let g = -5 + 2. Let l(w) = -w - 3. Suppose 2*y - 5*q - 2 = 10, -5*q = 5*y + 5. Let b be l(y). Is b at most as big as g?
True
Let q = -91 - -88. Which is greater: -32 or q?
q
Let u be -7 - (-5 - 576/258). Which is smaller: u or -1?
-1
Suppose 0 = -3*c - 3*a - 303, -247 = 4*c - 3*a + 143. Let l be c/22 - (-4)/1. Is -11 smaller than l?
True
Let s = 512.25 + -512. Which is smaller: s or 0.08?
0.08
Suppose 25 = 9*s - 4*s + 5*v, -5*v = -3*s - 9. Suppose f + 6 = u - 7, -27 = s*f - 3*u. Are -21/2 and f equal?
False
Suppose -6 = -8*k + 10. Let j be ((-4)/(-12)*(k - -1))/1. Let x = 12 + -2. Which is smaller: j or x?
j
Let k(o) = -o**2 + 3*o + 10. Let y be k(6). Let p be (-36)/y + -1 - 3. Which is smaller: 1 or p?
p
Suppose -5*t = -5*d + 95, -5*d + t + t = -92. Let j = d + -17. Which is bigger: j or 3/8?
j
Let c be (-6)/(-16) - ((-6215)/920 - -7). Let n be (-6)/(-2) - (-32)/(-12). Which is greater: c or n?
n
Let j = 1680 + -1684. Which is smaller: j or 39?
j
Let u be (62 - 64)*(0 + -1). Do u and 57/25 have the same value?
False
Let o be ((-12)/(-10))/3*10. Suppose o*r - 2*l = 2, -r - 4 = -3*r - 2*l. Let u be (3/9)/(24/(-9)). Which is bigger: u or r?
r
Suppose 4 - 13 = 2*s - 3*q, 0 = -3*s - q + 3. Which is smaller: s or 10/37?
s
Let x = 23 + -23.011. Let q = x + 0.011. Which is smaller: q or -9/5?
-9/5
Let u be 4/(-9)*5615/6. Let p = -416 - u. Let a(r) = 18*r + 954. Let y be a(-53). Is p less than or equal to y?
True
Let h(o) be the third derivative of -o**5/60 + o**4/4 + o**3/3 + 4*o**2. Let b be h(5). Let d = -8 + b. Which is bigger: d or -1/2?
-1/2
Let q = -52762/255 - -3326/15. Which is smaller: 16 or q?
q
Let j = 289 + -294. Which is bigger: 5 or j?
5
Let l = 21.97 - 20.97. Is 8/67 equal to l?
False
Let t = -2/83 - 227/913. Suppose -2*l - 13 = -2*x - 5, 5*x = -l + 14. Suppose d = o - 7 + 2, 5*d - x*o = -15. Which is smaller: d or t?
t
Let x = -7.26 + -56.54. Let y = x - -64. Which is smaller: -1.5 or y?
-1.5
Let n be 1/2*(1 - 1). Suppose -3*s + 9 = j, n*j = 2*s - 4*j - 6. Let z(t) = -t**3 + 5*t**2 - 2*t + 4. Let l be z(s). Which is greater: l or 17?
17
Let q = -130 + 145. Let f(z) = -z**2 - 8*z - 1. Let s be f(-7). Suppose -v = -s*v - q. Which is smaller: 0.1 or v?
v
Let q = -4 - -1. Let o(w) = -2*w**2 + 10*w + 8. Let n be o(q). Which is smaller: -39 or n?
n
Suppose 8*q = -1748 + 236. Which is greater: q or -188?
-188
Let b be (-4)/10 - 2/(-5). Let z = -39 + -6. Let s be ((-4)/z)/(((-36)/(-5))/(-6)). Which is greater: s or b?
b
Let a be 140400/237750 + 6/(-10). Which is smaller: 1 or a?
a
Let s(y) = -y**3 + 16*y**2 + 18*y - 12. Let k be s(17). Let v be (-3)/9 - 16/(-3). Do v and k have the same value?
True
Let n(l) be the second derivative of l**7/2520 + l**6/360 - l**4/3 + 2*l. Let i(a) be the third derivative of n(a). Let r be i(-1). Which is smaller: r or 1/3?
r
Suppose -3*h - 4*l = -29, 4*h + 2*l = -l + 41. Let a(c) = -c**3 + 10*c**2 + 9*c + 2. Let n be a(h). Let d be (-5)/(-4) - (-5)/n. Which is bigger: 4 or d?
4
Let c be 78/10 + 12/60. Which is smaller: c or 21?
c
Let m = -564 - -565. Which is bigger: -4.1 or m?
m
Let p = -7.8 - -14. Let d = p - 6. Let q be 12/15 - 3/(-15). Is d smaller than q?
True
Let i be (-9)/4*(-7)/21. Suppose 0 = -2*q + 2*z + 4 - 0, 0 = 2*z + 4. Suppose 4*b - 7*b = q. Does b = i?
False
Let t(b) = -b**3 + 36*b**2 + 14*b - 198. Let o be t(35). Which is bigger: o or 0?
o
Let q(n) = -30*n - 117. Let j be q(-5). Is j smaller than 0.6?
False
Suppose 2*q = 4*b + 8, 5*b + 11 = 6. Suppose 9*v - 11*v = -q. Do v and 15/2 have different values?
True
Let y = 0.34 + -0.3. Let n = 34.914 - -0.086. Let a = -34 + n. Which is greater: y or a?
a
Let n = 183617/143 - 1284. Let d = 893/21450 - n. Which is bigger: d or 0?
d
Let v = 79 - 35. Let b = v + -45. Let z = 25.9 - 27. Which is smaller: z or b?
z
Suppose 0 = 4*j + 82 - 14. Let z = 16 + j. Let u be (4/(-44))/(-1 - -2). Is u greater than z?
True
Let n = 22 + -8. Let x be (-80)/n - 20/(-5). Is -2 less than or equal to x?
True
Suppose 41*h + 437 = 22*h. Is h bigger than -28?
True
Suppose -q = -3*q. Let f = 23 + -19. Suppose -f*j - 10 = -3*d - 61, q = -j - d + 11. Which is greater: 23/2 or j?
j
Let v be (779/(-133) - (-7 - -1)) + (-72)/(-280). Let p(l) = -l. Let w be p(1). Let s(d) = -d**3 - d**2 - d - 1. Let j be s(w). Is v less than or equal to j?
False
Let i be ((-263)/3)/((-2)/(-2)). Let q be (-3)/(1168/232 - 5). Let s = i - q. Which is greater: s or -2?
s
Let l = 57 + -57.43. Let c = 0.43 + l. Is c greater than 2/9?
False
Let c = -37 - -35. Let v be (-345)/(-25) + 1/5. Let s be (-4)/v*6 - 0. Which is bigger: c or s?
s
Let g = -1310 + 1302. Let u = 5 + -14. Which is bigger: g or u?
g
Let p = 246.4 + -247.4. Let x = -118 + 113.1. Is p at most x?
False
Let j(q) = q**3 + q**2 + q + 3. Let a be j(0). Let i = 4.28 - 4. Let s = -0.08 + i. Which is bigger: a or s?
a
Let a = -798 - -797.98. Which is bigger: a or 0.42?
0.42
Let r = -1373 - -784. Is -1 less than or equal to r?
False
Let b = -0.134 + -0.066. Which is bigger: -43/8 or b?
b
Let g be 1*(1 + 1366/(-9)). Let f = -151 - g. Let t = 107 - 965/9. Is t greater than f?
False
Let b be (-2)/(-186)*(15 - 1732/116). Which is smaller: 0 or b?
0
Let i(h) = 2*h - 9. Let z be i(4). Let m be 20/16*42/(-45). Which is bigger: m or z?
z
Let j = 1 - -8. Suppose 0 = -j*k + 1 + 8. Is k > -1.3?
True
Suppose 0*s + 106 = 2*s - 4*f, 3*s = 2*f + 171. Let b(u) = -2*u**2 - 35*u + 77. Let i be b(-18). Does s = i?
True
Let i be (-1)/((-1)/3*6/8). Let l = -98 + 1860/19. Is l at most as big as i?
True
Let w = 2/1635 - 1643/6540. Is -32 < w?
True
Let v be (-3)/(-30)*(-11)/((-66)/(-864)). Is 0.3 less than or equal to v?
False
Suppose -30*l = -