 13 > b?
False
Suppose 5*q + 2*d = 13, 0 = -q + 4*d - 3*d + 4. Suppose 4*r - 15 = 5*k, 0*k - 4*k = -5*r + q. Is k less than -7?
False
Let v be 30*(15/(-2))/(-3). Suppose 0*g + 30 = -2*x + 5*g, -4*g - v = 5*x. Which is bigger: x or -16?
x
Let v = 39 - 67. Let s be 72/v - -1 - (-6)/(-14). Which is smaller: s or 2/3?
s
Let x = 905/7 - 129. Is -2/9 < x?
True
Suppose -3*v = -2*d + 4, v = 4*d - 0 + 2. Let k = 41 + -40.8. Let t = -4.8 - k. Which is smaller: d or t?
t
Let g be -2 - (-87)/(-72)*(0 + 3). Let q be (216/(-90))/(4/10). Is g not equal to q?
True
Suppose 0*o + o - 3 = 0. Suppose 0 = -q - o*x, 2*x + 33 = 2*q - 3*x. Suppose -3*t + 24 + 6 = 0. Is t greater than q?
True
Let n = 9 + -10.3. Which is bigger: n or -0.7?
-0.7
Let p = -6822338/1605 + 12752/3. Which is greater: p or 1?
1
Let v(k) = k**3 - 20*k**2 + 18*k + 21. Suppose 5*m - 5*i + 32 = 8*m, -4*i - 115 = -5*m. Let g be v(m). Which is bigger: 13/4 or g?
13/4
Suppose 0 = 5*b - 11 - 9, 3 = -3*o + 3*b. Let d(n) = -n**2 + 8*n - 5. Let i be d(5). Which is smaller: o or i?
o
Let h = -2.18 - 7.82. Let j = 3 + -3.1. Which is bigger: j or h?
j
Suppose -o - 10 + 17 = 0. Let s be -1*(o + -3 - -39). Which is greater: s or -42?
-42
Suppose -8 = 2*s, s = -5*r - s + 127. Which is bigger: r or 28?
28
Let n = -107 - -73. Let t = n - -41. Which is smaller: -3/4 or t?
-3/4
Suppose 31*d - 4503 = -349. Is d at least 133?
True
Let x = -7 - -16. Let s = x - -1. Let i = -12 + s. Is i smaller than -2?
False
Let j = 15 + -59/4. Let a = -3.37344 + -0.02656. Are a and j nonequal?
True
Let l(d) = 2*d**2 - 5*d + 3. Let n be l(12). Let f be n/70*(-5)/6. Let w(x) = -x**2 - 4*x - 2. Let r be w(-4). Is f < r?
True
Let x be ((-1)/4)/(105/(-140)). Which is bigger: x or -54?
x
Suppose -2 = 3*w - w. Let k be (-26)/(-104) - (-458)/(-1680)*2. Let i = 1/5 + k. Is w less than i?
True
Let k be ((-17)/(-2))/(((-42)/(-24))/7). Which is smaller: k or 1/11?
1/11
Let f be ((-4)/56)/(-2 + (-17)/(-9)). Let y = f - 8/7. Is 5 not equal to y?
True
Let c(b) = b**3 + b**2 + 3*b - 6. Let d be c(3). Suppose -5*g - 7 = -w + 84, -2*g + 3*w - d = 0. Is -18 smaller than g?
False
Let i = 1/26 - -1/650. Suppose -l - 4*k = 11, 0*k + 9 = -3*k. Are i and l non-equal?
True
Let d = -1990 + 2201. Are 212 and d equal?
False
Let z = -0.1 - 10.9. Let v = 129 + -118.2. Let w = v + z. Is -1 smaller than w?
True
Let q be (-2 - -1 - 223/(-226))*2. Suppose 3*h = o - 0*h + 13, -7 = 3*o - h. Which is bigger: o or q?
q
Let d(y) = 6 + 7*y - 2 - 4 - y**2 - 1. Let m be d(7). Let v = -1582/9 - -176. Is m > v?
False
Let l be 8/44 + (-620)/22. Is -88/3 < l?
True
Let b = 31 - 31.13. Let r = -9.87 + b. Let w = r - -9.6. Is 1 at least as big as w?
True
Let a = -220/41 + 6490/369. Which is bigger: 12 or a?
a
Let l = 1215 + -1199. Is l less than 1/71?
False
Suppose -15*m = -8*m - 35. Suppose -m*f + 28 + 7 = 0. Is f at most 1/2?
False
Let x = 298 + -293. Which is smaller: x or 0.51?
0.51
Suppose -12 = -3*m, -m + 104 = 6*r - 2*r. Suppose 2*d - 3*p = -25, -4*p = -d - 0*d - r. Let h(a) = -a. Let w be h(d). Which is greater: 4 or w?
w
Let l = -1859 - -2028. Which is smaller: 175 or l?
l
Let p(o) = -o**3 + 4*o**2 + o. Let c be -8*((-6)/4 - -1). Let y be p(c). Is y at least 4?
True
Suppose 4*i = 212 + 96. Let c = i + -77. Which is smaller: -9 or c?
-9
Suppose 69 = -3*q - 84. Let p = q - -47. Is p less than -5?
False
Let d(c) = c**3 - 5*c**2 + 5. Let o be d(5). Suppose -2*t + o = 1. Let s be -1*(-2)/t*0. Is 4/3 at most as big as s?
False
Suppose -6 = -9*j + 3*j. Which is smaller: -2 or j?
-2
Let f = 96 + -80. Let k = 3 - f. Is k at least as big as -1?
False
Let d be 15/(-63) + (-2)/(-6). Is -2 >= d?
False
Let w = -551053/280982 - 4/10807. Which is smaller: w or -2?
-2
Let t(z) = -2*z**3 + 8*z**2 - 7*z - 9. Let j be t(5). Let f be 2/(-3) - (j/(-132))/(-1). Which is smaller: f or -1?
-1
Let l(m) = m**2 - m - 1. Let d be l(-1). Suppose -15*p = -8*p - 35. Suppose p*q - 4 = 6. Is q greater than or equal to d?
True
Suppose -j = 4*j. Suppose -2*i + 6*i - 28 = j. Let k = i + -7. Which is smaller: 1 or k?
k
Let z = -162 - -194.9. Let l = z + -33. Which is smaller: -7 or l?
-7
Suppose -4*b + 2*a + 6 = 0, b + 3*a - 7 = 5. Suppose -x + 1 = -4*v, b - 18 = -3*x. Suppose -3*n - n + 4 = 0. Is v less than n?
False
Let m = -1818 - -1563. Is -253 at most as big as m?
False
Let h(x) = 2*x + 5. Let u be h(-4). Let q be (-4)/12 + 0 - (-16)/(-24). Are u and q non-equal?
True
Let l be -3 + 102/98 + 2. Suppose -8*q - 2 - 6 = 0. Is q >= l?
False
Suppose 0 = 5*d - 7*d. Let k = 1 - d. Which is smaller: -0.05 or k?
-0.05
Let x = 349 + -355. Which is smaller: -21 or x?
-21
Let k = 55 - 38. Which is smaller: k or 3/5?
3/5
Let d be 48/(-11152)*(-17 + 1). Let x = 2/41 + d. Let c = x - -11/51. Is c > 0?
True
Let r be ((-1)/15)/(-3 + (-11416)/(-3800)). Is r != -15?
True
Suppose 3*c - c - 2 = 0. Let q be 178/(c - (-8 - 2)). Let x = 16 - q. Which is smaller: x or 0?
x
Let d = -83 - -71. Which is smaller: d or -30?
-30
Let z be 0*(2/(-4) - -1). Let l = -13 - -12. Let d be -3 - (18/(-10) + l). Which is smaller: d or z?
d
Let t = 0.02 - 3.02. Let m = t - -3.1. Let f be 9 + -3 + (-12 - 1). Are m and f unequal?
True
Let l = -0.0489 + 0.2489. Is l at least 97?
False
Suppose -5*v + 1 = -4. Let k be 306/294 + 1/(-1). Which is bigger: v or k?
v
Let g be 0/24 + 9/76. Is g >= 0?
True
Let y = 20/5083 - 1550555/60996. Let j be 4/3*(-71)/4. Let v = y - j. Are -2 and v unequal?
True
Let i(c) = c**2 - 8*c - 3. Let h be i(-3). Let t = h - 9. Is 22 >= t?
True
Let m be (-6 - 372/(-54))*1236/80. Which is bigger: 13 or m?
m
Let b = 134 + -86. Which is smaller: b or 49?
b
Let f = 18.8 - -0.2. Let l = f - 19. Is l != -3/8?
True
Let k(c) = -c - 3. Suppose -2*u - y - 18 = -6*y, 0 = -4*u + 4*y - 24. Let f be k(u). Let t = -590 + 14752/25. Is f not equal to t?
True
Let a = 20 - 11. Let i be 3/a + 64/6. Let g = i + -8. Which is greater: g or 0?
g
Let q be 2/(-6) - 40/(-60). Let d be -1 - 0 - 6/(-5). Is q at least d?
True
Let p = -686/3 + 261. Is p at most as big as 33?
True
Let y be ((-285)/(-114) - 1/2)/221. Is y equal to 1?
False
Suppose 0 = 5*z - 4*x + 16, 5*z = 5*x - 18 - 2. Is 1/711 bigger than z?
True
Let t(f) = -2*f**2 + 7*f + 6. Let g = -13 - -9. Let m be t(g). Let b be (-3)/2 + (-75)/m. Which is greater: b or 0?
0
Let d = -486 + 487. Let k = -9583/20 - -479. Is k < d?
True
Let r = -1 + 18. Do r and 31 have the same value?
False
Let s(b) = -b**3 + 8*b**2 + 5*b - 2. Let g be s(10). Is g equal to -151?
False
Let a = 941 - 2043. Which is smaller: a or -1101?
a
Let g = -2.54 - 0.46. Which is smaller: -2 or g?
g
Let q = 287/4 + -257/4. Which is smaller: 7 or q?
7
Let d = 129.6 + -130. Which is smaller: -1 or d?
-1
Suppose -2*g + v + 3 = 6, 3*v = -5*g - 2. Let q be (1 - (0 + 5/2))/(792/(-12)). Is g equal to q?
False
Let f be (5 - 6)*198/(-2). Suppose 4*u = f + 561. Let c be (-320)/u - -2 - 0. Which is bigger: c or 1?
1
Let f(a) = -a**3 - 32*a**2 + 34*a + 5. Let z be f(-33). Let n = -22 + -6. Is n equal to z?
True
Let v = -64084/45 - -1424. Which is smaller: v or 0?
v
Let z(x) = x**2 - 14*x. Let m(r) = 15*r**2 - 3*r + 2. Let w be m(1). Let h be z(w). Suppose 12*t - 10*t = h. Does t = -3/11?
False
Let a be -2 - (-5 + (-3 - 115/(-20))). Is a at most as big as -1?
False
Suppose 0 = -3*p - 0 - 6. Let d be (-1)/(-1) - p/6. Which is smaller: 0 or d?
0
Let b = 62 + -61. Let m = 800471 + -263354663/329. Let a = -2/47 + m. Which is smaller: a or b?
a
Let t = -106.763 + -0.237. Let c = t - -106.9. Which is bigger: c or 49?
49
Let u = -11/36 - -1/180. Let m = u + 29/30. Is 4 > m?
True
Let l(v) = -v**2 + 69*v + 11 - 69*v. Let n be l(-5). Is -16 >= n?
False
Let v = -15.3 + 15.1. Let s = 216 + -238.1. Let h = -21 - s. Which is greater: h or v?
h
Let j(a) = 29*a**2 + 1. Let m be j(1). Let z(x) = -x**2 - 32*x - 217. Let u be z(-13). Does m = u?
True
Suppose -4*g = 36 - 32. Which is smaller: g or 3/40?
g
Suppose 3*p + 175 = 5*j + 2*p, -70 = -2*j - 4*p. Does 172/5 = j?
False
Let l = -279.3 - -277.3. Which is smaller: l or 40.1?
l
Let q be (3 - -1)*1/2. Let k = -2416 - -2421. Which is smaller: q or k?
q
Let q = -182 - -162. Let d be (-186)/4*q/30. Which is smaller: d or 29?
29
Suppose -2*i - 11 = -6*w + 9*w, 5*i + 23 = -3*w. Are -3/146 and w equal?
False
Let j be