 = g + 38726/285. Let l = v - 142. Is -2/3 greater than l?
False
Let c be 1317/79 + -11 - 12/2. Which is smaller: c or 0?
c
Let g(h) = -5*h - 3. Let s be g(-2). Suppose -s = -2*z + 1. Suppose 0*w + 2 = w + z*m, -4*w - 4*m = 16. Which is bigger: w or -5?
-5
Let u(a) = -a**2 - 2*a + 2. Let x be u(0). Suppose -28 = 4*l - q, 40 = -4*l + 6*q - x*q. Which is greater: -3 or l?
-3
Let h = -47 - -46.7. Suppose -2*c = -2, -c - 4 = 2*x - 27. Let v = x + -7. Do v and h have the same value?
False
Let y be (-40)/66*(4 + 1384/(-340)). Is 0 equal to y?
False
Suppose -5*k + 3*p = -2*p + 20, -k = -5*p - 4. Let y be -3 - (1 - (-21)/k). Let u = 11 + -16. Is y not equal to u?
True
Let m(l) = -l**2 + 9*l - 9. Let n be m(8). Let j be 6 + (5 - 285/22 - -2). Is n bigger than j?
False
Let p be -4 + ((-1)/2)/(5/118). Which is bigger: p or -17?
p
Let o be (-2134)/132 + (-2)/(-12). Is -10 bigger than o?
True
Let z(m) = m**2 + 5*m + 1. Let w be z(-5). Suppose -3*p - p = 0. Suppose p*y - 4*y + 8 = 0. Which is greater: y or w?
y
Let h = -6597 - -6469.92. Let x = -122 - h. Let w = x + -5. Is w != -0.1?
True
Suppose 43*d - 44 = 45*d. Let r be d/(-66) - 4/3. Is 0 smaller than r?
False
Let q = -2.4 - 43.6. Let t = q - -46.1. Which is greater: t or 7?
7
Let h be 1 + (-55)/45 - 8/(-36). Which is bigger: h or 4/7?
4/7
Let o be (2/12)/(2/4). Which is smaller: o or -197?
-197
Let o be -1 + 0 - (-1 + 1). Let v = o - -6. Let n = 640/3 - 209. Which is greater: v or n?
v
Suppose 129 = -p + 143. Is p > -1/10?
True
Let m be 9/6*6 + -2*1. Suppose q + m = 6. Which is greater: -2/25 or q?
-2/25
Suppose -5*w - 3*u + 243 = 0, 3*w = 3*u - 86 + 227. Let r be 2/(-3) + 14/w. Which is smaller: r or 0?
r
Let n be -2 + (-51)/42*-367. Let t = n - 444. Which is bigger: -1 or t?
t
Let r be 2/(-3) + ((-2400)/666)/(-5). Let o(k) = -k**3 - 2*k**2 + 1. Let n be -1 - -1 - 2/2. Let b be o(n). Is b greater than r?
False
Let v = -8 - -1. Let j(h) = -8*h**2 + h + 1. Let z(y) = y**2 - 4*y - 1. Let l be z(4). Let q be j(l). Which is smaller: v or q?
q
Let o = 13707/118 + -39/59. Is 117 >= o?
True
Suppose -11*p - 42 = -5*p. Is -2 bigger than p?
True
Let n(f) = -f - 12. Let d be n(-10). Let y be d + 11/(121/24). Let a = 5/33 + y. Which is smaller: 2 or a?
a
Let g be 5/15*30/8915. Which is greater: g or 1?
1
Let m = -8 - 31. Let a = -57 - m. Is -20 > a?
False
Let b be 4/(-2) - -2*8. Suppose -64 = -2*x - b. Is 25 >= x?
True
Let f = -102 - -96. Let t be (-38)/(-18)*3*-1. Is t <= f?
True
Let x(n) = -5*n - 1 + 1 - 5*n**2 + 4*n**2 + 6. Let d be x(-6). Suppose d = 4*m - 13 + 1. Are 0 and m nonequal?
True
Suppose -2*m = -4*u + 286 + 306, 0 = 3*m - 12. Which is smaller: u or -3?
-3
Let r = 13554179/3649985625 + -181/48750. Let d = r + -1010016587/77866360. Let a = d + 105/8. Is 1 not equal to a?
True
Let q = 325 + -290. Is 40 > q?
True
Let q be ((-3)/1)/(-3)*5. Let y = 20 - 3. Let w = -12 + y. Is q equal to w?
True
Let y = 281 + -252. Is y bigger than 26?
True
Let b = 1 - -5. Suppose -1 + b = v. Suppose -s + 7 = v. Which is bigger: 1 or s?
s
Let f = 4 + 1. Suppose f*w = -0*w. Let j = w - -1. Are -1/12 and j equal?
False
Let j be (16/(-4) + 4)/(-2). Which is smaller: -16/17 or j?
-16/17
Let w = 1 + 2. Suppose w*b - 9*b - 18 = 0. Which is bigger: b or -2?
-2
Let t = 121 + -120. Is t smaller than 1/291?
False
Suppose 0 = 5*k + 122 - 197. Suppose -7*x + 80 = -2*x. Is x <= k?
False
Let j(a) = -4*a**3 + a + 1. Let o be j(-1). Suppose -6*t - 4*l = -4*t + 22, 0 = -5*t + o*l - 69. Let b = t + 1. Do -12 and b have the same value?
True
Suppose -594 = 12*x - 150. Is -75/2 smaller than x?
True
Let u = -94 - -93. Let s be 27/33 + u + 24/(-231). Which is bigger: 94 or s?
94
Let i = -560 - -456. Is -104 greater than i?
False
Let w(y) = -y**2 + 5*y - 2. Suppose 2*j - j = 3. Let f be w(j). Suppose -f*x = -49 + 1. Do x and 13 have the same value?
False
Let u = 3 + -4. Let h be (-67)/(-5) + 3 + -2. Let g = h + -561/40. Is u greater than g?
False
Let p(a) = 6*a**2 - 4*a - 2. Let t be p(4). Let z be 3/((-33)/1712)*2/(-4). Let r = z - t. Which is greater: -0.1 or r?
-0.1
Let o be (-2)/6 + 4/(-6). Suppose -5*y + 11 + 9 = 0. Suppose 13 = -5*j - 0*q - q, 2*j = -y*q + 2. Which is smaller: o or j?
j
Let r = -202.9 + 203. Which is smaller: r or -42?
-42
Let z = 21 + -91. Let i = z + 352/5. Which is smaller: -13 or i?
-13
Let n = 1/594 + 197/594. Suppose -2*t - 60 = -4*t. Is t < n?
False
Suppose 8*d - 32 = 4*d. Let h = 18 - d. Suppose 0 = -3*n - 6, 4*f + 3*n + 12 = -h. Which is smaller: f or -3?
f
Let k be (114/(-24) - -4)/(42/16). Which is smaller: 34/3 or k?
k
Let s = -19 + 22. Suppose -3*q + 0*c + 5*c = -8, -s*c = -5*q + 8. Let t be (q - (-6)/3)/1. Which is bigger: 14/5 or t?
t
Let a be (2/36)/((-3)/12). Let t = 0.087 + -5.087. Are t and a unequal?
True
Suppose 20 = 14*o - 9*o, 3 = m + o. Which is bigger: m or 2/2757?
2/2757
Let p = -1029 - -1028. Let j = 3894/7 - 555. Is p less than or equal to j?
True
Let q = -0.272 - -1.272. Are q and 176 non-equal?
True
Suppose 2*p + 5 = 3*p. Suppose 0 = -4*l + 2*q + 2, -p*q + 9 + 4 = -4*l. Which is bigger: l or 3/2?
l
Let z = 117 + -119. Is -30/17 at least as big as z?
True
Let k be 0/(-1 - (1 + 0)). Let p(y) = -y**3 + 9*y**2 - 3*y - 16. Let n be p(9). Let z = -30 - n. Do k and z have different values?
True
Suppose 0 = -n + 2 + 25. Suppose -8*w + 12*w - 104 = 0. Are w and n unequal?
True
Let z = 7.5 - 6.93. Which is greater: z or -0.1?
z
Let n be ((0 - 3)*(-4)/8)/337. Is n less than 1?
True
Suppose 2*s + 2 = -y + 5*y, -10 = -2*s - 2*y. Is s equal to 15?
False
Let f = -13 + 69. Let c = 97 - f. Which is greater: 42 or c?
42
Let r = 5013/7 - 716. Is -7 smaller than r?
True
Let k(u) = u + 11. Let l be k(-9). Suppose 12 - l = 2*o - 5*g, 2*g + 4 = -2*o. Let d = o - 1/3. Which is bigger: d or -0.09?
-0.09
Let j = 44 + -38. Let m be 2/j - 380/60. Which is bigger: -5 or m?
-5
Let r be (7/(-5))/(-1) + 3 - 4. Which is smaller: 159 or r?
r
Suppose -225*u = -228*u - 39. Which is smaller: -63/5 or u?
u
Let n be (-5)/10 - 18/(-4). Suppose 0*p = n*p - 20. Let m(z) = z**3 - 6*z**2 + 6*z - 6. Let w be m(p). Is w at most as big as -1?
True
Suppose -4*y = o - 16, -20*y + 12 = 4*o - 17*y. Which is bigger: 3/49 or o?
3/49
Let w = -126 + 16. Let r = w - -106. Is r greater than 4?
False
Let r be 4/(-2816)*-40 + 2/(-11). Let o be 3 + 3 + (-1)/1. Suppose -2 - 3 = -o*p. Is r != p?
True
Suppose 13*g + 823 = -2843. Is -282 >= g?
True
Let b be (-10)/45 - (-112)/18. Suppose 4*c = 6*c - b. Which is smaller: 6 or c?
c
Suppose -7*s + 1155 = 28. Let d be s/(-21)*(2 + 4) - 2. Which is smaller: -49 or d?
-49
Let y be (2 - 77/35)*25/(-2). Which is greater: y or 0.12?
y
Let c = 3.7 + -4. Let s = -1389 + 1389.3. Which is greater: c or s?
s
Suppose -61*a + 56*a + 10 = 0. Suppose 2*t - 3*k + 78 = 0, -t + 5*k - 45 = a*k. Are -35 and t unequal?
True
Let y = -57 + -110. Is y greater than or equal to -168?
True
Let c = 126 + -116. Let g be 1/c*(-9)/9. Is -1 > g?
False
Let x = 981 - 992. Which is greater: x or -45/4?
x
Let t be ((-10)/(-25))/(12/(-15)). Let f = -5/4 - t. Is -1/4 less than or equal to f?
False
Let c = -72.5 + 72.9. Let b = -0.26 - -0.3. Which is greater: b or c?
c
Let j = -16 - -10. Let z be j/(-10) + (-249)/15. Is z equal to -16?
True
Suppose 0 = j - 0*j - 4. Let i be j/(-12) + (-13)/(-33). Which is smaller: 0 or i?
0
Let w = 2.6 + -2.5. Let f = -10003/13 - -769. Which is smaller: w or f?
f
Let h = -3 - -3. Let b = 27 + -24. Let q be (-2)/b*6/74. Is q greater than h?
False
Let i = 2248 - 2213. Suppose 7*b = 3*b + 140. Is b at least as big as i?
True
Suppose -2*u - 4*o = -20, -5*u - 3*o = -4*u - 15. Let l(y) = 2*y + 1. Let i be l(u). Does -1/102 = i?
False
Let p = -188 + 198. Is 108/11 greater than p?
False
Let k(g) = -g**3 + 8*g**2 - 8. Let u be k(8). Let b be u/(-54)*(-9)/(-6). Is b smaller than 3/7?
True
Let n = 522 + -424. Which is greater: 96 or n?
n
Let j be (-8)/3 - (-8)/(-24). Let u be (-2)/(-12) + 25/30. Let f = u + -5. Is f equal to j?
False
Let c = -520 - -520. Which is greater: c or -72?
c
Let a(w) = -4*w + 1. Let p be a(6). Let o(l) = l**3 + 45*l**2 - 47*l - 70. Let t be o(-46). Is t greater than or equal to p?
False
Let g(t) = -t**3 + 2*t**2 + 8*t + 4. Let i be g(-4). Let b = 8 - i. Which is bigger: -59 or b?
-59
Let z = 3/11