ose 6 = h*d + s - 2*s, 5*d + 2*s = -3. Are 1/28 and d nonequal?
True
Let q be (-580)/(-203) + (-12)/14. Suppose -5 = 5*x - 0*x. Let a be x*(q - 0 - 1). Is 5/8 at least a?
True
Let b(h) = -h**3 - 3*h**2 + 2. Let u be b(-3). Let s be u/(-7) + 16/28. Is s not equal to 1?
True
Let w(u) = -u**2 + 4*u + 5. Let a be w(-4). Let t be (3 + (-34)/6)*123/(-12). Let z = a + t. Is 1 bigger than z?
True
Let a = 28 + 74. Let g = 101 - a. Is g at most as big as -135?
False
Let o = -20.6 - -3.6. Let r = -16 - o. Which is smaller: r or 0.04?
0.04
Let v(z) = z**3 + 8*z**2 - z - 4. Let p be v(-8). Let t = 7 - p. Suppose 10 = 4*f + 2. Which is smaller: t or f?
f
Let l = -1351 + 1350. Let u = -3679/16 - -230. Which is greater: u or l?
u
Suppose -76 - 772 = -8*j. Let i = j - 109. Are i and 1/2 equal?
False
Suppose -f - 4*f = -3*q + 6, 2*f + 3*q - 6 = 0. Suppose f = -l + 147 - 35. Let a be (-3)/7 + (-176)/l. Are -2/3 and a non-equal?
True
Let x(l) = 3*l - 9. Let s be x(7). Suppose 0 + s = -4*i. Suppose 4*o = -3*g - 4, 0*g - 2*o = -4*g + 2. Is i bigger than g?
False
Suppose -2*n + 4*s - 4 = 0, -2*s = 4*n + 3*s - 18. Suppose -z = -5*u, z - 2*u - n = 4. Which is smaller: z or -0.1?
-0.1
Let w = 13/10 + -81/70. Let z be 1 + (4 - 0 - 2). Suppose z*h - 1 = 2. Does h = w?
False
Let v be -1 + -4 + (-543)/(-99). Let l = v + -9/11. Which is smaller: 1 or l?
l
Let p = 1462 - 1259. Is p at most 203?
True
Let s = 28 + -26. Suppose -o = 3*d - 5, 2*o + s*o = d - 19. Let p be -2*(9/d)/3. Which is smaller: -3 or p?
-3
Let f = -581/3861 + -1/297. Let i(q) = -q**2 - 3*q**2 - 11*q + 11 + 7 + q**3 - 4*q. Let n be i(6). Is f smaller than n?
True
Suppose -3*t - 3*v - 20 - 22 = 0, 2*t - 2*v = -24. Let a be (1 - 4)/(3/t). Let d = -13 + a. Which is smaller: d or 4/5?
d
Let g = 5950/4779 + -72/59. Let i be ((-6)/(-3) - 6) + 3. Is g at least as big as i?
True
Let k(b) = 26*b**2 - 2*b. Let t be k(-1). Let f be (t/6)/(1/(-3)). Is -15 smaller than f?
True
Let t = -95/1633 + 3/46. Which is greater: 1 or t?
1
Let b(a) = 159*a + 79. Let d be b(-2). Are d and -239 non-equal?
False
Let o = 16 - 16.1. Is o at most -0.95?
False
Let v(x) = -x**3 - 5*x**2 - x - 5. Let r be v(-5). Are r and -1/11 nonequal?
True
Let v = 5.06 - 4.06. Which is bigger: v or 1/68?
v
Let f(i) = -12*i. Let l be f(1). Let o be (188/(-20) - 5) + 1/1. Is l <= o?
False
Let z be (-10)/35 + 524/217 + -2. Suppose p + 3 = 0, 6 = -2*b - 3*p - 5. Which is greater: z or b?
z
Let a be -5*1 + 8/(-16)*-2. Which is bigger: -9 or a?
a
Suppose -5*v = -5708 + 888. Let x be v/(-1160) + 6/4. Let a = -2/29 + x. Is 1 > a?
True
Let z = 0.13 - 0.28. Let t = z + 0.25. Are -0.5 and t nonequal?
True
Let o = 1 + 3. Suppose -o*y + 3 + 1 = 0. Let l(r) = r**3 + 18*r**2 + 2*r + 41. Let h be l(-18). Which is smaller: y or h?
y
Let t = -5/1449 + 6941/331821. Is -1 equal to t?
False
Let o = 27.35 - 0.35. Let y = o - 18. Let n = y + -11. Are 1/2 and n nonequal?
True
Let n = 6.46 - 5.1. Let j = -0.26 + n. Let f = j - 1. Which is bigger: 0 or f?
f
Let i = -797 - -30307/38. Do i and 0 have the same value?
False
Suppose -3*q - 2*n = -3*n + 50, -q - 5*n - 6 = 0. Let v be -2 + 0 - (q + 13). Let u = 3 - 2. Is v greater than or equal to u?
True
Suppose 2*n + n - 9 = 0. Suppose -k = n*k. Let i be 5*4/(-420)*-6. Are k and i equal?
False
Suppose 4*q + 9 = 5*q. Suppose -q*f = -5*f - 60. Suppose -3*l - 4*t + f = -5, -5*t + 25 = l. Does l = -2/15?
False
Suppose 148 = -14*k + 18*k. Let o = -39 + k. Which is bigger: o or -15/14?
-15/14
Let s = 9 + -9.94. Let x = s - -0.04. Let g = -1.3 - x. Which is greater: g or 1?
1
Let n(y) = -y**2 + 8*y + 25. Let w be n(12). Let v = -33 - w. Is -11 bigger than v?
False
Let u = 1131333/28930 + -17/2893. Let q = 75/2 - u. Let y be (-6)/(-9)*3/(-2). Which is smaller: y or q?
q
Suppose d + 168 = -6*d. Let j be 2/8*d/20. Which is greater: j or -0.1?
-0.1
Let p = -532 + 712. Is 181 equal to p?
False
Let o(m) = -m**3 + 11*m**2 + 11*m + 7. Let t be o(12). Let n(w) = w + 8. Let b be n(t). Let l(g) = -g + 2. Let q be l(b). Does q = 2?
False
Let o = -9244302/119 - -77682. Let y = o - -6/17. Suppose -a + 6*a = 0. Which is smaller: y or a?
y
Let p = -3 + 0. Suppose 13*k + 631 = 657. Which is smaller: k or p?
p
Let i = -241 + 20484/85. Which is smaller: i or 1?
i
Let f = 56.884 - -0.016. Let k = -68 + f. Let n = -11 - k. Which is greater: -0.11 or n?
n
Let x = 15 + -10. Let n(d) = d**2 - 9*d - 20. Let l be n(10). Let j be 2/l - (-144)/20. Which is smaller: j or x?
x
Let o = -426 - -426. Is o < 482?
True
Let l = 82.39 - -20.56. Let f = -103 + l. Is f <= -1?
False
Suppose -4*d = t - 5*d - 73, -3*d - 6 = 0. Suppose -5*n + 19 = -t. Is 18 >= n?
True
Suppose 2*p + 23 = 17, 2652 = -3*b + p. Is b greater than or equal to -886?
True
Let t = -12.24 - -0.24. Let o = 10.28 + -0.28. Let b = t + o. Which is smaller: -1/5 or b?
b
Let i = 3 + -3.4. Suppose 5*b - 34 = r + 27, 3*b = -3*r + 33. Let o be (2 - 98/21)*1/b. Which is smaller: o or i?
i
Let k = 29.9 + -31.9. Does 8 = k?
False
Let s = 334 - 513. Let d = -918/5 - s. Is d at least as big as -4?
False
Let k = -1.31 - -1.91. Which is smaller: k or 50?
k
Let z = -553 + 563. Which is greater: 163/18 or z?
z
Let g = -20 + 0. Let i = 2 + g. Let y = -15 - i. Is 4/3 smaller than y?
True
Let q = 7/8 + -13/24. Which is bigger: 47 or q?
47
Let d = 96 + -94. Which is greater: 14 or d?
14
Let q = -0.05 + 0.05. Suppose 0 = -3*a - 99 + 21. Let y = -209/8 - a. Is y bigger than q?
False
Let c = 63 - 314/5. Let p be ((-121)/(-484))/((-5)/4 + 1). Which is greater: c or p?
c
Let t = -214 + 202. Which is smaller: t or -15?
-15
Let d = -477 - -467. Which is smaller: -330/37 or d?
d
Let l be 70/(-38)*-1 - 2. Let b be (-424)/318*6/8. Are l and b non-equal?
True
Let l(z) = z**3 - 4*z**2 + 3*z + 4. Let q be l(3). Suppose -6 = q*p - 2. Which is greater: -11/5 or p?
p
Suppose -41 + 260 = -3*i. Let n = i + 65. Are -8 and n equal?
True
Let h = -91.047 - -91. Let g = 0.007 + h. Which is smaller: -4 or g?
-4
Let y = 8 + -11. Let g = y + 2.8. Let x = 902 + -901.8. Are x and g equal?
False
Let y = 685271/880 - 8519/11. Let s = y - 21/5. Which is smaller: s or 1/4?
s
Let n be (64/110)/4 + 6/15. Suppose -a + 9 = 3*k, 1 = 4*k + k - 3*a. Which is bigger: n or k?
k
Let x = -861/40 + 73/8. Let b = -13 - x. Let d = 10 + -12. Which is bigger: b or d?
b
Let w be (4/(-623))/(12/14). Which is bigger: -1 or w?
w
Suppose 0 = -4*d - 2*c - 0*c, -4*d - 5*c = 0. Let t be ((-2)/36)/((-1)/(-8)). Which is bigger: d or t?
d
Let t = -0.6 + 0.7. Let r = t - 4.1. Let m = 2 - 2.2. Is r less than m?
True
Suppose -u - 4 = -0*u. Let o be 41/(-205) - (1 - (-18)/10). Which is greater: u or o?
o
Let g be (-75 + 3)/4 - -3. Let o be g/(-3 + 4 - 0). Let p = -39 + 23. Which is smaller: p or o?
p
Let h = -0.1894 + 14.1894. Which is smaller: h or -1.2?
-1.2
Suppose 5*f + 3*m = -448, -355 = 5*f - f - m. Is f != -88?
True
Suppose -10 = 6*w - 34. Suppose -w = -j - 2. Suppose -2*v + 2 = -5*b + 4, 0 = -b + 4*v + 4. Which is smaller: j or b?
b
Let c be (-21)/35 + (-72)/(-20). Let f be ((-693)/70)/(-3) - c*1. Which is greater: f or 1?
1
Let t be 50/6 + -16 + 11. Is 4 at least t?
True
Let z = -8.48 - -6.48. Is -50 at most z?
True
Let j be 42/(-21) + (-744)/(-370). Is 1 <= j?
False
Let c = -17.3 - -1.3. Let j = -15.6 - c. Let i = 0.1 - j. Which is smaller: i or 1?
i
Let l be 0 + 12/(-20)*-5 + 3. Does l = -8?
False
Suppose -4*s - 5*z + 74 = -119, 3*s - 121 = z. Are s and 83/2 nonequal?
True
Let f = 98078/7 - 14038. Let t = f + 27. Is 0 <= t?
True
Suppose -24 = -5*n - n. Suppose -5*p + n*p - 4 = 0. Is p at most as big as -6?
False
Let k = -21 - -12. Let s = 9 + k. Which is bigger: -5/11 or s?
s
Let f be (-108)/4 - 6/4*2. Let v be ((-40)/48)/(4/f). Which is smaller: v or 6?
6
Let t be 4*2*1/(39 - -7). Which is bigger: -0.2 or t?
t
Let v = 714 + 537. Let g be v/15 + -2 - 3. Let c = g + -79. Does 0 = c?
False
Let k be (3/(-4))/((-195)/48464). Let l = k - 188. Which is bigger: -3 or l?
l
Suppose -h - 4*r + 2*r = -1, -3 = 2*h - r. Suppose -5*v = -6*v - 1. Let k be 11/14 - v/(-2). Which is bigger: h or k?
k
Let q be (-878)/(-5)*-2 - (-38)/190. Is -351 at most as big as q?
True
Let s be ((-6)/57)/((-280590)/(-38515)). Let k = -1/3781 - s. Which is bigger: k or 1?
1
Let g = 43 + -44. Let l be 26/(-20) -