 is smaller: g or b?
b
Suppose -8*u = -6*u - 8. Suppose a - 4*g - 4 = 0, -4*g - u = 2*a + a. Is 3 <= a?
False
Let c be 552*((-5)/(-3))/((-8)/18). Let p be 1*4/(-7) + c/(-315). Suppose -4*l - 2*w - w + 48 = 0, -5*l + 57 = 3*w. Which is smaller: l or p?
p
Let d = 1897 + -686715/362. Is 1 < d?
False
Suppose 4*i + 288 = -8*i. Let y be (-2 - 2) + i + 29. Is -69 at most as big as y?
True
Suppose 30 = -4*f + 34. Let l be 3/235*(-144)/54. Let s = 21/470 + l. Is f >= s?
True
Let j = -457 - -457.187. Let q = -4.177 + j. Let i = q - -4.2. Which is smaller: 2/3 or i?
i
Let y be (1 + 4 + 4)*(-12)/(-9). Suppose 4*l + 4 = 0, 4*q + 16*l + 112 = y*l. Which is bigger: q or -132/5?
-132/5
Let i = 283 + -274. Suppose -i*b = 459 + 18. Which is smaller: -58 or b?
-58
Suppose 2*b + 120 + 248 = 0. Let l be b/(-138)*3/16. Are l and 35 non-equal?
True
Let c = 13951 + -7708. Is c equal to 0?
False
Suppose -2*t - 4*j - 40 = 0, 0 = -4*t + 38*j - 43*j - 86. Let r be 2/6 + 201/(-9). Is t <= r?
True
Suppose -3*y - 7148 = -2*o - 0*o, -5*y - 3581 = -o. Which is greater: o or 3569?
o
Let h = 35276 + -35608. Which is greater: -2332/7 or h?
h
Let z(v) = 17*v + 81. Let b(w) = -52*w - 244. Let p(s) = 3*b(s) + 10*z(s). Let r be p(-26). Which is bigger: r or -285?
-285
Let a be 5/(-162)*((-4)/(-6))/(23/69). Which is greater: a or 1?
1
Let b = 138 - 135. Suppose -5*q - 2*q - 147 = 0. Let u = -15 - q. Are u and b non-equal?
True
Let m be (-2*(-9)/(-18)*0)/(-3). Which is smaller: -1/19932 or m?
-1/19932
Let o = 908 - 870.9. Let n = -37 + o. Which is smaller: -7/16 or n?
-7/16
Let m = 363 + -354. Suppose 1 = -8*b + m. Do 9 and b have different values?
True
Suppose -s - 160 = 7158*y - 7160*y, 5*s + 872 = -2*y. Is s at least as big as -1535/9?
False
Let r be ((-42)/(-36))/(-7) - 6192146/(-140). Let f = 44227 - r. Let t = -4/35 - f. Which is smaller: 3 or t?
t
Let v(c) = c**3 + 16*c**2 - 39*c - 19. Suppose -2*i + 7*i = -85. Let f be v(i). Let a = f - 3919/11. Which is smaller: a or 0?
a
Let h(s) be the third derivative of s**6/120 - s**5/20 + s**4/24 + s**3 - 2*s**2 - 37*s. Let g be h(3). Is 6 less than g?
True
Let y be (-28 - -31)*25/(-3). Which is smaller: -38 or y?
-38
Suppose -16*w + 58 - 54 = -220. Which is smaller: 509 or w?
w
Suppose 0 = -6*x - 15*x + 31*x + 490. Which is bigger: -38 or x?
-38
Let h = -3829/74 + 2636/37. Let l = -2 + 2. Does h = l?
False
Let p(z) = -z + 36. Suppose 2*o = -5*d + 153, 4*o - 4 - 12 = 0. Let q = 52 - d. Let x be p(q). Does 13 = x?
True
Let d be (-7 - -5)*1/2*-1. Let l = -4700 - -258498/55. Is l at least d?
False
Let k be ((-3490355841)/1980)/19 - 0/(-2). Let u = 92779 + k. Let l = u - -2/165. Is 0.52 bigger than l?
True
Let z = -116423 - -116422. Let p = 74354/81 - 918. Is p < z?
False
Let k(t) = t**3 + t**2. Let w be k(0). Let r be 5/450*9/(684/(-16)). Let o = r - -521/3420. Is o less than w?
False
Let l = 20342 + -15777. Which is smaller: 4563 or l?
4563
Let l = -31 - -33. Suppose 0 = l*v + 2*v - 2*t + 12, 4*v + t + 12 = 0. Let u be 1/(v*(-1)/96). Which is greater: 31 or u?
u
Let t = 24.598 - 24.6. Let z = 0.132 - 0.13. Let f = z + t. Is 21 less than f?
False
Let y(f) = f**3 - 7*f**2 - 10*f + 5. Let k be y(8). Let b(n) = -n**3 - 8*n**2 + 9*n - 15. Let w be b(k). Which is greater: w or 247?
w
Let p(z) = 3*z - 7. Let q be p(4). Suppose 0*w + 112 = -w + 5*f, -4*w + q*f - 373 = 0. Is -87 less than or equal to w?
True
Let c = -3.3 + 0.3. Let m(q) = -2*q + 86. Let f be m(40). Let s be (-14)/(((-68)/(-51))/(4/f)). Which is greater: c or s?
c
Let l be (180/(-128))/((-2)/152). Let g = l + -10987/104. Is 2 at least as big as g?
True
Let h(i) = -7*i**3 - 3*i**2 - 4*i + 7. Let u be h(1). Suppose -2*q - 13 = 2*t + q, -t - 8 = q. Which is smaller: t or u?
t
Let v be 2735 + (8 + -6 - 15 - -3). Is v <= 2726?
True
Let l = -201255 - -8250893/41. Do l and -13 have the same value?
False
Let h(i) = 20*i + 99. Let t be h(-3). Let x = 1.7 + -1.9. Which is bigger: t or x?
t
Let m(l) = 2*l**3 + 24*l**2 + 64*l - 15. Let h be m(-8). Suppose 0 = -c - 2*i - 32, 3*c - i = 7*c + 93. Let y = c + 6. Is h at least y?
True
Let l(w) = 3*w - 77. Let d be l(15). Let n(a) = -a**2 - 31*a + 31. Let x be n(d). Let i be 8/(-77) + 8/28. Which is bigger: x or i?
i
Suppose -t + 4*i + 384 = 0, -66*t + 68*t + 16*i = 768. Is t at least as big as 14?
True
Let f = 6054 - 6054. Is f smaller than 2/12849?
True
Let c = -4130 - -10021. Which is smaller: 5890 or c?
5890
Let v be 100/(-276) - 150/(-5175). Is v at most as big as 2275?
True
Suppose k + 3*h + 6 = 3*k, 0 = 5*h. Let z be 110/12 - (18 - (21 + (1 - 11))). Which is smaller: k or z?
z
Let o be ((-9)/(-2))/(6/372 - 0). Suppose -2*n + 277 = o. Which is greater: 4/67 or n?
4/67
Suppose -8*s + 233 = 1. Suppose 7*d = -s + 8. Are d and -11 equal?
False
Suppose -2 = x - 20. Let m = -10 + x. Let f(b) = b**2 - 6*b - 11. Let g be f(m). Is g < 3?
False
Suppose -518 - 295 = -6*n + 153. Which is smaller: n or 154?
154
Let n = 0.2 + 0. Let h = -0.2276 + 0.0276. Let k = n - h. Which is bigger: k or -3?
k
Let t = -146 + 366. Suppose t = 20*d - 0*d. Which is smaller: d or 80/7?
d
Let s be 259/(-2) - (-150)/100. Is s bigger than -21?
False
Let c = 3797/1530 + 14/765. Suppose 3 + 7 = 5*d. Is d greater than c?
False
Let z = 456 - 306. Let m = 151 - z. Is m < 6?
True
Let k be -4 - 1/2 - -4 - 8. Let s = 5/2558 + 55624/6395. Let w = k + s. Is w at most -3?
False
Suppose -4*f - 2*b = -138, 4 = -b + 1. Suppose 5*q - 4*l - f = -27, 4*q - 5*l = 9. Which is smaller: q or -6/295?
-6/295
Suppose 0 = -10*p + 22*p - 12. Let z be (12 - 3)/(-9)*p. Is z smaller than 0.371?
True
Let y(w) = -5*w + 15. Let u be y(3). Suppose 18 = 6*d - u*d. Let f be -3 + (d - (-9)/21). Is f less than or equal to -7?
False
Let z = 9187 - 4858. Is 0 > z?
False
Let u be 5/(-21370)*(70/(-15) - -6). Which is smaller: u or -1?
-1
Let j = 139683/65 + -2149. Is j != 0.018?
True
Let r(u) = 3*u**2 - 74*u - 41. Let v be r(43). Which is bigger: 2326 or v?
2326
Suppose -6*m + m = -190. Suppose 80*i + 0 - 2104 = 776. Which is smaller: m or i?
i
Let w = 154450 + -1083076/7. Is w smaller than -274?
True
Let w = 37 + -33. Suppose -w*n + 177 = 5*g + 10, 0 = -3*g + 4*n + 81. Suppose 0 = i - g - 6. Does 37 = i?
True
Let d = -421 + 420.975. Is 4 greater than d?
True
Suppose 1 = -5*k + 4*s - 11, -4*s + 20 = -3*k. Do k and -0.4892 have different values?
True
Let w = -1 - -1/2. Let r(t) = -20*t**2 - 283*t - 31. Let c be r(-13). Which is greater: c or w?
c
Let r = 644 - 42. Suppose -4*j - 4*h + 8 = 0, 0*j = -5*j + 5*h + 10. Let i be (j/(-3))/(r/21). Is i > -1?
True
Suppose -178*s + i = -176*s - 607, s - 293 = -3*i. Is 2720/9 not equal to s?
True
Let u(b) = -652*b + 3585. Let i be u(5). Which is bigger: i or -6?
i
Suppose -128 = 5*s + 37. Let g = s - -27. Let q be (g*(-2)/32)/((-2)/4). Is 0.6 at most as big as q?
False
Let h = 110 + -105. Suppose 7*c + 2 = h*c. Suppose -4*r = 4*f - 8, 11 = -3*r + 5*f - 7. Is r less than c?
False
Let d(f) = f**2 - 38*f - 37. Let a be d(-1). Let y(n) be the first derivative of n**2/2 + 8*n + 4. Let m be y(-5). Which is smaller: a or m?
a
Suppose u + 2*z = -2, -3*u - z + 2*z = -8. Let l be (3/(-9))/(u/54). Is l >= -9?
True
Suppose -u + 0*u - 194 = 3*l, -2*l = 2*u + 128. Let m = l - -37. Let s be (-194)/140 + (-8)/m. Are 0 and s nonequal?
True
Let d(t) = -t**3 + 15. Let x be d(0). Let y = 210092 + -210090. Which is greater: y or x?
x
Let n = 6707 - 6706. Is n at most -7/2725?
False
Let u(r) = 2*r - 206. Let v be u(31). Let h be v/(-39) + (8 - 14). Do -2 and h have the same value?
False
Let f(n) = -n**3 + 29*n**2 - 33*n + 103. Let p be f(20). Is p less than 3043?
False
Let l = -1054 - -1050.06. Is l less than or equal to 2/13?
True
Let n(y) = 99*y + 410. Let p be n(-4). Which is smaller: p or 804/61?
804/61
Let x(i) = i**3 + 10*i**2 - 12*i - 14. Let b be x(-11). Let p be (-2)/b + (-14)/(-6). Let r be (p + -5)/(-8 - -6). Is 10 <= r?
False
Let v = -178 + 213. Suppose 3*c + 128 = 2*z, 5*z - 3*c = -v + 364. Is 68 smaller than z?
False
Suppose x - 2*d = 4280, 16*d = -5*x + 18*d + 21392. Which is bigger: 4276 or x?
x
Let u = 21 - 29. Let d = 160 + -132. Let x be 4 + u - (-115)/d. Which is smaller: 1 or x?
x
Let q be -2 + -5 - (13 - 278). Let a be 4343/q + 14/12 + -1. Which is greater: 18 or a?
18
Let h