3. Let a be h - -1 - (-2 - -1). Let l = -28 - -28.1. Which is greater: a or l?
a
Let s = 11 - 2. Let j = -10 + s. Let o be j*(3 - 3)/1. Which is greater: 10/7 or o?
10/7
Suppose 0 = 23*q - 20*q - 18*q. Let u be 2338/1176 + 2*-1. Which is smaller: q or u?
u
Let r be (-14)/21 + (-11)/(-12). Which is greater: -95 or r?
r
Let y = 48 + -108. Let p = -44 - y. Is 15 != p?
True
Let z = -87 + 92.3. Are z and -2 unequal?
True
Let h be 0 + -1 - (-137 - -11). Let x be (1 + -2)/(5/h). Let y = -49/2 - x. Which is bigger: 3 or y?
3
Let s = -0.0212 + -0.9788. Which is bigger: s or -135?
s
Let g = 80 + -74. Which is greater: -2/9 or g?
g
Let u = -105 + 105.27. Which is smaller: u or 1/4?
1/4
Suppose -9*s + 30 = -3*g, 0 = 5*g - 4*s + 5 - 10. Is g at least 89/15?
False
Let h be -31*24/28*7. Is -185 less than h?
False
Let v be (1*6/471)/(4 + -2). Are -1 and v nonequal?
True
Let b = 41/4 + -1451/140. Which is smaller: b or -0.1?
b
Suppose -7*i + 47 - 40 = 0. Which is greater: 15/194 or i?
i
Suppose -265 = 5*n - 10*n. Is n at least 107/2?
False
Let l = 41 + -63. Suppose -19*f = -22*f - 63. Which is smaller: f or l?
l
Let j(x) be the third derivative of -x**4/24 - x**3/3 + x**2. Let c be j(-2). Suppose -n = -c*n - 3. Is 3 not equal to n?
False
Let a = 37369/2733 - 6/911. Which is smaller: a or 0.5?
0.5
Let p(o) = 3*o**2 - 3*o - 8. Let k be p(-5). Let n = k + -89. Is -20/3 != n?
True
Let t = 5.64 + 0.36. Let z = -5 + t. Which is smaller: -1 or z?
-1
Let a = -11048/9 - -1226. Let o(b) = b**2 + 6*b - 10. Let z be o(-7). Is a at most z?
False
Let g(d) be the first derivative of -d**4/4 - 13*d**3/3 - 7*d**2 + 4*d - 1. Let r be g(-12). Suppose r = 2*t + 2*t. Do t and 7 have the same value?
True
Suppose -20*l + 27 = -29*l. Are l and -7 unequal?
True
Suppose -2*q - 5*n + 5 = 0, q = 4*q - 4*n + 4. Suppose q + 1 = f. Let s be f*-2 - 50/(-40). Is 5 < s?
False
Suppose 703 + 33 = -32*c. Is -25 greater than or equal to c?
False
Suppose -5*s + 46 = 6. Suppose -2*n - 1 = -g + 15, 0 = -4*n + 3*g - 32. Let c = 17 + n. Is c less than s?
False
Let c = 5.3 - 27.3. Let t = 421/3 - 140. Is c <= t?
True
Let y = 12620 - 12623. Suppose -4*a = -4*q - 8, 0*q + a + 1 = 2*q. Suppose q*h + 4*u - 15 = 2*h, u = 4. Which is smaller: h or y?
y
Let d(z) = -z**3 - 7*z**2 - z - 57. Let c be d(-6). Is c greater than -85?
False
Suppose -y = y + 16. Let v(h) = -h**3 - 6*h**2 + 8*h + 2. Let r be v(-7). Which is bigger: r or y?
r
Let a(l) = -2*l**2 + 21*l - 116. Let d be a(5). Which is smaller: d or -62?
-62
Let q = -1 - -2. Suppose -23*n = -12*n - 33. Which is greater: n or q?
n
Suppose -f - 3*q = -12, -2*f - q = -3*f. Let l = f + -4. Let h be (-164)/(-32) + l + -4. Which is bigger: h or 0?
h
Let c be ((-15)/(-4))/((-198)/(-1364)). Is c at most 27?
True
Suppose -14*n + 370 = -64. Which is greater: 399/13 or n?
n
Let s be 10 + (-1 - -7) + -5 + -5. Is s >= -3/8?
True
Let a(j) = -j - 14. Let b be a(-15). Suppose -3*q = -2*x - x - 3, 0 = -4*q + 3*x + 2. Let k = q + b. Is 0 != k?
False
Let b be 4134/(-3744) + 1/6. Is b less than -1?
False
Let r(w) = w**3 + 8*w**2 + 6*w + 4. Let h = 3 - 10. Let c be r(h). Let a be c*1 - (8 + -6). Does a = 10?
False
Let c = -21281846/907 - -23464. Let s = c + -2771/22675. Which is smaller: s or 0?
s
Let m = 1 - -30. Let r be 28/5*(-44)/(-8). Let c = m - r. Which is smaller: 1 or c?
c
Suppose -9*z - 360 = -0*z. Suppose -d - 5*m = 26, -17*d + 4*m - 94 = -15*d. Which is bigger: z or d?
z
Suppose -4*f + 66 - 176 = 2*a, 2*a = -5*f - 135. Let y = f - -99/4. Let o(i) = -3*i**2 + 13*i - 4. Let j be o(4). Which is smaller: y or j?
y
Let h = -17.5 - -18. Let i be (-2)/14 - (-4)/126. Is h bigger than i?
True
Suppose 2*l = 5*b + 10 - 46, -4*b + 26 = -3*l. Suppose b*a - 1 + 9 = 0. Does a = -1/8?
False
Suppose c + 5 - 19 = 0. Let h be (4 - (-51)/(-6))*-3. Which is bigger: c or h?
c
Suppose 2*a + 2*v - 8 = 0, 8*a = 13*a - v + 4. Which is smaller: a or -29/23?
-29/23
Let q = -21.4 - -2.4. Let j = -42 + 75. Let v = q + j. Is 1 smaller than v?
True
Let n = -1.988 + -0.012. Is n less than or equal to -5?
False
Suppose 5*y + 0*o - 3*o - 64 = 0, y + 4*o = -1. Which is smaller: 13 or y?
y
Let y be -2 - ((7 - 1) + (-5 - -3)). Which is greater: -12 or y?
y
Let c = 22 + -30.1. Let i = 256 + -264. Let m = i - c. Which is bigger: 0.4 or m?
0.4
Let q be 1/(-3) - 88/(-3). Let r be (-59)/(-2) + 1/2. Which is smaller: r or q?
q
Let o = 102 - 99. Suppose -5*b + 21 = -o*u, -27 = 2*u + 3*b - 2*b. Which is greater: u or -8?
-8
Let i = -724 - -326. Is -396 >= i?
True
Let y = 25.1 - 28. Let n = y + 1.9. Suppose -5*b = -6*b + 8. Is b at least n?
True
Let o = 6381/38 - 168. Which is greater: o or 1?
1
Let m be 6/24*-4 + 3. Is 11/10 bigger than m?
False
Suppose 0 = -r - 0*r - 6. Let d(w) = w**3 + 4*w**2 - 2*w - 4. Let k be d(-4). Suppose 3*g = -k*g - 35. Is g greater than or equal to r?
True
Let a(v) = 18*v**2 + 545*v**3 - 18*v**2 - 1. Let s be a(-1). Let n be 150/s - (-9)/21. Are n and -0.04 unequal?
True
Let f = 3.56 + 25.44. Is 6 smaller than f?
True
Let d = -26 - -34. Suppose -3*s - 2*s - 3*m - d = 0, 0 = -5*s - 2*m - 7. Is s < 1/75?
True
Let z = 31 - 61. Let h be (4/10)/((-3)/z). Suppose -6*v = -2*v - h. Which is smaller: v or -1/8?
-1/8
Let m(n) = n**2 - 3*n. Let d be m(3). Suppose 0 = 4*g + 2 + 10. Let v be -5*g/45*-2. Are v and d non-equal?
True
Let b = -87 - -86. Let p = -155 + 2329/15. Which is greater: b or p?
p
Suppose 5*k + 91 = 2*y, -3*k + 15 = -y + 63. Suppose 0 = -j + n - 4, 6*j - 3*j + 4*n = -y. Is -8 <= j?
True
Suppose 3*q - v + 1218 = -q, 0 = -4*q + 2*v - 1220. Let r = q - -4558/15. Which is smaller: r or 0?
r
Suppose -d - 18 = -2*s, -s - 56*d = -54*d - 9. Is 25 > s?
True
Suppose 4*d - 303 = 7*d. Which is bigger: -99 or d?
-99
Let r = -2.16 - -15.16. Is -1 >= r?
False
Let s = 3.68 + 0.12. Let r = s - 4.5. Is r < 0.2?
True
Let o = 43/500 + -1/375. Is 4 at least o?
True
Let x = 0.014 + -0.01. Let f = -20.996 - x. Let h = 20.92 + f. Which is smaller: h or 2/3?
h
Let u(d) = -5*d - 4. Let j be u(-1). Let h be 6/(-8) - (-1 + j). Is 0 greater than h?
True
Let g(j) = -2*j**2 + 2*j + 3. Let r be g(4). Let x = r - -20. Let o be x/2 + (-3)/(-2). Is -1/3 >= o?
False
Let j(f) = f**3 - 5*f**2 - 4. Let m(r) = r**2 + 1. Let h(d) = -j(d) - 3*m(d). Let a be h(3). Suppose -8*z + 9*z - 2*l + 10 = 0, -2*z + 5*l = 21. Is a < z?
False
Suppose -88 = -10*h - 12*h. Are 115 and h equal?
False
Suppose 0 = 18*s + 35 + 217. Which is greater: -0.08 or s?
-0.08
Let z be (-12)/9 + -1*1/(-3). Which is smaller: z or -13/27?
z
Let d(o) = -o**3 + 4*o**2 - 5*o + 3. Let i be d(2). Let k be 3 + -1*(-7)/i. Which is bigger: k or 26/3?
k
Let o(w) = w**2 - 3*w - 52. Let d be o(-5). Is -23 at least d?
False
Let i(d) = 3*d**2 - 32*d + 21. Let o be i(10). Which is smaller: -66 or o?
-66
Let d be -1 + (-2 - -1) - 27825/(-159). Which is greater: d or 172?
d
Let k be (476/136)/((-3)/6). Suppose -8 = -5*v + l + 6, -2*l = 8. Let b be v/1*(-7)/2. Is k greater than b?
False
Let i(v) = -v + 7 + v**2 + 4 - 5 + 8*v. Let g be i(-7). Let j be (4/g)/(12/18). Is -3/8 > j?
False
Let o = 263792/5 + -53359. Let k = 607 + o. Let r = -13/2 + k. Is 1 at most as big as r?
False
Let u = -367 - -368. Which is smaller: 1/862 or u?
1/862
Suppose 4*j + 37 = 113. Suppose 0 = -j*v + 18*v - 10. Which is bigger: v or -1?
-1
Let i = 55 + -55. Let v be (-1)/3*i/3. Which is smaller: v or -4/47?
-4/47
Suppose 129 = 8*p + 65. Let u = -12 - -21. Which is smaller: p or u?
p
Suppose 8*m + 2*h - 3 = 7*m, -m - 4*h = 5. Let r(d) = -d**2 + 12*d - 25. Let y be r(m). Is y > -12?
False
Let p(a) = -7*a**2 + a - 4. Let j = -10 - -11. Let f(q) = q**2 + q. Let k(g) = j*p(g) + 6*f(g). Let t be k(7). Is t at least as big as -5?
True
Let r = -121 - -1705/14. Is r > 1?
False
Let o = -909 - -981. Is o greater than 0?
True
Let x be -2 - (-2 - (-1 + 1)). Suppose x = -2*m + 9 - 29. Suppose 3*b + 4*z + 43 - 17 = 0, -4*z + 4 = 0. Is m less than or equal to b?
True
Let t = 1658 - 11582/7. Is t at least as big as -1?
True
Let g = 14 - 17. Let p be (-9644)/78*g/2. Let o = -185 + p. Which is smaller: o or 0?
0
Let x be (-8866)/29469 + (-2)/(-6). Let z = x - 4/47. Which is greater: z or 0?
0
Let f(q) = -q**2 - 8*q + 15. Let j be f(-8). Let w be 5/j - (-71)/(-6). Are -13 and w nonequal?
True
Let x = -16.2 