25 or h?
h
Suppose 0 = 4*f - 4*k + 56, -6*f = -11*f + k - 62. Is -7 at most as big as f?
False
Suppose -4*y = 58*y + 62. Is 650 bigger than y?
True
Let f be (48/220)/(1*(-4)/(-360)). Which is greater: f or 21?
21
Let d = -9 - -9. Suppose g = -d*g. Let i be (g/(-3) - -1)*0. Do 0 and i have different values?
False
Suppose r - 7 = 2*g, -3*g + 6*g + 21 = 5*r. Suppose 0 = 2*s + 4*p + 20, 3*p = -s + 6*s + 115. Let z be ((-4)/(-30))/((-4)/s). Which is smaller: z or g?
g
Let k = -50 - -79. Let j = k - 20. Which is greater: 19/2 or j?
19/2
Suppose -10*v + 16 = 76. Which is bigger: v or -2?
-2
Let o be (-12)/((1 + -4)/3). Suppose -200*u + 197*u - 12 = 0. Let n = u + o. Is n > 7?
True
Suppose -4*u - 2 = -58. Suppose 7*h = u*h. Which is smaller: h or -12/23?
-12/23
Let s = 0.42 + -0.12. Let q = -10 - -5. Let c = q + 5.1. Is c less than or equal to s?
True
Let j be 1/7 - 797/(-7). Suppose 0 = -3*v + 27 + j. Let u = -328/7 + v. Are -0.1 and u nonequal?
True
Suppose -7*w + 3*w - 3*h = 175, -5*w - 2*h - 210 = 0. Let o be 2/(w/12)*-5. Let m be (2/o)/(2/3). Is m > -1?
True
Let b = -2.5 + -4.5. Suppose -4*s + 17 = 5*v - s, -v = -4*s + 15. Which is bigger: b or v?
v
Let x = -16 - -28. Let k = 15.995 + 0.005. Let i = x - k. Is -2/9 >= i?
True
Let f = -5 + 8. Let s = -96 - -93. Let r be (13/s)/(-2 + 1). Which is smaller: r or f?
f
Let a(r) = -r**3 - 3*r**2 - r - 15. Let d be a(-3). Suppose 0 = 3*h + 30 - 0. Is h greater than d?
True
Let k(g) = 29*g**2. Let w be k(-1). Let v be w*6/178 - 1. Is v not equal to 1?
True
Let p = -286 + 297. Which is smaller: p or 0?
0
Let v = 3 - 1. Suppose 5*n + 0*n = -4*y + 117, -2*y + 36 = -2*n. Let i = -19 + y. Which is smaller: v or i?
v
Let y be (0 + (-4)/3)*(-1 + -2). Suppose 3*w = -w - y. Is w at most as big as 3/10?
True
Let p be 2 + -6 + 1 + 13. Let y be 1 - ((-5)/p - -2). Suppose 4*j - 3*j + 1 = 0. Is j at most y?
True
Let d = 1287.2 + -1287. Does d = 763?
False
Suppose 111900 = -5*b - 93655. Let p = b - -450757/11. Let x = p - -133. Is 1 != x?
True
Suppose 3*b + b = 4*h + 48, -5*b + 3*h = -58. Let u be 26/22 - 2/b. Which is smaller: -13 or u?
-13
Let k be (154/(-4) - 2)/((-3)/(-6)). Which is bigger: -82 or k?
k
Let w(v) be the first derivative of -v**3/3 - 9*v**2 + 6*v - 14. Let l be w(-18). Which is smaller: 21/4 or l?
21/4
Let p be ((-24)/(-20))/2 + (-46)/10. Let a be ((-2)/(-5))/(p/(-10)). Which is bigger: a or 3/13?
a
Suppose -4*z - j = -66, -3*z + 4*j - 2*j = -44. Let v(t) = t - 15. Let d be v(z). Which is smaller: -1/7 or d?
-1/7
Let m be (-6)/(-4)*1872/(-27). Are -2/5 and m non-equal?
True
Let q(p) = -p**2 + 7*p - 5. Let o be q(5). Let y(z) = -z**2 + 4*z + 7. Let c be y(o). Suppose 0 = c*m - j - 9, m - 4*m + 4*j = -21. Is 1 at most as big as m?
True
Let j(u) = u**2 + 1. Let z be j(0). Let l be (-2385)/480 - 1*-5. Which is greater: z or l?
z
Suppose 30*h + 11 = 41. Which is bigger: h or -204/7?
h
Suppose -2*d - 13 = -s + 89, -3*d + s = 153. Is d <= -52?
False
Let u = 1.9 + 1.1. Let z = u + 10. Let b = -13 + z. Does b = -1/4?
False
Let f be 2/4*44*3. Let l = -2062 - -2127. Which is bigger: l or f?
f
Let s be (-11)/(-3) + -1 - 2. Let m = -1392.83 + 1393. Is m <= s?
True
Let x = 17 + -18. Is x greater than or equal to 8/83?
False
Let m be 544/10*-1 - (-128)/320. Is m < -54?
False
Suppose 0 = -8*c + 17*c + 45. Let s(t) = t**3 + 5*t**2 + 2*t - 2. Let d be s(c). Suppose 0 = 3*f - 2*f - 2*q + 3, q + 70 = -5*f. Is f smaller than d?
True
Let t be 8 - (3 + 0) - -1. Suppose t*s = 3*s - 9. Let v = 3 + -5. Is s equal to v?
False
Let w = -6 - -2.8. Let q = -1.6 - w. Let f = -2.6 + q. Is 3 bigger than f?
True
Suppose 0 = -3*x + 6, -2*x = b + 2*b - 13. Let l be (9/b)/12 + (-1)/2. Is -0.1 at most as big as l?
False
Suppose 12*g - 923 = 1861. Is g equal to 236?
False
Let y = 719 - 713.06. Let r = -0.06 - y. Let g = 5 + r. Is 2 >= g?
True
Suppose -40*r = -195 - 45. Is r > 108/19?
True
Let v = 26013 + -26013.8. Let c = -99/5 + 683/35. Is c >= v?
True
Let o = 254.94 + -255. Is 0.09 smaller than o?
False
Let i(d) = -1 - 1 + 0 + 0*d - 2*d. Let u be i(4). Let y be (-3)/2 + u/(-5). Which is smaller: 1 or y?
y
Let k = -0.35 - -0.25. Let f = -0.1 + k. Let m = -12 - -12.5. Is m greater than or equal to f?
True
Let u = 208.8 - 209. Do -72 and u have different values?
True
Let w be 8/6*9/6. Suppose 7 = d - 2*b, w*b = -5*d - 2*b - 7. Is d equal to -1/24?
False
Let i = 21 - 39. Let j = i + 22. Suppose -j*u - y + 17 = 0, -5*u + 3*y = -3*u + 9. Which is smaller: 3/2 or u?
3/2
Let y be (3 - 3)/(2/2). Let c(h) = h**3 - h**2 + 5. Let o be c(y). Let j be -4*(-3)/6 + (-8)/(-4). Which is smaller: o or j?
j
Let k = 5551 - 116545/21. Is 1 smaller than k?
True
Suppose 17 = -j + 54. Let y be (-139)/556 - -149*2/8. Is y greater than or equal to j?
True
Let n = -370 - -370. Are 1/51 and n equal?
False
Let m = 3 - 2.74. Let c = 0.2 + -0.3. Which is smaller: c or m?
c
Let y(h) = -2*h**2 + 14*h + 7. Let m be y(7). Suppose -9*t = -m*t - 28. Let i = -14 + t. Is -3/8 equal to i?
False
Suppose 37*m = 32*m + 20. Suppose -h + 1 + 2 = 0. Is m greater than h?
True
Suppose -15*l + 326 = -469. Let s = 55 - l. Is 9/8 at least as big as s?
False
Let f = 16.71 + -17.02. Is 2/19 > f?
True
Let x(t) be the third derivative of -t**4/24 - t**3/3 + 8*t**2. Let u be x(-3). Which is smaller: 2 or u?
u
Let r = -71 + 72. Which is greater: r or -12/79?
r
Let p be (-4)/(-34) + 3668/1224*2. Do 6 and p have different values?
True
Suppose r = f + 25 - 3, 5*f + 120 = -5*r. Is f less than -5?
True
Let c be (12/3)/(20/(-15)). Suppose -6*g = -2*g - 4. Which is greater: g or c?
g
Let m = -125 - -123.6. Is -1.3 at least m?
True
Suppose -2*w + 4 = -3*n, 0 = n - 2*n - 4. Let f be w + 1 - (-1 + 2 + -8). Which is greater: f or 3?
f
Let y be 28/12 - (-2)/(-6). Suppose -10 = 35*w - 40*w. Suppose w*u + y*u - 7 = -c, 4*c = 4*u - 12. Which is greater: 4 or u?
4
Let w be (8/(-14))/((-10)/35). Suppose x - w*y + 140 = -x, -4*x - y - 260 = 0. Let d be x/56 - 1/4. Is d < 0?
True
Let s = 8/621 - 2/23. Let a be -1 + (0 - -8) + -1. Let b be (-2)/5 - a/(-40). Which is smaller: s or b?
b
Let s(g) = g**3 + 3*g**2 - 2. Let y be s(-3). Let u be (-9)/(-6) - (y - -3). Let x = -2 - -2.04. Which is smaller: x or u?
x
Let w be 1/(-5) - (-65)/200. Let y = 43 - 42. Is y not equal to w?
True
Let a = 3920472/8965 + -663605578089/1517344180. Let l = 3/2227 - a. Which is smaller: l or -1?
-1
Let p be 23 + 32/18 + (-8)/(-36). Let t be p/35 - 2/(-7). Is t less than 15/14?
True
Let x = -11 - 1.5. Let c = x - -8.6. Let k = 1.1 - c. Is k less than or equal to 2?
False
Suppose 2*m - 4*z = -2, -1 + 7 = m + 5*z. Let w = 158 - 422. Let a be 178/1100 - (-48)/w. Which is bigger: a or m?
m
Suppose 6*h = -42 - 6. Let g be (26/h)/(-4 + 6). Which is bigger: g or -1?
-1
Suppose 2*d - n - 6 = 0, 0 = 41*d - 38*d - 5*n - 23. Is -1/3518 less than d?
True
Suppose -8*x = 5 - 13. Let v be 3 + 2/(-3) + x. Suppose p - 3 = -0*p. Is v at most p?
False
Let n = 1050 - 1051. Which is smaller: 12/143 or n?
n
Let j be (-1)/(5/4)*305/1586. Which is smaller: j or 9?
j
Let v = -3 + -32. Let f be 6*(-3 - v/10). Suppose 11 = 5*o + 2*q, f*q = -2*o + q + 8. Is 1/14 at most o?
True
Suppose 0 = 2*h - 4*z - 180, 24*h - 2*z + 390 = 28*h. Which is smaller: h or 1/8?
1/8
Let x be (-3)/((-21)/4) + (-68)/119. Which is greater: -7/12 or x?
x
Let t = 15555 + -15556. Let r(h) = h**3 - 7*h**2 - h + 7. Let v be r(7). Suppose v = -u - 25 + 9. Which is smaller: t or u?
u
Let a be 1700/12 + (-2)/3. Which is smaller: a or 143?
a
Suppose -6*m + 8*m + y - 5 = 0, -m - 2*y - 2 = 0. Let w(b) = -11 + 0*b - 2 - b. Let t be w(m). Is t equal to -15?
False
Let w = -174 - 64. Which is smaller: -236 or w?
w
Let y = -107 + 427/4. Suppose -3*f + 1 = -k, 3*f - 2 + 7 = 4*k. Is y at least f?
False
Let j(l) = -l**3 - 16*l**2 - 62*l + 7. Let n be j(-7). Which is smaller: n or -4.3?
-4.3
Suppose 6 = -4*t + 6*t. Let i be 4/((-20)/4 + t). Let g be 1*(6/i - -2). Is 0 >= g?
True
Suppose -55 = -5*k - 5*w, 0*k = -5*k + w + 61. Let i be ((1 - 3) + 1)*-3. Suppose -3*t + i - k = 0. Are -13/5 and t non-equal?
True
Suppose -9*z = 5*z - 798. Let v = z + -46. Which is bigger: 12 or v?
12
Suppose 3*n = 2*a - 37, -3*n - a + 0*a = 31. Let w(z) = z**2 - 17*z - 35. Let l be w(18). Let p = l - n. Which is smaller: -5 or p