+ r + b, -4*r = -5*s + 22. Suppose -4*v + 3*j - s = 3, -2*v - 2*j + 8 = 0. Is v less than or equal to 3?
True
Let q(w) = w**3 - 4*w**2 - 9*w + 5. Let l be q(5). Let b be 350/15 + (l/(-9) - 1). Let p = -24 + b. Is 5/23 > p?
True
Let b(y) = -y**2 - 20*y - 9. Let v be b(-23). Let i = v + 96. Suppose 19*w - i*w - 22 = 0. Do 67/3 and w have the same value?
False
Let k be -7 + 40820/(-40830) - -8. Is k != 0?
True
Suppose -2*l - 3*b = 96, 2*l - 4*b + 71 + 67 = 0. Let q be (-1)/(-2)*-2*59. Is q at least as big as l?
False
Let x(y) = -y**2 - 6*y - 5. Let h be x(-4). Suppose o + 14 = 3*l, 0*o + 2*o - 2 = 0. Suppose -2*c = -l*p + h*p - 6, 2*c - 12 = 4*p. Which is smaller: 0 or p?
p
Let z = 1414.6 + -1415.7. Do z and -2/89 have the same value?
False
Suppose -s - 11 = -g - g, -2*g - 9 = 3*s. Let f be g/(-2 + 35/14). Is f at least 11/2?
True
Let i = -18 + -72. Let x be (2 + -3 - -2)/(2/i). Does x = -45?
True
Let z(i) = 6*i**2 + 341*i + 222. Let w be z(-54). Which is bigger: -688 or w?
-688
Let u = 2339 - 3151. Is u at most -813?
False
Suppose -4*k = -12, s + 9 = 2*k + 56. Which is greater: s or 753/14?
753/14
Let g = -37.72 - -44.32. Which is bigger: 44 or g?
44
Let j = -37/10 + 16/5. Let n = -16102 - -16098. Is j less than n?
False
Let j be ((-8)/(-5))/(((-36)/6)/30). Let d = j - -51. Which is bigger: 45 or d?
45
Suppose 0 = 4*n - 1756 - 20. Let k = n - 425. Which is smaller: 18 or k?
18
Let v = -1.206 + 1.156. Does v = -116?
False
Let i = -2796617095/2241019404 + 1/1164771. Let r = 1/481 - i. Are r and 2 non-equal?
True
Let p = -1644.8 + 1653.82. Which is smaller: 0.01 or p?
0.01
Suppose 2*m + 6 + 4 = 0. Let u = 33 + -33. Let z be (u - (-14)/(-4))/(1/2). Are z and m non-equal?
True
Let z = -65.216 - -65. Let j = z + -19.784. Is j not equal to -3?
True
Let y = -4 + -151. Let d be 8/6*((-4641)/42 - 5). Which is smaller: y or d?
y
Suppose -x - 21 = 5*b, 8*b - 9*b + 11 = 4*x. Let z(d) = d**2 - 12*d - 16. Let o be z(14). Let h = o + -18. Is h <= b?
True
Let q(n) = -3*n - 5. Let v(k) = -14*k - 24. Let b(i) = -22*q(i) + 4*v(i). Let d be b(7). Let s be (-7 + 2)*d/(-30). Is s equal to 14?
True
Let m = -9578 + 3612. Which is smaller: -5967 or m?
-5967
Suppose 113 = -11*k + 465. Suppose 2*w + 14 = -q - 8, 3*w = -2*q - k. Which is greater: -11 or w?
-11
Suppose 4*c + 0*c + 168 = 0. Suppose 658 = 10*a + 4*a. Let u = c + a. Which is smaller: u or -2?
-2
Let d = 488/95 - 147/19. Let h be (-26)/(-4) + (-7)/14. Let v be (h/(-15))/(1/10). Is d <= v?
False
Let j = 25 + -101/4. Let a = -55981 + 55980. Is j at least a?
True
Let p be ((-554)/12188)/(1/4). Let r = 8.1 + -7.44. Is r at most p?
False
Let z(d) = 2*d + 23. Let y be z(-9). Suppose -q = y*c + 2*q - 26, q - 4 = -c. Suppose c*f = -3*f + 130. Is -0.1 greater than f?
False
Let c = -100 + 92. Let k(f) = -f**2 - 22*f - 109. Let o be k(-15). Are o and c equal?
False
Let k = 16316 + -16314. Is 140/69 at most as big as k?
False
Let j = -29 - -26. Let l(t) = -2*t - 1. Let a be l(j). Suppose 10*n - a*n - 50 = 0. Is n < 10?
False
Suppose -3 = s - 0, h - 2*s = 105. Let w = -96 + h. Which is smaller: w or 17?
w
Suppose u + 77 = -10*u. Let h be (40/1125)/(u/5 + 1). Suppose s + 2 = -4*y - 6, y + 5*s = -21. Is y at least as big as h?
False
Let c = 1242 - -1297. Is c smaller than 2544?
True
Let b = 7040342281/12153 - 579309. Is 1 != b?
True
Let k(z) = 15*z**2 + 68*z + 31. Let x be k(9). Which is smaller: x or 1860?
x
Suppose -h = -5*f - 8533, -4*h - 1673 = -56*f + 57*f. Is -2/5 at most f?
False
Let g = 2.39 + -3. Let r = g + -40.39. Is r > 0.5?
False
Suppose -154*p - 4118 = -82*p - 158. Which is bigger: p or 0.038?
0.038
Let l be ((-2)/6)/(1/(-6)). Suppose 53*w + 48*w - 115*w = -84. Is w >= l?
True
Let l be (2 - -1198)/(2/(-14) - (-66)/(-462)). Are -4199 and l non-equal?
True
Suppose -2*n + 325 = 317, 4*o - 192 = -5*n. Which is smaller: o or -23?
-23
Let q = 652 + -439. Let h = q - 212.9. Is 472 <= h?
False
Let t = -26768 - -27427. Which is smaller: 656 or t?
656
Let n = 0.08811 + -0.01876. Which is bigger: n or 0?
n
Let b(o) = 167*o + 1008. Let n be b(-6). Which is smaller: 103/17 or n?
n
Let k be (-2604)/1386*(-12)/(-128)*-14. Which is smaller: k or 3?
k
Let b(c) = c**3 - 23*c**2 - 16*c - 30. Let q be b(24). Let v be q/(-108)*(-1 - (-10)/6). Are v and -430 equal?
False
Let z = -3329/28 + 834/7. Is z bigger than 337?
False
Let b = 3.0499 - 0.0499. Is -5055 smaller than b?
True
Let b = 0.1 + -0.1. Suppose -d + 16 = -5*t, -2*d = 29*t - 26*t - 19. Let o be (-1 + ((-99)/(-12))/d)*6. Which is bigger: o or b?
b
Let n = 0.01756 - 89.01756. Which is bigger: -1/12 or n?
-1/12
Suppose 4*f = 200 - 48. Let z(h) = 19 + 2*h**2 + 24 + 6 + 2 - 14*h. Let s be z(6). Is f >= s?
False
Let q(y) = -70*y**3 - y**2 - 4*y - 4. Let r be q(-1). Let h be 0 - (2 - 120/r). Let i be (-1)/3 - -2*3/(-9). Is i > h?
False
Let s = 105 - -45. Is 0.3 < s?
True
Let f(j) = -j**3 - 13*j**2 + 16*j + 34. Let r be f(-14). Suppose 3*t + 71 = -q, 4*q - r*t = -t - 318. Is q >= -76?
False
Let m be 0*((-1)/2)/(7/(-154)*-11). Does m = 1/5415?
False
Let a be (-22)/(-198)*3*39726. Is a at least 13242?
True
Let j be (22/(-4) + (-3)/(-3))*(-490)/(-49). Which is greater: j or -275/6?
j
Let r(d) = 119*d + 275. Let s be r(-3). Do s and -102 have the same value?
False
Let j = -47/413 - -5/413. Let u be (3 + (-15)/5)/(-3 + -1). Are j and u unequal?
True
Let m = -4049.1 - -4049. Which is bigger: 11080 or m?
11080
Suppose 1849*g - 244595 = 1584*g. Is g bigger than 0.2?
True
Suppose -x = 8*j - 5*j - 16, j = x + 4. Suppose -12*o = -13*o - x, 0 = 5*u - 5*o + 1090. Are -218 and u equal?
False
Suppose -10*y = 8*y + 12474. Let g = y - -739. Are 46 and g unequal?
False
Let s be (12448/16)/(-2 + 2 - 1). Let z = 635 + s. Which is smaller: z or -139?
z
Let a = -0.6264 + 0.7764. Which is smaller: a or -92?
-92
Let i = 1.2636 + -2.0946. Which is greater: 0.3 or i?
0.3
Let p be 6466/2*(84 + -86). Is -6464 < p?
False
Suppose -4*w - 9*w = 10*w. Let c be 636/(-6) - (-1 + w). Which is smaller: -104 or c?
c
Let f = 3632 + -3628. Let l = -4.9 + 5.36. Is l < f?
True
Let t be (-3)/(-18)*3*(-5 + 9). Suppose c + t*w + 2*w + 2 = 0, -2 = -2*w. Suppose 0 = -s - 3*p + 5*p - 3, 17 = -s - 5*p. Is s greater than or equal to c?
False
Let v = -43 + 55. Suppose 3*n - l + 2*l = -5, -4*l = 4*n + v. Is 1/47 less than or equal to n?
False
Let i = 487165/13360324 + 2/37529. Which is smaller: i or 0?
0
Let l be ((-10)/2 + 5)/(0 - 1). Let y = -1237/7 - -73193/413. Is l equal to y?
False
Let j be (-3 + (-7)/(-2))/((-58)/20). Let r = j - -61/522. Which is bigger: r or -0.3?
r
Let m = -0.17 + 3.67. Let z = -791 + 795.5. Let a = m - z. Which is bigger: -2.2 or a?
a
Let k be ((-35)/7*2 + 19)*98/3. Let m(y) = 13*y**2 - 7*y + 5. Let s be m(5). Is k at least as big as s?
False
Let t = 27 - -106. Let o = 1198/9 - t. Suppose 3*s + 4 = 1. Is o >= s?
True
Let k(s) be the first derivative of 2*s**3/3 - 47*s**2/2 - 23*s + 41. Let p be k(24). Which is smaller: p or 15?
p
Suppose 0 = m + 5, -52 = -3*l + 5*m - 21. Suppose 4*y + 18 = 4*d + 6, 0 = -4*d - l*y - 6. Which is greater: d or 2/15?
2/15
Let x = -5241 + 4379. Is x < 0.1?
True
Let y(s) = 3*s + 135. Let c(a) = 2*a + 4. Let z(o) = 14*c(o) - 2*y(o). Let d be z(11). Which is bigger: d or 11/3?
d
Let v be 10/3*(-24)/20. Let d be (2/v)/((42/(-12))/(-7)). Which is bigger: -2/7 or d?
-2/7
Suppose y - 3*y = 11*q + 45, 5*y = -5*q. Which is bigger: 396/91 or y?
y
Let l = 77/372 + -9/31. Let m(o) be the second derivative of o**5/20 - o**4/12 - o**3/2 + 3*o**2/2 + 17*o. Let h be m(2). Which is greater: l or h?
h
Let b(t) = 2*t**2 + 35*t - 1338. Let m be b(-36). Which is smaller: m or -283?
-283
Let b = 40097/210 - 1159/6. Is -2 less than or equal to b?
False
Let f be -1 + 3/4 + 0. Suppose 31*n = 21*n + 520. Suppose -61*z + 9 = -n*z. Which is bigger: f or z?
z
Suppose 2*c - 16*l + 76 = -18*l, 5*l + 102 = -3*c. Let z be (-564)/14 - 2/(-7). Which is smaller: c or z?
c
Let i(j) = j**3 - 49*j**2 + 43*j + 243. Let b be i(48). Which is bigger: 216 or b?
216
Let s(y) = -2*y**2 - 10*y - 12. Let u be s(-9). Let c = u - -57. Let d be ((-4628)/(-267))/(4/(-6)). Is c smaller than d?
True
Let s = -162.0332 - 0.0668. Let a = -162 - s. Is 59 at most as big as a?
False
Suppose -z - 110 = -5*g, 0*g - 5*g + 4*z = -125. 