se
Let b be (9 + -31 + 18)*1/1388. Are 0 and b non-equal?
True
Let i = 2946 - 2923. Which is greater: -8 or i?
i
Let b = -154 - -119. Let j = -35 + b. Let r = -22 - j. Which is greater: 50 or r?
50
Let v = -8.35 - -8.25. Is v bigger than 881?
False
Let r be (108/(-45))/((-2)/(-5)) - -2. Let h be (-6)/27 + 76/18. Let x be (-1 + h)*85/(-75). Which is smaller: r or x?
r
Let q be ((-117)/65)/((-6)/40). Let n = -0.376 - -0.376. Is q >= n?
True
Suppose -5*r - 16198 = 4*k - 5*k, 0 = 5*r + 4*k + 16183. Is r greater than -3238?
False
Let g be 355/(-568) + 63/24. Which is smaller: g or 11/19?
11/19
Let t = -138 - -125. Let s(r) = 12*r + 156. Let p be s(t). Let b = -473/150 + 17/6. Is b > p?
False
Suppose 24*d = 14*d + 3200. Suppose -d = -11*o + 153. Which is greater: o or 208/5?
o
Let b(y) = 76*y**2 - 44*y - 44. Let n be b(-1). Let x be (-38)/n - 31/2. Which is bigger: -74/5 or x?
-74/5
Let j = 454.0348 + -0.0348. Let k = j - 543. Which is greater: -1/2 or k?
-1/2
Let y be (-12)/78 + 4/((-63336)/15214077). Let x = -961 - y. Which is bigger: 1 or x?
1
Let k = 9920387/117 + -84789. Is 0 at most as big as k?
True
Let s(r) = r**2 + 59*r - 673. Let z be s(10). Is z greater than or equal to 129/7?
False
Let p = -7 - -6. Let k = -25188/7 + 3583. Let g = k + 15. Is g less than p?
False
Suppose -7780 = -2*v + 2*l, 11*l = v + 6*l - 3886. Which is greater: v or -2/3?
v
Let f = 1 + -2. Let w = -10624/16165 - -174/265. Let p = w + 13010/126087. Is f greater than p?
False
Let o(x) = -17*x + 284. Let v be o(-14). Suppose v*m + 7 = 529*m. Let n = 753 - 10533/14. Which is smaller: m or n?
n
Let k be (-11)/4*(-70)/21. Let q(j) = -j**3 - 15*j**2 + 13*j - 46. Let r be q(-16). Suppose o - 35 = -3*o - z, -7 = -o - r*z. Is o at least as big as k?
False
Let f = -89 + 67. Let v be -66*(-2 - -1)*(-11)/f. Let m be (3/v)/(3/(-2)). Which is bigger: m or -1?
m
Let d be 0 + (2/(-1) - 0). Let w be (-2805)/255 + 6 + -2 + 2. Is d < w?
False
Let r = 1546 - 1544. Suppose -t = -0*t - 31. Suppose -r*z + 2*k + t - 151 = 0, 0 = -3*z + 2*k - 184. Is -64 at most z?
True
Let h(c) = -36*c - 1007. Let r be h(-28). Which is smaller: r or -24/55?
-24/55
Let c = -2739 - -2558. Which is greater: c or -179?
-179
Let g = 7.161 - 7.661. Is g equal to -20?
False
Let b = -0.2 - -0.3. Let y = 18458 - 18216. Is y greater than or equal to b?
True
Let r = -2602 + 2601. Is 50/153 greater than r?
True
Let o be (((-48875)/(-92))/(-25))/((9/64)/(-3)). Which is greater: 2/21 or o?
o
Let g be 35*-1 - (-1*1 + (21 - 28)). Which is bigger: g or -243?
g
Suppose 0 = m - 0*m - 16. Let z be m/12*(-6)/(-4). Let o be 2 - (-1 + 10) - (-711)/81. Which is bigger: o or z?
z
Let a be (4/(-10))/((1232/20)/(-7)). Is -55/6 not equal to a?
True
Let n = -36.87 + -0.13. Let j = n - -36.67. Let o = j + 4.33. Which is greater: o or -2/3?
o
Let q = -62 + 64. Suppose 5 + 3 = q*l. Let k be l/(-7)*18/4. Is k < -2?
True
Let c be 260/(-946) + (-5)/22*(-912)/1140. Suppose -5*j = -1 + 6. Are j and c non-equal?
True
Let j = 51 - -45. Suppose 0 = -5*d - 3*d + j. Suppose -16*i + 176 = -5*i. Is i > d?
True
Suppose 425 = -8*w + 145. Which is greater: -244/7 or w?
-244/7
Let m be 0/(14/(-5) - (-3)/(-15)). Suppose m*z = -9*z + 99. Do -3 and z have different values?
True
Let d be (-3)/16 + (-66430)/(-330400). Let a(f) = f**3 - 15*f**2 + 14*f. Let g be a(14). Is g equal to d?
False
Let q(g) = 6*g**3 + 8*g**2 + g - 8. Let x(m) = -5*m**3 - 7*m**2 - m + 7. Let b(c) = 4*q(c) + 5*x(c). Let v be b(1). Is -1 bigger than v?
True
Let i be (4/14)/(15/20265)*-1. Let o = -406 - i. Let v be (-1)/2 - 86/4. Is v greater than or equal to o?
False
Suppose g - 6*g + 43 = -2*s, 3 = g. Let t be (-2)/s*-5*(-156)/30. Suppose -6*m + m = -20. Is m < t?
False
Let f = 24233 - 24233. Which is bigger: f or -29/796?
f
Suppose 0 = 3*o - 5 - 13. Let f be ((-446)/(-21))/(o/(-159)). Let a = -563 - f. Which is bigger: a or 0?
0
Let k = -376 - -695. Let u = k + -310. Are 8 and u nonequal?
True
Let n(z) = -z - 3. Let x be n(-7). Let a = -4.1386 - -2.137. Let j = a - -0.0016. Is j at most x?
True
Let i = 21234 - 21230. Is 1953 at least i?
True
Let m be (-1022)/144 + (-2)/9*-1. Let q = -181/24 - m. Is 160 > q?
True
Let i be (3/(-7))/(3/(-21)). Suppose -2*v = -3*v - i. Let n be (21/1057)/(v/2). Which is smaller: n or 0?
n
Let s be 0 - (2 + -6 + 1). Suppose 5*f = -4*t + 66, -s*f = t - 5*t + 50. Let n be (-11)/((-231)/t) - (-11)/(-3). Is n less than or equal to -1?
True
Let v = 75073 + -75093. Let n = 11 + -21/2. Which is bigger: v or n?
n
Suppose -483*c - 281*c + 353628 = -247*c. Is c bigger than 688?
False
Let b be (-24)/(-32) - (-12)/(-16). Suppose -31*x + 62 = -b. Suppose 5*r = -6 - 9. Is r at least x?
False
Let q be 3/(66/(-24) + (2 - 0)). Let y be 103/615 - q/((-80)/4). Which is smaller: y or 1?
y
Let w(o) = -8*o - 34. Let g be -9 + 2 + 2 - 1. Let p be w(g). Is 3 smaller than p?
True
Let q = -3924 + 3923.8. Which is greater: q or -82?
q
Let c = -84 + 86.8. Let j = 41 + -14. Let p = j + -26. Which is smaller: c or p?
p
Suppose 2*n - 8*n + 84 = 0. Let w = -1210 + 1206. Are n and w equal?
False
Suppose 0 = 4*v + 2*f + 10, -2*v - 2*f = 3*f + 9. Let h = 174 - v. Let t = h - 2641/15. Which is smaller: t or 0?
t
Suppose -2 = -3*x + 7. Let d = 14 - 5. Suppose -3*u + 6 = -d. Which is greater: u or x?
u
Suppose 0 = -0*h - 2*h + 362. Let w = 289 + -109. Is h <= w?
False
Let m = -7689 + 7691. Which is greater: -3907 or m?
m
Let m(w) = w**3 - 6*w**2 + 26. Suppose 3*j + 4*u = j + 30, -j - 5*u + 30 = 0. Let v be m(j). Is -1/499 less than or equal to v?
True
Let i = 2122129/25 + -84896. Let q(a) = -5*a**2 - 31*a - 41. Let r be q(-5). Let d = r - i. Is -1 smaller than d?
True
Let x = -12.05 - -12.1. Let n = 4.35 - x. Which is smaller: n or -1?
-1
Let n = -5690 - -5691. Which is smaller: n or 2/2563?
2/2563
Suppose d + 13 - 33 = 0. Let m be (-3 - 27/(-15))/((-8)/d). Let x be (-364)/32 + m/8. Is x greater than -11?
False
Suppose -2*h - 26 = -7*c + 5*c, h - 4*c + 22 = 0. Which is smaller: h or -70/13?
h
Suppose 0 = -2*r, -2*i + 32 = 4*r + 6. Suppose 9 = -2*y + i. Suppose -y*d = 30 - 42. Is d not equal to 5?
True
Let r = 2.6 + 0.4. Let o = -0.2078 + 22.2078. Are o and r nonequal?
True
Let b be 37 + -42 - -9 - (776/(-86))/(-1). Let p be (144548/201)/(1290/(-9)). Let s = b - p. Which is bigger: 0 or s?
0
Let u = -22245.91 - -22134. Let n = u + 111. Is 0 smaller than n?
False
Suppose 2*x - 4*x = -298. Let t = x + 647. Let h = 3962/5 - t. Is h smaller than -4?
False
Let i = 8169812/479 - 17056. Are i and 0 equal?
False
Let o = 250.632 + -250. Let t = 0.032 - o. Which is smaller: 4/7 or t?
t
Let y(h) = -h**3 - 7*h**2 + 11*h + 1. Let z be y(-8). Let s = -9 - z. Let g(x) = -15*x**3 - 2*x**2 - 2*x - 2. Let l be g(-1). Are s and l unequal?
True
Let o = 7.19 + 33.91. Let v = 114 - 73. Let z = o - v. Is 1 at most as big as z?
False
Let r(c) = -88*c - 18 + 52 + 75*c + 42. Let g be r(19). Which is greater: g or -172?
g
Let g(s) = -s**3 - 113*s**2 - 100*s + 1401. Let x be g(-112). Let f(o) = 57*o. Let y be f(1). Is x bigger than y?
False
Let b(m) = -m**3 + 10*m**2 + 20*m + 96. Let k be b(-10). Do 1897 and k have different values?
True
Let z(g) = -7*g + 13. Let a be z(-4). Let t(i) = 37*i**2 + i - 6. Let x(v) = -v**2 - 1. Let q(w) = t(w) - 6*x(w). Let p be q(-1). Which is smaller: p or a?
a
Let b = 5771 - 40395/7. Let l = 21.64 + -22. Which is smaller: l or b?
l
Let c be (-2)/((-2)/(-16)*2*40/35). Which is smaller: -268 or c?
-268
Suppose 0 = -2*c + 5*u - 25, 0 = -u - 48 + 53. Let h be 57/(-33)*(-3)/(-6). Is c smaller than h?
False
Let n be -2 - (-77)/7 - 7. Let u be (-118)/(-42) + 8/(-12). Is u at least n?
True
Suppose 586*g = 247*g - 1145481. Which is smaller: 1 or g?
g
Let z = -2404 - -5294. Which is greater: -2 or z?
z
Suppose -4*h = 2*n - 28, 5*n - 5 = 6*h - 3*h. Let o be n/10 - (1 + 12276/(-35)). Let r = o + -351. Is -2 greater than r?
False
Let o = -0.11038 + -2.28962. Are -1.56 and o equal?
False
Let k = -0.09 + -2.91. Let s = 19 + k. Let a = -34 - s. Which is greater: a or 1/2?
1/2
Let y be (-13912522)/(-772863) - 18*1. Which is smaller: 0 or y?
0
Let s = 1.583 + -1.483. Suppose u - 871 = -0*i - 5*i, -2*i = 5*u - 353. Which is greater: i or s?
i
Suppose -10*q - 67 + 57 = 0. Let c be 4/(-22) + q + (-38)/(-209).