9/5. Which is smaller: t or -1/24?
-1/24
Let o be (16/9 - 2) + 8/36. Suppose 2*s - 3*s + 5 = o. Which is greater: 50/9 or s?
50/9
Let m = 0.0043 + -0.2043. Does m = -3396?
False
Let d = 2475 + -2492.8. Let a = 0.1 - 0.1. Is a less than d?
False
Let a = -37775/37 + 1021. Let k be 36/(-8)*42/(-9). Suppose -22*q - 1 = k. Is q <= a?
True
Let c be (-13)/(2/12*-1). Let x be 89 + 6 + (-209)/11. Is c bigger than x?
True
Let x = 596 - 660.3. Let r = x + 5.3. Which is smaller: -2 or r?
r
Suppose -42*n = 25*n - 10*n. Are 79 and n equal?
False
Let h = -9792 - -9895. Which is greater: -4 or h?
h
Let d be -226731*6/16464 + (-4)/(-2). Let k = -645/8 - d. Is k at most 1?
True
Let w = 483 - 521. Suppose -9*y + 81 = -18*y. Which is smaller: y or w?
w
Suppose -1223 = 105*g - 6473. Is -8 less than g?
True
Let w = -52.057 + -0.823. Let t = w + -0.12. Which is bigger: t or 0?
0
Let q = -0.68 + -0.02. Let y = -3297.5 + 3298. Let j = q + y. Which is smaller: j or -23?
-23
Let w = 2101 + -1353. Let i = -748 + w. Let s = 7.7 - 8. Which is greater: i or s?
i
Suppose 4*i - 200 = 96. Let a = i - 7. Let h = a - 67. Is 21 at least h?
True
Let x = -165396 + 824091/5. Let d(c) = 146*c**2 + 4*c - 5. Let z be d(2). Let o = z + x. Is 9 <= o?
True
Let n = -224751889/5352 - -41994. Which is bigger: n or 0?
0
Let u = 1022.6 - 921. Let m = u + -90. Let d = 9.9 - m. Which is greater: d or -2/7?
-2/7
Let i = -11 + -19. Let a = 30.555 + 0.445. Let c = a + i. Which is greater: c or 0.2?
c
Let w(x) = -x**2 + 9*x - 8. Let b be w(6). Let c be (-13*4/3)/(108/(-81)). Suppose -7*p = -c - 50. Is p bigger than b?
False
Let r = -3540 - -3541. Which is greater: -2/515 or r?
r
Let r be ((-17)/34)/(2/20). Let b be ((-1962)/390 - 4/(-5)) + 0. Which is smaller: b or r?
r
Let m(b) = -253*b**2 - 39*b - 2. Let n be m(-4). Is -3893 not equal to n?
True
Let q(a) = -347*a + 27435. Let u be q(79). Let c = 9 - 2. Which is smaller: c or u?
c
Let d = -24.8 + 4.8. Let x = -28.1 - -10.1. Let m = x + 17. Is d greater than or equal to m?
False
Let g be -82 + (174/(-29) - 2*-4). Is 24 >= g?
True
Let u be (-64)/4 + -11 + 25. Let r = 2.7 - 4. Let k = 1.47 + r. Is k > u?
True
Let z(u) = -8*u - 247. Let t be z(3). Which is smaller: -269 or t?
t
Let n = 5.17225 - 0.17225. Which is bigger: -793 or n?
n
Let s be (-1)/2 + 2204/232. Let g be (-3 - 2)*78/(-15). Let f = g + -14. Do f and s have the same value?
False
Let d be 2/(-39) - 2296/(-2184). Which is bigger: d or -66/181?
d
Suppose -r + 3*r + v = 53, 4*v = -r + 44. Let z be (-2100)/r - 9/6. Let y = 114 + z. Which is smaller: y or 23?
23
Let b(i) = i**3 - 12*i**2 + 18*i + 1. Suppose 0 = 5*l + 99 + 76. Let z be (-1*2)/(7/l). Let t be b(z). Is t smaller than -17?
True
Let q = -222 - -226. Let w(z) = z**3 - 4*z**2 - 2*z - 7. Let o be w(q). Which is bigger: o or 4/9?
4/9
Let a(z) be the first derivative of -5*z**2/2 + 11*z - 32. Let m be a(2). Suppose -m = -v + 2, -4*g - 2*v = -58. Which is smaller: g or 14?
g
Let a = 2560.18 + -2704. Let l = a - -144. Is l > -1/3?
True
Let y be ((-51)/68)/((-21)/1764). Suppose 24 = n - 40. Which is greater: n or y?
n
Let j be -2 - ((-1686)/(-9))/(10/(-15)). Let a be (j/(-6))/(-4*24/128). Is 61 > a?
False
Suppose 48 + 48 = 2*g. Let z = -25 + g. Suppose z*t - 14 = 24*t. Is t greater than or equal to -14?
True
Let s be (-6)/9 - (-19)/(-3). Suppose -6*o + 24 - 6 = 0. Suppose -2*x = -j + 1, -2*x - 2*x + o*j - 1 = 0. Which is bigger: x or s?
x
Suppose -n = -0*n - k + 77, 0 = -n - k - 83. Let y = n - -97. Suppose -r - 3*j = 2 - y, -4*r - 5*j = -81. Is r <= 2/5?
False
Suppose -281*m + 54509 + 148891 + 66360 = 0. Which is greater: m or 959?
m
Suppose 12*f - 10*f + 40 = 0. Let m be 34/f - (-9)/18. Are m and 11 non-equal?
True
Suppose -3*t - v - 1 + 13 = 0, -28 = -5*t + v. Suppose -2*q + t*w - 19 = 0, -q - 2*w + 2 = 7. Do -5 and q have different values?
True
Let o = 48 - 25. Suppose 6*u + 7 = -o. Let z(c) = -c**3 - 4*c**2 + 7*c + 4. Let a be z(u). Which is smaller: a or -8?
-8
Suppose 0 = -2*t + 4 + 12. Suppose l + 4 = 0, -t*i - 5*l - 12 = -4*i. Is 5/2 at most i?
False
Let a = 10 - 5. Let t(k) = 4*k**2 + 16*k - 85. Let g(q) = 5*q**2 + 13*q - 86. Let f(b) = -5*g(b) + 6*t(b). Let l be f(28). Which is greater: a or l?
a
Let d be ((-1)/(-1))/(((-8)/(-12))/2). Let v be (108765/20)/d*1/3. Let a = 601 - v. Are a and -4 equal?
False
Let c = -260.3 - -260.2. Is -7725 != c?
True
Let n = 11009 + -16854. Do n and -5846 have different values?
True
Let f be (-18)/(-63)*(-21)/(-30). Suppose -2*r - 4*n + 9 = 1, 0 = 5*r + 3*n - 6. Which is greater: r or f?
f
Let c = 1.79 - -89.21. Let x = c - 90. Is x less than or equal to -2/29?
False
Suppose 0 = -s - 77 + 87. Let h be (-15)/s + -1*85/2. Are h and -42 equal?
False
Suppose 174 = 5*y + d, -4*y - 4*d + 140 = -3*d. Suppose -y = 16*s + 62. Let w(l) = -l**3 - 8*l**2 + 6*l + 6. Let m be w(s). Is -102 less than m?
False
Let s = -0.44 - -3.74. Let v = 1.7 - s. Let l = -3388 - -3388. Is v at least l?
False
Let h = 100 - 176. Let s = -76 - h. Let f = -442 - -16352/37. Which is bigger: f or s?
s
Let v = 88 - 62. Let m = -42 + 17. Let h = v + m. Does h = -35?
False
Let d = 13 + -9. Let g be 272/(-72) + d/(-18). Let u be 54/g*(-12)/(-72). Is -2 less than or equal to u?
False
Let n = 48 - 49. Let u = 0.9945 + 0.0055. Is u >= n?
True
Let s = -37713566/155817 - -6535/27. Which is smaller: s or -1?
-1
Suppose -159*k + 162*k = -9, -h - 5*k = -199. Do h and 214 have different values?
False
Let n = 23.84 - 24.84. Which is greater: 89.78 or n?
89.78
Let d = -36 - -38. Suppose -d*m = 155 - 107. Which is greater: m or -23?
-23
Suppose 4*s + 24 + 4 = v, 0 = -4*v - 4*s + 12. Let r be (-5 + 64/12)*v/332. Suppose 4 = -t + 5. Is t > r?
True
Let o be (-6)/(-39) + 880/26. Let z = o + -32. Let s be z/(-11) + (-159)/33. Is s less than 0?
True
Let p = 23 + -217. Let s = p - -279. Which is smaller: s or 81?
81
Let y be (2/10)/(531/(-3507255)). Which is greater: y or -1326?
y
Suppose 104 = -6*q - 5*q - 2*q. Let i(w) = w - 16. Let h be i(3). Is h <= q?
True
Let r be (1 - 1 - -3)/((-3)/2). Let s be (0 + r)/(-3 + 5). Let b be (-3 + 1527/507)*(0 - 1). Is s greater than b?
False
Let q = -17505858974426/34185 - -512091823. Let p = q + 20/129. Which is greater: 1 or p?
1
Let y = 691 + -691.15. Is y >= -2/5?
True
Let a = 170893/27 + -6331. Which is bigger: -2 or a?
a
Let r(v) = -95*v + 500. Let y(m) = 24*m - 125. Let k(w) = -4*r(w) - 15*y(w). Let u be k(12). Is u less than 115?
False
Let a(b) = b**2 - 23*b - 468. Let u be a(36). Which is bigger: u or -25/206?
u
Let y be 7*-1 + 67160/9844. Which is bigger: -1 or y?
y
Suppose -9 = -5*n + 1. Let f = -39 - -42. Suppose n*y = -4*t - 32, 2 - 8 = f*t - 3*y. Which is smaller: t or -3?
t
Let r = -563411515/7738 + 72811. Which is bigger: 1 or r?
1
Suppose 1711 = 94*h - 35*h. Suppose -6*t + 1 = -7*t. Are h and t nonequal?
True
Let w = -94 + 187. Let l(c) = -c**3 + 9*c**2 + 15*c - 81. Let z be l(5). Which is bigger: w or z?
z
Let n = -817175961/2990 + 273303. Are n and 1 equal?
False
Let n be ((-462)/(-35))/(6/80). Suppose -n = -5*u - 111. Let m be (-35)/(-14)*1/5. Which is smaller: m or u?
m
Let i = -31513 + 31515. Let o = 0.28 + -0.85. Which is smaller: o or i?
o
Let m = -2854 + 2860. Is -3/11 less than or equal to m?
True
Let x be 1 - 1*(239 + -2). Let r = -260 - x. Is -24 at most r?
True
Let c = 2/49403 + 47003/59283600. Which is greater: c or -1?
c
Suppose 0*i = 15*i - 8250. Let w = 515 - i. Are -36 and w equal?
False
Suppose 5*k - 8*k = -6. Suppose -2*c + 410 = -k*x, -134 + 1119 = 5*c + 5*x. Let l be (-6 - c/(-33))*(1 + 0). Which is greater: l or 0?
l
Let l(p) = 13*p - 5. Let m be l(12). Let j = m - 111. Are 41 and j equal?
False
Let g = 564.632 - 564. Let y = g + 1.028. Which is smaller: 1/4 or y?
1/4
Let t be (156/(-845)*-13)/((-12)/(-225)). Let u(v) = -44*v. Let r be u(-1). Which is smaller: t or r?
r
Let z be (-3)/(-243)*18 - (-5)/(45/7). Let i be 67/51 + (-2 - -1). Is i equal to z?
False
Let l be 8/(-2)*4/(-8). Suppose 5*y - 114 = l*k, 0*k + y - 98 = 2*k. Let a = 28 + k. Which is bigger: -20 or a?
a
Suppose 0 = -102*j - 18408 + 96540. Which is greater: j or 765?
j
Let q = 231812 - 3852947250/16621. Are q and 1 non-equal?
True
Let y = -7 + 7.1. Let z be 14/(-63) + (-11)/(-18)*2. Let v be (z + -1 + -3)/(5/2