 be 157 + -61 + 25/(-5). Is r at least f?
True
Let r = -1387 - -1402. Let w(z) = -2*z + 3. Let x = -15 + 11. Let a be w(x). Which is smaller: r or a?
a
Suppose -2*g = -11*g - 342. Let x = g + 39. Suppose 16 = -3*l - 4*r, -4*l + r + 4 = -0. Is x greater than l?
True
Let s(x) = x**2 - x - 34. Let a be s(-6). Let w(b) = -b - 1. Let c(t) = -t + 1. Let p(z) = 2*c(z) - w(z). Let j be p(-14). Is a less than j?
True
Let a = 18133 + -199327/11. Which is smaller: a or 2?
2
Let k = -8092.7 + 8752. Let z = k + -659. Is z greater than 0.43?
False
Let r = 396.92 + 295.08. Is 19 less than or equal to r?
True
Let c(v) be the first derivative of -2/3*v**3 - 17 + 0*v**2 + 3/4*v**4 + 4*v. Let b be c(2). Is 19 not equal to b?
True
Let j be 4/16 + (-375)/12. Let c = j + 25. Let d be 2/(0 + 3 + c). Is -0.16 equal to d?
False
Suppose 2*v - 5568 = -4*d, 2*d + 918 - 916 = 0. Are v and 2785 non-equal?
True
Let i = -1218 - -881. Is -334 < i?
False
Suppose -4*i - 98 = -53*i. Let z be (i/18)/(4/(-210)). Which is smaller: 2/7 or z?
z
Let a = -550 - -557. Suppose 3*c + 4 - 1 = 0. Let j = c + 9. Is j less than a?
False
Suppose -36*i + 39*i - 105 = 0. Let k be (3 - 1)*i/14. Suppose -3*q + k*q = 0. Is -5/4 > q?
False
Suppose -3*s - v - 2*v = -1287, -2*v - 854 = -2*s. Let q = s - 466. Let y(x) = -x**2 + 4*x - 4. Let c be y(-4). Is c <= q?
False
Let n be 15104/216 + 4*(-3)/(-162). Is n not equal to 346/5?
True
Let k(i) be the third derivative of -i**5/12 + i**4/2 - i**3/2 - 14*i**2 - 1. Let n be k(2). Is 2/7 at least n?
False
Let g = -937 - -802. Is g at most -133?
True
Let g = -265/259 + -15/37. Let q be (3 - 28/8)/((-4)/16). Let y be (-2 + q)/((-30)/30). Is y equal to g?
False
Let b = -0.1 - -0.3. Let g = -642.96 - -648. Let a = g - 5.06. Is b equal to a?
False
Let c = 37.9 + -2.86. Let j = -35 + c. Let m = 59 - 59.2. Is m at least j?
False
Let h = 11641 + -11297. Which is greater: h or -4?
h
Suppose 4*t - 12 = 4*g, 6*g - 4*t = 8*g - 18. Let o be g - 2 - (4 + 3). Suppose 2*a - 5*a = 2*w + 23, 0 = -4*a + w - 16. Which is greater: o or a?
a
Let k = -40.39 + 40. Let b = 0.18 + k. Let n = -0.11 - b. Is n equal to 1?
False
Let s = 0.683 - -0.057. Let o = s - 0.7. Let u = -2.955 - -2.955. Which is smaller: u or o?
u
Let z(v) = -8*v**3 + 359*v**2 + 47*v - 89. Let f be z(45). Do f and 13/266 have different values?
True
Suppose 0 = 5*f - 2*x - 14616 + 2783, -3*f = -3*x - 7107. Is 2366 equal to f?
False
Suppose -89 - 83 = -2*u. Suppose -5*j + u - 26 = 0. Suppose -10*i + 14*i = j. Which is smaller: i or 1/15?
1/15
Let q = -5 - 102. Let z = q - -58. Let p = -51 - z. Is p less than or equal to 3?
True
Suppose 882*l - 31624 = 748*l. Is 2606/11 less than l?
False
Suppose 5*l + 833 = g - 1150, -4005 = -2*g - 3*l. Is 2001 less than g?
False
Let h = -3 - -17. Suppose 106948*k + 90 = 106993*k. Is h not equal to k?
True
Let u(d) = -2*d**3 - 67*d**2 - 551*d - 67. Let s be u(-21). Is 483 less than s?
False
Let x = 31548 + -30001. Which is smaller: x or 4?
4
Let o be (65100/7236 + -9)*1/(-9). Is o bigger than -1?
True
Let t = -180 - -68. Let v be (-5 - t/21)*0. Are -1/26 and v non-equal?
True
Let w(s) = 4*s**2 + 7*s - 6. Let k(a) = -3*a**2 - 7*a + 5. Let c(t) = 5*k(t) + 4*w(t). Let l be c(6). Let u be (-6)/(-14) + 11/((-539)/168). Is u > l?
True
Let i(y) = -5*y**2 - 51*y + 117. Let b be i(-12). Which is greater: 136/13 or b?
136/13
Let w = 10811 - 11068. Which is smaller: w or -262?
-262
Let v = -239 + 250.1. Let d = 16 + -27. Let c = v + d. Which is smaller: 1/14 or c?
1/14
Suppose -90 = -6*x + x. Let l(u) = -105*u + 188. Let g be l(2). Let h = x + g. Which is smaller: h or -5/2?
h
Let p(u) = -u**3 - 10*u**2 - 19*u - 4. Let q be p(-8). Let d be q/3*(-300)/40. Let v be 42/(-56) - d/56. Do v and 3 have different values?
True
Let l = -12 + 44. Let c be (-19)/(-6) - (37 - l). Are -1 and c nonequal?
True
Let o(n) = 60*n - 125. Let p be o(3). Which is greater: 50 or p?
p
Let n = -0.13 - -0.63. Let m = -1571/5 - -3147/10. Is n at most as big as m?
True
Let l be 2/820*(4 - 1). Let o = -28368 - -28367. Is l > o?
True
Suppose -5*o + i - 47463 = -137866, -3*i - 72329 = -4*o. Let v = o + -108745/6. Which is bigger: -45 or v?
v
Let x = -2366 + 4064. Is x greater than or equal to 1697?
True
Let d = 22.04 + -24.93. Which is greater: d or 0?
0
Suppose -44829 - 1735 = -15*b + b. Do 3325 and b have the same value?
False
Let v be (-18323)/(-79065) - (-2)/(-63). Is -53 != v?
True
Suppose -14234 - 20288 = -254*f - 6582. Is f <= 118?
True
Suppose h = -2*h + 90. Let i = -18 + h. Let y = -11 - -14. Are y and i unequal?
True
Let l = 10 + -91. Let f be 11 + -5 + 10 + -11 - (-338)/(-4). Is l != f?
True
Suppose 14*v + 28972 - 32234 = 0. Does v = 1640/7?
False
Suppose -2*o - 5*t - 7 = 0, -46*o = -45*o - 4*t - 3. Which is bigger: -35 or o?
o
Let a = -6088 - -6082. Let p(n) = -10*n + 1. Let o be p(1). Is o greater than or equal to a?
False
Suppose 0*z - 2*z - 2 = 0. Suppose -365 - 931 = -18*j. Let p be 2*(j/16 + -7). Which is greater: z or p?
z
Let k = -138.4 - -467.4. Do k and 22 have the same value?
False
Suppose -11 = -3*x - 2, -3*x - 1419 = 3*l. Let t = 1454/3 + l. Let o = t + -188/21. Are o and -22 equal?
False
Let n(o) = -o**3 + o**2 + 2*o - 1. Let x be n(2). Let s be ((-2)/x - -5) + 7. Is 14 > s?
False
Let j(b) = 13*b**2 + 26*b + 228. Let u(y) = -7*y**2 - 14*y - 114. Let x(z) = 6*j(z) + 11*u(z). Let p be x(0). Is 115 less than p?
False
Let w(g) = -3*g**3 - 25*g**2 - 8*g - 10. Let k be w(-8). Let t be -2*2/k*(6 - 71). Is -24 greater than t?
True
Let m be (3090 - 9)/(-13) + -8. Are 0 and m nonequal?
True
Let y be (-8)/14*(-186)/(-8). Let w(t) = -4*t**2 + 148*t - 293. Let x be w(35). Which is bigger: x or y?
x
Suppose 754*z = 751*z + 306. Let n be (-17 + -1)/((-2)/(-17)). Let j = n - -255. Is j != z?
False
Suppose -4 = -0*h + 4*h. Let n = -379902/59 + 6439. Is h at most as big as n?
True
Let p = 0.9 - -0.1. Let n(l) = 652*l - 5861. Let i be n(9). Is p bigger than i?
False
Let x = -290 - -282. Let a be (8/x)/(982/4). Which is smaller: a or 1?
a
Let p = 4 - -5. Let h = -8 + p. Suppose 10 = -4*y - x, 4*y - 20 = -2*x - 32. Is h bigger than y?
True
Let r(j) = -j**2 - 4*j + 14. Suppose -4*k + 5*k = n + 6, 0 = -n + 2*k - 6. Let q be r(n). Let z be (1 - q)/(22/6). Is z > 1/6?
False
Let m = -25 - 18. Let t = 9422 + -9464. Are t and m unequal?
True
Let z(b) = -b**2 + 20*b - 3. Let t be z(20). Let l be 8*2/4 + t + -18. Which is smaller: -20 or l?
-20
Let f be 16/(-70)*5 - 2/(-14). Which is bigger: -1/134 or f?
-1/134
Suppose -3*r = -r. Let s = -1268459/28 - -45302. Which is bigger: r or s?
r
Let m(p) = -858*p + 10295. Let f be m(12). Let v = -33487/52 + 644. Is v smaller than f?
False
Suppose 7 = o - 4*y, 1 = 3*o + 4*y + 12. Let d = -39 - -37. Let p = d + 87/43. Is p < o?
False
Let h = -354/445 - -4/5. Let j = h + 876/3115. Let z = 0.04 - 0.03. Do z and j have the same value?
False
Let x be ((-9)/2)/(21/(-238)). Suppose -58*i + 41*i + x = 0. Is i at most as big as 60/31?
False
Let z(v) = 2*v + 28. Let g be z(-14). Let q = g - -2. Suppose -2*l = -l - q*l. Is l < 1?
True
Suppose -10 = y + 4*y, -3*p - 6 = 3*y. Let t be (-1 - -1) + (-17)/51 + (-606)/(-738). Which is smaller: t or p?
p
Let i be (30 + 2)/(3 - 5). Let s be ((-86)/30 - (13 + i))*-3. Is s not equal to 1/80?
True
Let w(r) = -r + 18. Let s be w(-12). Let a be 48/(-340) + 6/s. Which is smaller: -1 or a?
-1
Let q = -448186673/86278490 - -22992/4435. Let l = q + -1/274. Do -1 and l have different values?
True
Let c be -1*111*3 - 12/12. Let x = -258 - c. Is 76 > x?
False
Let l = 1313995/4474327 + 1/31289. Which is smaller: 0 or l?
0
Let z = 197 + -42. Suppose -12*g = z - 179. Is 17/2 less than or equal to g?
False
Let d(v) = -v**3 + 20*v**2 - 20*v + 26. Let z be d(19). Let r(q) = q**2 - 5*q + 29. Let n be r(z). Which is greater: 53 or n?
53
Suppose 3*m + 935 = -2*k, 5*m + 2*k + 1555 = -2*k. Let z be (-37)/90*-8 + 70/m. Do z and 4 have the same value?
False
Suppose 171*x + 14*x + 6487 + 2763 = 0. Which is smaller: 7.3 or x?
x
Let p = 0.968 - 0.968. Let v = -308.07 - -305. Let g = -0.07 - v. Which is greater: g or p?
g
Let t be (11 - 9/41193) + (-187)/17. Is 1 < t?
False
Let a be ((-20)/(-40) + 2/(-8))*0. Let p be 41856/(-1024) + 6 + a. Which is greater: -35 or p?
p
Suppose -3*i =