 Which is smaller: t or f?
t
Let s = -1.4 - -28.4. Let k = -9 + s. Let f = k - 18.4. Is f at most as big as -2/7?
True
Suppose -w = -4*w + 4*r - 41, 2*w + 3*r + 50 = 0. Suppose x = -11 - 9. Which is smaller: x or w?
x
Let d = 10.05 - 10. Let g = d - -1.02. Let k = -0.07 + g. Is k greater than -1?
True
Let h(x) = x**3 + 3. Let p be h(0). Let k be (-22)/p + 3*1. Let f = 3.9 + -4. Which is bigger: k or f?
f
Let p = -0.93 - 2.27. Is p at most -0.1?
True
Suppose n + 5*f = f - 98, -5*n - 394 = -4*f. Let x be (-2)/n*-2*1. Let p = -1866 + 1867. Is x at least as big as p?
False
Let p(f) = -f - 3. Let c be (2 - 4) + 3 + -6. Let o be p(c). Suppose -u = -5*j - 73, o*u - 2 + 6 = 0. Which is smaller: j or -16?
-16
Suppose 80*x - 83*x = p - 54, -x + 5*p + 18 = 0. Suppose -20 = -5*s + s. Suppose -3*n - 38 = -s*n. Which is smaller: x or n?
x
Suppose 2*v + 25 = -3*v + 5*t, -t + 15 = -3*v. Let a be (24/(-5) - v) + 108/10. Which is bigger: 12 or a?
12
Let u = -6.9 + 7.24. Let f = u - 0.34. Is 20 greater than or equal to f?
True
Suppose -3*k = -5*y - 10, -2*k + 2*y + 7 - 3 = 0. Which is greater: -4 or k?
k
Let m = 33 - 87. Is m at most 0?
True
Let u be ((-12)/(-10))/(14/105). Suppose -3*w + u = -3. Suppose 2*l = -w*h - 12, 3*h + 3 = -l - 2. Is l equal to -5?
False
Let l = -820 - -33622/41. Is -7 bigger than l?
False
Suppose -4*k = -r - 23, 4*r - 5 = -r. Let x = k + -6. Let n be 4/(-3) - 2/(-6). Is x not equal to n?
True
Let p be 7285/141*(2 + -3 + -2). Is p >= -156?
True
Let r = -750 + 745. Is 141 bigger than r?
True
Let q be (-2)/(-4)*3 - 636/(-24). Are 204/7 and q nonequal?
True
Let v = 17 + -22. Let b = 0 + v. Let j(l) = l + 6. Let i be j(b). Is 3 greater than or equal to i?
True
Let i = -0.054 + 0.161. Let m = -68.107 + i. Is m smaller than -0.1?
True
Let l be -13 + 4/(-12)*-3. Let x be l/18*6/(-98). Which is bigger: x or -1?
x
Let q = -0.014 + 0.015. Let h = 1991/9 + -221. Which is greater: h or q?
h
Let y = -1.07 - -0.07. Let n = -31 - -13. Let m = n + 18.6. Is y <= m?
True
Suppose -2*p = -4, -5*f + p + 0*p = 42. Let g(u) be the third derivative of -u**4/12 - 11*u**3/6 + 45*u**2 - u. Let t be g(f). Which is greater: 3 or t?
t
Suppose -94 = -d - 94. Which is bigger: d or -4/125?
d
Let c(q) = -14*q - 11. Let w(v) = v - 1. Let m(y) = c(y) + 2*w(y). Let d be m(6). Do -85 and d have different values?
False
Let p = -5 + -1. Let a be 30/4 - p/(-12). Suppose 5 = 2*c + a. Which is smaller: -2/29 or c?
c
Suppose -2*o + 30 = f + 2, -2*o = -2*f - 40. Let u(p) = -p**3 - 10*p**2 + 14. Let q be u(-10). Let b = o - q. Which is smaller: 3/4 or b?
3/4
Let k = -1.67 + 29.67. Let q = -20.6 - -3.6. Let i = q + k. Is i >= -1?
True
Let x(r) = 11*r + 191. Let y be x(-18). Is 13 at least as big as y?
True
Let u(j) = j**2 + 19*j - 16. Let t be u(-20). Let v(o) = 2*o**2 - 2*o - 1. Let m be v(-1). Suppose -5*n + 4*q - 6 = -2*n, q = m. Which is smaller: n or t?
n
Suppose 3*n + 0 - 18 = 0. Suppose -n*j = -89 + 17. Let s = j - 15. Is s less than -2?
True
Let g(t) = 15 + 13 + 13 + 7 + 2*t. Let x be g(0). Let b be 24/(-15)*(-4)/x. Which is bigger: b or 2/5?
2/5
Let b = 205 - 206. Which is smaller: b or -3?
-3
Let j(p) = 4*p - 106. Let f be j(11). Are f and -64 unequal?
True
Suppose -8 = h - 3*n + 4, -h + n - 6 = 0. Let r be 17/6 + 38/12 + h. Is r at least 7?
False
Suppose -2*n - 2*n = 4*m - 20, -3*m - 4*n = -11. Is 100 < m?
False
Let b = -0.0196 + 0.2896. Which is greater: b or 3?
3
Let q(n) = -228*n + 45. Let s be q(1). Do s and -177 have the same value?
False
Let t = 1 - -10. Let u(x) = -7*x**2 + 162*x + 323. Let y be u(25). Which is smaller: y or t?
y
Let y(k) = -17*k - 2. Let o be y(0). Is -7/8 greater than or equal to o?
True
Let i(c) = 7*c**2 - 6*c - 172. Let g be i(-12). Is g at least as big as 908?
True
Let s be 4765/(-8415) - (-2)/9. Let j = 1/51 - s. Which is smaller: 0 or j?
0
Let o = 1352 - 1378. Is -350/13 greater than o?
False
Suppose 0 = 3*c - 8*c - 40. Let o be 175/(-180) - 6/c. Suppose -u = -3*i + 1, -2*i - 5 = 5*u - 4*i. Is o >= u?
True
Let y(m) = -2*m**2 + 24*m - 9. Let w be y(10). Let f = 48 - w. Is f greater than 16?
True
Let g = 18 + -25. Let s(m) be the second derivative of -m**5/20 - m**4/4 + 5*m**3/6 + 7*m**2/2 - 10*m. Let h be s(-3). Is h at least as big as g?
False
Let h = 634.9 - 635. Is h <= 530?
True
Let u = -2888/5 + 557. Which is bigger: -20 or u?
-20
Let r(d) = -d. Let x be r(0). Let g be (-2480)/(-1232) - 3/(3/2). Is x > g?
False
Suppose 3*o - 5 = -2*w, 15*w = 10*w + 5*o. Is 1/14 <= w?
True
Suppose 0 = -0*k - 5*k. Suppose k = 3*w + 3*h - 6, 2*w - 2*h + 4 = 7*w. Which is smaller: w or -2/13?
-2/13
Let u(r) be the second derivative of r**3/2 - 16*r**2 + 5*r. Let o be u(17). Is 19 not equal to o?
False
Let m be (-13740)/3045 + (-45)/(-10). Which is smaller: m or 0?
m
Let z = -44 - -483/11. Let b = 4 - 5. Is z equal to b?
False
Let t = -76 + 72. Let s be 0/t + (-2)/(-3 - -1). Which is bigger: -1.3 or s?
s
Let j = 44 - 58.8. Let q = j + 14.76. Is q <= 0?
True
Let i(v) = 7*v - 39. Let g be i(6). Suppose -k - 5 = g*m, -m = 5*k + 10 + 1. Which is bigger: -4/7 or m?
-4/7
Let m = 7 + -1. Let x = -0.063 + -0.237. Let a = x - -0.2. Is a > m?
False
Let a be -12 + 3/(1 + 0). Let o = -47 - -57. Let k be 5/o + 34/(-4). Which is smaller: k or a?
a
Let u = -39 + 36. Let r be ((u - 6/(-4)) + 2)*2. Which is smaller: -2/61 or r?
-2/61
Let d = 0.0019 + -0.0619. Which is smaller: -0.1 or d?
-0.1
Suppose 1553 = -4*c - 5007. Let d = 11510/7 + c. Is d >= 4?
True
Let p(l) = -l**3 + l + 11. Let u be p(0). Suppose -29 - u = -5*j. Is j less than 8?
False
Let p = 11 + -5. Let f = -19 - -26. Let j(q) = -q**3 + 6*q**2 + 7*q + 6. Let c be j(f). Is p >= c?
True
Let p be (-53)/((-2)/12*-9). Let l = -2129/60 - p. Suppose -5 = -3*a + 4*f + f, 5 = -5*f. Is a < l?
False
Let v be -2*((-28)/(-6) - (-10)/(-15)). Is v not equal to -1?
True
Let v = -1722 + 484. Which is greater: -1/4 or v?
-1/4
Suppose 3 - 2 = -m + 5*b, 3 = -3*m - 4*b. Suppose -7*k - 5 = -2*k. Is k at most as big as m?
True
Let x be 4/6 - (-5)/(-3) - -4. Let u be 9 + (-3)/x + -3 - 4. Are u and 9.4 unequal?
True
Let c be ((-1)/2)/((-54)/(-3474)). Let j = c + 33. Let t(l) = l - 3. Let u be t(4). Which is smaller: u or j?
j
Suppose m - 18 = -5*v, -3*v + 15 = 2*v. Suppose 0 = -4*j + 6*j - 10. Is m at least as big as j?
False
Let h(v) = v**3 - 7*v**2 - 6*v + 8. Let m be h(7). Let l = 47 + m. Is 11 greater than l?
False
Suppose 0 = -0*v + v - 5*j - 12, 4*v + j = 48. Let l be -5*(v/15 - 1). Does l = -2/27?
False
Let l = -48.96 + 0.96. Let y = l + 47.5. Is -0.1 <= y?
False
Let g(m) = -m**3 - 13*m**2 + 17*m + 35. Let c be g(-14). Which is smaller: -2/25 or c?
c
Let u = 4316 - 4317.933. Let f = -0.067 + u. Which is greater: f or 52?
52
Suppose 4*j - j + 297 = 3*w, -2*w + 5*j = -213. Let c = 61 - w. Which is smaller: -34 or c?
-34
Let f = -103 - -75. Is f < 4/3?
True
Let i be ((-29)/24360)/((-4)/2). Let o = i - 527/3360. Which is greater: 0 or o?
0
Let s be (2 - 11)/1 - 0. Let u = 16 + -25. Let x = u - 1. Which is smaller: s or x?
x
Let c be (236/72 + -4)/(-1). Is c greater than or equal to 0?
True
Suppose 101*t - 11564 = -78729. Is -665 < t?
False
Suppose h - 2*w + 136 = 0, 5*h = 3*w - 0*w - 715. Let z = h - -148. Let y be (14/(-4))/((-9)/6). Are z and y non-equal?
True
Let l be (4 + -2)*6/4 + 2. Let q be 5 - (-88)/(-20) - (-2)/l. Is q not equal to 1?
False
Suppose -4*p - 4 = 4, 2*r + 52 = p. Let d be 6/4 - 1/(-2). Suppose -x - 40 = -3*q, 0 = d*x + q + 26 + 26. Are x and r unequal?
True
Let d = -1 - -6. Let x = 30 + -30.13. Let s = x + -0.17. Is d at least as big as s?
True
Let w be (-8)/100 - 520/(-250). Are w and 42/25 non-equal?
True
Let i = 2.04 + -1.71. Let y = 0.67 - 0.7. Let c = y + i. Which is smaller: c or -0.2?
-0.2
Let d(u) = -2*u**2 - 22. Let k be d(0). Which is greater: k or -14?
-14
Let t = -12693/4 - -3173. Let r = -6.07 - -0.07. Which is bigger: r or t?
t
Let g be -7 + (-5 - -5)*(0 - -1). Let t(s) = s**2 + 21*s + 36. Let d be t(g). Is -64 equal to d?
False
Let b = 58 - 56. Let n be 8/b - 0/(-6). Let w = 26 + -43/2. Is w greater than n?
True
Let l = 2.4 + -14.4. Let s = l - -11.94. Let i be (-12)/80 - (-2)/5. Is s at most i?
True
Let z be 1/(-5) + 172/260. Let g be (-2)/6 - (-2)/6. Which is smaller: z or g?
g
Suppose -6 + 1 