 4*p + 15, 3*p - 3*o + 13 = 1. Suppose -4*k = -2*w - 6 - 4, 2*k + 16 = -2*w. Which is greater: w or p?
p
Suppose 8*c + 4*z - 985 = 3*c, -1015 = -5*c + 2*z. Is c != 200?
True
Let t = -81.94 + -0.06. Let x = 80 + t. Is x greater than or equal to 0?
False
Suppose -2*x - 34 = 4*i, 2*i + 2*i = 4*x - 40. Let o be (-4)/(-6)*(1 + -7). Let g be (-10)/(4 - (-1 - o)). Which is greater: g or i?
i
Let b = -11 - 14. Let h = -7 + b. Let s = 36 + h. Is s at most 5/2?
False
Suppose -2*y + 7 = -b, 2*y = y - 4*b - 10. Let l = 1814/2567 - 2/2567. Is l less than or equal to y?
True
Let s(z) = z**3 + 23*z**2 - 2. Let b be s(-23). Let l be (-114)/b*(-2)/(-3). Which is greater: l or 37?
l
Let z be ((-51)/6 - -10) + 149/(-106). Which is bigger: -1 or z?
z
Let x = -26 - -28. Let l be x - 35/14 - (-7)/10. Is -2/7 <= l?
True
Let w = -39 + 48. Suppose -h + 7 = 4*a, -5*h + 5 = 4*a - 2*h. Suppose 0 = -4*v + 4, 16 - 58 = -5*d - a*v. Which is smaller: d or w?
d
Suppose 229*m + 35 = 224*m. Which is smaller: m or 7?
m
Let a be 2 - 3 - (-1 + 2). Let d be (-5 - a)*4/1. Let o = 1351.8 - 1352. Which is smaller: o or d?
d
Let u = 32 - 23. Let d(l) = l**3 - 8*l**2 - 7*l - 10. Let c be d(u). Let r = c + -6. Are 2 and r equal?
True
Let y = 293 + -292.9. Which is smaller: -64 or y?
-64
Suppose 5*m + 12 = 2. Let n be m*(-4 + (-111)/(-27)). Let a = 0.3 + -0.1. Is n at most a?
True
Suppose 43*x = 24*x - 76. Which is greater: 9 or x?
9
Let w(s) = 2*s**3 - 5*s**2 + 6*s - 2. Let v = -141 + 142. Let q be w(v). Is q less than 2/99?
False
Suppose s + 99 = 3*y - 9, s + 2*y = -133. Is s less than -123?
False
Let g = 426 - 542. Do g and -114 have the same value?
False
Let l = -20 + 27. Let r(w) = -w**3 - 8*w**2 - 7*w - 3. Let u be r(-6). Let n be (u/44)/(1/(-12)). Which is bigger: l or n?
n
Let i(x) = 2*x**3 - 7*x**2 + 2*x + 4. Let p be i(3). Suppose 5*n - 4 = p. Which is smaller: n or 0.15?
0.15
Let a = 1.228 - 2.228. Let f = 14.2 + -17. Which is greater: a or f?
a
Let h = 140 + -223. Which is greater: h or -82?
-82
Let n = -46 + 55.5. Let j = -1.5 + n. Let u = -9 + j. Do -6 and u have the same value?
False
Let r(q) = 5*q - 5. Let w(m) = 6*m - 6. Let a(x) = 3*r(x) - 2*w(x). Suppose 0 = -5*o - 3*h + 18, -10*o - 4*h = -6*o - 8. Let g be a(o). Which is bigger: 1 or g?
g
Let b be ((-4)/(-66))/(588/420). Which is bigger: b or 0?
b
Let d be (-44)/55 - (-3)/(-15). Which is smaller: 4/103 or d?
d
Let b = -74 - -66. Let h = b + 6. Is -0.28 <= h?
False
Let n = -73/16 + 23/8. Are -1 and n equal?
False
Let b = -910 + 909. Are 2/3105 and b equal?
False
Let u be (0/(-3) - 34) + 0. Let x = 36 + u. Let l be (-28)/(-9) - (4 - 2). Are l and x unequal?
True
Let l(a) be the first derivative of a**2 - 8*a - 2. Let j be l(-5). Let u = j - -22. Which is smaller: u or 5?
u
Let j = 547 - 14771/27. Let v = 18 + -16. Let k be 1/v - 6/4. Is j bigger than k?
True
Let d be 0/(-3) - 2117/9. Let v = 235 + d. Which is smaller: -0.4 or v?
-0.4
Let a = -20 + 23. Suppose -6 = -4*l - 4*t + 6, l - 2*t + a = 0. Let d = -12 - -12. Which is smaller: d or l?
d
Let j be (-3)/((-60)/8)*20. Let v = -19 - -7. Let h = v + j. Which is greater: -3 or h?
-3
Let v = 1 - 1. Let w = 237 - 237. Let u be (v - w)*(-3)/(-6). Which is greater: 1/25 or u?
1/25
Let r = 6/643 + -1304/1929. Is -2 >= r?
False
Let n be -1 + -1 + (-5)/(-4). Are -1/16 and n unequal?
True
Let r be (-58)/(-5)*(-6 - -1). Let w = 57 + r. Let t be (1 + -1 + -2)*1. Are t and w unequal?
True
Let v = -4 - -3. Let s = 1536/7 + -219. Let t = 13/63 - s. Which is bigger: t or v?
t
Let l(d) = 5*d - 10. Let m be l(7). Suppose 2*w + 0*w - 93 = y, 5*w + m = 0. Is -102 at least as big as y?
True
Let s = 1.686 + 0.014. Let p = -3.3 - s. Which is smaller: -1/10 or p?
p
Suppose 3*i = 15, 2*b - 5*i + 13 + 2 = 0. Suppose 4*p - 5*l = 31, -7 = -0*p + 2*p + b*l. Is p != 4?
False
Let d be (1 - -2)*12/144 + (-15)/(-20). Suppose k = 2*k + 225. Let h be (-1)/3 + (-57)/k. Which is smaller: d or h?
h
Let x be -3*(-6)/(-45)*(-175)/20. Is 2/3 at most as big as x?
True
Let n be 423/15 + (-4)/(-40)*-2. Which is smaller: 32 or n?
n
Let k = 101 - 102. Let l be ((-8)/12)/(138/81). Which is greater: k or l?
l
Let l be 24/6 - 1*-1. Let x(t) = 4*t**3 - 2*t**2 + 0 + 7*t**2 - 5*t**3 + 3 - l*t. Let b be x(4). Which is smaller: -3/5 or b?
b
Let o = 73 + -136. Which is greater: -249/4 or o?
-249/4
Let a(c) = -3*c + 10. Let p be a(4). Let i be -13 + 6 + p - -4. Is -13/3 bigger than i?
True
Let k be (-462)/(-4) - -3*5/30. Suppose 5*g - 16 - k = -3*h, -3*g = 0. Which is smaller: 45 or h?
h
Let o = -5186/27 - -192. Let i = o - -76/297. Suppose -4*t - 1 = 5*c - 5, 5*t = 3*c + 5. Which is bigger: i or c?
i
Let c = 3166 - 98135/31. Which is greater: c or 0?
c
Let l be 3/(-3) + (-1740)/84. Is -21 equal to l?
False
Let z = 554 - 1362. Is -808 at least z?
True
Let n be 4*(42/(-4))/(-3). Let a = 1607/2 - 790. Which is bigger: n or a?
n
Let d = -0.207 - -1.207. Let t = 0.013 + -0.034. Is d greater than or equal to t?
True
Let r = 0.2774 - 0.1774. Is r equal to -0.01?
False
Let b = -8.1 - -5.1. Which is bigger: 8 or b?
8
Let u = -59 - -60. Is u bigger than -1/25?
True
Let r be 42/(-4) + (-6)/(-4). Let a = r + 5. Let i be (-3 + (-15)/(-4))/(6/(-34)). Is a smaller than i?
False
Let i = 0.1 + -1.1. Let c = i - 2. Let q = -0.1 + 1.1. Is c bigger than q?
False
Let q = 174 + -28. Let j = 73 - q. Are j and -74 unequal?
True
Let o be (-13)/39*1*2. Suppose 0 = g - 5 + 1. Suppose -g*r = 2*v + 10 - 2, 10 = v - 5*r. Which is smaller: o or v?
o
Suppose 12 = -h + 3*i, 18 = -2*h - 3*i + 7*i. Let g be h - (-2 - (-15)/(-9)). Let y = -41 - -42. Is y less than or equal to g?
False
Let z = -1004947 - -762755437/759. Let k = 26/33 - z. Is -1 greater than or equal to k?
False
Let f(l) = 4*l + l - 6*l - 22. Let q be f(6). Is -28 at most q?
True
Suppose -4*n + 5*u - 4 = 237, 3*u - 3 = 0. Suppose 2*d - 2*y = -13 + 15, 5*d + 4*y - 5 = 0. Is d greater than n?
True
Let n be -4*((-2)/(-6) - (-1367)/(-4128)). Is n less than 1?
True
Let w = 0.3 - 0.2. Let v = -73/923 - 5/213. Let g = 55/156 + v. Which is greater: g or w?
g
Let z be 5715/30 + (-35)/(-10). Are z and 196 non-equal?
True
Let f = -158 - -300. Which is greater: 143 or f?
143
Suppose 728 = 5*f + 128. Suppose -3 = 117*g - f*g. Are g and -1/81 unequal?
True
Let r = -96 - -101.3. Let h = r + -2.3. Are -5 and h non-equal?
True
Let t = 1 + 1. Suppose -t*y = 1 - 3. Is y != 1/11?
True
Let w be ((70/30)/1)/(2/(-78)). Is w equal to -89?
False
Let l = 1835/42 + -87/2. Let f = 113/483 - l. Which is greater: f or 1?
1
Suppose 0 = 9*s - 1289 - 385. Which is smaller: s or 192?
s
Suppose -8*f - 34*f = -42. Which is bigger: 6/91 or f?
f
Let x(z) = 2*z**3 - 80*z**2 - 6*z + 18. Let m be x(40). Which is greater: -220 or m?
-220
Let v(r) = r - 4. Let t be (-20)/(-8)*(-6)/(-5). Let p be v(t). Suppose 4 = -5*s - 1. Is p < s?
False
Let w be ((-1)/7)/(0 - 637/(-39)). Is 1 greater than w?
True
Let x = 5 - -9. Let l = 50 - x. Let v = l - 34. Which is greater: v or 4/3?
v
Let n be 1900/60*(-3)/(-5). Let d = 13 + 5. Is n bigger than d?
True
Let w be 4 - (9/(-6) - 299/(-46)). Is -131/3 at most as big as w?
True
Let k be 5*(1 - 2)*(-10 + 8). Suppose k*j + 52 = 212. Which is bigger: 12 or j?
j
Let c(f) = -10*f**2 - 18*f + 2. Let y be c(-6). Is y less than -250?
False
Let c be 3/(-756)*(-15)/(-2). Which is smaller: 0 or c?
c
Suppose -4*s = -4*y + 56, -54 = -y - 2*y - 3*s. Let r = y + -4. Let a be 71/(-6) - 2/r. Is -13 less than a?
True
Let m(w) = 3*w - 28. Let s be m(8). Suppose 0 = 4*y - 5*b - 4, 2*y - 46 = -3*y - 4*b. Let d = y - 10. Is s < d?
False
Let s = -1842 - -1855. Which is greater: s or -67?
s
Let t = 0.2 + 56.8. Let o = t + -58.3. Is o at most as big as 0.2?
True
Let m be 37 + (-2)/((-2)/3). Let v = 41 - m. Are v and 9/5 unequal?
True
Let o = -13 + 11. Which is smaller: 5 or o?
o
Let a = -84 - -88. Let j be (2 - a)/(1 - -14 - 6). Which is greater: j or -3?
j
Let b be (1 - -8) + 5 + -7 - 5. Suppose -3*j + 7*j + s - 15 = 0, -4*j + 40 = -4*s. Let x = 8 - j. Is b bigger than x?
False
Let w(i) = i + 28. Let v be w(-14). Let t be (-36)/(-18) + (-24)/v. Which is smaller: -43 or t?
-43
Let t = -31 - -30.81. Let m = -0.13 - t. Which is greater: m or 2/7?
2/7
Let w be 2*(-2)/(-4) - -2. Let h(c) = -c. Let n be h(-10). Let m = n - 7. 