equal to -0.1?
True
Let w = -2815 + 11261/4. Does w = -0.7263?
False
Let y(h) = -h**3 - 9*h**2 - 27*h + 25. Let t be y(-7). Let s = 195 + -82. Which is bigger: s or t?
t
Let a = 5471302/223 - 24535. Is -2/5 less than a?
True
Let b = 24 + 19. Suppose 32*m = 1768 - 424. Is m at least b?
False
Let b = 55 - 493/9. Let o be (-192)/45 - 85/(-51) - -3. Which is bigger: b or o?
o
Let u be (-2)/(-2) - (2 - -3). Let m be ((-3)/6)/((-2)/(-8)). Which is smaller: m or u?
u
Let m = -41938718/44779 - -6556/7. Which is smaller: m or -1?
-1
Let d(c) = -c**3 + 22*c**2 - 22*c + 18. Let o be d(21). Let y be (-7 - 320/(-44))*4/o. Is 9 > y?
True
Suppose 7 - 35 = -2*z + 4*k, 3*z - 17 = k. Suppose z*q - 19 + 15 = 0. Let j be (2247/108)/(-7) - -3. Do q and j have different values?
True
Let m be 18/6 + (-1 - -2). Suppose 2716*j - 35 = 2711*j. Which is bigger: m or j?
j
Suppose f + 124 = -3*x - f, 3*f + 205 = -5*x. Let y be 4/16 - x/(-248). Is -1 less than or equal to y?
True
Let o be ((-1)/(-3))/((-2)/(-12)). Suppose 3*w = -o*m + 200, 5*w + 31 = 3*m - 307. Let v = -213/2 + m. Which is bigger: 2/17 or v?
2/17
Let o = 617.3 + -619. Which is smaller: o or -0.08?
o
Let h be (-4 + 4)*3/(-12) - (7 - 8). Which is smaller: h or 13/29?
13/29
Let n = -851.8 + 831. Which is smaller: 1/18 or n?
n
Let n be 8 + (-60436)/16476 + -5. Let s = n - -2/1373. Which is greater: 2/321 or s?
2/321
Let m be 3*22/18 - 536/201. Which is smaller: m or 3/499?
3/499
Let n(d) = -73*d - 21. Let p be n(-3). Let b = 238 - p. Is 40 at least b?
True
Let j = 5244 - 4983. Which is smaller: 254 or j?
254
Let i be 10 + -4 + (-3)/(12/20). Let g be (6 - (-5 - -9)) + (0 - i). Which is smaller: g or -0.08?
-0.08
Let m = 552/11 - 5191/176. Let t = m - 4975/208. Is -3 equal to t?
False
Suppose -w + 2 = 3*f - 6*f, 5*w = -4*f - 9. Let k be -4 + 6 + w + 129. Suppose -8*a = 5*a - k. Are a and 44/5 equal?
False
Let s(u) = 8*u + 27. Let l(a) = 25*a + 80. Let n(v) = -3*l(v) + 8*s(v). Let b be n(0). Is -26 less than b?
True
Let x = 935/1236 - 2/309. Let t = 0 - -1. Let n = t - x. Are 1/8 and n nonequal?
True
Suppose 8*r + 16 = 16*r. Suppose -54*w - 1034 + 10694 = 107*w. Is w less than r?
False
Let v(y) = 3*y**3 + 3 + 12*y - 3*y**3 + y**3 + 7*y**2. Let h be v(-4). Suppose -b - 2*n + 3 = 0, h*b - 8*b + 5*n - 45 = 0. Is -7 less than b?
True
Let z = -1.72 - 9.28. Let i be (-3)/(-9)*(3 - 0). Let r be (i*(-4)/6)/(-1). Which is smaller: r or z?
z
Let u(y) = -117*y - 5. Let k(x) = -x**2 + 17*x - 51. Let l be k(13). Let r be u(l). Which is smaller: 0 or r?
r
Suppose -3*t + 197 = n, -n - 3*n - 300 = -5*t. Let f be (8 - 11) + (66 - 0). Which is bigger: t or f?
t
Let c be (1/(-3))/((-11)/165). Suppose -c*x + 3*o - 1 = -7, 0 = -2*x + 2*o + 4. Is 1/59 greater than x?
True
Suppose -31*p - 72696 = -5*p. Which is smaller: 0.1 or p?
p
Let b be 481/(-1456)*82 + 27. Suppose -5*t = -2*t + 3. Which is smaller: t or b?
t
Let y be 32/(-6) - 462961/(-6780). Which is greater: 63 or y?
63
Let a be (-3 - -2)*354 + (4 - -2). Let k = a + 318. Is -30 bigger than k?
False
Let a = 5271 - 1501. Which is greater: a or 3768?
a
Let s be (3*1/5)/((-8)/(-40)). Let y be (s/4)/(54/(-16)). Which is greater: -0.07 or y?
-0.07
Let d(o) = o**2 - 14*o - 171. Let f be d(-8). Suppose 4*z = -16*g + 13*g, 0 = f*z + 3*g. Is z at most 72?
True
Suppose 5*f + 14 = -1. Let i be (2/(-3))/(466/2097). Is f less than i?
False
Let t = 113995/3379 + -1008/31. Let c = 20969/2289 + t. Let r = c - 72/7. Which is smaller: r or -1?
-1
Let y = 4964 + -4961. Let b = 47 - 44. Is y at most as big as b?
True
Let g be -2 + 2 + (-1)/147. Suppose 547*u - 247*u + 300 = 0. Is g at most as big as u?
False
Let z(b) = -b**2 - b + 2. Let f be z(-2). Let o be (f - 1)/(75/35 - 2). Let t(p) = -4*p - 117. Let s be t(-27). Is o > s?
True
Let a be (-2)/(5/(185/2)). Suppose 4*d + 153 = -5*v, 2*v - 249 = -d - 315. Is a greater than or equal to v?
True
Suppose 3*t + 4*b = -8, 0 = t + b + 16 - 15. Suppose -t*k = p - 18 - 51, 0 = 5*k - p - 93. Is k equal to 18?
True
Let j be 5760/(-21816)*30/2 + 4. Suppose -3*y = -y + 14*y. Is j at least as big as y?
True
Let o = 3678 - 3527. Which is bigger: 153 or o?
153
Let i(j) = -2*j**2 + 5*j + 539. Let l be i(-14). Suppose 0 = 2*b - 187 + 31. Is b != l?
True
Suppose g + 5*q + 80 = -15, 535 = -5*g + 5*q. Let w be (-1)/(-4) + g/60. Let t(p) = 2*p**2 - 9*p - 7. Let b be t(5). Which is greater: w or b?
w
Suppose -69 - 171 = 4*d. Let j be d/(-8)*(-38)/(-57). Which is bigger: j or -5?
j
Let s be (8/3 + -2)*-3. Let v = -26381 + 26347. Is s >= v?
True
Let m = 5694 - 5716. Are 0.1 and m equal?
False
Suppose 0 = 3*c - j - 68, -j = 2*j - 12. Let z be ((-1)/2)/(1/c). Let y(u) = 2*u**2 - 3*u - 448. Let m be y(-14). Which is greater: z or m?
z
Let r = -1339 - -1339. Is r >= 1/13042?
False
Let t(p) = -39*p**2 - 30. Let a be t(8). Which is smaller: -2529 or a?
-2529
Let s(j) = j**3 - 2*j**2 - 8. Let i(z) = z + 6. Let x be (-196)/35 + (-4)/10. Let m be i(x). Let l be s(m). Is l less than or equal to -7?
True
Let d(c) = c**3 + 5*c**2 - 3*c - 3. Let r be d(-4). Suppose -3*n - 67 = -r. Let f = 14 + n. Which is smaller: f or 1?
f
Let g = -50 - -48.04. Let f = -0.04 + g. Which is smaller: f or -12?
-12
Suppose -655 + 53 = 2*o. Let g be o/4 - (2/(-8) + 0). Let f = g + 53. Does f = 1?
False
Let z = 391 + -760. Is -367 less than or equal to z?
False
Let g(p) = -p**3 - 15*p**2 - 24. Let u be g(-15). Let c be u/16 + (-39)/(-6). Suppose 0 = -b, -2*i + 34 = -0*i + c*b. Is 18 < i?
False
Let m be 2/(-13) - (9 - 1740/195). Suppose 0 = 5*x - t, 5*t + 10 + 10 = 5*x. Is m greater than x?
True
Let f(j) = 6*j**2 - 2*j + 1. Let x be f(1). Suppose -51*g = -49*g + 30. Let n be g/20 - (-248)/32. Which is greater: x or n?
n
Let g = 159748/15 + -10650. Which is smaller: 2/393 or g?
g
Let m(k) = 19*k + 78. Let w be m(-13). Let g = w - -98. Does g = -71?
True
Let b be -4 + (-4 - -8) - -2. Suppose 0 = 2*v - 2*x - b, 3*v = -0*x + 2*x + 2. Let o be v + 0 - ((-308)/(-36))/(-7). Which is smaller: 1 or o?
1
Let g(d) = -d**2 - 20*d - 44. Let q be g(-16). Let c be 2/4 + (-630)/q. Which is bigger: c or -34?
c
Suppose 4*g + 40 = -3*r, -5*r - 2*g - 40 = -r. Let l be ((-3)/r)/(3/2). Suppose 5*p - 181 = -59 - 77, -3 = u - 2*p. Are l and u unequal?
True
Let x = 28644 + -22723. Are x and 5919 non-equal?
True
Let l = 245 - 215. Suppose 0 = -7*t - 422 + l. Is -55 greater than t?
True
Suppose 4*m - 281 = -5*n, 3*m - n = n + 228. Let k = m - 82. Let h be 32/12*26/k. Is -9 < h?
True
Let k be ((-140)/55 - (-9 - -7)) + (-131)/(-220). Which is smaller: k or 0?
0
Let c = -18457 + 18468. Which is smaller: -4.36 or c?
-4.36
Suppose 208 = -615*g + 641*g. Let v be 6905/(-6)*(-5)/675. Let c = v - 2/81. Which is bigger: g or c?
c
Let o = -8.8 + 74.8. Let s = -173 - -107.2. Let u = s + o. Is u less than or equal to -0.7?
False
Let u = 174.21 - 183.1. Let h = 0.89 + u. Which is bigger: 46 or h?
46
Suppose 5*k + 102 = -4*z + 34, 4*k = -4*z - 64. Let h be 0*(-3 - z/6). Which is greater: 90 or h?
90
Let q = -134 + 220. Suppose -q*g = -79*g + 14. Is 0.75 not equal to g?
True
Suppose 30 = 5*x + 5. Suppose -x*f + 8 = -87. Suppose 0 = k + f - 25. Which is smaller: 4 or k?
4
Let i be 0/((-2)/(-3)*3 + -6). Suppose -4*w - w + 5*g - 40 = i, -g + 17 = -4*w. Suppose 3*c - 4*c + 2 = 0. Which is greater: c or w?
c
Let v = -633073085/546 + 1159474. Let g = 7/13 + v. Which is bigger: g or -1?
g
Let w = -2382.073 + 2382. Which is bigger: 10 or w?
10
Let s = -487846/5 + 97986. Which is bigger: s or 418?
418
Suppose 17*m = 11*m + 19056. Let r be m/14 + 18/(-21). Is r <= 227?
True
Let l = 14 + -32. Let d = -156 + 170. Let f be (d + -9)*32/(-10). Which is bigger: l or f?
f
Let d(v) = 220*v + 4. Let c be d(3). Let x = c + -520. Is x >= 143?
True
Suppose 0*y + y - 20 = -2*g, -g = -4*y + 71. Let v(r) = -r**3 + 22*r**2 - 73*r + 15. Let d be v(y). Which is smaller: d or -3/5?
d
Let h = -0.0383 + 0.0165. Is h <= -9?
False
Let m = -2835 + 2787. Which is bigger: -36 or m?
-36
Suppose 334 = -5*l + 2*p, 4*l + 22*p = 27*p - 308. Let f(u) = 22*u + 3. Let w be f(-3). Are l and w unequal?
True
Suppose 5*q = 20*m - 17*m + 14754, 24603 = -5*m + 4*q. Is -4923 > m?
False
Let j = 4741288/417 - 11370. Let m = 11 + -12. Which is smaller: m or j?
m
Let v = -159 + 235. Suppose -3*z - v 