5 - -1.5. Let v = 1.06 - 0.16. Let l = v - s. Which is bigger: l or -8?
l
Let k = -1041 - -1153. Is -2 != k?
True
Let h = -1220 - -1217. Are h and -84/25 equal?
False
Suppose -20 = -5*n, 0 = -4*w + n - 4*n + 28. Suppose -w*u = -2*u. Let k be (-57)/38*16/(-42). Is u less than k?
True
Let j = 2652 + -12647/5. Let y = -123 + j. Suppose -75*x = -82*x. Is y > x?
False
Let g be 3/(6/2)*0. Suppose -5*j = -4*y - g*j - 25, -2*y = -j + 5. Which is greater: 8 or y?
8
Let y = -16 + 15. Let k = -1.5 - y. Which is greater: k or -0.01?
-0.01
Suppose -24*r = -17*r + 21. Is 5 < r?
False
Let p = -198 + 592/3. Is p < -4.9?
False
Suppose 0 = -4*o + 5*n - 4, -12 = 4*o + 2*n - 5*n. Let z be (27/6 + 2)/(-1). Which is smaller: o or z?
z
Let p = 52.5 + -55.79. Let g = -0.29 - p. Which is greater: 1/2 or g?
g
Let l = -1941.6 - -1903. Which is smaller: l or 0?
l
Suppose -185 = 5*w + 4*o, -7*o + 3*o + 143 = -3*w. Let r = w + 39. Is r <= -11/7?
True
Let s(m) = 2*m**3 + 2*m**2 + 2*m - 3. Let x be s(2). Suppose 18*b = -93*b + 3096 - 210. Which is greater: b or x?
b
Let u = -7 + 7. Suppose -5*j - 122 - 18 = u. Let p be (-8)/14*j/36. Are p and 0 nonequal?
True
Suppose d - 5*n = 17, 5*d - 10 = 4*n + 12. Suppose 0 = -f - 2*k, -4*f - 3 + 9 = d*k. Let h be -5 + 17/(-5) + 10. Which is smaller: h or f?
h
Let o(r) = r + 6. Let j be o(-7). Let z be 565/(-450) - j/5. Let f = -7/18 - z. Is 0 equal to f?
False
Let d = 23 - 19. Let z be (-300)/(-16) - (-1)/d. Suppose -z*x = -18*x. Is x < 3/5?
True
Suppose -5*j + 97 - 27 = 0. Let n be (-7)/(-14) + (-3)/j. Is 6 smaller than n?
False
Let c = 345 + -320. Which is bigger: c or 178/7?
178/7
Let r = -9462/169 - -56. Suppose 4*u + 4*u = 8. Is u less than r?
False
Let x be (-3)/(-6)*20/15. Suppose 0*n = -r - 3*n + 9, 3*n = 2*r + 18. Let k = r - -5. Is x at most k?
True
Let t(n) = -48*n + 96. Let d be t(2). Which is smaller: 44/35 or d?
d
Let t = -1 - -23. Is t not equal to -0.3?
True
Let k = -80.04 + 78. Let x = 3 - 2.96. Let g = k + x. Are g and 1 non-equal?
True
Let q(x) = -x**3 - x**2 + x + 3. Let i be q(-2). Let r be 4/8 + (0 - i/2). Which is smaller: -20 or r?
-20
Let h = -0.5 - -0.3. Let f be (792/(-126))/4 + 5. Is f at least h?
True
Suppose -2*z + z - 1 = 3*r, -r = 3*z - 13. Suppose 2*x - 2*d - 3 = -11, -4*x + 2 = z*d. Let u be 5/x - (5 - 7). Which is bigger: u or -1?
u
Let d be (-26895)/3828 + 7*1. Which is greater: 1 or d?
1
Let w = 75 + -95. Let s = w - -15. Let g = 0.5 + 0.5. Which is smaller: s or g?
s
Let g = -1.57 + 1.4. Let f = g + -0.33. Let o = 1118/7 - 160. Which is bigger: o or f?
o
Let l = 141 + -80. Let q = l + -61. Is 1.3 at least q?
True
Let k = 16 + -17. Let d = k + 9. Let h = -7.9 + d. Is h smaller than 1/4?
True
Let t be 9/(-21) + 1535/3549. Which is bigger: 1 or t?
1
Let p be -5*(222/15 + -8). Which is smaller: p or -25?
p
Let s = -2753 - -2750. Let v(m) = -m**2 + m - 1. Let z be v(2). Is z less than s?
False
Let c be 1/3*-1 + 374/51. Suppose -4*t - 6 = 3*l - t, -t + c = 4*l. Which is smaller: l or -3?
-3
Let y = -9 + -12. Let d = y - -20.6. Which is greater: -2/7 or d?
-2/7
Let a = 0.976 + 1091.024. Which is smaller: a or 1?
1
Let t = 0 + 24. Let g be (t/10)/(((-64)/(-60))/8). Which is greater: 19 or g?
19
Let g = -846 - -875. Does 34 = g?
False
Let v = 323 - 324. Is v bigger than -1060?
True
Let u be (-2)/((12/(-5))/(-3)). Let y = -35 - -43. Let v(k) = k**3 - 8*k**2 - 2*k + 14. Let x be v(y). Which is smaller: u or x?
u
Let v = 1077 + -192782/179. Is v < -1?
False
Suppose r = 4*v + 1 - 6, 5*v = 10. Let m = r + -2. Which is smaller: m or 5/23?
5/23
Let h = -520571 - -1622035. Let o = -1417584614/1287 + h. Let x = o - 2/117. Which is smaller: 0 or x?
x
Let s = 1.701 - 0.001. Let x = s - 1. Is x less than 1?
True
Let s be (-3)/2*3458/(-39). Is s > 133?
False
Let m be 0*-2*(-4)/(-16). Let v be (m/(-2 + -2))/(-1). Suppose 4*g + 60 = 4*b, -b - b + 4*g + 38 = 0. Which is greater: v or b?
b
Let f be (0 - -2)/((-226)/28 - -8). Let n = -28 - -45. Let l = f + n. Is l not equal to 0.1?
True
Let i(d) = d + 5. Let f be i(-3). Let n be (35 + -35)*3/(-12)*2. Suppose n = l - 1, -l = f*v - 7*v + 24. Which is bigger: 4 or v?
v
Let d = 2.69 - 0.69. Which is smaller: d or 2/221?
2/221
Let b be (9*(-12)/(-1575))/(2/(-5)). Which is smaller: 1 or b?
b
Suppose -10*z + 1359 - 2979 = 0. Which is smaller: 2 or z?
z
Let y be 33/22*44/(-35673). Which is smaller: y or -1?
-1
Let l be 4/(-6) - (-13)/24. Let o(k) = -3*k**2 + 40*k - 13. Let m be o(13). Which is bigger: m or l?
m
Let p(j) = -j**2 - 22*j - 117. Let m be p(-10). Which is smaller: 1.8 or m?
1.8
Let z = -9/4 + 89/36. Let l be 8/22 - 32/(-880). Which is bigger: l or z?
l
Let g = -16 - 8. Let w = 27.4 + -5.4. Let h = g + w. Which is smaller: h or -0.1?
h
Let a be 4 - 1 - (-6)/(-18)*66. Which is smaller: a or -18?
a
Let j = -0.3 + -0.7. Let m = 1267.5 + -1267. Is j greater than m?
False
Let s be (78336/(-1864))/(-6) + -7. Which is smaller: s or 0?
0
Let l = -707848/93 + 7611. Let f be 2 - 6 - 488/(-124). Let q = l + f. Which is smaller: q or 0.3?
q
Let z = -15 + 16.6. Let o = -2.6 + z. Let n = o - -10. Is n at least as big as -1?
True
Let v = 3485/8148 + 1/1164. Is -1/152 at most v?
True
Let s = 158 - 1581/10. Let r be -5*(3/(-145))/1. Let l = r + -73/145. Which is greater: s or l?
s
Let w(s) = -3*s - 16. Let a be w(-6). Let f be a/((-1 - -1) + (-6)/(-24)). Which is smaller: 1/3 or f?
1/3
Let t be (17/(-51))/((-1)/63). Suppose 12 = -4*i - 4*x, 5*x + t = -0*i + i. Which is greater: -2/31 or i?
i
Suppose 7*b = 9*b + 4*r + 2, -4*b + 4*r - 4 = 0. Which is smaller: -9/50 or b?
b
Let h = 168 + -1822/11. Which is smaller: 1 or h?
1
Let d = -67 - -70. Suppose 2*x - d - 79 = 0. Are x and 41 nonequal?
False
Let c = 568/55 - 184/11. Which is greater: -7 or c?
c
Let v(r) = -2*r**2 - 25*r + 13. Let l be v(-15). Which is smaller: l or -61?
l
Let v(z) = -4*z**3 + 2*z**2 + 3*z + 2. Let y be v(-1). Suppose -3*l = -4*s + 10, 3*s + 26 = -5*l + y*s. Is -6 at least l?
True
Suppose 5*m + 2*q - 93 = 0, -17 - 4 = -m - q. Suppose -16*d + 1 = -m*d. Is -2 bigger than d?
False
Let z = -234 + 234. Let r = -1 + 11. Let i = z + r. Which is smaller: 1 or i?
1
Let g = 2085 - 2085.923. Let a = 0.077 - g. Which is greater: 15 or a?
15
Let f = -0.3 + -2. Let n = f - 17.7. Is n < -1?
True
Let h(x) = x**2 + 11*x - 1. Let n be h(9). Suppose n = -4*j + 5*a + 38, -a - 135 = 4*j. Let i = j + 33. Which is smaller: 6/17 or i?
i
Suppose -3*g + 105 = 3*i, -3*g = 4*i + 2*g - 142. Suppose i*h - 44 = 37*h. Is 3 != h?
True
Let b = -173/2 - -85. Suppose -3*w + 4*x = 2*w - 47, 22 = w - 5*x. Suppose -15 = w*c - 1. Which is smaller: c or b?
c
Let z be (-570)/(-133) + (-4)/14. Let q(g) = -g**3 + 8*g**2 - 2*g + 11. Let t be q(8). Let p be ((-2)/t)/(12/130). Which is bigger: z or p?
p
Let a = 8 - -29. Let l = 37.1 - a. Is l bigger than -0.7?
True
Suppose 0 = -4*r - 5*y + y - 8, -5 = 4*r + y. Suppose -4*u - 4 = -2*x, 8 = 4*x - 3*u - u. Let o be x/(-13) - 45/(-546). Are r and o equal?
False
Let b(r) = 2*r - 10. Let m be b(-7). Let t = m - -30. Is t > 6?
False
Let s = 1341 + -640. Let l = s + -39257/56. Which is bigger: 1 or l?
1
Let j(k) = -k**3 + 30*k**2 - 15*k + 75. Let v be j(30). Which is smaller: v or -374?
v
Let w(s) = 3*s**2 + 4*s - 1. Let p be w(-5). Are p and -0.2 unequal?
True
Suppose 5*o - 9*m - 24 = -6*m, 3*m = -3*o. Is o < 65/29?
False
Suppose 0 = -127*r + 140*r. Let g = 311/4 - 9639/124. Is g smaller than r?
False
Let y = 1349 + -1348. Let u be (8/(-130))/((-2)/(-5)). Does u = y?
False
Let t = -98 + 34. Let j = t - -65. Is j not equal to -3?
True
Let w be 24/1596*(-14)/6. Let n = w + -17/57. Suppose -v = -3*v. Is v less than n?
False
Let n be (0 - (-3)/6)*0. Let r be -4 + 26/32 + 2. Let l = r + 13/16. Is l bigger than n?
False
Let w = -0.0011 - -8.0011. Which is bigger: w or 68?
68
Let i = -0.0806 + -334.9194. Is 1/4 equal to i?
False
Let y = 572 - 467. Which is smaller: 103 or y?
103
Let d = 51713/64 + -808. Suppose -18*n - 24 + 42 = 0. Which is smaller: n or d?
d
Suppose 2 = 3*d - 2*d. Let l = 4 - d. Let u(s) = -s**3 - 5*s**2 - 4*s + 4. Let b be u(-4). Is b less than l?
False
Suppose -z + 2*z + 139 = 2*q, q - 740 = 5*z. Let t = 1489/10 + z. Suppose 0*k = 3*k. Which is smaller: t or k?
t
Let f = 100 - 102. Do -28/11 and f have dif