or d?
d
Suppose 2*h - 7*h - 100 = 0. Suppose 3*b + 551 = -26*b. Are b and h nonequal?
True
Let a be (-6)/42 + (120/56)/1. Which is smaller: a or -3/31?
-3/31
Let v(w) = w**3 - 5*w**2 + 6*w + 2. Let s be v(3). Suppose -3*l + 4*u - 8 = l, 2*l + s*u = -12. Is l equal to 3?
False
Let m be ((-1)/(-2))/((-63)/(-14) + -3). Is m < -75?
False
Suppose 3*k + 20 = 2*s, 2*k = k - s. Let a be (-144)/80 - (k - -1*2). Let n = -5 + 5.02. Is n less than a?
True
Suppose -53 - 167 = -o. Let k be (-26414)/(-120) - 4/16. Let c = o - k. Which is bigger: -1 or c?
c
Let k be -1279*(-6)/(-696) + 11. Which is smaller: k or -1?
-1
Let b = -14 + 18. Let q(h) be the first derivative of h**4/4 - 4*h**3/3 + h**2/2 + 3. Let m be q(b). Which is greater: 10/3 or m?
m
Suppose -36*y + 54 = -34*y. Let r be (-80)/y + -2 + 5/1. Is -1 at least as big as r?
False
Let o = -5 - -9. Let k be (11/(-66))/((-2)/(-6)). Is k greater than o?
False
Let t = 10 - -13. Let r = 21.9 - t. Let m = -1.1 - r. Which is smaller: -0.1 or m?
-0.1
Let o(d) = -4*d**2 - 4*d - 4. Let p = -13 + 10. Let f be o(p). Which is greater: f or -27?
-27
Let n(g) = 2*g + 13. Let p(c) = -c + 1. Let o(m) = -n(m) - 4*p(m). Let y be o(2). Are -11 and y equal?
False
Suppose 3*s = -812 - 592. Let u = s + 945. Let y = 7151/15 - u. Is -2 greater than y?
False
Suppose -24 = -m - 3*m - f, 2*f = 2*m - 22. Suppose m*r + r + 80 = 0. Which is greater: r or -8?
-8
Suppose s - 22 = -4*i, -4*s + 4*i = s + 10. Suppose 0 = w - 5*w + 3*u - 42, -5*w - 64 = s*u. Let y = w - -12. Is -2 < y?
True
Let v = -26.54 + 28. Let i = 1.16 - v. Is i at most -0.5?
False
Let d = -0.023 + 0.109. Let b = 4.386 - d. Which is smaller: b or -0.1?
-0.1
Let k be (-3)/1 - 215/20. Let y = 15 + k. Let x = 8.1 + -8. Which is smaller: y or x?
x
Let z = 3.4 + -2.4. Let u = 15 - 18. Is z greater than u?
True
Suppose 3*z = 5*y - 2 - 2, -z = -2*y + 2. Suppose -35 = -2*c - 5*d, d + 23 = 2*c + z*d. Let l = -21 - -30. Is c at most as big as l?
False
Suppose 68 + 412 = -5*q - 5*w, 0 = -5*w - 10. Is q >= -97?
True
Let u be (-3 - (-30)/9)*2451. Let t = -8977/11 + u. Which is greater: t or 0.1?
t
Let x be 0 - (1/2)/(11/(-22)). Which is smaller: x or 2/1131?
2/1131
Let n = 2 + -2. Which is bigger: 2/3077 or n?
2/3077
Let j(r) = -2*r**3 + 1. Let i be j(1). Let w be ((-9)/(-42))/(12/(-16)). Is w < i?
False
Let q = -2.4 + 2.5. Let s = 6 - 5.84. Which is smaller: q or s?
q
Let p = 36 - 106/3. Suppose 0 = -8*r - r + 225. Suppose 0 = 2*g - t - r, t = -3*g + 27 + 18. Is g > p?
True
Let w be -1 + 2/(-4) + (-112)/(-72). Is w < 1?
True
Let j = 8.04 + -10.04. Which is smaller: j or 61/2?
j
Let m = -1/221 - 433/1989. Which is smaller: 8 or m?
m
Let h = -1.12 - 23.08. Let a = h + 24. Let i = 0.01 - 2.01. Which is smaller: a or i?
i
Let x = -4 - -21. Let b = 17 - x. Which is greater: 16 or b?
16
Let l = -0.0751 + 0.0851. Which is greater: -44 or l?
l
Let q(t) = t. Let a be q(0). Let o(w) = -w**3 - w**2 + w. Let v be o(a). Does v = 1/5?
False
Let v = -0.7 - 25.3. Let b = -24.1 - v. Let p = 5444 + -5445. Is b smaller than p?
False
Suppose 0 = -10*l - 554 - 226. Let w = 76 + l. Are -1 and w nonequal?
True
Let c = 7.571 + -10.854. Let h = -0.017 + c. Let n = h - -3. Which is smaller: n or -2?
-2
Let o be 4/(-3)*(-6)/4. Let s = -967 - -4822/5. Is s at most as big as o?
True
Let q be -1*(2 + -3)*1. Let s = 4111/1918 + -1/1918. Which is greater: q or s?
s
Let l = -5 + 14. Let z = 16 + -25. Let b = z + l. Is 6 < b?
False
Let m be (-4748)/30 + 35/21. Which is smaller: -157 or m?
-157
Suppose 6*b - 20 = 2*b. Suppose -3*q + 33 = b*s + 1, 2*q + 9 = s. Which is greater: s or 63/8?
63/8
Suppose 0 = -3*r - 2*r. Suppose -3*q = -r*q. Let p be 15/(-25) - (47/(-45) + 0). Is p greater than or equal to q?
True
Suppose -3*x - x + 8 = 0. Let h = 4 + x. Let t be ((-6)/(-9))/((-4)/h). Which is bigger: t or -1/7?
-1/7
Suppose -5*z + 40 = 5*m - 5, 3*m - z - 19 = 0. Let c be 24/(-6) + (-32)/(-8). Suppose d + m = -c. Which is greater: -5 or d?
-5
Let y be (-1)/(-1) + (0 - (-10 + 8)). Let l = -5 + 7. Suppose l = r - 0*r. Is r > y?
False
Let f = 1296/3215 - 2/643. Which is smaller: f or -10/19?
-10/19
Let g(x) = x**3 + 3*x**2 - 2*x - 3. Let n be g(-3). Let q(d) = -4*d + 4*d**2 - 3*d**3 + 4 + 4*d**3 - d**2. Let j be q(-4). Which is smaller: n or j?
n
Let h = 45 - 73. Let p = 28 + h. Let k = 8 - 7.97. Do k and p have different values?
True
Let i = -1819 - -1819.25. Which is smaller: i or -4/3?
-4/3
Let f be (-2)/2*6*2. Let g = -136 - -135. Let u be (-6)/f*(1 - g). Do u and 1 have different values?
False
Let o = 1 - -3. Let w = o + 0. Suppose -t - 3*m = -9, -5*t - 3 = -w*t - m. Is -6/13 at most t?
True
Let u be (5 - 2507)/6 + 0. Which is greater: -419 or u?
u
Let s be (-4)/8*(-16)/(-2). Which is greater: s or -2/15?
-2/15
Let y = -4 - -8. Suppose -1 = -y*k + 3*k. Let o = 15 + -77/5. Is k > o?
True
Let g be -1 + (5 - -2)*10. Let a = -14 + g. Suppose -a = 2*u + 3*u. Is u smaller than -10?
True
Let t be (2 + 0)/((-4)/(-10)). Let s be (-1 - 1/2)*(5 + -7). Suppose 8*w = s + 21. Are t and w unequal?
True
Let u(x) = 4*x - 6. Let c be u(3). Suppose -5*q = 2*f - c, -q - 3 = q - f. Is q != -1/69?
True
Let z = 6313946/705645 - 1208/135. Which is smaller: z or -1?
-1
Let n = 1.68 + -1.58. Let i(r) = -2*r - 1. Let k be i(7). Is n equal to k?
False
Let x = -0.047 - -10.047. Let v be ((-6)/(-90) + (-2)/5)*1. Is v equal to x?
False
Let g = 2678/3 - 26177/30. Which is greater: 21 or g?
21
Let f = 21 - 19. Let h = -4729/30 + 804/5. Which is bigger: h or f?
h
Let x = -538 + 1612/3. Let z(k) = -k**3 - 6*k**2 + 7*k + 5. Let p be z(-7). Suppose -20 = -c + 5*c, -2*c - 10 = p*a. Which is greater: x or a?
a
Suppose -2*p = -p - g - 13, -g = -5*p + 53. Suppose -3*w + 4*c - p = 0, c + 3 = 2*w - 4*w. Let h = -904/4149 + -2/461. Is h greater than or equal to w?
True
Let p be (22 - 1)*(-2)/(-6). Suppose 44 = -4*a + 4*h, 5*a + p = -4*h - 3. Suppose 7 - 17 = 2*y. Is y less than or equal to a?
False
Suppose 588 = 25*r - 4*r. Which is greater: 30 or r?
30
Suppose -11*k + 13*k = 24. Is 112/9 greater than k?
True
Let h = -2/763 + -29753/1526. Which is greater: -20 or h?
h
Let q = 224 - 1566/7. Which is smaller: q or -30/7?
-30/7
Let x = 1022 + -22479/22. Is x smaller than 1?
True
Let l = 368 - 367. Is l greater than -0.105?
True
Let c(d) = d - 7. Let v be c(9). Suppose 0 = -2*l - 4*n - v + 4, 5*l = 5*n + 5. Suppose -u = -l, 2*f - 9 = -u + 4. Does 6 = f?
True
Let l(g) be the third derivative of -g**6/120 - 7*g**5/30 - 13*g**4/12 - 2*g**3/3 - g**2 - g. Let x be l(-12). Is x < 18?
False
Let x be 0/(-2 - -3) + 37. Let s = x - 36. Is s at least 2?
False
Let h(d) = -2*d**2 - 9*d - 4. Let k be h(-4). Let s be k + 2 + 1 - 24/8. Is s at most as big as 1/3?
True
Let y = 219/2 - 18619/170. Let t = -57 + 56. Is y at least t?
True
Let l = 337/4 - 84. Let n(d) = d**2 - d + 4. Let u be n(0). Let b be 3 - (5 + u/(-2)). Is l < b?
False
Let d = -0.7 - -0.5. Let r = 0.2339 + -0.0539. Is d less than r?
True
Let g = -2 + 2. Let z = 971 + -10680/11. Is g <= z?
True
Let i = -18 + 16. Let j(y) = -y**3 - 4*y**2 - 3*y + 1. Let r be j(i). Which is smaller: 0 or r?
r
Let x be -1*-1*(2 - 1). Let p = x + 0. Let k be 12/56*14/4. Which is smaller: k or p?
k
Let a = -5328/5 + 3234106/3035. Which is bigger: a or -1?
a
Let f be 4 - 2100/9 - (-3 + 1). Let m = -232 - f. Which is greater: -5 or m?
m
Suppose -5*u + 29 = -z - 74, -2*z - 46 = -2*u. Let f = u - 18. Is f not equal to 13/5?
True
Suppose -5 = -v - 4. Suppose -23 = -2*x + v. Which is greater: x or -1?
x
Suppose -6*l + 53 = -7*l. Let s = -54 - l. Is s equal to -9/7?
False
Let t = -1005.9813 + -0.0187. Let n = t - -1023.94. Let p = -18 + n. Which is smaller: -2 or p?
-2
Let b(u) be the first derivative of u**3 + 3*u**2/2 + 9. Let i be b(-2). Which is greater: i or 5?
i
Let b be 3/(-1) + 3 + 20. Let k be (b/105)/(2/(-12)). Which is smaller: k or 0?
k
Let o = -5.9 + -38.1. Let v = o + 49.1. Let j = -3.1 + v. Is j > 1/3?
True
Let m = -2035/7098 - -1/1014. Is m at least as big as 12.95?
False
Let o = 2/8043 - 387026/3868683. Let r = o + -2/37. Which is greater: r or -8?
r
Suppose -8*m = -0*m - 8. Suppose -4*t + 21 - 5 = 0. Let a be ((-8)/15)/(t/(-12)). Which is smaller: m or a?
m
Let b be -3 + (1 + -8)/(9/(-18)). Suppose 6*v + 10 = b*v. Let q