71. Are -1/4 and d nonequal?
True
Suppose 59*b + 133 = 251. Let v = -4.99 - 0.01. Is b less than v?
False
Let s(f) = 5*f**2 + 8*f + 42. Let d be s(11). Suppose -12*h = 3*h - d. Suppose 183 - 39 = 3*n. Which is smaller: n or h?
n
Suppose -j + 2*r = -2*r - 10, -4*j = r - 40. Suppose -21 = -j*m - 11. Let h = -1289/7 + 185. Is m < h?
False
Let k be ((-6 + -45)/(-3))/(1/3). Suppose 0 = -2*r - 5*o + 9, -4*o - k = -3*r + o. Suppose -r = 3*w, -2*c - 5*w = 3*c + 65. Is -6 >= c?
True
Let p = -90555 + 432293/5. Is -4095 >= p?
True
Suppose -4*m + 164 = -4*l, -2 = -0*m + m. Suppose 4*j + 68 = -7*o - 147, 110 = -3*j + 5*o. Is l at least as big as j?
True
Suppose -4*x + 4*j = -36, -5*j - 5 = 5. Let p(y) = y**3 - 7*y**2 - y + 5. Let v be p(x). Let k be ((-1)/3)/(2/10). Which is bigger: v or k?
k
Suppose 120 = 3*l - 5*i + 2*i, -2*l = -4*i - 82. Let q be 56/(-364) - 7/l. Do q and 0.027 have the same value?
False
Suppose 2*m = 12*d - 10*d - 516, -m - 243 = 4*d. Which is bigger: 1/4 or m?
1/4
Suppose -241 = 5*j + 224. Let n be (2 - 142) + (-3525)/(-75). Is n > j?
False
Suppose 5*a + 25 = 0, 35 = 4*w - 5*a - 6. Suppose -w*i + 225 = i. Suppose -72*k + 1350 = -42*k. Is i less than or equal to k?
True
Let s = -8956 + 8956. Which is bigger: -2/14639 or s?
s
Suppose -33*g = 16294 + 74291. Is g <= -2744?
True
Let a = 26 - 105/4. Suppose 99 = 4*m + 39. Let i be (3/(-15) - 17/m) + -2. Is i smaller than a?
True
Let r = 801 + -800.983. Let l = -85 - -427/5. Is r less than l?
True
Let j be (7 - 2 - (4 + 2))*-699. Suppose -4*l - 5*k + j = 0, -5*k + 9 = -2*k. Which is greater: l or 170?
l
Suppose 0 = -2*q + t + 16, 0 = 6*t - 4*t - 8. Suppose u - q*u + 45 = 0. Suppose 0 = 3*d + u*l - 17 - 75, 3*d - 108 = 3*l. Is d at most as big as 34?
True
Let h = -11 - -16. Suppose 20*s = -3*v + 19*s - 103, -2*v - 4*s = 72. Which is greater: h or v?
h
Let s = -7089262/13 + 12087129778/22165. Let c = -2/341 + s. Which is smaller: -2 or c?
c
Let l = -0.6 + 238.6. Let a = 237.91 - l. Which is bigger: a or -8?
a
Let a(z) = z**2 - 9. Let c be a(0). Let o be -4 - (c/3 + -4). Suppose 9 = 3*d, 2*d - o - 19 = 4*q. Is -4 bigger than q?
False
Suppose 5*s = 26*s - 5082. Suppose 0 = 244*n - s*n - 10. Which is greater: 29/8 or n?
n
Suppose -3755 = -82*z + 87*z. Let d = z - -693. Which is greater: d or -59?
d
Suppose -15*b = 3101 - 671. Which is greater: b or -161?
-161
Let y be 3/(-7) + (3924/42)/1. Let z = -86 - -178. Is z >= y?
False
Suppose 240 = 72*q + 70*q - 147*q - 255. Let h(m) = -18*m + 9. Let g be h(6). Is q not equal to g?
False
Let z(l) = -10*l - 91. Suppose 0 = 20*a + 209 + 11. Let c be z(a). Let u be ((-1)/5)/((-1)/101). Which is greater: u or c?
u
Suppose 4*p - 41 = 35. Let n be 12428/520 + (6 - 0)/60. Which is bigger: n or p?
n
Suppose 0 = 9*u - 340 + 1501. Is -124 not equal to u?
True
Let c = -1.577 - -51.545. Let r = 50 - c. Let x = 0.042 - r. Is x > -2/5?
True
Suppose 3*y + 0 - 1 = s, -3*s = 12. Let n(x) = 48*x - 675. Let m be n(14). Is y less than or equal to m?
False
Let v(r) = r**3 + 9*r**2 - 46*r - 2. Let o be v(-14). Let l be (o/585)/((-3)/(27/12)). Is 0 bigger than l?
False
Suppose -4*c - 57 = 3*m + 4, -3*c - 5*m - 54 = 0. Suppose 8*p - 38 = 6*p. Let n be (-4)/(-2) - (p - 14). Is c greater than n?
False
Suppose -3*l + 41 - 128 = -3*y, 0 = 2*l + 3*y + 63. Let s = -275 + l. Let k = s + 8234/27. Is -1 less than k?
True
Suppose 0 = 4397*v - 4487*v - 360. Is -137/32 less than v?
True
Suppose 0 = 6*q + 42 - 84. Let a be (-25)/(-65)*q/(-35). Let k(n) = -n**3 + 5*n**2 - n + 5. Let w be k(5). Is a < w?
True
Suppose -3*y = 5*b - 62, 2234*b + 4*y = 2239*b - 174. Let k be ((-1)/(-4))/((-2)/(-170)). Which is bigger: b or k?
b
Let h be (-4)/(-10) + (-1373)/(-5). Suppose h = -5*o - f, f - 2*f + 265 = -5*o. Let z be ((-112)/(-42))/((-44)/11). Which is smaller: o or z?
o
Let q = 9/257 - 527/7710. Is 1 at least as big as q?
True
Let r = 248 - 245. Suppose -3 = -r*t + 4*b, 5 = 2*t - 3*b + 3. Is 6 equal to t?
False
Suppose 11*z = 12*z + 155. Let i = z - -154. Which is bigger: i or 4/77?
4/77
Suppose 329*g - 16470 = -4955. Let w(l) = 5*l**3 - 2*l**2 + 2. Let s be w(2). Is s not equal to g?
True
Let u(y) be the first derivative of 2*y**3/3 + 13*y**2/2 - 40*y + 5. Let i be u(-9). Which is greater: 6 or i?
6
Let r = -49 + 49. Suppose 64 = o - r*o. Suppose -o - 12 = -5*m - 4*t, -4*t = 4*m - 64. Which is smaller: m or 13?
m
Let l = -13 + 133. Suppose -3*a = -a + 2*q - 248, 599 = 5*a - 2*q. Which is smaller: a or l?
l
Let g = 5192.976 - 5157. Let w = 36 - g. Let b = 27.024 - w. Is 0 less than or equal to b?
True
Let s(k) = -k**3 + 6*k**2 + k - 5. Let w be s(6). Let m be (8/28)/(15/65). Which is smaller: w or m?
w
Suppose 17*o - 120 = 7*o. Let d = o - 251. Which is smaller: -240 or d?
-240
Let t = -3747 + 3761. Let b = -10 - 15. Is b less than t?
True
Suppose -8 = -5*s - 3. Let a = -84915 - -49335613/581. Is s greater than a?
True
Let z be (-6 - 1580936/(-263488))/(10/(-28899)). Let w = z + 1/4117. Which is greater: w or 1?
1
Suppose -40*j + 44*j = -2*v - 1420, -5*v = -3*j + 3576. Is v <= -709?
True
Let p be (-7)/(63/7446) + (-44)/66. Which is smaller: p or -827?
p
Let q be (490 - 2)/(-53 - -20). Which is bigger: q or -15?
q
Suppose -25*d = 4266 - 4441. Let f be (-1)/(-1) + 36*2. Suppose f - 17 = -d*k. Is -6 greater than k?
True
Let x be (-6)/24*-24 + 880570/(-1113). Let q = x + 5496/7. Is q smaller than 1?
True
Let s = 779 - 789. Let b be (-23)/(-115) - (-72)/s. Which is greater: -39/5 or b?
b
Let g(d) = -d**3 - 6*d**2 - 7*d - 4. Let s be g(-4). Let a be (4806/66)/(-9) - s. Is a <= 0?
True
Let q = -332.55 + 328.55. Which is smaller: 328.5 or q?
q
Let k = -4125 - -1373626/333. Are 3 and k unequal?
True
Let a(s) = -8*s**2 + 12*s + 20. Let r be a(-8). Let i be r/(-112) - (-1 + (-5)/(-4)). Let g(x) = -4*x + 56. Let p be g(13). Is i >= p?
True
Suppose -11513 + 671 - 378 = -15*a. Is 8220/11 at most a?
True
Let f(l) = -12*l + 44. Let q(c) = c - 3. Let g(m) = f(m) + 16*q(m). Let d(k) = -k**2 + 11*k - 1. Let s be d(11). Let o be g(s). Which is bigger: o or -6?
-6
Let a = 3204.1 - 3204. Which is smaller: a or -1459?
-1459
Let m = -10 - -9. Let i be (42/959*2/(-4))/9. Which is greater: m or i?
i
Let v be (9/138)/(3/20). Let m be (-115)/(-69)*2/(-10). Which is greater: v or m?
v
Suppose -5*g = -148*f + 152*f + 7492, 4*f = -4*g - 7488. Which is smaller: f or -1867?
f
Let k(g) = -2*g**2 - 24*g - 80. Let l be k(-19). Let h = 349 + l. Which is greater: 46/21 or h?
h
Suppose 26*q = 23*q + 9. Suppose f = -4*x + 133, -6*x - q*f - 145 = -11*x. Which is greater: x or 35?
35
Let t be -1*14*-1 - 3. Let d = 164 - 144. Which is smaller: d or t?
t
Suppose 218*f = 215*f + 6312. Suppose 11*c = f - 146. Is 178 >= c?
True
Let p = -12058 - -12125. Let r = 5 - 2. Let f = r - 4. Is p <= f?
False
Suppose -3*q + 2744 = -x, -62*q + 3*x + 2754 = -59*q. Is q bigger than 913?
False
Let q = -999.9 + 999.95. Let v = -46 - -20. Which is bigger: v or q?
q
Suppose -2*a - 17 = -7*a - 4*j, 0 = -3*a + 3*j + 21. Suppose -a*u + u = 0. Let b be (-4527)/1006*(-8)/81. Is u > b?
False
Let w be ((-6)/1116)/(2/8). Let d = -1386 + 1383. Do d and w have different values?
True
Let d = 5.407 + -5.407. Which is smaller: 3/28 or d?
d
Suppose y = -8*n + 3*n, n + 26 = 5*y. Suppose 0 = 3*h - t - 0*t + 17, 5*h + 5*t = y. Let k be -1 + -30 + -1494 + 1519. Does k = h?
False
Let n be -3 + (70 - (8 + -7)). Let z be -12*(-78)/45*5. Let d = n - z. Is -39 > d?
False
Let y(t) = 11*t - 76. Let i be y(7). Do i and 0.0408 have the same value?
False
Let b be (-1)/(1 + 0) - -602*12/7752. Which is smaller: b or 0?
b
Let w = 713 - 714. Is 3/466 equal to w?
False
Suppose 0 = 2*s + 21 - 65. Let b be 1*((-80)/s - 2). Is b less than or equal to -6?
False
Let m(p) = -4*p + 44. Let h be m(11). Suppose h = -2*t - 3*i + 4, 3*t - 11 = i + 6. Is t > 0?
True
Suppose -2*c - 231 = -r - 229, 0 = -3*c + 4*r - 13. Let n be 299/(-450) - 2/(-3). Do n and c have the same value?
False
Let x = 5365617/1772 - 3028. Which is smaller: x or -1?
-1
Let d = -4901/248 + 159/8. Let o be 1*(0 - -24 - 23). Which is greater: o or d?
o
Let l = -56 + 20. Let s be -18 - (8/l - (-25)/(-9)). Let x be 585/36*6/s. Which is smaller: -8 or x?
-8
Let s be ((4 - 4)/(-8))/(-2). Let g be (s + -5)/(14 + 175/(-5)). Is 1 greater 