c = 13435.8845 - 13440. Let u = 0.0155 + c. Suppose 4*a + 1 = 5*a. Is u < a?
True
Suppose -4 = c - 15. Let s(d) = 10*d - 57. Let z be s(6). Which is smaller: z or c?
z
Let m = -2.58592 - 0.02708. Is -2 less than or equal to m?
False
Let w be (27/(-6) + 1 - -4)*442. Let d = -210 + w. Which is smaller: 16 or d?
d
Suppose -864 = 3*d - 3*c, 635*d + c = 634*d - 288. Let y = -135 + -154. Which is bigger: y or d?
d
Let d(z) = -5*z**2 - z**2 + 8*z**2 - z**3 + 6*z - 7. Let l be d(3). Suppose -3*s - 32 = l*q, 65 = -3*q + s + 3*s. Which is bigger: q or -88/5?
-88/5
Let g be 6/2*3/14922. Is 0 smaller than g?
True
Suppose 30*i - 35*i + 1860 = -5*f, 16 = -4*i. Which is smaller: f or -374?
f
Let t = -526 - -526. Suppose -7*c = -t*c + c. Is c greater than -2/1705?
True
Suppose -119*k = -123*k - 4*i + 20, 3*k = -2*i + 9. Does k = 30?
False
Let p = 21408 - 21575. Let m be (-11)/(-1*2/(-30)). Which is smaller: p or m?
p
Let n = 3778 + 753. Is n at least as big as 4531?
True
Let w be 1/(-3) + 198/27. Suppose -4*t + 3 = -w*t. Let d be 3*t/(-3) - 3/(-1). Is 2 bigger than d?
False
Let q = -53.2 - -85.2. Let x = -2.65 + 2.72. Which is greater: x or q?
q
Let h = 19452 - 19452.25. Are 20 and h non-equal?
True
Let l = 72 + -72. Let i = 15 - 41. Let m = 11 + i. Which is smaller: m or l?
m
Let f be 4/(-24) - (-13330)/60. Suppose -212*x = -f*x + 1820. Which is greater: 183 or x?
183
Suppose -2*j = -5*c - 2297, 9*c - 11*c = -5*j + 5690. Suppose 8*a - j = -0*a. Which is greater: 140 or a?
a
Let n = 591 + -606. Let p be (((-14)/5)/(-7))/((-6)/n). Which is smaller: 17 or p?
p
Suppose 2*q + 0*q - 11 = x, 4*x - 5*q + 41 = 0. Suppose -64*m = -68*m - 260. Let n be (-9 - 1/1)/(m + 67). Which is greater: x or n?
n
Let h(z) = 13*z**2 - 2*z + 3. Let d be (-1 - -8) + -4 + 0. Let r be h(d). Is 115 less than r?
False
Suppose -22*g = 2870 + 5753 - 1363. Is -331 greater than g?
False
Let n = -6724922 + 6713129.148. Let k = n - -11829. Let i = -0.148 + k. Which is bigger: 0.2 or i?
i
Let t(x) be the third derivative of -x**4/6 + 23*x**3/6 - 47*x**2. Let s be t(6). Are s and 7/87 unequal?
True
Let h = 14410.1 + -14410. Which is smaller: h or -86.19?
-86.19
Let g(t) be the first derivative of t**3/3 + 15*t**2/2 - 16*t + 6. Let f be g(-16). Suppose 129 = -5*q - 5*o + 4, -q - 3*o - 15 = f. Which is smaller: -29 or q?
q
Let l(b) = b**2 + 28 - 28 + 12*b. Let p be l(-12). Let o be 40/160 + (-54)/(-8). Is p > o?
False
Suppose 0*t - 48 = -4*t - 3*y, -t + 12 = 9*y. Let u be (-1)/(2 + -3) + -3. Let o be u/(-6)*(-276)/(-8). Which is greater: o or t?
t
Suppose 195 = 3*v + 5*f, 0 = -v - 0*f + 5*f + 85. Suppose -3*c = 2*c - 5*m + v, -c = -3*m + 16. Let l be 2/(-13) - 2/c. Is l greater than -2/69?
True
Suppose 2*r = 2*m - 14, 6 = 2*m - r - 13. Let x be 6/(-8) + 105/m. Suppose -8 + 64 = -x*b. Do 1 and b have different values?
True
Let h be (-5 - 84/(-18))*6117. Is -2039 less than h?
False
Let n(j) = -j**2 - 2*j + 9. Let u be n(-4). Let h be (-35 + u)*5/((-30)/24). Which is greater: 135 or h?
h
Suppose 0 = -3*u - i - 4224, -7040 = 132*u - 127*u + 5*i. Which is greater: -1409 or u?
u
Suppose 4*s = -10*s - 14. Let q be -2 + 0/s + 2. Is q at most as big as -2/9?
False
Suppose 2*t = -236 + 228. Let k be (-2 - 83/(-2)) + t/(-8). Is 42 less than k?
False
Let c = 1426 + -1425.9. Is c greater than 1974?
False
Let u = -637/24357 - 1/353. Let r be 0/(0/(-1) + -1). Suppose -22*c + 17*c = r. Is c != u?
True
Let d(c) = -19*c**2 - 283*c + 3. Let o be d(-15). Let y be 302/(-12) - (-7)/(-21). Are o and y non-equal?
True
Suppose 3*j + 4*i = -119, 2*j + 3*j + 189 = -2*i. Is j at most as big as -13?
True
Suppose -2*a - 2*a = 496. Suppose -3*s = 15, -19*v + 15*v - 3*s = 507. Which is smaller: a or v?
a
Suppose -10 = -7*u - 3. Let y(b) = 2*b - u - 3*b + 2 - 3. Let q be y(-3). Are q and -1/58 unequal?
True
Let k = -116067/26350 - -221/50. Which is bigger: k or 1?
1
Let f = -69 + 75. Let l be 2/9 + (-8)/216*f. Is 6/17 not equal to l?
True
Let q = 18178 + -18181. Which is smaller: -0.641 or q?
q
Let j(s) = -s**3 - 7*s**2 - 2*s - 12. Let h be j(-7). Suppose h*f + 4 = 6. Let w be 3/12 - (f - 1265/1580). Which is smaller: w or 0?
0
Let y(r) = r**3 + r**2 + r + 3. Let k be (1 + -1)/(-1 - -3). Let x be y(k). Let f be 1 + (-45)/24*2/x. Which is smaller: -2.3 or f?
-2.3
Suppose -o - 77602 = -76240. Are -1360 and o equal?
False
Let x be (-128)/(-60) + (4 + -1 - 3). Let i = -14/5 + x. Let v be -2 + (-43)/(-15) + (-4)/20. Which is smaller: i or v?
i
Let n = 35 - 37. Let b be 1/n - 107/2. Let u(q) = -q**2 + 8*q - 35. Let r be u(10). Is r at most as big as b?
True
Let c be (65/429 + (-6)/(-33))*726. Which is greater: 220 or c?
c
Let f = 251 + -161. Suppose 2*k - f = -4*k. Are k and 23 equal?
False
Let i = 4.351 + 61.649. Which is smaller: -6/11 or i?
-6/11
Suppose -2*h + 27 = 13. Suppose 11 + h = 3*z. Suppose 0*g - 6*g - z = 0. Is g not equal to -4/9?
True
Let v be 15/10 + (-14534)/1404 + 9. Suppose 4*z - 8 = 2*h, 5*z - 16 = h - 0*h. Let l be (2/h*0)/(-2). Are v and l non-equal?
True
Let c = 1324858/95 - 13946. Let q = -162/2185 - c. Which is smaller: q or -0.1?
-0.1
Let u = 29310 - 29311.1. Which is smaller: u or 1/384?
u
Let y = 1.1 - 0.1. Let x be (-2 + 0)/(3/(-93)). Suppose 2*u + a = 45 + 2, -4*a = -2*u + x. Which is smaller: u or y?
y
Let r be (561/22)/(6/(-16)). Let i(k) = 5*k**2 + 44*k + 15. Let y be i(-6). Which is greater: y or r?
r
Suppose 0 = -3*z - 5*f + 11, -4*f + 6 = -10*z + 11*z. Let w be (z + (-6)/2)*1. Which is bigger: -2/29 or w?
-2/29
Suppose 0 = 17*t + 639 + 330. Let n = t - -56. Which is smaller: 6/125 or n?
n
Let r = -1.4276 - -1.4876. Which is bigger: 24 or r?
24
Let u(z) be the third derivative of -z**6/120 + z**5/5 - z**4/3 - 11*z**3/2 - 21*z**2. Let w be u(11). Suppose w = -2*h + 25 - 25. Is h not equal to -8/27?
True
Let g = -2 + 4. Let j be (-4437)/(-765) + 8/(-10). Suppose -l - n - 3 = 0, -2*l = g*l + j*n + 14. Which is bigger: l or 1?
1
Let f be (230 - 229)/((-2)/64). Suppose -2*j = -t + 2*t - 7, -35 = -5*t - 5*j. Suppose -t - 25 = c. Is f equal to c?
True
Let s be 1/(27*4/8). Let f = -0.21 + 0.11. Which is greater: f or s?
s
Suppose 252 = 112*u - 105*u. Suppose -u*b = -51*b + 9390. Are 625 and b equal?
False
Let j(o) be the second derivative of -o**5/5 + o**4/3 - 5*o**3/6 + 5*o**2/2 + o + 1. Let k be j(2). Are -21 and k unequal?
False
Let g = 0.007 + 28.993. Let s = -7 + 6.6. Let q = -0.5 - s. Which is smaller: g or q?
q
Suppose -30 = 2*l - 158. Let j be (l/(-12))/(14/(-105)). Is j != 3?
True
Suppose 3*o + 15 = 0, -f + 5*f - 1258 = 2*o. Suppose 3*k + 391 = t + 3*t, -4*k + f = 3*t. Let x = -100 + t. Is x at most as big as -3/35?
False
Let f be (-2 - -1)/((-11)/(-3)). Let a(z) = -2*z**3 + 3*z**2 + 3*z - 1. Let h be a(2). Let t be ((-5)/(10/(-2)))/h. Are f and t non-equal?
True
Let a = -1.2 + 0.8. Let x = -0.253 + -0.047. Let j = x - a. Is j at least as big as -2/33?
True
Let p = -53 - -61. Let a be p/20*(-80)/48. Is a >= 8/7?
False
Let x(i) = 19 - 4*i - 6*i + 5*i**2 - 3*i**2 - 3*i. Let p be x(10). Let o = p + -106. Is o <= -21?
False
Let c be 441977/(-604) - 14/(-8). Is c not equal to 1?
True
Let u = 0.289 + 41.811. Let n = 4.9 + u. Let g = -47.1 + n. Which is greater: g or -50?
g
Let a = -14426/189 + 533/7. Let u = 60432 + -60431. Which is smaller: a or u?
a
Let r(y) = -y**3 - 16*y**2 - 14*y + 17. Let s be r(-15). Suppose -s = 3*q - 110. Let m = q + -36. Which is smaller: 2/37 or m?
m
Let x be 2*(-2 + 1 + 3). Let k(b) = 5*b**2 + 12*b - 2. Let z be k(-3). Suppose 25 = -z*p + x. Which is smaller: p or -4?
-4
Let i(b) = -52*b + 1759. Let z be i(34). Is z < -24?
False
Let w(o) = o**2 - o - 72. Let m be w(0). Let k be (3/(-8)*2)/((-5112)/(-497568)). Is m smaller than k?
False
Suppose -55*h - 12 = -56*h. Let i be (-1)/((h/4)/6). Which is smaller: i or -13/3?
-13/3
Suppose 7455*x - 51 = 7452*x. Is x < -2?
False
Let n be ((-4)/8)/(1/(-8)). Suppose 3*s + 3*g = n*s + 6, -4*g = -3*s - 13. Are s and -8 nonequal?
True
Let x = 32917 - 33444. Which is smaller: x or -524?
x
Suppose -3*o = -5*c - 573 - 311, -2*c - 4*o - 338 = 0. Is c bigger than -189?
True
Let w(m) = -106*m**3 + 57*m**3 + 53*m**3 - 8*m + 5*m**2 - 1. Let j be w(4). Which is smaller: j or 304?
j
Let n = -4607 - -4606. Is n < -15.8?
False
Let c = 75 + -30. Let t