. Is -0.1 at most as big as p?
False
Suppose 21 = 3*i - 3*y, -2*y + 43 = 5*i - 13. Suppose 210 = 17*c - i*c. Suppose 2*n = -0*n + 60. Is c less than n?
False
Let i = -18267 - -18266. Is i less than 11/1685?
True
Suppose -i - 33 + 17 = 0. Does -137/9 = i?
False
Let k(y) = -5*y + 2. Let v(t) = -6*t + 1. Let b(f) = 3*k(f) - 2*v(f). Let h be b(-3). Suppose 0 = -2*a - j - 6, -6*j = 5*a - 4*j + h. Is -3 > a?
False
Let l = -12925 + 12924. Let d(b) = 2 - 1 + 2*b**2 + 2*b - b**2. Let c be d(l). Which is smaller: 1 or c?
c
Suppose -182*h + 32 = -178*h. Suppose v + 2 = -0, -2*u + 5*v + 18 = 0. Suppose -u = -4*d - h. Which is greater: d or 0?
0
Let q = 128964024501/2573485 - 18/514697. Let x = 50287 - q. Let o = x - 168. Which is greater: 6 or o?
o
Let w = 7151 + -7153. Is w less than 433?
True
Let w(r) = -r**3 - 5*r**2 + 97*r + 482. Let h be w(-5). Is h at least -116/39?
False
Let x(m) = 3*m**2 + 18*m + 7. Let g be x(-6). Let j be (-14)/30 - 8*g/(-70). Is 10.8 at most j?
False
Let g = -28 - -196. Let v be (-16)/g + (-4)/(-6). Which is bigger: 0.04 or v?
v
Let o = 3 - 3.1. Let v = 29944.85 + -29945. Is o greater than v?
True
Let a be 35/(-2)*(-16)/(-10). Let w be 6*1/6*(-10 + 8). Let x be -1*4*1/w*-15. Which is greater: x or a?
a
Let j be ((-3)/30)/(28/525)*-4. Is j greater than or equal to 9?
False
Suppose -4*n + 1696 = -d, 0*n - 5*d = -2*n + 830. Let g be -1*3 - ((-1265)/n)/1. Let c(m) = m**3 - 13*m**2 - 1. Let l be c(13). Is g smaller than l?
False
Let o(x) = -50*x**2 + 113*x + 570. Let t be o(-5). Which is smaller: t or -1244?
t
Let k be 9/(-6)*6782/(-3). Let t = 13497/4 - k. Suppose 144 = 4*h - 13*h. Which is bigger: h or t?
h
Let n = -214 - -274. Let z be (6/n)/((-12)/30). Is z less than or equal to -27?
False
Let a = 2/7211 + 20333/4687150. Let n be (-2)/4*2/1. Is a <= n?
False
Suppose 331*k + 25 = -328*k + 684*k. Which is bigger: k or 1/4186?
k
Let w = 78 + -44. Let t = -8 + w. Is t >= 24?
True
Suppose -83*p = -28 + 62 + 49. Let t be ((-30)/(-25))/(702/20). Which is smaller: p or t?
p
Let h(c) = 4*c + 81. Let x(z) = -6*z + 60. Let r be x(9). Let v be h(r). Are v and 104 equal?
False
Let k be (-3)/(-24) + (-11 - (-103)/8). Is 98/89 at most as big as k?
True
Let z = -80558/3 + 26778. Let v = -154 + 79. Is z equal to v?
False
Let u(g) = -24*g**2 + 30*g - 172. Let a be u(5). Which is smaller: -620 or a?
a
Let d = 5204909/162929 + -2651/83. Is 0 < d?
True
Suppose 62*i + 356*i = 78834 + 12708. Let a(f) = -55*f. Let u be a(-4). Which is bigger: i or u?
u
Let l(p) = 65*p**2 - 89*p - 1. Let n be l(-5). Which is smaller: n or 2067?
2067
Let i be ((-1)/6)/(8/24)*20/695. Which is smaller: 5 or i?
i
Suppose -9*w + 81 = -252. Let b = w + -187/5. Let n(x) = x**2 - 2*x + 1. Let g be n(2). Which is bigger: g or b?
g
Suppose -10*b + 4*b = 972. Let r = b + 162. Let f be ((-104)/106 - -1)/(-1). Which is greater: f or r?
r
Let h be (-9673)/(-1020) - (-2)/(-5) - 8. Is h greater than or equal to 1?
True
Let i(d) = -d**2 + 21*d - 1. Let k be i(21). Let z be k/6 - 23/6. Let j be z - 8*3/(-6). Which is greater: 1/4 or j?
1/4
Suppose 6*g - 9 = -141. Let w(z) = -13 + z + z**2 + 4*z + z. Let s be w(-4). Is g > s?
False
Let g = 43795/369 + 25/123. Which is smaller: g or 118?
118
Let u = -57.48 - -57.39. Which is bigger: -6/25 or u?
u
Let z be (-9)/3*(-597)/9. Suppose -3*l + 2*r - 569 = 0, 4*r + z = 6*l - 7*l. Do l and -190 have the same value?
False
Let y = 0.713 + -0.973. Let t = -23 + 18. Which is bigger: t or y?
y
Let m = 9918 - 9917.9. Which is smaller: -1699 or m?
-1699
Let o be 1/((-3)/(1*558)). Suppose -47*l = -56*l - 1674. Do l and o have the same value?
True
Let b = -4450 - -3050. Let q be 6/44*b/(-210). Let i(v) = -v + 7. Let y be i(6). Which is smaller: y or q?
q
Let w = 134 - 98. Let j = w + -28. Let h = -9 + j. Do h and 43 have the same value?
False
Let i = 3953 + -3955. Let j(u) = -9*u - 17. Let o(w) = -18*w - 33. Let d(h) = -7*j(h) + 4*o(h). Let s be d(i). Which is greater: s or 9/2?
s
Let k(d) be the third derivative of d**5/12 - 13*d**4/24 + 4*d**3/3 - 11*d**2. Let g be k(8). Let p be 1/(-7) + 200/g. Which is smaller: 1 or p?
p
Let n = -14728 + 559621/38. Is -2 at most as big as n?
True
Let h = 1547 - 1553. Which is smaller: -218/45 or h?
h
Let g be (-8)/((-4232)/(-869193)) - 4/(-46). Is -2 greater than g?
True
Let r = -24990 + 75623/3. Are 219 and r equal?
False
Let x = 4261 - 4115. Is 33 bigger than x?
False
Let u = 93 + -91. Suppose o - 25 = -u*o + 2*p, 2*p + 36 = 4*o. Is 9 <= o?
True
Let m be 0/(-14 + 10 - -5). Which is bigger: 10/2347 or m?
10/2347
Let a = -128 + 134. Let w be (a/45)/((-70)/(-25)). Suppose 3*u = -2*u. Is u less than w?
True
Suppose 0 = 2*b + s + 8, -5*s + 3*s = -3*b + 2. Let z be (-24)/(-7) + b + 0. Let d be (-15 - -2 - -11) + (1 - -3). Is d equal to z?
False
Let m(s) = -s**3 + 11*s**2 - 13*s - 11. Let b be m(10). Suppose 3*n - 3*p = -116 - 79, -130 = 2*n + 3*p. Let z = n + 25. Which is greater: b or z?
z
Let u be 2/(-42) - 9/(-27). Let i = -315 - -314.895. Which is smaller: u or i?
i
Let f be (-6)/(-5)*(-40)/(-6). Suppose -f*w + 13*w - 20 = 0. Suppose 34 + 14 = -w*m. Are m and -38/3 unequal?
True
Let t = -864.3 + 864.3. Which is smaller: -285/14 or t?
-285/14
Let y be (-13)/39 - (-354)/9. Suppose 3*o - 3*b + 8*b - y = 0, 0 = 4*b - 12. Suppose -2*t - 4 = -14. Which is smaller: t or o?
t
Let i be 44*((-81)/6)/(-9). Suppose 318 = -5*n + 4*k, -12*n = -13*n + 2*k - i. Which is smaller: -63 or n?
-63
Let z be ((-817)/228)/(-43) + 4/6. Is -339 at most as big as z?
True
Let s = 65 - 83. Let i = -101 + 197. Suppose 3*o - i = 5*z, 5*z + 4*o = -0*z - 82. Is s at least z?
True
Let i be 3*(-21)/9 - -4. Let u be ((-4)/(-20)*i)/(4/(-20)). Suppose u*w - 2 = w. Is -3/20 > w?
False
Let d = 839 + -288. Suppose -d*s + 770 = -546*s. Is s at most 154?
True
Let o = -14.06 - -14. Let i = 539.94 + -525. Let l = i - o. Are l and 2/9 equal?
False
Let u(o) = -o**3 + 4*o**2 + 2*o - 5. Let j be u(4). Let c be (333 - -6)/(3/(-4)). Let r = c - -907/2. Is r equal to j?
False
Let y(w) = w**3 - 11*w - 15. Let c(f) = f**2. Let i(b) = -5*c(b) - y(b). Let s = -4361 + 4355. Let l be i(s). Which is smaller: -16 or l?
-16
Let z = -207 - -266. Let l = 34 + 23. Which is greater: l or z?
z
Suppose -4*b + v + 137 = 847, -4*b - 716 = 2*v. Is -2143/12 not equal to b?
True
Let h be ((-2)/(-4))/(2/(-692)). Let z(n) = -3099*n - 52858. Let o be z(-17). Is h smaller than o?
False
Let w be (-2)/((474/8)/(45/300)). Suppose 0 = 3*v + 8 - 11. Which is bigger: w or v?
v
Let i = 180 + -171. Suppose -8*d + y = -i*d + 5, -2*d = -y + 2. Which is smaller: d or -88?
-88
Let b = 5 - 5.2. Let a(k) = -14*k + 2. Let i be a(-1). Is i equal to b?
False
Let u(x) = x**2 - 7*x + 30. Let f be u(10). Suppose 2*j + 1220 = 7*j. Let h be 4/10 + (3 - j/f). Is h less than 40?
True
Let z(j) = -j**3 - 17*j**2 + 9*j + 403. Let k be z(-16). Let u = 49 - 32. Let p = u + -9. Is k at most as big as p?
True
Let d(l) be the first derivative of 19*l**2/2 + l - 75. Let k be d(4). Which is bigger: k or 75?
k
Suppose -5*i = -4*r - 9, 7 = -i + 4*i - 4*r. Suppose 4*j + 4*t + 32 = 0, 4*j + 2*t + i = -21. Let h be j/(-9)*-3*1. Which is smaller: h or 2/39?
h
Let s be (-2)/3 + 484/33 + -10. Suppose 2*x + z = 3*z - 34, 3*x + 50 = s*z. Is x < -172/9?
False
Let u(q) = -q**2 - 5*q - 2. Let d be u(-4). Suppose -5*l + 5*c + 40 = 0, d*l + 2*l = c + 17. Is l > 24?
False
Let l be 1/3*(-1 - 3158/10). Let v = l - -481/5. Is v greater than or equal to -10?
True
Let u = 1.2 - 0.2. Let o be (-277566)/(-42)*(-4)/(-3188). Let i = o - 5/797. Which is bigger: u or i?
i
Let f be -4*14/(-8) - 4. Let d(a) = 11*a - 8. Let j be d(f). Which is smaller: 26 or j?
j
Suppose -2*s = -2*q, -2*q = 3*s + q - 30. Let z be s - ((-186)/(-8) + -3 - -1). Which is smaller: z or -17?
-17
Suppose 4*a - 3*r = -210, -104 = 2*a - 4*r + 2*r. Which is bigger: a or -6?
-6
Let o = -52 + 57. Suppose -2*l = -4*k, -o*l = 4*k - 2*l - 20. Suppose 9 = k*a + 7. Which is bigger: 2 or a?
2
Let l be 1*3*(-2 + 8). Let g(t) = t**3 + t**2 - 39*t - 26. Let n be g(6). Let u be (-4 + 84/l)*6/n. Do 0.008 and u have the same value?
False
Suppose 6*k - 3*p = 2*k - 489, -4*p = -4*k - 488. Let h = 122 + k. Let j(q) = -38*q + 4. Let m be j(h). Is 42 at most as big as m?
True
Suppose 12*k + 334 - 