ger: 0 or i?
0
Let v = 18 + -13. Suppose 6*y = -2*t + 2*y - 14, -v*y = 2*t + 18. Suppose 4*r + 4*n = -r - 6, -3*r + 4*n + 22 = 0. Which is smaller: r or t?
t
Suppose b - 4*n = 32, -4 = -b + 2*n + 38. Let c be 3/(-15) + b/60. Suppose 9 = -4*k - 3, -4*a + k = -3. Is a > c?
False
Let y = 8 - 8. Let h be 3 + y/2 + 12. Let f be (33/h)/1 - 2. Is 1 <= f?
False
Let d = 2048 - 2045. Which is greater: 20/7 or d?
d
Let s be (-2)/(-11)*(-22)/44. Which is smaller: -22/9 or s?
-22/9
Let c be 225/(-84)*(-14)/12. Suppose 0 = 2*u + 17 - 21. Which is bigger: u or c?
c
Let b(r) = -2*r**3 + 37*r**2 - 20*r - 22. Let s be b(18). Is -58 greater than s?
False
Let o(i) = -24*i**3 + i**2 - 2*i - 14*i**3 - 2*i**2 - 1 - i**2. Let x be o(-1). Is 37 at most as big as x?
True
Let q = -14202.099 + 14209. Let o = 0.099 + q. Which is smaller: o or 2/15?
2/15
Suppose -2*h - 105 = -7*h. Suppose -3*z + 11*z = 184. Are z and h equal?
False
Let u = 37523/15576474 + -5/1886. Are u and 0 equal?
False
Let a = -193 + 202. Is a smaller than 1?
False
Let x = -8 - -2. Suppose -28 = -3*j - 2*q - 59, 49 = -5*j - 2*q. Is j smaller than x?
True
Suppose -5*q - 3*y - 24 = 0, -y - 2*y + 6 = 0. Let n be (-6)/(-14)*q/9. Let d = 638 + -638. Are d and n nonequal?
True
Suppose 0 = 4*g + 5*p - 31, 0 = -2*g - 4*p + p + 17. Suppose 23*x = 12*x + 220. Suppose 0 = -0*z - g*z - x. Which is smaller: z or -6?
-6
Let p(b) = -b - 4. Let c be p(-6). Let s be (-32)/(-22)*(0 - (0 + -1)). Do s and c have the same value?
False
Let z be ((-1)/(30/(-10)))/((-459)/(-2)). Which is smaller: z or -1?
-1
Let q = -2.02 + 2. Let l = -108 + 106.98. Let o = l - q. Is 6 < o?
False
Let v(j) = 4*j**2 + j - 1. Let u be v(1). Suppose 6*k + o - 1 = 8*k, -3*k - u = -4*o. Let m = -21 - -11. Which is smaller: m or k?
m
Let s(f) = 11*f**3 - f**2 - 2*f - 1. Suppose 4*t - 3*r = -10, 2*r - 9 = -t - 3*r. Let u be s(t). Let h(y) = 4*y - 140. Let q be h(32). Is q at most u?
True
Let o = -1524 - -1049. Which is greater: o or -474?
-474
Let p be 6/(-5)*(-190)/57. Let i be ((-72)/(-2100))/(p/7). Which is bigger: 0 or i?
i
Let i = -397.038 + 0.038. Does i = -0.1?
False
Let m = -327 + 326. Is m <= 1/856?
True
Let c = 65 + -70.2. Let o = c + -2.8. Which is bigger: o or 0?
0
Let q = 675 - 765. Are q and -92 unequal?
True
Let i = 241 + -2164/9. Let t = -539 + 539. Which is bigger: t or i?
i
Let h be (-174)/(-10) + 4/(-10). Suppose -h = -3*k + 10. Do k and 7 have the same value?
False
Suppose 5 = 12*s - 19. Let x be (s/(8/5))/((-19)/76). Which is smaller: x or -6?
-6
Let d = 7 + -2. Suppose -5*r = 4*y - 0*y - 10, -d*r + 10 = y. Which is smaller: y or 2/87?
y
Let s(u) = -u**3 - 2*u**2 - u - 2. Let l be s(-2). Suppose -5*n + 5 = 4*g + 596, 0 = -4*n + 5*g - 481. Let v = -239/2 - n. Which is smaller: v or l?
v
Let l = -11/71 + -939/355. Let w = 0.09449 - -0.00551. Is l != w?
True
Let m = -47 - -33. Let c = 17 + m. Let t = c + -2.98. Which is bigger: 0 or t?
t
Let x = -9 - -11. Let i = x + -1.2. Let m = 0.9 - i. Is -6 != m?
True
Let k = 0.201 + 2.799. Which is greater: k or -29?
k
Suppose -8 = -7*b - 15. Let y be (-2)/(-4)*b + 810/1860. Is y less than or equal to 1?
True
Let r be -1*(-5 + 176/99). Is 4 equal to r?
False
Suppose 0 = 5*r - 5*s - 15, 0*r - 5*s = -4*r + 15. Let p be -3 - 9/((-135)/50). Let f = r - p. Is f less than or equal to 1?
True
Let r(o) = 3*o**2 + o + 7. Let g(s) = -1. Let w(z) = 4*g(z) - r(z). Let u be w(5). Is u greater than 0?
False
Suppose i = -0 + 3, -3*i + 9 = 2*r. Suppose -4*z = -2*h + 2, -z + 3 = 3*h - r*h. Which is smaller: z or -5/4?
-5/4
Let w be (1/(-3))/(1144/1040). Which is smaller: w or -1?
-1
Let k(a) = -3*a**3 - 3*a**2 - a - 7. Let v be k(-7). Is v not equal to 882?
False
Let m = 7.736 + 8.409. Let h = m - -0.055. Let r = h - 16. Is 0.2 > r?
False
Let n = -0.3 + 1.3. Let h = -47 + 68. Let m be 33/h - (3 - 2). Which is bigger: n or m?
n
Let t = -2/13 + 131/936. Which is smaller: t or 0?
t
Let x(n) = -n**3 + 10*n**2 + 42*n - 67. Let d be x(14). Is -265 > d?
False
Let c be ((-2)/(-3))/((-6)/9). Let y be ((-182)/170 - c)*-5. Suppose -21*g = -11*g - 16*g. Do y and g have the same value?
False
Let c(j) = j - 13*j**2 + 21*j**3 - 12*j**3 + 11 - 10*j**3. Let h be c(-13). Which is greater: 13 or h?
13
Let n = -61.48 + 1.48. Let a = -64 - n. Is a <= -0.4?
True
Let f(q) = -q**3 + 6*q**2 - 5*q - 3. Let d be f(3). Which is bigger: d or 33?
33
Let y be (-6 + 371/63)/((-2)/12). Suppose -5*w = -4*s + 28, w + 3 - 9 = -5*s. Which is bigger: w or y?
y
Let m = 1 + -2. Let w(c) = 3*c. Let y be w(m). Let t be (y/(-2))/(3/(-4)). Is -5/3 <= t?
False
Let u(y) = -2*y + 2*y + y - 13 + 22. Let d be u(-13). Which is smaller: d or 5/6?
d
Let y be (-10)/25 - (-3322474)/770. Let q = y + -30194/7. Let p = 14/11 - q. Is 0 less than p?
True
Let m = -44.7 + 44.6. Which is smaller: m or -221?
-221
Suppose 6656 = -585*l + 598*l. Is 1 <= l?
True
Let a(p) = p**3 + 30*p**2 + 55*p - 20. Let k be a(-28). Which is bigger: -1.7 or k?
k
Let c = -686 + 688. Which is smaller: 85 or c?
c
Let o be (-61)/((-2989)/42)*602/(-8). Is o at most -66?
False
Suppose 2*i - 2*x = 2*x + 2, -x = i + 8. Let z = 13 + -12.8. Which is bigger: z or i?
z
Let c(h) = -h**3 + h**2 + h + 2. Let v be c(2). Let n be (-41)/(2/(-4)*(-1 - -3)). Let g = 41 - n. Is v greater than g?
False
Let f = 20/321 + -14138/237219. Which is smaller: 1 or f?
f
Suppose 42*j = -31*j. Let q be 6/(-124)*-22 + -1. Which is greater: j or q?
q
Let q = -5 + 7. Let u be (1 + 8)*(-86)/8. Let o = -96 - u. Is o <= q?
True
Let m be (-1)/3 - 5/(-6). Let p(f) = -15*f + 3. Let g be p(0). Suppose -2*y - 4*l = 0, 4*y + l - g = 4. Are y and m equal?
False
Let d(v) = -v**3 - 1. Let i(u) = -23*u**3 + 2*u - 7. Let q(k) = 6*d(k) - i(k). Let n be q(1). Let y be n/(-24) + (-4)/(-33). Which is greater: y or -1?
y
Let q = -1065 - -1082. Let u be (-224)/21*(-3)/2. Is q at least u?
True
Let t = -7 - -8. Let m be ((-2)/(-10))/(-19 - 93/(-6)). Which is smaller: t or m?
m
Suppose 6 = -3*n, -4*c = -0*c - 3*n - 138. Are c and 137/4 unequal?
True
Suppose -i = 2*i + 9. Let u be 0 - i/(-3)*-1. Which is smaller: u or 22?
u
Let q = 59/7 + -57/7. Is q at least as big as 23?
False
Let o(g) = g - 10. Suppose -5*t + 65 = 4*r + r, 3*r + 5 = t. Let k = t + -2. Let f be o(k). Is 1 equal to f?
False
Let x = 24 + -4. Let k = -16 - -20. Let y be x/5*(-3)/k. Do y and -3 have the same value?
True
Let k = 5857/5 + -1167. Suppose -4*v - 176 = -188. Which is greater: k or v?
k
Suppose 68*l + 58 = -78. Which is greater: l or -92/29?
l
Let q = 400 + -410. Is -75 <= q?
True
Suppose -a = u + 3*u - 13, -u - 65 = -3*a. Let d(c) = 5*c**3 - c**2 + 3*c - 1. Let n be d(2). Let h = n - a. Are h and 19 unequal?
True
Let f be 508/14 + (-6)/21. Let r be 14*(-4 - f/(-8)). Is r bigger than 9?
False
Let y(n) = -9*n + 48. Let c be y(20). Let t = -131 - c. Which is bigger: t or -1/79?
t
Let b = -22.1 + 22.1. Are b and 10/33 unequal?
True
Let s = -1243 + 2327. Let g be (-2)/(-3) + s/(-549). Let k = g - -12/61. Which is smaller: -2 or k?
-2
Let n(y) = -y**3 - 2*y**2 + 3*y - 3. Let i be n(-3). Let d = -60 + 45. Let l = -11 - d. Which is smaller: l or i?
i
Let g = -0.1 - 0. Suppose 0 = -4*o + 5*t + 71 + 149, 5*t - 80 = -2*o. Let w be (8/o)/(1 + (-15)/25). Which is smaller: w or g?
g
Let p = -45 + 51. Let s = -13 + p. Is -8 greater than or equal to s?
False
Let j = 3217 + -3217.66. Is j at most as big as -0.7?
False
Let f = 5143/2 + -2572. Which is bigger: 576 or f?
576
Let t be (-2)/8 + 36/16. Let o be (4/(-8)*t)/(-1). Let n be (3/5)/((-8)/(-40)). Is o <= n?
True
Suppose -4*n + 222 = 46. Which is greater: n or 45?
45
Let v = 7061/12 - 588. Which is greater: v or 0?
v
Suppose 8*h + 18*h - 988 = 0. Which is bigger: h or 40?
40
Let g be 1/8 - (580/32 + 0). Which is smaller: g or -16?
g
Let u be (-28)/3*(-12)/152. Let f = 546 - 545. Is f at most u?
False
Let f = -2.6 - -2.62. Suppose 0*z - 5*z = -5. Let m be 4 + z + (-3 - 0). Which is smaller: f or m?
f
Let w be 2 - 1 - (0 + -1). Suppose -r = w*x - 3, 2*x + 0*r - 1 = -3*r. Is -1 greater than x?
False
Suppose -28*x - 161 = -105. Is x <= -29/13?
False
Let d = -4 + 5. Let c(l) be the second derivative of 5*l**3/6 - l**2/2 - 2*l. Let j be c(1). Which is smaller: d or j?
d
Let l(u) = -u**3 + 9*u**2 + u - 8. Let f be l(9). Let m = f - 2. Let