/(-10). Let b be d/42 + (5 - 65/15). Do -4 and b have different values?
True
Let n(g) = -7*g**2 - 41*g - 36. Let r be n(-5). Let a = -7867/28 - -1101/4. Is a at least r?
True
Let i = -16576025813/11605 + 79086923/55. Let z = -9592 + i. Which is bigger: 0 or z?
0
Let f be (-1)/8*-26 + 21/84. Suppose k = 5*k + 52. Let w = k - -18. Which is smaller: w or f?
f
Let v(w) = 270*w + 905. Let x be v(2). Is x > 1444?
True
Let n be 948/25 + 17/1700*8. Is n at most 0?
False
Let z be ((-4)/6)/(6/6345*(-43 + 38)). Which is smaller: z or 130?
130
Let z be -6 + (6 - -1) - (3 - 2). Let b = 5592 - 16970/3. Let c = 64 + b. Is z bigger than c?
True
Suppose 0*m - 3*m = 75. Let c = m + 25. Let p = 7944/29 + -274. Which is bigger: c or p?
c
Suppose 2228*j = 2300*j - 223416. Is j at least 3101?
True
Suppose -15 = -6*i + 3*i, -5*u + 4*i = 75. Suppose 4*v - 8*f + 84 = 0, f + 18 = -4*v - 12. Is v equal to u?
False
Let d be 1*26/169 - (-3079)/13. Which is bigger: d or 1178/5?
d
Let z = 6991 + -286541/41. Which is bigger: z or 2?
z
Let z be 93 + 4*2/(-4). Let b = 44 - z. Let q(t) = -t**3 + 12*t**2 - 5*t + 13. Let i be q(12). Are b and i equal?
True
Let q(i) be the third derivative of -i**4/12 - 2*i**3 + 25*i**2. Let m be q(7). Let w(r) = -28*r**3 + r - 1. Let g be w(1). Is g > m?
False
Let w be 20 + 0 + (-3 - -7). Suppose 11*b = 5*b + w. Does -10 = b?
False
Let l be (3*(-4)/12)/(4/(-32)). Let t be (-2)/(-9) - l/(-288). Do -0.28 and t have the same value?
False
Let p(h) be the second derivative of h**5/20 + 3*h**4/4 - 11*h**3/6 - 5*h**2 + 17*h + 2. Let n be p(-10). Does n = -108?
False
Let p be 13/2 + -6 + (-117)/(-18). Suppose 2*u - p*i = -12*i + 4, 0 = -2*u + 5*i + 24. Which is smaller: u or 33/4?
u
Let a = -359 + 382. Let l be a/(-69)*(1 - -2). Let g be 4/6 + 74/(-120). Is l < g?
True
Suppose 0 = -4*a - a + 15. Suppose 28*y + 6 = 25*y, a*h + 4*y = -5. Let b be ((-4)/(-164))/((-1)/2). Which is smaller: h or b?
b
Let g = -5.14 + 0.34. Let h = g - -55.8. Let b = -48 + h. Which is bigger: 5/4 or b?
b
Let b(v) be the second derivative of -v**4/12 + 8*v**3/3 - 5*v**2 + 35*v. Let f be b(16). Let d(k) = k**2 - 8*k + 4. Let c be d(3). Which is smaller: c or f?
c
Let y = -2641 + 2633. Let z = 4 + 11. Which is smaller: z or y?
y
Let j = 1804/21 + -45251/42. Let c = -992 - j. Which is bigger: -17 or c?
c
Let w be (21 - 13)*(2379/(-1191) - -2). Which is bigger: w or 0?
w
Let a = 30 + -23. Suppose -a*f = -9*f + 2. Let q be (f/7)/((-3)/6). Is -2/13 at most q?
False
Suppose -176478 = 23*q - 157*q. Are q and 3 unequal?
True
Let i(m) = -m**2 - 11*m - 363. Let l be i(-83). Which is smaller: l or -6338?
l
Let r = 172 + -162. Let t be (-325)/r*-4 - (-8)/2. Is 134 at least as big as t?
True
Let t be ((-18)/(-21))/((-21)/11711). Which is smaller: -2/13 or t?
t
Suppose -7*z + 68 = -2*z + 2*u, -32 = -3*z + u. Suppose 0 = -n - 3, -3*a = 7*n - 6*n - 1653. Let x = a - 545. Is x bigger than z?
False
Let m(x) = 2*x**3 - 13*x**2 + 32*x + 25. Let g be m(3). Are g and 49 non-equal?
True
Let s = 10410 + -10244. Which is greater: 177 or s?
177
Let w = 317 - 355. Suppose 0 = 3*p - 105 + 9. Let x = p + w. Which is greater: -35/6 or x?
-35/6
Let g = 12 - 24. Let b = -32298 + 32299. Is b != g?
True
Let c(z) = -z**3 + 4*z**2 + 4*z - 2. Let w be c(4). Suppose -7 = -4*d + 3*h + w, -16 = d - 5*h. Let s(i) = -i**2 + 9*i - 11. Let o be s(d). Is o less than -9?
True
Let p = -91880927/24075 + 34348/9. Which is smaller: 1 or p?
p
Suppose 2*u = -117 + 361. Suppose 131 + u = 23*f. Which is smaller: 27 or f?
f
Let r(g) = g**3 - 27*g**2 + 51*g - 22. Let o be r(25). Let l be o - (-9*5/(-85) + 3). Which is bigger: l or 0?
0
Let l = -6 + 37. Let c = l + -57. Let p = c + 26.2. Is p > 3/7?
False
Let a(v) = 31*v + 2170. Let y be a(-70). Do 2/6953 and y have the same value?
False
Let h be (20/(-10392))/(-7 - (-290)/45). Which is smaller: 0 or h?
0
Suppose y - 174 = -t, 13*t - 15*t = -3*y - 363. Is t greater than 179?
False
Let t be -26 - (2 - 0 - 4). Let d = -106 + 114. Let q be (102/d)/(t/64). Which is smaller: q or 0?
q
Let j(g) = -g**3 - 6*g**2 - 8*g + 4. Suppose 4*a - 2*s = -s + 125, -158 = -5*a + 3*s. Suppose 29*d - a*d - 8 = 0. Let z be j(d). Which is smaller: 32/7 or z?
z
Let w(s) = 2*s**3 - 61*s**2 - 30*s + 33. Let r(q) = 30*q**2 - 3*q + 4. Let t be r(1). Let h be w(t). Does 65 = h?
False
Let g = -0.0184 + 0.0113. Let z = 0.2071 + g. Which is greater: -189/8 or z?
z
Let r = -858 - -1205. Let m = r - 7285/21. Which is bigger: 1 or m?
1
Let w = 70335209/5126116 + -3/119212. Which is greater: w or 13?
w
Suppose 5*w + 4 = -b - 0, -b = -w + 4. Let p be (-240)/(-11) - (-15)/(495/6). Is b < p?
True
Let c be (-2 - (-4076)/2036)*-2. Suppose -5*y - 2*y + 19*y = -4*y. Which is smaller: y or c?
c
Let x = -339 - -349. Let y be (-17 - -14) + x*31. Which is smaller: y or 306?
306
Let i(y) = 2*y**2 - 105*y - 327. Let a be i(-3). Which is greater: a or 23?
23
Let f = 29 + -17. Let k(v) = v**2 - 5*v + 6. Let s be k(1). Let w be (-340)/(-5)*s/12. Which is smaller: w or f?
w
Let t = -0.601 - 15.079. Let r = -87.78 - t. Let w = 72 + r. Which is greater: -3 or w?
w
Let w = 10.064437 + -0.064437. Suppose -3*a - y - 56 = 4*y, 44 = -4*a + y. Is a at most w?
True
Let g = 4 + -2. Suppose -6*j - 6 = 6. Let b be -1*(j - 27/(-15)). Is g >= b?
True
Let q(u) = u**3 + 20*u**2 - 2*u - 42. Let i be q(-20). Let b be (-1421)/11 - i/11. Which is bigger: -130 or b?
b
Let g be ((-5)/(-6))/((-74)/333). Let l be -1 + -5 - 2/(-2). Which is greater: g or l?
g
Let n = -0.2 - 0. Let f = -18 - -68. Let h = -47 + f. Does h = n?
False
Let c = 1.0487 + -0.0487. Is c > -1861?
True
Suppose 3*o + 119 = -5*v, 4*v = -3*o - 0*o - 97. Suppose -5*r - 170 = -10*f + 6*f, 3*r + 65 = -5*f. Let u = v - r. Is u less than 5?
False
Suppose 3*s + 3 = 12. Let h(b) = -b**3 + 4*b - 1. Let r be h(s). Let i = -7 - r. Which is smaller: 8 or i?
8
Let x = 33511 + -33181. Is 2320/7 less than or equal to x?
False
Let t(u) = -188 + 379 - u - 18*u**2 - 191. Let l be t(2). Which is bigger: l or -71?
-71
Suppose -25*v + 70 = -32*v. Let m be 5/68*v*(0 + 2). Which is smaller: m or -1?
m
Suppose 3*l = -3*p - 147, 3*p + 1792*l + 161 = 1796*l. Is p >= -85?
True
Let u(x) = -x**2 + 4*x. Let o be u(4). Let k be 1*(-290)/5*87/2652. Let p = 33/17 + k. Which is smaller: o or p?
o
Let x be (-18)/(-153) - 159/51. Let u be (14 - 18 - (x + 1)) + 50. Is u >= 97/2?
False
Suppose -29*x = -26*x + 30. Let b be (-4)/(-3)*18/x*30. Let l be -3 + 7 - (-291)/b. Is l bigger than 0?
False
Let t be 19 + -40 + 1884/76. Is 1.6 < t?
True
Let g = -0.72202 - -0.672. Is g at least 0.1?
False
Let a = -13060759/45076 + -3/11269. Which is bigger: -289 or a?
-289
Let w be ((0 - -1) + -13)*(86 - 94). Let t = w - 96. Suppose 2*l = -n + 3*l + 3, n + 2*l + 6 = t. Is 0 bigger than n?
False
Suppose 2 = 22*i - 21*i. Let w = i - 3. Let y be w/(-22)*6/(-33). Which is smaller: y or -1?
-1
Let p(g) = -483*g - 3872. Let i be p(-8). Is -208/29 equal to i?
False
Let w be -4*((-171)/26688)/(93/(-62)). Are -1 and w nonequal?
True
Let p(j) = -j**2 + 88*j - 172. Let g be p(86). Is g at most 3/24401?
True
Let o = -20935725/1157639 + 1067/59. Is o >= 1?
False
Let n(x) = 14*x**2 - 163*x + 176. Let b be n(-24). Is b at most as big as 12151?
False
Suppose -479*t = -491*t + 53 + 91. Let l(k) = -7*k - 2. Let h be l(-3). Is t smaller than h?
True
Suppose -5*u = x - 1277, 67 + 439 = 2*u - 2*x. Suppose -248*j + u*j + 84 = 0. Which is bigger: -6 or j?
-6
Let a = -18289 - -17040. Which is bigger: -3749/3 or a?
a
Let d = -2646863/18 - -147088. Let h = 518/9 - d. Suppose -5*v + 82 = -8. Is v less than h?
False
Let k(v) = -78*v - 1876. Let t be k(-34). Which is smaller: 777 or t?
t
Let l(y) = 25*y - 372. Let b be l(15). Suppose -t + 3*t - 6 = 0. Let o = t - b. Which is greater: -79 or o?
o
Suppose 3*s + 6 = -s + k, -3*k = -2*s - 8. Let p = -3/3494 + -10341/164218. Which is greater: s or p?
p
Let c be 205/(-114) - 1617/(-1386). Let d = -77692649/475 + 163563. Let f = d - c. Do f and 1 have the same value?
False
Let r = -397073/9 - -44283. Which is bigger: 165 or r?
165
Let m = -1349 + 1349. Which is smaller: 7/380 or m?
m
Let y = -163 - -164. Suppose 0 = a - 1, 0 = -q - 2*q + 4*a - y. Is -1/25 at least as big as q?
False
Suppose -2211*u = -p - 2216*u + 466, -1474 =