((-4)/8). Let p = 556/9185 + -1/167. Let y = p - 82/495. Is u greater than or equal to y?
True
Let g = -174 - -177. Which is greater: g or 205?
205
Let k be ((-1)/(3 - -2))/(-1). Are 0 and k unequal?
True
Let p = 32.923 - -0.077. Let v = p - 39. Which is smaller: 1/4 or v?
v
Let x be 148/6*12/(-8). Let z = -49 - x. Is -14 not equal to z?
True
Let a be (1225/21)/(-7) + 3/9. Which is greater: a or -95/12?
-95/12
Let k be 2 + 9/33*-4. Let z be 0/(2/(4/6)). Suppose f + z = 2. Which is smaller: k or f?
k
Let k = -228/25 - -2477/225. Let o(t) = t**3 - t**2 - 2*t + 3. Let z be o(2). Which is bigger: z or k?
z
Let u = -1.12 + 0.22. Let s = 4.79 + -4.59. Does s = u?
False
Suppose 3*h + 44 = w + 1, 3*h = 5*w - 23. Suppose 3*v = -2*g + 54, -5*g = -0*v + 2*v - 157. Let j = g + h. Are 0.1 and j equal?
False
Let y(d) = 3*d**3 + 0*d**2 + d - d**3 - 3*d**2. Let s be y(2). Let c = -1340 + 1348. Which is bigger: s or c?
c
Let q be 5 + 4 + -17 + 8. Is -12/35 smaller than q?
True
Let n = 0 + 2. Let i = -17.8 + 13.8. Do i and n have the same value?
False
Let r be (4/6)/(1/6). Suppose v - 25 = 2*x, -r*v = 2*x + v - 5. Let q = -8689 - -8679. Are q and x nonequal?
False
Let h(g) = 8*g + 40. Suppose -4*y = -4*a + 48, -5*y + 0*a - 52 = -a. Let r be h(y). Which is smaller: r or -39?
r
Suppose -37 - 635 = -6*u. Let a = u - 104. Which is greater: 0 or a?
a
Let y(g) = -g**3 + 5*g - 3. Let a(h) = 5*h**2 - h. Let b be a(-1). Let u be y(b). Let o = u + 1699/9. Which is greater: -4 or o?
o
Let w be 2*(4 + -1 + -4). Let k be ((-7)/(-14))/(w/(-16)). Suppose -3*u = -k + 7. Which is bigger: u or -2?
u
Let c = 565 + -467. Which is smaller: c or 0?
0
Let j(z) = z**2 + 17*z - 16. Let f be j(-18). Let s = -35.8 - -33. Let o = -2.7 - s. Which is bigger: f or o?
f
Let j be -1 + 1*2*237/420. Let u = j + 103/70. Are 3 and u nonequal?
True
Let u = 0.475 - 0.575. Which is smaller: -137 or u?
-137
Let l = 0.44 + -7.44. Let r = 0 + 0.1. Let t = -0.1 + r. Is l at least t?
False
Let k = 10 - 7. Let w = 42.6 - 39.62. Let t = w - k. Is t not equal to -0.1?
True
Let q = 2278/5 - 456. Which is smaller: 4/37 or q?
q
Let w = -517 + 399. Is w at least as big as -0.1?
False
Let w(x) = x - 12. Let k = 15 + 2. Let q be w(k). Which is bigger: q or 4?
q
Let a(y) = -y - 22. Let s be a(-8). Let n = 11 - s. Are 26 and n equal?
False
Suppose -5*d - 104 = -2*f, -2*f + 5*f + 75 = -3*d. Which is greater: d or -19?
-19
Let y be ((-389852)/(-5174))/(-1) - -2. Let l = y - 344/199. Let j = -75 - l. Are j and -1 nonequal?
True
Suppose 2*v + 0*z = -4*z + 10, -8 = -3*v + z. Which is smaller: v or -3?
-3
Let u = -384 + 383.9. Does -418 = u?
False
Let y = 653.2 + -653. Which is smaller: 3/11 or y?
y
Let l be -54*(-2)/12*-16. Is l less than or equal to -142?
True
Let f = 3.9 + -3.882. Let b = f - -2.982. Is -4/5 bigger than b?
False
Let v be ((-11424)/560)/(28/(-5)). Which is smaller: 3 or v?
3
Let a(t) = -t**3 + 5*t**2 - 4*t - 3. Let n be a(4). Let h be 0/(12/n) - -24. Suppose -5*q - q - h = 0. Is q bigger than -4?
False
Let w(t) = -t**2 + 2*t + 8. Let o(j) = -2*j**2 + 4*j + 15. Let s(m) = 2*o(m) - 5*w(m). Let v be s(5). Is v less than 25/4?
True
Let a = 5674513/419 - 13543. Which is smaller: a or 1?
a
Let t(k) = -3*k**2 - 64*k + 45. Let z be t(-22). Let v = 574 - 7456/13. Which is smaller: z or v?
v
Let k be 2 + 25/(-40) - 2. Which is smaller: -2 or k?
-2
Let x = 347 - 8327/24. Is 0 at most x?
True
Suppose 2*y - 208 = -4*s, 0 = 4*s - 18*y + 13*y - 180. Are s and 48 equal?
False
Let l be ((-28)/30)/(-7)*18/(-12). Is l >= -64?
True
Suppose 3*j + 9 = -i, -1 = 2*i + i - 4*j. Let v = -3060/371 + 210/53. Is v >= i?
False
Suppose -5*h + 210 + 105 = 0. Let q(k) = -k**3 + 10*k**2 - 8*k. Let a be q(8). Which is smaller: h or a?
h
Suppose -3*n = 12 - 6. Let b(h) = -4*h - 4 + 1 + 3*h + 1. Let j be b(n). Which is smaller: 1/3 or j?
j
Let r = 710 - 760. Is -48 >= r?
True
Let m = -0.21 - -0.26. Let t = -1.05 + m. Let y = -6.2 + 6. Which is smaller: t or y?
t
Let a = -5922/17 - -347. Which is bigger: a or -1?
-1
Let v be ((-1)/3)/((-3)/9). Let j = -187 + 6172/33. Let w = 5/44 - j. Is w at least as big as v?
False
Let g = 1.9 - 12.9. Which is smaller: 0.4 or g?
g
Let z = -3.745 + 0.745. Is -58 smaller than z?
True
Let x = -3.84 + -0.16. Let o = -9 + x. Let p = 23 + o. Which is smaller: p or -1?
-1
Suppose 0 = y + 3*t - 29, -5*t + 2*t = 3*y - 81. Let g = -22 + y. Which is bigger: g or 0.5?
g
Let d be (36 + -40)*(-10)/8. Which is bigger: d or 6?
6
Let l(x) = 2*x**2 - x - 52. Let q be l(14). Which is bigger: 325 or q?
q
Let n(d) = -d**2 + d + 8. Let z be n(-3). Let i be 8/(-2) - (z + (-1)/(-1)). Which is bigger: i or -2/235?
-2/235
Suppose c - 5 + 1 = 0, -5*c = -4*u - 20. Suppose 0 = -u*v + 5*v + 35. Which is smaller: v or -2?
v
Let y = -0.044 + 0.05. Suppose 4*r = -4*m + 20, 133*r - 135*r - 10 = -2*m. Is y > r?
True
Let s = 41 - 33. Are 46/5 and s unequal?
True
Let t be -2*(226/(-76) - -3). Let i = 35/304 + t. Is i bigger than -2/5?
True
Let v be -2 - 1/1 - 31/(-11). Let b = 19 + -15. Let q be (-1)/b - (-7)/28. Is q at most v?
False
Let a = 2 - 3. Let y be 0/(0 + (-2)/a). Let x be (3 - y/2) + 0. Is 0 greater than or equal to x?
False
Let s = -0.2 + -3.2. Let c = -3.9 - s. Is c <= 1?
True
Suppose -15 = -q - 0*k + 4*k, -2*q - 5*k - 22 = 0. Let f(t) = t**2 + 6*t - 8. Let h be f(-6). Let i be ((-3)/66)/((-2)/h). Is q greater than i?
False
Suppose 0 = -36*p - 17*p + 13*p. Which is smaller: p or -38/75?
-38/75
Let y = 35 - -29. Let r = 64 - y. Which is greater: -26 or r?
r
Let c = -40 - -40.34. Let t = 5.34 - c. Are 1 and t unequal?
True
Let k(p) = 2*p + 7. Let r be k(-6). Let g be -18 - -20 - 2/(-6)*r. Is g less than -1?
False
Let t be (-3 - -7)*4/4. Suppose -t*q + q + 42 = 0. Let v = 15 - q. Which is smaller: v or 2/39?
2/39
Let b = -0.05 + -0.95. Let h be 6*(-8)/(-36)*(-25)/(-20). Which is bigger: b or h?
h
Let w(h) = -h**3 - 2*h**2 + 5*h + 4. Let n be w(-3). Let l be (-5 - n) + 2 - -1. Let a be (66/22)/(138/(-4)). Are l and a unequal?
True
Let t = -5 + 4.9. Let u = -0.33 - -0.53. Which is greater: u or t?
u
Suppose 1036 = -70*z + 84*z. Is 80 at least z?
True
Let g(i) = i**3 + 25*i**2 + 102*i + 40. Let z be g(-20). Are z and -1/527 equal?
False
Let q(b) = b + 8. Let x(k) = -3*k - 24. Let v(a) = 7*q(a) + 2*x(a). Let j be v(-6). Let n be ((-3)/j)/(9/(-6)). Is -1/7 >= n?
False
Let i be ((-3)/(-8))/(3/(-2)). Let y = 34.409 - 34.36. Which is smaller: y or i?
i
Let q(f) = -4*f**3 - 2*f**2 - f. Suppose 2*r + 0 = -2. Let p be q(r). Do p and 4 have the same value?
False
Suppose -38*p + 832 = -42*p. Which is greater: -209 or p?
p
Let s = 6 + 6. Let b be 84/8 - (0 - 0). Are s and b nonequal?
True
Suppose 278 - 743 = c. Is -465 <= c?
True
Let d = 2/153 + 296/765. Let z be -7 + -11 + 7176/403. Which is bigger: d or z?
d
Let y(f) be the second derivative of f**4/12 - 4*f**2 + 22*f. Let v be y(-3). Is v < 1/3?
False
Let x be (-1 - (-45)/5)*525/(-28). Is x not equal to -150?
False
Let x be (-23)/(13/(-6) - (-30)/30). Is x less than 21?
True
Suppose 3*l - 35 = -l + 3*h, 5*l - 5*h = 45. Let c(r) = 5*r - 13. Let x be c(l). Let j = x + -14. Are 14 and j equal?
False
Let w = 165.41 + -11.41. Which is bigger: 0 or w?
w
Let p = -446 - -445. Which is greater: 4/9 or p?
4/9
Let j = 4 + -4. Suppose 6*f + 28 = 4*f + y, f - y + 15 = 0. Let s be 10 + f + 0*1/1. Is s > j?
False
Let t be (-3 - (8 + -3)) + 59. Are 51 and t non-equal?
False
Let v = -9055 - -135739/15. Let l = -32/5 - v. Which is bigger: l or 5/2?
5/2
Let t = 1553 - 40373/26. Let j = -2/543 + 595/14118. Let z = t - j. Is -1/3 <= z?
True
Let o = 707 + -696. Which is greater: -4 or o?
o
Let z = -981 + 1569. Do z and 589 have the same value?
False
Let l = 1.006 - 0.69. Let n = -16.216 + l. Let j = n + 16. Which is bigger: j or -5?
j
Let v = 2/20041 - -159678/6513325. Which is greater: -1 or v?
v
Suppose 0 = -52*y + 51*y + 2446. Let i = 335104/137 - y. Which is smaller: i or -1?
-1
Let m = 7.7 - -2.3. Suppose -5*k = -55 - 80. Let n = -26 + k. Which is smaller: m or n?
n
Let y be (-14)/((-11564)/21)*-2. Is y bigger than -1?
True
Let z = 539 + -566.9. Let f = -28 - z. Let r = f + 0.07. Is r at most as big as -2/5?
False
Let v(f) = 2*f**3 - 17*f**2 - 54*f + 23. Let r be v(11). Let z be (-2 - (1 - -30))*-1. Is z