smaller: r or 2/5?
r
Let i(l) = 2*l**2 - 6*l + 5. Let a be i(3). Let p = 0 - a. Let d be (-4 + 5)/((-2)/12). Which is greater: d or p?
p
Let a(u) = u - 4. Let d be a(10). Let x be (-152)/20 + d/10. Let l be (-6)/x*5 - 3. Is l <= 0?
False
Suppose 2*a - 6*a = 4. Let z be -4 + 4 + (0 - a). Let x(f) = f - 1. Let n be x(z). Which is greater: 1 or n?
1
Suppose -l - 163 = 3*p, -l + 0*l - 4*p = 166. Let y be 44/l + (-2)/(-21). Are 1 and y non-equal?
True
Let x be 1/3 + 40/(-66). Let n = 24 - -34. Let s = 58 - n. Which is smaller: s or x?
x
Let m = -32 + 42. Let r be ((-27)/54)/((-8)/m). Which is smaller: 0 or r?
0
Let l(t) = t**3 + 5*t**2 - 2*t + 6. Let h(k) be the first derivative of -k**4/4 + k**3/3 - k - 11. Let r be h(2). Let z be l(r). Which is bigger: z or 17?
17
Suppose -2*f = -5*c, -f = -c + 2*c. Let p be (-3)/(-3)*(c - 0). Is 0 at least as big as p?
True
Let a = 318 - 331. Is -5 at most a?
False
Let c(d) = 2*d - 5*d**2 + d**3 - 5 - d + d**2 - d**2. Let y be c(5). Suppose s + 2*s + 9 = y. Which is smaller: -2/11 or s?
s
Let z = 132494/21 + -18952/3. Which is greater: -0.1 or z?
-0.1
Let w = 317.97 - 318. Which is smaller: 0.22 or w?
w
Let f be (-21)/35*45/(-7). Which is bigger: 5 or f?
5
Suppose 0 = -2*r + 5*r - s + 2, -3*s + 15 = 0. Suppose 5*g = 4*g - r. Let b be (g - -4 - -3) + 0. Which is bigger: b or 8?
8
Suppose 4*m - 14 - 10 = 4*a, -m - 12 = 5*a. Suppose -2*z + m*z + 1 = 0. Let o be (-12)/39*(-1)/(-2). Is o at least as big as z?
True
Let o = -23/47 - -15/799. Let p = o + -19/68. Let q be (2 - 1)*1*(-1 - 0). Which is smaller: q or p?
q
Suppose -33 = -5*s + 1227. Is 252 at least as big as s?
True
Suppose 17*f - 18*f = 49. Let r = f - -15. Which is smaller: -35 or r?
-35
Let l = -1.79 + -2.21. Which is greater: l or 5?
5
Suppose 13*f + 2*y - 1166 = 8*f, 4*y = -3*f + 694. Is f greater than or equal to 233?
True
Let f(d) = d**3 - 23*d**2 - 25*d + 25. Suppose 6*p - 7*p = -24. Let r be f(p). Which is smaller: 10/13 or r?
10/13
Suppose -7*g + 2 = -6*g. Suppose -5*j = -3*y + 90, -69 = 4*y - 7*y - g*j. Suppose 6 = 4*l - 2*a + 16, 5*l - y = -5*a. Which is greater: -0.2 or l?
l
Suppose -2*f = 34*t - 30*t - 180, 5*t - 25 = 0. Are f and 80 nonequal?
False
Suppose -r + 120 = j + 3*j, -3*j + 5*r = -67. Suppose 0 = 2*s - 8*s - 174. Let z = s + j. Which is smaller: z or 3?
z
Suppose -5*c - 1190 = 12*c. Let m be 2/(-4) - (-115)/c. Is m at least as big as -3?
True
Let m = 2247 - 193237/86. Are -1 and m equal?
False
Suppose 2*j - 38 = -2*g, 3*j + 2*g - 70 = -j. Is 18 less than or equal to j?
False
Let d = -69 + 73. Suppose 4*m - 13 = 3. Suppose m*a = -4*i - 15 - 1, d*a + 12 = -5*i. Is a at most -9?
False
Let g = 659.85 - 660. Is 27 != g?
True
Let h be (-55)/30*(-6)/(-14). Let o = -155/28 - h. Suppose 0 = -5*z - 17 - 8. Does o = z?
False
Let d = -180 + 98. Let j(q) = -q**2 + 9*q + 53. Let g be j(13). Is d smaller than g?
True
Let i(a) = a + 14. Let g be i(-5). Let w = -14 + g. Is w smaller than -8?
False
Suppose -2*z = -z + x - 30, -2*z + 53 = -5*x. Let m = z + -28. Which is greater: -1 or m?
m
Let f(b) = -b**3 - 14*b**2 - 14. Let j = -50 - -36. Let r be f(j). Let g be (2/3)/2 - 1. Is g smaller than r?
False
Let s(a) = 18*a**2 + 714*a + 468. Let z be s(-39). Let d = -1877759/7 - -269069. Let i = d + -819. Which is smaller: z or i?
i
Suppose 46*b = 48*b - 2. Suppose -4*d - 4*q = q + 503, 0 = d - 5*q + 107. Let y = 1097/9 + d. Which is greater: b or y?
b
Let b = 0.0939 + -0.0739. Is b > 0?
True
Let i = 1 - 1.2. Let g = -4675 - -4699. Which is bigger: g or i?
g
Let p(q) = -14*q + 99. Let c be p(4). Let i be 0 - ((-129)/(-3))/(-1). Is c bigger than i?
False
Suppose 4*w + 4*d + 28 + 12 = 0, 0 = -2*w + 5*d - 34. Let s be w*((-4)/6)/(-2). Do -3 and s have the same value?
False
Let p be ((-1)/(2/(-4)) + -8)*13. Let o = p - -52. Which is greater: o or -28?
o
Let j(z) = 0 + 5*z**2 - z**2 - 3*z**2 + 6*z - 5. Let s be j(-7). Is 5/3 less than s?
True
Let s = -352.5 + 352. Which is greater: s or 2/303?
2/303
Let p = -0.022 + 0.382. Let j = p - 0.46. Do j and 0.61 have different values?
True
Let m = -385509/20 - -19271. Let o = 9/4 + m. Which is bigger: -1 or o?
-1
Suppose 34*g - 428 = 36*g. Is g <= -214?
True
Suppose -8*s - 3 + 25 = -10. Let k(p) = 6*p - 1. Let g be k(1). Which is smaller: g or s?
s
Let w be ((-1095)/(-400)*4)/(9/18). Which is smaller: w or 21?
21
Let j = 29 - 11. Let u = -18.24 + j. Let w = -3.24 - u. Is 0.5 > w?
True
Suppose 4*r - 7 + 31 = 0. Let i = 0 + r. Let a(g) = -g**3 + 5*g**2 - 5. Let j be a(5). Is j <= i?
False
Let g be (91 + -125)*1*(2 + 1). Which is smaller: g or -104?
-104
Let t(j) be the first derivative of -7*j**2/2 + 21*j + 15. Let p be t(8). Is p at most as big as -37?
False
Let q = -1 + 9. Let u(t) be the first derivative of t**4/4 - 8*t**3/3 - t**2/2 + 4*t + 5. Let c be u(q). Which is bigger: -5/2 or c?
-5/2
Let t = 243 - 155. Let x = t + -59. Is x bigger than 29?
False
Suppose -23 + 29 = -2*t. Let a be t/(-5) - (-77)/(-70). Is 4 equal to a?
False
Let i be -1*(-84)/(-102) + 4/6. Is i less than or equal to 0?
True
Let b be ((34475/10)/7)/(-2). Let q = b - -245. Which is smaller: -2 or q?
-2
Let d = -38511/20 - -1925. Which is bigger: -2 or d?
d
Let y = 642 - 599. Is 38 smaller than y?
True
Let s = -16 + 27. Suppose -s*g = -2*g + 9. Is g >= 2/57?
False
Let b = 1.94 - 2.04. Is b less than or equal to -0.078?
True
Suppose -u + 0*r = r - 2, -3*r = -3*u + 18. Suppose 4*c + u = -12. Which is smaller: -7 or c?
-7
Let b be ((-147)/686)/((-3)/(-4)). Let r = -2.02 + 2. Is b smaller than r?
True
Let c = 2/771 - -3839/6168. Which is smaller: c or 15?
c
Let d(p) = p**3 - 13*p**2 - 14*p - 9. Let b be d(14). Which is bigger: b or 3/13?
3/13
Let i = 568.5 - 595.5. Let d be 2/(-4) - (-10)/12. Which is smaller: d or i?
i
Let s = -22 + 27. Suppose -7*o - 19 = -s. Which is smaller: -3 or o?
-3
Suppose 0 = w + w - 36. Suppose 0 = -2*m - 2*m - 2*i + w, -4*m + 15 = i. Suppose 2 = 2*q + s, -3*s = m*q - q - 10. Is q at least -3?
True
Suppose i = l + l + 14, 0 = -3*i - 3*l + 6. Let d(o) = o**2 - 6*o + 7. Let m be d(5). Suppose -i = a + m*a. Which is smaller: -1 or a?
a
Let r(w) = w**2 - 3*w + 3. Let p be r(5). Let d(l) be the first derivative of -l**4/4 + l**3/3 + l**2/2 + 12*l + 4. Let q be d(0). Are p and q equal?
False
Let c = -542 - -167. Which is greater: -374 or c?
-374
Let y be 6/27*(-9)/6. Let z(k) = -k**2 + 2*k. Suppose h + 7 = 3*s, -7*s + 2*s = -4*h - 14. Let g be z(s). Which is greater: y or g?
g
Let d = 384 - 600. Is d greater than -218?
True
Let z be 3 + 3177/(-957) - 0. Let k = z + 4/29. Let r(d) = d - 3. Let i be r(2). Is i != k?
True
Let j = -0.74 - -0.84. Which is greater: -59 or j?
j
Suppose p + 3*p = 64. Let d = p + -13. Let q be ((-6)/(-4))/(d/(-8)). Which is greater: q or -3?
-3
Suppose -5*q + 12 = -3. Let z be 52/14 - (q - -1). Let t = -0.25 - -0.26. Which is smaller: z or t?
z
Let h = 73/10 - 101/70. Let m = h - 43/7. Let f = 239 - 232. Is f at most as big as m?
False
Let f = 9502906124/35 + -271388442. Let w = f - 123174. Let r = w + 63/5. Is r less than 1?
True
Let n = -30 - -32. Let k = n + -1. Which is greater: k or -1/7?
k
Suppose -c - 3*c = 0. Let h be 7*(160/(-28))/(-5). Let x be (h - 5) + (-20)/7. Which is smaller: x or c?
c
Let c(d) be the first derivative of -d**2/2 - 26*d + 13. Let m be c(-19). Are m and -5 unequal?
True
Suppose -38*y + 656 = -54*y. Which is smaller: 8 or y?
y
Let j = -224109/1330 - -2/665. Which is bigger: j or -170?
j
Let p = -43.4 + 43.5. Which is smaller: p or -1?
-1
Let s = 827 - 825. Is s at most as big as 22/9?
True
Let m(i) = i**2 + 13*i - 69. Let g be m(-17). Are g and 4.1 non-equal?
True
Let r = -2/6045 + -13948/6045. Which is smaller: r or -1?
r
Let a = -0.1804 - -3.1804. Is a smaller than -79/6?
False
Suppose x = -3*w + 3*x - 1, 2*w - 14 = 5*x. Let a be 2 + 0 + (w - -26). Suppose -3*n = 2*n - a. Which is smaller: 2 or n?
2
Let z = -163 - -171. Let w be 2/7 - 122/(-14). Suppose -2*i + 5 = 2*f - 15, -3*i = -w. Are f and z non-equal?
True
Let q = -3409 + 24015/7. Is q equal to 21?
False
Suppose 4*s = -2*r + 2, 3*s = -2*s + 3*r + 19. Which is smaller: -2 or s?
-2
Let r(s) = 7*s**2 - 9*s + 14. Let w be r(12). Let c = 77692/85 - w. Which is greater: 0 or c?
c
Let b = 103 - 3091/30. Is -2 not equal to b