*d. Let o(v) = 2*v**2 - 6*v + 3. Let s be o(d). Which is greater: 12 or s?
12
Let q = 105 + -105.02. Let z = 252 + -128. Let c = -1114/9 + z. Do q and c have the same value?
False
Let h = 24.85 + -24. Let f = h - -0.05. Is f equal to -2/9?
False
Let k be ((-3)/5)/(16 - 19). Let m = -1865/138 + -7/46. Let v = 14 + m. Is v <= k?
False
Let n = -13 - -17. Suppose n*t - 2*y = 12, -y = -5*t + 3*y + 12. Suppose t*x + 6 = -2*s, x - 5*s - 2 = 2. Does 3 = x?
False
Let s(a) = 2*a - 16. Let d be s(8). Let c(l) = -l - l**2 - 2 + 3*l + d*l**2. Let q be c(1). Which is greater: 2/17 or q?
2/17
Suppose -2*t - 3 = t. Let c be (-1 + 1)/(3 + t). Let u = 15 - 16. Is u greater than c?
False
Let d = -0.45 - -0.78. Let v = -0.33 + d. Is 5 at least as big as v?
True
Suppose 0 = 7*u + 181 - 62. Let o = 16 + u. Let c be 4/(-2)*5/30. Are c and o unequal?
True
Suppose 0*o + 3*o = -2*s, 0 = -2*o - 5*s. Suppose o = -2*w, 2*w - 3*w = 4*g - 12. Let f be (2 - (g - 1)) + 1. Are 0 and f unequal?
True
Let u = -4403/14003 + -1/737. Which is smaller: u or -1?
-1
Let u = -0.691 + 2.091. Does -2/7 = u?
False
Let n = 4.25 + -4.3. Let f = -0.05 - n. Let o = 29 + -20. Is o >= f?
True
Suppose 10*m = 6*m + 924. Does m = 230?
False
Let w = -3/8 + 55/104. Which is smaller: 0 or w?
0
Suppose -5*y = -4*y. Let o be 2250/(-12240) + (-2)/(-16). Are o and y nonequal?
True
Let u = 1173 - 1191. Does -16 = u?
False
Let v = -93/23 - -24622/6095. Which is smaller: v or -1?
-1
Let i(n) = -14*n - 13. Let u be i(-4). Let v = 46 - u. Are -12 and v nonequal?
True
Let p = -543 - -543.06. Which is greater: -2/47 or p?
p
Let f = 10 - 5. Suppose -4*s + 19 = 4*i - f*i, 0 = -2*i - 5*s - 12. Suppose 0 = -6*w + 9*w, 30 = -3*h + w. Is i greater than or equal to h?
False
Let g be (-1756)/(-1110)*(-99)/(-506). Let i = -9/185 + g. Which is smaller: 1 or i?
i
Let m be -20*14/(-12)*-1. Let s be (2 - 0) + (-72)/(-30)*-10. Do m and s have different values?
True
Let q = 436 + -435.94. Is 3/16 < q?
False
Suppose 2*t = -k + 2, -k - 2*k + 6 = 0. Let q(d) = -7 + 2*d + d + 4 + 5 - d**2. Let l be q(4). Is l >= t?
False
Suppose -9*m + 11*m = -522. Let t be (3/m)/(5/(-45)). Which is bigger: 0 or t?
t
Suppose d - 1 = -2*t, 3*d + 1 + 3 = t. Let y be ((-112)/35)/(-8) + (-3)/(-5). Let a be 3/1 - (y + t). Is 2/9 smaller than a?
True
Suppose 0*b = 5*b - 60. Suppose 17*y = b*y - 5. Is -1/38 not equal to y?
True
Let h = 58.1 + -56. Is -1.1 equal to h?
False
Suppose 0 = -5*q + 20 + 5. Suppose 3*b - q - 1 = 0. Suppose 0*k = -b*k. Is k smaller than 2/19?
True
Let m(a) = 7*a + 3. Let d be m(7). Let q be 1 + -46*1/d. Which is bigger: q or 1?
1
Let a = -259 - -226. Which is greater: a or -31?
-31
Suppose 2*g - d - 4*d - 17 = 0, 3*g - 29 = 4*d. Which is bigger: g or 15?
15
Suppose 147*w = 163*w + 7088. Is w not equal to -443?
False
Let q = -3907 + 3918. Let u = -17 - -31. Which is bigger: u or q?
u
Let x be (10/25)/((-2)/(-40)). Let u(g) = 8*g + 3. Let j(q) = 7*q + 4. Let z(w) = -7*j(w) + 6*u(w). Let c be z(-17). Is x > c?
True
Let t = -85.6 + 95. Let y = 8 - t. Let n = -0.6 + y. Is n > -5?
True
Let j = -17.9 - -18. Let a = 5952/25 + -238. Is a less than j?
True
Let r(d) = 4*d**2 - 5*d + 3. Let w be r(4). Suppose 5*a - w = -4*u, 8 = -4*u + 5*a + 25. Suppose 4*i - 24 = -q, -i - 4 = 3*q + 1. Is u not equal to i?
True
Suppose 12*u + 32 = 4*u. Let f be ((-96)/u)/2 + 0. Which is smaller: f or 6?
6
Let f be (576/(-55))/4 - 82/451. Is -2 less than f?
False
Let d be 59/105 - (-2)/(-15). Let v(c) = c**3 - 6 + 2*c**3 - 4*c**3 - c - 5*c**2. Let g be v(-5). Is d >= g?
True
Suppose 0 = 21*z - 23*z - 118. Let o = z - -44. Which is bigger: -17 or o?
o
Let w be (1*-1)/((-5)/(-45)). Let t(v) = v**2 + 1. Let x(l) = -3*l**2 - 4*l + 6. Let h(r) = t(r) + x(r). Let u be h(-4). Is u >= w?
True
Let t be ((-45)/8325)/(2/(2 - 0)). Which is smaller: t or 1?
t
Let h be -2 - 0 - (0 + -2). Let o be 1/2 + (-45)/(-18). Suppose h = -g + i, o*i = -3 + 6. Do 1/16 and g have the same value?
False
Suppose 3*t = -3*v - 585, -4*v - 8*t + 7*t = 783. Is v equal to -197?
False
Let t(b) = b - 2. Let x be t(2). Suppose 13 = 2*a - 5*u - 18, -3*u - 9 = 0. Let c be -6 + a + 16/(-10). Which is bigger: c or x?
c
Let t(q) = -q**3 + 14*q**2 + 18*q - 27. Let k be t(13). Let m be k/(-32) + 10/(-8). Do m and -1/4 have different values?
True
Let o = 207 + -173. Is 1/2 >= o?
False
Let j = -44 + 62. Suppose 0 = 4*d, -2*w + d + 4*d + j = 0. Suppose 4*n - 15 = w*n. Is n equal to -2?
False
Suppose -4*v = 0, 5*t + 2*v + 2*v = 10. Suppose 254 - 256 = -t*a. Let l = -0.58 - -0.5. Which is bigger: a or l?
a
Let w be 45/(-6)*1/10. Let t = -0.55 + 0.48. Which is smaller: t or w?
w
Let u = -146 + 148. Which is greater: -0.24 or u?
u
Let v be 22/4 + (1 - 1). Let q(s) = -s**3 + 9*s**2 + 25*s - 26. Let t be q(11). Which is smaller: v or t?
v
Let q = -0.33 - 0.03. Let v = 0.46 + q. Which is bigger: 1 or v?
1
Let n = 7/163 + -145/7172. Do n and 0 have the same value?
False
Let f = -7 - -10. Let w be (-455)/(-21) - 2/f. Let o be 14/w + (-2)/3. Which is bigger: 10/7 or o?
10/7
Let q(c) = -c**3 - 7*c**2 + 8*c + 1. Let o be q(-8). Are -5/49 and o non-equal?
True
Let n = -7751.49 - -7720. Let p = n + 33.4. Let d = p - -0.09. Are d and 0 non-equal?
True
Let p be (348/(-232))/(1 + -1 + 12). Suppose 3 = -5*o - 2. Is p <= o?
False
Let h(p) = -p**2 - 8*p - 3. Let i(g) = -g + 1. Let k(q) = h(q) - i(q). Suppose 2*a = -4*a - 36. Let l be k(a). Is 3 at least l?
True
Let p = -47.1 - -47. Let k = -0.4 + -3.6. Which is smaller: k or p?
k
Let h be 6/423*246 + -5 + 1. Which is smaller: 0 or h?
h
Let r = 892827 - 394629349/442. Let g = 1831/816 + -95/48. Let o = r - g. Which is smaller: 1 or o?
o
Suppose -3*g + 60 = -6*g. Let f be g/6 + (-4)/(-12). Let t(i) = 5*i - 12. Let j be t(2). Which is smaller: j or f?
f
Suppose 3*u = 7 + 5. Suppose 0 = -3*i - t + 12 + 22, 2*i - 2*t - 12 = 0. Suppose -3*v - u*p = -v + i, -5 = 4*v + 3*p. Which is smaller: v or 2/21?
2/21
Let z be (-57)/(-9) - 4/(-6). Let q = -10 + z. Let l be (1 - q) + 12/(-6). Which is greater: 6/11 or l?
l
Let b(i) = -2*i - 10. Let f be b(-5). Suppose f*d + 2*d = 3*y + 13, 3*d = 4*y + 17. Let t = 26 + d. Is 25 less than t?
False
Suppose -2*b + 3*v + 9 = b, -5*v = -2*b + 15. Suppose b = -5*u + 11 + 24. Suppose -u*y + 4*y = 9. Which is smaller: -3/2 or y?
y
Let w = 1079 + -1213. Is -132 greater than w?
True
Suppose -5*z = -10*z + 45. Let t be (-2 + 4)/(2/z). Are t and 8 non-equal?
True
Let r(l) = -l**3 - 26*l**2 + 55*l - 28. Let z be r(-28). Is z greater than -8/73?
True
Let h = -549 + 1619/3. Which is smaller: 1 or h?
h
Let h = 407 - 580. Which is smaller: h or 0?
h
Suppose -5*y = -2*y + 6. Let d be y/(-2) + 6/(-1). Suppose 0 = -a - p - 4, 2*p + 14 = -3*a - 3*p. Is d equal to a?
False
Let u = 409963/301 + -1362. Is -1 equal to u?
False
Let b = 1073/11 - 97. Suppose 2*z - 4*c + 18 = 0, -5*z + 0*c + 2*c = 5. Is b at most as big as z?
True
Suppose -557 + 543 = -7*o. Is o greater than 20/31?
True
Let a be (-24)/990*(21 - 0). Let i = -41/33 - a. Let o = -1/3 - i. Which is bigger: o or 0.06?
o
Let b(o) = -30*o + 51. Let x be b(2). Which is bigger: 5 or x?
5
Suppose -5*p - 80 = -2*q + q, 3*p + 3*q = -66. Let x be 30/8*(-4 - -8). Let i = p + x. Is -10/7 greater than i?
True
Let g(c) = -16*c**3 - 5*c**2 + 37*c + 3. Let u be g(5). Which is bigger: u or -1938?
u
Let t = 22544/135 - 167. Is t smaller than 1?
True
Let o be 2/66*12/(-50). Suppose -5*f + 9*f + 6 = -2*c, -5*f = 5. Which is bigger: c or o?
o
Let h = -1.1 - -0.1. Let q = 691 - 626.3. Let c = -65 + q. Is c greater than h?
True
Suppose -2*l - y = -233, y = l + 3*l - 475. Let r = l + -1177/10. Which is greater: r or -0.2?
r
Let v = -201485/57 + 3535. Is 0 at least as big as v?
False
Suppose i - 2*i = -8. Let b be 3 + -4 - (-98)/(-1716)*-146. Let o = b - 2/429. Which is smaller: i or o?
o
Suppose 0 = -67*q + 66*q - 1. Which is smaller: q or -29?
-29
Suppose 3*u = -3*j - 18, 0 = -4*u + 52*j - 50*j + 6. Is u at most as big as 6/287?
True
Let f be 2/6 - ((-68)/12 - 4). Let h = 3 - 1. Let a be ((-2)/2)/(h/(-22)). Which is bigger: a or f?
a
Let h be ((-30205)/175)/((-27)/(-30)). Which is smaller: -193 or h?
-193
Let v(y) = 10*y. Let g be v(-1). Let h be ((-4)/g)/(1/5). Suppose -3*p - 4*j + 16 - 3 = 0, 0 = -5*p - 5*j + 20. Which is big