2 - 11. Let f be c(4). Let q be a(f). Suppose v - 5*i - 16 = 0, -5*i - 6 - q = -2*v. Is -6 < v?
True
Let x = -44136 + 44134. Let l = 9 + -14. Which is smaller: l or x?
l
Suppose -l + 30 = 2*l. Let b be (-2)/6 - 28*l/(-3). Suppose 4*s = 4*z - 88, -z + b = -4*s - 2*z. Is -21 < s?
False
Let w be (-1720)/35 + (-16)/(-14). Let a be 3/(-5) - (-237)/(-5). Is w >= a?
True
Let m = -71 - -158. Suppose 47 - m = 8*l. Which is greater: l or -16?
l
Let z = -4152.4 - 4361.6. Which is bigger: z or -2?
-2
Suppose -21*q + 19*q = -t - 127, 6*t + 266 = 4*q. Is 62 >= q?
True
Let i = -255 + 255. Suppose -3*x - 4 + 133 = i. Which is greater: 40 or x?
x
Let m = -7.51 - -16.12. Let w = 17.6 - 25.9. Let f = m + w. Which is smaller: -2 or f?
-2
Let j be 11/((-1296)/(-186) - 7). Let d be (-93)/j*2/(-3). Is d at most as big as 2/13?
True
Let s = 10036 - 10043. Is -124/19 <= s?
False
Let i(v) = 2*v**3 + 50*v**2 + 59*v + 172. Let s be i(-25). Are s and -1302 nonequal?
True
Let z(n) = 9*n + 4. Let b be z(-5). Let x = b + 105. Let h be (2/(-3))/((-6)/576). Is h equal to x?
True
Let h = 2 - 9/4. Let z = 137292 + -137308.1. Which is smaller: h or z?
z
Let g = -33203 + 33202. Is -2/10765 greater than g?
True
Let h be (1 + (-19)/4)/(18/144). Let z be (0 - 0 - 1)*(h - 54). Let v be 1/((-21)/90) + 24/z. Which is bigger: v or -9?
v
Let a = 3/8879 + 25553753/26637. Let b = -962 + a. Let j = 0.05 + -2.05. Which is greater: j or b?
j
Let d be (444/(-164) - -3)/2. Let m be (-19)/(-76)*(-2 - -2). Is d at most m?
False
Let u = -65 - -90. Let g(w) = 45*w**2 - w + 1. Let n be g(1). Let f = n - u. Which is greater: f or 18?
f
Let t = -8 - -6. Let w = t - -1.9. Let c be (6 - (-260)/50)/(3/(-15)*-6). Which is bigger: c or w?
c
Let b = 365 - 365. Let y be (3 - b) + (-6)/(-3)*-2. Which is smaller: 2/15 or y?
y
Let s = -7 - -37. Suppose 0 = 4*b - 0*b - 88. Let d = b - s. Which is bigger: -3 or d?
-3
Let o = 310 - 203. Let h = -113 + o. Is h bigger than 9?
False
Suppose 2*r = -p + 42, 2*p - 4*r - 118 = -2. Let z = -46 + p. Let q be (0/z)/(0 - -2). Is -9 smaller than q?
True
Let s = 116 - 100. Let o be 0 - s/40*-5. Is 3/5 less than or equal to o?
True
Suppose 3*y - 2 = -2. Suppose -7*x - 1328 - 667 = y. Let h be x/93 + (-1 - -4). Is h <= 1?
True
Let x be 3150/(-5670) + (2/8 - (-95)/20). Is 15 >= x?
True
Suppose 2*m + 3*n - 97 = 0, 5*n + 45 + 135 = 5*m. Let a(d) = -111*d - 30 + 109*d + 24 - m. Let x be a(-21). Does -5 = x?
True
Let i = -8227 + 9125. Which is smaller: 894 or i?
894
Let x = -160.4 + 21.4. Let q = x - -139.1. Is q < 2?
True
Let t(o) = o**2 + 31*o + 40. Let p(i) = -4*i**2 + i + 6. Let v be p(3). Let d be t(v). Are -334/5 and d equal?
False
Let h = -0.302 + 6.852. Let p = h - -0.42. Let v = 0.03 + p. Which is bigger: v or 1?
v
Let l = 3415 + -3396. Let n = -13 + 38/3. Which is smaller: l or n?
n
Let i = -18436 + 18438. Which is smaller: -0.3377 or i?
-0.3377
Suppose 10*t = 2615 - 985. Let v(p) = -90 - 87 + 3*p + t. Let f be v(5). Which is bigger: 3/7 or f?
f
Let c be (-32)/1360*(-20)/(-22). Which is smaller: c or 1.1?
c
Let k = 2/185421 + 162593614/61807. Let n = 2603 - k. Which is smaller: -27 or n?
n
Let p be (-1599)/91 - -18 - 2*(-6)/21. Are 123/161 and p unequal?
True
Let f(y) = y**3 - 8*y**2 - 9*y + 3. Let q be f(9). Let k(w) = -w**3 + 3 + 132*w**2 - w + q*w**3 - 126*w**2 - w**3. Let c be k(-6). Which is smaller: 41/5 or c?
41/5
Let u = 4634.4 - 4595.362. Let g = u + -0.038. Let s = 43 - g. Is -8 greater than or equal to s?
False
Let d = 1 - -1. Let q be ((-184)/(-88) - 2)*(-411)/10. Let r = 51/11 + q. Is d at most as big as r?
False
Let h be 1/(-18) + (-144368)/(-2680272). Which is smaller: h or 1?
h
Suppose -47*r = -930 - 1373. Suppose q + 47 = 3*j, 0*q + 4*j - r = q. Which is bigger: q or -36?
-36
Suppose -4*q - 12 = 3*f, 4*q + 3 = -f - 1. Suppose u = -g + 53, q = u - 4*u - g + 157. Suppose 0*k - 2*k + 102 = 0. Which is smaller: u or k?
k
Let d be -96*20/(-18)*4*465/40. Which is smaller: 1 or d?
1
Let b = 0.779 - -0.021. Let d = 0.2 + b. Let g = d + -0.5. Is -2 >= g?
False
Let u = -11994 - -11985. Which is bigger: u or -521?
u
Let d = -173.643 + 173. Let l = 0.043 + d. Are l and -1 unequal?
True
Suppose -3*o = -15, 7 - 2 = 5*t - 2*o. Which is greater: t or 238?
238
Let v be (-45)/(6/(-10) + (-18)/120). Is 0.018 at least as big as v?
False
Suppose p - 5 = 0, 0*y + 2*p = -5*y - 265. Let f be 4/(-6) - y/15. Let a be (-5)/30 + (9/f)/(-198). Which is greater: a or 15?
15
Let s = -1984 - -1961. Which is smaller: s or -25?
-25
Let y = 34828 - 34828.02. Which is greater: y or 0.1078?
0.1078
Let n = -2674 - -2674.1. Which is greater: -3878 or n?
n
Let x be ((-632208)/132)/(12/66). Is -26342 <= x?
True
Let r = 53 - 48. Let n be ((-8)/(-16))/(93/(-94) - -1). Suppose 9*s - n - 25 = 0. Is s at most as big as r?
False
Let y(c) = 2*c**3 + 22*c**2 + 18*c - 12. Let r be y(-10). Suppose 4*x = -3*n + r + 4, 3 = -2*n + x. Which is bigger: n or -8?
n
Let f = 7/196471 + 2231827/22397694. Let u = f - 1/11. Is -0.1 < u?
True
Let u(t) = 14*t**2 - 5*t + 1. Let a be u(3). Let v = a - 124. Suppose 4*x + 39 = x. Which is greater: v or x?
v
Let v be 4 + (-2 + (-1032)/15)*50/(-4). Is v less than 888?
False
Let z = 1105 + -1002.3. Let t = -104 + z. Which is smaller: 2 or t?
t
Let f(b) = b**2 + 6*b - 8. Let v be f(-8). Suppose -5 = 3*o - v*o. Let l be 10/70 - (16/(-72) + 247/504). Which is greater: l or o?
o
Let s = 156 - 153. Let o be s - (-7 + 9 + 0). Is o > 14/57?
True
Let d = 26 - 66. Let f = d + 43. Let o be (f - 5/5) + -5. Is -2 at most o?
False
Suppose 20 = 5*a + 5. Let v be 25/170*(a + 49/(-15)). Which is smaller: -0.2 or v?
-0.2
Let r be (1/(-2))/(-3 - 2072/(-688)). Is r greater than or equal to -13?
False
Let q = 8637.055 + -8671. Let z = q + -0.055. Which is smaller: z or -0.2?
z
Suppose 5*b + 3 = 2*b. Let v = -6 - b. Let y be (-432)/27 - 2 - -11. Is y > v?
False
Let j be (1 - 3)/(402 + -1). Let h(x) = -15*x + 186. Let w be h(11). Let v(o) = 2*o**3 - 43*o**2 + 18*o + 63. Let c be v(w). Which is greater: j or c?
c
Suppose -4*r = -0*r + 4. Let m be (r - 50/(-3))*6. Let b = m - 93. Are -3/17 and b nonequal?
True
Let p = 0.93 - 1.01. Let h = p - 0.21. Do h and 2 have the same value?
False
Suppose -d = -3*x + 578, -5*x - 440 + 1414 = d. Let y(m) = 14*m - 2. Let t be y(14). Is x smaller than t?
False
Suppose 856 = -125*v + 606. Which is smaller: -2615 or v?
-2615
Let n be ((-4)/(-10))/((-171)/5). Let y be 1*(0 - -4)*2. Suppose 7*r = 3*g + 4*r + 6, 4*r = y. Is g at most as big as n?
False
Let t = 4124 + -164959/40. Is t bigger than -1?
True
Let w = -3358.5 - -3359. Let r be (-3)/(0 + -12) + (-185)/20. Which is smaller: r or w?
r
Let k(b) = b**3 + 110*b**2 + 97*b - 1360. Let j be k(-109). Is -55 <= j?
True
Let f be (31 + 23)/(-4 + (-522)/(-132)). Is -1188 != f?
False
Suppose 1128*b - 1137*b = 0. Which is smaller: 1/450 or b?
b
Suppose 30*i - 3*y + 22 = 28*i, 5*i - 5*y + 45 = 0. Which is smaller: 101 or i?
i
Let y be (-154)/(-385)*(-1 - 236/(-231)). Suppose -3*g = -l - 7, 0*g = -2*g + 4. Is l equal to y?
False
Suppose 15*g - 90 = 6*g. Suppose -a = 4*w - 17, g = 4*w - 2*w + 2*a. Let s be (2 + 18/w)/(3*1). Do 3 and s have different values?
True
Suppose 287*k - 342*k + 605 = 0. Is -137 equal to k?
False
Let j(u) = -36*u**2 + 147*u - 25. Let p be j(4). Is -1 < p?
False
Suppose 4*n - 12 = 4*g - 0*g, -n = 5*g + 3. Suppose n = 14*k + 380. Which is bigger: -26 or k?
-26
Let v be ((-2826)/(-36))/(2/4*1). Suppose 3*x + 5*f - 459 = 0, 5*x + 152 = 4*f + 954. Which is greater: x or v?
x
Let l = 1650 - 1648.6. Let z = -0.4 - -1. Let q = l + z. Which is bigger: q or 0.1?
q
Let s = -0.558 - 0.081. Let x = -0.039 - s. Let h = x + -8.6. Is h < -0.5?
True
Suppose -f + 4*h = -7848 + 2689, 2*f = -h + 10273. Is 5136 equal to f?
False
Let w(x) = x**2 - 6*x - 30. Let n be w(13). Let f = n + -40. Is f > -4?
True
Let a = -17 - -19.4. Let q = 2.7 - a. Let d = -0.3 + q. Which is smaller: -0.02 or d?
-0.02
Suppose 0 = -2*g - 4*v + 68, -7*g + 50 = -v - 53. Suppose 0 = -2*k - k + 4*s + 43, -2*k - 4*s + 62 = 0. Do g and k have different values?
True
Let a(j) = 7*j**2 + 8*j + 10. Let l be a(4). Let t = -130 + l. Is 20 smaller than t?
True
Let u = 108 + -96. Let o be 0 - u/16*(-4)/8. Let r = -44 + 45. Which is smaller: o or r?
o
Let u = -