 = 3*g + 204, 0 = 5*p + 5*g - 115. Which is greater: p or 23?
23
Let t be (3 + -2)*(-2 - 0). Let m(q) = -2*q - 3. Let y be m(t). Is y less than -3?
False
Let i be (-715)/(-99) - ((-16)/9 - -2). Suppose -11*c = -i*c + 4. Is 2/147 <= c?
False
Let x = -19.983 + -0.017. Let k = x - -20.3. Are -4/11 and k nonequal?
True
Suppose 164 = 4*s - 172. Which is greater: s or 426/5?
426/5
Let s(p) = -p**2 + 33*p - 187. Let i be s(7). Which is smaller: i or -1/21?
i
Suppose -2*r - 12 = -5*r. Suppose -r*v - 9 = -v. Let z be (-5)/v - (-6 + 9). Is 0 less than z?
False
Let n be (-6)/(-4) + 18/(-4). Is n bigger than -5?
True
Let k = 120 - 75. Let q be (-1)/(-3) - k/297. Which is greater: -6/11 or q?
q
Let i(m) = -6*m**3 - 2*m**2 + 11*m + 23. Let h be i(-3). Which is bigger: 137 or h?
137
Let w(o) = o - 3. Let m be w(-5). Is -126/17 < m?
False
Let h be (-1 + 1)/(-4 - -5). Let s(v) = -v**2 - v - 20. Let m be s(h). Let q be 15/33*8/m. Do q and 0.1 have the same value?
False
Let t be (3/(-6))/(4*(-4)/(-2560)). Which is greater: t or -78?
-78
Let h(z) = -8*z - 57. Let c be h(-9). Suppose -19 = -b + 2*d, 3*b - d + 40 = 7*b. Which is bigger: b or c?
c
Suppose -128 = 5*s + 4*h - 3*h, -3*s = -3*h + 66. Let w be (-10)/s - (-1166)/10. Let k = 1055/9 - w. Is k at least as big as -1?
True
Let r be (1158/288 + -4)*(-18)/40. Which is smaller: 1 or r?
r
Let x(f) = 2*f**2 + 3*f - 4. Let r be x(2). Let v be (12/30)/(4/r). Which is smaller: v or -1/34?
-1/34
Let y = 14.3 + -0.3. Let v = y + -15. Let n = -20 - -39/2. Is v bigger than n?
False
Let z(t) = t**3 + 4*t**2 - 4. Let m be z(-3). Let k = m + -5. Suppose k = 3*l + 27 - 9. Which is bigger: -5 or l?
-5
Let q = 15 - 29.98. Let z = q - 0.02. Which is smaller: 0 or z?
z
Suppose -2*o - 61 = 1. Let d = 44 + o. Is 13 at most d?
True
Let k = -82 + 84. Suppose 5*t = m - 7, 3*m + m = k*t - 8. Which is smaller: -5 or m?
-5
Let b(k) = -20*k + 1. Let f be b(-1). Let w = 119/6 - f. Let y(c) = -c - 5. Let q be y(-3). Which is smaller: q or w?
q
Suppose 3*p - p = n - 4, 12 = 3*n + 5*p. Suppose 5*c - 3 = 4*l + 5, n*c = 2*l + 10. Suppose -4*j = v + 5, -j - 10 = c*j. Is 13/6 bigger than v?
False
Suppose 0*c = -8*c. Let k be ((-9)/(-10))/(4/10). Let b = 29/12 - k. Which is smaller: c or b?
c
Let y = -3098/3773 + 1/343. Which is smaller: y or -2?
-2
Let g = -559 + 163. Let k be ((g/27)/1)/(2/(-9)). Which is greater: k or 65?
k
Suppose 5*c - 32 = -2*a, -2*c + 7*c - 2 = 3*a. Let q be (a/(-4))/(6/(-24)). Let f = q + -9. Is -9/4 smaller than f?
False
Suppose 0 = s + 3*j - 73, 4*j - 40 = -s + 36. Let b = s - 52. Which is smaller: 32/3 or b?
32/3
Let u be (-15)/(-4) + 0 + 2*-2. Let d be 2*((-15)/6 - -2). Is d bigger than u?
False
Let n(a) = -a**3 + 11*a**2 - 9*a. Let z be (24/(-18))/((-4)/30). Let i be n(z). Which is bigger: i or -2?
i
Let n = 9 - 10. Let z = 8.35 + -8.51. Is n at least as big as z?
False
Let y be 1 - (-2 - 34/(-10)). Let t = 196 + -63. Let o = t + -261/2. Which is smaller: o or y?
y
Let x be 28/(-4) + (-358)/2*2. Which is smaller: -364 or x?
x
Let m(c) = -c**3 + 5*c**2 + 7*c - 3. Let d be m(6). Let f = 3 - 8. Let k = -2 - f. Do d and k have the same value?
True
Let t be 16/24*7/((-42)/117). Which is smaller: -4 or t?
t
Let a = -7 + 11. Suppose -4*k - 4*s - 1 = -17, 18 = 5*k + 3*s. Suppose -k*b - 2 - a = 0. Which is smaller: b or 1?
b
Let q(i) = -i + 4. Let u be q(7). Let l be (-92)/24*-4*(-36)/168. Is u bigger than l?
True
Let f = -567 + 570. Let p be (-2)/3*(-2 + -1). Is p at least as big as f?
False
Let p(q) = -q**3 - 9*q**2 - 6. Let u be p(-9). Let o be (-15)/2 - (-3)/u. Let r be 130/52*28/(-10). Is r less than o?
False
Let r = -5.18 - -19.3. Let a = r - 14. Let t = 1.12 - a. Is t bigger than -0.1?
True
Let j = -4 + -7. Let i be ((-9)/6)/((-49)/7 + 4). Is i at least as big as j?
True
Let n = -47.992 - 0.008. Let l = -48.1 - n. Which is smaller: l or -0.04?
l
Let f(u) = -6*u**2 - 77*u + 13. Let y be f(-13). Is 1/24 bigger than y?
True
Let o = -0.16 + 0.13. Suppose -2*h = -4*s + 9*s + 9, 0 = 3*h - 9. Is o greater than s?
True
Let a be 7/14 - (291/6 - 2). Let b = -48 - a. Is b != -2?
False
Suppose -11*p = 66 + 176. Is -4 smaller than p?
False
Let d = 12/235 - -2242/2115. Suppose 2*s - 4*s - v = -5, 3*s - v = -5. Let a be s*(1 + 12/(-8)). Is a > d?
False
Let j(b) = b - 24. Let h be j(18). Let a be h/(-63) + 0 - (2 + -2). Which is greater: 1 or a?
1
Let g(h) = -h + 7. Let r be g(-15). Let c = r + -22. Which is bigger: 3/67 or c?
3/67
Let g be 1100/6136 - 10/65. Is 0.1 greater than or equal to g?
True
Suppose 0 = i + 4*u + 24, 4*i + 30 = 5*u - 45. Is -23 greater than i?
False
Let l be (-3)/4 - (4810/40 - -12). Which is greater: l or -131?
-131
Suppose 6 = x + 2*x. Let q(w) = -w**3 + w**2 + 2*w - 3. Let a be q(x). Let f = a + -3. Which is greater: f or -3?
-3
Let r = 8441137/1314 - 6424. Which is smaller: -1 or r?
-1
Let w = 83 - 70. Let d be (w/(-11))/1 - (-62 + 61). Let f = -7 + 2. Is f <= d?
True
Suppose 0*h - 58 = -h - 3*d, -2*h + 2*d + 100 = 0. Suppose -2*v = -0*v + h. Which is smaller: -27 or v?
-27
Let o(b) = -2*b - 6. Let h be o(-3). Suppose r = 2*s - 215, r - 6*s + 2*s + 205 = h. Let l be 6/45 + 48/r. Is -1 not equal to l?
True
Let s = -248/7 - -2501/70. Let b = -583/1168 - 1/1168. Which is greater: s or b?
s
Suppose -3*z + 19 - 4 = 0. Suppose 17*c - 14*c - 12 = 0. Which is greater: c or z?
z
Let l = -85 + 165. Suppose 5*h + g = 399, -3*h + g - 5*g = -236. Is h at least l?
True
Suppose -23*l + 8*l = 15. Are 2/223 and l nonequal?
True
Suppose -14 = -t + 4*t - 2*h, -2*h = -2*t - 12. Let a = 72 + -73. Is a > t?
True
Suppose -10*f + f = f. Suppose f = -6*y + 4*y + 38. Which is smaller: y or 20?
y
Let n = -0.1 + -8.9. Let o = -95 - -189/2. Which is bigger: n or o?
o
Suppose 0 - 2 = -j, k = 5*j - 1. Let n be k + -7 - (31 + 1). Let q be (27/n)/9*-4. Which is bigger: q or 2?
2
Let c be 1/(-5) - 20/(15200/(-62567)). Is c <= 81?
False
Let g = 552.9 + -553. Which is smaller: g or -6.59?
-6.59
Suppose -2*a - 40*a = 5502. Which is greater: -124 or a?
-124
Let y = -0.0587 - 15.9413. Is y at least as big as 7?
False
Let v = -1391 + 1384. Which is smaller: v or -154/23?
v
Let p = 3.6 + -18.6. Let u = -7 - p. Let d = u - 7.5. Which is smaller: 0.1 or d?
0.1
Let n be (-118)/5 + ((-4)/10 - 0). Let a be (0 - 1)/((-7)/(-161)). Is n at most as big as a?
True
Let k = -309/5 - -62. Is -17 > k?
False
Suppose 2*b = 3*r + 20, 0 = -r + 5*r + 2*b + 22. Let f(w) = -5*w**2 + 5*w**2 - w**2 - 7 + 0*w - 7*w + 0*w. Let x be f(r). Is x > -3?
True
Let c = 868 + -870. Is c smaller than -28/27?
True
Let d = 3/407 - 3678/2035. Which is greater: d or -3?
d
Suppose 3*s = d + 9, -3*s + 2*s + 3 = -2*d. Suppose 213 = -3*f - s*y, -5*f + 3*y - 118 - 213 = 0. Which is bigger: f or -67?
-67
Let t(y) = 7*y**2 + 5*y - 6. Let h be t(1). Suppose 8*w - h*w = -6. Which is smaller: -6 or w?
-6
Let n be (-2)/(-12)*292/(-6 + 5). Let l be ((-24)/(-10))/(2/(-40)). Let d = n - l. Which is smaller: -5 or d?
-5
Let j = -2976 - -32762/11. Let a = j - 160/77. Let p = 11/9 + -35/36. Which is greater: p or a?
a
Let i be (-202)/6 - (-40)/(-10). Which is smaller: i or -37?
i
Suppose 193 - 7 = -31*j. Are j and 13 equal?
False
Let p = 411 + -19727/48. Let h(w) = -3*w + 30. Let q be h(10). Which is smaller: q or p?
q
Let u be 15/(-5) - 114/(-34). Let v be 1 - 6/(3/1). Let z be 1 + 1/(1/v). Do u and z have the same value?
False
Let l = 9889/444 - -9/148. Which is smaller: 23 or l?
l
Let l = -61.7 + 59. Let q = 1.1 + l. Is q smaller than -1?
True
Let h be (-2*(-6)/(-36))/(1/(-21)). Let m be (-8)/2*15/(-12). Suppose -m*x + 27 = -18. Is x at least h?
True
Let y = 0.118 - 2.418. Let n = -2 - y. Are n and 19 unequal?
True
Let t = -281/7791 + -4/159. Suppose 6 = -2*m, 2*m - 2 = b + 3*m. Are t and b unequal?
True
Suppose 4*f = -2*x + 110, -2*f - 5*x + 51 = -0*f. Let v = f - 31. Let j be (-2)/(2 - (-6)/(-4)). Is j not equal to v?
True
Let c = 1578 + -1685. Is -320/3 at most as big as c?
False
Let b = -2.08 - 20.12. Let f = b + 20. Let x = f + 4.2. Which is smaller: x or 0.1?
0.1
Suppose k - 387 = -3*m + 209, 3*m - 611 = -4*k. Are 196 and m equal?
False
Let m be 3/(3/4) - 16. Let f = 19/2 + m. Which is bigger: f or 3/5?
3/5
Let f(p) = 2*p**3 - 11*p**2 + 15*p + 1. Let w be f(3). Let g = -617/15861 - -6/311.