 <= -182?
True
Let j = 28 - 41. Let t = 134 - 180. Let y be 27/t + 12/138. Is y at least as big as j?
True
Let w = 0.145 - -0.237. Suppose -68*j = 2*j - 6*j. Which is greater: j or w?
w
Let f = -198 - -282. Suppose f = 5*w - 11. Suppose -16*v = -13*v - 60. Are v and w non-equal?
True
Let u(a) = 12*a**3 - 299*a**2 + 16*a + 85. Let q be u(25). Is q at least as big as 1112?
False
Let v = 0.1113 - 0.0636. Which is bigger: 2 or v?
2
Let v = 6861719/6582 - -8/3291. Let t = v + -1021. Suppose -2*i - 59 + 57 = 0, 0 = -5*j - 4*i + 111. Which is smaller: j or t?
t
Let u be ((-588)/105)/(7/((-1575)/6) + 0). Which is smaller: 202 or u?
202
Let m(i) = -399*i + 2393. Let t be m(6). Let z = 78 - -133. Let c = -20047/95 + z. Which is smaller: t or c?
t
Let w(c) = c**3 + 12*c**2 + c - 111. Let m be w(-11). Which is smaller: m or -3/1177?
m
Let l = -5246.729 + 5247. Which is smaller: l or -8?
-8
Suppose 0 = -r - 5*h + 81, -9*r - 2*h + 252 = -5*r. Is r smaller than 0?
False
Let p(q) = 112*q - 9715. Let k be p(87). Is 279/10 less than k?
True
Let h = 77/62 - 11/2. Which is smaller: h or -5?
-5
Suppose 6 = -u - u. Suppose -4*t = -2*j - 6, 0 = 5*t - 24*j + 20*j. Let z be (-6 - (-1 + u))*t. Is -9 > z?
False
Let y(s) = 4*s - 23. Let f be y(6). Suppose 2*i = f + 7. Suppose g - b - 3*b = 20, -i*g = -5*b - 25. Does g = 1?
False
Let x be (-18)/52*(-84512)/3113682. Let g = x + 2/1859. Which is smaller: g or 1?
g
Let x be 324/1458*(-27)/6. Suppose -2*u - 4*f - 48 = 0, 5*u + 4*f + 84 = 6*f. Let z be (-16)/(-7)*14/u. Which is greater: z or x?
x
Suppose 1544 = -25*i + 44*i - 2256. Which is bigger: -9 or i?
i
Let f be 10*4/30*(-213)/2. Let d = -137 - f. Suppose 0*w + w - 9 = d*c, -c - 5 = -w. Is -1/17 greater than or equal to w?
False
Let u = -2 - -2. Let i = 1.264 + -0.79. Let r = -0.804 + i. Which is greater: r or u?
u
Let k = -97 + 139. Let b = k + -41.91. Let n = -0.15 + b. Is n equal to -0.1?
False
Let y = -458855/7 - -65435. Is y != -115?
True
Let x(j) = j + 6. Let d be x(-3). Suppose 10 = 2*s - 8. Let t = s - 5. Which is smaller: t or d?
d
Let k = -343.169 - -364.08. Which is smaller: 0.1 or k?
0.1
Let z(f) = -f**2 - 12*f + 33. Let h be z(-14). Suppose -2*q - 2 = -h*v, 8*q - 10 = v + 5*q. Let t be 2/7 - (-30)/(-7). Which is smaller: v or t?
t
Let j = -1.1 - -0.1. Let p = 739/8724 + -1/727. Do p and j have the same value?
False
Let z(k) = k**3 - 25*k**2 + 43*k + 70. Let a be z(23). Is 3/1454 >= a?
False
Suppose 2*a + 7 + 19 = 0. Suppose -38 = -11*r + 28. Suppose 69 + 15 = -r*i. Do i and a have the same value?
False
Let a(m) = m + 2. Let v be a(1). Let g be 36/v + -2 + -2. Suppose g*w = 4*w + 64. Which is smaller: 15 or w?
15
Let j = 3038 - 3032. Let q = 0.07 - 0.01. Let y = 0.34 + q. Is y at least as big as j?
False
Suppose 0 = -5*f + 5*x - 0*x - 500, -188 = 2*f + x. Let z = f - -101. Suppose -4*h + 3 = z*c - 11, -3*h + 3*c - 3 = 0. Is -7/19 > h?
False
Suppose -4*f + 16 = -4*q, -3*q + 2*f - 13 = -0*q. Suppose 0 = -i - 1114 - 190. Let l be (i/130)/2 - 20/(-50). Is l greater than or equal to q?
True
Let s(k) = 6*k + 16. Let q be s(-7). Let g = q + 27. Let r be (g - 1) + -1 + (1 - 0). Is 8 greater than or equal to r?
True
Let r = -22 + 25. Let f be 5 - r - (5 - 29). Suppose -11*t = 14 - 289. Which is smaller: t or f?
t
Let m = 12 + -6. Let h be (-6)/(-40)*(4 - m). Suppose 0 = 2*g + 10, 14*c - 17*c + 16 = -2*g. Is c != h?
True
Suppose -15055 + 2119 = 8*i. Is -1615 <= i?
False
Suppose -87*q = 8881 - 1646 + 15037. Suppose -2*w - 192 = 102. Let l = q - w. Which is greater: -110 or l?
l
Let g(b) = -2*b**2 + 33*b - 5. Suppose 4*j + 5*v - 35 = 0, -5*j + 15*v = 12*v - 90. Let p be g(j). Which is smaller: 42 or p?
p
Let n = -5815187181641/397 - -14647818770. Let v = n - -7884. Does 1 = v?
False
Suppose -3*c - 3*d + 33 = 0, 0 = c + 2*c - 3*d - 45. Suppose c*z - 12*z = 1. Let f(r) = r**3 - 7*r**2 + 44. Let v be f(5). Is v greater than z?
False
Suppose 3*g = -a + 8515, -57*a = g - 55*a - 2840. Let q = 1964 - g. Is q equal to -873?
False
Let v = 7298/3435 - 32/15. Let q = v + -133/10992. Is 0 at most as big as q?
False
Let u = -1074 - -1073.5. Is 1159 less than u?
False
Let j be 260/1430 - ((-1)/(-9) + 4/18). Let m = -15 + 16. Are m and j equal?
False
Let t(h) = 5*h**2 - 113*h + 727. Let r be t(6). Are 10 and r unequal?
True
Let r = 66151 + -67804763/1025. Is 1 at most r?
False
Let i(m) = -1552*m - 4172. Let z be i(-3). Which is bigger: 482 or z?
z
Suppose 60*x = -69*x + 46*x. Which is smaller: -4/295 or x?
-4/295
Suppose 9*a - 3*a = 966. Suppose 0 = 11*h - 2130 + a. Suppose -5*s + 31 = -h. Which is smaller: 43 or s?
s
Let h = 12.7 - 12. Let s = 0.14 - h. Let w = s - -0.86. Is -0.06 less than or equal to w?
True
Let m(q) = -10*q**2 + 34*q + 8. Let n be m(-12). Is -1838 at most as big as n?
False
Let y = -0.64 - -1.94. Let u = y + 2.5. Let x = -3.9 + u. Is 4 less than x?
False
Let d(n) = 8*n**2 - 52*n - 8. Let y be d(6). Let l be (12/(-16))/(172/y - 1). Which is smaller: 0 or l?
0
Suppose 2*s + 33 - 19 = d, d + 35 = -5*s. Does -26/747 = d?
False
Let q(f) = f**2 - 18*f - 3078. Let r be q(77). Which is smaller: r or 1464?
1464
Let m = 60495/4 + -15638. Is m > -514?
False
Suppose -2*g - 269 = -g. Let k(y) = -4*y**2 - 14*y + 588. Let q be k(13). Which is greater: g or q?
g
Let z be -5*5/(-125) + 4/5. Let r be (-2 - (-8 - z))/((-1)/15). Is r != -104?
True
Suppose 148*f - 143*f = 60. Are f and -0.023 equal?
False
Let g = -863/1722 + 1/861. Let z = 0.246 - -146.754. Which is bigger: z or g?
z
Let n be 16 - 6097/217 - -12. Suppose t + 3 - 5 = 0. Suppose 0 = t*j - 5*j + 3. Which is bigger: n or j?
j
Suppose 2*n + 2570 = -4*q, 9 + 16 = -5*n. Let w = -16008/25 - q. Which is smaller: -1 or w?
-1
Let x = 215 + -211. Let c be -32 - 2 - x/(12/(-9)). Which is bigger: c or -33?
c
Let m be 27*6/27 + 27. Let f(g) = -g**3 + 5*g**2 + 7*g - 2. Let o be f(6). Suppose -5*q = 2*x + 122, o*q + 91 = 5*x - m. Is -28 equal to q?
False
Let b be (-6)/(-21) + ((-1236)/(-84) - 3). Is b less than 78?
True
Let s(t) = -2*t**2 - 8*t - 4. Let p be s(-4). Let q be 9 - 3/p*-4. Let l(w) = -2*w**2 + 16*w - 24. Let a be l(q). Is a != -9/10?
True
Let o = -45685344/19 - -2405026. Which is greater: o or 535?
535
Let k = -32125089/1213 + 26484. Is -1 != k?
True
Let g = 2/1857 - -18556/12999. Is g smaller than 2/51?
False
Let f(z) = -12*z - 6. Let c be f(-1). Let s be c/21*(-14)/18. Is 10 greater than s?
True
Let b = -3.8 - -3.6. Let y = b + 0.266. Let r = y - -0.154. Are r and 0.1 nonequal?
True
Suppose 8*b - 384 = -8*b. Let j = -9 - -7.2. Let k = j - -1.7. Which is smaller: b or k?
k
Let m = 0.1135 - -519.8865. Which is smaller: m or -0.3?
-0.3
Suppose -3*w + 5 = 2*w. Suppose 4*z = -5*m - 97 - 25, -4*z - m - 130 = 0. Let r = -893/27 - z. Which is smaller: w or r?
r
Suppose -5*y = 3*m - 169, 4*y = 3*y - 4. Let u be (m/(-30))/((-30)/875). Let a = 41397/676 - u. Which is smaller: a or -1?
-1
Suppose 13*y + 66 = -8*y - 45*y. Does y = 5/4044?
False
Let t = 414757 + -4556873/11. Is t >= 496?
False
Let y(t) = 5*t**3 + 41*t**2 + 21*t - 101. Let r(o) = o**3 + 10*o**2 + 5*o - 25. Let m(u) = 9*r(u) - 2*y(u). Let j be m(8). Which is smaller: j or 1/71?
1/71
Let f(w) be the first derivative of -w**4/4 - 17*w**3/2 - 8*w**2 - 27. Let z(r) be the second derivative of f(r). Let j be z(-7). Which is smaller: j or -43/5?
j
Let u = -668285/37 + 18059. Does u = -2?
False
Suppose -122*z + 66 + 6 = -50. Let c be 4/5070*(-1 + 6). Is z bigger than c?
True
Let p(x) = x**2 + 9*x - 3. Let s be p(-7). Let l = -4208339/269765 - -1/53953. Which is bigger: s or l?
l
Let q = 216 + -217. Is 4/483 >= q?
True
Suppose -756*w = -760*w - 24. Let h(y) = -y**3 - 3*y**2 + 20*y + 3. Let i be h(w). Is -17 less than i?
True
Let b = 789935/1918 + -2883/7. Let q(l) = l**2 - 4*l - 4. Let w be q(5). Is w at most b?
False
Suppose 9*n = -m - 33 + 824, n - 2269 = -3*m. Is m > 759?
False
Let m = 60/7 + -62/7. Let g = -6.612 - -6.6. Let v = 0.072 + g. Which is smaller: m or v?
m
Let i = -302 + 133. Let k = -64 - i. Suppose -21*g + 6*g = k. Is g at most -10?
False
Let p = -7314 - -8834. Which is smaller: p or 1521?
p
Let u = -324/25 - -584/25. Let k = -665 + 675. Do u and k have different values?
True
Suppose v - 3*j - 1187 = 1284, -v - 2*j + 2481 = 0. Let p = 7528/3 - v. Let d = 3