e
Let z = -431 + 343. Let t be (11/(z/16))/((-2)/40). Which is smaller: -4 or t?
-4
Let a = -559/2 - -4451/16. Is 6/13 less than or equal to a?
False
Let j = -21277.5 + 21359. Which is smaller: -0.1 or j?
-0.1
Let z = 883836621/14275 - 61915. Which is bigger: 1 or z?
1
Let h = 154 + -154. Suppose 11 = -n - 5*r + 3*r, -n + r + 4 = h. Are 4/141 and n nonequal?
True
Let g = 4.02 + -4. Let l = 4.72 + -200.72. Let k = 196 + l. Do k and g have the same value?
False
Let r(w) = w**3 - 25*w**2 + 24*w - 1. Let p be r(24). Which is smaller: -29/50 or p?
p
Let o(s) = -28 + 51 - 10 + 24*s. Let c be o(10). Suppose -4*y + c = 1. Are y and 63 unequal?
False
Let s = 31057.17 + -31055. Which is bigger: -3 or s?
s
Let l be 352/60 + 14/105 + -1434 + 4. Is l at most as big as -1427?
False
Let l(z) = 15*z**2 + 155*z - 4734. Let d be l(24). Is 7626 greater than d?
False
Let g be (-2)/5 - (-110)/25. Suppose 7 = -h - 3*m - m, -h + 2*m = -11. Suppose h*d - 12 = 3*z, -3*z + 8*z = 5. Is g less than or equal to d?
False
Let h = 2132 - 12793/6. Which is bigger: h or -3.54?
h
Let w(i) = -2*i**3 + 55*i**2 + 17*i - 18. Let u be w(29). Which is bigger: u or -2047?
-2047
Suppose 116*f - 147*f + 16027 = 0. Is f > 522?
False
Suppose -5*x + x - 75 = 33. Which is smaller: x or -311/12?
x
Let c be (-2)/(-2)*-1*(-6 - -5). Let i(l) = 12 + 10*l + l - l**2 - l. Let y be i(11). Is c > y?
False
Let w(o) = 2*o**2 + 281*o + 3608. Let y be w(-126). Is y < 65?
True
Let y = -2 - -4. Suppose -1320 - 552 = -52*d. Let s be ((-1)/(-39))/((14 - 10)/d). Which is smaller: y or s?
s
Let o = 372 - 221. Let x = o + -150.9. Which is smaller: x or 0.19?
x
Let t = 0.47474 + -0.17474. Is t at least -18.6?
True
Let p be (18/3)/(((-12)/1970)/((-150)/250)). Which is smaller: p or 610?
p
Let a = 417 - 357. Let r be ((-5)/(a/1312))/((-5)/(-3)). Is -65 at most as big as r?
False
Let g be (-2)/4 + 11/38. Let n(l) = l**2 + l - 3. Let u be n(2). Let t(w) = w**3 + 4*w**2 - 21*w. Let q be t(u). Which is smaller: g or q?
g
Let i = -11.7 + 12. Let q be (-304)/(-209) + 5/(220/(-24)). Which is smaller: i or q?
i
Let r = -49.91 + 49.95. Let y = 1.1 + 7.9. Is r not equal to y?
True
Let z(a) = -3*a - 7. Let l be z(-4). Suppose 5*d - 9 = l*h - 4, 0 = -5*d - h + 35. Let s(x) = 2*x**2 - 14*x - 28. Let q be s(9). Which is greater: q or d?
q
Suppose -11*m + 10*m - 20 = -4*f, 4*m + 32 = 4*f. Let c be 2/(-4) - (654/(-148) + f). Is c at most as big as 2?
True
Suppose 56 = -8*z - 16. Let n(f) = f**3 + 3*f**2 - 6*f - 6. Let q be n(-4). Suppose 0 = -q*j - 5*c + 9 - 3, -j + c - 11 = 0. Which is smaller: j or z?
z
Let v = 11858/17 - 698. Let b be (-45)/3*2/(-20)*6. Suppose 2*s = -4*z - 14, -8*z - b = 3*s - 6*z. Which is smaller: v or s?
s
Let n(z) = -378*z + 377. Let r be n(1). Which is bigger: 15/452 or r?
15/452
Let q be -3*((-10)/15)/(4/6). Suppose -q*x = -112 + 7. Let m be (34/(-4))/((-16)/64). Do m and x have the same value?
False
Let f = -15 + 16.3. Let d = f - 1. Let m = -8896 + 8896.7. Is d at least as big as m?
False
Suppose 4*p = -i - 199, -3*p - 132 = -i - 4*i. Suppose 0*r + 8 = -4*r, 100 = 3*g + 4*r. Let y = g + p. Is y less than -14?
False
Let v(h) = h**2 + h + 1. Let y be v(-1). Let f = -3970322/1323 - -3001. Let a = f - 5335/56889. Are a and y equal?
False
Suppose -17*s + 13*s - 1210 = k, -3*k = -5*s - 1504. Is s <= -295?
True
Let t(s) = 12*s**2 - 59*s - 1. Let c be t(-4). Is 427 less than or equal to c?
True
Let d = -1 - 0. Let a = 19.054 + -19.021. Which is smaller: d or a?
d
Let t(u) = 2*u**3 + 22*u**2 - 23*u + 20. Let m be t(-12). Let p = 29 + -21. Is p at most m?
True
Let i(r) = -2*r**3 + 2*r**2 + 39*r + 367. Let w be i(-21). Which is bigger: 0 or w?
w
Let t(w) = -w**3 - 22*w**2 - 39*w + 27. Suppose 3*o = -3*f - 51, -4*f - o + 63 = -7*f. Let k be t(f). Is 56/9 greater than or equal to k?
False
Suppose 33*a = -3*y + 38*a + 17, -2*a - 11 = 3*y. Let s = -1867/138105 - -2/1705. Which is smaller: s or y?
y
Suppose -5*j - 190 - 545 = 0. Which is bigger: 6 or j?
6
Let m = -18078 - -15203595/841. Which is bigger: 1 or m?
1
Suppose 24*j - 11*j + 36*j + 196 = 0. Let o = -25783/9 + 2861. Which is smaller: j or o?
j
Let f be 24/(-40) + 666/10. Let d = 110412/7 + -15707. Let s = d - f. Which is bigger: -1 or s?
s
Suppose 0 = -3*a + 10*u - 892, 2*a + 564 = -5*u + 4*u. Is -285 != a?
True
Let o(i) = -6*i**3 - 38*i**2 - 8*i - 64. Let a be o(-11). Is 3410 <= a?
True
Let k = -22397 + 19326. Which is greater: -3069 or k?
-3069
Let k = -4/242917 + -26233888/69717179. Is k > 0?
False
Let u = -8314 - -7706. Are -609 and u nonequal?
True
Let f(o) = -30*o**3 + 7*o**2 + 10*o - 41. Let s be f(4). Which is greater: s or -1810?
s
Let q = -29/22 + 3/2. Let w = -8427 - -8448. Is w bigger than q?
True
Let t = 176.3 - 176. Let q = 3104/13 + -239. Is t at least as big as q?
True
Let o = 54 + -41.2. Let d = o - -7.2. Let u = -37 + d. Which is smaller: -2 or u?
u
Let z = -494 - -514. Suppose z*n - 154 = 6*n. Do -1 and n have the same value?
False
Let t = 5365 + -4330. Are 1038 and t equal?
False
Let w = 5997/2 - 2014. Is 985 <= w?
False
Let i = -0.07 + -0.51. Let m = 1636 + -1635.9. Which is smaller: m or i?
i
Let a = -29/2 + 15. Suppose 0 = -d - 3, 3*r - 198 = -4*d + 5*d. Suppose 5*n + r = 75. Is a <= n?
True
Let q = -941/6 - -137. Let f = 589/30 + q. Which is smaller: f or -48?
-48
Let h = 475.711 + 35.909. Let f = h - 512. Are f and 0.04 equal?
False
Let f = 1188 + -1186. Is f at least 41/22?
True
Let o(g) = -5*g + 16. Let a be o(8). Let u be 5/((-75)/(-10)) - (-13)/a. Is -2/3 >= u?
False
Let y be (24 + -21)/(6/15 + 15561/(-90)). Suppose a = 2*a + 1. Which is smaller: y or a?
a
Let w be 2 - (-8 + 4) - 6. Let m(d) = -d**3 - d**2 - 5*d + 85. Let q be m(w). Are 85 and q unequal?
False
Let o = 1839/362 + -105/181. Which is smaller: 2.58 or o?
2.58
Suppose -6*z + z + 5*l + 105 = 0, 80 = 4*z - 2*l. Let h be (390/75)/((-4)/(-15)). Which is greater: z or h?
h
Let a be ((-160)/(-15) + -12)/((-6)/(-8474)). Is -1882 less than or equal to a?
False
Let w be ((-11)/2)/(3/18). Let u be 0 + 44/w - (-1 - 1). Which is bigger: -0.399 or u?
u
Let c = 76 + -74. Let d = 90 - 99. Let m = 9.019 + d. Which is smaller: c or m?
m
Suppose 66*p = 70*p - 12. Suppose t = p, t - 21 = 5*m - t. Which is bigger: -31 or m?
m
Let g = 2691.9 - 2692. Which is bigger: g or 0.0358?
0.0358
Let s = -45.055 - -45. Let j = s - 0.145. Let l = -1 + 14. Do j and l have the same value?
False
Let h = -5709 + 5708. Is h >= 1/7290?
False
Let m = -332.21 - -320. Let x = m - 0.79. Let y = x - 41. Do -1 and y have different values?
True
Let c = -79.32 + 0.32. Let o = c + 78.907. Let n = -0.067 - o. Which is greater: n or 0.1?
0.1
Let b be 8/16 - 6/(-8). Let t = 2266 + -2265. Is b less than or equal to t?
False
Suppose -273 = -3*w + f + 2*f, 3*w - 273 = -4*f. Suppose -w = 4*n - z, 3*n + n = 3*z - 89. Let h be (-1 - -1 - -1)*(n - -24). Are -1 and h equal?
False
Suppose -7*y = -5*y - 18, 5*p - 2*y = -58. Let u be ((-2)/24)/(14/1197). Is u > p?
True
Let w be (-10)/55 - (1030948/177232 + -6). Is w <= -1?
False
Let z be (14772/92976 - 6/39)*(-40)/70. Which is bigger: z or 1?
1
Let a = 1015303772/2125 - 477790. Do a and 0 have the same value?
False
Let a = -641439/30338 - -1/4334. Suppose 6*q + d + 84 = 2*q, -60 = 4*q - 5*d. Which is greater: q or a?
q
Let k = -56.1 + 55.2. Let d = -4.9 - k. Is 13 < d?
False
Let l be (7 - (0 + 1))*34/204. Suppose -4 = s - 11. Suppose -4*u + 5*w = -36 + s, 4*u - 9 = w. Is u less than or equal to l?
True
Suppose 83*t - 510 = 66*t. Let c be (-16)/((-266)/t - -9). Is -123 < c?
True
Let z = -386 - -401. Let s = 2 - 0. Suppose -3*o - z = -0*o, -s*g - 1 = o. Which is smaller: 0 or g?
0
Let y = -15.71 - 26.99. Is 1/6 less than y?
False
Suppose -4*d = 18*x - 46, -51*x + 23 = -56*x + 4*d. Let m = 2732 + -789547/289. Which is greater: x or m?
x
Suppose -2*l - 3*f = 11, -4*l = -7*f + 6*f + 15. Let s = 132 + -149. Is s < l?
True
Let f = -1398 - -74092/53. Let x(o) = 13*o**2 + 3*o - 4. Let n be x(1). Suppose 3*y + n = 15*y. Is f smaller than y?
True
Let p = -21309 - -21296.1. Let f = 1.3 + -0.3. Which is greater: p or f?
f
Let c = -129655 - -2462101/19. Is c equal to -72?
False
Let h(d) = -3*d**3 + 138*d + 52. Let u be h(-12). Is 3581 <= u?
False
Let o = -340689/5 - -2352548/35. Are o a