aller than f?
True
Suppose 158*z - 935 = 163*z. Are -184 and z equal?
False
Let q = 117.882 + -118. Are q and 0.1 unequal?
True
Let p = 92 + -89.99. Let w = 1.99 - 2. Let l = w + p. Is l not equal to -1?
True
Suppose -3*v + 42 = -v. Let h = v - 39. Let s be (-35)/(-6) + (-3)/h. Which is smaller: 3 or s?
3
Let t be 3*(0 + 4 + -3). Let b be (-2)/(1*t/(-6)). Is b equal to 4?
True
Let a be -5 - 5*5/(-5). Which is smaller: a or -2/31?
-2/31
Suppose -4*p = 4*d - 20, -3*p + 5*d = 2*p - 25. Let g(v) = -v + 4. Let r be g(p). Let l be (-16)/(-21) + r/3. Is l > 1?
False
Let n be 0/(-8) - 8*(-5)/(-345). Is 0 less than or equal to n?
False
Suppose -3*b + b = -12. Suppose v = b*v. Let s be (-2)/123*-1*-3. Is s at most as big as v?
True
Suppose u + j + 3*j + 22 = 0, 2*u - j - 1 = 0. Let i be (-14)/(-952) + u/8. Which is smaller: i or 1/3?
i
Suppose -3629 = -4*m + 3*z, m + m - 1807 = -z. Let q = -9967/11 + m. Which is smaller: -2 or q?
-2
Let z be 14 - -1*(-2 + 1)*-1. Let m = z + -45. Is m at least -0.1?
False
Let k be 245/(-9) + (-8)/(-36). Suppose 4*f + 0*f - 107 = 3*i, 5*f = -5*i - 190. Let s = k - i. Are s and 10 non-equal?
False
Suppose 2*k + 2 = 4*l - 9*l, -3*l = -2*k - 2. Is 6/161 >= k?
True
Let p = -168 - -173. Let u be 1*(2 - (-6 + 2)). Which is smaller: u or p?
p
Suppose -3 = -5*a + 22. Let w be ((-2)/1)/(a + -7). Let z = -10 + 11. Is z at most as big as w?
True
Let a be (2 + (3 - 4))/(-1). Let j be 0/(1 + (-1 - a)). Let o = 9730/9 + -1080. Which is smaller: o or j?
j
Let o = -944/3 + 320. Which is bigger: 4 or o?
o
Let a(j) be the second derivative of j**4/12 - j**3 + 2*j**2 + 3*j. Let o be a(5). Suppose -5*x + 6 = 1. Is x < o?
False
Suppose -8*o = -49*o + 82. Suppose 5*g = 2*k + 66, g + 3*k = -4*g + 51. Let u be (6/g)/(o/16). Is u greater than 4?
False
Suppose 9*n + 1375 - 2473 = 0. Which is smaller: 123 or n?
n
Let l = -2 + 3. Let t(z) = -z**3 - z**2 - 2. Let m(f) = -f**3 - 2*f**2 - 3. Let p(o) = -3*m(o) + 5*t(o). Let v be p(l). Is -5/7 > v?
True
Suppose -5*r + 11 + 19 = 0. Suppose 3*d - r = 3*a, -3*d - a = -24 + 6. Suppose 2*m = 5*m + d*p + 3, m + 2*p + 2 = 0. Is m at least -1?
True
Let h = 8 + -3. Let u = h + -4. Is 0 at least as big as u?
False
Let g be (-12)/42 - (-58)/7. Suppose 6*q - g*q + 4 = 0. Suppose 0 = -2*w + w - q. Which is smaller: -3 or w?
-3
Let j = -249 + 243. Let y = -15 + 17. Does y = j?
False
Let n = -168 - -175. Let b(q) = q**3 - 3*q**2 + 2*q. Let f be b(2). Let o = f - n. Which is smaller: o or -6?
o
Let m = 12411/5 + -2482. Which is greater: m or 0?
m
Suppose 12*b - 11*b = 2*c - 83, 3*c = 3*b + 120. Which is greater: 50 or c?
50
Let l be 2 - (-1 - -3)*3. Let s be 1/l + 208/320. Is -2/31 at least as big as s?
False
Let h(c) = -c**2 - 10*c - 5. Let r be h(-9). Suppose 2*v + r*x + 12 = 0, 3*v + 56 = 4*x - 12. Let p = 27/2 + v. Which is smaller: p or 0.2?
p
Let a be (-1)/(-2*(-3)/12). Let c = 2 - a. Let r = 6 - c. Is r < 4?
True
Suppose 1 = a - 1. Suppose 6 - 36 = -5*y. Let g be -3 - (-3 - 1) - y. Which is smaller: a or g?
g
Let m = 1063 + -1056. Which is bigger: m or 23?
23
Let f be (-70434)/70609 - 2/(-11). Let w = f - -97053/88949. Let x = w - -1/97. Which is smaller: 0.8 or x?
x
Let y be (0 + 8/14)/(28/98). Suppose 0 = -3*o + 5*b + 4, -y = -2*o + 5*b - 6. Suppose -9 = -3*s + 3*u, 3*s - 5*u - 2 = -3. Is o bigger than s?
False
Let j = -543 + 11404/21. Let g(i) = -i**2 + 5*i + 1. Let d be g(5). Which is smaller: d or j?
j
Let n be ((-69)/(-46))/(3/(-68)). Let w = -17 - n. Is w <= 16?
False
Let a be 2680/6*126/(-84). Which is greater: -671 or a?
a
Let m be -4 - -1 - -40 - (1 - -3). Which is greater: 32 or m?
m
Let r = 27.65 + 0.35. Is r greater than or equal to 1/4?
True
Suppose -14*n = 20*n + 340. Is n less than -10?
False
Let p be (4/18)/((-560)/(-30)). Is p > 0?
True
Let q(j) = j**2 - 24. Let c be q(-8). Let h be (-2 + 36/15)*c/(-5). Do h and -3 have different values?
True
Suppose -5*z + 2*w = -4, -z - 7*w - 4 = -5*w. Which is greater: z or 13/48?
13/48
Let s be ((-3)/10)/(120/(-91900)). Let k = -225 + s. Is 4 greater than k?
False
Let f = 2.842 + -0.142. Which is smaller: f or -1/3?
-1/3
Let t = -58 + 5. Let x = 83.6 + t. Let l = x - 31. Which is greater: -1/6 or l?
-1/6
Let q = 1558 + -1494. Which is greater: 0.2 or q?
q
Let j = -8.9 + 3.6. Let w = j - -5.4. Let x be 3*-1*3/(-3). Is w at most as big as x?
True
Let p = -0.083 - -3.453. Is 2/13 equal to p?
False
Suppose 5*m + 15 = w, 4*m = 4*w - 9*w - 12. Which is greater: w or 4/5?
4/5
Suppose -26*d = -46 - 32. Suppose 2*m = -4*g + 20, -4*m + 8 = -5*g - 6. Which is smaller: m or d?
d
Suppose 397*q = 390*q - 28. Which is smaller: q or -105?
-105
Let v(f) be the first derivative of f**4/4 + 5*f**3 + 15*f**2/2 + 18*f + 48. Let z be v(-14). Which is smaller: z or -3?
-3
Let q = -495 - -568. Which is smaller: 75 or q?
q
Let k = 450.7 - 451. Which is greater: -12 or k?
k
Suppose 7 = 2*q - y, 5*y - 2 = -q - 4. Let s be q/(-12) - 2/(-8). Which is smaller: s or -3/13?
-3/13
Let g = -12 + 1. Let k = g - -11.5. Let s = 5 + -6. Which is smaller: s or k?
s
Let g be ((-24)/27)/4 - 47320/90. Is g > -526?
False
Let u(q) = 33*q**2 - 13*q + 70. Let c be u(5). Which is smaller: c or 831?
c
Let p = 231 - 235. Which is greater: p or 3/11?
3/11
Suppose -3*a + 0*a = 0. Let b be (651/(-129) - 0) + 6 + -1. Which is smaller: a or b?
b
Let o(k) = k**3 + 8*k**2 - 10*k + 3. Let n be o(-9). Let w(p) = p**3 + 2*p - 1. Let y be w(2). Which is smaller: y or n?
y
Let o = -4311 - -30077/7. Which is greater: -15 or o?
o
Suppose -2*g + 1 = -7. Let r(y) = 6*y**2 - 3*y + 289 - 305 + 3*y - y**3. Let q be r(5). Does g = q?
False
Suppose -44 = m + v, -4*m - 5*v - 130 - 53 = 0. Suppose -k + 17 = -2*k + 4*l, 3*l - 96 = 3*k. Is m <= k?
True
Let t = 2160 + -2159.8. Is -597 smaller than t?
True
Suppose -5 = -2*v - 3. Suppose 92 = 2*o - 278. Let u = -183 + o. Are v and u equal?
False
Suppose -4*t - u = -7*t - 66673, 88896 = -4*t + u. Let q be (-4*t/(-10))/(-14). Let i = 635 - q. Is 1 smaller than i?
False
Suppose -3*p = p - d + 97, -p = -5*d + 10. Let u = -216 + 216.1. Which is smaller: p or u?
p
Let q be 3/86*-13*(-212)/(-159). Are -2 and q unequal?
True
Suppose 36*r + 1444 = -1580. Which is smaller: -85 or r?
-85
Let o(b) = b**2 + 7*b + 3. Let s be o(-7). Suppose 0 = 2*l + s*r - 11, -2*r + 7 = l - 0. Which is smaller: 2/7 or l?
2/7
Let o be 4930/(-24) - (1 + -1 - 2). Let p = -203 - o. Which is smaller: 1 or p?
p
Let o = 259.3 - 258. Which is bigger: o or 2?
2
Let p be (-32)/138*27/12. Let i = 73518 + -6763727/92. Let c = i - p. Is -11 smaller than c?
True
Let b be (0 + -1 + -3)*-8. Suppose -18 + b = -2*a. Which is greater: -8 or a?
a
Suppose -27*k = 27311 - 689. Which is bigger: k or -987?
k
Let s = -17.483 + -0.017. Let d = -0.5 - s. Let p = d - 16.4. Is p >= 1/4?
True
Let b = -0.0325 - 0.0075. Does b = 0.016?
False
Suppose 2*u - 30 = -3*b, -u - 10 = 4*b - 5*b. Suppose 0 = -7*q + b + 32. Which is smaller: q or 4?
4
Suppose -15 = -28*k + 29*k. Which is bigger: k or -17?
k
Let v(p) = -p**3 + 10*p**2 + 11*p - 2. Let h be -1 + 9/6 + 42/4. Let q be v(h). Let g be (-6)/(-2 + 0 + 1). Is q at most as big as g?
True
Let k be (2 + 16761/(-5973))*(-2)/(-24). Let m = k + -2/1991. Which is bigger: m or -1?
m
Suppose 0 = 181*j - 194*j + 39. Is j at most as big as 19/11?
False
Let r be 595/(-615) + 6/18. Are r and -1 non-equal?
True
Let j = 135884 - 14453. Let t = j + -2793333/23. Let u = -18 - t. Is 0 != u?
True
Let x be 0/(13/(39/6)). Let t be (-1)/(-2) + 14/(-60). Is t smaller than x?
False
Let d = -2.03 - 0.17. Let i be (4 - (-36)/(-8)) + 98/(-4). Let w be (2/5)/(20/i). Which is bigger: d or w?
w
Suppose -3*z = -3 - 21. Let t be (-1)/(-2) - (-28)/z. Suppose -c - 6 + t = 0. Is -2 > c?
False
Let t = 132/3459475 + -5858831942719/58811075. Let o = 99669 + t. Let d = 48 - o. Is 0 equal to d?
False
Suppose -9*q + q + 8 = 0. Suppose -2*n - 27 = -q. Is n >= -12?
False
Let d be (-820)/(-578)*(12/(-4))/666. Let g = d + -1/1887. Which is greater: g or 0?
0
Let s = 2.26 - 2.06. Let k = 5.94 - 6. Is s at least k?
True
Let o be (16/48)/(8/(-6)). Which is smaller: o or -7.3?
-7.3
Let c = -0.8 - 11.5. Let v = 2.7 + -14.7. Let d = v - c. Is 0 <= d?
True
Let z = 13.7 - 8.7. Is z != 166?
True
Let q(c) = -c**3 - 7*c**2 - 2*c - 14. Let y be q(-