*y - 51, -5*f + 5*y + 195 = 0. Let z be f/16 + (2 - 4). Is z at most as big as n?
False
Let r = 715 - 1429/2. Is r smaller than 61?
True
Let n(s) = -4*s + 26. Let k be n(-13). Let i = k + -79. Which is bigger: i or 1/37?
1/37
Let n(a) = 7*a - 102. Let x be n(15). Which is smaller: 66/31 or x?
66/31
Let i = -133/11 - 9/22. Let u(m) = -m**3 - m**2 + 12*m + 4. Let l be u(-3). Is l at least i?
False
Let a be 22/(-3)*(-8 - 114/(-12)). Is 0 greater than a?
True
Suppose -7*d + 17 - 10 = 0. Which is smaller: d or -1/428?
-1/428
Suppose 5*g - 4*i - 289 = 37, 0 = -5*i - 20. Suppose g = 4*f + 2*x, -5*f + f = 5*x - 47. Is 17 at most f?
True
Let t be -24 - (2 - (1 - 1)). Let i = t - -519/20. Suppose 5*r - 9*r = -2*n + 22, 5*n + 5*r + 20 = 0. Which is bigger: i or n?
n
Let i = -6.59 + 6.49. Is -175 >= i?
False
Let j = 562 + -552. Which is smaller: 142/13 or j?
j
Let p = -462 - -25404/55. Which is smaller: p or 0?
p
Let g be (-2)/(2*2/(-14)). Let t = 2301 + -2294. Is t less than or equal to g?
True
Suppose m + x + 58 = -42, 4*m = x - 390. Which is bigger: -97 or m?
-97
Let v = 0.3 + -0.2. Let r = -2220 - -3918. Let c = r + -110372/65. Is v at least c?
True
Let n = 19 + -30. Let g(t) = -21*t + 137. Let v be g(7). Which is smaller: n or v?
n
Let b(t) = t**3 + 8*t**2 + 15*t - 17. Let o be b(-7). Let n be (18/(-30) - -1)*(-2 + o). Which is bigger: n or -32?
n
Suppose -2*b - 16 - 6 = 5*a, 2*b - a = 2. Let y be ((-6)/(-27)*b)/((-22)/(-3)). Which is smaller: 0 or y?
y
Let t = 35.97 + -35.9. Is t at least 4?
False
Let c = 119230/69 + -1728. Which is smaller: 0 or c?
c
Suppose 4*o = -7*y + 3*y + 168, 4*o - 4*y - 208 = 0. Suppose 39*z - 38*z - o = 0. Does 47 = z?
True
Let x be 4280/550 + (-6)/33. Which is smaller: 7 or x?
7
Let g be -2 - 0 - (-41888)/20808. Which is bigger: -1 or g?
g
Let u(w) = w**2 + 15*w. Let a be u(0). Which is bigger: 6/91 or a?
6/91
Let g(j) = 3*j + 87. Let v be g(-26). Let z be (-5)/(450/56) + 6/v. Which is greater: 0 or z?
z
Let s(l) = -l - 14. Let a be s(-13). Let w be (3135/(-785) - -4)*-2. Are a and w equal?
False
Suppose 35*s - 498 = 237. Are s and 24 nonequal?
True
Let d = 45 - 26. Let w = -23 + d. Let b = -4 - w. Is b greater than 1/17?
False
Let z(n) = -n**3 + n - 2. Let d be z(-2). Let s = -3.64 + 48.84. Let c = 45 - s. Which is greater: d or c?
d
Let l = 0.3 + 0.9. Let b = l + -0.2. Which is greater: 0.2 or b?
b
Let n be (-10)/5*9/(-1836). Is 1 < n?
False
Suppose -3*m + 2*l - 13 = -3*l, -3*m - 8 = -4*l. Let f be (-4)/16 + 9/m. Suppose f*v + 6 = 4. Are -3/8 and v unequal?
True
Let b = 2 + -2. Let d = -17/15 + 14/15. Does b = d?
False
Suppose -r = 4*y + 18, 5*y + 7 = -18. Let f be r + 22/(-14) + 41/(-63). Is f not equal to 1?
True
Let h = 64 - 68. Let q = h - 0. Is -4 at most as big as q?
True
Let y = 0.1 - 0.2. Let z = 0 - y. Let m = 4.89 + -5.89. Is z less than or equal to m?
False
Let w be 1 + 6/(-2)*-2. Suppose -3*k + w*k - 32 = 0. Let v = k - -2. Which is smaller: v or 8?
8
Let b = -23.5 + 0.5. Let r = -24 - b. Which is bigger: r or -1/3?
-1/3
Let f be (-88)/(-369) + 6/(-27). Let z(v) = 3*v + 7. Let t be z(-1). Suppose -l + t*l = 0. Which is smaller: f or l?
l
Let d = 8 - 6. Let k be 8/2 - ((-3740)/(-198))/17. Do k and d have different values?
True
Let s = 207.7 - 231. Let x = 24 + s. Which is smaller: -2/5 or x?
-2/5
Suppose a - 2*a = -40. Let k = -41 + a. Suppose -22 = 4*i + 2*v, 6*v = v - 25. Which is smaller: i or k?
i
Let n(u) = -u**3 + 8*u**2 - 3*u - 5. Let o be n(7). Suppose 7 = 5*b - o. Is 8 smaller than b?
False
Let n = -8 + 4. Let l be (0*n/(-8))/(-2). Let a = -7 + l. Is -8 at least as big as a?
False
Let t be -3 + -69*(-8)/180. Which is smaller: 1 or t?
t
Suppose -55 = 5*h - 5*a, 2*h - 11*a + 12 = -14*a. Is -89/9 at least h?
False
Let q be (-1785)/340 + 3/(-4). Which is smaller: q or 38?
q
Let q be (-3)/4 - 285/(-60). Suppose -q = 3*u - 214. Are 69 and u nonequal?
True
Let f be (4/6 - 10/(-3)) + 4. Let g be (2 - 0)*(-4)/(-8). Is g at most f?
True
Let k = 95 - 95. Let x be (0/(-1 - 1))/2. Suppose x = -b - k*b. Which is greater: b or -4?
b
Let m(y) = y**3 + 3*y**2 - 3*y + 5. Let f = -39 + 35. Let w be m(f). Which is smaller: w or -2/115?
-2/115
Let b be 3*-1 - (4 - 5). Let s(u) = u**3 + 15*u**2 - 11*u - 16. Let n(o) = -o**2. Let d(r) = 6*n(r) + s(r). Let h be d(-10). Are b and h non-equal?
True
Suppose 2*l - 5*l + 12 = 0. Suppose 4*k - 112 = l*v, -3*k + 3*v + 82 = 2*v. Is 25 <= k?
True
Suppose 3*h = -2*p - 2, -9*h - 10 = -4*h. Is 32/21 <= p?
True
Let r(a) = 9*a + 5. Let f(o) = -5*o - 3. Let t(p) = -7*f(p) - 4*r(p). Let n be t(3). Let x be (-25)/(250/60) + (-66)/(-13). Which is smaller: x or n?
n
Suppose 2*d + 0 - 8 = 0. Let x = -39 + 43. Let t = d - x. Is t at most -7/5?
False
Let c = -9 + 62. Let t = c + -59. Is 1 less than t?
False
Suppose 2*p = p + 3. Let c = p - 4. Are c and 3/8 unequal?
True
Let f(k) = 22*k + 661. Let w be f(-34). Which is greater: -86 or w?
-86
Let o be (6/(3 - 6))/(-1). Let h be (3/(-3))/1 + o. Let z be h - -2 - (-140)/(-45). Which is smaller: 0 or z?
z
Let g = -15164 + 4431. Let k = -976744/91 - g. Let x = k + 4/13. Which is smaller: 1 or x?
x
Suppose 5*l + 1 = -z + 12, -2*z = -l. Let p be 15/126*-10 + 1. Is p at most z?
True
Let j be ((-287)/21)/(1/3). Which is greater: j or -27?
-27
Let o(n) = n + 4. Let t(f) be the first derivative of f**2/2 + 4*f + 5. Let h(a) = -4*o(a) + 5*t(a). Let m be h(-3). Which is smaller: -2/35 or m?
-2/35
Suppose -13*a = 64 - 25. Is a not equal to 3?
True
Let u be (7 - 3) + (2 - 142). Let p = u + 137. Which is greater: p or 3?
3
Let v = 38908 - 2840338/73. Do 0 and v have the same value?
False
Let z(u) = 5*u**3 - 3*u**2 + 2*u - 7. Let t(f) = -14*f**3 + 9*f**2 - 6*f + 21. Let m(d) = 6*t(d) + 17*z(d). Let v be m(-4). Do v and 2 have the same value?
False
Let l be -5*(2 - 216/110). Let k be (4/30)/(2/(-6)). Is l < k?
False
Suppose -43 + 3 = -5*i. Suppose -2*b - 3*j + 5 + i = 0, -b - 2*j = -7. Let o = -0.03 + 0.03. Is o equal to b?
False
Let k = -19/106 + 1681/5830. Which is smaller: 2 or k?
k
Let y = -303 - -291. Let w(z) = -12*z - 1. Let s be w(1). Is y < s?
False
Let j(c) = -c**3 + 17*c**2 + c + 38. Let a be j(17). Which is smaller: a or 167/3?
a
Let p = -767 + 770.228. Let a = 0.072 + p. Let z = a + -3. Which is smaller: z or -3?
-3
Let d be (-2 + 2)/(-4)*-1. Let t be (0 - d)/(2 + -4). Suppose 5*i = -g - 20, t = -3*g - i + 4*i + 12. Is -2/47 smaller than g?
True
Let b = -1075 - -1134. Let z(j) = j - 5. Let y be z(6). Is y smaller than b?
True
Let i(n) = 7*n - 8. Let f be i(5). Suppose 0 = -5*t + 3 + f. Let w be t/(-3) + (-33)/(-16). Which is smaller: w or -0.1?
-0.1
Let o = 13 + -19. Let l be (-1 - -3) + o + 4. Let y = -16 + 15.86. Are y and l nonequal?
True
Let o be -28*34/(-119)*(3 + -1). Which is smaller: o or 18?
o
Let g = -398 + 385. Which is bigger: -15 or g?
g
Let l = 7 - 3. Suppose 10*s = 6*s + l. Let q = 89/8 + -11. Which is smaller: s or q?
q
Let b(j) = -2*j**2 + 12*j + 3. Let c be b(6). Suppose 4*n = -5*g + 56, -36 = -4*g - 2*n + 4. Suppose c*o + 5 = g*o. Is o bigger than -1?
True
Let o(j) = -j**3 + 8*j**2 + 42*j + 1. Let s be o(12). Is -70 at least s?
True
Let q be 1/10*-158 + 6. Are q and -10 equal?
False
Let z = 22 - 41. Suppose 4*j = 3*u + 25, 36*j - 3*u = 41*j - 65. Let d = j - z. Is 29 != d?
False
Suppose 88*x + 3219 + 829 = 0. Is -45 at most as big as x?
False
Suppose -18 - 10 = -2*o. Let x(s) = -s - 9. Let m be x(o). Let q = m - -183/8. Which is greater: -1 or q?
q
Suppose -6*x - x = -896. Does 127 = x?
False
Let b = 2535 - 2534.76. Suppose t = 4*t. Are b and t nonequal?
True
Let o(g) = g + 11. Let n be o(-13). Let w be 3 - (0 - (7 + n)). Let b = -9 + 15. Is w > b?
True
Suppose 32*p + 811 = 2507. Are p and 63 equal?
False
Let b be 18*-42*5/(-20). Which is smaller: 188 or b?
188
Let q(r) = 2*r**2 + 17*r + 15. Let x be q(-7). Let l be x/(-21) + (-1 - -3 - 2). Is -8 at most l?
True
Let z = -968 + 963. Is z equal to -96/19?
False
Let m(w) = -12*w**2 + 127*w + 33. Let p be m(11). Let a = 14 + -36. Is p less than a?
False
Let z = -0.21 - -0.09. Let d = z + 0.32. Let y = d + -1.2. Is y >= 2?
False
Let y = -3.842 - -3.8. Let c = 2.958 - y. Which is smaller: 0.02 or c?
0.02
Let i(u) = -15*u + 240. Let p be i(-44). Is p at least 900?
True
Let l = -11 + 11