 Is -1 greater than h?
False
Suppose 8 = 3*z - 16. Suppose 1 = -y, 3*y - z - 9 = -5*u. Suppose -u*a - 3*b = -39, 3*a - 8 = 5*a - 4*b. Are 5 and a nonequal?
True
Let g(h) = -3*h + 8*h + h**2 + 9 - 4*h. Let o be 2/(-12) - (-1)/6. Let a be g(o). Are 9 and a non-equal?
False
Let j(n) = -170*n**3 - 2*n - 2. Let u be j(2). Let a = u - -36878/27. Is a not equal to -1?
True
Suppose -2*z - 2 = -4*p, 5*p - 13 = -4*z - 4. Which is smaller: p or 363?
p
Let a = 205 + -171. Is a >= 33?
True
Let y be (-146)/(-511) - (214/(-14))/(-1). Which is smaller: y or -5?
y
Suppose 4*c - 4 = 4*d, -5*d - 11 = -c + 2*c. Let i = -2 - -7/3. Which is bigger: i or c?
i
Suppose 0 = n - 0*n + 1, -4*n - 889 = -5*d. Let b be (2 - 0)*(-3)/d. Which is greater: b or -2?
b
Suppose 0 = 3*d + 2*c + 842 + 2524, 2236 = -2*d - 4*c. Are -1124 and d equal?
True
Let y be 4/(0 + -2) - 0. Let p be y*1/((-7)/8). Which is smaller: p or 3?
p
Let w = 685 - 681.99. Let r = -60 - -57. Let x = w + r. Which is bigger: 0.1 or x?
0.1
Let z(i) = -5*i + 6. Let o be z(2). Let k be (-76)/(-1197) - o/(-14). Let v = -1 - -3. Which is smaller: v or k?
k
Let l = 2451/4 + -10547/20. Let w = -85 + l. Suppose 9*z = 4*z. Which is smaller: z or w?
z
Let u = 2 - 1. Let o be 1/(-3)*(-6 - -99). Let i = o + 34. Which is smaller: u or i?
u
Let v be (-12)/3 - 7 - 2/1. Let f be 8 - 10 - (-1 - (-5)/v). Which is bigger: -1 or f?
f
Suppose 0 = -4*c - 5*k - 1, -7 = k - 2. Which is smaller: 12 or c?
c
Let b be ((-2)/6)/((-4)/(-84)). Let o(j) = j**2 + 5*j - 10. Let n be o(b). Which is greater: 1 or n?
n
Let w = -7.529 + -0.071. Let a = -0.4 + w. Let z = -0.968 + -0.032. Which is greater: a or z?
z
Let r(v) = -13*v + 38 + 2*v - v**3 + 16*v**2 + 3*v + 3*v. Let z be r(16). Which is bigger: -43 or z?
z
Let x(p) = 7*p + 2. Let q be x(1). Let i(d) = -d**2 + 9*d + 3. Let n be i(q). Suppose -5*s - 15 = 0, 2*j - n*s - 9 - 2 = 0. Which is bigger: j or 3?
3
Let w = 5399/4268 + 3/388. Which is smaller: w or 0?
0
Let z = 49 - -3. Suppose 6*a = z + 56. Let u = -17 + a. Which is greater: 2/27 or u?
u
Suppose 4*k - 20 = -b + 6*b, 4*k + 4*b + 16 = 0. Suppose 0 = -3*g, 5*f = -0*f + 2*g - 185. Let h be ((-2)/(-3))/(f/3). Is h smaller than k?
True
Let j = -67404298310/5537 - -12173433. Let i = j - 2/113. Let t(u) = -u + 4. Let f be t(5). Is f <= i?
True
Suppose 47 = -17*f + 30. Which is greater: 14/41 or f?
14/41
Let j be 32/(-14) - (-26)/(-91)*-1. Is -0.639 less than or equal to j?
False
Let o be (-58)/(-435) - (-52)/60. Is 25 greater than or equal to o?
True
Let z = 60 + -22. Let g = 38 - z. Which is bigger: -1/17 or g?
g
Let s(r) = 4*r - 22. Let x be s(20). Let a = x + -57. Do a and 2/115 have different values?
True
Let l be 23/(-23)*(-18)/(-7). Which is smaller: l or -4?
-4
Let r = -7 - -6.2. Let u = -0.8 - r. Suppose 9*k - 8*k - 4 = 0, -2*d + 3*k = -8. Do d and u have the same value?
False
Let w = -0.154 + 2.154. Is -30 less than or equal to w?
True
Suppose -6*p + 20 + 28 = 0. Which is smaller: 47/6 or p?
47/6
Let h = -827 - -688. Is h <= -132?
True
Let y be (264/64)/(-11) + (-123)/(-8). Let f = 1 - -9. Let i be y/f + 105/(-6). Is -16 > i?
False
Let s(w) = -6*w - 10. Let j be s(-2). Let h = j - 23. Is h >= -23?
True
Let a(r) = 2*r**2 - 59*r + 181. Let z be a(26). Let f = -23/370 - -6/37. Which is smaller: f or z?
z
Let n = 4/123 - 65/738. Which is greater: 1 or n?
1
Let b be 6/(-2) + 108/(-14). Let v = b + 11. Let i = 3 - 2. Which is smaller: i or v?
v
Let i be ((-2)/(-8))/(131/(-4)). Is i less than 0?
True
Let u(n) = -n**3 + 16*n**2 + 17. Let z be u(16). Let g = z + -16. Is -0.2 <= g?
True
Suppose 0 = -3*p - 2 - 7, 3*x = 2*p + 30. Let m be (-9)/(-3*(-1 - (-2 - 0))). Suppose x = -5*s + m. Which is smaller: s or 4?
s
Let u be ((-54)/45)/((-2)/(-5)). Is u at most as big as -3?
True
Let z be (45/(-2))/3*(-8 - -10). Which is smaller: -14 or z?
z
Let g be 1568/(-35) + (10 - 4). Is g bigger than -39?
True
Let w = 0.62 + -0.31. Let d = 0.21 - w. Which is smaller: d or -9?
-9
Let v = 1 - 3. Let q(p) = p + 1. Let a be q(1). Let o be a - 3/1 - 15/18. Is v smaller than o?
True
Let b = 10 - 8. Suppose 0 = -b*g - 1 + 7. Let q be g/78 + (-2)/4. Is 1 < q?
False
Suppose 0 = j - 23 - 3. Suppose -j*k - 10 = -28*k. Is 4 < k?
True
Suppose -5*h + 3*t - 43 = 0, h + 3*t + 0 = -5. Let y be ((-24)/(-18))/(-2 + (-11)/(-6)). Let l = h - y. Are -0.4 and l nonequal?
True
Suppose 52 = 5*p - 3*i, 6*p + 2*i = 4*p + 24. Let o(n) = n**3 - 10*n**2 - 10*n - 9. Let r be o(p). Let m be 44/15 - r - 1. Which is greater: 0 or m?
0
Let y = 73 - 63. Are -9/5 and y non-equal?
True
Suppose 9*z - 457 = 155. Let x = -50 + z. Which is smaller: x or 3?
3
Suppose -23 = r - 112. Let m = 188 - r. Let b be -2 + 3*57/m. Is -1 at most b?
True
Suppose 0 = 16*d - 7*d + 324. Which is smaller: -37 or d?
-37
Let w be 3/(552/(-146)) + 1. Let y be ((-34)/(-136))/((-15)/(-4) + 2). Let r = y + w. Is -2 smaller than r?
True
Suppose -3*m = -2*s - 0 + 5, 0 = 3*s - 3*m. Which is bigger: s or 3.1?
3.1
Let j = -0.23 + 0.15. Let l = -0.82 + j. Is 2 at least l?
True
Let z = 0 - 0. Let h be 2 + 2 + 4 + z. Let l be 0/(4 - (h - 2)). Is 2/7 equal to l?
False
Let p = 26 + 40. Let s = 49 - p. Which is smaller: -16 or s?
s
Let i(y) = -37 - 62*y + 123*y - 65*y. Let p be i(-5). Is -18 < p?
True
Suppose j - 24 = -25. Is j less than 5.6?
True
Let o be -1*(-5 + -3 - -109). Is o smaller than -99?
True
Let u = -230127/38 - -6054. Is -2 at most as big as u?
True
Let w = -29 + 17. Let x = -138 - -120. Let o be 5 - 10*x/(-12). Which is bigger: o or w?
o
Let j(l) = -l**3 - 9*l**2 + 1. Let c be j(-9). Let k(p) = -p + 1. Let o(y) = -y - 2. Let b(r) = -4*k(r) - o(r). Let t be b(c). Is t less than or equal to 0?
False
Let l = -30139/255 - -589/5. Let o = -1/17 - l. Which is smaller: -1.7 or o?
-1.7
Let f(n) = n**2 + 4*n - 193. Let a be f(12). Which is smaller: a or 16/99?
a
Let s be 2*55/7*(-56)/16. Which is bigger: s or 0.2?
0.2
Let x be (4 - 6) + (-3 - -2). Let v be (x/(-9))/(2/(-6)). Let l be (-14)/(-88) + (-1)/4. Which is greater: v or l?
l
Let t be (-24)/(-11) - 26/143. Suppose 0 = -t*v + 6, y + 0*y - 5 = -4*v. Is -29/4 greater than y?
False
Let t be (-8)/20 - 27/(-5). Is -1.8 <= t?
True
Let s = -377 - -402. Which is smaller: s or 32?
s
Let j = -76411/35 + 2183. Which is bigger: 1 or j?
1
Let r(p) = p + 7 + 2*p + 0*p**2 - p**2. Suppose -3*a - 3*x = -a - 25, 0 = 3*a - 3*x. Let y be r(a). Which is smaller: y or 1?
y
Let b be 4 - (-3 + 12/3). Suppose b = 7*h - 4*h. Which is smaller: -1.1 or h?
-1.1
Let s = -119 + 119.112. Let v = s + 0.888. Which is bigger: -0.71 or v?
v
Let r be 132/(-1287) - 2*2/(-30). Let y(n) = -n**3 + 2*n**2 - 2*n + 3. Let s be y(2). Is s at least r?
False
Let i be 3/2 - (-9)/18. Suppose -i = 3*t + 2*s + 7, 4*t - 4*s = -12. Is -3 < t?
False
Suppose -4*d + 18 = 6, -2*d + 9 = n. Suppose -3*t + 18 = -n. Let a be 3/3*(-5)/t. Which is greater: 0 or a?
0
Let x(y) = 23*y - 115. Let l be x(5). Which is smaller: l or 7/31?
l
Let i be (-1 - -3) + 18/6. Suppose -i*a = -0 - 10. Let d = -0.04 - -0.64. Do d and a have the same value?
False
Let v = 66.2 + -9.2. Let w = -55 + v. Which is smaller: -42 or w?
-42
Suppose 0 = -3*k - 2 - 7, -5*k - 11 = 4*u. Is u smaller than 823?
True
Suppose -2*f + 196 = 2*f. Suppose 0 = -3*x + 77 + f. Let u be (-18)/7*x/45. Which is bigger: u or -3?
u
Let v = -2/3161 - 9205/439379. Do 0 and v have the same value?
False
Let h(o) = 6*o - 19. Let t = 10 - 6. Let d be h(t). Which is greater: d or 1?
d
Let q be (-1430)/1287 + (-62)/9. Let x = -14 + 7. Is q bigger than x?
False
Let v be (-70)/2*44/(-5). Suppose 0 = -3*a - a - v. Let m be 4/14 + 110/a. Which is smaller: -2 or m?
-2
Let i = -1/519 + -634/173. Let p = 73/5 + -169/15. Let n = i + p. Which is smaller: n or 0.1?
n
Let q = -100 + 108. Let u = -1 + 3. Suppose 5*y - 4*p = -2*p + 6, 0 = -u*y - p - 3. Is q less than or equal to y?
False
Let m be 0 - 24*3/6. Let l = 3 + m. Let f = l - -38. Which is greater: 28 or f?
f
Let v be (-1)/5*12*-5. Let n = 3 - v. Let y = -8 - n. Which is bigger: 1/17 or y?
y
Let p = -22 + 19. Let z be (-5)/(p - (-14)/4). Which is bigger: z or -46/5?
-46/5
Let i = -22 + 23.5. Let g = -1.6 - -1.1. Let d = g - i. Is d <= 3/5?
True
Suppose -4*q + 28 = 4*b, 2*q - 2*b = 5 + 5. Suppose 5*j = 20, -4*i - j + q = -18. Let v = 4