g be d(i). Is -1/19 > g?
True
Let i be 94/(-188)*12/(-9)*1671/(-2). Is -3335/6 greater than i?
True
Let i be -6 - -11 - (-259)/(-52). Suppose 3*w - 6 = -2*t, 0*t - w = -t - 2. Do t and i have the same value?
False
Suppose -3*f = 2*h, 4*f - f + 3 = -h. Suppose -h*s - 3*s = 0. Suppose s = -2*p + 2*c + 24, 7*c = -p + 2*c + 24. Which is smaller: 15 or p?
p
Let c = -3423 - -3991. Which is bigger: 570 or c?
570
Let c = 518.9 - 505.1. Which is smaller: -29 or c?
-29
Let w be 13695/(-49280) - (-1)/((-7)/(-2)). Is -1 smaller than w?
True
Let a(q) = q**2 - 31*q - 690. Let p be a(46). Let h be (2/(-51))/((-2)/(-36)). Which is smaller: h or p?
h
Suppose 2*z = -5*c + 6, -5*c - 16*z = -21*z + 15. Suppose -14*k = -10*k - 32. Let u be 1*((-36)/k)/((-2)/(-8)). Which is bigger: c or u?
c
Let v be 134/(-600) - 2/(-8). Let r(z) = 21*z**2 - 337*z + 17. Let w be r(16). Which is bigger: v or w?
w
Let w(m) = 3*m**2 - 50*m - 89. Let s be w(24). Let h = s + -347. Is h less than or equal to 1?
False
Let p(g) = g**3 - 5*g**2 + 3*g - 13. Let t be p(5). Suppose 0*j - 5*z - 5 = t*j, z + 47 = -5*j. Is -9 > j?
True
Let w = -45785584/837 - -54702. Is 1 > w?
True
Let m be 44/11 - (4*-1 + 2). Suppose n = -m + 8. Suppose -17 = d - 19. Are n and d equal?
True
Let d = -4877 - -7227. Which is smaller: 2355 or d?
d
Suppose 48 = 4*g + 8*g. Suppose 35*x = 36*x - g. Suppose -4 = 3*w + x*u + 15, 0 = 3*w + 2*u + 11. Is -3/47 > w?
True
Suppose h + 230 + 1157 = -t, 0 = 4*t - 2*h + 5572. Does -1391 = t?
True
Let h = 0.1 + -0.2. Let f = 0.1016 - -225.8984. Let m = f - 222. Which is smaller: h or m?
h
Suppose 141*w - 136*w = 0. Suppose -16*f - 4*f = w. Which is greater: -2/27 or f?
f
Let s be (-168)/9*((-66)/(-42) - -1). Which is greater: s or -37?
-37
Let u be (20/(-70))/(24/28) - 470/(-1455). Is u smaller than -21?
False
Let m(t) = -8*t + 270. Suppose -5*k + 121 = -34. Let y be m(k). Is y less than or equal to 11?
False
Let d be 1 + -1 - (-3)/(-123). Let s(x) be the first derivative of -x**3/3 + 4*x**2 - x + 16. Let j be s(8). Which is smaller: d or j?
j
Let x(n) = -4*n. Let k be x(0). Suppose 4*t - w + 96 = 15, 5*w - 25 = 0. Let c = t - -20. Which is smaller: c or k?
k
Let d(z) = z**3 - 4*z**2 - 18*z + 6. Let b be d(7). Let x = -4 - -31. Are b and x nonequal?
False
Let l be ((-71232)/58800)/(-6*1/7). Is 2 greater than or equal to l?
True
Let f = -95 - -98. Suppose -f*v + 83 = 68. Which is greater: v or -1?
v
Let u(p) = -3*p**2 + 17. Let v be u(0). Suppose -4*n - g = v, -3*g = 5*n + 10 + 6. Let z be 3/((-9)/(-6)) + n. Which is smaller: -5 or z?
-5
Let n = -1333.284 + 28.284. Which is smaller: n or -3?
n
Let s(t) = t**3 - 3*t**2 + 3*t - 3. Let a be s(3). Suppose 14*l = 3*l - 2453. Let z = l - -235. Which is bigger: a or z?
z
Let s = 3242.1 - 3406. Let c = s - -173. Which is smaller: 1 or c?
1
Suppose -84*z - w = -86*z - 804, 1616 = -4*z + 4*w. Which is smaller: -398 or z?
z
Let o = -13872.342 - -13885. Let y = o + -12.6. Is 0.1 <= y?
False
Let v be 2/((-10 - (-12256)/1224)*(-3)/73). Is v <= -2/3?
True
Let z = -35.3776 + -0.0224. Let y = z - -34.4. Which is smaller: y or 472?
y
Let l = -20226 + 20226.3. Is 1328 not equal to l?
True
Let h(k) = -k**3 - 41*k**2 - 150*k - 57. Let z be h(-37). Suppose m - 60 = -4*m + 3*b, 3*m - z = -2*b. Which is greater: m or 33?
33
Let h(n) = n**2 + 2*n - 19. Let p be h(-6). Suppose -2*c + p*f - 6 = 0, f = -c - 3*f + 10. Let d(v) = v**3 + 2*v**2 - 4*v + 4. Let i be d(c). Is i less than 1?
False
Suppose 5*b + 3760 = 3*p, -3*p + 11 = -2*b - 3743. Let c be 3107/(1*10/4). Let j = c - p. Which is bigger: -8 or j?
j
Let v be -16 - 5*(-416)/80. Which is smaller: v or 326/29?
v
Let p = -105.38 + 105.4. Does -34/7 = p?
False
Let k be (2 - 0) + -3 + 16620/(-24). Let t = k - -694. Is 163 smaller than t?
False
Let r(k) = -3*k**2 - 65*k - 42. Let q(c) = 15*c + 189. Let x be q(-14). Let w be r(x). Which is greater: w or -6/29?
w
Let r = -125 - -75. Let m = 44 + r. Let f be m/(-45)*5 - 0. Is f equal to -6?
False
Let d be (-3 - -16 - (-40)/(-3))/((-1)/11). Which is bigger: 1/65 or d?
d
Let l(j) = -19*j - 70. Let i be l(11). Let q = i + 1397/5. Which is greater: 28 or q?
28
Let i be (10/(-15))/((-100)/(-550) - 16738/91938). Is 2787 > i?
True
Let p = 8.2 + 57.8. Let g = 92 - p. Let y = -26.16 + g. Which is smaller: 0.1 or y?
y
Let x = 2030.3 + -2055.3. Which is smaller: x or -155?
-155
Let i be (-3)/((-12210)/(-4)) + 0. Let y be 29 + -10 - 22 - -4. Is y at most as big as i?
False
Let p be 43115/75 + (-4)/(-30). Let y = p - 574. Which is smaller: y or -1/50?
-1/50
Suppose -611*s + 96619 = 246314. Is s bigger than -1232/5?
True
Let h be -3 - ((21/15 - 2) + 1079991/660). Is h at least as big as -1638?
False
Suppose -11*r - 102 = -8*r + 3*h, -5*r - 178 = -3*h. Let x be 268/5 - (r + 37). Is x <= 53?
True
Let s(w) = w**3 - 7*w**2 + 24*w - 55. Let k be s(6). Suppose 3*i - k = -50. Is 4/331 >= i?
False
Let p = -10211 - -7425. Which is bigger: 1 or p?
1
Let m be (-143848)/116 + 1 - 96/(-1392). Is m at least -4955/4?
False
Suppose 679*d + 11606 = 686*d. Which is smaller: d or 1657?
1657
Suppose -3*a - 2*f + 154 - 146 = 0, 2*f - 8 = 0. Which is smaller: a or 3534?
a
Suppose 5*l + 3*f - 17 = -0*f, 3*l = 3*f - 9. Let i be 5 - (l + 1 + -3). Let j be ((-3)/9 - 4/i) + 1. Do 1/5 and j have different values?
True
Let x(m) = -m**2 + 19 - 15 + 13*m - 16 - 7. Let f be x(11). Suppose -4*w + o = f*o + 14, -o = -5. Is -7 smaller than w?
True
Suppose m = -2*z - 8, -4*m - 11 = -2*z + 3*z. Let u be (m + 3/2*1)*14. Do -8 and u have the same value?
False
Let o = -14433 - -14680. Which is bigger: 28/5 or o?
o
Let u = 257.087 - 0.087. Which is bigger: u or -2?
u
Let a = 17696 + -4264734/241. Let d(t) be the first derivative of t**3/3 + t**2 - 1. Let o be d(-1). Is a greater than o?
True
Let p be 74/4 - (2 - 1). Let y be 12*(-2 + -4 - -9). Suppose -z = 17 - y. Is z at most as big as p?
False
Suppose 14*r = -19*r. Let k be 3/(-2) + r + 4738/(-92). Let m(x) = -2*x**2 + 6*x + 2. Let b be m(7). Is k equal to b?
False
Let g be 198/(-66) + 0/1. Let x be 16/(20/g + 7). Is 234/5 > x?
False
Let g be -2421*(-1)/(-5) - 20/(-25). Let i = 483 + g. Which is smaller: -301 or i?
-301
Let a = -221 - -169. Let i = a - -51. Is i less than 1?
True
Suppose -v = 2*v. Suppose 21 = -2*a - v*a + u, -3*a + u - 34 = 0. Let c be a/26 - 2/(-4). Which is smaller: -2/69 or c?
-2/69
Let p = -2 - -1.8. Let h be 515/(-280) - (30 - 32) - 2/7. Which is greater: p or h?
h
Let w(s) = -s**3 + 49*s**2 - 54*s + 296. Let n be w(48). Let i = 4 + -8. Which is smaller: i or n?
i
Let a be (-8)/2*(39/18 + -2). Let x = -22 + 32. Let i = 10.9 - x. Are a and i nonequal?
True
Let s(a) = -26*a + 98. Let t be s(27). Does t = -600?
False
Let g(i) = -14*i**2 - 341*i - 2386. Let r be g(-7). Is -0.1 at least r?
True
Let h = 1870 + -5612/3. Let c be (-2)/8 - (-37)/244. Which is greater: c or h?
c
Let v = 5148298/563445 + -868/95. Are v and 1 nonequal?
True
Let o(k) = -459*k + 677. Let z be o(3). Which is smaller: z or -697?
z
Suppose 1728 = -115*j - 208 - 9104. Is j less than -99?
False
Let a(g) = -73 + 60*g + 35*g - 90*g. Let s be a(14). Is -44/29 at most as big as s?
False
Let j = 0.6 - 1.6. Let f = -890.13 - -897. Let x = -0.13 - f. Is j greater than x?
True
Let z(v) = 2*v**3 - 128*v**2 + 145*v + 194. Let a be z(63). Which is smaller: a or 1400?
a
Suppose -4*r + c = 297 + 104, 5*r = 5*c - 520. Which is smaller: -115 or r?
-115
Let f = 4760 + -23801/5. Which is smaller: f or -1/1494?
f
Suppose -3*a - 4*o - 241 = 0, -3*o = o + 4. Let z = -85 - a. Let q be (-9)/z - (-7)/14. Which is smaller: 6 or q?
q
Suppose -250 = 5*d - 7390. Suppose 22*p = 36*p - d. Is 101 < p?
True
Suppose -7*j + 8*j + 755 = -3*d, 2*j = 4*d + 1000. Let s = d + 261. Which is smaller: s or 81/8?
s
Suppose 66*o - 42 = -12*o + 120*o. Which is greater: o or -12/547?
-12/547
Let v = 30.761 - -2.239. Is 6/11 smaller than v?
True
Let g(k) = 2*k**2 - 39*k - 200. Let l be g(22). Is -89 less than or equal to l?
False
Let t be (-2)/(-6)*(-3)/(-7). Let u(v) = -v**3 + v**2 - 8*v - 2. Let b be u(5). Let i = 143 + b. Which is bigger: i or t?
i
Let x(u) = -u**2 + 22*u + 188. Let w be x(28). Suppose w = -18*b + 110. Suppose 0 = -4*h + 3*h. Does b = h?
False
Let q = -430 + 453. Suppose 2 = -3*z - m, 3*z - 3*m = 