-20.4?
True
Let i be 55/(-55)*(-2 + 0 - -2). Which is bigger: 3/3910 or i?
3/3910
Let a = -59.98871 - 0.02129. Let z = a - -60. Let i = 16 - 13. Is z at most i?
True
Let d(t) = 22*t - 314. Let a be d(33). Which is greater: 411 or a?
a
Let i = -583/8 + 73. Let p = 768599 - 4611601/6. Is p smaller than i?
True
Suppose 5*v - 5815 = -0*v. Suppose -w + 1542 = p - 5*p, 3*p = 4*w - v. Let t be (-189)/p + (-2)/5. Is t < -1?
False
Let q = -41 + -36. Let x = 32306 - 32384. Which is smaller: q or x?
x
Let y = 169 - 156. Let c = -102 + 341/3. Is c > y?
False
Suppose -4*c - 7 = -4*l - 11, -4*c = 0. Let i be (6 - -2)/(3 + l). Suppose 0 = s - 4*q + 6, 0 = -i*s + s - 5*q - 103. Do s and -1/2 have the same value?
False
Let j be (-98)/637 + 10571/13. Which is smaller: 1625/2 or j?
1625/2
Let k be 3*-1 + (-2)/9*-9. Let b be k/5*4*(-45)/(-144). Is 1 bigger than b?
True
Let y = -1.386 - -1.286. Is y < 1289?
True
Let n be ((-17)/34)/(2/4) + 2 + -6. Which is bigger: n or -0.117?
-0.117
Suppose -a - 5*g = -5 - 3, 4*a - 2*g - 10 = 0. Let i be (-3 + a)*3/(-6). Which is smaller: i or -2/83?
-2/83
Let f be 2 + (-12)/5 + (-35082)/(-360)*-28. Are f and -2728 nonequal?
True
Let v = 153 + -58. Let n = 31 - v. Let g = n - -62. Is g at most as big as -3/2?
True
Suppose 3*z - 4*z + 18 = 2*n, -n = 3*z - 29. Let o be ((5/4)/(-5))/(z/(-80)). Let b = o + -3. Is b >= 0?
False
Let j = -85 + 85. Let k = -31 - -33. Suppose k*s = s - 1. Which is smaller: j or s?
s
Let h(r) = -217*r + 672. Let d be h(4). Are -199 and d nonequal?
True
Let z = 12058/21 - 574. Let m = 501 + -934. Let i = -433 - m. Which is greater: z or i?
z
Let j = 1495 + -1486. Which is smaller: j or -82/5?
-82/5
Let t(w) = 9*w**2 + 4*w - 6. Let m be t(5). Suppose -10*q = m + 151. Is 4 less than q?
False
Let i = 176.6 - 238.6. Which is greater: -36 or i?
-36
Let y be (-5 - 23/(-4))*4100/(-5). Which is bigger: y or -613?
-613
Let u(o) = o - 25. Let a(z) = z**3 - 7*z**2 + 12*z. Let x be a(5). Let m be u(x). Let v = -52 - -37. Is v equal to m?
True
Suppose -2*r + 208 = -3*p - 94, 5*p - 4*r = -506. Which is smaller: -1280/13 or p?
-1280/13
Let t be 587/(-5)*11*(-35)/(-77). Let j = 596 + t. Which is smaller: 11 or j?
j
Let p be (-5 - (-135827)/27121)/(-1 - 5/(-2)). Is p > 0?
True
Let m be 2/((-21 - -23)*2/22). Let u be (4/44)/(1/m). Which is smaller: u or 1/135?
1/135
Let i = 2682 + -2211. Is i smaller than 469?
False
Let m = 2422 + -113837/47. Is 1 at most m?
False
Let p = -69462 - -69461. Let b = 3 - 1. Is b equal to p?
False
Suppose 4*a + 5 = -a. Let n be -4*(a*2)/12. Let j = -15359.1 + 15359. Which is bigger: j or n?
n
Let f be (8/6 + -2)*-3. Let q = -1 + f. Let h = -377 - -377.071. Is q greater than h?
True
Let m be ((-789)/(-14465))/((-6)/50). Let h(y) = y**2 + 6*y - 1. Let k be h(-6). Which is smaller: m or k?
k
Suppose 8*p + 310 = 334. Suppose 3*s + 198 = -2*m, p*s - 2*m = -6*m - 204. Is s smaller than -64?
False
Let m(v) = 108*v + 397. Let w be m(-22). Does w = -1979?
True
Let m(u) = -109*u - 6. Let i be m(-2). Let b be ((-63)/105)/((-13)/4615). Which is smaller: b or i?
i
Let z be 2 - 10/20 - 2730/12. Is z <= -224?
True
Let n = -12.8 + 19.9. Let v = -7 + n. Suppose 9 = 6*p - 15*p. Are v and p non-equal?
True
Let g be 9/21 + (-1342)/77. Let m be (-28)/(-3)*(-22)/12. Which is smaller: m or g?
m
Let w = 0.2486 - 0.2486. Is w at most -3983?
False
Let u(a) = 84*a**2 - 5*a + 4. Let r be u(2). Suppose 4*l - l + 5*b - r = 0, -b = -3. Which is smaller: l or 106?
l
Let j = 21.78 - 21.58. Which is smaller: 45 or j?
j
Let w(k) = -k**3 + 59*k**2 + 214*k - 54. Let j be w(62). Is 1681 at most as big as j?
True
Suppose -486 = 485*z - 483*z - 5*j, -j - 1188 = 5*z. Is -218 < z?
False
Let o be 105/5 - (-24)/4. Suppose 0 = 2*g + 4*l - 0*l + 44, g + o = -3*l. Which is smaller: g or -93/7?
-93/7
Let i = 60 + -52. Suppose -9*n = -i*n - 56. Let c be (11 - 16)/(1/(-11)). Which is smaller: n or c?
c
Let v be (-12 - -3)*(3 - (-30)/(-9)). Let x be ((-4)/(-24))/(9/v). Which is greater: x or 0?
x
Let b = -279 + 283. Let f be ((-1337)/28)/((-2)/8) - b. Is f >= 188?
False
Let d = -33.19 - -36.19. Which is smaller: 71 or d?
d
Suppose -5*i + 15 = 2*k, -2*k + 0*i + 12 = 4*i. Let u = -113 - -112.97. Is k < u?
False
Let f = -6328 - -6329. Which is smaller: -2/1097 or f?
-2/1097
Let q be (-196782)/(-56196) - (-182)/(-52). Does q = -1?
False
Suppose -4317*d - 453 - 1043 = -4361*d. Which is bigger: 82 or d?
82
Let n be ((-1)/54)/((-15)/((-45)/16)). Suppose 2*s - 2 = -12*w + 8*w, -w = 0. Is s not equal to n?
True
Suppose 4*f = -43 - 49. Let m = 9 + f. Let l be 3 + 4/m + 193/(-84). Is l at least as big as -1?
True
Let o be 45 + -1 + (-1 - -1). Suppose -4*f - 4*t - 151 = -t, 2*t + o = -f. Suppose -2408 - 1470 = 127*g + 186. Is g < f?
False
Let x = 197 + -350. Let c be 265*(28/45 + 34/x). Let s = c - 95. Is 11 at least as big as s?
True
Let s = -1424 + 84018/59. Suppose -4*b - 99 = -119. Suppose b*z - z = z. Which is greater: z or s?
s
Suppose 3*j + 96 + 45 = -3*y, -59 = y - 3*j. Let g be y/(-12) - -5*20/(-25). Let i = -0.1 - -0.2. Which is smaller: g or i?
i
Suppose -i + 13 = -2*i + 14*i. Is i less than 3/4351?
False
Let s = 23.74 - 26.84. Let v = -102 - -106.1. Let m = s + v. Do -1/8 and m have the same value?
False
Let r be (-4506)/(-252) - (-4)/14 - 20/120. Let n be (11 + -6)/((-2)/(-10)). Which is smaller: r or n?
r
Let y = -282 + 280.824. Let h = -1.12 - y. Let k = 0.144 + h. Are k and -69 nonequal?
True
Let w = -221 + -336. Let v = 461 + w. Which is bigger: 0 or v?
0
Let g = -23 + 17. Let n(o) = o**3 - 27*o**2 + 32*o - 115. Let u be n(26). Suppose -5 = x + 2*r, 5*x + 4*r = 2*r - u. Which is smaller: x or g?
x
Suppose 13 + 2 = -j. Let k(p) = p + 5. Let t be k(-3). Let u be (-4)/1 + (-8 - t). Is u less than j?
False
Let s(n) = n**2 - 9*n + 8. Let k be s(8). Let b(o) = k - 4*o - o**2 + 6 + 16*o. Let r be b(13). Is r >= -6?
False
Let s = -118 + 121. Suppose -3*k + k = -r - 6, -10 = -4*k + s*r. Is k at least 8?
False
Let c(h) = 10*h - 1. Let m be c(1). Suppose 9*i - 6*i = -k - 543, -5*i + 519 = -k. Let l be m/6*8/k. Which is bigger: -1 or l?
l
Let m(f) = f**2 + 7*f - 8. Let q be m(-8). Let y = -53299 - -265419/5. Let l = y + 216. Is l at least as big as q?
True
Let y(d) = d**3 + 6*d**2 + 10*d + 6. Let o be y(-4). Let h be 871/(-4) - o/(-8). Let m = -2402/11 - h. Is -0.1 not equal to m?
True
Let m(q) = q**3 - 59*q**2 - 3*q + 127. Let d be m(59). Which is bigger: -976/19 or d?
d
Suppose -2634 = 19*p - 4697 - 3352. Is p smaller than 4860/17?
True
Let c(a) = -a**2 + 29. Let x be c(5). Is x < 151/31?
True
Let r = 4 + -3.576. Let y = r + -0.224. Suppose -5*u + d = 52, 4*d + 45 = -5*u + 2*u. Is y at most u?
False
Let p be 8*((-8)/(-28) + 18/84). Suppose -4*h + 8 + p = 0. Let r = -0.3 - -0.2. Which is greater: r or h?
h
Let v = 20744 - 20978. Does v = -38?
False
Suppose -5*f + 2*c - 338 = 0, 284 = -4*f + 29*c - 24*c. Which is greater: f or -65?
-65
Let k be 2 - -18 - (59 - 105938/2714). Let j(z) = -z - 4. Let f be j(-6). Suppose -8 + 0 = -c + 4*v, v = -f. Which is greater: k or c?
k
Let s = -176 + 178. Suppose -5*m + 29 = 3*k - s*k, 4*m - 20 = 0. Let i be 6/(-27) - 4/(-18). Is k equal to i?
False
Suppose -2*n = -5*u - 123, 4*u = 5*n - 5 - 107. Let p(g) = 14*g + 302. Let f be p(u). Which is smaller: f or -13?
f
Let k = 23045 + -25157. Which is smaller: -2/3 or k?
k
Let n = -19.2 - -19.5. Let u = 0 - 0.02. Let m = u + 0.07. Do n and m have the same value?
False
Suppose 2*w - 3*w - 249 = -5*h, 0 = h - 2*w - 57. Does h = 29?
False
Let w be ((-4)/(-36)*-6)/(4/(-78)). Suppose 23*z = 24*z + w. Let p be (-44)/z - 6*1/2. Which is bigger: p or -1?
p
Let w = -866 - -557. Let b be 4 - w/(-159) - (-2 + 4). Let j = -7 - -6.8. Is j < b?
True
Let z(v) = 7*v**2 + 33*v + 67. Let c be z(-9). Let l = c - 340. Are -15 and l equal?
False
Let j(i) = -2*i**2 - 11*i. Let c = 63 + -68. Let v be j(c). Let r be 6/(2/(-2 - -4)). Which is smaller: r or v?
v
Let l(x) = x**3 + 7*x**2 + 6*x + 5. Let a be l(-6). Let y(p) = -p + 11. Let r be y(a). Suppose -377*b = -1300 - 1716. Is b greater than or equal to r?
True
Let l(g) = -4*g**3 - 3*g**2 + 2. Let s be l(-1). Suppose -4*a = -2*q - 112, s*a + 4*q - 121 = -26. Which is bigger: a or 25?
a
Let y = 995 - 1445. Let c be ((-12)/(-30))/(5/y). Is c <