*k + 235. Let i be v(-70). Which is smaller: i or 318/13?
318/13
Let a be ((-2)/(-4))/(((-36)/1320)/(-3)). Is a at least as big as 169/3?
False
Let n = -359 - -138. Let w = 221.1 + n. Let z = 9 + -27. Which is smaller: z or w?
z
Let k = 12371 - 1212513/98. Let m = k + 4/49. Suppose 6*o - o = -3*x - 11, o + 11 = -5*x. Are m and o non-equal?
True
Let j be (-1 - 2)*((8 - -1) + -5). Which is bigger: -21 or j?
j
Suppose 4*b = 3 - 31. Suppose l + 9*m - 12*m + 17 = 0, -3*m + 21 = 3*l. Which is bigger: l or b?
l
Let m = 30.53 - -0.47. Let z = m + -12. Let h = -18.2 + z. Is -1/3 less than or equal to h?
True
Let l be (-10821)/77 - 14/77. Let m = -141 - l. Which is smaller: -0.3 or m?
-0.3
Let z = -35 - -62. Suppose 3*r + 2*d + 7 = 0, 2*r - z = 3*d + 2*d. Which is smaller: r or -1/61?
-1/61
Let x = 554 + -556. Which is smaller: -29/10 or x?
-29/10
Suppose v + 3*d = 15, 1 + 10 = 5*v - d. Suppose -6*k = -w - 3*k - 2, -5*w - 23 = -2*k. Let o be (1/v)/(w/(-10)). Which is bigger: 1 or o?
1
Suppose 3*s - 4*s + 5 = 4*t, 2*s + 4*t = 10. Suppose -v + 13 = o, 66 = 4*v + s*o + 13. Which is bigger: 15 or v?
15
Let q(x) = -x**2 + x**3 + 2*x + 1 + 0*x**2 - 3*x. Let c be q(2). Suppose 1 + 2 = c*b. Which is smaller: b or 0?
0
Let t = 510.26 + -3.26. Are 0.2 and t unequal?
True
Let s(i) = i**3 - 7*i**2 + 7*i - 5. Let m be s(6). Let w = 1/123 + -1/5166. Which is smaller: w or m?
w
Suppose 5*i - 62 = a, 0*i + 50 = 5*i + 5*a. Suppose 0 = 2*d - l + i, 3*d - 13 = 4*d + 3*l. Let j be (29 - 31)/((-2)/(-7)). Is j at least as big as d?
True
Let t be (-4 - (-110)/25)/(4/820). Are 82 and t unequal?
False
Let v be (0 - 27/393)*(-14)/42. Is v < -1?
False
Let h = -532 - -568. Is h < 248/7?
False
Let k = -1.6 - -1.6. Let o = k - -1. Suppose r = 2*f + 11, -5*r - 4*f = 2 - 29. Which is smaller: o or r?
o
Suppose -452 = 15*s - 1127. Let x be ((-1 - -2)/1)/1. Let c be 1 + (s/(-57))/x. Is 1 equal to c?
False
Let w = -0.77 - -0.97. Is w > -45?
True
Let p(s) = s**2 + 52*s + 239. Let w be p(-47). Which is bigger: 2/55 or w?
w
Let o(q) = q**3 + 26*q**2 + 25*q + 11. Let r be o(-25). Which is smaller: r or 7?
7
Suppose 0*y = 4*w + 4*y + 20, 5*w - 2*y - 17 = 0. Suppose d - 4 + 5 = 0. Which is bigger: d or w?
w
Let a = -1.91 + 1.76. Which is smaller: a or -1/5?
-1/5
Suppose -17*a = -16*a - 4. Suppose 8 = a*m - 2*m - 4*f, 0 = 5*m + 5*f + 40. Is -2 >= m?
True
Suppose -15 + 239 = -7*m. Let w be 36 + 1 + (-24)/m*4. Which is smaller: w or 38?
38
Let x be ((-4)/(-3))/(4/6). Let u be (-8)/(-5) - 18/(-45). Suppose -4*h + r + 15 = -4*r, -x*r = -u*h + 6. Does h = -1?
False
Suppose -27*o + 22*o - 151 = -4*p, -37 = -p + o. Suppose b = -v + 36, -4*b + v = 10 - 144. Does p = b?
True
Let f = 3.5 + -6.5. Let k = f + 3. Is k at most as big as -1/2?
False
Let i be (6/18)/(3/153). Let v = -33/2 + i. Let d be (8/(-3))/(-2) - 1. Is v at most as big as d?
False
Let t = -1279 + 1278. Suppose y - 2*y = -3. Suppose 0 = 5*a + d + y, -a + 3*d - 1 = 6. Do t and a have the same value?
True
Suppose h + 669 = 3*y, -5*h - 2*y = 1229 + 2048. Does h = -656?
False
Let l(o) = -7*o**3 - 3*o**2 - o - 2. Let p be l(-2). Suppose f - 5*k - 13 = 0, 2*f - p = 6*f + 4*k. Suppose -84 - 6 = 15*z. Which is bigger: z or f?
z
Let r = -3.85 + 3.771. Is -1/3 not equal to r?
True
Let b = 0.009 - 9.009. Let v = b + 7. Which is bigger: v or 2/9?
2/9
Suppose -15 = 3*s - 6*s + 5*j, 12 = -4*s - 4*j. Is 2/877 < s?
False
Let m be (-1 + 1)/(0 + 2). Suppose 3*l + l - 56 = m. Let z be l/24 - (-5)/(-15). Which is greater: -2/13 or z?
z
Let g(p) = p**3 + 8*p**2 + 7*p + 4. Let l be g(-7). Let x be l/(-10) + (-112)/(-180). Let j = -102 - -103. Which is smaller: j or x?
x
Let t = -204 + 157. Is -44 at most as big as t?
False
Let u = -385/164552 + 3/536. Which is smaller: 1 or u?
u
Let x be (9/(-81))/((-4)/(-312)). Which is greater: x or -8?
-8
Let c(v) = v**3 - v**2 + 4*v - 10. Let d be c(2). Let a = -4 - -8. Is a at least as big as d?
True
Let z = -0.04 - -21.04. Let i = z + -30. Let y = 0 - i. Do y and -1/2 have different values?
True
Let d = 76 + -62. Suppose t + 1 = g - 3, -d = t - 3*g. Is t less than or equal to 2/35?
False
Let g(z) = -z**2 - 5*z - 4. Let o be (-52)/16 - (-2)/8. Let x be g(o). Is x < 12/11?
False
Let k = -1411 - -1411. Which is smaller: -10/387 or k?
-10/387
Let o be -21 + 21 + (16 - 2/2). Let k = 19 - 28. Let j be 152/(-20) - k/o. Which is smaller: -6 or j?
j
Let a be (-84)/39*(-11)/44. Let f = -125/39 + a. Is -2 != f?
True
Let l be -2 - 0 - 1*-1. Let y be (-1309)/(-35) - 3/(-5). Let t be ((-36)/(-27))/(y/3). Are l and t unequal?
True
Let c = 0.263 - 0.163. Which is greater: c or 331?
331
Let q = 163 + -327/2. Let z = -0.2 - -0.3. Which is bigger: z or q?
z
Let z be ((-28)/7 - 10/(-2))/1. Which is smaller: z or 22/21?
z
Suppose -2141*j + 25 = -2146*j. Suppose h - 5*s = 10, -4*h - s + 2*s - 17 = 0. Are h and j unequal?
False
Let k be (3*-1)/(-7*(-11)/539). Is k less than -9?
True
Let d = -1046 + 51252/49. Is 4 <= d?
False
Let k = -195.7 - -191.7. Is 15.9 smaller than k?
False
Let f = 6 + -5. Suppose -2*m - 3*b = -2, -m - 4*b + f = b. Let y be ((-2)/26)/(1/(-2)). Is y less than or equal to m?
True
Let i(g) = g**2 - 8*g + 11. Let d(x) = -2*x - 42. Let v be d(-24). Let b be i(v). Which is bigger: b or -5?
b
Suppose 6*t = 2*t - 52. Let a = 13 + t. Suppose -4*z - 8 = -a. Do z and -2 have the same value?
True
Let r be (1 + -2)*(-1 - 20). Suppose 39 = -6*l - r. Are -12 and l non-equal?
True
Let z be -1*2*(-27)/6 + -7. Let w = -24.054 - -0.054. Which is greater: w or z?
z
Let d = 177.7 - 168.7. Which is smaller: d or -1.8?
-1.8
Suppose 3*q - 12 = 0, -4*s + 2*q - 28 = -2*q. Which is smaller: s or -24?
-24
Let g(z) = z**3 + 12*z**2 + 9*z - 22. Let l be g(-11). Suppose -s - 18 + 6 = l. Which is smaller: s or -7?
s
Let p = -13.6 - -12. Let s = p - -1.6. Let o = -0.03 - s. Is -2 greater than o?
False
Let l be (12/(-14))/(267/(-2492)). Suppose -2*w = 2*w - 24. Suppose -2*z = -14 - w. Are l and z equal?
False
Let l = -24299/3 - -8226. Which is bigger: 127 or l?
127
Let r be (2/1780)/((-89)/267). Which is smaller: 0 or r?
r
Let x = -56 - -55.99. Let v = x + -0.09. Is 6 less than v?
False
Let j = -63 - -62. Let t = j - 1. Which is smaller: 10 or t?
t
Let k be ((70/12)/7)/((-1)/146). Let g = k + 124. Is g < -1?
False
Let w be (180/8)/(5/(-70)). Are w and -315 nonequal?
False
Let l be 4/(-20) - (-4743)/(-35). Let d = 136 + l. Which is smaller: d or -1/4?
-1/4
Let c be 2/(-5)*15/(-4). Let m(p) = -6*p + 44. Let a be m(19). Let w = -67 - a. Is c less than w?
True
Let b(z) = 6*z + 3. Let r be b(-2). Let i be ((-21)/(-9) - 3)*(10 + 2). Which is greater: i or r?
i
Let h be ((-5086)/66)/(5/45). Let p = h - -694. Which is greater: p or 0?
p
Suppose -4*c - 2*r - 8 = 0, -4*c = -8*c - 5*r - 14. Let b be (-4 - c) + (-18)/(-3). Suppose -b*q - 14 - 4 = 0. Which is greater: -1 or q?
-1
Let z be (25 - 21) + (-310)/3. Which is greater: z or -100?
z
Suppose -3*d + 656 = -3*b - 337, b = 0. Which is smaller: d or 332?
d
Let y be (3 + (2 + -1 - 4))/1. Which is smaller: y or 1/6?
y
Let v(j) = j**3 + 5*j**2 - j - 11. Let z be v(-5). Let o = 8 + -3. Let h(y) = y**2 - 7*y + 3. Let p be h(o). Which is smaller: p or z?
p
Let v = -0.177 + -80.823. Let g = 91 + v. Which is smaller: g or 4?
4
Let i = -173 - -1209/7. Let r = 95 - 93.7. Which is smaller: i or r?
i
Let s be 0 + -5 - (-1479)/203. Let l(g) = g - 6. Let v be l(9). Which is greater: v or s?
v
Let n be 236/(-450) - ((-23)/(-9) + -3). Is 0.12 >= n?
True
Let r(x) be the first derivative of 2*x**3/3 + 15*x**2 - 33*x + 19. Let q be r(-16). Do -8/33 and q have the same value?
False
Let q be 24*((-3)/(-9) - 0). Suppose -3*h - 5*o + 8 = 0, -3*h - 2*o = -o + q. Is 0.3 < h?
False
Suppose -5 = -f - 3. Let i be ((-31)/5 + f)/((-1)/(-1)). Are -5 and i equal?
False
Let a be 20/(-5) + (-12)/4. Let s be 6/21 + 16/a. Let q be ((-8)/(-10))/(s/(-20)). Are 9 and q unequal?
True
Let i = -4 + 14. Let c be (-322)/(-13)*35/i. Let p = c + -87. Which is bigger: 0 or p?
0
Let o = 1946 - 1881. Which is greater: -12/7 or o?
o
Let h = -204 + 203. Let q = -49142/45 + 1092. Which is bigger: h or q?
q
Let c = -3 + 3. Suppose -2*y - 5*x + 9 = c, -7*x + 3*x = 4. Suppose 3 = y*g - 8*g. Is -2 less than or equal to g?
False
Let j = 19 - -1. Suppose 5*l + 0 = j, 