 b?
y
Let o = -9683 - -9305.2. Which is greater: o or 0.2?
0.2
Let t = -184.5 - -248. Let i = 60.371 - 0.371. Let n = t - i. Which is greater: n or 1?
n
Suppose -41*q = 4*r - 37*q + 15144, 4*r + q = -15150. Which is bigger: -3787 or r?
-3787
Let w = 0.131 - 0.031. Let o = -6 + 5.92. Let u = o + w. Does u = 4?
False
Let v be 1*(520/620)/(-13). Suppose -s - 5 = -6*s. Which is smaller: s or v?
v
Let y = 115 + -133. Let h be (87/90 + -1)/((-10)/y). Which is greater: h or 0?
0
Let p be ((-4)/3)/(0 - 24/180). Suppose -2*j - 5*a = -25, -4*j + 0*a - 2*a = -42. Is p bigger than j?
False
Suppose -d + 6 + 4 = 0. Suppose d*x - 42 = 8. Let y be (-3 + x - 2) + (-1 - -1). Which is bigger: y or -10/23?
y
Let y be 23 - 19 - 2/(-2). Suppose -3*g - 6 = -3*w, -5*w = y*g - 2*w - 22. Is 6 at most as big as g?
False
Let v be (-448)/896*6*((-264)/9 + -2). Is 115 at most as big as v?
False
Let v be 50/(-4) + (-4)/(-8). Let r be 8/68*v/(-15). Let y = r - 56/17. Is -4 greater than y?
False
Let b be 40 + -26 - (6 - -7). Which is smaller: -1/794 or b?
-1/794
Suppose -4*j - 2*j = -66. Let b = 689/4 + -4811/28. Which is smaller: j or b?
b
Let f(a) = a**3 + 17*a**2 - 165*a + 72. Let y be f(-24). Which is smaller: y or -28/297?
-28/297
Let d = -7145 + 35727/5. Which is bigger: -136.5 or d?
d
Let g = 2857/57 - -194/19. Which is bigger: g or 61?
61
Let l = -3736/11 - -13049870/38423. Is 1 not equal to l?
True
Let q = 1736 - 1720.34. Let x = q - 0.66. Is -0.1 > x?
False
Suppose -2*w + 3 = 5, 0 = 3*m + 2*w + 5. Let x be 20/(-6)*(-30)/4. Let k = x + -15. Which is greater: k or m?
k
Suppose -38*j + 53 - 248 = 261. Is -49/4 at most j?
True
Suppose 0 = 583*u - 572*u + 143. Let s be 132/18*(-30)/16. Which is bigger: u or s?
u
Let d = 298 - 298.311. Let t = 1.111 + d. Is 8 greater than t?
True
Suppose -7*v + 2517 = -3*v - 5*b, 2547 = 4*v + 5*b. Let g = v + -531. Let s(z) = -24*z + 5. Let f be s(-4). Are g and f unequal?
True
Let d(o) = -o**3 + o - 1. Let r(h) = -3*h**3 + 2*h**2 - 4*h + 8. Let a(p) = 4*d(p) - r(p). Let g be a(4). Which is smaller: g or -5?
g
Let v(r) = 936*r + 652. Let d be v(-4). Which is smaller: d or -3091?
d
Let t = 511773/19 - 26937. Which is greater: 178 or t?
178
Let l = -72 - -69. Let n be l*32/(-10)*(-60)/(-9). Is n less than or equal to 63?
False
Let t = 761/273 - 35/13. Let s(k) = 7*k - 33. Let l be s(5). Suppose -3*i + 0*i - p + 1 = 0, -3*p + 14 = -l*i. Is t <= i?
False
Let k(h) = 49 + 13 + 3*h - 20. Let z = -17 - 4. Let x be k(z). Which is greater: -22 or x?
x
Let b be (-6 - 2059122/(-336364)) + -2 + 2. Let d = 1/4102 + b. Is -1 not equal to d?
True
Let q be 4/10 - (4568/(-55) - (-768)/(-1408)). Is 87 greater than or equal to q?
True
Let z(q) = -10*q + 10. Let r be z(3). Suppose -6*h + 3*h + 9 = 0. Suppose -h*i + 80 = -7*i. Is i > r?
False
Let q = 0.7069 - 0.6069. Which is smaller: q or -2/293?
-2/293
Suppose -2*k = -n - 5*k + 1940, 4*n = -k + 7815. Let s be (-6)/(-69) - 952/n. Is 33/2 smaller than s?
False
Suppose 429*q - 18 = 423*q. Suppose 3*d - 657 = -q*y, 5*d - 1515 = -2*y - 426. Which is greater: d or 219?
219
Let u be (-2082)/(-80) - (-32)/(-80). Are 25 and u equal?
False
Let q = -24008 - -5113720/213. Is q equal to 1?
False
Suppose 0 = -3*j + 9, 277 = 5*t + 6*j - 7*j. Let i be 119/(-9) + t/252. Are i and -9 unequal?
True
Let i be 1/(1 - 2300/2295). Let n = i + 466. Which is bigger: -2 or n?
n
Let j = 10518 - 10518. Is j bigger than 2/29245?
False
Let n(x) = x**3 - 6*x**2 + 13*x - 12. Let b be n(8). Suppose -u = -21*u - b. Which is greater: -10 or u?
-10
Let w be ((-10)/3)/(((-88)/24)/(-11)). Let d be (-87 - -3)/(5 + 65/w). Which is greater: 54 or d?
d
Let d be (12/2 - 18)/(-4). Suppose 2*t - 3*u = -5, -4*t + 2*t - d*u = -13. Is t less than or equal to 38/33?
False
Let t = 1.8 + -9.8. Let a = 78.6 + 6.1. Let i = a - 85. Do i and t have the same value?
False
Let c(s) = -s + 10. Let l be c(8). Suppose -10 = -3*n - l*n. Suppose -n = 2*p, 4*o - 4*p = -8*p + 100. Is 26 equal to o?
True
Let j(p) = p**2 - 30*p - 98. Suppose 426*s = 427*s - 33. Let z be j(s). Which is bigger: -1/25 or z?
z
Let n(h) = -h**3 - 28*h**2 - 50*h + 54. Let d be n(-26). Suppose -3*j = -3*b - 48, 16*j = 15*j - d*b + 31. Is 26 greater than or equal to j?
True
Let y be 2 - 2 - 3 - 209. Let h = -192 - y. Are h and 24 nonequal?
True
Let h = 3.23 - 3.306. Let a = h - 0.624. Is 0.5 not equal to a?
True
Let f(s) = s**2 + 7*s + 4. Let g be (-2)/(5/(-40)*-4). Let v be f(g). Let r be 3*-2 + -5 + 6. Is v != r?
True
Let p be -1 - (1/(-1) - -10). Let b(g) = -671*g + 781. Let w be b(17). Let u be (-10)/7*w/(-1656). Is u not equal to p?
True
Suppose -25 = -5*s, -4*s = 4*u - 9 - 11. Let j be (-7 - 19)/(u + -5 + 6). Does -29 = j?
False
Let n = 32606/11 - 2964. Which is smaller: 2.85 or n?
n
Let x(h) = h**3 + h**2 - 2*h - 10. Let k be x(0). Let a = 58 - 70. Is a equal to k?
False
Let g(v) be the first derivative of -v**4 - 2*v**3/3 - v**2/2 + 7*v + 29. Let s be g(2). Do -38 and s have different values?
True
Let g be ((-264)/225456)/((-158)/80 + 2). Is g at most as big as 0?
True
Let z(w) = -335 + 251 - 13*w + 3*w**2 - 5*w - 4*w**2. Let k be z(-11). Are k and -22/3 unequal?
True
Suppose 2*y - 2*z = 2*z + 18, 5*z + 15 = 0. Suppose f + y*f = -3*b - 15, -3*b = -2*f - 3. Let o be f/18*-18*1/14. Is o at least as big as -1?
True
Suppose g + 26 = -3*w, -24*w = -19*w + 5*g + 50. Is w > 4.4?
False
Let t = -274.9 + 275. Let n = -0.97 + 0.9. Let i = -0.37 - n. Are t and i non-equal?
True
Let n be ((-1)/(-5))/(8/((-341120)/(-16))). Are n and 526 non-equal?
True
Let h = -979.0637 + 979. Let v = h + 2.0637. Let z = 1/95 - 674/855. Is v < z?
False
Let m be ((-195)/7020)/((-158)/174 - -1). Is -1 != m?
True
Let b be (-57776)/(-80136) + 12/(-162). Let f = b + -4/53. Is f at least 0?
True
Let k = -62 - -74. Let h be 1/((-18)/(-68)) - k/(-54). Let b be -1*-6*8/h. Which is smaller: b or 21/2?
21/2
Let y = -218891/5 + 43615. Which is bigger: -162 or y?
-162
Suppose 2*c = 2*z - 48 - 18, 4*z = 5*c + 133. Suppose 5*u = 4*s - 19, -3*s = -4*u + 17 - z. Which is greater: 3/32 or s?
s
Let c be 10 - (-220)/(-66)*(-486)/(-165). Is c less than 1.7?
True
Let b = -54 - -57. Suppose -10*m + 7*m = b*h - 324, -3*m + 319 = -2*h. Which is bigger: 108 or m?
108
Let h = -3762377531 + 1155051840719/307. Let i = h + -6315. Is 0 >= i?
True
Let k be (-1)/((-1)/(-3)) - (6 - 7). Let z be (6/k - -4) + (25 - 3). Let m = 0.2 + 0.8. Is z > m?
True
Let m = 4965 + -4948. Which is smaller: m or 14?
14
Let o = 83 - -30. Suppose 2*b - o - 7 = 0. Let i be (b/8)/(0 - (-1 - 11)). Which is smaller: i or -2?
-2
Let d = 35 + -30. Suppose b = 3*x - 4, -4 - 8 = -4*b + d*x. Suppose 3*f = 4*f + b. Which is bigger: f or -5?
-5
Let m be 3/5 - 4611/(-15). Let n be (m/292 - 1)/2. Suppose 0*j - 2*j = 3*j. Which is greater: n or j?
n
Suppose 2*p - 2*s - 84 = 0, -2*p + 30 = -p - 5*s. Let j = -4/1655 - -230057/4965. Is p greater than or equal to j?
False
Let h = -1465 + 1510. Let s = -14 - -14.2. Which is smaller: s or h?
s
Suppose 4*l + 27*i = 30*i - 22, -2*i = -12. Is 7/794 less than or equal to l?
False
Let o = 36 + -41. Let r = 4.114 - 0.114. Let c = o + r. Is c less than or equal to 102?
True
Suppose -11 + 5 = 2*b. Let d be (-2)/b - (58058/21)/(-11). Suppose -4*h - t = t + d, -h + 3*t = 49. Which is bigger: h or 0?
0
Let a = -269 + 280. Let y be (a/(-9))/(25/(-225)). Do 11 and y have different values?
False
Let l = 19307 + -19308. Is l at least 4468?
False
Let f = -123 - -125. Suppose -2*o + u = 212, f*o + o = u - 317. Let b = 58 + o. Is -47 > b?
False
Let y be (-23)/(-92) - (842/8 - -3). Which is greater: -105 or y?
-105
Suppose -4*o = -16, 23*z - 25*z - 316 = -3*o. Which is greater: z or -1073/7?
z
Let y = -1.78 - 140.22. Let p = y - -142.012. Let k be -2 + (128/20 - 4). Which is smaller: k or p?
p
Let c(m) = -m**3 - 3*m**2 + 4*m - 5. Let p be c(-4). Let a(z) = 2*z**2 + 5*z**3 + 3*z**2 - 39 + 40 - 4*z**3. Let o be a(p). Which is bigger: 1/3 or o?
o
Let a be 0/(-2) - (13/((-273)/(-6)) + 0). Which is greater: a or -1?
a
Let x(c) = -c - 6. Let o be x(-6). Let p(d) = -31*d**2 + 6*d - 1. Let i be p(1). Let n be -1 + ((-88)/i - 2). Which is bigger: n or o?
n
Let d be 0 - -3*(-35 - -2). Let v = 70 + d. Let m be 8 + -4 + -11 + (6 - 28). Is m equal to v?
True
Let h = -0.0