is smaller: -1 or z?
-1
Let c = -0.0403 + -3.9997. Which is greater: c or 2/3?
2/3
Let l = 1177 - 1348. Which is greater: l or -339/2?
-339/2
Let m be (2 - 3)/(1 + 0). Let q(w) = w**3 - 3*w**2 + 6*w - 4. Let k be q(3). Let i be 1/7 - 30/k. Is i <= m?
True
Let g = 0.412 - -5.888. Is -2/5 at least as big as g?
False
Let m = 20620777004/105162412745 - -48/4321447. Let j = m - 2/785. Which is greater: j or -1?
j
Let n(c) = 23*c**2 - 4*c - 1. Let j be n(3). Which is greater: j or 195?
195
Let h be -2 + 9 + (-1836)/486. Does 2 = h?
False
Let w = 4109 - 2891. Let u = w + -104749/86. Which is bigger: u or -1?
u
Let w = 227563834/23 + -9895835. Suppose 0 = -4*f - 8885 + 1865. Let i = w - f. Which is bigger: i or 0?
0
Let w(f) = 20 + 0*f + f**3 - 2*f**2 - 12*f - 8*f**2 - 8. Let r be w(11). Which is greater: r or -1/66?
r
Let w be (36/27)/((-4)/(-6)). Suppose -4*b = -5*b - w. Which is smaller: -7/3 or b?
-7/3
Let n = -493 + 637. Let p = 0 - -143. Is p at least as big as n?
False
Suppose -x + 0*x = -3. Suppose d - h + x = 7, 5*d = 2*h + 26. Suppose -5*v = -d*v. Which is bigger: v or -2/13?
v
Suppose 4*u - 2*i - 56 = 0, -2*i - 5 = -9. Suppose 3*p - p - 4 = 0. Suppose -u = -p*q - 3. Is q < -2/7?
False
Suppose -5*a + 23 = 2*w, 0*w + w + 3*a - 14 = 0. Let k be -1*2/(-3)*-3. Let o be (-12)/(-9)*w/k. Is o >= 0.2?
True
Let l(i) = i**3 - 5*i**2 + 2*i + 9. Let x be l(4). Let u be (x - -2) + (-5 - (7 + -8)). Let n be 2/(-4) + 2/4. Which is bigger: n or u?
n
Let y = -18697/25 + 748. Let d(x) = x**2 + 9*x + 1. Let v be d(-9). Is y greater than v?
False
Let g be 2193*(-2)/3*3/(-6). Is 731 at most as big as g?
True
Suppose -12*c - 10248 = 16*c. Is 1 bigger than c?
True
Let l = -37 + 42. Suppose w + 4*p + 5 = l*p, -5*w - 4*p = -2. Which is smaller: -9/10 or w?
w
Let a = 1356 + -82719/61. Let q = -55/122 + a. Is -3/2 bigger than q?
False
Suppose 2*b - b + 1 = 0. Let i = 1948683/113 + -17245. Is i equal to b?
False
Let h(v) = v**3 - 13*v**2 + 14*v - 14. Let i be h(12). Let y be (i + -3)*3/(-9). Which is smaller: y or -3?
-3
Let r be 7/5 - (-2)/(-5). Let w be (r/2)/(1/(-2)). Let t be -4 + 1*(-190)/(-55). Is t at least as big as w?
True
Suppose 0 = 5*i - 3 - 77. Let z = i + -13. Suppose -1 = -z*o + 2. Is 2/15 >= o?
False
Suppose -54*t = 3673 + 4913. Is -3 <= t?
False
Let i = 0.6 - 0.3. Let q = 2072 - 2084. Which is greater: q or i?
i
Let h = -9.529 + -0.271. Do 1/4 and h have different values?
True
Let s = 359/5 + -1132/15. Which is bigger: -4 or s?
s
Let z be (-4 - 80/(-30)) + 2730/9. Which is bigger: z or 301?
z
Let o be (-4936)/(-62700) - (1 - 1). Let h = o + -12/275. Is h at most as big as -1?
False
Suppose 4 = 12*p - 11*p. Suppose 2*q = i - 36, -3*q + p*i - 93 = 2*q. Is q equal to -14?
False
Let k be 1/(-2) - 3 - -5. Suppose -4*y - 4 = 2*d - 2, -5*y = -2*d + 16. Which is smaller: k or d?
k
Let x(p) = 3*p**2 - 11. Let b be x(2). Do -1/148 and b have the same value?
False
Let n = -69 + 73. Suppose 3*p - 3 - 9 = 0. Suppose -2*q - j - 1 = 1, -p*j = -n*q + 8. Are q and 1 non-equal?
True
Let g = -16.821 - -29.958. Let h = g - 0.137. Which is smaller: -1/3 or h?
-1/3
Let d be -56 + 45 + (-484)/(-5). Is 87 less than d?
False
Suppose -2*m - 18 = -r + 3, -4*r = -4. Let x = 73 + -29. Let z = -54 + x. Is z greater than m?
False
Let y be -2 + (-5)/(-10)*(-1 + 5). Are y and -11/19 equal?
False
Let v = 5 + 15. Let f = 58 + -77.8. Let o = v + f. Is 4 != o?
True
Let l = 68/117 - -5347/1872. Let s = 1013/304 - l. Let t(c) = -c**2 + 4*c - 4. Let w be t(3). Do w and s have different values?
True
Suppose 0 = -f + 10 - 12. Let z(x) = x**2 - 1. Let m be z(f). Let v = -2 + 6. Is v less than m?
False
Let a = -86 + 93. Let i be 4*(25/(-5))/(-10). Which is smaller: i or a?
i
Let v(u) = -u**2 - 4*u - 6. Let f be v(0). Let t = 7 + f. Which is smaller: -9 or t?
-9
Let p be (6/(-8))/((-11)/2). Let d(w) = 4*w + 2. Let x be d(0). Let s be (x/3)/(((-4)/6)/1). Is s >= p?
False
Suppose 5*f + 1551 = -319. Which is bigger: f or -0.1?
-0.1
Suppose l + l = 468. Let p be l/70 - (-2)/(-14). Which is bigger: p or 4?
4
Let u = -0.63 - -0.55. Let g = 0.98 + 1.1. Let n = g + u. Which is greater: n or 2/3?
n
Let q(u) = -4*u**2 + 13*u - 19. Let g be q(5). Is g >= -50?
False
Let c = 1802 - 106358/59. Is -2 > c?
False
Let p be (1 + 0)/6*(-404)/(-5). Let y = 30472/2265 - p. Is 1 smaller than y?
False
Suppose -r + 78*l - 80*l - 269 = 0, -2*r + 3*l - 531 = 0. Which is bigger: -531/2 or r?
-531/2
Let b(q) = q**2 - 14*q + 26. Let i be b(12). Let u be (i - 48/20)/((-3)/12). Is -1 at least as big as u?
False
Let h(j) = -5*j**2 + 3*j + 23. Let g be h(-5). Which is greater: -123 or g?
g
Let g be (-228)/342 - 52/3. Which is greater: -17 or g?
-17
Let o = -5 - 0. Suppose -3*r = -1 - 5. Let k be (9/(r + 1))/(-1). Is o equal to k?
False
Suppose 2*c - u - 1 = 0, 0 = -u - 0 - 1. Let x be (3/(171/6))/(-2). Is x < c?
True
Let h be (-88)/1100 + 3468/43975. Is -1 bigger than h?
False
Suppose 2*k = 3*n + 20, -9*k = -4*k - 4*n - 64. Let y be 18*(-4)/k*-2. Which is greater: y or 10?
10
Let q = 6 - 10. Let w be -31 + (-1 - (-8)/q). Let g = w + 343/10. Which is bigger: g or 0?
g
Let f be -8 + 9 + -10 + 7. Which is bigger: -17/6 or f?
f
Let g = 9638/15 - 646. Does -2 = g?
False
Let x = 0.312 + -0.29. Let u = 1.978 + x. Are u and 4/5 unequal?
True
Suppose -5*d - 2*j + 797 = 0, 4*d + 145 = 5*d + 4*j. Let x = d - 251. Do x and -91 have different values?
True
Suppose -3*l = 2*l - 20. Let i be (-2)/5 + l/(-20). Suppose 4*p + 8 = -s, -p - 1 - 1 = 3*s. Which is smaller: p or i?
p
Suppose 22 = 5*t - 188. Which is smaller: t or 40?
40
Let y = 850 - 785. Which is smaller: y or 64?
64
Suppose 3*a + 5*f = 10, -5*f = -a + 2*a. Suppose -3*t + 1 = -11. Suppose 0 = -5*k + t*h + 15, 6*h - 12 = -4*k + h. Does k = a?
False
Let b(v) = -v**2 - 19*v + 32. Let j be b(-20). Let m(u) = u**3 + 7*u**2 - 9*u - 5. Let s be m(-8). Suppose s*n + 2*n = 60. Is n equal to j?
True
Let v = 4 - 10. Let f = 22 + -20. Suppose 9 = -l + f*h - 2, 15 = -l + 4*h. Is l at most as big as v?
True
Let j(k) = -k**2 - 12*k - 19. Let b be j(-10). Let w(v) = 2*v - 2. Let p be w(b). Is -2/21 < p?
True
Suppose -q + 0 = -2, -5*q = -a - 9. Let r be (2 - a - -1) + 0. Does r = 13?
False
Suppose 0*i = -5*i. Let c be (-8984)/(-2240) + 0 + -4. Let h = -879/3640 + c. Which is greater: i or h?
i
Let d = -146 - -146. Is -1/1189 bigger than d?
False
Let t be (18/3)/3 + 1. Suppose t*s + b = 13, 4*s = 2*b + 10 + 14. Let u be 1/(((-180)/(-8))/s). Is u at most 0.2?
False
Suppose -4*y + 5*p - 2 = 0, -3*p + 0 + 4 = -y. Let u be y*(2 + (-9)/6). Let i be 671/(-616) + (84/(-32))/(-7). Which is smaller: u or i?
i
Let k = 25 - 23. Let p be -3 + (-1068)/(-387) - k/(-6). Which is smaller: -1 or p?
-1
Let y be (-8)/24 + 78/(-9). Let a be (-4 - y)/5*0. Which is smaller: 3/23 or a?
a
Let c be 5/4 + 255/68. Suppose 0 = -0*g - c*g. Are -2 and g non-equal?
True
Let d be (-6)/14 - (-9698)/(-91). Let m = d - -107. Which is smaller: 2/45 or m?
m
Let y = -0.9 + -0.1. Let w = 2453 - 125105/51. Are w and y unequal?
True
Let i = -0.1 + 0.2. Suppose 0 = 6*l + 56 - 2. Is i bigger than l?
True
Suppose d = -3*m + 173 - 152, -3*d + 39 = 3*m. Which is bigger: 84/11 or d?
d
Let p(t) = -5*t + 9. Let o be p(2). Let f = o - 3. Which is greater: -5/2 or f?
-5/2
Let y be (-6)/(-9) - 87/9. Suppose 0 = -4*u, 3*v + u = -7 - 11. Let p = y - v. Is p <= -3?
True
Let l be (0 - 10/(-6))*39/(-15). Which is greater: -4 or l?
-4
Suppose 0 = 2*d + 3 + 1. Let o be (-2)/4*d/(-3). Let g be 52/(-286) - (93/33 + -3). Which is smaller: g or o?
o
Let x = -1617 - -1617. Let b = 64 - 56.7. Let d = -7 + b. Is x at most as big as d?
True
Let i = -0.008 - 8.992. Let c = 11 + i. Which is greater: 1/4 or c?
c
Let x = -585 + 589. Is x less than or equal to -32?
False
Suppose 20 = -2*p - 0*p. Let d be (-4)/8 - p/22. Let i = 351 - 352. Which is smaller: d or i?
i
Let d be (-32)/168*3/(-2). Which is bigger: -3.8 or d?
d
Let t be (-5)/150*-5 + (-1)/(-3). Let s(j) = -3*j - 2. Let u(q) = 7*q + 3. Let k(o) = 9*s(o) + 4*u(o). Let z be k(6). Is z at least as big as t?
False
Let b be ((-830)/(-4) + -1)*(-2)/(-3). Is b not equal to 138?
True
Let r = -1164 - -1791. Which is smaller: r or 629?
r
Let i(h) be the third derivative of -h**5/30 - 17*h**4/8 + 8*h**3/3 + h**2 + h. Let