l be v(-6). Let r be 6/(-213) + (-1240408)/3692. Is l smaller than r?
True
Let h(p) = 727*p**3 + p**2 + 11*p - 3. Let d be h(3). Let t be (-2)/6 - d/(-198). Which is bigger: 100 or t?
100
Let r be (-3)/(2 - (-57)/(-24)). Let i be (r/32)/((-1)/4). Which is smaller: -1/75 or i?
i
Let r = 5273 - 5271. Is r equal to 922?
False
Let v = -1110 + 14440/13. Let u(s) = 2*s + 13. Let c be u(-5). Suppose 0*m + m = -c*m. Do m and v have different values?
True
Let u be (0 + (-6)/(-21))/(17/((-6545)/(-120))). Let o = -2 + 2. Which is smaller: u or o?
o
Let d = 7210 - 7197.7. Let o = 240/889 + 2/127. Is d at most as big as o?
False
Let g = -1686 - -1686.5. Which is smaller: g or -162?
-162
Suppose 4*s - 2*s = 6. Let c be 2/s - (-448)/(-654). Suppose -2*d - 143*d = 4*d - 9*d. Are c and d equal?
False
Let y = 170.141 - 167. Let p = y + -0.141. Which is smaller: 12 or p?
p
Suppose 11*i - 15*i + 329 = 3*j, i - 2*j - 85 = 0. Let m = 70 - i. Are -4 and m equal?
False
Suppose -273655 = 17*a - 82829 + 190705. Which is smaller: a or -22444?
-22444
Let s(h) = h**2 - 3*h - 28. Suppose 5*a + 2*x = -x + 41, 0 = -4*a + 2*x + 24. Let b be s(a). Let f be (5 + -1)*(-3)/(-14). Are b and f equal?
False
Let t = -610.74 + 610. Let p = -1.63 - t. Are 0 and p nonequal?
True
Let t = 996 - 526. Suppose t*i - 6 = 476*i. Is 1 at most i?
False
Let y = 1 - 0. Suppose j = 4*d + 12, 6*d + 4*j = d + 6. Let q be (-1)/(((470 + 4)/d)/2). Is q not equal to y?
True
Suppose 3*b = -n - 5, 2*n + 4 + 3 = -3*b. Let f be ((0 + 0)/(-1))/(b + 3). Suppose -11*p + 13*p - 2 = f. Is p greater than or equal to 9/4?
False
Suppose -8*i + 485 = -4*j - 5*i, 605 = -5*j + 4*i. Suppose -2*g - 211 = 37. Which is smaller: g or j?
j
Let b be (-6)/(-6)*254/2. Suppose -29*q + 28*q + 117 = v, q - b = -3*v. Which is smaller: -3 or q?
-3
Suppose -25 = -26*j + 21*j. Suppose -j*w + 250 = -15. Which is bigger: w or 1?
w
Let q = -838 - -523. Let s = 314 + q. Which is bigger: -9/10 or s?
-9/10
Let d be (-6)/8*2*-2. Let w(f) = -10*f + 3*f - 3*f - d*f + 1. Let p be w(2). Which is smaller: p or -23?
p
Suppose n = -3*m - 1, -2*n + 5*m - 4 + 2 = 0. Let j = 30258/25 - 1210. Which is bigger: n or j?
j
Suppose 7*z - 35 = 12*z, 9*u = 5*z + 3068. Which is smaller: u or 335?
335
Let v(c) = 278*c + 4171. Let q be v(-15). Which is smaller: -38/373 or q?
-38/373
Let k(t) = -t**3 + 14*t**2 - t + 4. Let u(b) = -6*b**3 + 69*b**2 - 6*b + 19. Let a(p) = -11*k(p) + 2*u(p). Let n be a(-16). Is n at least as big as 62/7?
True
Let j = 19 - 19.232. Let c = 0.022 + j. Let x = c + 0.13. Which is smaller: x or 1/4?
x
Suppose -33*y + 29*y = 4. Let n(s) = -121*s**2 - 10*s - 10. Let u be n(y). Is u <= -120?
True
Let w = 1.507 - 2.217. Let l be (3 - (-17)/(-9))*12. Let b = l - 13. Which is smaller: w or b?
w
Let n = 40164 - 40176. Are n and 0.0426 equal?
False
Let g = 1431/34 + -42. Let p(v) be the third derivative of -v**6/120 + v**5/20 + 7*v**4/6 + 5*v**2 + v. Let z be p(7). Is g at least z?
True
Suppose 4*n - 2*v = 112, -4*v + v = -2*n + 52. Suppose d = -n*d + 360. Which is greater: 4 or d?
d
Suppose 65 = -2*m + 105. Suppose -84 = -m*y - y. Which is smaller: 5 or y?
y
Let t = 97/159 + 3/53. Let k be (9 + -6)/6*(-3 - -9). Let y be -13 + k - (-1248)/124. Which is bigger: t or y?
t
Let w be 5 + -13 + 1 + 2 + (-42)/(-7). Which is bigger: w or -1/5278?
w
Let x = 123 - 5937. Which is bigger: -17444/3 or x?
x
Let r be 1 - (-2 + 22 - -2). Suppose 0 = d - 10 + 22 - 10, -5*k - 77 = d. Which is greater: k or r?
k
Let l(i) = 22*i - 45. Let d be l(-8). Suppose k = 4*f + 633 + 251, -f + 5*k = 221. Is d at most f?
True
Let u(y) = -132*y + 47. Let t be u(1). Suppose -4*o = -4*w + 368, -3*o - 280 = -3*w - w. Which is greater: o or t?
t
Let t be (-2)/(-6) + (-8)/((-1152)/(-17886)). Let g = 124 + t. Which is greater: -1 or g?
g
Let n = 1766.9244 + -1768. Let q = n + 0.0756. Is q <= -109?
False
Let c(j) = 12*j**2 - 24*j + 7*j + 10*j**2 + 25 - 29*j**2 + 8*j**2. Let m be c(-5). Is m bigger than 137?
False
Suppose 14*f = -7*f + 8*f. Which is greater: f or -3/1757?
f
Let c be ((-1)/2)/(1/(-2)). Let z = 77 + -81. Let l be 2/8*(6 + (-2 - z)). Which is smaller: c or l?
c
Let b(q) = -6*q**2 + 93*q - 164. Let h be b(23). Is -1204 less than h?
True
Let u = -2 + 107. Let z be 0 + u/5 + 1. Which is greater: z or 2/9?
z
Suppose 3*v = -7 + 4. Let f = -32 - -37. Let z = f - 2. Which is smaller: v or z?
v
Let l be (-1*(-4146)/(-21))/(0 - (-44)/(-66)). Which is smaller: 296 or l?
296
Let z be -20 - (-1 + -3 + 4). Let g be z/(-15) - 8/(-12). Suppose 5*k + g*s = 3*s + 65, 0 = 4*k - 2*s - 58. Which is smaller: k or -2?
-2
Let f = -87 + 60. Let w = 0.044 + 20.956. Let x = f + w. Which is smaller: x or -2/3?
x
Let j = -21 - -40. Let q = j + 25. Let y = q + -39. Is 6 >= y?
True
Let s = -78229/43 + 1820. Is s at least 1?
False
Let s be -1 - (42/(-63))/(2/6447). Is s equal to 2146?
False
Let v be (-82065)/30 - (-12)/16. Which is smaller: -2735 or v?
-2735
Let h = 0.26 + -0.28. Let v = -23.04 - -23.1. Is h bigger than v?
False
Let z(l) be the third derivative of -1/120*l**6 + 0*l + 19*l**2 + 0 - 2/3*l**4 + 23/6*l**3 + 2/15*l**5. Let k be z(6). Which is bigger: k or 2/9?
2/9
Suppose -78*f + 48*f - 256 = -38*f. Which is greater: f or 27?
f
Let q = -146.3 + 28.3. Let x = -118.3 - q. Which is smaller: 1.2 or x?
x
Suppose 4*x = 5*s - 244, x = -4*x - 3*s - 268. Let u = 3019 + -3073. Is u smaller than x?
False
Let b be ((-4)/(-5))/(-7*(-48)/980). Let x be 4/(-2 + 0) - -3. Is x > b?
False
Let a = -140.18 - -1.18. Let j = -137.97 - a. Let v = 0.03 - j. Which is bigger: v or 4?
4
Let s(l) = -l**3 - 8*l**2 - l - 5. Let v be s(-8). Suppose 2 = -2*f + 2*m, -m = -v*f + 1 + 2. Let i = 0.234 + 1.866. Which is smaller: i or f?
f
Suppose 24*a - 17*a + 7 = 0. Let m be (-5 - a)/(21/2 + -10). Are m and -93/11 nonequal?
True
Let x = 6638 + -6637. Which is smaller: 3645 or x?
x
Let l = 3 + 137. Let k = 147 - l. Let s be (k/(1827/(-6)))/(2/18). Is 1 equal to s?
False
Suppose 3*i + 16 = -4*l, -5*i = -4*l - 3 - 13. Suppose i = -251*k + 253*k - 272. Which is greater: k or 2/3?
k
Let w(y) = -y - 24. Let c be -11 + 14 + (-12 + 0 - -1). Let m be w(c). Let u(f) = -f - 12. Let l be u(m). Is l equal to 2/19?
False
Let z be 126377/(-344) + 9/24. Is -360 smaller than z?
False
Suppose -3*m - 3*r - 51 = 0, 4*r - 7 = -2*m - 33. Let l be (-27)/(-4) - m/84. Let u be l/(28/156) + -5. Which is smaller: 32 or u?
32
Suppose -2*q - 168 = -6*q. Suppose q = 49*t - 7. Let p = 1/75 - 49/300. Is t less than p?
False
Suppose -99*y = -155*y - 3248. Do -60 and y have the same value?
False
Let g(f) = -3*f**3 + 427*f**2 - 139*f - 425. Let l be g(142). Are 4353 and l nonequal?
True
Suppose -3*a + 2 = -1. Let c be (-33)/((-99)/(-9))*2/(-408). Let h = c - -31/204. Which is smaller: h or a?
h
Let z be (8666/42)/((-382)/(-30)). Let k = 1387406/86905 - z. Let p = k - -3/35. Do p and 11 have different values?
True
Let p be (-32)/(-84) + 4/(-6). Let b = 0.2367 + -0.0367. Are p and b unequal?
True
Let q(z) = z**3 + 4*z**2 + 3*z. Let s be q(-2). Let h be (1 - s)*(-2 + 1). Suppose -118*x - 4 = -119*x + n, -2*x + 3*n + 9 = 0. Is x not equal to h?
True
Let s(n) = n**3 + 17*n**2 - n - 37. Let r be s(-17). Let d be (7 - (-116)/(-20))*r/(-27). Do d and 1 have different values?
True
Let w be (1/(-5))/(2/(-10)). Let c be w/(-8)*-382 + (-6)/8. Let d = c + -48. Is d at least -0.08?
False
Suppose -5*b = -u - 300, -1110 = 4*u + 9*b - 14*b. Which is smaller: u or -269?
u
Let r be 25*(-237)/1975 - (-2)/36*53. Suppose -2 = 3*n + 2*h, h + 2 = -h. Let b be (-2 - (-2 + n))*-1. Which is smaller: r or b?
r
Let h = -1861043/103 - -18068. Is h smaller than 1?
True
Let x = 8.06 - 40.06. Let b = 17/5 + -71/15. Which is bigger: b or x?
b
Suppose 3*n - 485 = -q, -2*q - q = -2*n + 349. Which is smaller: n or 170?
n
Suppose 0 = 24*w - 3 - 117. Suppose 29 = -2*m - w*u + 41, 4*m - 2 = u. Is 2/89 > m?
False
Let x be (-4)/(-26) - (-29 - 2100/39). Is x <= 409/5?
False
Suppose p = -7111 + 7094. Let l = 22 - 111/5. Is p <= l?
True
Let u(r) = 121*r + 122. Let s be u(-1). Is s >= -1/4776?
True
Let t be (-5256)/(-6) + 14 + 15. Do t and 905 have different values?
False
Let p = 20370 + -9009. Is p less than or equal to 11360?
False
Let n(j) = 37*j - 408. Let o be n(11). Which is smaller: -2/197 or 