se
Suppose -5*j = -7*j + 4. Let n be j/(-2)*(-13)/169. Which is greater: n or -2?
n
Suppose -5*u = h + 2*h + 10, -6 = -2*h + 3*u. Suppose h = 2*w - 6. Which is greater: 11/3 or w?
11/3
Let r = -689 + 688. Are 1/15 and r nonequal?
True
Suppose 11*v = 8*v + 33. Which is smaller: v or 0.019?
0.019
Let c = 30.9 - 32. Let n = c + 15.1. Let r = 24 - n. Is r > 2?
True
Suppose 0 = -q + 5*q + 20. Let a be 203/105 + (-2)/q. Let s(w) = w**2 + 14*w + 14. Let k be s(-13). Which is smaller: a or k?
k
Let t = 1132 + -1133. Which is bigger: t or -214?
t
Let m = -790/3 + 263. Do m and 1 have the same value?
False
Let g = 148 - -64. Is 2/5 < g?
True
Let o = -164/259 - 3/37. Let l = -102 - -110. Suppose -l + 19 = -11*x. Is o bigger than x?
True
Suppose 23 - 47 = 3*a. Let d be (4/a)/((-2)/28). Is 5 bigger than d?
False
Let j be (-855)/5265 + (-4)/18. Is j greater than -8?
True
Let m(i) = -2*i**3 - 3*i**2 - 5*i + 31. Let k be m(5). Is -318 < k?
False
Suppose -5*l - 11 = -3*c + 43, -6 = 2*l. Let u(r) = r**3 - 12*r**2 - 16*r + 31. Let t be u(c). Let s(q) = q - 2. Let g be s(-5). Do g and t have the same value?
False
Let l = 474/7 + -463112/6839. Which is smaller: l or -1?
-1
Let a(d) = -d**3 - 8*d**2 - 4*d + 2. Let x be a(-7). Let u = x - -47. Which is smaller: u or 27?
27
Let p(u) = -u**3 - 3*u**2 + 2*u - 4. Let l be p(-4). Suppose 4*r = 0, l*i - 8 = -3*r + 7*r. Suppose s - 78 = -73. Is i smaller than s?
True
Let p = 71.7 - 75. Let q = -3.8 - p. Which is bigger: q or -0.1?
-0.1
Let m(v) = -2*v + 1. Let j be m(-3). Suppose -2*k - 14 = -54. Suppose 4*i - 12 = k. Is i less than or equal to j?
False
Let v(t) = 5*t - 15. Let g be v(6). Suppose 5*z = g, k - 23 + 8 = -2*z. Is 2 smaller than k?
True
Let i = 23 - -16. Suppose -1404 = -13*y + i. Is 111 at most as big as y?
True
Let v(x) = -3*x + 9. Let n(k) = -k - 6. Let a be n(0). Let s be v(a). Suppose 3*f + s = 6. Which is bigger: -6 or f?
-6
Let q = 0.047 - -63.953. Let m = -65 + q. Which is greater: m or -2/3?
-2/3
Let k be 0 + -1 + (-1122)/15. Let j = 76 + k. Are j and 1 unequal?
True
Suppose w + 96 = -4*t, 5*t + 233 = -3*w - 27. Let a = w - -69. Which is smaller: a or -7?
a
Let v = 2412/47 - 214089/4136. Let c = -5/8 - v. Which is smaller: c or 0?
c
Let o be (39 + -3)/(3 + -1). Suppose 4*b - 20 = 0, 5*b = -5*a + 17 + o. Are 1 and a unequal?
True
Suppose 23 = 7*h + 429. Which is greater: 0 or h?
0
Let k = 456 - 1366/3. Is -3/10 < k?
True
Let v = -9255 + 9263. Suppose -8 = -2*w - 4*s, 5*s = 4*w - 2*w - 35. Which is smaller: w or v?
v
Let g be 2 + 1977/(-993) + 0. Let y = g + 5287/993. Let m be ((-30)/8)/((-744)/64 + 11). Which is smaller: y or m?
y
Let i(u) be the third derivative of u**4/12 + 11*u**3/3 - 2*u**2. Let w be i(-9). Let o be 2/((-32)/60) + w. Which is smaller: o or -20/3?
-20/3
Let n be (-60 + 0)*(-6)/15. Let l = -12 - n. Let f be 8/(-126) + l/(-126). Which is bigger: -0.4 or f?
f
Let r = -95 + 119. Is r <= -1/2?
False
Let s = -1885 - -39547/21. Is s at most 1?
True
Let k(b) = -61*b**3 + 3*b**2 - 15. Let d be k(-2). Is 485 bigger than d?
False
Let m(g) be the second derivative of g**3/3 + 5*g**2 - 15*g. Let o be m(-5). Let k = -3/28 - -29/140. Is k less than o?
False
Let u = 1473 + -1473. Let a be 2 - ((-94)/(-102) - -1). Is a != u?
True
Let j = 295117/17 - 17375. Which is bigger: j or -14?
-14
Let h = 13 - 11. Suppose h*t = 5 + 3. Suppose -4*q - y = 3, 5*y - 1 = -t*q - 0. Is q not equal to -1?
False
Let l be -4*(1291609/(-129162) + 10). Which is smaller: l or 0?
l
Let q be ((-12)/(-10) - -1)/1. Let c = 3352 - 3353. Is q not equal to c?
True
Let w = -2/23 - -71/552. Let f = -3768 - -3768. Is w less than or equal to f?
False
Let j(f) = -f**3 - f**2 + f + 1. Let z be ((1 + -1)/1)/2. Let n be j(z). Suppose -20 = 2*c - 6*c - 5*o, -12 = -c - 3*o. Is n equal to c?
False
Let g = 26 + -19. Let l(s) = -s**2 - 5*s + 1. Let k be l(-4). Does k = g?
False
Let b(z) = 7*z**2 - z. Let s be b(-2). Let n = s + -30. Which is smaller: n or 0.13?
n
Suppose -5*g + 7*r = 3*r - 42, 5*r = 3*g - 33. Suppose h - 3*j - 2*j - 4 = 0, -3*j - g = 3*h. Let l = 131/473 + -8/43. Does l = h?
False
Let v = 179 - 181.98. Let p = 0.02 - v. Let j = p + -3. Is j less than 4?
True
Let w(x) = -x + 5. Suppose -2*q + 3*n = 2, -15 - 3 = -2*q - 2*n. Let d be w(q). Which is smaller: -1/94 or d?
-1/94
Let t = -46 - -59. Let u = t + -14. Which is smaller: u or 0.08?
u
Let m = 0.139 + -10.139. Which is bigger: m or 0.8?
0.8
Let r = -0.11262 + -9.80138. Let f = 0.086 - r. Is f < 0.1?
False
Suppose -2*n - 6 - 14 = 4*h, 2*n - 8 = 3*h. Let d = -1433/20 + 273/4. Is h at least d?
False
Suppose -w = -4*y + 122 - 4, 3*w + 394 = 4*y. Is -138 < w?
False
Suppose -2*r + 40 = -7*r. Let w be (-12)/(-90) - r/(-15). Do 1/5 and w have the same value?
False
Let d(x) = -2*x**2 - 5*x + 0*x + 4*x**2 + 2*x. Let v be d(3). Let o = 90 - 82. Is o >= v?
False
Let x(b) = -b**3 - 10*b**2 + 2*b - 9. Let f be x(-9). Which is greater: f or -107?
-107
Let c = 162695/56457 + 2/3321. Which is smaller: 4 or c?
c
Let s = 215 + -92. Which is smaller: 125 or s?
s
Let a = -0.24 + 0.15. Let i = a - 0.01. Let z = -7 - -7.12. Is z >= i?
True
Let a(d) = d**3 + 2*d**2 - 22*d - 2. Let q be a(-6). Suppose 19 = 3*z - j, -3*z - 3*j - 1 = j. Let l = q + z. Is -9 bigger than l?
False
Let f = -125 + 205. Let s = -45 + f. Is 1/4 at least as big as s?
False
Let y(g) = -g**3 - 9*g**2 - 9*g - 8. Let j be y(-8). Let t(m) = 6*m - 14. Let x(q) = -q + 3. Let f(v) = -2*t(v) - 11*x(v). Let u be f(-4). Is u less than j?
True
Let j = -1 + 5. Let o(t) = 2*t**2 - 5*t - 4. Let n be o(j). Let d be 5 + ((-72)/39 + 2)*13. Which is smaller: d or n?
d
Suppose -y + 4 + 0 = 0. Suppose -y*p + p + 15 = 3*q, -2*q + 19 = 5*p. Are p and 5/3 unequal?
True
Let x = 0.38 - -0.02. Let h = -21 + 42. Let g = h - 20.8. Which is smaller: g or x?
g
Let l(m) = -6*m**2 + 11*m - 5. Let f be l(-6). Let k be 4*(3/24)/(f/(-14)). Are -1 and k unequal?
True
Let p(b) = b**3 + 7*b**2 + 2*b + 15. Let l be p(-7). Let z = -2 + l. Which is greater: z or 1/61?
1/61
Let y be -8 + (3759/235 - 8). Which is smaller: y or 1?
y
Suppose -5*b + 323 = -4*k, -k = b + 3*k - 79. Which is smaller: b or 58?
58
Let t = -223 + 680/3. Let z = 11 - 7. Which is smaller: t or z?
t
Suppose 2*d = 6 + 6. Let c be (-2)/5 - 3/(-45). Which is greater: d or c?
d
Suppose a = -2*c + 28, c = 2*c - 3*a - 14. Is c at least as big as 0.02?
True
Let r = 0.119 + -8.119. Which is bigger: r or -29?
r
Suppose 2*h - 11 + 5 = 0. Suppose -h*q + 2 = 2*f, -3*f - q - 6 = 5. Let k be (-6)/15*f/39. Which is greater: 0 or k?
k
Let j = -0.977 - -1. Let c = j + 0.977. Which is smaller: c or -0.37?
-0.37
Let d be 5/25 + (-12)/10. Let k = 0 - d. Let f be (-2)/(-5 + 15 + -42). Is k < f?
False
Let f = -18.48 + 0.48. Let j = -18.26 - f. Is 1 at least as big as j?
True
Suppose m - 5*t + 85 = 6*m, 0 = 4*t - 20. Suppose 0*o = -g - 3*o - 4, 0 = -3*o - m. Suppose -3 = -k - 2*i - g, i = -4. Which is smaller: 0 or k?
0
Let a = -128 - -81. Let i = -46 - a. Is i greater than 8?
False
Let r = 32 + -19. Let c = -16 - -3. Let a = c + r. Which is bigger: -0.01 or a?
a
Let q = 4/19 - 6/209. Suppose 2*m - 6 = -0*m. Suppose -a = -4*g + 21, 2 - 13 = -4*a - m*g. Which is bigger: q or a?
q
Suppose z - 56 = -52. Suppose 0*u - y = 4*u - 74, 52 = 3*u - y. Suppose -196 + u = 5*m + 2*v, -z*m = -2*v + 128. Does -34 = m?
True
Let i(d) = d**2 - 23*d - 72. Let p be i(24). Which is greater: p or -52?
p
Let b = 600 - 608.7. Which is greater: b or 1?
1
Let s = -0.4 - 2.3. Let h = 1.8 + s. Suppose 0 = 3*b - 5*c - 28, -2*c - 13 + 5 = 2*b. Which is smaller: h or b?
h
Let b be (28/(-10))/((-99)/1260). Let p = b - 1975/44. Let c = p - -295/28. Is 1 at least c?
False
Let g = -354 + 253. Let c = -101.9 - g. Which is smaller: 1 or c?
c
Let y = -4.48 + 2.67. Which is greater: 1 or y?
1
Let f be 0*(-4 + 60/16)*2. Let i be 50197/(-78) - (-2)/4. Let u = i + 643. Is u less than or equal to f?
True
Let u = -688/9 - -76. Let o = -12 + 22. Let i = -11 + o. Which is bigger: u or i?
u
Let k = -34 + 33.73. Let i = 0.96 - 0.49. Let p = i + k. Which is smaller: p or -4/7?
-4/7
Let h(u) = -3*u + 11. Let c be h(4). Which is smaller: c or 1/117?
c
Let k(c) = -c**2 + 5*c - 6. Let d be k(4). Let z = 1 - d. Suppose 0 = 5*f + z*v - 0 + 6, 3 = 4*f + 5*v. Which is g