greater: 10 or o?
10
Let h = -80 + 82. Suppose 2*d + h*y - 4417 + 1723 = 0, -2*d + 2*y = -2706. Let k be (d/(-105))/(0 - -2). Which is smaller: k or -7?
-7
Suppose 3*k - 6*k = 3*l + 3, -3*k = l + 1. Suppose 4*u = -5*g, 3*u - 5*g = -k*u. Are 2/563 and u non-equal?
True
Suppose 260 = -209*f + 219*f. Which is greater: f or -29?
f
Let p = 104.57 + -104.64. Which is bigger: p or 0.105?
0.105
Let l be 1 - 4 - ((-765)/10)/(-9). Let g(v) = 2*v. Let r be g(10). Let j be -10*(-4 - (-104)/r). Which is smaller: l or j?
j
Let g = -2122 + 2122. Let c = 57654/71 - 812. Which is bigger: g or c?
c
Let a = -9809 + 15390. Is 5580 bigger than a?
False
Suppose -10*t + 9 = -9*t. Suppose t*o - 123 = -132. Is 0.24 less than o?
False
Let b be 10/(-15)*(-20 - (10 - 18)). Suppose -5*u - 55 = -0*u. Let c be u*(24/(-28) + 0). Which is smaller: c or b?
b
Let n be ((-595)/(-63))/17*(-33)/(-10). Is 1 greater than n?
False
Let n be 26/4*(-12)/(-156). Which is smaller: n or -24.7?
-24.7
Let n = -165.191 - 0.803. Let p = n - -166. Is p not equal to 0?
True
Suppose -15 = f - 14*m, 18*m - 15*m = -5*f - 2. Is f less than or equal to -39/100?
True
Let i = 2.6 + -2.85. Let f = 14.25 + i. Let h = f - 24. Is 1/4 >= h?
True
Let k = -4.56 - -4.36. Which is smaller: 551 or k?
k
Let m = 174 - 192. Let d be 2/3*m/45. Suppose 0 = -3*b + f + 1, -6*f = -f + 20. Is d > b?
True
Suppose 8 + 94 = 4*h + 5*p, -3*h - 5*p + 79 = 0. Suppose o + 4*n + h - 4 = 0, 5*o = 3*n + 20. Which is smaller: o or -1/94?
-1/94
Let h = 1257.9 + -1258. Are -3076 and h equal?
False
Let b(i) = -47*i - 21*i**2 - i**3 - 20 - 26*i - 4 - 10*i**2 - 27. Let q be b(-28). Is -361 <= q?
True
Suppose -852*w + 684*w + 123984 = 0. Is 732 equal to w?
False
Let o(q) = q - 4. Let m be o(5). Let c(j) = -j - 12. Let b be c(6). Let r be (-26)/b - (-14)/(-42). Which is smaller: m or r?
m
Let c(l) = -8*l - 95. Let h(g) = 22*g**3 + g. Let y be h(-1). Let i be c(y). Are 87 and i non-equal?
True
Let a(r) = -r**3 - r**2 - r + 6. Let f be a(0). Let o be ((-360)/(-70))/(f/(-28)). Let t be (-13)/2 - 48/o. Is t greater than -5?
True
Suppose 211*o = -4111 + 3900. Do o and -4/5659 have the same value?
False
Let q(t) = t**2 + 23*t + 61. Let p be q(8). Which is smaller: 310 or p?
p
Let w = -9605 - -9604.738. Which is bigger: 0.08 or w?
0.08
Let x(z) = -z - 12. Let t be x(-11). Let w = -19 - -23. Suppose 18 = w*o + 38. Which is smaller: o or t?
o
Let o = -2670.62 - -2671. Are o and 24 nonequal?
True
Suppose 2*b + 5*p + 29 = -10, 4*b + 53 = -5*p. Let w = 24 + b. Let z = -114 + 130. Are w and z equal?
False
Let m = 3472057/41276 + -1/2428. Is 83 > m?
False
Let a be 5/(-18)*2 - -1. Let x = -2.06234 + 2.16234. Which is greater: x or a?
a
Let l = 956/1565 - 66/313. Is 191.3 not equal to l?
True
Let x = 0.67 + -0.77. Let g = -0.2347 - 54.6153. Let d = g - -55. Is x >= d?
False
Let q = -0.2743 + -0.0617. Let o = -96.7 + 96.6. Is q at least as big as o?
False
Let f be (12/12030)/((-164)/4305). Which is greater: 1 or f?
1
Let s = -41 - -40.53. Let b = 0.86 + s. Let r = b + -0.59. Is r less than 2?
True
Let x = 196.9 - 190.7. Which is smaller: 83 or x?
x
Suppose -3*j + 5*o = -30, -3*j - 3*o - 51 = -7*j. Suppose -40 = 10*w - 170. Suppose 0 = -j*u + w*u + 210. Which is smaller: u or 104?
104
Let k be 104/273 + (-34)/(-119). Which is bigger: 5225 or k?
5225
Let m = 37546/19 + -1976. Which is smaller: -33/2 or m?
-33/2
Let v = 142359989/3715 + -535/743. Let p = v + -38759. Let y = p - -438. Is 0 != y?
True
Suppose -17 = -0*n - 3*n - 4*m, -m + 2 = 3*n. Which is bigger: -15/341 or n?
-15/341
Suppose j - 737 = -2*k, 22*j = 20*j + k + 1489. Which is bigger: 742 or j?
j
Let r(d) = 3*d**2 + 83*d + 109. Let i be r(-28). Which is bigger: i or 135?
i
Let i = -477 + 149. Let u be i/(-16) - (-1)/2. Let h = -0.2462 + 0.1462. Is h != u?
True
Let p = -3.8 - -4.08. Let z = -236 - -238. Which is smaller: z or p?
p
Let s(a) = 8*a**3 + a**2 + 2*a - 2. Let x be s(-2). Let l = x - -75. Suppose 5*c + 3*b - 5*b + l = 0, 0 = 3*b - 6. Which is bigger: c or -11/8?
c
Suppose -y + 12 = 2*y. Let u = -601 + 602.3725. Let x = u - 0.0725. Is x >= y?
False
Suppose 0 = 176060*m - 176090*m - 2580. Which is bigger: m or -2800/33?
-2800/33
Let s = 1778944/15 - 361775/3. Is s less than -1994?
True
Suppose 3*h - 37 = -4*d, -d + 2*d = 3*h + 13. Let s(c) = 2*c**3 - 12*c**2 + 5*c - 23. Let k be s(6). Suppose d*w = k*w + 3. Which is smaller: w or -1/8?
-1/8
Let k be (90/5)/3 - 1 - 5. Let m = 308/9 - 514/15. Is m at least k?
False
Suppose -5*d - 1637 = x, -2*d = -4*x + 513 + 133. Which is bigger: d or -325?
-325
Suppose -24*c - 216 = 17040. Is c less than or equal to -720?
False
Let y = 0.7995 + 0.2005. Is 253 equal to y?
False
Let w = -13.9 + 2.9. Let h = -4069.1 + 4080. Let c = w + h. Is 4/9 greater than or equal to c?
True
Let v(p) = -45*p + 417. Let m be v(8). Let x = m - 117/2. Which is smaller: -3 or x?
-3
Let r(z) = 36 - 102*z**2 + 12 + 201*z**2 - 98*z**2. Let n be r(6). Is 81 bigger than n?
False
Let k = 2682 - 4652. Let h = -1962 - k. Let r = -15 + 25. Which is greater: r or h?
r
Suppose -12 = 15*r - 19*r. Suppose -c = -r*a - 15, 2*a + 8 = -0*a. Suppose -2*p - 29 = c. Which is smaller: p or 2?
p
Let z be 130/(-360) - ((-24)/(-864))/(2/(-6)). Is z > 25?
False
Let u = -103 + 67. Let q be -4*49/28 - u. Which is smaller: q or 25?
25
Let m be 14 + (-1 - (-1 - -1)). Let h be -1 + 8/(10/5). Suppose 32 = 3*r - n - 1, h*r = -4*n + 18. Which is greater: r or m?
m
Let r = 2744 + -2556. Does r = -2?
False
Let r be -1 - ((-2730)/8)/(-7). Let p = r + 49. Let w = -11 - -11. Does w = p?
False
Suppose 11*b = 5*b + 594. Suppose -2*w = b + 15. Which is smaller: 0.1 or w?
w
Let k be 1714/(-98) + -141 + 159. Which is smaller: k or 2?
k
Let h = -317.05 + 317. Let g = 57 + -51.05. Let o = h - g. Which is bigger: 0.2 or o?
0.2
Let j = 287 + -257. Let l = 170 + j. Is l at least -0.1?
True
Suppose d + 2*d = 48. Suppose d + 32 = -r. Let n = -304 + 255. Which is smaller: r or n?
n
Let w(n) = 3*n - 11. Let t be w(4). Let d be 3 - (-73)/(-826)*34. Which is smaller: t or d?
d
Let c = 6241 - 6241.2. Which is greater: -1570 or c?
c
Let l = -2 + 3. Let g = -58/439 - -145599/2195. Let u = 67 - g. Which is bigger: u or l?
l
Let q = 3132/7 + -446. Suppose 232 = -59*d + 232. Is q smaller than d?
False
Let y = -5/62 + 2225/682. Are -0.1 and y nonequal?
True
Let d be 16 + (33/(-12) - (-1)/(-4)). Let p(l) = 4*l - 5. Let x be p(5). Is x at most d?
False
Let g be (9474 - 1605)*(-1)/(-1 + 4). Is g bigger than -2621?
False
Let c = -27.44 - -26.44. Which is greater: -7/365 or c?
-7/365
Suppose 0 = 10*k - 10. Which is greater: -5/2926 or k?
k
Let t = 83896 + -84189. Let u(q) = -73*q - 2. Let h be u(4). Which is smaller: t or h?
h
Let h be (8/6)/(4/36). Let z(g) = -23*g - g**2 - 3 + h - 9. Let x be z(-23). Which is smaller: -2 or x?
-2
Suppose -y + 60 - 47 = 0. Let n be 8*(y/4 - 3). Suppose n*z + 5 = -3*z. Is z > 1?
False
Let z = -31 + 17. Let h = z - -20. Suppose 4*r - 3*x = 25 + 14, 0 = 3*r + 4*x + 2. Is h < r?
False
Let g = 1466/27 + -1538/27. Is 0.058 equal to g?
False
Let h(r) = -r**3 - 3*r**2 - 2*r - 2. Let z be h(-3). Suppose -2*b + z = -10. Let t = 184729 + -738891/4. Are t and b non-equal?
True
Let z be 6/(-8 + 6) + (2242 - 50). Is 19690/9 smaller than z?
True
Let u be (-40)/(-88)*(-28)/(-70) - 392/(-22). Are u and 1.81 unequal?
True
Let r(o) = -1647*o + 2088. Let b be r(2). Do b and -6032/5 have different values?
True
Suppose -4*p - 2*b = 278, 4*b - 5 - 33 = p. Is p != -1136/17?
True
Let m be (-12 + 13 - 211)/((-1)/(-2)). Let c(z) = z**3 - z**2 - 2*z + 2. Let u be c(2). Let v be (4/3)/u - (-400)/m. Is v smaller than 17?
True
Suppose 0 = -2*x - 0 + 6. Suppose -3*i - 117 = -p, 112 = p - x*i - i. Let c = p - 121. Which is bigger: 10 or c?
c
Let s(q) be the third derivative of q**5/60 + 11*q**4/12 + 49*q**3/3 - 67*q**2. Let y be s(-13). Which is bigger: -16 or y?
-16
Let s be -2 + 90/50 + (-9)/(-95). Let i = 37 - 33. Suppose 0 = -i*o - 4*o + 8. Which is smaller: s or o?
s
Let p(m) = 388*m**2 - 74*m - 414. Let u be p(-5). Is u at most 9656?
True
Let l be 0 + 15/3 - (2 + 1). Let w(g) = 2*g**2 - 3*g - 3. Let a be w(l). Do -5/31 and a have the same value?
False
Let x = 24809 - 24805. Is -2/3611 equal to x?
False
Let k = -80485/858 - -1032/