z - 2. Let a = 6 - z. Which is bigger: a or -9?
a
Suppose -3*q - 47 = 3*i - 5*q, 0 = 4*q + 8. Let t(w) = -2*w**2 - 34*w. Let g be t(i). Is -1/98 greater than or equal to g?
False
Let i be (-1 - -4)/(33/(-44)). Let a(t) = -4*t - 15. Let s be a(i). Let o be (-34)/14 + 8 + -5. Which is greater: o or s?
s
Suppose -4*x + 4*b = -11208, 153*x - 158*x + 13986 = -b. Do x and 2798 have the same value?
False
Let k be (-118820)/(-3 + 23) + 12. Which is smaller: k or -5927?
k
Suppose -5*v + 12 = -53. Suppose -2*p + 165 = 155. Suppose 102 = p*a + 42. Which is smaller: v or a?
a
Let n = -725 - -722. Let b be 3/27*-3*n*-1. Which is smaller: b or -1/56?
b
Let g = -158/323 - -54/19. Suppose 59*b = 50*b + 9. Is g <= b?
False
Let f(i) = -9*i - 16. Let j be f(-4). Let z be ((-3)/108)/(j/16). Let s = -105 - -104. Which is bigger: z or s?
z
Let j(r) = 5 + 44*r**2 + 1 + r**3 + r - 37*r**2 + 3*r. Let x be j(-7). Which is bigger: -24 or x?
x
Let v = 145655/633348 - -88/2169. Let d = v - 3/146. Let q = -18 - -11. Is q < d?
True
Let h(m) = -m**3 - 161*m + 329*m + 15 - 157*m - 3*m**2 - 6*m**2. Let l be h(-10). Is 11 at most as big as l?
False
Let q = 3446/3 + -1140. Suppose 2*z + 4*s = 0, 2*s = -2*z + 4 + 4. Are q and z unequal?
True
Let y = -142 + 155. Let z = y - 13.2. Is -13 > z?
False
Suppose -v + 9*v + 128 = 0. Let f be 1/(-4) - 1*4/v. Is 3 at least f?
True
Let g(f) = -4*f**2 + 37*f - 25. Let i be g(6). Suppose -2*c - 10 = 2*y, -y - 50*c = -i*c - 11. Which is greater: 6/41 or y?
6/41
Let b be 0 - ((-112)/32 + 2039/582). Which is smaller: 2 or b?
b
Let k = 11409 + -4873. Is k > -1/4?
True
Let p be ((34/(-12))/(-1))/((-4)/27). Let v = p + 325/16. Is 2 > v?
True
Let f = 577 - 580. Let u = -0.14 + -0.76. Is f not equal to u?
True
Let g be (-2)/((-48)/(-274)) + 12. Is g at most -2?
False
Suppose -5*m - 157 = -2*d + d, -81 = 3*m - 5*d. Let i be -40 + (-23)/(368/(-144)). Which is smaller: i or m?
m
Suppose -8*h = 267 - 411. Suppose -2*b + 2 = -4*a, 5*b - h = -a + 20. Let d be 1/3 + 129/18. Are d and b non-equal?
True
Let k(p) = -3*p - 2. Let r be k(-4). Let z = 82 - 41. Let j = -29 + z. Are j and r unequal?
True
Let a = -1211 - -10901/9. Let o = -1 + 8. Let w = -5 + o. Is w less than a?
False
Let z = 10423 - -14502. Let q be (-4)/6 + z/(-75). Which is smaller: q or 0?
q
Let a(q) = 6*q**2 - 6*q + 7. Let r(p) = -p**3 + 2*p - 2. Let z be 3/4*(-120)/45. Let x be r(z). Let d be a(x). Is 17 > d?
False
Let z = 1/10345 - 82849/920705. Which is greater: z or -1?
z
Let z = -16543 - -16560.91. Which is bigger: z or 3/5?
z
Let s be -4*(-7)/504*6016 - 4/18. Which is smaller: 343 or s?
s
Let x be 500/(-325)*13/(-2). Is x at most 159/17?
False
Suppose 2*b - 30 = 2*r, 3*r + 3*b - 36 = -69. Let z = 575 - 560. Is z at most as big as r?
False
Let m = 125.78 - -5.22. Which is smaller: 28 or m?
28
Let t be 2/(-9) - (-3205)/45. Suppose t = o + 179. Let f be (-4 - 448/o)/((-4)/(-42)). Is f smaller than 3?
True
Let s = -210/13 + 3371/195. Let g = -1.7 + 2.7. Is s < g?
False
Suppose -7*x + 2 = -40. Let o(u) = -7*u + 27. Let i be o(x). Let k = 5 + i. Is k < -53/5?
False
Let t be (12412/(-1116))/((-8)/(-6)) + 0. Let z = t - -1/124. Let d be -10 + ((-1)/4)/(4/(-16)). Which is bigger: d or z?
z
Let s = -190 + -40. Let t = 156 + s. Is -74 equal to t?
True
Let v be -3*((-102)/407456)/((-6)/4). Is 0 > v?
True
Let a = 37 - -199. Let s = -184 + a. Is s bigger than 53?
False
Let v = -33 + 32.976. Let l = 0.04 + v. Let w = l + 0.284. Is w > -2/7?
True
Suppose 67*c - 634 = 706. Let t be 3/6 + (-265)/(-10). Let y be 8/12*t + 2. Is c less than y?
False
Suppose 28047 = 69*i - 20046. Which is smaller: 693 or i?
693
Let c = -2.3 - -2. Let o(i) = -2*i**2 - 26*i + 2416. Let h be o(-42). Are h and c non-equal?
True
Suppose 3*q + 0*q - 943 = -2*z, 0 = -q - 5. Let x = z - 550. Which is smaller: -68 or x?
x
Let g = 52 - 51. Let z = 503 - 535. Does g = z?
False
Let s = 23053 - 23305. Is s less than -10?
True
Let k = -289 + 438. Let d = k - 104. Let g = 46.5 - d. Are 1/3 and g equal?
False
Let h = -2879 + 14514/5. Let o = h - 143/5. Which is smaller: o or -4?
o
Let n(w) = -w**3 + 9*w**2 - 10*w + 21. Let c be n(8). Suppose c*m - 161 = p - 29, 5*p = 4*m - 114. Suppose -4*i - m = -18. Which is greater: i or -2/91?
-2/91
Suppose 23 = o - 9*d + 4*d, 0 = -2*o + 4*d + 16. Let k(h) = -h - 1. Let y be k(o). Let i be (-20)/9 - (-3 + y). Is 0.3 at least as big as i?
True
Let y = -176356/3 + 2283160/39. Suppose k = 2, l - 83 - 166 = -3*k. Let q = y + l. Which is smaller: q or -1?
-1
Let r be (2059127/(-196) - 14) + 2/(-8). Is r < -10522?
False
Suppose 0 = 38*w - 49*w + 66. Suppose w*y = 15*y - 27. Which is smaller: y or 13?
y
Let b = 26.45 + -5978.45. Which is greater: 1 or b?
1
Let l = 1/338 + 155/4732. Let n = 0.245834 + 0.154166. Is n less than l?
False
Let o = 5.7048 + -0.3048. Which is smaller: o or -130?
-130
Suppose 0 = -21*i - 298 + 1159. Is 541/13 > i?
True
Let p be 20/28 - 2/(-7). Let q(x) = -15*x**2 - 4*x - 8. Let l be q(-4). Let t = 233 + l. Do t and p have the same value?
True
Let m(w) = w + 12. Let v be m(0). Suppose 3*o + v = -0*y + y, -5*y = 4*o + 16. Which is smaller: y or 1/39?
y
Let a = -166854/151 + 1105. Let m be (-41)/(-41) + 0 + (2 - 3). Is a not equal to m?
True
Let m(x) = x**3 + 8*x**2 - 6*x + 7. Let d be m(-6). Suppose 3 = 2*o - 5. Suppose q + o*q = -2*z + d, 0 = -z. Is 23 >= q?
True
Let p be 3/1 - (5 + -3)*1. Let a(w) = w**2 - 5*w + 11. Let f be a(11). Let c = 619/8 - f. Is c not equal to p?
True
Suppose -37*z + 33*z = -3*j - 28, 35 = -j + 5*z. Is j at most -1/17404?
False
Let y = -10143 - -10143. Is -2/10347 > y?
False
Let k = -743 + 2993/4. Suppose 0*c - o + 131 = -4*c, -5*o = -15. Let l = c + 38. Is l bigger than k?
True
Let a(x) = -x**2 + 2*x + 4. Let w be a(4). Let g(o) = 2*o + 130. Let d be g(20). Let t be w/18 + d/(-126) - -1. Which is smaller: t or -2?
-2
Let c be (3018/(-8))/((-451)/(-44) - 10). Is c equal to -1509?
True
Suppose 12*v - 17*v + 3*t - 580 = 0, v + 116 = 5*t. Let q be ((-77)/(-2) + -1)/(29/v). Is q bigger than 1/3?
False
Let x = -73 + 158. Let q be (-2 + -42 + 2)*2. Let h = q + x. Is h greater than 13?
False
Let s(u) = 4*u + 11*u**2 - 10*u**2 + 7*u - 27. Let r be s(-12). Let p = -98 - -82. Which is smaller: p or r?
p
Let w(i) = -2*i**3 + i + 1. Let v(q) = -11*q**3 - 2*q**2 + 9*q + 3. Let a(o) = -v(o) + 6*w(o). Suppose 11 = f + 9. Let p be a(f). Which is smaller: p or -4?
-4
Let g = -16013 - -16012. Is -2/9269 < g?
False
Let o = 188 - 182. Suppose o*z - 1955 = -11*z. Are z and 0 unequal?
True
Let k = -0.9435 + 30.4175. Let x = -0.026 - k. Let s = x + -2.5. Is -1 at most s?
False
Let m = -7880 - -11601. Which is smaller: m or 3719?
3719
Let u = 497/2 + -237. Let n = -149/18 - -79/9. Is n smaller than u?
True
Suppose -755*f + 763*f + 8 = 0. Which is smaller: f or 6/4315?
f
Let b = -0.05 - 26.95. Let n = 2612 - 2645. Let c = b - n. Which is bigger: c or -1?
c
Suppose 0 = -5*v + 5*y - 8 + 38, -4*v - y + 29 = 0. Suppose 4*n = 11*n - 14. Let r be n - -2 - v/2. Is r greater than 2?
False
Let r be 656/312 + (-3)/9. Let a = r + -1499/39. Let v = a - -37. Which is greater: -0.1 or v?
v
Let n be 2*(6/(-1) + 940/40). Which is greater: 69 or n?
69
Let q(i) = i**2 + 10*i + 2. Let l be q(-9). Let u be (1/674)/(2/(-8)). Let o = u + -6397/1011. Is l at least as big as o?
False
Let j = 22791 - 21652. Which is bigger: 5 or j?
j
Suppose n = 5*b - 50, 306*n - 301*n = -4*b - 192. Let f be (-43 - -3)*(1 + 0). Do f and n have different values?
False
Suppose 0*i - 31 = -2*v + i, 0 = -3*v - 3*i + 60. Let t = v + -8. Let h = 10599 - 10587. Which is bigger: t or h?
h
Suppose 0 = -2*q - 0*q - 24. Let m = 11 + q. Let w be 53/106 + (-23)/10 + 2. Which is bigger: w or m?
w
Let y = 143 + -211. Let c = 67.93 + y. Let q = c - -0.04. Which is greater: -1/2 or q?
q
Let j(u) = u**3 + 42*u**2 - 73*u + 651. Let z be j(-44). Is -278 smaller than z?
True
Let k be 2*(3 - 5) - 1746. Is k at least -1749?
False
Let r(d) = -d**2 + 10*d - 19. Let j be r(6). Suppose 36 = -n - 2*g, -j*g + 99 = -2*n - 0*g. Let v = -42 - n. Is v != -1/3?
True
Suppose 2*h + 272 = -58*h - 12448. Which is bigger: h or -843/4?
-843/4
Let y = 13/283 + 11151/3679. Let p = 1029 - 1027. Is y at most as big as p?
False
Let a(u) = 6*u + 123. Let y be a(-13). S