0.1?
0.1
Let k = 110471/5 - 22355. Which is smaller: k or -261?
-261
Suppose 0 = 7*g + 1 - 8. Let a(f) = f - 5 - 7*f**2 + f**2 - f**3 + 0*f**2 - 2*f. Let k be a(-6). Are k and g nonequal?
False
Let g = -27.79 + 2.79. Let b = -14 + 52. Let j = b + g. Is 0.2 smaller than j?
True
Let r be ((-184)/368)/((-2)/320). Is r greater than 244/3?
False
Let y(w) = 60*w. Let g be y(2). Let d = -63 + g. Is d at most as big as 57?
True
Let o = -27.26 - -0.26. Which is smaller: o or 0?
o
Let j = 0.16 - 0.23. Suppose 11*v + 86 = 3*q, -97*v + 72 = -101*v - 4*q. Which is bigger: v or j?
j
Let u = 3919/9 - 435. Suppose -4*n = 5*b + 5, -n = 4*b - 0*n + 4. Is u greater than b?
True
Let v = 2742.19 - 2775. Let f = v - -33. Which is greater: 2/7 or f?
2/7
Suppose 0 = 2*w - 3*w + 35. Let o be 5103/w - (-8)/(-10). Let m be -1*o/45 + 3. Which is smaller: m or -0.5?
-0.5
Suppose -2*u - 2*u = -48. Suppose -3*b + 4*s = u, -2*s = 5*b - b - 6. Let k = -97/111 + -17/37. Which is smaller: k or b?
k
Let h = 11 + 3. Let c be 4/h - (-30)/42. Let r = -369 - -4800/13. Which is smaller: r or c?
r
Let s be 100/(-25) + (0 - 0). Suppose 0 = 2*y - 0 - 4. Which is smaller: s or y?
s
Let h = 234317/147 + -1594. Which is bigger: 1 or h?
1
Let u = -1663/2898 - -1/414. Let g = 2 + -4. Which is smaller: g or u?
g
Suppose -2*f + 2371 = 997. Is f != 687?
False
Let t be -98*9/6 - 2. Let g be (-2)/((-3 - -4)*t). Which is smaller: g or -1?
-1
Let r be (-6)/(-8)*(5 - 231/45). Is r > 1?
False
Let f = -37 - -31. Let n be ((-8)/4)/(f/3 + 4). Let d be 1/1 - (-21)/(-18). Is n less than d?
True
Suppose -3*s = 2*s - 3*y + 219, -3*s - 2*y - 120 = 0. Which is bigger: -3 or s?
-3
Let i(y) = 14*y + 56. Let r be i(-32). Is -392 <= r?
True
Let r = 1540469/412 - 3739. Which is bigger: -1 or r?
r
Let u be 4/(8/(-6))*16376/534. Does u = -94?
False
Let v = 15.2 + 0.8. Let f = 18 - v. Which is bigger: f or 0.15?
f
Let i(r) = 5*r - 6. Let a be i(4). Let d = 76 + -63. Is d greater than a?
False
Let o(p) = -2*p + 24. Let m be o(10). Suppose 3*n - m*w = -10 + 47, 3*w = -5*n + 23. Is n less than -1?
False
Suppose 2*s + 8 = -2*s, 9 = f - 5*s. Let k be 2/(-2) + 40/54. Let x = 173/459 + k. Which is greater: f or x?
x
Let t = 26 - 14. Suppose -4*a - 24 = 2*b - 4*b, -2*b - 5*a = t. Suppose 5 - b = -u. Which is greater: -7/3 or u?
u
Let q(t) = 1 + 464*t**2 + 2 - 466*t**2 + t**3 - 2*t. Let r be q(2). Let v = -239/76 + 13/4. Is r <= v?
True
Let c be (-2326)/(-4) + 2/4. Let v be (-20)/(-6)*120492/690. Let m = v - c. Which is greater: 1/3 or m?
1/3
Suppose -4*r = -r. Suppose 0 = h - r*h - 3*z - 20, -z = 4*h - 15. Are h and 4 nonequal?
True
Let j = 178 + -180. Which is smaller: 91 or j?
j
Let g be 16/(-24) + 8/72. Do g and -2 have different values?
True
Let g = -317 - -392. Is 76 <= g?
False
Let o = 1365 - 23244/17. Let c = o - -2335/1003. Is 1 less than c?
False
Let c be (35/(-2) - 1)*(30 - 32). Which is greater: c or 35?
c
Suppose -17*h - 3516 + 3227 = 0. Suppose 5*m + 98 - 28 = 0. Is h less than or equal to m?
True
Let b be (4/(-40)*6)/((-2)/30). Let i be (-8)/(-36) + 16/b. Is 2 less than i?
False
Let s = 1.31 - -32.09. Let l = 34 - s. Does l = 0.2?
False
Suppose 14*m - 222 = 534. Which is bigger: 53 or m?
m
Let b be (-29)/((-2 - -4)/(-2)). Suppose 2*t - 5*y = -11, y - 12 = -2*t - b. Suppose -2674 = -9*p - 2764. Is p less than or equal to t?
True
Suppose -3*a + 1 - 4 = 0. Let q(y) = -y**3 - 7*y**2 + 19*y + 5. Let u be q(-9). Let k be 0*6/(-4)*u/(-18). Which is smaller: k or a?
a
Let b = -7619/3 + 2500. Let w = -40 - b. Which is greater: w or -0.4?
w
Let m = 14 + -11. Let d be m + (-7 - (-1 - 0)). Let c be (-19)/(-3) - (-1)/d. Which is bigger: c or 5?
c
Let n(w) = -33*w - 102. Let f be n(-3). Which is bigger: -17 or f?
f
Suppose -563*f + 573*f = -10. Which is smaller: 4/1003 or f?
f
Let m = -4 - -24. Let f = -501 + 505. Suppose 0*g + f*g - m = 0. Which is greater: g or 7?
7
Let m(f) = f**3 + 10*f**2 + 15*f - 10. Let d be m(-8). Let x be (-35)/5*(d + 3). Let u be x/(-28) - 14/24. Which is greater: 1 or u?
1
Let v = -2381 + 1540506/647. Which is greater: v or 1?
1
Let q(f) = f**2 + f. Let p be q(-1). Let m be 9 - (p + (-1 - -4)). Suppose -w + s - 22 = -4*w, w - 3*s = -m. Are w and 4 unequal?
True
Suppose -3*w - 6 = -6*w. Let k = -2854/195 - -44/3. Is w >= k?
True
Let o be 1 - (1*(-1 - 3) + 2). Which is bigger: o or 5/3?
o
Let s(p) = 75*p + 2. Let f be s(-1). Suppose 2756 = -51*t - 916. Is f greater than or equal to t?
False
Let n = 6286/195 + -426/13. Are 0 and n unequal?
True
Let h = 45/122 + 8/61. Is 22/3 <= h?
False
Let a be (1/3)/((-8)/1416). Let s = a - -29. Let q be 50/(-30)*2/s. Is 1 < q?
False
Suppose 24 = 7*v + v. Which is smaller: 18/5 or v?
v
Let t be (6 - 10)/((-2)/9). Let m = t + -11. Is m > 1?
True
Let v(u) = 2*u**2 - 2*u. Let g be v(-3). Suppose 2*p - g - 18 = 0. Which is bigger: p or 0?
p
Suppose -2992 = -400*q + 224*q. Let y(k) = k**3 + k**2 + 19. Let t be y(0). Which is smaller: q or t?
q
Let t be 1/4 - (147/(-28) - 8). Is 13 bigger than t?
False
Let s be (-1)/3 + 4/(-6). Let q be (-2)/(-4)*2 + s. Let l be ((-9)/(-28))/(6 - (-270)/(-48)). Which is bigger: q or l?
l
Let o(w) = 15*w**2 - 4*w + 3. Let a be o(1). Is 14 greater than a?
False
Let r = -426/43589 + -11968781/144584713. Let b = r + 3/107. Which is greater: b or 1?
1
Suppose 3*w - 5*z + 2499 = 0, 6*z + 3309 = -4*w + 5*z. Let g be (-888)/w - 4/3. Is -1 not equal to g?
True
Let r = -51 - -94. Let w = r - 46. Suppose -o = 4*o - 5. Which is smaller: o or w?
w
Suppose -3*j - 5*d = -5, 4*j + 4 = 3*d + 59. Let l be 2/j + 18/(-10). Let i(z) = -z**2 - z - 1. Let h be i(-1). Is h at least l?
True
Let u be (7/(1050/4))/(8/(-10)). Let h = 54 + -54. Which is bigger: h or u?
h
Let r(q) = -48*q + 153. Let m be r(9). Are -280 and m equal?
False
Let t = 443073/88 + -5035. Which is smaller: t or 1?
t
Suppose -75*f + 364 = 6289. Which is smaller: -80 or f?
-80
Suppose -233*g = -229*g - 148. Which is smaller: g or -2?
-2
Let g = 3251/6 - 15541/30. Let h = -441/20 + g. Suppose 3*x = 2*p - 3, 2*p - 9*x + 4*x = 1. Which is bigger: p or h?
p
Let k(p) = 3*p**2 - 88*p + 22. Let o be k(28). Which is greater: -81 or o?
-81
Let p(a) = a**2 + a + 1. Let c be p(-2). Suppose -c = -u - 2*u. Let i be 0*u*(2 + -1). Which is smaller: -1 or i?
-1
Let b(l) = -2*l**2 - 8*l - 7. Let c be b(-5). Let w = 11 - 29. Let o be -1 + w - (-20)/10. Is c != o?
False
Let o(q) = -q**3 + 5*q**2 + 2*q - 6. Let v be o(5). Suppose 3*j = v*j - 9. Let k be (-112)/(-342) - 2/j. Which is greater: 0 or k?
k
Let r be ((-60)/16)/((-6)/112). Let m be -2 + ((-20)/r - (-144)/14). Which is greater: 7 or m?
m
Let q(n) = -7*n - 7. Let i be q(4). Let x = i - -36. Is -5 greater than x?
False
Let z = -3674298367784/144132147 - 865580/64431. Let h = 25506 + z. Let i = h + -40244/24607. Is -1 not equal to i?
True
Suppose -26*f + 31*f + 10 = 0. Let a = -50 - -47. Are a and f nonequal?
True
Let t be (-3)/2*(-4)/6. Let l be t/(((-3)/(-3))/4). Let n be (-1 + 2/l)*12. Does n = -5?
False
Let t = -4 + 7. Suppose -4*f + 21 = -t*p - 13, -3*f - 5*p + 40 = 0. Suppose -3*h - u + f = -0*h, 4*h = 4*u + 8. Which is smaller: h or 9/4?
9/4
Let u = -4.97 - -5. Suppose 2*a - 7*a = 5*q - 55, -2*q + 5*a = 13. Which is greater: q or u?
q
Let q be (-5 - (-35)/(-14))*-58. Is q smaller than 433?
False
Let s be 3 + (-2129)/590 - (-9)/15. Which is smaller: 1 or s?
s
Let w = 0.0597 - 2.0597. Is w less than -5/7?
True
Let q be (-2)/7 + 48/21. Let i be 36/(-15) - (-1)/5*q. Is 2 > i?
True
Let l = 71 - 99. Let x be 6/(-4)*l/(-6). Suppose 0 = -2*c + 3*c + 5*s + 8, 0 = c + 2*s + 8. Which is smaller: c or x?
c
Let a = -143/304 + 3/19. Is 1 > a?
True
Let d be (12/214)/((-10 + 7)*-1). Let l = -386923 - -165603143/428. Let t = d + l. Are t and -19 equal?
False
Suppose -5*a = 62 - 22. Let c(x) = -3*x**2 + 2*x - 1. Let i be c(1). Let l be 44/a - 0/i. Which is smaller: l or -5?
l
Let o = 164.1 - 15.1. Let r = o + -172.2. Let n = r + 23. Which is smaller: 4 or n?
n
Suppose 0 = 8*a + 9*a + 4352. Which is smaller: -258 or a?
-258
Let r = -360 + 76323/212. Let z = r - -361/4452. Suppose -1 = h - 0. Is z > h?
True
Let v be 0 + 2/(-12) - (-8393)/110. Let w = v - 76. Which is bigger: w or 1?
1
Let i = 21.8 + -19.8. Let j be 3/9 - 28/102. Which is smaller: j or i?
j
Let p = 