-5 - 423/72. Let j = -1 + 1. Is z at least as big as j?
True
Let k = 48.8 + -41. Let o = k + 0.2. Let l = 4 - o. Which is bigger: l or 0?
0
Let m be (1 - 12/15)*7. Let f = -11/15 + m. Which is bigger: f or 0?
f
Suppose -3*a + 31 = 7. Suppose 2 - a = -j. Suppose j = y + 3. Does y = 2?
False
Let s(u) = u**2 - 13*u + 26. Let j be s(10). Is j at most -15?
False
Let j = 597.92 + -579. Let z = j + -19. Which is bigger: -0.1 or z?
z
Let g be (-1)/(-2)*(-35)/203. Let t = g - 51/754. Is t not equal to -1/5?
True
Let c = 0 - -8. Suppose -2*y - 3*u - 1 = -c*u, -3*y + 2*u + 4 = 0. Let m be y/(-5) - (-39)/60. Which is smaller: 0 or m?
0
Let g = 10769/12 + -898. Let b = -1/4 - g. Let d = 11 + -7. Is d at most b?
False
Let w = -5 - -5. Which is smaller: w or 1/46?
w
Let w = 12 + -12. Let b = 1860/13 - 143. Let t = 23/39 + b. Which is smaller: t or w?
w
Let u = 3 + -4. Let t = 0 - u. Let n = 0.2 - 0.3. Do n and t have the same value?
False
Let j = -0.01 - 0.99. Let d(m) = -m**3 + m**2 + m - 4. Let k be d(0). Let i be (-14)/10 + k/(-10). Is j at most as big as i?
True
Let h be (2 + -3)*(-842)/14. Let m = h + -60. Which is bigger: m or -1?
m
Let i be (0 - 1)*(1 - 0). Let m = 11/328 + -166679/1640. Let h = m - -101. Are i and h unequal?
True
Let i = 379267/8 - 47319. Let g = 89 - i. Which is smaller: g or -1?
-1
Let g = 0.04 - -0.03. Let w = g + -0.02. Let c = w + 0.95. Which is greater: c or -1?
c
Let g = -77 - -14. Let w be (1 + 2)*6/g. Is -1 at least w?
False
Let x be 4/20 + 29/(-70). Is x > 0?
False
Let i = 12 - 7. Suppose -6 = m + 2*t, -2*t = -i*m - 0*t + 18. Suppose 0 = 2*x - 6 + m. Which is smaller: 2/3 or x?
2/3
Let y(d) = d**2 + 3*d. Let r be y(-3). Suppose a + a = r. Let h = 135 + -947/7. Does a = h?
False
Let f = 7 + -12. Let z be (-68)/10 - 1/5. Let g = f - z. Is 1 equal to g?
False
Let x = 10/59 - 12/767. Let z be 1*1/(-3)*3. Is x at most as big as z?
False
Suppose -2*o + 3*o = 4. Suppose 0*g = o*g. Which is smaller: g or -2?
-2
Let r be 0/((1 - 2) + 3). Let a(y) = -y**2 + 20*y - 1. Let t be a(20). Is t bigger than r?
False
Let r = 53 + -43. Which is smaller: 8 or r?
8
Let t = -28 - -40. Is t less than 12?
False
Let a = -0.12 + 0.04. Which is bigger: -1 or a?
a
Let f = 454 + -4082/9. Which is smaller: f or 0?
0
Let x be -3 + (-1)/((-2)/(-2)). Let t be -1 + -1 - (-6)/2. Let f be x/(-6) + t/(-1). Is f >= 0?
False
Let p = 74 - 71. Which is smaller: p or 4?
p
Suppose 0 = 3*f - s + 16, f - 8 + 0 = -3*s. Let i = -3 - 2. Is f at least i?
True
Let o be (-1)/5 + (-162)/15. Let n = o + 11. Is -2 equal to n?
False
Let n = 13 + -12.96. Let w = n + 3.96. Which is smaller: -2/3 or w?
-2/3
Suppose 2*v = 3*c - 0*c - 38, 3*v = -2*c + 8. Are 9 and c nonequal?
True
Suppose -3*q + 7 = -5. Suppose 0 = -2*k + q - 2. Suppose 4*w + 31 = 5*l, -3*l + 2*w - 7 = -8*l. Are k and l equal?
False
Let m = -6 - -6.1. Let l = 38 + -420/11. Which is bigger: m or l?
m
Let q be ((-20)/(-16))/(2/8). Suppose 18 = 4*a + 2. Let i = q - a. Which is greater: 1/4 or i?
i
Suppose 2*y + 2*y = 0. Which is bigger: y or -1/7?
y
Let s be 1/2 - 1/(-2). Suppose -5*y + 4*y = -3. Suppose y*w + 2 = -4*g - 10, 4*w - 3 = g. Is s at most as big as w?
False
Suppose 4*y = -3*f + 35, -5*f = -f + 4*y - 40. Suppose 5*a = 5*l + f, -4 = -l - 5*a + 1. Let m be -1 - -3 - (-108)/(-51). Which is smaller: l or m?
m
Let f = -16/11 - 31/77. Which is greater: f or -1?
-1
Suppose -12*l - 17 - 187 = 0. Is -17 equal to l?
True
Suppose 0 = g - 2*h + 3*h + 1, g - 24 = 4*h. Suppose s + 2 = 5. Suppose -t = -2*t + g*z - 12, z = s. Is 1/4 less than or equal to t?
False
Let u(l) = -20*l**3 - l**2 - l. Let m be u(-1). Let v be m/(-6)*(-48)/20. Is v < 9?
True
Let p = 0.13 + -0.11. Is p smaller than 0.2?
True
Suppose -42 = -i - 2. Let o = 401/10 - i. Which is bigger: 0 or o?
o
Let b be (-21)/18 - 1/(-1). Let d(c) = c**3 + 5*c**2 - 6*c - 3. Let n be d(-6). Let x = n - -3. Which is smaller: x or b?
b
Let t = -3 + 8. Suppose -t*i + 24 = -2*v, 3*v + i = 2*v + 2. Which is bigger: -3/4 or v?
-3/4
Let r = -1372/13395 + -2/705. Let p = 0 - -2. Suppose 9 = h - 4*h, -3*n = p*h + 3. Is r less than n?
True
Let o = 37 - 37.2. Which is bigger: o or -8/3?
o
Let h = 6 - 5. Let t be 2 + 3/(3/h). Suppose a = -t*a. Which is bigger: 1 or a?
1
Let r be -2 - (-4 - (-1 - -2)). Suppose -8 = -r*s - 3*j + 16, 4*j - 28 = -3*s. Is 2 bigger than s?
False
Let s = 0.103 - 46.103. Which is bigger: 0.1 or s?
0.1
Suppose 5*v = 5*s - 5, -5*s = -v + 2*v - 5. Let t = -0.46 + -1.54. Is s <= t?
False
Let n(q) = q**3 + 8*q**2 + 11*q - 11. Let d(c) = -c**3 - 7*c**2 - 12*c + 11. Let y(s) = 3*d(s) + 4*n(s). Let t be y(-10). Is 9 greater than or equal to t?
True
Let u be (-367)/99 - -4 - 6/33. Which is greater: -1 or u?
u
Suppose -3*h - 4 = 2*f + 5, 37 = -5*h + 4*f. Let y = -33 - -27. Which is smaller: y or h?
y
Let d = 6 - 5.8. Which is smaller: d or 2/7?
d
Suppose 85 = 5*v - 3*a, -2*a = v - 49 + 19. Suppose g - v = -3*g. Let d = 16 - 11. Is g at most d?
True
Let s = -86 + 122. Let x = 145/4 - s. Let w = 0 + 0.1. Is x not equal to w?
True
Let x = -31 - -30. Is x not equal to -6/13?
True
Let j(r) = -r**3 - 5*r**2 - r. Let z be j(-3). Is -16 not equal to z?
True
Let b(q) = 2*q**2 - 2*q - 2. Let m be b(2). Suppose -4*u - 8 = -3*i + 5*i, 0 = 5*u - m*i + 10. Let f be 0 + 1 - (0 + 1). Which is bigger: u or f?
f
Let k be -3 + (-9)/((-45)/10). Which is bigger: 4 or k?
4
Let g be -21 + (5 - (-3 - 0)/(-3)). Which is greater: 2 or g?
2
Let j(i) = i + 3. Let d be j(-4). Let k = 1 - -3. Suppose b = -k + 3. Is b greater than or equal to d?
True
Suppose -q = -4*q - 105. Let b be ((-14)/3)/(1/(-3)). Let f be (-4)/b - 3/q. Is -1 <= f?
True
Suppose m - 3 - 1 = -4*y, 0 = 5*y + 5*m - 20. Let h = y - 0. Let u(x) = -x**2 - 2. Let f be u(h). Which is smaller: f or -1/2?
f
Let n be 0 - 2/(-2) - -1. Let m be n*1/3 + -1. Is 1 != m?
True
Let h be (-8)/4 + 3/((-12)/10). Is h less than -4?
True
Let f = -6 + 6.3. Let q = f - 0.2. Let p = 7.3 + -7. Is q at most p?
True
Suppose -5*w = -10*w + 10. Let d be 82/(-6*1/(-2)). Let r = 28 - d. Which is bigger: w or r?
w
Suppose -2*r + 0*r - 5*d - 20 = 0, -4*d - 16 = 2*r. Suppose 3*w + 2*p = -0 - 8, r = -5*p + 25. Let o be (6/w)/(2/6). Is -1 >= o?
True
Let p = 0.1 + 0.3. Let v be (8/(-12))/((-4)/(-3)). Which is smaller: v or p?
v
Let o(l) = l**3 - 2*l**2 + 4*l - 13. Let d be o(3). Is 7 at most as big as d?
True
Suppose -4*y = -3*a + 21, 4*a + 2*y - 4*y - 38 = 0. Let z = a + -22. Is z >= -11?
True
Let t = -91625/7 - -13117. Let l = t - 28. Which is smaller: 2 or l?
l
Let g = -40.9 - -41. Which is greater: g or -1.1?
g
Let c be -1 + 2 - (-2)/(-1). Let w = 2 - c. Is 1 smaller than w?
True
Let w(r) = -r**3 + 6*r**2 - 4*r. Let t be w(4). Suppose 5*p = -4*q + t, 5*p - 17 = -3*q - 0. Which is smaller: -2 or q?
-2
Suppose -3*z = a + 7, -2*a - 7 = -5*a + 5*z. Is -2/19 at most a?
False
Let h be ((-10)/15)/(2/6). Let n = 59 - 58. Which is smaller: n or h?
h
Suppose -r + 30 = r. Is 68/5 at least as big as r?
False
Let q be (-191119203)/(-564) - (1 - 2). Let j = q + -338864. Let o = j + -4/47. Is 0 less than o?
True
Let z be 10/40*(-12)/5. Which is bigger: -11/4 or z?
z
Suppose c - 304 = 3*c + 4*l, -4*c - 608 = 2*l. Let f be 2/8 - (-22)/c. Which is smaller: f or 0?
0
Suppose 0 = 3*o - o. Is o >= -2?
True
Let d(o) = -o**2 - o + 4. Let q be d(2). Which is bigger: -17/5 or q?
q
Let z be 90/(-2220)*(2/3 + -2). Is z at least 0?
True
Let d = -3 + 4. Which is bigger: 13 or d?
13
Let v = 181/3 - 61. Let n(y) = -y**3 + 5*y**2 - 4*y - 1. Let k be n(4). Is k less than or equal to v?
True
Let m = 66 - 65.9. Is 1.9 > m?
True
Suppose -g = g - 8. Suppose -2*k - o - 2 = g*o, -3*o - 1 = k. Do k and 1 have different values?
True
Let i = -6.21 - 0.97. Let z = i + 7. Which is greater: -0.1 or z?
-0.1
Let k = -145/18203 + 207990523/382263. Let h = -544 + k. Is h smaller than 1?
True
Suppose -4*g - a = -5 - 3, -g - 3 = -a. Do 1 and g have the same value?
True
Let j(u) = 5*u**3 - 2*u**2 + u. Let q be j(1). Let z = 2 - q. Which is smaller: -2/3 or z?
z
Let m = -7 - -14. Which is smaller: 1/3 or m?
1/3
Suppose -13 = 3*v - 5*i - 4, 0 = -5*i + 15. Let a be 4/(-22) - 2/(-11). Is a greater than v?
False
Let w = 1/123 - 619/492. Which is bigger: w or -2/7?
-2/7
Let y(s) be the second derivative of 0 + 4