se 7 + 5 = -3*d. Let r = 267.9 + -289. Let m = 21 + r. Is d smaller than m?
True
Let o be (-2 - -1) + 14/26. Let h = 1851 + -120319/65. Let x = o - h. Is 1/3 greater than or equal to x?
True
Suppose 0 = -3*u + o - 420, 4*u + 12*o = 14*o - 560. Is -138 smaller than u?
False
Let p = 75 - 74. Let s = -93295/112 + 833. Is p less than s?
False
Let b be 20254/(-2894) + 126/18. Which is greater: b or 1?
1
Let r(t) = 6*t**2 + 2*t + 3*t**3 - 6*t - 3*t**2 - t**3 - 2. Let j be r(-3). Is j less than -15?
True
Let v(w) = -w - 4. Suppose -141 - 199 = 4*d. Let y be 34/d + (-38)/5. Let a be v(y). Is a at least 3?
True
Let g = -1.24 + 0.04. Let h = g - -1. Let f be ((-120)/(-80))/(2/((-16)/(-2))). Is f greater than h?
True
Let f be (-83)/4 - 2/8. Suppose 3*c + 102 = 4*v + v, -4*c - v - 113 = 0. Let q = c - f. Which is smaller: q or 2?
q
Let o = -363 - -1429/4. Let l = o - -6. Let n = -0.0139 + 0.0239. Which is smaller: n or l?
n
Suppose 2*a + 2*a = -2*x + 8, -1 = x - 3*a. Suppose 2*w + 10 = 7*w. Suppose 0 = -4*r - 4*n - 20, 10 = -w*r - r - x*n. Which is greater: 1/3 or r?
1/3
Let o(k) = k**2 - 4*k - 17. Let x be o(7). Suppose -l - l - 110 = 4*c, -c = x*l + 17. Which is bigger: c or -2/5?
-2/5
Suppose 2*p - 66 = -4*r, 0*r - 4*r = -4*p + 108. Is 29 bigger than p?
False
Suppose -4*v = 4*y + 44, -2*y - 2*y - 42 = 3*v. Let h = 2/2379 - 6609/793. Which is bigger: y or h?
h
Let s(y) = -30*y + 208. Let b be s(7). Which is smaller: 121 or b?
b
Suppose 0 = -4*v + 387 - 47. Suppose 3*z + 44 = 6*z + h, -5*z - 4*h = -v. Let g = z + -13. Which is smaller: 1/12 or g?
g
Let z be (1 - (-57)/(-21))/((-17)/1428). Are 0.1 and z nonequal?
True
Let z(c) = 19*c. Let q be z(1). Suppose 2*n - 8 = 34. Which is bigger: n or q?
n
Let j be 2*(2/4 + -2). Let t(i) = -i**2 - 2*i - 1. Let h be t(j). Suppose -6*u + 2*u - 20 = 0. Does h = u?
False
Let n = -320 + 304. Let t be 2/6 + 515/(-15). Let s = t - -18. Is s greater than n?
False
Let t be 15/(-60) - (-3 - 468/32). Is t >= 17?
True
Let f be 25/30*(4 + 137/(-35)). Let u(a) = a + 4. Suppose -3*p - 20 = 2*p. Let l be u(p). Which is smaller: l or f?
l
Let w be (2 + 336/(-153))/(56/(-42)). Which is bigger: w or 1?
1
Let z = 188 + -247. Is z > -52?
False
Let c = -1/30982157 + 541072390013/5112055905. Let u = c - 528/5. Let k = u - 10/11. Which is greater: 4 or k?
4
Let d be 1/((-2)/(-27))*8/(-12). Let u be (d/(-7) + -2)*12/(-15). Is 2 at most u?
False
Suppose -2*d = -l + 2*d - 69, -257 = 4*l + 3*d. Let s be ((-9)/(-126))/((-2)/1828). Let b = s - l. Is b less than or equal to -7?
False
Let w be -499*(-8)/(-64)*-2. Is w greater than or equal to -1?
True
Let b be -2*((-3585)/(-895) - 4). Let s be (-5)/(20/(-12)) + -3. Is s equal to b?
False
Let u be ((-2)/52)/((-16)/(-3168)). Which is bigger: u or -8?
u
Suppose -3*o = 4*r - 16, -22*o + 19*o = 3*r - 15. Let l = -394/2295 - -8/51. Is r bigger than l?
True
Let z = 21/10 + -451/210. Suppose 6*h = -57 + 51. Is h > z?
False
Let p be (-830)/(-170) + (-2)/(-17). Suppose 0*a = 3*l + 2*a - 32, -5*a = -p*l + 45. Is l less than 12?
True
Let c = 21729/25 - 869. Let d be ((-10)/8)/5 + 3/12. Is c != d?
True
Let p = -13.86 - -14. Let h(g) = -3*g + 14. Let i be h(5). Which is smaller: p or i?
i
Let j be -3 - (-2 + -2) - -5. Let d be ((-5)/((-15)/j))/((-32)/8). Which is smaller: -4 or d?
-4
Suppose 0 = -o + 4, o = -4*y + 3*o. Let c(m) = -m**3 + 2*m**2 + 6*m - 3. Let s be c(y). Let a be 3*(-1 + (-33)/(-9)). Which is smaller: s or a?
a
Let y(b) = -b**2 + 11*b + 30. Let k be y(13). Suppose 3*d + k*m - 89 - 122 = 0, 3*d - 4*m = 227. Which is greater: d or -1?
d
Suppose v - u = 10, u - 8 = -2*v + 9. Let y = 1 - v. Let a be 3*1*y/420. Is 0 >= a?
True
Let h = 4153 - 45731/11. Let y = h - -50/11. Which is bigger: 1 or y?
1
Let f = 37.6 + -27.6. Which is smaller: f or -16?
-16
Let g be 5/30 - 10322/12 - -3. Are g and -858 non-equal?
True
Let d = -275 + 258. Are d and -6/5 non-equal?
True
Let z = -50 + 50. Which is smaller: 8/37 or z?
z
Suppose 4*x - 28 = -4*a, -5*a + x = -1 - 16. Suppose u + 12 = 3*z, 0 = 4*u + a*z - 2*z + 48. Let s = u + 12. Which is smaller: 3/5 or s?
s
Let w(j) = -j**2 + 8*j + 132. Let m be w(16). Let t = 3 - 2. Suppose 3*y + 4 = 4*h + 15, -5*y = 2*h - t. Which is bigger: m or y?
m
Let b = -249 - -238.3. Let m = -9.5 - b. Which is greater: m or -2/9?
m
Let l(w) = -12*w**2 + w + 1. Let b be l(1). Let r(z) = -z**2 - 16*z - 41. Let j be r(b). Which is smaller: 18 or j?
18
Suppose 4*b = -20 - 36. Let u be 12/(3 - 27/6). Let l = -22 - u. Is l bigger than b?
False
Let v = -7 - -11. Let f = 3829 + -3827. Which is greater: f or v?
v
Let w(s) = 11*s + 0 + 2*s**2 + 6 - 1 + 1. Let i be w(-4). Let f be 3/6*i - -3. Which is greater: 2 or f?
2
Let o = -182 - -442. Let m be (-44)/o + 2/10. Which is smaller: m or 0?
0
Let i = 6 - 4. Suppose -6*y + 72 = -y - t, y - 5*t - 24 = 0. Suppose s - 11 = -3*n, i*n - y = -0*n + s. Do n and 5 have the same value?
True
Let l = -436 - -436. Let q = -4067022 + 471777369/116. Let u = q + -97/4. Is l != u?
True
Let p(s) = -s**2 + 3*s + 6. Let g be p(6). Let o be (30/(-4))/(3/4). Let k = -1 + o. Is k at most as big as g?
False
Suppose -o - 69 = -4*l - 21, -3*l + 55 = 4*o. Is l greater than or equal to 3?
True
Let k be (33 - -7)/(8/(-12)). Let u be 3 - 7/((-21)/k). Which is greater: u or -16?
-16
Let c be 1*134*(-4 - -5). Let m = c - 134. Which is bigger: m or 10/13?
10/13
Let g = -1.2 + 1.19. Suppose -25*w + 12 = -31*w. Are w and g unequal?
True
Suppose -25*z = -21*z - 2*y - 6, -5*z = -5*y. Let b = -7 - -12. Suppose -2*u - b*r + 39 = 91, 5*u + z*r + 92 = 0. Is 1/2 at most u?
False
Suppose 2*v - 1 = 3*v - 2*p, -5*v - 5 = -4*p. Let m be ((-13)/(-7))/(45/69). Let l = m + -19/7. Which is greater: l or v?
l
Suppose -8 = 2*c - 26. Let u(o) = -9*o**2 - 155*o - 28. Let n be u(-17). Is n at least as big as c?
False
Let k(p) = -2*p**2 - 7*p + 4. Let l(r) = -4*r**2 - 13*r + 7. Let a(u) = -5*k(u) + 3*l(u). Let s be a(-2). Is s at most as big as -2/23?
False
Let v(d) = 63*d + 380. Let z be v(-6). Let a = -3/344 - -8289/3784. Which is greater: z or a?
a
Let z be (-425)/(-9) + 18/(-81) - -3. Let t = -30 + 81. Is z less than t?
True
Let d(u) = 18*u - 4. Let v = -45 - -46. Let y be d(v). Which is greater: y or 13?
y
Let b(o) = -o**2 + 1. Let y be b(-1). Let c(p) = -8 + 6*p + 0 - p - 1. Let s be c(2). Which is bigger: y or s?
s
Let j = 0.9 - 1. Let r be 308/(-561) + 12/18. Which is greater: r or j?
r
Let w = 591397/55 + -10753. Is w greater than or equal to -1?
True
Let h be (90/96)/((-6)/(-36)). Which is smaller: 6 or h?
h
Suppose -q + 2*q - 4 = 0. Which is smaller: q or -1?
-1
Let k = -11 + -7. Let u = -13 + 7. Let q = k - u. Are q and -1 equal?
False
Let m = -347 + 348. Which is smaller: 201 or m?
m
Let i be (115/10 + -13)/((-542)/(-4)). Is i less than or equal to 0?
True
Suppose 2*s = -5*u + 7, u + 3 + 2 = -2*s. Let t be (-7)/(-1) + s/2. Suppose 0 = -0*k - t*k - 15. Is k smaller than -12/5?
True
Let h(k) = -k**3 + 26*k. Let z be h(5). Is -4 at most z?
True
Suppose -3*q - 8 = -2. Let u = -20225 + 20209. Which is smaller: q or u?
u
Let u be 113 - ((-8)/(24/9) + 3). Do u and 111 have the same value?
False
Suppose -13*o + 7 = 7. Is -2/509 > o?
False
Let g(b) = -2*b**2 + 9*b - 10. Let c(i) = 3*i**2 - 14*i + 15. Let k(f) = 5*c(f) + 7*g(f). Let o = -2 + 8. Let j be k(o). Is j less than -2/65?
True
Suppose 0*y + 3 = y, -h + 13 = 3*y. Let x = -2 - -3. Suppose -2*j + 0 - x = c, -3*j + 1 = 4*c. Are c and h equal?
False
Let z = -59 + 57. Let q = 21/4 + -41/8. Is q smaller than z?
False
Let w = -77 - -81. Suppose w*j = 4*c - 12, j + 4*c = 3 - 1. Which is bigger: j or -6?
j
Suppose 46 = -4*x + 6*x. Suppose 0 = 2*s + x - 39. Is 9 < s?
False
Let m(a) = a**3 + 7*a**2 + 4*a - 8. Let y be m(-6). Let i = -137.2 + 162. Let t = 25 - i. Are t and y non-equal?
True
Let m be ((-11)/1584*-40)/((-5)/(-51)). Let u(n) = -n**2 + 6*n - 1. Let g be u(5). Which is smaller: m or g?
m
Suppose -2*r - 95 = 5*t - 0*r, -4*t - 109 = -5*r. Let k be (-104 + 0)/4 - 4. Let b = t - k. Which is smaller: b or 8?
8
Let r be 4/(-26) + 10/(10400/264). Which is bigger: r or 5?
5
Let l be 2/4 + (-35728)/(-224). Is 160 less than or equal to l?
True
Let p(j) = -6*j + 24. Let b be p(7). Let n be (-417)/b + (-2)/12. Which is smaller: n or 24?
n
Let b =