Which is greater: x or a?
a
Let x = 20.049 + -0.049. Let o = x + -20.05. Let i = 0.95 - o. Which is smaller: -0.2 or i?
-0.2
Let g(c) = c**3 - 14*c**2 + 17*c - 8. Let a be g(13). Let i = -1008/23 + a. Is 0.2 less than i?
False
Suppose -5*a + 92*r = 89*r - 4, -5*r + 12 = a. Does 14.15 = a?
False
Let w = -11791 - -11791.089. Is 11 <= w?
False
Suppose 0 = -1192*n + 1187*n - 4450. Which is greater: -886 or n?
-886
Let m be (-15)/((-525)/224) + (-4)/10. Let c be 3/m - (-4)/(-3 - -11). Suppose -5*a - 4 = c. Which is greater: a or 0.61?
0.61
Let j(p) = 1. Let c(h) = -15*h - 38. Let x(z) = -c(z) - 6*j(z). Suppose 274*i = 288*i - 70. Let a be x(i). Are 108 and a unequal?
True
Let j be ((16 - 28) + 12)/(-2). Which is smaller: j or -20/1743?
-20/1743
Let h = -0.0133 + -15.9867. Let b = -164 - h. Which is smaller: b or -0.1?
b
Let a(m) = -3*m + m - 15*m**2 + 9*m + 14*m**2 - 8. Let i be a(4). Suppose 7 + 13 = -i*l. Which is smaller: l or 3?
l
Let x be (74 + -75)/(2/8*2)*3. Which is smaller: 10 or x?
x
Let j = -7342.01 - -7342. Let p = -24 + 10. Let t = 14.06 + p. Which is bigger: t or j?
t
Let r = 0.253 + 106.747. Let b = -108.87 + r. Let h = -0.13 + b. Is 2.8 bigger than h?
True
Let f = 115 - 115.132. Let r = f + -24.868. Is r less than or equal to 0?
True
Let m = 286.3 - 281.3. Are m and 11.1 non-equal?
True
Let f be 93/(-18) + 5 - (1 - 410/980). Which is bigger: f or -1?
f
Let t = 72.15 - 72.25. Which is greater: -3263 or t?
t
Let j(w) = w**3 + 17*w**2 - 18*w - 4. Let v(d) = d**2 + 13*d - 27. Let s be v(-17). Suppose -4*i - 31 = s. Let o be j(i). Are 0 and o non-equal?
True
Let u(p) = -p**3 + 12*p**2 + 16*p + 20. Let n be u(10). Let d(g) = -g**2 - g + 4. Let l be d(-4). Let h be 2/(-10)*n/l. Which is bigger: 9 or h?
h
Let g = -1438387366/547665 + 2/109533. Which is bigger: g or -2626?
-2626
Suppose 0 = -0*a - 6*a + 12. Suppose -a*k + z = -29, 2*z = -z - 15. Suppose -k = 3*m, -8 = -4*o + m + m. Which is smaller: o or -0.3?
-0.3
Let o = 7409 - 7395. Which is smaller: 0.373 or o?
0.373
Let k(y) = -y**3 + 3*y**2 + y - 1. Let x be k(-4). Suppose -11*d + 509 + x = 0. Suppose 8*h - 12*h = d. Is -10 >= h?
True
Suppose 20 = 5*a, 0 = -0*f - 2*f - 3*a + 22. Suppose f*q = 4*o - 34, -8 - 20 = -5*o - q. Let x be 14/(-63)*(-1)/o. Is x less than or equal to 1?
True
Let k(u) = 8*u + 63. Let g(n) = n - 2. Let q(p) = -3*g(p) - k(p). Let x be q(-6). Suppose 0 = 5*t + d - 45, 7*d - 2*d - 9 = -t. Is t at least x?
True
Let h = 1.93 + -2.93. Let y = -6 + h. Which is greater: -4 or y?
-4
Let b(h) = -28*h + 19. Let n(q) = -365*q + 250. Let x(f) = 40*b(f) - 3*n(f). Let c be (0 - 0) + (-2 - -4). Let g be x(c). Do -40 and g have different values?
False
Let k = 250 - 262. Suppose -2*i = 2*a - 4*i - 12, a + 2*i + 3 = 0. Suppose -2*f + 4*c - 17 = c, -a*f - 36 = -c. Is k less than f?
False
Suppose 12*m - 17*m = 945. Let o be 234/m*(-3)/(-6). Does -1 = o?
False
Let x = -6776 + 664045/98. Is x equal to -1/4?
False
Let u be (-4)/(-12)*(130 + 2). Let c be (-1)/(-4) + (-11)/u. Suppose c*n - d = -5*n - 100, 4*d = 4*n + 80. Is -3/4 < n?
False
Let z be (-3 + 4 + 0)/(-23 - -24). Which is smaller: 2/199 or z?
2/199
Suppose 5*c = -4*s + 39, -4*c = 2*s - 17 - 7. Suppose 4*z - z + 4*r = -s, 0 = z - r - 5. Let q be -4 - (z + 699/(-117)). Is q > 1?
False
Suppose -3 = -g - 0. Suppose -4*b + 27 = g*h, 4*h + 14 = 2. Suppose b*l - l = 48. Is l >= 3?
True
Let l = -582186/29 + 20073. Is -0.1 greater than l?
True
Suppose 5*s = 5*a - 1305, s = -a - 3*a + 1044. Suppose -1560 = -738*j + 732*j. Is a less than j?
False
Let o(v) = v - 11. Let h be o(13). Let j(q) = q**3 - q + 12. Let t be j(0). Suppose 0 = -3*m - h*w - t, 2 = -3*m - w - 7. Is m equal to -16/7?
False
Suppose 15*v - 14*v - 4*s - 24 = 0, -v - 3*s = -24. Suppose -21*r + v*r - 6 = 0. Which is bigger: r or 4?
4
Suppose 385371 = -32*v - 16069. Which is greater: v or -12544?
-12544
Let q = 592 - 390. Let b = q - 203. Are b and 1 unequal?
True
Let m(r) = r**2 - 18*r + 8. Let a = -25 - -42. Let n be m(a). Let c be (n/(27/24))/1. Which is greater: -7 or c?
-7
Suppose 2*v + 8 = 6*v. Suppose 24 = x - v*w, w = -5*x + 4*w + 141. Suppose -x = 3*a - 4*z + 131, -3*a - 169 = 4*z. Which is greater: a or -56?
a
Let b(u) = 7*u + 8. Suppose h - 458 = -4*h - r, -9 = -3*r. Suppose -96*i = -h*i - 25. Let l be b(i). Which is smaller: 42 or l?
42
Let s(m) = 2*m**3 - 4*m**2 + 2*m. Let g be s(2). Let q be g/(-5) + 38/10. Suppose 4*b = -q*b - 7. Are -2 and b equal?
False
Let t = -103 - -171. Suppose -27*a + t = -23*a. Suppose -368 = -i + a*i. Is -23 > i?
False
Let q be ((-60)/(-800))/((-3)/((-540)/(-5))). Are q and 2 nonequal?
True
Let a be 6 + 3/(6/(-98)). Let g = a - -45. Let y be (-1)/(-2) + (-1)/2. Which is smaller: g or y?
y
Suppose -1837 = 8*l - 277. Let v be (2/(-6))/(52/l). Do v and -2 have different values?
True
Suppose -2*n + 0*n - 10 = 0. Let h = n + 6. Let i = 83 + -85. Which is smaller: i or h?
i
Let r(c) = -c + 8. Let k(j) = -j**3 - 11*j**2 - j - 11. Let p be k(-11). Suppose 2*f + 2*f - 28 = p. Let h be r(f). Which is smaller: h or -13/5?
-13/5
Suppose -w - 2*l = 3355, -3482 - 6579 = 3*w + 4*l. Is -3353 at least as big as w?
False
Let s = 193 + -193. Suppose s = 2*j - j + 2*j. Let a be 416/(-606) + 4/6. Which is bigger: j or a?
j
Let s = -1 - -1.06. Let w = 0.14 + s. Let t(q) = -q**2 + 34*q + 249. Let b be t(-6). Is b >= w?
True
Suppose -6*n + 94 = -26. Suppose n = 2*k + 2*v, -3 = -2*k - 3*v + 21. Suppose k*i + i - 273 = 0. Is i at least as big as 40?
False
Suppose 0 = -4*s + z + 2205, -15*s + 2*z = -16*s + 549. Which is smaller: s or 553?
s
Let s(b) = -b**2 + 38*b - 122. Let w be s(36). Let j be (-2032)/10 + 3 + 190/w. Is j > -203?
False
Let q(o) = o**2 - 2*o - 16. Let b be q(5). Let z be b + 5/4 + 3895/(-10). Let r = z - -392. Which is smaller: 4 or r?
r
Suppose 0 = -3*o + 3*k + 57, -k + 104 = 5*o - 21. Let h be (-9)/o - 70/(-16). Suppose 3*d - 2*q - 5 = 0, 2*q = h*q + 8. Is -2/359 at least d?
True
Let b = -6.43 + 4.43. Let a = 55/2 + -1597/58. Which is smaller: a or b?
b
Let l = -3.53 - -1.88. Let w = 154.35 - l. Is w > -0.1?
True
Let f(n) = 4*n**2 - n - 4. Let d be f(-5). Suppose d*j - 94*j - 203 = 0. Is 1 at most as big as j?
True
Suppose -12*y - 136 = -29*y. Let m(w) = 14*w + 55. Let l be m(-4). Which is greater: y or l?
y
Let v = -13.39 - -16.53. Which is smaller: v or 14?
v
Suppose v + 5*k = 5*v - 33, 0 = 3*v + 5*k - 51. Let x be -17 + v + (-4692)/(-940). Is 1 greater than or equal to x?
True
Let g = 21648 - 21675. Let d = -13 + -1. Let b be 1/((-14)/g) - 8/d. Is 4 > b?
True
Suppose -1292 = -20*v - 14*v. Is v equal to 4/7?
False
Let d be (6/8)/((-135)/35*(-49)/112). Which is bigger: -1/210 or d?
d
Let r = 274 - 173. Let w = -121.18 + 20.08. Let d = w + r. Which is smaller: d or -62?
-62
Let p(i) = 23*i**2 - 3*i - 3. Let q be p(-3). Suppose 6*o - q = 243. Let y be 57/o - (-2)/8*29. Which is smaller: y or 11?
y
Let o = 38.53 + 0.47. Let m = -26.963 - 0.037. Let v = m + o. Which is smaller: v or 2?
2
Let n(l) = l**2 + l + 2. Let y be n(0). Suppose -14*r - 378 = -2*r - 30*r. Suppose -r + 13 = -y*t. Is 4 at most as big as t?
True
Suppose 5*s = 5*f + s - 27, 3*f - 19 = s. Suppose 2*x = n - 36, x + f*n + 4 = 4*n. Which is smaller: x or -1/3?
x
Let u = 226.472 + 0.528. Let s = -200 + u. Is -2/9 at least as big as s?
False
Let x(g) = -g**3 - 14*g**2 - 16*g - 38. Let r be x(-13). Let d be (1 + 0 - r)/(6 - 8). Is -1/22 less than or equal to d?
True
Let u = -251.61 - -253. Let n = u + -1.42. Which is greater: 0.1 or n?
0.1
Suppose 4291 = -3*g + 2*v, -171*v + 175*v - 5720 = 4*g. Is g greater than -1429?
False
Let r = 64 - -5. Let q = r - 69. Let c(x) = -x**2 + 15*x + 2. Let y be c(15). Which is smaller: y or q?
q
Let b be (344/44 - 9 - -1)*152/11. Is b < -3?
False
Let g = -53 + 80. Suppose -3*h + 3*i + g = 0, h + i - 3*i = 10. Let p be 20/(-3)*1/((-5)/6). Is h greater than or equal to p?
True
Let c(b) = 4*b**2 - 44*b + 75. Let k be c(-10). Is k bigger than 915?
False
Suppose 22*k - 3 + 399 = 0. Let n be (-3)/k - (-400)/(-672). Which is bigger: 45 or n?
45
Suppose -111 = -8*n - 79. Suppose -13*t + 2286 = -n*t. Is t <= 254?
True
Let r = -1180024/385 + 3065. Does r = 1?
False
Suppose -5*s - 5*a + 402 = 382, 5*s - 11 = -2*a. Which is greater: 1/1120 or s?
s
Let w = 2