1 - 14.11. Let b = w + 15. Which is bigger: b or 0.2?
b
Suppose -78 = 12*v - 6*v. Let s(u) = -3*u**2 + u - 1. Let a be s(2). Are a and v equal?
False
Let a(d) = d**2 + 7*d - 6. Let u be a(-8). Suppose -q - p = u*q - 2, -7 = 2*q - p. Let x = -0.3 + 0.5. Are q and x equal?
False
Let i be 4 + 4*42/24. Suppose -i*t + 2*t = -4*t. Which is greater: 0.026 or t?
0.026
Let i = 1537 + -2239. Which is smaller: i or -701?
i
Let c be (-880)/234 + (5 - 1). Let j = c - 6/13. Is j not equal to -46?
True
Let d = -3.83 - -4.1. Let f = d + -0.37. Which is greater: 0.07 or f?
0.07
Suppose 3*k - 8 = 5*q, -5*q + 7*q + 3 = k. Which is smaller: q or -6/29?
q
Suppose -2*o + 39 = 3*x + 11, -2*x + 14 = o. Let r(s) = s**2 - 15*s + 25. Let w be r(11). Let i = o + w. Which is bigger: -4 or i?
-4
Let p(l) = -l**3 - 5*l**2 - 4*l + 5. Let s be p(-5). Let q = -201 + 225. Is s smaller than q?
False
Suppose 30 = 5*f + 5. Suppose u = f*u. Let n(z) = z**2 + 5*z + 5. Let q be n(-4). Which is smaller: u or q?
u
Suppose 21*v - 16*v - 20 = 0. Which is greater: 0 or v?
v
Let x = -173 - -82. Let r = 92.7 + x. Is r > -1?
True
Let r be (1/6385)/((-5)/(-25)). Do r and 1 have different values?
True
Let d = 448 - 445. Let r be 1654/690 - (-4)/(-6). Let a = -3/23 + r. Which is smaller: d or a?
a
Let r be (-6)/249*(-7 - -6). Let g(w) = 5*w**3 + 11*w**2 + 5*w + 5. Let d be g(-2). Which is smaller: r or d?
d
Let u = 5779 - 28776/5. Let v = u + -23. Suppose 5*q - 25 = t, -2*t - 3*t = -3*q + 15. Which is smaller: t or v?
t
Suppose 4*y - 9*y = -650. Let i = -62 + y. Let j = i - 202/3. Which is greater: 0 or j?
j
Let c = 0 + 13. Let k be (-15)/(-2)*(-66)/(-9). Suppose 3*i + 2*i - 49 = -3*v, k = 5*v - 5*i. Is v equal to c?
True
Let l be (0 - 0)/((-4)/2). Let i be ((-1)/(-21))/(60/40). Which is greater: i or l?
i
Suppose -435 = -56*l + 63013. Which is smaller: 1132 or l?
1132
Let d = -55 + 65. Suppose -d*h = -9*h + 22. Is -23 greater than h?
False
Let k = -211 - -359. Which is bigger: k or 147?
k
Let r be 4 - (-534)/(-232)*240/45. Is r at least as big as -8?
False
Let w = -0.155 - -0.215. Let q(d) = -d**3 - 9*d**2 - d - 1. Let k be q(-9). Let z be 1/k - (-9)/(-24). Is w greater than or equal to z?
True
Let i = -21 + 27. Suppose 2*h + h - 3*p = i, 5*h = -3*p + 2. Which is bigger: h or 1/18?
h
Let p(f) = -2*f**2 - 4*f + 12. Let b be p(2). Which is smaller: b or 3?
b
Let l = 12.4 + -14.5. Is l <= 0.09?
True
Let q = 49.2 + 1. Let o = q + -51. Let n = -0.01 - 0.09. Is n at most o?
False
Let i = -0.41 + 0.04. Are -2 and i equal?
False
Suppose 4*r - 103 = 89. Is r less than or equal to 50?
True
Let l(c) = -c**2 + 8*c. Let w be l(6). Suppose t + 4 = 0, 4*t = -2*v + t - 4. Suppose 10*p - 36 = -v*g + 7*p, 4*g + p = 44. Is w at least as big as g?
True
Let l be 8085/2694 + 18/(-6). Do l and 0 have the same value?
False
Suppose 23*j = -772 - 1804. Which is smaller: -111 or j?
j
Let w = 1269 - 803. Let n = w - 440.95. Let l = 25 - n. Which is smaller: 1 or l?
l
Let j(v) = -3*v**3 - 2*v**2 + 1. Let r be j(-1). Suppose 4*t + 92 = 4*d, -2*d = -4*d + 4. Let m be t/147*70/(-12). Is m equal to r?
False
Let g(j) = j**2 - 143. Let t be g(-12). Let l = 41836/5 - 8406. Let h = l + 77/2. Which is smaller: t or h?
h
Suppose 2*h + 4 = 0, g + 12 = -3*g + 2*h. Let r be (g/10)/(1/15 + 0). Let u be 2/4*28/(-2). Which is bigger: u or r?
r
Suppose i = -2*i + 3*t + 3, -4*t + 36 = 4*i. Suppose 0 = -i*z + z - 16, -52 = -2*p + z. Which is greater: 2 or p?
p
Let i be (4 - -1) + 3*8/(-12). Let x = -3 - i. Which is bigger: -4 or x?
-4
Let f(x) = x**2 + 15*x + 10. Let n be f(-7). Let d = -48 - n. Let r = -75 - -227/3. Is r less than d?
False
Suppose v - 1 + 2 = 0. Let z be 3/(-12) - v/4. Let l be (-3)/(-2 - 9/3). Do z and l have the same value?
False
Suppose -14 + 2 = -3*w. Let s(n) = n**2 - 5*n + 4. Let z be s(w). Is z at most as big as 2/27?
True
Suppose -j = 2*a + 10, 11*a + 22 = -j + 12*a. Which is bigger: j or -17?
-17
Suppose -4*t - 33 - 43 = 0. Let j be 9/(-12)*-4 - 24. Is t at least as big as j?
True
Let n(u) = 4*u - 8. Let l be n(2). Let x = -0.04 + -0.26. Do l and x have different values?
True
Let c = 2.711 - 0.011. Let h = -6.3 - c. Let w be 2*(-1)/4*2. Do w and h have different values?
True
Let o = 24 - 16. Suppose -2*h = 3*c + 17, 13 = h + 5*c + 39. Let q be 0/h*(-9 + o). Which is smaller: 1/12 or q?
q
Let m = 1852/27 - -1103/27. Let h = -109 + m. Which is greater: h or 0?
h
Let u(d) = 5*d - 23. Let f be u(10). Are 300/11 and f equal?
False
Let t be ((-6)/(-5))/((-10)/25). Let w = -155 + 154. Is w greater than or equal to t?
True
Suppose 0 = -0*z - 2*z - 10, z = 3*t - 155. Let q be (-1 - 4)*40/t. Let n be (-1)/q - (-104)/(-32). Is -1 >= n?
True
Let i = 74 - 102. Is i < -25?
True
Let f(y) = 5*y**2 + 97. Let v(s) = 14*s**2 + 292. Let u(c) = 11*f(c) - 4*v(c). Let n be u(0). Let d = 195/2 + n. Is d bigger than -3?
False
Suppose 38*x - 12 = 26. Which is smaller: x or -1/248?
-1/248
Suppose -2*n = 4, p - 3*p - 16 = 5*n. Let q = 742 - 732. Which is greater: q or p?
q
Let t be (-9)/(-6) - 2262/60. Let a = t + 2011/55. Is -1 < a?
True
Let w = 4576/5 + -915. Are -0.7 and w equal?
False
Let a = -16.7 + 16. Let y = a + 1.7. Let q = 4.3 - -0.7. Is q > y?
True
Let t(o) = -o**2 + 19*o + 65. Let v be t(-4). Which is smaller: -82/3 or v?
-82/3
Suppose 5*o = -0*o - 40. Let n be o/20 + (-51)/(-140). Is 0 smaller than n?
False
Let j = -206 - -213. Which is smaller: j or 33/5?
33/5
Suppose -2*n = 4 + 12. Let g be 3 + (-144)/n - (3 + 1). Which is smaller: g or -1?
-1
Suppose 13728 = -9*w + 5*w. Let t = -37788/11 - w. Which is smaller: t or 1?
t
Let x(r) = r - 2. Let w(v) = -v + 4. Let b(z) = -4*w(z) - 7*x(z). Let o be b(-1). Is o at most as big as 3/13?
False
Suppose 0*q + 12 = -3*q. Let d(m) = -20*m**2 - 205*m - 48. Let i be d(-10). Is i bigger than q?
True
Let h = 84 - 93. Which is smaller: h or 31?
h
Let g(t) = -3*t**2 + 31*t - 68. Let y be g(12). Is y at most -129?
False
Suppose -5*g = 283 - 288. Is g bigger than 24/215?
True
Suppose 32 = 4*i + 4*m, -4*i + m = 19 - 66. Let n(b) = b**3 - 47*b**2 - 103*b + 254. Let d be n(49). Which is bigger: d or i?
i
Suppose 1871 + 8252 = -53*i. Is -194 not equal to i?
True
Let i(m) = m**2 + 11*m + 20. Let s be i(-8). Is s greater than -23/5?
True
Let z be 1/5 + -2 + (-2390)/(-300). Which is smaller: z or 7?
z
Suppose 0 = 6*v - 17*v - 781. Do v and -211/3 have the same value?
False
Let f = -2 - -3. Suppose 3*n - 31 = -2*b, -2*b - 4 - 4 = 0. Let d be 34/26 + (n - 14). Is d at most as big as f?
True
Let w = 236 - 132. Let g = w - 95. Is g at least 6?
True
Let y = -9764/7 - -1400. Let i = -159/35 + y. Is 1 less than i?
False
Let u be ((-4)/3)/((-1)/(-27)). Let i = u - -20. Let d = 30 + i. Is d less than 14?
False
Suppose 5*s - 89 = 3*k, -3 = -5*k + 7. Let l = s + -12. Which is greater: 5 or l?
l
Let a(t) = 3*t + 9. Let q be a(-18). Let u = q - -63. Is 17 bigger than u?
False
Suppose 175 - 435 = 13*n. Which is greater: n or 1?
1
Suppose -6*x - 1150 = -346. Which is smaller: -132 or x?
x
Let y(k) = -k - 1. Let g be y(-1). Let l = -624 + 11850/19. Which is bigger: l or g?
g
Let y(j) = 19*j + 27. Let s be y(9). Which is smaller: s or 197?
197
Let t = -82.3 + 78. Let h = -4.3 - t. Which is smaller: -11 or h?
-11
Let l be (-1)/(-5) - 1022/10 - -4. Which is bigger: l or -99?
l
Let x = -357 + 21778/61. Let h = -233/671 - x. Are 1 and h non-equal?
True
Let b(h) = 46*h + 88. Let y be b(13). Does y = 685?
False
Suppose -u + 5*a - 62 = 0, a = -4*u - 3*a - 200. Let n = 54 + u. Is n bigger than 0?
True
Suppose -g - 2 = -4*m, 2 + 4 = 3*g. Let k = -63/1564 - -1/92. Which is smaller: m or k?
k
Let o be 10/1*(-6)/(-5). Let m(t) = t - 12. Let a be m(o). Is a at most 2/25?
True
Suppose p - 5*p + 12 = 0. Let d be 7/((2 + -3)/p). Let f be (-8)/(-24) - (-1)/d. Which is bigger: f or 0.02?
f
Suppose -7*h - 6*h = -156. Suppose -h*w + 21*w + 9 = 0. Which is greater: -3/8 or w?
-3/8
Let z = 55.6 - 57. Let y = -1.01 - 0.29. Let a = z - y. Is a less than or equal to 4?
True
Let q(g) = -4*g + 12. Let v be q(-9). Suppose 0 = 3*n - 3, -2*n - 35 = -c + 10. Is v equal to c?
False
Suppose 27*j - 12*j = 22*j. Which is smaller: j or 2/4899?
j
Suppose 216 = 15*j - 42*j. Is -4 at most as big as j?
False
Let l be (-6)/3*5/2. Let j be (l/10)/(1/(-12))