 Which is smaller: y or m?
m
Let v = -0.4458 - -7.0568. Let b = v + 0.089. Let j = b + -30.7. Is 0 less than j?
False
Let m = 673/21 + -100/3. Let z be -10 + (7 + 114)/11. Is m less than or equal to z?
True
Suppose 3*f + 2*o + 14 = 0, 15*f = 13*f + 4*o - 20. Let c(u) = -3*u**3 + 4*u + 2*u**3 - 4 - 5*u + 0*u**3 - 7*u**2. Let m be c(f). Is -34 at most as big as m?
True
Let a = 66 - -34. Let k = -96 + a. Suppose k = -3*y - 8. Does -8 = y?
False
Let n be (5 + -15)*(-170)/25. Which is bigger: n or 482/7?
482/7
Let u = -38 + 18. Let j = u - -18. Is -0.01 greater than or equal to j?
True
Let p = 2477 + -1444. Let b = 1033.186 - p. Which is bigger: 0 or b?
b
Let g = -23898 + 23897.93196. Which is bigger: g or 1?
1
Suppose 15*c - 430 = -40. Let f(l) = -l + 4. Let a be f(c). Is a less than or equal to -20?
True
Suppose 200 = 20*s - 10*s. Let a be (4 - 1)/(450/s). Is 1 at least a?
True
Let w = -9526 + 9679. Are w and 162 non-equal?
True
Let s be (2/(-2) - 4)*(-902)/(-55). Suppose 0 - 83 = d. Is s != d?
True
Suppose -2*x = 5*m + 30, -4*m + m = -2*x + 18. Let d = -5 - m. Let g be -11 + (0 - 3)*d. Is -13 bigger than g?
True
Let n = 3.1224 - 0.1074. Let w = 218 + -217.985. Let z = w - n. Is z greater than or equal to -0.08?
False
Let w be (-6)/2*(1 + -9 + 65/8). Let s be (2 - 1)*1 + -1. Let b = s - -1. Which is bigger: b or w?
b
Let x = 4.37 - 4.67. Which is bigger: x or -4.6?
x
Let r be (-40)/(-20)*(-1 - -44). Suppose r*z + 261 = 89*z. Suppose 0 = -8*p + 15 - z. Is -3 at most as big as p?
False
Let r be ((-4)/(-6))/(2/(-36)). Let i(v) = -41*v - 92 - 14*v - 5*v**2 + 12*v**2 - 9*v**2. Let q be i(-26). Which is smaller: q or r?
q
Let w be ((-2)/(-4))/((-4)/40). Suppose -4*s - 13 = 3*k, 4*s + 4*k - 5*k = -1. Let r be s/(-4) + (-75)/60. Is w < r?
True
Suppose 0 = -18*h + 22*h - 8. Suppose m = -6 + 2, -5*o - 4278 = h*m. Let l = o + 8531/10. Which is bigger: l or 0?
0
Suppose 18 = 4*d - 18. Let g(s) = 3*s**2 - 6*s + 12. Let u be g(4). Let z = 44 - u. Which is smaller: z or d?
z
Let z be -4 + (2 - 2) + 8. Suppose -251 = 4*f - g, -z*f + g - 246 = -g. Let q be (-4)/18 - (-5 - f/36). Is q > 5?
False
Let p = -3025 + -13987. Which is greater: -17013 or p?
p
Let n = 10183 - 11150383/1095. Which is smaller: n or -1?
-1
Let p = 26 - 24. Suppose -j - p*u + 3*u = 6, j - 3*u - 2 = 0. Suppose -51 + 24 = 3*x. Are j and x equal?
False
Let m = -3843.9721 + 3807.83. Let k = m + 0.0021. Let f = k - -0.14. Are f and -0.1 nonequal?
True
Let z(j) = 8*j**3 - j**2 + 287*j + 855. Let n be z(-3). Let l(u) = -6*u**2 + 2*u - 4. Let y be l(-6). Which is bigger: n or y?
n
Let p = 212590/53 - 4011. Let j = -3999 + 3998. Does p = j?
False
Let k be ((-108)/756)/((-2)/23622). Which is smaller: k or 1686?
1686
Let q = 1927 - 1909. Let z be (19/3)/(1/3). Which is smaller: q or z?
q
Let d = 403277/68 - 23725/4. Which is bigger: d or -1?
d
Let j = 4085 - 12257/3. Is j <= 5/144?
True
Let v = -5480 - -5479. Which is smaller: v or 1/3916?
v
Suppose 7*k - 1143 = r + 15*k, r - 5*k = -1221. Is -1189 smaller than r?
False
Let m = 369268823 + 290321126. Let z = m - 3005091820181/4556. Let d = 2/1139 + z. Which is greater: d or -4?
d
Let c = 87 + -84. Suppose 6 = 3*l + c*l. Which is smaller: l or -5/14?
-5/14
Let t be 12 + 1 + (-774870)/59605. Are 1 and t equal?
False
Let n = -2169.97 - -2083.4. Let q = 87 + n. Let f = q + 0.47. Is 0.2 < f?
True
Let m be 3 - (0 + (-11578)/(-470)) - (-8)/20. Which is smaller: m or -20?
m
Suppose -3*y = -5*a, 0 = 5*y - 2*y + 3*a. Suppose -4*b + v + 3 = 5, y = b + 3*v - 6. Let n be (0/(3 + -10))/((-8)/(-2)). Is b greater than or equal to n?
True
Let r(w) = 3*w + 70. Let x(f) be the third derivative of f**4/8 + 34*f**3/3 - 26*f**2. Let t(y) = 5*r(y) - 6*x(y). Let d be t(-25). Which is greater: 14 or d?
d
Let g = 136693 + -136692. Let u be 42/32 + (1 - 1). Which is bigger: u or g?
u
Let w be -9 - (9/6)/(6/(-32)). Which is greater: w or -7/494?
-7/494
Let l = 19.951 + -20. Let m = -16.951 + l. Let z = m - -18. Which is smaller: 21 or z?
z
Let x(q) = -9*q - 24. Let n be x(-6). Suppose 7*v + n = 12*v. Does 19 = v?
False
Let a be (-3 + ((-4)/(-2) - 0))/((-8)/1144). Is 143 at least a?
True
Let n = -5693 - -5697. Which is greater: n or -42?
n
Let t = 76 + -84. Let w = t + 13. Suppose w*m + 45 = -0*m. Is m smaller than -9?
False
Suppose 2*u + 39 - 9 = 0. Let g be (-2 + u/(-12))*(7 - -1). Is g > 7?
False
Let i = -254.9 - -181.2. Let f = -71.6 - 2.4. Let h = i - f. Does h = -0.2?
False
Let o = 66 - 61. Let r be (-2 - o)/(5/120*-3). Let g be (-15)/15*-19*3. Which is bigger: r or g?
g
Let j(h) be the second derivative of 7*h + 12*h**2 - 1/20*h**5 + 0 - 11/12*h**4 + 7/3*h**3. Let f be j(-12). Are f and 18 unequal?
True
Suppose -h + 2273 = -4*q, -5*q - 2619 = -3*h + 210. Is -5135/9 != q?
True
Let w = 2357 - 21215/9. Do w and -19/61 have the same value?
False
Let n = -1.0264 - -1.0924. Let c = 1 - 0.9. Which is smaller: n or c?
n
Let k be (152/2)/((-20)/(-130)). Let c be k/13 + 2*2. Suppose 31*m + x = 28*m + 129, -5*x = 0. Which is greater: m or c?
m
Let q(f) = 55 + 15*f**2 - 2*f**2 - 11*f - 12*f**2. Let v be q(12). Is v < 69?
True
Suppose 49*k - 28*k = 168. Suppose 5*j + 0 = 2*g + 10, -4*j + 3*g = -k. Which is greater: j or 3?
3
Suppose -12 = -3*t + 3. Suppose -3*r + 6*r + 20 = m, 5*r + t*m = 0. Let s be ((-8)/20)/(r/75). Which is bigger: 27/4 or s?
27/4
Let u = -43 - -46. Let b(p) = 35 + 2*p - u - 7. Let q be b(-10). Is 9 at least as big as q?
True
Let t be ((-104266)/36 - 24/108)/6. Let y = t - -939/2. Let x be 12/((-3)/(-1)) - 18. Which is smaller: y or x?
x
Suppose m = -2*m - 12. Suppose -50*n = -48*n + 60. Let f be n/255 - (-912)/(-340). Which is bigger: m or f?
f
Let i be (-99)/3*(-32)/(-96). Let l(a) = 2*a**2 + 25*a + 133. Let r be l(i). Does 102 = r?
False
Let m be ((-16)/(-490))/(-12 + (1971/55)/3). Is 0 > m?
True
Let i be -2*(-9)/(-12) - (-171975)/(-50). Is -3441 less than i?
False
Let v be (2/60)/(76/12). Let a = v + 363/3230. Which is bigger: 5 or a?
5
Let g(a) = -9*a - 8*a + 8*a + 2. Let p be g(1). Let m(k) = -3*k**2 - 5*k - 4. Let w be m(-2). Is p greater than or equal to w?
False
Suppose -170 - 86 = c - 5*b, 0 = -2*c + b - 512. Let l = -86 - c. Do 172 and l have different values?
True
Suppose 0*u = u - 3*d - 10, 4*d = -u - 18. Let l(z) = 12*z - 21. Let v(i) = -25*i + 43. Let j(f) = u*v(f) - 5*l(f). Let n be j(-4). Is n equal to 59?
True
Let b(f) = f**2 - 15*f + 52. Let l be b(5). Let p = -963 + 1987/2. Let k = p - 30. Which is smaller: l or k?
k
Let m = -1269 - -1269. Which is bigger: m or -4/39?
m
Suppose -2*h + 5*u - 6*u = -612, u - 1524 = -5*h. Suppose 12*g - h + 40 = 0. Is g bigger than -5?
True
Let u be (-8*15/10)/(225/(-660)). Which is smaller: u or 0?
0
Let d be 25 + 5*((-21)/(-15) + -1). Suppose 2*v + 3*z + 23 = -11, -v + z = d. Let t = v + 66. Are t and 43 unequal?
False
Suppose 4*q - 22*q = -1530. Suppose 5*t + 130 = 5*m + t, -t = -3*m + q. Suppose m = 4*x - 5*x. Is x greater than -30?
False
Suppose -5*m - 4*o + 101 = -85, 2*m + 3*o - 73 = 0. Let l = 38 - m. Let d = 133 - 1996/15. Is d < l?
True
Let t be 2/(-7) + 4552/56. Suppose 0 = -4*o + 4*r + t + 15, -2*r = -o + 22. Which is smaller: o or 35?
o
Suppose n + 1 = j, 2*j = -2*n + 11 - 13. Is j smaller than -9/103?
False
Suppose 0 = c + 24 - 8. Let u be (-1 - 80/(-68))*c/3. Is -1 < u?
True
Suppose 0 = 18*i - 30*i - 84. Suppose 4 = -2*j, 2*b - 5*j + 4*j = -18. Is b at least as big as i?
False
Let t = 1049 + -690. Let y = t - 608. Is -250 smaller than y?
True
Let v be (90/(-40))/(3/(-16)). Let h be -56*3/(-195) + v/(-30). Which is smaller: 1 or h?
h
Let s = 9 + -9. Let h = 715 + -483. Let r = h + -3943/17. Which is bigger: r or s?
r
Suppose 3*i - 6*b + 9 = 0, 5 - 22 = 3*i + 2*b. Let s(o) = -o**3 - 6*o**2 - 5*o - 1. Let j be s(i). Which is bigger: 437 or j?
437
Let z = 1.6537 - -1.0463. Which is greater: -3.8 or z?
z
Suppose 4*v - z + 4*z - 8 = 0, -11 = -3*v - z. Let u be (3*3)/(-266 - -269). Which is smaller: v or u?
u
Let o = -1633 - -9453. Which is bigger: o or -0.2?
o
Let y = -0.13 + -6.47. Let m = -15334 + 30667/2. Are m and y non-equal?
True
Suppose 3*x - 6*x + 12 = 0. Let s be 0/(-3*x/(-6)). Let o be s + (-4)/(-6) + (0 - 1). Which is bigger: -0.3 or o?
-0.3
Let l be (0 + 5/(35*113))/(20/80). Which is smaller: l