)/(-1 - 272/(-256)). Is r less than 19?
True
Let n be (-7083)/(-36315) - (-1)/(-5). Let d = n - 9560/25017. Is d equal to -1?
False
Let t = -273 - -274. Let k = -3.62 + -11.38. Is t less than or equal to k?
False
Let f = -33.4 - -31. Let u = -0.596 + 13.866. Let k = 13.27 - u. Which is greater: f or k?
k
Let p(o) = 5*o - 15. Let y be p(4). Let u be (-15)/(-25)*y - 20. Is -18 greater than u?
False
Suppose -6*z + 1 = -35. Let a = z + 7. Suppose -5*w = -4*m - 21, -5*w = -2*m - a - 0. Is w greater than or equal to 1/44?
True
Let m(h) = -91*h**3 + 7*h**2 + 10*h + 2. Let b(i) = -61*i**3 + 5*i**2 + 7*i + 2. Let g(l) = 7*b(l) - 5*m(l). Let c be g(-2). Is c != -219?
True
Let y = 0.078 - -0.022. Which is smaller: 2 or y?
y
Suppose 2*x = -3*x - 150. Suppose 1380 = -34*q - 15*q - 11*q. Is q less than x?
False
Let a be 10 - 6725*70/47068. Is a at least 0?
False
Let x(v) = -v**2 - 2*v**2 + 3 + 17*v - 8*v. Let q be x(4). Which is greater: q or -84/11?
-84/11
Let r be (6/(-4))/((-69)/322) - 4333. Which is smaller: r or -4324?
r
Let c(i) = 4*i**3 + 25*i**2 + 6*i + 23. Let z be c(-10). Which is greater: -1533 or z?
-1533
Let u be (-3)/213*312/(-390). Is 1 less than u?
False
Let m(r) = -2*r**3 - 18*r**2 - 19*r - 26. Let o be m(-10). Is o at most 364?
True
Let s = 115 + -44. Let d = 1.1 - -3.1. Let n = d + -4.1. Is s equal to n?
False
Let l = -14.008 + 14. Let m = -11.008 - l. Let p = -10.9 - m. Is p at most -18?
False
Let h = -1036/3 + 347. Let z(x) = x - 6. Let v be z(8). Do h and v have the same value?
False
Suppose -4*s + s + 5*w + 26 = 0, 4*w = s - 18. Let z(x) = -67*x**2 + 4 - 4*x + 77*x**s + 0. Let q be z(1). Which is bigger: q or 2/5?
q
Suppose -3*i - 3*t = -0*i - 18, -i + 4*t - 19 = 0. Let z be 35 + i + (7 - 8). Does 35 = z?
True
Let o = 0 - 1. Let m = 7381/7 + -199343/189. Is m > o?
True
Let s(w) = -6*w**2 - 86*w - 18. Let j be s(-14). Suppose 0 = 5*p + j, -6*r + 2*p - 86 = -4*r. Let x = -18 + -25. Which is greater: x or r?
x
Let w be ((-16)/(-772812))/(7/(147/14)). Which is greater: 1 or w?
1
Let d = -48.6 + 0.6. Let w = 77 + d. Let g = 9 + -10. Which is smaller: w or g?
g
Let r = -104356 + 16279369/156. Let b = r + 11/12. Is 0 bigger than b?
True
Suppose -38*d = -39*d. Suppose d = 7*m - 6*m - 3. Let i = -787 - -784. Is i at most m?
True
Let o be (-10 + (-240)/12)*8. Does -7 = o?
False
Suppose 6 = -4*l + 2. Let j be (7 - 9)*681422/(-889). Let x = j - 1533. Is x < l?
False
Let f = 26786380 + -453980305/17. Let l = 81597 - f. Let j = l + 59. Is j at least 1?
False
Suppose -y = -k + 537, -1055 = -5*k - 1085. Are y and -546 unequal?
True
Let x = -19943 + 7572. Which is smaller: x or -12370?
x
Let k(q) = q**2 - 81*q - 1002. Let p be k(-11). Are p and 308/31 nonequal?
True
Suppose 9*y + 58 = 8*y - d, 2*d = 10. Let m(t) = 13*t - 4. Let b be m(-5). Let w = y - b. Do 6 and w have the same value?
True
Let j(z) = -z**2 - 7*z + 1. Let r be j(-6). Let s = -56930/11 - -5182. Which is greater: r or s?
r
Let z be -12*(-6 + 11 + -6). Suppose z*v = 3036 - 828. Is v != 184?
False
Let l(z) = 10*z**3 + 7*z**2 + z - 9. Let x be l(5). Let w = x + -296986/209. Is -1 at most w?
True
Suppose -24 = -4*n, -46 + 4 = -2*u - 2*n. Suppose -2*d = x - 8, -3*x = 4*d - d - 21. Which is smaller: x or u?
x
Let d(u) = 112*u + 857. Let j be d(-5). Is j <= 297?
True
Let x = -141 + 617. Suppose 463*r = x*r - 9711. Which is bigger: 746 or r?
r
Let q be 10/(-2) + (70/(-2))/(-7). Suppose q = -i + 4*v + 9 + 8, -v = 3*i + 14. Which is smaller: -0.166 or i?
i
Let w be -12 + 16 + ((-8)/(-48) - (-2818)/(-852)). Which is smaller: 1 or w?
w
Let j = 0.15649 - 1.15649. Is j != 893?
True
Let i be (-84846)/8 - (-534)/712. Which is smaller: i or -10604?
i
Let v = -19914 - -19913. Which is smaller: -0.9123 or v?
v
Let l(h) = 5*h + 14. Let y be l(-3). Let v be ((-1)/y)/((-3)/576). Let a be 2/10 - v/(-10). Which is bigger: -20 or a?
a
Let z(x) = x + 9. Let y be z(-8). Let l = 128 + -196. Let j be (-8)/l*5/(-10). Which is greater: j or y?
y
Suppose -25*l + 6 = -27*l. Let o = -175884939/245 + 717896. Let u = -24/49 + o. Which is smaller: l or u?
l
Let b = -2057 - -2048.07. Let i = -8.903 - b. Is i greater than -2?
True
Let m = -864 + 887. Let d = 22469/1012 - -12/253. Is m >= d?
True
Let d = 15916613275 - 104381149591847/6558. Let s = 2/3279 - d. Is 2 > s?
True
Let l(o) = o**2 - 81*o - 3561. Let n be l(-32). Is n bigger than 156?
False
Suppose -14*v + 28 = -7*v. Suppose m - 246 = -2*d, 0 = -v*d - 13*m + 12*m + 496. Let b = d + -120. Which is smaller: b or -4?
-4
Suppose 0 = 5*y - 2*y + 21. Suppose -4*s - 5*f - 43 = 0, s + 64 = 5*f + 72. Is s less than or equal to y?
True
Let b(a) = a**2 + 5*a - 24. Let g be b(-8). Let y(x) = x**3 - 2*x**2 - 2*x + 110. Let z be y(g). Is z smaller than 110?
False
Let i = -3361 + 3361. Is i <= 3/1811?
True
Let f be ((-162)/4)/(6586/1776) + 11. Is 0 bigger than f?
False
Let d = 45.744 - 0.744. Which is bigger: d or 0.27?
d
Suppose -29*w + 2638 = -4*u - 34*w, -2*u - w - 1310 = 0. Let m be 0/4 - (654 + -2 + -1). Which is smaller: m or u?
u
Let b be 1340/(-56) + (-7)/98. Which is greater: -25 or b?
b
Suppose -8*z = -a - 11*z - 12, 0 = 2*a - 4*z + 4. Let v(o) = o**3 + 4*o**2 - 18*o - 41. Let b be v(a). Let n = -9 + 1. Which is bigger: b or n?
b
Let f(w) = 82*w - 2. Suppose 12*x = -15 + 3. Let z be f(x). Let d = -56 - z. Does d = 28?
True
Let d be (-20)/(-140)*-244*1. Let v = 13894/399 + d. Are v and 0 equal?
False
Let g(w) = -23*w - 1. Let u be g(-2). Let h = u - 39. Let a be (-80)/h*(-3)/12. Which is bigger: a or -2?
a
Let f = -6.012 - -6.407. Is f at least 0.03?
True
Let z = 31.9 + -3.1. Let o = -28 + z. Suppose 2*f + 21 = 5*m, -44*m - 3*f - 6 = -43*m. Is o smaller than m?
True
Let a = 2893 + -6525. Let d = 3597.93 + a. Let p = 34 + d. Is p at least 0?
False
Suppose 6417 - 6432 = -15*k. Which is smaller: k or 1013?
k
Let l = 1824 - 9068/5. Let k(c) = -c**3 + 19*c**2 + c - 19. Let m be k(19). Suppose -5*w = 4*o - 39, m = -2*w - 3*o - 88 + 98. Is l greater than or equal to w?
False
Let t = 830 - -545. Let u = t - 1465.01. Let n = u - -90. Is n less than 0.2?
True
Let r = 20/4529 - 6872/2142217. Are r and -0.1 non-equal?
True
Let i be -25*(-20)/(-400) + (-186)/(-40). Which is bigger: i or 6/11?
i
Suppose 0 = 18*x + 108*x + 13293 + 10017. Is x less than or equal to -189?
False
Let q be ((-4)/36 + 9/81)/(-3). Which is smaller: 5/32 or q?
q
Let u(l) = 6*l**2 + 19. Let j be u(-5). Let q = j - 171. Which is smaller: q or -20/9?
-20/9
Let m(f) = 32*f + 208. Let u be m(6). Which is smaller: 399 or u?
399
Let m = -31856 + 32044. Which is smaller: 1/52 or m?
1/52
Let m = -12989 + 219821/17. Which is smaller: -57 or m?
m
Suppose -1743 = d - 2*x, 6951 = -4*d + 68*x - 63*x. Which is bigger: d or -1732?
d
Suppose -3*b = -6, -53 = 3*n + 2*b + 3*b. Let d = 247 + -216. Let i = d + -53. Is i greater than or equal to n?
False
Suppose 0 = -3*m + 4*z + 57 - 152, 4*z + 37 = -m. Is -295/9 > m?
True
Let p = -36.85 + 8.63. Let q = p + 0.22. Let t = q - -27.77. Which is bigger: -1 or t?
t
Let c = 65302719759 + -509361211196809/7800. Let w = c - 107/600. Let i = w - 375. Which is smaller: 1 or i?
i
Suppose -248*x + 32 = -264*x. Is -7/41 < x?
False
Let z = 413.4 - 411. Let g = -2.46 + z. Which is bigger: g or -5?
g
Suppose 0 = -223*w + 229*w - 24. Suppose 3*a + 11 = 2*b + 13, 0 = w*b - 2*a + 4. Which is smaller: b or 1/254?
b
Suppose -9*u + 3*j = -10*u - 227, -4*j - 229 = u. Let h = u + 220. Is 1/175 at least h?
True
Let k be (-1647 + -2)*6*(-56)/(-42). Which is smaller: k or -13193?
-13193
Let t = 4536 + -4560. Let a = 149/2212 + 1011371/42028. Let m = 31/19 - a. Is m not equal to t?
True
Let z = -61 - -58. Let b(q) = 5*q + 15. Let x be b(z). Let m be x + 3/6 - 25/30. Is m equal to -4?
False
Let a = -268560 + 4275206642/15919. Which is smaller: 0 or a?
0
Suppose 324*o = 125*o + 4776. Let a be (2 - -17) + 1 + 1. Suppose 0 = -3*q - l + 3*l + a, 0 = -3*q + 3*l + o. Is 5 at least as big as q?
True
Let l = 632/915 - -19/732. Which is smaller: 1 or l?
l
Let q = 644 - 628.99. Let l = 15 - q. Let i(a) = a**2 - 3*a - 7. Let h be i(5). Is h equal to l?
False
Let g = -8268 - -8268.3. Which is bigger: 61/6 or g?
61/6
Suppose -229*c - 14*c = 4139 + 4366. Is c at least as big as -65?
True
Let a = -3037 + 3046. Is a at most