ich is smaller: g or h?
h
Let j = 17 + -45. Which is smaller: -30 or j?
-30
Suppose 7*p - 104 + 118 = 0. Which is smaller: p or -9/13?
p
Let l(d) = -d**3 - 7*d**2 - 7*d + 2. Let b be l(-5). Let g = 55 - 52. Suppose -42 + 3 = g*c. Is b greater than c?
False
Let j = 457 + -457. Which is smaller: j or -2/773?
-2/773
Suppose 2*b + 201*s = 204*s - 14, -9 = b - 2*s. Which is smaller: b or -2/4317?
b
Let s(a) = -a**2 + 7*a + 7. Let p be s(7). Let l be 70/(-42)*(-3)/30. Which is bigger: p or l?
p
Suppose 3*u = -5*k - 64, 2*k - 5*k = -2*u - 30. Which is smaller: u or 20?
u
Let x = -9082 - -328975/36. Let z = x + -231/4. Which is smaller: z or -2?
-2
Suppose b = -4*z - 65, 3*z + 0*b + 55 = -2*b. Let m = -879 + 863. Does z = m?
False
Suppose 5 = 3*q - 4. Suppose -q*r = -31 + 25. Is r at most -2?
False
Let l = 7/6 - 5/6. Let t = -2096.6 + 2100.2. Are t and l nonequal?
True
Let s be (6/6 - 216)*(-12)/(-15). Which is bigger: -512/3 or s?
-512/3
Suppose -4*c - 11 = -2*b + 89, -2*b = -2*c - 92. Suppose u = -5*p + 209, 3*u + 107 - 324 = -5*p. Do p and b have the same value?
False
Let m = 14.79 - 15. Let o = -29.89 - -30. Let z = o + m. Is z less than 0?
True
Suppose 398 = 2*w + 2*c, -2*w + 8*c = 12*c - 400. Is 198 > w?
False
Let d = 17 - 12. Let i = 9 - d. Let o = -2 + i. Is o at most as big as -1?
False
Let n(l) = l**3 - 2*l**2 - 4*l + 1. Let a be n(4). Let k = -83 - -101. Which is greater: k or a?
k
Let n(r) = r**3 - r**2 - 2*r + 9. Let l be n(0). Let u(b) = -b**3 - 7*b - 10*b + l*b**2 + 1 + 8*b. Let h be u(8). Is h != -3?
True
Suppose 0 = -f + 5*f - 8. Suppose 2*t = k - 13, 5*t = f*k - 38 + 3. Let w be 2/t - 13/(-99). Is 1 < w?
False
Suppose -5*p - 16 = -a, -2*a + 2*p = -0*p. Let t be -2 - (-70)/6 - a/12. Is t less than 10?
False
Suppose -4*q - 193 = h, 3*q = 5*q + 4*h + 86. Do -48 and q have different values?
True
Suppose -5*f - 6 = 5*z - 4*f, -3*z - 22 = -4*f. Let n = z + 5. Suppose -3*h - 9 = s, 3*h + h + 12 = -n*s. Which is smaller: h or -2?
h
Let m be (85/(-28))/(-1) + -4. Let l = -5/7 - m. Which is smaller: -0.01 or l?
-0.01
Let a = 18 + -121/7. Suppose -3*s - 2 = 3*q + 4, q = 5*s - 8. Do s and a have the same value?
False
Let z = -30 + -3. Let i = 49 + z. Let h = i + -31/2. Is h at least as big as 5?
False
Let d = -347399/136230 - -521/239. Let j = 4/57 + d. Is 1 > j?
True
Let n be 2140/(-132) - (-12)/(-9). Which is smaller: -19 or n?
-19
Let d = 0.52 - -22.48. Let f = -23.62 + 0.12. Let x = d + f. Are -2/5 and x equal?
False
Let n(c) = 2*c**3 - 2*c**2 - 2*c + 1. Let p be n(2). Suppose b + p*m + 80 = -b, -2*b - 76 = 3*m. Is -36 less than or equal to b?
True
Let z = 33 + -18. Let x = -7 + z. Let y be 2/16 - 497/(-56). Which is bigger: y or x?
y
Let h be 1/2 + (-7)/14. Suppose -2*l - 4*s = -s + 41, -4*l + s - 75 = h. Is l > -19?
False
Let z = -761 - -760.9. Are 119 and z nonequal?
True
Let y = 140 + -139. Let r be -32 - -2 - ((-2)/2 - y). Which is bigger: -53/2 or r?
-53/2
Let j(v) = 5*v**2 + 20*v + 19. Let n be j(-1). Is n <= 6?
True
Let h be 5 - (7/11)/((-138)/(-1058)). Which is smaller: h or 2/7?
h
Let h be (-56)/1526*(-10)/1520. Is h > -1?
True
Let n be (-77)/(-1078)*(0 + 17). Is 1 greater than n?
False
Let o = -99 + 94. Is 2 bigger than o?
True
Let i be 0 - 1/((-160)/(-62)). Let z = i + 3/16. Suppose 4 = -5*k + k. Which is smaller: z or k?
k
Suppose -167 = -4*m - 5*j - 64, 2*m - 5*j - 89 = 0. Let w = -36 + m. Does -5 = w?
False
Let u(g) = g**3 - 5*g**2 + 4*g - 8. Let q be u(6). Let f be (-56)/(-42) - q/(-6). Which is greater: f or 13?
13
Let c = 769 - 1079. Is -309 >= c?
True
Let m = -894973/197 + 4543. Which is smaller: m or -1?
-1
Let i(y) = -y**2 - 6*y + 8. Let z be i(-7). Suppose -4*p + 18 = -2*p. Suppose -p*q + 24 = -q. Is q at most as big as z?
False
Let c be (-6)/(-16) + (465/(-24) - -4). Is c < 21?
True
Suppose -4*d + 55 = -5*q - 119, 3*q - 98 = -2*d. Let k = d + -62. Which is smaller: k or -1?
k
Let r(d) = 6*d**3 + d**2 - d - 1. Let i be r(-1). Let o be (-6)/(-86)*(i + 102/18). Let n(b) = -b. Let q be n(1). Is q greater than o?
False
Let c(q) = q + 8. Let j(u) = -u**3 - 9*u**2 - 7. Let d be j(-9). Let x be c(d). Which is greater: -2/105 or x?
x
Let s = 2.43 - -0.07. Let c = 2.4 - s. Let a = -1 + 1.1. Is a greater than or equal to c?
True
Suppose -3598 = -3*u + 2*l, -8*l + 1182 = -3*u + 4*u. Is 1199 less than or equal to u?
False
Let w = 30 - 31. Let i be (-11 + 6)*w/5. Which is greater: i or 1/20?
i
Let r = -93 + 92.8. Is 6/37 at most r?
False
Let h = 452 - 61018/135. Let i be (-1 + (-1 - -4))/(-2). Is i >= h?
False
Let n = -369 - -359.05. Let h = n - -10. Let x = -0.04 + h. Does 0 = x?
False
Suppose -s + 4*i = 94 + 69, 2*i = 4*s + 596. Which is greater: -144 or s?
-144
Let l be 8/(-2) - (1 - 5). Suppose l*k - k - 4 = 0. Is k not equal to -6?
True
Let r = 145 + -152.1. Let b = -57.1 - r. Which is greater: b or -0.1?
-0.1
Suppose -5*c + 11 + 59 = 0. Let y = c + -17. Which is smaller: -2 or y?
y
Let o be (1/2)/((-16)/(-160)). Suppose -4*m - m = 2*d + 53, 0 = 5*d + o*m + 110. Which is greater: d or -1?
-1
Suppose -10*h + 783 = 4*h + 73*h. Let c(s) = -s**3 - s**2 + s + 1. Let y be c(-1). Let m = 9 + y. Is h greater than m?
False
Let u be 1/(-9) - 4940/30. Let m = u - -165. Which is bigger: 4 or m?
4
Let k(q) = 3*q**2 - 60*q - 172. Let y be k(22). Let h be 1/(((-1)/(-39))/(-1)). Which is smaller: h or y?
y
Let t = -107.135 + 1.135. Which is smaller: t or -2/15?
t
Let q = 20.4 + -21.4. Which is bigger: q or -6/11?
-6/11
Let c = 2.36 + -1.36. Is -0.055 > c?
False
Let o = 202 - 93. Are o and -1 non-equal?
True
Let m = 3524.3 + -3524. Let x be (2 - 24/10) + 0. Are x and m equal?
False
Let h = 55.5 - 44. Let v = h + -1.3. Let k = -10 + v. Is k greater than or equal to -3?
True
Let n = 26 + -23. Suppose -k - 7 = 2*b, k + 6*b = n*b - 6. Does k = -8?
False
Let f = -1391 + 1390. Are -142 and f unequal?
True
Let j(z) = 7*z - 7. Let u be j(-4). Let f = -31 - u. Is f greater than or equal to -2/9?
True
Let d = -7 - -6.8. Let n = 1.04 + 3.96. Which is bigger: n or d?
n
Let y be ((-8)/12)/((-2)/3). Let z = 40 - 58. Let v = z + 17. Is y less than v?
False
Let y(c) = c**3 + 22*c**2 + c + 21. Let t be y(-22). Which is greater: t or 2/141?
2/141
Let p be (89 - 96)/(2/6). Is -39/2 smaller than p?
False
Suppose -2*v + 10 = -5*n, -2*n + v = -0*v + 5. Suppose 3*p + 3*p + 6 = n. Let g be 1/(7/(-2)) + 0. Is p smaller than g?
True
Suppose -13*n + 14*n - 24 = 0. Let u = n + -14. Are -2 and u equal?
False
Suppose 140*v + 9477 = 127*v. Is v > -729?
False
Let a = -23 + 16. Let j(x) = -2*x**2 - 14*x + 3. Let n be j(-7). Let p be n*-2 + 1 + -1. Which is smaller: p or a?
a
Let r be (-16)/140*-5*4/8. Which is smaller: -101 or r?
-101
Suppose d = -2*l - 997, -7*l + 10*l + 1463 = 5*d. Which is smaller: l or -497?
-497
Let q = 26 + -29. Let l be (-3)/(-3)*8 - q. Let s be (l/(-627))/(2/(-18)). Which is greater: s or 0?
s
Let u = -0.531 + -1.441. Let s = u + -0.028. Is s bigger than 25?
False
Suppose 0 = -11*h + 211 - 35. Is -2 at least as big as h?
False
Let u be 5/((-1525)/(-2))*30. Which is bigger: 1 or u?
1
Let z = -42 + 33. Let d be z/(-15) - 1397/220. Which is greater: -5 or d?
-5
Let d = -149.9 - -146. Is 0.2 not equal to d?
True
Let s(n) = 18*n**2 + 6*n - 3. Let j = 2 - 0. Let h be s(j). Let d be h/(-234)*(-8)/6. Which is bigger: 0 or d?
d
Let t(z) = -z**3 - z**2 + 3*z + 2. Let d be t(-2). Suppose 4*i - 3*i = -5*c + 22, i - 2 = d. Let r be 27/9*c/3. Which is bigger: 6 or r?
6
Let y = 23.2 - 23.24. Is 21 >= y?
True
Let j be (-6 - -5) + 38849/45034. Let p = j + 2/2047. Is -1 < p?
True
Suppose x + 4 = 4*w - 3, 5*x = -2*w - 13. Suppose 5*v + d = 4 + 8, -5*d = -2*v + 21. Let l be 1/(1/v*3). Is w > l?
False
Suppose -3*i = 3*s + 18, 0*s - 10 = 2*s. Let r = 25476/47 - 542. Is r at most i?
False
Let w = 3 + 12. Let x be 15*-1*(5 + -6). Do x and w have the same value?
True
Suppose 0 = -0*u + 4*u - 20. Let t(m) = -m**3 + 12*m**2 - 31*m + 4. Let k be t(7). Suppose 3*c - 2*s = 22, 0 = 6*c - 10*c + 4*s + k. Which is smaller: u or c?
u
Let q(v) = -4*v**2 - 6*v - 7. Suppose 2*u = 3*c - 13, -3*u + 2*c = -2*c + 18. Let t be q(u). Is t greater than or equal to -11?
True
Suppose -2*g - 12 = -0. Let u be (8/g)/(6 - 12). Suppose 2*i = 7*i. Is i at most as big as u?
True
Let h(a) = a**3 + 1