. Let b be 0*((-4)/12)/((-1)/3). Are b and s equal?
False
Let v = 990.9 + -991.9. Let f(x) = -x**2 + 5*x + 3. Let k = -4 - -8. Let a be f(k). Is v >= a?
False
Let q = 10619 + -6271. Is 4349 equal to q?
False
Let p be 12/10*4*(-15)/(-18). Let l be (p/3*1)/(-7 - 0). Suppose -8*h + 5*h - g = -1, -2*g = -h + 5. Is h less than l?
False
Let m = 2512 - 12557/5. Is m at most as big as 8?
True
Let i = -919.5 + 918.4. Is i bigger than 1/7?
False
Let w(j) = 7*j**2 + 54*j - 1. Let f be w(-13). Let b = -448 + f. Do b and 30 have different values?
True
Suppose -36*w + 14*w = -396. Suppose 3*u - 3*f + w = -15, -4*f = -3*u - 29. Which is smaller: 0.6 or u?
u
Let l = -7163 - -7167. Is -1.63 greater than l?
False
Let v = 0.19 - -0.16. Let i = v + -0.55. Let n = 1.2 + i. Does n = -0.26?
False
Let h = -65 + 123. Let d = -96 + h. Let b be ((2 - 2) + d)*2/(-4). Which is smaller: b or 20?
b
Suppose k + 306 + 161 = 5*t, 3*k + 3*t = -1491. Which is greater: k or -487?
-487
Let n(s) = s**2 + 3*s - 5. Let c(p) = p + 30. Let k be c(-15). Let w be ((-8)/(-6))/(10/k). Let y be n(w). Is 1 <= y?
True
Let t = 1673 - 1882. Does -206 = t?
False
Let j be (8/6)/(4/(-6)). Let q be 1168/24 - j/6. Let h = -51 + q. Which is smaller: h or -3?
-3
Let h(n) = n + 5. Let t be h(0). Let k = t + -10. Let a = 13980 + -13984. Which is smaller: a or k?
k
Let g be -5 + (126/(-2))/((-704)/64). Let z be ((0/(-4))/3)/2. Is g > z?
True
Let r = -1188 - -1177.51. Let j = r + 10.4. Are 2 and j equal?
False
Let r = 0 - -2. Let v(o) = -o - 79. Let d be v(15). Let l = d + 94. Is l at most as big as r?
True
Let w be (720/(-78560))/(1/(-2)). Is w less than 0?
False
Suppose -2*p + 4 + 2 = 3*v, p - 3 = -5*v. Suppose 0 = 3*u + p, 2*u - 6*u = 2*b + 48. Is b <= 4/5?
True
Let s = 7155 + -11590. Is -13306/3 equal to s?
False
Suppose 0 = -8*a - 394 - 358. Let c = a + 131. Is 37 at most as big as c?
True
Let r be (-1 - 10533/7) + 19/((-798)/12). Which is smaller: r or -1507?
-1507
Let p(d) = -d**2 - 3*d + 7. Let m be p(2). Let v = 17/5 + m. Is -11.6 equal to v?
False
Suppose -185*l + 175 + 10 = 0. Which is bigger: l or -2/3707?
l
Let a be 2/4*(-20)/(-4270). Which is greater: 1 or a?
1
Suppose 2*g = o + 11 + 1, 2*o + 29 = 5*g. Let y(h) = 51*h**2 - 2*h + 4. Let u be y(o). Is 211 less than u?
True
Let r = -413/2220 - -4/111. Let n be 7 - (-7)/7*-1055. Let f = -1047 - n. Is f smaller than r?
False
Let u be (-792)/22 + (-7 + 2)/(-1). Is u bigger than -32?
True
Suppose -366*a + 24 = -362*a. Suppose 7*w = -a*w + 273. Which is smaller: 125/6 or w?
125/6
Let c(k) be the second derivative of 9*k**3/2 - k**2 + 10*k. Let p be c(1). Let r = 619 + -593. Which is smaller: p or r?
p
Let d = -1649 + 1245. Which is smaller: d or -403?
d
Let n be 2/((-1405)/350 + 4). Let r = 143 + n. Is r greater than or equal to 3?
True
Let o be 9 - -1 - 10 - (-28806)/(-86). Let r = 335 + o. Is r <= 1?
True
Let l = 408299/203 - 14003/7. Which is smaller: 11 or l?
l
Suppose 4*n + 124 = -3*v, 3*n + 2*v - 22 = -116. Let b = 2338 + -2343. Which is smaller: n or b?
n
Let m be (-378)/70 + 4/10. Let f(o) = o**3 + 3*o**2 - 3*o + 3. Let q be f(m). Let a = 30 + q. Does a = 0.4?
False
Suppose -5*d - 5*v = 2455, -18*v - 2 = -20*v. Let z = d + 184. Is z smaller than -308?
False
Let j(i) = -i**3 + 23*i**2 + 46*i + 62. Let u be j(25). Let m be ((-6)/u)/(42/154). Is m less than 0?
False
Let j(w) be the first derivative of 7*w**2 + 115*w + 59. Let d be j(-4). Is 59 at least as big as d?
True
Let v(r) = -r**2 - 18*r + 16. Let s be v(-18). Suppose 0 = -s*m + 4*m - 192. Let w = -1477 + 4387/3. Which is smaller: w or m?
m
Let y be (-8)/(8/(-1847)) - 8. Let z = 141605/77 - y. Is -1/5 < z?
True
Let m = -787.387 + 6.387. Does m = -0.1?
False
Let j = 12375 + -7042. Suppose 6*o = 1367 - j. Let b = o + 6603/10. Is b < -1?
False
Suppose -2*o - 2*o = -392. Suppose -4*p + 66 + o = 0. Let m be 3/3*(4320/105 - 3/21). Is p less than m?
False
Suppose -17161 = -11*m - 6115 + 57550. Which is bigger: 6237 or m?
6237
Let x(k) = -k**3 + k**2 + 7*k - 2. Let r be (-104)/(-32) + 4/(-16). Let z be x(r). Let v be 3*(-4)/(-942)*1. Which is greater: v or z?
z
Let y(l) = 119*l + 1580. Let f be y(-12). Is 156 equal to f?
False
Suppose -6*s + 4*s + 4*v = -30, 0 = 5*s + 5*v - 15. Let t be (-3 - 21/(-6))/(s/56). Is t bigger than 11?
False
Suppose 2*x + 5*s - 17 = 0, 68*x - 63*x - s = 2. Which is greater: 6/1657 or x?
x
Suppose -2*t + 1 = 15. Let g(n) = -69*n**2 - 4897*n + 133. Let m be g(-71). Which is bigger: m or t?
t
Let h = 5528 - 5527.085. Which is bigger: 1/16 or h?
h
Let p = -4 + 0. Let r be ((-20)/(-630)*-3)/(-1 + (-20)/12). Which is bigger: p or r?
r
Suppose -9*z = -4*y - 10*z + 1, 8 = -y - 3*z. Which is greater: -58/451 or y?
y
Suppose 168*j = 160*j + 8016. Which is greater: j or 1003?
1003
Suppose -1005*f = -1006*f - 100. Let x be (-150)/f*-2*1/3. Is x at most as big as 5/21?
True
Suppose 68 = 4*b + 44. Let i be (-51)/(-6)*(-3 - (b - 11)). Do 13 and i have the same value?
False
Let w be (-138)/(-12)*(6 + -5 + 1). Suppose -w*g = -312 - 33. Which is greater: -0.6 or g?
g
Let t = -17015 + 6708. Which is smaller: t or -1/4?
t
Let a be -3*(2/3)/(26/2925). Is a < -5?
True
Let c(v) = 41*v**3 - 17*v**2 - 7*v + 13. Let q(h) = -19*h**3 + 8*h**2 + 4*h - 6. Let f(k) = 6*c(k) + 13*q(k). Let g be f(-3). Is g at least 0?
True
Let j be (-68)/3*15/154. Let p = j + 18/11. Let f = 11.857 - -1.143. Which is smaller: p or f?
p
Let t = 3.92 + 0.08. Let g = -339 + -1402. Let b = g + 1741. Is t less than or equal to b?
False
Suppose 327*m - 341*m = 0. Is m at least -4/691?
True
Suppose 8*m - 159 = 89. Suppose -m*a + 165 = 2800. Are a and -84 non-equal?
True
Let a be -1 - -9 - ((-20)/15)/((-82)/948). Is -7 > a?
True
Let s = -500 - -411.4. Let m = -89 - s. Are m and -41 nonequal?
True
Let s(y) = 9*y**2 + 91*y + 16. Let v(g) = -g**2 - g - 1. Let w(n) = s(n) + v(n). Let b be w(-11). Which is greater: -2 or b?
-2
Let i(z) = -z**3 - 4*z**2 - 3*z + 2. Let u be (2/(-4)*-4)/(-1). Let l be i(u). Let n be 80/60*(l - (-1)/(-4)). Which is smaller: n or -2/7?
n
Suppose s + 3*g + 3 = 3*s, -3*g - 15 = 0. Let n be 438/(-5) - (-4)/(-40)*s. Let f = -45 - n. Which is greater: 44 or f?
44
Let f = -4977 + 5070. Which is bigger: f or 30?
f
Suppose 5*p + 1426 = -4*x, 140*x + p = 138*x - 716. Which is bigger: x or -371?
x
Let k = -87.5 + 87.749. Is k less than or equal to 2/3?
True
Suppose 12*h - 25 = -h + 14. Is h != 0.0253?
True
Let i = -13640 - -722846/53. Is i greater than -1?
False
Let b(w) = -w**2 + 25*w - 87. Let n be b(6). Suppose 3*x + n + 153 = 0. Does x = -58?
False
Let w = 29732 - 53504. Let b be 15*(-4)/w*2/(-5). Is b greater than or equal to -1?
True
Let k = 2761 + -2790. Which is smaller: k or -141/5?
k
Suppose 70*k - 126*k = -73*k - 29512. Which is smaller: -1739 or k?
-1739
Let o be ((-275)/75)/(2/4)*(-1245)/(-10). Are o and -916 nonequal?
True
Let x(n) = -n**3 + 16*n**2 + 46*n - 33. Let h be x(-3). Which is smaller: h or -1/3691?
-1/3691
Let n be (-14 + 15)/(1/(-53)). Suppose 46*c + 639 = 49*c. Suppose 0 = f + 3*f + 5*p + c, 5*f - p = -259. Which is smaller: f or n?
n
Let t(o) = -38*o + 203. Let v be t(5). Is v at least as big as 160/13?
True
Let v = -15324/17 - -900. Let s = -34737169/748 + 185763/4. Let g = s + v. Which is greater: g or -2?
g
Let v = 2452 - 2453. Which is smaller: v or -2/17521?
v
Suppose 23*c = 19*c - 57*c - 280051. Does c = -4591?
True
Let q = -0.436 + 19.036. Let p = -18.4 + q. Which is smaller: -0.034 or p?
-0.034
Let w = 5 + -2. Let k = 13213.3 - 13212.9. Is w not equal to k?
True
Let i be (21 + -317)*12/(-8). Which is smaller: i or 445?
i
Let b = 46352 + -2410191/52. Which is bigger: 3 or b?
3
Let s = -1670 - -1672. Let q be (2/(-15))/(12/(-105)). Which is smaller: q or s?
q
Let w(a) = a**3 - 3*a**2 + 2*a - 3. Let o be w(3). Suppose o*v + 2*v = 60. Let z be (19 + -6)/(4 + -3). Which is smaller: v or z?
v
Let t = -16410 - -16450. Let x be 123*(-2 - 7/(-3)). Is x <= t?
False
Let b = -1938.3299 - -0.3299. Which is smaller: -1 or b?
b
Let b be 299/(-253) + (-2)/(-11). Which is smaller: b or -5/1404?
b
Let w = -250 + 262. Suppose w*l - 23 = -11. Does 5/81 = l?
False
Let m = 1.9387 - 0.2387. Which is greater: -3/47 or m?
m
Suppose 0 = -2*u - 2*u - 5*x + 203, -3*u = -2*x - 158. Let o be (-1)/(-2 