r: -4/473 or i?
i
Let l be (-7)/198*1*1/7. Let t = l + 619/4950. Let d(c) = c**3 - 8*c**2 + 6*c + 7. Let j be d(7). Is t greater than or equal to j?
True
Let r = 2285 + -1593. Which is smaller: 695 or r?
r
Let y = -6 - -11. Suppose 0*v - 2*v = 3*r - 22, -2*r + 28 = 4*v. Suppose -10*h = -v*h - 5*o - 10, 0 = -4*h + 3*o + 12. Which is smaller: y or h?
y
Let v be (-904)/240 - (-264)/72. Is 7/5 greater than v?
True
Suppose 3*y = 118 - 106. Suppose 4*f - 12 = 4*w, -y*w + 2*f = 6*f - 4. Let c be 1 + (-1 - 6/117). Is w less than c?
True
Suppose -68*n + 61*n + 128525 = 90*n. Which is smaller: 1 or n?
1
Let g be (1 - 3358/3346)*(-48)/(-120)*-105. Is 1 at least g?
True
Let z be ((-34740)/360)/(1/10*(-15)/6). Which is smaller: 385 or z?
385
Let j be ((-63)/6 - 2)*3136/(-140). Suppose 0 = 14*c - 5628 + j. Is 383 at least c?
True
Let w be 2928/(-5080) - (330/(-50) + (-35)/(-5)). Do 0 and w have the same value?
False
Let m = -701 + 460. Let n = -230 - m. Let q(j) = j**2 - 10*j - 12. Let b be q(12). Is b equal to n?
False
Suppose -10*f + 5*f + 25 = 0. Suppose 58 = f*m + 18. Suppose -m*z - 7 = -z. Is 2 != z?
True
Let b = -3381 - -3076. Suppose 6*k + 1520 = k. Is k at most as big as b?
False
Let u = 41.3 + -78. Let l = -0.354 - -37.354. Let w = u + l. Which is smaller: 1.2 or w?
w
Suppose -3*h = -2*h - 1. Let v(l) be the third derivative of l**5/60 + 11*l**4/24 + 3*l**3 + 22*l**2. Let p be v(-9). Is p at most h?
True
Let u = -42262/1521 - -250/9. Which is greater: u or 1?
1
Let v(l) = 2*l + 84. Let o be v(0). Let q = 11 - 7. Suppose -o = q*f - 0*f. Is f not equal to -23?
True
Let j = 72685 + -527256995/7254. Is 1 greater than or equal to j?
True
Let v = -28 + 7. Let j(s) = -s - 1. Let l(i) = 4*i - 10. Let k(q) = 2*j(q) + l(q). Let d be k(v). Which is greater: d or -53?
-53
Let j(r) = 50*r + 5. Let i be j(0). Let q be (2 - -6) + (1 - 4). Suppose 10*o - 15 = q*o. Which is bigger: i or o?
i
Let m = 11.72 + -12. Let b = m + 0.18. Suppose -4*x - w = 165, 3*x + 4*w - 54 = 4*x. Which is bigger: b or x?
b
Let t = -13252.457442 + -1.612558. Let y = -13325 - t. Let p = 0.07 - y. Which is smaller: 0.1 or p?
0.1
Suppose 3*x + 4*m = -129, 20*x - 23*x = -4*m + 129. Suppose 90 = -6*f + 4*f. Is f bigger than x?
False
Let t be (-1)/9 - (-5)/45. Suppose -5*z + 0*v - 93 = 3*v, t = 5*z + 2*v + 92. Which is bigger: -17 or z?
-17
Let r = 2588 - 1187. Let i = r - 119087/85. Which is smaller: 1 or i?
i
Let q be -5 - -19*(-15 - -16)*(-1)/(-1). Is q > -348?
True
Let u = 496 + -749. Let q = 257 + u. Is 2/47 less than or equal to q?
True
Let y = 20447 - 470266/23. Is y greater than 1?
False
Let t be (0 - 1*(5 - 6))*-600. Which is smaller: t or -1/2?
t
Let h(g) = -g**3 + 12*g**2 - 12*g - 9. Let k be h(11). Let n be ((-2546)/8 - 5/k) + 0. Are -318 and n non-equal?
False
Let o(r) = -r**2 + 34*r + 45. Let q be o(31). Does 131 = q?
False
Suppose 2*k - 1550 = -5*c - 1547, k - 1 = -2*c. Suppose -3*o - 4*d = d - 104, 0 = -o - 5*d + 48. Suppose -o = -5*w + 7. Which is bigger: w or c?
w
Let v(y) = -10*y - 4 - 11*y**2 - 8*y - 3*y - 8 + 8*y**2 + y**3. Let w be v(7). Is w != 32?
True
Let p = 2.3074 + -2.9074. Are p and 202 non-equal?
True
Suppose -1 = -2*u + 9, 7 = y - 2*u. Which is greater: y or 10?
y
Let j be 28/(-4)*(-2 - (-186)/84)*-684. Is 5132/5 < j?
False
Let g(k) = -9*k**3 - 6*k**2 - 10*k - 6. Let s(p) = p**3 + p**2 + p - 1. Let y(v) = g(v) + 6*s(v). Let z be y(-2). Which is smaller: 19 or z?
19
Let f = 178403/5352 + -100/3. Is 0 less than or equal to f?
True
Let z = 47 + -43. Suppose 4*u + 17 = 5*p, z*p - 3*u - 14 = -p. Let n = 9/31 + 77/589. Is p != n?
True
Let r = -3985 - -595. Is -3395 equal to r?
False
Let x(u) = -3292*u + 219. Let l be x(-8). Let w = -292345/11 + l. Is w less than -22?
False
Suppose -5*s - 90 + 20 = 4*p, 3*s = -5*p - 42. Let g be (9 - 2)*2/s. Which is smaller: g or -2/83?
g
Let j = -16821 - -16831. Let x be (-1 - 1/(-3))*3. Which is greater: x or j?
j
Let u = -70 - -67. Let y(i) = -i**3 - 2*i**2 - 5. Let f be y(u). Let v(z) = -z**2 + 3*z + 3. Let r be v(f). Is r > 1/115?
False
Let m = -0.02 + -4.18. Let c = -30.8 + m. Let w = -41 - c. Is -0.1 <= w?
False
Let f = -6.6989 + -0.3011. Which is smaller: 21/22 or f?
f
Suppose 23*c + 12989 = 6*c - 9927. Which is greater: c or -1349?
c
Let p = 0.003 + -10.403. Let s = p + 2.6. Let h = 7.81 + s. Which is smaller: h or 0.1?
h
Let l(k) = 2*k**2 - 96*k - 233. Let m be l(49). Are 1 and m equal?
False
Let u be ((-41)/(-10) - 4) + (-1358)/13180. Let r = u + 1432/37563. Is 1 at least r?
True
Suppose 0*k - 5*k = 155. Suppose 3*y - 28 = -4*l, 2*y + 35 = 7*l - 2*l. Let x = k + l. Is -25 greater than x?
False
Suppose 72644 = 807*s - 521*s. Is 255 <= s?
False
Let m = -1865/481 - -189/37. Let i be (6/(-15))/((-8)/5). Is i at least as big as m?
False
Let f = -5977/3990 - 4/1995. Is f bigger than -1?
False
Let m = 51 - 53. Suppose 0 = 3*n - 0*n - 2*j - 104, j = 5*n - 164. Let u be (n + 6)/(2/m). Is u less than -38?
False
Suppose -44 = -a + 4*b, 3*a + 4*b - 2 = 82. Which is smaller: 6/85 or a?
6/85
Let v be (-4)/(-6) + (-215)/255. Let o be (-3 + 2 - -2) + 72/24. Suppose -h - 4 + 10 = o*i, -1 = 3*i - 2*h. Does v = i?
False
Let j be 40/(-25)*2*-5. Let l(r) = -2*r + 37. Let m be l(14). Which is bigger: j or m?
j
Let k = 595 - 571.1. Let w = 179.9 - k. Is -1/3 at most as big as w?
True
Let t = -9307 - -9633. Is 2 equal to t?
False
Let z = 31 - 38. Let l = -6.75 - z. Let d(r) = r**3 + r**2 - 6*r - 1. Let i be d(-3). Which is bigger: i or l?
l
Let j(f) = f**2 + 8*f + 6. Let c be j(-7). Let b = c + 1. Let k = 2626 + -2625. Which is greater: k or b?
k
Let q(a) = -3*a + 1. Let w be q(7). Suppose -6*d = -5*o - 2*d + 3, 3*d = -3*o + 18. Suppose 4*v = -s - 71, 4*v + o = 2*s - 71. Is w at least as big as v?
False
Suppose -124469 + 2492 = -29*h + 3390. Is 4325 != h?
True
Suppose -o - 5*n - 32 = 0, 91*o = 95*o + 4*n + 48. Is o not equal to -254/37?
True
Let i = 6204115/524919 + -1312/111. Which is smaller: i or 0?
i
Let d be 1*-4*(-5)/(-50). Let i = -5.11 + -302.89. Let p = i - -309.1. Is d equal to p?
False
Let d = 18578 + -18624. Is d less than -8/27?
True
Let c = 39840 + -41911659/1052. Which is greater: 0 or c?
c
Suppose 12 - 3 = -c + 4*v, 2*c + 18 = v. Let q = 1124 + -5671/5. Which is bigger: c or q?
c
Let l be (4 - 2)/((-6)/(4 + 56)). Suppose -2*n - 4 = 2*p, 3*n - n + 4*p = 0. Let o be (2 + -7)/((-1)/n). Do o and l have different values?
False
Let g = 51.04 + -50.84. Is 1.346 > g?
True
Suppose 2*k = 3*v - 6*v + 5, 0 = -4*k + 4. Let w be (4/6)/v - (-59)/177. Which is bigger: w or 24/17?
24/17
Let k = 89 - 84. Suppose -k*w - 1 = -6, -i - 6 = 4*w. Are -10 and i equal?
True
Let h = 418.4 + -697.44. Let o = -279 - h. Which is smaller: o or 2/7?
o
Let r be -4*2*(-9)/24 + -2. Is r > 14/319?
True
Let i = -401709/8432 - -810/17. Is i at least 1?
False
Let p be (-3 - (-135)/6)/((-68)/680). Is -211 > p?
False
Let h(w) = -w**2 - 8*w - 8. Suppose 0 = 3*u - 15, 0 = -2*g - g + u - 23. Let z be h(g). Suppose -2*o = -1 - 5, -z*a - 5*o = -39. Is 6 equal to a?
True
Let w = 699 - 708. Let v(d) = d**3 + 7*d**2 - 19*d + 10. Let a be v(w). Which is greater: 18 or a?
a
Let q = -2 + 2. Let i(j) = j**3 + 4*j**2 - 2*j - 5. Let b be i(-5). Let k be (2/116)/((b/(-4))/10). Is q at most as big as k?
True
Let d = 163 - 120. Are d and 41 equal?
False
Let b = 1.57 - 0.629. Let j = b - 1. Let o = j - 6.841. Which is smaller: 1 or o?
o
Let r be (627/(-6))/(-11) + (-2)/(-4). Let z be 8/r*(-3 + (-30)/(-12)). Is z greater than or equal to 176?
False
Suppose -2*k - 3*k = -0*k. Suppose k = -8*n + 7*n + 2. Suppose -3*g - n*a - 16 = 31, 0 = 5*a + 20. Is -12 smaller than g?
False
Let p(l) = l**3 + 7*l**2 + 4*l + 24. Let d be p(-10). Which is smaller: -2216/7 or d?
-2216/7
Let m = 171 + -314. Let f = m + 137. Is -2 < f?
False
Let m(j) = -j**3 + 9*j**2 - 9*j + 8. Let k be m(8). Let z = -59898/25 + 2396. Which is greater: z or k?
z
Let k = 251 + -120. Suppose 5*b + 3*i = i + k, 0 = 5*i - 15. Let a(r) = r**3 - 25*r**2 + 2*r - 49. Let f be a(b). Is 60 > f?
True
Let j(o) = 29 + 2*o + 11*o - 11*o. Let p be j(-13). Suppose -3*c + 15 = 0, -4*y - 4*c + 1 = -p. Which is smaller: y or -17/5?
y
Let f(i) = -2*i - 60. Let u be f(-13). Let p be (-5)/(-2) - 207/6. Which is smaller: u or p?
u
Let z = -888.9 + 