r: -2500 or k?
-2500
Let o = -535 - -983. Let k = o - 447.777. Do -0.2 and k have different values?
True
Suppose 39*i - 12*i - 648 - 1296 = 0. Is i >= 3450/47?
False
Let p = 4666 - 23347/5. Which is smaller: -5 or p?
-5
Let h = -618 - -662. Is -0.11 > h?
False
Suppose 5031*w + 10765 = -5734*w. Let f = -3.5 + 2.2. Let r = f - -0.73. Which is greater: w or r?
r
Suppose 3*c + 4*q = 3*q + 58, 98 = 5*c + 2*q. Suppose 5*f - 24 = 3*w, -f = -0*f - 5*w - c. Let u be (8/20)/(f/(-15) - 0). Which is greater: u or -4?
u
Let b be (204/238)/((-1)/(196/10)). Suppose 0 = 4*t + 52 + 20. Which is greater: b or t?
b
Let r = -117.2 + 117.27. Let m = 1.63 + 6.37. Which is greater: m or r?
m
Let c = -3.25 - -1.35. Let j = -0.2 - -3.2. Let q = 1 - j. Is q at most as big as c?
True
Suppose 370 = 171551*r - 171546*r. Which is smaller: -44 or r?
-44
Let l = -0.06217 + 1.13617. Is 0 not equal to l?
True
Let f be (-2 + (-94)/(-48))*(17 - 91325/5375). Is f greater than or equal to 0?
False
Suppose 74*d - 11851 = 11977. Do 329 and d have different values?
True
Suppose -42 = 3*d + 3*w, -5*d + 3*w - 87 + 17 = 0. Let c(h) = h**3 + 13*h**2 - 13*h + 54. Let i be c(d). Which is smaller: i or 41?
i
Let t = -201 - -203. Let k be (8/(-20))/(-1618*t/20). Which is smaller: k or -1?
-1
Let b = 7475/11199 - 3/3733. Are b and -8557 non-equal?
True
Let c be (386/386)/(1 - (-415)/(-414)). Is -418 at least c?
False
Let h(w) = 65*w - 2404. Let b be h(37). Is b smaller than 0.00637?
False
Let j(v) = 5*v - 4. Let i be j(-5). Let f = -207 - -622. Suppose -115 = -10*z - f. Is z <= i?
True
Let f = 0.275 + 138.725. Let w = -150 + f. Which is smaller: w or -1/4?
w
Suppose -42*v - 430 = 2088 + 2228. Which is smaller: v or -110?
v
Let p(u) = 91*u**2 + 12*u + 10. Let g be p(-2). Which is greater: g or 354?
354
Suppose 0 = -3*s - g - 5, 4*s + 8*g + 20 = 4*g. Let o = 11439133/61196265 + -205/55887. Let b = -15/73 + o. Do s and b have different values?
True
Suppose 19*p = 22*p + 5*y + 7014, -2*y - 4672 = 2*p. Is p less than -2333?
False
Let n be (-52)/364 + (2 - (-26)/(-14)). Are 5/1079 and n unequal?
True
Let k = -6/38827 - -232962042/271789. Does 856 = k?
False
Let w be (-150)/(-135) - (-4)/(-3). Let h = -0.029 + -58.971. Is h < w?
True
Let t(d) = d**3 - 3*d**2 + 4*d - 3. Let z be t(2). Let f = 45/2 - 207/10. Which is greater: f or z?
f
Let w = -197/240 + 11/16. Let h = 21.13 - 0.13. Let m = -18 + h. Is m at least as big as w?
True
Let n = 115/2546 - -1/134. Let m = -308 - -307.929. Let r = m + -0.029. Which is greater: n or r?
n
Let i(b) = 309*b - 17. Let d be i(3). Let y be (4/10)/(1716/d). Which is bigger: -1 or y?
y
Let n be ((-12)/(-28))/(30/35). Let q(a) = 8*a - 14. Suppose -2*c + 0*c = 14. Let r be q(c). Which is smaller: n or r?
r
Let h(z) = 28*z + 2*z**2 + 2*z**2 + 14 - 5*z**2 - 24*z. Let p be h(6). Suppose -d - 188 = 3*d - 4*i, -3*d = -p*i + 140. Which is smaller: d or -47?
-47
Let x(y) = y**3 + 13*y**2 - 596*y - 7748. Let q be x(-13). Which is smaller: -9/7006 or q?
-9/7006
Let x(c) = -110*c + 1451. Let o be x(-56). Which is bigger: 7610 or o?
o
Let w = 200 + -348. Let b = -134 - w. Is b greater than or equal to 15?
False
Let w(f) = 3*f - 24. Let g(m) = 3*m - 24. Let n(p) = 2*g(p) - 3*w(p). Let u be n(7). Suppose -8 = -5*c - 4*s, u*c = 2*c - s + 2. Does 6 = c?
False
Let u = 4.82 - -1.68. Let w = 3.1 - u. Which is greater: w or 1/3?
1/3
Let t = 82 - 81.931. Let m = 0.171 - 0.16. Let r = m + t. Is -7 at most r?
True
Let l = 40 - 56. Let o be (-1)/5 + l/20. Let t = -128/319 + 14/33. Which is greater: o or t?
t
Let l be 14/(-27244)*((-8)/18)/(2/(-9)). Are l and 1 nonequal?
True
Let g be 1902/(-54) + -3*(-4)/54. Is -450/13 bigger than g?
True
Let n be (6/(-3))/((-7384)/16 + 2). Which is smaller: 1 or n?
n
Let f = -106 + 101. Let c = 16 + f. Let z = c - 11. Are z and -4/29 non-equal?
True
Let u be (-129)/301 - (-132)/14. Suppose -u*s = 12*s - 1134. Which is smaller: s or 52?
52
Let p(i) = -40*i**2 - 13*i + 18. Let n(q) = 60*q**2 + 20*q - 27. Let v(y) = -5*n(y) - 8*p(y). Let b be v(-4). Are b and -1/2 equal?
False
Let p be 5/15 + -2 + (5 - (-74)/(-24)). Which is greater: p or 231?
231
Suppose -2*o - 7 + 5 = 0. Suppose -4*t + 5*u + 9 = 0, 0*t - 3*u - 3 = -2*t. Suppose -187 + 181 = -t*s. Does s = o?
False
Suppose -3*d = -4*b + 374, -47*d - 386 = -44*d - b. Is d at least -136?
True
Let a = -31402 - -31402.46. Let r = 0.5 - 0.3. Which is smaller: r or a?
r
Suppose -3*o + 3 = d - 1, -2*d = 2*o - 4. Let p be -2 + 0 + -1 + o. Let j be 12/3 - (23040/330)/12. Which is smaller: p or j?
p
Let l be ((-6)/(-4))/(9/(-4812)). Let z be (-4)/16 + (-2)/((-48)/l). Is -34 smaller than z?
True
Suppose 0 = -123*l + 22 - 22. Which is smaller: l or -2/7911?
-2/7911
Let r = -407 - -399.46. Let u = 37.16 - r. Let p = -45 + u. Which is greater: p or 3/2?
3/2
Suppose 3116*n = 3073*n - 29025. Is -676 bigger than n?
False
Let f be 1/4*(-48)/(-6) + 10. Suppose f*z = 2*z - 340. Is -34 greater than z?
False
Let d be 2/7 - 5070/(-42). Let g = 15307 - 15184. Do g and d have different values?
True
Let j be ((-2)/6)/(4/(-55)). Let w = -7558 - -7564. Is w bigger than j?
True
Let k = -0.395 + -0.165. Let t = k + 0.536. Which is bigger: t or 1/4?
1/4
Suppose 0 = -379*o - 41*o - 55440. Which is smaller: -85 or o?
o
Let v be ((-6)/14)/((2/(-2859))/((-58)/(-87))). Is v < 409?
True
Suppose 117*i - 404 = 137*i + 1196. Are i and -60 nonequal?
True
Let i = 9252 - 9251. Is 3/43 at least as big as i?
False
Suppose -5*y - 2*s + 17 = 0, -110*y + s - 7 = -112*y. Suppose y*m + 339 = 2*x, -174 - 65 = 2*m + 3*x. Do -116 and m have the same value?
False
Let n = 32753286/61 + -536918. Which is smaller: 20 or n?
20
Suppose -5*n = -c - 163, -4*c - 76 = -4*n + 64. Suppose -h - 24 = -n. Which is smaller: h or 7?
7
Suppose 5*o - 1306 = 4*r, 0 = -o + r - 174 + 435. Is o equal to -7?
False
Let z = 8447.5607 - 8448. Which is smaller: -1 or z?
-1
Suppose 0 = 3298*j - 3241*j + 285. Which is smaller: j or 16/15?
j
Let n be (-312)/195 - 256/(-360). Suppose j = 5*i + 5, -2*j - j - 2 = 2*i. Which is smaller: j or n?
n
Let b = -828 - -696. Let o = b + 119. Which is greater: o or -0.18?
-0.18
Let l = -7.3989 + -0.0011. Let z = -10.4 - l. Are 5 and z nonequal?
True
Suppose -4*d = -2*z + 18, 0 = 3*d - 5*d + 5*z - 5. Let h be d/((-225)/(-6)) - (-2)/15. Suppose 5*c - 10*c = -h*c. Which is bigger: -3/20 or c?
c
Let r = -0.26 - -0.31. Let d = 0.1 - r. Let b = 0.05 - d. Do -8/7 and b have the same value?
False
Let i(s) = s**3 + 2*s**2 - s - 179. Let q be i(0). Let r = -169 - q. Is 4 not equal to r?
True
Let q = 581 - 6355/11. Suppose -18 = -5*u - 4*u. Is u at most as big as q?
True
Let w be 9 - (-1 + 4) - (-3)/(-1). Suppose -3960 = w*b - 4*t + 2042, 0 = 3*b - 3*t + 6003. Let u be 6*(b/1002 - -2). Is u > -1?
True
Let o = -3/1903 - 420557/3806. Let k = o - -5501/50. Is k >= 0?
False
Let c = 38.6 + -38. Is -26 smaller than c?
True
Let a(o) = -o**2 + 4*o - 1. Let z be a(6). Let q be -8*(-18 + 7 + 9). Suppose -q*b = -2*b + 210. Which is smaller: b or z?
b
Let q(t) = t + 9. Let l be q(9). Suppose c + l = 2*g - 0*g, 4*c + 2*g + 32 = 0. Let w be 6/c*2/(-9)*3. Are 1.1 and w unequal?
True
Let q = 29 + -14. Let l = -19 + q. Let o = l + 3. Is o equal to -1/5?
False
Let p be (1/(2/(-6)))/(6/(-258)). Suppose -d = -4*c - p, -4*c = 4*d - d - 371. Let j = d - 126. Which is smaller: j or 32?
j
Let x = -6.731 + 7.231. Let r = 12956/51 - 254. Which is smaller: r or x?
r
Let l be (-2464)/(-978) + 434/42 + -13. Which is smaller: l or -1?
-1
Let o = -2.92 + -0.08. Let k = 3.7151 - -5.2364. Let l = k - -0.0485. Is o <= l?
True
Let w be -3 + 9 + -54 + 2. Let y = 43 + w. Which is bigger: y or -27/13?
-27/13
Let q = -642.1 + 642. Suppose 3456 = 13*x + 23*x. Is q < x?
True
Let r = -79/198 - -5/11. Let l be 168/27 + (-6)/27 - -1. Let z be (132/770)/(3/l). Is r greater than z?
False
Let f = 4029 + -4030. Is 3/1216 less than f?
False
Let z = -0.608 + -0.162. Let u = z + 47.77. Let a = u + -47. Which is bigger: 1/9 or a?
1/9
Let c = 38889 + -39060. Which is bigger: -275 or c?
c
Let r = 4299/143 + -249/13. Is 1 > r?
False
Suppose 4*o + 272 + 32440 = 0. Which is smaller: -8176 or o?
o
Let w be (-2)/(-26) - (-9532)/130. Is 73 greater than or equal to w?
False
Let r be (-2)/(-2)*0/((-100)/10). Suppose r = 1