27*h - 26*h. Let i be s(h). Which is bigger: i or f?
f
Let c(u) = -3*u**2 + 8*u - 9. Let a be c(6). Suppose 2*v = v + 2*o + 98, 2*o - 78 = -v. Let r = v + a. Is r < 21?
True
Let p = 130 + -125. Suppose p*b + 4 = -2*a, b - 2*a + 14 = -3*b. Let v(j) = -j**2 - 3*j - 2. Let q be v(b). Is -6 greater than q?
False
Let l = -3870 - -3869. Let z(x) = -x - 9. Let t be z(-6). Let o be 22*(t/(-2) + 0). Which is smaller: l or o?
l
Let n = -170 + 183. Suppose -n*k - 182 = -52. Is 6 bigger than k?
True
Let y = 9.95 - -0.05. Let c = 286 - 2006/7. Is y != c?
True
Let z(d) = 19*d - 29. Let t be z(-4). Let f = t + 159. Suppose -2*q + 32 = -2*n, -2*q - 8 = 5*n - f. Which is smaller: q or -1?
-1
Suppose 21 = -3*t - 24. Let q(k) = k**3 - 80*k**2 - 194*k + 2441. Let l be q(82). Which is greater: l or t?
t
Let a(q) = q**2 + 18*q. Let v be a(-18). Suppose 3*o + 22 - 28 = v. Is 4/7 at least as big as o?
False
Let g be (-6)/(-18) + 2339/228. Let u = g + -16/19. Let m(l) = 7*l - 11. Let v be m(3). Which is greater: v or u?
v
Suppose 0 = -5*x + 5*h + 40, -2*h - 31 = -x - 18. Let w(t) = t**2 - 4*t + 4. Let k be w(x). Which is smaller: 2/841 or k?
2/841
Let v be 3 + 95/(-30)*1 - 25/30. Is 8/1063 at least as big as v?
True
Let l be (-669)/(-27) + (-8)/(-36). Let c = l + -22. Suppose c*h = -3*h + 126. Is 21 less than or equal to h?
True
Let m = 0 + 0. Let f = -237.8 - -370. Let y = -132.148 + f. Which is greater: m or y?
y
Let c(w) = -6*w**3 + 3*w**2 - 2*w - 6. Let s be c(-4). Let p = s - 404. Is p greater than 61/2?
False
Suppose 32*u - 5352 = 20*u. Let c = u - 355. Which is smaller: c or 2/3?
2/3
Let q = -180 - -181.2. Let c = q - 1.2. Is c greater than or equal to 84?
False
Suppose 377*c + 201962 + 66462 = 0. Is c at least -708?
False
Suppose -383*a - 518 = -126*a + 510. Suppose 3*l = -4*f - 2*l - 8, 5*l + 4 = -2*f. Let w = f + 0. Is a greater than w?
False
Let d = 298 + -270. Let k be ((-138)/(-24) - 6)*d. Are k and -2/7 unequal?
True
Let s(t) be the second derivative of 19*t**3/6 + t**2 + 2*t - 4. Let z be s(4). Which is bigger: z or -0.1?
z
Suppose 125*m - 1285 + 10660 = 0. Which is bigger: 2/35 or m?
2/35
Let l = -393.4 + 485. Let d = 91.3 - l. Is d at least as big as 2?
False
Let v = 16893 + -16893.3. Which is smaller: v or -219?
-219
Let l be (201/6)/(3 - (-56775)/(-18942)). Let o = l - 12447. Which is greater: -6 or o?
o
Let p(h) = -143*h + 873. Let a be p(6). Let c(i) = 2*i**3 - 4*i**2 - 2*i + 4. Suppose -3*y + 4*n + 8 = y, 3*y - n - 8 = 0. Let t be c(y). Is a < t?
True
Let g(c) = 49*c - 1244. Let v be g(14). Which is smaller: 3 or v?
v
Let f be ((-9)/12)/(-1 + 4)*-21. Let v be (12/5 - 3) + 148/5. Suppose 0 = -27*l + v*l - 10. Which is smaller: l or f?
l
Suppose 929 = -4*i - q, 5*q - 668 = -3*i + 6*i. Let o = i - -276. Is o less than 48?
True
Let j = -88996262129/218131724 - 50/1473863. Let m = j + 408. Is m <= -1?
False
Suppose -1 = 7*p - 50. Suppose 14*n - 7*n = p. Let b be ((-4)/(-12))/(n/162). Which is smaller: 52 or b?
52
Suppose 9*p - 4*p + 20 = 0, 4*d = -5*p - 380. Let f be (d/156)/((-6)/(-53)) - -5. Which is smaller: 1 or f?
f
Let q = 2003/11742 - -1/206. Let y = -4244591/57 - -74477. Let x = q + y. Is x smaller than 11?
True
Suppose -50*m + 49*m - 5 = 0. Let v be (6/4)/(m - 1). Are 12.4 and v equal?
False
Let b = -168 + -1. Let y be b/(-23) + 5 + 30/(-3). Which is smaller: 3 or y?
y
Let u = 3051 + -3118. Which is greater: u or -1001/15?
-1001/15
Let g = -139.2815 + -0.0185. Let r = 139 + g. Which is smaller: 3/22 or r?
r
Let w = -268 - -393. Let z be ((-175)/w)/(44/70)*-4. Which is smaller: z or 9?
z
Let o(i) = 85*i - 3005. Let l be o(34). Let j be (1*-1)/(11/1254). Is j > l?
True
Let k = -4599161/524 - -35107/4. Which is bigger: k or 1?
1
Suppose -3*h - 192*u + 197*u = -1452, 0 = 2*h + u - 955. Is h >= 486?
False
Let w(m) = 5*m - 111. Suppose 88 = 4*h - 3*l, -h - 8*l + 4*l = -22. Let q be w(h). Let s = -2201/8085 - -3/539. Which is bigger: q or s?
s
Let c be 4/(-7) + (-162)/(-14). Let a be -1*(-4)/(-8) + c. Let d(l) = -4*l**2 + 52*l + 11. Let k be d(13). Which is smaller: a or k?
a
Suppose -4*v + 9*v = 120. Let c be 404*(-3)/(-36)*18/24. Which is greater: v or c?
c
Let f be 1/(-3)*(-3)/25. Suppose z - 3*z = -4*o + 350, 0 = -2*o - 5*z + 145. Let d = o + -84. Which is greater: f or d?
d
Suppose 1551*n - 1514*n = 37. Let l = -9 - 108. Let f = l + 355/3. Which is smaller: f or n?
n
Let j be 1 + 3 + (-2)/2. Let q be 3/(-12) + 3 + (-3)/(-12). Suppose -o + 6 = -q*o, -j*x - 96 = -2*o. Is -34 equal to x?
True
Suppose 12*q - 14*q = 64. Let w = 8 + -14. Let c be 4/w + 2 + (-300)/9. Are c and q nonequal?
False
Let x(t) = -3*t**3 + 3*t**2. Let m be x(2). Let i be -5 - (6 + m - -3). Is -17/23 <= i?
False
Let o be (-2)/(-10) + (-1798)/290 + 12/2. Which is smaller: o or 1/23601?
o
Let u be (12/(-4 + -8))/(-2 - (-8966)/4482). Is -2 at most u?
False
Let g = 4831 + -4831.1. Which is smaller: g or 186?
g
Let r be ((-286)/33)/(-13)*(-5570)/(-12). Let i = -17785/63 + r. Which is smaller: 28 or i?
i
Let o = 0.54677 + -0.20877. Are o and 13 non-equal?
True
Let m = 131.8 + -131.25. Is m at most -3/7?
False
Suppose 0 = -0*m + 3*m - 15. Suppose m*q + 98 = h + 19, -4*h + 331 = -5*q. Let a be (6/75)/(h/45). Which is smaller: a or -1?
-1
Let j = -30 + 29. Let b(h) = -4*h**3 + 17*h**2 - h - 9. Let z(v) = -v**3 + 1. Let d(s) = j*b(s) + 5*z(s). Let o be d(-17). Which is smaller: o or -4?
-4
Let a be -3 + 0 + 2 - (-8152)/(-44). Let k = -559/3 - a. Let c(p) = -6*p - 101. Let w be c(-17). Which is greater: k or w?
w
Let v = 688333/36 - 19122. Which is smaller: v or -2?
-2
Let d = 22 - 19. Suppose q - 2*q = 2*m - 28, d*q = -m + 14. Is m smaller than 15?
True
Let f be -1 + (-150)/55 + (-1 - -2). Suppose -7*a = -8*a + 12. Suppose -2*b - a = 2*b. Which is smaller: b or f?
b
Let y(u) = u**3 - 4*u**2 - 4*u + 1. Let c be y(5). Let w be (-196)/(-84)*45/21. Suppose c*m = m - w. Do m and -2/23 have the same value?
False
Let c = -86.74 + 86.81. Is c at least -3/2?
True
Let y be 6/(-3) - 90/(-40). Do y and 1.02 have different values?
True
Let z(q) = 132*q**2 + 212*q + 214. Let x be z(-1). Is 138 at most x?
False
Suppose -3*s - 5*s + 56 = 0. Let n(v) = -v**2 - 7*v + 97. Let m be n(s). Which is smaller: 1/802 or m?
m
Let f(y) = 2*y**2 - 36*y - 24. Let h be f(18). Let c(n) = -2*n + 10. Let s be c(5). Suppose -4*a + s*a - 4 = 0, t + 27 = -3*a. Is h at most as big as t?
True
Suppose j - 453 = 5*z, -2*z + 6*z - 408 = -j. Let l = j + -35523/83. Let f = 9160 - 9161. Which is smaller: f or l?
f
Let v(u) = -27*u**2 + 5*u - 34. Let c be v(-6). Let m = c - -34181/33. Is m smaller than 1?
True
Let x = 0.1587 + -0.0587. Let b = -107 - -268. Which is greater: b or x?
b
Let i = 786/103 - 33398/2163. Let k = -50/7 - i. Let u = 32.32 - 36.82. Is k bigger than u?
True
Let n = -6838 + 7456. Do -2/39 and n have the same value?
False
Let d = -57 - 22. Let a = -116 - d. Is a > -35?
False
Let l = -223.6 + 223.6. Is -1020 equal to l?
False
Let d = -8.825 + -0.005. Let n = 0.97 - d. Let l = n + -9.8. Is 4 bigger than l?
True
Let b = 17 - 17. Let n = -4 - -9. Suppose -3*f + 7*f = -y + 31, -n*f = -y - 32. Is f bigger than b?
True
Let m be -9 - (-8 + (-16080)/5). Does m = 3217?
False
Let b = -3177/1540 - -567/220. Let o = 1 + -1. Which is greater: o or b?
b
Let p(n) = -22*n**3 + 10*n**2 - 2*n - 10. Let f be p(-4). Which is greater: -2 or f?
f
Let n = -446 + 155. Let u = 946657/3294 + 1349/366. Let m = n + u. Are m and 1 nonequal?
True
Let k(b) = b**2 + 5*b + 3. Let s be k(-6). Suppose -5*h = -8*h + s. Let j = 202 + -199. Is h bigger than j?
False
Let a = -283 + 285.47. Let x = 62.03 + a. Let t = x - 65. Which is smaller: t or -2?
-2
Suppose 0 = 3*j + 4*q - 820, 11*q - 905 - 228 = -4*j. Do 260 and j have different values?
True
Let b = -921 - -485. Suppose -2077*s + 2102*s = -10875. Is s smaller than b?
False
Suppose -2*x - 4*i - 240 = 0, -174*i = -178*i + 20. Which is smaller: -114 or x?
x
Let z = -1385173/5 + 277017. Suppose -19 = n - 5*k, -19 = -2*n + 3*n + 2*k. Which is smaller: z or n?
n
Let v = -0.118 + 0.049. Let g = 0.141 + v. Let w = 0.272 - g. Which is bigger: 29 or w?
29
Suppose -33*y + 34*y + 49 = 0. Which is smaller: -41 or y?
y
Suppose g - w + 34 = 3*w, 5*w + 3 = -2*g. Which is smaller: 168 or g?
g
Let o = 1.9 - 2