reater: s or 1?
1
Let a(v) = -v**3 + 7*v**2 - 5*v. Let n be a(6). Let p(o) = -2*o**3 + o. Suppose k - 2 = -3*x - 3, 4*k = 3*x + 11. Let w be p(x). Which is bigger: w or n?
n
Let s = 2254981/47 - 47981. Which is greater: s or -4?
s
Suppose -3*k + 6 = -2*s + 12, 15 = 3*k + 5*s. Which is smaller: 304 or k?
k
Let d = -1672 - -1671. Does 9/140 = d?
False
Let w = -1 - -1.5. Let d = -28.87 + -0.13. Let x = 27 + d. Are w and x equal?
False
Suppose -g + 6 = -0*g. Suppose 3*q + 6*q = 297. Let o be g/q - (-6)/(-33). Which is smaller: 2/19 or o?
o
Let l be 3/(24/(-12)*2/12). Is -10 at most as big as l?
True
Suppose 59 = -5*b + 4*v, 8*b - 3*b = 3*v - 58. Let l = b + 125/11. Which is greater: l or -0.4?
l
Let v(d) = d**2 - 3*d + 2. Let w be v(2). Let m = w - -11. Let p = -11 + m. Which is smaller: -2 or p?
-2
Let z(u) = -173*u - 2. Let b be z(-1). Let l = -1195/7 + b. Is l smaller than 26?
True
Let s = -11.95 + 11.65. Is s != 38/5?
True
Let g be (1/2)/((-10)/860). Is -43 != g?
False
Let m = 643 + -639.99. Let p = m - 0.01. Let u = p + -9. Is u less than 1/5?
True
Let x be (-7)/(-1) + 4*6/(-12). Suppose 0 = 4*g + 3*h - 18, -4*g + 8 + 12 = 2*h. Which is smaller: g or x?
x
Let i = -22.04 - 1391.96. Which is greater: 0.1 or i?
0.1
Suppose -5 + 0 = -f. Suppose -f*a + 72 = -128. Are 39 and a non-equal?
True
Suppose 0 = -3*s + h + 1022 + 96, 4*h = 4. Is s greater than 374?
False
Let d(v) = 6*v**3 - 6*v**2 - 7*v - 6. Let c(b) = -12*b**3 + 13*b**2 + 15*b + 13. Let l(x) = -6*c(x) - 13*d(x). Let a be l(-1). Is 5 at least a?
True
Let k(h) = 6*h + 19. Let d be k(-4). Let u be ((-15)/18 - d)*(-4)/(-35). Which is smaller: -1 or u?
-1
Let z = 1.1 + -1.7. Let g = -0.6 - z. Let c be 1 - (3 + (-24)/10). Is c less than g?
False
Let k be 100/35*7/2. Suppose -h - h + k = 0. Suppose -2*f + 1 = -u, -5*f = -0*f + h*u + 35. Which is greater: -3 or f?
f
Suppose -a + 17 = -14. Suppose -8*v + a = -97. Which is greater: v or 15?
v
Suppose -179 + 18 = 23*y. Which is bigger: 24 or y?
24
Let j be ((-1026)/(-28))/(12/(-32)). Suppose k + 376 = -3*k - 4*y, 310 = -3*k + 4*y. Let n = j - k. Is -0.2 at most n?
True
Suppose 48 = -16*v + 8*v. Let s be v/(-4)*((-7)/(-9) + -1). Which is smaller: 1/46 or s?
s
Let p = 28 + -23. Suppose p*o - 28 = o + 2*c, 2*o - 3*c = 6. Which is smaller: o or 3?
3
Let u = -27 - -35. Let x = 14 - u. Do x and 0.2 have the same value?
False
Let y = -2415 - -717. Which is smaller: y or -1697?
y
Let w be ((-198)/(-24) + 1)/(1/4). Suppose 2*q + 73 = w. Which is bigger: -19 or q?
q
Let b be (-6)/14 - (-546)/(-98). Let l be (-3)/b + 6/(-10). Is 0.03 at most l?
False
Let i be 12/(-16) - (4 - 45/12). Which is smaller: i or 1/41?
i
Let s be (-7)/(-14) - (-2)/4. Suppose 40 = 2*b - 3*v, 0*b + 2*b + 3*v = 28. Suppose -2*j = 3*j - 5*h - 5, -5*j = -h - b. Which is smaller: j or s?
s
Let s = 892 - 893. Let n = -1/70 + -1/30. Is s <= n?
True
Let r = 19 + -41. Let g = 0 - r. Which is smaller: g or -0.1?
-0.1
Suppose 4*b = -r + 575, -3*r - 12 = -7*r. Which is smaller: 144 or b?
b
Let x(o) = -19*o + 150. Let z be x(8). Let j(g) = -g + 6. Let a be j(6). Is a at most as big as z?
False
Let b = 13.01 - 13. Let k = -0.03 + b. Let u = 2.02 + k. Which is bigger: 2/11 or u?
u
Suppose 1 = g + 2*x, -2*g = -6*g + x + 4. Suppose -11 - g = -3*d. Suppose 1 = -3*u + 10. Which is greater: d or u?
d
Let y(x) = 2*x**2 - 9*x - 7. Let f be y(8). Let d = 45 + 4. Are f and d equal?
True
Let l = -3951/23 - -47020/69. Is 511 < l?
False
Let g(o) = -6*o**2 + 19*o - 4. Let d be g(3). Is -31 smaller than d?
True
Let b(x) = -x**2 + 28*x - 201. Let r be b(17). Which is smaller: 0.08 or r?
r
Let z = 0.48 - 20.48. Let v = -30 - z. Let r = 9.96 + v. Which is greater: -1 or r?
r
Let n = 27.4743 + 0.0257. Which is bigger: n or -1?
n
Let v = 161 + -1124/7. Suppose 3*k = -2*k. Which is bigger: v or k?
v
Let q be (-26)/4 - (-396)/132. Which is smaller: q or -36?
-36
Let l be ((-4)/(-170))/((-556)/3475). Let z be 0 - (-2)/(4/2). Is l at most z?
True
Let l be 2*3*5/10. Suppose f = 2*f - 36. Let c be (2*2)/(f/30). Is l smaller than c?
True
Let p be (-3)/(-8)*(-44)/(-33). Which is greater: p or -213?
p
Let s = -2268 - -56724/25. Is s bigger than 1?
False
Let d = 1.92 - -0.08. Let j = 2.2 + -2. Let z = j + 0. Is z at least as big as d?
False
Let h = 19/3 + -443/69. Does h = -1?
False
Let z = -583/5 - -117. Suppose 2*l = 4*l + 3*s - 18, 0 = -l + 2*s + 16. Let w be 36/10 + (-4)/(l/9). Does w = z?
False
Let g = -33 - -102. Let u = g - 70. Which is smaller: 2 or u?
u
Let k(c) = c**2 - 15*c + 4. Let m be k(15). Suppose -m*u + 10 + 2 = 0. Suppose 0 = a - 2 + 1. Are a and u unequal?
True
Suppose 8*z + 2*z = -1200. Let t = 128 + z. Let q = -7 + 10. Is t < q?
False
Suppose -91140 = 98*c - 5*c. Is -979 <= c?
False
Let y be 8 - (-1 - 6) - -4. Does 15 = y?
False
Suppose -9 = -3*u + 6. Suppose -u*x + 36 = -4*t + 7, t - 4 = -x. Which is smaller: -1/28 or t?
t
Let k(g) = -7*g**2 + 4*g - 13. Let x(z) = 20*z**2 - 13*z + 38. Let l(t) = -17*k(t) - 6*x(t). Let r be l(8). Let o be ((-10)/195)/((-2)/r). Is 1 bigger than o?
True
Let a = -575 + 574. Which is smaller: a or -1/213?
a
Let m = -82.7 + 80.347. Let j = -0.053 - m. Let i = j - 2.5. Which is smaller: i or -0.11?
i
Let g be (-49)/(-196) - 10/8. Is g smaller than -2.1?
False
Let r be 3184/(-1072) + 1*3. Let f = 0.7 - 0.8. Which is smaller: f or r?
f
Let p = 0 - -3. Let o(w) = 2*w**2 + 35*w - 47. Let b(l) = l**2 + 17*l - 23. Let q(d) = -13*b(d) + 6*o(d). Let r be q(-12). Is r < p?
False
Let f(l) = 2*l + 4. Let h be f(9). Suppose -5*t - 9 - 26 = -5*d, -4*t = -d + h. Suppose -6*s = -4*s - d. Which is smaller: s or 2?
s
Suppose -6 = 3*r + 3*w, -3*r - 15 = -2*w + 6. Let x = r + 45. Are 40 and x nonequal?
False
Let h = -24 + 29. Suppose -2*a + h*m = 20, 7*m - 20 = 2*m. Which is smaller: a or -6/7?
-6/7
Let o be (-165)/(-45) - 2/3. Suppose 17 = -r - o*g, 4*r + g + g = -18. Are r and -2 nonequal?
False
Suppose 26*b - 32 = 22*b. Let t be (20/b - 3) + 1. Which is bigger: t or 0.068?
t
Suppose k - 5*k = -8. Suppose -3*s = -4*u - 13, 4*s - k*u - 13 = -u. Which is greater: s or -5?
s
Let n = 98.968 - 99. Let f = -0.068 + n. Is f > 1/8?
False
Let r be 69/1035*(-10 + 2*-1). Suppose 0*f + 4*f - i = -7, -3*f + 5*i - 1 = 0. Which is bigger: r or f?
r
Let f(l) = l**3 - 51*l**2 - 40*l - 175. Let t be f(52). Which is bigger: t or -2?
t
Let z = -812 - -811. Which is smaller: z or 30?
z
Let k = 0 + 2. Let p = 0.035 + 0.955. Let w = 2.99 - p. Is k less than w?
False
Let x be 3/(((-8)/(-16))/((-51)/(-18))). Which is smaller: x or 7?
7
Let x = -2 - -5. Suppose 3*c + 0*u + 9 = -u, 0 = -u + x. Let j be 21/(-18) - (c + 2). Is 1 greater than j?
True
Suppose 10*m + 612 = 5*g + 12*m, -120 = -g + 2*m. Is g less than 123?
True
Suppose 5*o + f - 70 = 0, -6*o + 70 = -o + 5*f. Let w(h) = -h**3 + 15*h**2 - 15*h + 16. Let j be w(o). Is 5 greater than or equal to j?
True
Let w(v) = -v**3 + 7*v**2 + 14*v - 47. Let f be w(5). Which is smaller: 74 or f?
f
Let j = -60 + 59.42. Let g = 0.46 + j. Is 1 at most as big as g?
False
Let y = 2 + 1. Let x(n) = n**2 + 37*n + 237. Let h be x(-29). Is y greater than or equal to h?
False
Let i = 3624 - 39828/11. Which is bigger: i or 3?
i
Let c(r) = r + 14. Let o = 6 - 18. Let y be c(o). Suppose 3*d = y*m - 10, -5*m - 3*d = -3*m + 14. Which is smaller: 0 or m?
m
Suppose -81*q + 18000 = -33*q. Which is smaller: q or 374?
374
Suppose -34*n + 189 = 53. Let f = -19 - -17.7. Is n equal to f?
False
Suppose 122*p - 100*p = 7788. Which is smaller: 353 or p?
353
Suppose 4*m + 7 = d - 5, -d + m + 6 = 0. Let s be d/(-18) + (-5)/18. Let u = 0.048 - 3.048. Which is greater: s or u?
s
Let w = 711 + -712. Is w > 2/501?
False
Let d = 1/8 - -1/8. Let c = -1150 - -1196.95. Let k = c - 47. Which is smaller: k or d?
k
Let h = 56 - 86. Let r = h - -29.95. Which is greater: 2/3 or r?
2/3
Let n(w) = 8*w**2 + 79*w + 9. Let y be n(-10). Let g(p) = -3*p + 3. Let u be g(2). Are y and u unequal?
True
Let x be 5*12 - (-4)/4. Let p = x + -37. Let j = p + -14. Is 11 equal to j?
False
Suppose 17*o = 8*o - 288. Which is bigger: -28 or o?
-28
Suppose -p - 6 = -2*w, p = -0*p + 2. Let h be 34/(-4) - w/8. Let b = -83 - -76. Which is bigger: b or h?
b
Let i = -0.42 + 0.07. Let d = -0.03 - i. Is -1/2 < d?
True
Let h = -0.252 + -38.548.