d at least m?
True
Let g = 39 + -38. Let y be 22/(g/(-4) + 0) - 1. Let l = 71 + y. Does -19 = l?
False
Let a = -18.44 + 0.44. Let g = -3458 - -2362. Let l = g + 1096.2. Which is greater: l or a?
l
Let v = -15150 + 15151. Which is smaller: v or 2/6345?
2/6345
Let j = 6044 + -4894. Is j bigger than -0.5?
True
Let z = 3800 + -34202/9. Do 0.112 and z have the same value?
False
Let j(q) be the third derivative of -q**5/60 - 13*q**4/8 + 27*q**3/2 + 40*q**2 - q. Let k be j(-41). Which is smaller: -3/218 or k?
k
Let i be (-4)/(-4) + 4/((-600)/241266). Let v = 1608 + i. Which is greater: v or -0.1?
v
Let l be (-2)/2 - (40 - 39). Let c be l/(-1)*7/(196/(-4)). Is -0.42 != c?
True
Let a be (-8322)/152*104/6. Are a and -10454/11 nonequal?
True
Let o = -215 + 598. Let b = o - 383. Which is greater: b or 1?
1
Suppose 3*z - 168 = k, 5*k = -2*z + 2*k + 112. Let c = 71425/4 + -17800. Which is bigger: z or c?
c
Let v be (2 - -26)/(-1) - 2. Let g be ((-1)/3*-5)/(v/90). Let b be (2/(-7 - g))/(16/2). Which is bigger: 0 or b?
0
Suppose -z - 8*n = -5*n + 7, 3*z - 3*n - 27 = 0. Suppose -z*u + 291 = -34. Are 64 and u equal?
False
Let h = 4713.2 - 4713. Which is smaller: h or 0.103?
0.103
Let m(a) = -13*a + 21. Let w be m(2). Let n(x) = x**3 + 5*x**2 + 2*x + 12. Let c be n(w). Which is greater: 0.8 or c?
c
Suppose -701 = -9*r - 161. Let f be -4 - 116/(-30) - 82/r. Which is smaller: 9.8 or f?
f
Let l = -167 + 151. Let w(n) = n**2 + 16*n - 1. Let g be w(l). Let c be -1*(1 - (-10)/(-12)). Which is greater: c or g?
c
Let s(j) = -4*j**2 + 3*j + 68. Let u be s(-4). Let l be (-2 + -3)*45/25. Is u bigger than l?
True
Let c be (-1 - -1*1)/(-12 + 13). Let l be (1 - c) + 6/(-5). Let j = -68 - -73. Which is smaller: j or l?
l
Let u be (-8)/64*30*7/(252/32). Which is smaller: u or 93?
u
Let t = 1 + 0. Let w = -496.1 - -494.1. Let u = w + t. Which is greater: u or -41?
u
Let y be (-1)/(-8) - ((-44954)/304 + 6*1). Is y at least 142?
True
Let l be -1*60/(-50)*(-5)/2. Is -283.3 >= l?
False
Let p be (-1)/(15/(180/(-2536))). Is 1 > p?
True
Let d be 21/6*(-4 + 3). Let r = 0.624 - 10.624. Is r <= d?
True
Let v be ((-75)/225)/(((-2)/27908)/(18/12)). Is 6976 at most as big as v?
True
Let d = 16 - 11. Let j be 2/(-8) + (-20295)/(-220). Suppose 19*w - j = -4*w. Are w and d equal?
False
Let s(k) = -k**2 + 22*k + 8. Let f be s(0). Let q be 2520/32 + (-56)/f. Is 71 equal to q?
False
Let y = 8 + -9. Let f(x) = 64*x + 91. Let c be f(7). Let h be -2*(4 - c/133). Which is greater: y or h?
h
Let k = -72 - -77. Suppose -a + 61 - 145 = k*f, -2*f + 4*a - 16 = 0. Which is smaller: -21 or f?
-21
Suppose -2486 = -35*k + 13*k. Suppose -2*z + z - 50 = -8*h, k = -4*z + 3*h. Let x(d) = 2*d**3 - 3*d**2 - 2*d - 3. Let b be x(-2). Is z at least b?
True
Let i = 3.2493 - 0.0463. Let j = 0.203 - i. Which is smaller: -31 or j?
-31
Let w(h) = 2*h**2 - 35*h + 25. Let v be w(17). Suppose 2*q = -3*k + 8, -3*k - k + v = 2*q. Is -42/31 smaller than k?
True
Suppose 0 = r - 5*o + 26, -4*o - 64 = -4*r - 88. Is 48/169 at most r?
False
Let s = 9495 - 9360. Is s at least 0.046?
True
Suppose 455 - 431 = -3*d. Let c be 1*18/42 + d/(-14). Let k = 311/56 + -38/7. Which is greater: k or c?
c
Let z = -53 + 56. Let x = -30 - -50. Suppose 4*t - x = -0*t. Is t less than or equal to z?
False
Let b = 17/991 + 430966/6937. Are 0.1 and b equal?
False
Let j = 62 + -266. Is j smaller than -210?
False
Suppose -2*o + 4*d + 576 = 2*o, 4*o - 571 = 5*d. Suppose -15*t - o = -1154. Which is greater: t or 65?
t
Suppose 5*z - 5*f = 285, z + 0*f = -2*f + 48. Let v be (-1467)/z + 1 + (-5)/6. Are v and -51/2 unequal?
True
Let q be 146395/(-2479) - (-5 - 183/(-37)). Is q greater than -46?
False
Let a = -60886 - -60782. Let q = -45/26 + -18769/182. Is a greater than or equal to q?
True
Let a = 1781/9 - 8884/45. Is 169 less than a?
False
Suppose -216*b = -259*b + 288272. Is 6703 greater than b?
False
Let u = 5 + -5.06. Let k = 0.09 - u. Let n = k - -1.85. Is -6/5 < n?
True
Let o = 0.08 + 0.02. Let n = -372 + -60. Let y = n - -432.61. Which is smaller: y or o?
o
Let k = 91 + -81. Let s be (k + -12)*(-4)/(-2). Let y be (-8 + 200/24)*30/s. Which is bigger: -4 or y?
y
Let j = -2426 + 2425. Let b = -70.9 - -8.9. Which is greater: b or j?
j
Let s be (24/84)/((-185)/(-35)). Let o be 3 + (-2 - -1) + 0. Suppose o*m = 5*r + 7*m, -2*r + m = -3. Which is greater: r or s?
r
Let t = -0.9229 - 0.0771. Do -2376 and t have the same value?
False
Suppose 2*o - 4*d + 15972 = 0, 593*d - 591*d + 23902 = -3*o. Is -7972 at most as big as o?
True
Let o be 2598/408 - (-28)/(-238). Which is smaller: 2.3 or o?
2.3
Let s = 170 + -170. Let u be 20822/169012 + 4/(-94). Which is greater: s or u?
u
Let x = -1911 + 1908. Let r = -147 - -152. Is r at most as big as x?
False
Let l(k) = k**2 - 2*k + 2. Let z(b) = 2*b**2 - 33*b + 52. Let d(i) = -4*l(i) + z(i). Let j be d(-12). Is j at least as big as 5?
True
Let i(r) = 8*r - 82. Let h be i(13). Suppose 3*c + h*c = -800. Which is bigger: c or -33?
c
Let x = 5.821 + -20.821. Is x greater than 31.6?
False
Suppose 5*a = 138 - 68. Which is greater: 188/13 or a?
188/13
Let o(i) = -26 - 8*i**2 - 30 + 80 + 106 - 12*i. Let u be o(7). Is u at most -2/7?
True
Let k = 285.70822 + -285.6. Which is greater: 0.1 or k?
k
Let d = -263.8 - -381.7. Let o = 113 - d. Let b(h) = -h**2 + 6*h + 39. Let q be b(10). Are q and o equal?
False
Let b(m) = m**3 + 11*m**2 + 9*m + 4. Let g be b(-10). Let i be (1 + (-10)/g)/(345/14). Let t = i - 1424/3795. Which is bigger: -2/11 or t?
-2/11
Suppose -4 + 2 = -2*s - 5*n, -n = -2*s + 2. Let d be ((0 - s) + -1)/(-54). Let z = -59/135 + d. Is 0 != z?
True
Let n(k) = -2*k**3 + 2*k**2 + k - 15. Let s be n(0). Let t be 6/(-62)*(65/s - -4). Which is bigger: -1 or t?
t
Suppose -8 + 7 = -4*t + 3*k, -5*t = 3*k - 8. Let i = 197266/69 - 2859. Is t less than i?
False
Let w(r) = -r**2 - 4*r - 1. Let q be w(-4). Let u be (-4)/(2 - 4) - 1. Let c be (16/80)/(u/(-8)). Which is smaller: c or q?
c
Let n be (15/(-6))/(35/(-1848)). Suppose 2*v - n = -4*w, 4*v - 3*v + 5*w = 81. Which is smaller: 9 or v?
9
Let d be -9 + -96*6/(-81). Is d < -3?
False
Let r = -723350 + 12300842/17. Let k = -229 + r. Let n(v) = v**2 + 5*v + 4. Let i be n(-4). Which is greater: i or k?
i
Let n be (957/120 - 6) + 3/(-3). Let p = -11/8 + n. Which is smaller: -0.03 or p?
p
Let h be 1240/((-10)/(-2)) + -4. Which is smaller: h or 245?
h
Let u be ((-172)/8)/(3/2 + -2). Let z = u + -39. Suppose -z*y = -13*y + 9. Is -3/13 less than or equal to y?
True
Let f(w) = -66*w - 2663. Let h be f(-38). Which is smaller: -165 or h?
-165
Let v = 8947 + -8946. Is -1292 >= v?
False
Let b = -271 - -66. Is -1844/9 at most as big as b?
False
Let h be 3/18*1314/(-27)*2/(-6). Which is bigger: 3 or h?
3
Let u = -18413 - -202537/11. Which is bigger: u or 102/5?
102/5
Let x be ((-30)/27)/((-10548)/810 + 13). Let l = -5 - -3. Is l < x?
True
Let a = 1996.6 - 2056.9. Which is smaller: -1/4 or a?
a
Suppose 107 - 35 = -7*d - 68. Is -24 equal to d?
False
Let k(y) = -y**3 - 6*y**2 + 2*y - 13. Let b be k(-5). Let d be (-18)/3 + (-738)/b. Is d at most 8?
False
Let d = 47995 - 192507943/4011. Which is smaller: 0 or d?
0
Suppose 5*i = 12*j - 16*j - 69, -i = 7*j + 113. Let r = 252 + -1071/4. Are j and r nonequal?
True
Let a = -2.01357 - -0.01357. Are 6/101 and a equal?
False
Let q = 0.733 - 0.63582. Let l = 44.99182 + q. Let h = 0.089 - l. Is h >= 0?
False
Let c(y) = y**2 - 15*y + 7. Let t be c(15). Suppose 4*h + 2*x = -1854, -x + 2314 = 2*h - t*h. Let a = -7875/17 - h. Which is smaller: a or 0?
a
Suppose 12*f + 127 = -54 + 49. Let a(m) = -18*m**3 + 2*m**2 - m. Let c be a(1). Do c and f have the same value?
False
Suppose -17*r = 3*a - 18*r - 566, -2*a + 376 = -2*r. Which is smaller: 24 or a?
24
Let k = -2/154679 + 57695301/2629543. Do k and 23 have the same value?
False
Let g be ((-14)/4)/((-125)/(-10) - 13). Suppose -2*h - 4*r + g*r = -17, 2*h + r + 3 = 0. Which is bigger: -3/229 or h?
h
Suppose 5*v = 2*p + 39, -3*v - 5*p + 4 = -7. Suppose -32 = -13*h + v. Suppose 0 = 4*x - 4*a + 4, h = 2*x - a. Which is smaller: x or -7?
-7
Let p = -15.14 - 26.86. Does -2 = p?
False
Let n be (117/(-52))/((-7)/((-112)/(-12))). Let q be (-48)/(-14)*n/6. Is 1 not equal to q?
True
Let g = -37.92 + 38. Suppose -86 = 31*b - 55. Which