to w?
True
Let i = 968 + -1074. Is i equal to -110?
False
Suppose 45*r - 35*r = -310. Suppose 2*z + 74 = 3*b, 5*b + 17 = -4*z - 87. Do z and r have the same value?
True
Let b be 296/(-40) - 2/(-10). Let o(r) = -60*r - 667. Let g be o(-11). Which is greater: b or g?
g
Let f(z) = z**3 + 6*z**2 + 3*z + 19. Let k be f(-6). Which is smaller: k or 0?
0
Suppose 3*n + l - 4*l = -3, -n - 1 = 3*l. Let c = n - -17. Is c at most as big as 14?
False
Let k(x) be the third derivative of -x**4/6 - 5*x**3/6 - 2*x**2. Let q be k(-2). Let a be q/(-12)*12/(-3). Is 0.06 equal to a?
False
Suppose 4*u + 85 = -t, 2*t - 5 = 1. Which is bigger: -103/5 or u?
-103/5
Let z(k) = -2 + 5 + 0 - 6 - k. Let h be z(2). Suppose -9 = -v + 4*v. Is v less than h?
False
Let o = 29 + -29. Which is smaller: 3/509 or o?
o
Let b = -57 + 57.018. Let g = b + -5.018. Which is smaller: g or 0.3?
g
Suppose 5*u + 0*m - 3*m - 33 = 0, 2*u + m = 11. Suppose -2*v - 39 = -5*x, -v = 2*x + 1 - 13. Is x at least u?
True
Let k be (0/(-2))/(2 - 4). Let b be ((-3)/65)/(-3)*-6. Which is greater: b or k?
k
Suppose 0 = 2*j + 2*s - 202, 23*s = 20*s + 3. Is j greater than or equal to -0.6?
True
Let o = -4 - -2. Suppose 19 = 2*a - 4*c - 5, 0 = 2*a + 5*c + 12. Let w be 8/((-44)/6 + a). Which is bigger: o or w?
o
Let z = -131 - -115. Is -22 bigger than z?
False
Let y = 103.8 + -103.752. Is y at least as big as 0.07?
False
Let z = 49.6 - 3.6. Let l = 44.8 - z. Is l > -1?
False
Let p be (0 + 2)/(-4 + 414/99). Which is smaller: 59/5 or p?
p
Let m = 134 + -139. Let w(x) = 2*x**2 - 9*x - 1. Let o(z) = z**2 - 8*z - 1. Let i(q) = 3*o(q) - 2*w(q). Let r be i(m). Is 4/3 != r?
True
Let b be 2/(1/((-9)/6)). Let z = 2663/6 - 447. Do z and b have different values?
True
Let k = 74 + -112. Let v = 38.04 + k. Let r be 2/12*12/(-8). Is v less than r?
False
Suppose -3*h - 14 = 5*a + 33, 5*a = 4*h - 54. Let g(s) = s**2 + 11*s + 7. Let u be g(a). Which is smaller: -10 or u?
-10
Let o(j) = j**3 - 9*j**2 - 23*j + 15. Let x be o(11). Suppose -3*y = 2*l + 9, -11 - 9 = x*y. Which is bigger: l or -4?
l
Let y be (-80)/15*(-27)/6. Suppose 5*l = 9*l - 100. Is y > l?
False
Suppose -92*k = -98*k + 6. Which is greater: 6/247 or k?
k
Let x(l) = l**2 - l + 1. Let q be x(-12). Let u = q + -639/4. Which is bigger: -3 or u?
u
Suppose -q + 5 = -0*q. Suppose -57 = q*w - 2*f - 6, -2*w + 5*f - 33 = 0. Let t be (6/w)/(2/3). Which is greater: t or -3?
t
Let c(g) = -29*g - 30. Let w be c(-1). Is -2/3 at most as big as w?
False
Let r = 35 + -33. Suppose -4*o - 14 = -r*o. Which is greater: -8 or o?
o
Suppose 18*l = -4*g + 15*l - 10, 4*g = 2*l. Is g > 15/11?
False
Let x be 80/1045 - 2/11. Let u(g) = -g**3 + 12*g**2 - 11*g - 2. Let o be u(11). Let k be (0 - o)*(-3)/6. Which is greater: k or x?
x
Suppose 0*a + 35*a = -2415. Is a greater than -67?
False
Let t(k) = -2*k**2 + 12*k + 14. Let b be t(6). Which is smaller: -2/5 or b?
-2/5
Let o = 264 - 265. Is -1/271 smaller than o?
False
Let o = -90 - -91. Let p = -75 - -43. Which is bigger: o or p?
o
Let v(h) be the third derivative of h**4/24 + 5*h**3/6 + 8*h**2. Let i be v(-7). Is -0.7 less than or equal to i?
False
Suppose 6*x + 5*b = 5*x - 137, b = -5. Is x at least -110?
False
Suppose 4*m - 2*m + 4*b - 296 = 0, -m + 3*b = -168. Let j be (-1)/2 - (-870)/m. Let n = 200/39 - j. Is n greater than or equal to 1?
False
Let y be -3 - (14/(-6))/(7/21). Do 8/3 and y have different values?
True
Let v = -672536/3285 - 53/1095. Let l(g) = -g**3 - 14*g**2 - 14*g + 4. Let y be l(-11). Let h = y - v. Is 1/4 smaller than h?
False
Let z be -1*(-4)/((-4)/(-4)). Suppose -z*n + 8 = -0*n. Suppose 0 = 2*r - 0 - n. Which is bigger: r or 2?
2
Let l = -1 + 3. Let c = l + 3. Suppose 0 = 31*a - 169 + 14. Do c and a have different values?
False
Let o = -1.5 + 3.4. Let v = -0.9 + o. Let m be 10/24 + (-1)/(-4). Are m and v equal?
False
Let u(c) = c**3 - 9*c**2 - c + 8. Let p be u(9). Let j be (p + 4 + -5)/(-30). Let q = 2/15 + j. Is q at least -1/4?
True
Let g(d) = -d**3 + 23*d**2 + 11*d + 314. Let q be g(24). Let t be (-6)/14*7/(-2). Are q and t equal?
False
Let h be 51/(-340)*(-20)/(-15). Which is greater: h or 110?
110
Let l be 3 - (-4)/(-7) - 1. Let z = 16 + -13. Suppose 0 = 3*t + 5*i - 1, -z*t - 3*i + 1 = -2. Which is bigger: l or t?
t
Let q be (82/5 - 0)/((-2)/(-5)). Which is smaller: 23 or q?
23
Suppose -d - 2 = -4*k, 2*k - 6*k = d - 6. Let w be ((d - 0) + -1)*0. Suppose 2*g - 14 = -w*g. Is 7 equal to g?
True
Let h be (-1902)/(-26) - (-30)/(-195). Let k = 589/8 - h. Which is smaller: k or 0?
0
Let l(u) = -u + 5. Let i be l(6). Let h = -256/165 - -20/11. Are h and i nonequal?
True
Let s = -768874/75725 - 2/5825. Do s and -9 have the same value?
False
Suppose -14*r + 9 = -23*r. Which is smaller: 2/651 or r?
r
Let b = 174.919 + -175. Is 6 < b?
False
Let r = 56/127 - 5358/9271. Is r bigger than 0?
False
Let z = -66 - 11. Let t = 232/3 + z. Is 0 at least t?
False
Let z(b) be the third derivative of b**4/8 + 7*b**3/6 - 2*b**2. Let d be z(0). Is 7 smaller than d?
False
Let u = -2727 - -2733. Which is smaller: u or -128?
-128
Let u = -564149/79 - -7141. Which is smaller: -1 or u?
-1
Let y = -1463/12 - -122. Let d(x) = -x + 4. Let h be d(-3). Let q = -6 + h. Is q at most as big as y?
False
Let n(f) = f**2 - 7*f + 6. Let i be n(6). Suppose j - 2 + 7 = i. Suppose -4*v - 7 = -k, -3*k - 16 = 4*v + 11. Is k smaller than j?
False
Let o be -3 - (((-35436)/3546)/2 + 2). Which is bigger: o or -1?
o
Suppose -a = 2 + 6. Let c be 1*(a/(-2) - 17). Which is smaller: c or -1/3?
c
Let o be (1 + 14/(-8))/((-819)/312). Is o at least 2/689?
True
Let i be (3/2)/((-18)/13944). Is i <= -1161?
True
Let q = 0.14 - -0.56. Let f = 92 + -91.8. Let z = f + q. Which is bigger: z or -2/5?
z
Let w(k) = -419*k - 2095. Let b be w(-5). Let r be 1/4*(-4)/81. Which is greater: r or b?
b
Let d = 348 - 243. Let u = 47 + -11. Let k be (6/(-15))/(u/d). Is k at most -1?
True
Let o(s) = -s + 4. Let t be o(3). Let n = -25 - -30. Suppose -n*p - 16 = -x, -5*p - 6 = -3*p. Is x at least t?
True
Let p be ((-5)/3 - (-464)/3)/(-1). Is p at least as big as -153?
True
Let l(x) = 4*x**2 + 2*x - 2. Let p be l(1). Suppose p*k - 15*k - 572 = 0. Is k less than or equal to -51?
True
Let p = 5.81 + -3.81. Let s = -14 + 15.02. Let a = -1 + s. Which is smaller: p or a?
a
Let c(i) = i**3 - 3*i**2 - 13*i - 6. Let t be c(6). Let m(z) = z**2 - 24*z. Let x be m(t). Is x <= 2/209?
True
Let r = 843 + -842. Is 4/299 < r?
True
Let i(x) = x**3 - 28*x**2 - 93*x - 47. Let b be i(31). Is b not equal to -24?
True
Suppose -3*h = -2*n + 73, -12*h = -5*n - 7*h + 185. Are n and 36 non-equal?
True
Let q be 0 - 1 - (5 - 23/4). Is q smaller than -304?
False
Let n = -3 - -11. Let j = n - 0. Suppose j*u - 2 = 6*u. Is u less than 2/9?
False
Let i = -0.41 + 53.41. Let d = -0.301 + 1.301. Is d > i?
False
Let v be 6/15 + (-24)/110. Let i = 1923 + -1923.4. Is i smaller than v?
True
Let k = 4.3 + -19.1. Which is smaller: k or 0.3?
k
Let q = -1.574 + 0.574. Let a be 7/((-105)/54)*-5. Is q < a?
True
Let i = 2506 + -1756. Let n be (-238)/i + (-3 - (-80)/24). Which is bigger: n or 0?
n
Let k be (-46)/1*18/(-4). Let p be 0 + (-2 - k/(-120)). Let d = p + 2/5. Is d at most 1?
True
Suppose d + 180 - 181 = 0. Is d equal to -2/97?
False
Let x = -127 - -127. Let g(b) = b**2 + b + 1. Let o be g(x). Which is bigger: o or 1/59?
o
Let h = -5 - -5. Let m(d) = 3*d**2 + 13*d + 9. Let i be m(-6). Which is bigger: h or i?
i
Let f(s) = 6*s**2 + 24*s + 3. Let m be f(-6). Do 75 and m have the same value?
True
Suppose 0*z + 5*n = -3*z + 36, 5*n = z - 32. Let r = 482 - 464. Which is greater: z or r?
r
Let x be 1*4 + -62*(-2)/(-4). Suppose -17*g + 22*g + 135 = 0. Is g < x?
False
Let v be (-1)/(-20)*4 - (-14)/30. Suppose 0 = 9*f - 5*f. Which is bigger: f or v?
v
Let y = -41 - -49. Suppose 13*w - 15 = y*w. Are w and 1 non-equal?
True
Let k be -1 + -2 - 5766/(-1932). Let o = -2/23 - k. Is o greater than or equal to -0.2?
True
Let j = -14 + 2. Let z = -129.2 + 117. Let a = z - j. Is 1 at most a?
False
Let o be 138/24 + -5 - 8. Which is bigger: -8 or o?
o
Let r = 7 - 19. Let f be r/(2 - (-31)/(-20)). Let y = f - -26. Which is bigger: y or -5?
y
Let a(y) = -y**3 + 4*y**2 + 4*y + 4. Let h(w) = -2*w - 6. Let o be h(-6). Let g be a(o). Let z be -1 - (2 - (-13