69 - -71. Let v = 0.081 - g. Which is greater: v or 1?
1
Let x = 147 + -151. Let c = 1 - 1. Let h be c - 2 - x/(-8). Which is bigger: h or 0?
0
Let x(d) = 15*d - 2. Let y be x(-3). Let o = y - -48. Which is smaller: o or -1?
-1
Let g = -8072/93 - -260/3. Is 0 at least g?
True
Let u = 81 - 72. Suppose -u*i - 162 = -0*i. Is i smaller than -17?
True
Suppose -4*z + 22 = -38. Let u be 2/z - (-1)/(30/(-34)). Which is smaller: u or 3/11?
u
Let v = 32 + -33. Which is smaller: -1/51 or v?
v
Let s(n) = n**3 + 3*n**2 + 4*n + 7. Let i be s(-4). Suppose -72 = 3*p + h, p = 3*h - h - 24. Which is smaller: i or p?
i
Let q = -1031 + 1036.6. Which is smaller: q or 7?
q
Let u(i) = -9 - i**2 - 10*i**2 + 6*i**2 - 7*i. Let c be u(-6). Let t = -3235/22 - c. Is t smaller than 0?
True
Suppose 0 = -4*c + 262 + 122. Suppose 0*w - 3*w = -c. Suppose -w - 53 = -5*h. Is h != 17?
False
Let a(n) = n**2 + 6*n + 9. Let f = 9 - 16. Let l be a(f). Let c be l/20 + (-6)/(-5). Which is smaller: -2 or c?
-2
Let l = -1 + 3. Let m = 3768/5 - 751. Is l smaller than m?
True
Let q(v) = -9*v**3 + 2*v**2 - 14*v + 23. Let k be q(2). Is -70 smaller than k?
True
Let p be ((-12)/(-16))/((-3)/(-12)). Suppose 3*s - 14 = -5*a + 7*a, 0 = 4*a - 3*s + 22. Let g be p + (-2 - (-3 - a)). Which is smaller: -1 or g?
-1
Let k = 539/9 - 60. Which is smaller: 0 or k?
k
Let c be 8*2/4 - 60156/15030. Are 1 and c unequal?
True
Let c be (15/6)/5*6. Let z = -12 - -14. Suppose z = c*o - 7. Which is greater: -2/3 or o?
o
Let j = 39 - 39. Let v be (j + 2)*(-2 + 2 + 1). Which is smaller: v or -1?
-1
Let l = 92.65 + -0.65. Let t = 92.06 - l. Which is smaller: -0.6 or t?
-0.6
Let u(w) = w**3 + 5*w**2 + w + 3. Let z be u(-5). Let l be z - (3/1 + -6). Which is bigger: -9/11 or l?
l
Suppose 2*i - 2*g = 446, -3*i - 4*g = -3*g - 657. Let b be (-74)/i - (-1)/5. Suppose 4*h = -4*m + 24, -8*m + 3*m + 23 = -2*h. Is b smaller than h?
True
Let q = 19 + -21. Let j(c) = c**2 + c - 2. Let u be j(q). Which is smaller: u or -4/13?
-4/13
Suppose 3*w + 5*s - 25 = 2, -2*w = s - 25. Let k be 21/(-49) - 232/w. Let a = -17 - k. Does 2/3 = a?
False
Let n = 4 - -1. Suppose -3*g - 5 + 20 = 0, 5*d - 5*g = -30. Let p be -10*(-4)/(-8)*d. Is p smaller than n?
False
Let k be -2 + 3 + 2 - -2. Suppose k*u - 197 - 613 = 0. Let n be u/(-24) - (-6)/8. Which is bigger: -5 or n?
-5
Suppose 4*m + 438 = -5*q, -4*q + 32*m - 338 = 29*m. Is q bigger than -86?
False
Suppose 13*a = 5*a - 192. Is -20 at least a?
True
Let z = -26/225 + 14/25. Which is smaller: 26 or z?
z
Let h(k) = k**3 - 10*k**2 - 3*k + 44. Let w be h(7). Let z = -123 - w. Which is greater: -1/75 or z?
z
Let v = -31.13 + 31. Let d = -0.12 - v. Which is greater: 1 or d?
1
Let a = 14 - 20. Let w be (-5)/75*a + (-14)/30. Is 1 at least as big as w?
True
Let r be ((-1)/174)/((-54)/72). Which is bigger: -1 or r?
r
Let f = 13.86 + 0.14. Let t = -14.9 + f. Do 0 and t have the same value?
False
Let k = 3 - 5. Suppose 609 + 180 - 117 = -336*q. Is q greater than or equal to k?
True
Let d be (-4*1 - 304/(-80))*-136. Is 27 less than d?
True
Let k be 1 - 372/(-188) - 3. Let y = k + -43/188. Which is smaller: y or 36?
y
Let u = -69.9 - -70. Let g(h) = -h - 9. Let r be g(-9). Suppose 5*o + r + 20 = 0. Is o < u?
True
Let l = -125/2 - -65. Let f = -30.2 + 21. Let r = -9 - f. Is l less than r?
False
Let x(p) = p**3 - p**2 + p + 14. Let d be x(0). Let v be d/(-70) + 1*(-19)/(-20). Is -2 less than v?
True
Suppose -4*w - w - 3*a = -92, w = 3*a + 22. Let k = 720 - 700. Which is smaller: k or w?
w
Suppose 0 = 3*g - 2*g - 5. Let z be 96/40 - (g - 2). Which is greater: z or 4/7?
4/7
Let r(d) = 7*d**2 - 3*d - 20. Let t be r(2). Let k = -13/2 - -7. Which is smaller: t or k?
k
Let j = -64 + 139. Let r = j - 28. Is r less than or equal to 47?
True
Suppose -21 - 4 = 5*y, h + 1 = -y. Suppose 0 = 3*n - t - 10, h*t = 2*t + 4. Let j = n - 4. Is -1 less than or equal to j?
True
Let g = 5875.98 + -5876. Let o = -1.1 + 5.1. Let t = 1 - o. Which is smaller: t or g?
t
Let k = 18 - 14. Suppose -l + k = -3*f + 1, -3*f - 4*l - 3 = 0. Is f < 4.1?
True
Let u = 43 - 40. Suppose -3*x + u = 12. Is -3 > x?
False
Let b = -9 - 51. Let u = b - -59. Which is greater: -4 or u?
u
Let g be ((-6)/(-4))/(6/16). Suppose -z - 18 = -g. Suppose -8*j + 6*j = 2*t + 30, -3*t + 5*j = 53. Which is smaller: z or t?
t
Let m = 7487 - 8280621/1106. Is 0 at least m?
False
Suppose -8 = -2*b, b = -2*u - 7 - 11. Suppose 14 = -5*f - 1. Let t = u - f. Is -8 at least t?
True
Let v = -1407/32 + 3561181/80992. Let y = v + 7547/58213. Which is bigger: y or -1?
y
Let v be 224/(-6) - 6/(-18). Let a = 12 - 12. Which is bigger: v or a?
a
Let h = -3736117/2230 - -8377/5. Which is greater: h or -1?
h
Suppose 4*g = -g. Suppose -v - 3*a - 4 = 10, g = 4*v + 4*a + 48. Suppose 90 = -4*l - 5*l. Is v greater than l?
False
Suppose 20 = -3*c + 173. Is c not equal to 52?
True
Suppose -3*j - 22 = -2*n - 3*n, -12 = 3*j. Suppose -4*m + 5*t = 6*t, -n*t = -4*m - 12. Which is greater: -5 or m?
m
Suppose 10*a - 2*v = 5*a + 1, 3*v = -2*a + 8. Which is bigger: -7/72 or a?
a
Suppose -4*i - i = -35. Let a(n) = -n**3 + 7*n**2 - 3*n + 21. Let q be a(i). Do q and -2/7 have the same value?
False
Let q = 20.18 - 20. Let p = q + 6.82. Let w = 0 - -1. Are p and w equal?
False
Let n be ((-4)/(-6))/((-26)/(-585)). Let l be (-62)/(-24)*39/n. Let h = -34/5 + l. Is -1 > h?
False
Let m = 0.211 + 0.019. Let a = m + 0.57. Are 0.1 and a non-equal?
True
Let r = 132 + -207. Let y = r - -39. Which is greater: y or -2?
-2
Suppose -15*k = -7*k + 8. Is k bigger than 1/423?
False
Let x be -6 - (858/(-165) + 2/10). Suppose 0 = -0*r - 5*r - 1680. Let i be r/1269 - 4/(-18). Is x bigger than i?
False
Let m = 64 + -62. Let c be ((-4)/7)/((-72)/21 + m). Which is greater: -5 or c?
c
Suppose -2*b - 3*b = -260. Let u be b/26 + 1/(-2). Is u at most as big as -1?
False
Let f = -241/5 - -4497/85. Which is smaller: f or 5?
f
Let f = 60 - 58. Is f >= 4?
False
Let u = -1.3 - 25.7. Let b = u - -30. Which is smaller: b or 7?
b
Suppose 3*h - 12 = 3*a + 3, -a = 5*h + 11. Let m be a/(-27) + 10/(-45). Let l = 8.3 - -0.7. Is l equal to m?
False
Let k(w) be the second derivative of w**3 + 59*w**2/2 + 34*w. Let z be k(-5). Which is bigger: -1/3 or z?
z
Let h = -3.92 - 0.08. Let a = h - -2.94. Let p = -0.06 - a. Is p not equal to 0.1?
True
Let d = 1321 + -1322. Which is smaller: d or -4/321?
d
Let m be (-2)/4*(1 - -1). Let r = -16039010/28359 - -140/9453. Let k = 564 + r. Which is bigger: m or k?
m
Let m(v) = -5*v. Let j be m(4). Let r be 1/(44/j - -2). Let h = r + 5. Is h at least 0?
True
Suppose -2*k = -6*k - 260. Let q be (104/k)/(2/(-60)). Let m = q + -93/2. Is 1 >= m?
False
Suppose -230 = -9*v - 221. Which is bigger: v or -3/302?
v
Suppose 32 = -n + 9*n. Suppose 0 = c - z + 4 + 5, -2*c - 12 = n*z. Is c greater than or equal to 1?
False
Let l(u) = u**2 + u - 130. Let i be l(-12). Is 38/15 greater than i?
True
Suppose -8*o = 3 - 27. Let v be 1/o - 11/(-264). Let f = -0.4 + 0.6. Is v at most f?
False
Let p = -1091 + 1091.3. Which is smaller: -88 or p?
-88
Let a(j) be the third derivative of -j**5/30 + j**4/4 - 5*j**3/6 + 7*j**2. Let g be a(3). Let p = -1 - -1. Is p at most g?
False
Let l = -0.3 - -0.2. Let x be 0 - ((-65)/80*4 - -4). Which is bigger: l or x?
l
Suppose 0 = 15*p - 21*p - 276. Which is smaller: p or -45?
p
Let o(f) = 1 + 3*f - 6*f + 4*f. Let j be o(-7). Let y = j + 7. Is y <= 1?
True
Let j = 0.2 - -0.02. Let y = j - 0.12. Let k = -0.05 + 3.05. Which is greater: y or k?
k
Suppose -12*i + 36 = 24. Which is smaller: 2/1395 or i?
2/1395
Let u = -48236/398981 - -2/4807. Which is greater: 0.2 or u?
0.2
Let s = -382 - -14519/38. Which is smaller: s or 11?
s
Let z be ((-4)/(-6))/(5/(-3)). Suppose -2*n = n + 2*n. Suppose n = 2*s - 11*s. Which is smaller: z or s?
z
Let g = 0.005 - -19.995. Let j = -46 + g. Let q = j - -19. Are q and -1 non-equal?
True
Let t be ((-80)/(-12))/((-4)/(-6)). Let a be ((-18)/(-15))/(3/t). Let q = -2 + a. Which is smaller: 2/3 or q?
2/3
Let c be 63/6*-5*(-3)/70. Is c greater than 1?
True
Let x be 4 + 6/((-2)/2). Let f be 52/(-39)*3/x. Let p = -141 + 427/3. Is f < p?
False
Let l = 55/37 - 16043/10693. Which is bigger: l or 0?
0
Suppose -2*q + 15 = l, -2*l = -4*q + 10 - 0. Suppose q*v = 3*v - 4. Which is smaller: 