))/((-6)/(-18)). Let o be -2 - 18/s - (-904)/20. Which is smaller: o or 46?
o
Let o be ((-1)/10)/(((-117)/2)/(-9)). Which is greater: 0 or o?
0
Let v(n) = n**2 + 26*n + 52. Let c be v(-23). Are -19 and c non-equal?
True
Suppose -2*x + 4*x - 36 = 0. Let c(q) = q**2 - 18*q. Let o be c(x). Are -0.01 and o non-equal?
True
Let n(x) = x**2 - 3*x + 3. Let r be n(0). Suppose -4*p + 4*a = -20, r*p + 2 = a + 7. Which is bigger: p or -1/7?
p
Let t = -84 - -83.88. Let y = -2.12 - t. Which is smaller: y or -8?
-8
Let b be 5/1 + ((-34)/(-1))/(-2). Which is smaller: -8 or b?
b
Let f = -59 + 60. Let a = -1/19 + 53/285. Are a and f non-equal?
True
Let t be ((-4)/(-2))/(26/299). Let j = t - 22. Let i be (0 + 3)*j/12. Which is smaller: i or 10?
i
Suppose 0 = 2*p + 2*p + 5*w + 672, 0 = -5*p - w - 861. Let n = 18859/109 + p. Is n less than or equal to -1/4?
False
Let g be ((-14)/15)/((-42)/(-350)). Which is smaller: -7 or g?
g
Let a(u) = -u**3 + 14*u**2 + 5*u + 30. Let v be a(14). Let k = 99 - v. Let f be (10/(-3))/(22/6). Is f greater than k?
True
Let n be -1*(-3)/6*0. Suppose -7*y + 2*y + 10 = n. Let i = 462 + -3229/7. Is y less than i?
False
Let o be 4128/(-40) - (-6)/5. Which is smaller: o or -101?
o
Suppose -120*g + 119*g - 14 = -5*l, 0 = -5*l + 5. Is g smaller than -12?
False
Suppose 3*x + 3*r = 0, 0 = x - 203*r + 208*r. Let i = 13/16 + -409/464. Which is bigger: i or x?
x
Suppose -z - 25 + 11 = 0. Let c = z - -25. Suppose 5*y + 4*w = 22, 0 = 3*y + 3*w - c - 1. Which is smaller: 2 or y?
2
Let j = 634 - 626. Let v(l) = -2*l + 4. Let n be v(3). Let q be (n/j)/((-6)/8). Which is greater: 15 or q?
15
Let y = 63 - 59. Is y >= -4?
True
Let b be (-406)/(-186) + (-11 - -5)/(-18). Is 2 at least as big as b?
False
Let m be 4/14 + (-24470)/11312. Let n be ((-117)/31512)/(6/4). Let h = n - m. Which is bigger: 1 or h?
h
Let o be (184/94 - -1) + -3. Let g(y) = 2*y + 16. Let z be g(-7). Let p(b) = -b**3 + 4*b**2 - 3*b - 3. Let m be p(z). Which is bigger: o or m?
o
Let n be 1*6*(-507)/26. Let h be n/(-99) + (-4)/22. Let o be (0*4/(-12))/2. Which is smaller: h or o?
o
Suppose 198 = -7*p + p. Let w = 51 - 83. Are w and p equal?
False
Let j = 0.152 - 0.152. Let q = -1 - -2.3. Let m = q - 0. Is j > m?
False
Let w = 101 - -17. Let n = 17 - w. Is -101 less than n?
False
Let r(c) = c**3 + 2*c**2 - 1. Let o be r(-4). Let g be (-6)/33 - 6/o. Let m = 9920/29 - 342. Which is smaller: m or g?
g
Suppose 5*j + 187 = -168. Let w = -73 - j. Which is bigger: 2 or w?
2
Let w = 621 - 6832/11. Which is greater: 0 or w?
0
Let o be 144/(-108) - 962/3. Which is bigger: -320 or o?
-320
Let s(x) = -2*x - 16. Suppose i - 3*g = -1 + 2, 3*i + 2*g = -30. Let j be s(i). Suppose -l = -j*l. Is l >= -2?
True
Suppose -2*g - 2*w = -24, -5*g - 4*w = -3*w - 44. Let t = -4 + g. Suppose 0*x - t = 4*x. Is x equal to -2/13?
False
Let v be (-1)/(13/7 - 2). Let y = -54 + 43. Let l = y + 16. Does v = l?
False
Let a be 3/(-2) + (-13)/2. Let z = a - -7. Which is greater: z or -4/7?
-4/7
Let z = 1021 + -81681/80. Is 1 at least z?
True
Let s = 150 + -744/5. Suppose 0 = -3*w + n + 9, -2*w - n - 5 = 2*n. Suppose -t + 0*t = -w. Which is bigger: s or t?
t
Let q = 243 + -243.92. Which is smaller: q or 0.2?
q
Let m = 61 - 126. Let a = 65.17 + m. Which is smaller: a or -2/9?
-2/9
Suppose -3*c = 2*r + 124 - 362, 0 = 3*r + 2*c - 352. Is 113 less than or equal to r?
True
Let q be -3*4/(-84)*(7 + -8). Which is bigger: q or -1?
q
Let g be (-7)/14 - (-3)/2. Let f be g*14/(-5) + 3. Are f and 0 non-equal?
True
Let i = 61 - 30. Let c = i + -31.9. Which is bigger: c or -1?
c
Let y = 11608 + -5374501/463. Which is bigger: y or -1?
y
Let p = -2/12597 - 21844/21099975. Is p at least 0?
False
Let k = -230 + 134. Let q = k - -152. Is q at least 2/9?
True
Let p = -13 + 13.14. Let f = -1.3 - 1.84. Let r = p + f. Which is bigger: r or -0.2?
-0.2
Let w = 43 - 43. Which is smaller: -3/181 or w?
-3/181
Let q(k) = -5*k + 58. Let l be q(-11). Does l = 115?
False
Let f be 1/(1/(-5 - 98)*-1). Is 102 <= f?
True
Suppose -4*n = 15*n - 152. Is 48 smaller than n?
False
Let c be 2/(-3) + (-56)/(-102). Let t = 175 + -174. Is c > t?
False
Let y be (-5 + 4 - -6) + 2. Is y smaller than 21?
True
Suppose 3*m + 172028 = 2*m - 5*i, m + 172046 = i. Let z = m - -1374653/8. Let b = 211 + z. Which is smaller: 1 or b?
b
Let u = -45.5 + 34. Let p = u - -8.2. Which is bigger: p or 1?
1
Let f = 27 - 27. Let z be (-4)/(8/22) - (f + 1). Is -12 at most z?
True
Suppose 4*d + 45 + 27 = 0. Is d bigger than -17?
False
Suppose 0 = 798*s - 797*s - 9. Which is smaller: s or -1.2?
-1.2
Let t be -6*(2/(-8) + 494/312). Which is greater: t or -33/5?
-33/5
Let n(m) = -11*m**3 + 4*m**2 + 2*m + 4. Let a be n(-3). Let r = a - 2312/7. Which is smaller: r or 0?
0
Let g = 0 - 9. Suppose 0 = 2*c + 2*j + 20, 0*c - 21 = 2*c + 3*j. Is g <= c?
True
Suppose -4855 = -104*y + 4297. Suppose 0*w = -2*w + 3*x + 191, -279 = -3*w + 3*x. Is y greater than or equal to w?
True
Suppose 2*m - 24 = -0*m. Suppose -b = 2*b + 3*k - m, -26 = b - 5*k. Let h be (-1 - -1)/((-1)/b). Which is bigger: -2/5 or h?
h
Let n be (-1*(-252)/171)/(1 + 1). Which is greater: n or 0?
n
Suppose 0*v - 554 = 4*m + 2*v, v - 703 = 5*m. Let f = -139 - m. Let z(t) = -t**2 + 7*t - 5. Let l be z(6). Is f < l?
False
Let j be 5*5*(-4)/4. Let i be ((-25)/(4/4))/(-1 + 2). Is j equal to i?
True
Suppose -4*t + 3*l + 9 = 0, 3*t - 4*t + 2*l + 6 = 0. Let v be (-99)/55 - (-6 + 2). Which is greater: t or v?
v
Let j be -4*3063/(-3048) + -4. Which is greater: 0 or j?
j
Let a(d) = -d**3 - 7*d**2 - 5*d + 8. Let b be a(-6). Suppose -b*r + 12 = r. Suppose -4 = 5*v - 34. Which is bigger: r or v?
v
Suppose 5*t + 529 = 34. Let j = t - -94. Is j greater than or equal to -4?
False
Let h be (13 - (1 + 0))*(-6)/12. Let n be (-10)/(-14)*(48/20)/h. Let i = 4/43 + 11/344. Which is smaller: n or i?
n
Suppose 1344 = -4*y + 18*y. Suppose -2*p - y = p. Are p and -129/4 non-equal?
True
Suppose 3*l - 4*l = -3*d + 6, 3 = 2*d - l. Let i be (-53)/d + (-8)/(-12). Let o = -20 - i. Is o less than or equal to -2/3?
True
Let y = -233 - -6289/27. Let r(a) = -5*a**3 + 3*a**2 - 3*a + 1. Let u be r(1). Let i be 0/(-18)*(-2)/u. Which is bigger: y or i?
i
Let h = 12679/7 - 1811. Which is greater: h or 211?
211
Let f = 29 + -23. Let z be 2/4*4/f. Let m = -0.2 + 0.32. Which is smaller: m or z?
m
Let t(s) = -26*s**3 + 16*s + 37. Let g be t(-2). Is g smaller than 210?
False
Let y = -7/47 - -11/705. Which is bigger: -1 or y?
y
Let s = 0 + 0.1. Let m = -20691 + 20690.988. Is m at least s?
False
Let i(m) = m**2 - 2*m - 9. Let w be i(4). Let h be (-8)/w*(-1)/(-2). Suppose 2*v + 0*u = 2*u + h, 5*u + 8 = 4*v. Do -1 and v have the same value?
False
Let r = 27/10 - 19/10. Is -56 greater than r?
False
Suppose 35 = 3*w + 5. Suppose 0 = 3*h + w - 13. Is h > -7?
True
Let n be (3 + -3 + 2)/(-18). Let y = -0.1 - 4.9. Is y > n?
False
Let v = 0.282 - 0.257. Are -2/19 and v non-equal?
True
Let l(i) = -i**3 + 8*i**2 - 8*i + 10. Let j be l(7). Let t be (0 + 0)*(-154 - -155). Which is bigger: t or j?
j
Let u = -1.592 + 1.74. Is u smaller than -1?
False
Let a = 829/372 - -2/93. Let o be (-3)/3 - (-3 + 0). Suppose -31 = -3*w - 5*m, -o*w = 3*m + 3 - 22. Which is smaller: w or a?
w
Let i = 184 - 121. Which is greater: 51 or i?
i
Suppose -2 = -h - h. Let t = 39/28 - -6/7. Is h at most as big as t?
True
Let a = 366 - 369. Is a at least 2/337?
False
Let h = 511 + -510.9. Are -119 and h equal?
False
Let q be -38 - -71 - (-5)/((-2)/(-2)). Which is smaller: q or 1?
1
Suppose 1160 = -4*r + 4*n, -94 = 3*r - n + 780. Let a = r - -2341/8. Is a at most as big as 0?
False
Let h = 98 - 97. Which is greater: h or 2/451?
h
Let t = -6267910/18531 - -24540/71. Let w be 24/10*250/116. Let b = w - t. Are b and 1/2 equal?
False
Let h be (-11)/(21/2*(-4)/12). Suppose -4 = -2*y - 2*u, -y = 3*u + 2*u - 14. Is y <= h?
True
Let c = -53 + 59. Let q be (4/5)/(c/30). Which is bigger: q or 3?
q
Suppose 0 = -4*m - z - 3, 2*m + 3*z - 8 = 7*m. Suppose -11*h + 30 + 3 = 0. Suppose -16 = 4*c + 4*j - h*j, 5*j + 5 = 5*c. Is c != m?
True
Let s = 2 - 3.5. Let l = 1.547 - -92.553. Let z = l + -94. Which is greater: s or z?
z
Suppose -p + 14 = 11. Let z be ((-20)/(-15))/((-2)/(-3)). Suppose -2*l + 12 = z*l. Is p less than or equal to l?
True
Suppose -