h, -4 = -3*h - 2*c. Let q(p) = p**3 + 2*p**2 - 2. Let a be q(h). Let d be (-2 + (-5)/a)*(-24)/12. Which is greater: 0 or d?
0
Let m = 34448 - 34399. Do m and 6 have different values?
True
Let o = 313/585 - -2/585. Suppose -x - 2*x = -2*u - 107, -5*u - 281 = -3*x. Let b = u - -58. Are b and o unequal?
True
Suppose 3*k = -5*o - 20, -3*o - k + 1827 = 1835. Which is bigger: -2/4157 or o?
-2/4157
Let b(x) = x**3 - 10*x**2 - 2*x - 99. Let f be b(11). Which is bigger: f or -1/8933?
f
Let x = 31.37 - 31.57. Is x > 1133?
False
Suppose 3*z = 15 - 6, -2*z - 320 = -2*l. Suppose v + 103 = 4*x, -22 = -2*v - 5*x - l. Which is greater: -82 or v?
-82
Let l = -7.8 - -7.7. Let d = -47/84 - -6935/12432. Let g = d + 11843/1776. Is g less than l?
False
Let f = 8195 + -8197. Let c(l) = -l + 20. Let w be c(9). Suppose 3*a + a = -z - 9, -z = -a - w. Which is smaller: f or z?
f
Suppose 81794 = -49*v - 22919. Which is bigger: -2134 or v?
-2134
Suppose 0 = 65*h - 67*h - 1380. Let u be ((-10)/(-15))/(3455/h - -5). Is u at least as big as -92?
True
Suppose -d + 2*t = -2*d - 6, 0 = -5*t - 20. Suppose d*h = -5*l + 8, 4*l + 20 = h + 4*h. Suppose l = 3*z - z + 2. Is z bigger than -1/8?
False
Suppose 22*l = 14*l. Suppose 2*n - 172 = x, l = -0*n + 4*n + 2*x - 328. Let z be ((-9)/150)/((-18)/n). Are z and 1 equal?
False
Let t = 3525 - 3526. Which is smaller: 2/835 or t?
t
Suppose 2*z = -2*x, -2*z + 7 = -5*x - 0*x. Which is smaller: x or 12/469?
x
Let x(q) = -20*q**2 + 14*q**2 + q + 21 + 5*q**2. Let i be x(-4). Is i < 2/129?
False
Let h = 825 - 824.9922. Is -0.1 greater than h?
False
Let x(j) = -15*j - 2. Let y be x(5). Let a = y + 36. Let c(h) = 2*h**3 - h**2 + h - 40. Let z be c(0). Is z > a?
True
Let a be (-32)/80*(-10)/4. Let h be 29191/50 - (-3)/15. Let f = h - 584. Which is bigger: a or f?
a
Let u = 0.21 - -0.03. Let t = 0.74 - u. Is t less than or equal to 9?
True
Let i = 202 + -196. Let h be (33 + -26)*i/(-15). Is -3 less than or equal to h?
True
Let a be (2 + 11970/(-5978))*-14. Are -16 and a nonequal?
True
Let t be 6789208/(-1228)*(-6)/(-4). Let i = -8293 - t. Is 0 bigger than i?
False
Suppose -3*y + 530 = -3*s - 2371, 3*y - 2885 = 11*s. Which is smaller: y or 3881/4?
y
Let i = 20 + 39. Suppose -3363 = 4*g - 3*c, -10*c + 2486 = -3*g - 15*c. Let p = 895 + g. Which is bigger: i or p?
i
Let g be 1 + 6*(1 + 67/2). Let l = 353 - g. Is 145 greater than or equal to l?
True
Let y = 6 - 6.034. Let q = 6211 - 6204.966. Let k = q + y. Which is smaller: 2/15 or k?
2/15
Let f be ((-36)/15)/4 - (8 - 10528/1190). Is 1 < f?
False
Suppose 424 = 5*b + 3*z, b - 166 = -b - 3*z. Suppose -b*f + 75*f = -220. Do f and 22 have different values?
True
Let v = 6669 + -6658. Is v smaller than -366?
False
Let a be 1 + 0 + 1 + 1. Let r(b) be the third derivative of b**5/30 - b**4/24 + b**3/6 + 20*b**2 - 11*b. Let y be r(a). Is 14 greater than y?
False
Let z(x) = -7*x + 67. Let r be z(9). Suppose 3*f = -r*q - 21, 4*f - 8*q + 47 = -7*q. Which is smaller: -13 or f?
-13
Let q(o) = -o**3 + 11*o**2 + 27*o - 11. Let h(b) = 18*b - 5. Let s be h(1). Let v be q(s). Suppose -10 - v = 6*l. Are l and 0 unequal?
True
Let h be -12 - (-19)/((-266)/(-56)). Which is smaller: h or -177?
-177
Let o(s) = -2*s**2 - 4*s + 2. Let p be o(-2). Let l be (p/3)/((-6)/(-9)). Let b be (-4 - -3)/l*12. Which is smaller: -25/2 or b?
-25/2
Let n = 257/522 - -2/261. Let q be (-285)/(-5) - (0 - 3). Let g = -55 + q. Is n at most as big as g?
True
Let l(f) = -f**3 - 29*f**2 - 2. Suppose 130 = -4*x - 3*s + 14, -5*x - 145 = s. Let o be l(x). Are o and -17/19 equal?
False
Suppose 1573*n - 1568*n = 5. Suppose 57 = 4*h + n. Is h smaller than 25?
True
Let h be -26*(-12)/((-36)/3). Is -5 less than h?
False
Let z = 165 + -167. Let u be ((-16)/36)/((-2)/6*z). Which is bigger: u or -1.21?
u
Let y be 2 - 3 - (-7)/5. Let h = -1858 + 400. Let w = -1428 - h. Is y equal to w?
False
Let f(n) be the first derivative of 0*n**3 - 11 - 13/2*n**4 - n**2 - 2*n. Let o be f(-1). Are o and 1 equal?
False
Let a = 18 + -7. Suppose 17 = -3*d + a. Let s be (-1)/(164/(-4)*1/d). Is 0 at least as big as s?
True
Let v(f) = f**3 + 10*f**2 - 4*f + 24. Suppose 3*x + 5*z - 14 = 7*x, 5*z = -10. Let d be v(x). Does d = 191?
False
Let b be ((-1)/3)/((-47)/(-6)). Let x be (-331)/(-7) + (12/42)/(-1). Suppose -43*m + x*m = 4. Do m and b have the same value?
False
Let j(x) = 2*x**2 - 4*x + 2. Let c be j(4). Let k be 17 - c - (-6 - 0). Suppose 2*p + 2*s = 50, 0*s = -4*p - k*s + 103. Are p and 22 unequal?
False
Let j be (-1)/(26/(-286)*11). Let r be (-9)/36 - 6/80. Is j at least r?
True
Let f = 7 - -5. Let g be 5 - (-73 + -4 + 5). Let c = g - f. Is 64 != c?
True
Suppose -167 + 702 - 260 = -55*y. Do -344 and y have different values?
True
Let w(v) = -16*v + 11. Let r be w(0). Suppose -i = -r*i + 4*i. Is -2/173 equal to i?
False
Let g be ((-7)/(21/(-657)))/(-1). Suppose -3*j + 146 - 804 = r, 3*j = 3*r - 654. Is g less than j?
False
Let n = 1 + -1. Let s = 69.52 - 72. Let z = -28.52 + s. Which is smaller: n or z?
z
Let d = -294 + 420.1. Let q = -33 + -93. Let w = q + d. Is -16 at most w?
True
Let k be ((-4)/(-63))/((-39294)/(-259)). Which is smaller: k or -1?
-1
Let t(j) = -2*j**2 + 36*j - 38. Let u be t(17). Let w be u/6 - 89/(-156). Which is bigger: w or -1?
w
Let i(x) = 2*x**2 - 41*x - 8. Let l(m) = m**2 - 40*m - 8. Let v(t) = -5*i(t) + 6*l(t). Let s be v(-9). Which is smaller: s or -89/5?
-89/5
Let o = 34 - 92. Let t be o/3*(-9)/6. Let n be (-4*(-4)/32)/(t/2). Which is smaller: n or 0?
0
Let y be 2/4 - ((-378)/(-4))/9. Suppose 33 = 16*p - 5*p. Let z be ((-13)/(-2))/(7/(-2) + p). Which is smaller: y or z?
z
Suppose -384 = -5*a + 141. Let q be 1010/(-6) - 5/(a/(-28)). Which is smaller: q or -165?
q
Let i be (-413)/15 - (1 + (-10)/(-15)). Does -30 = i?
False
Suppose -o - 2170 = -5085. Let c be ((-55)/o)/((-2)/(-1*2)). Is c greater than 1?
False
Let r = 32171 + -31715. Which is greater: r or 450?
r
Let c = 33627 - 16897. Is c at least as big as 0?
True
Let k(j) = -4*j**3 + 11*j**2 + j + 757. Let m be k(0). Which is bigger: m or 751?
m
Suppose a + 756 = -2*a. Let v(d) = d**3 - 2*d**2 - 8*d - 11. Let z be v(-6). Which is smaller: z or a?
a
Let h(c) = 23*c + 82. Let y(z) = 117*z + 409. Let d(v) = 11*h(v) - 2*y(v). Let q be d(-6). Is q smaller than -29?
True
Let m be ((-736)/(-80) - 8) + (-2755)/25 + 10. Suppose -2*k - 204 = 4*t, 2*k - 4*t + 73 + 123 = 0. Which is greater: k or m?
m
Let r(k) = -3*k**2 + 75*k - 135. Let f be r(33). Is f smaller than -927?
False
Let c be 6/(-5)*9685/298. Let a be (-213)/5 + 1 - -2. Which is smaller: a or c?
a
Let w = 178953/59 - 3033. Is -1.5 greater than or equal to w?
False
Let i = 2/55793 - 416494751/167379. Which is greater: -2488 or i?
-2488
Let l = -118654/889 - 140/127. Is -136 equal to l?
False
Let a = -124134 + 9990924988/80485. Which is bigger: a or 1?
1
Let h = -6139/387 + 142/9. Which is bigger: 0 or h?
0
Let l be (-91)/(-28) - ((-9)/(-3))/12. Suppose 12*o = -l*o. Is o less than 1/304?
True
Let t = -3.00666 + 0.00666. Is 4/21 > t?
True
Let j(g) = g**2 - 11*g - 188. Let u be j(-9). Let d = -0.061 + 1.061. Which is smaller: d or u?
u
Suppose -30 - 6 = 4*z + j, -z - 9 = -5*j. Let y be (-3)/z - 475/165. Is y >= -3?
True
Suppose -33*u + 19*u = 56. Which is bigger: -97/35 or u?
-97/35
Let v be (-5 + 35/7)*(-5)/(-10). Which is greater: v or 1/1010?
1/1010
Let a = -17974 - -20292638/1129. Are a and 1 non-equal?
True
Let y(d) = -19 + 3*d + 4*d**3 + 3 - d - 3*d**3 - 18*d**2. Let o be y(18). Suppose -2*s - 2 = o. Is -12 <= s?
True
Let j = -2.733 + 2.933. Let c = 1.1 + -3.1. Let v = c + 2. Which is bigger: j or v?
j
Let x = -442 - 1667. Let h = x + 137093/65. Is h at most 0?
False
Suppose 11 + 11 = -o. Let l(q) = -q**3 + 29*q**2 - 207*q - 66. Let x be l(15). Which is smaller: o or x?
o
Let z(r) be the first derivative of -3*r**2/2 + 2*r + 19. Let w be z(-1). Does -1 = w?
False
Let r = 314348/25 - 12572. Let f = r + -574/325. Let a = 3.3 + -3.2. Which is smaller: f or a?
a
Let q(l) be the first derivative of l**3/3 + 7*l**2/2 + 9*l - 15. Let t be q(-6). Suppose -t - 2 = -s. Is 5 >= s?
True
Suppose -5*i = c - 26, 2*c - 12*i + 10*i + 8 = 0. Let o(k) = -8 + 2*k**3 + 7 + 4*k**3. Let v be o(c). Which is bigger: 2 or v?
v
Let n = 12440 + -37318/3. Let m be ((-6)/