gger: 34 or o?
34
Let c = -34.9 + 35. Let d = c - -5.9. Is d > 1?
True
Let v = -3357352/9 - -373707. Let a = v + -667. Which is greater: 0 or a?
a
Suppose 5*v + 2*r = v + 50, 0 = -r - 5. Let z be ((-3)/(-5))/((-3)/v) - -52. Does 49 = z?
True
Suppose 30*f + 315 = 23*f. Which is greater: -91/2 or f?
f
Let w(f) = 33*f**3 - f**2 + f + 1. Let t be w(-1). Let b = 20 + t. Let l = -45 - -29. Which is smaller: b or l?
l
Let c be (1/(-1) - 0)*66. Is c at least as big as -66?
True
Let b = -43 - -171/4. Let k(s) = -s**3 + 8*s**2 + 3*s - 12. Let t be k(8). Let p be ((-6)/t)/(0 + 1). Is p bigger than b?
False
Let o be (-9)/(-2) + 2/(-4). Suppose -m + o*m = 0. Let x(w) = w**3. Let q be x(m). Is 0.2 < q?
False
Let j = 8463581519/122 + -69373165. Let v = j + -454. Which is smaller: v or 1?
v
Let p be 46/897*27/57. Which is greater: -1 or p?
p
Let u = 20 + -34. Let y be 24/u*7/(-2). Which is bigger: 3 or y?
y
Suppose -1 = -2*q - 3*m, 4*m = 5*q + m - 13. Let i be 1/(1 - (0 + q)). Is i less than -1?
False
Suppose 61 = 9*v - 74. Is v bigger than 156/11?
True
Let s = 0.282 - 0.282. Is s not equal to -2/67?
True
Suppose 34*c = 168 + 172. Let q = -9 + 18. Which is smaller: c or q?
q
Let m be (-693)/946 + (-3)/(-6). Which is greater: -1 or m?
m
Let z(o) = 12*o**2 - 2*o + 2. Suppose -9*m - 9 = -18*m. Let b be z(m). Which is smaller: b or 11?
11
Let c(n) = n + 2. Let h be c(-3). Suppose 3*q = 4*r - 2*r - 4, -4*r = q - 22. Suppose -6*y + y = 0, -5*k + r*y = 10. Which is greater: k or h?
h
Let k = -28 - -28.21. Let j = 44.69 - 45. Let h = j + k. Which is greater: h or -2/3?
h
Let i = -19236 + 2327586/121. Which is smaller: 1 or i?
i
Let t be (7/(-3))/((-2)/(-102)). Let u be ((-24)/27)/(-4) + (-2122)/18. Let r = u - t. Do 0 and r have the same value?
False
Let n(o) = o**2 - 2*o. Let h be n(3). Let j(c) = 0 + 1 - 5*c**3 + 4*c**h - 7 + 7*c**2 - 9*c. Let k be j(5). Which is greater: -1/11 or k?
-1/11
Suppose 9 = 11*o - 35. Suppose -v - z + 4 = 0, o*v - z + 3 = -1. Let d be ((-1)/4)/((-4)/(-2)). Is d less than v?
True
Suppose -35*q = -6*q - 2842. Which is greater: 97 or q?
q
Let g be (-2 - 1) + 6 + 41. Let v = g - 24. Which is greater: v or 21?
21
Let f(x) = 2*x**2 + 37*x + 100. Let z be f(-14). Which is bigger: 7 or z?
7
Let a = -135 + 137.92. Let h = a - -0.08. Is h greater than -2?
True
Let h = -502 + 23591/47. Which is bigger: 0 or h?
0
Let z(c) = 4*c - 29. Let l be z(-16). Let b = -467/5 - l. Is b <= 2?
True
Let j = 4894 + -122376/25. Which is greater: j or -1/5?
-1/5
Suppose 0 = -2*i + 6*i - 12, 0 = z - i + 34. Let t = -202 + 172. Is z at least as big as t?
False
Let g(o) = -o**3 - 5*o**2 - 4*o - 1. Let j be g(-3). Let n be ((441/14)/j)/((-6)/8). Let l(x) = -x**3 + 11*x**2 - 9*x - 4. Let a be l(10). Is a smaller than n?
False
Let k = 1104 - 1104.3. Is -37 greater than k?
False
Suppose -2*p = 4*w - 78, -3*p - 1 - 1 = -w. Let q be (38/8)/(w/2). Let t = q + -1/17. Is -0.06 less than t?
True
Let a be 10/8 - 0 - (-141)/(-94). Which is smaller: -105 or a?
-105
Let o = 1.84 + -1.9. Let x = 0.16 + o. Let v = 42/5 + -8. Is v bigger than x?
True
Let o = -24.8 + -168.2. Which is bigger: o or 2/5?
2/5
Let m be (-5 - (-721)/105)/(6/140). Is 43 >= m?
False
Suppose 39 = 2*y + 5*b, -2*y + 9 = -0*y - b. Let u(m) = m**2 - m - 3. Let l be u(-3). Is l greater than y?
True
Suppose 0 = n - 4*d - 27, 0 = -2*n - n - 5*d - 4. Let u = n - 7. Suppose 5*c + 25 = u, z + 3*c = -z - 17. Is z at least as big as -2/19?
False
Let l(g) = g**3 + 14*g**2 + 22*g + 32. Let o be l(-14). Which is bigger: o or -275?
-275
Let o be 5/(-15) + (-80)/3. Let x = 30 + o. Suppose 5*z + 5*r = 10 - 0, -12 = 3*z - x*r. Which is smaller: z or 3/7?
z
Let f be 6 - 7 - 1/((-21)/24). Suppose 4*v - 2 + 6 = 0. Does v = f?
False
Suppose 5*u - 53 = 2*z - z, z = 2. Let g(p) be the third derivative of -p**5/60 + 5*p**4/12 + 3*p**3/2 + 16*p**2. Let h be g(u). Which is greater: 3 or h?
3
Let b = -456 - -459. Let d = 11 - 8. Is d less than b?
False
Let h = -86.7 - -91. Let k = h - 3.8. Is k not equal to -3/4?
True
Let s = 176101/15 - 11748. Which is smaller: s or -7?
s
Let n = 4.89 + -1.17. Let l = -4.2 + n. Are l and -0.1 nonequal?
True
Let j be ((-4914)/1992)/(-9) + (-1)/4. Let q(w) = -w + 1. Let f be q(1). Is f less than j?
True
Let o = 257 + -181. Let u = o + -87. Does -2 = u?
False
Let u(j) = -19*j - 90. Let p be u(20). Is -469 at least as big as p?
True
Let g(h) = -h**2 + 10*h - 14. Let w(z) = -2*z - 24. Let a be w(-16). Let s be g(a). Which is smaller: s or 8/15?
8/15
Suppose s - 14 = -4*x, 0 = 2*s - 9*x + 6*x - 28. Which is smaller: s or 9?
9
Suppose 3*h = 2*p + 2*h + 1, -14 = -2*p - 2*h. Let v = -11/26 - 5487/182. Let c = v - -32. Which is greater: c or p?
p
Let r be 6/((-1)/(-1 + 0)). Let f(t) = -t**3 - 4*t**2 - 2*t - 1. Let o(n) = -3*n - 55. Let y be o(-17). Let a be f(y). Is a < r?
False
Let h = 96 - 94. Suppose -u = k + h*k - 2, 5*k + 3*u = 6. Which is bigger: -75 or k?
k
Let p be (42/8)/(45/(-120)). Let u = p + 12. Is -3 at most as big as u?
True
Let f = 46112/29655 + 2/3295. Which is smaller: 1 or f?
1
Suppose 34 = 5*y - 3*a, -4*y - y = 2*a - 44. Let o(l) = -l**3 + l**2 - 4*l + 3. Let r be o(2). Let p be (y/12)/((-16)/r). Is p bigger than -1?
True
Suppose -44 = -5*s + 44*t - 40*t, -10 = -s + 2*t. Is s bigger than 1.3?
True
Suppose -k - 2 = 2. Let n be (k/6)/(3/(-36)). Suppose 15 = -13*r + n*r. Do -2 and r have the same value?
False
Suppose -v - 3 = 0, 38*v = 2*m + 36*v - 6. Which is smaller: -2/83 or m?
-2/83
Suppose 2 = -2*u - 0. Suppose -7*q - 565 = -2*q. Let g = q + 901/8. Is g greater than u?
True
Let x(f) = f**3 - 9*f**2 + 1. Let p be x(9). Let w be (-2)/4*0*-1. Let d = 0 - w. Is p bigger than d?
True
Let b = 25 + -32. Let i = b - -8. Do 0 and i have different values?
True
Let b = -8655 - -42616/5. Suppose -5*y + 55 = 710. Let g = y - b. Is 1 at least as big as g?
True
Let v = -8.5 + 8.5. Which is greater: v or -66?
v
Suppose 3*g + 79 - 46 = 0. Are 7 and g equal?
False
Suppose 0 = m + 11*m + 348. Is -28 bigger than m?
True
Let v(z) = z**2 - 37*z + 133. Let a be v(33). Is a bigger than 7/76?
True
Let f(c) = -c + 2. Let m be f(1). Let n be 2 + (3 + 3 - m). Suppose 3*z - 20 = -5*t + n, 3 = t. Do z and 4 have the same value?
True
Let n(h) = -8*h**2 - h + 2. Let v be n(-2). Let p be (80/4)/(2 + 18/(-10)). Let g = 72 - p. Is v at least as big as g?
True
Suppose -25*v = 4 + 771. Which is bigger: -3 or v?
-3
Suppose 0 = -2*a - 3*b + 23, -2*a + b = -a - 9. Suppose -4*w + a + 10 = 0. Let j = 221 - 216. Is w not equal to j?
False
Let p be 1 + -18 + (-340)/20 + 24. Let h(l) = -3*l + 2. Let y be h(4). Is p >= y?
True
Let a be (-29)/((-1566)/(-12)) - 29/(-9). Do a and -5 have different values?
True
Suppose -2*n - 28 = 40. Let k be (710/n)/5 + 4. Suppose -4*t = -4*c, -4*c = 3*t - 6*c. Is t less than k?
False
Let t(l) = 4*l. Suppose -3*v + 2*v - 3 = 0. Let i be t(v). Let k = -8 - 4. Is i < k?
False
Suppose -5 = 3*q - 2*q. Let m = q + 4. Is 2 <= m?
False
Let m = 252 + -247. Which is smaller: 13 or m?
m
Let b be 6 + (-170)/30 - 1*3. Let c = b - -67/25. Which is smaller: c or -1?
-1
Let q = 191 + -13153/69. Is 0 at most q?
True
Suppose 4*h + 6*t - 432 = 2*t, -2*h = -t - 216. Suppose 19*v + h = 7*v. Which is bigger: v or -11?
v
Let i be (-2)/8*(-2)/(3 + -4). Let j = 1/1396 + 4147/57236. Which is smaller: i or j?
i
Let y(f) = f**3 + 41*f**2 + 84*f + 249. Let p be y(-39). Are 17 and p non-equal?
True
Let c be (((-18)/(-15))/(-2))/(4/(-20)). Suppose l + c*l - 5*x = 1, x = -5*l - 6. Is -1/50 <= l?
False
Suppose -55*k + 2001 = -124*k. Suppose -2*j - 43 = 15. Is k <= j?
True
Let l(z) = z**3 + 12*z**2 + 34*z - 23. Let a be l(-10). Which is smaller: a or -162?
a
Let s = -0.09 - -0.29. Let y = -0.2 + s. Is y at least as big as 1?
False
Let o = -0.7 - 2.4. Let f = 1.1 + o. Is 0.01 equal to f?
False
Let u = 14 - 8. Let c be (6/(-172))/(u/8). Which is smaller: c or -1?
-1
Let d = 20 - -2. Let l = -21 + d. Which is smaller: 7/8 or l?
7/8
Suppose -3*q = 6*q - 918. Let x = 61 - q. Which is bigger: -42 or x?
x
Let r be (2/4 - 1)/(59/(-3422)). Which is greater: r or -1?
r
Let t(c) be the second derivative of c**5/20 - c**4/12 - c**3 + 4*c. Let y be t(3). Is 1/5 less than or equal to y?
False
Let v(z) = -z**3 + z**2 + z - 5. Let l be v(0). Let h(t) 