 than r?
False
Let c(x) = -7*x - 15. Suppose 0 = u, -k - 8*u = -7*u + 6. Let n be c(k). Which is smaller: n or 25?
25
Let l = 1308.8 - 1338.7. Which is greater: l or -0.5?
-0.5
Let q(s) = s**3 - 35*s**2 + 32*s + 70. Let b be q(34). Suppose -4*c + 5*m = -0*m - b, 2*m = -2*c + 10. Which is smaller: c or 21?
c
Suppose -4*f + 13*f - 9 = 0. Let y(p) = -p**2 - 5*p + 4. Let m be y(-5). Suppose -3*r + m = 13. Which is bigger: r or f?
f
Let t(q) = 2*q**2 - 19*q + 49. Let r be t(3). Suppose 152 - 822 = -r*o. Are 64 and o nonequal?
True
Suppose 5*g + 350 = 5*f, -f = 4*g + 5 - 90. Suppose 2*b + 3*u + f = 0, 6 - 18 = 4*u. Which is greater: -28 or b?
-28
Let c(n) = -6*n - 88. Let t be c(-16). Let x be (-1)/t + (-24820)/(-544). Which is bigger: 45 or x?
x
Let a be (2/(-4))/(2/(-92)). Suppose 5*r - 100 = -726*k + 721*k, -4*k + 112 = -4*r. Which is smaller: k or a?
a
Let r(f) = -6*f - 62. Let c be r(-11). Let a be 44979/58116 - 3/c. Are a and -1 equal?
False
Let o be 153/(-20) - (-4)/16. Let z = -14 - -17. Suppose z*k + 2 = -22. Are k and o non-equal?
True
Suppose -8*t - v + 10 = -6*t, 0 = t + 3*v - 5. Suppose 6 = t*n - 11*n. Suppose d + 2 = -d. Is n equal to d?
True
Suppose -2*r - 21 = 19*r. Suppose 0 = 4*z - 215 - 897. Is z smaller than r?
False
Let n be (-2)/(-15) + ((-1656)/(-945))/(-8). Suppose -3*m = -3*z - 3, -z - 5*m = -3*z - 8. Which is bigger: z or n?
z
Let k = 219 - -122. Let c = k + -357. Is c less than -15?
True
Let j(r) = r**3 - 58*r**2 + 113*r - 57. Let u be j(56). Is u <= -84/199?
True
Let u = -55 - -63.8. Let o = 6.8 - u. Let m be (-4)/(-18) - 8/(-24). Is m equal to o?
False
Let b(t) = -8*t - 45. Let x be b(-6). Let i(g) = -g**3 + 2*g**2 + 5*g - 2. Let j be i(x). Suppose -15 - 9 = -j*v. Which is smaller: 2 or v?
2
Let i(a) = -5*a + 13. Let u be i(1). Suppose 13*g - 21 = -u*g. Is g > 6/173?
True
Let q = -13 - 69. Let f = 81 + q. Which is smaller: -2/121 or f?
f
Let l = 80.17 + 17.83. Let r = -231 + 231. Are r and l non-equal?
True
Let y = 10997 + -10452. Is 546 bigger than y?
True
Let y be ((-234)/(-91))/((-1)/189). Let c be y/10 - (-12)/20. Let o = 454 - 501. Which is smaller: o or c?
c
Let f be (-1)/2 + (-239)/6. Let j be -39*(-1)/(-17)*17. Are j and f non-equal?
True
Let l = -35.48 - -33. Let g be 14/(-140)*((-14)/4 - (1 + -2)). Are l and g unequal?
True
Let v = 0.91 - -32.09. Let c = -359 + 1435/4. Which is smaller: v or c?
c
Let o = 4498913/119108700 + -84/2225. Which is smaller: o or -1?
-1
Let j = -3361 + 3357. Are j and 462 equal?
False
Let u be ((-4)/(-6) + -1)*0. Let c(r) = 962*r**3 - r**2 + r + 1. Let t be c(-1). Let d be 2 - (t/(-192) - (3 - 0)). Which is bigger: u or d?
u
Let o be (-2)/10*(7 + -8) + (-503)/(-35). Are o and -1 equal?
False
Let n(t) = 6*t**3 - 22*t**2 + 5*t - 22. Let q be n(-11). Which is smaller: -10724 or q?
q
Let j be (-5)/2*(-25)/((-1875)/30). Which is smaller: -5/286 or j?
j
Let h = 0.034 + 0. Let n = 0.19904 - -21.83496. Let j = n - h. Which is smaller: j or -1?
-1
Suppose -4*h - 11*c + 8673 = -3506, 0 = -5*h - 3*c + 15256. Is h bigger than 3052?
True
Let o = 235 + -555. Let i = o + 320.8. Is i <= -14?
False
Let n be (6 + (-40)/(-10))*184/(-300). Is 0.1 < n?
False
Suppose -3*m + 4*v = -6*m - 159, -v = 0. Let h be (-65 - 1)*(-12)/(-16) + -2. Is m < h?
True
Let s be 2/((-15)/((-935595)/34)). Is s bigger than 3671?
False
Let f be (147/8)/7 - 3. Let b(g) = -g**3 + 6*g**2 + 4*g + 22. Let r be 790/110 - 6/33. Let p be b(r). Are p and f equal?
False
Let g = -83 - -27. Let q = -26 - g. Let s = 31 - q. Is -0.2 at most s?
True
Let f(x) = x**3 - 3*x - 2*x**3 - 3 - 1 + 5*x**2. Let y = 752 - 749. Let d be f(y). Which is smaller: d or -1?
-1
Let u be 5 + (-78490)/(-19) + 6. Let j = -4143 + u. Suppose 0 = 3*w, -4*w = -0*p + 3*p. Which is smaller: j or p?
j
Let y be (249659/99)/((100/24)/(-25)). Let n = 15132 + y. Which is smaller: n or 0?
0
Let z be (8/(-5) - -2)/10. Which is smaller: z or -110?
-110
Let t(n) = n**3 - 6*n**2 - 6*n. Let a be t(7). Let r(m) = 5*m - 36. Let v be r(a). Are 8/61 and v non-equal?
True
Let t be 132 - 133 - 1*(1 - 0)*-1. Which is greater: t or 68/225?
68/225
Let m be -137 - ((-2 - -8) + (5 - 6) + -7). Is -950/7 != m?
True
Let w(u) = u**3 + 9*u**2 + 3*u + 17. Let v be w(-9). Let a be (388/485)/((-4)/v). Let t be 20/(-6)*3/(-4). Which is smaller: t or a?
a
Suppose 5*k - 20 = 41*l - 45*l, -l = -3*k - 5. Is -1/1749 bigger than k?
False
Let p = 2.8 - 3. Let u be (78/(-16))/(3/4). Is u < p?
True
Suppose -k = 5*d - 210, -2*k - 5*d = -0*d - 430. Which is greater: k or 211?
k
Suppose 0 = 2*o - 5*t - 664, -4*o + t + 1352 = -3*t. Which is smaller: 345 or o?
o
Let y(o) = -o**2 + 6*o + 44. Let v be y(10). Suppose f - 3 + v = 5*r, 0 = 2*r - 2*f - 2. Let h be -1 + r + 1 - 0. Is h < -3/14?
False
Let v = -34760.9 - -34761. Suppose -2 = 4*r + 18. Let j be r/(10/4) + 2. Is j smaller than v?
True
Let u(q) = q**2 - q. Let i be u(1). Suppose -2*z = -z, -3*y + 2*z - 417 = i. Let t(r) = r**3 - 102*r**2 + 647*r - 13. Let b be t(7). Is b greater than y?
False
Suppose -46*f = 16*f - 3610 + 1068. Which is greater: 545/13 or f?
545/13
Let s = 2211.9 + -2214. Which is smaller: -1/4 or s?
s
Let m = 0.4297 + -36.4297. Is m smaller than 9?
True
Let x be 22/10 - (-6)/(-30). Suppose 9*k - 8*k = x. Let p(h) = -2*h - 3. Let v be p(-3). Which is smaller: v or k?
k
Suppose 8 = 5*b - 0*k + k, -9 = -3*b - 2*k. Let f be 856/(-10) + b - 21/(-35). Which is bigger: -85 or f?
f
Let g = 482 - 437. Let z be (-14)/84*(21/g - 1). Which is bigger: z or -1?
z
Let z = -6051 - -6051.2. Which is greater: 717 or z?
717
Suppose 7*f + 9 = 4*f. Let h(w) = -w**3 - 3*w**2 - 2. Let q be h(f). Let y = 329 - 995/3. Which is bigger: y or q?
q
Let v = -61 + 122. Let r be (-2)/(-4) - v*(-5)/(-30). Which is smaller: -11 or r?
-11
Let w be ((-286)/10 + 31)*755/(-2). Which is bigger: -2 or w?
-2
Let w(n) = -8*n**2 + 49*n - 2. Let j be w(2). Is 440/7 smaller than j?
True
Let a = 406 + -232. Let o = 427 - 254. Which is smaller: o or a?
o
Let a be ((-48)/28)/(4/(-126)). Let o = -1133 - -1139. Suppose a*j = 48*j - o. Are -1/4 and j equal?
False
Let w(h) = 3*h**3 - 5*h**2 + h - 2. Let l be w(2). Let k be (392/(-60))/(l/(-6)). Suppose 1 = -3*g + 28. Do g and k have the same value?
False
Let y(f) = -4*f - 14. Let k be y(-4). Suppose -4*o = k - 18. Suppose -o*r = -0 + 4. Which is bigger: r or -5?
r
Let f = -10876 + 10717. Is -149 > f?
True
Let j = 10876 + -10366. Does j = 510?
True
Suppose -28 + 38 = 5*d. Let u be ((d - 5) + 1)*1 + 70. Let o be (0 - (-60)/u) + (-3)/3. Is 2/3 greater than or equal to o?
True
Let i = 101 + -111. Let k be (5/i)/(4/(-64)). Suppose 2*a = u - 1, -5*a - k = 5*u - 2*u. Are -3/22 and a equal?
False
Let n be 2/(-12) - (-95)/30. Suppose 3*u - 3*j = 27, -41 + 6 = -5*u + n*j. Suppose u*r + 48 = 3*o, 5*o - 63 = -0*r + r. Is 12 bigger than o?
False
Suppose r + 8 = 2*g, 14*r - 10*r = 3*g - 37. Let x be (4/r - 1)*(-164)/21238. Which is smaller: x or 1?
x
Suppose -181*s - 193*s = -386*s - 12. Do s and 2/3691 have the same value?
False
Let h = -131124 - -388444/3. Is -1644 <= h?
True
Suppose -87044 + 243893 = -147*n. Which is smaller: -1068 or n?
-1068
Let p = -3305 + 3234. Which is smaller: p or -77?
-77
Let u = 15153 - 15408. Do u and 5/7 have the same value?
False
Suppose -66*j + 2*a = -68*j + 2062, 2*j - 2080 = -5*a. Which is smaller: 1022 or j?
1022
Let n(i) = i**2 - 40*i + 161. Let c be n(46). Which is smaller: c or 445?
c
Let q = -35194315/683 + 51529. Do q and 0 have different values?
True
Let z be ((-29)/(-2)*1)/(8/16). Suppose -z*v + 6 = -23*v. Is v equal to 8/17?
False
Let t be -9 - ((-1)/2 + (-5)/10). Let c be (t/(-20))/((-5)/25). Is -15/13 not equal to c?
True
Let k be (270/8)/5 + (-18)/24. Suppose -16*b - 10 = k. Are b and -2/299 equal?
False
Suppose 4*o - 2*m - 30 = 0, -o = -2*o - 2*m + 20. Let l be ((-26)/(-65))/((-166)/o). Suppose 3 = 2*v + 1. Which is bigger: l or v?
v
Let q = 1044696199/391 + -2671873. Let n = -402/23 - q. Let l(c) = c**3 + c**2 - 30*c - 1. Let x be l(-6). Is n bigger than x?
False
Let a = -159 + 165. Suppose w = -3*n - 1 - 0, a = 3*n. Is w bigger than -14?
True
Let d = -473 + -50. Let w = 523.143 + d. Which is bigger: 0 or w?
w
Let p(z) = -z**2 + 82*z + 169. Let l be p(-2). Is 2/37255 at most l?
True
Let k = 18242 - 1994