 Let h = q + -4.91. Which is smaller: h or b?
b
Let p = 2712 + -3034. Which is greater: -323 or p?
p
Suppose 136*f - 1303 = -4023. Is f >= -376/19?
False
Let b = -67 + 80. Let g be ((-10)/8)/(((-1170)/(-40))/b). Let a = 3 + -3. Which is bigger: g or a?
a
Let k = 85 - 59. Suppose -4*p + 3*d = 75, 4*p + 108 - 68 = -4*d. Let g(l) = 2*l**2 + 25*l - 47. Let q be g(p). Which is smaller: q or k?
k
Suppose 21 - 157 = 5*y - t, 0 = 2*y - t + 55. Let w = y + 42. Suppose -4*i + 8 + 0 = 0. Is i less than or equal to w?
True
Let u = -45.3 + 41. Let c = u + 3.9. Let z = -0.4 - c. Which is bigger: z or 1.2?
1.2
Suppose 24 = -3*r + 3. Let n(q) = -q**2 - 10*q - 9. Let b be n(r). Suppose 8 = -5*l - b. Which is greater: l or 0?
0
Let k(l) be the third derivative of -l**5/60 + l**4/6 - l**3 + l**2 - 9*l. Let u be k(2). Which is smaller: -20/19 or u?
u
Let l = -243.27 + 51.97. Which is greater: l or -1?
-1
Suppose 0 = 21*f - 105486 - 162558. Let r = f + -7574. Let i be (-3)/(-2)*(7 - r/738). Is i bigger than 0?
False
Let w be 3 + (17 - 15) + 19/(-3). Let d = -224 + 259. Which is smaller: w or d?
w
Let a = -26.067 - -24.25. Is a at most 0.2?
True
Suppose 5*s + 31 = 3*l - 5*l, 4*l + 5*s = -37. Let z be (-5)/l*(-18)/(-10). Suppose -k + 11*k = z*k. Which is bigger: -2/129 or k?
k
Suppose -32*g = -36*g + 140. Suppose 30 = 5*u + g. Which is smaller: 1/135 or u?
u
Let x = 170 + -159.92. Let t = x - 10. Let o = 0.18 - t. Is 6/11 equal to o?
False
Suppose -2*z + 3*p + 562 = 0, -z + 311 = -2*p + 31. Which is greater: 293 or z?
293
Let y = 18 - 1. Let t = y - 36. Is t equal to 0.1?
False
Let k = 1104869/566620 - -2/28331. Is k greater than or equal to 2?
False
Let l(t) = t**3 + 5*t**2 - 27*t - 15. Let j be l(-8). Let c = -119 - j. Which is bigger: c or -130?
c
Suppose -5*r = w + 525, -3*r - 3*w + 210 = -5*r. Let i be (-108)/r*(-336)/72. Which is bigger: i or -6?
i
Let k = -6889/3540 + 29/15. Suppose -15*t = -149*t - 100*t. Is k <= t?
True
Let p be 18/60*(-472)/3. Let s = -1290 + 1242. Which is smaller: p or s?
s
Let q = -0.0295 + -1.1705. Let z = -0.08 + -0.12. Let d = z - q. Are d and 1 non-equal?
False
Suppose -2*t = 3*p - 182, -t + 169*p + 113 = 165*p. Is 1068/11 < t?
False
Let s = -17047 - -17055. Are -546 and s unequal?
True
Let o = -168 - -148. Suppose 0 = -2*r + 2, 4*g + 2*r - r = 33. Let y be (-8 - -1)*(10/(-2) + g). Which is greater: y or o?
o
Let w = 278 + -562. Let f = w - -284.05. Which is bigger: f or -0.2?
f
Let x = -1227.2968 + 1227.3. Which is smaller: x or -0.2?
-0.2
Let t be (-8)/12 - (-10)/(-3). Let j(r) = r**2 + 2*r - 8. Let n be j(-8). Suppose 2*k + n = 34. Which is smaller: t or k?
t
Let f = 8.5 + -3. Let d = f + -4.4. Let j = d - 1. Which is smaller: 0.29 or j?
j
Suppose -21*k + 17 = -4. Let a be k/(-2722)*(-212)/53. Does 1 = a?
False
Suppose -2*k - 20*d + 16*d = -14, k + 3*d - 11 = 0. Which is smaller: 3/356 or k?
k
Let h(c) = -c**3 - 20*c**2 - 3*c + 70. Let k be h(-17). Which is bigger: k or -750?
k
Suppose 0 = -4*t + d - 0*d - 273, 0 = -4*t - 2*d - 258. Let n = t - -65. Which is smaller: n or 4?
n
Let j be (-382)/(-4)*(0 - -6). Let p = -1121/2 + j. Suppose -56*a + 96 = -362 - 214. Is p at least a?
True
Let l = 4 + 36. Let m = 31 - l. Let n be 215/25 + m/15. Which is smaller: n or 10?
n
Suppose 0 = 6*l - 97 - 65. Let y be -3*(-30)/l*(-12)/310. Is -1 greater than y?
False
Let t be 24/54*-3*(-3)/(-5). Let y = -58 + 60. Suppose -2*n + y = -3*n. Is t greater than n?
True
Let m be 3 + -65 + (-8 - -14). Let x be ((-93)/(-12))/((-14)/m). Which is greater: x or 191/6?
191/6
Let l be 0/1 - (-6)/(-2). Let v(g) = -10*g + 8. Let o be v(l). Let d be (1 + o/8)/(3/(-12)). Is d less than or equal to -25?
False
Let p(m) = m + 3. Let c be p(-4). Let g(x) = -40*x**2 - 5*x + 9. Let z be g(-5). Let h = z + 87907/91. Which is bigger: h or c?
h
Suppose -14*s + 15*s - 50 = -4*o, -2*o + 34 = -4*s. Suppose 4*j + 9 = o. Let k be 1010/1560 + (-2)/3. Which is bigger: k or j?
j
Suppose 3328 = -a - 4*b, 5*b - 7766 - 5693 = 4*a. Is -3354 less than or equal to a?
False
Suppose -8*r + 9 = 65. Let a be r/245*(-2)/5. Is a smaller than 1?
True
Let q = -427231 - -427208. Suppose 3*y + 63 = 5*z, -y + 4*y + 4*z = -90. Let t be y*1/(-16)*-14. Which is smaller: t or q?
q
Let y be 0 + 47/7 + (-8)/(-28). Suppose 6 + 1 = -y*t. Is t less than -2/823?
True
Suppose -55 = 10*n + 95. Let a be n*(3 - (-1 - 1)). Let q = a - -73. Which is greater: q or -12/13?
-12/13
Let l = 12007/76 - 717/19. Let u = l - 6341/52. Do -2/23 and u have the same value?
False
Let o(y) = y**2 - 167*y + 331. Let b be o(2). Are -1/276 and b equal?
False
Let d be ((-10)/(-8))/((-3)/(-24)). Let m be 4 + (-428)/(-107)*(-3)/(-6). Which is greater: m or d?
d
Let h = 667 - 661. Let z(u) = u**2 + 2*u - 42. Let i be z(h). Which is greater: 5 or i?
i
Let m(l) = -l**2 + 193*l - 7073. Let u be m(34). Which is greater: -9995/6 or u?
-9995/6
Let o be (77/(-76) - -1) + 0. Suppose 206*q - 15 = 207*q. Let m(f) = f**3 + 13*f**2 - 27*f + 46. Let p be m(q). Which is bigger: o or p?
p
Let a be 5/(-6) + (-1)/(-3). Let q = -6053 - -30258/5. Which is smaller: q or a?
q
Let p be (-8)/14 + 1364/(-308). Let m be (-107)/(-4 + p + (-140)/(-16)). Which is greater: 427 or m?
m
Let h = -30931/32751 + -1/65502. Which is greater: h or -1?
h
Let l(g) = -25*g**2 - 513*g + 243. Let o be l(-21). Which is smaller: -254/29 or o?
o
Let b be (-2457)/156*24/(-14). Is 295/11 greater than b?
False
Let k = 167.4 + -167. Let r be 16/(-18) + (-30)/(-45). Is k at least r?
True
Let l(c) = -18*c + 54. Let k be l(3). Is 1/10336 less than or equal to k?
False
Suppose 5*l - 8 = -33. Let h = -6 - l. Let n be (-14)/(-132) + (-93)/837. Is n bigger than h?
True
Let h = -635086/29 - -21888. Which is bigger: -11 or h?
-11
Let q = 1164 + -1087.1. Let y = q - -16.1. Is y at most as big as 0?
False
Let m be 14 + (-1 - (-6 - 22)). Do m and -7 have the same value?
False
Let a be (-3)/5 + (-564)/(-15) + -4. Suppose 0 = r + t + 4*t + 41, 3*r - 4*t = -47. Let f = a + r. Is f > 11?
True
Let l = -89 - -92. Suppose -l*c = -0*c + y - 23, -y = -2*c + 12. Let h(o) = 7*o - 1. Let d be h(1). Which is bigger: d or c?
c
Let d be ((-15)/(-12) - 2)*-12. Suppose -61*h + 216 + 211 = 0. Which is greater: h or d?
d
Suppose -24*b = -20*b + 64. Let p(d) = 4*d + 71. Let j be p(b). Which is smaller: j or 0.1?
0.1
Let a(r) = -4*r**3 + r**2 - 1. Let b be a(-1). Let t be (1 - 6/b)/(5/(-2940)). Is t greater than 294?
False
Suppose -16*h + 1549 = 429. Suppose 25*l - 27*l + h = -2*s, -5*s + 25 = 0. Is l less than or equal to 198/5?
False
Let o be (-2102)/(-26) + 9/((-468)/(-8)). Suppose w - 2*t - 10 = 0, -2*t = 4*w + 1 - o. Let x = -3 + 21. Is w bigger than x?
False
Let z = -59.46 + 59.36. Let m = 1 - 6. Let f = m + 12. Is f at most z?
False
Suppose -2*k = -6, 3*k = -4*q + 2*k + 15. Suppose -q*c - 4 = -i + 7, -3*c - 9 = 0. Is 13/4 < i?
False
Let z(f) = -3*f - 70. Let p be z(-25). Suppose 12*n - 17*n - p = 0. Which is bigger: -1/118 or n?
-1/118
Let s = -50 + 49. Let q be s/((-1)/3) - (-25)/(-10). Suppose 2*p - 6 = 4*l, -4*l = -3*p + 4 + 3. Which is bigger: p or q?
p
Let q = -2 + 4. Let k = -304 + 1227/4. Let d = 43/20 - k. Which is smaller: q or d?
d
Let x = 597 - -7365. Does x = 0.2?
False
Let x be (10 + 0 - (-42720)/(-4488)) + (-2)/17. Is x less than -387?
False
Let r be (-2)/5 + 96/(-10). Suppose 2654 = -11*o - 6696. Let y = 842 + o. Which is smaller: r or y?
r
Let p = -0.57 + 0.524. Let g = 3860.046 + -3855. Let c = p + g. Is -0.2 >= c?
False
Let o be (-2)/13 + 306469/2096237. Which is greater: 0 or o?
0
Suppose 2 = 3*v - a, -67*a - 25 = 5*v - 63*a. Suppose -3 = 4*q + 13. Which is smaller: v or q?
q
Suppose 3*o - 4*u - 38 = -2*o, 0 = o + 4*u - 22. Suppose -365 = -o*m + 95. Is 46 > m?
False
Suppose 144 = 7*b - 10. Suppose -590 = b*m + 1280. Is -85 greater than m?
False
Let v be (2 + (-39438135)/(-565))/((-28)/(-8)). Let h = v - 19944. Is h at most 1?
True
Suppose 41*b + 94 = 43*b. Is -52 <= b?
True
Let t be 162/(-78) + -2*6/(-12). Let u = t - -17/13. Which is bigger: 0 or u?
u
Let d be 27225/(-135) - ((-4)/(-10) - (-32)/(-30)). Is 18 bigger than d?
True
Let b = 1569 - 1574. Which is greater: b or -38?
b
Let i(t) = -t**2 - 45*t - 74. Let j be i(-31). Let p be 2/j*55 + (-2)/9. Which is greater: 1/4 or p?
1/4
Let