0.07 - k. Which is smaller: y or 1/14?
y
Let z(y) = y - 6 - 2*y + y**2 - 8*y - 5. Let i be z(10). Let h be 4/32*4*2. Is i less than h?
True
Let v be (-8)/(-6) - 2/3. Let j be -17*((-2)/7)/2. Let o = 309/133 - j. Is v at least as big as o?
True
Let g(a) = 2*a + 1. Let w be g(-1). Let m(h) = -h**3 - h**2 - 19*h + 44. Let o be m(2). Is o equal to w?
False
Let k = 883 - 9708/11. Let u be 3/(-5) - 4/10. Which is smaller: k or u?
u
Let j(o) = 3*o - 14. Let q be j(6). Suppose -4*g - 73 = 4*l - 185, 2*g - q*l = 38. Which is greater: 24 or g?
g
Suppose 6 = 2*z + 2*g, -2*g = 5 + 3. Suppose 9*n = 2*n - z. Let l = 2203/56975 + -1/1075. Which is smaller: l or n?
n
Let g = -20315/61 - -333. Which is bigger: -10 or g?
g
Let t be ((-121)/3)/11 + 3. Is t bigger than 299?
False
Let o(w) = 32*w**2 + 3*w + 5. Let a be o(-1). Is a less than 176/5?
True
Suppose 27*h - 5*h - 1276 = 0. Do h and 1/3 have the same value?
False
Let m(x) = x + 10. Let t be m(-7). Suppose t = -4*i + 11. Suppose -4*v - i + 10 = -4*z, -2*v + 3 = -z. Which is smaller: v or -0.9?
-0.9
Let h = -2.5 + 2.57. Let n be (1/3)/((-1)/(0 - -2)). Which is smaller: n or h?
n
Let h be (-15)/(-3)*-4*5/(-100). Is -1 != h?
True
Let i = 0.2 - 0.4. Let b = -40.3 - -38. Let a = -2.4 - b. Which is greater: a or i?
a
Let i(q) = -2 - 220*q**3 + 221*q**3 + q**2 - 2*q + 1. Suppose 3*m + 2*m + 10 = 0. Let u be i(m). Is u < -1/5?
True
Let l = 17 + -6. Suppose 4 = -7*w + l. Is w < 0?
False
Let o = -5 + 1. Let t = o + -3. Suppose 731 = -322*h + 759 - 1638. Which is smaller: t or h?
t
Let c = 44.4 - 45.4. Is c > -1.08?
True
Let h be 3*(-2)/99*12. Let y = 320 - 317. Are y and h non-equal?
True
Let r be 4/3*(-78)/(-20)*5. Let x(b) = -b + 15. Let y be x(r). Is y at least -11?
True
Suppose 0 = -0*x + x + 7. Let d = x - -8. Which is smaller: 4/5 or d?
4/5
Suppose -9*o = 582 + 876. Which is greater: o or -2/9?
-2/9
Let x = -8.7 + 12. Let n = x - 3.4. Which is smaller: n or 3/10?
n
Let o = -110 + 51. Let i = 56 + o. Which is greater: i or -9?
i
Let h(d) = d**2 + 4*d + 3. Let a(p) = -2*p**2 - 9*p - 7. Let r(w) = -2*a(w) - 5*h(w). Let o be r(2). Which is greater: -10 or o?
o
Let o = -0.29 - -0.2. Let d = o + 3.09. Is d <= -0.2?
False
Suppose -9*r = -11*r. Let w be (12/10)/((-26)/65). Let h be r + 10/5 + w. Is 14 != h?
True
Let f = -12222 + 232281/19. Which is greater: 1 or f?
f
Let s = -41 + 38. Let u be s/(-99)*-49 + (-4)/22. Is -3 at least as big as u?
False
Let k = 71 - 65. Are k and 5 non-equal?
True
Let q = -44 + 43. Let g be (-6)/(-15)*(-5)/q. Which is smaller: g or -4?
-4
Let z = -7/381 - -9221/4191. Suppose 5*q + h + 940 = 5*h, -379 = 2*q - h. Let x be (-1)/5 - q/60. Is x >= z?
True
Let o be (-10)/(-35) + (-286)/4872. Let k = o - -2/87. Let q = 30 + -29. Which is bigger: q or k?
q
Let l(h) = -2*h**2 - 3*h + 140. Let u be l(-12). Is -111 less than u?
False
Let c = 21.66 + -22. Let i = c - -0.386. Let b = -22.954 - i. Do b and 0.1 have the same value?
False
Let p = 0.012 - -0.088. Is 20 >= p?
True
Let x = 27 + -18. Let f = -10 + x. Let k = 4 + -3. Which is bigger: f or k?
k
Let f be 3/12 - (-4 + (-8201)/(-20)). Let j = f - -399. Is j greater than -7?
True
Suppose 0 = 22*t + 9*t. Which is greater: t or 531?
531
Let f = 51 + -35. Let k be ((-5)/(-30))/((-12)/f). Which is greater: k or 1?
1
Let u(l) = l**3 - 8*l**2 + 8*l - 3. Let f be u(7). Suppose 10 = -k - f*k. Are k and -1 unequal?
True
Let a(v) = v**2 + 77*v + 1476. Let s be a(-39). Let k(o) = -2*o + 2. Let q be k(6). Does q = s?
False
Let j = -1029 + 3085/3. Which is bigger: j or -0.106?
-0.106
Let u(t) be the second derivative of -t**3/6 + 6*t**2 - t. Let q be u(10). Let y be (q + (-3)/1)*3. Which is bigger: -2 or y?
-2
Let t(r) = -r**2 - 5*r - 2. Let c be t(-5). Let k = -665.5 + 665. Which is bigger: c or k?
k
Suppose 0 = 4*t + 3*t - 21. Suppose 5*o + t = 8. Let n be 45/98 - (-4)/(-8). Is n at least as big as o?
False
Let x = -5 - -5.02. Let j = -0.22 + x. Let b = -6.35 + 6.4. Is j at least as big as b?
False
Let v be 23/(-13) + (0 - -1). Which is smaller: 3 or v?
v
Let v = -870 + 870.7. Which is smaller: -2/5 or v?
-2/5
Let o be 3/(-9) + (-9)/((-27)/124). Which is smaller: 38 or o?
38
Let k be (4/16)/1*-2. Let f = -68/3 + 22. Which is bigger: k or f?
k
Let s be (-28)/16*60/5. Which is smaller: -23 or s?
-23
Let h = -0.0172 - -77.7172. Let d = h - 79. Are -2 and d unequal?
True
Let i(t) = 3*t**2 + 3*t + 2. Let f be i(-1). Suppose -5*x + f*d = -5, 3*x - 5*x + 23 = -5*d. Is 0 smaller than x?
False
Suppose 0 = -3*r + 4*w - 86, 2*r - 5*r - 95 = 5*w. Let n be 24/r + 97/(-10). Is n <= -12?
False
Let o(n) = -6*n**2 - 18*n + 1. Let l(d) = -d**2 - d. Let y(h) = -4*l(h) + o(h). Let a be y(-7). Which is smaller: a or 2/23?
2/23
Suppose -49*s - 39*s = -34*s. Let j be -1 + 97/14*2. Let m = j - 436/35. Which is greater: s or m?
m
Let t(o) = -o**3 + 5*o**2 + 14*o + 4. Let y be t(7). Suppose -3*j - 19 = -y*i, -5*j = -5*i + 7 + 23. Does i = 1?
True
Let v be -1*(-5)/(-10)*(3 - 5). Is v at least -1/9?
True
Let y(s) be the second derivative of s**4/12 - 5*s**3/2 - 5*s**2/2 - 2*s. Let k(b) be the first derivative of y(b). Let h be k(7). Which is greater: 2 or h?
2
Let y be -33*1*7*6/9. Let m be (-1430)/y - (-2)/(-7). Let g(j) = j**3. Let f be g(2). Which is bigger: f or m?
m
Suppose 3*n - 2*a - 707 = -18, 2*n - 3*a - 466 = 0. Which is greater: 228 or n?
228
Let h = -6.802 - 0.898. Which is smaller: h or 0.1?
h
Let f(o) = -2*o**3 + 4*o**2 - 2*o - 1. Let d be f(2). Suppose -27*q - 73 = 62. Is q at least as big as d?
True
Suppose -3*u + 4*u - 3*p = 10, u = -5*p - 30. Let i be (-5)/(-12)*(-2)/u. Suppose 5*g = -0*g - 4*v - 5, -3*g + 2*v - 3 = 0. Is g > i?
False
Let k(i) = 0 - 1 + 0*i - i. Let o(t) = -2*t + 8. Let v(r) = -3*k(r) + o(r). Let a be v(-12). Which is smaller: -4/9 or a?
a
Let r = 157 - 42. Suppose -r - 17 = 11*u. Is u less than -3?
True
Suppose 541 = 61*s + 1822. Is -25 smaller than s?
True
Let w(v) = -4*v - 15. Let q be w(-4). Let h be 25/q - (-7)/(-7). Let x be 3/4*(-200)/h. Which is greater: -7 or x?
x
Suppose 4*t - 12 = 4*m, 0 = -4*t - 4*m - 2 - 2. Let n = -3757/30 + 251/2. Which is smaller: n or t?
n
Let y be ((-28656)/(-216))/((-2)/15). Is -1 less than y?
False
Let a = 0.8 + 7.2. Let n = 9 - a. Is n >= -6?
True
Let o = 76 - 378/5. Let r = 0.1 + 0.3. Let m = 0.3 - r. Is o smaller than m?
False
Let i = 13 - 35/3. Let w(j) = -6*j + 30. Let y be w(5). Which is greater: i or y?
i
Let j = 47 + -43. Let i be ((-90)/j)/(3/(-4)). Which is bigger: i or 29?
i
Let c = 1199 - 1199. Are 33 and c non-equal?
True
Let w = 75 + -7. Is 68 != w?
False
Let i = 63 - 49. Suppose 0 = -3*h - i - 28. Is h less than -11?
True
Let p be ((-1)/(-10))/((-7)/406). Let c = -6 - p. Do c and -1 have the same value?
False
Let l be 0 + 1 - ((-7399)/(-1099))/7. Which is smaller: 1/2 or l?
l
Let l = 12 - 11.91. Let m = 0.13 + l. Let s = 0.7 - 0.6. Is s less than m?
True
Suppose -2*r - 2*r = -4. Let o be ((-5)/(-10))/(4/(32/446)). Is r less than or equal to o?
False
Let k = 3431347 - 7360239742/2145. Let i = k + 9/65. Which is bigger: 0 or i?
0
Let o(q) = -27*q + 385. Let l be o(15). Which is bigger: l or 4?
4
Suppose -2*f + 262 = 3*m, 334 = 3*f - m - 48. Suppose f = 5*q + 43. Suppose v - 2*g + 5*g = q, -4*v + 33 = 5*g. Is 2 at most v?
True
Let z = -7 + 18. Let h(s) = -s**3 - s**2 + 4. Suppose -6*j - 14 + 2 = 0. Let m be h(j). Which is smaller: z or m?
m
Suppose 2*n - 233 = 37*c - 38*c, 0 = 3*c + 3*n - 684. Which is smaller: 222 or c?
222
Let j(i) = i**2 - 7*i - 25. Let x be j(8). Which is greater: x or -91/5?
x
Let j = 178.8 + -179.8. Is j bigger than -1098?
True
Let q = -46 - -32. Let f = q - -12. Let y = 0.07 - 3.07. Which is smaller: y or f?
y
Let v(b) = 2*b - 28. Let c be v(0). Let p be (-2)/56 - (-2)/c*-4. Which is smaller: 1 or p?
p
Let b be (15 - -12)*(2 - 1). Let x = b - 25. Suppose -5*c - 29 + 11 = x*k, -5*c = 10. Are k and -5 non-equal?
True
Let t be ((-3)/(-357))/((-1)/2). Let i = 6 - 5. Which is smaller: t or i?
t
Let s be 226/(-14) - 54/63. Which is greater: 9 or s?
9
Suppose 9*v - 4*v = -2*q - 44, q + 42 = -5*v. Let o be ((-8)/10)/(-2 + 4). Is o at least as big as v?
True
Suppose 3*q = 7*q + 24. Let f(o) = -61*o + 178. Let p be f(3). Does p = q?
False
Let l be (-10)/25 + 43/(-5). Let h be l/(6*1/4