7159/56. Which is smaller: v or a?
v
Let z be 5*(-3 + -40*1). Let h = 1721/8 + z. Which is greater: h or -13?
h
Let y = 2.107 - 0.107. Let d(p) = -5*p - 129. Let x be d(-27). Does x = y?
False
Let v = -3.0884 + 3.4884. Is -7/12 bigger than v?
False
Let t be 27526/192976 - (6150/175 - 35). Is t > 1?
False
Let o(y) = -4*y**2 + 4*y + 4. Let s(k) = 5*k**2 - 5*k - 5. Let c(l) = 3*o(l) + 2*s(l). Let x be c(2). Suppose 4*w + 0 = 34*w - 0. Which is greater: x or w?
w
Let u(f) = -5*f**3 + 2*f**2 - 2*f - 1. Let j be u(1). Let t be 5/((-20)/j) - 6/4. Is t smaller than 22?
True
Suppose -26*o + 4876 = -3*o. Suppose 2*v - 3*p - 114 = 0, -4*v = 3*p - p - o. Is 53 equal to v?
False
Let a = 105094 - 771705240/7343. Is a smaller than -1?
False
Let g = 4174.03826 - 4174. Is 1 < g?
False
Let g = 858 - 858.1. Is g at least as big as 3844?
False
Let g(n) = -4*n**2. Let f(r) = -42*r**2 - r + 5. Let s(i) = -f(i) + 3*g(i). Let q be s(1). Are q and -2/5 equal?
False
Suppose 0 = 3*p - 96*b + 97*b - 267, 453 = 5*p - b. Which is bigger: p or -6?
p
Let s = -4065 + 4225. Which is smaller: s or -12?
-12
Suppose -18*g + 24*g + 35473 = 25*g. Is g > 1?
True
Let d be ((2925/10)/(-5))/(9/(-6)). Is 2.8 at least d?
False
Let b be (-10)/(-16)*(-2)/(-5). Suppose -8*t + 13*t + 175 = 0. Let x = -34 - t. Is x less than b?
False
Let d(m) = -m**3 + 7*m**2 + 11*m + 1. Let x = -65 + 74. Let f be d(x). Do 2/7 and f have the same value?
False
Let i be ((-33)/(-225))/(4 - 50/12). Let t = 96/175 - i. Let s = 0.2 - 1.2. Which is bigger: t or s?
t
Let m(d) = -4*d + 15. Let s be m(-17). Suppose -2*r + s = 53. Suppose 2*b = 4*a - 62, 2*b + 7 = -2*a + 29. Which is smaller: a or r?
a
Let p = 930 + -985. Which is smaller: p or 2?
p
Let a be (-2 - (-66)/34)*24/276. Suppose 6 = -6*o + 12. Which is smaller: a or o?
a
Suppose -3*d = 5*n - 19, -2*d = 2 + 2. Suppose 0 = 3*j + n*x - 96 + 629, -5*x = 5. Does j = -177?
False
Suppose -27*t = 2*y - 22*t - 72, -3*y + 4*t = -108. Let c(v) = 4*v**2 - 2*v + 1. Let r be c(1). Suppose 0 = -7*q + r*q + y. Which is greater: 8 or q?
q
Let u(h) = -27*h - 1339. Let s be u(-49). Do -32 and s have different values?
True
Let t = -44 - -36. Let z be (1/(-1))/(5 + t + 4). Which is bigger: z or -2/227?
-2/227
Let m = 76 - 72. Suppose 4*a = 5*i + 6, m*i - 24 = -a - 3*a. Suppose a*b + 3 = -1, 4*b = 3*k - 1. Which is smaller: 0.07 or k?
k
Let z = 1.7 + -3.1. Let q = -2.9 - z. Let u = q + 1.8. Which is greater: u or 3?
3
Let l = -933 + 945.06. Let q = l - 12. Let y = 346 + -1727/5. Are y and q equal?
False
Let h be 3*((-5)/(-15) - (-19)/(-63)). Do h and 19/4 have different values?
True
Let s = -221 - -221. Suppose 7*g + 11*g - 1224 = s. Which is bigger: 69 or g?
69
Let f(v) = -53*v**2 + 2*v + 2. Let m be f(2). Let k = 803/4 + m. Let p = -21 - -20. Which is greater: k or p?
p
Let q = -5 - -0.6. Let c = q - 2.6. Let g = c + 6.91. Which is bigger: -0.2 or g?
g
Suppose 20*s - 16*s + 3*l - 49 = 0, 0 = -4*s - 2*l + 46. Does 133 = s?
False
Suppose 0 = -4*c + 7 + 1, -2*u = -5*c + 40. Let x be 8/(-20) - 201/u. Is x greater than or equal to 8?
True
Let c(l) = 26*l**3 + l**2 - l. Let z be c(1). Let p = z + 7. Suppose 0 = 3*f - 99 - 3. Which is bigger: f or p?
f
Suppose g - 32 = -24. Suppose -4*n - 8 = g, 171 = -v - 2*n. Is -163 < v?
False
Suppose -8*q - 647799 = 398001. Let p be 1/2*(-21)/(q/(-30)). Is p at least as big as -1/2?
True
Suppose -2*q + 231 = 231. Which is bigger: q or -2/1253?
q
Let a(l) = 36*l + 43. Let h be a(-6). Let p be 17/(-51) - h/(-3). Is p at most -58?
True
Suppose 6*l - 47 - 1093 = 0. Which is smaller: 184 or l?
184
Let w = 1566719/145 - 10805. Which is greater: 0 or w?
0
Let f = -2018 - -2162. Is f less than or equal to -2/7?
False
Suppose -2*d = -8, 5*y + 2*d = -2*d + 151. Let q = 15 - y. Which is bigger: q or -8?
-8
Let q = 14682 + 2682. Is q equal to 17364?
True
Suppose 0 = -5*l - 2*z + 7 - 5, -z - 8 = -2*l. Suppose 2*p = -4, -l*j + 4*p - 2*p + 22 = 0. Suppose 24 = -j*v + 5*v. Are v and -0.2 non-equal?
True
Let c = -12144/5 + 32072319/13205. Is c greater than or equal to 0?
True
Let c(z) be the third derivative of z**6/60 + 2*z**5/5 + 2*z**4/3 - 31*z**3/6 - 208*z**2. Let t be c(-11). Which is smaller: 11 or t?
11
Suppose -485*i = -671*i - 3348. Let j be ((-4)/(-6))/(2/2). Is j at most i?
False
Let p(t) = 5*t - 5 - 31*t**2 + 30*t**2 + 6*t. Let q be p(3). Suppose -q*j + 24 = -15*j. Is 0 greater than j?
False
Let t be (1 - (-26)/(-8))*15/(-5). Let j = 67 - 66.7. Is t less than or equal to j?
False
Let z(g) = -2*g**2 - 21*g - 10. Let a = -129 - -119. Let w be z(a). Suppose 17 = f - 5*d + 2*d, -5*d - 20 = w. Is f less than or equal to 2?
False
Suppose -138*b + 3*j + 19 = -137*b, 5*b = -5*j - 25. Is b <= 11/464?
False
Let m be 15/(-9)*24/(-20). Suppose 8*h - 13*h = 0. Suppose 5*v - d = 3, 2*v - 2*d + d = h. Which is smaller: m or v?
v
Let x = -310859 - -310860. Let z = 815 + -814.387. Is z <= x?
True
Let p = -13961 + 684134/49. Is 0 at most p?
True
Let c(j) be the first derivative of -j**3/3 - 8*j**2 - 26*j + 1. Let d be (8*125/(-300))/((-1)/(-9)*3). Let w be c(d). Which is smaller: 32 or w?
32
Let n = 4 - 3.9. Suppose 4*f - 3*o = 889, -1145 = -5*f - 44*o + 41*o. Which is bigger: f or n?
f
Let k = 316986 + -4194675740/13233. Which is greater: 1 or k?
1
Let x = -109 + 121. Suppose 4*n + 4*q - 24 - x = 0, 4*n = 4*q + 44. Suppose -9 = -n*j - 9. Which is bigger: 13 or j?
13
Let f = 539 - 541. Does 149/8 = f?
False
Let i be (15/10)/((-6)/504). Let n be (i/735)/(6/(-10)). Is n less than -37?
False
Let b be 10*16/200*-5. Which is smaller: b or -33?
-33
Let u = 973.45 - 1013.407. Let f = -0.043 + u. Let x = -34 - f. Which is bigger: -1 or x?
x
Let i = -13/23 + -63/92. Let s = -14 + 156. Suppose -143*w = -s*w. Which is greater: w or i?
w
Let c = -2.9 - 1.3. Let b = c - -16.2. Let z = -3 - b. Is z at least as big as 1?
False
Let l be -6 - -9 - 3 - (-420)/(-7). Is l greater than -62?
True
Let h be (30/(-2))/(6/(-4)). Suppose 11*m - 16*m = 5. Let f(n) = -7*n + 2. Let v be f(m). Is h smaller than v?
False
Let p = 250 + 394. Let q = p - 635. Which is bigger: q or 0.3?
q
Let o = -228 - -418. Let d = o - 190. Let w be (6/(-9))/((-58)/(-15)). Is w at least as big as d?
False
Suppose -50*r - 58*r - 489 = -111*r. Let q(f) = -83*f - 3. Let s be q(-2). Is r <= s?
True
Let t(s) = s**2 - 13*s + 10. Let d be t(15). Let j be ((-297)/(-6))/9 + 4/(-8). Suppose -j*f + 30 = -d. Is f > 13?
True
Let b be (-3)/(13 + -1)*-4. Suppose -28*r = -21*r - 14. Let d be 50/2175*(-3)/r. Is b not equal to d?
True
Let f = 23 - 22.9. Let b = f + -0.2. Which is bigger: -1.92 or b?
b
Let l be -2 + 3 - (-1)/(-1). Suppose -2*m - 2*k + 314 = 0, l = -5*m - 0*m - k + 777. Which is smaller: m or -2/5?
-2/5
Let f = 21 + -16. Suppose -2*v = -5*k - 19, 2*v - f*v - k + 3 = 0. Suppose u = v*g + 1 - 2, -5*u = 2*g + 5. Which is smaller: -17 or u?
-17
Let h = -99 + 29. Let k = -57 - h. Suppose -3 + k = -5*f. Which is bigger: f or 2?
2
Let n(p) = 146*p**2 + 31*p + 59. Let i be n(-2). Let h = i - 580. Which is smaller: h or 1/117?
1/117
Let f(r) = r**2 + 6*r - 14. Let v be f(-8). Suppose -3 = -u - v*u. Suppose -u - 4 = z + 4*t, 5*z - 5*t - 25 = 0. Are z and 3 nonequal?
False
Let b = 11 + -5. Suppose b*k = 2*k. Suppose k = -2*q + 10, 2*y + 2*q - 8 = -0*y. Which is bigger: y or -4?
y
Let l be 6 - 10 - (2 + (-3 - -5))*-1. Are 3/302 and l non-equal?
True
Let n(k) = -k**3 + 4*k**2 + 8*k + 4. Let r be n(-1). Is r equal to 1466?
False
Let i be (-1030)/(-530) + (0 - (-2 - -1))*-2. Is 1 at most i?
False
Let o be 3/(-15) - (3/(-15) + 0). Suppose 5*j - 9*j + 12 = o. Suppose 2*c - 5 = 5*a, -4*c - 6*a - 29 = -j*a. Is c equal to -5?
True
Let f = -2.8355 - -2.5355. Do 48/133 and f have different values?
True
Let s = -23 - -43. Suppose a - 5*z + 69 = -0*z, -s = -5*z. Which is greater: -48 or a?
-48
Let b(v) = -3*v + 77. Let n be b(26). Let t be (4/(-6) - n)/(58/(-11658)). Is -273/4 greater than t?
False
Let u(k) = 2*k**2 + 18*k - 440. Let a be u(11). Do a and 2/3069 have different values?
True
Suppose 450 = -16*r + 7*r. Let a be 2/(-2) + ((-3)/(-1) - r). Let n = a - 44. Which is smaller: 23/3 or n?
23/3
Let f(g) = -3*g**3 + 19*g**2 - g - 15. Let a(l) = 7*l**2 - 2*l + 2. Let x be a(1). Let s be f(x). Which is smaller: s or -118?
s
Let q = 28262.88