ss than 116?
True
Let n be 536/1 + -3 + 3/(-3). Let l be (4/(-14))/(3/5652). Let q = n + l. Which is greater: -5 or q?
-5
Let n be (-230)/(-35) + 4/(-7). Let o be ((-12)/(0 - 4))/(n/10). Suppose o*w = i, i - 2*w - 7 + 4 = 0. Which is bigger: i or 45/7?
45/7
Let c = -0.08721 - -5.08721. Let f = 19.8 + -1.8. Which is greater: f or c?
f
Let f(t) = -66*t - 6013. Let r be f(-91). Which is smaller: 274 or r?
r
Let d(p) = 2*p - 75. Let f be d(14). Let g be (-3 + -13)*(-7 + 10). Is f > g?
True
Let u(m) = 11*m + 20. Let k = 38 + -43. Let f be u(k). Let l be f/(-21) + (-10)/6. Which is greater: l or 2/41?
2/41
Let f(u) = -4835*u + 397. Let b be f(1). Which is smaller: -4437 or b?
b
Let c be ((-6)/(-9) - 2)*21/(-2). Let o(j) = -j**2 + 20*j + 17. Let a be o(c). Let x = a + -103. Which is bigger: -15/7 or x?
x
Let v be ((-270)/7920)/((-2)/152). Which is smaller: v or 4?
v
Let i = -9073 + 9067. Is i < 3/50?
True
Suppose -4*g + 406 = 2*h, 0 = -3*g - 2*g - h + 506. Let f be 12/(-16) - 407/(-4). Is g at most f?
True
Let f(z) = -2*z**2 - 18*z - 146. Let a be f(-14). Is -287 less than a?
True
Let r = 451 + -270. Let b = r - 182. Which is smaller: b or 2/81?
b
Let k = 250 - 470. Which is smaller: -222 or k?
-222
Let a = 11941 - 11107. Which is bigger: 10 or a?
a
Let p be 4 + (-130)/(-6) - 3. Let w(q) = 28*q + 5. Let v be w(-1). Let l = v + p. Is l < -0.1?
True
Let c = -1360 + 1486. Which is bigger: 505/4 or c?
505/4
Let c be (-1 - 1 - -1)*-1. Let v be c - (-5)/(50/(-5768)). Let d = 578 + v. Which is bigger: 3 or d?
3
Suppose 2*x + n = 29, 0 = -0*x + x + 3*n - 2. Suppose 15*h = 12*h + 15, 0 = -2*q - 3*h + x. Is 3/119 greater than q?
False
Let h = 147 + -142. Suppose 3*u = 4*c + 118, -2*c + h*u - 114 = 2*c. Let n be (2 - -6)/((-2)/8). Does n = c?
False
Suppose 5*b + 4*o - 7 - 1 = 0, b + 4*o = 8. Let v be 15/120*(1 - (-63)/(-61)). Let y = 205/9516 - v. Is y greater than b?
True
Let d = -165706/8931 - 3772/229. Which is smaller: d or -36?
-36
Suppose 114 + 14 = 8*a. Let u be 0 - a/(-4) - 4. Let f = -8245/9 + 917. Is f greater than or equal to u?
True
Let z be 1/((-3)/12)*(-12)/(-8)*-9. Do z and 37 have different values?
True
Let b be (56/42)/4*18/348. Which is smaller: -178/5 or b?
-178/5
Let y = 28377/13 - 2183. Let l(h) = h**3 - h**2. Let c be l(0). Is c greater than y?
True
Suppose 0 = 2*z - 5*w - 23, -3*z - 13*w + 18 = -15*w. Which is bigger: 35/33 or z?
z
Suppose -3*b - 64 = -5*p, -4*b - 2*p - 26 = 42. Is 18 at most as big as b?
False
Suppose 2*h = -10, 1133*z + 5*h = 1134*z + 94. Are -135 and z nonequal?
True
Let g be (1020/(-204))/((-10)/(-40892)). Which is greater: g or -1/3?
-1/3
Suppose 0 = -44853*z + 44828*z + 25. Which is smaller: 3/694 or z?
3/694
Let b(y) = 4*y - 6. Let d be b(3). Suppose 0 = -5*a + z + 405, 2*a + 323 = d*a - z. Let c = -84 + a. Is -8/13 < c?
False
Let x = -439073/60 + 7318. Is 1 >= x?
True
Let p be (100 + -112)*4/12*1. Suppose -10 + 75 = 5*d. Let b = -8 + d. Which is smaller: b or p?
p
Let g be (-24815)/210 + 1/6. Is g < 3?
True
Suppose 362 + 2027 = 4*g + 3*u, -3*g = -u - 1808. Which is greater: 7806/13 or g?
g
Let v(q) = -11 - 60 - q**2 + 6 + 32*q - 43. Let f be v(29). Do f and 2 have different values?
True
Suppose -3*v - 5*z + 3686 = 1365, 3920 = 5*v - 2*z. Let i = 2398/3 - v. Which is greater: 18 or i?
18
Suppose 7*p = 10*p + 2*j + 2, -3*j = -2*p + 3. Suppose 3*n - 28 = -3*v + 11, p = -5*n + 4*v + 29. Is 30 smaller than n?
False
Let t(v) = -43*v - 9. Let u(x) = x + 1. Let z(k) = t(k) + 5*u(k). Let g be z(2). Is g >= -81?
True
Let k be 889/11557 - (1/3)/(104/27). Which is greater: k or 0.06?
0.06
Let a(r) = -5*r - 326. Let w be a(3). Is w > -343?
True
Let w = -11326 + 45303/4. Let c = 33.01 - 0.01. Is c greater than w?
True
Let n(c) = 6*c - 23. Let g be 29/((-348)/(-144))*2/4. Let x be n(g). Are x and 8 equal?
False
Let y be (1 + -1)/(8 + -10 + 4). Suppose 499*h - 502*h + 264 = y. Which is smaller: 0.1 or h?
0.1
Let h(u) = 20*u**2 - 74*u - 45. Let v(q) = -21*q**2 + 75*q + 51. Let x(k) = -7*h(k) - 6*v(k). Let b be x(5). Are 3/244 and b non-equal?
True
Suppose -16 = 4*a, 359 = -4*c - 3*a + 351. Is c less than 2/32909?
False
Suppose 0 = 5*y + 4*m + 886, y - 4*m + 170 + 12 = 0. Suppose -3*r - g = -698, 2*g = 5*g + 12. Let a be ((-4)/(-9))/2 + y/r. Do a and 0 have the same value?
False
Suppose -20 - 196 = -3*p. Let v = -10/31 - -4453/62. Which is bigger: v or p?
p
Let z = -179.7348 + -0.2652. Which is greater: -3 or z?
-3
Let n = -235 + 406. Let c = 44 - -128. Which is greater: n or c?
c
Suppose 13*g - 116 - 1 = 0. Suppose 26 = f - i + 3*i, 3*f - 38 = 4*i. Are g and f unequal?
True
Let z = 1.05 + -46.05. Let o = -37 - z. Let b = o + -11. Which is bigger: b or -8?
b
Let l(n) = n**2 - 24*n + 138. Let a be l(19). Suppose 24*v - a = 67*v. Let r be (-21)/(-6)*2/(-5). Which is greater: r or v?
v
Let l(x) = 5*x**3 + 16*x**2 - 28*x - 16. Let t be l(5). Is t greater than -0.4?
True
Let n = -151046/15 + 10070. Is n < 534?
True
Let h = 8621.66 - 8620. Let a = -1 + 2. Which is smaller: a or h?
a
Let m = 4602 + -4602.542. Which is smaller: m or -0.07?
m
Suppose 0*s + 95 = 3*l - s, -156 = -5*l + 4*s. Suppose 33*q = 32 - l. Is 21/16 at least q?
True
Let p be (6 + -6)/(-3 + 0). Suppose p*h - 2*h = -62. Suppose 3*m = -4*b + 82, 3*m + 0*b = 4*b + 98. Which is greater: m or h?
h
Let a = -1175 + 2347/2. Which is bigger: a or 1657?
1657
Let b(c) = 843*c**2 + 11*c - 11. Let x be b(1). Is 844 at least x?
True
Let f be (-2)/(2/(-1) - -4). Let g be (4/1112)/((-2)/4). Do g and f have different values?
True
Let z = -19097/1968 - -155/16. Let q(c) = -9*c - 4. Let v be q(-2). Let g be (-5)/((-210)/18) - 20/v. Which is smaller: g or z?
g
Let n be (-2)/8 + -34*115/2600. Is n >= -2?
True
Let q = 46.66 + -46.37. Do 2 and q have the same value?
False
Let f = 19332 - 19332. Which is bigger: 3/2254 or f?
3/2254
Suppose 0 = -4*p + 55*s - 57*s + 174, -2*p = 3*s - 89. Let g(y) = 41*y**2 + y. Let o be g(1). Which is smaller: o or p?
o
Suppose 0 = 5*s + 114 - 94. Let p be (-3 - 1)/((-4)/(-34)). Let h be -2 - p/(-7) - -2. Which is bigger: h or s?
s
Suppose 38*c = 206 + 744. Suppose w = -0*x + x + 76, 0 = -2*x - 2. Suppose 6*f = 3*f + w. Is f bigger than c?
False
Suppose 24*u + c = 22*u - 581, 0 = 3*u + 5*c + 847. Are -289 and u equal?
False
Let c = 141.083 + -141. Let s = -7.79 - -7.857. Let f = c + s. Are -0.2 and f nonequal?
True
Suppose -22 = -2*s - 4*f, 3*s + 4*f - 6 - 17 = 0. Suppose -7 - 15 = 11*z. Let i be (-264)/715 + 39/15 + z. Which is greater: i or s?
s
Let m = -607/315 + 62/35. Let j = -2/45 + m. Let w = 13009 + -13009. Which is smaller: w or j?
j
Let m = 0.018 + 0.066. Let i = 1.443 - 1.427. Let k = m + i. Is k <= 50?
True
Let j(q) = q**2 + 5*q - 1. Suppose 3*h - 2*h - 3*n = 10, 25 = -3*h - 2*n. Let m be j(h). Let a be m*2*(-3 + 4). Which is smaller: a or -7/5?
a
Suppose 332*q - 199 - 3530 = 1915. Suppose 48 = 5*m - 42. Let s = 0 + m. Which is greater: q or s?
s
Suppose -2*g = -7*r - 280, 23 = -4*r - g - 137. Which is greater: -968/25 or r?
-968/25
Let n(h) = -3*h**2 + 73*h - 6. Let p be n(0). Let j(s) = -s**3 - s**2 - 2*s + 1. Let z be j(-2). Suppose 3*g - z = -24. Is p smaller than g?
True
Let i = -1358157/14 - -97568. Let z = i + -557. Let w = -16 - -17. Is z > w?
False
Suppose w + 159 = 4*y, -5*y + 4*w - 44 = -6*y. Is 95 != y?
True
Let a = -174 - -182. Suppose 4*l = -20, 3*l - a = f - 24. Which is bigger: 2/411 or f?
f
Let z be (-14924)/4900 + 3/2 + 68/(-56). Is -2 < z?
False
Suppose 0 = -n - 223 + 576. Suppose -g - 655 = 4*u, 2*g = 4*u + 293 + n. Is u less than -163?
False
Let b = 331 + -285. Let q be 14/b + 2 - (37 + -32). Is q at least as big as -3?
True
Let y = 49 - 41.8. Let h = y + -6.2. Does -15 = h?
False
Suppose 5*i + 83 - 288 = 0. Suppose 16*y - 15*y = i. Is y at most as big as 40?
False
Suppose 0*q = 2*q - 2, -5*d + 22 = 2*q. Let k(a) = -a**3 + 7*a**2 + 2*a - 2. Let n be k(d). Suppose -2 + 4 = 2*s, -4*h - n = -2*s. Is h >= -13?
True
Let t = 14827 + -14825. Is -625 bigger than t?
False
Suppose 119 = 131*j - 12*j. Which is smaller: 58/277 or j?
58/277
Suppose 3*j = 7*j + 300. Let w = j - -91. Let a be 1 - (-4)/(w/(-292)). Is -72 less than a?
False
Suppose -5*a - 6 = -0*n - 2*n, 4*n - 2 = 5*a. Suppose 4*w - 64 = 4*v, -2*w - 40 = -5*w - 5*v. Which is 