 or -1?
-1
Let z(x) = x**2 - 3*x - 1. Suppose w + w - 3*g = 7, 3*w - 13 = 2*g. Let l be z(w). Are 12 and l nonequal?
True
Suppose 0 = -2*y - 4*u + 70, y - u - 706 + 674 = 0. Is -3/14 > y?
False
Suppose 247 = -2*v + 321. Suppose 0 = -25*x + v*x. Which is bigger: x or -1/24?
x
Let q = -175 + 157.3. Let g = q + 17.35. Which is smaller: -1 or g?
-1
Let w = -56 + 57. Let k(d) = 3*d - 3. Let i be k(w). Let t be ((-2)/55)/(i + (-1)/10). Is 1 > t?
True
Let q(y) = 5 - 25 + 3 + 10*y + 1 + 4. Let o be q(10). Are o and 88 unequal?
False
Let n = 1.056 - 1.11. Let i = 0.646 - n. Which is smaller: i or 1?
i
Let s = -464 - -438.1. Let a = 26 + s. Let l be (1/1)/(132/120). Which is smaller: l or a?
a
Let x = 172 + -221. Let f = x - -19. Which is smaller: f or -0.2?
f
Let m = -155 + -664. Suppose 731*h + 1968*h = 684*h - 1648270. Is m <= h?
True
Let f(s) = 10*s + 4. Suppose -3*y = 3*b + y + 11, 0 = 4*b - 5*y - 6. Let o be f(b). Let v = -6 - o. Which is bigger: v or 6/17?
6/17
Let k = -75 - -75. Suppose k = -15*j - 262 - 53. Which is bigger: j or -4?
-4
Let q be 77 + 1 - 0/(-1). Let g(z) = z**3 + 13*z**2 - 12*z - 167. Let j be g(-13). Let b be (-60)/110*j + 72. Is b less than q?
False
Suppose -2*s - 12*a = -7*a - 33, -5*a + 38 = -3*s. Are s and -2126/21 non-equal?
True
Let g be 6/(-15) + (-56)/10. Let m = 30925 + -30925.2. Are m and g equal?
False
Let l(g) = -170*g**2 - g**3 - 33 - 29*g - 28 + 59*g**2 + 51*g**2 + 46*g**2. Let u be l(-12). Is u > -4/79?
False
Let v = 4568 + -2990. Are 1578 and v equal?
True
Let s be (36/(-480))/(114/120745). Which is smaller: -80 or s?
-80
Let p(u) = -16*u + 47. Let m be 2*1*(-30)/(-20)*1. Let a be p(m). Which is bigger: a or -128?
a
Let b(l) = l**2 + 13*l + 21. Let z = 1 + 1. Suppose -41 = 5*c - z*p - 6, p - 35 = 5*c. Let y be b(c). Is y >= -21?
True
Let v = 523 - 290. Let s = v + -233. Which is greater: -0.096 or s?
s
Let z(q) = q**3 - 6*q**2 + 10*q - 7. Let v be z(2). Is v > -152/35?
True
Let c(q) = -q**2 + 140*q - 3860. Let r be c(38). Suppose 2*o - o - 3 = 0. Suppose g = -o*g + r. Is -2 < g?
True
Let d = 36 + -26. Suppose -7*y = 2*y - 68*y. Suppose -5*m = h + 15, -9*m + 7*m - 8 = y. Does d = h?
False
Let f(s) = -s**3 - 6*s**2 + 10*s + 18. Let m be f(-7). Let x be m/((-8)/((-176)/(-6))). Which is greater: x or 12?
12
Let v = -774.1905 - -0.1905. Let i = 765 + v. Let d be 2/(-5) + (-2)/(-30). Which is smaller: d or i?
i
Suppose 30 = -77*v + 415. Suppose 0 = 4*a - 3*n - 0*n + 20, 3*a + 15 = -4*n. Let o(r) = r + 7. Let j be o(a). Is j at most v?
True
Let n = -255029338/341525 + 14188/19. Which is smaller: 0 or n?
n
Suppose 3*s + 5*k - 53 = 0, s + 3*k - 4 - 19 = 0. Suppose -1018 = -22*m + 676. Let o = m + -68. Is o equal to s?
False
Let y = -114150/973 - -342/139. Suppose 4*o = 3*c - 479, -2*c = 2*o + 148 + 74. Let k = o - y. Do 0 and k have different values?
True
Suppose -5*d + 95 - 80 = 0. Let v be 1101/9 - ((-66)/18 + d). Is v at most as big as 122?
False
Let k = 6.162 + -6.062. Which is greater: -2481 or k?
k
Let y = -0.3 - -0.2. Let h = -0.02 + y. Let q be (-18)/4*((-86)/817 - (-1)/(-171)). Is q at least as big as h?
True
Let i = 359 - 324. Which is greater: i or 32?
i
Let y = 0.5346 + -160.3346. Is -2/3 <= y?
False
Suppose 59*w - 53*w - 96 = 0. Suppose -8*l - l + w*l = 0. Which is smaller: l or 1/78?
l
Let v = -159774/5525 - -376/13. Let f be (3/(30/(-4)))/(-2) + 2556/(-12780). Is v less than f?
False
Let r = -19171 - -19153. Suppose -n = 3*b + 19, 5*n + 2*b + 38 + 70 = 0. Is r smaller than n?
False
Let p be (7 - 154568/19936) + (-6)/(-8). Let l = p + 877/467250. Which is greater: l or 1?
1
Let b be (-9443)/14 - (-2)/(-4). Let m be 954/b + (-4)/(-50). Which is bigger: m or -2?
m
Let x be (6/(-16))/((-198)/88). Is 88 >= x?
True
Let h = -6.9 - -7. Suppose -32 = -4*b - 52. Let x be ((-1)/(-8))/(b/10). Which is greater: h or x?
h
Let x be 1182/(-78) - 148/(-962). Is 16 smaller than x?
False
Let o = 13887 - 13851. Which is bigger: -249 or o?
o
Let q = 525106/2057 - 4340/17. Let w be 1 - -5*(-2)/14. Is q greater than w?
False
Suppose -96 = -4*r - 4*h, 5*r - 98 = -h + 6. Suppose 32*i + r = 37*i. Let m be 2/i*((-52)/(-12) + -5). Is 0.036 smaller than m?
False
Let z be (85/(-15) + 7)/(2/(-768)). Let a be (-3 + (-1800)/z)/(3/12). Is a greater than 3?
False
Let l(j) = -3*j**2 + 88*j - 32. Let g be l(28). Let w be 6/10 + 6*1752/g. Are w and 134 nonequal?
True
Let p be (319033/(-28977))/(-11) - (3 - 2). Is p < 0?
False
Let c = 2964.06 - -210.94. Which is bigger: 5 or c?
c
Let s be 1407/268 - (-2 + 7). Which is greater: -97 or s?
s
Let i(h) = -h**3 + 18*h**2 - 28*h + 15. Let m be i(17). Let y = -325 - m. Which is bigger: y or -2?
-2
Let n(g) = 150*g - 1114. Let b be n(6). Which is greater: b or -206?
-206
Let x(g) = -255*g + 556. Let b be x(1). Is b at most as big as 302?
True
Suppose -14*t - 289 = -0*t + 229. Which is greater: t or -17?
-17
Let h(k) = 1775*k**3 - k**2 + 3*k - 1. Let a be h(1). Which is bigger: a or 1777?
1777
Suppose 39*l + 453 + 1887 = 0. Is -675/11 != l?
True
Let z = -0.028 + 0.128. Let b be (1 - (-34)/(-10))/((-7)/70). Let v be ((-51)/(-15) + -4)*45/b. Is v < z?
True
Suppose 3*s = 1 - 16. Let t be 128 - 10/(-25)*s. Let p be 21/t + 17/6. Is 17/6 equal to p?
False
Let w be (-189)/18*((-112)/98 + 12/(-21)). Which is smaller: w or -391?
-391
Let w = -291 + 300. Suppose -530 - 1171 = -w*b. Is b smaller than 189?
False
Let h be (-184)/(-82) + 160/(-40). Is -3 not equal to h?
True
Let t = -165 + 158.8. Let n = t + 28.2. Let u = 86 - 432/5. Which is smaller: n or u?
u
Let s = -22837 + 67828/3. Which is greater: s or -228?
s
Let p(g) = -2*g**2 - 66*g - 540. Let t be p(-9). Does -60 = t?
False
Let q = -5889.7361 + 5890. Are 1 and q nonequal?
True
Let y be 9/(-2)*11/(231/(-14)). Suppose 9*b = y + 6. Which is smaller: 2/77 or b?
2/77
Let j(l) = 2*l**2 + 5*l + 4. Let y be j(-8). Suppose 68*w = y*w + 336. Let q = 4817/3 - 1620. Which is greater: q or w?
w
Suppose -30*k = -33*k + 3807. Suppose 1158*q + k = 1155*q. Is -422 less than or equal to q?
False
Let q be ((494/2185)/(-13))/((-2)/130). Which is greater: 1 or q?
q
Let k be (-8*22/33)/(482/6). Which is smaller: k or 0?
k
Let d = -498.7 - -490.7. Which is greater: 0.101 or d?
0.101
Let l = 4178499/697 + -5995. Which is smaller: l or 1?
l
Let u(d) = d**3 - 9*d**2 + 11*d - 17. Let x be u(8). Let q be (-22)/(-77) + (-44)/x. Let o be ((-4)/q)/((-2)/96). Is o at most -32?
True
Let k(p) = p + 49. Let u(b) = -24. Let m(n) = 3*k(n) + 7*u(n). Let l be m(4). Let j be (3 - (-129)/(-45))/(3/l). Is j smaller than -1?
False
Suppose 0 = -4*w + 3*w + 4*n - 32, -2*n + 114 = -4*w. Suppose -3276 - 6012 = 344*r. Is w greater than r?
False
Let a = -309.425 + -0.575. Let w = a - -270. Which is bigger: 1 or w?
1
Let z = 123 + -125.8. Let r = z + 11.6. Let g = -8.758 + r. Which is greater: g or 2/9?
2/9
Let b = -11022 + 99043/9. Let x = b + 152/9. Which is smaller: -12 or x?
-12
Suppose -47*l - 36*l = -20*l - 8379. Let y(q) = 3*q**3 - 3*q**2 - 3*q + 1. Let m be y(4). Do l and m have the same value?
True
Let j = -8125/577574 + 20/911. Which is smaller: j or -1?
-1
Let a = 524 + -438. Suppose 7*w = 5*w + 3*h + a, 2*w - 66 = -2*h. Is 34 < w?
True
Suppose -40 = 4*w - 16. Let o be (-4)/w - 312/36. Let a = o + 8. Is a <= -2/17?
False
Let o = -15585 + 15591. Let c = -3126 - -28177/9. Is o < c?
False
Let j(f) = f**2 - 41*f - 357. Let d be j(34). Is d at most -586?
True
Let c = 246950233/416 - 593630. Let o = 6/13 - c. Suppose -22 = -28*w + 6. Which is greater: o or w?
w
Let p = 2282 + -2281. Which is smaller: p or -2/595?
-2/595
Suppose 4*p - 16 = -2*w, -4*p + 22 = -0*p + 5*w. Let x be (-2)/2 - 189/p. Does x = -64?
True
Let u(a) = -a**2 + 5*a. Let v = -7 - -10. Let p be (1 + v/1)*(-10)/(-8). Let m be u(p). Is m < -0.3?
False
Let j = -72 - -28. Let q = 65 + j. Let n = -20 + q. Which is smaller: 1/27 or n?
1/27
Suppose 2*o - 106 = -90. Let t(s) = -s**3 + 10*s**2 + 16*s + 8. Let i be t(11). Let r be (6/o)/(i/84). Which is greater: -1/15 or r?
r
Let v be 15/(-9) - (70955/(-40404) - 22/(-286)). Which is smaller: 0 or v?
0
Let i be 1/(-2*3/18). Suppose 4 = 23*a - 19*a. Let n be 0/a + (-253)/69. Is n bigger than i?
False
Suppose -4*z - 32*w + 27*w = -3151, -2*w = -3*z + 2346. Which is bigger: 785 or z?
785
Let f