at most d?
False
Suppose 0 = 11*z - 9516 + 2729. Let j = -606 + z. Let k(p) = p**2 - 4. Let b be k(-4). Are b and j equal?
False
Let v be 77/6*(8 - -1). Let r = -118 + v. Which is bigger: -2 or r?
-2
Suppose 15 = 10*b - 15. Suppose -8*s + 5 + b = 0. Is -1/130 bigger than s?
False
Let h = -13.04 - 72.8. Let y = h + 3.84. Which is greater: y or 4/3?
4/3
Let i = 397 + -309. Let p = 32 - i. Is p <= -0.3?
True
Let a be 27/(-162) + (-2)/(-12). Is -749 >= a?
False
Let a be ((18/(-8))/(517/(-88) + 6))/4. Which is greater: a or -48?
a
Let o be -100*(-2 - 8*(-2)/20). Suppose 5*i + 0*i + o = 5*q, -2*i = 3*q - 77. Is 29 greater than or equal to q?
True
Let n(z) = -2*z**3 - 11*z**2 - 6*z - 5. Suppose q - 4 = 0, 0*q = 2*h + 3*q - 2. Let w be n(h). Suppose 11*m + 3*m + 140 = w. Is -11 greater than or equal to m?
False
Suppose -5*b + 5*y - 198 = 17, 3*b = -y - 129. Let v be (2 + 5 + -50)*1. Do v and b have different values?
False
Let w be 0*((-1)/(-6) - 34/51). Which is smaller: w or 1817?
w
Suppose 4*y + 4*k - 458 = -98, 4*y = -2*k + 364. Let v = 92 - y. Which is smaller: 2/159 or v?
v
Let x be (-2)/(66/1109) - 270/(-27). Is x != -23?
True
Let a = -39787/559645 - -39/817. Which is bigger: a or 1?
1
Let k be 1*3/7 + 947922/(-16422). Does -56 = k?
False
Suppose h + 25 = -z + 6*h, 2*z = -4*h + 20. Suppose z = 9*i + 2*i + 2178. Is -198 smaller than i?
False
Suppose -29*z + 9877 = 29829. Let b = 562 + z. Is b less than -129?
False
Let d = 1505 + -9096. Which is smaller: -7590 or d?
d
Suppose -3*u + 5*u = 4, c + u + 13 = 0. Let s = 52 + -27. Let i = s + -39. Which is greater: c or i?
i
Let q be 736/(-6) + 60/(-45). Let t = -395 - -273. Is t less than q?
False
Let f = 30 - 19. Suppose 27 = 2*w - f. Which is smaller: w or -2?
-2
Suppose -5*z - 10 = 0, z = -i + 5*z + 13. Suppose -i*x = -x - 116. Let r(y) = 2*y**2 - 8*y - 12. Let j be r(-3). Which is bigger: x or j?
j
Let c be ((-15)/550*-5)/(9/(-8)). Let k = 59/33 + c. Which is greater: 3 or k?
3
Let i = -48 + 41. Let k(l) = -2*l**2 - 7*l + 1. Let r be k(i). Let n be (r/16)/(-38*1). Is n at least -1?
True
Let g be (48 - 57)*(-8824)/12. Which is greater: g or 6619?
6619
Let c(m) = m**3 + 851*m - 3440. Let n be c(0). Is n > -3439?
False
Suppose -12*i + 162 = -126. Suppose -59*y + 71*y = -i. Is 15.9 smaller than y?
False
Let x(d) = -d**3 + 2*d**2 + d + 47. Let v be x(0). Suppose -3*k - 2*p = -13 - 60, -2*k + v = p. Suppose 23*b + k = 20*b. Which is bigger: b or -3?
-3
Suppose 164 = 3*v + 2*m, -v + 1907*m - 1908*m + 55 = 0. Which is smaller: v or 59?
v
Let l = -3607643/441147 + 1202/147. Do -1 and l have different values?
True
Let b be (-340)/(-340)*(-320)/(-26). Is -5 not equal to b?
True
Suppose -66 = -3*k + 2*f, 3*k + 2*f = 2*k + 14. Let b = k + -89/2. Let d = -25 - b. Which is smaller: -7 or d?
-7
Let m be 13 + 11 - (-6825)/(-100). Is 0.51 > m?
True
Suppose a = 5*f + 1092, -5*f - 2601 = -4*a + 1797. Suppose -a = -8*r - 262. Which is greater: 109 or r?
109
Let w = 3838 - 3838.1. Which is bigger: w or 395.6?
395.6
Let g = 10.557 - -0.043. Let n = -10.2 + g. Let h = 2.4 + -3. Which is smaller: h or n?
h
Let i = -38.957 + 39.1. Let u = i - 175.143. Is -1 at most u?
False
Let y be (-525)/1470*3/((-15)/(-4)). Which is bigger: -21 or y?
y
Let d be 9/(-51 - 3)*(-6 + 150/28)*4. Let y = 0.44 - 0.3. Is d at least y?
True
Let d = 42/11 - 137/33. Let o(l) = -18*l**3 + 3*l**2 - 6*l + 1. Let m be o(3). Which is smaller: m or d?
m
Suppose -3*l - 7100 = 22*l. Let y = 119 - l. Which is smaller: y or 404?
y
Let u be 8/348*3/(-10). Let n(v) = 362*v - 362. Let z be n(1). Which is smaller: z or u?
u
Let o = -22 - -14. Let q be 39886/1694 - (-18)/(-33). Is o at most as big as q?
True
Suppose 41 = d - 2*g - 5, 3*d - 5*g - 142 = 0. Let t = 19669/2 - 9835. Is d at least t?
True
Let i = 0.3 + -2. Let k = 1.87 + i. Let o = 0.22 - k. Which is bigger: o or 3/5?
3/5
Let t = -20 - -65. Let z = t + -44. Suppose d = -s - z - 2, 8 = 4*s - d. Is s > -2/13?
True
Let g be 124/(-102)*(-11 + (-151550)/(-13960)). Let u = -2/18691 - -20087/13046318. Let p = u + g. Is p less than 0?
False
Let b = -25/1083 - -86965/14079. Let m = 7 - 1. Which is bigger: b or m?
b
Let b = -427.9202 - 0.0798. Let q = b + 427.8. Which is smaller: -0.48 or q?
-0.48
Let m be 1/(-1)*2/6. Let t be (-2)/3 - (2905/(-2646) + (-88)/(-1188)). Which is smaller: t or m?
m
Let f = -265 - -262. Let s = 233/5 - 491/10. Which is smaller: f or s?
f
Suppose 0 = -4*w + 9 + 11, 3*w - 11 = 4*r. Let u = 47224 - 47117. Which is greater: r or u?
u
Suppose 16 = -4*t - 0. Let v(c) = c**3 + 5*c**2 + c - 5. Let h be v(t). Suppose 10 = 2*z + 3*j, 6*z - j = 3*z - h. Does z = -2/7?
False
Let q(a) = -3*a**2 + 49*a - 129. Let z be q(13). Is 0.1563 bigger than z?
False
Let q(i) = -49*i**2 - 206*i - 1204. Let a be q(-6). Is a > -1741?
True
Let w be 0/(-1) + 264/3. Let d be w/(-6) + (-1)/3. Let o(m) = -77*m + 1447. Let b be o(19). Which is smaller: d or b?
b
Let s = -182 + 184. Suppose -3*j - 6*h + 5*h = 3, -4*j - 4 = s*h. Let b be 1*(1 - (-24)/(-22)). Are b and j non-equal?
True
Suppose z + 3 = 8. Suppose 0*u = -u + 4*i - 4, -z*i = 4*u - 26. Suppose -29*l + 33*l - u = 0. Is l <= 4?
True
Let a = -24/2125 + 159196/13342875. Which is bigger: -1 or a?
a
Let i = 1/15701 - -19846061/47103. Is i at most 422?
True
Let h = 0.5 + -0.1. Suppose 2*i - g = 227, -24 - 6 = 6*g. Let y be (-1 + 28)*(-37)/i. Which is bigger: h or y?
h
Suppose 2*o + 20 = -4*j, -o + 6*o + 5 = -j. Let k be 376/(-60) - 2/(-3). Are k and j unequal?
True
Let y be 27*(3440/(-312) + 11). Suppose -2*l - 5*q = 21, -l = -3*q - q - 9. Let m(d) = -d**3 - 4*d**2 - 4*d - 3. Let o be m(l). Which is bigger: o or y?
o
Let s = -12405 + 99075/8. Which is smaller: s or -13?
s
Let c(p) = 4*p**2 + 54*p - 22. Let r be c(-14). Suppose -3*t + 20 - 5 = 3*s, s - r = -2*t. Which is smaller: t or 2/163?
2/163
Let y be (25/(-2))/(1850/(-1480)). Which is bigger: y or -0.027?
y
Suppose -3*o - 2*o = -25. Let j be -6 + (-46)/(-5) + 4/o. Suppose v - 3*z = -2, 0*v = -v + 5*z - j. Is 5 smaller than v?
False
Let p = 13993.07 + -14946.6. Let a = 978 + p. Let r = a + -1.47. Is 0 equal to r?
False
Let m(z) = -z + 26. Let l be m(21). Suppose 2*w + w + 305 = -l*b, -3*w - 313 = b. Is -0.1 bigger than w?
True
Let w = -176 + 302. Let b = w - 358/3. Which is smaller: b or 0?
0
Let h = -566 + 53. Let v = 141.9 - 142. Is h at most as big as v?
True
Let v be 16/24*(16 + -4 - 3). Let w be 1*(v - (-259)/(-42)). Is w greater than -1?
True
Let k = -259.2 - -5.2. Let b = k - -254. Is b equal to 5/3?
False
Suppose -13*t + 456 = -5*t. Suppose 0 = 11*q - t + 13. Suppose -1 = 5*z - 2*k, -q*z + 5*k = -z - 7. Do -2/19 and z have the same value?
False
Let a = 218 + -152. Suppose -5*f - 4*l - a = 0, -l - l + 2 = -f. Let t be ((15/(-10))/(2/4))/(-2). Is f less than t?
True
Suppose -f = -331 + 105. Let s = 375 - f. Is 149 > s?
False
Suppose -1670 = -8*i - 1870. Is -392/15 at most as big as i?
True
Let l(m) = -m**2. Let z be l(2). Let a(i) be the first derivative of -i**3/3 + 17*i**2/2 - 3*i + 1. Let j be a(17). Which is smaller: z or j?
z
Let z = -1/104 - -29/8424. Let x = z - -44/567. Let p = 88 + -88. Do x and p have the same value?
False
Let j = 3258 + -3230. Let d = 48921/10 - 30943/5. Let u = 1324 + d. Which is smaller: j or u?
u
Suppose 10*l = 9*l + 2. Let z be (0 + 1 - -1) + l/2. Let a be (z - (-44)/(-12))*-3. Is a at most as big as 0.9?
False
Let p be 2/(-4) - 5/(-6). Suppose -12*l - 244 = -100. Let d be 2*(-12)/(-6)*l/(-400). Which is greater: p or d?
p
Let g(x) = -4*x**2 - 13*x - 10. Let n be g(-8). Let z be (-2)/((-84)/n) + 6/42. Is z less than -1?
True
Let p = 3 + -2. Let a = -3075 - -1848. Let i = -1245 - a. Is p smaller than i?
False
Let u be (-1)/3 - (-17)/(-3). Suppose 21 = -4*g + 13. Let d be (-9*(-1)/27)/(g/18). Are u and d non-equal?
True
Let z(y) = -y**3 - y. Let x be z(1). Let q be x*((-35)/14 + 3). Let s(i) = -i**2 + i + 2. Let v be s(-2). Which is bigger: v or q?
q
Suppose 4*i = -2*z + 9*i, 0 = -4*z - 3*i. Is z less than -14/57?
False
Let u(z) = 9*z - 6. Let h be u(7). Let x = -52 + h. Which is smaller: 6 or x?
x
Let l be (244541/(-91509))/((-1)/3). Are l and 7 equal?
False
Let w(r) = r + 1. Let y(f) = -2*f - 1. Let u(p) = -2*w(p) + y(p). Let s be u(-4). Let d = 16 + s. Are d and 30 u