.4. Which is greater: -0.1 or m?
m
Suppose 164 = -2*s + 24*u - 25*u, -2*u + 8 = 0. Is s at least -80?
False
Let r(u) = -u**3 + 5*u**2 + 206*u - 26. Let i be r(17). Is 13 > i?
True
Let c = -2.8 + 47.8. Let j = -44.9 + c. Which is smaller: j or -8?
-8
Let n = 117/244 - -8133/976. Do n and 8 have the same value?
False
Let z be (108/42)/(12/224). Let k = 50 - z. Do k and 5 have the same value?
False
Suppose 0 = 7*y + 784 + 49. Let o = -116 - y. Which is bigger: 5/2 or o?
o
Let g(m) = m**2 + 9*m - 23. Let i be g(-11). Is -27/17 less than or equal to i?
True
Let v = -2.29 - -2.2. Let n = v + 0.19. Let d = 38 + -32. Which is smaller: n or d?
n
Suppose 0*w - 26 = 13*w. Is 17 greater than w?
True
Let b = -1303081/105 - -12410. Let i be (-69)/189*-3 - 1. Let k = i + b. Which is smaller: k or -6?
-6
Let b(v) = v + 20. Let d be b(-9). Let a be (d - 17)/(3 + 2). Is a < -1?
True
Let l be (-1)/(-4) + (-75)/(-4). Let z = -33 + l. Let t = -16 - z. Which is greater: t or -0.1?
-0.1
Let c be ((-12)/(-480))/(1910/25). Is 0 smaller than c?
True
Let r be (-16)/(-7)*(-2)/(-4). Which is greater: r or 1?
r
Suppose 3*o - 9 = 0, -9 = -3*a - 3*o + 3. Let v(g) = -2*g + 6. Let m be v(4). Let r be 38/42 + a + m. Is r greater than -1?
True
Suppose 5 = -p + 4*a + 7, -2*a - 82 = -5*p. Let u be (-338)/(-18) - (-4)/p. Suppose -3*v - 4*i - 2 = -u, 5*i + 26 = 3*v. Is v at most 15/2?
True
Let x = -156 - -179. Are 23 and x equal?
True
Let d = 3461847/95 - 36441. Which is smaller: d or -1?
-1
Let s = 598 - 597.951. Which is smaller: -15 or s?
-15
Let j be (100 + -100)/(1 - 0). Is 4/37 != j?
True
Let s be (-9 - 1) + 83 + -73. Let n be (1 - 2/(-2))/(-9). Which is bigger: s or n?
s
Let d be (3 - 1)*(-10)/(-8). Let c(m) = 17*m + 38. Let l be c(-2). Is l != d?
True
Let n = -251448079213/15602280980 - 3/22644820. Let u = n - -210/13. Is u > -1?
True
Let v = 100516801111/165 + -609194575. Let x = -1841 - v. Which is bigger: 1 or x?
1
Let t be 4/(-6)*9/6. Let n(k) = 1 + 1 - 3*k + 6. Let p be n(3). Is t less than or equal to p?
True
Let k be ((-1295952)/(-306))/7 + 0/(-2). Let s = k + -605. Is s smaller than -1?
False
Let c be (1/(-3))/((-2409)/(-396)). Is 0 < c?
False
Let i = -7 + 3. Let d be (16/6)/i*-3. Let k be (d/2 - 2)*1. Is -1 at most k?
True
Let p = -81253/1484 + 1/371. Let i = p + 55. Which is smaller: -3 or i?
-3
Let l = -3742/29 + 129. Suppose v + 2*v - 5*c = 0, -2*v = -c. Is v at least l?
True
Let m = 246 + -332. Do m and 2/7 have different values?
True
Let a be 55/22*824/12. Which is bigger: 172 or a?
172
Let t(j) = -j - 28. Let k be t(15). Are -45 and k equal?
False
Suppose s + s - 26 = 0. Suppose -6*g + s*g = -21. Let d be (-1)/(((-6)/g)/(-2)). Which is greater: 2/11 or d?
d
Let z be 25/24 - (-2)/(-3). Let r = 207.07195 + 0.02805. Let p = -207 + r. Is z smaller than p?
False
Let z = -5.0228 - -0.0328. Let b = 5 + z. Let h = -22.5 - -18.5. Is b at least as big as h?
True
Let g be (-19)/(-1) + (2 - 0). Let j be (-2)/g*(-6)/1. Let k = 3738.9 + -3739. Which is bigger: k or j?
j
Let r = 259.974 + -260. Which is greater: 0.1 or r?
0.1
Suppose -3*k + 61146 = -2*o, 5*o = 2*k - 156913 + 4026. Let y be -2*(-3 + o/(-156)). Let f = y - -386. Which is greater: f or 1?
1
Suppose 344*f - 351*f - 126 = 0. Is -9 at most as big as f?
False
Suppose -27*y + 3*y + 24 = 0. Which is smaller: y or 1/168?
1/168
Suppose -65 = 21*o - 338. Is o less than 174/13?
True
Suppose -12 = -3*u, -h = h - 2*u. Suppose -o + 99 = -h*o. Which is smaller: -32 or o?
o
Suppose -6*b = -9*b. Let s = -19 - -44. Suppose -3*f + 0*f - 5*l = -22, 5*f = 4*l - s. Is f smaller than b?
True
Suppose 2*f = 5*o - 14, -2*o + 4*f = -0*f + 4. Suppose 3*n - 2*n = o*i, 0 = -i. Which is smaller: n or -2/179?
-2/179
Let i = 62 - 201. Let k = i + 140. Is -112 at least k?
False
Let j be (3/2)/((-6)/444). Let r be 2/6 + j/9. Let f be (-3)/9 - (-8)/r. Is -1.1 less than f?
True
Suppose 4*z + 3*v = 2*z - 7, -5*v - 20 = 5*z. Is -72/13 at most as big as z?
True
Let v = 26 + -186/7. Let y(u) = -u - 7. Let l be y(-5). Which is bigger: v or l?
v
Let p = 61 - 18. Let h = p - 61. Are 1 and h equal?
False
Suppose 1235 = 17*w - 4*w. Which is bigger: 0 or w?
w
Let i be (-11 - 0) + 5146617/467854. Is 1 smaller than i?
False
Suppose -3*k + 30 + 147 = 0. Suppose 4*x = -k - 9. Let o = 4 - 20. Is o > x?
True
Let h be 14/(-2) - 210/(-50)*5. Is h <= 149/11?
False
Suppose -5*w + 12 - 2 = 0. Let p = 110907/52184 - 2/6523. Which is bigger: w or p?
p
Let b = 3.2 - 3. Let d = -1.922 - -0.022. Let n = -1.6 - d. Is b at most as big as n?
True
Let b = 4576/7 + -3445714/5271. Let r = b + 3749/6024. Let g be -1*(-5 + -9*3/(-9)). Is g greater than r?
True
Let g = -333 - -343. Which is smaller: 9 or g?
9
Let b = -50 - -61. Suppose -b*y = -15*y + 24. Which is bigger: 9 or y?
9
Let l = 13174 + -1554577/118. Let d = 1145/3186 - l. Let a = d + -502/459. Which is smaller: 0 or a?
a
Let g = -1/3299 + -2908/1289909. Which is bigger: 0 or g?
0
Let m be ((-9)/12)/(4/(-112)). Suppose -4*v = -v - 36. Let u be v/m*1*-1. Is u at least -2/3?
True
Let y be 2 + 3/((-135)/65). Let d(i) = i + 11. Let r be d(-9). Suppose -k - r + 4 = 0. Are k and y equal?
False
Let g = -51 - -108. Let c = g - 50. Is c smaller than 6?
False
Let x = 0.09 + -0.1. Let y(h) = -5*h**2 - 9*h + 34. Let v be y(2). Is v at most as big as x?
True
Let u = 0.248 + 0.052. Let o = -5 - -6. Is o at least as big as u?
True
Let l = -2298/3569 - -38/83. Which is bigger: 1 or l?
1
Let b be (-14)/(-35) + ((-539)/(-35))/(-11). Suppose 8 = -3*a - 4. Let m be (-44)/30 + a/(-6). Does m = b?
False
Let h = 6.193 - 0.093. Let b = h - 6. Which is smaller: -0.05 or b?
-0.05
Let a = 28 - 10. Let n = a - 30. Let t be n/15 + (-3)/15. Is -4 greater than t?
False
Let k be 0 - (1*-1)/((-16)/(-32)). Suppose -m - 11 = d + 4*m, -k*m - 20 = 3*d. Is 0 > d?
True
Let p = 17438/5 - 3472. Which is smaller: 17 or p?
p
Let v = 18 + -15. Suppose v*k = -31 - 113. Is k > -48?
False
Let k = -50.9 - -57.9. Let v = 3 + -6. Which is smaller: k or v?
v
Let z = 8 + -13. Let t be -1*51/(-9) + z. Which is smaller: t or 15?
t
Let t = -2383/68269 + 14/293. Is 0 >= t?
False
Let i = 0.9 + -0.8. Let n be (-2)/4 - (-25)/(-10). Let w be (-1)/n*6/(-4). Which is bigger: w or i?
i
Let s be (-12)/(-9)*(-31)/(-4). Let y = -12 + s. Suppose 15*j = 18*j. Which is greater: j or y?
j
Let z(m) = m - 7. Let t be z(7). Let u be (-3)/(-4)*(-145)/(-174). Is t smaller than u?
True
Let r = 124 - 123. Let o be ((-2)/(-1) + 0)*-2. Do r and o have different values?
True
Let u = -2340/2491 + 34/53. Which is greater: 1 or u?
1
Let m = 1743 - 1747. Suppose 2*c = 2, -3*c - 61 = 3*v + 2*c. Let t be v/(-12) + 0 + -2. Is t at least as big as m?
True
Suppose -n + 1 = -2. Suppose 0 = 5*u + 4*l - 14, n*u + 3*l = -0*u + 6. Let a be 2/u + 30/(-36). Are a and 3 nonequal?
True
Let t = 42.1 + -39. Let p = t + -4.1. Is p at most as big as 6?
True
Suppose m + m = 18. Let w(s) = -s**2 + 9*s + 4. Let k be w(m). Suppose k*i + 2 = -6. Do -8/5 and i have the same value?
False
Let m be ((-2)/38)/(1/3). Let z = 43 + -42. Is z greater than or equal to m?
True
Let j be (2 + 0)*(-225)/(-10). Let d be j/10 + 3/(-6). Suppose 0 = -h - d*k - 13, -h + 5*h + 3*k = -13. Which is smaller: 1/7 or h?
h
Suppose -m + 73 = -2*g + 2*m, -19 = g - 5*m. Let z = -49 - g. Which is greater: -6 or z?
z
Let q = -14 - -24. Let o = q - 10.4. Let t = o - -0.3. Is t equal to -1/9?
False
Let n = -158 - -156. Are -23/9 and n non-equal?
True
Let h = -0.9 + -60.1. Which is bigger: h or -1?
-1
Let r = -604 - -535. Which is smaller: 6 or r?
r
Let b be ((-10)/12)/(102/(-1071)). Which is greater: b or 9?
9
Let h(r) = -2*r + 6. Let f be h(3). Suppose 3*o + 3*i - 18 = f, -5*i = -o - 3*i. Let c be (-24)/(-3 - 1) - o. Is c less than 3/2?
False
Let c(j) = -j**3 - 11*j**2 - 11*j - 6. Let a be c(-10). Suppose a*g + 2 = 6*g. Which is smaller: 2/21 or g?
2/21
Suppose -2*t + 4*t + 6 = 0. Let d(p) = -7*p + 93. Let j be d(14). Which is greater: j or t?
t
Let r = 920 - 806.8. Let w = -113 + r. Which is smaller: w or 2/85?
2/85
Let u(c) = c**3 + 4*c**2 + c - 1. Let s be u(-3). Let q(p) = -4*p**3 - 8*p**2 + 2*p - 8. Let r be q(-6). Let x = 2239/4 - r. Which is bigger: s or x?
s
Let h(o) = o**2 + 10*o + 13. Let x be h(-9). Suppose w - 13 = s, 7*w - 61 = 2*w + x*s. 