86/(-18)). Is -2/267 at least t?
True
Suppose -5*j + 1929 = 4*r, 5*j + 2*r = 780 + 1137. Which is greater: j or 387?
387
Suppose 3*t + 4*i = 1526, 2*t - 665 - 343 = -5*i. Let d = -202 + t. Suppose 81 - d = 11*v. Which is smaller: v or -41/2?
v
Let j = 1.173 - -100.477. Let f = j + -104. Let c = f + 0.35. Is c smaller than -3?
False
Let d = -305.3 + 308.3. Let o = -47 + -10. Do d and o have the same value?
False
Let s(m) = -m**3 + 40*m**2 - 173*m - 65. Let p be s(35). Suppose 4*n + 202 = -3*f, -7*f - 137 = -p*f + 5*n. Is f bigger than -67?
True
Let v = -2293 - -4126. Which is bigger: 1832 or v?
v
Suppose 0 = -u - 11*u - 2232. Let i = 185 + u. Is i equal to 3/349?
False
Let v = 1.23 - -4.47. Let c = v - -20.3. Let w = 28 - c. Which is smaller: w or -0.06?
-0.06
Let n = 17529 + -17528. Do 2/5999 and n have the same value?
False
Let f = 7.2 - 1.2. Let p = -30 + f. Which is smaller: 0.2 or p?
p
Let x = -146 + 153. Let n = -7.2 + x. Which is greater: n or 37?
37
Suppose 3 = -0*u + 2*u + x, 4*u = -5*x + 15. Suppose u = 7*t - 3*t - 32. Let l = -22 - t. Which is smaller: l or -32?
-32
Let a = -957.73 - -957.7. Are -0.084 and a equal?
False
Let l be 1/4 + 86/8. Suppose -5*u + 196 = 4*r, 9*u - r = 11*u - 79. Let d = u + -29. Are l and d non-equal?
False
Let h be (-706)/(-8) - 1/4. Let s be ((-1)/(-2) + (-78)/(-52))*(-6230)/(-140). Which is bigger: h or s?
s
Let z = 211115/38 + -5556. Let o = z + -3/19. Which is smaller: o or 44?
o
Let g = -0.8 + -0.2. Let h = -0.05 + 0.002. Let t = h - -1.048. Is g smaller than t?
True
Let u(p) = p + 18. Let b be u(-16). Let w be (b/(-28))/((-378)/49 - -6). Suppose -m = -2*m. Is w at most m?
False
Suppose -q - 48 = -5*s - 2, 4*s + 5*q - 31 = 0. Suppose p - 2144 = -4*z + 5*p, 5*z = -3*p + 2680. Let h be (-3)/(-7) - (z/(-56) - -1). Does h = s?
True
Let u = 212 - 203. Suppose -15 = 4*a - u*a. Do 9/5 and a have different values?
True
Let y = -36 - 39. Let r = y + 222. Let m be (-110)/336 - (-42)/r. Which is smaller: m or -1?
-1
Let b(w) = -w + 9. Let d(t) = -t**2 - 9*t - 11. Let g be d(-5). Let n be b(g). Suppose 0 = 4*v - 108 - 120. Is n > v?
False
Suppose -2*z + 212 = -5*l - 259, z - 478 = 5*l. Which is smaller: -86 or l?
l
Let q(i) be the third derivative of 71*i**5/60 - i**4/24 - i**3/3 - 27*i**2. Let t be q(-1). Suppose 9*k = 2*k - t. Is -14 at most k?
True
Let g(a) = -a**2 + 18*a - 19. Let j be g(12). Let q = -50 + j. Suppose w - q*w = 18. Which is greater: -10 or w?
w
Let v = 1035 - 376. Let m = v - 660.17. Is -2 less than or equal to m?
True
Let j(l) = l**2 + 3*l + 1. Let t be j(-4). Let o(y) = y**2 + y**2 + t + y - 2 + y**3 + 3. Let z be o(-3). Is -6 not equal to z?
False
Suppose l - 32 = -5*p, 51 = 4*l + p - 77. Let g be ((-6)/5)/(-2 - l/(-20)). Let y be 6 - (2 + 2 + -1). Is g less than y?
False
Let w be (-5)/(40/(-12))*2. Suppose 5*n = 2*z + 129, -6*n = -w*n - 9. Which is smaller: z or -53?
z
Let a = 72.062 + -72. Let p = 2.228 - 2.14. Let g = p + a. Which is bigger: -0.1 or g?
g
Let k(c) = -c**2 - 15*c - 47. Let n be k(-6). Let m(i) = -4*i**2 + 18*i - 2. Let y be m(n). Which is greater: 2 or y?
2
Let j = -232417/49 + 4743. Which is bigger: j or -1?
j
Let c be 924232/2311730 + ((-6)/36 - 14/60). Which is smaller: 0 or c?
c
Suppose -173*f - 891 - 1185 = 0. Which is bigger: -174/13 or f?
f
Let v = -0.1 + 0.9. Let a be (-125)/(-260) + 10*5/(-200). Is a smaller than v?
True
Let a be -8 + (8 - 9) - (-29)/3. Is a at most as big as 65?
True
Let t = -176178 - -176020. Let q = 0.2 + -0.1. Which is smaller: q or t?
t
Suppose -1357*f + 75 = -1332*f. Let i be 60/16 + 1/4. Suppose f - i = u. Which is greater: u or 1/70?
1/70
Let c be (3/(-2))/(1/4). Let z(a) = 5*a**2 - 104*a - 26. Let x be (-2)/20 + 422/20. Let v be z(x). Which is smaller: c or v?
c
Suppose 8 = 4*v - m, -v - 854*m + 850*m + 2 = 0. Which is smaller: 22/25 or v?
22/25
Let z = 8 + -25. Let g = 234073 - 234068. Which is smaller: g or z?
z
Let q be 8/84 - (12 + 3675512/(-308616)). Is q bigger than -1?
True
Let r = -395 - -400. Let f be (6/4)/((-4)/(-16)). Let w = f - r. Which is smaller: w or 1/6?
1/6
Let w(t) = 2*t**2 + 41*t - 75. Let l be w(-30). Suppose 6*p + 261 - l = 0. Is p >= 41?
False
Let b be (-2 + 1)/(2/(-14)). Suppose 0 = -164*t + 162*t + 64. Let q be (3 - (1 + -2))*56/t. Do q and b have the same value?
True
Let f = 21 + -21.133. Let z = f - 0.217. Which is smaller: 2 or z?
z
Suppose 18*o - 16*o = -3*c - 21, -2*c + o = 14. Let a(v) = -2*v - 4. Let z be a(-5). Let t = -11 + z. Are t and c equal?
False
Let g(m) = 10*m**2 + 6*m - 13. Let p be g(1). Is p at most -975?
False
Let y = -40499/1099 + 258/7. Let i be (-1 - 1/(-3))/(116/174). Which is bigger: y or i?
y
Let c = -55.26 + 53.26. Let v = 0.2 + -0.7. Let y = v - -0.8. Are c and y non-equal?
True
Let g be ((-24)/136)/(3*2). Which is smaller: 0.17 or g?
g
Let g be 5 + -5 - -2 - 0. Suppose -3*f = -g*f + 3*f. Does -4 = f?
False
Let y = -391 - -389. Let q be y + ((-3536)/(-72) - -4). Which is smaller: 51 or q?
51
Suppose -20 = -321*j + 324*j + 2*v, v = -4*j - 30. Let f = -1861 + 1091. Let u be f/7*(6/j)/3. Is u at most as big as 29?
True
Suppose 18*h = 3*h - 11*h - 26. Is h greater than 2/343?
False
Let t be (-1 - 118/(-6))/(-30 + (-2000)/(-60)). Is t less than or equal to -58?
False
Suppose 3*u - 4*n - 167 = 0, -78 = -2*u - 3*n + 39. Let i = u + -15. Suppose i = -0*g + 3*g. Which is smaller: g or 53/4?
53/4
Suppose -28*g - 75 = -23*g. Let m be 166/(-8) + g/60. Let x(j) = 6*j + 15. Let h be x(-6). Is h not equal to m?
False
Let l be (-12)/44*-2 - ((-29945)/55 + 3). Do l and 542 have different values?
False
Let m = 0.253 + -142.253. Let o = m - -140. Is o at most -0.3?
True
Let m = 0.0472 - 0.1089. Let z = -226.0617 - m. Which is bigger: z or -0.1?
-0.1
Let r = 8566.06 - 8566. Which is greater: -2/233 or r?
r
Suppose -4*t - 3*c + 5 = 0, -6*t + 2*t + c = -25. Suppose t*g = -2*u + 184, 2*g = 5*u - 2*u + 66. Suppose x + r - 9 - 27 = 0, 0 = -x + 3*r + 32. Is g <= x?
False
Let p(m) = -2*m**2 - 2*m + 3. Let t be p(-3). Let j = -209 + 381. Suppose 162 = q + j. Which is smaller: q or t?
q
Let s be 64 + (110/(-11) - -19). Which is greater: 60 or s?
s
Let i(o) = 2*o - 13. Let c be i(6). Let w = c + 33. Suppose 4*u - w = 56. Is u equal to 21?
False
Suppose 20*d - 42557 + 3897 = 0. Which is greater: d or 1931?
d
Let u be 1056/(-9) + ((-12)/9)/(-1). Let s = u - -112. Let t be 0 - (s - 159/(-12)). Which is greater: t or -9?
-9
Suppose -233 = -17*z - 29. Which is smaller: z or 35/3?
35/3
Suppose -g + 12 = 2*k, -4*k - 12 = -6*k - 4*g. Suppose -k*p + 5*p + 13 = 0. Which is smaller: p or 10?
10
Let d(l) = 113*l - 136. Let t be d(4). Suppose 0 = 301*p - t*p - 420. Suppose -c + 3*r - 24 = 0, -5*c - 4*r - 33 = 106. Which is bigger: p or c?
c
Let j = 106 - 185. Let v = 1330 + -5635/4. Let s = v - j. Which is greater: s or -0.23?
s
Let v = 181 + -147. Let a = v + -36. Let l(p) = -p**3 - 9*p**2 - 8*p + 1. Let f be l(-8). Which is greater: f or a?
f
Let s(g) = -g + 1. Let x be s(3). Let o be (1/x)/((-78)/(-12)). Suppose -c + 7*c = 5*a + 25, 5*c + 15 = -3*a. Which is smaller: c or o?
o
Let p = -904 - -915. Let x(l) = -l**2 + 6*l - 1. Let t be x(5). Let m be (-3 - (3 - 8)) + t. Is m at least p?
False
Let x = 12.93 - 11.93. Suppose -b + 3*z - 29 + 8 = 0, -5*z + 20 = 0. Let u be 6/(-4)*(-12)/b. Which is bigger: x or u?
x
Let y = 16469 - 181301/11. Let w = y - -14604/1133. Which is bigger: 10 or w?
10
Let y be (12/10 + -2)/(4/(-30)). Suppose c = 8 - y. Let b(f) = 3*f - 5. Let m be b(c). Which is greater: 0 or m?
m
Let w(i) = i**2 - 10*i - 38. Let y be w(25). Is y less than 334?
False
Let g = 281 - 2527/9. Let q = -12.3 - -6.3. Are g and q nonequal?
True
Let u(f) = -f**2 + 24*f + 179. Let k be u(-6). Which is greater: k or 2/2399?
2/2399
Let z = -44 - -84. Let s = 8.7 - -30.3. Let o = z - s. Which is smaller: 2/7 or o?
2/7
Suppose -2*i = 4*k - 1818, 5*k + 8*i - 6*i = 2271. Let d = k + -351. Which is greater: d or 98?
d
Let h be 50/15*24/10. Let a be 1/8 + 39/h. Suppose a*b + 0*b = 0. Which is bigger: b or -5/16?
b
Let s = 16/15 + -58/45. Let h = 73060/99 - 738. Is s >= h?
False
Suppose 20 = 3*n - 5*k - 14, 5*n - 5*k = 40. Suppose 3*a - 5*b = -23, -4*b = -n*b - 4. Let c(v) = v**3 - v**2 - 3*v - 2. Let s be c(a). Is s <= 1/16?
True
Supp