)/(-60)). Let s = -125 + 276. Is s > q?
False
Let t = 0.0672 + 368.9328. Let q = t + -343. Is q > -4?
True
Let y = -2642 + 1386. Are y and -1256 non-equal?
False
Suppose 0 = 38*a - 36*a + 40. Let d = -16 - a. Let p be (-6)/216*89 - (-1)/d. Which is smaller: p or -3?
-3
Let q = -6 - -7.96. Let g = -0.851982 - 0.148018. Which is smaller: g or q?
g
Suppose 0 = 49*k - 50*k + 2190. Suppose -3*x = -2*x + 3, 3*g - k = -4*x. Let b = g + -41836/57. Is b < -1?
False
Suppose 0 = g + 1, 196 - 200 = -k + g. Suppose -4*u = -k*j + 264 + 115, 2*u = -2*j - 200. Which is bigger: -94 or u?
-94
Suppose 110*g = -87*g - 2561. Is -263/19 bigger than g?
False
Let i(l) be the first derivative of -l**3 - 19*l**2/2 - 11*l + 26. Let q be i(-5). Suppose -q*n + 20 = -5*n. Is -1 less than or equal to n?
True
Suppose -7*n = 2*n - 1881. Let z = 2045701/9726 + 1/9726. Which is smaller: n or z?
n
Let v(p) = 2*p - 13. Let y(g) = 3*g - 13. Let f(r) = 5*v(r) - 4*y(r). Let t be f(-7). Let x be 0/((-1)/(55/20 + -3)). Is x greater than t?
False
Let l = -860010094/2761 - -311485. Is 1 at most as big as l?
False
Suppose -229*f + 227*f - 40 = 0. Let m(y) = -3*y**2 + 3*y - 3. Let t be m(-2). Which is smaller: t or f?
t
Let f be (-549)/30*-4*(-50)/(-20). Let q be ((-108)/162)/(2/f). Let r = -53 + -8. Are r and q equal?
True
Let q be ((-27)/(-12) + (-2 - 0))*-4. Let n be (10/(-14) - -1) + (-289)/1428. Which is smaller: q or n?
q
Let y = 1.1 - 10.9. Let m = y - -3.8. Let b = -6 + 8. Is b < m?
False
Let z be 1911 - -60 - 6/2. Which is smaller: 1967 or z?
1967
Let w be ((-11)/8 + (15 - (-1989)/(-136)))*1. Which is smaller: w or -25/243?
w
Let l = -1.26 + -5.44. Let a = 6.3 + l. Are a and -80 equal?
False
Suppose 198*k - 633114 = -147618. Which is bigger: 2453 or k?
2453
Let m be ((-32)/(-20))/((-1)/15). Let f be 2/((m/(-28))/(-3)). Suppose -2*g - 34 = g - 5*j, -g = -4*j + 23. Which is bigger: g or f?
g
Let t = -20680 - -20679. Which is bigger: -5539/5 or t?
t
Let o(l) = 2*l**3 + 17*l**2 - 9*l + 5. Let c be o(-9). Suppose 15 - 5 = c*k. Suppose 2*m + 5*n + 50 = 2*n, 3*m + 88 = k*n. Is m at most -28?
True
Let b be -7 - 3 - -5 - -93. Let z = b - 86. Suppose -o + 6*o = -z*v + 9, 0 = 4*v - 2*o - 6. Which is smaller: v or 6?
v
Let w = 113 + -112. Suppose -25*d + 26*d = -w. Which is bigger: d or 1/344?
1/344
Let l = -3 - -10. Let r be (-590)/(-105) + (1 - l). Is r bigger than 1?
False
Let l = 137.56 - -0.44. Let z = l - 72. Which is smaller: 0.2 or z?
0.2
Let d(j) = -18*j - 40. Let l be d(-2). Let x be 126/70 + (1 - (-1 - l)). Which is smaller: x or 94?
x
Let g(h) = 5*h**2 - 2*h - 6. Let t be g(-2). Let y be (4/(-2))/4 - 441/t. Suppose 0 = -11*a + 14*a + 72. Is a at least y?
True
Let m(z) = -1099*z + 199. Let l be m(2). Is -1999 greater than or equal to l?
True
Let s(x) = -11*x + 7. Let f be s(6). Suppose -16543*a - 6720 = -16431*a. Is f at most as big as a?
False
Suppose -14 = -r - 7. Suppose -r*t + 20 = -22. Suppose 5*g - 27 = -2*h, g + 4*h = 3*g - t. Which is smaller: 3 or g?
3
Let l = -368/15 - -122/5. Let k(o) = 3*o**3 + 3*o - 2. Let h be k(1). Which is smaller: l or h?
l
Let r = 1423/7 + -334328/1645. Are 0 and r nonequal?
True
Let h be (-6)/2259*120/80. Which is smaller: h or -17?
-17
Let n be (-16*(-1)/(-12) - 16/(-6))*2. Let w = -5 + 9. Is w < n?
False
Let r be ((-13)/(2925/(-270)))/((-3)/31555). Is -12622 greater than r?
False
Suppose -7*r - 4*z + 315 = -12*r, -r = -4*z + 79. Which is bigger: r or -296/5?
r
Let q = -28447/4830 - 2817/322. Let b = 44/3 + q. Let m be 1*-1*(12 - 13). Is b < m?
True
Let a = -3056 + 3057. Let h be (-2)/(-7)*(-39 - 2). Is a < h?
False
Suppose 3*a + 838 = 4*a + 2*q, -a + 10*q = -742. Do a and 824 have the same value?
False
Let s = 127 + -65. Let h = s + -60. Let d be (h/(-3))/(30/(-18) - -1). Which is smaller: d or 1/4?
1/4
Suppose -5*w + 163 = -137. Suppose 2*l = -4*x - 0*l + w, -5*x + 76 = 2*l. Let s = -115 + 129. Is s <= x?
True
Suppose 2*f = f + 3. Let q be (-14)/5 - (f - 2). Let j(g) = 270*g**2 + 51032*g + 375. Let x be j(-189). Which is smaller: x or q?
q
Let y = -322 + 324.56. Let b = -2.46 + y. Is 0.046 smaller than b?
True
Suppose -5*f + 81 = -z + 239, -3*f + 150 = z. Suppose 184930*m - 184959*m + 4495 = 0. Is z at most m?
True
Let g be ((-2625)/(-2))/((-54)/(-168) - 3/(-7)). Which is smaller: 1747 or g?
1747
Suppose 0 = 2*v + 8, c - 7*v = -4*v + 15. Let f be (-2 - -7 - c)/(-2). Which is smaller: f or 34?
f
Let v = -14243 + 37900624/2661. Which is bigger: -1 or v?
v
Let j(i) = -44*i + 18. Let x be j(3). Let u = x - -65. Let o(t) = -4*t**2 + 5*t - 4. Let m be o(4). Which is bigger: m or u?
m
Let d be 1810/(-1448)*44592/(-10). Which is smaller: 11145/2 or d?
11145/2
Suppose 5 = -7*x - 51. Let g be x/6*(-2100)/(-14). Let q be (-3)/((-42)/4) - g/84. Is 3 < q?
False
Let h(p) = -395*p**2 - p - 16. Let d be h(4). Let s = d + 336030/53. Which is smaller: s or -1?
-1
Let v be ((-124)/(-155))/((-3)/(-5)). Is -1/15 at most v?
True
Let b = -1689 - -1689. Which is smaller: b or 26?
b
Let n = 61095/107 - 571. Suppose -l + 2*w - 402 = 0, 0 = -16*l + 11*l - w - 2032. Let h = -405 - l. Is n less than or equal to h?
True
Suppose -13*p + 12*p = -5*k + 256, -5*k - 808 = 3*p. Suppose 5*g + 3*r - 5 = 0, 3*r - 1 = -7*g + 6*g. Let u be p/126 - (g - 3). Is u greater than -1?
True
Let b = 233 + -227. Suppose -268 = -b*c - 1408. Is -191 >= c?
False
Let m(k) = -k**2 + 56*k - 468. Let i be m(10). Is -15/2 smaller than i?
False
Let l(f) be the second derivative of -241*f**4/6 - 2*f**3 + 11*f**2/2 - f + 2. Let o be l(1). Is -484 at most as big as o?
True
Let v(x) = -9*x + 3. Let h be v(1). Let a = 19 + h. Let n = 14 - a. Is n less than or equal to -9?
False
Let n = 162 - 587. Let i = n - -333. Is i bigger than -92?
False
Let q = -2 + 3. Suppose -7 = -3*j - 2*l - q, 3*j = l + 15. Suppose 0 = -0*d - 3*d + o - 65, -112 = j*d + 5*o. Is d greater than -23?
False
Let p = 4.1 + -3.6. Let d = -0.08 + -0.52. Let o = p + d. Is -2/7 > o?
False
Let g be (-8 - -25)*(-1)/1*(-86 - 3). Which is smaller: 1514 or g?
g
Suppose 0 = 80*m - 31156 - 17564. Is m greater than 609?
False
Let t(x) = 3*x**2 - 11*x - 6*x - 15 + 28 - 4*x**2. Let a be t(-19). Let c be (48/(-3))/(6/9). Is c at least a?
True
Let b be 0/(-1 - -7) - (-63 - 1). Let n = b + -41. Suppose -h = o + 5, -4*h = -4*o + 21 + n. Which is greater: h or -9?
h
Let m = -1.9 - -2. Let i = -1.1 - m. Let k be (7 - 7)*(14 + (-116)/8). Are i and k unequal?
True
Let w be 7092/(-79785) - ((-22)/18 + (2 - 1)). Is w greater than 72.3?
False
Suppose -4*t - 3*w = 20, 4*t + 17*w + 20 = 21*w. Let o be (t - (-2 + -5)) + -69. Which is smaller: -66 or o?
o
Let w be 1/((-2)/(1*-4)). Let b be ((-3)/w)/(-1 + -2). Let u = -75807 + 75781. Which is smaller: b or u?
u
Let u be (604/132 - 6) + 2/6. Let f = u - -126/55. Which is bigger: f or 2?
2
Suppose -3383*b = -3393*b + 1840. Is 170 bigger than b?
False
Let y be -4*(-9)/12 + (-4)/1. Suppose 0 = -2*z - 4*z. Let o be z/y - 27/234. Is o less than 0?
True
Let k be (-12)/10590*(-6 - 9). Which is bigger: k or 1?
1
Let u(g) = -567*g - 22. Let j be u(-7). Let n be 6/(5 - 7) + j/952. Let f = n + -5/238. Is f > 1?
True
Let d be (-3)/((-3)/3956) - (-1240)/155. Is d bigger than 3963?
True
Suppose 0 = 16*v - 24 - 200. Suppose 5*k - 9 + v = 0. Let w = -15 + 5. Which is greater: k or w?
k
Suppose i + 45 = 16*i. Let v be 2 + 5/(20/8). Suppose 3*w - i*a - v = -13, 4*w + 15 = 5*a. Do -1/8 and w have the same value?
False
Let y = -387 - 109.8. Let p = y + 497. Is 187 not equal to p?
True
Let d be (-126)/10 + 2/(-5). Let k = 2470 - 1735. Let w be ((-2)/(-10))/(-1)*k/(-588). Is w equal to d?
False
Let f = 0.7 + -12.7. Let b = -12.1 - -0.1. Let k = f - b. Which is smaller: 27 or k?
k
Let x(c) = -8*c + 42. Let n be x(6). Let k(w) = -w**2 - 5*w + 7. Let t be k(n). Let r be 4 - t/((-2)/108). Is 58 equal to r?
True
Suppose -2*i + 1336 = 262. Suppose 13*m + 4 = i. Is 36 != m?
True
Let p = 1.1 - 1.2. Let v = -93.8 + 96. Which is bigger: v or p?
v
Suppose 3*d - 2*h = 31, -7 = -3*d + 2*d - h. Suppose 0*t = d*t - 45. Are t and 8 non-equal?
True
Let d be 2/6 + (-4)/(-6). Let m be ((-336)/(-495))/1 - 148/185. Is m != d?
True
Let u = 39140 + -313599/8. Does -59 = u?
False
Suppose -22*b = 49*b - 8378. Let f = -202 + 319. Which is smaller: b or f?
f
Le