e (-3)/(-6)*-4 - 1 - -2. Let t be ((-48)/(-2))/(93/51 + y). Let s = -29 + t. Which is bigger: s or 0.01?
s
Let k(g) = g**3 - 14*g**2 - 5*g + 61. Let f be k(14). Let d be (-2)/f + 272/(-9). Which is smaller: d or -2?
d
Let f = -182269561/404 - -451160. Let j = f + 3/101. Let y = 3 - 6. Do y and j have different values?
True
Let i(z) = z**2 + 2*z - 5. Let m be i(-4). Suppose -x = 5*f - 71, 0*x - 5*f = m*x - 243. Let w = 254/3 - x. Which is smaller: -1 or w?
w
Suppose -28*n = 5*n - 165. Let p be 40/15 + (-1)/(-3). Suppose -14 = -p*l - n. Which is smaller: -18 or l?
-18
Suppose -1548 + 13602 - 714 = -270*c. Suppose -4*t + 16 = -0*t. Suppose 7*g - t*g = -126. Is c at least g?
True
Let u be -1 + -89 - (51/102)/(1/(-2)). Which is smaller: u or -88?
u
Suppose d + 29*u - 33*u - 9 = 0, 4*u = -5*d + 21. Is d less than 2180?
True
Let k(j) = -j**3 + 12*j**2 + 33*j - 71. Let v be k(14). Is -1/25821 at least v?
True
Let g be 1/(1/2*2). Suppose -2*q - 2163 = 3*u, -3*q - 512 = -2*u - 1941. Let h = u - -22287/31. Is g equal to h?
False
Let n = -130 - -135. Suppose 0 = 4*q + n*r + 175, 0 = -8*q + 7*q + 2*r - 60. Is -50 at most as big as q?
True
Let v be 3/(-6) - 292/(-8). Suppose 2*w - v = 3*w. Let q be w/27 - (2 + (-8)/6). Which is smaller: q or -10/11?
q
Suppose 0 = -13*p + 16*p - 681. Let h = p + -391. Let k = h - -4427/27. Which is smaller: 1 or k?
k
Suppose 2*x + 3*d - 9 = -35, -2*d = -5*x + 11. Which is smaller: 4/6097 or x?
x
Let n(j) = -27*j + 105. Let h(g) = -5*g + 21. Let o(u) = 11*h(u) - 2*n(u). Let p be o(25). Which is bigger: p or -12?
p
Let x = -2.054 + -0.206. Let i = x - -1.96. Let g = 0.1 - 0.22. Does i = g?
False
Suppose -3*n - u - 37 = 0, -25 = 3*n + 5*u + 28. Let h(q) = 19*q + 106. Let t be h(-6). Let o be 4/t + n/4. Is o at most as big as -4?
False
Let b be (-1041)/(-9) + 5 + 4. Let z = 110 - b. Is -14 smaller than z?
False
Let m(u) = -2*u**2 + 4*u + 5. Let n be m(6). Let b(w) = -4*w**2 - 209*w - 291. Let z be b(-51). Which is bigger: n or z?
z
Let a be ((-6)/(-15))/((-4)/(-10)). Let k be (-34040)/120176 + (-1 - 9/(-7)). Do k and a have different values?
True
Let d = -14 + 25. Let t = 2 - d. Let k = -2 + 4. Is t > k?
False
Suppose 651*j - 516*j = 0. Let v = 0 + 2. Let a be -2 + (50/12 - v). Which is bigger: a or j?
a
Suppose -2*y + 144 = 16*y. Suppose 34 = y*o - 118. Suppose 2*q + 0*n - 32 = -3*n, 0 = 4*q - n - 78. Are q and o nonequal?
False
Let z be 8/3*(26 + 2238/(-84)). Is -5 greater than z?
False
Let o = 3595 - 3595. Which is smaller: o or 4/323?
o
Let p(j) = 4*j + 88. Let q be p(-22). Suppose 17*d - 37*d + 980 = q. Which is greater: d or 46?
d
Let w = 0.4 - 0.1. Let f be -2826 - -2818 - ((-30)/8 - 1). Which is bigger: f or w?
w
Let y = 2041/4122 + 10/2061. Let m = 36 - 36.66. Are y and m equal?
False
Let y = 2 - 2.1. Let c = 127 + -30. Suppose 7*p - 5*j = 5*p + 29, -3*j + c = 4*p. Do y and p have different values?
True
Let q be 85 + ((-40)/(-5))/(-4). Suppose -78*l = -q*l - 50. Let p be (-2*2/l)/((-4)/580). Is -58 != p?
False
Suppose -1392 = -2*k - 4*h, 4*h - 2082 = -3*k + h. Suppose -816*x = -812*x - k. Is 174 greater than or equal to x?
True
Let q = -2.21 + -478.79. Which is greater: q or 1?
1
Let s = -2156 - -2155.9. Which is greater: 17/414 or s?
17/414
Let o(n) = -5*n - 10. Suppose -175*g = -162*g + 26. Let q be o(g). Let a be 1/(-4) + (-2)/(-14). Which is smaller: q or a?
a
Suppose -7*w - 12 = -5*w. Let m be (259 - 249)*6/(-4). Does w = m?
False
Let l = 3011731433/34476 - 262072/3. Is -1 at most l?
True
Let t = 2039 - 2037. Is 45/38 not equal to t?
True
Suppose -75 = -15*j - 0*j. Suppose -5*h + 535 = -3*k + 2*k, -3*k = 5*h - 515. Suppose -6 = -j*o - h. Which is greater: o or -18?
-18
Let b = -1211 + 1210. Is 1144 bigger than b?
True
Let z = -2160 - -2161. Let m = 5621/15878 - 1/934. Are z and m unequal?
True
Suppose 3*r - 1008 = -4*r. Let q be 1248/r*3/2. Which is smaller: q or 150/13?
150/13
Let a be 1591/(-555) + 4/(-30). Let c be (-6)/(-45)*a + (-28)/(-20). Is c greater than or equal to 18/7?
False
Let f be (48/60)/(2/30*3). Suppose -4*n = -3*d - 898, -f*d + 3*n = 7*n + 1216. Is -303 bigger than d?
False
Let f = -1559 + 2564. Which is smaller: f or 1006?
f
Let g = 4100 - 460. Which is bigger: g or 0.1?
g
Suppose 1416044 = -230*u + 300*u + 421*u. Do 2885 and u have the same value?
False
Suppose 0 = -3*c - 9*y + 54, 4*c + 117 = 4*y + 93. Which is smaller: -63/52 or c?
-63/52
Let d = -107 - -59. Let r = d - -73. Let j be 1/(r/(-10) - -2). Which is bigger: -8/5 or j?
-8/5
Let k = 239 + -247. Let v = -231/16 - -531/80. Is k not equal to v?
True
Let k(u) = -111*u + 320. Let l be k(3). Suppose -5*v + 2*v + 12 = 2*h, -4*v + 16 = 5*h. Suppose -v*j = 23 + 45. Is l <= j?
False
Let d = -2665/278922 - -1/1218. Suppose 13*u - 17*u = x + 17, 0 = -3*x + u + 1. Is x less than or equal to d?
True
Let t be (-4)/7 + 56724/1218. Is 54 > t?
True
Let x = 7 - -17. Let g = -290.9 + 267. Let a = g + x. Which is greater: a or -7?
a
Let m(z) = -z**2 - 4*z - 4. Let o be m(-3). Let a be 0/(1 - (0 + (-4)/o)). Which is bigger: a or -1/192?
a
Let v = -27.390321 - 0.158079. Let z = v - -154.5714. Let c = z + -127. Is 0 >= c?
False
Let x be (11/40)/((-28)/(-428232)) + 2/5. Are x and 4207 nonequal?
True
Let s = -3474 + 3474. Which is bigger: 0.197 or s?
0.197
Let n(p) = -1055*p**2 - 99*p + 183. Let u be n(2). Is u at least -4235?
True
Let i be (-1067)/22*-14*(-10)/(-7). Let h = 970 - i. Which is smaller: h or 1/545?
h
Suppose -1464 + 2229 = 15*c. Let l(r) = -7*r + 7. Let t be l(-7). Let f = t - c. Is -1 != f?
True
Let k be -24*1*(-5)/(-50)*78. Which is bigger: -186 or k?
-186
Let j(r) = 4*r - 2*r + 7*r - 10*r. Let o(w) = -w + 26. Let v(l) = 5*j(l) - o(l). Let f be v(9). Which is smaller: f or 0.1?
f
Let m be 7/(-21) - 2/30. Suppose -36 = 76*p + 40. Which is greater: p or m?
m
Let w = -200.94 + 203. Let m = w + 9.94. Are 0.06 and m non-equal?
True
Suppose 324 = 410*u - 86*u. Is u less than or equal to -24/83?
False
Let f(c) = 60 + 53 + 46 - 94 + 3*c. Let p be f(-22). Let m be (2/10)/((-4)/10). Are p and m equal?
False
Let g = 79 + -265. Let h = g + 161. Let x = 1 - 1.1. Which is greater: x or h?
x
Let f be ((-6)/3*-1)/(8/80). Let l be (72/f + -4)*175. Let y = l + 70. Which is smaller: 10 or y?
y
Let q = 12.2 - -41.8. Let g = -52.842 - 0.158. Let z = q + g. Is 2 less than z?
False
Let b = -355.2 + 308. Let n = -108 + 61. Let q = n - b. Does q = -1/2?
False
Let p = 3977 + -3976. Is -1/164 < p?
True
Suppose 3*y + 86 = -x, y = -3*x + 6*x - 32. Is 178 not equal to y?
True
Let p be (7/(-24))/(36/(-27) - 0). Let g = 9/32 - p. Which is bigger: g or 4/7?
4/7
Let m = -379/11310 - -3/145. Which is greater: m or 1.3?
1.3
Let g = -1336 + 1314. Let i(k) = -4*k**3 + 2*k**2 + 3*k - 3. Let r be i(2). Is g at least as big as r?
False
Let g = -364.07544 + 0.08544. Let f = g + 364. Which is smaller: f or 0?
0
Let h(o) = 31*o**2 + 11*o - 30. Let b be h(3). Let w = b + -294. Is -11 smaller than w?
False
Let o(p) = p**3 - 3*p**2 + p - 2. Let h be o(3). Let j(z) = z**3 - 16*z**2 + 54*z - 73. Let r be j(12). Which is smaller: r or h?
r
Let z = 10924 + -10934.722. Let l = 7.625 + z. Let t = l - -0.097. Which is smaller: 7 or t?
t
Let w = 11 + -39. Let r = w - -41. Let f = -13 + r. Which is smaller: f or -0.11?
-0.11
Let r = -8.8 + -553.2. Let n = r + 584. Is -3/4 smaller than n?
True
Suppose 4*o - 3*d = 74, -18*o + 15*o = 4*d - 68. Let i be o/(-5 - -1 - 18/(-9)). Let z = -13782/5 - -2745. Which is smaller: z or i?
z
Let t = 4.05 - -0.95. Let i = t + -4.962. Let c = -27/92 - -1/23. Is c > i?
False
Let f = -5761 - -3968. Which is bigger: -1792 or f?
-1792
Let g be 11*(-2 + 1)*5. Let u(x) = x**3 + 11*x**2 + 23*x - 7. Let h be u(-8). Let n be g/(-10)*((-1 - -2) + h). Which is smaller: 10 or n?
10
Let d be (-2849)/2442 - (-16181)/(-6). Which is smaller: d or -2699?
-2699
Let i be (9147/(-42))/(35/454) + 2. Let o = i + 2823. Is -1 greater than or equal to o?
False
Let a = 2763 + -2872. Suppose -98 = g - 3*d, -3 - 13 = 4*d. Which is greater: g or a?
a
Suppose g = 2*q - 4, 0*q + q = -5*g + 2. Suppose -6 = -p - 5*i, -p - 4*p - i + 6 = g. Which is smaller: 2/171 or p?
2/171
Suppose -4*g + 2 = -2*x, 2*g + 2*g = -5*x + 37. Let f be (g - 2)/(1/(-8)). Let q be (10/(-6))/(3 + (-32)/12). Which is sm