-0.14 + 0.84. Which is bigger: o or m?
o
Suppose -46*r + 112657 = -87627. Which is greater: 4353 or r?
r
Suppose 4*h + 3*k = -h - 2312, 4*k - 1422 = 3*h. Which is smaller: -464 or h?
h
Let q be ((-3132)/(-232))/(2*117/(-120)). Let v = 41 - 49. Is q at most as big as v?
False
Let b(z) = -6*z + 36. Let c be b(6). Suppose -2*l - 5*u = -36, 2*l + 4 + c = 5*u. Let i be -4*(0 + 1)*l/16. Which is greater: i or -8/13?
-8/13
Let x be (-4)/(-12) - 97/3. Let l be 27 + x - 390/(-77). Is 0 < l?
True
Let y = -2133 + 2239. Which is greater: -4/5 or y?
y
Let t(c) = -21*c + 13. Let g be t(0). Let l(a) = 4*a - 1. Let i be l(2). Let j = i + g. Which is bigger: 19 or j?
j
Let i = 106 + -72. Let z be (-4)/i - 1008/17442. Which is smaller: -1 or z?
-1
Let y = 6 + -44. Let r(u) = -2*u**3 + 57*u**2 - 31*u + 46. Let d be r(28). Are d and y nonequal?
False
Let b be ((-1)/((-9)/(-1347)))/((-4)/12). Let y = 328 - b. Are y and -120 unequal?
True
Let h be (-2)/3 - 160/(-240). Are h and 65/59 nonequal?
True
Let f = 0.47 - 0.41. Suppose 12 = 4*n - 96. Let j = 53/2 - n. Do f and j have different values?
True
Let o = -15980/23 + 695. Suppose 33*w - 38*w - 5 = 0. Does w = o?
False
Let j be (-28)/126 + 9807/27. Let g = 428 - j. Is 66 greater than g?
True
Suppose -10*k + 7 - 13 = -6. Suppose -13 - 1 = u. Let n = u + -8. Which is smaller: k or n?
n
Let r = -3074 + 59202/19. Is r >= 41?
True
Let h = -485 + 480. Let x be 0/(h - -3) + 71. Is 71 >= x?
True
Let v = 301 - 341. Let n = -28 - v. Which is smaller: 0.1 or n?
0.1
Let c = 31 - 22. Let l be 30/36 - (-2)/(-4). Is l less than or equal to c?
True
Let c = 1724 - 1823991/1058. Let y = 5.93 - 4.93. Is y less than c?
False
Suppose -36250 + 36250 = -16*l - 0*l. Which is greater: l or -2/39809?
l
Let x be 9 - (2/(-3) - 12/(-18)). Let r be (20 - -1) + -1 - (-10 + x). Suppose -4*a - 3*q = -175, -a - 2*q - r = -61. Is 46 smaller than a?
False
Let n = -359/30 + 74/5. Let k(z) = -z**3 + 7*z**2 - 4*z - 8. Let a be k(6). Which is greater: a or n?
a
Let k = 59.6 - 58.6. Suppose -3*y = 0, -2*z + 82 = -0*y + y. Let p = 24 - z. Which is smaller: p or k?
p
Suppose -4*p + 4*k = 944, -p + 64*k - 218 = 69*k. Do -222 and p have the same value?
False
Let m be (-46)/30*3999/62. Which is bigger: -100 or m?
m
Suppose 6*t - 29 - 7 = 0. Let g = 270 + -261. Suppose o = t*o - 5*d - 45, o = 2*d + g. Which is bigger: 58/7 or o?
o
Let w(j) = 16*j**2 - 300*j + 223. Let r be w(18). Let l = 0.23 + 0.07. Let n = l - 0.5. Is n less than or equal to r?
True
Let r(q) = q**3 - 3*q**2 - 41*q - 14. Let p be r(-6). Which is bigger: p or -998/11?
-998/11
Let v = 4391 - 4406. Is v < 1?
True
Suppose 15*d - 52035 = -17935 + 16075. Is d at most 3345?
True
Let f = -2360.7 - -2250.663. Let y = -110 - f. Is y <= 0.1?
True
Let l = -50 + 49. Let q be 60/4 + 4 + l. Suppose 5*w - 28 + q = 0. Which is bigger: w or 1/2?
w
Suppose 0*f + 10 = -5*f. Let j(d) = -6*d - 11. Let o(p) = -7*p - 12. Let a(u) = -3*j(u) + 2*o(u). Let v be a(f). Which is bigger: 2/119 or v?
v
Let l = -40.6 - -41.021. Let h = l - 1.421. Which is greater: h or -8.7?
h
Suppose -3*n - 5*r - 79 = 0, 72 + 33 = -5*n - 3*r. Suppose -5*d = -26 + 101. Which is bigger: n or d?
d
Let x = 59871 + -59879. Let b = 21.958 + 0.042. Is b at most x?
False
Suppose -10*o + o + 90 = 0. Let z be (o/(-44))/((-9660)/336). Let j = -46/3 - -16. Is j greater than or equal to z?
True
Suppose 4 = -731*s + 729*s. Let m be (-15)/3 + (6 + s - -1). Which is smaller: m or -1.32?
-1.32
Let w = 4.63 + 0.07. Let o = w - -4.3. Let k = 28 + o. Which is smaller: k or 0?
0
Let v(t) = 2*t + 48. Let x be v(-29). Let w be (3 - x/(10/(-21))) + 2. Which is smaller: w or -25?
-25
Let p = 3238 + -3246.108. Let j = -0.008 - p. Does j = 0?
False
Let s = 153 - 841. Let p = s + 4814/7. Let l = -18 + 48. Is p >= l?
False
Let u = -17.9 - -7.4. Let y = 14.8 + u. Let z = 1.7 + y. Which is smaller: z or 1?
1
Let b = 82 + 19. Let r = 47 + b. Let a = 146 - r. Which is smaller: a or -0.2?
a
Suppose -67*t - 185 + 419 = -503. Which is smaller: 87/8 or t?
87/8
Let w = 81897 - 81897.9. Let v = 4 + -3. Which is smaller: w or v?
w
Let d(z) = -z**2 - 9*z - 12. Let g be d(-8). Let i = -584 - -575. Let c = g - i. Is 54/11 != c?
True
Let p(r) = -2*r**2 - 11*r - 60. Let m be p(-9). Let o = m + 4801/39. Which is smaller: 1 or o?
o
Suppose -11 = -20*n + 9 - 0. Suppose -3*w - 4*v = -295, 192 = 5*w - 2*v - 265. Let p be -1*2 - (-168)/w. Are p and n unequal?
True
Suppose 0 = 39*p - 42*p + 903. Suppose 3*o + 4*o - p = 0. Let n = 57 - o. Which is smaller: n or 13?
13
Let u be 2828 + (-4)/10*(-3045)/(-174). Is u <= 2821?
True
Let m = 8100 - 8092. Which is bigger: 438/61 or m?
m
Suppose -2*c - 3*w = -8*w + 180, -5*c + 2*w - 429 = 0. Is c smaller than 6?
True
Suppose 2*v + 3*l = -91, 2*l = 2 + 4. Let j = v - -50. Let y be (2/4 + j/1)*0. Is -9/7 at most y?
True
Let p(w) = -5*w**2 + 16*w - 6. Let z be p(1). Let y(u) = u - 3. Let n be y(3). Suppose z*i + 6 - 11 = n. Which is bigger: 3/4 or i?
i
Let q(l) = -87*l + 3132. Let o be q(36). Are o and 1/14174 non-equal?
True
Let x = -76927/5 - -15385. Do -5207 and x have the same value?
False
Let h = 83.07 - 86.07. Is 466 greater than or equal to h?
True
Suppose 5*x + 15 = 0, -2*x - 8 = -3*b + 4. Does b = 46/57?
False
Let y be (((-7126)/(-10))/7)/((-3)/15). Let l = y - -447. Which is smaller: l or -63?
-63
Suppose -109*t = -23 - 59 - 136. Which is bigger: 35/18 or t?
t
Let r = 83 - 101. Let y = -10 + 27. Let u = y + r. Which is greater: u or -4?
u
Let r = 43464 + -43456. Let m = -20 + 10. Which is greater: r or m?
r
Let h = 41.45 + 4.21. Let r = h + -45. Let n = 0.36 - r. Which is smaller: n or -1?
-1
Let n = 252133/46 - 5481. Let q be -3 + 0 - (-3 - 0). Do q and n have different values?
True
Let x(u) = -2*u**3 - 13*u**2 + 22*u + 5. Let l be x(-8). Let c be (2/(-12))/(1*(-7)/l). Which is smaller: c or -1.1?
-1.1
Let s be -15*(-7)/1050*(12 - 2). Let x be 0/(3 + -1) + 0. Let l be x - (-2)/(s/2*4). Is l <= 24/13?
True
Suppose -402*v - 110 = -392*v. Is 31 at most v?
False
Suppose -1687*v = -1698*v + 1386. Suppose -4*f = -f - 378. Is v less than f?
False
Let k = 22130 - 22131. Which is greater: -9/14 or k?
-9/14
Let i = 19 + -18.864. Let m be -32 + 1577/57 + 4. Is i greater than m?
True
Let z = -17947 - -17947.7. Which is smaller: -192 or z?
-192
Let x = 112 - -48. Let s = 172 - x. Is 12 > s?
False
Suppose 0 = 4*n - h - 4, -n + 5 = 4*n + 3*h. Let k be -27 + 26 - (1 - 804/(-14)). Let q = k + 59. Which is smaller: n or q?
q
Let r = 22 + -18. Suppose 0 = t - r*h + 12, -4*h + 21 = -3*t - 7*h. Suppose -13 = 6*w + 35. Is w >= t?
True
Let c = 9/3485 + 37063/4540955. Which is greater: c or 1?
1
Let h(q) = -4*q**3 + 21*q**2 - 70*q + 10. Let j be h(5). Let g be ((-1323)/j)/(3/35). Is 1 not equal to g?
True
Let c = -64.85 + 69.85. Which is smaller: c or 19?
c
Let y be 1/3 + 140/(-510). Let r = y - 6/85. Let h = 49 + -48. Which is bigger: h or r?
h
Let l(m) = -m**3 + 3*m**2 + 4*m - 3. Let s be l(4). Suppose 0 = 25*x - 23*x - 2. Does s = x?
False
Let c = -237 - -246. Suppose -f = -c*f. Which is greater: f or -2/47?
f
Suppose 1 = 5*p + 4*z, 5*z - 32 = 5*p - p. Suppose -2*i + 7 + 7 = 0. Suppose -r - i = -y + 5*y, -y - 13 = 4*r. Is r at most as big as p?
True
Suppose 2*d - 21 + 9 = 0. Let x = 547576629895/2534 + -216091798. Let u = x - 1/362. Which is smaller: d or u?
u
Let o = -798 + 2341. Is o less than 1543?
False
Let b be (-108)/10 + (4 - 3). Suppose -2*y - 2 = -86. Let q = -51 + y. Which is greater: b or q?
q
Suppose 687*m - 677*m = -1870. Which is bigger: -184 or m?
-184
Let w be (6276/9)/((-846)/2151). Let f = 1773 + w. Which is smaller: f or 1?
f
Suppose -5*b = -4*o - 84, -2*b - 304*o = -308*o - 36. Which is smaller: -2 or b?
-2
Let k = 66303 - 103484. Let d = k + 1338613/36. Let w = -25/9 + d. Are w and 1 non-equal?
True
Suppose 4*y - 3*w + 6*w = 2, 2*y - 3*w - 10 = 0. Suppose -4*o + p + 320 = 0, y*p = -4*o - 3*p + 320. Let g = -1038/13 + o. Is g at most as big as 0?
False
Suppose 5*a - 23 = 3*p, -4*p - 3*a = 10 + 11. Let z = 31986 + -31991. Which is smaller: p or z?
p
Let b(s) = -s**2 + 6*s. Let l be b(6). Let m(d) = -43*d + 2. Let a be m(2). Let w be (-2)/(a/18) + -2. Is l greater than or equal to w?
True
Let y = -868/193973 - -17/559. Is y greater than or equa