 be w(-1). Let b(c) = -2*c + 3. Let a be b(2). Let g be (0 + a)*-1*-8. Are g and y unequal?
True
Let f be (-20)/(-60) + 4232/6. Let h = f - 699. Does 8 = h?
False
Let a = -60 - -59.81. Which is greater: 22 or a?
22
Let v(f) = 23*f**3 + 6*f**2 + 8*f. Let z be v(-2). Are -176 and z unequal?
False
Let i = 267 - 674. Are -407 and i unequal?
False
Let r = -109567/44 - -2490. Is 0 smaller than r?
False
Suppose h + 9 = 17. Let q(s) = -s**2 - 8*s - 1. Let n be q(-8). Let x = n + 11. Which is greater: x or h?
x
Let a = -3321/4 + 877. Is a > 47?
False
Let m(h) = h**3 + 18*h**2 - 16*h + 56. Let b be m(-19). Let x be 0 + 2*1/31. Does b = x?
False
Let p be (45/(-2))/(1/(-2)). Let a(w) = -2*w**2 + 34*w + 213. Let r be a(-4). Does p = r?
True
Suppose 0 = 3*z + 19 - 10. Does -12 = z?
False
Let i(b) = b + 3. Let n be i(-3). Let f = 16 - 2. Let r = f + -100/7. Is r > n?
False
Let y(w) = 26*w - 935. Let p be y(36). Let o be (-104)/(-462) - 4/14. Which is bigger: o or p?
p
Let p = -7 - -6. Let g be p - ((-36)/28 - 1). Is g less than 1?
False
Let z(f) = -f**2 + 2. Let y(b) = b**3 + 9*b**2 - 8*b + 2. Let m be y(-9). Let n be m/(-12) - (-2)/12. Let i be z(n). Which is smaller: i or -35?
-35
Let m be (0/(-3))/4 + -38. Let a be 10/35 + m/(-14). Which is smaller: 0 or a?
0
Let a = 7 - 2. Let t = a - 22. Which is greater: t or -18?
t
Suppose -2*r = -5*r - 2*f + 175, 3*f - 177 = -3*r. Let c = r + -57. Does c = 0?
True
Let n = 0.87 - 0.9. Let l = 17 + -17.13. Let f = l - n. Does f = -1.4?
False
Let f be (-54)/143*(-121)/363. Is f < 0?
False
Let u = -121/12 - -31/4. Let m = -73.1 - -80. Let z = -7 + m. Is u less than z?
True
Let u be 230/40 - (-3)/12. Suppose -20 = -4*g, 2*g - u = -2*s + 8. Is s greater than 1?
True
Suppose d + 84 = 5*q, -5 - 7 = -q - d. Let t = q - 16. Suppose t = -m - 3*m. Which is smaller: m or 1/2?
m
Let n = 59.1 - 15.1. Let q = 4 + -3.9. Is q greater than or equal to n?
False
Let z = -24 + 21. Suppose 16 = 31*x - 35*x. Is z < x?
False
Let d = 0.8 - -0.6. Let t = d + 0.6. Let r = 0.4 + 3.6. Which is smaller: r or t?
t
Let b be (-3)/7 - -2*3/14. Let n = -3.6 + 0.6. Let f = 1 + n. Is b smaller than f?
False
Suppose -4*a = p - 3, -3*a - 38 = -5*p - 0*a. Suppose -p*g = 43 + 251. Which is smaller: g or -41?
g
Let a be (-90 - 6)/(1/4). Let l = a + 11901/31. Which is bigger: l or 0?
0
Let r = 21 - 42. Let y be 17/(-34) + r/(-10). Is y greater than or equal to 1?
True
Let y = 241/395 - -15/79. Which is smaller: -2/3 or y?
-2/3
Let l = 63.5 + -66.5. Which is greater: 5 or l?
5
Let d = 469 - 980. Is d at most -509?
True
Let a(x) = 35*x + 75. Let n be a(-6). Is n < 3?
True
Let v be (-408)/10 - 9/45. Which is smaller: v or -39?
v
Suppose 5*d - 41 = 4. Suppose -d = -5*u + 61. Do 14 and u have the same value?
True
Let s(h) = 6*h + 83. Let q be s(-13). Let k = 1 - -3. Does k = q?
False
Let v be (2/4*-3)/((-126)/(-9)). Are 1 and v equal?
False
Let u = -0.24 - 0.22. Let z = -0.36 - u. Is z > -3?
True
Let g(a) = -6*a - 24. Let l be g(-7). Let u be l/(-120) - 1/10. Which is smaller: u or 0.3?
u
Let x = 382856/95 - 4030. Which is bigger: 1 or x?
1
Let q = 1950 + -1268. Is -2/5 <= q?
True
Suppose p - 4 = h, 4*p + 6*h - 17 = 11*h. Suppose 0 = -2*d - 0 + 10. Which is bigger: p or d?
d
Let u = 44 - -84. Suppose 4*q - 8*q + 136 = 2*s, -4*q = -2*s + u. Is s at least 67?
False
Let k be (-365)/(-28) - 4/56*4. Which is smaller: k or 13?
k
Suppose -x + 0*x = r - 2, 3*x - 3*r - 6 = 0. Let k be (-3)/(-3 + x + 0) + -3. Is -1/66 bigger than k?
False
Suppose 0 = -98*i + 96*i + 32. Suppose 2 = 4*u - 58. Which is greater: u or i?
i
Let a = 104 + -1. Is 103 at most as big as a?
True
Let x be (7 + -3)*2/(-8). Let y be 0/((2 + -3)*x). Suppose 0 = -2*t - 3*a + 21, 50 = 4*t - y*a - 2*a. Are 1 and t unequal?
True
Let u be 412/(-34) - (-2 - -4). Let t = u + 14. Let m be (3 - (-8)/(-4))/1. Which is smaller: m or t?
t
Let k be (-4)/(-18) - (-2)/(-9). Suppose -10 = -2*x - 2*v, 2*v = -k*x - 5*x + 19. Let d = 2541 + -2538. Do d and x have different values?
False
Suppose -5*f + 7 = -3. Suppose 4*g = -g - f*c + 27, 21 = 4*g + c. Suppose -5*a + 15 = g. Is -1/4 != a?
True
Suppose 16 = -860*n + 868*n. Which is smaller: n or -24/5?
-24/5
Let p = 1730895/259 - 6683. Do 1 and p have different values?
True
Suppose 3*h + 368 = 4*n - 70, 0 = -2*n - 6. Let d be (-4)/30 + (-170)/h. Which is smaller: -1/9 or d?
-1/9
Let d = -1350 - -2006. Is d at least as big as 657?
False
Suppose 60 = 3*z + 18. Let o be (5/(-2) - -2)*z. Let d = o - -1. Which is smaller: -8 or d?
-8
Let x be (-32)/(-10) - (133/(-35) + 4). Let l = -8 + 18. Are l and x unequal?
True
Let t(d) = -4 + 5*d - 3 + 2 + 1. Let c be t(2). Suppose -2*h = -4*h + c. Is h > 3?
False
Let r = -585 - -537.7. Let t = r + 47. Is t at least 0.07?
False
Let i = 0.02 + -2.02. Let l = i - -0.7. Is l at least as big as -2?
True
Let a be (-3)/(-24) + 63/(-312). Is a not equal to -0.25?
True
Suppose 4*w - 9 = -i + 6*i, 15 = -3*i. Let k be 198/12 + 2/w. Suppose 0 = 4*s - 2*s + k. Is -8 less than s?
False
Suppose 4*w - 2296 = -w + 2*x, 2*x + 464 = w. Which is greater: 459 or w?
459
Let b = 0.2 - -0.8. Let c = 67 - 67. Is c at most as big as b?
True
Suppose 80 = 128*o - 136*o. Which is smaller: -5 or o?
o
Let f = -2 + 1. Let s be (-156)/(-92) - (-10)/(-5). Let w = -95/161 - s. Which is smaller: f or w?
f
Let j = 8 + -2. Let a = -1 + j. Let k = -10 + a. Which is smaller: -1 or k?
k
Let v = -3 - -3. Let o = 34 - 68. Let r be (-2)/o*-1*2. Which is bigger: r or v?
v
Let i be -8*(-2)/4*8. Suppose -4*g + 4*o + 21 = 1, o = 4*g - i. Which is smaller: g or 10?
g
Suppose 4*h - 7 = 1. Suppose -5*s + 60 = 15. Suppose -5*k + s - 4 = 0. Which is smaller: h or k?
k
Let c = -136 - -94. Let g be (-121)/(-7) + 12/c. Let w = g + -17. Is w >= -7?
True
Let n = -0.05932 + -0.04068. Let v = -17.1 + -3.9. Which is smaller: v or n?
v
Let y(p) = -p**3 + 5*p**2 - 6*p + 7. Let b be (-1)/2*-2 - 45/(-15). Let d be y(b). Is -9 < d?
True
Suppose -2*n - 2*n + 8 = 0, -3*i - 3*n = -3. Which is smaller: 8/107 or i?
i
Let o be 20/6*63/(-28). Suppose -81 = -4*g - 2*b + 19, -5*g - 2*b = -127. Suppose 0 = -4*t - n - g, -t - t + n = 15. Is t != o?
True
Let x = -1.4 + -2.4. Let f = -0.8 - x. Let b = -25.2 + 25.5. Is b bigger than f?
False
Let v = 463/1610 - -2/161. Suppose 6 = 5*s + 66. Let z be 3/(-4) + (-21)/s. Which is smaller: z or v?
v
Let d = -344 + 343. Let y = -844/377 + 30/13. Which is greater: d or y?
y
Let y(j) = -6*j - 77. Let a be y(-21). Let n = -74 + a. Is n at most as big as -25?
True
Suppose 0 = -82*w - 10250 - 2624. Which is greater: w or -160?
w
Suppose -5*j - 4*r + 5 = 0, -j + 0*r = 5*r - 1. Suppose -2*g = -3 - j. Which is smaller: -0.3 or g?
-0.3
Let d be 3 - ((0 - 2) + 4). Suppose -y - d = 6. Let s be (y/77)/(1/(-2)). Which is smaller: 0.3 or s?
s
Let n(u) = u**3 - 7*u**2 + 4*u - 4. Let g be n(3). Let d be (2/g)/((-1)/4). Let w = 634.73 + -635. Are d and w equal?
False
Let i = -468 - -471. Let d = 8 - 8. Is d greater than or equal to i?
False
Suppose 14*i - 8*i = -384. Let p = -63 - i. Which is greater: p or -1/69?
p
Suppose 0 = 11*y + 79 - 46. Does -25/8 = y?
False
Suppose -5*p = -2*r - 2 - 28, -12 = -3*p. Is -29/6 not equal to r?
True
Suppose -6*w - 3 = -7*w. Let t = 22 + -18. Is t greater than or equal to w?
True
Let u be 6 + (-4 - (-3 - -1)). Suppose 5*x + 14 = -4*m + 5, u*m - 4*x = 0. Let z be 14/(-21)*(-6)/(-74). Which is bigger: z or m?
z
Suppose t - 3*v = -18, -5*t - 2*v - v = 0. Let q = 6 - -7. Let g = q + t. Which is smaller: g or 11?
g
Let s = -13610/781 + 192/11. Let k be (-81)/(-135) - (-27)/(-45). Which is smaller: s or k?
k
Let n = 4 - 10. Let m = 6 + n. Suppose -16 = -5*t + 13*t. Which is bigger: t or m?
m
Let s(g) = -13*g + 53. Let q be s(4). Which is bigger: q or -3?
q
Let q = 1.2 + -2. Let n = 14.2 - q. Let o = n - 12. Is o >= 0.2?
True
Suppose 59 - 367 = -4*u. Suppose -2*w - 19 - 12 = y, 2*y = -5*w - u. Is w greater than -31/2?
True
Let w = -11 + 11. Let m = 0.8 - w. Suppose -2*f + 5 = 7. Is m >= f?
True
Let x = 283 + -288. Does -41/7 = x?
False
Suppose 4*h + 4*k - 516 = 0, 3*h = 28*k - 25*k + 381. Is h less than 128?
False
Let v = -6 + 4. Let h = 17.5 + -21. Let d = h + 11.5. Which is greater: d or v?
d
Suppose 2*u + 2288 = -5*j + 534, 708 = -2*j - 4*u. Which is bigger: 