+ r. Do c and h have different values?
True
Let s be (-14)/2 - 51/(-17). Let d be (-114)/(-24) - s/16. Suppose -d*i - 55 = -5*o, 2*o - i = -o + 35. Is o != 12?
False
Let r(m) = -63*m - 63. Let y be r(-1). Which is bigger: y or 1/2173?
1/2173
Let a = 1/20268 - 82523/29408868. Are 1 and a equal?
False
Let o be ((-3)/4)/((5319/(-40))/(-3)). Is o < 0?
True
Suppose 63 = -8*h - 433. Which is bigger: h or -69?
h
Let f be -1*3/1 - -3. Let c be f - 4/(-3)*-24. Let p(a) = -66*a + 429. Let n be p(7). Which is smaller: c or n?
n
Suppose -23*u + 5*u + 185 = -q, 0 = 5*u - 15. Let c(x) = -x**3 + 4*x**2 + 4*x - 12. Let j be c(7). Is q equal to j?
True
Let d = 9745 - 9749. Is d >= 4248?
False
Suppose -4*v = 5*n - 289, -5*v - 5*n + 0 = -360. Suppose 2*m + m + 54 = -4*a, 5*a + 2*m = -v. Suppose -3*f + 10*f + 166 - 68 = 0. Which is greater: f or a?
f
Suppose -3367*t + 277400 = -3348*t. Is 14601 less than or equal to t?
False
Let o = -1180.1 + 1180.2. Is -1525 > o?
False
Let j = -0.7565 - -0.9865. Let f = 8 + -2. Suppose -4 = -4*k + f*k. Is k at most as big as j?
True
Suppose -2*b - 4*i + 4 = 0, -b + 5*i = -4*b + 6. Let n be b/9 + (14308/(-36))/(-7). Suppose 0 = 3*a + 2*z - n + 216, 2*a - 2*z = -96. Is -52 >= a?
False
Let d = 95816521/3929 - 24387. Is 1 <= d?
False
Let c(a) = a**3 + 25*a**2 + 159*a + 39. Let i be c(-13). Is i at most -1757?
False
Suppose -l + 2 = -0*l. Suppose 2*x - l*r = -r - 407, r = x + 204. Are x and -203 nonequal?
False
Let g = -59.79 + 60.09. Are g and 56 unequal?
True
Let d be ((-36)/5280)/((-6)/(-5)). Let z = 95 + -94. Which is greater: d or z?
z
Let u = 10081 - 231902/23. Which is greater: u or -2?
u
Let m(t) = 62*t + 4. Let l be m(3). Let j = -104 + l. Let o = j - 82. Is o not equal to -0.1?
True
Suppose 20*o - 18*o = 5*t - 231, 0 = -4*t - 5*o + 165. Which is greater: t or -0.001?
t
Let y = 386 - 594. Let s = -54 - y. Is s >= 0.1?
True
Suppose 6 = -8*n + 22. Let a be ((-78)/n)/3 - (-3 + 2). Let p be (18/(-4))/(3/a). Is p at most as big as 17?
False
Suppose -8*h - 86 = 138. Let s = -29 - h. Let u be s + 19 + 4 - 0. Is 22 at least as big as u?
True
Let o be (2/(-5))/(2/(-30)). Let j(m) = 5*m**2 + 40*m - 8. Let x be j(-14). Suppose 5*c + x = 457. Which is smaller: o or c?
o
Let y = 48 - -30. Let i = 103.5 - y. Let h = i - 22. Which is greater: h or 1?
h
Let v be (-1)/(-5) + 194/5. Let u(i) = i. Let s = 104 - 105. Let l be u(s). Which is bigger: l or v?
v
Let l be 253/5 - 108/180. Suppose 3*s = 4*s - l. Which is smaller: 49 or s?
49
Let f be (48/(-15) + 2)*(5 - 10). Let q be (6 - 13)*8/(-14). Suppose -4*i = -4*b - b - 35, -q*b = -2*i + 22. Which is bigger: f or i?
f
Let c = 387159/40 - 9679. Let z = -3 - -3. Which is greater: z or c?
z
Let k be 1/3 + 28/3. Let l = 823 - 818. Suppose 3*h + 2*s = 23, -l*h - 15*s + 45 = -13*s. Is h less than or equal to k?
False
Let v = 35 - 34. Let t = 270 + -223. Is v greater than or equal to t?
False
Let w = 2421 + -2420. Which is greater: -55/136 or w?
w
Let b = -8 + 1. Let f = -14012 - -13999. Which is bigger: f or b?
b
Let u = -0.698 - 14651.302. Which is smaller: -1/3 or u?
u
Let i = -473.9 + 533. Let y = -59 + i. Which is smaller: y or 0.076?
0.076
Suppose 0 = 5*h + 5 - 0. Let g = 655.716 - -1.284. Let b = 661 - g. Which is bigger: h or b?
b
Suppose -2*s - 6 = -0*b - 5*b, -5*b = -4*s - 12. Suppose -k = -2*m + 592, 3*m + k - 733 - 145 = b. Is m at least 1?
True
Let u be (256/896)/(6/14) + (-7048)/6. Is u smaller than -1174?
False
Let o = -27 - 14. Let v be (-11 + 16)*o/(-2). Is v equal to 102?
False
Let x be -1*(-51 - 1/(-1)). Suppose 60 = -c + x. Let v be 32/c + 2/10. Is -3 at most v?
True
Let c = 48 - 46. Suppose -3*o = -l + 9, l + c*o = 4 - 0. Suppose -p + 91 = l*p. Which is greater: 12 or p?
p
Suppose 11521 - 9841 = 12*z. Which is smaller: z or -1/5?
-1/5
Let w = -92 - -1928/21. Suppose -4 = a - 2*j - 2, -5*j = -4*a - 5. Does w = a?
False
Let s = 3481/47 - 450371/6157. Which is smaller: s or 1?
s
Let u = 139957 - 139954. Let k be 2 + -2 - 56/(-13). Is k <= u?
False
Let w(i) = i**3 - 21*i**2 + 20*i - 2. Let t be w(20). Let j(v) = 2*v**3 + 4*v**2 - 2. Let l be j(t). Suppose b = -b + 8. Which is smaller: b or l?
l
Let r(t) = -20*t**2 - 54*t + 21. Let o(l) = 7*l**2 + 18*l - 7. Let w(c) = -17*o(c) - 6*r(c). Let u be w(-18). Which is smaller: -8 or u?
-8
Let z = 2.495 - 2.475. Are -5.2 and z nonequal?
True
Let j = -12 + -38. Let q = 6523/135 - -40/27. Let r = q + j. Is r at least as big as -2?
True
Suppose -2*h - 12 = 2*h. Let t = 2 + h. Let z be (-14 - (-770)/42) + 9/(-2). Is t greater than z?
False
Suppose 5*i = -201 + 51. Suppose 2*r = 30, 8*r - r - 3*r = 5*j + 120. Which is bigger: j or i?
j
Suppose -63*r + 1309 = -64*r. Let m be (-1)/((-1)/4) - (-5082)/r. Which is greater: -1 or m?
m
Let v(p) = 2*p**2 - 5*p + 6. Let r be v(14). Let l be (-1 - (-662)/4)*(-195 + 197). Which is smaller: l or r?
r
Let w = -632 - -936. Let l = -11242/37 + w. Which is smaller: l or 1?
l
Let g(l) = l**3 + 7*l**2 - 11*l - 9. Let s be (7 + -3)*2/4. Suppose 4*t + s*b - 2 + 32 = 0, 28 = -4*t - 4*b. Let p be g(t). Is 13 < p?
True
Let y(t) = -t - 10. Let f be y(-14). Suppose 2*v - 28 = -3*v + l, f = v - l. Let p = v + -16. Is -10 at least p?
True
Let m be 27/(-81) - 33710/30. Is m bigger than -1123?
False
Let j(c) = -c**2 + 118*c + 1014. Let q be j(-8). Let p(f) = -f**2 - 11*f + 15. Let n be p(-12). Which is greater: q or n?
q
Let u = 2753 - 2792. Is u < -3?
True
Suppose 3 = 3*a - 3. Let z be ((-6)/4)/((-3)/a)*2. Suppose -z*h = 0, 0 = -j + 5*h + 60 - 1. Which is smaller: j or 60?
j
Let p be (7/3)/(1/(-3)). Let h be ((-41)/7 + 3)/(40/(-280)). Let n be (-36)/(-315)*h - 8. Which is bigger: p or n?
n
Let b = -14/1091 - -14561/29457. Is 1 greater than or equal to b?
True
Let x = 159414.044 + -159112. Let n = x - 0.044. Which is smaller: n or 0?
0
Let m = 4 + -4.12. Let d = 628 + -627.418. Let z = d - 1.582. Is m greater than or equal to z?
True
Suppose -3*s = -3*o + 2*o - 95, -2*o - 3*s - 217 = 0. Suppose l - 7 = -3, -4*j + 2*l + 412 = 0. Let m = o + j. Is m at most -3.3?
False
Suppose -o - z = 0, -3*z - 3 = 2*o - 0*z. Suppose 0 = p - o + 2. Let x be 0/(0 + p) + 0. Which is smaller: x or 2/21?
x
Suppose -2*s + 1056 = 3*r, 0*r + 6 = 3*r. Let a = -519 + s. Is a at most as big as 126/17?
True
Suppose 0 = a - 5*i - 2 - 2, 0 = -2*a + 2*i - 8. Let x = -115.2 + -2.8. Let h = x + 117. Is a less than h?
True
Let v be ((-139)/(-2))/((-4)/8). Let g be 1897/(-14) + 183/(-122). Is g <= v?
False
Let d be (10674/(-4))/(-9)*2/(-7). Let v = -85 - d. Which is smaller: -30 or v?
-30
Let n = -22970 - -21661. Which is bigger: -1312 or n?
n
Let q be 81/55740*-517 + (-156)/(-208). Which is greater: q or 1?
1
Let f = 548/217 + -17/7. Let c = -441 + 416. Let w be (-34)/85 - 10/c. Is f bigger than w?
True
Suppose -114*n = -115*n + 3, -3*n - 185 = 2*o. Do o and -97 have the same value?
True
Suppose -3*r = 3*g + 1664 + 2803, -r = 2*g + 1485. Which is smaller: r or 7?
r
Let a = 3515 + -3897. Are a and -382 equal?
True
Let a be (-100)/990*(-48)/(-240). Is a < 30?
True
Let u(o) be the second derivative of 0 - 3*o**2 - 35*o - o**3 - 1/12*o**4. Let m be u(-5). Which is bigger: -1/44 or m?
-1/44
Suppose -5*i + 15 = -8*i - 5*d, -i = d + 3. Let z = 58367/152 + -384. Are z and i non-equal?
True
Let x = -15736 - -550654/35. Which is bigger: x or 2?
2
Suppose -x + 3 = 0, 2*u + 255 = x - 432. Is -342 < u?
False
Let u(a) = -14*a**2 + 15*a + 4. Let i be u(-4). Let y = i - -8123/29. Do y and 0 have the same value?
False
Let r = 12 + -8. Let p be -1*6/r*2. Let x be -2*1 - (p + (-36)/(-8)). Which is greater: -5 or x?
x
Let g(v) = 14*v - 4. Let f(u) = -3*u**2 + 7*u + 13. Let k be f(6). Let s = k + 54. Let t be g(s). Is 10 at most as big as t?
True
Let f = -33152 + 31995. Is f smaller than -0.01?
True
Suppose 0 = 22*a - 19*a - 3. Let i(s) = -49*s**2 - 3*s + 4. Let n be i(a). Which is smaller: -46 or n?
n
Let t(s) = s**3 - s**2 - 12*s + 2. Let u be t(4). Suppose p - 11 = 2*o, -3*o + u*o - 9 = 3*p. Let i be (-12 - -9)/(o/32). Is i <= 14?
False
Let b = 0.3138 - 2.3138. Is -3975 >= b?
False
Let y be 6/((-288)/(-30))*(-90)/225. Does -53.65 = y?
False
Let d = 0.62296 - -0.07704. Let z = 0.2 + -0.24. Let v = 3.04 + z. Which is smaller: d or v?
d
Suppose -2 = -3*p + 2*h, -h - 8 = -2*p