 most as big as -14?
False
Suppose -5*q + 20 = 4*s, 0 = 5*s - 2*q - 30 - 28. Which is smaller: s or 7?
7
Let w be 1 - -1*(-95)/90. Which is smaller: w or -1?
-1
Let a = -1 - -2. Suppose 6 = 5*k - 4. Which is bigger: a or k?
k
Let q = 5 - 3. Suppose -2*h - q*w - 2 = h, 5*h = -2*w - 6. Let a = 1 + 0. Which is greater: a or h?
a
Let p = -0.5 + 0.6. Is -1.2 smaller than p?
True
Suppose -5*k = -0*n - 4*n + 109, 4*k - 3*n = -87. Is -21 equal to k?
True
Let n = 1 + -1. Let z = 0.1 + n. Which is greater: -1/5 or z?
z
Let h = 3 - 0. Let n = 0 + h. Is n equal to 2?
False
Suppose -3*y + 5*y + 8 = 0. Let a be 6/12*y/7. Is 0 greater than a?
True
Let l = -5 + 2. Let f = -12 + 15. Let u = l + f. Which is smaller: -0.2 or u?
-0.2
Let l = 0.03 + -3.03. Let f = -1 + l. Let h = 1 + f. Are h and -1 unequal?
True
Suppose -3*q + 177 = -a - 5*q, -12 = 3*q. Let j be a/182 - 1/(-2). Let c = 2 + -2. Is j < c?
True
Let x be ((-5)/(-10) - 1)*-58. Is 29 >= x?
True
Suppose -2*f + 14 = -4*v, 0 = 3*f - 2*v + v - 1. Which is smaller: f or -2/43?
f
Suppose -5*h + 2 = 2*w, -w - 3*h = -3*w + 2. Which is bigger: w or 5/11?
w
Suppose 2*d = -3*t - 36, -2*d + 2*t + 2*t - 8 = 0. Let k = -17 - d. Which is greater: k or -4?
-4
Suppose 2*s + 2*s - 8 = 0. Suppose -i + 5*g = -14, -s = 3*i + g + 4. Let p be i*(2 - (-1)/(-1)). Which is smaller: p or -3?
-3
Let z = -24 + 47. Let g = z - 19. Is 1 < g?
True
Let l(q) = -5*q + 21. Let o be l(6). Is o <= -6?
True
Let f = 9 - 8. Let o be 2/8 + 30/168. Do f and o have different values?
True
Let o = -43/3 - -15. Let n = -0.1 - 0. Let w = -0.5 - n. Is w greater than o?
False
Let q = 72 - 72. Are 4/59 and q equal?
False
Let d = 1/52 + 95/468. Suppose -5*v + 9 = 2*z, 4*z = 2*v - 30 + 84. Let c be (2/(-6))/(4/z). Which is greater: c or d?
d
Let d = -18 - -11. Which is smaller: -2 or d?
d
Let q = -12 + 19. Suppose -q - 23 = 5*u. Is u < -6?
False
Let w(m) = m**3 + 4*m**2 - 29*m. Let y be w(-5). Is y smaller than 121?
True
Suppose -3*m + 2*m = -4*y + 16, 0 = -4*m. Let w = -6 + y. Which is smaller: w or -5?
-5
Suppose 0 = 4*c + 93 + 103. Let x = c - -340/7. Let u(b) = -b + 4. Let n be u(3). Are n and x nonequal?
True
Let u be (-5)/2*((-288)/75 + 4). Let x(p) = -p**3 - 5*p**2 + 7*p + 7. Let v be x(-6). Which is greater: u or v?
v
Let b(t) = -t**2 + 2*t - 1. Let l be b(1). Suppose l = -7*f + 3*f + 4. Is f at least -2/7?
True
Let j be (-3)/2*(-14)/(-21). Let h be 2/4*(j - -3). Which is greater: h or -1?
h
Let t = 0.23 - -5.87. Let c = t + -6. Is -1/3 != c?
True
Let z be 4 + (-3 - -1) + -3. Let g(u) = 7*u**2 - 3*u. Let v be g(4). Let o = 899/9 - v. Is z bigger than o?
False
Let y(w) = w**2 + 16*w - 7. Let k be y(-17). Which is bigger: 13 or k?
13
Let j be (-2)/(-7) - (-282)/42. Suppose -6*h + h = b - 2, h - 2*b = j. Which is smaller: 2/31 or h?
2/31
Suppose -5 = -7*d + 2*d. Let n = 11 - 5. Suppose 4*w - w = n. Is w at most as big as d?
False
Suppose 50 = -4*u + 70. Which is smaller: u or -3?
-3
Let j = 128 - 632/5. Which is bigger: j or -2/3?
j
Let n = 116 + -227/2. Is n > 3?
False
Suppose -7*r = -18*r. Which is smaller: r or 3?
r
Let k = -96 + 83. Let y = 172 + -1206/7. Which is smaller: y or k?
k
Let c be 0/(-1)*(-2)/4. Suppose 4*q - 6*q - 12 = c. Is 1 bigger than q?
True
Suppose -s + 2 = s. Let d be (-28)/6*9/(-6). Suppose -d*m + 35 = -2*m. Do m and s have the same value?
False
Let w(s) = s + s - s**2 - s + 4*s - 4. Let y be 16/3 + 2/(-6). Let k be w(y). Is -4 greater than or equal to k?
True
Let s = -18 - -19. Which is greater: -1/13 or s?
s
Suppose -5*s + 12 = -5*q + 2, -5*q + 4 = 2*s. Suppose 3*j = -37 - 5. Let c be -1 + (j/(-10) - 1). Is q less than c?
False
Let d = -0.44 - -0.04. Which is smaller: d or 2/3?
d
Let d(f) be the first derivative of f**2/2 + 3*f - 1. Let g be d(-3). Is g at most as big as -1?
False
Let a be 26/(-65) - 11/10. Which is smaller: a or -2/21?
a
Let a = -2 + 2.1. Let s(v) = 5*v - 7. Let q be s(-5). Let w be (-88)/q - 3/1. Which is bigger: a or w?
a
Let m(i) = i**3 - 9*i**2 - 11*i + 10. Let j be m(10). Are 1/2 and j non-equal?
True
Let h(l) be the second derivative of l**3/6 + 2*l**2 + 5*l. Let p be h(-9). Do p and -4 have different values?
True
Let y = -0.6 + 0.4. Let v = 0.3 - -0.7. Let h = v + -1.1. Is y smaller than h?
True
Let a = 0.5 + -0.5. Suppose q + 5*p + 1 + 0 = 0, -2*p + 14 = -2*q. Which is smaller: a or q?
q
Let a be (-1 + 0)/((-15)/25). Suppose 3*c - 5*k + 12 = 0, -7 = -4*c + 5*k - 18. Which is bigger: c or a?
a
Let k(t) = -t + 4. Let w be k(0). Let y be 2 - w - 3/(-1). Which is bigger: 0 or y?
y
Let b be 0 + -4*(-1 + 2). Let f(h) = -h - 5. Let a be f(b). Are 0.08 and a nonequal?
True
Suppose 2*v - v - 6 = 0. Which is smaller: v or 4?
4
Let j be (1 - 0) + 6/3. Suppose -j*l + 6 = 3. Which is smaller: l or 2/7?
2/7
Let r = 906/1561 + -2/223. Is r at most as big as -2?
False
Let z be 1/4 - 2/4. Let b be 10/2 + 2/(-2). Suppose -b = 2*j - 2. Is j less than or equal to z?
True
Let c = -12 + 16. Suppose 0 = 3*i - c*k + 52, 3*k - 49 = 4*i + 11. Is -13 greater than or equal to i?
False
Suppose 0 = -4*s + 5*l + 31, 4*s - 90 = -s - 4*l. Let c be (4/14)/(2/s). Let b = -2/13 - -49/65. Are c and b unequal?
True
Let a = -509 - -2556/5. Let h = a - 39/20. Let o = -1/4 - h. Which is greater: o or 0?
0
Let o = 2.34 - -0.66. Is o not equal to 1?
True
Let w = 496/13 + -38. Which is smaller: 0 or w?
0
Suppose 0 = 4*i - 0*i. Suppose 6*q - q + 10 = i. Let u be (q/8)/(3/(-12)). Is u less than or equal to -1/5?
False
Let j = 39 - 346/9. Are j and 2 unequal?
True
Let n = -21/2 - -11. Let f = 26 - 23. Which is bigger: f or n?
f
Let p(c) = 1. Let w(t) = -t - 1. Let s(d) = -2*p(d) + w(d). Let n be s(-6). Let l be (2/n)/(20/(-9)). Is 0 equal to l?
False
Let p be (-107)/321 - (2/3 - 0). Let s(o) = 2*o**3 - o**2 - 3*o. Let w be s(3). Let k be 2/8 - 17/w. Is p >= k?
False
Let i = -16.5 - -21. Which is smaller: 1/4 or i?
1/4
Let q = -31 + 47. Let b = 15.7 - q. Which is smaller: 0 or b?
b
Suppose 0 = 8*y - 4*y - 4. Suppose -2*z - 3 = -y. Which is bigger: z or 4?
4
Let b be (0 - 3/(-1)) + -3. Suppose b = -9*v + 8*v - 6. Is v at most as big as -6?
True
Let m(x) = x**2 - 3*x - 6. Let c be m(-2). Is 4 <= c?
True
Let q be ((-1)/(-2))/(2/(-4)). Let n = -50 - -95. Let y be ((-3)/n)/((-3)/(-9)). Is q >= y?
False
Let u = -1909/9 - -643/3. Which is greater: 1 or u?
u
Let o be -6*(-2 - (-9)/6). Let w = o - 4. Let q be 0 + w - (-55)/65. Are 0 and q equal?
False
Suppose 0*n = -n - 3*i + 16, -n = 2*i - 13. Suppose -m - m + 2 = 0. Let p = m + 7. Is n smaller than p?
True
Let d be (-4)/2 + (-578)/(-255). Which is smaller: d or 0?
0
Let v = 0.06 + -0.46. Let p = -0.36 - v. Are -0.1 and p nonequal?
True
Let o = -0.139 - -0.239. Which is bigger: o or 49?
49
Let z(m) = -2*m - 6. Let o be z(-4). Let n be (1 - 0)*o - 1. Which is greater: n or 3/4?
n
Suppose 0 = -w + m - 26, -2*w - 15 = 2*m + 17. Is w <= -21?
True
Let u be 155/450 + (-4)/10. Let q = -1/6 + u. Is 1 greater than or equal to q?
True
Suppose -15 = -3*g, -3*q + g = -q + 5. Which is greater: -2/9 or q?
q
Let q = 70 + -70.1. Do 0.032 and q have the same value?
False
Let g be 0*(9/6 + -1). Suppose g = 4*j + 664 + 420. Let x = j - -1359/5. Which is bigger: x or 1?
1
Suppose -9*f = -4*v - 4*f + 11, -3*v = -f. Is v at least as big as -1/11?
False
Let s be 1 + 2 + (-18778404)/45. Let c = -417448 - s. Let o = c - -153. Is o at most as big as 1?
True
Let r = -62/3 + 20. Let i = -6 + 6.2. Let a = i - 0.2. Which is bigger: r or a?
a
Let q = 107 + -114. Is q < -10?
False
Let x = -2 + 5. Let w = x + -2.8. Let c = -7/18 - -8/9. Which is bigger: w or c?
c
Suppose b + 3*a - 10 = 0, -2*b + 18 = -3*b + 4*a. Let d(i) = i**3 + i**2 + 2*i + 3. Let z be d(b). Are z and -6 unequal?
True
Let d be 36/27*(-2)/(-8). Which is smaller: d or -0.7?
-0.7
Let o be (-3 - (-6 - -2))*0. Let p = -2/29 - -115/406. Are p and o unequal?
True
Let v(i) = 2*i + 5. Let h be v(-5). Let u = h + 2. Do -3 and u have different values?
False
Let x(m) = -2*m**3 - 3*m**2 - 5*m + 2. Suppose 1 = -2*b + 9. Let o be x(b). Let c = o + 1356/7. Which is smaller: -3 or c?
-3
Let g be (-7)/(-3)*(1 - -6). Let j be 1683/24*4/18. Let d = g - j. Is d at least 0?
True
Suppose x + 2*x = 5*g + 597, 3*g + 4*x + 335 = 0. Is g bigger than -116?
False
Let z(w) = -2*w - 4. Let g 