pose n - 4*n = a. Let h be 1 + -2*(-10)/n. Is 0 greater than h?
False
Suppose 3*j - 3*a - 3 = 0, 2*j + 2*j + 3*a + 3 = 0. Let n = 2 + -4. Which is smaller: n or j?
n
Let q(g) = -g**2 + 17*g. Let x be q(17). Is -4/27 at most as big as x?
True
Let m = -110 - -548/5. Let i be (8/(-6))/(2/(-6)). Let y be (2 - 1) + (2 - i). Which is smaller: m or y?
y
Let l(g) = -g**3 + g**2 - g - 39. Let t be l(0). Which is smaller: -40 or t?
-40
Let a(p) = -3*p. Let d be a(-2). Is d >= 6?
True
Suppose 10*g - 9*g + 6 = 0. Let c(a) = -a**3 + a**2 - 1. Let d be c(0). Is g greater than d?
False
Let t = 0.3 + -1.3. Let l = 1158 - 1145.99. Let z = l - 12. Is z at most as big as t?
False
Let j = 47 + -45. Let v be 1*(0 - 0)*1. Suppose v = j*s + 3*s. Is 1/8 at most s?
False
Let t = -3.1 - -3. Which is greater: t or -61?
t
Suppose 2*i - 21 = -j, 8*i = 3*i - j + 48. Let g be (-15)/40*2/i. Which is bigger: -0.1 or g?
g
Suppose 6*s - 117 + 351 = 0. Let w = s - -155/4. Is -1 smaller than w?
True
Let y = 3 - 4. Let g = 0.7 - -0.3. Is g at least y?
True
Suppose -7 = 7*s - 14*s. Which is smaller: s or -2/143?
-2/143
Suppose -3*m = 2*b + 13, 2*m + 5*b = b + 2. Let z = -8 - m. Is -1/7 at most as big as z?
False
Let w(p) = p**2 + p - 2. Let k be w(0). Let q be (3/(-6))/((-1)/k). Which is smaller: q or -1/3?
q
Suppose 4*r - 2*y + 0*y = -2, -3*y + 17 = r. Let j be r/12*2*3. Let b = 0.11 + -0.01. Are j and b equal?
False
Let h = -0.17 - -0.07. Do -1/3 and h have the same value?
False
Let a = 5/2 - 21/10. Which is bigger: -2/29 or a?
a
Let s be 11/66*(-9)/2. Which is bigger: s or -2?
s
Let b be (-8)/6*9/(-2). Suppose 0*c + 3*i + 15 = 4*c, 0 = 5*c - 2*i - 24. Are c and b unequal?
False
Let x be (-1 - 3/9)*(-12)/40. Is 32 greater than x?
True
Suppose 50 + 10 = -4*i. Let v = -12 - i. Is v != 2?
True
Let g = -1.7 + -4.3. Which is greater: 5 or g?
5
Suppose 8*z - 2 = 14. Is 1 bigger than z?
False
Let o = -18 + 33. Which is greater: 13 or o?
o
Let b(z) = -z**3 - 15*z**2 + 17*z + 17. Let l be b(-16). Is l equal to 6/19?
False
Suppose -2*x + 36 = -6*x. Let f = 8 + x. Is -1 equal to f?
True
Let g(s) = s**3 + 3*s**2 + 2*s + 3. Let b be g(-3). Let f(r) = r**2 + 2*r - 2. Let o be f(b). Let a be o/(-4) + 15/28. Is 0 not equal to a?
True
Let q be ((-1)/(-9) - 42/(-189))/(-1). Which is greater: 43 or q?
43
Suppose -t + z - 23 = -10, -4*t - 17 = 3*z. Is t not equal to -7?
True
Let g be (-15)/(-20) - (-62)/(-104). Suppose 2*b + 2 = -0*b. Which is smaller: g or b?
b
Let q be (-3)/(-6)*146/(-6). Let r = q + 347/30. Which is bigger: r or 1?
1
Suppose 0 = -2*h + 83 - 11. Let m be -4*(38/h - 1). Which is greater: -1 or m?
m
Let o = -20.67 - -21.7. Let u = o + -0.03. Suppose 2*r + 3*r = -5. Is r less than u?
True
Let a = -310 + 4337/14. Is a less than -1?
False
Let t = -13.9 - -14. Is t less than or equal to -18?
False
Suppose 3*t - 11 = 4. Suppose t*p - y - 1 = 0, 2*p - 1 - 1 = 2*y. Let x be (10/(-4))/5*p. Which is smaller: 1 or x?
x
Let p = -24766/41 - -604. Which is smaller: 1 or p?
p
Let x be (-7)/4*(-1372)/35. Let z = x - 69. Which is smaller: 0 or z?
z
Suppose u - 2*u = 10. Let d be 15/10 - 23/2. Is u less than or equal to d?
True
Let q be 60/(-140)*21/(-2). Which is smaller: q or 6?
q
Let k = 23 + -34. Which is smaller: k or -0.3?
k
Let o = 2.06 + -0.06. Which is smaller: o or 0.1?
0.1
Let m(t) = -t**2 + 4*t + 3. Let n be m(5). Let q be -1 + (-1 - 3 - -2). Is n at least q?
True
Let z = 105 - 69. Let m be (-135)/z - 2/8. Is m equal to -4?
True
Let g = -1.26 - -1.3. Is -0.1 at least g?
False
Let u be ((-27)/(-30) + -1)/((-1)/7). Is 0 at least as big as u?
False
Suppose 4*c = 1 + 23. Suppose 0 = 4*g - 2*s - 12, -s = 3*g - c*s - 2. Let y = g + -4. Which is smaller: -1/7 or y?
-1/7
Let q = -1 - 0. Let t = 55/171 - 4/19. Is q != t?
True
Let y = 24 - 39. Let q be (-2)/(-3)*(-9)/y. Suppose 6*v - 5*v + 5*w = -5, 0 = -3*v - 4*w - 4. Which is bigger: v or q?
q
Let b = -5 - -4.9. Let h = 0 + b. Are h and 1 non-equal?
True
Let d be -2 - (-3 - 778/(-308)). Let w = -2/77 - d. Which is greater: w or 3?
3
Let w = 6.03 - 6. Let x = -0.03 + w. Let u = 3.06 - 0.06. Do u and x have different values?
True
Let f be ((-5)/10)/(1/12). Let n = f + 7. Let p be (2/(-5))/((-12)/10). Which is smaller: n or p?
p
Let g(z) = z - 7. Let j be g(13). Which is bigger: j or 3/2?
j
Let u = 82 + -46. Which is smaller: u or -2?
-2
Let y = 7 + -5. Suppose 5*z - 4*z = -d, -y*z = 3*d. Suppose z = 4*q - 5*t - 5, q - 2*t - t = 3. Is 3/4 smaller than q?
False
Let r = 12 - 11.91. Let a = -5 - -4. Is a at most as big as r?
True
Let a be (0 + -3)/(-3)*-1. Which is smaller: a or 2/17?
a
Let u be 2 + -3 + 6 + 24/(-6). Let i = -93 - -92.59. Let k = -0.01 - i. Which is smaller: k or u?
k
Let z = -67/3 - -4553/204. Is z less than or equal to -1?
False
Let d be (-1 - -2)/(3/(-9)). Let k be d - (-2 - 469/6). Let x = k + -78. Which is greater: 0 or x?
0
Let c = -15/2 - -7. Let b = 1.7 - 2. Let x = b + 0. Is x not equal to c?
True
Let z = -2949/13 + 227. Which is bigger: z or 1?
1
Suppose -189 - 21 = -6*d. Which is greater: d or -2?
d
Suppose -6*y + y = 35. Is y < -8?
False
Let x = 99603/2908 - 1/727. Is x > 33?
True
Let q(s) = -2*s - 24. Let x be q(-10). Let r(h) = h**3 - 9*h**2 + 8*h - 4. Let k be r(8). Is k less than x?
False
Let u = 35 - 19. Suppose s - 5*p = 20, 4*s - p - u = 3*p. Which is smaller: -11 or s?
-11
Suppose 55 = 3*p - 185. Let f be 2/(-7) - p/(-35). Which is bigger: 0.2 or f?
f
Let n(x) = -6*x - 1. Let k be n(0). Which is bigger: k or 2/183?
2/183
Let i = -0.4 - 0.3. Let m = 45.7 + -43. Let q = i + m. Is 0 less than q?
True
Let u = 0.2 - 0.3. Let l = -0.2 - -0.3. Let i = l + 0.1. Is u equal to i?
False
Let b(w) = -w - 1. Let c be b(-4). Let h = c - 5. Let r be 0/h + 0 + 1. Is 3/2 less than r?
False
Let h = 0 + 0. Let m be 0 + ((-90)/35)/6. Which is smaller: h or m?
m
Suppose 0 = -4*s - 10 + 30. Suppose s*v + 16 = -79. Which is smaller: 0 or v?
v
Let j = -15 - -18.9. Is j equal to -1/3?
False
Let u = -10 - -8.4. Let m = 4.4 - u. Let n = m - 5.8. Which is bigger: 2/3 or n?
2/3
Suppose -3*u = -13 + 1. Suppose u*c + 1 = -3. Let b = 69/91 - 8/13. Is c not equal to b?
True
Suppose 0 = -7*g + 2*g - 300. Let r = g - -1262/21. Which is greater: 0 or r?
r
Let l = 1283 - 1284. Let d be (-1)/4 - 17/(-4). Suppose -d*j + 6*j = -6. Is j smaller than l?
True
Let n = 30 - 21. Suppose -4*u + 0 + 36 = 0. Is n greater than u?
False
Let z = 4796/24459 - 2/789. Let j = 117/124 - z. Which is bigger: 1 or j?
1
Let r = 5 + -14. Let b = r - -9.1. Let l = 3.07 + -0.07. Do l and b have different values?
True
Let k(r) = -r**2 + 7*r + 5. Let h be k(7). Suppose -2*c - 1 = -h. Let w be c/(-3)*18/32. Is -1 equal to w?
False
Let u = 116.51 + -117. Let f = u + 0.09. Is 2/7 at least f?
True
Let a be 6/(-33) + 435/275. Is 0.1 smaller than a?
True
Let t(f) = -2*f + 17. Let o be t(8). Which is smaller: 3/61 or o?
3/61
Let f = 2.87 + 0.13. Is f equal to 0.01?
False
Let i(d) = d**2 + 5*d - 3. Let r be i(-5). Let m be r + 4/(-2) - 0. Are -4 and m nonequal?
True
Let v = -7 + 6.8. Let g = 1.3 + -1. Let q = v + g. Is -4 greater than q?
False
Suppose 3*i = -k - 2*k, -2*k = -5*i + 14. Suppose 5*d = 2*t + 20, -i*t + 12 + 4 = 4*d. Which is smaller: 7 or d?
d
Let d be ((-6)/(-27))/((-4)/(-3)). Is d >= 0?
True
Let j = -1.7 - 0.3. Let p = -2.06 - j. Let b = p - 0.04. Which is smaller: 1/4 or b?
b
Let o be (-2)/3*(-9 + 3). Suppose 0 = 2*b + 5*m - 4*m - 2, 0 = -2*m - 8. Is b bigger than o?
False
Let c = -6 - -10. Let b be ((-84)/6)/((-2)/(-3)). Let z be 0 + (b/(-9) - 3). Which is bigger: c or z?
c
Suppose 5*k - 10 = 10. Let o be (10/(-6))/(4/(-12)). Which is bigger: o or k?
o
Let p = -4 - -1. Let b = 4 + p. Let j = b - 3. Is 2 bigger than j?
True
Let c = 23 + -68/3. Let u(z) be the second derivative of z**5/20 + 2*z**4/3 + 4*z**3/3 + 7*z**2/2 + z. Let o be u(-7). Is c <= o?
False
Let m = 15.9 + -16. Which is greater: 1 or m?
1
Let u = -5.6 + 6. Let c = -0.5 + u. Is -0.06 > c?
True
Suppose -s = -5*r + 10, 3*r = -0*s - 5*s + 6. Suppose -r*p - 4 = -i, -5*i + 2 = -5*p + p. Which is greater: p or -5?
p
Let f = -1085 + 115011/106. Is 0 at most f?
True
Let s = -5 + 3. Let c = s + -3. Is c < -5?
False
Let w = -30 - 0. Is w at least as big as 2/5?
False
Suppose -4 = -d + 2*n + 6, 0 = 4*d + 4*n - 76