= 5*z + 3*y, -29*y = 5*z - 32*y + 50. Which is greater: 4/7 or z?
4/7
Let t = -75 + 73. Let b = 21907/4 - 5384. Let h = -94 + b. Is h greater than t?
True
Suppose 0 = 52*u - 13*u - 39897. Which is smaller: 1024 or u?
u
Suppose 0 = -5*o - 4*t + 270, -4*t + 220 = 4*o - 0*t. Let d = -70 + o. Let y = -41/2 - d. Is y at most 0.6?
True
Let y be (-1)/1*(0 + -2). Let b(x) = x + 4. Suppose 0*d + 21 = -3*n + d, 5*d + 3 = -3*n. Let j be b(n). Is y smaller than j?
False
Let f = -1269 + 574. Which is smaller: f or 0?
f
Let j(h) = h**2 - 4*h + 2. Let n be j(0). Are n and 25/9 non-equal?
True
Let f be 0 - 0 - 6/(-675). Let b = -10688745 - -26454646553/2475. Let m = f + b. Which is greater: 2 or m?
2
Suppose -12*s - 27 = -13*s + 5*l, 2*l = -4*s + 20. Suppose 0 = -s*h + 80 - 17. Which is smaller: h or 0.1?
0.1
Suppose 6*t - 2*s = 2*t + 58, 2*s = -5*t + 77. Suppose -t = 5*f + 20. Which is greater: 1 or f?
1
Let d = -67 + 66. Let c = 38 + -4. Is c at least as big as d?
True
Suppose -2*j - 5*k - 15 = 0, 4*j - j + 51 = 2*k. Let m(p) = -p**3 - 5*p**2 + p + 3. Let a be m(-4). Is j less than a?
False
Let g = 256 - 253. Does g = 0.26?
False
Let y(o) = -o**3 + 9*o**2 + 9*o + 10. Let v be y(10). Let x(h) = -h**3 - h**2 + 3. Let i be x(v). Suppose 3 = -0*r - i*r. Is r < -3?
False
Let u = 1.35 + -1.45. Which is bigger: 2/343 or u?
2/343
Let i = 790 + -799. Is 4 at least as big as i?
True
Suppose 99 = 6*s - 3. Is 15 greater than or equal to s?
False
Suppose -18 = l + 2. Let t(z) = -87*z - 542. Let x be t(-6). Is x less than or equal to l?
True
Let a = 126 + -104. Suppose -l - a = 5*g, 7*g - 5*l = 2*g - 40. Are g and -32/7 non-equal?
True
Let s(f) = -f**2 - 8*f - 12. Let n = -3 - 3. Let j be s(n). Suppose u = 2*z - 6, u + 2 = -j*z + z. Do 4 and u have different values?
True
Suppose 3*u + 4*a + 20 = 0, -20*a - 25 = -3*u - 15*a. Are u and -15/16 equal?
False
Suppose 2454 = 19*l - 25*l. Which is smaller: l or -410?
-410
Let u(r) = -r**3 + r**2 + 2*r + 6. Let q be u(5). Let w be (3/9)/((-220)/q - 2). Which is smaller: 2 or w?
w
Let x = 32.7 + -33. Let i = 0.2 + x. Which is bigger: i or 9?
9
Let c(b) = b**3 + 6*b**2 - 4*b + 24. Let z be c(-8). Which is smaller: z or -69?
z
Let t(n) = n + 12. Suppose -104 = 7*a + 6*a. Let w be t(a). Which is greater: w or 6?
6
Let p = 15 - 14.4. Let d = -4.1 - -2.1. Is d < p?
True
Let x be (-96)/15 + (-4)/(-10). Let t be (-7)/(35/57) - (-4)/10. Let z = t - x. Is 2 at least z?
True
Let b = -379.43 + 373. Let l = 0.43 + b. Which is smaller: -0.06 or l?
l
Suppose -l = 5*d + 103 + 29, 5*l + 633 = 2*d. Let k = l + -11. Let m be 4/(-5) - k/160. Is 0 greater than or equal to m?
False
Let b = -81 - -79. Let a = -362329/630 + 7899/14. Let u = 49/5 + a. Is b != u?
True
Let w(t) = 79*t - 80. Let k be w(1). Which is smaller: k or -6/845?
k
Let d = -425 - -424.7. Which is greater: d or 134?
134
Let a = 577/1239 - 1/708. Is 1 > a?
True
Let l = 214 - 207. Which is smaller: l or -4?
-4
Let o = 0.06 + 1.94. Let j = o - 5. Let l = -51 + 101/2. Which is greater: j or l?
l
Let n(k) = 2*k + 23. Let p be n(-11). Which is smaller: p or 3/91?
3/91
Let p = -40 + 13. Let m = p - -29. Suppose 3*v + 0*b - 30 = 3*b, -b = m*v - 8. Is v greater than or equal to 1?
True
Let r be ((-120)/32 - 3) + (-6)/(-8). Let o(b) = -b**2 - 18*b - 72. Let p be o(r). Let f = -110959/77 - -1441. Which is bigger: f or p?
p
Let s = 1 - 0.8. Let t = 32 - 27.2. Let k = -4.6 + t. Is s equal to k?
True
Let w be ((-94)/3 - 4)/2. Which is greater: -18 or w?
w
Let d be (-2)/(-20) + 0/2. Suppose 5*b + 6 = 26. Suppose -b*w = -0*w. Which is greater: d or w?
d
Let v be (2 + 1/1)*48/9. Let p be (-8)/70*200/v. Is -2 bigger than p?
False
Let u be 0/(-1) + (-10)/(-17). Suppose -130*h + 26*h = -104. Which is smaller: u or h?
u
Let h = -1 + -2. Let a(i) = -i**2 - 9*i - 1. Let y be a(-9). Let z be (y + h + 2)*-1. Is 3 <= z?
False
Suppose -3*p = -11*p - 944. Let j be -70*(-15)/(-9)*-1. Let k = j + p. Which is bigger: -1 or k?
-1
Let y(k) = 2*k**3 + 13*k**2 + 6*k - 8. Let t be y(-6). Suppose -5*f - 4*r = 28, 0 = -3*f + r - 0*r - 10. Let z = -5 - f. Is z at least as big as t?
True
Let n = 1809 + -1802. Is n at most -74?
False
Let f(t) = -2*t - 16. Let x be f(-10). Suppose -x*i + 0*d = 3*d - 6, d = 2. Let w = 2993/127654 - -1/1538. Which is smaller: i or w?
i
Let k = 135 + -134.88. Let p = 2.12 - k. Which is smaller: p or -17?
-17
Let p = 0.1 - 0.2. Let r be 1078/(-48) - (-26)/(-39). Let q = r - -23. Is q greater than p?
False
Let a = -203 + 202. Let i be 3/38*28/15. Let q = -1/19 - i. Is a at least as big as q?
False
Let t be (-1)/((2/(-268))/(-1)). Which is smaller: -137 or t?
-137
Let i be (2/(-1))/(20/(-30)). Let y be (-22)/36 - (-1 + -1). Let o = y - -1/9. Is o bigger than i?
False
Let f = 1 + -4. Let a(b) be the first derivative of b**3/3 + 3*b**2/2 - 1. Let v be a(-3). Which is bigger: v or f?
v
Let t be (6/2928*12)/(0 + -15). Is t != 1?
True
Let i(w) = 2*w**2 - 2*w + 4. Let y be i(-4). Let o = -8583/140 + 479/28. Let t = y + o. Is t <= 0?
True
Let s = -2.1 - -2.3. Let l = -13.8 - s. Let i = 16 + l. Is -1/3 < i?
True
Let y = 31.9 - 31.7. Is 5 > y?
True
Let s = 0.1 + 0.9. Suppose -16 = -3*d + 2*n, 3*d + 5*n = -30 + 11. Suppose 0 = -d*z + 7*z. Is s bigger than z?
True
Let a be 277101/(-1870) + (-8)/68. Suppose 0 = 3*w - 0*w + 444. Let k = w - a. Is k smaller than 0?
False
Let s(t) be the first derivative of 5*t + 1 - 5*t**2 + 6*t**2 + t**3 - 4*t. Let j be s(-1). Is j equal to 4?
False
Let f be (-6)/27 + 129/(-27). Let k(m) = m**2 + 9*m + 20. Let y be k(f). Which is smaller: y or -10?
-10
Let d be 4/16 + 79/68. Which is bigger: 2 or d?
2
Let f(l) = -l**3 + 2*l**2 - l - 1. Let x be f(2). Let m(t) = 100*t + 398. Let v be m(-4). Which is bigger: v or x?
v
Suppose -413 = 5*z - 12*z. Which is bigger: 57 or z?
z
Let s = 178 - 277. Let r = s + 99.2. Does -2.6 = r?
False
Let f = 100.575 + -3.635. Let x = f + -97. Which is smaller: 2/23 or x?
x
Let v(c) = 2*c**2 - 9*c - 9. Let m be v(6). Suppose 11*h + m = 12*h. Which is smaller: 43/5 or h?
43/5
Let b be 41*3/18 + -6. Do b and 1 have the same value?
False
Let w = 0.8 + -1. Let v = -5.8 + w. Let g(s) = s**3 - 3*s**2 - 3*s - 3. Let u be g(4). Which is smaller: u or v?
v
Let l(p) = -2*p**3 - 4*p**2 - 2*p - 6. Let r be l(-3). Suppose 16*o + r = 19*o. Suppose o = -3*q - 21. Is q bigger than -8?
False
Suppose -2*d - 2 = 4*t + 12, -3*t = 15. Is d bigger than 12/7?
True
Let t = 74 + -58. Let q be 6/t - 138/(-16). Let f be ((-24)/(-2))/((-3)/(-2)). Is f less than q?
True
Let j = 106 - 107. Which is greater: j or -4?
j
Let f be ((-5)/(-2))/(51/(-102)). Which is bigger: -66/13 or f?
f
Suppose 2*h = 2*z, 6*h + 3 = 4*z + 3*h. Let y be 28/8*2 + (-6 - 1). Which is greater: y or z?
z
Let q be (-47)/(-9)*(-537)/11. Let d(c) = 256*c**2 + 11*c + 10. Let a be d(-1). Let n = q + a. Which is smaller: 1 or n?
n
Let s = 1 - 1. Let l be (2 + -3)/(1 - s). Let d(t) = t**3 - 13*t**2 - 16*t + 31. Let m be d(14). Is l at most as big as m?
True
Let d = 30 + -25. Let x be (-24)/(-20)*d + -4. Let b be x/(-6)*(-15)/(-140). Is 1 > b?
True
Let c = -29 - -16. Let w = c + 20. Let p = 0.952 + 0.048. Which is smaller: p or w?
p
Let l(i) = -7*i**2 + 14*i + 18. Let r(d) = -4*d**2 + 7*d + 9. Let c(s) = 3*l(s) - 5*r(s). Let j be c(8). Is j greater than -15?
True
Let r be (1 - 0/(-1))*1. Let h = 20085/19 + -1057. Which is smaller: h or r?
h
Let s(k) = 6*k - 20. Let u be s(9). Let r be (u/(-1445))/(4/(-5) + 0). Which is greater: r or 1?
1
Let f(r) = r**3 - 6*r**2 + 10. Let v be f(7). Suppose -5*z = -5*a + 65, v = -4*z - 2*a + 13. Which is smaller: z or -13?
-13
Suppose -4*v + 53 = -b, 2*b = -2*b - 20. Suppose f = -4*t + 17, -4*f - v = -0*f. Suppose 4*p + t = -p. Is -1/2 <= p?
False
Let u(a) = -2*a + 18. Let f be u(5). Suppose -f*s = -13*s. Which is greater: s or 6/13?
6/13
Let j = -16.1625 - 0.1075. Let m = 16 + j. Let n = m + 0.3. Is 2 greater than or equal to n?
True
Let s = -1.1 - 0.4. Let k be 2*(-81)/(-540)*(-4)/6. Which is smaller: k or s?
s
Let a = 18.49 + 0.51. Let l = -19.3 + a. Which is smaller: -1 or l?
-1
Let h = -13025/2 - -6512. Let n = 6.8 - 6. Let r = n + 0.2. Is r greater than h?
True
Let v = 294 + -293. Is -0.2 not equal to v?
True
Let d = 128 + -232. Let i = d + 107. Which is greater: i or 26/7