+ -363. Let i = q - -211. Which is bigger: -2/3 or i?
i
Let f = -322 + 324.7. Let b = f + -4.7. Does -20 = b?
False
Suppose b + 3 = -v, -7*v - b = -11*v + 8. Which is greater: v or 2/2697?
v
Let r = -241 + 242.41. Let t = 0.59 + r. Do 37 and t have the same value?
False
Suppose -5*v = -k + 368, -4*v - 26*k + 24*k = 286. Suppose 0 + 8 = 4*b. Which is smaller: b or v?
v
Suppose 5*b + z + 360 = 1217, 0 = -5*b - 2*z + 859. Let s = 3763/22 - b. Suppose -2*f + 6 = 2*x, -f + x = -3*x + 12. Which is smaller: f or s?
f
Let n = 2471 + -2471.562. Are n and -0.1 equal?
False
Let c(f) = -9*f**3 + 2*f**2 + 2*f - 1. Let x be c(2). Suppose 12*d - 3*d = -8*d. Suppose 15*m - 9*m + 372 = d. Which is smaller: x or m?
m
Let k = 30.055 - -145.955. Let q = k - 176. Is -1.1 less than q?
True
Let v(d) be the second derivative of -d**5/20 + 3*d**4/2 + 11*d**3/3 - 29*d**2 - 104*d. Let c be v(19). Is -16/13 smaller than c?
True
Let o = -5338 - -6457. Which is greater: o or 1120?
1120
Suppose -12*w + 3*w + 3231 = 0. Suppose -439 = 5*a - 3*x, 4*a + 6*x = 11*x - w. Is -85 equal to a?
False
Let n be 4/(-18) + 6/27. Let t(i) = -2*i - 1. Let c be t(-1). Let v be (-2025)/(-500) - (3 + c). Which is bigger: v or n?
v
Suppose 0 = 10*x + 45*x - 86900. Which is bigger: x or 1581?
1581
Let b = -303.9 + 301.9. Is b equal to -1141?
False
Suppose b = -26 + 24. Let a be ((-16)/6)/(b/12 - 0). Let v be (17 - a)*(22/(-46) + 1). Which is smaller: 1 or v?
v
Let r = -2 - -6. Let s(n) = -n**2 + 9*n + 27. Let d be s(11). Is r < d?
True
Let a = -11805 + 11142. Which is bigger: -665 or a?
a
Let g = -295.98 - -169.98. Suppose 3*u = 4*i + 3, -4*u = -i - 2*i - 4. Is g less than or equal to u?
True
Let k(s) = -4*s + 3. Let u = -3 + 16. Suppose -4*y - z = -1, -4*y + 3*z = -0*z - u. Let f be k(y). Which is smaller: f or 2/179?
f
Let y(i) be the second derivative of i**3/6 + 13*i**2 - 29*i. Let k be y(17). Which is greater: 45 or k?
45
Suppose -3*b - i = -240, -2*b + 2*i + 204 = 52. Suppose b*c = 87*c - 120. Which is smaller: 17 or c?
c
Let r = -2042 - -19393. Is 17351 <= r?
True
Suppose 2*x - 3*b + 144 = 0, 16*x - 5*b + 380 = 11*x. Does -9/7 = x?
False
Let b(s) = s**3 + 30*s**2 + 183*s - 26. Let v be b(-28). Is v < -3582?
False
Let p be 411 + -2*(-126)/36. Which is smaller: p or 420?
p
Let q(d) be the second derivative of -5*d**4/12 + d**3/2 + d**2 + d. Let v be q(3). Suppose 1095*y - 1887*y = 3204*y + 135864. Is y > v?
False
Let j = 12932 - 1409598/109. Let t = -150214 - -150214. Which is smaller: j or t?
j
Let x be -5*9/(810/12). Let n = -0.62 + 0.89. Let a = 0.07 - n. Is x at most a?
True
Let k = -53/2 - -139/6. Let n(u) = u**3 - 21*u**2 + 13*u - 27. Let h be n(8). Let c = -753 - h. Is c greater than k?
True
Let a = 280.2 + -21.2. Let n = -258.99 + a. Is n < 0.6?
True
Let u be (-6)/(-36) - (-210)/36. Suppose -u*w - 6 = -0*j + 3*j, 4*j = 3*w + 14. Let i = 7402/7 - 1060. Is w less than or equal to i?
False
Let j = 83.15 - 81. Let c = -14.85 - j. Which is bigger: c or -0.1?
-0.1
Let g(o) = o**3 + 4*o**2 - 10*o + 9. Let r be (34/4 - 1)*60/(-75). Let c be g(r). Is c bigger than -11/5?
False
Suppose 5*u + 5 = -4*a, 19*a = 4*u + 18*a - 17. Suppose -272*r + 269*r - u = 0. Are r and -425 nonequal?
True
Let x = -722 - -722.35. Let d = -0.07 - 0.28. Let g = x + d. Which is smaller: g or -0.2?
-0.2
Let j = -4984 - -24948/5. Are 0 and j nonequal?
True
Let g = -16.11 - -36.04. Which is bigger: 0.1 or g?
g
Let b be (220/(-1815))/(4/(-36)). Suppose -4*n + 6 = -n. Which is greater: n or b?
n
Suppose -w = -5*s - 23, 3*w - 13 = 7*w + s. Let p be (w/((-24)/(-2)))/(10/45). Suppose 0*f = -2*g - 5*f - 22, g + 2*f + 9 = 0. Which is smaller: p or g?
g
Let n = -4623/16 + 4615/16. Let j = 109 - 200. Do n and j have different values?
True
Let o = 96686/1060491 - 12/4259. Is -1 != o?
True
Let s(m) = 3*m - 10. Let d(h) = -h + 5. Let r(x) = 5*d(x) + 2*s(x). Let t be r(-3). Suppose -g - 3*a + 5 = -5*g, 0 = 2*g + a - 5. Which is smaller: t or g?
g
Suppose -25*l + 314 = -8*l + 140*l. Let o be (27/13 + -2)*12923. Let w = o + -993. Which is bigger: l or w?
l
Let n = -2.5061 + 0.1861. Which is greater: -5/3 or n?
-5/3
Suppose 0 = -5*l - 51 + 46. Suppose a = -4*a - 120. Let t be 36/(-8)*(-2)/a. Is t less than l?
False
Let n = -6780 - -128784/19. Do n and -1 have different values?
True
Suppose -3*o + 3*y - 26 = -2*y, -46 = 4*o - y. Suppose -16*f - 18 = -18*f. Let r = f + o. Is r smaller than -3?
False
Let g = -0.105 - 3.895. Let w = 2 - g. Is -12 smaller than w?
True
Suppose 5*z - 5*b = 3715, -61*z - 719 = -62*z - 3*b. Is 739 bigger than z?
True
Let g(v) = -v**2 + 6*v - 4. Let k be g(4). Suppose k*p = -4*s - 12, 2*p + 16 = 4*s + 4. Is -52/11 less than or equal to p?
True
Let s be 10 - -4 - (-19437)/217. Which is smaller: 104 or s?
s
Suppose 3 = t, 2*v + 2*t - 15 = 5*t. Let g = -966 - -976. Which is smaller: g or v?
g
Let d be (7 - 738/90)/(((-36)/(-15))/3). Which is smaller: d or 2/327?
d
Let l be 14/4*(-10 + -5 + -9). Is l <= -88?
False
Let t = -277 + 268. Let s = 5.77 + 1.23. Which is greater: t or s?
s
Let c = 10009/114 + -529/6. Suppose -32*x = -5*x. Which is bigger: x or c?
x
Suppose 10*f - 14 - 146 = 0. Let t be (-5)/(-2) + 2*4/f. Suppose -3*v = 3*y - 4*v + 46, -t*v - 100 = 5*y. Is y >= -15?
False
Let y = -1.71 + 2.21. Which is smaller: 14 or y?
y
Let n be -148*((-21)/(-6) + -5)/(-3). Let f be (-1 - (-15)/12)*(-7 - 284). Which is smaller: f or n?
n
Let r(k) = k**3 - 4*k**2 - 5*k + 7. Let q be r(6). Let v = 186 + -101. Let t = -35 + v. Which is smaller: t or q?
q
Let x = 66 - 61. Suppose 0 = x*r + c - 3*c - 56, -2*c = -4*r + 46. Suppose 77*o - 82*o - r = 0. Is o at least -3?
True
Let z(a) be the second derivative of -7*a**5/10 - a**4/3 - a**3/3 + a**2/2 - 38*a. Let r be z(1). Are -18 and r equal?
False
Suppose -687 = -14*z + 685. Let v(m) = 29*m - 75. Let q be v(6). Do q and z have different values?
True
Let y be 4/26 + 114180/585 + 21. Are y and -3/8 nonequal?
True
Suppose 0 = -5*m - 21 - 19. Let s be 281 + 5/5*m. Which is smaller: s or 0?
0
Suppose -10*q = 3*q - 52. Suppose -6*c = -9*c - q*g - 193, 0 = 2*c + 2*g + 128. Is c greater than -2?
False
Let s = -17428 + 17377.46. Which is bigger: 0 or s?
0
Let s be 10/8*4/10. Let i = -415 + 189. Let y = i + 225. Is y at least s?
False
Let c(y) = 295*y - 594. Let g be c(3). Which is smaller: g or -1/5?
-1/5
Let u be (-4)/6 + 130/(-39). Let l be 2/2*(u + 3). Let g = 304/345 - 8/15. Which is bigger: g or l?
g
Let c = 0.11 - -1.89. Suppose 9 - 179 = 10*y. Is y bigger than c?
False
Let s be 1/(4/10 - (930/(-200))/(-31)). Which is smaller: s or 207?
s
Let b be (-32 - 4888/(-156))*4*3. Let n = 2 + -8. Which is greater: n or b?
n
Let v = 85.359 + -85.2. Let q = 0.259 - v. Which is bigger: -0.15 or q?
q
Let g = -0.04 + -633.96. Let z = g + 634. Which is greater: -8 or z?
z
Let u = 28 + -27. Let c be (12/18 - 1/1) + 22494/69345. Is c not equal to u?
True
Let l be (-108)/126*147/42. Is l >= -100/31?
True
Suppose -5*p + 2*p - 3*l = -18, 2*p = -l + 15. Suppose 5*v - 3*a + 31 = a, -11 = 2*v - 3*a. Let s be (13 - 16)/((-6)/8) - v. Is p != s?
True
Let f = -2258 + 2260. Which is smaller: 152/61 or f?
f
Let b be 1710/(-9180) + 3/18. Which is smaller: b or 0.1?
b
Let i = -258035/4 + 64117. Which is smaller: -392 or i?
-392
Let c be 168516/906*11/3. Is 696 != c?
True
Suppose 4*k = 4*q, -6 + 20 = 5*q + 2*k. Let s be 208/1716*45/8. Are q and s nonequal?
True
Let k = 35 - 30. Let b = k - 1. Let j be (4/8)/(1/2). Is b <= j?
False
Suppose 55 = p - 34. Let d = p - 87. Suppose -j = o - 11, 3*j + 2*o - 29 = -d*o. Which is bigger: j or 14?
j
Let g(d) = -3*d**3 + 41*d**2 - 57*d + 91. Let a(y) = y**3 - 14*y**2 + 19*y - 31. Let q(p) = -17*a(p) - 6*g(p). Let w be q(5). Which is smaller: w or -2/167?
-2/167
Let d(y) = -y**2 - 12*y + 5. Let t be d(-12). Suppose t*b - 124 = -19. Are -1 and b equal?
False
Let i = -11.89 - -10.21. Is i != 0.5?
True
Let x(y) = -216*y - 232. Let m be x(3). Which is smaller: -881 or m?
-881
Suppose 12 = 4*f + 2*f. Let t be -5 + 8/6*6/f. Which is smaller: t or -36?
-36
Let m = -8667 + 8692. Which is smaller: -95 or m?
-95
Let n be (3/(-9))/((-2)/(-474)). Let j = -159 + 53. Let u = n - j. Which is greater: u or 29?
29
Let y = -9941 + 9939. Is y smaller than -566.3?
False
Let s(l) = -3*l - 3. 