x. Which is greater: c or 1?
1
Let h be 2/44*4 - (-105)/(-154). Let j be 105/(-100) + 1/4. Is h <= j?
False
Let h = -432 + 408. Which is bigger: h or 1?
1
Let l = 153 + -452. Which is smaller: l or -300?
-300
Let x(h) be the first derivative of 3*h**2/2 + 51*h - 14. Let f be x(-17). Are f and 2/97 nonequal?
True
Suppose 2*h - 69 = -2*g + 75, 0 = -3*h + 4*g + 209. Let l = -70 + h. Are -4/23 and l non-equal?
True
Let p be 6 + 3*4/(-6). Suppose -37 = -5*t - p*f, -6*f + f - 10 = -5*t. Suppose -2*l + t = 3*a, 4*l + l = -3*a + 8. Is a at most -1/3?
False
Let s be ((-444)/24)/((-6)/(-130)). Let c = -402 - s. Suppose 2*n + 5*p - 2*p = 5, 4*n + 4*p = 4. Which is greater: n or c?
c
Suppose 8*w + 6265 = 15*w. Is 895 greater than w?
False
Let j = -28 + 27. Let b be (18/(-30))/((-2)/(-5)) - j. Is b less than -0.6?
False
Let y = -30.4 + -1.6. Let r = 33 + y. Is r at least -7?
True
Let s be ((-27)/12)/(99/(-1056)). Which is bigger: s or 149/6?
149/6
Let d(j) = 2*j - 14*j**2 + 2*j + 2*j + 9*j - j**3 + 4. Let h be d(-15). Suppose 7*p - 4*p + 6 = -3*r, h = p - 2*r. Which is bigger: 2 or p?
2
Let o(x) = x - 3. Let s be o(4). Let i = -19936 - -19866. Which is bigger: i or s?
s
Let q = 143 - 713/5. Let c(p) = -p - 7. Suppose u + 31 - 5 = 5*o, -2*u + o - 16 = 0. Let s be c(u). Is q less than or equal to s?
False
Let d = 1043 + -802. Which is smaller: d or 242?
d
Let u(m) = m - 4. Let i be u(4). Suppose 0 = -3*o - i*o + 9. Let g = 23.1 - 23. Is o != g?
True
Suppose 3*y - 4*z + 20 + 6 = 0, 5*z = 2*y + 8. Let i be (1 + -31)*(-14)/(-28). Are i and y nonequal?
True
Let r = 13 + -40. Suppose 5*k + 117 = 4*q + 2, -3*q = 5*k + 150. Is k >= r?
True
Let k = 121/609 - 2/21. Let v = 24 - 25. Which is bigger: k or v?
k
Let n(i) = 4*i**3 + 10*i + 10*i**2 - 5 + 15 - 3*i**3. Let p be n(-9). Let b be 1*-3 - (-1 + -1). Which is greater: b or p?
p
Let i = 252 - 253. Let j(h) = h**3 - 7*h**2 + 4*h + 7. Let v be j(6). Let u = -5 - v. Is i at least as big as u?
False
Let k = -17 + 17. Suppose k = -g - 2*g - 261. Let f = g + 263/3. Is 4 less than f?
False
Let y = -21.2 - -37.4. Is -1 less than y?
True
Suppose 12 - 5 = 7*d. Which is smaller: 7/6 or d?
d
Let f(g) = g - 8. Suppose -3*l + 12 = -3. Suppose -16 = -s - b, -l*b + 36 = 11. Let z be f(s). Is 4 greater than z?
True
Let v = 20.5 - 21.3. Which is bigger: -4 or v?
v
Let b = -12.1 + 2.1. Let q = b - -9.1. Let x = q - -0.8. Is x at most -0.3?
False
Let p = -0.022 + 0.322. Let o = 1430/17 - 84. Which is smaller: o or p?
o
Let r be 1190/50 - (-2)/10. Let g = -12 - r. Is -35 <= g?
False
Let p(f) = -f**3 + 2*f**2. Let q be p(2). Let b be (-3084)/90*(-5)/(-7). Let y = b - -73/3. Is y at most q?
True
Let f = 1 + 0. Let g be (-1602)/(-432) - 66/18. Is f at least g?
True
Let y = 9 - 3. Let j = 28 + -25. Let d be 10 + (27/(-3))/j. Which is smaller: d or y?
y
Let i = -1.0108 + -0.9892. Let z = -1 - -0.9. Let g = z + 0.4. Which is greater: g or i?
g
Suppose 3*z - 549 = 5*v, -2*v - 119 = 5*z + 82. Let s be (-28)/(-10)*v/(-42). Which is smaller: 7 or s?
7
Let y = -1078.4 - -1077. Is y greater than 5?
False
Suppose -3*i = -5*i - 10. Let b = i - -6. Let a = -12/59 + 181/1180. Which is bigger: b or a?
b
Let f = 12.32 + -0.72. Let y = 0.4 + f. Let r = -11 + y. Is 3 greater than r?
True
Let d = -1109.2 - -1109. Which is greater: 9.5 or d?
9.5
Let b be (-1954)/(-5) + (7 - 6). Suppose 405 = q - h - 2*h, -2*q = h - 782. Let l = q - b. Which is smaller: l or 0?
0
Let m = 2 + -5. Let d be (-4)/2*16029/45. Let w = d + 710. Which is bigger: w or m?
w
Let g = 352 + -353. Which is bigger: g or -0.448?
-0.448
Let q(s) = 2 + s - 5*s - 3*s + 6*s. Let v be q(-12). Suppose 0 = -3*d + o + 38, 7*o - 2*o = -5*d + 90. Is v equal to d?
True
Let j(h) = 0*h**2 - h + h**2 + 0*h**2 + h**2. Let s be j(-1). Suppose -3*l - 2*z - 4 = -3*z, s*z + 27 = -4*l. Is -6 at least l?
False
Suppose 500*d - 520*d + 23900 = 0. Which is bigger: 1194 or d?
d
Let a be 9/3 - 1 - 7. Let z = a + 6. Let o(m) = -2*m**2 + 1. Let q be o(z). Which is greater: 1 or q?
1
Let x = 249103/7 + -35679. Let j = x - -93. Let d be (-1)/(-3) - 13/3. Is j bigger than d?
True
Let c be 4/(-6)*-10 + 21/7. Let m = c + -331/33. Let w be 6/(-8) + (-1)/4. Which is greater: w or m?
m
Let k(z) = z**3 - 6*z**2 + 5*z + 3. Suppose -4*w + 26 = 6. Let c be k(w). Suppose -u = -r + 1, -2 + 7 = -c*r - 5*u. Is r bigger than 10/7?
False
Suppose 14*a - 520 = -1262. Which is greater: -43 or a?
-43
Let j(i) = i**3 - 3*i**2 - 3*i + 2. Let r be j(3). Let q(w) = -w**3 - 6*w**2 + 8*w + 3. Let v be q(r). Let m be (-242)/(-308) + 2/v. Which is smaller: -2 or m?
-2
Let c(b) = -b**3 + 7*b**2 - 15*b + 31. Let h be c(5). Which is smaller: h or 152/25?
h
Suppose -18*i + 14*i = 0. Suppose 2*y + 4*n = 12, i*n - 6 = -2*y - 2*n. Which is smaller: y or 2/9?
y
Let k(o) = -o**3 + 5*o**2 + 6*o + 1. Let l be k(6). Let f = l + 13. Is f at most as big as 11?
False
Suppose 5*g + l - 1 = 0, -4*g + 5*l - 5 = -5*g. Which is smaller: g or 3/313?
g
Let o be -16*5/(80/(-12)). Suppose 0 = o*w + 2 + 10. Which is smaller: -3/4 or w?
w
Let u(y) be the second derivative of y**5/20 - y**4/3 + y**3/3 - y**2 - 3*y. Let x be u(3). Let w be x/(-20) + 1/(-4). Which is greater: 2/9 or w?
2/9
Let j(t) = 5*t**3 - t**2. Let o(d) = d + 14. Let i be o(-6). Suppose -5*a + i - 3 = 0. Let u be j(a). Do 5 and u have different values?
True
Let f(d) = -d**2 + 28*d - 26. Let m be f(27). Do m and 3/59 have the same value?
False
Suppose -2*t - 2*t = 3*c - 1, 5*c + 4*t + 1 = 0. Let g be (c + (0 - -1) + 1)*6. Which is smaller: g or -0.09?
-0.09
Let v(t) = -t**3 + 8*t**2 + 2*t + 7. Let x be v(8). Let p = x - 24. Does p = -1/3?
False
Let a be (-4)/(-6) + (-8)/(-6). Suppose -a*r - 107 = -279. Let t be (3 + -1)/(4 + r). Is -1 greater than or equal to t?
False
Let y = 14 + -12. Suppose i + 2 = -2*g - 0*i, 0 = y*i + 4. Let m = 27 + -109/4. Is g >= m?
True
Let w(b) = -b + 8. Let q be w(4). Suppose -4 + 0 = -q*f. Which is smaller: f or -3/31?
-3/31
Let c = 1.1 + -20.1. Let a = c - -19.13. Let k = a - 0.13. Is 3 < k?
False
Let n be 6/(-8) - -10*(-63)/(-792). Let u be 6/(-21) + 4/14. Let c = u + 1. Which is bigger: c or n?
c
Let c = -1644200/39 + 42162. Which is greater: 3 or c?
c
Suppose 8*r - 3*r - 5 = 0. Suppose -2*n - 2*n = 4*p + 16, -7 = -5*p + 4*n. Which is bigger: p or r?
r
Let z be (-28)/4*(-3)/(-21). Which is smaller: z or -2/801?
z
Let a be (2 + -1)/(5/10). Suppose 4*m = a - 10. Let l be (-16)/(-6)*(-1 + m). Is -9 at most as big as l?
True
Let c be 4*(0 + (-2)/(-176)*4). Let v be -1*(-27)/6*(1 - 3). Which is smaller: c or v?
v
Let l be (-16)/2 - 8/(-4). Let k(z) = -2*z - 10. Let t be k(l). Suppose 0 = 3*y - t - 1. Are -1/20 and y equal?
False
Suppose 1795 = 2*x - o - 834, -5*o = 4*x - 5223. Is x less than or equal to 1311?
False
Let s = -511 - -1025/2. Let v = 11 + -9.9. Let x = v + -1. Which is smaller: x or s?
x
Let j(c) = -c**3 - 11*c**2 + c - 34. Let u be j(-14). Suppose -3*f = -18*f - u. Is f equal to -36?
True
Let n = 1/106 + -225/1378. Let g be 1/(-1 + 3/2). Suppose 3*d + 3 = 0, 3 = g*v - 0*v - 3*d. Which is smaller: n or v?
n
Let r = -227 - -229. Let d = 7.29 + -0.99. Let g = d + -6. Which is bigger: r or g?
r
Suppose -2*o + 5*o = -12. Let q be (-1)/(-8)*o/8. Is q bigger than 0?
False
Suppose 6*s - 3 = 5*s. Suppose c = -s*m + 20 + 102, 5*c = 2*m - 104. Let j be (m/(-70))/((-6)/4). Are j and -4 nonequal?
True
Let l(o) be the second derivative of -o**4/12 + 4*o**3/3 - 4*o**2 - o. Let s be l(6). Suppose -2*u + s = 2*x, 2*x + 5*u = u + 8. Is 1/11 equal to x?
False
Let w be 27/(-116) + 2/(-8). Let h(u) = u**3 + 4*u**2 - 17*u - 69. Let x be h(-4). Is x bigger than w?
False
Let x = -565.6 + 566. Let f = -2 - -3. Let m = 2 + f. Is x bigger than m?
False
Let w be -6*(-6)/(-24)*6/9. Which is smaller: 16/41 or w?
w
Suppose 15 + 9 = 8*d. Suppose 0*v + v - 1 = 0. Which is smaller: v or d?
v
Suppose x + 4*x = 1365. Let v be (28/x)/(2/(-3)). Let i = v + 69/533. Which is smaller: i or 1?
i
Let d = -37 - -76. Is d greater than or equal to -2/3?
True
Let m = 11449/7 + -1639. Suppose -h + 4*c + 3 = 5*c, 35 = -5*h + 5*c. Which is bigger: h or m?
h
Suppose 0 = -3*l + 9. Let p(n) = n**3 - 3*n**2 + 2*n - 3. Let k be p(2). Let w be (5 - 4) + k - -4. Is l at least w?
True
Let s be (-2 - -3) + 6/2. Suppose