 + v. Let q be k - (-5 - (2 + -6)). Which is smaller: -2 or q?
q
Suppose 4*v + 5*q - 43 = 2*v, -4*v = 5*q - 91. Let h = v - 6. Let z = h + -18. Which is bigger: z or 1/71?
1/71
Let p = -1733 + 1730.977. Let t = 0.555 + -0.532. Let s = t + p. Which is bigger: 5/12 or s?
5/12
Let m = -30 - -24. Let y be (5/10)/(0 - m/(-24)). Which is smaller: 7 or y?
y
Let c = -858/7 - -3218/21. Which is greater: c or 30?
c
Let x = 2/60537 - -60529/242148. Which is smaller: 17987 or x?
x
Let z = 0.1 + -0.3. Let j = -157513407643/1530 - -102949946. Let p = 108/17 - j. Which is smaller: z or p?
z
Suppose 0 = -z + 1, 2*v - 768 + 505 = -5*z. Is v bigger than 115?
True
Let r = -14597 - -14552.068. Let o = r - 0.068. Let c = o + 33. Do c and 3 have the same value?
False
Let m = 1116 + -1116.2. Let v(l) = l**3 - 2*l. Let w be v(-2). Is w <= m?
True
Let j(m) = -m**2 - 4*m - 12. Let n(u) = -u**2 + 22*u - 46. Let h be n(20). Let a be j(h). Let o be ((-20)/30)/((-1)/a). Which is smaller: -29/2 or o?
o
Let j be (-8)/(5*(-1)/(5/2)). Let m be ((-10)/j)/(5/(-4)). Suppose 0 = m*b - 4*c + 12, -c = b - 4*b - 3. Which is greater: b or 2/105?
2/105
Let t be 0 + 1 + 62/(-22). Let s(q) = 6*q + 48. Suppose 15*x = x - 112. Let f be s(x). Is t greater than f?
False
Let y = -24 - -14. Suppose 4*x = -5*o - 41, 0 = 1028*x - 1030*x + 5*o - 43. Are y and x equal?
False
Let t be ((-24)/(-9))/(4/6). Suppose 4*u = -4*f + 8*u + 612, -4*u = -t. Which is greater: 153 or f?
f
Suppose -1769*w + 1798*w + 209206 = 0. Are -7214 and w nonequal?
False
Let p be (-2 - 0) + (-9)/(-1). Let n be -13 - (-5 - 243/18). Which is greater: n or p?
p
Let c = 5.5153 - 0.0153. Let d = 34 - 27.5. Let b = c - d. Does 1.3 = b?
False
Let u = 2941 - 2940. Is -4/1921 <= u?
True
Suppose 1 + 35 = 3*p. Let z be (4/p)/((-1)/(-12)). Let t be (18/2826)/(2/z). Is t less than or equal to 0?
False
Let i = -0.065 + -74.935. Let q = 77 + i. Is q at least -2.8?
True
Let t be (-5)/(360/93294) - (1 - (-3)/(-4)). Is t less than or equal to -3892/3?
False
Suppose -38*w + 1476 = -2135 - 1253. Are w and 128 unequal?
False
Let n be (1 - 1)/(4/2). Suppose 0 = m + 4, n*w + 5*w + 8 = -2*m. Let k be ((-350)/(-270))/(7140/2295). Is w smaller than k?
True
Let h(p) = -p - 18. Let n be h(0). Let d = 22 + n. Let v(i) = 3*i + 10. Let r be v(d). Which is smaller: 21 or r?
21
Suppose -u + 4*u + 6 = 0, 0 = n + 3*u - 123. Suppose 2*w = s + 2*s + 111, -3*w = 3*s - n. Let y = -22 + w. Is y greater than 26?
False
Let l(d) = -710*d - 2557. Let w be l(-12). Which is smaller: w or 5964?
w
Suppose -g - g + 20 = 0. Let b be (195/(-25))/((-2)/g). Suppose 72 = 2*q + 4*h, -5*q + 270 = -4*h + 62. Is q <= b?
False
Let z = -433/4 - -108. Let v = -3/20 + z. Let j = 1469/2628 - 1/292. Is v < j?
True
Let h = 316601915322/211 + -1500480115. Let d = -2896 + h. Let r = d - 279/14348. Is 0 > r?
True
Let h = -26.14 - -28. Let u = h + -1.96. Is u at least as big as -34?
True
Let b(f) = 17*f + 1394. Let w be b(-53). Which is greater: 479 or w?
w
Suppose 2*z + 9 - 15 = 0. Let p be z - 3/((-27)/(-18)). Are 1/442 and p unequal?
True
Let f = -0.01 + -0.09. Let n = 42.1 + -177.1. Is f at least as big as n?
True
Let t = -623083 + 4369219/7. Which is smaller: 1090 or t?
1090
Suppose g = -4*g + 1260. Let m = g + -223. Which is smaller: 28 or m?
28
Let i = 685.2 - 777.1. Are -1/3 and i nonequal?
True
Let w(q) = -q**3 - 31*q**2 + 31*q - 24. Let z be w(-32). Let h be ((-7)/(-42))/((-3)/z). Which is greater: -1 or h?
h
Let d be 39/((35/(-1848))/5). Let u = d + 40957/4. Which is bigger: -2/3 or u?
-2/3
Let z(y) = -236*y + 4722. Let t be z(20). Which is smaller: 4665 or t?
t
Let z be ((-1238)/7428)/((-9)/(-4) - 1). Which is bigger: -26 or z?
z
Let c(x) = 3*x + 78. Suppose 14*f = -163 - 187. Let o be c(f). Let a be 1 - (5/3 + -1). Do o and a have different values?
True
Let f be (-33*5/(-45) + -5)*-3. Let u be 2/20*-4 + -4 + f. Is -0.1 smaller than u?
False
Let b = -0.134 - 52.866. Let h = -257195 - -257192. Is b equal to h?
False
Let m = -61 - -56. Let c = 7325/9 + -819. Is m at most as big as c?
False
Let u = 102 - -131. Let f = u + -244. Are 0.3 and f equal?
False
Suppose -2*s + 1 = 1. Suppose 0 = -3*f - s*f + 27. Suppose -b = -k - 5, -2*k - 3*b + 4*b - f = 0. Is -4 < k?
False
Let v = -0.09248 + -1.70752. Which is smaller: -1/694 or v?
v
Let v(u) = -3*u + 16. Let f be v(-9). Let s(j) = -j**3 + 32*j**2 - 68*j - 17. Let h be s(32). Let w be (0 + 2)/((-102)/h). Is w < f?
False
Let m = 18 + -18.2. Let w be (-94)/3*3/301. Let c = w + -5/43. Which is greater: m or c?
m
Let b = 12642 + -12642.43. Is b equal to -96?
False
Let d = 16790/1441 - 128/11. Is 0.04 < d?
False
Let o(l) = -l**3 - 36*l**2 + 72*l - 285. Let p be o(-38). Is -220 bigger than p?
False
Suppose 0 = -4*w - 0*n + 3*n - 283, 0 = -n + 1. Let s = -187247 + 187178. Is s at least as big as w?
True
Let x = -1685703/7 + 240219. Let o = -596 - x. Which is smaller: -4/13 or o?
-4/13
Let r = 0.00518 + 0.29482. Is 1451 bigger than r?
True
Let p = 1142.9 - 1138.6. Are 2/9 and p equal?
False
Let d(b) = 8*b**2 - 31*b - 17. Let x(c) = -c**2 - 2*c + 1. Let i(z) = -d(z) - 6*x(z). Let n be i(17). Which is bigger: n or 165?
165
Let n = -1.021 - -435.021. Let d = n - 417. Which is bigger: -12 or d?
d
Suppose 8*a + 3*a = -1364. Let t = 150 + a. Which is bigger: 29 or t?
29
Let f(m) = -2*m**3 + 69*m**2 + 11*m - 1528. Let d be f(34). Let i = 0.95 + -39.95. Which is bigger: i or d?
d
Let f = -12975 + 12762. Which is smaller: f or -2346/11?
-2346/11
Let p(b) = 7*b**2 - 2*b. Let s(t) = -t**2 + 6*t + 6. Let y be s(7). Let c be 9/3*y - -4. Let h be p(c). Is -1 equal to h?
False
Suppose -q - 3477 = -62*q. Do q and 7 have the same value?
False
Let b = 20.0468 + -0.0468. Let j = 82 + b. Is 1 != j?
True
Let o = -169 + 155. Let w be 5*(2/(-6))/(o/42). Which is smaller: w or 8?
w
Suppose 28*i = 32*i - 1600. Suppose 24*w - 14*w + i = 0. Let x(v) = v**3 + 5*v**2 + 6*v + 6. Let p be x(-4). Which is smaller: w or p?
w
Let h = 11624920/5263 + -28/26315. Is h at least as big as 2209?
False
Suppose 0*k = 5*j - k + 135, -3*k = -5*j - 135. Let r = j - -27. Let t = 3328/6061 + -2/551. Is r less than t?
True
Suppose 0 = t + h - 183, -140 - 201 = -2*t + 3*h. Suppose t + 39 = 7*z. Is z < 30?
False
Let f be (-3 - -4)*(0 - -15). Suppose -11*a + 4 = -f*a. Let n be -6 - (-261)/45 - (-392)/10. Is n greater than a?
True
Let a = 112 - 112. Suppose 182 = -2*k - 3*l, 0 = -3*l - a*l. Which is greater: k or -92?
k
Let k = -62 + 65. Suppose 0 = k*b - c - 452 + 124, 3*c - 237 = -2*b. Do 110 and b have different values?
True
Let u(o) = o - 1. Let p be u(23). Let x be (-10)/(-88)*172*(-6)/(-5). Are p and x equal?
False
Let m = 4328 - 4328.02. Do -25 and m have the same value?
False
Suppose -5*t + 5 + 12 = o, 5 = 4*o - t. Let p = 589 - 585. Suppose -6 = o*d, -d - p = -3*c + 4*c. Which is greater: -0.04 or c?
-0.04
Let k(p) = p**2 + 6*p - 29. Let j be -5 + 10 + -12 + (-2 - 0). Let y be k(j). Let i be ((216/15)/(-6))/((-1)/(-5)). Which is smaller: i or y?
i
Suppose -2*w = 2*w. Let t(a) = a**2 - 16. Let z be t(4). Let l be w/(1 - z/(-3)) + 0. Is 1/45 less than l?
False
Let i(l) = l**3 + 9*l**2 + 6*l + 5. Let c be i(-8). Let s be (-3)/42*-10 + 6/c. Which is bigger: 1/96 or s?
s
Let t be 511/18 - 24/(-216). Is t greater than -1/8?
True
Let g(z) = -z**3 - 16*z**2 - 41*z + 155. Let m be g(-7). Let x = -657 + 135345/206. Which is smaller: m or x?
x
Let l(x) = -45*x - 6. Suppose -3*j - 2*z - 12 = 0, -2*z = 5*j - 4*j. Let q be l(j). Suppose q = -10*f + 2*f. Which is bigger: -35 or f?
f
Let p = 704 - 451. Let n = -134 + p. Let b = n - 118.76. Is b != 1?
True
Let i = 69 + -61. Let t(w) = 5*w - 10*w + 11 + i*w. Let z be t(-8). Is -13 smaller than z?
False
Let r(f) = f + 19. Let v be r(-36). Let y(w) = -w**2 - 6*w + 10. Let q be y(-9). Let p = q - v. Is 6 != p?
True
Let a = 0.21 - 1.06. Let k = a + 0.75. Is k less than -0.1?
False
Suppose -3*p - 745 = -4*y - 141, 2*y - 282 = -p. Which is bigger: y or 172?
172
Suppose 18*q + 5*q + 109 = 132. Which is smaller: q or 2/35989?
2/35989
Let h = 46 + -100. Let y = 89 + h. Suppose -s - 12 = -y. Is 21 less than or equal to s?
True
Let m be 1/((-6)/4 + 86/20). Let y be 0 - (-282)/(-280) - 60/(-80). Let f = m + y. Which is bigger: -7 or f?
f
Let p = 23316 - 24453. Is