-32 = 4*u + 4*n. Let z be ((-1)/2)/(u/54). Let d = 9 - z. Is -5/4 != d?
True
Suppose 6*h + 164 = 14. Let f = 42 + h. Is 17 less than f?
False
Suppose u + 3*n - 10 = 0, -12 = -2*u + n + n. Suppose 0 = 6*h - 0*h - 30. Are u and h equal?
False
Suppose 2*y - 5*y - 3 = 0. Suppose 0 = -3*c - 9, n + 2*c + 2*c = -6. Let v = n - 8. Is v greater than y?
False
Let a be ((-1)/2 + 1)*12. Let z(l) = 2*l**2 + l - 1. Let i be z(-2). Suppose a = -4*f - 5*d - 7, 5*f = -4*d - i. Which is smaller: f or -2?
-2
Let d(q) = -q**2 + 22*q + 53. Let z be d(25). Which is smaller: -20 or z?
z
Let v(t) = -t + 11. Let m be v(9). Suppose -m*c - 2*g = -12, -4*c - 2*g = -g - 24. Let y be 34/(-10) - c/(-15). Which is smaller: y or -1/2?
y
Let d = 0.19 - 0.09. Let c = -6.06 + 0.06. Which is greater: c or d?
d
Let z = -1 + -1. Let l be 2*z/4 - -1. Let u = -9 - -9. Is l smaller than u?
False
Let o = -7 - -3. Is o < 0.1?
True
Let r = -18 - -1. Suppose -g = -z + 4, -3*z + 3*g - g + 7 = 0. Which is smaller: r or z?
r
Let o = 1/6 + -1/10. Let y be (2/45)/((-1)/6). Let p = o + y. Which is smaller: p or 1?
p
Let f be (-5)/(-25) + 8/(-15). Which is bigger: f or 0?
0
Let q be (-4)/14 - (-5904)/84. Which is greater: q or 71?
71
Let o(z) = 12*z + 1. Let t be o(-1). Which is bigger: t or -10?
-10
Suppose 12*p + 4 = 8*p. Which is greater: p or -7/6?
p
Suppose 0*c + 18 = 3*c. Let x be c/(-9)*(-3)/6. Do -1/4 and x have the same value?
False
Let x = 1/347 + 2419/3470. Is x greater than 1?
False
Suppose 5*o + 9 = 2*m, 5*o + 7 + 4 = 3*m. Which is bigger: m or -12?
m
Suppose v + 3*v + 32 = 0. Let n be 2/(-2)*0/v. Which is smaller: n or -1?
-1
Let v be 0/(-2) - (-8)/(-2012). Let p = 1517/2012 + v. Suppose b + 0*b = -5*g + 2, -5*g - 2*b - 1 = 0. Which is smaller: g or p?
p
Let r = 30 - 13. Let v = r - 20. Is v not equal to -1?
True
Let j(n) = 3*n - 3. Let y(c) = -c - 1. Let d(q) = -j(q) - 2*y(q). Let k be d(6). Let l(g) = 5*g - 1. Let z be l(k). Which is smaller: z or -5?
z
Let b = 45 - 71. Which is bigger: b or 0?
0
Let v = 223/7 + -31. Suppose -6 = -q + 2*y, -2*y + 3 = -2*q - 3*y. Is q > v?
False
Let x(n) = -n**3 - 5*n**2 - n - 3. Let r be x(-5). Let d = -17 + 18. Which is greater: r or d?
r
Let a = 51 + -53.9. Let s = -0.07 - -3.07. Let i = a + s. Is i <= 2/11?
True
Let f = -21.8 + 19. Let d = -0.2 + f. Let s = 1.6 - 1.7. Is d greater than s?
False
Let o(h) = h**3 - 8*h**2. Let m = 9 - 1. Let t be o(m). Let y be ((-4)/2)/(-2 + -8). Is y < t?
False
Suppose -5*t = -20, -3*t - 4 = -2*o - 2*o. Let w(l) = -l**3 + 6*l**2 + 5. Let j be w(6). Which is smaller: j or o?
o
Suppose w = 5*w. Let a be (6/(-9))/(22/(-225)). Let u = 7 - a. Which is smaller: u or w?
w
Let m = 0.6 - 0.4. Let w(q) = -q**3 - 4*q**2 + 2. Suppose -4*x + 2*g - 12 = -3*x, -20 = 3*x - 2*g. Let u be w(x). Which is smaller: u or m?
m
Let l = -21 + 21.09. Let v = 0.11 + l. Which is bigger: v or 1?
1
Let m = -112289/14 + 2969583/350. Let k = -464 + m. Let v = k + 37/100. Which is smaller: v or -1?
-1
Let f = 7.8 - -1.2. Let l = 9.1 - f. Is -2 <= l?
True
Let n(r) = -r + 5. Let i be n(7). Let y(c) = c**2 + 10*c + 7. Let f be y(-9). Do i and f have different values?
False
Suppose 8 = 4*j + 2*x, -2*j - 19 = -3*x - 7. Which is smaller: 2/3 or j?
j
Let f = -0.083 - 3.817. Let z = 4 + f. Is -1/2 bigger than z?
False
Suppose 0 = -101*a + 99*a - 2. Do -2 and a have the same value?
False
Let f = 1 - 3. Let z = f - -2. Let u = 4 + -4. Is z greater than or equal to u?
True
Let q(t) = 3*t**2 + 3*t + 3. Let g be q(-2). Suppose 3*i + 5*l = -g, 5*i - 4 - 3 = -l. Let n be (i/(-6))/((-15)/18). Do n and -2/3 have different values?
True
Let g(o) = o**3 + 5*o**2 - o - 2. Let x be g(-5). Let v be (-1)/(-1 - 4/(-6)). Suppose 0 = v*r - 6*r. Is x bigger than r?
True
Let a = -0.8 + 0.94. Let f = a + 0.06. Which is greater: f or -1/5?
f
Let t = -2/33 + 8/11. Let a be ((-12)/45)/((-6)/15). Is t <= a?
True
Let o be (-98)/(-35) + -3 + (-2)/(-10). Let c be 2/15*5/(-3). Is c < o?
True
Let k be ((-45)/(-10) + -1)*2. Let q(f) = f**2 - 2*f - 1. Let u be q(4). Is k less than u?
False
Let m = 12/25 + -17/25. Which is smaller: 0 or m?
m
Suppose -x = 5*w - 44 - 22, x = -2*w + 66. Let q be (-35)/11 + 12/x. Is -5 greater than q?
False
Suppose 0*y = 3*y - 9. Suppose -4*f = 16, -f - f = 4*s. Is y at most as big as s?
False
Let g = 110 - 35. Let k be (2/g)/((-2)/(-10)). Is 1 > k?
True
Let y be 16/(-40) - 256/(-690). Is y >= -1?
True
Let h = -0.38 - -0.38. Which is greater: h or 5?
5
Suppose -2*j = 105 - 107. Which is smaller: -3/23 or j?
-3/23
Suppose -4 = 5*t + 11. Let o = 3 + t. Suppose 5*d = -o*d - 5. Is 0 at least d?
True
Suppose -6 = -5*s + 3*g, -3*s + 4*g = s - 8. Is 6/13 > s?
True
Suppose 6*r = -5*l + 5*r - 225, 0 = -5*l - 4*r - 210. Let k = l - -142/3. Is 2 at least as big as k?
True
Let a(g) = -g**2 + 8*g - 1. Let f be a(8). Is f equal to 4?
False
Let z be 3*((-2)/6)/1. Let r be (1 + 0/2)*275. Let k = r - 8527/31. Is z < k?
True
Suppose 3*x - 2 = q + 2*x, -3*x = 2*q + 4. Suppose -g = -5*h - 0*g - 5, -2*g - 4 = -3*h. Is h less than or equal to q?
True
Let w = -6 - -5. Let y be (w/(-57))/((-4)/12). Let l = y + 61/76. Which is smaller: l or 2?
l
Suppose 26*p - 26 = 25*p. Which is greater: p or 27?
27
Let m = 167/2 - 82. Does 3 = m?
False
Let w = 0 - -0.1. Suppose 2 = -5*j - 13. Let y = -3 - j. Is w <= y?
False
Let l(w) = -w**2 + w + 3. Let j be l(0). Let d be 3*(0 + j/(-30)). Which is bigger: d or 0?
0
Let j = -33 + 101/3. Suppose 0*r = -3*r - 5*g - 21, -r - 2*g = 8. Let v be -3*r/45*-3. Which is greater: j or v?
j
Let q = 7/6 + -5/3. Let x = 0.03 + 0.27. Let c = x + -0.4. Which is bigger: q or c?
c
Let k = 0.01 + -2.01. Let v be 5*(3 - 1 - 1). Let b be 8/(-6) - (v - 6). Do k and b have different values?
True
Suppose f = -g, 3*g + 1 - 31 = 3*f. Is f at most as big as -33/7?
True
Let a(y) = y**2 + 7*y. Let n be a(-4). Let o be (n/30)/((-4)/10). Is 0 at least o?
False
Let n = 108 + -1190/11. Let k(c) = c**3 + 2*c**2 - 2*c + 2. Let p be k(-3). Which is greater: p or n?
n
Let i be (0 - -4)/(-3 - -2). Suppose -r = -3*n + 58, 0*r = -5*r + 10. Suppose 5*b + 4*a + n = 0, 3*b + 6*a = a - 12. Is b >= i?
True
Suppose i + 4*r - 14 = 0, -3*i = 3*r - 4*r + 23. Which is bigger: -7 or i?
i
Let s = 351/1591 - 3/37. Let u = 250/559 - s. Which is smaller: u or 0?
0
Let a = 3/286 - -1500/143. Which is smaller: 10 or a?
10
Let j(n) = 2*n**2 - 3*n**2 + 3 - 2. Let v be j(0). Let y = 1698/7 - 243. Which is smaller: v or y?
y
Let y(q) = -2*q + 7. Let n be y(5). Let j = -1 - n. Suppose 3*u - 8 = -j. Which is smaller: u or 1?
1
Let l = 1.1 + 1.2. Is l > 0.1?
True
Let b = 1 + -4. Is b bigger than -3?
False
Let j = -13 - -18. Suppose j = 2*m + 1. Suppose -m = f - 0. Which is bigger: -5/3 or f?
-5/3
Let q be (-3 - -3)/(1 + -2). Let j be q*(-2)/8*2. Are j and -1 equal?
False
Let w = 4 + -4. Suppose 0 = 3*x - w + 3. Which is smaller: x or 2/7?
x
Let m be (2/(-6))/((-2)/(-6)). Which is smaller: m or -7?
-7
Suppose -13 = -8*s - 5*s. Suppose -5*v - 13 = -3. Let d be (v + 14/10)*-1. Which is smaller: d or s?
d
Let j = -15 + 19. Which is smaller: 42/13 or j?
42/13
Suppose 3*v - 21 = 3*x, 0 = 5*x + v + v + 14. Which is bigger: x or -3?
-3
Let b = -110738/73 + 1517. Is -1 greater than or equal to b?
False
Suppose 0 = -4*f - 26 + 2. Is -5 at least f?
True
Suppose 2*s + 2 = 6*s + 2*p, 6 = 2*p. Is s greater than or equal to -2?
True
Let l(c) = c**2 - c - 5. Let t be l(3). Which is smaller: t or 1/26?
1/26
Suppose -6 + 1 = 5*m. Let p = -0.46 + -0.04. Is m smaller than p?
True
Let p(c) = -13*c**3 + c**2 + 1. Let w be p(2). Which is bigger: w or -100?
w
Let y be -2*(-1)/20 - 2/8. Which is greater: y or 0?
0
Let b(d) be the second derivative of d**4/12 - 4*d**3/3 + 5*d**2/2 - 7*d. Let c be b(4). Is -11 < c?
False
Let v(k) = -k**3 - 2*k**2 + 5*k + 6. Let c be v(-3). Suppose 0 = 3*y - 4*l - 23, -7*y + 2*y = -5*l - 30. Which is greater: c or y?
y
Let v(c) = 2*c**2 - c + 1. Let i be v(3). Let o be i/(-72) - (-50)/(-18). Which is bigger: -1 or o?
-1
Let v = -1/24 + -35/24. Is v greater than or equal to 2.1?
False
Suppose 10 = 3*y + 4*m - 16, -2*m = -y + 2. Which is smaller: 5 or y?
5
Let o be (-87)/(-2)*6/9. Let v = 113/4 - o. Which is smaller: -2 or v?
-2
Let v = -7 + 10. Suppose 0 = 2*g + v*g. Is g less than 2/15?
True
Let