 6 < h?
True
Let s be 4 + (-6 + 1 - -6). Suppose -8 = -5*v - l, -20 = 10*v - 15*v - s*l. Which is greater: -3/110 or v?
v
Let d = -75.6 - -75.7. Is -11.8 bigger than d?
False
Let v = -73 + 84. Let b be (2 - (-3 + 1)) + (-34)/v. Which is smaller: b or 0?
0
Suppose 11*t - 3*n = 10*t + 25, 0 = -5*t + 5*n + 75. Suppose -l + 11 = 2. Are t and l nonequal?
True
Let b(o) = -o**2 - 6*o + 3. Let k be b(-6). Suppose 11 + 123 = 2*p. Let r be -2 - (k - p)/(-4). Is r at most -18?
True
Let k be (14/(-28))/((-2)/(-19206508)). Let b = -177628599/37 - k. Let i = b + -854. Is 1 smaller than i?
False
Let i = 310 - 36. Suppose -8*u - 86 - i = 0. Let s = u - -44. Is 4 <= s?
False
Let l be (2/3)/(2/9). Let d = -160 + 157. Let v(z) = z**3 + 3*z**2 + 5*z + 7. Let i be v(d). Do l and i have the same value?
False
Suppose -13 + 3 = -5*y. Suppose 4*k - 12 = y*k. Suppose 2*o + k = 8*o. Is o > -1/28?
True
Suppose 4*u = 5*m - 15, -4*m = 2*u + 20 - 6. Let l = -8/37 - -2829/12913. Is l bigger than m?
True
Let a = 0.049 + 0.951. Let n = 178 + -98. Which is bigger: a or n?
n
Let l(p) = 4*p**2 - 20*p - 12. Let k be l(7). Let r be ((-204)/(-374))/(6/k). Do r and 62/13 have the same value?
False
Let d = 8 + -1. Let v = -9826.7 + 9854.7. Which is bigger: v or d?
v
Suppose 158*p = 179*p + 651. Let i = -739 + 701. Which is smaller: i or p?
i
Let j(r) = 10*r + 123. Let x be j(-12). Let f(m) = 6*m**2 - 16*m - 7. Let k be f(x). Is k less than -6/191?
True
Suppose -8*q + 12*q = -4. Which is bigger: 1/4068 or q?
1/4068
Let z(s) = s**3 + 24*s**2 - s - 25. Let y be z(-24). Let n be ((-42)/(-35))/(16/(-30)). Which is bigger: y or n?
y
Let d be (-121)/(-11) + -6 - (0 + 18948/3788). Is -1 smaller than d?
True
Let o = 112 - 17. Let s = o + -53. Let z = s - 37. Which is smaller: z or -1?
-1
Suppose 83*o = 78*o + 2085. Let l = o + -426. Let a = 12598/5 - 2528. Which is smaller: l or a?
l
Suppose 6*y - 7*y - k - 93 = 0, -267 = 3*y - 3*k. Suppose -3*t = t + 5*z + 156, 78 = -2*t - 3*z. Let x be 3 + (t/y - (-36)/(-35)). Is 2 equal to x?
False
Suppose -2*z = -5*d + 7, 0 = -3*d - d + 4. Let x be -3 + (-8991)/59792*-20. Is x less than z?
False
Let p = -30.6 - -31. Let s = 10.4 + p. Let g = s + -10. Is 3/4 bigger than g?
False
Let q be (-240)/1*(-38)/76. Suppose -31*v + q = -51*v. Which is smaller: -7 or v?
-7
Let j = 25 + 31. Suppose -j - 24 = -5*p. Let g be (3/132)/((-6)/p + 1). Is g >= 0?
True
Let z = -2096 + 2633. Which is smaller: z or 0?
0
Let y = -5 + 7. Let f be (-1)/y - 447/(-6). Suppose i - 220*n + 222*n = 73, -146 = -2*i - 2*n. Which is greater: i or f?
f
Suppose 83588 = 14*h - 33*h + 8937. Are -3928 and h nonequal?
True
Let d be (3117/3123 - -1) + (-48)/24. Is d > 0?
False
Suppose f - 27 = -25. Suppose 5*v - 3*a = -33, -3*v - f*a - 12 = 4. Suppose 5*j + 13 = -12. Which is bigger: j or v?
j
Let d = 0.146 + -0.09. Let z = -39.944 - d. Let i = -49 - z. Which is smaller: -2/9 or i?
i
Let l = 362828881972/699 - 519068036. Let t = 1394/3 - l. Which is smaller: t or 1?
t
Let a = -844.542 - 4.458. Which is greater: -1 or a?
-1
Suppose 3 = 3*y - 36. Suppose 28 = 37*q - 35*q. Which is greater: q or y?
q
Let c(t) = -2*t**2 + 5*t + 53. Let f be c(-4). Which is smaller: f or -2/6919?
-2/6919
Let z be (4/(-8))/(1 + 207/(-208)). Let t = 193 + z. Let a = -76 + t. Which is smaller: a or 14?
a
Let h = -94 - -225. Suppose 136*b = h*b + 25. Suppose 3*z - 5 = b*n - 0*z, -n = 4*z + 1. Which is greater: n or -10/23?
-10/23
Let h = -287.0065 - -0.0065. Let r = -286 - h. Which is bigger: r or 15.4?
15.4
Let p = -536 - -4831/9. Let b = -1 + p. Suppose 22*j - 25*j = 10*y - 31, 5*j - 40 = -5*y. Is b at most y?
True
Let x(q) be the second derivative of q**5/20 + 5*q**4/3 + 4*q**3 + 66*q**2 + 102*q. Let z be x(-19). Which is smaller: z or 36?
36
Let t be (250396/(-44) + 2 - (-14)/(-77)) + 2. Which is smaller: t or -5689?
-5689
Let d be ((-2)/5)/(189/210)*-102. Let v = 91/2 - d. Which is smaller: -0.15 or v?
-0.15
Let m be 3*(-3516)/(-18) - 2. Let b = m + -705. Are -118 and b non-equal?
True
Suppose -2*i = 5*t - 5*i - 17, -3*i - 9 = 3*t. Are 1/6899 and t non-equal?
True
Suppose 3*l = -18, 250*l - 599 = d + 251*l. Is d less than -595?
False
Let t be ((-84)/18)/((-2)/3). Suppose 234 - 213 = t*h. Which is greater: h or 0?
h
Let b be (-320)/180 + (-2)/9. Which is bigger: b or -228/71?
b
Let j = -15387.2 - -15387. Is j != 8/271?
True
Let w = 7283 - 7288. Which is smaller: w or 4102?
w
Suppose -4*h = 5*w + 1136, w + 226 = 30*h - 31*h. Is w >= -231?
False
Suppose -5*i - 32 = 5*c - 2, 3*c - 14 = 5*i. Let v be (45/18)/((-1)/i). Suppose v*g + 56 = 16. Which is smaller: g or -31/7?
-31/7
Suppose -5*x - 252 = 8. Let r = x + 104. Let b be r/39*(0 + 1/(-16)). Which is smaller: b or 1?
b
Let v be (236/2478)/(2*(-2)/(-28)). Let z = 1.29 - 62.29. Do z and v have different values?
True
Let l = -0.3779 + 0.0269. Let h = 3.351 + l. Is h > -46?
True
Let t = 10 - 4. Suppose -5*o = 3*j - 47, 0 = t*j - 4*j - 8. Suppose 0 = -o*d - 1 + 43. Which is greater: d or 8?
8
Let u be ((-104)/451 - 22/(-121))/3. Is u at most as big as 4/5?
True
Let f = -135368/25 + 5414. Let k = 0.02 + -1.02. Is k less than f?
True
Let o = 12437 - 12434. Is o less than or equal to 0.031?
False
Let n = -59 - -47. Let f = -105 + 50. Let u = f + 53. Is u greater than n?
True
Let k be -1*(-8)/(-6) + 3233/159. Let v(t) = 2*t**3 - 39*t**2 + 23*t - 26. Let m be v(k). Is 48 bigger than m?
False
Let m = -19212 - -19209. Which is bigger: 2243 or m?
2243
Let d = -16299 - -9978. Is d greater than -6321?
False
Let a be 46/14 + 6/(-21). Suppose 5*c - 27 = -2*z - a, 0 = -2*z - 4*c + 28. Let r = 49785 - 49762. Which is smaller: r or z?
z
Let o(p) = p**2 - 15 - 28 + 53 + 7*p. Let b be o(-5). Let w be b/(-1 - -3)*-1. Are 1/65 and w non-equal?
True
Suppose 5*b + 76 = -109. Let x = b + 53. Let k be (12/10)/((-4)/(-50)). Which is bigger: k or x?
x
Suppose -6*f - 8 = 4*m - 2*f, 2*m = f - 13. Let x be (-156)/(-10) - 2/m. Suppose 0 = -2*i + x - 18. Which is bigger: i or 1/29?
1/29
Let t = -0.0173 + -297.9827. Let h = 297 + t. Is h bigger than 95?
False
Let i be 299 + (-11)/22*6. Which is smaller: i or 298?
i
Let d = -377 - -374. Let j be 85/204 + d/4. Which is bigger: j or -112?
j
Suppose 23*q = 189 + 179. Suppose -3*v = 4*g - 225, -21*v + 383 = -q*v + 4*g. Which is bigger: v or 80?
80
Let p(j) = 309*j + 5887. Let s be p(-16). Does s = 938?
False
Let s(o) = -81*o**2 + 79*o - 324. Let p be s(4). Which is smaller: p or -1303?
p
Let a = 8 + -8.2. Let h = -645355/28 - -93333/4. Let b = h - 284. Is b smaller than a?
False
Let c be 2/3 + (-80)/30. Let g be (((-60)/25)/c)/((-4)/(-10)). Suppose 0 = -3*q - x + 2, q + 2*x + g = 7. Is 3/37 at least as big as q?
True
Let b = -41745261 + 653730770737/15660. Let g = -4/783 - b. Which is bigger: g or 1?
g
Let x = -186.03 + -13.97. Let q = x - -201. Let o = 0.2 + -0.11. Which is bigger: o or q?
q
Suppose -4*f + 9*f - 164 = 2*j, -3*f = 5*j - 117. Let a = f + -39. Let p be 2/a + (-9)/15*1. Which is smaller: 2/21 or p?
p
Let t be (96/(-5))/(-8)*5 - -4. Does 376/23 = t?
False
Let b be (8/(-8))/(-1 + 4/2). Let z = -435663598/273 - -1595835. Let t = z - -50/21. Is b at least as big as t?
False
Let y = 2028 - 2069. Which is smaller: y or -1?
y
Let w be (-8*(-17)/(-34))/(1 - 11). Let p = 13.09 - 0.09. Let l = p - 12.8. Which is bigger: w or l?
w
Let n = -41 - -22. Let i(d) = -8*d**2 - 2*d + 3. Let s be i(1). Which is smaller: s or n?
n
Let a(d) = -124*d - 1063. Let z be a(38). Which is smaller: z or 1?
z
Suppose 0 = -5*y + 2 - 12. Let s be (8 - -16)*30/(-680). Which is smaller: s or y?
y
Let v be 6/(-33) - (-360)/1980. Which is smaller: v or 87/137?
v
Let c = 17825 - 17825. Is c >= -91/212?
True
Let z be ((-57)/228)/(5/(-20)). Which is smaller: z or -3/722?
-3/722
Let g = 24917 - 24916. Which is smaller: g or 16/185?
16/185
Suppose -3*n + 20 = 4*o - n, -5*o + 24 = 2*n. Suppose 3*r - o = -f - 11, 0 = -4*f - 4. Is r at most as big as -11?
False
Let x(t) = 82*t + 39. Let n be x(14). Suppose 5*a - 147 = -2*q - n, -a + 4*q - 230 = 0. Let i be (-2712)/a*(-1)/4 + 3. Which is smaller: i or 0?
i
Suppose -13*t = -l - 5*t - 10, 5*t + 5 = l. Is 39 > l?
True
Let p be 11 - (4 - 0 - 2). Suppose 6*i = p*i - 3. Let h = -246 + 11809/48. Is h less than or equal to i?
True
Let l be ((-7