ose 11*m = 83 + 214. Let j = -53 + m. Which is smaller: j or l?
l
Let v = -99 - -203/2. Let f = -491 + 520. Suppose 0 = -3*j - 4*z + 22, z + 23 = -j + f. Which is greater: j or v?
v
Let l be (-1110825)/100 + 7/28. Is l != -11107?
True
Suppose -3*d = z - 41, -z + 5*d + 7 = -2. Suppose 4*m - 6*m + 16 = -3*s, -4*s = 5*m + z. Let a be s*(2 + 68/(-24)). Which is smaller: 9/2 or a?
9/2
Let t(w) = -w**3 - w**2 - 5. Let k be t(-2). Do k and 1/1239 have the same value?
False
Let o = -5135 + 6503. Is 1368 at most as big as o?
True
Suppose -2*c = -m + 271, -4*m + 39*c = 37*c - 1078. Let i be 48/(-180) - (-2)/(-5). Is m greater than or equal to i?
True
Let y = -21.68 - 21.32. Which is smaller: y or 2/297?
y
Let l(s) = -3983*s + 89. Let p be l(-2). Is 8056 at least p?
True
Let a be -3 - (66/(-26))/1. Let y = 87 + -102. Let u be 2/3*y/(-10). Which is bigger: u or a?
u
Let h be 1356/(-9)*594/(-33). Which is bigger: -1/4 or h?
h
Suppose w - 19 = -4*s, 5*w + 14 - 49 = -5*s. Suppose 0 = -d - k + 1 - 9, 20 = -w*d + k. Is d less than -57/10?
True
Let w be (-20518)/20 + 105/42. Is 2/3 <= w?
False
Suppose -7*r + 14*r = -r. Let g be (r + -1)/((-34)/476). Which is greater: g or 13?
g
Let u(n) = n**3 + 22*n**2 + 6*n + 131. Suppose 0 = -36*c - 641 - 151. Let j be u(c). Which is smaller: j or -2/619?
j
Let i be ((-20)/(-70) - 6050/56)/((-7)/24). Which is greater: 370 or i?
370
Let r(w) = 135*w + 760. Let z be r(10). Is 2108 smaller than z?
True
Let f be (32/40)/((-1)/(-95)). Let o be f/(-304) - -6*13/280. Is 11 < o?
False
Let d(c) = c**3 - 2*c**2 + 6. Let i be d(-2). Let y be ((-8)/20)/(38/i). Which is smaller: y or 0?
0
Suppose -73*s + 542700 = 9*s + 18*s. Which is bigger: 5426 or s?
s
Let t = 0.03251 - 4.63251. Is -59/2 at least as big as t?
False
Let c = -24 - -76/3. Suppose -8*v = 4*v - 84. Let t(u) = 9*u - 61. Let j be t(v). Which is greater: c or j?
j
Suppose 38 = 3*b + 2. Suppose -13*f = -b*f. Let s be (3 - 5) + 20/14. Which is smaller: s or f?
s
Let p = -26 + 12. Let u = p - 8. Is u at most 0?
True
Let i be (-2)/(-6) + 69/(-315). Suppose 5*j = 2*m - 35710 + 35699, 36 = -4*j + 5*m. Which is smaller: i or j?
i
Suppose 0*c = o + 5*c - 12, 4 = 2*c. Let m(y) = 5*y**2 + 2*y - 1. Let s be m(o). Suppose -s = -3*w + 25. Which is smaller: 17 or w?
w
Let z = -44851 + 43176. Is 0 at most as big as z?
False
Let u = 5130 - 4972. Is u <= -0.06?
False
Suppose -z + 10 = 4*o, -z - 33 = -6*z - 3*o. Suppose -8*d - z = -6*d. Let l = d + 11/4. Is -3 smaller than l?
True
Let n be (99/(-44))/(2/248 + 0). Is -279 smaller than n?
False
Let q = 2/14415 - -1066696/100905. Does -1.5 = q?
False
Let t(q) = -628*q + 1255. Let p be t(2). Is p bigger than 9.17?
False
Let t(a) = 2*a**3 - 5*a**2 + 4*a - 4. Let b be -3 - -3 - (2 + 1 + -6). Let c be t(b). Let m = 32 + c. Is 49 less than or equal to m?
True
Let m = -87.704 - -88. Let l = m + -0.25. Let g = -0.266 + l. Which is smaller: 1 or g?
g
Let p be ((-3)/135)/(6/3). Let r = p - -8/45. Do 8 and r have the same value?
False
Let q = -17.1 + 14.37. Let l = -2.4 - q. Let s = l - 30.33. Is 1/4 greater than s?
True
Let h = 137.228 - 137. Let k = h - 11.128. Let l = k - -11. Which is greater: l or -13?
l
Suppose -1414 = -4*t - d - 473, -d = 3*t - 705. Let p be (4*(-2)/(-4)*-1)/t. Is p >= -2/9?
True
Suppose 0 = 2*m - 3*t - 35, -7*m + t + 42 = -4*m. Is 17/11 < m?
True
Let i = -0.00996 - -160.00996. Does i = -0.076?
False
Let c be ((-17)/((-867)/(-136)))/(4/(-6)). Suppose 3*g + 15 = -c*i, -2*g - 1 = -4*g + i. Which is bigger: 2/327 or g?
2/327
Let c(y) = 11*y**2 - 3*y - 2. Let v be c(3). Let i(t) = -6*t**2 + 465*t - 320. Let l be i(77). Let m = l + v. Which is smaller: m or 1/182?
m
Let z = 0.77 - 0.8. Let c = -541 - -395. Let h = c - -146.1. Which is greater: h or z?
h
Let b = 690 - 193. Let m = -496 + b. Let z = -7/5 - -6/5. Is m >= z?
True
Let u be (-52 + (-7106)/(-136))/((-2)/27). Let l be (-2)/(-1 + 15/9). Which is greater: u or l?
l
Let l be 1 + (0/(-2))/(-2). Let k = 390 + -384. Let c be 4/k*(-9)/(-6) + 1. Which is greater: l or c?
c
Let h be -2 + 2/(8/18) + (-920584)/368560. Which is smaller: 0 or h?
0
Let h = 1/62 - -91/124. Let m = 807 - 11329/14. Let r = m + 1/2. Which is greater: h or r?
h
Let x be (-6)/(-4)*(-8)/6. Let k be x/(-5) + 196/(-290). Let n(y) = -22*y**2 - 198*y - 1. Let i be n(-9). Which is smaller: i or k?
i
Suppose 0 = -45*f - 382 + 22. Let h(q) = -q**3 - 14*q**2 - 7*q + 35. Let l be h(f). Is -293 < l?
False
Let v = -80 + 59. Let a = 21 - v. Let o = a - 42.1. Which is smaller: o or 6/17?
o
Suppose -3*z - 21253 + 4012 = 3*u, -4*u + 17269 = -3*z. Which is smaller: z or -5750?
z
Let o be 33/22*(-294 - 2)/2. Is o > -223?
True
Suppose -2*p = -v + p - 3, 4*v - p + 1 = 0. Suppose x = y - 59, -5*x + 2*y - 307 = -v*y. Is -64 at least as big as x?
False
Let c be ((-2854)/4)/((-15)/(-12)) + -1. Let y = -569 - c. Which is bigger: 1 or y?
y
Let p = 9038 - 8156. Which is greater: 0.01 or p?
p
Let b be -12 - -39*(-12)/(-18). Is 990/79 >= b?
False
Suppose -7*g = -9*g - 4*g - 5*g. Which is greater: g or -1/130?
g
Suppose j = -6*j + 12740. Let w be (70/j)/(2/32). Which is greater: -1/4 or w?
w
Let w be (1080/648)/(2568/7713 - 2/6). Which is smaller: w or -4286?
-4286
Suppose v + 1 = -2*y, -21*v = 5*y - 19*v + 1. Is y less than -20/921?
False
Let r(a) = -6*a**2 + 21*a + 766. Let w be r(30). Is -4004 at least as big as w?
True
Suppose -5*m - 1536 = -196. Let s = m - -268. Is s equal to 2/981?
False
Let x = 1511 - 1108. Is x at least as big as 402?
True
Let t be (4/(-12))/(3/(-4743)). Suppose -45*u + 402 = -228. Suppose -u*i - 93 = -t. Which is greater: i or 30?
i
Let y = 55 - 59. Let a be (-16)/y + (-23956)/5336. Let i = -13/46 - a. Is i greater than or equal to 0?
True
Let o(p) = -p**3 + p**2 + p + 6. Let h be o(0). Let w be ((-1)/3)/((-1)/h). Let a = 5047 + -5047. Is w greater than a?
True
Suppose 5*m - 30 = 30. Suppose m*q = 17*q + 50. Which is smaller: -8 or q?
q
Let q = -73.86 - 0.14. Let l = q + 73. Let y = -3 - l. Is y bigger than -1?
False
Let u = 80 + -74. Let q be ((-5)/((-10)/u))/(15/10). Suppose 2*s = 4*g - q*s + 84, 0 = -5*s + 25. Is -15 smaller than g?
False
Let m be (-2)/(-6)*-1*(28 + -24). Let d = 1.1 - 4.1. Which is smaller: d or m?
d
Let f be 25 + (-7 - (-6)/3). Suppose -4*c + f = 0, 5*c + 14 = -o + 40. Which is bigger: 1/132 or o?
o
Suppose 11*h - 31*v = -29*v - 536, 5*v - 164 = 3*h. Let f = -7 - -11. Is f at most h?
False
Let k = 45232 - 45246. Is -421 equal to k?
False
Let u(r) = r**2 + 5*r + 2. Let q be u(0). Let f be 6*4*q/1888. Which is smaller: f or 1?
f
Suppose -q + j = -4572, 8 = 2*j - 0*j. Suppose 59*i = 15*i - q. Is i <= -104?
True
Let q(z) = -46*z + 6956. Let x be q(66). Which is smaller: x or 3922?
x
Let l = 82 - 83. Is l bigger than 6/11929?
False
Suppose -2*t + 3*t + 4*n = 336, 3*n - 1017 = -3*t. Let o = 341 - t. Which is greater: 4/91 or o?
o
Let c = 728 + -718. Is c greater than 10?
False
Let j be 168/20 - (-105 + 113). Is j at least 137?
False
Let j(k) = 3*k**2 - 42*k - 342. Let h be j(-7). Is 98 equal to h?
False
Let u be (-2 + -3)*(-7 - -12). Let p be ((-1)/(-1))/(21/u). Which is bigger: -1 or p?
-1
Let l = -3.8 - -4. Let p be (7 + 120/(-18))*(-1 + 1). Suppose 11 = -3*n + 2*n - t, -n + 3*t - 11 = p. Is n less than l?
True
Let o = 138822 - 8745514/63. Let g = o - 31/7. Are g and -2 equal?
False
Let j = 189722 - 944272/5. Is 868 greater than j?
True
Let f = -10806.91864 + -0.08136. Is 0 equal to f?
False
Suppose -7*n = 453 + 1164. Let r = 2 - n. Is 232 at least r?
False
Let z be (9/(-5))/3*3. Suppose 0 = -4*n - 2*j - 2118, 4*n + 3*j - 2*j + 2119 = 0. Let d = -532 - n. Is d greater than z?
False
Let b = -426 + 113. Let l be (-27)/12 + (2 - 0). Which is greater: l or b?
l
Let f(l) = -l**3 - 50*l**2 + 67*l + 605. Let s be f(-51). Are -205 and s equal?
False
Suppose -1016 = -3*c + 5*c. Let f = c + -266. Let o be (5 - f/(-150))/((-18)/5). Are 1 and o equal?
False
Let b be 15*14/630 - (-2)/(-6). Let v = -10/7 + 3/2. Which is bigger: v or b?
v
Let p be 2/13 - 1782/(-78). Let y = 7 + p. Suppose 29 = 79*i - 78*i. Which is smaller: y or i?
i
Let w(s) = -25*s - 5. Let z(g) = 12*g + 3. Let v(n) = -3*w(n) - 5*z(n). Let u be v(-3). Let h = 35 + u. Is h != -10?
False
Let c(h) = -h**2 - 26*h + 31. Let l be c(-27). Suppose -2