= -3*v - d. Does v = 71?
True
Suppose 3*w + 4*l - 85 = -0*l, -4*l = -3*w + 125. Let k be ((-10)/125)/((-4)/20*1). Is k less than w?
True
Suppose 3*t + 434 = -5*u, -1 = u + 2*t + 83. Which is greater: u or 1?
1
Let n be 37/11 + (-10)/2. Is n >= -2/7?
False
Suppose 2*m = -b, 0*m + 3*m - 4*b = 0. Let v be (-364)/(-84) + 2/3. Suppose m - 10 = -v*l. Are 2 and l non-equal?
False
Let k be (-4)/3 + 1/3. Let j(h) = h - 9. Suppose -2*d + 18 = 3*b, 15 + 12 = 3*d + b. Let v be j(d). Which is bigger: v or k?
v
Let h = 357 + -357. Is h <= -6/37?
False
Let a = 1.5 + -10.5. Let k = a + 8.7. Let t be (-96)/54 - (-2 - 0). Which is bigger: k or t?
t
Let a = 0.16 - 10.16. Let r = -34.4 - -35.4. Which is smaller: a or r?
a
Let x(o) = -o**3 + 45*o**2 - 44*o - 4. Let i be x(44). Let s = 179/3 + -63. Is s smaller than i?
False
Suppose 5*n + 677 = -g, 13*g = 8*g + 3*n - 3357. Is g >= 1/4?
False
Let q(l) = -l - 16. Let p be q(-16). Let z = -2638/15 + 176. Are z and p nonequal?
True
Let l be 3 + (76/7)/(-4). Let t = 613 - 624. Is l < t?
False
Suppose 5*j = 3*r, 7*j = 3*j + 2*r. Which is smaller: j or -98?
-98
Suppose 2*c - 5*b = 25, -3*c = 5*b - 2*b - 6. Suppose 2 - 7 = -c*r. Let d = -4 + 3.9. Which is greater: d or r?
r
Let t be ((-12929)/(-35))/((-48822)/5). Let h = 7/158 + t. Which is smaller: 0 or h?
0
Let i be (-1 - 0)*(-2)/(-1). Let c be 4/14 + i/7. Let g = -11741/8 - -1468. Are c and g non-equal?
True
Let p = 14.3 - 12. Let m = 24 + -22.7. Let h = p - m. Which is smaller: 0.2 or h?
0.2
Let l = -0.72 - -0.78. Let k = 19.2 + -19.4. Which is bigger: l or k?
l
Let j = 17/63 + -5/9. Which is greater: j or -2/117?
-2/117
Let g be (-22 - -21)*(1 + 1/(-2)). Let s(v) = v**3 - 6*v**2 - 2*v + 6. Let h be s(6). Let m be -2*3/h*-1. Is m >= g?
False
Let l(s) = -10*s**2 - 35*s - 28. Let h(t) = -3*t**2 - 11*t - 9. Let z(r) = 7*h(r) - 2*l(r). Suppose 7 = -p + 1. Let b be z(p). Are 2 and b equal?
False
Suppose y - 16 = 5*y + 2*g, 5*g = 2*y - 16. Let v(b) = -b**2 - 4*b + 7. Let k(q) = -q + 1. Let l(h) = 5*k(h) - v(h). Let z be l(y). Is -1 < z?
True
Let k = 26 + -11. Let v = k - 9. Let y = -0.054 + 0.354. Are y and v equal?
False
Let w be (((-450)/40)/15)/3. Which is smaller: w or 12?
w
Let c = -95/4 - -23. Suppose -4*h = -3*h - 2. Let l be (0/12)/(-1 + h). Which is bigger: c or l?
l
Let n(s) = s**2 + 2*s - 4. Let u be n(-4). Let b be (u/10)/(3/15). Is b less than or equal to 5/6?
False
Let s(h) = -h**3 + 7*h**2 + 9*h - 10. Let i be s(8). Let m be 11/(-3) - i*(-5)/(-15). Which is bigger: -22/5 or m?
m
Let m = -89/4 + 22. Is m less than -27?
False
Let s = 4444 + -4456. Let l be ((-3)/2)/((-9)/(-12)). Let v be 1 - ((-28)/l + 0). Which is bigger: v or s?
s
Let p(v) be the second derivative of 5*v**4/12 - v**3/2 - v**2 + 17*v. Let z be p(-1). Which is smaller: z or 2?
2
Let l be 6/(-9) + (-17)/(-3). Let d be 7/35*l/1. Which is greater: -2/7 or d?
d
Let f = 67 - 52.1. Let x = f - 15. Which is smaller: 7 or x?
x
Let x = 1200/7 - 171. Let i = x + 2/7. Let d(k) = 2*k - 28. Let c be d(14). Do i and c have the same value?
False
Suppose 4*n - 2 = 4*i + 2, 3*n - 5*i = 7. Let a be 0/(0 + 3 - n). Suppose 0 = -a*r + 3*r. Which is greater: r or 7/5?
7/5
Let l = -34 - -28. Let x be ((-7)/(-2) - 3)*l. Suppose -3*s - 3 = 3. Which is smaller: x or s?
x
Let m(b) = b**3 - 5*b**2 + 5*b - 4. Let y be m(4). Let d be y/1 - 6/1. Let k = d + 6. Is -4/3 <= k?
True
Let t = -47 - -47. Which is smaller: t or -17?
-17
Let y = 1198/13 - 92. Let f = -0.29 - -0.4. Let c = -0.21 + f. Are c and y non-equal?
True
Suppose 5*d - 2 - 23 = 0. Suppose 7 = d*s - 13. Which is smaller: 3 or s?
3
Let a be (-16)/(-6)*(2 - -1). Let k(i) = i**2 - 8*i + 2. Let x be k(a). Which is smaller: x or 2/9?
2/9
Let f = -92 + 94. Let k be (-6)/15 - (-472)/(-10). Let l = k + 48. Which is smaller: f or l?
l
Let p = -2017/3 + 672. Which is bigger: 17/8 or p?
17/8
Let w = 498.42 + -496. Which is bigger: w or -2/7?
w
Let u(o) = -o**2 - 8*o. Let i be u(-6). Let l be ((-30)/58)/(i/(-32)). Let k = l - 244/261. Which is smaller: k or 0?
0
Suppose 0 = -104*z + 85*z - 323. Is z bigger than -91/5?
True
Let j = 22 - -69. Let r = j - 91. Are 3/41 and r unequal?
True
Let r = -2592 - -2576.4. Which is smaller: 1/4 or r?
r
Let m(w) = -w**3 + 10*w**2 + 23*w + 6. Let g be m(12). Which is smaller: g or -45/8?
g
Let v(f) = f**3 + 2*f**2 - 5*f - 3. Let m be v(-3). Suppose -h - m*s + 9 = s, 3*h + 5 = 4*s. Which is greater: 1/33 or h?
h
Let r = 21113/56 - 377. Is -1 less than or equal to r?
True
Let r(h) = 7*h**2 - 8*h + 11. Let c(x) = x**2 - x + 1. Let s(n) = -6*c(n) + r(n). Let z be s(0). Is z less than 1/3?
False
Let k = 68 - 58. Suppose k*q = 5*q + 175. Is 35 >= q?
True
Let r = 14 + -12. Suppose r*c = 9 - 3. Let b = -7 + c. Which is smaller: -2 or b?
b
Let q(s) = 16*s + 273. Let h be q(-17). Which is greater: h or 7/109?
h
Let j = -1.597 + -0.053. Let a = j + -0.35. Is 3 != a?
True
Let r be (0 + 2)*53/2. Suppose -2*o - 4*k + 18 = 0, 5*o - r = -3*k - 22. Suppose 2*x - 3*n + 4 = -1, -5*n = -o. Is x at least as big as 2/21?
False
Suppose -20*u = -11*u + 15*u. Which is bigger: -1/188 or u?
u
Let p = -4.3 - -5. Let g = p + -1. Which is greater: 4/3 or g?
4/3
Let i = -3 - 1. Let s be 1/(-1) - -2 - i. Let v = -6 + 10. Which is smaller: s or v?
v
Let t = 18352 - 1963648/107. Which is bigger: t or 0?
t
Let u = -14/9 - -20/9. Is u <= -65?
False
Suppose 7*b - 56 = -49. Which is smaller: 2/423 or b?
2/423
Suppose 5*c + 3*p = p + 10, 5*p = 0. Suppose -10 = b + 5*l, -l - 40 = 4*b + c*l. Which is smaller: -11 or b?
-11
Let o(b) be the second derivative of -5*b**3/6 - 9*b**2 + 35*b. Let j be o(-2). Is 4/5 at most as big as j?
False
Suppose -2*z - 360 = d, -7*z = -4*z - 3*d + 522. Are z and -180 equal?
False
Let o = 128 + -127.99. Is 2/3 at least o?
True
Let m = -127.3 + 127. Let r = 0.2 + 0. Is r != m?
True
Let o = 11 + -30. Suppose -7*w + 4*w - 60 = 0. Which is bigger: w or o?
o
Let d(f) = f**2 + 6*f + 3. Let s be d(-5). Let m = -42 - -41. Let c be m*((-30)/21 - -2). Is s greater than or equal to c?
False
Let s be -3 - (6*-5)/2. Suppose 2*y + 36 + 22 = 0. Let u = -17 - y. Is s less than u?
False
Let c = -1177 - -1181. Is c <= 6/13?
False
Let b = 8 - 11. Let a be -2 + (-144)/(-66) - (-120)/66. Is b at least a?
False
Let k be (-437)/207 + 21/9. Which is bigger: 35 or k?
35
Let l = -5 + 6. Let r be (-10)/(-55) - (-9)/99. Is r at least as big as l?
False
Let p(b) = b**3 + 28*b**2 - 94*b - 35. Let y be p(-31). Which is greater: y or -7/2?
-7/2
Let a be 115/35 + 2/(-7). Suppose -2*d = a*d. Let y = -0.22 - -0.25. Which is smaller: y or d?
d
Let y be (-4)/(-14) - 240/644. Let w = -0.086 + 2.086. Is w at least as big as y?
True
Let i = 20 - 13. Let s = -10 + 13. Suppose -i*j + s*j = 0. Which is smaller: 2 or j?
j
Suppose 15 = 3*n, -4*k - 2*n - 1 - 1 = 0. Let v be 8/k + 3 + 0. Let j be (-2)/5 + 3/(-5). Is v < j?
False
Let f = -1057/984 + -3/328. Which is bigger: f or -2?
f
Suppose -5*h - 35 = -5*q - 410, 0 = -q - 3*h - 75. Do q and -73 have the same value?
False
Let p = 20348 + -20368346/1001. Which is smaller: p or 0?
0
Let g be 1/(-2)*-69*12/18. Let p = g - 36. Which is bigger: -12 or p?
-12
Suppose 6*m + 4*s = -54, 14 = 2*s + 8. Let u = -583/5 + 116. Which is smaller: u or m?
m
Let l = -123 - -56. Is l <= -68?
False
Let o = -19.7 + -138.3. Which is smaller: o or -1?
o
Let j be 1*(-12 - -1*1). Suppose 37*a + 55 = 42*a. Let l = a + j. Which is smaller: l or -0.04?
-0.04
Let q be (-8)/10*45/(-18). Let m(j) = 3 - 8*j**2 - 5*j + 17*j**q - 2 + 3*j. Let i be m(2). Which is smaller: i or 34?
i
Let l(v) = -26*v + 1. Let j be l(-4). Suppose -y - j = -4*y. Suppose -q = 4*q - y. Is q < 8?
True
Let z = 79/4 - 149/4. Let c = 53/3 + z. Which is smaller: -2/9 or c?
-2/9
Let s = -20 + 40. Suppose 5*a + 5*b = s, 3*a + 0 = 5*b - 28. Which is smaller: 1 or a?
a
Let n be (108/(-45))/(1/(-10)). Suppose 3 = q + 1. Suppose q*j = -y - 0*y + 3, -j = 5*y - n. Which is bigger: 7 or y?
7
Suppose 50 = 2*d - 4*d. Let r = 17 + d. Let y be (-2 - -1)*r/(-52). Which is greater: 0 or y?
0
Let g = 23381 - 117319/5. Which is smaller: g or -84?
-84
Let g = -751/12 + 181/3. Let s = 1 - 2. Let h be (-4)/6 + s/3. Are h and g non-equal?
True
Let h = -219 - 44. Is h at least as big as -1/2?
False
Suppose -4 = -2*z + 3*u, -