h is smaller: p or 2/5?
2/5
Suppose 22*o + 22 = 19*o - l, 0 = 2*o - 4*l + 10. Let p(j) = j + 9. Let w be p(-4). Which is smaller: w or o?
o
Let z(w) = 70*w**2 - 5*w + 15. Let y be z(8). Let a be (48/(-260))/(6/y). Let s = 137 + a. Is 0 != s?
True
Let o = -297/17 - -44796/2567. Which is greater: o or 0?
0
Let w be 1 + 7 + (4 - -63). Which is smaller: 149/2 or w?
149/2
Let x = 486 + -6315/13. Let r = x + -19/26. Let g = -257.76 + 258. Which is greater: r or g?
g
Let s be (-1 - 1) + 5 + 8. Suppose y + 27 - s = 5*r, y + 3*r = 0. Let j(v) = 2*v - 3. Let x be j(-3). Is x smaller than y?
True
Suppose 37*n + 6 = 31*n. Which is smaller: n or -2/57?
n
Suppose 5 = 5*f - 15. Suppose -f*k - 4*c = 10 + 22, 4*k = 3*c - 11. Suppose 3*t = -3*y, 2*t - 4*y + 9 + 15 = 0. Is t > k?
True
Let l = -23745/2 - -11885. Let w be ((-6)/(-3))/(2/14). Which is smaller: w or l?
l
Let k(x) be the first derivative of -x**4/4 + x**3/3 + 3*x**2/2 + x - 23. Let u be k(0). Is 1/8 != u?
True
Let w = -153 - -179. Is 3 greater than w?
False
Let o(v) = v**3 - 3*v**2 - 20*v + 112. Let z be o(7). Is 170 at least z?
True
Suppose -5*y = -y + j - 23, 3*j - 19 = -2*y. Suppose 0*d - 2*n = -y*d - 45, -3*d + 3*n = 27. Is d <= 3?
True
Let d(p) = -43*p + 136. Let f be d(0). Is f bigger than -2?
True
Suppose 0 = -4*a + b + 4*b + 72, 3*b = a - 25. Suppose 0 = 3*j - 2*x - 55, -3*x = -j + 2*x + 40. Which is greater: a or j?
j
Let w = 14 - 71/5. Let n be ((-10)/(-5))/((-2)/4). Let r be n/3 + 12/36. Which is smaller: w or r?
r
Suppose 25 = 4*h + 3*q, 8*h - 14 = 3*h + 2*q. Let y = h + -6. Let r be (y/(-6))/(12/(-9)). Which is smaller: r or -0.3?
-0.3
Let c = -126 + 126.12. Which is bigger: c or -0.13?
c
Let p = -77 + 79. Let h be (-6 - p)/((-2 - -3)*1). Suppose -18 = -0*f - f - 5*g, f - 3*g = -22. Is h less than f?
True
Let b be -94*(1 - (-42)/(-30)). Which is greater: 39 or b?
39
Let v = -8 + 14. Suppose 3*m = -5*w + 3 + 3, m - v = -3*w. Suppose w*n - x = -1 + 2, 0 = -n + 3*x + 3. Is -2/9 greater than or equal to n?
False
Let m = 29186/5151 + 1/1717. Let g = 18 - 12. Which is smaller: m or g?
m
Suppose -9*a + 66 = 13*a. Is a != 41/14?
True
Suppose 1400 = 4*n + 4*d, 0 = -5*n + 3*d + 255 + 1487. Let c = n + -17800/51. Let q = c - 28/17. Which is smaller: q or -1?
q
Suppose 4*n = 3*n - 42. Let i = 43 + -133. Let c be i/n + 2/(-14). Is c less than or equal to 6/11?
False
Let u = 19/28 - 65/84. Suppose 111*g - 116*g + 3*i - 10 = 0, -5*g + 2*i = 5. Is u smaller than g?
True
Let l be 6/26 - 4020/(-325). Are l and 0.1 nonequal?
True
Let u be (-9)/(90/(-92))*-10. Let w be ((-22)/(-8))/(3 - u/(-32)). Is 22 greater than or equal to w?
True
Let a = 1.8581 + 0.1419. Which is greater: a or 150?
150
Let x(d) = -d**2 - 9*d + 4. Suppose -10*q = -8*q + 16. Let h be x(q). Let t be 16/h - 8/3. Is t less than 0?
True
Let m = 1803 + -18033/10. Suppose 3*b + 1 = 2*b. Which is greater: b or m?
m
Let z = 45.4 - 5.64. Let i = z + -39. Let v = i + -0.9. Which is smaller: v or 1?
v
Let n be -11 + (13 - 1128/36). Is -28 <= n?
False
Let n = -56 + 39. Let j = n + 19. Let y = 119/180 + 4/45. Is j greater than y?
True
Let m = -38/23 + 7/46. Let p = -0.02 - 0.09. Which is greater: m or p?
p
Let u = -66.6 - -67.6. Which is greater: u or -1394?
u
Suppose -8*g + 536 = -0*g. Suppose 4*q - 3*q = -5*p + 77, 5*p - 4*q = g. Which is greater: p or 17?
17
Let v = -4.8 - -4.8. Is v greater than 119/6?
False
Let c(j) be the second derivative of j**4/12 - 2*j**3 - 12*j**2 + 2*j. Let a be c(13). Which is smaller: a or -23/2?
-23/2
Let i = 42 + -41.932. Let y = i + -0.038. Let m = -55 + 221/4. Which is bigger: y or m?
m
Suppose 6*z - 377 + 5 = 0. Which is smaller: 63 or z?
z
Let l = -100938 + 506542/5. Let n = l - 24326/65. Is -4 at least n?
False
Let k(j) = j**2 - 20*j + 23. Let d be k(19). Let u be 3 + (d + -3)*-12 + 4. Which is smaller: u or 0.3?
u
Let t(s) be the second derivative of -11/2*s**2 + 9*s + 0 - 5/6*s**3. Let o be t(-5). Is 13 greater than or equal to o?
False
Let k be -1 + -3 - (-8)/4. Let a(j) = j**2 + j. Suppose -5*t = -3*t. Let s be a(t). Which is greater: s or k?
s
Let g = -119 - -119. Let i be 15/(-63) + (-1)/3. Is g less than or equal to i?
False
Let l = -13 + -4. Let a be (l - -20) + (1 - 1). Which is smaller: a or 7/2?
a
Suppose -24 = 21*t - 3. Suppose -5*w + 3*c + 10 = 0, 3*c = -2*c. Let q = t + w. Which is bigger: -2/11 or q?
q
Let h(y) = 3*y**2 + 29*y - 11. Let v(w) = -w**2 - 15*w + 5. Let k(j) = 2*h(j) + 5*v(j). Let m be k(17). Which is greater: 6 or m?
6
Let k = -2/981 + 1976/6867. Which is greater: k or 0.0262?
k
Let v = 62.3 - 65. Let o = -7.3 + v. Is 2/5 <= o?
False
Suppose 0 = -5*f + 5*f + 7*f. Is 11/8 greater than f?
True
Let k = 39.8 + -40. Let t = -5.2 + 5. Let u = t - 2.8. Which is smaller: k or u?
u
Suppose -585*n = -597*n + 1824. Which is smaller: n or 147?
147
Let s be (6 + -8)*(1 + 0). Let b be (20/15 - s)*-3. Is b > -8?
False
Let o be 7/(28/8) + 121. Suppose -o = d - 2. Is d at most as big as -121?
True
Let l = -135.41 + 139. Let n = -3.8 + l. Let v = -0.09 + n. Which is greater: 3 or v?
3
Let l = -269.76 - -262. Let n = 64 + -63.76. Let t = l - n. Is t > -0.2?
False
Let g = -15.71 + 14.71. Which is smaller: -5.8 or g?
-5.8
Let d = -588 + 470. Do -119 and d have the same value?
False
Let v = -35 + 41. Suppose v - 14 = 2*k. Which is greater: -4/3 or k?
-4/3
Let n(m) = m + 7. Let h be n(-7). Let b(l) = -12*l - 3 + 13*l + 4 - l**2. Let a be b(h). Is a at least 0?
True
Let a = 9.18 + -12. Let i = 2.1 + a. Let l = i + -0.08. Is 0.1 less than or equal to l?
False
Let h be 0/((0 + 3)/3). Let v = -9097/51 - -535/3. Do v and h have different values?
True
Let o(u) = -u + 4. Let i(y) = -y**3 - 3*y**2 + 6*y - 7. Let w be i(-5). Let b = w + -10. Let q be o(b). Which is smaller: q or -9?
-9
Let n(y) = -2*y**3 - 23*y**2 - 17*y + 9. Let k(w) = -w**3 - 11*w**2 - 8*w + 4. Let x(t) = 13*k(t) - 6*n(t). Let d be x(-5). Let g = 6 - 6. Is d less than g?
False
Suppose 5*n - 70*m = -68*m + 4, -4*m = -3*n + 8. Is n >= 0?
True
Let z be 2/2 - 16005/16115. Let m = -10 - -11. Is m at least as big as z?
True
Let q = 6.71 + -6. Let h = 0.29 + q. Is -1.4 >= h?
False
Suppose 3*a = -2*r + 30, 4*r = -r - 2*a + 53. Suppose -i + 4*i = r. Suppose 0 = 3*t - i*w + 2*w + 3, 12 = 2*t + 4*w. Are -8 and t unequal?
True
Let h = 146626/5 - 29086. Let j = h - 240. Let i = 121 + -121.1. Which is smaller: j or i?
j
Let a be ((-2)/8)/((-30)/40). Let i(d) = -d + 10. Let f be i(10). Suppose 2 = 2*o - f. Which is bigger: a or o?
o
Let r(u) = u**3 + 31*u**2 - 34*u - 76. Let s be r(-32). Is s bigger than -186/17?
False
Let y = 15 - 135. Is -0.1 > y?
True
Suppose 0*s = 2*s + c + 4, -s - 16 = -3*c. Let w = -4 - -7. Let m be 2 - (w - 8/(-5)). Is m not equal to s?
True
Suppose 0 = -5*z - 4*x - 13, 2*z + 1 = 5*z - 2*x. Which is greater: z or 2/17?
2/17
Let u(i) = -i - 4. Let p(t) = -2*t - 9. Let h(j) = -6*p(j) + 13*u(j). Let s be h(-9). Let n = -69 + 80. Is n >= s?
True
Let o(x) = -x**3 + 31*x**2 + 34*x - 63. Let r be o(32). Is 3/103 less than r?
True
Let z be 3/(-4) + (-124)/(-16). Suppose -2*u - 3*u = 0. Suppose 2*a - 10 = u, -3*a = s + 2*s - 36. Is z < s?
False
Let u be -6 + 3 + 42/10. Which is smaller: u or -4/13?
-4/13
Let b be (-315)/4914*(-99)/6. Is 0 smaller than b?
True
Suppose 0 = 2*t + 3 - 9. Let j(x) = x - 4. Let g be j(t). Which is smaller: g or 1/19?
g
Let o be (-6)/42 - (-26)/(-14). Let f be (-44)/10*o - 4. Which is smaller: f or 4?
4
Let m(p) = -p**3 - p**2 - 2*p - 1. Let a be m(-1). Let d = 1.62 - 1.92. Which is smaller: a or d?
d
Let b = -94.7 - -111. Let p = b + 0.7. Let o = p + -12. Is -0.2 at most o?
True
Let x be (12/9)/4*0. Let w be 5*392/3600 - 1/2. Is x at most as big as w?
True
Let i = -14.97 - -7.04. Let l = -8 - i. Let h = -2/31 - -37/93. Which is smaller: l or h?
l
Let l(z) = -9*z - 9. Let o(y) = 36*y + 37. Let n(c) = 9*l(c) + 2*o(c). Let x be n(-2). Are x and 11 equal?
True
Suppose -2*x = -p - 9, -2*p = x + 4*x - 9. Let d be -1*p*8/(-4). Is -19/3 < d?
True
Suppose -c = -5*c + 92. Suppose l - 26 = -c. Do l and -2 have the same value?
False
Suppose 0 = 2*k + 3*n + 339, -3*n + 8*n = -3*k - 508. Let q be k/(-6) - 6/(-4). Let p be q/(-56) + (-6)/(-8). Do p and 1 have the same value?
False
Suppose 6*v = -1114 + 1114. Which is bigger: v or 