= -829 - o. Let u = y + -243/70. Are 0 and u nonequal?
True
Suppose 8 - 2 = 3*f. Suppose 4*d = -f*r + 2*d, -r - 3*d - 10 = 0. Suppose -3*t = t - 12. Which is smaller: r or t?
t
Let c = -2.75 + 2.55. Is 44 less than or equal to c?
False
Let s be 8/18*198/(-44484). Which is greater: s or -1?
s
Suppose 5*o - 14 = 2*n - 1, 0 = 5*o + 2*n + 3. Which is smaller: o or 4/11?
4/11
Suppose 4*o + t = -3*t + 20, -4*o = -4*t + 12. Suppose -105 = -2*b - 617. Let s be (-2)/(-9) - b/(-2448). Which is greater: o or s?
o
Let n = -10 - -16. Suppose 31 = n*z + 7. Is z smaller than 4?
False
Suppose 0 = -3*a + 4*h - 8, -a = 4*a + 5*h - 45. Suppose -4*u + l + 1 = 0, 0*l = -a*u + 2*l + 2. Let r(m) = m**2 + 12. Let n be r(u). Is n bigger than 13?
False
Suppose 8*v - 321 = 47. Which is bigger: v or 20?
v
Let d(u) = -u**3 + 17*u**2 - 15*u - 23. Let b be d(16). Which is greater: -80/11 or b?
b
Let q = -241 + 241. Let v = 127/104 + -11/8. Is q less than v?
False
Suppose 0 = 3*a + 2*m + m - 45, -32 = -2*a - 3*m. Suppose 9*y - a*y = 16. Are 0 and y non-equal?
True
Let k = 2/551 + -4426/4959. Let o = 722 - 722. Which is smaller: k or o?
k
Let z be (7/((-420)/(-72)))/(1/(-5)). Let r = -7902/5 - -1574. Is r at least as big as z?
False
Suppose -y + 17 = 2. Let l be (-114)/27 - (y + 1)/(-4). Is 0.3 at least l?
True
Suppose -138*g - 2005 = -143*g. Which is greater: 2 or g?
g
Let m = 447 - 447. Is m > -103/4?
True
Let i = 286 - 363. Is -77 bigger than i?
False
Let x = 1.5 - 1.49. Let m = -10 + 5. Let v = 5 + m. Which is smaller: x or v?
v
Suppose 9*x - 3*f + 9 = 12*x, 16 = 4*f. Which is greater: x or -18/65?
-18/65
Let j be (-6026)/(-6) + (150/9)/25. Is j < 1005?
False
Let n = -2915 - -2039. Let q be 4/3*n/(-16). Is q >= 72?
True
Let v(f) = -2*f**2 + 6*f + 1. Let i(u) = -4*u + 4. Let o(r) = -5*r + 4. Let y(x) = -4*i(x) + 3*o(x). Let j be y(7). Let c be v(j). Which is smaller: 4/7 or c?
4/7
Suppose -34*o = -63*o - 1102. Which is smaller: o or -498/13?
-498/13
Let k = 9 - 15. Let l = 0 - 8. Let t = k - l. Is t not equal to 3?
True
Let s = 18945/41 + -462. Which is smaller: -3/2 or s?
-3/2
Let y = 964945/254 - 3799. Which is smaller: 1 or y?
y
Let w(m) be the second derivative of -m**5/20 + m**4/6 + 4*m**3/3 - 7*m**2/2 - 3*m. Suppose 8*p = 14 + 18. Let s be w(p). Which is greater: s or -6?
-6
Suppose 0 = -2*m - m. Suppose m = 7*y - 8*y. Let a = 3/86 - 41/559. Is y >= a?
True
Suppose 3*z - 1 = 2, z + 4 = -5*t. Let d = 16217/364 + -312/7. Is d < t?
False
Let t be 8633/1958 - 2/(-4). Do 0.1 and t have the same value?
False
Let v = 0.4 - -7. Let s = v - 7. Which is greater: -2/5 or s?
s
Let n = 1193.74 + -1194. Let z = -1.94 + 2.4. Let l = z + n. Is l >= -0.1?
True
Let n be ((-15)/45)/((-192)/(-63) - 3). Let r = 3 - 4. Let l = r + -5. Is l not equal to n?
True
Let m = 52 + -51. Which is smaller: 4.5 or m?
m
Let u = 68 + -57. Let i = u + -12. Is -4 >= i?
False
Let c = -4727 - -4691. Let b = 0.4 - 0.3. Which is smaller: b or c?
c
Let g = 275.1 - 266.9. Let w = 643/5 + -129. Which is greater: w or g?
g
Let s = -2.3 - -0.3. Let c = -6.2 - -1.2. Which is bigger: c or s?
s
Let o(r) = 104*r**2 - 4*r + 5. Let f be o(1). Is 1 < f?
True
Let i be 4/(-12) - (-31)/3. Suppose -3*y = -2*y - 8. Is i less than y?
False
Let v(k) = -k - 7. Let i be v(-7). Suppose i = -0*m + 3*m. Suppose -4*y + 9*y - 40 = m. Is y < 9?
True
Let p(c) = -3*c - 11. Let b be p(-5). Suppose -x = 5*l + 5, 5*l - b*x + 13 = -17. Are l and -6/11 equal?
False
Let u = 657 - 656.7. Are u and 3/17 unequal?
True
Let s = 303 - 308. Are s and -5 equal?
True
Suppose -123 = -15*s + 147. Which is smaller: -3 or s?
-3
Suppose -49 = -2*h + h + 3*r, -3*r = 5*h - 263. Let a = -32 + h. Suppose -a = -5*d + 5*u, 2*d - 3*d + 7 = -2*u. Which is smaller: d or 4?
d
Suppose -d + 5*d = -88. Let k = 24 + d. Suppose s - 3*m - 5 = 18, 3*s - k*m = 34. Is s less than 8?
False
Let f = -768003/256 + 3000. Which is greater: -1 or f?
f
Suppose 5*x - 3*i - 354 = 0, x + 5*i - 129 = -47. Suppose -x - 68 = -4*u. Which is smaller: u or 36?
u
Let a be (0 - 2)*(36 - -1). Let t = a - -155/2. Which is smaller: t or 4?
t
Let m = 217.01 - 216. Let a = -4 - -4.01. Let r = a - m. Is -0.1 equal to r?
False
Let v = -78853/31 - -2543. Which is smaller: v or -2?
-2
Suppose 4*n + 6 = 7*n. Let v(i) = -i**3 + 11*i**2 - 6*i - 10. Let q be v(10). Suppose -n*c - 3*c + q = 0. Which is greater: c or 1?
c
Suppose v + 14 = 8*v. Suppose -3*k + 6 = -5*p, -p - p - k + v = 0. Does p = -1/4?
False
Let t be ((-2)/(-4))/((-1)/(-16)). Let a be 4/t*(-2)/(-5)*57. Is a greater than 10?
True
Let r = 0 + -0.1. Let i = 0.58 - -25.42. Let j = -25.6 + i. Which is smaller: r or j?
r
Let r = -1 + 1. Let z be (0/(-3))/(-1) - (-90)/(-27). Which is smaller: z or r?
z
Let r(j) = 15*j - 7*j + 18 - 8*j - 2*j. Let m be r(13). Let g = m + 7. Which is smaller: -1/2 or g?
g
Suppose -38 = 4*g - 66. Suppose h = 4*o, -4*h - 5 = -4*o + g. Which is smaller: o or -15/14?
-15/14
Let b = -1131.6 + 1132. Which is smaller: b or -40/7?
-40/7
Suppose -14*v + 1473 = -627. Is 148 at least v?
False
Let z = -1.02 - 1.98. Is 21 less than z?
False
Let g be (-14)/(-7) - 6540/3267. Is 0 at least g?
True
Suppose o = 3*b + 5, -3 = 2*o + 3*b - 4. Do o and 46/31 have the same value?
False
Let f be (-2)/(-26) + 3429/39. Which is smaller: 89 or f?
f
Let j be (2 - 2)/((-2)/(-1)). Suppose -8*c + 4*c - 4*m - 12 = 0, j = -4*m + 8. Which is smaller: c or -16/3?
-16/3
Suppose -69*m - 329 = 292. Is m smaller than -10/13?
True
Let b(k) = -k**2 + 18*k - 4. Let p be b(16). Let g = p + -28. Which is greater: g or -2/75?
g
Let u be (10 + 2)/(1/(-4)). Is -51 > u?
False
Let i(z) = -4*z**2 - z + 5. Let y(j) = -5*j**2 - j + 4. Let n(w) = 4*i(w) - 3*y(w). Let g be n(6). Let t = g + 45. Is t greater than 11?
False
Let s = 59 - 52. Which is smaller: s or 40/7?
40/7
Let w(v) = -v**3 - 11*v**2 - 9*v + 7. Let c(y) = -y**2 - y + 1. Let u(h) = 2*c(h) + w(h). Let r be u(-12). Which is smaller: r or -2?
r
Let z(b) = -3*b**2 + 2. Let w be z(2). Let u be (22/w)/(2/(-10)). Let l = 15 - u. Are 4 and l nonequal?
False
Let m = -18 - -17.8. Let x = -34 + 34.11. Is m < x?
True
Suppose -2*f = 736 + 54. Is f >= -395?
True
Suppose -5*f + 3*k = 321, -27*f + 2*k = -30*f - 204. Is -259/4 bigger than f?
True
Let g be 6/(-9) - (-1025)/(-15). Let h = 63 + g. Are h and -7 nonequal?
True
Suppose 14 = 13*o + 14. Is o at most as big as -8/121?
False
Let u be 1/(2/(-3))*-2. Suppose 0 = -2*v - 5*m - 5, 2*m - 3 = -v - 4. Is u smaller than v?
True
Suppose u + 12 - 45 = 0. Suppose -5*k + 8*k = -u. Is k < -11?
False
Let i be 2/(-2289)*7*(-66)/4. Which is smaller: i or 0?
0
Suppose 4*f = -4*f - 192. Let m = f + 25. Are m and 1 non-equal?
False
Let w = -1244 - -1103. Which is bigger: -145 or w?
w
Let x = 2949/1007 - -1/53. Let j = x - 1867/627. Is 1 <= j?
False
Suppose -40 = -3*s - 2*f, s - 5*s = -2*f - 58. Which is smaller: s or 11?
11
Let j = -111 + 101.8. Let z = j - -0.2. Let q = z + 8. Is q greater than 1/4?
False
Let d be (5/((-15)/(-2)))/(2/(-3)). Let h be 3*12/(-18) + d*13. Is -17 bigger than h?
False
Let o = -2 - -6. Let u(v) = -v**3 - 2*v**2 + 31*v + 88. Let d be u(-3). Is d < o?
False
Let x be -2 + 28/5 - (-2)/5. Let d(s) = s**3 - 4*s**2 + 4*s + 1. Let j be d(3). Is j <= x?
True
Let p = 0.273 + -0.33. Let c = p - 0.013. Which is smaller: c or -2?
-2
Let z be (-129)/(-18) + -3 - 2*2. Let p = -0.11 + 0.33. Let h = p - -0.08. Which is smaller: z or h?
z
Let z be (2/(-6))/((3*-1)/90). Suppose -11*p = -p - z. Which is smaller: -3 or p?
-3
Let n be (-6)/24 + (-1 - 13/(-4)). Suppose -4*x + x + 8 = -2*v, 0 = -n*x + 4. Which is greater: -4/35 or v?
-4/35
Suppose 2*o + 100 = -3*o. Let j = o + 179/9. Which is smaller: 0.2 or j?
j
Let f = -12 + 21. Suppose 3*a + 2 = 35. Do a and f have the same value?
False
Let g be (-2 - -5)*14/3. Let x = -17 - -16. Let i be (13/(-2))/(x/2). Is g < i?
False
Suppose 0 = -4*t + 2*g + 72, -5*t - 2*g = -0*g - 99. Let z = 18 - t. Is z < 7/17?
True
Let t = -42.7 + 4.7. Let l = -22 - t. Which is greater: l or 3?
l
Let m be (-1 + (-276)/(-8) - -2)*-1. Is m > -36?
True
Let n be 709/353 + (-12 - (11 - 21)). Which is smaller: n or -1?
-1
Let n = -110 - -118. Let l = 15.38 - 0.38. Let q = l - n. Is q bigger than 0?
True
Let y(u) = 487*u**2 - 10*u + 4. Let i be y(1). Is i >