*u + 3*g, -5*g + 25 = 5*u - t*u. Let l be 5/(-25) - 6/15. Is l at least as big as u?
False
Let c(g) = g - 13. Let y be c(0). Is y not equal to -14?
True
Let i = -6.2 + 5.9. Is i <= 1?
True
Suppose 2*v - 129 = 5*o + 9, -5*o - 135 = -5*v. Let s = o - -57/2. Suppose -4*g + 2*g = -2*n - 6, 5*n = -3*g + 1. Is s bigger than g?
False
Let l = -31.2 + 31. Let t = 0.1 + -2.1. Is t <= l?
True
Suppose -5*z + 10 + 10 = 0. Suppose -w + 3*s = 2, 3*s = -6*w + 4*w - z. Are -1 and w unequal?
True
Let h = -93 + 89. Is h smaller than -4?
False
Suppose -d - 5*w - 21 = 0, -5*d + 2*w + 2 + 1 = 0. Which is smaller: d or -1/4?
d
Let u be -57*(3 - 0)/(-9). Let l = 11 - u. Let k = 5 + l. Is -3 equal to k?
True
Let t be (-10)/(-20)*0/(-2). Let c(z) = -z**2 - 6*z - 3. Let p be c(-5). Suppose 4*h + 15 = h + 3*m, p*m = -3*h + 10. Is h less than or equal to t?
True
Let o be 10/6*(-8 + 5). Let m = 5 + o. Which is bigger: m or 4?
4
Let a = -1 - -2. Let y = a - 0. Is y at most as big as -0.05?
False
Let z = 0.82 + -0.12. Let s = -0.61 - -1.51. Let q = z - s. Is 0 greater than q?
True
Let c = -3 - -3. Let q be ((-24)/28)/(2 + c). Does q = 0?
False
Suppose 9*i - 5*i - 96 = 0. Let l be 3/i + (-45)/40. Is -5 at most l?
True
Suppose -3*u + 1 = 2*v - 2, 5*u = 4*v + 5. Let t be 2/4 - (-2)/6. Which is bigger: v or t?
t
Suppose 5*n + 4*k - 28 = 0, n - 2*k - 2 = -k. Suppose -3*y - n = y. Which is greater: y or -0.3?
-0.3
Let t = 11 + -7. Suppose 2*v - 2*u = -3*u - 3, 3*u - 11 = t*v. Which is smaller: -3 or v?
-3
Let x = -1/10 - 3/70. Suppose -10*b + 6*b + 60 = 0. Let z be b/(-70) + (-1)/(-2). Which is bigger: x or z?
z
Suppose 0 = 3*z - 12, 4*z - 8*z + 126 = -5*n. Which is bigger: n or -21?
-21
Let s = -216199/14 - -15431. Let q = s - -23/2. Let j be (-2)/(-3) - (-5)/(-12). Which is bigger: q or j?
j
Let g(h) = -h**2 + 2*h + 3. Let o be g(-1). Which is smaller: 6 or o?
o
Let z(l) = -l**2 + 13*l - 4. Let y be z(13). Let v(c) = 7*c**2 + c. Let s be v(-1). Let g be (9/s - 2)*6. Which is greater: g or y?
g
Let m(f) = -f + 9. Let a be m(7). Suppose -z + a = -2. Suppose -q - h = 0, -3*h = -4*q - 3 - z. Is q greater than 0?
False
Let l(f) = -f**2 - 9*f - 8. Let w = -12 + 4. Let m be l(w). Is 2/11 < m?
False
Let k = 53/60 + 13/15. Let h = k - 5/4. Let l be (-1)/(2 + -1 + -2). Is l less than h?
False
Suppose 2*c - 4 = -0*c. Which is smaller: c or 1?
1
Let n be ((-8)/12)/((-4)/12). Is -6 smaller than n?
True
Let w = 9 - 7. Suppose w*p - 1 = -3. Is 2/15 > p?
True
Let o(x) = x**3 - 1. Let g be o(1). Let m = -1 - g. Which is smaller: m or 2/37?
m
Suppose 153 = -5*z - 362. Which is bigger: z or -102?
-102
Let i(k) = k + 7. Let g be i(-7). Suppose 0 = 5*z - z + 16. Is g smaller than z?
False
Suppose -2*z - 35 = 39. Is z >= -37?
True
Let u = 39 + -38. Is 2/41 at least u?
False
Let f be ((-108)/16)/((-15)/2). Which is smaller: 1 or f?
f
Suppose h = -f + 10, 5*h = 3*f + f - 85. Let z be (f/25)/((-14)/10). Which is smaller: -1 or z?
-1
Let y be 1/(-3) - (-10)/42. Is y greater than 1?
False
Let o = -121/345 + 2/115. Let v = 3 - 3. Is o bigger than v?
False
Suppose 4*l = -2*b + 18, -5*l + 3*l = -6. Let o = 19 - 16. Is o at most as big as b?
True
Let d be 3 - 0*(-3)/(-9). Let m(n) = -n**3 + 4*n**2 - 4*n + 4. Let h be m(d). Let v(k) = -k**2 - 2*k + 4. Let o be v(-3). Is h bigger than o?
False
Let m = -0.02 + -0.28. Let o = 2.8 + -3. Is o bigger than m?
True
Suppose 4*h = 5*v - 10*v + 1, 3*v - 5*h - 8 = 0. Which is smaller: v or 84?
v
Suppose 0 = 2*u + u - 9. Suppose 0 = -i + o - 175, 2*o = u*i + 465 + 60. Let g be 2/(-7) + (-120)/i. Which is smaller: 0 or g?
0
Let w(d) = -6*d**3 + d**2 - 1. Let o be w(-1). Do o and 6 have the same value?
True
Suppose i + 7 = 3. Let b(h) = 6*h + 16. Let d be b(-8). Let v = d - -29. Which is greater: i or v?
v
Let q = 27 + -33. Is q at least as big as -2/5?
False
Let z be 3/12*8/(-6). Which is bigger: 1 or z?
1
Let u = 4 + -5.7. Let w = 0.1 - u. Let q = -2 + w. Do 2/9 and q have the same value?
False
Suppose -5*y - 40 = 20. Let t = y - -11. Does t = -2/3?
False
Suppose 0 = 5*c - 4*v + 20, -5*c + 2*v = -2*c + 14. Which is greater: c or -9?
c
Let k be -1 + 6/21 - 8/28. Is -3/77 equal to k?
False
Suppose -2*g = -5*u - 3 + 27, 5*g - 45 = -5*u. Let f be (3/(9/u))/(-2). Is f at least -1/8?
False
Let r be (-46)/6 - 2/(-3). Let s be 4/r - (-6)/21. Suppose -5*l - 34 = -39. Which is bigger: l or s?
l
Let a = 0.3 + -0.3. Let t = a + -2. Let p = -1.9 - t. Is p smaller than 1/3?
True
Let v be (0 - 2)*(-4)/8. Let k be (-1 + -1)*1/(-2). Is v greater than or equal to k?
True
Let y be 2 + (-15)/(-2 + -1). Which is smaller: 15/2 or y?
y
Suppose 54 = 3*v - 2*f - 3*f, 0 = -v + 5*f + 18. Let z be (-7588)/v + 0/(-2). Let k = z - -422. Do -1 and k have the same value?
False
Let x be (10104/19)/(-2) + 2. Let o = -264 - x. Is 0 > o?
True
Suppose 0 = -m + 1 + 2. Suppose 4*z - z = h + 11, -2*h = 4*z - 18. Suppose -h = -m*g + 2*g. Which is smaller: g or 1/5?
1/5
Let b be -2 + 4 + -2 + 3. Which is smaller: b or 12/5?
12/5
Let o be 6/9*-3 + 1. Let h = 27 + -25. Which is smaller: o or h?
o
Let b = 106/5 + -99/5. Which is smaller: 1 or b?
1
Let c = 3.5 + -2. Let m = c - -0.5. Let t = 1.17 + -0.17. Which is bigger: t or m?
m
Let d = 16606/13 - 1278. Which is greater: 0 or d?
0
Let t be (-3)/((-6)/(-4)) - -13. Suppose -w - 7 = -3, -4*w + t = 3*b. Suppose 0 = m - 2, -3*i = 2*i + 2*m - b. Is 2/5 bigger than i?
False
Let n = -9 - -9.07. Is 0.2 < n?
False
Suppose a = -0*a. Suppose -2*j = 4*k + 8, 4*j - 3*k + 6*k + 16 = 0. Does j = a?
False
Let c = -71 - -67. Which is smaller: -14 or c?
-14
Let q = 0.141 + -0.911. Let u = -0.07 - q. Are -2 and u nonequal?
True
Let p = 7 - 7. Let t be p + 3/9*-2. Is t not equal to -2?
True
Let b(a) = a**3 - 5*a**2 - 4*a + 7. Let i be b(6). Suppose -y = f + i, -f - 71 = 5*y - 2*f. Let v be y/6*(-16)/(-60). Is v not equal to 0?
True
Let q = -6 + 5. Let s be (5/15)/(26/(-12)). Which is smaller: q or s?
q
Let r = -4 + 9. Suppose 6 = v + r. Is v > 3?
False
Let p be 1/2*2 + 3. Suppose -9 - 11 = p*s. Which is greater: s or -4?
-4
Let z be 2*1/3*3. Let o = 5/42 - -3/14. Which is smaller: z or o?
o
Let t = 3 + 4. Let p(m) = t*m + 2*m**2 + 2 + 2 - m**2 - 3*m. Let u be p(-4). Is u at least 3?
True
Let i = -6 - 4. Let c = i + 18. Is 8 greater than or equal to c?
True
Let w = -8 + 5. Let f be (-11)/22*(-9 + 1). Suppose 0*h - h - f = -v, 5*h = -v - 2. Is w greater than or equal to h?
False
Let b = 10 - 7. Let s = 22 - 21. Is b equal to s?
False
Let y = 7.241 + -0.241. Let q be (-13)/(-20) + 4/(-10). Which is smaller: q or y?
q
Let o(i) = i**2 + i - 5. Let a be o(3). Do a and 0.1 have different values?
True
Suppose 6 = -4*c + 2. Suppose 0 = -4*a - 11 + 59. Let m be (16/a)/(20/(-18)). Which is smaller: m or c?
m
Let r = 0.1 - 0.2. Let q = r - 0. Let t = 2 - 2.2. Does t = q?
False
Let c = 1 - -5. Suppose -4*r - 2 = -c. Which is bigger: 3 or r?
3
Suppose 0*b - 6 = -2*b. Let g be (b/((-42)/8))/1. Which is smaller: g or -2?
-2
Let c be (4/(-5))/(6/(-15)). Let m = -477/5 + 95. Which is smaller: c or m?
m
Let b(i) = 3*i - 4. Let j be b(3). Suppose 0 = -4*x - 2*s - 10, -x - j*s - 19 = 3*x. Is x at least 2/7?
False
Let t = -309/4 - -78. Let b = t - 1/12. Suppose w = 2*i - 2*w - 10, 0 = 2*i + 4*w + 4. Is b at most as big as i?
True
Let i(a) = 5*a**2 - 3*a - 1 + a**3 + 0*a**3 - 2*a**3. Let o be i(4). Suppose -5*q = -o*q. Which is smaller: -1/3 or q?
-1/3
Let g(f) = -61*f + 57. Let m be g(1). Let w be (6/5)/((-1)/5). Which is bigger: w or m?
m
Suppose -c - 28 = -2*c. Let n be (-1)/(2 + c/(-12)). Which is smaller: n or 4?
n
Let w be (-4)/14 - 156/(-840). Which is bigger: w or 2?
2
Suppose 0 = 2*i + 4*c + 20, 6*c = 2*c - 20. Do 0 and i have the same value?
True
Let l = -0.02 + 0.02. Let c = l + 0. Is c bigger than 6?
False
Let r be (-11)/(-18) - (-2)/(-4). Let n(a) = a**2 - 11*a + 19. Let s be n(9). Is r greater than s?
False
Suppose 0 = -2*a + 10, 3*r - a + 35 = -3*a. Are r and -15 unequal?
False
Let s = 163 + -1469/9. Which is bigger: s or 8?
8
Let n be (-1)/(-4) - (-22)/(-56). Is 2/7 smaller than n?
False
Let m be (-2)/(-8) - 301/20. Let x = 53 - 38. Let w = x + m. Is w <= -1?
False
Let c = 10/7 - 358/231. Do 1 and c have the same value?
False
Let f(b) = -2*b - 11. Let j be f(-3). Which is bigger: -3 or j