= -o + 21. Is -7/46 greater than or equal to b?
False
Let o(y) = -y**2 + y + 4. Let r be o(3). Let c(n) = -n**2 + n + 2. Let d be c(r). Which is greater: 1 or d?
1
Let b be ((-38)/(3344/66))/(15/(-16)). Let y(i) = -i**2 - 7*i - 4. Let h be y(-6). Which is greater: b or h?
h
Let b(y) = 11*y - 31. Let x be b(5). Let s be -2 + -5 - x/6. Suppose t + 25 = 5*u - 0*u, 2*t + 5*u = -5. Which is smaller: s or t?
s
Let x = 1271 - 1271. Which is smaller: -0.086 or x?
-0.086
Let d = 0.026 - -416.974. Which is smaller: -0.1 or d?
-0.1
Let z = -67 + 73. Which is greater: z or 3?
z
Let u = -0.32 + 0.07. Let l = u + -1.76. Let q = l + 0.01. Which is greater: -1 or q?
-1
Let f = -1707 - -1707. Let t be (-1)/2 + (-43)/(-22). Are f and t nonequal?
True
Suppose 2*t + 9*t = -5*t. Which is smaller: -9/8 or t?
-9/8
Let f = 3 - 3. Let q = 0.03 + f. Let m = q - 1.03. Which is greater: m or 3?
3
Let s(v) be the third derivative of -v**4/8 - v**3/6 - 7*v**2. Let t be s(1). Let r be 0*t/(-16)*-2. Which is smaller: 8/7 or r?
r
Let z = -1.269 - -358.269. Is z at most 0.2?
False
Let w(i) = -26*i**2 + 16*i + 43. Let t be w(-4). Is -437 equal to t?
True
Let b = 3.0281 - 0.0281. Does 135 = b?
False
Let h = -75 - -59. Let i(y) = -y**3 - 15*y**2 + 19*y + 51. Let j be i(h). Which is greater: 1 or j?
j
Let f = -0.0253 + 3.0253. Which is smaller: 16.7 or f?
f
Let q = -2.1 - -2. Let j = 18682 - 18686.1. Are j and q non-equal?
True
Let j = 4.1 - 2.1. Let m be (1/(-7))/((-1)/(-3)). Which is smaller: j or m?
m
Let k = -208 + 232. Does k = 22?
False
Let a = 4/823 + 2381/18106. Suppose -6*o = -2*o + 3*v - 11, -3*v + 18 = -3*o. Is a < o?
False
Let q = -1017 + 1016. Let r = 190/11 + -17. Which is bigger: q or r?
r
Let c = 1614.31 - 1614. Is c not equal to 0.11?
True
Let p(z) = -z**3 - 4*z**2 + 2*z + 3. Let j be p(-5). Let o = j + -73/4. Which is smaller: o or -20?
-20
Let i be (2/15)/(((-51)/(-17))/(-9)). Let w = 5 - 3. Does i = w?
False
Suppose 0*x - 4*x = -64. Suppose -x = 5*m + 4. Suppose -141 + 153 = -6*i. Which is smaller: i or m?
m
Let t = -0.123 + -111.877. Let o = 104 + t. Is -6 less than or equal to o?
False
Let x be (-16)/(-24)*(-1 - -14 - -2). Let u = x + -8. Which is smaller: 1 or u?
1
Let g = 224/143 + 93627/572. Let s = -166 + g. Which is bigger: -5 or s?
s
Suppose -c + 2*c + 29 = 0. Let l = 34 + c. Suppose -j + 11 = s, -l*s = -s - j - 24. Which is bigger: s or 5?
s
Let j(a) be the first derivative of a**2 - 23*a - 12. Let q be j(15). Suppose 2*z = -8 + 20. Is q greater than or equal to z?
True
Let r = -0.3 + -0.7. Let u be 5 + 0 - (-1065)/(-215). Which is smaller: r or u?
r
Let q be ((-198)/30)/(18/(-4)). Let k = q + -4/5. Which is bigger: k or 32?
32
Let l = 341 + -340. Is 1/71 smaller than l?
True
Let z = 12 + -14. Let g be z*(-5)/(15/6). Suppose 0 = -h + 3*h - g. Which is smaller: -0.1 or h?
-0.1
Suppose -p - 2*p + 30 = 0. Let k be (p/9)/5 + 4/(-18). Is 2/41 greater than k?
True
Suppose 0 = -21*w + 28*w - 210. Suppose v + 0*v = 28. Is w at least v?
True
Let u be 2/7 - (-2)/(-1). Suppose 5*g = -k + 12, -5*k - 4*g + 12 = -6. Suppose k*c + s - 2*s + 8 = 0, 5*s - 4 = -2*c. Is u not equal to c?
True
Suppose 15 = -0*c + 3*c - 3*q, 2*q - 25 = -5*c. Let j be (c + 2 + -5)/(3/6). Which is smaller: j or 44/9?
j
Suppose -7*s - 5*s = 0. Is -1.53 <= s?
True
Let y = -22/5 + 296/65. Let t(q) = q**3 + 2*q**2 - 9*q - 3. Let l be t(-4). Which is smaller: l or y?
y
Suppose -147 = -3*g + 147. Let r be (-6)/(-14) + 14/g. Let q = 3 + -3. Which is greater: r or q?
r
Let k(x) = -45*x. Let z be k(-1). Suppose -2*t - 3*t - z = 0. Let q = 10 + t. Which is smaller: q or -3?
-3
Let i = -0.115 + -25.885. Which is bigger: i or -0.3?
-0.3
Let q = -71 + 78. Is q at least 14?
False
Let h = -0.5 - 7.1. Let z = -1.4 + h. Which is smaller: z or -1?
z
Let n = -94 + 97. Which is smaller: 2 or n?
2
Let q = 156 - 28. Let j be 2 + (q/(-20) - -4). Do j and -10/7 have the same value?
False
Suppose -100 = 2*a - 2*t, t - 131 = 5*a + 127. Let d be (-2)/12 + 1 + a/(-24). Let r be (2 - 1) + (3 - 1). Is d <= r?
True
Suppose -3*f - x - 15 = 2*x, -4*f + 2*x - 2 = 0. Suppose 321 - 113 = 8*t. Let o(w) = -w + 23. Let u be o(t). Do u and f have the same value?
False
Suppose u + 7 = 3*b, -2*u - 2*b = 2*u - 14. Let y = -7.8 + -0.2. Let d = y - -7.9. Which is greater: u or d?
u
Let h = 6071 + -321687/53. Let d = h - 3259/2014. Let p = 169/114 - d. Is 2 <= p?
False
Let q = -637.09 + 648. Let m = -11 + q. Let r be (3/4)/(3/(-1)). Which is greater: r or m?
m
Let a(l) = -l**2 - 2*l - 120. Let j be a(13). Is -315 <= j?
True
Let g be 1*(-4)/(-2)*-1. Suppose -1 = -f - 2*p - 2, -5*f - 2*p = 5. Does f = g?
False
Let w = 1567 + -1568. Which is bigger: 1/81 or w?
1/81
Let x be (1 - (-34)/(-14)) + 3/7. Are -49 and x nonequal?
True
Let u be (-10 - (-5 - 1))*-14. Is u less than 56?
False
Let n = 13155/22 - 598. Suppose -18 = -3*v - 4*a, 4*a = 2*v + v - 18. Suppose -v*g = -g. Which is greater: n or g?
g
Let q = -17 - -19. Suppose 4*w + q*w = -18. Is -27/7 > w?
False
Suppose -u = k - 2, 4*k + 3*u + 2*u = 11. Is k equal to -3/188?
False
Let l = 37 - 18. Which is smaller: l or 75/4?
75/4
Let m be 2112/5330 - 1/(30/12). Is 0 bigger than m?
True
Let y = -119/3 + 39. Let w = 2.291 - -0.009. Let t = 2.3 - w. Which is smaller: t or y?
y
Let k(h) = -h**3 - 7*h**2 + 9*h + 10. Let i be k(-8). Suppose 0 = i*u + u - 24. Let d = -7 + u. Which is bigger: d or 2/13?
d
Let h = -1.32 + 0.92. Is -0.134 greater than or equal to h?
True
Suppose 5*q = 5*j - 4120, -18*q - 3*j - 832 = -17*q. Is -826 not equal to q?
False
Suppose 3*j - 484 = 2*o + 325, 283 = j - 4*o. Is 267 at least j?
True
Let j be ((-9)/(-4))/((-4)/(-176)). Let z be (-3)/(-25)*(-1298)/j. Let q = z - -6/25. Is 1/5 at least as big as q?
True
Let j = -963.3 - -896. Let u = j + 67. Does 5 = u?
False
Let o = 1488 + -1441. Which is greater: 43 or o?
o
Let d be (-10*(-48)/(-2320))/((-4)/(-3)). Which is bigger: 1 or d?
1
Let i be (7/2)/(385/(-9471)). Which is smaller: -86 or i?
i
Let j be 3/12 + ((-51)/12 - -2). Let n be j/(-7) - (-3024)/(-9212). Suppose p + 1 = -0. Is p equal to n?
False
Let r = -3.2 + 0. Let g = 0.5 + -3.5. Let y = r - g. Does y = 1?
False
Let z be 2/8 - 259/28. Which is greater: -8 or z?
-8
Let a be 5 - 10 - (-217)/(-7). Is a smaller than -36?
False
Suppose 0 = 11*j + 1425 - 138. Is -813/7 greater than j?
True
Let p be 1 - (2642/442 + (-4)/26). Is -4 > p?
True
Suppose -3*f + 10 = 4. Let o = -0.108 - 7.892. Which is greater: o or f?
f
Let v(t) = t**2 + 16*t - 16. Suppose -17 = 6*a - 5*a. Let u be v(a). Is u bigger than 2/37?
True
Let y be ((-2)/2)/(2/(-4)). Suppose -7*b = -y*b. Which is greater: -2/75 or b?
b
Let s = 1323 - 1296. Is s not equal to 22?
True
Suppose -107*s - 24 = -83*s. Is 8/163 at most as big as s?
False
Let q = -2/3781 - -26577/207955. Is -1 at least as big as q?
False
Let o(j) = j**3 + 2*j**2 - 4. Let w be o(-2). Let n = -32 - -34.6. Let a = n - 2.6. Do w and a have different values?
True
Let a = -24.7 + 22.7. Let h = -0.05 - -2.05. Let i = h - 3. Is a greater than i?
False
Let u = 2383 - 2374. Is u bigger than 55/7?
True
Let q(g) = -5*g - 21. Let m be q(-10). Let o = m - 33. Are -14/3 and o unequal?
True
Suppose -121*j + 36 = -117*j. Let l be j/(-15) - -1 - (-156)/(-15). Which is smaller: -1 or l?
l
Let s = -46.1603 + 0.1603. Which is smaller: -0.4 or s?
s
Suppose -2*d + 406 = -4*w + 64, -90 = w + d. Which is smaller: w or -85?
w
Let q = 0.0079 - -16.9921. Is q greater than or equal to 20?
False
Suppose -12*d + 7402 = 8314. Let z = -0.7 + -0.3. Which is smaller: d or z?
d
Let p be (-3 - 51/(-18))/(-199 + 9). Are -1 and p equal?
False
Let h = -1141.9 + 1076. Let i = 66 + h. Which is greater: i or -32?
i
Let u(r) = -r**2 - 14*r - 11. Let d be u(-13). Let j = -16 + d. Are j and -13 equal?
False
Let r = 747 - 1069. Which is smaller: r or -321?
r
Suppose 5*o = -15 - 0. Suppose 20 = 4*p, -2*y + 6*y = -3*p + 95. Let j = y - 25. Which is bigger: j or o?
o
Let g be (-171)/((-3)/(-1)) - 3. Let f be (-24)/g - (-1014)/(-10). Let z = f - -710/7. Which is smaller: z or -1?
-1
Suppose 4 = 256*k - 260*k. Suppose 13 + 2 = -3*j. Which is bigger: j or k?
k
Let z be (-4)/18 + (838/(-36) - 6). Is -29 != z?
True
Let g(r) = -2*r - 49. Let d be g(-15). Which is greater: -123/7 or d?
-123/7
S