al?
False
Suppose -3*f - 4*o + 19 + 23 = 0, -56 = -4*f - 4*o. Suppose x + x - f = 4*l, 0 = 2*l + 5*x - 23. Let n be -1*l*(-3 + 2). Which is smaller: 30 or n?
n
Let p = -4.8 - -6.8. Let k be ((40/15)/8)/((-1)/(-3)). Which is greater: p or k?
p
Let m = 3780 + -26396/7. Which is greater: 10 or m?
10
Let p be 10/(-4)*(-66)/(-5). Let f be (-2 + (-54)/p)/(2/(-13)). Which is smaller: 1 or f?
1
Let o = -34 + 40. Let h be (-43 + o)*(0 + -2). Is h at least 74?
True
Let j = -8981 - -8981. Does 1/4 = j?
False
Let y = 66 - 67.43. Let o = -1.4 - y. Which is smaller: o or 1/2?
o
Let b = -85817/16907 - -147/29. Do b and -1 have the same value?
False
Let r be 5 + (-6)/(-36) + (-19)/6. Let o(w) = -r + 1 - w - 4 + 9*w. Let t be o(2). Are t and -1/3 nonequal?
True
Suppose -5*o = 5*i + 47050, -55802 + 18156 = 4*o + 2*i. Which is bigger: 2 or o?
2
Let w = 5868 - 5877. Which is greater: w or -309/34?
w
Suppose -2*w - 757 = 2*c + 955, -4*w - 5*c = 3429. Which is greater: w or -852?
w
Let s = 1087 - 594. Let u = -492.9 + s. Does -45 = u?
False
Let j(s) = s**3 - 2*s**2 - 146*s + 45. Let k be j(13). Is 2/5 > k?
False
Let w(m) = -534*m + 6941. Let j be w(13). Is -62/199 at most as big as j?
False
Let b(d) = -d**3 + 16*d**2 + 35*d + 27. Let v(w) = -12*w - 30. Let a be v(-4). Let y be b(a). Let f be 18/(6*(-3)/(-9)). Is f at most y?
True
Let g = -7225 + 7223. Are g and -18.47 equal?
False
Suppose 0 = -2*w + 6, -5*i = 4*w + 15991 - 573. Which is bigger: i or -3087?
i
Let m = 173 - 307. Let p = m + 130. Which is bigger: p or -6?
p
Let i be -24*1/(-20)*-55. Which is smaller: -61 or i?
i
Let g(b) = -10*b**2 + 7*b + 2. Let j(x) = -10*x + 203. Let q be j(20). Let i be g(q). Which is bigger: i or -65?
-65
Let c = 1492 + -2566. Is c greater than 3?
False
Suppose 0 = -q + 42 - 29. Suppose 49 + q = n. Let w = 36 - n. Which is smaller: 0 or w?
w
Let b(w) = -w + 47. Let v be b(43). Suppose -3*f - 5*i = -0*f - 13, 0 = -2*i + v. Is 2/707 at least f?
False
Let x = 714869/5 - 142439. Let o = 536 - x. Let s = -2 + -1. Which is smaller: s or o?
s
Let m = 8377/90480 + -34/435. Which is greater: 0 or m?
m
Let f(i) be the third derivative of -i**4/6 - i**3/3 + 4*i**2. Let p(s) = 12*s + 6. Let b(y) = -8*f(y) - 3*p(y). Let o be b(1). Does o = -6?
True
Let d be ((-1)/4)/(19/(-380)). Suppose -2*g + 3*m + 19 = 0, -5*g - 10 - d = 5*m. Let r be -58 + -1 - 3*(-1 + g). Are r and -61 nonequal?
True
Let h(b) = -4 + 2 + 0 + 82*b**3 + 1. Let i be h(1). Suppose 58 = 2*n + 2*z, 3*n - i = -z - 4*z. Which is smaller: 31 or n?
31
Let g(d) = -235*d + 3055. Let f be g(13). Which is smaller: f or -2/751?
-2/751
Suppose -53*t + 21*t - 128 = 0. Is -153/41 greater than or equal to t?
True
Let s = 1.0571 - -194.6429. Which is bigger: -1/4 or s?
s
Let w = -446 - -437. Let u(v) = -v**2 - 17*v - 73. Let b be u(w). Which is greater: 2/9 or b?
2/9
Suppose -10*b = 5*b + 6*b. Suppose -i - 280 + 282 = b. Suppose -7 = 4*c + 1. Which is smaller: i or c?
c
Suppose -x - 3*q + 68 = -2*q, -4*x - 3*q + 274 = 0. Suppose 40 = -f - o - 2*o, -o = -3*f - x. Let t be (-30)/(-66)*(-10)/f. Which is smaller: 0.4 or t?
t
Let j be (2/(-3))/(1/(-3)). Let o = 2 - j. Let a = 0.175331 - 27.175331. Which is smaller: o or a?
a
Let a = 18 - 13. Suppose 12*x - 7 = a. Is x > 3/2?
False
Let w be 1/13 - 281124/(-3562). Which is greater: 89 or w?
89
Suppose 161*d = 164*d - 3*i - 2538, 5*i - 1685 = -2*d. Is 844 smaller than d?
True
Suppose -u = f + 1, -4*u = -9*u - 2*f + 1. Let t = 581620010 - 5735354928931/9861. Let m = t - -59/57. Is m equal to u?
False
Let x = -9592.03224 - -9592. Is x at most as big as -1/3?
False
Suppose 2*q + 9 = -3*o, -3*q - 1 + 13 = -4*o. Let t = 449 + -55226/123. Which is smaller: t or q?
q
Let a be (2 + 4 - 4) + -4. Let s be (49/a)/(42/12 - 4). Which is greater: 48 or s?
s
Let g = 1553 - 1483. Which is smaller: 1.7 or g?
1.7
Suppose 5*z - 40 = 5*q, -12*z + 4*q = -17*z + 31. Let w = z + -236. Which is smaller: w or -2?
w
Let h = -2020465/5048 + 237/631. Which is greater: -399 or h?
-399
Let m = -49.441 - -49.8. Let f = m - 0.259. Is -7/17 at least f?
False
Suppose 16 + 5 = -7*q. Let w be q*(-3)/9 - (4 + -2). Let m be (-180)/(-51) - (w - -4). Which is greater: m or 2?
2
Let o(t) = -t**2 - 239*t - 3321. Let u be o(-15). Which is smaller: -42 or u?
-42
Let o(d) = d**2 + 8*d - 3304. Let z be o(53). Which is bigger: -56 or z?
-56
Let s = 10051 - 10109. Which is smaller: -49 or s?
s
Let v be ((-5)/25 + 0)*(5 - 17400/16). Is -0.04 < v?
True
Let p = 528 - 769. Suppose 2*a - 1209 = 5*t, 3*t - 21*a + 731 = -17*a. Is t greater than or equal to p?
True
Suppose -4*x + w + 34 = 4, -2*x = -2*w - 18. Suppose 3*a + 16 = x*a. Let g = 17 - a. Is 11 at most as big as g?
True
Let b be (211/4 + 4/16)*5. Suppose 0 = -6*r + b - 7. Suppose r = -i + 24. Which is bigger: -17 or i?
-17
Let w(g) = -149*g - 1. Let b be w(0). Suppose 4*h - m = 4340, 4*h + 5*m = 2*h + 2148. Let f = h - 18434/17. Which is smaller: f or b?
b
Let b = -163484643/2066 - -79131. Is -1 at most as big as b?
True
Let f be (((-2)/(-27))/2)/((-948)/72). Let y = -4189279/47851722 - -449/7478. Let r = y - f. Are r and 1 unequal?
True
Suppose 10*r = 5*r - 3*q + 391, -3*r = 2*q - 234. Which is smaller: -3/8 or r?
-3/8
Let m = -21323/2 - -6612. Which is bigger: m or -4049?
-4049
Let y = 14956 + -14956.02. Is -2/4275 < y?
False
Let f = 524 + -524. Is f bigger than -5/76?
True
Let i = 68/25 - 6553/2400. Let z = -308 + 926/3. Is z not equal to i?
True
Suppose -395*p = -402*p + 1757. Which is smaller: 503/2 or p?
p
Suppose -c + 0 + 5 = 0. Suppose -2*m = 3*t - 4, 0*t = 4*t + c*m - 10. Let q = -29/6 + 607/138. Is t > q?
True
Let k = 1 + -0.9. Let u be (378/(-1848))/(216/96). Is u bigger than k?
False
Suppose 0 = 4*i + 3*n - 132, 3*i = 2*n + 58 + 24. Suppose 4*v - 50 = 66. Which is smaller: i or v?
v
Suppose -39*v + 182751 = -15*v - 7521. Which is smaller: 7929 or v?
v
Suppose 2*a = a - 1. Let v be (78/(-156))/((-6)/36). Which is smaller: v or a?
a
Let i = -9 + 13. Suppose i = -c + 5*c. Let f be (-561)/663*(-6)/33. Which is greater: c or f?
c
Let o = -32.58 - -39.58. Is o > 4/51?
True
Suppose -t + 0*t + 1 = 0. Let x = 1108 + -23264/21. Which is bigger: x or t?
t
Let q be ((-146)/(-45))/(2/(-22) - (-1470)/11088). Is 78 greater than q?
True
Let t = -10880 - -10874.556. Which is smaller: t or -0.1?
t
Let i = 1652 - 916. Let y = -730.8 + i. Which is bigger: -5 or y?
y
Let f(c) = -2*c**2 + 68*c - 129. Let d be f(32). Let g = -9 - -8. Let b be (g/(-73))/(3/6). Which is smaller: b or d?
d
Let n(a) = -418*a + 920. Let o be n(2). Let m = 76 - -9. Which is greater: m or o?
m
Let q = -575 - -651. Is 19 bigger than q?
False
Let v = 121 + -144. Let l be (5 + (1 - 3))*v. Is l < -73?
False
Let y be 10/((5/(-9))/((-15)/18)). Let g be (-3 - (-9)/6)/(y/(-2060)). Is g equal to 207?
False
Let k be (-8840)/47424 - (-1)/(-12). Which is smaller: 1 or k?
k
Let y(k) = k**3 + k**2 + 4. Let n be y(0). Suppose -u = 5*r - n*r + 51, -u = -5*r - 285. Let t = 61 + r. Is 6 at least t?
True
Suppose 127487 - 16035 = -22*v. Is v at least as big as -5068?
True
Let z(p) = 3*p - p**3 - 2*p - 6 + 3*p**2 + 5*p**2. Let g be z(8). Suppose l - 3*y - 19 = 2*l, g*y - 180 = 5*l. Which is smaller: -33 or l?
l
Let x = -4.422 + -0.278. Let u = -4 - x. Let n = 0 - 0. Is u smaller than n?
False
Let d be (-2 + (-48516)/(-24264))/((-5)/(-165)). Which is smaller: d or 1?
d
Suppose -6*i - 1422 = -5526. Suppose -a = -5*a + 4*j + i, -a + 176 = -2*j. Which is smaller: a or 165?
165
Let g = -22/637 - 946516/1911. Is -496 >= g?
False
Suppose 0 = p + f - 306 + 226, 3*p + f - 254 = 0. Is 88 < p?
False
Suppose -3*z + 5*z + 1821 = -o, -3*z - 2749 = -2*o. Is z at least as big as -3/4?
False
Let p = 1104/37 + -511078/17131. Which is bigger: 0 or p?
p
Let c = 18874.6 + -18875. Is c less than 170?
True
Suppose 3*v = z + 452, -19*z + 17*z = -3*v + 898. Does -3120/7 = z?
False
Let v be (5 + 16)/7*(-77)/(-21). Is 186/17 bigger than v?
False
Suppose 0 = 4*y - 3*g - 2 - 35, -4 = -4*g. Suppose y*n = 4*n + 6. Is n less than or equal to -1/87?
False
Let a be 0/(-8 + 4 - -3). Let s(o) = -o**2 - o - 12. Let y be s(a). Let q be -4 - (11/y + -3). Is q less than 1?
True
Let n be ((-56)/6)/((-39)/(13338/12)). Which is greater: n or 0.4?
n
Let a = -486125168/2361 - -205898. Are 