 2/313. Is i bigger than h?
True
Let s(v) = -3*v**2 + 196*v + 50. Let p be s(42). Is 2989 at most as big as p?
True
Let p = 13412 - 39508/3. Is p bigger than 243?
False
Suppose 2*p - 3*q = -p - 12, 4*p + 4*q - 24 = 0. Let z be (6 - 3 - 2)*p/(-25). Suppose -3*n - 17 = -5*t, n + 0*n + 19 = 5*t. Which is smaller: z or n?
z
Let f = 1.68 - 184.68. Let n = -182.8 - f. Is n < -10?
False
Let b = -646 - -646.1. Let f(p) = -5*p + 6. Let t be f(4). Let q = 3 + t. Is q smaller than b?
True
Let k be (-4)/14 + (-30)/(-105). Let u be -1 - (2 + k) - -33. Let z be (u/20)/((-6)/4). Is z at least as big as -2/17?
False
Suppose -5*h + 6 = -3*h. Suppose l = -y - 0*y + 8, -y = -h*l. Let r be 195/(-26)*4/y. Which is greater: -6 or r?
r
Let y be 9/(-5)*25/(-3)*-1. Let x be 3/y - 66/(-55). Which is smaller: 37 or x?
x
Let q = 56 - 58. Let b be q/13 + (-5)/(130/(-1954)). Suppose 4*c + b = -c. Is c equal to -15?
True
Let h be ((16 - 12) + -2)/(-1 - 0). Let f(n) = 9*n**2 - 1. Let s be f(1). Let v be 123/51 - (s + -5). Are h and v non-equal?
True
Let g = 5074 - 5077. Which is smaller: 1.85 or g?
g
Suppose -41*l = -37*l - 84. Suppose 0 = l*u - 27*u. Are -2/397 and u unequal?
True
Suppose -5*z + z = -60. Suppose -12*g - 504 + 528 = 0. Let v be (0 - 81/(-12))*g. Which is greater: z or v?
z
Suppose 4*a + 3*v + 80 = 0, a - 2*v = -3 - 17. Let u be (-10)/(-8) - (-5)/a. Let l = -911 + 22779/25. Is l > u?
False
Let a be -74 + 79 + 1 + 735 - 0. Are a and 740 nonequal?
True
Let n(g) = -544*g + 4357. Let z be n(8). Let p(o) = 7*o - 34. Let y(d) = -7*d + 34. Let f(u) = 6*p(u) + 7*y(u). Let h be f(z). Does h = 2/75?
False
Suppose -9*j + 8*j = -5*h - 131, -2*j + 262 = -h. Let d = j - 445. Is -313 bigger than d?
True
Let l = 1.1467 - 1.083. Let y = 0.1363 + l. Which is bigger: y or -93?
y
Let m = 12293 - 12292. Let u be 1 + 1 + (-159)/79. Which is smaller: u or m?
u
Suppose -126*o = -109*o - 102. Suppose o*c + 815 - 311 = 0. Let x(u) = 20*u - 5. Let z be x(-4). Are c and z unequal?
True
Suppose -3*s - 50 = 10. Let i = 1154 + 45. Let a = i - 1219. Are s and a non-equal?
False
Suppose -1051 - 5207 = -307*d - 1346. Which is bigger: -774 or d?
d
Let n be (-1*-35*1)/(49 + 7605/(-156)). Which is smaller: 5 or n?
5
Let m = -360113 + 1786908/5. Let j = m + 2751. Which is smaller: 21 or j?
j
Let d = 0.71 - 2.71. Which is bigger: d or 225/29?
225/29
Let g be (-1 + (-4)/(-8))*2. Let d be (32/144 - 4/18)*5/15. Is g bigger than d?
False
Suppose 2*h = 5*u - 5, -4*h + 18 + 17 = 5*u. Let d be (-341)/(-121) - 4/(-22). Suppose 8*p + 10 = d*p + u*i, 4*i - 18 = 2*p. Which is smaller: p or -1/5?
-1/5
Let h be 1193 + (-10 - (-2 + 5)). Which is bigger: 1179 or h?
h
Let u be 2 - (105/(-19) - (-217)/31). Are 36 and u equal?
False
Let j be 24/2*-22*16/(-264). Suppose j*o - 909 = 19. Is o smaller than 59?
True
Suppose 0 = -4*z - 3*z - 0*z. Suppose -j = -4*a - z - 4, 0 = 3*j + 2*a + 2. Suppose -3*c - 3 = 0, j = 3*u - 2*c + 11 + 8. Which is smaller: -8 or u?
-8
Let m = -0.88 - 51.12. Let f = m - -47. Let o = f - -4.8. Is 1/4 < o?
False
Let u = 33 + -71. Suppose p - 16 - 21 = 0. Let v be (-1)/(1 - p/38). Is u > v?
False
Let j = -0.6 + -0.7. Let g(k) = -2*k**2 - 8*k - 22. Let m be g(6). Let n = 143 + m. Does j = n?
False
Let n be (-5 + 115/(-10))/(48/(-32)). Is 56/5 at least n?
True
Let h(t) = t**3 + 27*t**2 + 51*t + 20. Let g be h(-25). Let n be (-20)/g - (16 + -6 + -6). Is -8/7 > n?
False
Let x = -454.5163 + 453.5. Let l = -0.0163 - x. Is -0.489 greater than or equal to l?
False
Let r(t) = t**3 - 4*t**2 + 4*t. Let n be r(3). Let k = 6300 - 6284. Suppose -4*w + 4*f - k = 0, 0 = 3*w - 2*w - n*f + 8. Is w at least as big as -42/13?
True
Let j = -239 - -241. Suppose -5*c = -5*d + 860, 330 = j*d - 8*c + 13*c. Is d at least 172?
False
Let w = -22137 - -2966373/134. Let z = -12077/110282 + w. Which is smaller: 1 or z?
z
Let d = -22 + 23. Let n be 4 + (d - 4) + -30. Let f = -28 + 1. Is f <= n?
False
Suppose 5*i + 29 = 5*n - 1, 0 = -i + 3*n - 16. Let m be (-7 - (-10052)/1420 - 0)/((-14)/(-35)). Does m = i?
False
Let b = 389 + -387. Let i = -0.3 - 1.6. Let u = i + b. Which is greater: u or -2?
u
Let x(s) = -25*s - 2. Let n be x(-1). Suppose -2 = -5*t + n. Suppose t*g - 25 = -0*g. Which is smaller: g or 4?
4
Let y be 342/434 - 21/147. Let b be (-1 - 1/(-2))*(1 + -1). Is y at least as big as b?
True
Let j be (24/(-48))/((-2)/12). Let v be 0 - j - (-6 + 2). Let c = 175/3363 - 2/57. Is v at least as big as c?
True
Let b = 172.6 + -8.5. Is b <= 0.1?
False
Let p be ((-165)/(-42))/((-539)/1034). Let r = -12/343 + p. Which is smaller: -7 or r?
r
Suppose -22*r + 19 + 101 = 2*r. Which is smaller: r or -1344?
-1344
Suppose -4*c + 2*c = 20. Suppose -1036*z = -1071*z - 280. Which is smaller: z or c?
c
Let u(w) = -w**3 - 128*w**2 - 2*w - 257. Let z be u(-128). Let h = -3202/195 + 210/13. Is h at most as big as z?
False
Let p be (-7 - 60/(-8))*(4 - 0). Let f be 2/p*0 + 0. Is -1/190 bigger than f?
False
Let z = 388 + -383. Let a be (-2002)/(-66) + z/3. Is a at most as big as 33?
True
Let p(i) = -189*i + 844. Let o be p(18). Is -12787/5 at most o?
False
Let g = 0.211 + -0.401. Let j = 4.76 - 5. Let s = j - g. Which is smaller: 4 or s?
s
Let t be (18405/(-135))/(0 + (-7)/18). Which is greater: 352 or t?
352
Let p(j) = -j**2 + 6*j - 4. Let r be p(6). Suppose 3*b - 15 = -4*v + 2*v, 5*v + 3*b = 51. Let n be (v/(-10) - r) + -3. Which is smaller: -1 or n?
-1
Let x = -1 - -1. Suppose 50 = -463*c + 473*c. Let g be (4/1330)/(1/c). Is x less than g?
True
Suppose 5*x + 181 = 186. Let v be (x/(-12))/((-24)/3696). Is 12 smaller than v?
True
Let b(d) = d + 7. Let z be b(-4). Suppose z*c + 5*u + 8 = 3*u, -2*u + 34 = -4*c. Let s be ((-9)/675)/(1/c). Is s smaller than -1?
False
Let u = 317 - 336.3. Let s = -27.3 - u. Is s bigger than -1?
False
Let s = 0.219 - -2.121. Let r = 16.66 - 17.4. Let u = s + r. Which is greater: 2/11 or u?
u
Let l be (74/185)/(((-16)/10)/(-4)). Let o be (-9)/((-7 - l)/56). Suppose 2*y - 136 = -2*c - y, -2*c - y = -128. Is o at least c?
True
Let s = -26 - -24. Let p be s/4*(-22)/11. Which is greater: p or 3/188?
p
Let r(x) = -69*x + 38. Let c be r(4). Let p be c/660 - (-66)/220. Is p at most as big as -4?
False
Suppose 2*r - 8436 = -2*k, -k - 33*r + 4188 = -38*r. Which is bigger: k or 4212?
k
Let k = 170.09 - 192.09. Is -28 bigger than k?
False
Let b = 3090443/42872 - 1658/23. Are b and -1 unequal?
True
Let o be -4 + (-40970)/35 - (-3)/(-7). Let r be (-94)/o + (-23)/(-25). Are 1 and r nonequal?
False
Let b be 18/(-63) - 4/((-84)/447). Let y be (7/(-2))/(1/2). Let m(w) = w**3 + 8*w**2 + 2*w - 14. Let a be m(y). Is b less than a?
False
Let l(a) = a**3 - 18*a**2 + 18*a - 10. Let v be l(17). Let s(d) = -2*d + v*d + 2*d + d**2. Let b be s(-7). Which is bigger: b or 2/27?
2/27
Let r = 650 + -1215. Let m = -565 - r. Let z(c) = c**3 - 5*c**2 + 4*c - 5. Let t be z(5). Is t > m?
True
Let k = 10289 + -9327. Which is smaller: 953 or k?
953
Let n be (-2 + 3)*32/(2/(-2)). Let t be (n + 2)/(-6)*(-4)/2. Let l(m) = -m**3 - 10*m**2 - 3*m - 14. Let f be l(t). Is f < 17?
True
Suppose 2*q - f = -1, f - 2 = -3. Suppose -4*i - 1674 = -12*i + 26*i. Which is smaller: q or i?
i
Let h = 27931 - 166799/6. Which is bigger: h or 130?
h
Suppose -7095*n = -7119*n - 276000. Which is smaller: -11501 or n?
-11501
Let t = -31750 - -127001/4. Is -5.325 > t?
False
Let n be 27/3*(-16)/10. Suppose 55*u + 37*u = -127*u - 3285. Which is smaller: n or u?
u
Let g(y) = 414*y**2 + 4148*y + 19. Let h be g(-10). Let v = 5771 + -29166/5. Is h at least as big as v?
True
Let k be ((-252)/24)/(3/(-4)). Suppose k*u - 148 = 20. Which is smaller: 6 or u?
6
Let j = -7266 + 5635. Is j greater than -1632?
True
Let s be 397*7*-9*(-21)/441. Is -2 at most as big as s?
True
Suppose -399*a + 5568 = -407*a. Let y = 1230 + -1927. Is a at most y?
False
Let h = 30.05 + -30. Let l(p) = -6 - 14 - 3 - p. Let v be l(-26). Which is smaller: v or h?
h
Let k = 0.21 - 0.02. Let v = k + -0.43. Let h be ((-20)/25)/(4 + (2 - 8)). Which is bigger: h or v?
h
Let s = -17281 + 17284. Are s and -3.132 equal?
False
Let g(z) = -z**2 - 14*z - 9. Let d be g(-14). Let w(y) = -y**2 - 14*y - 26. Let h be w(d). Suppose -7 = 2*u - h. Is 5 less than or equal to u?
True
Let l = -495 + 133. Let j = -152 - l. Is 211 bigger 