-d - 176. Let x be 3*(d/(-6) - -3). Does n = x?
False
Let w = -2598 - -2602. Is w less than -1/594?
False
Let b(r) = -r**2 + 14*r - 30. Let t be b(11). Suppose c + 12 = 2*j, -9 = c - t*j + 8. Is -0.68 < c?
False
Suppose 2*j - j = 7. Let z be (-3 - 1 - 1) + 14. Suppose -4*h = 3*t - 5*h - 18, 0 = -3*h - z. Which is smaller: j or t?
t
Suppose 158*x - 832 = 156*x. Let k = -250 + x. Are k and 164 equal?
False
Let u be (12/10)/((-122060)/(-850)). Is u > 1?
False
Let f = 1161/61 - 169333/9211. Is 1 < f?
False
Let c = 7655 - 16943. Which is greater: -9287 or c?
-9287
Let q(o) = -4*o - 1. Let h be q(-2). Suppose 4*k + 8 = -4*g, -h = 4*g + k - 2. Is -30/13 at most as big as g?
True
Suppose 10*x + 1241 = 1471. Is 6 at least x?
False
Suppose 2*s - 117721 = -5*t, 54181 = 5*t - 2*s - 63548. Does 23545 = t?
True
Let a = -135591/2 - -66217. Is -1579 less than a?
True
Let u(t) be the second derivative of -t**3 + 11*t**2/2 - 43*t. Let v be u(2). Is -5/12 greater than v?
True
Suppose -575*b + 296*b = -355138 - 278471. Is 2272 less than b?
False
Let w = -1.3134 + 118.7234. Let f = w - 118. Let r = f + 0.59. Which is smaller: r or -20?
-20
Suppose 2*r = 6, 3*w = 2*w - 4*r + 12. Suppose 5*z - 89 - 31 = w. Which is smaller: 22 or z?
22
Suppose 2*z - 2*b - 10 = 0, 2*z + 5*b = -z - 25. Suppose 3*w + 5 + 4 = z, -5*j + 5*w + 75 = 0. Let l be -4 - 2 - j/(-4). Which is greater: l or -22/9?
-22/9
Suppose -11*d = -8*d - 106 - 5. Is d greater than or equal to 369/10?
True
Let n(i) = -41*i**2 + 34*i + 12. Let p be n(3). Is -256 at most as big as p?
True
Suppose -d + 6*d = 1100. Suppose -4*m = 4*t + d, 3*m - 105 = -2*t + 4*t. Let h be -1 - -3*(-10)/t. Is h at least as big as 1?
False
Let c = -17694 - -26154. Which is greater: c or 8459?
c
Let w = 167/21 + -5/3. Let q(v) = v**2 + 229*v + 1987. Let h be q(-9). Is h smaller than w?
False
Let g be 0 - (1 + 64)/1. Let p be 149/(-2) + (-35)/10. Let n be ((-338)/p)/((-2)/30). Is g bigger than n?
False
Let a(i) = -i**3 + 50*i**2 - 35*i - 304. Let n be a(49). Which is bigger: 2676/7 or n?
2676/7
Let z = 4027 + -4026.46. Does -12 = z?
False
Let x(d) = -d**3 + 120*d**2 - 1484*d - 1. Let s be x(106). Which is greater: -2/483 or s?
-2/483
Let i = -8286 + 7323. Which is bigger: i or -962?
-962
Let w(f) = 899*f - 4047. Let d be w(-23). Is d not equal to -24724?
False
Let j = 5.8 - 2.9. Let a = 17.1 + j. Which is smaller: -0.3 or a?
-0.3
Suppose 4*t = -4*j - 20, 4*j - 3*t = 2*j + 10. Let m be (-2001)/345*j*5. Is 30 <= m?
False
Let y = 237.5 - 169. Let j = -76.1 - -8.1. Let q = j + y. Is q != -2/11?
True
Let l = 1 + -2. Let z = 5940/29 + -792543/3857. Let q = -26/19 - z. Is l < q?
True
Let l(s) = -3*s - 1. Let r be l(-1). Suppose 3*a - 5*a + 12 = -4*f, 3*a - 14 = r*f. Let i = 69/14 + -197/42. Does f = i?
False
Let l be 78 + -1 - (-1)/3*9. Suppose 0*s - l = -s. Is 1 less than or equal to s?
True
Let l = -77 + 541/7. Let i = 2.3286 - -6.6714. Is i > l?
True
Let a(d) = -4*d + 10. Let w be a(2). Suppose -3*b = 3*c, b = -2*c - w*b. Suppose -16 + 2 = 7*j. Which is greater: c or j?
c
Suppose -20*j - 83 = -6*j - 475. Which is bigger: 2 or j?
j
Let z = 287.859 - 288. Let a = 65.759 - z. Let n = -66 + a. Is n less than or equal to 3?
True
Suppose -37*i - 120 = -40*i. Let m be i/12*132/10. Let w be (m/165)/((-3)/(-5)). Which is bigger: w or -0.3?
w
Let q = -167 - -168. Is -10631 > q?
False
Suppose -795*s = -792*s - 2*w - 27, -8*s + 204 = 2*w. Let p be -1 + 0 - (1 + -31). Which is smaller: p or s?
s
Let j = 1139 - 1137. Let d = 152/51 - 10/3. Which is smaller: d or j?
d
Let v = 432 + -450.7. Let n = v + 18.8. Which is smaller: 0.29 or n?
n
Suppose 0*v + 5*v - 6*v + 856 = 0. Is 858 greater than or equal to v?
True
Let n be ((-1)/(-12))/(10/8). Let d be 20/(-15)*(-2)/((-2)/(-9)). Let p(w) = w**3 - 12*w**2 - 2*w + 24. Let s be p(d). Which is smaller: s or n?
s
Suppose -3*o + 4*m = 9*m - 18, 3*m = o + 8. Let h be (87 - 90) + o*-1 + -10. Is h <= -23?
False
Let a = -2227 - -2359. Is a greater than or equal to 2/3?
True
Let z be 1 + 2 + (-106)/18. Let r(d) = d**3 - 18*d**2 - 43*d + 770. Let s be r(18). Is s <= z?
True
Let y(o) = 128*o - 1791. Let z be y(14). Which is smaller: 2/1329 or z?
2/1329
Let s = -63 + 66. Suppose s*d - 3*l = -3, -3*d + l = d - 11. Let z = -5.8 - -3.8. Which is smaller: z or d?
z
Let c be (-1)/((-69)/(-1))*52834/2. Let q = c - -383. Which is bigger: 1 or q?
1
Let j be 7/3 - (-28)/42. Suppose 0 = -3*b - 5*v + 27, -j*v - 7 = 3*b - 7*b. Suppose b*t + 34 = -h, -4*t = -3*h + 41 - 15. Is -7 at least t?
True
Let t(q) = 189*q**2 - 3*q + 109. Let y be t(10). Let o = y - 25299006/1333. Which is smaller: o or -1?
-1
Let d = -4959 - -4958.94. Which is greater: 11.88 or d?
11.88
Let g be (4*(-2)/(-8))/11. Let d(o) = o**2 - 6*o + 6. Let t be d(6). Let b be 0/(t - 3 - 1) + -1. Does g = b?
False
Suppose -34*r - 3017 + 3255 = 0. Let n be (-15)/6 + (-2)/(-4). Let t be (0 - n/(-4)) + 8. Are t and r equal?
False
Let z be -4 - (-3)/3*(-265)/(-10). Let l = 1213/54 - z. Are 0 and l unequal?
True
Suppose -13*x - 21*x - 27260 + 706 = 0. Does -2/7 = x?
False
Let v(f) = 124*f - 24*f**2 - 108*f - 17 + 5*f**2. Let b be v(1). Does -141/7 = b?
False
Let b = -0.235 + 142.235. Let y = b + -147. Which is smaller: -3/13 or y?
y
Let s be ((-42)/(-10))/(8/10). Let g = -120571/9 - -13397. Which is bigger: g or s?
s
Let l = 28 - 42.6. Let h = -0.4 + l. Let b = 15 + h. Which is greater: b or 13?
13
Let d = 9563 - 9660. Which is greater: d or -21?
-21
Let x = -7.4 - -0.4. Suppose 0 = 18*v + 28*v. Suppose 0*y + 3*d = 2*y - 23, -d - 5 = v. Which is smaller: x or y?
x
Let p be (12 - 1)*-1*-1. Let a = -9 + p. Let l = -1/1414 + 11317/7070. Is l <= a?
True
Let p be (-144)/(-9)*(-170)/(-8). Suppose -7*g - 542 = p. Let t be ((-4)/(-6))/((-4)/g). Which is smaller: 22 or t?
t
Let t(y) = 3*y**2 + 246*y + 420. Let i be t(-77). Are i and -738 equal?
False
Let b(n) be the third derivative of n**5/60 + 7*n**4/24 - 19*n**3/6 - 6*n**2. Let f be b(-12). Let r be -2*((-5)/f)/5. Are r and 0 equal?
False
Suppose -17*u = -3*u - 70. Let m be 1817/1426 - u/4. Is m not equal to 1?
True
Suppose -6*z + 216 + 12 = 0. Let p = z - 69. Which is bigger: p or -2?
-2
Let p(j) = 3*j**2 - 62*j + 290. Let u be p(6). Is u less than 6?
False
Let q = -199 + 205.76. Let h = q - 1.76. Which is bigger: h or -13?
h
Let a(v) = 4*v**2 + 7*v + 1. Let p be a(-2). Let b(l) = -225*l**p + 113*l**3 + 111*l**3 + 9*l**2. Let q be b(9). Which is greater: -1/33 or q?
q
Let r be 9045/33 - (-30)/(-165). Let x = r - 275. Which is bigger: x or -0.4?
-0.4
Let q be (-343059)/(-865)*-10*(-1)/6. Is q >= 4636/7?
False
Let q(x) = 10*x**2 - 2*x**3 + 8422 + x**3 - 8423 - 11*x. Let o be q(6). Which is smaller: o or 78?
o
Let h = 121625 - 18365471/151. Which is smaller: -2 or h?
-2
Let q = 2424 - 317548/131. Let r = 59/2358 - q. Suppose -2*i + 2*u + 6 = 0, -5*i + u = 4*u + 17. Which is greater: r or i?
r
Let k = 2651 + -21185/8. Is k greater than or equal to 2?
True
Let o = 5 + 1. Suppose -x + 273 - 102 = -3*f, 4*f - 2*x = -228. Let i be (-2)/(48/34) + f/(-76). Which is smaller: o or i?
i
Let z = 169/486 + -100175/49086. Is -1 > z?
True
Let r be (-96)/1*(-1032)/(-774). Which is smaller: -125 or r?
r
Let v = 447 + -447. Let g = -0.009 - 20.991. Let f = 81 - g. Which is bigger: v or f?
f
Let q be 1/(14/(-24))*(8 + -148). Let a = q - 454. Which is bigger: -213 or a?
-213
Let x = -2.89 - 0.38. Let j = x - -1.27. Are 15/2 and j nonequal?
True
Let o be 0/((-1 - (-2)/4)*-2). Suppose o = k + 3*s + 1, 2*k + 5*s - 14 = 3*s. Suppose -4*h - 3*c + 132 = -k, 0 = c - 1. Does h = 35?
True
Let c(o) = -o**2 + o - 3. Let t be c(6). Let x = t + 11. Suppose -4*y = -7*y - 3. Which is smaller: x or y?
x
Let u = -3 + -12. Let y be ((-12)/u)/((-13)/(-5)). Suppose 422*x = 774*x - 386*x. Which is greater: y or x?
y
Suppose -2*m + 3*f - 50 = 9, 8*m + 3*f = -251. Let i(n) = -3*n**3 - 2*n**2 - 2*n + 1. Let d be i(2). Which is smaller: m or d?
d
Suppose -38 = -11*x + 17. Let v be (-3)/x - (2 - 3). Let m be (1/(-6))/((-1)/2). Is v equal to m?
False
Let m(s) = -20*s**2 + 1221*s - 78. Let j be m(61). Let g be 1/2 + -16 + 0. Which is greater: g or j?
g
Suppose -3*i = 14 + 10. Let w be (-6)/(-24) - 22/i. Let o be (69/10442)/(w/4). Which is greater: o or 0?
o
Let p = 3038 - 4596