= b?
True
Suppose -s + 3 = -n, 29*s - 3*n - 9 = 30*s. Which is bigger: -6/67 or s?
s
Suppose -26 = 14*j - 13*j. Let s be j/27*(-6)/2. Is 4 greater than s?
True
Let n = 5819/714 - 49/6. Which is smaller: 0 or n?
n
Let l(u) = 24*u + 8. Let f be l(4). Let x be f/(-4)*(-116)/28. Let r = x + -108. Is r > 0?
False
Let i = 137 - 139. Let r be 6/15 - 16/(-10). Is i bigger than r?
False
Suppose -2*n - 1010 - 1608 = 0. Let g = -92937/71 - n. Is 0 less than or equal to g?
True
Suppose -3*d = 5*d + 5000. Let o = 6883/11 + d. Which is bigger: 2 or o?
2
Let m = -955 + 941. Are -51/4 and m non-equal?
True
Let n(s) = 49*s**2 + 3*s + 9. Let t be n(-2). Is t less than or equal to 199?
True
Let t(j) = -j**3 + 41*j**2 - 17*j - 76. Let y be t(40). Which is smaller: 843 or y?
843
Let v be (-65)/7 - 4/(-14). Let t be (6/v)/((-1)/(-21)). Which is smaller: t or -2?
t
Let t(w) = -w**3 - 5*w**2 + 17*w + 5. Let h be t(-7). Let g = -17 - h. Is 2/41 < g?
False
Let k = 227 - 228. Is 2/159 greater than or equal to k?
True
Let o = -60571/8 - -7562. Is -10 smaller than o?
True
Suppose -35*t = -4*s - 39*t + 8, 8 = 4*s + 2*t. Let a = -55/156 + 4/39. Are s and a non-equal?
True
Let r = 14 - 12. Suppose -r*v = q + 6, 0 = 2*v - 4*v + 5*q + 18. Let k = -372/7 - -53. Which is smaller: v or k?
v
Let h = -120 - -255. Let g be -3*9/(h/20). Which is greater: g or -19/4?
g
Let h = -7 - 17. Let o = 32 - 23. Let g = h + o. Is g greater than or equal to -16?
True
Let a = 968 - 967. Let f = -4117/270 - 19/54. Let v = f - -1087/70. Which is greater: v or a?
a
Let i be (54/(-126))/((-15)/28). Which is smaller: i or -24?
-24
Let q = 93 - 17390/187. Let u = q + -397/4301. Let d(s) = s**3 - s**2 + s. Let m be d(0). Is u bigger than m?
False
Let q be (5/(-4))/(5/20). Let a be ((-11)/3)/((-28)/(-6) - 4). Which is smaller: a or q?
a
Let c(l) be the third derivative of l**6/120 + 2*l**5/15 + l**4/4 - 2*l**3/3 + 8*l**2. Let g be c(-7). Suppose -12 = -g*o - 6. Which is smaller: o or -5/3?
-5/3
Suppose -g = -2*d - 8, -g + 5*d = 183 - 200. Which is smaller: g or 22/9?
g
Suppose 4*v - 15 = 5. Let u be (-2)/v*15/(-18). Is u at most -13/5?
False
Suppose 4*a = -v - v + 14, 4*a = 3*v + 9. Let d = -28240547 + 407934701977/14445. Let c = d + -1/535. Is c greater than or equal to v?
False
Let s = 148 - 261. Let q = -122 - s. Is q not equal to -3?
True
Suppose -336 = 28*m - 31*m. Let z = -110 + m. Is 8/15 equal to z?
False
Let u be 13741/105 + 8/60. Which is bigger: u or 132?
132
Let z = -401 - -4408/11. Do z and 3 have different values?
True
Let i be 1560/(-252) - -5 - 10/15. Let c = 2 - 3. Is i at most as big as c?
True
Let s = 47531/101536 + -79/167. Is -1 at most s?
True
Let v be (-6)/(-2) + 0/1. Suppose 2*d + 9 = 5*d. Suppose -2*m + 2*h - 8 = 0, -d*h + 2*h = -v*m - 8. Which is bigger: 0 or m?
0
Let o = -184 - -184. Let n = 257 + -1802/7. Which is smaller: n or o?
n
Let x = 14/181 + 1445/7059. Is x != 0?
True
Suppose 80 = -9*t + 4*t. Let b = -81 - -83. Let x(o) = -4*o**2 + 1. Let h be x(b). Is t > h?
False
Suppose 4*y = -1 + 13. Suppose y*g - 2 = 4. Is 3 less than or equal to g?
False
Let b = 90 - 193. Let m = b + 90. Which is smaller: -15 or m?
-15
Let n = -1207 + 1102. Is -97 bigger than n?
True
Suppose 2*p + 2*l + 6 = 5*p, 0 = p + 5*l + 15. Let i(q) = -q + 5. Let k be i(5). Let y = k + p. Is y > 3/7?
False
Let r = -0.1224 - -14.3324. Which is bigger: r or 1?
r
Let b = 18.5 - 19. Let j = 3.4 - 3. Let v = j + b. Which is greater: -1 or v?
v
Let j = -3 + 15. Let l be 57/j - (5 - 0). Is -1 smaller than l?
True
Let f be (2/10)/(174/(-2)). Let t be -1*6/(-9) + (-2518)/2030. Let x = t - f. Which is smaller: -0.1 or x?
x
Let g(o) = o - 16. Let q be g(0). Let i = q + 5. Suppose 4*f = 4*c - 51 + 7, 2*f + 3*c = -22. Is i not equal to f?
False
Suppose -2*l = 2*u - 10, -5*u = 5*l - 2*l - 27. Suppose 124*o - 260 = 134*o. Let x = u - o. Is 32 greater than or equal to x?
True
Let l be (2 + 0)*3/((-30)/(-35)). Suppose 2*c - 3*n - 19 = 0, 2*c = l*c + 3*n + 5. Let d be ((-4)/35)/(4/(-30)). Is c less than or equal to d?
False
Suppose 5*p - 5*b = 20, -5*p - 3*b + 14 = -5*b. Let x = 55569/5 + -11180. Let a = x - -67. Is a >= p?
False
Let s = -2139 + 2144. Which is smaller: s or -99?
-99
Let u = 42 - 40. Let p(o) = -9*o**3 - 2*o**2 + 3*o - 7. Let l be p(u). Is -80 at least l?
True
Suppose 0 = 706*v - 701*v - 1390. Which is smaller: v or 277?
277
Let f = 77/8 + -579/56. Is f at least as big as -1?
True
Let y be (0/6)/((-6)/(-3)). Suppose -m + y*m = 0. Let b be (-1)/(-2*(-15)/(-4)). Is b at least as big as m?
True
Let x = 0.249 + -4.349. Is x at least as big as -11?
True
Suppose -2*m = -6, -4*m + 9255 = -5*j + 3033. Let q = j - -63340/51. Which is smaller: q or -1?
-1
Suppose 3*t - 1 - 2 = 0. Let c be (-12506)/78*24/62. Let a = 62 + c. Are a and t unequal?
True
Let x(u) = -12*u**2 + 312*u - 1. Let t be x(26). Which is smaller: 16/85 or t?
t
Let v = -857 - -1450. Is v bigger than 595?
False
Let f = -722.69 - -723. Which is smaller: f or -2?
-2
Let s = 3702/119735 - 2/385. Are s and 0 non-equal?
True
Let m = -18.36 + 0.36. Let i = 60 - 80. Let d = i - m. Is -3 at most d?
True
Suppose 4 = -2*x - 6. Let b = 10 + x. Suppose b*w = 2*l - 13, w - l - 4*l = -21. Which is bigger: -5 or w?
w
Let r be 138/27*-1 + (-36)/(-9). Is 0 > r?
True
Let z = -730/3 + 18259/75. Which is smaller: z or 1?
z
Let v = -12.5 + 12.8. Which is bigger: 1 or v?
1
Let x = -12 + 11. Let a = -12 + 34/3. Which is greater: x or a?
a
Let a = -304 + 299. Which is smaller: a or -26/7?
a
Let w = 341/29 - 24545/2117. Is w bigger than -0.2?
True
Let g = -2 + 1. Let j be ((-2)/4 - 148/(-8)) + 3. Let r = j + -107/5. Which is greater: r or g?
r
Suppose -5*f + 100 = -4*j, -76 = -4*f + 3*j + j. Which is smaller: f or -0.2?
-0.2
Suppose -z + 9*z = 152. Is z != 19?
False
Suppose 0 = -d + 15 - 0. Let i be (11 - 8)*1/(d/4). Is 0 <= i?
True
Suppose 6*y - 88 + 28 = 0. Is 75/8 bigger than y?
False
Let a = -22.992 + -0.008. Let o = -22.8 - a. Is o at most 2?
True
Let t = -0.6 + -6.4. Let r = t - -2. Let l = -2.6 + 2.5. Which is smaller: r or l?
r
Let i = -0.038 - 0.062. Let a = -3.7 + -0.3. Are i and a non-equal?
True
Suppose -48*t = 24*t - 29592. Which is bigger: 2051/5 or t?
t
Let y = 0.035 - 0.031. Let a = y + 2.196. Which is smaller: a or 0.2?
0.2
Let d be 57/((27/6)/3). Let m = d - 496/13. Let c = 2/533 + -1084/4797. Which is bigger: c or m?
m
Suppose 8 = 4*i + 4*g, -4*g = -0 + 4. Let n be i + ((-752)/124 - -3). Let u = 2 - 2. Which is smaller: n or u?
n
Let r(j) = -j**2 - 9*j - 2. Let u be r(-9). Let f(k) = 5 - 3*k**2 + 1 - 2 + 4*k**2. Let i be f(u). Which is smaller: i or 9?
i
Suppose 0 = b - 4*n - 6, -27*b - n + 8 = -32*b. Which is bigger: -17/7 or b?
b
Let q be (-8)/20 - (0 - 24/35). Let x = -8.8 - -8. Let o = 0 - x. Which is bigger: q or o?
o
Let z = 2587/7 + -369. Are -8/7 and z nonequal?
True
Let d be 2/10*(8 + -5). Suppose -3*m = -7*m. Which is bigger: m or d?
d
Suppose -z = 4, 3*r = -3*z - 12 - 18. Let l = r + 1. Let k = l + 7. Which is smaller: 9/7 or k?
9/7
Suppose -4*g - g + 135 = -5*d, -4*d + 108 = 4*g. Suppose 4*p + 29 = -g. Is p at most as big as 0.2?
True
Let r(a) = -a**3 - 43*a**2 - 41*a + 41. Let q be r(-42). Which is bigger: -0.1639 or q?
-0.1639
Let c = -866434/309 + 2804. Which is smaller: 1 or c?
c
Let d = 14 - 11. Suppose -5*m - 49 = -d*w, 2*m + 2 = -w - 0*m. Let a be (w/14)/(2 - 0). Which is bigger: a or 0?
a
Suppose 4*b + 23 = -3*v, -3*b + 2*v = -2 - 2. Let x be b + 1/((-3)/(-3)). Let l be (-7)/((0 - -2) + x). Does l = -6?
False
Let l = 119.9 - 122.9. Is l greater than or equal to 17/6?
False
Let y(w) = -w**3 - 9*w**2 + w - 86. Let b be y(-10). Do -6 and b have different values?
True
Suppose h = 3*h + 4*w - 92, h = 2*w + 66. Let q be ((-36)/h)/(6/(-7)). Do q and 0 have the same value?
False
Suppose 2*r - 3*r = -3*m - 44, -m = 5*r + 36. Let j = -1 - 0. Let q = j - m. Which is bigger: q or 13?
q
Let r = -0.4 - -0.6. Let n = 68 - 57. Which is greater: r or n?
n
Suppose 2*v - 3 = -5. Let q be ((-6)/18)/((-1)/(-6)). Let w be 1 - (q/(-6) - -1). Is v bigger than w?
False
Let u = 0.132 - 0.532. Which is bigger: u or -1/45?
-1/45
Suppose 17*c = -81 + 13. Let i = -11 - 4. Which is greater: c or i?
c
Let k be -4 + (-7)/((-14)/8). Let c = k + 9. Suppose -2*m + c*m =