+ 5 = 10*z. Which is greater: -4/287 or z?
-4/287
Suppose -16 = -3*t - 5*o, -6*o = 4*t - 2*o - 16. Suppose -w - 22 = 5*i, -4*i - t = 4*w + 6. Suppose -2 - 1 = -w*l, -l = -4*u + 3. Is u less than -2?
False
Suppose -4*z - 46 = -2. Suppose -1555 = 18*c - 223. Let k = c - -77. Is z less than k?
True
Let i(l) = -l**3 + l**2 + 19*l - 31. Let n be i(2). Suppose 38*o = -n*o + 12341. Is o < 299?
False
Suppose -t - 3*n = 11, -28 = -2*t - 40*n + 44*n. Suppose 5*u = -2*m + 222 + 45, -t*m - 3*u = -527. Do m and -0.2 have different values?
True
Suppose -4*y - s = -592, 2*y - 5*s = 164 + 132. Suppose 5*z - 128 = -y. Is 3 < z?
False
Let s be (-8)/3 + (-4)/(-6). Let a = -32902 - -98659/3. Is s < a?
False
Let k = 3.527 - 3.89. Let b = 0.637 - k. Which is smaller: b or -1/96?
-1/96
Suppose 14*h - 21*h = -21. Suppose -h*p + 36 = 3*q, 0 = -5*q + 10*q + 4*p - 58. Which is bigger: q or 41/4?
41/4
Suppose 5*c = 5*k - 595, -6*k - 4*c + 460 = -2*k. Let n = k - 125. Suppose -z = 5 + 4. Is z greater than n?
False
Let i = -2 + 1.9. Let d = 22.2 - 22.13. Let y = d - 1.07. Which is smaller: y or i?
y
Let u = 738558/1625 - 4966/125. Is 414 at least as big as u?
False
Suppose 0 = -4*z + 6 - 2. Let o = 65749/1763652 + 8/13361. Do z and o have the same value?
False
Let u be 35/(-5) + 11 - -17*1. Let y be 3 + 7/u*9*-1. Which is smaller: y or 9/38?
y
Let q = 334 - 353.3. Let x = -20.3 - q. Is -176 less than or equal to x?
True
Let s = -86 - -130. Suppose u - 45 = r, 112*r = 110*r - 2. Is s at most u?
True
Suppose -5*f + 581 = 2*v - 0*v, -5*v + 3*f + 1375 = 0. Let q = v - 1940/7. Is 0 <= q?
True
Suppose 0*w = 5*w - 15. Suppose q - 1 = 4*z, -2*z + 5*z = w*q - 3. Suppose -5*d - 3*t = -159, -5*d + 4*t + 173 = -z*d. Which is smaller: d or 34?
d
Let g = 13.96 + 0.04. Let j be 2 + 22/(-10) - 36/(-5). Suppose -4*m - j = -4*y + 5, 4*y - 8 = 0. Is m > g?
False
Suppose 13*r - 10 = -36. Suppose 0*h = -6*h + 6. Let f be h*-2 - (10 + -12). Is r greater than or equal to f?
False
Let x(g) = -491*g + 2859. Let j be x(33). Is -13344 bigger than j?
False
Let j(y) = -y**2 - 119*y + 4905. Let v be j(33). Which is smaller: -109 or v?
v
Suppose -1151*x + 100 = 4*n - 1149*x, x = -3*n + 81. Suppose 0 = -2*y - 5*t + 16, 2*y + 2*y = -t + 68. Suppose -y = -c + 12. Does c = n?
False
Suppose 96*v - 95*v - 5 = -2*r, -r + 6 = 4*v. Let k = 2972 + -38592/13. Which is smaller: r or k?
r
Let z be 3/4*-1 + (-3969)/(-252). Suppose -5*u + 46 - 16 = -5*w, 2*u + w = z. Let k = 10 - u. Is 30/17 smaller than k?
True
Let c = -3778 + 3800. Is c greater than -0.06?
True
Let f be (-1)/((-15)/(-15733)) + 24/(-180). Let z = 74653171 - 5823029161/78. Let s = z - f. Is 0 equal to s?
False
Suppose 49*y = 60*y - 66. Let t be -1 - -6 - (-14 - y). Is t equal to 47/2?
False
Let x be (10/(-4))/(26*10/1239160). Is -11914 <= x?
False
Let b(h) = -16*h**2 + h - 1. Let c be b(-3). Suppose 12*u + 706 + 118 = -952. Is u <= c?
True
Suppose 3*w - 28 = -4*w. Suppose -w = -19*h - 4. Which is greater: h or -51?
h
Let a be -2*476/56*(4/97)/(-1). Is a >= 2?
False
Suppose 2*g + 5*r = -10, g - r = -3*g + 2. Let i(l) = 19*l**2 - 2*l + 3. Let b be i(2). Let w be (10/b)/(18/10). Which is bigger: g or w?
w
Let x(o) = 4*o**2 - 1. Let k be x(1). Let z = 3143 + -15712/5. Is z at least as big as k?
False
Let s = 537.2 - 535.2. Which is smaller: -6.36 or s?
-6.36
Let j(n) = 3 - 15*n - 7*n**2 + 8*n + 3 + 8*n. Let u be j(-4). Let l = -543/5 - u. Are l and 1 nonequal?
True
Let d = -0.16 + 0.09. Let o = 273 + -310.5. Let b = o - -31.5. Which is smaller: b or d?
b
Let x(j) = 8*j - 5. Let s be x(1). Suppose 31 = -p - 3*z - 5, 3*z + 126 = -s*p. Is p < -45?
False
Let b be (-2 + 98/50)*2. Let a(u) = 3*u - 30. Let d be a(10). Suppose 4*x - 11*x - 7 = d. Is b greater than x?
True
Let v = 3289 - 3345. Is 0.4 < v?
False
Let c = 2674 - 2673.4. Is 1/100 less than c?
True
Let i be (-13 - (-981)/72)*(-2)/(-10). Let d be 10 + -8 - 6/2. Which is bigger: d or i?
i
Let z(f) = -48*f - 49. Let v be z(-9). Let c = v + -4165/11. Let b be ((-24)/(-15))/(4/10). Which is smaller: c or b?
b
Suppose -6*m + 9*m = -13*m. Which is smaller: -0.2029 or m?
-0.2029
Suppose 4*u + s = -14193, 4*u + 14214 = -211*s + 213*s. Is -3548 less than or equal to u?
False
Let g = 22375 + -6667777/298. Is g at most 0?
True
Let y be (-4 + 5)*(-2)/(-17). Let t = 67770 - 67769.993. Which is greater: y or t?
y
Let v = -2020/19551 - 2/1029. Let x = 49 - 65. Let u be (2 - x/(-6))/((-28)/(-18)). Which is greater: u or v?
v
Let o be 4/6 + -4 + (-39)/(-9). Let h be o - 2 - (2 - 12/1). Suppose -h = 4*a + 7. Which is smaller: -3 or a?
a
Let z = 41.09 - 44.2. Let k = z + 3. Let m be (10/(-50))/((-8)/(-30)*3). Is k <= m?
False
Let g = -12/15145 - -29154161/45435. Let o = 634 - g. Which is smaller: -7 or o?
o
Let p be (-54)/(-390)*(-200)/12. Let u be ((-1)/(-2))/((-5)/20*6). Are p and u equal?
False
Let d = -0.12 - -0.62. Suppose -15*n - 4 = -11*n. Let g be 36/(-20) - (3 + -2)*n. Which is smaller: g or d?
g
Let j be -2*(6 + -6 + 1378)/(-4). Which is bigger: 688 or j?
j
Let i = -2489 + 2489.2. Is 5.58 > i?
True
Suppose -242 = -5*w - 4*a, 0 = 3*a - 2 + 8. Suppose 62 = -63*h - 50 + 742. Suppose -h*q = -5*q - w. Which is greater: q or 8?
q
Let z = 4354 - 4300. Are z and 384/7 equal?
False
Let p be (3 - 2)*1 - -146. Let j = -1383/14 - -1710/7. Which is smaller: p or j?
j
Let m = -3554 - -2887. Is m less than -666?
True
Let s = 11540265/632 - 146055/8. Are 2 and s equal?
False
Let o = -9.85 - 1.85. Let k = o + 16.7. Is -7/4 greater than k?
False
Let t be ((-510)/(-8))/(-17) - 2. Let w = -12 + 24. Suppose -2*o - w = -0*o. Which is smaller: t or o?
o
Let o = 95 - 94.6. Let z = -6 - -6.2. Which is bigger: z or o?
o
Let x(w) = -7*w**3 - 258*w**2 - 20*w - 2109. Let r be x(-37). Let d be 2/5 + (-23)/59. Which is bigger: d or r?
d
Suppose -105 = -5*t - 0*t. Suppose 2*s + 3*b - 25 = -83, 3*s = -4*b - 87. Let q = s + t. Which is greater: q or 2?
2
Suppose 22 - 6 = -4*y, 38 = -i + y. Let b(q) = -3*q**2 - q + 3. Let w be b(-4). Let m = i - w. Which is bigger: -5/23 or m?
-5/23
Let z(j) = j**3 + 13*j**2 + 59*j + 216. Let q be z(-7). Which is smaller: 1151/12 or q?
1151/12
Let j(t) = 4*t - t + 7 + 5*t**2 - 11*t - t**3. Let k be j(3). Let q = 2/27 - 101/270. Is q at most k?
True
Let m = -25 + 15. Let z be ((-8)/m)/(1/5). Let k be (-19)/(-1 + z + -2). Which is greater: k or -21?
k
Let u be 144/3*(-2)/(-6). Suppose 0 = -5*l - 5*v + 155, -l + 5*l - 3*v = 89. Is u < l?
True
Let h(s) = s**2 + 436*s - 4482. Let j be h(10). Is -935/42 not equal to j?
True
Let k = 258 + -117. Suppose 4*u + f - k = 0, -2*u + 69 = -3*f - 12. Suppose -3*j = -c + 29, 5*c - j - 183 = -5*j. Which is greater: u or c?
u
Let v = -2.448 + 2.618. Let y = -46 + 46.29. Let n = v - y. Is n less than or equal to 2?
True
Suppose 5977 = -4*s - 4*y - 3439, -4*y + 7013 = -3*s. Which is bigger: s or -2346?
-2346
Let u be 27 + (1122 + -42)/(-30). Let w = 0 - 0.2. Is u equal to w?
False
Let z = -22123 + 22122.8613. Is 3 bigger than z?
True
Suppose 270*j - 267*j = -3, -2*l - 4*j = 5292. Which is greater: -2645 or l?
l
Let c be 135/20 + (9/(-12) - -1). Let w be (756/20)/c - 5. Let j be (-1)/(1/(-3)) + -4. Which is smaller: w or j?
j
Let a = 907/2 + -445. Suppose 0 = 5*g - 4*i - 6, -g = 2*g - 2*i - 4. Let u(v) = 6*v - 2. Let o be u(g). Is o != a?
True
Suppose 150 + 813 = 9*c. Suppose 4*n - 1166 = -7*n - 0*n. Which is smaller: n or c?
n
Let b be 4/(-9)*(-189)/154. Is b greater than or equal to 0?
True
Let h = -3515/94 - 5/47. Let n = -142 + 104. Which is greater: h or n?
h
Let h(j) = j**3 + 9*j**2 - 4*j + 3. Let c be h(-7). Let m(p) = -225*p + 6651. Let a be m(29). Are c and a non-equal?
True
Let a be 140/14 - (2 - (-73827)/9252). Which is smaller: -0.2 or a?
-0.2
Let z = 2/7915 - -15812/71235. Which is greater: -32 or z?
z
Let i = -1669 + 2116291/1268. Is i less than 0?
True
Let t be (18 - 16)/(3 - 1)*-3862. Is -3863 >= t?
False
Let l be ((-11)/(110/(-4)))/((-4)/(-10)). Which is smaller: -1/971 or l?
-1/971
Let j be (-4)/1 + 15/(-50)*-10. Suppose -s - 3*w + 1 + 17 = 0, 2*s - 3*w - 9 = 0. Let g be -2 + 3 + s/(-7). Are j and g nonequal?
True
Let o = 252.045 - -0.055. Let p = o + -252. Which is bigger: -26 or p?
p
Let s = 4209 + -3964. Is s >= 3?
True
Let m(x) = -x**3 + 19*x**2 - 17*x - 21.