s bigger: 2/9 or k?
2/9
Suppose 3*h - 3*y = 3, -8*h + 3 = -5*h + 2*y. Which is bigger: h or -13/4?
h
Suppose -2*j - 82 = 4*i, 4*i - 28 - 54 = 2*j. Let z = -48 - j. Let a = 8 - 15. Do z and a have the same value?
True
Suppose -1 = 4*m - 5. Suppose 0 = -3*f + m + 5. Which is greater: f or 5?
5
Let u(f) = f + 1. Let i be u(-2). Let c(t) be the first derivative of t**2/2 + 17*t - 17. Let r be c(-18). Is i at least r?
True
Let r be (-40)/(-7) - (-2 - (-24)/14). Let n be (-10)/(-3) + (34/r - 5). Are 56/11 and n non-equal?
True
Let r = 816 + -272. Suppose -5*p + 3*y - r = -0*y, p + 5*y = -120. Is -109 at least as big as p?
True
Let a be (-208)/(-39)*9/(-6). Is a > -31/4?
False
Let g be ((-48)/40)/(2/(-10)). Suppose g*b - 5 = 1. Which is smaller: b or -2/65?
-2/65
Suppose -4*z = -z - 6. Let b be 1386/98 + z/(-14). Is b greater than or equal to 15?
False
Let q = 0.099 + -61.099. Let m = -58 - q. Is 1 less than or equal to m?
True
Let l = -1066 - -2127/2. Is 19 greater than l?
True
Let r(i) = -2*i + 10. Let s be r(-5). Suppose -2*x + 5*a + s = x, -a = 3*x + 4. Is 0 <= x?
True
Suppose 0 = -3*x + 24 + 15. Suppose -3*r + x = -29. Let n = -23 + r. Are n and -6 non-equal?
True
Let d(k) = 20*k**2 - 44*k + 27. Let f(o) = 7*o**2 - 15*o + 9. Let t(h) = -6*d(h) + 17*f(h). Suppose 0*j - 32 = -4*j. Let g be t(j). Which is smaller: g or 1/6?
g
Suppose 4*z + t = -4, 2*z + 3*t + 0*t = -2. Let a be (-12)/6 + (z - 0). Let l(d) = -2*d - 1. Let i be l(0). Which is greater: i or a?
i
Suppose 2*x + 30 = -3*x. Suppose 4*z + 16 = 6*z. Suppose 14 = z*t + 54. Which is greater: t or x?
t
Let g = 2.9741 + 0.0259. Let l(a) = -2*a**3 + a**2 - 4*a - 2. Let i be l(-3). Let q = 217/3 - i. Which is bigger: q or g?
g
Suppose 2*u - 120 = -14. Suppose 2*g = -2*g - 152. Let m = u + g. Is 14 != m?
True
Let u = 2/15885 + 1076648/15885. Are u and 67 equal?
False
Let r be -30 + 14 - -17 - 420/(-1). Is 420 less than r?
True
Let d = 241/5 - 10117/210. Suppose 4*u = -4*n + 36, 0 = 3*n + 7*u - 2*u - 29. Suppose -r - 3*j + 1 = -n*j, 1 = r + 4*j. Which is smaller: d or r?
d
Suppose -2*a = -3*d + 70, 4*d = d - 2*a + 50. Let f = d - 7. Let r = -35 - -34. Is r bigger than f?
False
Let v be (8/6)/(6/9). Let r be (4/(-16))/(v/18). Which is smaller: r or -3?
-3
Let m = -37 + 42. Suppose m*x = -10, 3*x + 2*x + 82 = -2*j. Is j at most as big as -38?
False
Let r(t) = -t**2 - 4*t + 1. Suppose -2*q - 4 = -q. Let u be r(q). Which is greater: u or -3/4?
u
Let q = -5 + 6. Let f = -39 + 73. Let l = f - 37. Which is smaller: q or l?
l
Suppose 0 = 2*z - 3*x - 33, -5*z + 22 + 38 = -3*x. Let l(b) = -b**3 - 5*b**2 + b + 24. Let f be l(-6). Let i = f + -44. Which is smaller: z or i?
z
Let u be 3/(2/(-2))*-8. Suppose -2*j + 2*x + 15 = -1, j - 5*x - u = 0. Is j less than 6?
True
Let b = 202617/124 - 1634. Let p = 7/93 + b. Is p at most 1?
True
Let r be 2/(-7) - ((-690)/(-63))/(-1). Let v = r - 10. Let s(z) = -z**2 + 3*z - 1. Let c be s(2). Is c greater than v?
True
Let c be (-35)/(-28)*(-116)/7. Is -22 at least c?
False
Let d be (8 - 26)/(15/(-70)). Are 84 and d non-equal?
False
Suppose 0 = -4*o - 4*s + 16, 0*s - s = -3*o - 4. Let g(c) = -c**2 - 2*c + 1. Let z be g(o). Suppose 4*l - 3 = 5. Which is smaller: z or l?
z
Suppose -z + 27 = 4*k + 97, -3*k - z = 53. Let r = k + 47. Let c be (2/12)/((-80)/r). Does -1 = c?
False
Let s = 698/9 - 11860/153. Which is greater: 0 or s?
s
Let p be (-4)/(-6)*66/(-4). Let w be (-2 + 14)/(6 + p). Let b be (4/6)/(6/(-9)). Are w and b non-equal?
True
Suppose -6*q + 50 = -10. Suppose -5*a + p = -50, 3*p - q = -a - 2*p. Suppose a*t = 6*t. Which is greater: t or -1?
t
Suppose 5*w = -0*a + 2*a + 77, 5*a + 20 = w. Suppose k - 6*k = -3*g + w, -3*k + 5*g = 25. Is k <= 1/3?
True
Let a = 0.023 - -38.977. Let r = -22 + a. Let n = 19 - r. Which is smaller: 3 or n?
n
Let z = 39 - 37. Suppose -2 = -t - z*y, -y + 0 - 1 = 0. Let x be (t/20)/((-32)/(-60)). Which is smaller: -1 or x?
-1
Suppose o + 0*o = 3*g + 244, 3*o = -6. Which is greater: -81 or g?
-81
Let q be 2/((1 - 5)/(-2 + 76)). Which is bigger: q or -39?
q
Suppose 0 = -3*f + 7 + 2. Let n = 1103 - 1102. Which is smaller: f or n?
n
Let w(q) = q**2 + 5*q + 2. Let r be w(-4). Let h be 0*r*(-2)/8. Let g be (-2)/(-380) + 86/(-817). Do g and h have different values?
True
Let l be 13230/195 - 2/(-13). Let m = l + -202/3. Which is bigger: 2 or m?
2
Let l = -415 - -415. Is -0.0841 equal to l?
False
Let t(o) = -26*o. Suppose -6*s - 1 = -2*s + 3*h, 0 = -5*s - 4*h - 1. Let g be t(s). Let d be (1 - -1) + g/13. Is d < 3?
False
Let n be -1*(-1155)/(-621) - 3. Let j = n - -76/23. Is j <= -3?
False
Let t = -159 - -160.6. Are 2/7 and t equal?
False
Suppose -5*r = -k - 4, 0 = -k + 3*r + 97 - 95. Let g = 13 - 3. Is k less than g?
False
Let r(g) = -g**2 - 10*g + 5. Let b be ((-10)/4)/((-20)/(-80)). Let q be r(b). Let t = 0.25 - 0.15. Which is bigger: q or t?
q
Let m = -29.5 + -0.5. Let j = -29 - m. Let z = -4 + 8. Is j not equal to z?
True
Let x = 0.384 + -0.184. Which is smaller: x or 49?
x
Suppose 0 = 11*k - 674 - 129. Let j = -81 + k. Are j and -3 equal?
False
Let f(p) = p**3 + 44*p**2 + 41*p - 86. Let q be f(-43). Let v = 7/144 + -5/48. Which is smaller: q or v?
v
Let f(m) = -m**3 - 5*m**2 - 4*m + 3. Let p be f(-4). Let i = 3 - p. Let q = -5/2 - -33/10. Is i equal to q?
False
Let m = -63 + 66.1. Let h = 3.9 + m. Which is greater: h or 1/2?
h
Let m = 12 - 8. Let b = m - 3.95. Let x = 0.05 - b. Is -2 smaller than x?
True
Let f(x) = -3*x**2 - 6*x + 5. Let k = 141 - 140. Let c be f(k). Is -2 >= c?
True
Let w = 11/304 + -423/45296. Is -1 at most w?
True
Let i = 28 - 26.1. Let k = 15.1 + i. Let a = k - 20. Which is smaller: a or -1?
a
Let d(y) = -y**3 - 4*y**2 + 6*y + 5. Let a be d(-5). Suppose 3*p - 4*p = a. Suppose 2*i + p*r + 9 = -3*r, -4*r - 10 = 2*i. Which is bigger: -4 or i?
i
Suppose -4*t = 5*l - l + 28, 2*t + 3*l + 15 = 0. Let q = 142 - 114. Suppose 4*s + q = -s - 3*v, v = -1. Which is bigger: t or s?
s
Let b = 22 + -22.64. Let g = b - -0.34. Which is bigger: g or 1/2?
1/2
Let p be 2*(-4)/(16/12). Let y(u) = -5*u - 14. Let v be y(-8). Let c = v - 34. Which is bigger: c or p?
p
Suppose -u - 4*u = -5. Let x = -3874/3 + 1292. Which is greater: x or u?
u
Let l = -10 - 14. Let o be ((-9)/636)/((-27)/l). Which is smaller: o or 0?
o
Let w(p) = p**3 - 9*p**2 + 6*p + 13. Let k be w(8). Let f be ((-12)/8)/k*0. Suppose -d - d - 14 = f. Is 3 at least as big as d?
True
Let u = 1.16 + -1.06. Let y be ((-18)/8)/((-10)/(-10)). Is u greater than or equal to y?
True
Suppose 152 = -4*r - 4*c, -2*r + 5*r - 4*c + 114 = 0. Let x = r + 37. Which is smaller: x or -1/10?
x
Let l = -1276 - -1192. Is l less than or equal to -84?
True
Let m = -0.0516 - -0.0516. Is m greater than 1072?
False
Let i be (-5 - 290/(-50))*(-50)/4. Is i less than -12?
False
Suppose -3*r = -2*x - 17, 2*x + 11 = r - 0*x. Suppose 2*z - 3*p + 1 = -2, 4*p = -2*z + 4. Let n = r - z. Which is smaller: 11/3 or n?
n
Let u(q) = 12*q - 143. Let h be u(10). Does h = -24?
False
Suppose -b - 4 = -2*n - 6, -b + 5*n = -5. Is -2/295 smaller than b?
True
Suppose -3*x = -8*x + 5*g + 5, -2*x - 2*g + 2 = 0. Suppose d + x = 3. Let v be (3 + -5 + d)/1. Do -0.2 and v have different values?
True
Let p be 3 - (108591/38181 + 2/13). Which is bigger: p or -1?
p
Let y be -2 + 1 + 0 + (-76)/19. Let d be (y/1)/(-15)*1. Is 0 > d?
False
Let s(f) = f**2 - 14*f + 55. Let o be s(8). Let z = 26 + -18. Suppose z = -b + o. Which is smaller: b or 3/11?
b
Let x = -9993957/13 + 767379. Let t = x - -1388. Which is bigger: t or 2?
2
Suppose -7*n + 2*n = 4*o - 1023, -o = -5*n - 237. Is 252 not equal to o?
False
Let l be (-16882)/(-10840) + 3*(-1)/4. Let b = l - 2/271. Suppose 3*g + 1 = 4. Is b smaller than g?
True
Let h be (-4)/2*1/(-2) + 14. Let n be ((-15)/(-6))/(h/3). Let w(q) = q**2 - q + 1. Let j be w(1). Which is smaller: j or n?
n
Let w = -26 - -24.95. Let j = w + -3.95. Which is greater: j or 4?
4
Let t = -6 + 4. Let g(o) = -o**3 - 11*o**2 + 2*o + 26. Let q be g(-11). Let r = q + t. Which is smaller: r or 0.3?
0.3
Let k be (-312)/(-572) + (-3002)/(-22). Which is bigger: -5 or k?
k
Let t = -30.14 - -30. Let s = -0.06 + t. Which is smaller: s or 3?
s
Let l = 881 - 881.1. Let k = 1.1 + -8.1. Is l < k?
False
Let u = 1837/4 + -459. Which is greater: -