rue
Let d(h) = -h**3 + 11*h**2 + h - 21. Let l be d(11). Which is bigger: 0 or l?
0
Let m be 49/4 - (-4)/(-16). Suppose 16*b - 36*b = -20. Are m and b equal?
False
Let z = -44 + 48. Suppose -4 = 2*o, 5*w + z*o + 10 = 3*w. Is -2/101 greater than w?
True
Let g(y) = 13*y + 4. Let r be g(-4). Let f = -630/13 - r. Let t = -1 + 1. Are f and t unequal?
True
Let w = 67/40 - 15/8. Let p(g) = -g**3 + 6*g**2 + 1. Let z be p(6). Are z and w equal?
False
Suppose 4*v + 133 - 429 = -4*n, 4*v + 2*n = 294. Suppose 79*r - v*r = 192. Is 34 < r?
False
Let r(p) = -p**3 - 6*p**2 + 69*p - 13. Let m be r(7). Is -167 at least as big as m?
True
Suppose -13 = -a - c - 2*c, 0 = 4*c - 16. Does a = -4/63?
False
Let f = -407 + 406.1. Which is smaller: 1/5 or f?
f
Let x = 557/4 - 2923/20. Is -7 > x?
False
Suppose k - 11 = 5*o, 2*k + 5*o = 40 - 3. Let d be (-2)/((k/26)/4). Let a = 13 + -25. Which is greater: a or d?
a
Let h = -1023 + 27629/27. Which is smaller: h or -2?
-2
Let i = 8/15 - 11/15. Is i less than 18?
True
Let c be (-10)/(-4) + (-13)/(-26). Suppose c*y = -y. Is y <= 1/44?
True
Suppose -5*y = 11 - 26. Is 3 not equal to y?
False
Let g be 4/(-20) - (-9)/(-5). Let r(c) = -c**3 + c**2 + 1. Let p = 1 - 1. Let y be r(p). Does g = y?
False
Let q = 104 - 45. Let o = q - 59.02. Does 2 = o?
False
Let a = -53 + 59. Let o(f) = -11*f + 63. Let h be o(a). Is h smaller than -22/7?
False
Suppose 33*t - 34*t - 4*v = -111, 5*t - 3*v - 601 = 0. Is 121 at most t?
False
Let r = -369/4672 - -1/1168. Let d = r - 125/448. Which is greater: d or 1?
1
Let g be -2 - (121473/(-60))/9. Let y = g - 223. Which is bigger: y or 0?
0
Let m be (-6)/20*(-5)/(-18). Let p = 148 + -38. Let v = 109 - p. Which is bigger: m or v?
m
Let b = -992 + 12902/13. Let h = 14 - 14. Which is smaller: b or h?
h
Let v be (-3540)/5 - (3/3 - -1). Is -711 equal to v?
False
Let z = -20.76 + -0.24. Let r = -73.97 - -52.9. Let y = z - r. Is -2/3 > y?
False
Suppose 10 = -0*d + 5*d. Let p be -3*8/(-60) - d/(-5). Is p <= 0?
False
Let x be 10/(-5) + 12/3. Suppose -i = 7*t - 2*t - 15, -x*t = -4. Suppose 0 = 3*m + 2*m - i*l - 110, m - 22 = 5*l. Which is bigger: m or 21?
m
Let x = -6.14 - -0.14. Let k = 0.2 + -0.27. Let d = -0.93 + k. Which is smaller: d or x?
x
Let r = 136 - 158.9. Let b = -23 - r. Which is smaller: -17 or b?
-17
Let d(p) = -p**2 + 13*p - 4. Let w be d(13). Let s(j) = j**2 + 7*j + 11. Let x be s(w). Is x < 2/83?
True
Let c = -439 + 438. Is c equal to -66/35?
False
Let u(l) = 4*l**2 + 163*l + 121. Let j be u(-40). Is 33/40 less than or equal to j?
True
Suppose -2*r + 2*n + 26 = 4*n, 2*n = 5*r - 30. Suppose r*l + 3 + 5 = 0. Which is bigger: l or -12?
l
Let v be (-7 - 153/(-24))*(-398)/5. Are v and 51 equal?
False
Let l = -7 - -4. Let r be (-3)/(1*1/l). Suppose 5*a + 4*i = 50, -12*a + 10*a + 20 = 4*i. Are r and a unequal?
True
Let k be 20/(-28) + 19/7 + -3. Which is greater: 2/629 or k?
2/629
Let b be (-1445)/84 + (-8)/(-28). Let q be (34/(-4))/(1/2). Let n = b - q. Which is smaller: 1 or n?
n
Let a = 919.8 - 916. Is a less than -3?
False
Let z(v) = -2*v + 3. Let f be z(2). Let r be (-3)/(99/5286) - 2. Let k = r + 162. Is f greater than or equal to k?
False
Let y = 1.5 - 0.6. Let r = 96 - 96.8. Let x = y + r. Is x smaller than -4?
False
Suppose 3*b - 4 = 5. Suppose 3*n + 0 = b. Is n greater than 1.3?
False
Suppose -5*g - z + 10 = 0, 5*g + 15*z - 15 = 13*z. Let y = -5/4 - -7/12. Do g and y have different values?
True
Suppose 22 = -2*u - 5*a, -2*u + u - 9 = 2*a. Let k be 52/(-16) - (-1 + -1). Which is smaller: u or k?
k
Let k(z) = 4*z + 24. Let u be 4 + (-1 + 0)*26. Let m be k(u). Is -64 < m?
False
Let p be ((-16)/(-112))/((-6)/(-35)). Suppose -3*o = b - 5*o - 11, 0 = 4*b + 2*o - 94. Let f = -20 + b. Which is smaller: p or f?
p
Suppose -11 = -4*v + 1. Suppose 0 = 3*p - 0 - v. Which is bigger: p or 3/28?
p
Suppose 4*i + 1 + 7 = 0. Let o be i/4*(7 + -7). Let n be (o - (-1 - 2)) + -3. Which is smaller: n or 1?
n
Let v be 75/(-10)*(-2)/5. Suppose v*j + 5*h - 7 = 0, -4*j + 2*h - 13 = -5. Is 8 not equal to j?
True
Let v be (0/(-5 - 3))/4 - 42. Which is bigger: -38 or v?
-38
Suppose -5*k + 1 = -f + 5, 3*k = -4*f - 7. Let d be (-2)/(-9) + 16/9. Suppose -d*i = 2*i + 8. Which is greater: i or k?
k
Suppose 1264 + 3416 = -18*d. Does -259 = d?
False
Let i = 12 + -12.021. Let g = 0.021 + i. Does g = 5/2?
False
Let v be (-7 - -17)/(2*1). Suppose -v = -5*r - 65. Let a be r/9 + -2 - -4. Is a equal to -3/7?
False
Let n = 1778/3 - 70528/119. Which is bigger: n or 1/4?
1/4
Let f = -3/50 - -133/550. Suppose -i = -4*a + 27 + 3, 3*a - 20 = 2*i. Let y(n) = n**2 - 7*n - 8. Let q be y(a). Is q equal to f?
False
Let w = 183 + -385/2. Is -11 < w?
True
Let a(f) = -f**3 + 19*f**2 - 78*f + 1. Let x be a(13). Let s be 2/268*-2*-1. Is s smaller than x?
True
Let t(c) = c**3 - 13*c**2 - 14*c + 1. Let w be t(14). Let n be (-77)/(-14) - (w + 14/(-12)). Is n >= 6?
False
Let o = 2/15 + 1/5. Let i = 24 + -9. Let m be 3/(i/(-5))*0. Which is greater: m or o?
o
Let i = -28.87 + 29. Let r = 156.13 + -157. Let d = r - i. Are 12 and d non-equal?
True
Let v = -15.94 - -17.04. Let b be 2/12*(1 - -1). Are b and v nonequal?
True
Suppose 0 = -b + 5 - 2. Let u(x) = -x. Let v be u(b). Is 1 greater than or equal to v?
True
Let c = 41.2 - 71.8. Is 1 at most c?
False
Let w = 46 - 1059/23. Suppose a = -2*a. Let l be a/(3*2/(-3)). Is w at most as big as l?
True
Let n = 29 - 17. Suppose -j + n = -0*j. Let t = j - 15. Is t at most -4?
False
Let n(a) = 8*a - 25. Let l be n(3). Is 4/23 at most l?
False
Suppose 2*z = 3*a, -2*a - 11 = -5*z - 0. Suppose -2*g + 2 = r + z*r, -5*r - 5*g = -5. Let l = -61/6 + 154/15. Is l <= r?
False
Let y(w) = 15*w**2 + 2*w - 1. Let m be y(1). Let c be (m/(-18))/(2 - 104/51). Which is smaller: 23 or c?
c
Let t = 29 + -13. Let l = t + -6. Suppose -53*j + 600 - 17 = 0. Which is smaller: j or l?
l
Let m = 1/570 + -2/57. Let o = 1/15 - m. Let f = 58 - 58. Do o and f have the same value?
False
Let t(b) = -2*b + b - 11 + 5 + 1. Let f be t(-6). Is 2 greater than f?
True
Let o(l) = l**3 - 3*l**2 + 16*l + 11. Let r(q) = q**2 + q + 1. Let n(w) = o(w) - 6*r(w). Let p be n(8). Is 21 smaller than p?
False
Let g(v) = -5*v**3 - 17*v**2 - 32*v + 5. Let u(d) = -6*d**3 - 18*d**2 - 33*d + 6. Let c(i) = 7*g(i) - 6*u(i). Let o be c(13). Which is greater: -2/21 or o?
-2/21
Let q be (-9)/((-54)/4)*18. Suppose -3*d + 3*f = 2*d - 4, 0 = 4*d + 2*f - q. Which is smaller: d or 3?
d
Let x = -1/259 - 21/37. Which is smaller: x or 4.1?
x
Let g be (4*1 - (-27 + 31))/1. Is g at least -636?
True
Let a be -3 - 11/(286/(-92)). Is -1 at least as big as a?
False
Let r(f) = f**2 - 10*f - 23. Let s be r(12). Which is smaller: s or 3/13?
3/13
Let b be (-6)/12*158 + -1 + 1. Let t = -79 - b. Let h be 3/11*(-4)/6. Which is bigger: h or t?
t
Let y = 205 - 201. Is y bigger than -29?
True
Let v be (9 + 0)*(-2)/3. Let o be (2 - 2)*v/12. Does o = -2/23?
False
Let z = 22 + -41/2. Let w = -10/127 + 1066/635. Are z and w non-equal?
True
Let l be 3 - (2 - 8 - -4). Let o be 252/l - (-44)/(-110). Is 49 less than o?
True
Let o be (-2)/(-9) + (-3075)/(-135). Which is greater: o or 22?
o
Let j(x) = -5*x**3 - 6*x**2 - 2*x - 4. Let b be j(-4). Let q be (3/6)/((-6)/b). Which is greater: -18 or q?
-18
Suppose -4*h - 28 = -2*o, 4*o + 17*h - 12*h = 30. Is 16 less than o?
False
Let d = -4141/3 + 1319. Which is smaller: d or -61?
d
Let j be 1/(-1) + 1 + 206. Which is bigger: 205 or j?
j
Suppose -4*p + 4*v = -16, -17 = 3*p + 5*v + 11. Is -1 at least as big as p?
True
Suppose 0 = -2*l + 2, -3*m - 5*l = -5*m + 45. Let x be 1/(-3) - (-1022)/42. Is m equal to x?
False
Suppose -2*c = -5*a - 31, -a - 29 = -3*c + 3*a. Let p be (c + -6)/(3/14). Let z be (3/(-2))/((-7)/p). Which is smaller: z or -5/3?
z
Let p be (0 + -20)*(-6)/(-8). Let v be 72/(-18) - -6 - (-20)/(-1). Which is smaller: v or p?
v
Suppose 2 = -4*z - 3*r - 10, 4*r + 16 = -4*z. Suppose 0 = -t + 3*i - 34, -2*i = -t - z*t - 34. Which is smaller: -36 or t?
-36
Let c = 159339/91 + -1751. Is -0.3 bigger than c?
False
Let m be (14/36)/(5/10). Let i = -1661104 + 1021578724/615. Let d = 2/123 - i. Is d smaller than m?
True
Let a = 3.44 + 61.56. Is a greater than 0.5?
True
Let t be 64/(-32) - (-148)/62. Let h = -365/1023 + t. Is h bigger than -1?
True
Let v = -2639 