0.21?
0.21
Let k be (3/(-4))/((-3)/8). Suppose -14 = 2*c + 4*t + k, -18 = -4*c + 2*t. Suppose -q + 9 = 2*q + 3*n, c*n - 6 = 5*q. Is q less than or equal to 2/3?
True
Suppose -x - 18 = 14. Which is smaller: x or -30?
x
Let y = -62 - -91. Let z = y - 26. Suppose 0 = x - 3*n + 20, -2*x + z*n + 0*n = 25. Do -4 and x have different values?
True
Let n = 0.0107 - 0.2407. Which is smaller: -2 or n?
-2
Let h = 231 + -144. Let t = h - 167/2. Which is smaller: 4 or t?
t
Suppose -3*n + 363 = -3*j, 0 = 21*j - 22*j + 3*n - 117. Which is smaller: j or -122?
j
Suppose 0*g - 19*g = 209. Is g less than or equal to -13?
False
Let g be (25/10 - 0)*-2 - -6. Which is greater: g or -6/89?
g
Let v be (-62)/(-70) - 8/(-20). Let p = v + -11/7. Suppose 5*n - 14 = -0*z + 3*z, -17 = -5*n + 4*z. Which is smaller: n or p?
p
Let f be -1 - (-3 - -1) - -4. Suppose 0 = -5*j + 3*n + 65, 4*n = -f*j + 3*j. Let d = -2 - -13. Which is bigger: j or d?
d
Let n = -606 + 613. Let m = 95/16 + -555/16. Let w = m - -29. Is n smaller than w?
False
Let g = 2.8 - 3. Let y(t) = 7*t + 30. Let d be y(-4). Suppose d*q = -116 + 128. Is g smaller than q?
True
Let i(q) = -2*q**2 + q + 3*q**2 - 2*q - 4 + 7*q**3. Let o be i(-2). Let l be o/66 + (4 - 3). Is l greater than -4/3?
True
Suppose 4*m = -7*s + 3*s, 0 = 3*m - 2*s - 20. Suppose -m + 2 = -2*t. Is 1/4 < t?
True
Let z = 2629 + -49972/19. Is 0 greater than or equal to z?
True
Suppose -2 = -v + 1. Suppose 38 = -4*f - 2*c - v*c, -5*f + c = 33. Let a be f*(3 - 4) + -1. Which is bigger: 4 or a?
a
Suppose -8*x + 30 = -3*x. Suppose -2*i = -x*i - 52. Let b = i + 17. Which is smaller: b or 3?
3
Let o = 4/5 - 21/20. Let y be -3 + 14/6 - (-8)/12. Which is greater: o or y?
y
Let z = -77 + 58.3. Let j = z - -21. Let g = -2.3 + j. Is -2/3 > g?
False
Let v be 4/(-14) + 276/(-14). Let c = v - -58/3. Is 0 smaller than c?
False
Suppose 4*b + 582 = -0*s - 2*s, 4*b = s - 591. Let q be (-2)/(-14) - (-168)/b. Which is greater: -1/13 or q?
-1/13
Let d(a) = 101*a + 103. Let g be d(2). Is g less than or equal to 305?
True
Let w(u) = 19*u - 18. Let v be w(4). Suppose -k = -3*k - v. Which is greater: -30 or k?
k
Suppose -14*d + 555 = -15*d. Let y = d + 10549/19. Which is smaller: y or -1?
-1
Let t = 619/4 + -155. Is t equal to 0.06?
False
Let j = -1/7957 + 1846031/55699. Are 33 and j equal?
False
Let g = 505 - 503. Does 44/7 = g?
False
Let d = 234 - -822. Is 1057 smaller than d?
False
Let j be 0/((-3)/((-3)/2)). Let u be j/(4 - 0) - -5. Let g be (-30)/9*(-6)/4. Are g and u equal?
True
Suppose -3*s - 10 = -5*c, 4*c - 2*s - 4 = 4. Suppose 0*u - 8 = -c*u. Suppose -4*i = 3*z - 6*i - 11, -2*z + 2*i + u = 0. Are z and 7 equal?
True
Let z be (-244)/(-124) + -1 - (-4 - -5). Suppose -p + 3*p + w = -1, 2*p + 10 = -4*w. Are p and z nonequal?
True
Let p = -5750.98 - -5703. Let g = p + 48. Which is smaller: g or 5?
g
Suppose 415 = -2*p - 0*p - 5*l, -4*p = l + 803. Let x = -195 - p. Suppose 0*m - j = -4*m + 28, -5*m - 3*j + 18 = 0. Is x not equal to m?
True
Let c(d) = -d. Let q(g) = -g**2 - 3*g + 5. Let v be q(-4). Let o be c(v). Let l = o - 2. Which is smaller: l or 1?
l
Let q(s) = -s**2 - 7*s - 28. Let l be q(-4). Let h be 36/1*2/(-4). Is l smaller than h?
False
Let p = 135/238 + -8/119. Is 7.3 > p?
True
Let x(k) = -k**2 + 1. Let q be x(-2). Suppose 4*y - 8*y = 3*v - 8, 5*y = -v + 21. Is q greater than or equal to v?
True
Suppose 0 = -0*s - 6*s - 0*s. Suppose 11*d - 9*d - 6 = s. Which is bigger: d or 5/2?
d
Let k = 238592/85 - 2807. Let f = k + 97/340. Which is bigger: -1 or f?
f
Let r be (-2)/20*9 + (-11 - -12). Suppose 3*w - 3 + 0 = 0. Which is smaller: w or r?
r
Suppose -1710 = 27*t - 65*t. Is 40 at most as big as t?
True
Let q = -1.4029 - -0.1029. Which is greater: q or 13?
13
Suppose -5 = -31*o + 36*o. Let b = -8 - -8.012. Which is smaller: b or o?
o
Let l = -1.93 - -1.03. Which is smaller: l or 2/17?
l
Suppose -20 = -2*b - 4*q, -2*b + 10 = b + 2*q. Let r be 10 - (-1 + 5 + b). Suppose 4*x = x - h - 3, 4*x + 2*h + r = 0. Is x at least as big as -2/5?
True
Let a = 107/3108 + 16/111. Let y = 37 + -37. Which is smaller: y or a?
y
Let i = -9/37 + 155/333. Let s = 4/9 + i. Let k be ((-1778)/175 - -10)/((-2)/10). Is k > s?
True
Let p = 67432033/1745 + -38643. Which is smaller: p or 1?
p
Let a be 1*2*2*1. Suppose 7 = 9*l - 11. Suppose 12 = -2*x - l*x + 4*k, -x - 4*k = -17. Which is bigger: a or x?
a
Suppose 4*q + 0*q - 96 = 0. Let m = q - 24. Is m less than 2/21?
True
Let q = -2.1 - 14.9. Let g = q - -10. Let k = g + 6. Which is greater: k or -0.9?
-0.9
Let x = 1118 - 1118. Let r be 3/6*4/53. Which is smaller: x or r?
x
Let m = 5311 + -1184351/223. Does m = -0.1?
False
Let o be 14 + (-6)/(234/559). Let m = 3 + -4. Let g = m + 0.9. Is g at least o?
True
Let k = -0.317 + 0.332. Is 0.4 equal to k?
False
Suppose 2*s + 8 = -0. Let v(d) = -9*d + 4. Let t(h) = -2*h + 3. Let m(b) = -3*t(b) + v(b). Let l be m(s). Which is bigger: 6 or l?
l
Suppose -27*z + 29*z = -3*g - 123, -z - 2*g - 61 = 0. Are z and -61 non-equal?
True
Suppose -2*x = 194 - 38. Let q = x + 29. Let h be (-2)/5*(-35)/q. Is h at least -9?
True
Let x(j) = j**3 + 21*j**2 - 29*j - 50. Let a be x(-22). Let z = 108 - a. Which is bigger: z or 13/3?
13/3
Let l = 10.18 - 10. Let v = 2.98 - l. Let j = 2.83 - v. Which is greater: j or -0.1?
j
Let q(t) = 25*t - 153. Let j be q(6). Which is smaller: j or -185?
-185
Let u be ((-6)/117)/((-2)/3). Let b(z) = -43*z**2 - z - 1. Let i be b(-1). Let x = 44 + i. Which is greater: x or u?
x
Suppose -5*u + 11 = -4. Suppose -4 = f, -u*m - f - 5 = -1. Which is smaller: 2/3 or m?
m
Suppose 8*a - 20 = 3*a. Let s be 4 - (-18 + (2 - 4)). Suppose 0 = o + 2*i + 6, o - s = a*i - 0*i. Which is greater: o or 5?
5
Let b be (-2814)/13370 + (-3)/(-15). Which is smaller: -1/3 or b?
-1/3
Suppose 8*i - 2 = 30. Suppose -i*c + 19 = -53. Which is bigger: c or 19?
19
Let s = 766.51 - 719. Let b = s + -47. Let f = -0.01 + b. Which is bigger: -1 or f?
f
Let x be 5 - (-18 + 6) - 2. Let o be ((-4)/(-10))/(x/(-75)). Let p = -655/9 + 73. Is o < p?
True
Let l = 1725 - 1732. Which is bigger: 2 or l?
2
Let m be 1/(((-3)/1)/3). Are -1/1897 and m equal?
False
Let p(w) = 12*w + 75. Let i be p(-6). Is 22/7 at most i?
False
Let m(b) = 81*b**3 - 2*b**2 - 4*b. Let n be m(-3). Let s be (n/27 - -5) + 2/9. Is -76 < s?
False
Let c be 2*-4 - (-5 + -10 - 650). Is 0.1 > c?
False
Suppose 97*a = 90*a + 7. Which is smaller: a or -3/68?
-3/68
Suppose 6*s - 4 = 2*s. Which is bigger: -5/78 or s?
s
Let r be 21/(-14) + (-4716)/(-8) - 1. Which is bigger: r or 588?
588
Let d be (((4 - 4)/(-2))/(-2))/(-2). Which is greater: 16 or d?
16
Let a = 90 + -98. Let g(i) = -3*i**2 - 3*i - 3. Let w be g(-2). Is a bigger than w?
True
Let a = -58719 - -1468363/25. Let i = 1/50 - a. Which is smaller: i or -17?
-17
Let q be 2/38*2 - 0. Let s = 59 - 47. Suppose -5*u = -5*d - 15, 0*d - s = -d - 4*u. Is q less than or equal to d?
False
Suppose 2 = f - 1. Let c(n) = -n + 2*n + 3 - f. Let x be c(-4). Which is smaller: -3 or x?
x
Let h be ((25 - -10) + -7)/(-2). Which is bigger: -121/9 or h?
-121/9
Let m = -1875.7 - -1704. Let z = -172 - m. Let x = -3/35 - 26/105. Which is greater: z or x?
z
Let t(c) be the second derivative of -c**3/2 + c**2/2 - 7*c. Let y be t(0). Is 2/11 at most as big as y?
True
Let f = 218 - 156. Let v = -62.2 + f. Is v greater than or equal to 2/3?
False
Let a(i) = -i**2 - i. Let m be a(0). Suppose m = -3*f + f - 12. Let v be f/(-21) + (-2)/7. Is -1/2 < v?
True
Let k(b) = -b**3 - 9*b**2 - 9*b + 7. Let p be k(-7). Let y = -26 - p. Suppose 3 = -h - y. Which is smaller: 2 or h?
h
Let o be (-1209)/35 + 5/35. Is o < -34?
True
Let o = 53 - 53.76. Let p = o - 0.24. Which is smaller: 0.16 or p?
p
Suppose -2*v + 62 = 2*w + 3*v, -v + 88 = 4*w. Let p be 2706/(-10) + w/35. Let h be (p/(-69) - 2) + -2. Which is bigger: -1 or h?
h
Suppose -4*y = -5*t + 118, 3*t - 57 - 5 = -2*y. Let r(i) = -2*i + 47. Let a be r(t). Is -13 >= a?
False
Let i be (-882)/(-54) + (-4)/3. Which is smaller: 8 or i?
8
Let c be 11/(220/(-24))*(-78)/(-81). Let b = -4019/9 + 446. Let k = b - c. Which is smaller: k or 0?
0
Suppose 5*o + 0*o + 19 = -a, -2*a - 17 = 3*o. Let d = 9.7 + -9. Which is smaller: d or o?
o
Let b = -3389 - -10081/3. Let p = 28 + b. Let o = -57/2 - -29. Is o greater than 