. Is k less than or equal to r?
True
Let p = 1 - -123. Suppose -13*s + 630 = -8*s + 5*h, 0 = s + 4*h - 129. Which is greater: p or s?
s
Let u = -0.054 + -0.461. Let n = -0.335 - u. Are -4 and n nonequal?
True
Let n = -1291 - 2927. Which is smaller: -8433/2 or n?
n
Let y be 3/27 - 43*16/9. Which is bigger: -76 or y?
-76
Let b(a) = -a**2 - 3*a + 5. Let j be 0 - 0 - 1*-5. Let i be b(j). Let w be ((-5)/i)/((-1)/2). Which is bigger: -3 or w?
w
Let j = 3 + -2.9. Let x = -158 + 418. Let r = x - 1035/4. Which is bigger: r or j?
r
Let p be 1/(-3) - 2952/(-27). Let k = p - 63. Suppose k*x = 41*x. Is x less than -41?
False
Let a = -16 + 13. Suppose -2*b = 2*d - 8, -4*b + d = -17 + 6. Suppose 5*q - 7 = b. Which is bigger: a or q?
q
Let n be 228/15 + 3/(-15). Suppose 0 = 3*k + 15 + n. Let v be (5 + -13 + 6)/((-28)/(-156)). Which is smaller: k or v?
v
Let o = -340763/12 + 28456. Which is bigger: o or 59?
o
Let t = -5 - -23. Suppose -6*y - t = -7*y. Let g = y - 40. Is g bigger than -22?
False
Let x = 261/176 - 474953/319088. Is x smaller than -1?
False
Let v = -2404.3 + 2356.3. Is v less than -0.89?
True
Let w = -219407.956 + 219408. Let l = 2 + -7. Is l != w?
True
Let c be (19/(-21))/(2/(-12)). Suppose -12954*l + 13047*l - 558 = 0. Is c greater than or equal to l?
False
Let j(v) = -3*v + 5. Let y be j(-6). Suppose 0 = -w - 3*x + y, 3*w - 7 = -w + 5*x. Let a be 16/6*(11 + -8). Do a and w have different values?
False
Let q be 1 + (-1)/(1/12). Suppose 135*r - 131*r = 24. Suppose -m - r*y - 33 = -y, -5 = y. Which is bigger: q or m?
m
Let m(y) = 28*y + 30. Let i be m(0). Let u be (-415)/i + (-51)/(-18) + -3. Is 5 at most u?
False
Let w = -27755 + 27754.959. Is -100 > w?
False
Let j(g) = -27*g**2 + 5022*g + 8. Let t be j(186). Do t and 122/15 have the same value?
False
Let a = 16 + -163. Let h be 0 + 4/6*84640/(-384). Let s = a - h. Is s at most as big as -1?
False
Let w be (1 + 218/(-212))/(-90 - -93). Let s = 18 - 17. Let i be -3 - (s + 15)/(-4). Is w >= i?
False
Let c = -1049.5 + 1047.5. Do c and -2687 have the same value?
False
Suppose 5*m - 70 = 2*n - 0*m, -3*m = -3*n - 123. Let k be 105/n - (-4)/3. Which is bigger: k or -5/37?
-5/37
Suppose 6*r - 10*r + 8 = 0. Suppose 5*n - 10*y - 20 = -15*y, -r*n - 4*y + 4 = 0. Which is smaller: 0 or n?
0
Let j be (-3)/12 + 2/8. Suppose j*m + 2*m = f - 32, -f - 2 = 0. Is m at most as big as -16?
True
Suppose -205*d - 683 - 11812 = 40*d. Which is smaller: -35 or d?
d
Let z(k) = 6*k + 50. Let q be z(-11). Let r = -22.6 - -26.6. Which is smaller: q or r?
q
Let h = 140 + -88. Let n = -59 + h. Is n smaller than -8?
False
Suppose 164*b - 159*b - 20 = 0. Suppose 17*k = b*k - 182. Is k < -11?
True
Let h = -15701 + 15509. Which is greater: -162 or h?
-162
Suppose 165 = 76*j - 71*j. Let t be (j/(-2))/((-44)/528). Is t at most 199?
True
Suppose -6*g = -7*g + 27. Suppose -93 - g = -4*q. Let d = 1482 + -1451. Which is greater: d or q?
d
Let q = 3.53 + -3. Let v = 10.47 + q. Let k = v + -8. Is -0.2 at most as big as k?
True
Let w(c) = 19*c**2 - 56*c - 102. Let p(m) = 7*m**2 - 19*m - 34. Let f(v) = 11*p(v) - 4*w(v). Let n be f(0). Do 34 and n have the same value?
True
Let b be 111226/(-70) + (-26)/455. Is -1589 at most b?
True
Suppose -l + 18632 = z, -4*z + 72701 = l - 1854. Do 18641 and z have different values?
False
Let v be 3/1056*8*36/(-249). Is v greater than -1?
True
Let u = -66865/8715108 + 19/2316. Let c = u - -3113/1222975. Which is greater: c or 0?
c
Let i = -0.01781 + -1.12729. Which is smaller: 1 or i?
i
Let i = 2653 - 2694. Which is bigger: 0 or i?
0
Let g = -494 + 775. Is g < 294?
True
Suppose -25*k - 5328 = -49*k. Let t = k - 206. Which is greater: 15 or t?
t
Let u(d) = -89*d - 2314. Let h be u(-26). Which is smaller: 2/875 or h?
h
Suppose 2*j + 2*l = 110, l = -3*j + 47 + 128. Suppose -4*c - c = -5*y - 105, -3*c + 2*y = -j. Is c at most 164/9?
True
Let v = 1.3 + 9.7. Let l be ((-4)/9)/(924/594). Which is greater: l or v?
v
Suppose 2*q = -o - 6, 8*o - 3*o + 5*q = -15. Let s(m) = m**3 - 5*m**2 + 441*m - 1716. Let u be s(4). Is o smaller than u?
True
Let k(r) be the second derivative of -r**3 + 51*r**2/2 + 4*r + 14. Let n be k(9). Is 77 at least as big as n?
True
Let v = -0.01 + 34.01. Let l = -20805 - -61393/3. Let z = l + 341. Which is greater: z or v?
v
Let t = -63 - -44. Let m = -70 - t. Let r = m + 26. Does r = -0.1?
False
Let s = 1938/11 + -177. Let t(c) = c**2 - 3*c - 10. Let n(q) = 2*q - 13. Let w be n(9). Let o be t(w). Do o and s have different values?
True
Suppose -5*w = -y + 4478, -2*y + 383 = 10*w + 9367. Which is smaller: w or -1/2?
w
Suppose 2*d + 15 = -5*y, -y - 9 = -3*d + 2*y. Let r = 29/155 - -2707/775. Let k = r - 2702/775. Do d and k have the same value?
False
Let j = 118.72 + -117. Let u = j - 1.72. Is u at most as big as -93?
False
Suppose 17*y - 5 = 18*y. Suppose 14*f - 16*f + 15 = -3*x, x - 3*f = -5. Is y at least as big as x?
True
Let i = 588041/7 + -83743. Which is smaller: i or 263?
i
Let q = -155 - -404. Let d = q + -248. Which is bigger: 138 or d?
138
Let l = -0.7 + 1.4. Let i = -22279768/255 + 87372. Let w = -2/51 - i. Which is greater: l or w?
l
Suppose 3*w - 140 = w. Let u be ((-16)/28)/(20/w). Which is smaller: u or -16/9?
u
Suppose 3*a + 866 = 8*a - 3*g, 2*g = -5*a + 881. Suppose 0 = 180*m - a*m - 375. Is 75 smaller than m?
False
Let t(c) = -1088*c - 13. Let b be t(-10). Let r = -12181906/1121 + b. Let x = r - 17943/7847. Which is greater: -2 or x?
-2
Let s(j) = -28*j + 89. Let m be s(3). Let c = 1 + -1. Suppose c = h - m*n, -2*h + 0*n = 2*n. Which is greater: -1/2 or h?
h
Suppose 4*r + 45 = 4*i + 33, 0 = i - 5*r - 3. Which is greater: 17/46 or i?
i
Let q be 6/4*(-1)/(-1)*-202. Let b = -6385 + 6082. Do q and b have the same value?
True
Let i = -30/11 - -292/99. Let l = -1178 - -1178. Which is bigger: i or l?
i
Suppose 400 = 2*h - 4*w, -2*h - 2*w - 396 = -4*h. Let n be 1384/(-1038)*2/((-16)/1206) + -4. Which is smaller: n or h?
h
Let d(w) = 2*w - 17. Let n(r) = -r**3 - 3*r**2 + r + 12. Let g be n(-3). Let h be d(g). Suppose -7*j - 13 = h. Which is smaller: j or 16?
j
Let x(w) = -27*w + 84. Let u be x(6). Let i(m) = 13*m - 80. Let l be i(0). Which is smaller: u or l?
l
Let y(b) = -6 + 5 - 5 - 2*b**3 + b - 13*b**2 - 4. Let v be y(-6). Which is smaller: -53 or v?
-53
Let h = -2958 - -2957.58. Is -8 bigger than h?
False
Let b(n) = -n**3 - 27*n**2 - 29*n - 4. Let u be b(-26). Let j = 74 - u. Which is smaller: 4 or j?
j
Let s(t) = -4*t - 137. Let f(v) = v**3 - 14*v**2 + 16*v - 62. Let r be f(13). Let x be s(r). Which is smaller: x or -40?
x
Let r(g) = -g**3 + 10*g**2 - 28*g - 5. Let f be r(9). Which is greater: f or -199?
f
Let c(a) = 57*a - 358. Let z be c(49). Which is bigger: 2437 or z?
2437
Let w = 2867 + -2867.08. Is 24/7 not equal to w?
True
Let b = -152308/11 + 3378343770/243991. Is 1 greater than or equal to b?
True
Let x be 1418 - (-14 - (-10)/2) - (-1 - -1). Which is bigger: 1419 or x?
x
Let u be 1 + 8*5/(-10). Let j = 16 - 19. Let s = -8 - j. Is u greater than or equal to s?
True
Let t = 14293 + -14167. Which is bigger: t or 106?
t
Let t = -1112 + 12278/11. Suppose -1300 = -30*b + 5*b. Suppose 0 = 29*g - 42*g + b. Which is bigger: t or g?
t
Suppose 4*g + 160 = 5*v, 5*g + 4*v = -13 - 187. Let m be ((-33)/(-55))/((-84)/g). Let k be (2/(-2))/(4 + -3). Which is greater: k or m?
m
Let g be (16/(-80736))/(3 + 4/(-1)*1). Which is smaller: 1 or g?
g
Suppose 7400 = 113*a - 11954 - 121670. Is 1249 bigger than a?
True
Let w = -29012 - -20875. Is -8136 greater than w?
True
Suppose -29*u + 3*u + 52 = 0. Suppose -u*k + 7*k - 22 = -i, -3*i + 2*k = -15. Which is greater: i or 8?
8
Let l = -182 + 184. Let o be (-1470)/(-900) + 1/(-3). Is o > l?
False
Let p be (-28)/(-4) - (-10)/(3 - -2). Let d be p/((-1080)/303) - (-4)/10. Is -2 smaller than d?
False
Let j = 3545 - 3540. Is -11/3 smaller than j?
True
Let p(v) = -v**2 - v + 8. Let m be p(7). Let j be (1/(-4))/((-12)/m). Is 31/2 != j?
True
Let y(x) = -20*x - 37. Let a be y(-2). Suppose a*o + o - 17 = -5*d, d + 2*o = 7. Which is smaller: 2/679 or d?
2/679
Let n(r) = 2 - 8 + 13*r + 11 + 7*r - 1. Let i be 6/15 - 6/(-10). Let o be n(i). Is 25 less than or equal to o?
False
Let z = 3111 + -5046. Which is smaller: -1936 or z?
-1936
Let u = 10988/39 - 281. Wh