: g or b?
g
Suppose -4*w - 12 = 3*t, 137*w - 134*w + t + 9 = 0. Is w at most as big as -23/8?
True
Let h = 26/9 - 328/45. Suppose -17 = 3*n - g, 2*n + 4*g - 34 = -22. Is n > h?
True
Let z be -7*(-6)/483 + (-5880)/(-92). Is z at least as big as 68?
False
Suppose -16*h = -15*h. Suppose -4*n + h*n + 4*b = -88, 3*n = b + 76. Which is smaller: n or 26?
26
Let j be (-1)/(-3) + -10*124/3432. Which is smaller: 1 or j?
j
Let r = 3/212 - 227/1060. Which is greater: r or -2/21?
-2/21
Let f be -1 - 3/(-5) - (-18627)/(-24745). Let x = -1/101 - f. Which is smaller: x or 2?
x
Suppose 2*r - 3*p - 11 = 11, 3*r - 4*p = 32. Suppose -3*l = -2 + r. Is l <= -13/7?
True
Suppose -3*k - 105 = -2*q, 0*k - 71 = 2*k - q. Let i = k - -45. Suppose 9 + 23 = i*f. Which is greater: 6 or f?
6
Let z be (-3)/9*1*(-7 + -1). Let a = 2 - -1. Let q = a - z. Which is greater: q or 6?
6
Suppose -21 - 3 = 2*d. Let y be (-38)/d - 1/6. Let x = 349 + -352. Is x greater than y?
False
Suppose -2*t - 4 = -14. Suppose 0 = -3*q - 4*y - 14, t*q + 0*y = -y + 5. Suppose x + 1 - 3 = 0. Does q = x?
True
Let k(a) = 4*a - 7. Let o = -32 + 27. Let m be k(o). Is -26 <= m?
False
Suppose 5*l - 1075 = 2*c, 0 = -2*c - 2*l - 218 - 864. Let n be (-309)/c + (-6)/10. Is -1 >= n?
False
Let h = -8 - 4. Let p = h - -13. Let y = p - 1.1. Does -2 = y?
False
Let x = 50 - 49.89. Let d = -0.09 + x. Which is smaller: -3 or d?
-3
Let o be 30*3/(-6)*-2. Let f be (15/(-90))/(o/(-4)). Is 0 greater than f?
False
Let x = 167 - 162. Let w = -19 - -21. Is w equal to x?
False
Suppose 0 = -8*m + 2*m - 264. Let x be (-3 + (-112)/m)*1. Which is bigger: -1 or x?
x
Let z = -2.3 + 3.6. Let o = z + 0.7. Let x = 1 + -0.8. Which is smaller: o or x?
x
Let l be (-2175)/23562 + 0 - (-45)/495. Is 0 bigger than l?
True
Suppose -c - 4 = -6. Let l = c - 2. Let x = l + -9. Which is greater: -8 or x?
-8
Let z be 7 - 1 - 4 - 72. Which is smaller: z or -67?
z
Let f be (1/2)/(1/(-46)). Let h(j) = -19*j - 154. Let m be h(-7). Is m at least as big as f?
True
Suppose -22*i - 11*i + 1617 = 0. Which is greater: i or 201/4?
201/4
Let k(i) be the first derivative of -i**5/60 + i**4/2 - i**3/3 + 7. Let r(h) be the third derivative of k(h). Let s be r(8). Is s greater than or equal to -3?
False
Let s = -2/475 + 8103/6650. Is s bigger than 1?
True
Let n be (((-168)/16)/7)/(6/(-434)). Let d = 111 - n. Let q = 0.1 + -0.2. Which is smaller: d or q?
q
Let d = 0.0353 - 238.0353. Which is smaller: d or -2?
d
Let z = -11 - -14. Suppose 12*a + z = 9*a. Suppose 2*g = -0*g. Which is greater: a or g?
g
Let y(h) = -2*h**3 + 45*h**2 - 198*h + 8. Let g be y(6). Let u = 0.24 - 0.2. Which is smaller: g or u?
u
Let r = 198 + -273. Is -75 >= r?
True
Suppose -3*z + 25 = 2*z. Let c = -190 - -193. Suppose -y + c = z. Are -12/5 and y non-equal?
True
Let m be ((-8)/2)/(2 + -1). Let l(k) = 9*k + 8. Let h be l(m). Is h at most 1?
True
Suppose -4*h - 33 = -5*r - 5, -3*r = 4*h + 60. Let q = -13 - -4. Which is smaller: h or q?
h
Let p be (-129)/(-12) - 3 - (-6)/(-8). Which is bigger: p or 10?
10
Let g = -14.6 - -14.1. Let j be (-3888)/(-644) + -3 - 3. Let d = -75/161 + j. Which is bigger: g or d?
d
Let u be 2 + (2 - -1) + -5. Suppose 3*r + 3 = 3*q, u = 4*q + r - 10 - 9. Suppose q*x - 8 = k, 2*k - 5*k + x - 2 = 0. Do -2/9 and k have the same value?
False
Let w be 2*1119/(-5124) + (-27)/(-63). Is -1 at least as big as w?
False
Let h = 13.963 - -0.037. Let m = h - 13.9. Which is smaller: m or -2/75?
-2/75
Let k = -198 - -105. Let z = k - -92.5. Which is bigger: z or 8?
8
Let x(m) = 2*m - 12. Let a(h) = -5*h + 24. Let f(r) = -3*a(r) - 7*x(r). Let l be f(-6). Let k = 1/16 + 3/16. Do l and k have the same value?
False
Let r(g) = g**3 + g**2 + 2*g. Let l = -92 + 92. Let z be r(l). Which is bigger: z or -7/6?
z
Let s be -14 + -3 + -2 + 0. Let g = -1 - s. Suppose 2*n + 3*n = -4*f + g, 4*n - 39 = 5*f. Is 6 not equal to n?
False
Suppose -3*z + 2*z + 2*t = 15, 0 = -5*t - 25. Let l = z - -28. Suppose -2*f - l = -5*f. Is 1/42 less than f?
True
Let b(m) = -m**3 - 3*m**2. Let a be b(-3). Let y(r) = r**3 - r**2 - r + 13. Let v be y(a). Do v and 13 have the same value?
True
Let q = 636 + -638. Is q bigger than -10?
True
Let y = 2/40023 + -14707/27335709. Which is smaller: 1 or y?
y
Let s = 751036918/69 - 10885089. Let d = -496 - s. Which is bigger: d or -1?
d
Suppose 66*c = 76*c - 340. Is 67/2 less than c?
True
Let q = 65 - 32. Let x = q - 32.9. Is x greater than or equal to 0?
True
Suppose 16*r + 229 + 59 = 0. Suppose -4*c - 22 = -5*c. Let u = 5 - c. Which is bigger: u or r?
u
Suppose 0 = 2*j - 4, 8*j - 9*j = -4*a - 186. Is a equal to -44?
False
Let p be (11/(-4))/(39/(-12) - -3). Suppose -23 = 3*t - p. Which is bigger: 0 or t?
0
Let v = 201 + -201.7. Is v >= 0?
False
Let d be 2/(-1)*((-20)/8 + -1). Suppose -7*c + d = -7. Which is bigger: -9 or c?
c
Suppose 0*d + 31*d = -3*d. Let f(s) = -s**2 + 5*s + 4. Let k be f(6). Let u be (6/27)/(k/(-3)). Which is smaller: d or u?
d
Suppose -5*n - 35 = -2*v - 2*v, -v + 17 = -4*n. Let m = 11 - n. Let g = -6 + 20. Is m bigger than g?
False
Let q = 359 - 357.158. Which is smaller: -0.1 or q?
-0.1
Let j = -1297 + 2589/2. Which is bigger: 26 or j?
26
Let o be -813*(36/(-90))/(8/(-5)). Is -202 > o?
True
Let t(m) = 6*m**2 + 2*m + 1. Let h be t(-1). Suppose 4*x + h*y + 25 + 50 = 0, 3*x = 2*y - 62. Which is greater: 1/4 or x?
1/4
Let o = 2.8 - 0.5. Let l = 12.7 + o. Which is bigger: l or 1?
l
Let l = -10/227 - -262/26559. Let j = -335/468 + l. Suppose -2*b - 5*v = -9 + 3, 5*b = -4*v - 2. Are j and b unequal?
True
Let i(f) = 15*f**2 + 7*f + 10. Let q be i(-2). Suppose q = -2*x + 68. Is x greater than or equal to 2/3?
True
Let x = -0.25 - 11.75. Let p = -12.05 - x. Which is smaller: p or 2?
p
Let l(t) be the third derivative of -t**6/120 + t**5/15 - t**4/12 + t**3/6 - 35*t**2. Let u be l(3). Which is smaller: u or 38/9?
u
Let x = -76.6 - -74.8. Is -1.7 < x?
False
Let g be (-39)/(-130)*(-1)/(-27). Let c = g - -22/45. Is c greater than -0.18?
True
Let v = 1.472 - 1.272. Which is greater: -686 or v?
v
Let l be (6/18)/(5/(-10)). Let q(w) = -w**3 + 7*w**2 - 5*w - 4. Let y be q(6). Suppose -m - 6 = y*m. Which is bigger: m or l?
l
Suppose 0 = 3*a + 2*p + 563 + 20, -3*p = -2*a - 393. Is -197 < a?
True
Let n be 2/6*(-10 - -4) - -11. Let r be 1 - (-13)/(-11) - 1515/(-165). Is n bigger than r?
False
Let q be 1/(-2)*4*(-17)/(-34). Is 2/249 != q?
True
Let d(c) = c**3 + 5*c**2 + 5*c - 7. Let i be d(-4). Let u(w) = -w**2 - 11*w. Let r be u(i). Which is greater: r or -1?
r
Suppose -24 = 2*y - y. Let o = y + 26. Let m be (-4)/o*1/(-4). Are m and 1 equal?
False
Let y = 195 + -2729/14. Which is greater: -1/2 or y?
y
Let g = -21.33 + 0.33. Let j = g - -11. Is j bigger than -0.2?
False
Suppose -10 = -2*v - 2, 0 = -4*b - 4*v + 12. Which is bigger: -12/103 or b?
-12/103
Suppose z - y - 3 = 0, -2*z - 99 = 3*y - 115. Let i(l) = l**3 + l**2 - l - 2. Let u be i(-2). Let a = u + 7. Which is smaller: z or a?
a
Let l = -26 + 33. Let p = 81 - 82. Which is smaller: p or l?
p
Let z(t) = -t**2 + 16*t - 7. Let w(r) = r**2 - 16*r + 7. Let p(i) = -6*w(i) - 7*z(i). Let b be p(15). Let n be b/(-18)*(-2)/4. Is -0.4 less than or equal to n?
True
Let y be 5/(-2) + 22383/8946. Is y at most as big as -1?
False
Let g = 269.9 - 270. Are g and -4/235 non-equal?
True
Let b be (-14)/84*(-9)/(-2). Let i = 4.6 - 1.6. Which is smaller: i or b?
b
Let y be (-4 - 20/(-4))*4. Suppose -7*p - 6 = -y*p. Is p != 0?
True
Suppose -5*d = 3*k + 781, 201*d - 199*d = -k - 262. Which is greater: -254 or k?
k
Let r = 0.1 + 0.4. Let d = 5113/2 + -2556. Is d <= r?
True
Let k be (12/24)/(5/(-1620)). Do -160 and k have the same value?
False
Suppose 0*j + j = 2. Let p(r) = -6*r**3 + 5*r + 7. Let c be p(-2). Let s = c + -42. Which is smaller: s or j?
j
Let p = 87735/94486 - 215/238. Which is bigger: 0 or p?
p
Let a be (100/10)/((-10)/8*-2). Is 2 equal to a?
False
Let x(b) = -b**2 - 24*b - 97. Let m be x(-19). Is m not equal to -11/4?
True
Let g(c) = c**2 - c - 2. Let x(v) = -3*v**2 + 2*v + 4. Let b(f) = 5*g(f) + 2*x(f). Let d be b(5). Let w = d - -56. Which is smaller: 1 or w?
1
Let t = -317 + 2225/7. Is t > -8?
True
Let g(p) = 2*p - 5. Let r be g(8). Suppose 15 = 5*a - 0*a. Suppose -a*u - 1 = -2*l + l, -l + u + 7 = 0. Which is bigger: l or r