2. Let w = -133/65 + g. Is y at most as big as w?
False
Let j = -28 - -40. Let g be -6 - -506 - (1 - 4). Let a = g + -504. Which is smaller: a or j?
a
Let u = 1577 - 1560. Suppose -10*b + 17 = u. Let v = 217/2 + -2063/19. Which is smaller: b or v?
v
Suppose 171007 = -105*v - 71765 + 1167. Is -2299 < v?
False
Let w(s) = 7*s**2 - 3*s + 11. Suppose -15 = 2*l + l, -34 = -3*j + 5*l. Let y be w(j). Let i = y + -59. Is i > 6?
False
Let t = 0.1 - 0.9. Let k = 3.96 - 4.66. Let o = t - k. Which is greater: o or 0?
0
Let l be ((-163)/25 - (-6)/10) + (-14)/175. Are -140 and l equal?
False
Let d = -0.007 + -0.193. Let b = -2.84 + -0.16. Let v = b + -3. Which is bigger: v or d?
d
Let a = 39 + -10. Let i = -30.17 + 0.17. Let f = i + a. Is -25 > f?
False
Let u = 26751 - 29165. Which is greater: u or -2417?
u
Let z be (2 - 33/(-6))*(-10 - 2). Let f = z + 89. Let k be -2*3/10*1. Is f at least k?
False
Let z = -406.37 + 404. Let c = z - -2.27. Is 1.84 bigger than c?
True
Let m(w) = -w**2 - 4*w + 4. Let o be m(-4). Suppose 0 = 7*y - 14 + 14. Let g(z) = -4*z + 5. Let c be g(y). Is o equal to c?
False
Suppose -5*f - 1 = -4*n - 19, -8 = 4*f. Let x be ((105/14)/15)/(11/(-506)). Is x greater than n?
False
Suppose -4*k - 5*t = 36, 5*t + 33 = -3*k + 6. Which is smaller: -410/51 or k?
k
Let n = -14235 - -14234.998. Are n and 2/53 non-equal?
True
Let j be -14 - (14 + -11) - -15. Is -0.0995 >= j?
True
Let z = 15638 - 1530. Which is smaller: z or 14109?
z
Suppose 516*f - 514*f - 54 = -4*p, p - 32 = -f. Suppose 0*w = 3*w - 114. Is w <= f?
False
Let p be -2*3/(-2)*114/(-171). Is 116/25 less than p?
False
Suppose -63*y = 35*y - 211386. Which is bigger: y or 2161?
2161
Let j be 22/(-20) - 75/(-125). Which is smaller: 644 or j?
j
Let a be (-3)/9 + (-522)/(-27). Let m(y) = -y + 26. Let q be m(a). Is 44/7 less than q?
True
Let q = -8208 - -5757. Let c = q - -46539/19. Suppose 3*z = -r - 8, 4*r - 2*z + z + 6 = 0. Which is smaller: c or r?
r
Let k = 699 + -1165. Let l = 444 + k. Which is bigger: 4 or l?
4
Let j be 2200/60*(36/(-30))/(-2). Which is smaller: 21 or j?
21
Let c = 2035 - 20351/10. Let t = -2005 - -100247/50. Which is smaller: c or t?
c
Let h be (-16)/56 + 8840234/30941211. Let d = h + 24776544736/464118165. Let j = 267/5 - d. Which is smaller: 1 or j?
j
Let v be 6/(-16) + (-66022)/(-176) + -3. Is v less than 372?
True
Let m(q) = -q + 5. Let i be m(2). Suppose 4*z - 18 = -o, -2*o - 1 = -2*z + i. Suppose v - o = 3*f - 8, -2*f = -2*v. Which is greater: f or 4?
4
Let x be 2/(-2 - ((-124)/42 - -1)). Is x smaller than 99?
True
Let b = -3265 + 3365. Are 98 and b non-equal?
True
Let g = -96193/128268 - 2/32067. Let q = 17.7 + -17. Is q >= g?
True
Let b(k) = 138*k - 19737. Let d be b(140). Which is smaller: d or -406?
d
Let k be -3 - 2/(-5)*(11 + -6 - 30). Which is bigger: k or 0.48?
0.48
Suppose -4454 = -i + 2*j - 896, -3*i - 2*j = -10618. Do 3543 and i have different values?
True
Let c = 79794 - 879012/11. Let h(v) = 38*v + 2. Let a be h(3). Let j = a + c. Is j at most as big as -1?
False
Let n = 341.68 - 338.68. Is n > -7990?
True
Suppose 5*l - 15 = 5*i, 0 = l - 5*i - 8 - 15. Let f be 3 + 246/l*(-10)/(-426). Let g = 22/1065 + f. Which is smaller: g or 0?
0
Let t(o) = 3*o - 12. Let p be t(39). Let a be (3/9)/((-4)/(-48)). Suppose -2*k - 5*m + 0*m + 233 = 0, 396 = 4*k - a*m. Is k < p?
True
Let t = -21.37 - -21. Let d = 2.38 - 3.55. Let o = d - -1.27. Is t smaller than o?
True
Suppose -82 = -16*d + 12*d - 2*v, 0 = 5*d - 5*v - 95. Let j = -71 - -91. Is j less than or equal to d?
True
Suppose 1187 - 1195 = -v + 5*h, -v + 16 = -3*h. Which is smaller: v or 37?
v
Let p = 17257 - 14689. Do p and 2566 have different values?
True
Let f(o) = -22*o - 10*o - 11*o + 23 + 42*o. Let b be f(24). Which is bigger: b or -22/35?
-22/35
Let u be (-711)/(-18) - (1 - ((-36)/(-8))/(-9)). Does u = 272/7?
False
Suppose -23*p = -424 + 447. Which is smaller: p or 5/1396?
p
Let y = -2177 + 2205. Is 11 less than or equal to y?
True
Suppose o - 69 = -2*c + 134, -o + 205 = 3*c. Suppose 4*g + 2*k - 786 = 0, -2*k = 15 - 9. Is g less than o?
True
Let y = -20227 + 190. Is y at most as big as -0.1?
True
Suppose 0 = 113*x - 382124 - 8404. Which is bigger: x or 3458?
3458
Let g(r) = 17*r**2 + 767*r + 90. Let w be g(-45). Is w at most as big as -0.03174?
False
Let r be (-2)/13 - 4122/78. Let g = r - -56. Suppose 0 = -i - g*s + 17, i + 2*s - 13 = -1. Which is bigger: i or -4?
i
Suppose -53 = 5*w + 4*l + 14, 4*w - 5*l + 70 = 0. Let t = 165 - 261. Let c = t + 82. Which is smaller: c or w?
w
Let u = -1.9 + 2. Let a = 139228 + -139165. Is u != a?
True
Let y = 224 - 236. Let h = -11.17 + 0.17. Let p = y - h. Which is smaller: 2/191 or p?
p
Let s = -61057084/3711 - -16453. Which is smaller: s or 0?
s
Let n(o) = 2*o**3 + 100*o**2 + 371*o + 143. Let i be n(-46). Which is smaller: i or 220?
i
Suppose -17*m = 21*m + 2513 + 679. Is m smaller than -85?
False
Suppose -11 + 91 = -8*o. Let r be -9 - (3/(-2) + o/20). Let q = -13/5 + -159/35. Which is bigger: r or q?
r
Let p = -283 + 283.587. Let m = p - 1.587. Is m smaller than 9?
True
Let m(j) = -j**2 + 2*j + 62. Let f be m(-7). Is 2/4659 not equal to f?
True
Suppose -23*y + 24*y = -4*i, 3*i + 5*y - 17 = 0. Let k be 21/25*5/(-2). Which is smaller: i or k?
k
Let j = 2420 - 1624. Let u = -836 + j. Which is smaller: -41 or u?
-41
Let w be (-5)/35 + (-338)/35. Suppose -53 = -17*n - 240. Which is greater: w or n?
w
Let v(y) = y**2 - 6*y - 33. Let c be v(8). Suppose 10*z - 96 = 16*z. Which is greater: z or c?
z
Suppose -247 - 1 = -8*h. Suppose h = 5*x - 154. Is 3 at most as big as x?
True
Let r = -110.72 - 2.28. Let i = r - -163. Let p = i + -48.8. Is 1 at least as big as p?
False
Let h be ((-26)/78)/(2*1/(-2892)). Let g be 5*(-2)/55 - h/(-110). Which is smaller: 3 or g?
3
Let i = 70/421 - 60272/357429. Let j = -2531/6792 + i. Which is bigger: 0 or j?
0
Suppose 3*h = -w + 104, 5*h - 4*w + 76 = 7*h. Suppose -4*d + 122 = -2*y, -5*y + 79 = -5*d + 7*d. Is h less than d?
False
Let k = 222157/11 + -20196. Which is greater: k or -0.0116?
k
Suppose -15 = -5*u, -4*b + 3*u - 31 = -2*u. Let n be 3 + b + (-145)/(-180). Is n greater than 0?
False
Let g = 46151/4 - 22521685/1952. Which is bigger: g or 0?
g
Let t be 2435/25 + -4 - 3 - 26/65. Is t <= 456/5?
True
Let l = 574730 + -9766258/17. Which is smaller: 245 or l?
l
Let s(j) = -2*j**2 - 6*j + 8. Let a(f) = -15*f + 11. Let b be a(-11). Suppose 0 = -k + b - 180. Let m be s(k). Does m = -2/57?
False
Suppose 6*d = 2*d + 28. Suppose 2*j + d = -3*l, 0 = -5*l - 0*l + 25. Let i be (1216/240)/19*-40. Is i < j?
False
Let w(j) = -9*j - 33. Let s be w(-4). Suppose -2*d + c = -18, d - 12 = -c - s. Suppose -6*k = -d*k - 9, 5*h = -3*k - 24. Is h less than or equal to 4?
True
Let k be (8/24)/(3*(-1)/(-468)). Let p = -89 + k. Let q = -113/3 - p. Which is smaller: 0 or q?
q
Let o be -1 + (-6 - (-8)/(-8))/1. Let b = -9 - -10. Suppose 0 = 4*p + 7 + b. Which is smaller: p or o?
o
Suppose 90 = m - h + 24, -2*m + 107 = 3*h. Let v be 10/(((-275)/(-30))/11) + 48. Which is bigger: v or m?
m
Let w = -169 + 169. Suppose w*r + 3*r = -2*l + 796, 0 = 3*r - 2*l - 812. Which is smaller: r or 1?
1
Let q = -74351.194 + 74616. Let y = -260.7 + q. Let d = y - 0.106. Is 6/7 at most as big as d?
True
Let r = 2143 - 2390. Is -247 smaller than r?
False
Let n be (-6 + 5)*(0 + 8/(-4)). Suppose n*u + 5*j = 33 + 5, 3*u + 3*j = 39. Suppose -184 = u*d - 445. Is 29 greater than d?
False
Suppose 3*p = -z - 740, 1802 = -5*p + z + 558. Is p bigger than -242?
False
Let j = 2136 + -21381/10. Let q(m) = m**3 + 4*m**2 + 7*m + 5. Let z = 41 - 43. Let t be q(z). Which is smaller: t or j?
j
Let d = 5 + 366. Let l = d + -257. Which is smaller: l or 115?
l
Let c be (-1110)/(-4472)*16/24 + 2/(-13). Does c = 6/11?
False
Suppose -65*u + 6256 = -253*u + 616. Are u and -896/29 non-equal?
True
Let l(f) = -68*f - 3768. Let c be l(-55). Is -98 > c?
False
Let w be 48/14*(-1100)/40. Let t = w + 19112/203. Which is bigger: t or 0?
0
Let h = 4741 + -4691. Is 51 greater than or equal to h?
True
Suppose -2*g = -3*z + 47, 3*g - z = -4*z - 108. Let w be ((-52)/(-8))/((-2)/(-12)). Let c = w - 70. Is g at least c?
True
Let b(x) = 2*x - 7. Let z be b(-5). Let o = z - -20. Let g be (-5 + 2)*o*1. Which is smaller: g or 0?
g
