/((-4)/(-1088)). Let n be ((-7)/(-5))/(f/(-85)). Does n = 1?
False
Let f = 15188/3 - 5067. Suppose 5*w + 0*w = 4*o - 4, 2*o + 24 = -4*w. Are w and f unequal?
True
Let f = 4 + 11. Suppose i + 4*i = -2*h - 13, f = -3*h - 3*i. Is h smaller than -3?
True
Let z be (-132)/(-69) - (-4)/46. Is 7 greater than z?
True
Suppose -2*q - 5*k = q + 868, -3*q - 874 = -k. Let a be (0 - 4) + q/(-48) + -2. Suppose 3*r = -r. Which is greater: a or r?
a
Suppose 0 = 3*g - 3. Let b be (730/15330)/(0 - (-2)/18). Is b <= g?
True
Suppose 5 + 11 = 4*n. Suppose 20 + 40 = -n*j. Let d = j - -16. Is -1/7 >= d?
False
Let l(a) = -4*a**2 + 25*a - 11. Let g(w) = 4*w**2 - 25*w + 12. Let t(r) = -3*g(r) - 4*l(r). Let q be t(6). Are q and 0.1 unequal?
True
Let b be ((-6)/5 - -1) + 4/(-55). Let s = 12 + -12. Do b and s have the same value?
False
Let q(t) = -t**3 - 9*t**2 - 14*t. Let x be q(-7). Suppose x = 6*a - 0*a + 12. Which is greater: -7 or a?
a
Let c be (-9 - (12 + -22))/(-1). Which is bigger: c or -13/35?
-13/35
Let v = -183 - -912/5. Let i = 244 - 129. Let h = 115.01 - i. Which is smaller: h or v?
v
Let x = -1 - 1. Suppose -18 - 12 = 30*o. Let b be -2*(o - x)*1. Is -4/3 at least b?
True
Let b = 0.4 + -0.8. Let m = 38076 + -189737/5. Let o = 129 - m. Is b greater than o?
False
Let t be 5/2*(-68)/(-85). Suppose -2*o - r + t = -5*r, 2*o - 2 = 5*r. Let g = -1/16 - -5/16. Are g and o unequal?
True
Let f = -21444450/1753 + 12233. Which is smaller: 0 or f?
f
Let l = 203.8 + -187. Let q = 4.6 + l. Let a = -19 + q. Are 0 and a unequal?
True
Let b be 15/6*(2/10 + 1). Do b and 0.12 have the same value?
False
Suppose 16*o = -344 - 8. Which is greater: -41 or o?
o
Let a be 2/6 - (-5)/3. Let s be (-2 - -32)/(-3) + 2. Let l = s + 9. Which is greater: l or a?
a
Let n be 17/51 - 1/(3/(-2)). Let v = 47 + -31. Let g be v/90 + 2/(-5). Is n >= g?
True
Let k = 32 - 34.4. Let g = k + 2.4. Which is smaller: g or 0.1?
g
Let f = 0.07 - 2.07. Let j = 0 - f. Let y be 2/5 + ((-288)/210)/2. Is y >= j?
False
Suppose -5*k + 2*k + 8 = -2*f, -3*f - 12 = 3*k. Let l be ((-18)/f)/(3/4). Let b = -53 + 59. Is b greater than or equal to l?
True
Let u = 1.2387 - -3.8254. Let p = -0.0941 + u. Let h = p - 5. Which is greater: h or 1/4?
1/4
Suppose -v = -0*v. Let l be v + (-8)/(-4) - 2. Suppose -5*q - 18 - 2 = l. Is -5/2 greater than q?
True
Let z = 0.33 + 12.67. Let a = -191 - -190. Which is smaller: a or z?
a
Let q = 5 - -38. Let k = q - 79/2. Which is greater: 5 or k?
5
Let y = 11 - 9.6. Let q = 1.4 - y. Let k = 2 + q. Is k greater than or equal to 6?
False
Let q = -7.612 - 0.588. Which is smaller: q or 0.4?
q
Let l be 3 - (4 - 3) - 0. Suppose -8 = l*t + 5*z, 2*z - 52 = 4*t + 3*z. Which is smaller: -11 or t?
t
Let l(i) = 258*i**2 + 46*i - 43. Let m be l(1). Which is bigger: 257 or m?
m
Suppose -4*y + 2*y = -4*y. Is y not equal to 1/3?
True
Let s = -5 + 9. Let g = -5 + s. Let j be (-12)/(-4) + 90/(-28). Which is smaller: g or j?
g
Suppose -14*o = -4*o. Is o <= 30/29?
True
Let p be (-4 - 847/(-99)) + (-6)/1. Is p != -2?
True
Suppose -3*v - 3*q = -51, 4*v + q + q - 62 = 0. Let h be 1 + (-4)/(-4)*v. Is h equal to -0.1?
False
Let m = 9 - 5. Suppose -2*p + 16 = m*r, -r - 3*r - p = -12. Is r < 7?
True
Suppose 4*y = 15 + 1. Suppose -y*q = -q - 12. Is q less than -1/7?
False
Let c be (-2)/(-6) + 8/3. Suppose -69 = 3*f - 0*x + c*x, -2*f - x = 41. Let h = f - -161/9. Is -1 greater than h?
False
Let j be 31826/(-42) + (-4)/6. Suppose u - 761 = z + 3*z, 2*u + z = 1513. Let f = u + j. Is f < -1?
True
Suppose 0 = t + 4*o + 15, -14*t - 2*o - 3 = -9*t. Let j = 4/3 - 2. Is j bigger than t?
False
Let m be (-8652)/21105 - 10/(-25). Which is smaller: m or 1?
m
Suppose 0*k = k - 287. Let h be (-847)/k + 3 + 0. Let y(l) = l + 5. Let s be y(-4). Is s bigger than h?
True
Suppose 3*u + 3*g = 24, 2*u + 3*u - 22 = 4*g. Which is bigger: u or 25?
25
Let p = 42.4475 + -42.4. Is p bigger than -1?
True
Suppose -5*s = -0*l - 5*l - 40, -27 = 3*l - 4*s. Let w be 30/18*(-98)/28. Is w less than l?
True
Let r = 178 + -1254/7. Is -8 smaller than r?
True
Let s = -36 - -94. Which is greater: 5 or s?
s
Let d = 0.1 - 0.1. Let a = 89 + -143. Let u = a - -59. Which is bigger: d or u?
u
Let f = 670 + -672. Is -1/34 less than f?
False
Let u = -70 - -147/2. Let z(f) = -f**3 - 7*f**2 - 3*f - 17. Let x be z(-7). Suppose 0 = 4*m + 14 - 6, x*h + 5*m - 2 = 0. Does u = h?
False
Suppose 2*f - 4*f + 18 = 0. Let x be (-1 - 4/(-9))*-9. Is x > f?
False
Let u(z) = 2*z**2 + 7*z + 10. Let l be u(-3). Which is smaller: 32/5 or l?
32/5
Suppose -5*w + 0*w = 80. Let q be 100/6*(-24)/w. Let l be (1 - 20/q)*-3. Is 0 < l?
False
Suppose -d + 4*d = -27. Suppose f - 2*y = -5*y - 319, -3*f - 999 = -5*y. Let w be f/32 - 3/(-12). Which is smaller: w or d?
w
Let j = 511 - 414. Is j equal to 98?
False
Let m be (-16 - 93/(-3))/(2/4). Which is greater: m or 28?
m
Let p = -359 + 389. Which is smaller: 32 or p?
p
Let w be (-1)/(3/5 - 16/(-40)). Is -18 at most as big as w?
True
Let j(i) = 2*i - 5. Let k be j(3). Let l(d) = -10*d**2 + d. Let y be l(k). Let o be (y/(-6))/((-6)/(-16)). Is 4 bigger than o?
False
Let r be (-4)/10 - (6 - (-64)/(-10)). Which is smaller: r or 20/61?
r
Let g = 0.13 + 4.87. Let n be 21/(-35)*((-40)/15 - -3). Do n and g have different values?
True
Let t(y) = 5*y**2 + 46*y + 313. Let c be t(-10). Which is greater: 355 or c?
355
Let x = -0.18 - 17.82. Is x <= 2?
True
Let b(f) = -5*f + 33. Let j be b(5). Suppose 12 = 2*n - 6*z + z, -n + z + 3 = 0. Suppose -n = m - 4. Which is smaller: m or j?
m
Suppose -43 + 333 = -5*x. Let f be x/3*39/91. Is f > -9?
True
Let h = 112 - 107. Suppose -5*b = -15 + h. Is b at most 8/3?
True
Let m(i) = -i**2 - 10*i - 19. Let u be m(-6). Let d(p) = -19*p - 7. Let z(r) = -5*r - 2. Let v(w) = -6*d(w) + 22*z(w). Let j be v(2). Which is greater: j or u?
j
Suppose -3*k + 16 = 5*h - 0*h, 0 = k + 3*h - 12. Let r be k/(4/(-8) - -2). Which is smaller: -9/7 or r?
r
Suppose 0 = 7*x - 8*x - 1. Which is smaller: 2 or x?
x
Let q be 2/(-30) + (-167827)/(-12705). Which is smaller: 12 or q?
12
Suppose -2*w = 3*w + 2*a + 1605, a + 963 = -3*w. Is -322 != w?
True
Let q(m) = m**2 + m + 1. Let n be q(-2). Let w be (8/(-10))/((-3)/30*2). Suppose -n + w = o. Which is smaller: -2 or o?
-2
Let l(v) = 44*v**2 - 22*v + 42. Let w be l(2). Which is bigger: w or 175?
175
Let l be ((-15)/9)/((-75)/180) + -3. Is -2/1387 > l?
False
Let q = 0.23 + -11.23. Let v = -8.503 - -0.503. Let a = q - v. Which is bigger: a or -0.3?
-0.3
Let v(b) = b**3 - 15*b**2 - 8*b - 6. Let y be v(15). Let x be 7/(-36) + (y/24 - -5). Is x < -3?
False
Suppose -5*o + 15 = 4*j, j - 12 = 2*o - 6*o. Let s(h) = h**3 - 3*h**2 - 3*h. Let b be s(3). Let a = 9 + b. Is j at least a?
True
Let a be (-47)/9*-1 - (-14)/(-63). Suppose -3*v - a*c - 16 + 4 = 0, 0 = -2*v + c + 5. Is v at most 1/18?
False
Let v = 3.5 + -3.582. Let b = v + 1.482. Which is greater: 1 or b?
b
Let n = -960/187 + 78/17. Suppose 0 = -5*o + 3*l + 8, -1 = 2*o - l - 4. Are o and n equal?
False
Let n(w) = 399546*w**2 + 2*w + 1. Let i be n(-1). Let v = i - 784306960/1963. Let a = 2/151 - v. Is -1 smaller than a?
True
Let x = -109 + 108. Which is bigger: x or -2/83?
-2/83
Suppose -16*d + 20*d = 24, 0 = 2*p - 2*d + 10. Let k = -4 + 6. Is k equal to p?
False
Suppose 13*b + 3*b = 960. Is b greater than 61?
False
Let i be 3/(-2) + 14/4. Suppose -5*d = l + 2, -l - i*d = d. Suppose -l*k + 2*r = 12 - 0, 0 = -4*k - 3*r + 1. Is -2 greater than or equal to k?
True
Let c be (-4 + 2)*(-377)/13. Is 55 <= c?
True
Suppose -3*q - 4*z + z + 1176 = 0, 4*q - 3*z - 1582 = 0. Is q at most 393?
False
Let d be 4/(-16) + (-3)/4. Let l = 1/5468 - 43869/683500. Let n = -498/3875 - l. Which is smaller: n or d?
d
Let v = -77.1 + 72. Let s = 0.1 + v. Which is greater: -0.1 or s?
-0.1
Let w = 27 + 3. Let g = -12 + w. Let p = g + -17.9. Which is greater: -5 or p?
p
Suppose -278 = 3*p + 1849. Which is greater: -710 or p?
p
Let o = 302 + -302. Is 28/19 not equal to o?
True
Let y = 28 + -109. Let w = y - -70. Which is greater: w or -8?
-8
Let p = -2.283 - 19.676. Let x = -0.041 + p. Let u = x - -22.1. Which is greater: 22 or u?
22
Suppose 2*w - 3*r = 10, r + 2 + 0 = 0. Suppose 3*g - z + 2*z = -8, 4*g - w*z + 24 = 0. Is g at most as big as -14/5?
True
Suppose -28*y + 27*y = -45. Suppos