r = k - -744/2555. Let z = 8507 - 8508. Which is smaller: z or r?
z
Let a be 2*(-14)/264*12/(-8). Let d = a + 1/11. Is d less than 4/3?
True
Suppose 19*d = d + 342. Let q = -20 - -33. Let y = d - q. Is y at most as big as 7?
True
Suppose -188*h = -192*h + 560. Which is smaller: h or -1?
-1
Let m be (668/12*3)/(-1). Let f = m - -1838/11. Is f > -1?
True
Let d = 205 + -204. Is d less than 7/18?
False
Let h = -4.98 + 84.78. Let o = 80 - h. Let w = -293 + 3221/11. Are o and w unequal?
True
Suppose -15*c + 14*c + 27 = -3*p, -121 = -3*c + p. Is c bigger than 49?
False
Let a(r) = -r**3 + 17*r**2 - 9*r + 18. Let p = 16 - -1. Let b be a(p). Let n be 2*(b/(-6))/9. Is n less than or equal to 3?
False
Let j be (2 - 1452/729)*(-28 - -31). Is j greater than -1?
True
Let v be ((-40)/(-4) - 4)/(6/9). Suppose v*o + 1 + 8 = 0. Is 5/11 less than o?
False
Let c = 10 - 32. Let x(u) = -u**3 + 3*u**2 + 6*u - 1. Let n be x(5). Which is bigger: c or n?
n
Let t(a) = -9*a**2 - a - 2. Suppose -w + 1 - 2 = 0. Let o be t(w). Let f = o - -5. Is -4 at least f?
True
Let w = 34 - 31. Suppose w*a - a = 2. Which is greater: 3/26 or a?
a
Let r = -348 - -373. Let t = 1.9 - 2. Is t > r?
False
Let h = 15 - 15. Let w = -42 - -39. Are w and h non-equal?
True
Let s be (-56)/132 + (-4)/(-44). Let x be -2*(10/(-4) + 2). Which is bigger: x or s?
x
Let h = -578 + 407. Is h less than or equal to -170?
True
Suppose d - 4*b + 672 = -0*b, 2*b - 2660 = 4*d. Let x = d - -31210/47. Which is bigger: x or -1?
x
Let p(g) = -15*g - 93. Let m be p(-6). Suppose 0 = 2*q, -r + 0 + 3 = q. Which is smaller: m or r?
m
Let g = -8 + 10. Let x be (2 - g)*12/(-36). Which is bigger: 2/105 or x?
2/105
Let y = -2020 - -2020. Which is smaller: y or 2/2539?
y
Let a be (8 - 5) + (-2 - 17). Suppose 3*l + 15 = -36. Does l = a?
False
Let f(r) = -r**3 - 18*r**2 + 46*r + 4. Let b be f(-20). Which is greater: b or -113?
-113
Let a be ((-321)/(-2))/((180/48)/(-5)). Is a smaller than 0?
True
Let v(x) be the first derivative of -x**2/2 + 8*x + 12. Let d be v(4). Let k be d/(-10) + 621/115. Which is greater: 13/3 or k?
k
Suppose 8*c = 4*s + 3*c + 36, c = 3*s + 16. Let x be (-2)/52*s*-1. Suppose 0*u = 5*u. Which is smaller: x or u?
x
Suppose 22 = -2*y + c - 5, 5*y + 2*c = -54. Let o be -1 - 6/(y/98). Let v be -21*(-4)/o + -1. Do 2 and v have the same value?
False
Let s(p) = 26*p**2 - 6*p + 3. Let b be s(1). Suppose 4*j = 3*k - b, 2*j - j + 61 = 5*k. Is k != -2?
True
Let v(o) = -8*o - 15. Let n be v(-2). Let q be ((-198)/(-36))/(n/(-2)). Which is bigger: -3 or q?
-3
Let t(d) = d**3 - 3*d**2 - d - 12. Let s be t(5). Let u be 4 + -6 + (s/17 - 0). Suppose -5*k = 3*v + 16 + 4, 0 = 2*k + 2*v + 12. Which is bigger: u or k?
u
Let b be 2/((-4 - -7) + -1). Suppose b + 7 = -4*o. Is -1 <= o?
False
Suppose 3*t + r - 9 = 0, 0*r = -r. Let j = -21 + 36. Suppose j = 2*g + t*g. Which is bigger: g or 2?
g
Let d be 19/((-4484)/(-420)) + -1 + -1. Is d > 0?
False
Let u = -51 + 53. Let h = 0.14 + 3.86. Which is smaller: h or u?
u
Let b = 9 + -5. Suppose -3 = l, 6*d + l = d + 7. Suppose -d*z = -4*z + 5*j - 6, -b*j = -4*z. Which is bigger: z or 2/3?
z
Let c = 2023 + -2016. Let i = 3 + -3.2. Is c less than or equal to i?
False
Let s be 1 + 4 + (54 - -8). Let c = s + -69. Which is bigger: -8 or c?
c
Let b = 2674 - 2673.6. Is b at least 5/27?
True
Let x be 20/(-25) - 18/15. Let c = x + -7. Is c less than -11?
False
Let v be 45/4*(-312)/(-65). Is v equal to 69?
False
Let f be (-4 - -5)/(2/(-4)) - 5. Let b be -1 + (-12)/(-14) + 6/f. Is 3/2 greater than b?
True
Suppose -13*p + 5*p + 16 = 0. Let h(k) = -k**2 + 7*k - 5. Let o be h(5). Let y = o + -2. Which is smaller: p or y?
p
Let p = -70.01 - -36.27. Let z = p + 34. Let t = z + -0.36. Is 4 < t?
False
Let o be -1*3*4/12. Let b be 2 - (-4 - (3 - 3)). Let x be b/12 - (-1)/(-1). Is o > x?
False
Suppose -m - 5*x = -257, -5*x - 731 = -6*m + 3*m. Let b = 14327/58 - m. Which is smaller: -1 or b?
-1
Suppose 0 = 428*y - 435*y. Let m be 274/(-8) - (3 + -1). Let i = -36 - m. Are y and i nonequal?
True
Suppose -2 = 8*v + 110. Let w(y) = y + 1. Suppose f + 0*f = 0. Let i be w(f). Which is greater: v or i?
i
Let f be 684/1632*(-2)/(-3). Let y = f - 10/51. Let i(m) = m**2 - m. Let a be i(1). Which is bigger: y or a?
y
Let r = 0.06 + 2.54. Let t = r + -2.6. Which is greater: t or -5?
t
Let g = -1359 + 2717/2. Which is greater: g or 1/1021?
1/1021
Let l = -269 + 160. Let c = l + 105.7. Are -2 and c equal?
False
Let u = -174 - -112. Is u less than -61?
True
Let q(l) = -2*l**2 - 21*l - 4. Let o be q(-10). Suppose -9 = 3*y, 3*i - 3*y - 1 - 20 = 0. Suppose -2*x + i*x + 3*m = 17, x + 3*m = 10. Does o = x?
False
Let t = -2.73 - -3. Let d = t - 2.07. Let o = 1.9 + d. Is o >= -2.1?
True
Let w be 3*(16/10)/2. Suppose -3*k = -7*k. Suppose -3*p + 2*c + 14 = k, 0 = -2*c - 2*c - 16. Is w less than p?
False
Let f = 470 + -466. Is f <= -76?
False
Suppose 0 = 5*p - 25, 29 = h + 3*p - 6. Let w = h - 17. Suppose -l - 3*d = -3*l - 4, -w*l + 1 = -d. Is 4 not equal to l?
True
Suppose 0 = -5*j - 2*t + 182, 0 = 6*j - j - 3*t - 177. Let o be 8/28 - j/224. Let m = -2 - -3. Which is smaller: m or o?
o
Let f = -425 + 425.1. Is -0.281 less than f?
True
Let c be ((-2)/18)/(((-1815)/(-36))/11). Which is smaller: -1 or c?
-1
Let t be -4*((2 - -6) + -4). Which is bigger: t or -15?
-15
Let i(s) = 4*s**3 + 11*s**2 + 9*s - 3. Let g(o) = 5*o**3 + 12*o**2 + 10*o - 4. Let y(l) = 3*g(l) - 4*i(l). Let b be y(-7). Is -6 greater than b?
True
Suppose 4*u - 3 = 5. Suppose 0 = -2*w - 4, u = -b - w. Let d be ((-37)/(-1887))/((-2)/(-17 + -1)). Is b at most d?
True
Let n = -86 - -349/4. Let t(y) = y**3 - 10*y**2 + 5. Let h be t(10). Suppose -h*z + 4*z + 4 = 2*w, -4*w = -z - 8. Which is greater: n or z?
n
Suppose 0 = -2*i + 6*i - 12. Suppose -i = -f - 0. Suppose 7 = -f*v + 19. Is v at most 3?
False
Let o(a) = a**3 + 6*a**2 - 10*a - 3. Let p be o(-7). Suppose 5*z - p = -4*z. Are 2 and z non-equal?
False
Suppose -2*g = 2*z - 4, -2*z + 3 = z. Let t be 1/(-3) - (-237660)/(-495). Let n = 481 + t. Is g at least n?
True
Let p = -1451 - -1446. Is -6/5 > p?
True
Let k = -1.47 - 0.03. Let p = -5.5 - k. Which is greater: -0.08 or p?
-0.08
Let a be (0 + 0)/((-7)/((-14)/4)). Let i be -4 + 2 + 0 + 42. Let m be 10/i + 5/(-52). Does m = a?
False
Let y(q) = 10*q + 165. Let v be y(-16). Which is bigger: -0.6 or v?
v
Suppose 7*f + 106 + 167 = 0. Is f >= -38?
False
Let r = 68 + 38. Let n = 105 - r. Which is greater: -53 or n?
n
Suppose -4*m + i + 30 = -3, 3*m + 2*i = 33. Suppose -2*d = -d + m. Is d less than or equal to -10?
False
Let p = -0.3815 - 30.5585. Let j = p + 31. Let u = -3.94 - j. Which is smaller: u or 1/7?
u
Let x = 59.59 - 59. Let r = 4.41 + x. Which is smaller: 0.5 or r?
0.5
Suppose -583 = -4*g + 293. Is 221 smaller than g?
False
Let p be (4/30)/(17/51). Let r = -3.76 - 0.04. Is p at least r?
True
Let w = -134/57 + 8/3. Which is bigger: w or 0?
w
Let i(q) = 10*q - 6. Let l be i(-3). Let t = l + 24. Is -11 greater than t?
True
Suppose 3*x - 2*i - 377 = -i, -3*x + 5*i = -373. Let p be (-1)/(-6) - 57/x. Which is bigger: p or 9/2?
9/2
Let b be ((-40)/(-84))/(25/10). Which is smaller: -1 or b?
-1
Suppose -14*g = 29*g + 12*g. Are 2/157 and g non-equal?
True
Let z be (14/(-70))/(132/20). Which is smaller: z or 1?
z
Let r = -0.6 + -2.4. Let h = -775/3 + 257. Which is smaller: r or h?
r
Suppose 4*w + c - 1108 = 0, 4*w - 1108 = -5*c - 0*c. Which is bigger: w or -2?
w
Suppose -2*f - 3*v + 370 = -4*f, 4*f - 5*v = -744. Do f and -192 have different values?
True
Suppose 2*d - 158 = 5*k - 2*d, -142 = 5*k + 4*d. Let t = k + 30. Is t smaller than 17?
True
Let l = 60.26 + 0.74. Let v = 61 - l. Is v smaller than -0.05?
False
Suppose 2*y = y - 1. Let a be -3 - -7 - (-3 + 70). Let b = -1825/29 - a. Is b bigger than y?
True
Let h = 38 + -49. Let w be 26/(-40) - h/44. Which is smaller: w or 41?
w
Let x be (-3225)/9 + ((-25)/(-15))/(-1). Do x and -360 have different values?
False
Let o = -1.17 + -74.93. Let j = 76 + o. Is j <= -2/105?
True
Let l = 2 + -1.9. Let o = 81 + -57. Let p = o + -22. Is p less than or equal to l?
False
Let x = -256.0049 - -0.0049. Which is smaller: -1/2 or x?
x
Let k = 40723/21 + -1941. Is -3 smaller than k?
True
Let j be -3 - (-51 - (-8)/(-4)). Let l = j - 50. Is -1/15 <=