d -11 have different values?
True
Let i(o) = -29. Let z(f) = f - 116. Let c(x) = -9*i(x) + 2*z(x). Suppose 3*r = -23 - 10. Let b be c(r). Which is smaller: 12 or b?
b
Let z(o) = 209*o**2 - 3*o + 5. Let c be z(1). Suppose 85 = 3*f + c. Which is greater: f or -43?
f
Let v(i) = i**3 + 2 - 7*i - 3*i**2 + 8*i - 5*i**3. Let q be v(2). Let d = q - -36. Does d = -6?
False
Let n = 1451 + 720. Let u = n - 2182.97. Let c = u + -0.03. Is c at most as big as -1/2?
True
Suppose -671 - 22 = -3*q. Let k = 283 - q. Which is smaller: 51 or k?
51
Let r be (12 - 10)*3/2. Suppose 5 + 3 = 2*k - 4*c, -r*c - 8 = -2*k. Let a be k + (-2)/28*46. Is -1/2 bigger than a?
False
Let z = -84 + 235. Let w = z - 155. Is w bigger than -48/13?
False
Suppose 5*y - 6*x = -x + 90, 0 = 4*y + 3*x - 51. Suppose h - y = 12. Is 133/5 equal to h?
False
Let u be (60/20)/((-5)/6630). Which is greater: u or 1/2?
1/2
Let s = -1.5 - -1.39. Let f = 5063/1074 - 17/358. Is f >= s?
True
Let n = -3.417 + 28.417. Which is smaller: n or 1?
1
Let u(h) = h**2 - h - 1. Let b(j) = -4*j**2 + 2*j. Let r(a) = b(a) + 5*u(a). Let w be r(4). Let i = 0.0591 + -3.2591. Which is smaller: i or w?
i
Let v be (-4)/22 - 171/209. Let d be ((-3)/(-12))/(((-25)/5)/(-100)). Let h = d + -3. Is v greater than h?
False
Let z(y) be the third derivative of y**6/120 + y**5/15 + y**4/6 + y**3/3 + 466*y**2. Let x be -2 + (-2 - 0) + 1. Let h be z(x). Is h bigger than -16?
True
Let z(l) = -6*l**2 + 13*l**2 + 2*l**2 + 2 - 9*l - 4*l**2. Let p be z(4). Let a = p + -45. Which is smaller: 2/69 or a?
2/69
Let z(s) be the first derivative of s**2/2 - 171. Let n be z(7). Is n less than 6?
False
Let r = 409.1 + -458. Let p = 49 + r. Let l = -10585/56 + 189. Which is smaller: l or p?
l
Let l = 823 - 694. Suppose -3*c + 12*g - 63 = 9*g, 3*g = 6*c + l. Let q = 32 + -54. Is q at least c?
True
Let c = -2135/2 - -1065. Which is smaller: -3/461 or c?
c
Suppose f - b - 48 = -155, b + 119 = -f. Which is smaller: -18 or f?
f
Let f(v) = 29*v - 722. Let r be f(32). Is 245 less than or equal to r?
False
Let g(c) = -28*c**2 - 11*c - 83. Let n be g(9). Which is smaller: n or -2451?
-2451
Let i be 2842/(-22) + (176 - 153). Is i at least as big as 1?
False
Let w = -116.2 + -22.8. Let f = w + 124. Which is smaller: -6/7 or f?
f
Suppose -830 = 147*y + 149*y - 286*y. Is y greater than -8?
False
Let m be (-155)/93 - 32/(-24). Do 17 and m have different values?
True
Suppose -3*i + 21*i + 85*i - 721 = 0. Which is smaller: i or 160?
i
Let x = -548 - -547. Is x bigger than 6/6211?
False
Let o = -894 + 906. Let f be 9*(0 - (-40)/6). Suppose o = -2*b + t, -5*t - f = 3*b + 2*b. Is b at least -1/5?
False
Let r be 6/1 + 58 - -3. Let a(i) = 21*i + 3. Let k be (0 - -3)*(-1 + 2). Let s be a(k). Which is smaller: r or s?
s
Let z be (45262/(-245))/(48/87). Let d = -81/56 - z. Let m = -332 + d. Which is smaller: 1 or m?
1
Suppose 902*v - 796*v + 212 = 0. Let t = 18 + -8. Which is bigger: t or v?
t
Suppose t = -2*h - 11, 19*t = 21*t - 4*h - 18. Is t > -742?
True
Let p be ((-45)/(-3))/(2 - -3). Suppose -2*h + 22 = 2*k - 58, -p*k = 2*h - 79. Is h at least -7?
True
Suppose -j - 119 = 5*y - 123, 4*j + 5*y - 16 = 0. Suppose -j*g + 18*g = 140. Is 13 at least as big as g?
True
Suppose -5*d - 110*a = -109*a + 14, -46 = d + 5*a. Is d bigger than 15/1963?
False
Suppose -4*x + 2*s + 234 = 0, -162 = -3*x + 3*s + 9. Suppose 2*l + 18 = -2*m, -2*m - 1 = -l + 2. Let h(g) = 4*g**2 - 4. Let i be h(m). Is x smaller than i?
False
Let b = -35421017186348/15719165 + 9577/3143833. Let h = b + 2254120. Let a = h + -755. Which is smaller: a or 1?
a
Let w = 0.092 + -3.492. Let y = -3.1 - -0.7. Let r = w - y. Is -0.1 less than or equal to r?
False
Suppose 87*q = 88*q + 72. Let l be (4/3)/((-32)/q). Let r be (6/5)/((-8)/60*l). Which is smaller: r or -9/4?
r
Let f = -7 + 5.46. Let p = -10.44 - f. Let l = p + 9. Which is bigger: 11 or l?
11
Suppose 3*b + 3*d + 97 = -b, 0 = -9*b + d - 257. Is b greater than -0.143?
False
Let j(w) = w**3 + 5*w**2 - 6*w + 4. Let m be j(-6). Suppose 0*d = 4*d. Suppose y + d*l = -m*l - 14, 3*y + 2 = -4*l. Which is smaller: y or 2/3?
2/3
Let t = -312 + 629. Let o = -315 + t. Is 62 at least o?
True
Let g(d) = -3*d**2 - 4*d**2 - 44*d + 37*d + 5*d**2. Let b be g(-3). Suppose 3*w - 20 = 5*y - b, 3*y + 4*w = 13. Which is greater: y or 2/99?
2/99
Let d = -959 + 968. Let q = 180 + -3782/21. Is q at least as big as d?
False
Let l = -0.43363 + 0.42963. Let z = -8/3 - -37/15. Which is smaller: l or z?
z
Let y = 243 + -246. Let z(d) = 3*d - 4. Let u be z(y). Let a(w) = 3*w + 4. Let f be a(-5). Which is greater: u or f?
f
Let x be (-127)/(((-1)/18)/((-4)/(-12))). Let g be (-1)/(x/1012) - 220/(-165). Which is greater: 0 or g?
g
Let h = 73 + -73.0086. Let o = h - 0.2324. Which is greater: o or 0.1?
0.1
Suppose -17 = 8*l + 179*l - 204. Which is smaller: l or -25/223?
-25/223
Suppose 2*m - 13 = -11*h, -2*m = 18*h - 21*h + 1. Is h at most -18/367?
False
Let j be (-48)/54*36/(-8)*1/(-4). Which is bigger: j or 14/309?
14/309
Suppose -4710*s + 3*q = -4715*s + 4984, 0 = -3*s - 3*q + 3000. Is s at most as big as 999?
True
Let t = -6417 - -6349. Is -892/13 greater than t?
False
Suppose -334*d + 20992 = -350*d. Which is greater: -1313 or d?
d
Let p = -0.05 - 0.25. Let g = 1.3 - p. Let i = 3.6 - g. Which is bigger: i or 1/6?
i
Let q(p) = -p**3 + 44*p**2 - 2*p - 38. Let y be q(44). Suppose -2*m - 260 = -5*b, 4*m + 2*b = 3*b - 502. Is y >= m?
False
Let c(q) be the second derivative of q**3/6 - 9*q**2 + 29*q. Let s be (-26)/3*(-54)/36. Let v be c(s). Which is smaller: -11/2 or v?
-11/2
Let r be 2/(-3) + 455/84. Let p(z) = -z + 15. Suppose -4*u + 5*s + 13 = -u, -s + 26 = 2*u. Let x be p(u). Which is smaller: r or x?
x
Let p = 80.7 + -1.2. Let g = p + -80. Which is greater: 9 or g?
9
Let r = 0.47 + -1.27. Let s = -63.62 + 63. Let y = s + 1.62. Is r at most y?
True
Let p = -406 - -414. Let g be 177/(-18) + p + 2*1. Let l = 0.4 - 0.3. Which is bigger: l or g?
g
Let c be 5/(20/(-24))*(-7)/21. Suppose 2*d = 5*b - c, -3*b = 4*d - 27 + 5. Is b less than 15/11?
False
Let d(z) = 237*z - 143. Let w be d(4). Let j = w - 802. Which is greater: j or -65?
j
Let s be ((-1)/2)/(4/(-32)). Let u be 4/(-12)*(-3)/s. Let a be ((-192)/(-154))/(-4) - 354/(-413). Which is bigger: a or u?
a
Let q = 52 - 42. Suppose 0 = 5*p - 0*s - s + 20, -q = -2*s. Let n be 1 - (-17)/(-9) - 2. Do n and p have the same value?
False
Let r be 1/(1/12)*462/54. Let c = 101 - r. Is c at most as big as -2?
False
Suppose -7*c - 1884 = -5363. Let v = c + -495. Is v greater than -0.05?
True
Let j(h) = -3*h**2 + 82*h - 10. Let z be j(27). Let n = 140 - z. Are 121 and n nonequal?
True
Let x be (-6 - 3080/(-15))/((-56)/(-12)). Which is smaller: x or -1.7?
-1.7
Let w be 283/847 + ((-62)/(-217) - 13/21). Which is bigger: w or 0?
w
Let n(j) = j**3 - 4*j**2 + 8*j - 6. Let m be n(5). Let l = m - 48. Suppose -l*i - 27 = -20*i. Which is smaller: 15 or i?
i
Let s be ((-85)/(-119))/(25/(-10)). Which is smaller: -252/29 or s?
-252/29
Let o be 16/210*(1590/520 - 3). Let m = 447/1820 + o. Is m at least 249?
False
Let k(t) = -5*t**2 - 33*t - 7. Let g be k(-6). Let p be -13 - -2 - (-3 + 8 - g). Let n be ((-12)/(-1))/(-2) + 1. Is n > p?
False
Let j = -405401/1434 + 19/478. Which is bigger: 2 or j?
2
Let o be (-11)/132*4 + 5 + (-85)/15. Are 736 and o non-equal?
True
Let f = -225127 + 224886. Suppose -4*u + h = 2*h + 973, 0 = -4*u - 2*h - 974. Which is smaller: f or u?
u
Let k = 119 + -114. Let d be 176/96 + (k/3 - 2). Which is smaller: d or 0.1?
0.1
Let j be -1*(-2129 - (-14 - -4)). Which is smaller: 2118 or j?
2118
Let j = -77897/27 - -2885. Is 162 bigger than j?
True
Let s = 478794/11 + -43476. Is 51 != s?
True
Let c be (-159)/117 + -1*(-1)/(-3). Let l = -131.5 + 131.4. Which is smaller: c or l?
c
Let g = -1200.03 + 1193. Is g bigger than 0.2?
False
Let i be -12*-3*4/36. Suppose 0 = i*q - 28 - 8. Suppose h + 3*w - 9 = 0, -q = 2*h - h - 3*w. Is 4 > h?
True
Let z be (-103)/5 - (-34)/(-85). Let h = -32 - z. Let a = 10 + h. Are a and 2/79 nonequal?
True
Let d = 3567 + -3568. Which is bigger: d or 1/683?
1/683
Let j be (-1490)/(-75) + (-8)/(-60). Suppose -80 = -0*f - 4*f - 3*q, f + 4*q = j. Let x be (-68)/f + 3 - -2. Is 2 > x?
True
Suppose -4*b + 12 = -3*w, b - w - 3 = -0*