d be s(-5). Let x be d*((-14)/4 + 3). Let b = 2 + x. Are 1/5 and b non-equal?
True
Let a = 48 - 73. Let x = -11 - a. Which is smaller: x or -1?
-1
Suppose -6 = g - 3*q, -2*g + 0*q = -q + 7. Let x = 12 - g. Is x less than or equal to 15?
True
Let c = 1862 - 2246. Which is smaller: -383 or c?
c
Let j be ((-294)/28 - -10) + 33/34. Is j at most as big as -0.2?
False
Let j = -71912/27 + 2664. Which is greater: 0 or j?
j
Let i(s) = s - 3. Suppose 3*u + 2 = -1. Let t be (u - 1)/((-2)/(-3)). Let l be i(t). Is -5 less than l?
False
Let d = 0.266 - -0.034. Let o = -0.023 - 0.057. Is o greater than d?
False
Let r = 136.2 - 155. Let l = r + 7. Let f = 12 + l. Is f greater than -6?
True
Let t = -33 + 33.02. Let r = 0.42 - t. Let d = -0.4 + 0.3. Is d <= r?
True
Let c = 45 - 40. Suppose 4*x = 15 + c. Is x at least as big as 4?
True
Let m = -35/32 - -373/224. Is m at least -7?
True
Let q = -1332/31 - -43. Suppose -3*z = 2*z. Which is smaller: z or q?
z
Let l be (-12)/(-4)*13/3. Let q(f) = -4*f + l*f**2 + 7 + 3*f - 3 - f**3 + 8. Let v be q(13). Which is bigger: v or -2/49?
-2/49
Let l = -1435/1639 - 5/149. Let o = 13 - 20. Let d(x) = -x**2 - 7*x - 1. Let h be d(o). Are l and h nonequal?
True
Suppose -n = -3*l + 1, -3*l = -2*l - 1. Let p(a) = a - 2. Let o be p(n). Let i be 32/(-80) + (0 - 1). Is o greater than i?
True
Let o(b) = -b**2 + 7*b - 8. Suppose 5*f + 5*h - 25 = 0, 5*f + 2*h - 6 - 22 = 0. Let y be o(f). Let j = 4 + y. Which is smaller: j or 1?
1
Let f = -49 - 0. Let r = f - -25. Let q = -1375/3 - -459. Which is smaller: r or q?
r
Suppose 4*r - 546 = -s, -668 - 434 = -2*s - 3*r. Is s greater than or equal to 554?
True
Let j = -10 - -15. Let m be 1/j + 120/25. Let b be m/(-10) - 2/(-4). Which is smaller: -6/11 or b?
-6/11
Let m be 6/(-8)*12/(-3). Suppose 0 + m = -3*p. Is 1/139 at most p?
False
Let i = -444 - -443. Which is smaller: i or -2/339?
i
Suppose 2*k - 9 = 3. Let p be 7/((-28)/k) - -2. Is p bigger than 0?
True
Suppose -p + 16 = -2*w, p - 72 = -5*w - 42. Is 19 at least p?
False
Let u = -89 - -88. Let p = -133/697 + 3/41. Which is bigger: u or p?
p
Let k = -22 + 1292. Which is bigger: 1271 or k?
1271
Suppose -4*t = o - 141, 4*t - 168 = -t - 4*o. Suppose 0*k = -5*k - 10, 2*a = -k - 86. Let w be a/t + 1/6. Is w at most as big as 0.2?
True
Suppose -30 = 4*i + 18. Let p be i/8*2/111. Is p greater than or equal to 0?
False
Let d = -136 - -373. Is d at least as big as 236?
True
Let c(t) = 108*t + 80. Let x be c(-1). Which is smaller: x or 1.6?
x
Suppose 5*f = 8*f - 27. Suppose 4*g - f*g = -230. Which is smaller: 44 or g?
44
Let v = -0.053 + -42.347. Let i = -13.6 + v. Does i = 0?
False
Let f be 0 - (40/(-25))/(2/(-155)). Which is smaller: -125 or f?
-125
Let t = -387 - -1160/3. Is t != 23?
True
Let t be (-105 + 0 - 1)/(15/15). Is t bigger than -106?
False
Let w = 23.3 - -6.7. Let c be (-1)/(-2) - (-4 + 4). Is w >= c?
True
Let g = -0.2 + -0.5. Let v = g - 0.3. Is 6 >= v?
True
Let m = 90 - 102. Suppose -78 = -0*x + 6*x. Is m < x?
False
Let x be (27/2004)/((-30)/(-20)). Is 1 <= x?
False
Suppose -6*t - 285 = -t. Let f be (1 + (2 - 2))*t. Does f = -58?
False
Let q = -424 - -489. Which is greater: 67 or q?
67
Suppose -3*v + 5*j = 24, -2*v = 2*v - 5*j + 37. Let k = v - -21. Are 10 and k unequal?
True
Let n = 0.0328 + -0.0328. Is -6 greater than or equal to n?
False
Suppose 11*l - 18*l = 48*l. Which is smaller: l or 9/134?
l
Let f(c) = -c**2 - 8*c - 11. Let t be f(-6). Let i be ((-63)/(-62) + -1)/t. Is i smaller than 1?
True
Let w = 19.6 + -19. Let i be (-2470)/15 - 4/(-6). Let g = -1146/7 - i. Which is bigger: w or g?
w
Suppose 4*n = 2*x + 40, 0 = n + 11*x - 8*x - 24. Is n less than -0.06?
False
Let o(n) = -n**2 - 6*n - 5. Let x be o(-5). Suppose 3*b + s = -99, -b - 4*s = -0*b + 22. Let q = b + 169/5. Is x > q?
True
Let i = -51 + 125. Let v = -75 + i. Which is greater: -18/13 or v?
v
Let z(f) = 2*f - 6. Let r be z(4). Let n(a) = a**3 + 40*a**2 + 37*a - 56. Let x be n(-39). Is x < r?
False
Let x(c) = -c**3 - 2*c**2 - c. Let a be x(-1). Suppose -3*l + 3 = -a*l. Let y be (-4 - 1) + (2 - l). Which is smaller: y or -2?
y
Let d be -7 - 8*(-9)/18. Which is smaller: d or -70/29?
d
Let l = -457 - -456.61. Which is smaller: -0.6 or l?
-0.6
Let s(i) = -374*i - 320. Let u be s(-2). Is 857/2 >= u?
True
Let k = -289 - -291. Let w(d) = -7*d - 3. Let u be w(-1). Which is greater: u or k?
u
Suppose -6*p + 446 = b - 3*p, -3*p = -12. Which is smaller: b or 435?
b
Let y be 77 - -11 - 2*2. Suppose -8*w = -2*w + y. Is -14 less than or equal to w?
True
Suppose g + 4589 = -3*a, 10*g - 8*g + 7647 = -5*a. Is a at most as big as -1530?
True
Let f = 33.66 - 33.46. Let b(s) = -s**2 + 2*s + 3. Let a be b(-3). Which is bigger: f or a?
f
Let h(q) = 8*q - 48. Let y be h(6). Suppose v + y = 9. Which is greater: v or 1/5?
v
Let j = -3.0766 - 1.0428. Let z = -0.0894 - j. Let g = z + -4. Which is greater: g or 0?
g
Let t = 21 - 19.96. Let d = t - 1. Is d at most -9?
False
Let k = 4 - 19. Let q = -40 + 73. Let b = -47 + q. Which is smaller: b or k?
k
Suppose 3*w = 5*l - 2 - 1, 3*w - 2*l = 6. Suppose -34 + w = 6*q. Which is bigger: q or -15/4?
-15/4
Let c = -1267.1 + 3.1. Which is smaller: c or 1?
c
Suppose 2*i + 360 = 4*t, 4*i = -4*t + 7*t - 740. Are -186 and i equal?
False
Let t = -20 - -23. Suppose 3*y + 14 = -q, -3*q + 0 - 6 = -t*y. Let s be (1 + y + 1)*0. Is s at most -0.15?
False
Let n be (0 - (-9)/5)*20/474. Which is bigger: n or -1?
n
Suppose -42*b + 3289 + 8891 = 0. Which is smaller: 292 or b?
b
Let k = 0.63 + -0.49. Let z = 185 - 185. Which is smaller: k or z?
z
Let q = 7.7 + -8. Let h = 14 + -14.039. Let i = h - -7.039. Which is bigger: i or q?
i
Let a be -4 + (6066/(-6060) - -1)*-4042. Which is smaller: -1 or a?
-1
Suppose -3*v - c + 3356 = 523, -4*c + 4717 = 5*v. Is 945 bigger than v?
False
Let l be 0 + -1 + 6 - 1. Suppose 0 = 5*w - 29 + l. Which is greater: w or 7?
7
Suppose -9 = 3*m + 3*d, -d - 5 = m + d. Let j = -0.22 + -1.58. Let x = -1.7 - j. Is m smaller than x?
True
Let b = -384575 + 2698449/7. Let v = 920 - b. Which is greater: 3 or v?
3
Let r(d) = -468*d - 27. Let x be r(-2). Let j be (2/5)/(x/(-450) - -2). Which is smaller: -18 or j?
j
Let x be 1 + (0 - (-365)/(-1)). Let o be (-2)/(-13) + 15448/x. Let w = o - -42. Which is smaller: 3 or w?
w
Let g(r) = -2*r**2 - 28*r + 8. Let h be g(-14). Let i be 15/60 + (-18)/h. Are i and -2 equal?
True
Let r be (-22)/(-6) + 12/9. Which is smaller: r or 70/17?
70/17
Suppose 2*k + 5 = y, -3*y - 6 = -4*y + 3*k. Let o(a) = a**2 - 7*a - 15. Let p be o(7). Let z be (y/p)/((-3)/(-21)). Is z smaller than -2?
False
Let w = 0.345 + -0.245. Which is bigger: w or -0.64?
w
Let a be (4/6)/((-4)/60). Let m = a + 13. Let k be m + (2 + 1)/(-1). Which is greater: k or 6/11?
6/11
Suppose -5*m = 3*o, 2*o - 5*m = -2*m. Let v = 5/6 + 7/18. Which is smaller: o or v?
o
Suppose 2*z + 0*d = -3*d + 53, -5*z + 3*d = -143. Is 27 <= z?
True
Suppose -9 = -q - 7. Suppose -6 + 1 = 5*y, -40 = -2*m + q*y. Is 20 at most as big as m?
False
Let r be (8/(-3))/4*6/8. Let t be (-18)/8 + (-2)/(-8). Which is smaller: r or t?
t
Suppose 6970 = -25*n - 3405. Is n smaller than -418?
False
Let t be 28/(-8) + (-2)/(-4). Let q(m) = 2*m**2 + 6*m + 6. Let o be q(-4). Let b be 9/(-6) - 3/o. Which is bigger: b or t?
b
Suppose -7*j = j - 16. Suppose -n + 3*c = j, -c = -5*n - 6*c + 10. Is n equal to 24?
False
Let d be (32/10)/((2 + -7)/800). Which is smaller: -513 or d?
-513
Let f be (-7 + 2)*(5 - 4). Let w be (-2)/f + 78/30. Suppose -5*h + 4*c = 19, 0 = 2*h + c - w + 8. Which is bigger: 0 or h?
0
Let w = 619 - 755. Is w greater than or equal to -134?
False
Let k = 74.9 + -32.6. Let i = 46 - k. Let y = 3.6 - i. Which is smaller: -13 or y?
-13
Let r(o) = o + 9. Let x be r(-7). Suppose -5*t + 5*s - 4 = 21, -x*s = 4*t + 8. Let m be 23/(-6) + 2/6. Which is greater: t or m?
t
Let s be (2/1)/(4/238). Suppose -5*t = 5*u - s + 49, t = 2. Let j be ((-7)/(-15))/(u/72). Which is smaller: 4 or j?
j
Let m = -3622/1603 + -6/229. Which is smaller: -2 or m?
m
Let m be (-195)/18 + 2 + (-3 - -6). Which is smaller: m or -7?
-7
Let a = 330 + -2081. Let s = a - -1742.11. Let t = -9 - s. Are t and 0.1 nonequal?
True
Let n = -512/5 - 25939/15. Let u = -1813 - n. Is 20 at most u?
False
Let h be 434/(-2028) + (-11 -