19 + -57*20/(-60). Are t and 0.10026 equal?
False
Let v = 1756 + -1837.1. Let z = v - -78. Let a = z + 3.3. Is a at least as big as -4?
True
Let j = -6086/3 - -541664/267. Which is bigger: j or 1?
1
Let n be (2 - 3)*156/6. Let u(i) = -10*i**2 - i. Let a be u(-1). Let j be (a/(-2))/(9/(-54)). Which is smaller: n or j?
j
Let f(l) = 1584*l - 711. Let p be f(1). Which is smaller: p or 2?
2
Suppose -18*p + 365*p + 22*p = -369. Which is greater: p or 2/4915?
2/4915
Suppose 10609*z = 10616*z + 3458. Are z and -496 equal?
False
Let x = -1.331 + -2.669. Let j be -2 - 5/((-15)/81). Which is bigger: j or x?
j
Suppose -194*x - 3*l = -189*x - 4, -10 = -2*x - 4*l. Let z be (-2 + -2 + 3)*-85. Is z at most x?
False
Let n(y) = 1266*y + 65. Let i be n(3). Is 3863 not equal to i?
False
Let x = 69.901 - -0.099. Let v = -64.083 - -0.083. Let w = x + v. Which is bigger: w or -2/9?
w
Let r = -53 - -55. Suppose 519 = 3*u + 3*v, -522 = 3*u - 6*u - r*v. Let b be -2*(4 + u/(-46)). Is b less than -1?
False
Let r(w) = -17*w**2 - 70*w + 13. Let l be r(-7). Let z be -1 + (-1615)/5 - 5. Which is smaller: l or z?
l
Let g = 1.0189 + 2.9811. Which is greater: -189/8 or g?
g
Suppose 4*w - w - 15 = 0. Let o be (-1)/(-1)*(4 - w). Let k = -160892 - -160891. Is k > o?
False
Let l be (-7 + 5 + -5 + 6)/1. Is -6/181 at most l?
False
Suppose -4*a + 8 = -0*a. Let k be (-20)/16 + a/8. Which is smaller: 8/35 or k?
k
Suppose 5*w - 2*l - 3*l - 525 = 0, -l = 5*w - 531. Suppose 4*j = -4*r - 164, 4*j + 57 = -3*r - w. Which is smaller: j or -39?
j
Suppose -5*f + 5*y = -20, 0 = -f + 4*y + 2 + 17. Let u be 20/276 - f/(-3). Is 1 greater than u?
True
Let p = -4 - -16. Let d = -4921 + 4908.9. Let v = d + p. Is 4 at most v?
False
Let f = 39.02 - 40.02. Is 115.9 at most f?
False
Let w = -4863 + 24319/5. Is 1013 >= w?
True
Let v be 2*(-2 + 3 + -2). Let t be (42/4)/3*v. Suppose -2*b = 8*i - 12, -5*i = -i - 12. Is b > t?
True
Let c be (6/135)/((-3)/(-9))*1155/70. Which is greater: c or 92?
92
Let r(w) = w**2 - 9*w - 488. Let t be r(56). Is 2143 >= t?
False
Suppose 7079 = 22*s - 269. Suppose 0 = -q + 4*x + 73, 4*q + x - s = 3*x. Is -0.2 at most as big as q?
True
Let p = -39290/17 - -2311. Which is greater: p or 12?
12
Let m be -2 - (87/99 - 2). Let o = m + 28/11. Let x = -1922 + 1925. Which is smaller: x or o?
o
Suppose 19*r + 3225 = -r + 5*r. Is -214 < r?
False
Let q(r) = 716*r - 2865. Let i be q(4). Do i and -112/47 have the same value?
False
Suppose -124*d = -168*d - 30756. Is -698 at least d?
True
Let q = 175/8 - 5059/232. Let y = 26 + -45. Let t = -18.7 - y. Which is smaller: q or t?
q
Let t be 6/20 - 608231021/(-130530). Let q = 4660 - t. Is q < -1?
False
Let l = -22630 + 22400. Is l < -2.7?
True
Let z be (1491/(-994))/(-3*1/6610). Are 0.1 and z equal?
False
Let w be ((-9)/3 - -2)*-1. Let z = -418 + 757. Let p = -6781/20 + z. Which is greater: p or w?
w
Let i be ((-2)/(-8))/(3798/(-120)). Is i at most -1?
False
Let i be 1 + 3 - (-47)/(-11). Suppose 0*l + 175 = 7*l. Suppose -4*t - 20 = 5*g, 2*t - l = 5*g + 7*t. Which is greater: g or i?
g
Let g = 1/21366 + 128167/619614. Let j be 0/((6/(-2))/3). Is g >= j?
True
Let j = 212 - 212. Suppose 55*y - 54*y = j. Which is bigger: y or -1/12?
y
Let s be (5/(-43))/((-4063)/(-7021)). Let u = -9/43 - s. Which is greater: u or -1?
u
Let x = -316 + 121. Let w = x + 140. Let p = w - -55. Is p > -65?
True
Let j = 129 - 126. Let t be (3/(-12) - (-214)/(-72)) + j. Which is greater: 38 or t?
38
Let b(v) = 5*v**3 + 111*v**2 + 28*v + 125. Let x be b(-22). Suppose 10 + 4 = -o. Which is smaller: o or x?
o
Let c be 50496/(-42) - (4/(-14))/(6 - 5). Is c at most -1203?
False
Suppose -36 = -23*t + 27*t - 13*t. Is t smaller than 93/20?
True
Let t = -30.5 - -29.822. Let s = t - 57.322. Which is smaller: s or 0.1?
s
Let j = -201 + 222.04. Let t = -21.1 + j. Which is smaller: -0.12 or t?
-0.12
Let l be (-96)/(-64)*9/((-1134)/24). Let g be 29/13 + (-1)/(-1). Which is bigger: l or g?
g
Let m = -1/569 - -1723/9104. Let r(x) = -x**3 + 20*x**2 - 89*x + 224. Let n be r(15). Is n at least as big as m?
True
Let t(g) = -2 + 2*g**2 + 2*g - 2*g - 6*g. Let i be t(5). Let p be 7854/1155*10/4. Which is smaller: i or p?
p
Let q(t) = -40*t**2 - 55*t + 84. Let o be q(-7). Which is smaller: -1483 or o?
o
Let r = 349.69 + -0.69. Let l = 348.99 - r. Are -16 and l nonequal?
True
Let q = 93012 - 652170/7. Is -154 at least q?
True
Let w = 307 + -310. Let j be -29 - -25 - 11/w. Which is greater: j or -0.0014?
-0.0014
Let k = 3656 + -3610. Let m = 84 - 41. Is k > m?
True
Let d(z) = -z**2 + 13*z - 2. Let x be d(10). Let i be (215/215)/(2/62). Which is smaller: x or i?
x
Let z be (0 - 0 - -1) + (1901760/(-105660) - -17). Is z less than or equal to 0.8?
True
Let g(s) = -12 - 32*s - 3*s**2 + 5*s**2 + 39*s - 3*s**2. Let m be g(7). Let w be (-2)/m*-2 + 2/18. Is -0.9 <= w?
True
Let s(c) = -c**3 - 39*c**2 - 169*c + 33. Let h be s(-34). Suppose 5*k - t = -55, -2*k - 27 = 4*t + 17. Let l be (2/8)/(k/42). Which is smaller: l or h?
h
Let d be 2*((-4)/398)/(-1). Suppose -93*i - 11 = -49*i + 33. Which is greater: i or d?
d
Suppose 127*r - 122*r = -o - 291, -5*o - 2*r - 1294 = 0. Are -254 and o non-equal?
True
Let k = 74 - 74.013. Let s = k + -41.987. Let z = -42.1 - s. Is z > -35?
True
Suppose -3*x + 846 = -5*v, 2*v = 4*x - 218 - 112. Let c = -177 - v. Which is smaller: -2/59 or c?
c
Let a(q) = -2*q + 0 - 3 - q**2 - q. Let r be a(-3). Let v = -414 - -410. Which is bigger: r or v?
r
Let n = -1.9 - -2.07. Let u be (-6)/(-3)*(-8 - 470/(-60)). Which is smaller: n or u?
u
Let b(q) = -q**2 - 8*q + 17. Let l be b(-9). Let n be ((-208)/13)/((-2)/l). Let p be n/6 + 24/(-36) + -4. Is 60/11 bigger than p?
False
Let i = 49.4 - 68. Let o = i + 25. Let a = o + 0.6. Which is smaller: 3 or a?
3
Let k be (0 - 0) + (-7)/(-6). Let m = -32851 + 32847. Is m greater than or equal to k?
False
Let o(c) = -c**2 + 6*c + 5. Let f(u) be the first derivative of u**4/4 - 5*u**3/3 - 2*u**2 - 7*u + 20. Let r be f(6). Let i be o(r). Which is smaller: 8 or i?
8
Let n be 3104 - (-7 - -176)/13. Do 3091 and n have different values?
False
Let m(d) = -d**2 + d. Let q be m(1). Let i be 4688/525349*10/80. Which is smaller: q or i?
q
Let n = -348.594 + 2.394. Let z = -346 - n. Does 15/8 = z?
False
Let v be 1 - (-7954)/22 - 1/(22/12). Is -1.1 less than v?
True
Suppose 344*f - 106*f = 244*f + 66. Let s = 30 + -43. Is f > s?
True
Let k = 71 - 69. Suppose k*y + i + 281 = 0, -i = -2*y + 7*y + 695. Which is smaller: -136 or y?
y
Let g(l) = -244*l**2 + 10*l - 19. Let z be g(2). Let n = -512 - z. Let c = 19907/43 - n. Are 1 and c equal?
False
Let b = -0.86 - -1.78. Let w = b + 0.08. Suppose 7*q + 5*u = 2*q + 160, -u + 5 = 0. Which is greater: q or w?
q
Let i = -124201/10 + 12398. Which is smaller: -22 or i?
i
Let m be (-35)/(-25)*6/(-21) - 55620/(-175). Which is bigger: m or 317?
m
Let r = 223 - 223.061. Let f = -0.161 - r. Which is greater: -4 or f?
f
Suppose -5820 = 31*d + 32*d + 3630. Which is bigger: 14 or d?
14
Suppose 0 = -14*j + 40 + 170. Suppose -j*a + 4*a = 506. Is a smaller than -46?
False
Let h = 248 - 406. Let n be h/960 - (-18)/135. Let j(l) = -l**2 - 6*l. Let x be j(-6). Is n <= x?
True
Let c(y) = y**2 - 4*y + 4. Let w be c(4). Let q(j) = j**2 - 5*j + 4. Let z be q(w). Let l = 2213209/91 + -24321. Which is smaller: l or z?
l
Let l be -2 + -12 + (-10)/45*3. Suppose n = -4*g - 4*n - 50, n = 4*g + 62. Which is greater: l or g?
l
Let t be -4 - (20/(-6) - (-20)/15). Let n be ((0 - t)*-1)/((-20)/30). Which is smaller: n or -2/13?
-2/13
Let d be 532 - 5/(25/20). Let w be ((-10)/(-4))/((-24)/d). Let k = -56 - w. Is k at least as big as -0.1?
False
Let u = -362 + 366. Suppose y = 5*q + 596, u*q - y = y - 478. Which is greater: q or -120?
q
Let m be (-4)/24 + 844/24. Let h be (3/(-186))/(-4 + m/10). Which is smaller: 0.1 or h?
h
Let q(t) be the third derivative of t**4/8 + 25*t**3/2 - t**2 - 7*t. Let b be q(-25). Is b smaller than 13/12?
True
Suppose -83*l - 30*l - 124187 = 0. Which is smaller: -1098 or l?
l
Let r be 1 + 8 - (-24 + 1050209/31824). Is 0 greater than r?
True
Let q = 81.1 + -79.1. Let a = 42 + -39. Which is greater: q or a?
a
Suppose -b + 6*b + 35 = 0. Let c be 1 - (-2)/(-3)*(4 + b). Suppose -c*h - 11 = -3*g - 26, -5*g = 5*h - 15. Do h and -2 have