 r = -299/287 - -31/41. Which is greater: r or 269?
269
Let p be 27/12*(-12)/(-3). Suppose 0 = -g + 4*g + p. Is g > -6?
True
Suppose 98 = 15*l - 157. Which is smaller: 140/9 or l?
140/9
Let x = -6.74 + 6.2. Let f = 3.84 + x. Which is bigger: f or 1?
f
Suppose 8*h - 108 = 17*h. Which is smaller: h or -80/7?
h
Let i = 448.7 - 449. Which is smaller: i or -0.25?
i
Let q be -6*(-3)/(-9) + 3. Is q at least as big as -1/1368?
True
Suppose -p - 2*a + 2 = -5*a, 0 = -5*p - 5*a + 90. Let i(l) = 2*l**2 + 18*l + 10. Let g be i(-7). Let d = p + g. Is -2 at most d?
False
Let q be (90/21 - 4) + 360/14. Let t = q - 29. Is t less than or equal to -3?
True
Let k = 0.11 + 6.89. Let b = -39.2 + k. Let n = 32 + b. Which is smaller: 0.6 or n?
n
Let r = -37 - -40. Suppose y - 13*s = -12*s, -4*y = r*s. Is y at most -2/29?
False
Let d(q) = q**2 + 2*q. Let j be d(-1). Let f be (-6)/(-27)*j/(-1). Let h = -0.2 - -0.2. Is f less than or equal to h?
False
Let s(p) = p**3 + 20*p**2 - 8*p - 53. Let j be s(-20). Which is smaller: j or 109?
j
Suppose 1729 = -2*b - 11*b. Is -133 greater than b?
False
Let b(g) = -60*g**2 + g - 1. Let y be b(1). Let d be (-42)/y*(-2)/(-42). Let z = -1 + 1. Is z smaller than d?
True
Let c = -1545 + 1559. Which is smaller: 13 or c?
13
Let o = -569 - -497. Is 0 smaller than o?
False
Let v be -198*((-1)/(-42)*-106 + 2). Let l = v - 104. Which is smaller: l or -14/5?
-14/5
Let i = -0.3 + -0.2. Let m be 14/4 + (-4)/8 - -1. Let n be (m - 4) + (-33)/9 + 3. Is n >= i?
False
Suppose 5*b = 5*z + 195, -b + 19 = -5*z - 0. Is b at least 39?
True
Let f = -2505 - -2515.21. Are f and 1 unequal?
True
Let l = -66 + 30. Let s = l - -24. Let j = s + 16. Is j greater than or equal to -0.1?
True
Let j = -108 + 109. Is j < 18/17?
True
Let p(g) = g - 7. Let f be p(4). Let n be (-2 - -3)/(2/(-6)*f). Is n < -1/42?
False
Let s be 4930/(-35) + 2/(-14). Let p = s + 152. Let q = -2.9 - -3. Which is bigger: p or q?
p
Let s = 93.3 + -38.3. Is s >= -0.2?
True
Suppose 3*t + 5*x = -3, 0*t - 4*t = -3*x - 25. Suppose -a + p = -4*a + 108, 4*a - 160 = t*p. Which is greater: a or 38?
38
Let n be (-29025)/(-243) + 4/(-9). Is n >= 110?
True
Let v(s) = -39*s**2 - 9*s - 32. Let t be v(-3). Which is greater: t or -353?
-353
Suppose 137 = 4*z - 3*q + 2, -2*z = -q - 65. Let p be 117/4 - (-24)/32. Is p >= z?
True
Let g(t) = -6*t**2 + t - 1. Let z be g(2). Let d(k) be the third derivative of k**4/12 + k**3/3 + 11*k**2. Let s be d(-12). Is s > z?
True
Suppose 3*v = -p - 2*v + 28, -4*v = 3*p - 40. Is p smaller than 26/3?
True
Suppose -6 = 2*j - 0. Let h be (-6)/(-8)*(-4)/(-1). Is j <= h?
True
Let n = -14.5 - 0.5. Let k = -15.302 - -0.402. Let l = n - k. Which is greater: 23 or l?
23
Suppose 4*j - 3*t - t + 44 = 0, -3*t = -4*j - 42. Suppose -o + x = 3, -4*x + 17 = -2*o + 1. Suppose -o*i + 30 = -5*i. Which is greater: j or i?
j
Let u = 0.11 + 0.11. Let f = -365 - -366.22. Let j = u - f. Which is bigger: -0.4 or j?
-0.4
Let k = -239 + 261. Which is smaller: 3/2 or k?
3/2
Let s be -9 + 6 + 2 + -5 - 43. Is s < -53?
False
Let s be -3*(-20)/(-135) + (-8398)/18. Is -466 greater than or equal to s?
True
Suppose -134*z = -119*z - 15. Do z and -26/127 have the same value?
False
Suppose 5*q + 5*o - 10 = 0, 0 = 4*q - 3*o - 8 - 0. Let y be 7/3 - q/(-3). Suppose -5*r - 15 = -4*x, -r - 5*x + 23 = -y*r. Which is smaller: r or 6/11?
6/11
Let h(j) = -j**3 - 6*j**2 + 6*j - 1. Let k be h(-7). Let l be 63/(-120) - (-3)/k. Which is smaller: l or -1?
-1
Let r be (2/(-8628))/((-16)/(-53 - 11)). Which is smaller: 0 or r?
r
Let c(d) = d**2 + 3*d + 1. Let a be 5/(-15) + 1/3. Let j be c(a). Let v = 50 - 97/2. Which is bigger: v or j?
v
Suppose -3*q = -4*f + 76, q + f + 56 = -2*q. Let t be 180/(-40)*(q/6 + 2). Let g be ((-1)/5 - -1)*5. Which is bigger: g or t?
t
Let c be -2 + 379/(-10) + -1. Let g = -208/5 - c. Which is bigger: g or 0?
0
Let q be ((-22)/(-33))/((-4)/78). Let p = -11 - q. Is p at least 0?
True
Let q(l) = l**3 - 4*l**2 - 8*l + 10. Let c be q(5). Let t be -3 - (-15 + c)/5. Which is smaller: -2/7 or t?
-2/7
Let u = -8/7917 - -2/87. Suppose 2*g = 4*s - 34, -2*s = 2*g + 2*s + 2. Let d(o) = -o**2 - 8*o + 8. Let h be d(g). Is h less than u?
True
Let o be -2 + (-3)/(12/(-314)). Let g = -73 + -2. Let b = g + o. Is 1 greater than b?
False
Suppose 2*r + 5*f + 0 - 21 = 0, -7 = -4*r - 3*f. Which is smaller: r or 68?
r
Let x(g) be the third derivative of g**6/120 + 7*g**5/60 + g**4/4 + g**3 - 9*g**2. Let v be x(-6). Let r be (v + -3)/(12/(-80)). Which is smaller: r or -18?
r
Let x be -1 - -2*19/4. Suppose -b = -3*r + 6, -2*b - 58*r + 57*r = -23. Which is smaller: b or x?
x
Let i = 0.1 - 0. Let a = -3266.87 - -3304. Let s = 37 - a. Which is bigger: i or s?
i
Let g = 1071 - 754. Which is bigger: 2/7 or g?
g
Let p = -49 + 43. Let m = -9 - p. Which is greater: -7 or m?
m
Let f = -79 - -124. Let u be (1 - 4)*6/f. Is -7 greater than u?
False
Let m = -17 - -14. Let g = 46005/11 - 4185. Is g >= m?
True
Let u = 10 + -8. Let f be u*1*-4*1. Let j = f - -10. Is 5/6 < j?
True
Let l(t) = -t + 15. Let d be l(14). Suppose 2*b = -b + 15. Suppose 4*w - 11 - 9 = 4*c, -2*c + 18 = b*w. Does d = c?
False
Suppose -32 - 14 = -3*t - 5*y, 0 = -t + 3*y + 20. Suppose t = -3*i - 5*w, 3*w = 2*w - 1. Which is bigger: 1/4 or i?
1/4
Let c be 79 + 1/(-1)*2. Suppose 3*a + 3*w = 57, -5*a + c = -a + 5*w. Are a and 17 unequal?
True
Let m(z) = z. Let c(f) = 4*f + 2. Let k(h) = c(h) + 3*m(h). Let q be k(1). Suppose 4 = 7*p - q*p. Is -2 equal to p?
True
Let a = -0.029 + -2.771. Let w = 3.8 + a. Let n = 0.3 - 1.1. Which is bigger: n or w?
w
Let v = 9.6 + -9.723. Which is bigger: -2/9 or v?
v
Let r be 4184/18 + -1 + 0. Suppose 0 = -2*u + 5*b - 175 + 657, u - 215 = -4*b. Let s = u - r. Is s bigger than 1?
False
Let l = 15 - 6. Suppose -3*v = l + 3. Is v greater than -3?
False
Let b be 2/(9/(45/(-4))). Let m = -1 - -1. Suppose m*x = -x - 4. Which is greater: b or x?
b
Suppose 0 = -2*c - 5*a - 17, 5 = 5*c - 0*c + 3*a. Suppose -p + 3 = -c*p. Which is greater: 21 or p?
21
Suppose -5*y - 3*i = -874, 0 = 5*y + 5*i - 4*i - 878. Suppose 0 = l - 5*l - y. Is l greater than -43?
False
Let h = 454.08 + -454. Is 62 bigger than h?
True
Let b be 2 + 0 + -46*2/(-4). Which is greater: b or 28?
28
Let t be (-3 + 5 - 9) + -4. Is t bigger than -12?
True
Let w(z) = 12*z + 60. Let j be w(-5). Which is bigger: j or 10/11?
10/11
Let n be (-32)/48*((-360)/(-14))/2. Do n and -9 have different values?
True
Let o = -13.75 - 0.25. Let b = o + 13.3. Let w = b + 0.8. Is 0 at least as big as w?
False
Let p be (-1 - -1)/(0 - 3). Suppose -2*y = l - p*l - 5, 5*l - y = -8. Let o = -141/4 - -983/28. Which is greater: l or o?
o
Suppose -4*z = -2*z + 4. Let w(s) = s**3 - s. Let n be w(z). Let t = n - -1. Which is smaller: t or -6?
-6
Let p = -68 + 271/4. Which is bigger: p or 79?
79
Let t = -0.064 - -123.064. Which is smaller: 0.2 or t?
0.2
Let n = -74.29 + 74. Let j = 0.39 + n. Is 20/3 at most j?
False
Suppose 0 = -o - 3*o. Let b = -5179 + 25679/5. Let s = b + 42. Does s = o?
False
Let n be 23/(690/(-72)) - 10/(-25). Which is bigger: -19/27 or n?
-19/27
Let g be 2*(13/39)/(5 + -2). Which is smaller: 0.0323 or g?
0.0323
Let j = -45 + 47. Let v be -65 + (1 + -2 + j)*-4. Which is smaller: v or -70?
-70
Suppose 9*f = 24 - 33. Is 4/25 at most f?
False
Let q be (8/10)/(15/1350*-3). Does q = -24?
True
Let t = 301.3 + -302.3. Which is bigger: t or -866?
t
Let k = -8 + 13. Let n = k - 5. Let x = -0.14 - -0.1. Which is bigger: n or x?
n
Let f = 21 + -15. Let w(l) = -l**2 - 19*l + 294. Let d be w(10). Suppose d*c - 12 = f*c. Is c <= -7?
False
Let l = -100972 - -19588669/194. Let o = l + -2/97. Which is greater: 0.1 or o?
o
Suppose -4*t - 605 = -n - 157, -1834 = -4*n - 5*t. Which is bigger: n or 455?
n
Let p be ((-31)/(-18) + -1)*(-32)/(-8). Is 4 >= p?
True
Let n(o) = o**2 - 3*o + 2. Suppose -3 - 1 = -c. Suppose 14 = 2*p + 2*h, c*p - 6*h = -h - 17. Let b be n(p). Is 2/13 at most b?
False
Suppose -3*r + 7*r = 24. Let b(m) = -m**2 + 10*m - 8. Let t be b(r). Let h = 17 + -2. Is h bigger than t?
False
Let a = -161 + 18. Is a bigger than -144?
True
Let k = -1 + 0. Suppose -2*r + 1 = -3. Suppose g + r = 3*j + 5, 2*j - g + 1 = 0. Which is smaller: j or k?
j
Suppose -6*g + 5*g + p = 9, 0 = -2*g + 3*p - 20. Let a(t) = t**