56 + 39. Let j = d - -39.656. Let l = j + -40. Which is smaller: 1/22 or l?
l
Let l = 21/106 - 675/1802. Do -1 and l have different values?
True
Suppose 12*u + 11 = 23*u. Let c be ((-6)/(-21))/(1368/381066). Let n = -239/3 + c. Which is smaller: u or n?
n
Let v = -75 - -68. Let p be (-205)/v + -3 + (-2)/7. Is 4 smaller than p?
True
Let w(x) = -x**2 - 7*x - 7. Let p be w(-4). Suppose i + 0*j - p*j + 25 = 0, 3*i = -3*j - 3. Let n be (-12)/(-8) + (-39)/6. Is n smaller than i?
False
Let i = 2447 - 3036. Which is bigger: 1/3 or i?
1/3
Suppose 0 = 4*b + 2*z + 14, -b + 2 - 30 = 4*z. Let p(d) = d**2 + 9*d + 5. Let j be p(-9). Which is bigger: b or j?
j
Let l = -2.8234 - -2.7814. Are -2/221 and l non-equal?
True
Suppose -5*l - 3 - 2 = 0. Let h = 282 - 35. Let o = -243 + h. Which is bigger: l or o?
o
Suppose -6*f + f = -15. Suppose -6*s + 12 = -3*s, -4*w + 3*s = 12. Let d be (-9)/(-18) + 33/12 - w. Which is bigger: d or f?
d
Suppose 0 = r + 3*i + 83, 229 = -2*r - r + i. Let g = 72 + r. Let c = g + 19. Is 13 smaller than c?
True
Let i = -7147 - -7128. Which is smaller: 29/4 or i?
i
Let x(p) = 91*p - 1546. Let v be x(17). Which is smaller: 2/41097 or v?
2/41097
Let v = 0.011 + 0.011. Let y = v - 6.622. Let h = y - -6.6. Which is smaller: -1 or h?
-1
Let y be (-30)/(-4)*(-24)/(-30). Suppose -y*g = -7*g + 3. Let i(w) = -9*w + 68. Let k be i(7). Which is bigger: k or g?
k
Let d be (1 - 1)/((20/(-4))/(-5)). Suppose d = -7*i + 4*i + 12. Suppose 37 = i*m + f, f - 3 = 4*m - 30. Which is smaller: 5 or m?
5
Suppose -65*p - 42*p = 21*p - 8960. Which is bigger: 64 or p?
p
Let w = -69 - -131. Let t = -63 + w. Is t not equal to -0.243?
True
Let b be 40030/6555 - 6 - (-2)/(-19). Which is smaller: -1 or b?
-1
Let p be (-45)/(-7) - 104/(-182). Suppose -3*q + 4*w + 391 = 0, -w = 4*w + 5. Let z be p/(-14) + q/42. Which is bigger: z or 3?
3
Let o = -73 - -268. Let s = 23 + -23.1. Which is greater: o or s?
o
Let l be 8/(-60) - 4490/75. Let u = l + 62. Let t be -7*(u + (-3)/6*2). Which is bigger: 0 or t?
0
Suppose d - 109 = -2*v, -v + 18 = 5*d - 23. Let h = v - 57. Is h at least as big as 1/140?
False
Let t = 119.88 + -119.88. Are 23 and t unequal?
True
Let o = 5433 + -5051. Are o and 378 unequal?
True
Let x = -8990 - -8989.9. Is -320.6 <= x?
True
Let t be ((-277)/(-52))/((-213)/(-5112)). Is 129 < t?
False
Let l = 8509 - 42388/5. Let c = 2928/95 - l. Which is smaller: -2 or c?
-2
Let o = 294 + -296. Let l be (-3)/(-9) + (-621)/(-372) + o. Which is smaller: 1 or l?
l
Suppose 8 = d + g - 4*g, -2*d + g + 16 = 0. Let h(y) = -5 - 7 - 2 + 5 + d*y**2 - 9*y - y**3. Let c be h(8). Is c <= -81?
True
Let v = -25317/17 + 1489. Which is smaller: 19.8 or v?
v
Let g = -770/17 + 2140/51. Which is bigger: g or 0.3?
0.3
Suppose 0 = 11*h - 29*h + 1170. Let x = 442 - h. Is x not equal to 378?
True
Let o be (2330/4)/((-445)/(-534)). Is o equal to -1/4?
False
Let u = 9 + -106. Let o = -142 - u. Let j = o - -53. Which is smaller: 1 or j?
1
Suppose -88 = -3*y - 2*v, 4*y - 3*y - 2*v - 32 = 0. Suppose -2*k + 28 = -14. Suppose 16*f - k*f = -y. Which is greater: 4 or f?
f
Let v = 8.97 - 8.905. Is 1/2 greater than v?
True
Let c be (-6)/(-22) - (1/(-3) - 660/(-1089)). Are c and 2/35167 nonequal?
True
Let w = 124 - 38. Let l = 146 - w. Suppose 0 = 210*r - 233*r + 1380. Is l less than or equal to r?
True
Let k(a) = a**2 + 3*a - 5. Let w be k(2). Suppose 4*p + w*r = 555, -2*p + 0*r + 2*r + 264 = 0. Suppose -5*o = -o - 5*t - p, -2*o = t - 71. Is o > 35?
False
Let x = -115 + 108. Let u(c) = c**3 + 6*c**2 - 7*c + 8. Let j be u(x). Let y(v) = -v + 4. Let z be y(j). Which is bigger: z or -3?
-3
Let u = -135 - -294. Let b = u - 4137/26. Let x = -1904.8 - -1905. Which is smaller: b or x?
b
Let v = 94 - 95. Let d be v + (-980)/(-24) - 6/(-36). Which is smaller: d or 39?
39
Let s(y) = 29 - 3*y - y**2 - 2*y - 8. Let t be s(-9). Let r be 26/3 + -1*(-10)/t. Is r smaller than 11?
True
Let v = 188.34 - 7.34. Let m = 181.1 - v. Which is greater: -0.433 or m?
m
Let h(b) = b + 5. Let q be h(-5). Let p be (-496662)/(-637200) - (-28)/(-36). Is p at most as big as q?
False
Suppose -4*b - 154 = -3*o - 147, -3 = 5*b + 2*o. Is b <= -1413?
False
Let l be 29715/4 - 3/(-12). Let y be (-368)/(-115) - (1 - -2) - 8166720/1100. Let w = y + l. Which is smaller: 4 or w?
4
Let c = -96.113 - -0.113. Let v = 62 + c. Let k = -1081.1 + 1081. Which is smaller: v or k?
v
Let g(u) = -5*u**2 + 29*u - 14. Let y(n) = 3*n**2 - 19*n + 9. Let v(w) = -5*g(w) - 8*y(w). Let m be v(-8). Let j be 16/(-60)*3*(-5)/m. Is -1.2 equal to j?
False
Let c be ((-143672)/(-14))/(-2) + 12/84. Let v = c - -774775/151. Which is bigger: v or 0?
0
Let s be 4/10 - (-2448)/30 - 4. Suppose q - s = 2*d, -6*d + 3*d = -3*q + 222. Is q > 2?
True
Let p = 40 - -26. Let i = 57 - p. Let w be (-3)/18*i*6/9. Which is bigger: -2/55 or w?
w
Let d(m) be the third derivative of m**5/60 - m**4/3 + m**3/3 - 4*m**2. Let p be d(8). Suppose -p*o - 3 = -11. Is 4 < o?
False
Suppose 65*o = 3*r + 67*o + 6192, 3*o - 8290 = 4*r. Is -2/3 at most r?
False
Suppose p + s - 17 + 6 = 0, -16 = 4*s. Let b(t) = 60*t + 5 + 26 - 57*t. Let k be b(-6). Which is smaller: p or k?
k
Let u = 14483 - 28626. Is u less than or equal to -14142?
True
Let k = -36 + 15. Suppose 0 = 2*g + 3*g + 70. Let o = g - k. Is 9 less than or equal to o?
False
Let j = -7777 + 7499. Is j > -1/9?
False
Let d(y) = -2*y**3 - 70*y**2 - 48*y + 81. Let j be d(-34). Which is bigger: j or -1798/3?
j
Suppose 3*h + t = -4397, 5*t = 43 - 53. Do h and -1 have different values?
True
Let z(i) be the second derivative of 8*i**3 + 23*i**2/2 - 20*i - 1. Let y be z(4). Which is smaller: 0.1 or y?
0.1
Suppose 3*l + 43 = 4*l. Let t = -40 + l. Is t equal to 36/19?
False
Let v = 2764/3 + -400762/435. Let f = -13793 - -13792. Are f and v unequal?
True
Let q = 32.131775 + -0.131775. Let i = -2 + 2.01. Which is greater: q or i?
q
Let s(j) = -j**3 + 5*j**2 + 8*j - 9. Let q be s(6). Suppose -78 = q*f + 42. Suppose 2*g - 41 = m, -g - 36 = m + 5. Is m at most f?
True
Let h = -334 + 444. Let f be (h/20)/((-2)/(-16)). Which is smaller: f or 42?
42
Suppose 333*z + 2880 = 13*z. Let s = -413/6 - -184/3. Is z at most as big as s?
True
Let o be ((-351)/36 - -9)/(3/(-108)). Let m(t) = -t**2 + 33*t - 163. Let s be m(o). Does s = -1/58?
False
Let i(s) = -s**3 - 6 - s + 7*s**2 + 7*s + 0*s. Let q be i(8). Let r = 10 + q. Which is bigger: r or -11?
-11
Let r = -680 - -834. Suppose -3*t + 5*v + 437 = 0, 3*v + 0*v + 293 = 2*t. Is t < r?
False
Let u = 9181 + -6513. Is 2668 at most as big as u?
True
Suppose 0 = 7*y + 54 + 443. Let b be (-660)/(-275)*60/(-2). Is b greater than y?
False
Let g = 17 - 14. Suppose -g*y - 231 = -126. Suppose 0 = -4*o - 5*x - 151, 5*o + 0*x + 173 = -x. Which is smaller: o or y?
y
Let r = 87 + -94. Let t(d) = d**2 - 39. Let c be t(r). Suppose 0 = -18*x + 10 - c. Which is smaller: 8/17 or x?
x
Suppose -194 = -4*w + 3*p - 230, 4*p = 0. Which is smaller: 38/11 or w?
w
Let r = 0.39178 + -0.06268. Let j = 0.0791 - r. Let x = 3 + -5. Which is smaller: x or j?
x
Let m = 2.04 + -0.04. Let o = -30 + 22. Let w be (13/o*2)/((-1)/(-4)). Is w at least as big as m?
False
Let k be (-56)/77*18/(-72). Which is smaller: -3839 or k?
-3839
Suppose -3 = -k + 3. Let r be ((-12)/7 - -2) + k/28. Let o = -9 - -15. Is o at most r?
False
Suppose 4*y - h - 6 = 4*h, y = -4*h + 12. Suppose z - k + 21 = 0, y*z - k + 88 = k. Which is smaller: -1 or z?
z
Let t = 24807 - 24806. Which is smaller: -8/349 or t?
-8/349
Let a = -2.876 + -344.124. Which is smaller: 8/7 or a?
a
Let b = -27 - -28. Let n be 1 + b - (-4 - 0/(-2)). Let a be (30/(-52))/(n/48*-1). Which is greater: 4 or a?
a
Let k be -1177*(-10 + (-1352)/(-143)). Is k != 640?
True
Let l = -15059 - -14283. Do -790 and l have the same value?
False
Let g = 0.126 - 53.126. Let b = g + 55. Which is smaller: b or -59?
-59
Suppose 4*a - 3*f - 91 = 0, -a + f - 128 = -6*a. Suppose -a*z = 164 - 764. Which is bigger: 26 or z?
26
Let k(y) = 2*y**2 + 23*y - 15. Let h be k(-12). Let q be (h - (-6)/10)*(0 + 30). Let d be ((-30)/7)/(q/(-14) - 5). Which is greater: d or -31?
d
Let y = 0.12 - -16.88. Let v = y - 18. Let b be (-10)/55 - (-5955)/990. Is b not equal to v?
True
Let c = 15316.123 + -15316. Let l = 0.075 + 0.148. Let f = l - c. Is f smalle