 + 3*a + 2. Suppose 11 = 4*q + i, -2*i - 16 = -4*q + 2*i. Let p be r(q). Is p equal to j?
False
Let q(m) = -m**2 - m. Let c be q(0). Let v = 8071315 - 18733522515/2321. Let r = v - 2/211. Is r greater than or equal to c?
False
Let k be 10/15 - (-32700)/(-45). Which is bigger: k or -725?
-725
Suppose 2*a = 3*a + 2. Let c be (a + 3)/((-2)/(-10)). Suppose 4*u - 5*i - 83 + 28 = 0, -c*i - 70 = -5*u. Is u smaller than 15?
False
Let w(v) = -140*v - 1260. Let g be w(-9). Which is greater: g or 21/163?
21/163
Let s = 0.05 - -27.95. Let f = -27.68 + s. Does f = 1?
False
Let u = 79 + -79.27. Let j = u - 1.73. Which is bigger: j or -0.8?
-0.8
Let o = 0.247 - 2.247. Let n = -2 + 5.5. Let f = n + 11.5. Which is smaller: f or o?
o
Let f = -126 + 126.1. Which is smaller: f or -36?
-36
Suppose 2*z = 6, 3*z = -3*x + 2*z + 3. Suppose 15*m - 17*m + 42 = x. Is 20 greater than or equal to m?
False
Let y(w) = w**3 + 7*w**2 - 7*w - 2. Let g be y(-8). Let j = 10 + g. Let d be 3/(-5) + 2 + -1. Which is smaller: d or j?
j
Suppose 2*h + 4 = 0, -5*g + g + 2*h = 0. Let s be (-3 - (-3 - -1))/(-18). Which is greater: s or g?
s
Let c(j) = 7*j - 2. Let i be c(-3). Let b = i + 24. Which is smaller: b or 5/4?
b
Suppose -3*x - 15 = -2*c, 3*c = 3*x - 7*x - 3. Let d = x - -7/3. Which is smaller: -1.1 or d?
-1.1
Let m be 1 - ((-32)/(-18) + -1). Let k(h) = -h**3 + 11*h**2 + 126*h + 1. Let u be k(18). Is m < u?
True
Let k = -1565/2072 - 3/2072. Do -2 and k have the same value?
False
Let r = 93 + -89.8. Is 3 < r?
True
Suppose 2*g + 2 + 4 = -y, -g = -5*y + 14. Let v be g/14 - (-132)/315. Which is bigger: v or -1?
v
Let c be (5 + 4/(-2))*2. Let m = c - 0. Suppose -r = -4 + m. Which is greater: -3 or r?
r
Let l(j) = -5*j - 52. Let x be l(3). Which is bigger: x or -55?
-55
Let v = 3/2659 - -465301/21272. Which is smaller: 21 or v?
21
Suppose -5*b = 2*q + 10, 33 = 4*q + q - 2*b. Suppose 0 = 4*p + 4, 9 = q*k - p - 3*p. Are k and 1 unequal?
False
Let j = -1634.6 + 1635. Which is smaller: j or 21?
j
Suppose 2 = -5*q - 3, 5*l - 17 = -3*q. Suppose 5*w + 25 = -l*o - 0, -2*o - 5 = w. Is -3 greater than or equal to w?
True
Suppose 0 = 4*u - 5*u + 275. Suppose -w = 3*n + u, 2*n + 171 = -3*w - 17. Let j be n/154 - 1/(-2). Is 1 > j?
True
Let r = -73/450 + 421261/3150. Is 135 less than r?
False
Let n = -1011 - -992. Is 8 less than or equal to n?
False
Let r(u) = u + 2. Let m be -2 + (3 - (-3 + 6)). Let l be r(m). Which is bigger: l or -3/25?
l
Let c = 160 + -161.37. Let y = 0.25 + c. Which is greater: 0.1 or y?
0.1
Suppose 11*v + 160 = 7*v. Let c be ((-65)/(-15) + -4)*-105. Let a = c - v. Is 19/5 > a?
False
Let a be -1 + 1 + 1/(-1). Let r be (-2)/(-100)*(-41 + 39). Is r smaller than a?
False
Let h be 123/12 - 2/8. Suppose -2*u = 4 - h. Suppose -22 = 5*t + u. Is -5 >= t?
True
Suppose 0*h + 4*h = 0. Let j be 2/(-2)*(-573)/12. Let q = -48 + j. Which is smaller: q or h?
q
Let j = 11.4 + -63.4. Let s = -51 - j. Which is smaller: s or -2/3?
-2/3
Let x = 37/35846 - 18714061/37100610. Let j = x - 6/115. Is j >= -1?
True
Let y be (-2)/(-206)*307 - 3. Let u = 107 + -109. Is y < u?
False
Suppose -9*w + 6*w - 84 = 0. Let x be 0 - (-1)/4 - (-271)/w. Which is greater: -8 or x?
-8
Let b = -4 - -2. Let l be 1/((-6)/(-4)) + 11/((-8976)/472). Which is smaller: l or b?
b
Let g be (-8)/(-14) - 72/(-21). Suppose s + 2 = -3*u, -u = -5*s + g*u - 50. Let y(t) = t**2 - 2. Let v be y(0). Which is greater: s or v?
v
Let k = 677 + -620. Which is bigger: k or 288/5?
288/5
Let i be (3/2 + 0)*(2 - 4). Are i and 0 nonequal?
True
Let g be ((-657)/12)/(17/(-68)). Is g bigger than 219?
False
Suppose -16 = 3*o - 10. Which is smaller: 17 or o?
o
Let w(k) = -k + 10. Let t be w(10). Are t and -17 equal?
False
Let a = -3823/7 + 546. Are a and 4/3 non-equal?
True
Let r be (-274)/(-364)*(-56)/(-240). Let c = 6/65 - r. Which is greater: c or 1?
1
Let h be ((-86)/28 - -2) + (-12)/(-8). Is h < -9?
False
Let r = -23115 - -23218. Let h = -96 + 200. Which is greater: h or r?
h
Let s = 6357/2 - 3022. Let a = 147 - s. Is a at least -11?
True
Let v = -446 - -441. Let o = 4.92 + 0.08. Let n = o - v. Which is smaller: n or 1/4?
1/4
Let v = 51 + -47. Suppose 5*l = y - 95, -32 - 65 = v*l - 5*y. Are -18 and l non-equal?
False
Suppose -6 = 3*x, -v + 4*x = -5*v - 48. Let q be (-40)/10*2/v. Which is greater: q or 0?
q
Let h = 2 - 3.2. Let k = h + 1. Let w be ((-8)/(-2) + -6)/(-6). Is k at least as big as w?
False
Let r = -74 - -154. Is r at least as big as -2?
True
Suppose -18 = -4*l + 2. Let w(f) = 4*f - 12. Let n be w(l). Let g be ((-2)/n)/((-1)/6). Is g < 2?
True
Let c be (-84)/48 - 1/4. Let u(d) = -5*d**2 + 7*d + 8. Let w be u(c). Which is greater: w or -25?
-25
Let m = -744 - -743.89. Is m equal to -0.31?
False
Let c = 6 - 3. Let n = 31 - 27. Let a = c - n. Which is smaller: a or -2?
-2
Let j be 5712/2167 - (-2)/(-1). Let t = -18/197 - j. Is -2 equal to t?
False
Let z be 172/(-896) - 8/(-28). Suppose 4*v = -4*i - 24, 3*i + 7 = 5*v - 3. Which is smaller: v or z?
v
Suppose -28 + 26 = 2*h. Do -1/201 and h have different values?
True
Let d be (-5)/2*(-9)/(-15). Let f(u) = 2*u - 2. Let t be f(2). Suppose -m = -0*m + t. Which is smaller: m or d?
m
Let k be (-38)/32 + (-4)/(-4). Let b(q) = -q**3 + 5*q**2 - 6*q + 1. Let a be b(3). Is k smaller than a?
True
Let k(j) = -j**2 + j - 1. Let y be k(-2). Let z be (63/(-15))/y - 66/10. Which is smaller: z or -7?
-7
Let z be -10*4/(-90) - 818/(-63). Is 12 at least z?
False
Let h = 77/3 + -24. Let m(g) = -g**3 - 4*g**2 + 1. Let x be m(-4). Is h at least x?
True
Suppose l + 0 = 12. Which is greater: l or 14?
14
Suppose 4*a + 129 = 7*a. Let x = a - 35. Is 6 smaller than x?
True
Let r = 1968127/6 + -328803. Let n = -784 - r. Which is greater: n or -1?
-1
Let p = 1 - -16. Suppose 219 = -8*a + 51. Let g = a + p. Is -3 != g?
True
Let n be 13/39 + (-745)/975. Which is smaller: 1 or n?
n
Let n = 109.51 + -108. Let q = n + -1.43. Which is greater: q or 2/3?
2/3
Let j be -297 - 0 - -1 - (3 + 1). Which is smaller: -0.1 or j?
j
Suppose 5*v - v + 2*u = 16, 2*v + 5*u = 16. Suppose -v*d - 35 = -2*p, p - 4*d = -9*d - 15. Which is bigger: 44/5 or p?
p
Let r = 31 - 20. Suppose -l + 3*w + 13 + 3 = 0, r = -4*l - 3*w. Let g be l/2 + (-1)/3. Is -1 at least g?
False
Let v be -1 - (-1 - 3048/(-442)). Let p = -78/17 - v. Is 2 >= p?
False
Let p = 10/23 - 96/115. Which is bigger: 499 or p?
499
Let w = -1.806 + -0.054. Let m = 0.14 - w. Is m at least 3/10?
True
Let d(f) = -2*f**2 - 36*f + 6. Let y be d(-16). Let h = y + -86. Is h < -16?
False
Suppose 2*d - 25*t - 26 = -27*t, t - 43 = -4*d. Which is smaller: 36 or d?
d
Suppose 0 = a - 100 + 37. Let z = a - 251/4. Let m = 0.15 + 2.85. Which is greater: m or z?
m
Let t = -212/737 - -1/67. Let m be 2*2*(-34)/(-8). Let j = m + -17. Which is smaller: j or t?
t
Let j = 1.59 + 5.41. Which is greater: j or -9?
j
Let p = 55.06 - 55. Which is smaller: p or -0.01?
-0.01
Let d(g) = 6*g - 25. Let p be d(16). Let i = -62 + p. Is i != 90/11?
True
Let u(z) = 6*z**3 + 4*z - 5. Let h be u(1). Is 0.01 less than h?
True
Let i(j) = j**2 - 4*j + 4. Let p be i(2). Suppose -g - a + 2*a = -47, -5*g + a + 235 = p. Is 47 >= g?
True
Suppose 0 = -4*h - 26 + 30. Which is greater: h or 7/108?
h
Let j(m) = -m**3 - 17*m**2 + 2*m + 35. Let u be j(-17). Suppose l + 7 = 2*a, -14 + u = -3*a + 2*l. Does -2/25 = a?
False
Let k(a) = 2*a**2 - 19*a + 10. Let h be k(4). Let q(t) = -8*t + 5. Let x be q(5). Is h != x?
True
Let t(k) = 5*k**2 + 11*k - 26. Let r be t(2). Which is bigger: 264/17 or r?
r
Suppose -42 = 7*i - 0. Let a be (-3 - -8)*(-4)/(40/i). Which is smaller: 9/5 or a?
9/5
Suppose 3*w + 4*b + 6 = 1, -b + 3 = 5*w. Suppose 2*v - 4 = -2. Let l be (4 - v) + (-261)/81. Is l greater than or equal to w?
False
Suppose 0 = 2*q - 103 + 87. Does q = 64/7?
False
Let r be (2847/(-30))/1 + (2 - -3). Let o(p) = 90*p**3 + p**2 - p. Let c be o(1). Let v = r + c. Is v not equal to -1?
True
Suppose -h = 4*x - 159, -3*x + 7*h - 11*h = -103. Which is bigger: x or 36?
x
Suppose 0 = -7*c - 16 - 12. Let v(l) = l**3 + 3*l**2 - 7*l - 21. Let h be v(c). Which is smaller: h or 2/7?
h
Let a = 5255/62 + -339/4. Does a = 0?
False
Let d be (-5238)/(-747) - (5 + 2). Suppose -2*m = -5*n - 15, n + 4 + 7 = 2*m. Which is smaller: d or n?
n
Let z = 83 - -43. Suppose