 -2/29 at least s?
False
Let k = 125 - 124. Let f = k - 52. Which is smaller: f or -50?
f
Suppose n = -3*i - 122, -2*i - 2*n = -0*n + 88. Let j = 23 + i. Do -16 and j have the same value?
True
Let o = -2.87 + -0.13. Let f(m) = -m**3 - 5*m**2 - 5*m - 2. Let a be f(-3). Which is bigger: a or o?
o
Let y = -18 + 25. Suppose -y*l + 38 = 3. Let f(q) = 7*q**2 - 2*q + 1. Let r be f(1). Is l smaller than r?
True
Suppose -2*d - 9*d = -66. Suppose -12 - d = -3*b. Is b less than or equal to -0.14?
False
Suppose -20*t = -17*t - 423. Let p be t/12 - (-9)/(-12). Is p at most as big as 13?
True
Suppose -950 = 14*r - 4*r. Is r greater than or equal to -96?
True
Let s(q) = -q**3 + 7*q**2 - 3*q + 88. Let r be s(8). Suppose 3*g + 8 = 2*k, -2*k + 0*k = -4*g - 12. Let i be g/(-18) - (-14)/(-9). Which is smaller: r or i?
i
Suppose -491*q = -495*q + 60. Is q < 15?
False
Suppose 10 + 20 = -3*y. Let c be y/4*(-32)/40. Suppose 2*z - x = -c, 2*z - 3*x = -4 + 2. Is 1/3 not equal to z?
True
Suppose 0 = -5*f + v + v + 18, -18 = -4*f - 2*v. Suppose 6*b = f*b + 18. Is b != 11?
True
Let j be -2 - (1 - 1) - -3. Let a = -33 + 35. Let z be ((-57)/9 + 7)/(a/9). Which is greater: z or j?
z
Suppose 42 = -9*v + 7*v. Let j = v + 28. Is 1/2 smaller than j?
True
Let k = 203.3 + -205. Do 5 and k have the same value?
False
Let q = 28 + -110. Let o be 1822/(-22) - 2/11. Which is smaller: o or q?
o
Let h be (186/(-9))/(2/(-3)). Let n = h - 25. Is 7 >= n?
True
Let b be 0/1 - ((-236)/40 - -2). Let n = b + -7/2. Is 0.18 not equal to n?
True
Let r(p) = -33*p**2 - 2*p - 1. Let h be r(-1). Let k(g) = -13*g - 7. Let q be k(-3). Let w = q + h. Is w at least 1/44?
False
Let i = 112 + -112.061. Let y = i + 1.061. Which is greater: y or 3/10?
y
Let a = 13 + -41. Suppose 0 = -5*d + 2*d. Which is greater: a or d?
d
Let y = 30 - 33. Let i be 10/(-18)*y - 3. Does i = 2?
False
Let v = 1.187 + -1.02. Let a = v + -0.067. Which is smaller: 35 or a?
a
Let q = 61.984 + 0.016. Let x = q - 63. Is -99 at most as big as x?
True
Let z be 3 + -3 - (0 + 2). Let r be 19/(-7) + (-6)/z. Let d = 13/70 - r. Which is smaller: d or 1?
d
Let n be (5/((-10)/(-28)))/2. Suppose u + 2*o = n + 2, -4*u + 75 = -5*o. Let l be (3/(-105))/((-6)/u). Which is bigger: l or 1?
1
Let p(y) = -1 - 2*y**2 + 4*y + y**2 - 5*y - 6. Let c be p(7). Are -62 and c nonequal?
True
Let v(b) = -b + 1. Let m be v(0). Suppose f + 9 = m. Let d = -49/171 + -8/171. Is f < d?
True
Let v(o) = -o**2 - 5*o + 3. Let m be v(-5). Suppose -r + 0*r = -m*q + 6, 4 = -2*r + 2*q. Suppose t = -r*t. Is t bigger than -1/4?
True
Let z(q) be the third derivative of q**5/60 - 5*q**4/24 + 5*q**2. Let c be z(4). Let a be ((-2)/c)/(55/60). Is a not equal to 2?
True
Let h = -893 + 9822/11. Let k be (-1*(1 + 1))/2. Is k at least as big as h?
False
Let j = -2.2 - 0.7. Let a = j - 28.1. Let w = -30.94 - a. Is -2/3 greater than w?
False
Let t be (-118836)/207 - (0 - 2/23). Which is greater: -1149/2 or t?
t
Let z = -1982465/26 - -167587323/2158. Let a = 1410 - z. Which is smaller: -2/5 or a?
-2/5
Suppose 0 = 4*b + y + 5, y = 5*b + 5*y + 20. Suppose 1 + 9 = 2*g - 4*q, -2*q - 14 = -4*g. Let m be (g/(-81))/(1/2). Is m at most as big as b?
True
Suppose 0 = 19*w - 11*w. Which is greater: w or 4/33?
4/33
Let s be ((-2)/(-12))/((-4)/(-30)). Suppose 4*l = -0*l - 256. Let z = l - -65. Is s > z?
True
Suppose -3*r + r - 3*d + 6 = 0, -4*r - 8 = -4*d. Which is greater: r or 27/19?
27/19
Let d(u) = u**3 + 9*u**2 + 4*u - 32. Let q be d(-8). Let o = 34 - 59. Let k be o/(-49)*-4 + 2. Which is bigger: q or k?
q
Let r = -1951 + 1939.93. Let v = r - -0.07. Let m = v - -11.2. Which is smaller: 0.1 or m?
0.1
Let b(d) = -d + 8. Let a be ((-36)/42)/(2/(-14)). Let z be b(a). Suppose -2*l + 4 = 4*g - z*g, -3*g - 9 = -2*l. Which is bigger: -1/8 or g?
-1/8
Let x(t) = -t. Let p be x(5). Let w(k) = -k**3 + 6*k**2 - 4*k. Let q be w(6). Let g be 12/6 + q/9. Which is smaller: g or p?
p
Let t be (-12)/(-20) - -26*(-1)/10. Which is greater: t or -12/19?
-12/19
Let n = -128 + 130. Suppose 7 = 5*m + n. Which is smaller: -2/203 or m?
-2/203
Let y = -672 - -671.84. Which is bigger: y or -0.6?
y
Suppose 0 = 6*n - 48 - 30. Are n and -8 unequal?
True
Let g be ((-23)/((-460)/(-8)))/((-159)/(-15)). Which is bigger: -21 or g?
g
Let a = 2199 + -10943/5. Which is greater: 9 or a?
a
Let k be (-4)/(12/(-93)) - (0 + 0). Do k and 1/5 have the same value?
False
Let t(l) = l**3 - 9*l**2 + 6*l - 9. Suppose 0*b - 6*b + 48 = 0. Let y be t(b). Which is smaller: y or -26?
-26
Let r be ((-3)/((-324)/(-20)))/(22/(-6)). Is 1 greater than or equal to r?
True
Suppose -5*v = -5*d + 10, -3*d = -5*v - 2 - 6. Which is greater: -1/71 or v?
-1/71
Let x = 0 - -4. Let b = -10862740894/825 + 13166962. Let z = b + -2/275. Which is smaller: x or z?
z
Let f = -4679/5 - -932. Let l = 0 - 5. Are l and f nonequal?
True
Suppose -4*k = 5*b - 21, -3*b - 37 = -4*k + 8. Is 61/6 less than or equal to k?
False
Let s = -62 + 113. Let j = -71.8 + s. Let c = j - -22. Which is smaller: 0 or c?
0
Suppose 2*m - 3*v - 116 = -4*v, -4*v = 5*m - 296. Let h be ((-44)/(-7))/(16/m). Suppose 9*p = 11*p + h. Is -10 >= p?
True
Let v be (2/(-4))/(1*(-3)/264). Suppose -v*f - 48 = -38*f. Is -1 at least as big as f?
True
Let t be 8 + 616/49 + (-3)/(-7). Which is bigger: 19 or t?
t
Suppose 3*f = 2*y - 324, 313 = -4*y + 5*f + 965. Let r be 0 - 4/8*18. Let h be r*(-2)/y*4. Which is smaller: 0 or h?
0
Suppose 54*n - 40 = -142 - 60. Let z be ((2 - 28)/(-2))/(-7). Which is bigger: z or n?
z
Let a = -985 - -996. Which is greater: -72 or a?
a
Let b = 1739/60 - 117/4. Which is smaller: b or 17?
b
Let k = -42.28 + 42. Is 4 >= k?
True
Let z be (-9)/(2 + 1) + 4. Let c be ((-8)/24)/(z/(-18)). Is 8 greater than c?
True
Let m be -2*(117/18 - -1). Suppose 5*c + 31 + 44 = 0. Is m less than c?
False
Let a be -1 + (-128)/10 + 83 + -81. Is -12 < a?
True
Let m = 40 - 39.3. Let v = 1.5 + 0.5. Let s = -3 + v. Which is greater: m or s?
m
Let s = -1.7 + 2.7. Which is bigger: s or 3.8?
3.8
Let a be 1/(-8) - ((-30)/(-12) - 3). Suppose 0 = -0*i + 3*i - 18. Let m be (i/8)/((-36)/32). Is a bigger than m?
True
Suppose 5*y = -23*y + 56. Which is smaller: y or 7/9?
7/9
Let t = 13 + -51. Let k = t - -115/3. Which is greater: k or 1/2?
1/2
Suppose 18*y = 8*y + 20. Suppose 3*o = y*v - 4, -9 = v + 4*o - 0. Is v > 1/7?
False
Let o = 36.8 + -40. Let l = -3.0052 + 0.0052. Let j = l - o. Is 0 > j?
False
Let w be ((-446)/(-150))/(12/(-30)). Let g = w + 14/15. Is -7 bigger than g?
False
Let i be (-35)/(-21) - (-10)/(-30). Let g be ((-1)/(-4))/((-5)/4). Which is smaller: g or i?
g
Suppose m - 62 = -2*n, n + 0*n + 50 = m. Let s be m/(-6) + (2 - -1). Which is smaller: 3 or s?
s
Let u = 8.94 + -0.34. Let x = -8.7 + u. Does -34 = x?
False
Let d be ((-3 - 0) + 2)*(-1 + 20). Does d = -11?
False
Let x(h) = 2*h + 1. Let f be x(2). Suppose f*y = y. Let s = 36/17 - 203/136. Do y and s have the same value?
False
Suppose 0 = -41*l + 36*l + 150. Suppose -72 = 6*f - l. Does f = -7?
True
Suppose -q - 5 = -35. Suppose 3*z - 2*d = 98, 2*z + 3*d = 3*z - 42. Is q >= z?
True
Suppose -12*a = -15*a - 9. Let o be (1 - a/(-2))/((-13)/(-130)). Which is smaller: -6 or o?
-6
Let r(s) = s + 4. Let n be r(-5). Let b = n + 20. Suppose 83 = 4*z - 5*d - 9, 5*z - 102 = 3*d. Which is bigger: b or z?
b
Let x = 329 + -286. Is x equal to 41?
False
Let y be 0 - -6*4/8. Let s = 105 + -99. Which is bigger: y or s?
s
Let x = 1137 + -1070. Which is bigger: x or 8?
x
Suppose -2*q - 3*q - 28 = -g, q + 14 = 3*g. Let x(z) = -z**3 - 5*z**2 + 5*z + 10. Let n be x(q). Are -17 and n nonequal?
True
Let u = -35.035 - 0.065. Let x = u + 35. Is -0.11 at least as big as x?
False
Suppose -3910 = -10*w + 3460. Is 737 at least as big as w?
True
Let r = -0.7 + 0.6. Let h(a) = -a**2 + 3*a + 3. Let i be h(4). Let g be -2 - i - (-6)/(-3). Which is smaller: r or g?
g
Let s = -0.4 - -3.2. Let a = s - 3. Let z = 16 - 13. Which is greater: a or z?
z
Suppose 21*a - 20*a + 6 = 0. Let u be 4/a - 18/(-27). Which is smaller: 1/10 or u?
u
Let z be (-1 - -2)*(3 + -3). Suppose -3*b - b = z. Let g be (2/9)/(1*64/(-240)). Is b greater than g?
True
Suppose y + 31 = -2*f, 4*f - 5*y + 21 = 3*f. Let g = f - -15. Suppose -3*c - 2*j - 28 = 0, 0 = -2*c - 5*j - 33 + 7. Which is greater: c or g?
g
Let l(a) = -a