uppose 11 = -5*h - 4*j - 0, -5*h + j + 9 = 0. Is 22/17 > h?
True
Let m(n) = n + 22. Let y be m(-8). Let c be 1*-4*39/(-12). Let v = y - c. Which is smaller: -0.3 or v?
-0.3
Let z = 404 + -443. Which is greater: 3 or z?
3
Let u = 2924/5 + -575. Suppose -131 - 229 = -36*t. Is t greater than u?
True
Let r be 740/(-10) + 14/2. Does -67 = r?
True
Let q = -0.0436 + -0.0264. Are q and -2/19 unequal?
True
Let k = -0.24 + 230.24. Is k equal to 2/7?
False
Let r = -366/7 - -52. Let s = -135/143 - -17/13. Which is bigger: r or s?
s
Let w = -0.337 + 1.337. Let s be (-15)/126 - 10/(-35). Which is smaller: s or w?
s
Let c = 2 - -1. Suppose 3*t = -m + 4*m + 78, -c*m - 74 = t. Is -25 greater than or equal to m?
True
Let o = -6.02 + 6.07. Which is bigger: 0.5 or o?
0.5
Let f(x) = x**2 + 13*x + 33. Let k be f(-12). Let y be (44/(-6))/(16/(-48)). Is y equal to k?
False
Let g = 1877/6 - 310. Let d = 204 - 200. Which is smaller: g or d?
g
Let i = -83 - -148. Let a = i + -70. Suppose 0 = -5*t - 3*f, 4*t + 0 = -f - 7. Which is smaller: a or t?
a
Let z(s) = -2*s + 2. Suppose -8 = 4*i - 2*i - 2*h, -3*h = 4*i - 19. Let b be z(i). Is b greater than 4/7?
False
Let g(j) = -j + 29. Let i be g(-23). Let n = 53 - i. Is -1/4 bigger than n?
False
Suppose -1 = 4*z - 5. Let t be (-1 - -1)*z/2. Suppose 10*c + 8 = 14*c. Is t < c?
True
Suppose 5*t + 8 = -12. Let d be t/8*(1 + 1). Let h be (-2 - -2)/(d*4). Is 1/11 >= h?
True
Suppose 20 + 152 = 2*c. Let a = 46 - c. Let m be (-8)/12 + a/(-6). Is 9 at least as big as m?
True
Suppose 2*f + 0 + 20 = 4*h, 4*f + 90 = -2*h. Is f less than -10?
True
Let d be 12/(-12) + (-178)/(-6). Let a(h) = h**3 - 7*h**2 + 5*h - 6. Let s be a(7). Let j = s - d. Is 2/3 greater than or equal to j?
True
Let z = -3.66 + 3.3. Let p = -0.29 - z. Let f = 0.03 + p. Which is bigger: f or -0.15?
f
Let l = 455 + -444. Which is smaller: 4 or l?
4
Let v = 3.1 - -0.9. Let c = v + -4.48. Let g = 0.38 + c. Which is bigger: g or 0.31?
0.31
Let r = -2 - -1. Let n = -0.8 - r. Let d be (-4)/4*(-1)/2. Which is smaller: d or n?
n
Let x(m) = -m**3 + 5*m**2 - 3*m - 4. Let s be x(4). Suppose 4*g + 0*g = 4*w - 8, 4*g + 16 = s. Let y = 6742/11 + -614. Which is bigger: w or y?
y
Let p = 17 - 19. Let q be p/(-12) + 6/(-36). Does q = 2?
False
Let j be (1 - 5)*2/16*4. Let q = 153 - 1227/8. Is j smaller than q?
True
Suppose -1 = -6*a + 5. Let y be 1/(-4 + 4 - a). Is y smaller than -2/77?
True
Suppose z + a - 2 = 4*a, 0 = -5*z - 4*a - 9. Are z and -5/59 unequal?
True
Suppose -3*a - 4*z + 169 = -47, z = -5*a + 377. Let y be 12*(3 - a/36). Let v = -541/7 + 77. Which is smaller: v or y?
v
Let x be (2 - 0)*(-303)/6. Let n be (3 + 300)*1*(-4)/12. Do n and x have the same value?
True
Let x(c) = -c**3 + 2*c - 1. Let v be x(-2). Suppose 1 = v*o - 17. Let q be 6 - 1 - (o - 5). Which is bigger: 3 or q?
q
Let w = 35.3 + -36.36. Are w and -1 nonequal?
True
Suppose -p - p - 3*t + 271 = 0, -2*p + 4*t = -306. Let v = p - 2001/14. Is v bigger than 0?
True
Suppose -27*t = 3203 + 523. Which is smaller: -136 or t?
t
Suppose 4*w + 6 = 5*q, 4*q + w + 3 = 12. Suppose -28 = q*c + 4. Which is bigger: c or -15?
-15
Suppose 2*d = -4*x + 6, 4*x - 9 + 8 = -d. Which is greater: x or -5?
x
Let h = 0.03 - 0.1. Let i = -0.37 - h. Let f be ((-16)/(-60))/(2/5). Which is smaller: i or f?
i
Let t = -1.1 + 1. Let x = 1.1 - 0.3. Let q = 16.2 + x. Which is smaller: q or t?
t
Let r be (-834)/(-30) + 1/((-10)/(-2)). Suppose 3*u - r = 20. Is 1 less than or equal to u?
True
Let u(d) = d**3 - 18*d**2 + 31*d + 21. Let i be u(16). Suppose -2 = -2*n + 2. Which is greater: i or n?
i
Let f be (8 - (-117)/(-18))*2*-2 - -5. Let c be (-2)/5 + 762/1930. Are c and f unequal?
True
Let i = -97/2 - -675/14. Is i greater than 8?
False
Let v = 0.45 - -0.15. Let t = 52.9 + -53. Which is greater: v or t?
v
Let n(u) = -u**3 - 41*u**2 - 333*u - 11. Let v be n(-11). Are 231/10 and v non-equal?
True
Let d be ((-10)/3)/((-4)/(-18)). Suppose -5*j - 54*h + 57*h = 82, 5*h = -4*j - 36. Which is smaller: j or d?
d
Let z(u) be the first derivative of u**3 + u**2 + 0*u + 1/4*u**4 - 3. Let o be z(-2). Is o < 2/43?
True
Suppose 200*w + 28 = 193*w. Is w less than or equal to -4?
True
Let c(v) = 14*v - 6. Let j be c(-5). Suppose -146*f + 153*f = -532. Is f less than j?
False
Let t be -6*65*(-10)/(-75). Is t greater than 0.1?
False
Suppose -x - 2*w - 33 = 2*w, -4*w - 156 = 4*x. Let c = x - -43. Are 9/7 and c nonequal?
True
Let u = 75 + -94. Is u < -75/4?
True
Let p be -2*((-1989)/5135 + 2/5). Which is greater: 1 or p?
1
Let u be 64/(-12)*-4 + (-2)/6. Suppose 129 = 4*z + u. Which is greater: 28 or z?
28
Let p be 34/(-5)*(-60)/38. Is p equal to 11?
False
Suppose o - 9 = w, 0*w + w + 5*o + 3 = 0. Let i(j) = -2*j + 7. Let f be i(w). Are f and 23 nonequal?
False
Let v = 147 + -84. Let j = v + -29. Let d be 44*-2*(-3)/8. Is d bigger than j?
False
Suppose -4*y + 453 = 5*i, -20*i + 4*y = -24*i + 364. Is 89 <= i?
True
Let i = 548 + -368. Let p = 1803/10 - i. Which is smaller: p or 0?
0
Let q = 25 - 21. Suppose 2*x = 3*g + q*x + 74, -4*x = 4. Let a = g - -28. Is a != 2?
True
Let s be (-4)/(-18) + 0 - 44/36. Which is greater: 4/113 or s?
4/113
Suppose -c - c = d - 7, 0 = 3*c + d - 12. Suppose c*y + 3 = 23. Is y > 4?
False
Let b = 554/9 - 634/9. Which is smaller: b or -0.2?
b
Let v = -1105/318 + -4/159. Which is greater: v or 4?
4
Let x = 78 - 86.3. Is 5 >= x?
True
Let z = -62.007 - -62. Let t = 0.063 - z. Which is smaller: -2 or t?
-2
Suppose -103*g = -94*g. Which is greater: 2/813 or g?
2/813
Let m = -3.74 - 2.37. Let b = 0.01 + 0.1. Let o = m + b. Is 1/2 at least o?
True
Let z(m) = -m**2 + 7*m - 7. Let y be z(5). Let a = 9 + y. Let u = -13 + a. Which is smaller: u or 1/8?
u
Suppose -523 = 1438*w - 1439*w. Are 523 and w equal?
True
Let n(a) = a**3 + 5*a**2 - a - 3. Let d be n(-5). Suppose 0 = 5*k + 37 - d. Which is greater: -6 or k?
-6
Let m be 12/(-8) - -1 - (-494)/996. Is m greater than 0?
False
Let h = -15 - -23. Let m(f) = -f - 25. Let i be m(-9). Let s = i + h. Which is greater: s or -7?
-7
Let p be (3 - 5) + 4 - -3. Let r be (p - 3)*(-28)/8. Are 0 and r equal?
False
Let p be (-32)/(-208) - 304/962. Which is bigger: p or 1?
1
Let r(o) = o**2 - 11*o + 32. Let t be r(8). Suppose 2*z - 150 = -5*p, -p + z + 2*z = -13. Suppose -p = -5*d + d. Does d = t?
False
Suppose -n - 210 = 6*n. Let x be n/8 - (-4)/2. Is x > -2?
True
Let z = 355/2 + -178. Is -0.5 greater than or equal to z?
True
Let c(h) = h**3 + 8*h**2 - 6*h + 6. Let n be c(-9). Let w be (-8)/(-6)*n/14. Let b = 5 + w. Which is greater: b or 1?
b
Let a(q) = -9*q**2 - 7*q**2 - 1 - 1 + 11*q - q**3 + 4*q**2. Let i be a(-13). Let h = i - 25. Is h less than 2?
True
Let q(i) = -8*i**2 - 260*i + 40. Let b be q(-33). Which is bigger: -996/11 or b?
-996/11
Let s(t) = t**2 + 3*t - 2. Let r be s(-4). Let f = -732 + 734. Is r != f?
False
Let b = -0.95 + 104.95. Which is smaller: b or 1?
1
Let x be (-6)/9 + 8/3. Let b be (x/(-6))/(3/(-9)). Are b and 1 unequal?
False
Let i = -1.4 + 0. Let a = i - -1.32. Let c = 0.58 + a. Which is bigger: -2 or c?
c
Let k be (-102)/85*10/(-3). Suppose -2*n + 24 = -k*n. Which is smaller: -3 or n?
n
Let l(d) = -d + 14. Let s be l(10). Suppose -2*u - 3*u = -5*m + 40, s*u - 3*m + 28 = 0. Let r be (-3)/1 - (1 + u). Which is smaller: r or -1/13?
-1/13
Let f be 0 - 2 - 16*-1. Suppose -f = 3*d - 38. Suppose 0 = 2*a + 2*a + d. Is a at least -3?
True
Let u(l) = -l**2 + 10*l - 23. Suppose -51 = -10*s + 9. Let m be u(s). Let o = 4.03 + -0.03. Which is smaller: o or m?
m
Let k = 0 - 12. Let p(q) = q**2 + 14*q - 3. Let j be p(k). Is j at least as big as -27?
True
Let l(g) = g**3 + 4*g**2 - g + 1. Let v be l(-4). Suppose 5 = -4*q + 5*i, -4*q + 17 - 7 = -2*i. Is v less than q?
False
Suppose 42*x - 20 = 38*x, -t + 33 = x. Which is smaller: 15 or t?
15
Let i(d) = -d + 9. Let j be i(4). Suppose 4 = -j*q - 6. Let o(u) = -2*u**2 - 3*u. Let x be o(q). Is x bigger than -1?
False
Let a = 0.112 - 2.112. Which is smaller: -57 or a?
-57
Suppose 2*r = -i + 493, r + 3*i - 122 = 132. Do 2/3 and r have the same value?
False
Let r = 4 + -3. Suppose -6*s - 1 = 53. Let b be 36/40 + s/12. Is b at least as big as r?
False
Let t = -1.4 + 6.4. Let b = 0.08 + -0.17. Let v = 0.09 + b. Which is greater: t or v?
t
Let a be ((-10)/(-6))/(6/