er: z or c?
z
Let f be (-12647)/3162 - ((-10)/(-1) + -14). Which is smaller: 0 or f?
0
Let q be (-21)/((-273)/145) - (-7)/(182/(-4)). Let l(a) = 10*a + 6. Let c be l(-5). Let f be -3*14/c + -12 + q. Is -1 smaller than f?
True
Suppose -50*z + 14 = -48*z + 4*p, 11 = -z + 4*p. Are 4/3509 and z unequal?
True
Let q = -2.61 + 2.71. Let r = 939/14074 - 1/454. Is q greater than r?
True
Let h = -7.33 + 7.53. Let b = -25.6 + 23. Which is smaller: b or h?
b
Let x = -554 + 575.5. Let w = -6.32 + -0.18. Let j = w + x. Which is smaller: j or -1?
-1
Let t(u) = 2*u**2 + 19*u + 32. Let r be t(-2). Let j be (-3 - -1)/((-2)/(-5)). Let b = j - -1. Which is smaller: b or r?
b
Let q = -4617 + 4922. Is 310 bigger than q?
True
Let w = 127.9 - 134. Let a = 6.1 + w. Is a bigger than 5?
False
Let d be (1 - (-1 + 0))*-160. Let f be -90*(4 + -4 + 42/10 + -3). Let t be d/f + (-2 - 1). Which is smaller: t or 2/9?
t
Let p be (-4)/(-3)*(-6 - (-135)/22). Let r(n) = -282 - 2*n**2 + 277 + 15*n + 0*n**2. Let c be r(7). Do p and c have different values?
True
Let a be 28929*(-7)/11250 - -18. Which is smaller: a or -1?
-1
Let p = 30747196/254385175 + 283/40219. Let b = 2/253 - p. Let m = -187 + 186. Do m and b have different values?
True
Let y = 2642 + -2497. Which is smaller: 1590/11 or y?
1590/11
Let r(n) = 7*n - 4. Let l be r(3). Suppose 150 = x + l. Is 135 not equal to x?
True
Let o = -82064 - -70246757/856. Is o at most as big as 0?
True
Suppose -u + 5*d = -42, -2*u + 5*d + 25 = -39. Is 26 < u?
False
Let j be -3 - 2841*8/(-18)*3. Let h = j - 34141/9. Is h < -9?
False
Let p be 287/2 - 1/(-2). Let w(r) = r**3 - 26*r**2 - 25*r - 51. Let h be w(27). Suppose -g + 86 = -h*v, -2*g = -4*v - p + 26. Is -25 > v?
True
Let m = -1837.016 - 4.984. Is 0.2 >= m?
True
Suppose -9421 + 52144 = 141*p. Is p at least 6?
True
Let c(z) = -z**2 + 83*z + 679. Let q be c(90). Which is greater: q or 1?
q
Suppose 0 = -4*x + 3*x + h + 799, -2389 = -3*x - 5*h. Let y = 802 - x. Which is smaller: 13 or y?
y
Let h = -529138/24423 - 9/8141. Suppose -5*j - 90 = -4*u, 3*u = j - 2*u - 3. Are j and h unequal?
True
Let n be ((-13)/(-78)*0)/(-4). Which is smaller: -33/185 or n?
-33/185
Suppose 7*m = 254795 - 251379. Is -17 >= m?
False
Let x = 1256 - 1380. Is -2/15 greater than x?
True
Let m = 4154 - 4146. Suppose v + s - 20 = 5*s, v + 4*s = -20. Suppose 2*l - m + 2 = v. Which is smaller: l or 8/3?
8/3
Let v = -147 + 147. Let n = 1.5 + -0.1. Let o = n - 0.1. Which is bigger: v or o?
o
Suppose 2649 = -126*j + 129*j. Suppose -885*u + j*u - 1146 = 0. Is u at least -573?
True
Let f = -36 + 34.9. Let r = -62 + 62.45. Let g = -0.55 + r. Is f less than g?
True
Let v(s) = -13*s - 15. Let x(w) = -4*w - 5. Let i(t) = -6*v(t) + 17*x(t). Let o be i(1). Suppose -19*r + o*r - 84 = 0. Is 2/7 < r?
False
Let y = -2371 - -2371. Which is greater: 2/1019 or y?
2/1019
Let o(j) = -j**2 + 20*j - 18. Let d be o(17). Let q be d/5*(-3)/(-189). Let t = q - -3/35. Which is bigger: t or -1/2?
t
Let r be (-56)/5*((-13)/2 + -6). Suppose 0*i + r = 7*i. Is i smaller than 20?
False
Suppose 4*m + 200 = 2*p, m + 206 = -12*p + 14*p. Do p and 102 have the same value?
False
Let h be (9/(-56))/((-84)/(-263312)). Let k = -504 - h. Is -1 > k?
False
Let a(p) = p**3 - 24*p**2 - 24*p - 10. Let n be a(25). Suppose u + o - 348 = -38, 3*o - n = 0. Which is smaller: u or 306?
u
Let a be 5*(15 - 6/3 - -1). Suppose 7*q = 5*q + a. Let o = 36 - q. Are 12/17 and o non-equal?
True
Let d = 17 - 46. Let a = 26 + d. Let r be (1 + 5)/(1 + a). Which is smaller: 2/3 or r?
r
Let c be ((-12)/(-6) + 2)*2. Suppose c*j + 179 = -117. Do -34 and j have different values?
True
Let o = 2.143 - 1.543. Let u = 213 + -202. Is u >= o?
True
Let v(k) = 7*k + 28. Let q(z) = -200*z - 785. Let l(a) = 6*q(a) + 170*v(a). Let s be l(3). Is s smaller than 19?
False
Let r = 321 + -339. Let o be (-2)/(-18)*-3 + (-6)/r. Is -2/333 greater than or equal to o?
False
Let b = 25/222 - -2/37. Let v = -4669/9342 + -1/4671. Which is smaller: b or v?
v
Let w = -93.69 - 1126.31. Which is smaller: w or 3?
w
Let p be 390/(-15) + 0 + 4. Let y be p/(-198) + 307/(-9). Which is greater: -36 or y?
y
Let g be (-1 - 44/(-36)) + (-32)/(-18). Suppose -o + 8 = -4*o - 2*f, -g*o + f + 4 = 0. Let x = 0.27 - 4.27. Which is smaller: o or x?
x
Let f be 1260/162 - 2/(-9). Let k(l) be the first derivative of l**4/4 - 8*l**3/3 - l**2/2 + 8*l - 35. Let b be k(f). Which is smaller: b or 2/85?
b
Let r = 1275 - 2493. Which is smaller: 1 or r?
r
Suppose 5*b + 5*t - 30 = 0, -4*b - 1 + 22 = t. Let k be b + 5/((-10)/6). Suppose k*v - 2 = -4. Is -2/5 >= v?
True
Let y = 24736 + -2127329/86. Do y and 0 have the same value?
False
Let x = -62089/8 + 7762. Does x = 0.14?
False
Let b be 44*(-1)/1 + (-31 - -34). Let s = 47 + b. Suppose -9*v + s*v = -v. Is 2/103 greater than v?
True
Let h = 8118777/143 + -56775. Let v = h + 2/13. Is v equal to -2/3?
False
Let w(r) = r**3 + r**2 + 10*r + 2. Let f be w(-4). Let b(c) = 3*c**3 - 23*c**2 + c + 7. Let z be b(7). Is f != z?
True
Let n = -5013 + 7249. Let p be 8952/n + 17 + -21. Do p and -1 have different values?
True
Let i = -6434.02 - -6368. Let r = i + 66. Which is bigger: -1 or r?
r
Let q = 10.702 + -14.73. Let f = q + 4. Let j = 6.028 + f. Which is smaller: j or 3?
3
Let w = 14864 + -12407. Do -2 and w have the same value?
False
Suppose 0 = b + 4*i + 11, -3*b - 16*i + 14*i - 3 = 0. Which is smaller: b or -3/17729?
-3/17729
Let j = 1041 - 1043. Let y = -1.2 - 8.8. Let s = y - -20. Do s and j have different values?
True
Let t be 524/(-70) + (-4)/(-14). Let d(g) = g**3 - 3*g**2 - 13*g + 18. Let f be d(5). Suppose -u + 6 = -5*l - f, 18 = -4*u + 2*l. Which is bigger: u or t?
u
Let c(u) = 18*u - 129. Let x be c(7). Let q be x/(-252)*253 + -3. Let p = 0 - 0. Which is smaller: q or p?
p
Let t = -461747423173/1435 + 321774969. Let m = 1194/5 + t. Which is bigger: m or 1?
1
Suppose 77277 + 76684 + 71273 = 86*f. Is 2615 >= f?
False
Let z be -2*(-15)/(-12)*6/(-3). Suppose -5*a = -2*g + 5, -1 = 4*a - z*g + 4*g. Is 12/31 less than a?
True
Let t = -5884142/321 - -54994/3. Which is bigger: t or 2?
2
Let m(q) = 2*q**2 + 3*q - 3078. Let f be m(41). Which is bigger: f or 2443/6?
2443/6
Suppose 24 = 8*s + 32. Let j(c) = c**2 + 5*c + 4. Let b be j(s). Is b smaller than 1/74?
True
Let i = 1.0275 + -0.9375. Which is smaller: 19/3 or i?
i
Let r = 0.0758 - 0.0608. Which is bigger: r or 13/8?
13/8
Let m be 0 - -6 - (748790/(-124803))/(-1). Which is smaller: 0 or m?
0
Suppose -5*x - 5*o + 112 = 42, -x = 2*o - 12. Let v(d) = 1 + 9 - x*d + 2. Let q be v(5). Do q and -68 have the same value?
True
Let x = 94735 - 94734.9. Let m = -124 + 242. Do x and m have the same value?
False
Let p = -0.115 + 0.015. Let h = -567 - -544. Which is smaller: p or h?
h
Let j be 2518/(-4) - (1008/(-224) + (-12)/(-2)). Which is smaller: -636 or j?
-636
Suppose 4*k - 34 = 2*b, 0*b - 5*b = k - 14. Let m(p) = -p**3 + 15*p**2 + 16*p + 36. Let c be m(16). Let y be (-429)/(-45) - (-3)/c*-4. Which is smaller: k or y?
k
Let j = -176 - -394. Is 2830/13 greater than j?
False
Let x(c) = -c**3 + 26*c**2 - 167*c - 14. Let l be x(14). Is l at least as big as -3/1963?
True
Let r = 344357/51 + -6752. Let d be (-1)/(-2) - 2/4. Are d and r nonequal?
True
Let z be 1 + 2 + 6/(-3). Let a be (0 + 4/6)*(-45)/(-80). Which is smaller: z or a?
a
Suppose 4*a = 20, -29*r + 25*r - 7492 = 4*a. Do r and -1879 have different values?
True
Let g(a) = -3*a**3 - 4*a**2 + 2*a + 1. Let p be 8 + 55/(-10) - 3/2. Let y be g(p). Is -56/11 <= y?
True
Suppose 31*x - 18*x = 5928. Suppose 3*t = b - x, t - 3*t - 303 = -b. Is -153 < t?
False
Let h(f) = -3*f + 3*f - 17 + 1 + 9*f - f**2. Let i be h(5). Let k(s) = 3*s**2 - 2*s - 4. Let x be k(i). Is -1 < x?
True
Suppose 9*t + 21 = -42. Let h be (((-63)/(-22))/t)/((-5)/(-90)). Which is bigger: -8 or h?
h
Let q be (-9 - 1834/(-70)) + 6/(-2). Do -1/18 and q have different values?
True
Suppose 0 = -4*q + 271 + 89. Suppose -3*a + 4*i = -1061 + 769, -2*i - 366 = -4*a. Which is greater: a or q?
q
Let u(y) = y**2 + 5*y - 22. Let b be u(0). Let o(k) = -k**2 - 40*k + 53. Let f be o(b). Is 448 < f?
True
Let p = -410 - -385. Is p at least -36?
True
Let c = 1593 + -1737. Is c > -8?
False
Suppose t - 3*z - 4 = -10, 5*t + z - 18 = 0. Let v(f) = f**2 + 8*f - 72. Let