ue
Let p = 374/105 + 178/15. Which is smaller: 15 or p?
15
Let v be (2/(-4))/((-1)/(-12)). Suppose -117 = -5*s - 62. Suppose 2*m + x + s = -0, -m + 4*x - 10 = 0. Is m bigger than v?
False
Let d = 2/67 + 934/4623. Let q = d + -2/207. Let j = q + 1/36. Is 1 at most as big as j?
False
Suppose 135 = -318*s + 315*s. Which is greater: -46 or s?
s
Let r = -0.96 - -7.96. Let l = -27/2 + 14. Which is bigger: l or r?
r
Let r = -0.6 - -0.4. Let n = 146 - 298. Let h be 2 + n/28 + 3. Which is bigger: r or h?
r
Let f = -937/2 - -551897/1178. Is -1 <= f?
True
Let f be -30*(176/40)/(-1). Which is greater: f or 133?
133
Suppose 25*f - 21*f = 60. Suppose f*h = 16*h - 16. Is 15 less than h?
True
Let k(p) = 27*p**2 - 3*p. Let q be k(-1). Is q bigger than 89/3?
True
Let i be (30/(-12) - -2)*1 - 0. Let c = -0.9 + 0. Which is greater: c or i?
i
Let q(n) = n + 2. Let y be q(-2). Let m = 8.77 - 7.67. Which is greater: y or m?
m
Let c = -2/25 - -31/75. Let i be (-28)/8 + 4 - (-5 - -11)/12. Which is smaller: c or i?
i
Let n = -81 + 85. Suppose -q - 3 = -o - 3*q, -2*o + 6 = -q. Suppose -o*c + 7 = l, -2*l + 6*c + 3 = c. Is l not equal to n?
False
Suppose 0 = -2*n + 31 + 39. Suppose n = r + 4*r. Let p be 2 + (-1 - -1) + 0. Which is smaller: p or r?
p
Suppose 3*m = 4*m - 6. Suppose 2*j - 14 + 36 = -4*f, j + m = -f. Let g = 14 + f. Are g and 9 unequal?
False
Suppose -2*y - 10 = -64. Let t be (-2 - -2) + 12/y. Which is greater: -1 or t?
t
Let w be (-882)/(-798)*(-20)/(-14). Is w less than 1?
False
Suppose -4*o + r + 11 = -2*r, 0 = -o + 2*r + 9. Which is greater: o or 82/7?
82/7
Suppose -7 = 2*f - 3*f. Let k be (f + -5)*2/8. Let y = 3 + 1. Which is bigger: k or y?
y
Let p be ((-6)/(-1))/(-8 + (-192)/(-21)). Which is smaller: p or 5?
5
Suppose 0 = -34*t + 29*t - 325. Which is smaller: t or -64?
t
Let w(g) = -40*g - 717. Let u be w(15). Is u >= -1317?
True
Suppose 11*n - 186 = 8*n. Let g = 57 - n. Is -7 greater than g?
False
Suppose 2*a + a = 15, 4*b - 4*a = 4. Which is smaller: b or -1.3?
-1.3
Let o be 105/(4 + (-156)/8). Which is bigger: o or -8?
o
Suppose 2*y + 1418 = 4*p, 754 = 2*p + 5*y + 63. Do p and 353 have the same value?
True
Let q = 4.03 + -4.3. Let t = 0.16 + -0.23. Let p = q - t. Which is bigger: p or 1/2?
1/2
Let c(p) = 3*p - 6*p**2 + 2*p**3 + 3*p**3 - 4*p**3 + 10 + p. Let v be c(5). Suppose -v*m + 6 = -8*m. Which is greater: -1 or m?
-1
Let k = -632203 - -132761561/210. Let d = k - -75/14. Which is greater: 0 or d?
d
Let x be (-12 + (-3 - -6) + 1)*12. Let o = -101 - x. Is o greater than -5?
False
Let f be (-2 + (-16)/(-10))/16. Let w = 2379 + -2379. Which is smaller: w or f?
f
Suppose 0*p + p - 2 = 0. Suppose 0 = o - 4*l + p, -4*l + 5 = -4*o - 3. Let y be (1/o)/((-26)/(-8)). Do y and 1 have the same value?
False
Suppose -2*m = 3*m - 20. Suppose -5*c - 4*c = -27. Which is smaller: m or c?
c
Let n = -2174 - -2176. Is -2.8 smaller than n?
True
Let i be (-1)/(-7 - -4 - -6). Let v = -43 - -45.1. Is v greater than or equal to i?
True
Let o be (6/5)/(6/20). Suppose 0 = 3*t - 5*t - 2*y - 10, t = o*y + 20. Let k be (-13)/(-9) + (-4)/12. Is t greater than or equal to k?
False
Let o be ((-6)/(-4))/((-3)/(-6)). Let x(g) = g**o + 9 + 2*g - 5*g + 15*g**2 + 3*g. Let d be x(-15). Is 9 > d?
False
Suppose -b - 21 = -0*b. Let p = -16 - b. Is 16/3 at most p?
False
Let z = 484/3 - 143. Which is greater: z or 18?
z
Let z(m) = -11*m - 103. Let n be z(0). Is -106 smaller than n?
True
Suppose 5 = 2*f - 7*f. Which is smaller: 3/317 or f?
f
Let l = 5.23 - 0.23. Let s = -6 + l. Let z = -1.1 - s. Which is bigger: 1/5 or z?
1/5
Let n = 4546 - 4588.03. Let d = -42 - n. Which is greater: d or 3/5?
3/5
Let v = 903/4 + -225. Let a be (2 - 129/27) + 3. Is v greater than a?
True
Suppose 3*h - 19 = 14. Let s be h/2 - 4/(-8). Which is bigger: s or 8?
8
Let w be (-28)/(-35) - (-5)/((-25)/4844). Is w bigger than 1/2?
False
Let v = 1522 + -4300/3. Which is greater: 88 or v?
v
Let o = 390981 - 8597379/22. Let t be ((-254)/8)/(1/(-6)). Let p = t - o. Is p < 2/3?
True
Let y be (7 + -8)/((-3)/12). Let p = -2463/4 + 619. Which is greater: y or p?
y
Suppose 0 = -5*r, -4*h + 44 = r - 6*r. Suppose -4*p - h = -5*o, -2*p - 7 = 2*o + 3. Let g be ((-36)/15)/4 - o. Which is bigger: -2/19 or g?
g
Let w be -1*(-3)/(-6)*0. Suppose q = -4*n + 2*q - 39, 5*q = -5*n - 55. Let p = 8 + n. Which is greater: w or p?
w
Suppose -v = -4*v + 21. Suppose -2*r + 5 = -c - 1, -5*c = 4*r - 12. Let b be -1 + 8 - c/(-5). Is b less than or equal to v?
True
Let f = -1/6 + 5/12. Let x be (5/(-40))/((-2)/(-6)). Are f and x unequal?
True
Suppose -4*m + 42 = 22. Let o(l) = l + 22. Let f be o(m). Is 27 less than or equal to f?
True
Let p(r) = 3*r**2 + r. Let d(b) = b + 19. Let u be d(-20). Let v be p(u). Is v less than 2?
False
Suppose -7 - 35 = -2*t. Suppose -t*h + 24*h = 0. Are h and -2/3 equal?
False
Let r = 1.8 - 3. Let z(m) = -22*m + 240. Let u be z(11). Which is smaller: u or r?
u
Let d = 3958/6291 - -1/2097. Is 0 smaller than d?
True
Let h(s) = s**2 - 4*s - 8. Let d be h(6). Let c be (27/6 - d)/(-2). Is c less than or equal to -50?
False
Let d(c) = 38*c - 1082. Let z be d(29). Let x be -5 - -2 - (-25)/9. Is z less than or equal to x?
False
Suppose -2*w - 3 = -5*a - 17, 0 = 5*w - 10. Let d be (a/10)/(12 + -11). Which is smaller: d or 1?
d
Let o be 1/(2/4)*(-1166)/44. Let j be (o - (-8)/(-4)) + -5. Which is smaller: -59 or j?
j
Let g = -22 + -83. Let v = 110 + g. Which is smaller: v or 8?
v
Let w(z) = -5*z**2 + 32*z - 12. Let r be w(6). Is r bigger than -4/5?
True
Suppose -2*m - 3*f = -24, -5*f - 3 = -5*m + 82. Suppose 0 = 4*c - c + 48. Let x = c + m. Which is bigger: x or 9?
9
Let j(t) = -5*t + 6. Let m(o) = 7 - 11*o + 3*o + 4*o. Let b(q) = -5*j(q) + 6*m(q). Let k be b(-13). Are -1 and k nonequal?
False
Let s be (-2)/3 + 652/1032. Let z = 135/172 + s. Let a(i) = i**3 - 8*i**2 + 7*i. Let g be a(7). Is g greater than or equal to z?
False
Suppose -11 - 59 = -2*u. Suppose -17*v - 180 = -22*v. Is u <= v?
True
Let w = 81 + -57. Let n be ((-18)/w)/((-27)/8). Is n >= -2/9?
True
Suppose -2*k = -4 - 6. Let n = -27 + 30. Suppose 0 = -3*u - 3*o - 6, -n*o + 2*o - 8 = -2*u. Which is bigger: k or u?
k
Let j(y) = -2*y**2 + y + 2. Let x be j(0). Let f(u) = 0 + 1 + x*u - 3*u - 2. Let s be f(1). Which is smaller: -5/6 or s?
s
Suppose 108 = 17*u - 44*u. Let c = 5 + -8. Let j be (c/u)/((-3)/(-8)). Which is bigger: 1 or j?
j
Let q be ((-4485)/364)/15 - 6/14. Which is greater: 0 or q?
0
Suppose -151*q = -140*q + 1793. Which is bigger: -165 or q?
q
Let o = 979/6 - 162. Is 1 != o?
True
Suppose 4 = -5*s + o, -5*o + 3*o + 8 = -5*s. Let a(v) = -8*v**3. Let l be a(1). Let d be 2/22*l - -1. Which is smaller: d or s?
s
Suppose -3614 = 5*h - 1054. Which is smaller: -511 or h?
h
Let v be 8/24 + 6/((-54)/3495). Are -389 and v equal?
False
Suppose 0*k = -3*l - 4*k + 30, 0 = 2*k. Let g be 1*(-82)/10 + 2/l. Is g < -10?
False
Let h = -152.89 + -1.11. Let o = -152.01 - h. Let t = o - 2. Which is smaller: -0.2 or t?
-0.2
Let g(r) be the third derivative of 5*r**4/24 + 16*r**3/3 - 41*r**2 - 2*r. Let a be g(-6). Are a and 10/17 nonequal?
True
Let w = -42 + 119. Let m = w - 77.2. Which is smaller: m or -1/41?
m
Let f = 29.1 + -45.2. Let b = 19.3 - 3.3. Let i = f + b. Are i and -6 equal?
False
Let u = -39 + -133. Let k be (-2)/(-4)*(-16)/u. Let g = 39/86 + k. Which is smaller: 1 or g?
g
Let y = 2 - 2. Suppose y = -a - 3*a - 1988. Let q = a - -17397/35. Which is greater: q or 1?
1
Let n(s) = 62*s - 373. Let z be n(6). Which is bigger: -6/115 or z?
-6/115
Let d = -89 + 111. Suppose 7*p = d - 8. Which is smaller: p or 0?
0
Let l = 0 + 6. Suppose -l*i = -3*i. Suppose i = 9*d - 6*d. Are d and 1 non-equal?
True
Suppose 4*q - 3 = 3*q. Let h(n) = n**2 - 3*n - 4. Let y be h(q). Suppose -32 = -12*r - 80. Is r >= y?
True
Let v = 146 - 141. Which is smaller: v or 17/4?
17/4
Let w(r) be the third derivative of -r**5/60 - 3*r**4/8 + r**3/2 - 3*r**2. Let o(c) be the first derivative of w(c). Let n be o(-4). Is 1/24 equal to n?
False
Let q be 2*3/24*(-504)/42. Does q = -6?
False
Let p be ((20/(-32))/(-5))/((-2)/(-8)). Is p at least -0.465?
True
Let v = 21.7 - 22.4. Let s = 257/4 - 64. Which is smaller: v or s?
v
Let p = 46.7 - 52. Let b = p - -5.3. Which is greater: b or 7?
7
Let y = -2043 + 2