 Let g = -1800 + 1801. Is c not equal to g?
True
Suppose 5*y + 0*y = 4540. Suppose 3*w = -t - y, 234 = -5*w - 3*t - 1274. Let k = 3950/13 + w. Is 1 at most as big as k?
False
Let l = 24.65 - 54.7. Let n = 235 - 265. Let a = l - n. Is 5 > a?
True
Suppose 4*i - 2*m - 1 - 1 = 0, -13 = -i + 3*m. Let o be 10/(-4)*(-4)/(-18). Which is bigger: o or i?
o
Let z = -975 - -140399/144. Let u = -857/1008 + z. Suppose -5*w + 3 = b - 2, -3*w - 3*b + 15 = 0. Which is smaller: u or w?
u
Suppose 192 + 3528 = -8*p. Let n be 36/(-15)*p/6. Suppose -3*j - n = 3*j. Which is smaller: -1 or j?
j
Let j = 1765.9 - 1766. Is 581 at most j?
False
Let x = -0.147 - -2.567. Let o = x - 2.52. Let k = 2/127 - -196/3683. Which is bigger: o or k?
k
Let m = 5787.98 - 5788. Which is smaller: m or 2.64?
m
Suppose -4*f = -5*x - 1, 2 = 6*f - 5*f - 3*x. Which is smaller: -7/286 or f?
f
Let n = 5121.72 + -5122. Let l = 17 - 17.18. Let z = n - l. Is z at least as big as -0.2?
True
Let i be (-156)/(-48) + 9/12. Suppose 2*x - 5*x + 14 = 5*o, 42 = 4*x - 5*o. Let u = x - 10. Which is smaller: u or i?
u
Suppose 0 = -6*n + n + 15. Let u(p) = 7*p**2 + 27*p - 2. Let g be u(-4). Suppose n*d + j - 1 = 0, g*d + 3*j - 2*j = 2. Which is greater: -8/11 or d?
-8/11
Let a = 1239 + -959. Let k = 273 - a. Let g(h) = -3*h + 9. Let x be g(6). Which is greater: x or k?
k
Let i(v) = -27*v**3 - 3*v**2 + v - 2. Let u be i(2). Do -224 and u have the same value?
False
Let b = 39/560 - 95639/1389360. Is -1 not equal to b?
True
Let c = -94489/9 + 10361. Suppose -6*l - 276 = -4*l. Let n = l - c. Which is smaller: 0 or n?
n
Let x be -2*(-3)/(-6)*(-3018)/6. Let p = x + -521. Is -6 not equal to p?
True
Let x(h) = -68*h**3 - 4*h**2 + 5*h - 2. Let q be x(2). Let m be (q/(-268))/2 - 1. Suppose 3*j - 2 = 5*l, l = 5*j - 4 + 8. Is m less than l?
False
Let b be ((-55)/(-22) + 574/(-228))/(447/54). Which is greater: b or 1?
1
Suppose -2*h - 15 = 3*h. Let m = 49/66 + -175/66. Which is bigger: m or h?
m
Let a = 6 + -6.3. Let b = -4746975/16 - -297587. Let i = -901 + b. Which is greater: i or a?
i
Let w(d) = d**3 - 12*d**2 - 2*d + 28. Let g be w(12). Suppose g*r - z - 4*z - 177 = 0, -4*r = 2*z - 198. Let p = 38 - r. Does p = -10?
True
Let i = -212 - -171.6. Let l be 3/6*418/836. Do l and i have different values?
True
Suppose 17*g = 14*g - 1320. Let b be 5/(g/1944) + -3. Which is smaller: -26 or b?
-26
Let m = 1153 - 1334. Does -179 = m?
False
Suppose 11*d - 2*d - 2151 = 0. Suppose d*q = 245*q - 96. Is 86/5 at most q?
False
Let f be 54/12 + (-6)/(-12). Suppose -4*m - 11 = -3*g + 1, m = f*g - 20. Is 1/79 bigger than m?
True
Let q be -5*12/(-10) - (-8 - 7). Suppose 2*h - 4*n = -2, 2*h = -2*h - 2*n - 4. Which is greater: h or q?
q
Let t = -299/11 + 106433/3916. Let c be -10 - (-4 + -8) - 2. Is t greater than c?
False
Let l = 31 + -28. Suppose -2*d + l*d - 7 = -2*b, 2 = 4*b - 2*d. Let w = b + -8. Which is smaller: -7 or w?
-7
Suppose 10*u + 4*q - 362 = 5*u, -4*u + 2*q + 300 = 0. Is u bigger than 61?
True
Let y = -0.329 - 179.671. Let a = 137 + y. Which is smaller: a or 3/7?
a
Suppose -37*f + 122 = -26. Suppose -2*c + 6*h = 8*h + 8, -2*h - 8 = 0. Which is smaller: f or c?
c
Suppose 5*v - 348*b + 353*b = -310, -5*b + 194 = -3*v. Which is smaller: v or -69?
-69
Suppose 7*h - 8 = 5*h. Let t(u) = -3*u - h - u + 2*u + 6*u. Let i be t(1). Which is smaller: i or -9?
-9
Suppose 0 = 2*k - 3*q - 25, 11 = k - 10*q + 7*q. Let v be (-232)/203 - (-118)/k. Let h be 0 - (2 - 14/6). Is v at least as big as h?
True
Suppose q + 3 = 0, 39 - 312 = -3*n + 4*q. Suppose -n - 53 = 28*w. Is -20 smaller than w?
True
Let u = 832 + -824. Let m be (2/(-30))/(42/(-5740)). Is m greater than or equal to u?
True
Let f(v) = -v**3 - 15*v**2 + 76*v + 530. Let w be f(-18). Is w equal to 134?
True
Let r = -5.69 + 3.96. Let j = r + -0.27. Is -13 less than j?
True
Suppose -3*u + 13 = 22, -2*z = -4*u - 568. Let d = z - 1948/7. Is d greater than 3?
False
Let s(m) = m**2 + 21*m - 1399. Let b be s(-49). Is -72 < b?
True
Let u = 3.5 + -89.5. Let c = -85 - u. Let m = c - -2. Is m != -0.1?
True
Let j = 24.7 - 62.7. Let r = j + 37.94. Let b be 0 - (-3)/((-15)/(-2)). Does b = r?
False
Let w be (-63)/378 + 1/108978*15653. Let t = w - -3/443. Does t = 1?
False
Let z be 7/(462/2256) - (-8)/(-44). Suppose 0 = 36*x - z*x + 4. Let m be (2 + -1)*(-6)/2. Which is bigger: x or m?
x
Suppose -5*m = 0, -4*z + 2*m = -2*m. Let w be 273234/330 + -3 + -5. Let l = w - 820. Which is smaller: z or l?
l
Suppose 2*x = -12*x + 36*x. Which is smaller: x or 2/2365?
x
Let m = -2744 + 2746. Which is greater: 31.9 or m?
31.9
Let n = 1484 + -1922. Which is smaller: n or -433?
n
Let i = 12/12499 - 71339/9211763. Is -1 smaller than i?
True
Let a(d) = -d**3 + d**2 + 4*d + 1. Suppose -17 = h - 3*g, 16*g - 25 = 5*h + 13*g. Let k be a(h). Does 8 = k?
False
Let s = -67 + 123. Let k = s + -44. Is k at least as big as 32/3?
True
Let x be 1 + 0 - 2*(-10286)/(-4). Which is smaller: -15424/3 or x?
x
Let f be 23 + (1262580/42)/(-22). Which is greater: f or -1342?
-1342
Suppose -x - 2 = -8, 4*t = 5*x - 12746. Are t and -3180 nonequal?
True
Suppose -36*s + 44 = -35*s. Let z be ((-44)/6)/(5 + s/(-9)). Let j be ((-4)/2 - -1)*(-11)/(-44). Is j at least as big as z?
True
Let x(v) = -2*v + 10. Let b(l) = 3*l - 9. Let k(n) = -5*b(n) - 4*x(n). Let c be k(2). Let z = -1.4 - -1.4. Which is greater: z or c?
z
Let v = 4045029/3235 + -6252/5. Which is bigger: -1 or v?
v
Let z(d) = 2*d - 12. Let y be z(10). Suppose 0 = -2*r + 439*c - 443*c + 28, 4*r = -c + 28. Which is smaller: r or y?
r
Let k = 599 + -589. Let q be (-12 - (k - 21))/((-1)/(-10)). Is q at most -55/6?
True
Let x(t) = 5*t**2 + 8*t - 13. Let o(b) = -2*b**2 - b - 1. Let p(z) = 2*o(z) + x(z). Let i be p(-8). Are -2/115 and i nonequal?
True
Suppose 4*w + 0 = 20. Suppose 11 = -w*q - 6*q. Which is smaller: 1/14 or q?
q
Let x(u) = 0*u**3 + 4*u + u**3 - 12 + 62*u**2 - 54*u**2. Let l be x(-6). Which is smaller: 174/5 or l?
174/5
Suppose -4*v - 282 = 230. Let r be 2 + (-6)/3 + 17 + 18. Let c be (30/140)/((-10)/r) - -1. Which is smaller: v or c?
v
Let h = -154 - -530. Which is smaller: -4 or h?
-4
Let n = -1946.1 + 1824. Let m = 3673 - 3551. Let d = n + m. Which is smaller: d or -1?
-1
Let a be 64859/442400 - (-16)/(-100). Let o = 1 - 1. Is o >= a?
True
Let a = -4868 - -4858. Which is smaller: a or 0.84?
a
Let s = 78 + -74. Suppose 0*c - 4*c = 16, -m - s*c = -69. Is m >= 83?
True
Let h = 1 + -1. Suppose -x - 17 = 4*r, r = 2*r - 2*x - 7. Let t be (-32)/42*-3 - 5 - r. Is h less than t?
True
Let n = -2.1 + 110.9. Let b = n - 109. Are b and 196 nonequal?
True
Let u = -2946 - -2946. Which is smaller: u or -13/28?
-13/28
Let h = -56 + 37. Let t = -53 - -58. Suppose -t*n - 57 = 53. Which is smaller: h or n?
n
Suppose -44 = 13*a - 3552 - 1276. Is 363 less than a?
True
Suppose f - 4*f = 5739. Let w = f - -21059/11. Let n be (-2)/(-1) - (-17)/(-17). Which is bigger: w or n?
w
Let l be 5 - (4 - 54/(-66)). Let z(g) = -5*g + 34. Let b(m) = 4*m - 33. Let o(s) = 5*b(s) + 6*z(s). Let c be o(4). Which is smaller: c or l?
c
Let v(g) = g**2 - 6*g. Let o be v(6). Suppose -y + 2*q + 78 = 0, -2*q = -4*y + 182 + 124. Which is smaller: o or y?
o
Let a be (-12)/(-16) + (-70)/(-56) + -1. Which is bigger: 1/51047 or a?
a
Let x be 55/3 - (5 + -1). Let g be ((-112)/20)/((-1)/(-5)). Let l be (2 - g/(-8))/(12/(-112)). Is l smaller than x?
True
Let x(v) be the first derivative of -v**3/3 + v**2/2 + 10*v - 2. Let q be x(-3). Let k be (0 - 9/(-30))*q. Are 0 and k non-equal?
True
Let p = 17 - 48. Let y(u) = 585*u - 2308. Let s be y(4). Let x = s + p. Is 5/8 at most x?
True
Let g(a) = -3*a**3 - 37*a**2 - 20*a + 33. Let k be g(-11). Which is greater: -237 or k?
k
Let s = 4767/6928 + -1/1732. Which is smaller: 1 or s?
s
Suppose -c + 37 = -3*a - 0, 63 = -5*a + 2*c. Which is greater: 0.0485 or a?
0.0485
Let c = 0 - 34. Let i = c - -19. Let k = 14 + i. Is k bigger than -12/19?
False
Let m(v) = -64*v**2 + 4*v + 2. Let h be m(-1). Let y be -3 - (-326)/h*15/(-25). Let k = -93 - -94. Which is smaller: y or k?
y
Let i(h) = 35*h - 199. Let u be i(3). Is -1037/11 at least as big as u?
False
Suppose -z + 8*z + 245 = 0. Let n be -2 + 36/21 + (-2215)/z. Let m be -3*1*3/n - 2. Which is greater: m or -1?
-1
Let d(f) = -17*f + 43. Let