- 52.12. Let j = d + -8.78. Let x = j - -8. Is x != 0.3?
True
Let y = 0.04 - -0.06. Suppose 3*o = -o - w + 96, -5*o - 4*w + 109 = 0. Is o not equal to y?
True
Let g be 1/(-5) + 2094/(-105). Let x = g - -789/35. Let q = x + -1. Which is bigger: q or 0?
q
Let a be (-3 + (4 - 1))/(-1). Suppose a*i - 2*i = 5*w + 21, 3*w = 5*i + 6. Let o be -1*i/15*5. Which is smaller: -1 or o?
-1
Suppose 5*c = -2*m + 3, 5*c = -5*m + 2*m + 2. Suppose -2*i = -i - 2. Suppose 7 = -3*v + o + 1, -i*v = o - 1. Is m less than v?
False
Let n(b) be the first derivative of b**3/3 - 5*b**2/2 - b - 5. Let a be n(-4). Is a > 35?
False
Let o(t) = t**3 - 2*t**2 - 6*t - 3. Let q be o(3). Let j be (-726)/(-36) - ((-26)/q - 2). Is 21 smaller than j?
False
Let a be (14/(-4) - -4)*6. Suppose 23*d - a = 20*d. Which is greater: d or -2.5?
d
Let l = 448904/9 - 49878. Let j = -12.71 + 14.7. Let q = -2 + j. Which is smaller: l or q?
q
Let d = -6 - 2.1. Let a = d + 8. Let p = a - 2.9. Is 0.2 equal to p?
False
Let j(i) be the second derivative of 7*i**4/4 + i**3/6 - i**2 + 5*i. Let p be j(-2). Let a = p + -562/7. Which is greater: -1 or a?
a
Let w = -34 + 34. Let i be 9 + -7 - (w + 3). Which is smaller: i or -3/28?
i
Suppose 0 = 4*x + 3*c + 8, 1 = 3*x + c + 2. Let w = -3691/125893 - 1/1879. Is w greater than x?
False
Let h(p) = 2*p**2 + 3*p + 3. Let n = 3 - 6. Let y be h(n). Suppose -4*g + 5*s + 1 + 5 = 0, 2*g + 5*s = -y. Which is smaller: g or 1/3?
g
Let b = 16.063 - 16. Let o = b + 3.937. Is -1 > o?
False
Let y = -41881.01 - -42209. Let f = y + -340. Let d = f - -0.01. Which is smaller: -0.1 or d?
d
Suppose 5*v = r - 17, -3*r - 2*v = -0*v + 34. Let a = r + 7. Let g be a + 5/2 - 2. Which is bigger: 2/7 or g?
2/7
Let w = 52264/3 - 17421. Let g = -0.1 - -4.1. Is w > g?
False
Suppose -v = -2*f + 3*f - 3, f = 3*v + 11. Suppose 0 = -5*a - 0*s + 2*s - 64, -82 = f*a + 4*s. Which is greater: a or -15?
a
Let b = -2 + 5. Let t be (-8 + 12)/((-26)/b). Is 1 bigger than t?
True
Let s = -814518/73 + 11158. Is 0 at least s?
False
Suppose -3*i - 25 = -8*i. Suppose 0 = -h - 5*z + 35, 4*z = -i*h + 89 + 23. Suppose n - t = 7, 2*t + h = n + 3*n. Which is smaller: n or 2?
2
Let v = 6785 - 2562. Let l = 848825/201 - v. Is l greater than or equal to 0?
True
Let f = 109/2 - 2837/52. Is f smaller than -1?
False
Let n = -1115.051 - -1114. Let j = -0.051 - n. Is -2/7 greater than j?
False
Let w = -1832 - -1774. Which is greater: w or -50?
-50
Let a(x) = 5*x**2 - x + 13. Let j be a(4). Suppose -2*r + j = 2*r + p, 4*p = 2*r - 40. Are 23 and r equal?
False
Let x(h) be the second derivative of h**3/3 - 3*h**2 + h. Let f be x(6). Suppose -c + 4 = 2*p - f, 2*p = -4*c + 40. Is c bigger than 10?
False
Let z(j) = 10*j + 1. Let g be z(2). Suppose -u - 2*u = g. Let r be ((-220)/(-75))/(30/(-75)). Which is bigger: u or r?
u
Let m = 4851/8432 - -21/496. Let b = -2547/170 - m. Is -15 > b?
True
Let k = 7078/19 - 374. Which is greater: -2 or k?
k
Let z = -18434233/420 - -43891. Let r = z - 2/105. Let a = -2 + 2. Which is smaller: r or a?
r
Let z(y) = -2*y**3 + y + y**3 + 6 - 10*y - 10*y**2. Let j = 3 - 12. Let t be z(j). Is 5 >= t?
False
Let l = 112 + -122. Suppose -j = -4*j - 30. Is l > j?
False
Let k(m) = -140*m**2 + 0*m - m**3 + 4*m + 7 + 144*m**2. Let j be k(5). Let b = -0.05 + -0.05. Which is smaller: j or b?
b
Let g = 34738/45 - 772. Suppose 3 = 5*d - s, 0 = -4*d - 2*s - 3 - 3. Which is smaller: g or d?
g
Let y = -467/29 - -389069/24157. Does 1 = y?
False
Suppose -c - 16 = -2*c. Suppose u + 4*g = 16, 4*g + 0*g - c = -2*u. Let p = 619/8 - 77. Which is bigger: p or u?
p
Suppose -6*k = -260 + 80. Suppose -k*j + 21 = -33*j. Is j less than -2?
True
Suppose -4*h - 10*h - 84 = 0. Are h and -63/10 unequal?
True
Let c be (-71)/3 - 22/(-33). Is -27 bigger than c?
False
Let q = -11 - -13. Suppose 4 - q = c. Let h be 39/63 - c/3. Which is greater: h or 0?
0
Suppose h + 7 + 12 = 0. Let d be (36/15)/(8/(-60)). Is d less than h?
False
Let q = 1157 + -8102/7. Let i = -0.8 + -0.2. Is i <= q?
True
Suppose -39 = -5*f + 2*f. Let a = f + -15. Let k = -478/115 + 45/23. Which is smaller: k or a?
k
Suppose -z - 3*z = -4*b, -2*z + 4*b = 0. Let i be (-2 - (24/(-10) + z)) + 0. Is 1/2 < i?
False
Let b be (380/(-40) + 8)/((-3)/40). Which is smaller: 23 or b?
b
Suppose -x + 39 = s - 6*x, 4*s - 56 = -5*x. Is 18 <= s?
True
Let z = 0.43 + -20.43. Let l = -19.8 - z. Which is bigger: -3.6 or l?
l
Let f be (-10)/189*-12 - (-2)/9. Which is bigger: 2 or f?
2
Let k = 11.3 + -11. Let o = k + 4.7. Let d = 2 + -2.1. Is o > d?
True
Let l = -6/55 + 16/55. Is 5/4 greater than l?
True
Suppose 7 - 6 = -j. Let q be 5 + -3 - 2 - (-2)/j. Which is greater: q or -13/4?
q
Let i be (-4)/(-14) - 78/(-21). Let d(c) = 4*c + 35. Let n be d(-15). Let o = n - -30. Which is smaller: i or o?
i
Suppose 18 = 2*f + 7*f. Suppose 0 = -3*i + 3*x + 6, -i + 3*i + f*x + 4 = 0. Suppose 0 = 3*c - 3 - 3. Do i and c have different values?
True
Let m = -201 + 133. Is -68 smaller than m?
False
Let p(z) = -3*z + 2. Let j be p(-1). Suppose -j*w - 3*k + 0 = -8, -w = -4*k + 3. Which is smaller: w or 31?
w
Let k(n) = 9*n**2 - 1. Let m be k(-1). Suppose -m*f + 4 = -7*f. Suppose 0 = -f*i - 0*i - 4. Is i greater than -1/3?
False
Let q = -399/4 + 98. Suppose 2*t - 2*r = -4, -t - 4*r - 4 = t. Which is smaller: t or q?
t
Let s be 1292/(-6120) - (-2)/4. Are 0 and s unequal?
True
Let k(l) be the second derivative of -l**3/6 + 5*l**2/2 + l. Let b be (84/(-35))/(6/(-20)). Let o be k(b). Is -2 <= o?
False
Let q be 1 + ((-19)/7 - (4 - 6)). Which is greater: q or -4.1?
q
Let m be 1809/6 - 1/2. Let j = -893/3 + m. Which is smaller: 2 or j?
2
Let q = 0.0313 - 0.2613. Is q greater than or equal to 1/5?
False
Let p = -75 - -65. Is p smaller than -29/3?
True
Suppose 4*m = -c + 5*c - 12, -5*c + 3*m = -9. Is c bigger than 51?
False
Suppose 0*f - 90 = -5*f. Suppose d - f = -4*l, l + 2 = -l + 5*d. Suppose 2 + 2 = -5*p + 3*x, l*x - 11 = p. Are 4/5 and p nonequal?
True
Let x = 75 + -73. Suppose 18 = 4*b - x. Suppose 2*n - 15 = -4*g - 5, 0 = 4*g. Is n equal to b?
True
Let s = -80.8 - -89. Do s and 1/4 have the same value?
False
Suppose 14 = 6*d + d. Let u be -2 + 1/d*(-64 - 6). Is u smaller than -35?
True
Let m = -0.73 - -0.83. Which is smaller: -151 or m?
-151
Suppose -3*r - 5*y = 54, 77 = -4*r - 9*y + 4*y. Let k be 5*12/(-330) - 251/11. Is k greater than r?
False
Let m be (-1)/4 - (6 + 1365/(-20)). Is m bigger than 57?
True
Let y = 66 + -66.29. Let h = 0.19 + y. Is 0 at most h?
False
Suppose 2*h + 73 - 55 = 0. Is h at least -10?
True
Suppose 3*c + 10 = 2*d, 3*c + 2*c + 3*d = -23. Let x be (5485/(-1370) + 4)*c. Which is greater: x or -1?
x
Suppose -3*q - 2*c - 124 + 996 = 0, -2*q = -4*c - 592. Let v = q - 1469/5. Let f = 30 + -30. Is v bigger than f?
False
Suppose 4*s - 158 + 42 = 0. Let j = 30 - s. Which is greater: j or -1/7?
j
Let x = 5 - 4. Suppose 3*m - 26 = -t, 17 = -2*m + 4*t + 39. Which is smaller: x or m?
x
Let p = 0.3 + -1.3. Let l = -2.57 - -141.57. Let k = l + -147. Which is greater: k or p?
p
Let n = 0.173 + -32.173. Are -3 and n unequal?
True
Let w = 141 + -135. Is w bigger than 2/25?
True
Let x be 2 - (-21)/(-1) - -2. Let u be (3 + -8 - -3) + -12. Let g = -2 + u. Is g at most as big as x?
False
Let c be -3 + ((-2093)/(-54))/13. Let h = 2 + -2. Is c at most as big as h?
True
Let m = 152 + -228. Let v = 65 + m. Let d(z) = -2*z**2 - 6*z - 2. Let r be d(-4). Which is smaller: v or r?
v
Let j(v) = 99*v - 98. Let z be j(1). Which is greater: -1/9 or z?
z
Suppose 21 = -40*i + 21. Is 4/451 less than or equal to i?
False
Let v = 2104211/50552 + 2/6319. Is v at least 43?
False
Let n = -4.94 - 1.16. Let h = n - -1.1. Let v = -438 - -438.1. Is v != h?
True
Let l be 9 + 15 - 12 - 15. Is l at least as big as -55/18?
True
Let s be (-725)/(-60) + (1*-3)/36. Which is greater: 14 or s?
14
Let j(f) = -f**2 - 4*f + 5. Let q be j(-4). Suppose 3*p - 14 = -p - q*b, b = p - 8. Let o(i) = 2*i - 34. Let w be o(20). Is w at least as big as p?
True
Let o(a) = -a**2 + 12*a - 15. Let s be o(12). Let i = s + 10. Let t = i - -13. Which is greater: t or 7?
t
Let m be 6*(1 - (-86)/3). Is 174 > m?
False
Let u = 6 + -7. Let b = 22168 + -133325/6. Let x = b - -53. Does u = x?
False
Suppose -l + d + 8 = 0, -4*d - 9 = -l + 14. Let j be (-8)/(-20) + 