2. Let t = -5.02 + m. Let k = t - 0.28. Is -0.1 <= k?
False
Let r be (134/(-10) - -13)/(4/(-5)). Which is smaller: r or 39?
r
Let q = -72 + 71.7. Suppose -2*m = m - 18. Let j be ((-2)/m)/(1/3). Which is greater: j or q?
q
Suppose 4*m = -1 + 33. Let i = -23 + m. Is i >= -14?
False
Let z be (-4)/(-74) + (-234)/222. Which is smaller: -1/1612 or z?
z
Let f = 231 + -2795/12. Which is smaller: -3 or f?
-3
Let q = 0.119 - 1.119. Is q at most -51.9?
False
Suppose -15*g = 5*g + 3780. Let k be ((-4)/(-42))/(9/(g/98)). Which is smaller: k or -1?
-1
Let h be ((-9)/1 + 10)/(1/29). Are 29 and h nonequal?
False
Let s = 6 - -6. Let g = -4 + s. Let a = 9 + g. Is 0 at least a?
False
Let y = 161 + -148. Which is smaller: y or 168/13?
168/13
Let r be (-1 + -3 - 1)*(-16)/120. Let i = -35.978 + -0.022. Is r > i?
True
Suppose -x = -0*b + 2*b - 7, 4*b + x - 9 = 0. Let c = 29 - 102/5. Let z = 9 - c. Is z less than b?
True
Let m = 31 + -30. Let h = m + -14. Is h < -12?
True
Let x(o) = o - 3. Let w be x(5). Suppose -2*h + 4*d - 26 = 0, -d - 6 = w*h - 0*d. Let z be -10 + -3 + (-1 - h). Is -9 less than or equal to z?
True
Suppose -3*s - 11 - 1 = 0. Let i = s - -7. Let c = 3 - i. Do 2/9 and c have the same value?
False
Let p = -332785/51 + 6525. Let j = -8/17 + p. Which is smaller: j or 0?
j
Suppose 0 = 5*r - s - 173, 2*r + 27*s - 80 = 22*s. Which is smaller: 25 or r?
25
Suppose -44 = q + 4*s, 5*s = q - 4*q - 97. Which is smaller: -31 or q?
-31
Let r be 16890/240 - (11/8 - 1). Which is smaller: 71 or r?
r
Suppose 1 = 6*o - 17. Suppose m + 3 = -4*s, -o*m = -2*s + 1 + 8. Which is greater: 5 or s?
5
Let m be (14/(-10))/(4/10). Suppose 20*s - 16*s - 8 = 0. Let h = s - 7. Which is smaller: m or h?
h
Suppose -2*r - 30 = -0*r. Let i be 1 - -6*(-28)/12. Let g = i - r. Which is greater: g or -1?
g
Let f be (-4)/(-6) + 3955/(-105). Let c be (9/12)/(1/(-48)). Which is smaller: c or f?
f
Let y = -50/23 - -781/391. Suppose -2*z - 2*k - 4 = 0, 5*z - 15 = 4*k + 2. Is y < z?
True
Suppose -2*m = -2*g, -5*g = m - 2*m. Which is smaller: -0.0507 or g?
-0.0507
Let w be 1*(-5)/10 + 434/4. Suppose 0 = -21*u + 9*u - w. Which is greater: -5 or u?
-5
Let p be (-2)/100*2*24/40. Let k = p - -203/3250. Let w be -1 + 1*(1 + 0). Is k less than w?
False
Let f = -4947 + 22833/4. Let y = f + -768. Which is smaller: -6 or y?
y
Let y(m) be the second derivative of -3*m + 1/6*m**3 + 13/12*m**4 + 0 + 13/2*m**2 + 1/20*m**5. Let n be y(-13). Which is smaller: n or -2/87?
-2/87
Suppose 3*i + 24 = -i. Let a be 5 + -3 + 408/i. Is a at least -66?
True
Let p(q) = -3*q**2 + 6*q - 2 + 1 - 5*q + q. Let w be p(1). Let a be 10/(-4) + (-12)/30*-5. Is w at most as big as a?
True
Let g(k) = 12*k - 7. Let b be g(6). Suppose 5*t = -0*t + 130. Let a be 6/4*t/b. Which is smaller: a or 2?
a
Let r be (-1)/1*12/2. Let f(p) = 2*p**3 - 9*p**2 - 9*p + 10. Let c be f(5). Which is greater: r or c?
r
Let g be ((-38)/8)/((-2)/8). Let k(n) = -n**2 + 64*n - 474. Let z be k(55). Is g not equal to z?
True
Let v(s) = 7 + 5 - 6*s + s**2 + 12*s + 4*s. Let d be v(-9). Suppose 0*u + d = -u. Which is greater: u or 1?
1
Let f(a) = 9*a - a**3 - 12*a**2 + 14*a**2 - 10 - 11*a**2. Let l be f(-10). Are -4/103 and l non-equal?
True
Let d be (2/6*3)/(4/(-4)). Do d and 2/215 have the same value?
False
Suppose -k + 190 = -6*k. Let b = k + 56. Let c = b + -9. Is c greater than 9?
False
Let o = 0.13 + -22.13. Let g = -22.1 - o. Let t = -0.5 + 0.9. Are t and g non-equal?
True
Let j(h) = -h**3 + 6*h**2 - 4*h - 5. Let g = 73 - 68. Let m be j(g). Which is greater: m or -1/82?
m
Let w be 2/(2 + 0)*0/5. Let h be -68*(-4)/88 + -2. Which is smaller: w or h?
w
Let j = 225 + -901/4. Is j at least as big as 218?
False
Let z = 381 + -378. Is -12 equal to z?
False
Let m = -130 + 36. Which is smaller: m or -96?
-96
Suppose -3*g - 1 - 8 = -2*t, 4 = -4*g. Suppose -n + t*q = 11, -4*q - q + 41 = 4*n. Let i = n - 12. Which is smaller: i or -7?
i
Suppose -3*a - 4 = -5*a. Let i = 8 - 7. Let u be (i - 7)/((-15)/2). Is u bigger than a?
False
Let x = 13 - 17. Let c(h) = 4*h + 1. Let a be c(x). Let o(p) = -p**2 - 14*p + 16. Let r be o(a). Is r < -4/15?
False
Suppose 3*s - 375 = 8*s. Let h = 51 + s. Do h and -25 have the same value?
False
Let s be -1*(6 - 4)*1. Let b be 2/8 + (-78)/56. Which is smaller: s or b?
s
Let h be (12/68)/(0 - (-1)/(-5)). Are h and -1 equal?
False
Let f = -134 - -143. Let m(s) = s**3 + 13*s**2 - 16*s - 20. Let q be m(-14). Are q and f equal?
False
Let w be ((-424)/(-18))/((-96)/(-432)). Which is smaller: w or 103?
103
Let n = 145674/25 - 5826. Are n and 1 equal?
False
Suppose 10 = -2*g, -53 = -d + 10*g - 13*g. Which is smaller: 346/5 or d?
d
Suppose -5*o + o - 48 = -4*q, 0 = 3*q + 3*o - 18. Suppose q*h - 6 = 3. Which is bigger: 5/8 or h?
h
Let h be 70/(-42) - 1364/(-820). Which is smaller: 0 or h?
h
Let n = -7 - 3. Let o = -9 - n. Let k = o - 0.6. Do 4 and k have the same value?
False
Let c = -4364 + 1466303/336. Which is bigger: c or -0.1?
c
Let q(j) = -j**3 - 17*j**2 + 16*j + 12. Let c be q(-18). Let a = c + -49. Which is greater: a or -2/13?
-2/13
Let p = -2249/40 + 341/8. Which is smaller: -1/4 or p?
p
Let d = -275 + 167. Are 1 and d equal?
False
Let k = -285.9 + 259. Let q = k + 27. Let o = -7 + 7. Are q and o equal?
False
Suppose -12 = -0*y - 3*y. Suppose -y*k - 22 = 2*h, 0*k + 5*h = 2*k + 41. Let j be (k/6)/(10/(-6)). Is j greater than 1?
False
Suppose 5 = t + 4*p - p, -p + 7 = 3*t. Let u = t - 4. Let c = -3.7 + 5.7. Which is smaller: u or c?
u
Let x(t) = -t + 8. Let q be x(8). Suppose 5*p + 6 + 4 = q. Let s be 1*(p - -3)*11. Is 10 not equal to s?
True
Let k = -157/26 + 98/13. Do k and 1/3 have the same value?
False
Let o = 1181 - 1279. Is o at least -103?
True
Let r be (5/(-15))/(2/2196). Is r smaller than 0?
True
Let z(u) = -u**3 + 2*u**2 - 4*u - 11. Let m(h) = 832*h - 832*h + h**2 - 1. Let o(i) = 6*m(i) - z(i). Let t be o(-3). Is 2 >= t?
True
Suppose -1 = a + 3. Let l be 15 + ((-12)/(-3))/(-4). Suppose 39 = -5*q + l. Is a less than q?
False
Let n = 7/2 - 23/6. Is -1/7 greater than or equal to n?
True
Let l = 957 + -946. Is l at most as big as 8?
False
Let a = 2.1 - 1.7. Let x = a - 1.4. Which is smaller: -4/5 or x?
x
Let b = -84 - -80. Let g = -3.2 + 3. Which is smaller: g or b?
b
Let c be 28/7 + 1*-5. Let v(d) = 5*d**2 - 1. Let j be v(c). Let b be 2 - -2*(-9)/(-6). Is j != b?
True
Suppose d - 6300 = -11*d. Is d < 527?
True
Let u = 7.2 - 9. Let t = u + -5.9. Let d = t - 2.3. Which is smaller: d or -0.1?
d
Suppose 11 = -1627*c + 1616*c. Let y = 735 + -13961/19. Which is greater: c or y?
y
Let p be ((-18)/(-288))/((-1)/(-18)). Is p greater than 1?
True
Let a = 2387/15 + -159. Let r = 30 - 26. Suppose 4*l = s - r*s + 6, 0 = s - 2. Which is smaller: a or l?
l
Let d = 253 - 251. Which is smaller: -0.055 or d?
-0.055
Suppose -3*o - 4*f + f = 9, 4*f = 12. Let t = -1071.1 + 1071. Do t and o have different values?
True
Let s = 57 + -64. Let z be s*(1 - (-12)/(-8)). Which is greater: 3 or z?
z
Let q = -7 + 6. Let h(z) = 9*z**2 - 2*z - 1. Let p be h(q). Let r be -2*(-12)/p - 2. Do -6 and r have the same value?
False
Let q(w) = w**2 + 8*w + 9. Let l(k) = -k**3 + 6*k**2 - k - 1. Let h be l(6). Let t be q(h). Suppose 1 + t = u. Which is bigger: u or 1?
u
Let f be -3 + ((-12)/(-12))/(-1 + 2). Let d be 0 + (2/f)/(-1). Let g be 4/30*9*1. Is d greater than g?
False
Suppose -5*b - 67*i + 62*i = 45, 0 = -i - 2. Let p be (-2)/8 + (-54)/8. Are b and p equal?
True
Let i(v) = v**3 - 9*v**2 + 2*v + 49. Let c be i(8). Let s = 3188/9 + -353. Let x = s - -5/18. Is x > c?
True
Let u(s) = -s + 1. Let m = 1 - -13. Suppose -5*n = 5*p - 15, 0*n + 2*n - m = -3*p. Let k be u(p). Which is bigger: -8 or k?
k
Let i = 741 + -608. Is i smaller than 0.2?
False
Let s = -498 + 993/2. Let b = -2.01 - -0.01. Let c = -2.3 - b. Which is smaller: s or c?
s
Let r be ((-2487)/(-18) + (-5)/30)/(-1). Which is greater: -137 or r?
-137
Let x(j) = 2*j**2 + 5*j + 2. Let t be x(-4). Suppose k - 1 = -3*l, 2*l + 26 = 2*k - 16. Which is smaller: t or k?
t
Suppose 0 = -0*v - 4*v + 148. Suppose 36*o - v*o = 0. Which is bigger: -2.1 or o?
o
Let g be (-110)/114 - (-2 + 1). Let v be 4 - ((-2)/1 + -1). Let f(m) = -m**2 + 8*m - 8. Let u be f(v). Which is greater: g or u?
g
Let r be 531/(-6) + (-7)/14. Are 2 and 