or -3?
i
Let w be 166/2 - (-3 + 1). Let r = -58 + w. Is r < 27?
False
Suppose 5*f + 430 = 5*z + 50, -3*z - 228 = 3*f. Which is smaller: 1 or f?
f
Let d = 1 + -2. Let b = 645 - 65143/101. Is d >= b?
False
Let t be (-3 + 20/6)*(-3 + 15). Suppose -3*a + 6*a = -2*d - 2, t*d + 2 = -5*a. Which is smaller: d or -6?
-6
Let y = -356 + 1786/5. Which is smaller: y or -1/2?
-1/2
Suppose 5*x = 4*f - 31, 3*f + 3*x = 7*f - 25. Let h be (f/6)/(3 - (-3101)/(-1029)). Which is bigger: -1 or h?
-1
Let z = 884 + -651. Are 233 and z equal?
True
Suppose -3*t = -4*n + 9*n - 45, -3*t - 15 = -5*n. Suppose -11*o - 93 - n = 0. Are o and -9 equal?
True
Let d be 1*3/(-5) + 906/10. Which is bigger: d or 1/3?
d
Let v(y) be the third derivative of -y**4/12 + 11*y**3/6 - 6*y**2. Let k be v(5). Let m be 0/((3 - 2)/k). Is m bigger than -6/7?
True
Let c = -635/2 - -323. Is c at most as big as 5?
False
Let c be (1/9)/((-36)/81). Which is greater: c or -1/2?
c
Let y = -113/3 - -37. Let l = 329 + -321. Is y < l?
True
Let a = -21 + 20. Let j be a - 3 - 612/(-150). Let i = -11/175 - j. Is i < -1?
False
Let u = -490 - -505. Is u <= -1/13?
False
Suppose -5*s + 4 = -3*z, -4*s = z - 6*s + 2. Let w be (3 + 1 + -5)*8/z. Which is smaller: w or -6?
-6
Let n be ((-3)/12)/(58/40). Let i = 561/58 + n. Let b be 18/(-2 + (5 - 1)). Is b at least i?
False
Let z = -295/3 - -56. Which is greater: z or -41?
-41
Let b = -92 + 23. Let x be b/18 + 6/6. Which is smaller: -4 or x?
-4
Let h = 248.27 + -250. Let l = -1.27 + h. Which is smaller: 0.04 or l?
l
Let d = -21 + 16. Let m(l) = l**2 + 4*l - 8. Let g be m(d). Let u(v) = -2*v + 3. Let i be u(3). Is i < g?
False
Let a = 7 - 7. Let k = a - 14. Let j be (-52)/(-8)*(2 - 4). Which is greater: k or j?
j
Let k(b) = b**3 + 49*b**2 - 93*b**2 + 55*b**2 - 11 - b. Let o be k(-11). Let z = -10 + 5. Is z at least o?
False
Suppose -270*s - 48 = -272*s. Let j(x) = 7*x**2 - 3*x. Let p be j(2). Which is smaller: s or p?
p
Let h = 4486/23 + -195. Let s = 46 + -46. Which is smaller: s or h?
s
Let a = 0.0739 + -1.0739. Is a greater than -129?
True
Let u = 952/5 + -190. Suppose 3*n - 1 = 8. Let b be (n/2 + -2)*-2. Which is smaller: b or u?
u
Suppose -3*o - 16 + 46 = 0. Let s be o/(-14) + ((-24)/(-21))/(-4). Which is bigger: s or 2/43?
2/43
Let z = -287/8374 - -9/106. Is z at most -1?
False
Let h(c) = 40*c - 10. Let a be h(2). Let o = a - 208/3. Is o at most 2?
True
Let b be (-4011)/(-77) + 1/(-11). Which is greater: b or 1?
b
Suppose -4*k + 1025 = b, 123 = 4*b + 3*k - 4042. Which is smaller: 1044 or b?
1044
Suppose -4*g + 208 - 12 = 0. Let u = 65 - g. Which is smaller: 12 or u?
12
Let i(l) = 2*l - 3. Let a be i(2). Let w = 2522 - 73135/29. Which is bigger: a or w?
a
Suppose 254 = 4*t + 2*m, 2*m + 340 = 5*t - 0*t. Let l = t + -57. Is l equal to 7?
False
Let t = -2/287 + 295/1148. Which is greater: t or -3/8?
t
Let s be (-2)/8*87*(-96)/36. Which is smaller: 57 or s?
57
Suppose 156 = -47*t + 53*t. Is 123/5 smaller than t?
True
Let y = -95 - -96. Let k be (1/(-7))/(2/(-4)*y). Is 16 at least k?
True
Let x be (-4)/18*(-12908)/4. Let y = x - 716. Is y > 1?
True
Suppose 2*u = d + 184, -u = 11*d - 9*d + 348. Is -177 at least as big as d?
False
Let h be (-236)/20 + 5/(-25). Let z be -1*(-3)/(-15) - h/30. Let x = 40/13 + -306/91. Which is greater: x or z?
z
Let c(r) = r**2 - 12*r + 13. Let y be c(11). Suppose -4*h + 3*b = 21, 2*h = -3*h - y*b - 32. Suppose q - 5*a - 2 + 0 = 0, 0 = q - 4*a. Which is smaller: h or q?
q
Let z(p) = -5*p + 279. Let l be z(56). Which is smaller: -11/27 or l?
l
Let q = 158.8 - 172. Let y = -13.1 - q. Let d be 2/2 - 6/5. Which is smaller: y or d?
d
Let x = 0.002 - -44.998. Let z = -76 + x. Let w = -24 - z. Do w and 1/4 have different values?
True
Suppose 0 = -3*t + 3*s - 3, -2*t + 9 = 4*t - 3*s. Let v = -0.02 + 0. Which is greater: v or t?
t
Let a(t) = 2*t**3 - 11*t**2 - 5*t - 4. Suppose 5*b = -4*i + 11 - 1, -3*b = -2*i - 28. Let f be a(b). Is -6 less than f?
True
Suppose -4*r = 2*n + 10, -13*r - 3*n = -12*r - 5. Is -5 smaller than r?
True
Let o = -918 + 3671/4. Which is greater: o or -0.015?
-0.015
Let k = -138.007 - -0.007. Are k and 0 unequal?
True
Let q = -27.79 + 0.79. Let x = q - -17. Which is bigger: 3 or x?
3
Let b be 145/(-3) - (-2)/(-3). Let t = b - 186. Let l be 6/(-15) - t/25. Which is bigger: 8 or l?
l
Suppose -q + 0*s + 3*s = -15, 2*s + 10 = 5*q. Let a be 5*1 - 24/(-132). Let m = a - 469/99. Which is greater: m or q?
m
Let g be (-6)/4*272/51. Let r be 4 + 35/g + 0. Which is greater: r or 0?
0
Suppose -3*c + 20 = 5*l, -2*l - 5 = -1. Let k be (-2 + 1)*(c + -7). Which is smaller: k or 3?
k
Let m = -6631/6 + 1102. Is -2/7 smaller than m?
False
Let d = -198 - -178.8. Let c = 20.2 + d. Let m = -0.04 - -11.04. Which is greater: m or c?
m
Let u be -4 + 2/(-6)*-3 - 112. Which is smaller: u or -116?
-116
Suppose 4*b + 9 = 5*i, -5*i = -0*b + 3*b - 37. Suppose -5*u = -2*c + 4 + 23, 20 = -b*u. Let g be ((-4)/(-14))/(45*4/28). Is g bigger than c?
False
Let l = 22 + 34. Let x(j) = -5*j + 9. Let s be x(9). Let y = l + s. Is 20 <= y?
True
Let z be (1 - -1*6) + -17*28/98. Let l be (-4)/((-4)/(-6)*-1). Suppose 0 = -2*j + h, -4*h = -2 - l. Is j smaller than z?
True
Let t be (-4)/(-16) - 92/(-16). Let h be (0*3/t)/1. Are h and 1/37 equal?
False
Suppose -123 = -44*y - 651. Is -12 less than or equal to y?
True
Let j be (2 - (2 + -2))*(-111)/74. Is j bigger than -38/13?
False
Let d be 1*(160/4 - 0). Suppose -125 = o - d. Is o >= -85?
True
Let b = 103 + -37. Let i = b - 395/6. Are -1 and i equal?
False
Suppose 28 + 4 = -4*v. Let g be (-22)/18 - (0 + v/36). Which is greater: g or 1?
1
Suppose -5*h - 4*k = -0*k - 8, 0 = 3*h + 4*k. Let u = -5 + 4.7. Let w = u + 0.6. Which is smaller: w or h?
w
Let c = -6 + 19. Let k be 40/(-25)*(c - -2). Let z = -18 - k. Which is bigger: z or -0.1?
z
Let q = 1 + 8.5. Let t = q - 9.6. Let j(v) = v + 1. Let l be j(5). Is t smaller than l?
True
Let i = 12 - 9. Suppose -j - 2*j = 4*v + 193, -i*v - 198 = 3*j. Let y = 211/3 + j. Which is greater: 8 or y?
8
Let l(o) = 52*o + 564. Let u be l(-11). Let v = -9 - -1. Do u and v have the same value?
True
Let m = 28 + -28. Suppose m = -4*l - 24 + 56. Is 9 greater than l?
True
Suppose p = -2*r - 12, 62*r = 2*p + 61*r + 4. Which is bigger: p or -67/14?
p
Let l = -3 + 2. Suppose -4*g + 2*s = 4*s + 328, 404 = -5*g - s. Let i = -883/11 - g. Is i < l?
False
Let n = 28.6 - 33. Let s = n - -3.9. Is s at least as big as -4/3?
True
Suppose 18*s - 11*s = -770. Let l = s + 109. Which is bigger: l or -4/21?
-4/21
Let n = 556.17 + -556. Let z = -1.7 - -1.77. Let g = n - z. Is -7 greater than g?
False
Suppose -65*z = -64*z - 50. Is -0.01 >= z?
False
Let u(k) = k**3 + 5*k**2 - 8*k - 12. Suppose 6*v = -23 - 13. Let h be u(v). Let b be ((-2)/3)/(10/(-6)). Is b < h?
False
Let m = 62/24138003 + 37742369726/3685704092079. Let j = m - 2/6837. Which is greater: j or 1?
1
Let y be 12/66 - (-105)/(-33). Let g be 3/(y*(-3)/(-48)). Let r be (2 - 5)*g/(-2616). Which is bigger: 1 or r?
1
Suppose 73 + 29 = -w. Let h = -1005 - -902. Is w > h?
True
Let m be 8*13/104*(-1 + 0). Is -78/59 != m?
True
Let r(q) = -q**2 + 5*q + 32. Let s be r(6). Suppose -2*w - 2*y - s = 0, 2*w - 4*w + 4*y = 14. Which is smaller: w or -12?
-12
Let h(b) be the second derivative of b**5/20 - 23*b**4/12 + 29*b**2/2 + 40*b. Let u be h(23). Which is smaller: u or 30?
u
Let o(z) = -3*z - 19. Let w be o(-2). Let t be (-4)/10 + (-219)/15. Is w > t?
True
Suppose 0*t - 27 = -2*j + 5*t, 4*t = -2*j - 18. Let w be 4 + j*(3 - 22). Which is smaller: 2 or w?
w
Let c(d) = -d**2 - 31*d + 81. Let u be c(-34). Let n(z) = z**3 + 4*z**2 + 5*z - 1. Let i be n(-4). Is i equal to u?
True
Suppose 88 = 580*l - 576*l. Which is smaller: l or 114/5?
l
Let g = -0.26 - 0.04. Is g != -3.7?
True
Let m = -3 + 5. Let o = -34.98 + 34. Let t = 1 + o. Which is greater: m or t?
m
Suppose 3*c + 5*b = 2, -5*c + 0*c = -5*b + 10. Are -3/50 and c equal?
False
Let q = -3/10 - -1/10. Let n be ((-4)/(-14))/((-15)/(-6)). Let c = 2/5 - n. Is q smaller than c?
True
Let m = -3140028/301 + 10432. Which is greater: m or 1?
1
Suppose -5*g - 2*p = 2*p - 10, 9 = 3*g + 3*p. Let w be -2 + ((-2)/g - -5). Which is smaller: -0.2 or w?
-0.2
Let n = 98 - 132. Is -243/7 at least n?
False
Let g = 10.946 - 11. Let m = 