 -2*k - 4. Let t be h(-3). Suppose w + 3*p = q, t*w - 4*p - 7 = -9*p. Is w less than 9?
False
Let z(b) = 137*b**3 + b**2 + 4*b - 2. Let l be z(1). Suppose -60 + l = 10*d. Which is smaller: 55/6 or d?
d
Let d be 3*4/(-20) - (-52)/(-5). Let x = d + 19. Suppose -20 = -2*h + x. Which is smaller: -1/4 or h?
-1/4
Suppose -2*o - 40 = -4*c, 0*c + 61 = 5*c + 3*o. Suppose -6*j = 13 + c. Let x be j/(-1) - 96/20. Is 6 >= x?
True
Let n be 3*-4*(-258)/(-3096). Which is smaller: 32/67 or n?
n
Suppose -j - 4 = 3*s - 12, 3*s - 4*j = -17. Let l = -1735593/52 + 131373/4. Let c = l - -534. Is c at least as big as s?
False
Let s(h) = 28*h - 82. Let p be s(3). Suppose q = -12*n + 14*n - 97, -p*n = 2*q + 182. Which is smaller: q or -95?
-95
Suppose -4*v + 297 = 3*c, 1561*v - 30 = 1566*v. Which is smaller: c or 106?
106
Let y(a) = 7*a + 8. Let o be y(-7). Suppose -6*l - 124 = -3*l - 4*m, 2*l + 76 = 4*m. Let q = o - l. Which is greater: q or 8?
8
Let a = 48 - 46.9. Let c = a - 0.9. Let j = 4.2 - c. Which is smaller: -2/9 or j?
-2/9
Let r = -5848 - -5849.7. Is -8 at least r?
False
Let w be -24252 + -6 - 2226/106. Which is smaller: -24278 or w?
w
Let d(n) = -7*n**2 - 3*n - 1. Let y be d(-2). Let i be 4*2/20 - (-1364)/(-60). Which is greater: i or y?
i
Let m be 53/3 - 3/(-9). Suppose -4*k - 17 = 2*f - 75, -k + f = -22. Let w = k - m. Are 2/41 and w unequal?
True
Let x = -0.043 + -21.957. Let j = x + 16. Let n = -5406 + 5401. Is j greater than or equal to n?
False
Let c = 64.943 + -19.021. Let a = c + 0.078. Which is smaller: a or -1?
-1
Let a(b) = -193*b**3 - 6*b**2 + b + 5. Let v be a(-1). Which is bigger: 0.8 or v?
v
Let x(k) = 4*k - 27. Let i = -68 + 76. Let r = 15 - i. Let v be x(r). Is v != 6/13?
True
Let q = 11433 - 11259. Are q and -2/13 unequal?
True
Suppose -109*p = 165*p - 145 + 2611. Let z(k) = -k**2 + k + 1. Let l be z(-4). Which is smaller: l or p?
l
Suppose -77*t + 31 = j - 76*t, 5*j - 4*t - 101 = 0. Let s be (1 - -1) + 20 - -3. Is j greater than s?
False
Let l = 68.9 + 13.1. Let w = -82.4 + l. Let k = -3 - -2.5. Are k and w unequal?
True
Let a be 852/276 + -3 + ((-222)/(-92) - 2). Which is bigger: a or 597.2?
597.2
Let w be 8/(64/(-522))*32/(-6). Let c = -385 + w. Which is smaller: c or -40?
-40
Let b be -7 + 17 + 7 + -14. Suppose -2*z + 4*w = 220, z + 495 = -3*z - b*w. Are -119 and z non-equal?
True
Let l = -13126 - -10948. Is -6530/3 less than l?
False
Let n = 3206 - 3208.2. Which is smaller: -42 or n?
-42
Let k = -102 - -203. Let x = 102 - k. Which is smaller: x or 1/121?
1/121
Let b = 125253/7 - 17895. Let w = -0.38 - -0.08. Let g = 1.3 + w. Which is smaller: b or g?
b
Let u be 6112/(-60) - 5/((-450)/(-12)). Is u less than -100?
True
Let c = 8865 - 7835. Which is smaller: c or 1031?
c
Let r(f) = -3*f**2 + 2*f - 3. Let o be r(2). Let w be (-12 - o)*3*2/6. Which is smaller: w or 10/67?
w
Let c = 245.1 + -247.1. Do c and 1805 have different values?
True
Let r(s) = -293*s - 580. Let b be r(-18). Which is greater: 1 or b?
b
Let a = 77865/4 - 33248223/1708. Does 1 = a?
False
Let s = -253/2173 - -1/53. Let p(q) = -30*q - 11 - 3*q**2 + 27*q + 4*q**2. Let g be p(5). Which is smaller: g or s?
g
Let g be ((-34)/5)/(4/2580). Let a = -17399/4 - g. Which is smaller: 1/3 or a?
1/3
Let h = 77 + -70. Suppose h*l = 9*l - 8. Suppose 3*k = -4*x - 78, k + l = 4*x - 6. Is k less than 0.2?
True
Let o be (-2)/(-4)*-2 + (3 - 5). Let b(z) = -36*z - 48. Let l be b(o). Is 58 less than or equal to l?
True
Let a = -1.25 - 50.75. Let i = 52.04 + a. Which is smaller: i or -4?
-4
Suppose -7*t + 2*t = -4*v + 68, 0 = 4*v - 4*t - 64. Let h = 1 + 1. Let u be 12 - (h - 1) - 1. Do u and v have the same value?
False
Let q be 10/(-2) - (-302863)/60379. Which is smaller: -1 or q?
-1
Suppose 101*f + 24965 = 1836. Which is greater: f or -226?
-226
Suppose 492 + 678 = 56*b + 4186 + 3312. Let s be (0 + 1)*-115 - 0. Which is smaller: b or s?
s
Suppose -b - 42 + 45 = i, 5*i + 2*b = 6. Which is bigger: -10/23 or i?
i
Let w = 93/32 - 109/32. Which is greater: w or -73.5?
w
Let z be (2/(-1))/(14/4). Let d(m) = 11*m + 35. Let v be d(-3). Suppose v*u + 2 = -5*p, u + 2*p - 4 = -5. Which is greater: u or z?
z
Let m = -1210.24 + 1210.3. Let q = -3.1 + 0.1. Let x = q - -2.9. Is x > m?
False
Suppose 2*l - 14 = -5*h, 0 = -l + 1733*h - 1737*h + 1. Do 86 and l have the same value?
False
Let b(n) = -29*n + 1. Suppose -5*i = -8*i. Suppose i = -w + 1. Let q be b(w). Is -28 at most q?
True
Let s(m) = m - 27. Let x be s(-9). Let p = x + 66. Suppose -2*c = -6 + p. Is -14 less than c?
True
Let p = 32417 + -32125. Is p != 5?
True
Let j = -10 + 1. Let q(l) = -l**2 - 7*l + 18. Let h be q(j). Suppose h = -10*r - 16 + 66. Is r < 3?
False
Suppose -5*u + 10184 - 3282 = 4*i, -2*i = -4*u - 3490. Does 1734 = i?
False
Let f(o) be the second derivative of -o**4/6 - 2*o**3 - 19*o**2/2 - o + 3. Let n be f(-11). Let d = 127 + n. Is d less than -10/17?
True
Let c be (-4 - 4258875/1585) + 6. Let k = 2685 + c. Is k at least 0?
True
Let r = 14 - 13.97. Suppose 672 = -89*i + 49*i - 408. Which is bigger: r or i?
r
Let v(g) = g**2 - 13*g - 30. Let h be v(18). Let m be (-268)/h + 4 + (-2 - -1). Which is smaller: 0 or m?
m
Let g(x) = 18*x**2 + 272*x + 7037. Let k be g(-28). Which is smaller: 13534 or k?
k
Let i(g) = 3*g**2 + 76*g + 441. Let z be i(-44). Which is bigger: 2903 or z?
z
Let v = 9312 + -9313. Which is smaller: 1/1512 or v?
v
Let m be (116/8)/(8/(-4)). Suppose -4*b = -2*t - 32, 21 = -3*t + 3*b - 12. Which is bigger: t or m?
t
Let j = 26 + -18. Suppose -3*m + 2*m = -2, 3*m - 301 = 5*g. Let q = g - -69. Is q > j?
True
Let i = -65 + 62. Let a be 0 - (0/i - 2) - 422. Let n be 9/4 - 2 - (-4473)/a. Which is bigger: n or -10?
-10
Let c = -0.8536 - -532.8536. Which is smaller: 7/6 or c?
7/6
Let c(a) = 3*a**3 - 11*a**2 - 2*a + 2. Let o be c(4). Let p be (8*o/1600)/((-2)/(-4)). Is p greater than or equal to 0?
True
Let l(h) = 2*h - 6. Let b be l(18). Let p = 38 + b. Is 70 bigger than p?
True
Let c = -6865.5751 + 6865. Which is greater: c or -0.1?
-0.1
Let i = 55 - 54.95. Let g = 0.35 - i. Let k = -24.04 - -24. Is k <= g?
True
Suppose -8 = 4*k, -3*d + 3 - 10 = 2*k. Let l be (126/(-36))/(14/49). Is d != l?
True
Suppose -4*y + 3*b = -16, 4*y + 46*b - 48*b = 12. Is -19/28 smaller than y?
True
Let n be (-30)/(-4)*((-14)/(-12))/(-7). Let q be -4 + 5 - (-22)/(-17). Let c = 76/85 + q. Which is smaller: c or n?
n
Let r(b) = -18*b - 86. Let d be r(-5). Let s be (2 + (-57 - -2)*1)*1. Are s and d unequal?
True
Let g = -0.78 + 10.78. Let n = g - 16. Is -3/4 < n?
False
Let c be (1/1 - -13)/((-81192)/19). Let d = -1/13532 + c. Which is bigger: -1 or d?
d
Let t be 52/(-91) + (-415523)/(-746900). Let s = t + 3/1100. Which is bigger: s or -1?
s
Suppose -10*d + 12*d - o = 99, -d + o = -49. Is 74 greater than d?
True
Suppose -5*p = 46 + 9. Let q = p - -25. Let w be ((-4)/(-5))/(q/5). Is w at most -0.04?
False
Suppose y = 4*h - 86 - 380, 0 = 2*y - 12. Is h less than or equal to 126?
True
Let w(u) = u**2. Let a(j) = 3*j**2 + 2*j - 3. Let n(t) = -a(t) + 2*w(t). Let y be n(0). Are y and 3 equal?
True
Let g(w) = -w**3 + 2*w**2 + 6*w + 4. Let h be g(-2). Let m be (0 - (-10)/h)*31/4185. Is m less than or equal to 1?
True
Suppose -3*z = -2*u + 412, -5*u - 9*z + 984 = -5*z. Let p = u - 180. Is 17 at least as big as p?
False
Suppose x = -x - 14. Suppose -29*p - 567 = 34*p. Let c = p - x. Is -4/3 at least c?
True
Let q = 998.1 - 1084.1. Is 0.065 not equal to q?
True
Let n be (-1 + 429)*(-7)/(-28). Let v = n + -98. Is 8 <= v?
True
Let z(b) be the first derivative of -b**3/3 + 4*b**2 + 84*b - 82. Let j be z(14). Are j and -6/17 non-equal?
True
Let o = -30 - -52. Suppose -2*m + o = 3*i - 0*m, 2*i - 3*m + 7 = 0. Let p be i + (-5)/(-15)*3. Which is smaller: 3 or p?
3
Let i = 47 - 43. Suppose -3*c - 4*z = c - 44, 0 = i*c + 3*z - 39. Suppose -4*d - 2 = c. Does -1 = d?
False
Let a = 129.34 - 1.34. Let g = -120.93 + a. Let l = -0.07 + g. Is 2 < l?
True
Let h(m) = -7*m - 21. Let i(a) = a - 2. Let g(b) = h(b) + 4*i(b). Let y be g(-10). Let v = -15 - -56. Is v > y?
True
Suppose -248 = -8*p - 24. Suppose 0 = -7*o - 7 + p. Suppose 0 + o = 3*u. Which is greater: -2/53 or u?
u
Suppose 95 = -3*h - 4*v - 12, -5*v = -5*h - 120. Let s(d) = -d**2 - 5*d + 3. Let a be s(4). Which is bigger