= f - w. Is n at most as big as -2?
False
Let n be 1282/8 + 69/92. Let s be 9650/60 + 1/6. Is n at least s?
True
Let g = 12591 - 12703. Let s be (-6276)/(-14) + (-2)/7. Let a be (-1*1)/(4/s). Is a at most g?
True
Let w = -0.341 + 150.341. Let b = -149.96 + w. Which is greater: 2 or b?
2
Let v be (6 - 8) + 120/58. Suppose g - 4 = -3*j, -4*j + 3*g - 15 - 10 = 0. Which is bigger: v or j?
v
Let i(n) = -n**3 - 23*n**2 - 20*n + 90. Let f be i(-33). Is 11640 greater than f?
False
Suppose 20 = -x + 6*x. Let j be x/(12/(-33))*-1. Let m(u) = 627*u - 617. Let w be m(1). Is j != w?
True
Let c = -121 - -123. Suppose -f - 2*f + 38 = c*v, 2*v - 14 = -f. Is 35/3 <= f?
True
Suppose -2*f + 81 = f - 4*j, -57 = -3*f - 4*j. Let b = 0 + 24. Let z = f - b. Which is greater: z or -5/4?
z
Let a be (-154)/(-49) + 54/63. Which is greater: a or 2?
a
Let o be 9 - (2 - (-11457)/1647). Does -1 = o?
False
Let t = 102 - 301/3. Let i = -11 - 1. Let v be (2*-2)/(i/9). Is v > t?
True
Let p be ((-2)/3)/(8*51/(-198) + 2). Is p less than 164/15?
False
Let a be 41 - 19320/480 - (0 + 1)/(-4). Suppose 0 = 5*m - 0*m + 30. Are m and a equal?
False
Let l = -13 + 22. Suppose 2*v = 4*v + 5*z - 3, 5*z - l = 4*v. Let o = 5/18 - 53/126. Which is bigger: o or v?
o
Suppose -5*s - f + 535 = 0, 4*s - 249 = -4*f + 195. Suppose 0 = 4*o + 86 + s. Let q be 63*(-486)/729 + -6*(1 + 0). Is o != q?
False
Let q = -1783 - -1783.25. Which is bigger: q or -2/7?
q
Let h(f) = -2*f**2 - 7*f + 28. Let m be h(-6). Let p(y) = y**2 - 2*y. Let w be p(3). Suppose b + 7 = 2*v + 4, 13 = -w*b + 4*v. Is m at least as big as b?
True
Let t(a) = 11*a**2 - 24*a - 2. Let p be t(10). Let d be 3 + 2 + (-4296)/p. Which is smaller: d or 1?
d
Let m = 8169 - 7979. Do m and 190 have different values?
False
Let b = -72793 - -656317/9. Is b < 130?
False
Suppose -6*l + 3*l = 3. Let d be (-8)/2*l/(-10). Suppose -23 = 4*q - 23. Which is smaller: d or q?
d
Suppose r + 2*b = 1340, 4*r + 861 = -5*b + 6239. Is r less than 1354?
True
Suppose -19*a - 91 = 67 + 13. Which is smaller: -61/7 or a?
a
Let y = 3006843/44 + -68346. Do y and -9 have different values?
True
Suppose -27 = 4*t + 3*u, -3*t + 2*u + 2 - 1 = 0. Let x be (t/(-2))/(-15*10/(-100)). Which is smaller: 12/109 or x?
12/109
Suppose 18 = -2*p - p + 3*j, p + 6 = -2*j. Let r(a) = -a**3 - 10*a**2 - 24*a - 1. Let h be r(p). Which is smaller: -2/1079 or h?
h
Let t = -49 - -52. Let n = t + -9. Let j = -6.3 - n. Which is bigger: 2/9 or j?
2/9
Suppose 12456 = 368*p + 1221 - 31453. Is 203 greater than p?
True
Let r = -118 - -162.7. Let m = 40.7 - r. Which is smaller: -8 or m?
-8
Let i be 116*(1705/(-680) - (-4)/(-34)). Let f = i - -59075/194. Is f bigger than 1?
False
Let f(v) = 2*v**3 - 3*v**2 - 5*v + 10. Let n be f(2). Suppose -4*g = c - 5*c + 8, -5*c + 14 = -n*g. Which is greater: c or 28/5?
c
Let w be 34/(-104) + 69/897. Let f = -97 + 86. Which is bigger: f or w?
w
Let u = -354 - -142. Suppose -229*b = -225*b + 844. Which is smaller: u or b?
u
Suppose 0 = 3*l - 16*l - 117. Let o be 16/(-24)*l + -7. Do o and -11/24 have the same value?
False
Let h = 2341 + -2336.3. Which is smaller: h or 8?
h
Suppose 1 = -5*w - 2*r, 2*r + 5 = -w - 0. Let a(i) = -i**3 + 12*i**2 + 3*i - 25. Let u be a(9). Let b be ((-8)/(-42))/(630/u). Is b less than or equal to w?
True
Let a = 4.9 - 5.2. Let o = -66.7 + 4.7. Which is smaller: a or o?
o
Suppose r = t - 7, -24 = 7*r - 5*r - 4*t. Let j be (-1 - (-2 + r))*(-29)/87. Is 3/61 at least as big as j?
True
Suppose 21*n - 1127 = -1067 + 1830. Which is greater: 116 or n?
116
Let d = 85285/69 - 1236. Which is smaller: -3 or d?
-3
Let k(r) = -r - 1. Let c be k(-3). Let t(x) = 8*x + 5 + 7*x + 2*x + 9*x + 4*x. Let o be t(c). Which is greater: 64 or o?
o
Let s = -117 - -69. Do -30 and s have the same value?
False
Let s = -2.3905 - -3780.3905. Which is smaller: -0.3 or s?
-0.3
Suppose -4*q + 5*q + 3*m - 395 = 0, -765 = -2*q - m. Suppose 0 = -163*a + 158*a - q. Do a and -77 have the same value?
False
Suppose 0 = 7*v - 11*v + 8, -z + 4*v - 59 = 0. Which is greater: -54 or z?
z
Let g = -947958/25499 + 1598/43. Which is greater: 1 or g?
1
Let d = 0.0204 + 694.9796. Let u = -712 + d. Is 2/25 > u?
True
Let d be (77/33 + -8 - -4)/(-5). Let h be (1/(-3))/((-301)/(-399)). Which is greater: h or d?
d
Let v = -30 - -28. Let x be 1/(v + -9*2/(-10)). Let j be (x/6)/((-18)/24). Which is bigger: 2 or j?
2
Let o(q) = 12*q + 3. Let x be o(-3). Let g = 23272 + -23272.3. Are x and g equal?
False
Let s be (10/(-105))/(10*((-44052)/(-7335) + -6)). Which is bigger: s or -1?
-1
Let s(l) = -324*l + 9261. Let a be s(33). Which is smaller: a or -1429?
a
Let i(d) = -d**3 - 10*d**2 - 23*d - 18. Let r be i(-16). Suppose -1002 = 4*v - 2*h, -5*v - h - r + 630 = 0. Is 1 smaller than v?
False
Let y be (-1 - -5 - 1) + -1. Let r(q) = 177*q - q**y - 177*q + 4. Let z be r(3). Is -5 < z?
False
Let a = -15220 + 15231. Which is bigger: -33 or a?
a
Let a(l) = 2*l**3 - 5*l**2 + 2*l + 2. Let w be a(2). Let p(q) = 2*q**2 + 3*q - 4. Let n be p(w). Suppose -10 = -n*x - 0. Which is bigger: x or 7/23?
x
Suppose -348 - 264 = -180*g + 108. Let m(d) be the first derivative of -d**2/2 - 2*d + 1. Let h be m(-8). Which is smaller: g or h?
g
Let k = -69.6 - -70.76. Is -0.2 <= k?
True
Suppose -3*g + 5*g + 2*r = 0, 0 = g + 4*r - 3. Suppose 920 = o + 4*o. Let k be (-33)/(-88) - 77/o. Is k not equal to g?
True
Let w = -1031859294990637111/1629305994615 - -1/501324921420. Let a = 633313 + w. Let c = a + -6/65. Is 0 at most c?
True
Let a(i) be the first derivative of -i**3/3 + i**2/2 + 7*i + 30. Let r be a(-4). Let t be 3/(2/14*r/13). Which is greater: 1 or t?
1
Let z = -4603 - -4601. Which is smaller: -0.0348 or z?
z
Suppose -518*i + 520*i + 8 = 0. Suppose 5*d = z + 6, -d + 4*z - 14 + 0 = 0. Let c be -1*(7 - 8/d). Which is smaller: c or i?
i
Suppose -4*v - 10 = -5*s, -v - 3*s + 7 - 1 = 0. Let f be (-22)/209 - (-3 - 564/(-57)). Let b be (f/14)/(17/(-10)). Which is bigger: v or b?
b
Let o = 3.35 - 3.25. Which is smaller: -78 or o?
-78
Let n be 12321/44 + 1/4. Suppose 4*h + 0*j - 1132 = -3*j, 5*h = -5*j + 1420. Let i = h - n. Is -1 < i?
True
Let v = -14 - -6.6. Let i = 11.4 + v. Which is bigger: i or -1/5?
i
Let c = 63.4 - -24.6. Let k = -98 + c. Let f be (-4)/6*(-12)/(-40). Which is greater: k or f?
f
Let g(u) = 13*u**3 + 2*u**2 - 2*u + 3. Let i be g(2). Let t = i + -322/3. Which is smaller: 5 or t?
t
Let o be (-56)/42*18/4. Let h(p) = 3*p**2 + p - 10. Let v be h(-7). Let x = -687/5 + v. Is o > x?
True
Let h = 153/11 + -14. Suppose -3*d + 2*u = 77, 2*d + 4*u + 68 = 6. Let s be d/72 - (-21)/56. Which is smaller: s or h?
h
Let n(j) = -18*j**2 - 7*j + 3. Let u be ((-15)/(-12))/(8/(-32)) - -1. Let z be n(u). Which is smaller: -258 or z?
-258
Let a = 7222.945 - 7223. Which is smaller: -2/43 or a?
a
Let c = -0.0564 + -0.3436. Which is smaller: -1245 or c?
-1245
Let h(b) = b + 30. Let t be h(-20). Suppose -2*y - 4*d = -52 + t, 0 = y + 3*d - 25. Let f = -40/3 + y. Does -0.1 = f?
False
Let w = 248.08 + -190.08. Which is smaller: 69 or w?
w
Let b = -0.45 + -78.55. Let p = -25.1 - 54.9. Let q = b - p. Is q < 67?
True
Suppose 1 = -5*j - 2*u, -4*u = -3*j - j - 12. Let y be 1 - (-10)/(15060/(-1494)). Which is smaller: y or j?
j
Let h = 9.861 - 9.6. Let p = h + -1.261. Is p < -3.23?
False
Let b be (((-84)/(-21))/(7 + -3))/1. Is b bigger than -15/1666?
True
Let h(d) = 9*d**3 - 2*d**2 + 4*d - 4. Let m be h(2). Suppose -3*k = m - 59. Which is bigger: k or -25/12?
-25/12
Let s = 107 + -97. Let c(g) = g**3 - 9*g**2 - 15*g + 15. Let d be c(s). Which is smaller: d or -33?
d
Let z(v) = -v**2 - 30*v - 184. Let l be z(-9). Suppose -i - 8 = 3*y, -5*y - 20 = 2*i + i. Let h = i + 6. Which is greater: h or l?
l
Suppose -2*y + 344 = -v, -5*v - 21 = -11. Suppose -16*c + 19*c + y = 0. Is -55 < c?
False
Let t(s) = 3*s**2 - s + 1. Let l be t(-1). Let a = 147/2 - 413/6. Which is greater: l or a?
l
Let v = -4193.15 - -4193. Which is bigger: v or -164?
v
Suppose 36*x - 318 = -4494. Suppose 8*s + 719 + 225 = 0. Which is smaller: s or x?
s
Let o = -1018 + 682. Let x = o - -411. Do 74 and x have the same value?
False
Let y(p) = -p**3 + 6*p**2 + 2*p - 7. Let k be y(6). Suppose -k*c = 11 + 14. Let l be (81/18)/(6/(-8)). Which is greater: l or c?
c
Let b(g) = 16*g**2 + 2*g - 