k, -7 = 3*k + 5*x. Let h be ((-60)/k)/(1287/26). Which is greater: 1 or h?
1
Suppose -2*t = j + 37, -2*j - 86 = 458*t - 460*t. Is j at least -862/21?
True
Let j = 51 - 49. Let q be -2 - j/2*-5. Suppose 2*m - q*z - 78 = 1, 4*m + 2*z = 118. Is m greater than 1?
True
Suppose 15*l - 117 - 3 = 0. Suppose -5*o + 29 = -2*w - l, w = -4*o - 51. Which is bigger: w or -30?
-30
Let n = -18692 + 18689. Which is greater: 54/49 or n?
54/49
Suppose 37*x = 9*x - 447 + 55. Which is smaller: -333/25 or x?
x
Let k = -5477 + 5478. Which is smaller: k or -2231?
-2231
Suppose -10*f - 2*f = 432. Let g be (-5 - 192/f)*380/(-6). Which is bigger: g or -21?
-21
Suppose 845 = -3*a + 4007. Let v = a - 3155/3. Suppose 1 = -2*z + 7. Is z smaller than v?
False
Let u be (5/(-10))/((-13)/(-50)) - -2. Suppose 5*i - 3*c - 2*c + 40 = 0, -4*c - 31 = 3*i. Let a be 1/(-3) - (-6)/i. Which is greater: u or a?
u
Let c(n) = 4*n**3 + 11*n**2 - 8*n - 16. Let a be c(-3). Suppose 7 = 3*h + 1. Let u be h/18*2/(-5). Is a < u?
True
Let l = -215616487/783 - -275372. Let z = 7/261 - l. Which is greater: z or 0?
z
Let i be 14/(-42)*(8/(4 + -2) + 659360/(-164720)). Let z = 0 + -1. Do z and i have the same value?
False
Let u(o) = 7*o + 41. Let m be u(-10). Let x be -1 - (4/(-5) - (-29 - m)). Is x at least as big as 15?
False
Let f = -661 - -973. Suppose 5*j + f + 498 = 0. Are j and -162 unequal?
False
Let v be (((-6)/4)/(6/8))/(340/1190). Suppose -6 - 10 = -4*h. Let x = h + -9. Is x greater than v?
True
Suppose 49*s + 1076 = 3820. Is 34 greater than s?
False
Let j = -14986 - -14985. Do j and -3/3467 have the same value?
False
Let o be (0 + 0)*10/20. Suppose -2*z - 3*z - 70 = o. Let w(g) = -2*g**2 - 30*g - 15. Let a be w(-15). Which is smaller: z or a?
a
Let k = 5/842 + -5357/51362. Let p be (-9)/(-24) - 11/8. Is p less than or equal to k?
True
Let l(a) = 4*a**2 + 107*a + 153. Let s be l(-26). Suppose 61 = -2*f + 213. Which is bigger: f or s?
f
Suppose -2*x + 3*v - 1881 + 18733 = 0, -2*x = -v - 16860. Let n be x/(-1968) - -4 - 1/(-3). Which is smaller: 0 or n?
0
Let p = 801.93 - 802. Which is smaller: p or 0.009?
p
Let b = 18164/27 + -484976/513. Let d = b - -274. Is 1 at most d?
True
Let p = -24 - -22. Let t be (-5 + 6)/(-1 - p). Suppose -5 = -4*n - t. Which is greater: 1/12 or n?
n
Let t be 2/((-6)/9) + 97 + 1. Let i = t + -93. Is i greater than 31/18?
True
Let y = 2.095 + -0.205. Let f = y - 1.95. Is 10 less than f?
False
Let c(z) = z**2 - z - 8. Let f be c(6). Let a be 3 + -2 + -112*(-32)/168. Is f greater than a?
False
Suppose 5*s = v - 10, 10 = 4*v - 3*s - 13. Suppose -5*c - 125 = m + 179, -v*m = 2*c + 140. Which is smaller: -59 or c?
c
Let f = -370 - -793. Let r = f - 410. Is -13 greater than or equal to r?
False
Let w be 10/(-35) - (4 - (-6214)/(-924)). Let h = 2/33 + w. Is 0 bigger than h?
False
Suppose 53*p + 2 = 55*p. Is -1/298 < p?
True
Let q be ((-2)/20)/((-1551)/(-14335)). Is 0 bigger than q?
True
Let h(m) = m + 18. Let d be h(-12). Let s be (-2)/10 + d/30. Let v be (-4 - -8)*((-21)/4 + s). Which is greater: -18 or v?
-18
Let d(a) = 122*a**2 + 2*a - 3. Let w be d(1). Suppose -5*f - w = 19. Let j be f/(-98)*7/5. Which is greater: 17 or j?
17
Let w = -1163639845/588 + 5935651/3. Let c = w - -429. Which is bigger: -1 or c?
c
Let z = -43.23 - -43. Let h be ((-247)/39 + 6)/((-40)/(-12)). Which is greater: z or h?
h
Let g = -715 - -2099/3. Suppose -4*z + 58 = -3*b + z, 0 = -5*b + z - 82. Is b < g?
True
Let t = 3837139/183 - 20968. Are -2/7 and t non-equal?
True
Suppose -5*b + 62*w - 133 = 65*w, -2*w - 104 = 4*b. Which is greater: -155 or b?
b
Let o(y) = -5*y - 150 + 20 - 19*y - 32. Let t be o(-18). Are 271 and t unequal?
True
Suppose 24 = m + 34. Let y be 3/(-5) + (-446)/m. Suppose -2*g - 42 = -y. Which is smaller: 2/15 or g?
2/15
Let x be (4 - -7) + 5260/(-452). Which is smaller: x or 0?
x
Let f = 5.1 - 9.5. Let l = 95 + -57. Let n be 2/(-11) + l/209. Is n at most as big as f?
False
Suppose -70 = 13*w - 291. Suppose -88 = w*v + 5*v. Is v > -25/7?
False
Let b(v) = -v**2 + 9*v - 18. Let u(z) = -7*z - 3. Let j be u(-1). Let q be b(j). Which is greater: q or 6/5?
q
Let h = 11812 - 12234. Do -389 and h have the same value?
False
Let s = -6 + 8. Suppose 3*a = -1 + 4, -4*b = s*a - 158. Suppose 17 - 297 = -7*w. Are b and w equal?
False
Let a be 0 + (93 - 3)/5. Let b = 1572 + -7769/5. Which is smaller: a or b?
a
Suppose -3*u - 4513 = -2515. Are -667 and u unequal?
True
Let m(l) = l**2 + 12*l - 2. Suppose -5*o + 5*d - 80 = 0, -3*o - 7 = -d + 35. Let q be m(o). Let u be (-7 - 145/(-20)) + (-227)/(-20). Which is bigger: q or u?
u
Let k be 10/3*(336/(-35))/(-8). Suppose 0 = k*v - 766 + 110. Suppose q = -5*a + v, -7*q + 3*q - 48 = -2*a. Is 32 >= a?
True
Let v be (-566)/40 + -1 - (-303)/101. Let i = v + 62/5. Which is smaller: i or 0.191?
0.191
Let g = -34733 + 34821. Is g less than or equal to 86?
False
Suppose -10*l + 6*l + 68 = -3*k, 3*k = -3*l + 72. Let x be (-56)/l + 4 - (-9)/(-45). Is -2/155 < x?
True
Suppose 2*k = -6, -3*k = -4*z - 4 + 41. Suppose z*v - v = 66. Is v at least 12?
False
Let d(x) be the second derivative of -14*x + 7/6*x**3 - 9/2*x**2 + 0 - 7/12*x**4 - 1/20*x**5. Let c be d(-8). Does c = 1/8?
False
Let p = 661 - 655.19. Which is smaller: p or 2/5?
2/5
Let z(c) = -13*c + 2. Let s be z(-2). Let m(d) = -11*d - 20*d**2 + 0*d - 3 + 19*d**2. Let u be m(-6). Which is smaller: s or u?
u
Let i(q) = -2*q**2 - 139*q + 77 - 137*q + 273*q. Let f be i(0). Does 77 = f?
True
Let s(w) = -3*w**3 + 13*w**2 + 22. Let c be s(6). Which is greater: c or -160?
c
Let k be 6/(-36) + 5 + (-7983)/54. Which is smaller: k or -146?
-146
Let l be (2/2)/(2/(-8)). Let r(w) = -6*w + 863901 - 863923 + w. Let p be r(l). Is -3 > p?
False
Let i(w) = -866*w - 866. Let c be i(-1). Which is greater: c or 4/433?
4/433
Let c be (20/(-6))/(58/(-3)). Suppose -77*y = -213*y. Which is smaller: y or c?
y
Let c = -5 + 17. Suppose 0 = -11*s + 14*s - c. Suppose -s*p = -2*y, -3*p + 5*y = -6 - 1. Are p and -1/4 nonequal?
True
Let m = -79 - -75. Let w be (m - -7)/3 + 3. Suppose 0*i + 5*i - 24 = -2*o, -w*o + 3*i + 74 = 0. Is 1/3 at most as big as o?
True
Let s = -98392021603/9755550 + 6707017/665. Let f = s - -2/4075. Is f greater than or equal to -1?
True
Let f(r) = -9*r**2 + 35*r - 46. Let y(w) = 4*w**2 - 18*w + 24. Let i(n) = 6*f(n) + 13*y(n). Let l be i(-13). Which is smaller: 69/7 or l?
69/7
Let r = 363179/11 + -33039. Which is bigger: r or -22?
-22
Let b = 626.0876 - -0.1124. Let a = b + -626. Is a <= -21/5?
False
Let g be 3808/6996 + (-6)/11. Let k = g - -10504/8745. Which is greater: -18 or k?
k
Suppose 110*p - 19 - 26 - 65 = 0. Is p equal to 3/449?
False
Let g be (-5)/3*450/(-125). Let h be (-126)/4*40/(-12). Suppose w = g*w - h. Is w at most 22?
True
Let z = 3332 + -3332. Which is bigger: -5/422 or z?
z
Let b be ((2/(-4))/(-1 - -5))/((-9009)/(-25740)). Which is smaller: -20/7 or b?
-20/7
Let c be ((-12)/8)/((-62)/8 + 1). Suppose -6*x + 20 = -2*w - x, -2*x + 8 = -3*w. Is w equal to c?
False
Let d be (-19 + (39 - 17))*-22. Which is smaller: -54 or d?
d
Let k = -1005 + 1006. Is -21.2 less than k?
True
Suppose -32*d + 4815 = 271*d - 336. Let c = 358/13 + -424/39. Which is bigger: c or d?
d
Let p be 0/2 + -2 + (-1992582)/1800. Let t = 1109 + p. Is t greater than 0?
True
Let i(n) = 10*n**2 + 12*n - 18. Let z be i(7). Are z and 554 nonequal?
True
Let h = 52 - 52. Suppose h = -321*v + 324*v - 6. Which is smaller: v or 0?
0
Let t = -611.9469 - -612. Let b = -0.1969 - t. Which is smaller: 0.4 or b?
b
Suppose -28*c + 18*c = 80. Let m be ((-27)/c)/((-213)/(-284)). Let b = -2 + 4. Which is bigger: m or b?
m
Let d(f) = -f**3 - f**2 + 23*f + 23. Let j be d(10). Do j and -842 have the same value?
False
Let t = 397/56 - 47/7. Let m = t - 7/8. Let w be 2/(-8)*(-7 - (-15 + 4)). Which is bigger: m or w?
m
Let a = -1192221376/255 - -4675372. Let x = -13/51 + a. Which is bigger: -5 or x?
-5
Let f = -6347 - -5708. Does f = -633?
False
Let b(y) = y**3 + 6*y**2 + 5*y. Let w(o) = o**3 + o**2 + o. Let f(a) = b(a) - 2*w(a). Let d be f(4). Which is greater: d or 9?
d
Let f = 217181/2484 - 2012/23. Is f smaller than 1?
True
Let n be 66/110 + 590/(-25). Which is smaller: n or -203/9?
n
Let j(u) = u**2 - 399. Let m be j(20). Is 39/802 < m?
True
Let i(z) = 6