 = 2/11?
False
Let l = -3 - -1. Let r = 132.6 - 119. Let x = 14 - r. Is x at most as big as l?
False
Let c = -3/5480 + 14239/5989640. Which is greater: -1/6 or c?
c
Let d = 0.2746 - -73.7254. Does -0.07 = d?
False
Let l be (-4236)/(-90)*-1 + (-4)/(-10). Let j be 24/(1/(-2) + 0). Let r = l - j. Is r bigger than 0?
True
Let m = 0.773 + -0.373. Which is smaller: 76 or m?
m
Suppose -a = 2*f - 0*f + 9, 11 = a - 2*f. Let x be -4 - -1 - (-7 - -10). Let z be 2/a - x/8. Does 3 = z?
False
Suppose 6*d - 4*d + v = 0, 3*v = 2*d - 8. Is d greater than or equal to -4/541?
True
Let x be (-1)/3 - 80/(-6). Let z = 42 - 100. Let l = 59 + z. Which is greater: x or l?
x
Let m = -338.7 + -2.3. Is m != -1?
True
Let u = -2257/520 - -14/65. Let a = 8055 - 8059. Is u != a?
True
Suppose 0 = 20*p + 699 + 1081. Which is smaller: p or -91?
-91
Let i(m) = 7*m + 20. Let d be i(-8). Let o = d - -37. Is 12/11 != o?
True
Suppose -5*k - 51 = -6. Let t = -16 - -14. Let u be -5 - (10/2 + t). Is k > u?
False
Let u be (-7)/(-14) - 93/(-2). Suppose -3*i = -15, 0 = -2*j - j + 4*i - u. Let c = j - -26/3. Is c at least as big as 1?
False
Suppose -i + 464 = -3*u + 1720, 3*i - 2112 = -5*u. Is 421 at least as big as u?
True
Let s be 1 - 0 - 4/2. Suppose -4*h = t - 5*h, -3*t = 2*h + 15. Let l be (6 - 8 - t)/((-7)/2). Is l > s?
True
Let x(o) = -o - 9. Let f be x(-12). Let u be -2 + f + 542/(-544). Let b = 1901/816 + u. Which is smaller: 3 or b?
b
Let z(o) = -o**3 - 5*o**2 - 7*o - 6. Let w = 29 - 33. Let p be z(w). Is 2 bigger than p?
False
Let t(r) = -r + 1. Let h(i) = 5*i - 9. Let w(l) = h(l) + 6*t(l). Let z be w(5). Let s be ((-2)/(-4))/((-2)/z). Which is bigger: s or 0?
s
Let q be (-9284)/1477 + 5/(-7). Suppose -4*n - 32 = -2*n. Let d be (-2)/(-6) + n/3. Which is bigger: q or d?
d
Let l = -1 - -11. Suppose 0*v = 2*v - l. Suppose v*t + 25 = 0, t + 3*t + 16 = -4*q. Does 9 = q?
False
Let t(o) = -5*o - 2. Let c be t(4). Let l(g) = 172*g - 709. Let z be l(4). Is c > z?
False
Suppose f = -o - 26, -4*f = -0*o - 4*o - 64. Let x = -23 - o. Let w be (21/(-30))/((15/(-6))/(-5)). Which is greater: w or x?
w
Suppose -4*w + 61 = -3*w. Let y = w - 37. Let h = y - 26. Which is smaller: -3 or h?
-3
Let z be 3 - 5/25*5. Let i be 1/7 - (-134)/(-7). Is z >= i?
True
Let u = -17753/13 + 1367. Are u and 1 nonequal?
True
Let u(p) = 8 + 2*p - 1 - p. Let w be u(0). Which is bigger: w or 9?
9
Let x = -114 + 4561/40. Suppose -2*t = 2*t. Is t smaller than x?
True
Let k(n) = -n**2 - 45*n - 374. Let g be k(-9). Is g at least -33?
False
Let w = 286 + -450. Let s = 121 + w. Which is smaller: 0.1 or s?
s
Let p be 1*8 + (6 - 10). Let x = -3 - p. Which is smaller: -5 or x?
x
Let h = -211 - -280. Is h >= 271/4?
True
Let v = 237 - 169. Let s = -50 + v. Let l(j) = -j**2 - 11*j. Let i be l(-9). Is s at least i?
True
Suppose 4*m - 142 - 62 = 0. Suppose -2*v - v = -m. Let k(n) = 18*n**3 - 2*n**2 + 2*n - 1. Let c be k(1). Is c less than v?
False
Let r = -101 - -100.8. Which is greater: r or 1/3?
1/3
Let m be ((-963)/(-6))/3 + (-5)/20. Suppose g - 36 - 18 = 0. Let i = g - m. Which is greater: i or 0?
i
Let h(v) = 102*v**2 - 2*v + 1. Let y be h(1). Let o = y - 101. Let k be (-5)/7 + (2 - 1). Which is greater: k or o?
k
Let o = -2947/9164 - -22/79. Which is greater: -1 or o?
o
Let m = 1.87 + -0.87. Which is smaller: m or 2/261?
2/261
Let d = -552 - -551.93. Which is smaller: 2.4 or d?
d
Let v = 2.56 + -0.16. Let g = -7.4 + v. Which is smaller: 1 or g?
g
Let h be ((-6)/132)/(6/48). Which is smaller: h or 15?
h
Let r be 1 + -2 + 0 - (-4480)/(-1760). Which is greater: r or -5?
r
Let t = 163 + -175. Let o(u) be the third derivative of u**5/60 - 7*u**4/24 - 5*u**3/6 + 2*u**2. Let k be o(6). Do t and k have different values?
True
Let l be (1/3)/((-11)/(-33)). Which is bigger: l or -10/37?
l
Let t = 9 + 3. Suppose t = 12*m - 16*m. Are m and -12/7 unequal?
True
Suppose -72 + 153 = 9*w. Are 81/10 and w nonequal?
True
Let a = 389 - 190. Let y = a + -204.11. Let h = 0.11 + y. Is 2/5 greater than or equal to h?
True
Suppose -11*v + 8*v = 3. Let g(u) = u**2 - 6*u - 5. Let r be g(6). Is v smaller than r?
False
Suppose -324*r + 326*r = 1026. Which is smaller: 1027/2 or r?
r
Let s(g) = -87*g - 13. Let m be s(4). Is -721/2 equal to m?
False
Let k = -2 + 3.5. Let n = 42 - 15. Let b = n + -28. Is b equal to k?
False
Let l = -39360/11 + 3582. Let g be 506/115 - ((-2)/(-5) - 0). Which is greater: l or g?
g
Let o = 4.988 + 0.112. Let r = 5 - o. Let s be (2/(-10))/((-24)/15 - -1). Are s and r nonequal?
True
Let w(q) = -q**3 - 7*q**2 + 6. Let i be w(-7). Let p be (-135)/66 - i/(-4). Do p and -1 have different values?
True
Suppose l - 94 = 3*l + 2*h, 0 = -2*l - h - 90. Which is smaller: -42 or l?
l
Suppose 65*d + b = 68*d - 5, 2*d = -b - 5. Is -3/914 >= d?
False
Suppose -11 = -z - 5*i, 2*z + 4 = -0*z + 3*i. Let l = 42 - 2144/51. Which is greater: l or z?
z
Let p = 86.943 - -0.057. Let v = 88 - p. Which is smaller: v or 26?
v
Let o = -27.3 - 4.7. Let i = o - -32.08. Are i and -3 nonequal?
True
Let g be (-656)/28 - 12/21. Let u = 29 + g. Is u bigger than 5?
False
Let k(q) = q - 2. Let u be k(5). Suppose 0*h - 4*h = -3*g + 17, -60 = 5*h + 4*g. Is u bigger than h?
True
Suppose 2 = -0*i - 2*i, 0 = -3*a - i + 125. Suppose 47*x - 40 = a*x. Suppose -5*g = -x*g. Which is smaller: g or -1?
-1
Let o be (-1)/(-1)*0/(-31). Is o <= -2/499?
False
Suppose 37*j - j = 1836. Which is greater: j or 52?
52
Let r = 667 - 669. Which is greater: 280 or r?
280
Let h(x) = x + 31. Let d be h(-10). Let m be (30/(-21))/(-2) - (-6)/d. Let a = -0.1 + -4.9. Is a at least as big as m?
False
Let q(r) = -3*r**2 - 5*r - 8. Suppose 3*j = 2*b - 6 - 26, -4*b = 5*j + 24. Let c be q(j). Let o = -1438/9 - c. Is o bigger than 2?
False
Suppose 5*x = h - 101, -6*x + 5*h + 35 = -8*x. Is -17 > x?
True
Let a = -92 + 78. Let c(b) = b + 22. Let m be c(a). Is m equal to 6?
False
Let g = 1.8 - -0.2. Let o = g + -4. Is o at most 3/2?
True
Let s = -59/9 - -163/18. Which is smaller: s or 4?
s
Let t(m) = m**3 - 19*m**2 - 19*m + 16. Let y be t(20). Which is bigger: y or 109/3?
109/3
Let j be 68/30 - 4/2. Suppose 2*z = -49 - 9. Let o = z + 30. Are o and j equal?
False
Let v be 9322/(-5082) - -4*(-4)/(-24). Let p = 3/121 + v. Let y(m) = -m**3 - 6*m**2 - 4*m + 4. Let a be y(-5). Which is greater: p or a?
a
Let u = -56 + -239. Is u at most as big as 0.2?
True
Let d(z) = -3*z**3 - 2*z**2 - 1. Let r be d(-2). Suppose 17 + 102 = 7*v. Suppose -2*g - r = -v. Is g greater than 1?
False
Suppose -o - 2 - 4 = 0. Suppose -3*a + 2*q + 3 = 0, a + 5*q - 24 = -2*a. Let d be (o/9)/(2/a). Is 2/15 less than d?
False
Let r = 70052673/1661 + -42175. Is r greater than 0?
False
Let n be 30/6 + -23 + 5. Is n at most -11?
True
Let l be (-1392)/(-3451) - 4/34. Which is greater: 10 or l?
10
Suppose 0*w - 4*w - 848 = 0. Is -212 less than w?
False
Let x = 92 - 89. Suppose -s - 4*w = -9, -4*s + 0*w + x*w = 21. Is s bigger than -7?
True
Let i = 8.45 - 8.65. Which is smaller: -13 or i?
-13
Let n = 810696 - 1138733. Let w = n + 2949218/9. Let b = 347 + w. Which is smaller: 2 or b?
b
Let x(o) = -3*o + 1. Let h be x(-1). Let m be 14/4 + 2/h. Let s = 17 + -15. Is m at least as big as s?
True
Let c be 2618/(-340) + 2 + -4 + 2. Is -8 greater than c?
False
Let f = -13804/25267 - -2/2297. Let l be ((-14)/(-12))/((-4)/(-24)). Suppose 0 = -t - 8 + l. Which is smaller: t or f?
t
Suppose 3*u - 40 = -2*u. Suppose u + 2 = 3*f + 2*d, d + 28 = 4*f. Let v = 1.9 - -0.1. Is f equal to v?
False
Let b = -233/196 - 3/49. Let q be 3*7/(-3)*-1. Suppose k = 8*k + q. Which is bigger: b or k?
k
Let q be ((-18)/(-13))/((-18)/2676). Let w be (-6*2/(-8))/((-15)/(-2060)). Let p = w + q. Is p < -1?
False
Let r = 1 + -23. Let h = r - -22. Let z = -999/10 - -100. Are h and z unequal?
True
Let v = 26/3 - 9. Which is bigger: v or -8?
v
Let a = 0.0466 - 0.1466. Is -1.3 at least a?
False
Suppose 0 = -p + 5*t - 6*t - 2, -t + 13 = -2*p. Let s be 22/33*30/1. Suppose 2*g = -2*a - s, -1 - 7 = 2*a - 2*g. Which is smaller: p or a?
a
Let w be 14 + 1 - 7 - 9. Which is smaller: -17/16 or w?
-17/16
Let z = 1576 - 1575.9187. Let u = z - 11.1713. Let x = -0.09 - u. Is x > -0.1?
True
Let c = 1149 - 1151.21. Which is bigger: 0.1 or c?
0.1
Let y = -52 + 111/2. Let w(n) = n**3 - 10*n**2 + 12*n + 