. Suppose x = 5*g - 5*g - 3*g. Which is smaller: g or 2/83?
g
Suppose -15 = 3*c + 5*x, -1 = 5*c + 3*x + 8. Is c > -4/83?
True
Let w be -2*(-3)/(-63) - 0. Let g = -0.028 - 38.972. Let i = -37 - g. Is i less than w?
False
Suppose -5*d - 2*m + 6*m + 17 = 0, 0 = 3*d - 5*m - 18. Is -1/357 at most as big as d?
True
Let t(n) = -n**3 - 10*n**2 - 9*n + 3. Let q be t(-9). Suppose 2*d = 2*u + q*d - 28, 2*d = -2*u + 24. Is u not equal to 1?
True
Let i(h) = -h**3 + 2*h**2 + 2*h - 3. Let u be i(3). Let j(f) = -f**3 - 12*f**2 + 12*f - 13. Let a be j(-13). Let k be -2 - 1 - a - 4. Is u < k?
False
Let c = -24.8 + 25. Let b = c + -0.09. Which is bigger: b or -2/7?
b
Let a = 607 + -569. Are 52 and a non-equal?
True
Let f = -16 - -11. Suppose 40*b - 38*b + 14 = 0. Is b at least as big as f?
False
Let w(u) be the third derivative of u**4/24 - u**3/6 - 8*u**2. Let n be w(0). Let v be n/(-1) - 20/14. Is 0 at least v?
True
Let f(n) = 4*n - 6*n - n**2 - 4*n - 14 - n. Let u be f(-4). Let t be (-2 - -3)*2/u. Is t less than or equal to -1?
True
Let q = -255 - -276.4. Let d = 31 + -52. Let z = q + d. Which is bigger: z or 4/5?
4/5
Let p be (-177492)/504 + 2/(-6). Which is greater: p or -353?
p
Let t = -9 + 9.1. Let p = -4.6 + -1.4. Let h = p + 1. Is t smaller than h?
False
Let a = 0.2 + 22.8. Let p = a - 34. Let o = 8.111 - 7.111. Which is smaller: p or o?
p
Let l be (-5)/(-5) - (-165)/3. Let w be 4/l*22 + -1. Which is smaller: 1 or w?
w
Let j = -2153 - -40895/19. Which is smaller: 0 or j?
j
Suppose -28*y = -10*y + 2178. Which is smaller: 0.1 or y?
y
Suppose -h + 12 - 28 = 2*i, 40 = -5*i - h. Let x be 2*4/i + 0. Let u = -529/10 + 53. Is u equal to x?
False
Let c = -683.1 - -729. Let o = 46 - c. Which is greater: o or -22?
o
Let x = 105.983 + -107. Let m = 0.017 + x. Which is greater: -2/63 or m?
-2/63
Let a be -3 - -14 - (10 + -8). Let o(t) = -t**3 + 10*t**2 - 9*t - 1. Let k be o(a). Is 1/24 < k?
False
Let i = -160 - -161. Which is smaller: -3/178 or i?
-3/178
Suppose 0 = x + 4 - 7. Suppose -x*o - 2*m - 3*m = 14, -20 = -4*o + 3*m. Suppose 3*b - 25 = -o*b. Is 1 > b?
False
Let n = -0.14 + 0.04. Suppose -3 = 2*w - 3*w. Suppose w*y = -2 - 4. Is n at least as big as y?
True
Let k = -3 - -3.1. Let a = k - 0.2. Let m = -592.5 - -592.4. Is m >= a?
True
Let q = 2060 - 59742/29. Which is smaller: q or 17?
q
Suppose 3*m - 3 = 0, -z - 3*m + 13 - 2 = 0. Let w be -1 + -2 - (-6 + 6)/(-1). Let v = w + z. Is v at least 6?
False
Suppose -4*w - 20 = -6*w - 3*k, 3*w + 3*k = 36. Is 103/6 at least as big as w?
True
Let f = 264.1 + -264. Which is bigger: f or 11/4?
11/4
Let m be (-912)/56 + 4/14. Let p = -29 + 16. Let u be (-1)/(-1) - (3 - p). Is m less than u?
True
Let y = -80 - -135. Suppose -432*a + 404*a + 1512 = 0. Is a >= y?
False
Let t = 9.6 - 0.6. Let h = 0.0021 + 8.7979. Let c = h - t. Is 0 greater than c?
True
Suppose 0 = -4*n + 6*n - 8. Let f be (0 + (-6)/(-15))*5. Suppose 0 = 2*i + n*y + 20 - 6, i - f*y - 5 = 0. Which is greater: i or -1/4?
-1/4
Let t be 0/((-3 - -1)/2). Let u be (-1770)/(-21) + (-3)/(-1). Let p = -87 + u. Which is bigger: t or p?
p
Let w be (-2)/(-4) + 0/2. Let g be -7*6/108*-6. Does g = w?
False
Let z = -16.8 - -101.8. Let b = -46 + z. Let a = b - 38. Which is smaller: a or -2/9?
-2/9
Let i(m) = m**2 - 2. Suppose -3*j = -8*j + 5. Let o be i(j). Which is greater: 0 or o?
0
Let k = -33 + 33. Suppose k*z = 5*z - 75. Is z at least 15?
True
Let t(v) = -v**3 - 5*v**2 - 5*v - 1. Let g be t(-4). Suppose -g*i + 8*i = -m - 25, i = 5*m - 31. Let f be (56/30)/(2/(-5)). Which is bigger: i or f?
f
Let a(o) = -o**3 - 2*o**2 + 4*o + 6. Let g be a(-3). Let s be (3/9)/(g/18). Let z be -1 + 68/22 + -1. Which is bigger: z or s?
s
Let n = -12 + 24. Let x(s) = s - 6. Let f be x(n). Does f = 8?
False
Let d = -671 - -8717/13. Which is smaller: d or 4?
d
Suppose 0 = -k - 4*p - 5 + 27, 4*p - 24 = -2*k. Let u(o) be the first derivative of -3*o**2 + 2*o + 1. Let j be u(k). Which is smaller: j or -9?
j
Let s be (-1)/2 - 155/50. Is 1 bigger than s?
True
Let h = 2 - -5. Suppose 3 = b - 2*j, -b = -h*j + 2*j. Suppose 2*c + b*y = y, -5*c + 22 = -y. Are -2 and c nonequal?
True
Suppose 0*a = 3*a + r - 146, 2*r = -2*a + 96. Let u = a + -61. Are -14 and u nonequal?
True
Let v be 3*12/40 + (-2)/5. Let d = 0.59 + 0.49. Let a = d + -0.08. Which is greater: a or v?
a
Let t = -970/9 + 59188/549. Suppose -3*o = 14 + 1. Let y be (o/(-10))/(2/4). Is y not equal to t?
True
Suppose -66*c + 58*c = -632. Are c and 81 equal?
False
Let a = -6.908 + 7. Let h = 0.012 - a. Is -2/9 smaller than h?
True
Suppose 57*o - 18 = 55*o + 2*j, 0 = -2*o + 5*j + 3. Let v = 8 - 6. Are o and v unequal?
True
Let m(r) = 4*r - 10. Let x(l) = -7*l + 19. Let y(t) = 5*m(t) + 3*x(t). Let j be y(8). Let p(o) = -8*o**2 + 1. Let n be p(j). Is n less than -1?
True
Let n = -0.342 + 57.342. Are n and 0.2 non-equal?
True
Let f = -129.9061 - 0.0939. Which is smaller: 1 or f?
f
Let n(a) = a**3 - a + 6. Let d(g) = 2*g**3 + g**2 - 2*g + 13. Let v(o) = 6*d(o) - 13*n(o). Let z be v(6). Which is bigger: 8 or z?
8
Let w(x) = 939*x + 6. Let f be w(-2). Let a be (3*(-4)/f)/(3/6). Does a = 1?
False
Let n = -1/1116 + 6751/61380. Is -1 less than or equal to n?
True
Let s = -125.8 + 124. Is 0 smaller than s?
False
Let o be (-101)/(-6) - 1/(-6). Let r = 21 - o. Let w be (r/(-170))/(6/(-30)). Is 2 smaller than w?
False
Let r be (-6)/(-16) - (-209)/(-152). Are -7/208 and r non-equal?
True
Let o be 4*(-2 - (-63)/(-14)). Let w(p) = p**2 - p - 26. Let z be w(0). Is o >= z?
True
Let j(u) = -u**2 + 4*u + 1. Let o be j(3). Let d be (-4)/32*2*-36. Which is greater: d or o?
d
Let q(p) = p. Let t be q(-3). Let w = t + 2. Let z = -358 + 362. Is w < z?
True
Suppose 5*j + l + 265 = 2*j, 20 = 4*l. Is -92 greater than or equal to j?
False
Let f = -4 - 2. Let b = -27 - -53/2. Is b at least f?
True
Suppose -19*g - 4*g - 15019 = 0. Is g < -653?
False
Let u be 44/20 + (1 - 0). Let d(z) = z**3 + 16*z**2 - z - 13. Let o be d(-16). Which is greater: o or u?
u
Let g = -595825521/53 + 11240689. Let s = 1302 + g. Are -1 and s equal?
False
Let j(w) = -w**2 - 17*w + 39. Let f be j(-19). Let d be (-4 - f - 154)*2/(-6). Are d and -1 non-equal?
True
Let z be ((-175)/(-63))/5*1/25. Let p(q) = q - 6. Let m be p(6). Is z greater than or equal to m?
True
Suppose -r + 5 = 4*r. Is r >= 0?
True
Let o = -696 - -629. Which is smaller: o or -70?
-70
Let u = 130.7 - 33.7. Which is smaller: u or -2/7?
-2/7
Suppose 0*p - 5*w - 16 = p, 4*w + 12 = 0. Is p greater than or equal to -1/149?
False
Suppose 0*r - 3*r = x - 1, -2*x - 20 = -5*r. Suppose 6*o - r*o = -2*g + 8, g = o - 8. Let z be -2 - -2 - g/(-30). Are -2/3 and z nonequal?
True
Let l = -91 - -91. Let m be 213/360 - (-12)/16. Let o = 13/10 - m. Is l equal to o?
False
Let w = -612 + 346. Which is smaller: w or -1/2?
w
Let v = 613 - 547. Is 56 > v?
False
Suppose -18*v - 344 - 160 = 0. Is v smaller than -25?
True
Let h(j) = -3*j - 45. Let w be h(-16). Suppose w*p + 3*x - 1 - 14 = 0, 2*p - x = -2. Does 8/33 = p?
False
Let t(f) = -f**2 - 4*f. Let a be t(-4). Suppose 5*w + 5 = -a*w. Let u = -399/2255 + -1/205. Which is smaller: u or w?
w
Suppose 960 = 5*u - 4*u - 6*w, -3*u + w + 2812 = 0. Is 936 greater than u?
False
Let i = 2/573 - -17132/16617. Let p = 564/377 - i. Is -3 not equal to p?
True
Suppose -18*m = -20*m. Suppose -3*k = k + 24. Let v(g) = g - 1. Let i be v(k). Do i and m have different values?
True
Let x = -1506.4 - -1506. Are x and 2/1101 equal?
False
Let w = 847 + -853.93. Are 0.1 and w equal?
False
Suppose -42 = -3*y - 3*f, -2*y + 72 = 3*y + 4*f. Suppose -t = o + 3*o + y, 3*t - 4*o = -96. Is -28 bigger than t?
False
Let n = 211.61 + -212. Which is bigger: 4 or n?
4
Let k be (-2)/(-3)*(7 + -18 + 23). Let p(m) = 2*m + 3. Suppose -v = 5*w - 6*v - 15, -2*w + v = -6. Let z be p(w). Is k > z?
False
Let n be (-1 + (-8)/6)*30/(-105). Are n and -1/103 unequal?
True
Let f be 14/52 + 6/(-12). Let m = -1290.7 + 1291. Which is smaller: m or f?
f
Let i be 3 + (8/2)/2. Suppose -i*n + 3*n = 0. Let p be (-21 - -17) + -5 + 8. Which is greater: p or n?
n
Let i = 0.84 + -0.61. Is i bigger than -1/5?
True
Suppose -5*r + 56 = 6. Is r less than 13?
True
Suppose 1 - 5 = 4*k. Which is bigger: 2/161 or k?
2/161
Let i be (2/8*4)/1. Suppose 2*p + n - 4 = 0, -3*p + 