7/1188. Is -2/9 != k?
True
Suppose 2*d = v - 1237, 6*d = d - 4*v - 3060. Let s = d - -4302/7. Let g = 4591 - 4593. Which is bigger: s or g?
s
Let t = 25/508 + -38/127. Which is bigger: 17 or t?
17
Let y be (2/(-7) + 23667114/(-42))*4. Let w = -56314544/25 - y. Let g = w - 1430. Does g = 0?
False
Let i = 87 - 87. Suppose -168 = -4*h + 4*b, 2*h - 6*b + 7*b - 78 = i. Let c be 4/18 + (-1468)/(-36). Is c at most as big as h?
False
Let m be ((-460)/(-365))/(41/18). Let y = 21/41 - m. Let i(u) = 6*u + 65. Let q be i(-11). Is y at most as big as q?
False
Let c = 10483 + -10487. Is 358 equal to c?
False
Let d be (0 + -10)/(-1) - (3 - -1). Let y be 60 + 1 + d + -8 + -1. Let h be ((-3)/2)/(-3)*(-4)/y. Which is smaller: -1 or h?
-1
Let c = -8 - 38. Let t = 45 + c. Let x be 4 - 7/(266/153). Is x != t?
True
Let d(x) = -7*x**2 - 443*x - 503. Let f be d(-59). Which is bigger: 1265 or f?
f
Let d = 429 + -83. Let x = d - 403. Is 3 greater than or equal to x?
True
Let w be -3*12/(-45) - ((-90360)/(-75) + 25). Is w at most as big as -1229?
True
Suppose 2*t - 2*o - 10 = 0, o = -4*t + 4 + 11. Suppose -2*v + t = 0, -2 = -5*q + 5*v - 7. Which is greater: -2/673 or q?
q
Let u(i) = i + 53. Let f(r) = 3*r + 132. Let m(a) = 5*f(a) - 12*u(a). Let w be m(-10). Let b = -6 + -1. Which is bigger: w or b?
w
Let l(r) = -r + 31. Let d be l(11). Let h be d/30 + (-183)/(-36). Are 5 and h unequal?
True
Let z(u) = 6*u**3 - 6*u**2 - 6*u + 8. Let v(t) = 7*t**3 - 7*t**2 - 7*t + 9. Let f(o) = -5*v(o) + 6*z(o). Let a be f(1). Which is smaller: a or -0.092?
-0.092
Let v(b) = 28*b - 3772. Let g be v(-6). Is g >= -3937?
False
Let q be -16 - (2 - 2/(-2)). Let r = -48.8 - -52.8. Is q bigger than r?
False
Let f be -10*14/(-1225)*-30. Let j(g) = -g**3 - 8*g**2 + 10*g + 5. Let z(c) = -1. Let w(t) = j(t) - z(t). Let q be w(-9). Which is greater: f or q?
q
Suppose -274 = -4*x - 302. Which is bigger: 148 or x?
148
Let f be 6/45 - 2832/(-360). Let d be (-17115)/(-55) + f/(-44). Is d at most 311?
True
Let u be (28 + 3)*-1 - 4. Let r = 25 + u. Which is smaller: r or -8?
r
Let c(a) = -2*a**3 + 13*a**2 - 3*a + 8. Let f(n) = -n - 1. Let y(v) = -c(v) + 6*f(v). Let b be y(7). Let u be (-4)/b - (-140)/147. Which is greater: u or 2?
2
Let s = -284 - -330. Let x = 48 - s. Which is bigger: 44 or x?
44
Let f = -2783 + 2727. Which is smaller: f or 0.177?
f
Let i be 1/8 - 59455/481528. Is 0 != i?
True
Let g(o) = -4*o**2 - 581*o + 285. Let l be g(-99). Which is smaller: l or 18599?
18599
Let b(y) be the first derivative of -y**3/3 - 3*y**2 + 2*y + 44. Let l be b(-7). Let f be -1*18/3*1. Do f and l have the same value?
False
Suppose 10*a - 15*a - 39561 = 3*s, -6*a = 2*s + 26398. Which is greater: s or -13173?
s
Let i be (-27)/72 - 110/176. Let o = 1 + -1.5. Let a = o - -0.3. Is i > a?
False
Let q be (-178)/(-3 + 2 + 3). Suppose 0 = 2*g + 3*w + 185, 9*g - 11*g + 3*w = 179. Is g at least q?
False
Suppose 6 = 4829*d - 4835*d. Is 2/99257 less than or equal to d?
False
Let h = -185 - -183. Let c = 11383/42 - 271. Let f = -583/210 - c. Is h smaller than f?
False
Suppose 2*x = -d + 15, -4*d + 5*x + 3 = -2*d. Let m be (-18)/(-4)*5/(30/24). Let i be 3/(m/(-14))*(-6 - -3). Which is smaller: d or i?
i
Let a be 1 - -39 - (-4 + 2). Let f be 140472/3276 + (-16)/52. Which is smaller: a or f?
a
Let r = -5902599/104 + 56757. Which is smaller: r or 0?
0
Let f = -11366 - -9735. Which is greater: -6529/4 or f?
f
Let y = -0.08901 + -0.01099. Is y bigger than 124?
False
Suppose 0 = 6*y - 55 + 13. Suppose 0 = -t - 3*l + l - 5, 4*l = 20. Let o be -15*(-3 + t/(-6)). Is o greater than y?
True
Suppose -18*m + 17*m = 0. Let j be -3 - 36/(-10) - 33818/(-195). Let p = j + -174. Which is bigger: m or p?
p
Let f be (3138/314 - 10)*2. Suppose 5*a + 0*a = 0. Which is bigger: a or f?
a
Suppose 0 = -83*d + 89*d - 2298. Let j = 371 - d. Which is smaller: -34/3 or j?
j
Suppose -16*i = 227*i + 515 - 29. Which is bigger: -117/37 or i?
i
Let i(o) = 101*o**3 + o**2 - 3*o + 1. Let v be i(1). Let g be (v - 104) + 3 + 0/1. Suppose 3*q = 5*a + 1, 5*a + q + 13 = -0*q. Which is smaller: a or g?
a
Suppose -3*g + 227 = 1142. Let i = g + 305. Are i and -38/33 equal?
False
Let c be (-55)/(-3) - (-4)/6. Let u(j) = 71*j**2 - j - 36. Let m be u(0). Let w = m + c. Is -19 less than w?
True
Let w = -20117 + 20117. Which is bigger: -344 or w?
w
Let z = -7086/28885 + 72/545. Let n = -2 - -2. Which is greater: n or z?
n
Let x be 6 - (3/3 - -2). Suppose -12 = r - x*y, 0 = 2*r - 3*y + 6 + 6. Is r != -16/15?
True
Let d be (-36 - -36) + (2*-7)/(-2). Suppose 8*u - d - 9 = 0. Let y be 4*(-4)/((-160)/12). Is y not equal to u?
True
Suppose 4*l - y + 2*y + 261 = 0, -103 = 2*l - 5*y. Let j = -385/6 - l. Let v = -29/3 - -151/15. Is j not equal to v?
True
Let x(o) = 5*o + 6. Let y be x(10). Let f be (1 - -4) + (-6)/(-3) + 0. Suppose -f*m = m - 6*m. Which is greater: y or m?
y
Let b be (-115372)/(-40) - 15/50. Suppose -18*u - b - 608 = 0. Is -194 greater than or equal to u?
True
Let w(j) = 46*j + 45. Let p be w(-1). Is p greater than 9/940?
False
Let k = -0.109 + 0.029. Let n = 0.38 - k. Let s = 1.46 - n. Which is smaller: s or 4?
s
Suppose 5*t = 4*t - 2. Let m = -562 + 561. Let c be 54/108 + (1/t)/m. Which is smaller: c or 3/76?
3/76
Suppose -10*o - 75*o = -1700. Let y = 11 - 9. Let f be 50/(-1)*y/(-5). Are f and o unequal?
False
Let z be 625 + (-12)/54*-54. Is z less than 633?
False
Suppose 4*u + 0*u - 20 = 0. Suppose -u*g + 48 = -3*g. Let a be (7 - 8)*g/1. Is -23 > a?
True
Let b(w) = -w**3 + 4*w**2 + 5. Let v be b(4). Suppose 3*k + v*f + 23 = 110, -2*f = -5*k + 114. Let m be 366/15 - 18/45. Is k less than or equal to m?
True
Let m be ((-16)/10)/((-54)/(-135)). Let b(y) = -y**3 - 2*y**2 + 7*y + 24. Let w be b(m). Which is bigger: 32 or w?
32
Let u(o) = o**2 - 10*o + 13. Let y be u(9). Suppose -103 = -y*h - 5*r, -3*h + 3*r + 60 = 3. Suppose 0 = 6*d - 2*d - 84. Which is greater: h or d?
h
Suppose -2*p = -q + 305, 5*p = 3*q - 158 - 606. Which is smaller: -15 or p?
p
Let o = 13110 - 4971. Let x = o - 1212721/149. Let j = x - 187/3874. Are 0 and j nonequal?
True
Let s be 1*(24735/63 + (-38)/(-57)). Which is smaller: s or 394?
s
Let f(y) = -y**2 - 4*y - 3. Let c be f(-2). Let s = -142 + 291. Let d = s - 1333/9. Which is bigger: c or d?
c
Let s(d) = d**3 - 3*d + 1. Let m be s(2). Suppose 91*h + 9 = 92*h. Let u be 21/h + (0 - (-2)/3). Does u = m?
True
Let d = -388 - -392. Suppose d*g = -5*n + 135 + 5, -2*n - 4*g = -44. Are 30 and n nonequal?
True
Let i(w) = -w**2 - 101*w + 100. Let s be i(1). Is -55/103 <= s?
False
Let f = 96 - 113.8. Let d = f - -71.8. Are 1 and d equal?
False
Let f be (2 + -1)*-772*8/(-32). Let x = f + -193. Is -14 != x?
True
Let c = 15513 + -31025/2. Which is smaller: c or 880?
c
Let u = -114 - 166. Let p = -281 - u. Is p > 5?
False
Let s = -38 - -30. Let g = s - -10. Suppose 0*f - 56 = -4*f - 4*u, -20 = -2*f + g*u. Is f bigger than 12?
False
Let n be 8 + -12 + -633*(-6)/252. Which is bigger: 10 or n?
n
Let q be (4 - (-164)/160*-4)/(122/(-305)). Is q greater than 1369/2?
False
Let o be 888/(-2196) + (-3)/(-9). Which is smaller: o or 1?
o
Let f = -2620.5989 + 2619.1. Let v = -0.0011 + f. Is v less than -2/19?
True
Suppose 161*x + 42 = 167*x. Is 94 bigger than x?
True
Let c be -4 + (-650)/(-34) + (-2)/17. Suppose 22*u = 23*u - c. Let x be (-16)/(-56) + u/(-28). Which is smaller: 5/3 or x?
x
Let z = -99808/9 + 11114. Let t = z + -5477/225. Which is bigger: 2 or t?
2
Suppose -3*m + 44 = 4*p, m + 4*m + 2*p - 78 = 0. Let d be 198/592 + (-6)/m. Is d <= 1?
True
Let w = -228 - -41. Let a = w + 189. Is a at most as big as 24/17?
False
Suppose 0 = -5*y + 8*y - 1938. Suppose -y + 174 = 4*s. Let n be (-4 + 19)/(-5) - 346/s. Which is smaller: 1 or n?
n
Suppose -27*p + 5*j = -24*p - 129, 91 = 2*p - 5*j. Which is greater: -1 or p?
p
Let w = 1311 - 1575. Let q(j) = 2*j**3 + 2*j - 5. Let z be q(-5). Which is smaller: z or w?
z
Suppose -5*i - 154*s = -157*s - 11, -i = 4*s + 7. Which is smaller: i or 3/2045?
3/2045
Suppose -3*n = -2*f + 10, -n + 3*f - 8*f + 25 = 0. Is n smaller than 1/3190?
True
Let i = 3074 + -3075. Is -3/2252 less than i?
False
Suppose -c - 27 = 11*r - 10*r, -3*r = -c - 19. Let o = 6 + -7. Let f(b) = 25*b**3 + 2*b**2 + b. Let i be f(o). Which is smaller: i or c?
c
Suppo