))/(2 + (-35)/20). Is k smaller than n?
False
Let a = 4.11 - 4.14. Let h = -8 - -7.99. Which is greater: a or h?
h
Let n = 596/3 - 196. Let v be 1*98/21 + (-3)/(-9). Suppose 0 = -36*j - v*j + 123. Which is smaller: n or j?
n
Let u = -1447 + 1448. Are -954 and u unequal?
True
Let z = -0.39482 - -0.09482. Which is smaller: z or -0.1111?
z
Suppose 0 = -4*p - 2*u + 10, -5*u + 4*u + 1 = p. Suppose -x = -2*f - 9, 2*x = -p*f - f + 54. Which is bigger: -2/9 or x?
x
Let r(c) = -4*c - 2 + 3*c + 7 + 2. Let b(o) = -o**2 + 5*o + 5. Let f be b(3). Let p be r(f). Are -3 and p nonequal?
True
Let m(n) = 2*n**3 - 4*n**2 + n + 2225. Let a be m(0). Which is smaller: a or 2226?
a
Let c = -18/137 - -3421/2055. Let y = -41/30 + c. Let a = 14.8 - -0.2. Which is smaller: a or y?
y
Let c be (3 - 1)*(-4)/32 + (-22575)/(-300). Which is bigger: c or -3?
c
Suppose -20 + 20 = -7*i. Suppose i = 422*h - 426*h - 4. Which is smaller: h or 10/59?
h
Let c = -16 - -26. Let v = 252 + -238. Is c at least as big as v?
False
Let m = 1674 + -1674. Which is greater: 4/55 or m?
4/55
Let s(a) = 11*a + 72. Let h be s(-8). Let t be 48/2 - 80/h. Does 30 = t?
False
Let t(z) = -z**3 + 13*z**2 - 9. Suppose 3*u + 7*u - 130 = 0. Let m be t(u). Is -10 > m?
False
Let k = 27.1 - 25.43. Let m = 6.67 - k. Is m greater than or equal to 0.3?
True
Let b = -149 - -151. Let w be 7812/3924 - (3 - 2/b). Which is smaller: 0 or w?
w
Let l = -109/81 - -601/567. Is l > -1020?
True
Let x = 206 - 204. Do 2.752 and x have different values?
True
Let l be (-43260)/(-77) - (-4)/22. Let f = l + -24164/43. Are f and 1 equal?
False
Suppose 2*f + 3054 = 80. Which is smaller: f or -1489?
-1489
Let i = 21417 - 43587. Which is greater: -22169 or i?
-22169
Let c = 41 - 37.4. Let z = c + -2.76. Let x = 1 - z. Is x less than 1/3?
True
Let g = 82 - 1. Let l = 986 + -1072. Let x = g + l. Is x at most 0.5?
True
Let g = -230.88 - -230. Let y = 0.28 + g. Is y at most -7/4?
False
Let v = 36210 + -36213.2. Let j = -0.01 + 0.09. Is j <= v?
False
Let n = 15.95656 - -0.04344. Is -1/3 at least n?
False
Let s(g) = g**2 + 7*g + 8. Let q be s(-6). Let p be -1 - -1*q/(8/(-76)). Is -16 < p?
False
Let h = 523 - 384. Let f = h + -102. Which is smaller: 35 or f?
35
Let s be (0 - -1)*-3 - -2. Let d(l) = 14*l + 8. Let h be d(4). Let y be h/((-48)/(-6)) + -8. Which is greater: s or y?
y
Let i be ((-84)/(-20) + -5)/(2/(-10)). Suppose 0*h = 5*z - i*h - 264, -261 = -5*z + h. Which is bigger: z or 54?
54
Let y = -5201 + 5234.09. Let j = y - -0.91. Let k = j - 32. Is k greater than or equal to 10?
False
Let t be (0 - 6 - -5)*11*-8. Suppose -t + 109 = -7*f. Which is smaller: f or 2?
f
Let h be 87/12151*(-2)/16. Do 0 and h have the same value?
False
Suppose -4*y = 3*k + 29, 10 = 5*k - y - 4*y. Let t = 2154/11 + -196. Is t > k?
True
Let n be 153/34*6/9. Suppose 518 + 139 = n*m. Are m and 219 nonequal?
False
Let x(m) = 132*m. Let i be x(1). Suppose 0 = -138*q + 16276 + 6397 - 4733. Is i bigger than q?
True
Let v = 7260.66 + -7406. Let j = v + 143. Let k = j + 0.14. Which is greater: k or 1/4?
1/4
Let f be 4/(-10) - 23/5. Let n(m) = 2*m**3 - 19*m**2 + 11*m - 17. Let j = 504 + -495. Let h be n(j). Is h at most as big as f?
False
Suppose m - 41*g - 21 = -39*g, -4*m + 76 = -4*g. Is 9.3 greater than m?
False
Let c(j) = j**3 - 6*j**2 + 2*j - 9. Suppose 17 + 7 = 4*i. Let t be c(i). Let u(d) = d**3 + 6*d**2 + d + 12. Let f be u(-6). Are f and t nonequal?
True
Let o(b) = b**2 - 7*b - 45. Let p be o(11). Let n be 2/195*5631/(-10). Let i = -73/13 - n. Which is smaller: p or i?
p
Let z = 2778 - 2779. Is -69/44 at most as big as z?
True
Let r be (-24)/(-150)*-5*-5. Let u be 0 + (-48)/(-9) - 2. Let h = u - r. Which is smaller: 0 or h?
h
Let v = -30 - -14. Let u = 1.68 - -8.52. Let f = u - 10.1. Is v bigger than f?
False
Let y = -37069/967 + 2/2901. Which is bigger: y or -39?
y
Let f = -1.2 - 4.8. Let c = -9 - f. Let l = 7 + c. Is l smaller than 1?
False
Suppose 25*z + 32 - 57 = 0. Which is greater: z or 1/1202?
z
Let k = 3503 - 2285. Let m be (-12)/9*k/(-196). Is 7 > m?
False
Let g = -31653 + 31662. Is 201 at least as big as g?
True
Let w = -86.4 - 4.6. Let f = w + 47. Let y = f + 44.1. Which is smaller: 0 or y?
0
Suppose 0 = -167*p + 1034 + 36875. Are -1 and p nonequal?
True
Let w be 12/18 - 1/(-3). Let z be ((-6)/232)/(2/56). Let k = z + 371/232. Are k and w equal?
False
Let m = -7/33 + -5/132. Is m greater than -1/1658?
False
Let u(k) = k**2 - 9*k - 75. Let f be u(-6). Let t be ((f - 8)/(-14))/((-22)/(-20)). Which is bigger: 0 or t?
0
Let q = 34 - 2. Suppose -2*c = f - 2, 27*c + 10 = 29*c - f. Suppose -26 + q = c*y. Is y at least 3/4?
True
Let f = -283 - -82. Let d be (3/(-4))/((-6)/(-144)*f). Which is greater: 1 or d?
1
Let y(f) = 247*f - 1607. Let u be y(8). Which is greater: u or 365?
u
Let k be 821*2/(-26) + 10/65. Let t = k + 67. Let n be 0/(t + -7) - (0 + -4). Which is smaller: n or 7?
n
Let v be 2/(-2 - (-427)/210). Suppose 0 = v*u - 65*u + 70. Suppose -82 = -4*z - 22. Is u >= z?
False
Let k(w) = -251*w**2 + 34*w + 7. Let o be k(-2). Is -1063 < o?
False
Let c(s) = s**3 + 8*s**2 + 8*s + 10. Let p be c(-7). Let r be 3 + p/17*(-5214)/306. Is -1 greater than or equal to r?
False
Let k = 19400 + -19394. Which is smaller: k or 211/32?
k
Let k be (-16)/(-14) - 6/42. Let x be k/(1/(-6)*1). Let w be 356/(-22) - x/33. Are -1 and w nonequal?
True
Let j be 1*(0 + -4)*1. Let h = -1089 + 1087. Which is greater: j or h?
h
Let i(p) = 188*p - 4. Let d be i(-1). Suppose -3*j = -17 + 32, -9*g = j + 1751. Is g at least d?
False
Suppose 239 = 22*j - 47. Let p be (-5)/(-15) - j/39. Let g = -217/184 - -5/92. Which is smaller: p or g?
g
Let x(k) = -k**2 + 2606*k + 1. Let h be x(0). Let c = 320 + -223. Let u = -5916/61 + c. Is u at most as big as h?
True
Suppose 12*z = 105 + 63. Suppose 0 = -z*d - 4225 - 591. Is -343 at least as big as d?
True
Let y(l) = -7*l + 3. Let f be y(2). Let d = -345 - -573. Let z = d - 238. Which is smaller: z or f?
f
Let x be (-43)/(-473) + (-2 - 15159/11). Is x bigger than -1380?
False
Let n be 4528/26640 + (-6)/(-60)*-2. Which is smaller: -1 or n?
-1
Let m be -2*(54/12)/3. Let o be (3 + m - -1) + (2 - 17). Which is smaller: o or -12?
o
Let z(t) = 2*t**3 - 63*t**2 - 32*t + 1. Let q be z(32). Let n be (-5)/672*(-3)/15. Is q at most as big as n?
False
Let u = -3556 - -3563. Is 4/147 equal to u?
False
Let c be 4/(-3)*(-90)/(-44). Suppose 245*l = 248*l - 4*g - 77, 4*l + 3*g - 111 = 0. Suppose 5*z = -4*h + 5, -2*h = -4*z + h - l. Are z and c nonequal?
True
Let s = -0.1 + -0.1. Let w = -253 + 125. Let f = w - -105. Is s at most f?
False
Let k = 0.0671 + 6.0529. Which is greater: k or 0.1?
k
Let g = -0.096 + 57.096. Let f = 0.0625 + 62.9375. Let n = g - f. Which is smaller: -1 or n?
n
Let k = 3278.98 + -3310. Let n = -31 - k. Let l = -15.98 - n. Which is smaller: 0 or l?
l
Let m be (-20)/45 + 22816/1035. Suppose -4*v + 0*a + 2*a + 74 = 0, -2*a - 11 = -v. Which is smaller: m or v?
v
Suppose 17322 + 53030 = 16*q. Is 4396 at most as big as q?
True
Let x = -0.05 - -0.01. Suppose -4*i - 162 = 114. Let j = i + 72. Which is smaller: x or j?
x
Let p = 0.6 + 1.3. Let v = -258324.07 + 258324. Is p bigger than v?
True
Let d = 7905 - 7888. Are -15 and d equal?
False
Let m(q) = -q**2 - 69. Let v be m(0). Suppose 0 = -2*l + 6*l - 20, -6*l = 3*f + 174. Which is greater: f or v?
f
Let f be (-2)/7 + (-4051022)/(-340144). Let o = 3/3037 + f. Does o = 13?
False
Let y be 6*(-6)/(-1)*17/(-153). Let a be 7831/(-164) - (-1)/y. Are a and -522/11 equal?
False
Let i be (-2010)/9*((-40)/(-50) + -2). Are 270 and i unequal?
True
Let c(l) = -5 - 5 + 8*l**3 + 7*l - 251*l**2 - l**3 + 3 + 248*l**2. Let n be c(-4). Which is smaller: n or -530?
n
Let v = 88 - 87. Let m = 227/117 + -14/9. Is v at most as big as m?
False
Let h be 3 + -3*2 + 2. Let n = -5429 - -1264959/233. Which is greater: n or h?
n
Let y = -24646 + 25268. Which is smaller: y or -5/3?
-5/3
Let r(f) = 34*f**2 - 4*f - 18. Suppose 5*h - p = -20, -12*p + 7*p + 13 = 4*h. Let q be r(h). Is 300 greater than or equal to q?
True
Let i be 2 - (-1 + (-700)/16). Let v = -8743 + 8743.1. Which is greater: v or i?
i
Suppose 382 - 374 = 2*t. Suppose -t*s - 71 = 3*w, -w + 67 = -5*s + 2. Are s and -11 non-equal?
True
Let n = -391/990 + 7/18. Let i