e n(-1). Is r <= s?
False
Let u be (-1)/384*-687 - (10 - (9 + -1)). Which is smaller: 1 or u?
u
Suppose -3*a - 24 = -4*l + l, 0 = 4*l - 2*a - 34. Let r(y) = 2*y + 1137 - 1156 - l*y. Let z be r(-3). Is 0.04 < z?
True
Let i = -119 + 121. Suppose -i*d - 818 = -d. Let z = d - -25360/31. Which is smaller: -3 or z?
-3
Let d(f) = -145*f - 1130. Let b be d(-8). Is -69 <= b?
True
Let y be 14 + -2 + -15 + -45. Let b be (-18)/24 + 3/4. Let m = -50 + b. Is y equal to m?
False
Suppose 0*n + 160 = 4*n. Suppose 0 = 5*y + 5*l + 1637 - 487, 3*y - 2*l = -700. Let k be y/n - (-3 + 1). Which is greater: -4 or k?
k
Let o(g) = 2*g**2 - 129*g - 21. Let b be o(15). Are b and -1506 equal?
True
Let s(x) = -x**3 + 16*x**2 - 32*x - 36. Let h be s(11). Let c = h - 213. Do c and -12 have the same value?
False
Suppose -2261 = 7*n - 889. Let l = 182 + -379. Which is smaller: l or n?
l
Let w(o) = -o**3 + 6*o**2 + 15*o + 18. Suppose -5*y - 72 = -14*y. Let s be w(y). Let f(v) = v**2 + 12*v + 6. Let a be f(-12). Which is bigger: s or a?
s
Let w be 80/(-38) - -1 - 136/(-1292). Let c be 1/(((-322)/24)/7). Are c and w nonequal?
True
Suppose -3*r + 136*h = 134*h + 20371, 20357 = -3*r - 5*h. Do -6790 and r have different values?
True
Let m = 2619 + -2587. Is m at most 30?
False
Let b = 18.543 - 18.3. Let c = -0.343 + b. Which is smaller: -0.364 or c?
-0.364
Let j = -76338/7 - -10904. Which is greater: -2/17 or j?
-2/17
Let j = 102 + -132. Let r be 2 + (1 - 32) + 0. Which is smaller: r or j?
j
Let c = 786 + -3129/4. Let d(t) be the second derivative of -t**3/2 + 32*t**2 - 4*t - 1. Let q be d(20). Is q equal to c?
False
Let r be (-3)/(-3) - (-10)/2. Let k = -7363/10 + 1461/2. Let a = k + r. Which is smaller: -3 or a?
-3
Let y = -3.482 + 4.052. Which is smaller: y or 0.9?
y
Let w = -3.93 + 440.93. Let n = w + -428.8. Is 0.3 at most as big as n?
True
Let y be 14 + -13 + 1/((-1)/(-5)). Let n = 3/764 - -16417/2292. Which is bigger: y or n?
n
Let x be 18/81 - 17/36. Suppose 0 = -7*w + 161 + 63. Suppose w*m - 31*m - 1 = 0. Do m and x have the same value?
False
Let d = -2293/1358 + -5/194. Suppose 15 = 3*s + 3*x - 0*x, 5*x = 10. Let f be 3/(-2) + s/(-2). Which is greater: d or f?
d
Let g(p) = -p**3 + 25*p**2 - 34*p - 29. Let b be g(25). Let u be ((-90)/(-75))/(b/(-15) + -3). Is u greater than 1?
False
Let l = 40/2001 - -491419/8004. Do 62 and l have the same value?
False
Let w be (10/(-240))/((-2)/(-28)*-1). Let a = 56 - 64. Let i(n) = 2*n**3 + 17*n**2 + 8*n + 1. Let z be i(a). Which is smaller: z or w?
w
Let b be -9*(-5)/35 - 1. Let g = -0.029 - 180.971. Let c = g - -161. Is c greater than b?
False
Suppose 21*k = 22*k + 413. Let n = 430 + k. Is 12 at most as big as n?
True
Let a = 5 - 2. Suppose 2*l - 5 - a = 0, 0 = -4*o + 5*l + 16. Suppose 176 = 35*q - 69. Is q bigger than o?
False
Let p(d) = 5*d - 25. Let q be p(9). Let w be (-2 - -5) + (-59)/q. Is 0.2 > w?
True
Suppose 5*a - 4*m + 2*m = 814, 0 = a - 2*m - 166. Let y be (-4 - a/(-45))*-8. Let c be ((-1)/(-1))/((-3)/(-6)). Is y greater than c?
True
Let p be (0 + 0)/4 - 3. Let y be 10/8 - 11*(-5)/(-12). Is p equal to y?
False
Let o be (56 - 57)/((-10)/8*4/(-5970)). Is o greater than or equal to -3581/3?
False
Let o = -7330 - -15899. Let b = -334211/39 + o. Is b bigger than -1?
True
Let d = 9138 - 15249. Is d < -6111?
False
Let r(w) = -w + 7. Let y be r(7). Suppose 0*a - z = -5*a - 82, 4*a - 3*z + 59 = y. Let k = -17 - a. Which is greater: k or 6/13?
6/13
Let g(j) = -3*j - 16. Let f be g(5). Let z = 46 + f. Suppose a - 47 - z = 0. Do 63 and a have the same value?
False
Let l be (-18)/(-231) - 2/(-7). Suppose 7*p - 10 = 2*p + 2*o, -6 = p - 2*o. Suppose -p*i - 13 + 11 = u, -4*i + u = 6. Which is smaller: l or i?
i
Let u be (-8)/(-48)*(-568)/(-4). Let t = 49/2 - u. Let j = -4 + 6. Is t at least j?
False
Let o = 18 + -18. Suppose o = 2*c + 4*t + 4, c - 2*t + 2 = 4. Let a be c + -3 - -1*(3 - 1). Is a at least as big as 4?
False
Let j(u) = -9*u + 168. Let m be j(18). Let a be -2*5/30 + (-7)/m. Is -3 less than or equal to a?
True
Let u = -3394/7 + 486. Are 231 and u unequal?
True
Let k = 601845/26 + -23148. Suppose 2*p = -2*p + 20. Suppose -h - p*x - 6 = 0, 0 = 4*h - 9*x + 4*x - 1. Which is smaller: k or h?
h
Let n(z) = 2*z**3 - 21*z**2 - 49*z - 208. Let t be n(13). Let p = -1/687 + -3383/35724. Which is greater: t or p?
t
Let l be (24/(-28))/(9/(-42)). Let n be (-46)/(-2)*(4/l - 0). Which is greater: 22 or n?
n
Let o be 4/((-4)/(-5)) - 4/2. Suppose 1 = 2*f - o. Suppose 10 - f = 4*y. Is 3 <= y?
False
Let i = -1.562 - 1854.438. Let n = i + 1958.1. Let y = n + -102. Is -3 != y?
True
Let s be (-10)/55 - 4/(-22). Let u be (2/(-48))/((250/(-60))/25). Are u and s nonequal?
True
Suppose -5*s - 5*u = -55, s + s + u - 17 = 0. Suppose -s*b + 8*b = 10. Suppose 452 = -b*r + 177. Is r at most -55?
True
Let s be (4/6)/((-7)/(-3003)). Let j be (-3)/(11/(s/(-6))). Is j less than or equal to 5?
False
Let y = -14 - -14. Let d be 34/255 - 623/(-440). Let x = 11/24 - d. Is x > y?
False
Let t be 14/21*2/(-4). Let q(h) = 6*h**3 - 2*h**2 + 2*h - 1. Let w be q(1). Suppose 0 = w*j - 6*n + n, -7 = 2*j + 5*n. Do j and t have the same value?
False
Let p be (-2)/(-13) + 4*(-142)/11804. Which is smaller: -1 or p?
-1
Let h = -5180 - -5223. Let u = 0 - -0.94. Let c = u + 0.06. Which is smaller: h or c?
c
Let h(r) = r - 37. Let k be h(3). Let v be (-3)/(-4)*(k + 6). Is -20 bigger than v?
True
Let b be (8/(-6))/((-21)/9). Let a = -103 + 287. Let o = -190 + a. Which is bigger: b or o?
b
Let n be 2/14 + 6040/56. Let i be (-6)/4 + 146/n. Which is smaller: 0 or i?
i
Let x = 36 - 115. Let t = x + 89.6. Which is greater: 0.1 or t?
t
Let p = -67069/30 + 4471/2. Which is smaller: -1/4 or p?
-1/4
Suppose 0 = 17*k + 52 + 67. Let a be (-245)/(1*(-8 - k)). Do 247 and a have the same value?
False
Let v be (-12744567)/5412 + (-1)/4. Let y = v + 2355. Is y < 1?
True
Suppose 9*a = 11*a - 26. Let t be ((-3)/2)/(-1 - a). Suppose 4*r = 20, 0*f + 3*r - 19 = 4*f. Is f > t?
False
Let t(u) = -9*u**3 + 51*u**2 + 14*u - 4. Let c be t(6). Is c bigger than -163/6?
False
Let x = 3963 - 2090. Let n = -226639/121 + x. Which is bigger: 1 or n?
1
Suppose q - 29 = -2*c, 116*c - q = 115*c + 4. Which is greater: -59 or c?
c
Let w = 11095 - 10267. Which is smaller: 0.7 or w?
0.7
Let x = 3.48 - -138.52. Let s = 119 - x. Which is bigger: -4 or s?
-4
Let x = -0.1 - -0.3. Let j = 70.382 - 70.45. Is j >= x?
False
Let h be (-14896)/(-882) + (-2)/(-18) - -7. Let v be ((-4)/(-8))/(6/4). Which is greater: v or h?
h
Let d = -10740.3 + 10740. Let z = 511 + -19417/38. Which is smaller: d or z?
d
Suppose -4*c + 0*b + 2*b = -38, 5*c - 2*b - 46 = 0. Let y be 518/(-174) - 6*(-4)/c. Is y <= 0?
False
Let p = 3/477638 - 119414/716457. Let a = 9.2 + -0.2. Which is greater: p or a?
a
Let z be 3/(-10) + (-241461)/(-270). Let o be 286/z - (-6 + 3)/(-9). Let c(n) = n**2 + 2*n - 2. Let l be c(-3). Which is smaller: l or o?
o
Let d = 854.4 + -854.7. Which is smaller: 34/131 or d?
d
Let g(s) = s**3 - 39*s**2 + 75*s - 23. Let l be g(37). Suppose i - 2070 = -l*i. Is i < 138?
False
Let h(c) = -c**3 - 3*c**2 - 5*c - 1. Let v be h(-4). Suppose -170*f + 175*f = 5*k + 155, 2*k - 6 = 0. Which is smaller: f or v?
f
Suppose 4*u - 12 = -0*u, u = -2*w - 1. Let o(l) = l**3 + 2*l**2 - l - 3. Let t be o(w). Let h = -10/133 + 363/3059. Which is smaller: h or t?
t
Let x be 3*((-192)/9)/8. Let t be 6 - ((-2172)/42 - x). Which is greater: t or 51?
51
Let s = 0.04296 - 99.04296. Let n = 96.1 + -1.1. Let i = s + n. Which is smaller: i or -3?
i
Suppose 53*c - b + 50 = 55*c, -80 = -5*c + 5*b. Are c and 42 nonequal?
True
Let p be ((-12)/(-16))/(1 + (-1519)/1512). Which is smaller: p or -147?
p
Suppose -78 = 40*w - 38*w. Let u = w - -44. Suppose -4*g + 4*t + 4 = -5*g, 0 = -3*g - 5*t - u. Is g equal to 2/11?
False
Let q be (-4)/(-5) + 126/30. Let o be 718/8 + (42/(-24))/(-7). Let g be (30/(-18))/((-25)/o). Is g smaller than q?
False
Suppose 18*f = 117*f + 619641. Which is smaller: f or -6260?
-6260
Suppose -269*h = -257*h - 420. Is 5 less than or equal to h?
True
Suppose 2*n + a + 746 = 239, -3*n + a = 758. Let y = n + 2785/11. Let i(f) = -2*f**3 + 10*f**2 - f - 3. Let o be i(5). Which is bigger: o or y?
y
Let j = 0.08 - -0.52. Let u = j + -1.6. Suppose 3 - 21 = 3*