-2 - (-344)/170). Which is smaller: i or -2?
i
Let c = 89 - 90. Is 284 != c?
True
Let n = -1030 - -116389/113. Is n at most 0?
True
Let k = -537 + 14509/27. Is k greater than -2?
True
Suppose 0 = -2*y + 2*h - 68, -6*h = -7*h + 3. Is -31 greater than y?
False
Let j = 9 - 22. Let s be (5 - 8)*j/(-3). Let r = s + 25/2. Is r bigger than 0.9?
False
Let f = -1542 + 1544. Do -22 and f have the same value?
False
Let n = 1385 - 1392. Which is smaller: -3 or n?
n
Let l be 4/(-1292)*253 + 4. Let a = 52/17 - l. Suppose -2*z + 6 = 4*u, 0*z = -3*z - 5*u + 7. Is z >= a?
False
Let g be (-2 + 7)*(1 + 4/(-20)). Let n be (-7 + 2 + g)/((-2)/62). Which is smaller: 30 or n?
30
Suppose 99 = -23*l - 85. Which is bigger: l or -5?
-5
Let x = 0.11 - 0.01. Let i = -17.2 + 20. Let u = i - 0.8. Is x bigger than u?
False
Let u be (-1 - 0)*(285 - 5). Let r be (-5)/(u/2598) + 1. Let w = r - 191/4. Which is smaller: w or 1?
w
Suppose 0 = 2*s + 25 - 37. Let m be (2/s)/(10/4080). Are 137 and m unequal?
True
Let j = 240 + -516. Which is smaller: j or -274?
j
Let q = 3/131 + 479/1965. Suppose 0 = 371*i - 389*i + 18. Are q and i nonequal?
True
Let z(m) = m**2 - 17*m + 18. Let v be z(16). Let i(h) = -14*h**3 + h**2 + 3*h - 6. Let g be i(v). Which is bigger: -107 or g?
-107
Let d be ((-100)/1272)/25*45/6. Is d smaller than 0?
True
Let j = -349 + 351. Which is smaller: j or 10/17?
10/17
Let d = -0.217 - 0.099. Is d not equal to -1/2?
True
Let n(k) be the third derivative of k**4/24 + 4*k**3/3 + 2*k**2. Let q be n(-6). Let v = 4/63 - -97/126. Which is smaller: q or v?
v
Let d = 16.07 + -16. Let s = d + -0.27. Let y = s - -0.2. Which is greater: y or 0.06?
0.06
Let r = -6.89 + -0.11. Let l = 9 + r. Let u = 1 + l. Is 1 bigger than u?
False
Let a(y) = 4*y + 31. Let n = -83 + 67. Let p be a(n). Is p <= -35?
False
Let x(h) = 2*h. Let f(t) = -t + 6. Let n be f(6). Let i be x(n). Let y be 144/(-435) + 2/5. Which is smaller: i or y?
i
Let y(x) = 4*x**3 - x**2 + 2*x - 2. Let z(t) = 3*t**3 + t - 2. Let p(f) = 4*y(f) - 5*z(f). Let v be p(2). Are v and 2 non-equal?
True
Let z(o) = -2*o - 6. Let n be z(-9). Let v = n + -8. Let j = -2 - -3. Which is smaller: v or j?
j
Let w = 1 - 1. Suppose -5*s + 3*d + 54 = 5*d, 3*d + 9 = w. Let y = -30 + 43. Which is greater: s or y?
y
Let w = -415 - -938. Which is greater: 522 or w?
w
Suppose 0 = 10*g - 11*g + 12. Suppose -i + g = 2*i. Suppose x = i*x. Is x greater than or equal to 0?
True
Let r = 888 - 962. Which is smaller: r or 0?
r
Let p = 34.922 + 0.078. Let o = 34.9 - p. Is o <= -5?
False
Let c be (0 - -2 - 1)/(6650/(-42)). Which is bigger: 1/4 or c?
1/4
Let p = -9/2 - -15/4. Let o = -4.92 + 5. Which is greater: o or p?
o
Let a = 27/2 + -18. Which is smaller: a or -3/2?
a
Let d be 75/15*68/5. Let t = d - 68. Which is smaller: t or -2/51?
-2/51
Let u = -134 + 127. Is 0 greater than u?
True
Suppose 22 = 2*p + 2*b, 10*b = 5*p + 12*b - 43. Which is smaller: -1 or p?
-1
Let o be (-8 - -30)*(-662)/2912 - -5. Which is bigger: o or 0?
0
Let n be 2 - 2 - (-2 - (4 + -1)). Suppose z + 2 = 2*w, 10 = -n*z - 2*w - 2*w. Is z not equal to -2?
False
Let w be ((-517)/(-77) - 7)/(15/(-21)). Is 22/57 less than w?
True
Suppose 5*a - a - 5*m = 5, -a - 3*m - 3 = 0. Suppose 4*i = w + 275 - 37, -5*w - i - 1253 = a. Let n = 3256/13 + w. Is n not equal to 0?
True
Let i = 4.64 - 4.6. Let g = 5 + -6. Which is greater: g or i?
i
Let y = 70 - 70. Suppose y = -12*f + 14*f. Let p be 4/18 + 4/(-9). Which is greater: p or f?
f
Let i(x) = x**3 - 7*x**2 + 9*x + 3. Let l be i(5). Let d = -3574 - -46426/13. Which is smaller: d or l?
d
Let m(o) = 23*o + 26. Let p be m(-15). Let d = 29 - p. Let g = d + -2445/7. Is g greater than 0?
False
Let d = 1009.95 - 1010. Let m = -19 - -19.95. Let a = d - m. Which is greater: a or 1/23?
1/23
Let z = -11.7476 + -0.2424. Let u = 154 + -142. Let c = u + z. Which is greater: 1/2 or c?
1/2
Let w = -2461946/140085 - 14/12735. Let i = 56/3 + w. Which is bigger: i or 0?
i
Let n = 715/9 - 308147/3879. Which is greater: 0 or n?
n
Let d = 40 - 31. Let i = d + -12. Is i bigger than -4?
True
Let u be (-312)/51 - (-6 - 0). Let g be (-4)/(-3)*(-27)/(-48). Is u less than g?
True
Suppose -1200 = w + 14*w. Which is greater: -82 or w?
w
Let d(i) = -i**2 + 2*i + 10. Let k be d(-5). Is -3 smaller than k?
False
Let u = -5 - -5. Let m = -192 + 1334/7. Is m equal to u?
False
Let l(w) = -3*w + 6. Let r be l(2). Let a be 3 - r - (-44 - -47). Which is smaller: a or 7/10?
a
Let y(q) = q**3 + 7*q**2 - 8*q. Let a be y(-8). Suppose a = 14*c + 176 - 50. Let s be (-1)/(-4) - 33/4. Which is bigger: s or c?
s
Let k = 1.94 - -0.06. Let r = k - 1.9. Is -1/6 greater than r?
False
Let i(y) be the third derivative of -y**4/24 - 4*y**3/3 + 5*y**2. Let l(w) = w + 9. Let r(q) = 4*i(q) + 3*l(q). Let s be r(-3). Does -6/7 = s?
False
Let a be 21/(-5) + (-2)/5. Let j = -281819/315 - -8008/9. Let f = a - j. Is 1/3 <= f?
False
Let n = -99 + 101. Let w be 2/(-4) - (-7)/2. Let b be ((-1)/5)/(w/(-15)). Is b at most n?
True
Let r be 450/(-168) + 6/(-8). Suppose 4*z = 5*g - 94, -2*g + 17 = -5*z - 109. Let f = z + 22. Is f greater than r?
False
Suppose 4*n - v + 159 = 0, -n + 5*v + 21 = 75. Let t be (1 - 1) + (n - -6). Is t != -33?
False
Suppose 0 = 4*z - 3*z + 2. Let h(d) = 5*d + 9. Let o be h(z). Which is smaller: -9/13 or o?
o
Let r be ((-184)/30)/(20/50). Let w = -16 - r. Let u = -6 - -2. Which is smaller: u or w?
u
Let u = -189 + 190. Is u < 2/129?
False
Let h be -3*1 + (4 - (-10 - 89)). Is 101 bigger than h?
True
Suppose 18 = -o - 22. Let f be (2 - (2 - 0)) + o/100. Let i(x) = -x**3 - x + 1. Let q be i(2). Which is bigger: q or f?
f
Let p(h) = 24*h**2 - 8*h - 6. Let f be p(-4). Let m = 22959/56 - f. Is 0 less than m?
False
Let j(f) = -5*f + 4 - 9*f**2 + f**3 - 11*f - 2 + 3*f**2. Let v be j(8). Suppose v + 4 = 3*p. Is p less than or equal to 8/3?
True
Let r = 711 + -697. Is r != 14?
False
Suppose -32*o + 1479 = -61*o. Which is smaller: o or -46?
o
Let a = 1349 + -1206. Which is bigger: 138 or a?
a
Suppose 3 = 2*k - 5*a, -k = 3*k + 5*a - 21. Suppose 0 = k*h + 5*c - 55, 2*c - 4*c = h - 13. Does 17 = h?
False
Suppose -5*j - 24 = -3*x, -x + 2*j + 0*j + 9 = 0. Suppose 15 = -x*u - 4*i - i, -4*i = 5*u + 12. Is u < 1?
True
Suppose -498*b + 720 = -489*b. Is b smaller than -6?
False
Let d = -12 - -20. Let y be (-2)/(-9) + (-158)/(-18). Let t be 2/10*(-15)/y. Is d bigger than t?
True
Suppose 0 = -6*h - 213 + 249. Suppose -2*y = -h - 10. Suppose 4*p + 9 = 2*j - 21, 0 = -j - 2*p + 3. Does y = j?
False
Let s(i) = 2*i**2 - i - 3. Suppose 3*m - 11 + 2 = 0. Let w be s(m). Let q = w - 8. Is q > 4?
False
Let i = -31 - -39. Let q be 0 + (-84)/i*2. Let k be 15/q + 6/(-21). Is -2/9 < k?
False
Let s = 321.898 + -325. Let g = -0.102 - s. Is -2/17 bigger than g?
False
Let c(d) = -7*d**3 + 4*d**2 + 9*d - 6. Let g be c(3). Is -131 at least g?
True
Let s = 12 - 114. Let o = 100.5 + s. Which is bigger: o or 3?
3
Let o be 10/(-20)*(-3)/((-6)/(-212)). Do o and 55 have the same value?
False
Let h = 87 + -85. Suppose 0 = -5*d - h*g + 22, -g - 14 = -3*d - 2*g. Let b(l) = 3*l - 4. Let j be b(3). Is d < j?
False
Let w = -54849/11 - -4993. Let h = -39/22 - w. Are -10 and h non-equal?
True
Suppose -5*s = -8 - 7. Let i be (s/4)/((-1)/(-24)). Let z be 2 - (88/i - 3). Is 1 < z?
False
Let o be 2/(-8) - 372/(-16). Let r = 815 - 793. Which is smaller: r or o?
r
Let t = -26 + 45. Let z = -336 - -337.037. Let s = -0.037 + z. Is t smaller than s?
False
Let m(n) = 49*n - 37. Let p be m(2). Is 59 >= p?
False
Let x = 1.1 + -0.9. Which is smaller: 0.03 or x?
0.03
Let y = 2 - -16. Let u = -4 + y. Let f = 17 - u. Which is smaller: 1 or f?
1
Suppose -27 = 32*z - 1147. Is 178/5 at least as big as z?
True
Let a = 4 - 2.3. Let g = 2.3 - a. Are -4 and g unequal?
True
Suppose 0 = 8*o + 24*o. Is o bigger than -2/599?
True
Let a = 26 + -31. Let c = -6 - a. Let j(t) = -t**2. Let r be j(1). Is c less than or equal to r?
True
Let t = -6847 - -20921/3. Which is bigger: t or 126?
t
Let s = 0.142 + 3.858. Let m = 26 - 22.08. Let k = m - s. Which is greater: k or 0?
0
Suppose 5*c = 2*u - 135, -4*c + 0*c - 312 = -5*u. Are 2/5 and u unequal?
True
Let h = -57 - -34. Let p be 1/(h + 3 - -1). Is 0 > p?
True
Let z = -95 - -759/8. Let b be -10 + (-1 - -5) - -3. Let c be ((-3)