er: 1 or s?
s
Let u = 222 - 1329. Which is smaller: u or 0.1?
u
Let r be (2/30)/((-575)/(-2550))*-10. Which is bigger: r or -3?
r
Let w(p) = -4*p**2 - 1 + 5 + 2*p**3 + 2*p - 3*p**3. Let j be w(-4). Are j and -2 unequal?
True
Let w = 165256/45 - 3672. Are -1 and w equal?
False
Let q(o) = 14*o + 54 - 2*o + 2*o - 8*o. Let l be q(-9). Is l at least as big as -6?
True
Suppose 6*r - 3*r = 12. Suppose 4*x + 2 = 2*j + 4, 0 = -2*x - r*j - 14. Which is smaller: -2 or x?
-2
Let d = -61 + 170. Is 441/4 equal to d?
False
Let t(i) = -i - 11. Let r be t(-6). Let s be (-15)/(-168)*74 + r/(-20). Which is smaller: s or 6?
6
Let j = -0.0055 + -0.009. Which is bigger: j or 0.1?
0.1
Let p be (-1390)/(-18) + (-7)/(252/8). Is 77 less than p?
False
Let i = -0.43 + 19.43. Let b = -18.7 + i. Let p = 0.1 + -0.1. Which is greater: p or b?
b
Let t be (-420438)/2765 - (-4)/70. Is -153 at most t?
True
Suppose 2*x + 4 = -36. Let t be ((-138)/15)/((-2)/(-5)). Do t and x have different values?
True
Let u be (3/(-6))/((-3)/12). Suppose -u*q = q. Let d be 0 - q/(7 - 3). Is d <= -1?
False
Let i be 115 - 16/(-8)*-2. Is 110 >= i?
False
Let m(x) = -x**3 + 32*x**2 + 8*x + 13. Let c be m(32). Is c at least 268?
True
Let i be 2/(0 - (-360)/(-123)). Let w = 16/15 - i. Which is bigger: 2 or w?
2
Let k = -99449/8 - -12449. Is k at most as big as 17?
False
Let w = -0.04 - -1.04. Let l(d) = 3*d + 9. Let x be l(-4). Let o be (x/(-2))/((-15)/5). Is w less than o?
False
Suppose -4*x - 5 = -9*x. Let v = -2 + x. Let l = 21 - 22. Are v and l equal?
True
Let p = 73.932 - -0.068. Let k = p + -76. Are k and -11 non-equal?
True
Suppose -x - 6 + 1 = 0. Let c be 122/61 - (1 + x/(-4)). Is 0.4 < c?
False
Suppose 8 = n + 9. Which is bigger: n or 4/95?
4/95
Let l be (6/48)/((-1)/(-4)). Let r = 1/8 + l. Which is bigger: 0 or r?
r
Suppose 5*y - 21 = 4*v, 7*v - 11 = 6*v - 2*y. Is v at least as big as 3/244?
True
Let n(o) = -11*o**3 + 3*o**2 - 3*o + 1. Let x be n(1). Suppose 33 = 4*l - 5*g - 44, l + g - 8 = 0. Let c = l - 23. Are c and x unequal?
False
Let i = -0.9575 + -0.0425. Let d = -2 - -3. Let p = -1 + d. Are p and i non-equal?
True
Suppose 15*y = -96 + 111. Is y > 3/136?
True
Let p = 147.81 + -147. Let k = 13.19 + p. Which is greater: k or 1?
k
Let t = 515/14 - 73/2. Which is smaller: 17/8 or t?
t
Suppose -2*l = -3*l - 1. Suppose -12*h + 9*h = 6. Are l and h equal?
False
Suppose 205*t - 9 = 202*t. Suppose -3*b + 2*p = 3 - 11, 4*b - 6 = -2*p. Is t != b?
True
Let h be (-63)/(-18)*(-4)/7. Let t be -1*0*h/(-6). Which is smaller: t or 5/6?
t
Let y = -1345 + 1211. Which is smaller: -135 or y?
-135
Suppose -2*n = 10, f - 14 = 4*f + 4*n. Suppose -12 = -l - f*l. Let i be (-1)/(l + 52/(-12)). Is 2 >= i?
False
Suppose 4*r = 15 + 5. Suppose 10*t = r*t - 75. Let l be 4/20 + (-17)/t. Which is smaller: 2 or l?
l
Let f be -4*(-7)/((-140)/(-25)) - -2. Is 23/3 at least f?
True
Let b = 855 + -856. Is b at least as big as 427/6?
False
Let p(v) = 9*v - 1. Let b = 6 + -3. Suppose -3*s - 3 = -4*q, -b*s - 1 = q + 2. Let x be p(s). Are x and -8 unequal?
True
Let b = -584 + 574. Which is smaller: b or -56/5?
-56/5
Let r = -2972 + 2963. Suppose 3*o - 11 = 4*o. Which is smaller: o or r?
o
Let h = -492.9 - -493. Which is greater: h or 0.178?
0.178
Let o = -68 - -58. Suppose q - 2 = 2*q. Let h be q/o - 11/(-20). Which is greater: 1 or h?
1
Let f be ((-3)/4)/((-1)/120). Let r be (f/(-24))/((18/(-16))/3). Which is smaller: 12 or r?
r
Let t = 92 + -81. Suppose -3*f - m - 3 = 0, -t = f + 3*m - 2. Which is smaller: 2/15 or f?
f
Let d = -427 + 7265/17. Are d and 0 non-equal?
True
Let c be -1 + -67 + (-3 - 0). Let f = c + 88. Which is smaller: 19 or f?
f
Let w = 1.8 - 2. Let y be (-519)/(-11) + 4/(-22). Let l = y + -237/5. Which is smaller: w or l?
l
Let c be 8/(-36) - 22/63. Suppose 5*g + 5*z - 22 = -2, 5*z = 20. Which is smaller: c or g?
c
Suppose 3*h + 95 = 32. Do -22 and h have different values?
True
Let b be 3*2/(-3) + 178764/177. Let f = 1008 - b. Which is smaller: 0 or f?
0
Let w(d) = -6*d + 37. Let m be w(6). Which is greater: -8/31 or m?
m
Suppose -13*u - 3*q = -16*u - 54, -u - 42 = 5*q. Is u >= -20?
False
Suppose 5*w = 5*z - 2*z + 25, -5*w + 25 = -5*z. Suppose 0 = w*v - 8*v + 3. Is v at most as big as 2/19?
False
Let i = -0.59 - 0.41. Let j = 7/11 + -137/77. Which is bigger: j or i?
i
Let j = 474/5 + -5711/60. Let r = j + -1/60. Is -1 at least as big as r?
False
Let f = 1946 - 1946. Which is greater: f or -20/247?
f
Let b = -372 - -373. Let u = 5 - 1. Suppose -13 = 4*i - 3*l, u*i = -4*l + 7 + b. Is 1/5 bigger than i?
True
Let h(u) = u**2 - 8*u + 6. Let w be h(5). Let q be (4 - 2) + (7 - -27). Suppose 0 = -0*i - 4*i - q. Does i = w?
True
Let q be (-1 + 3 + -3)*-4. Suppose -s = -4*o + 4*s + 5, 4*s = -2*o - q. Suppose o = -2*c + 18 + 10. Is 13 at most as big as c?
True
Let h(k) = -2*k**2 - 11*k + 3. Let r be h(-6). Let l be (5/(-2))/((-1)/2). Suppose l = -4*d - 7. Is r >= d?
True
Let y = 12.15 + -0.15. Let p = -11.96 + y. Which is greater: 0.2 or p?
0.2
Suppose 4*u - 410 - 90 = 0. Let m = 57 - u. Which is smaller: -69 or m?
-69
Let d = -288 + 709. Which is smaller: -2 or d?
-2
Let t be (1/8)/((-4)/(-6)). Let n(g) = g**3 + 15*g**2 - 16*g - 1. Let j = -14 - 2. Let p be n(j). Which is smaller: p or t?
p
Let f be (0 + 1)/(6/12*1). Suppose 4*o + 2 = 3*o + 3*c, -f*o - 3*c - 4 = 0. Which is greater: 1/2 or o?
1/2
Let u = -32 + 166. Is u less than or equal to 133?
False
Let c = 1687 + -1698. Which is greater: c or -27?
c
Let o = -60 - -58.29. Let w = -105 + 313/3. Which is smaller: w or o?
o
Let k be ((-72)/30)/((-2)/5). Let q be ((-28)/4)/(k/(-18)). Let c be 10*(-4)/56 - -1. Which is smaller: q or c?
c
Let k = -2.3 - -0.5. Let v = k - -2. Let l = 542 + -541.6. Which is smaller: l or v?
v
Let j be (-3622)/(-176) + ((-60)/(-32) - 2). Which is smaller: j or 21?
j
Let x = 2216/9 - 246. Which is smaller: x or -0.199?
-0.199
Suppose -2*l = -4*o + 22 + 18, 0 = -3*o + 3. Suppose 27 = -0*d - 3*d. Let n be 3 - d/(l/(-32)). Which is smaller: n or 18?
18
Suppose 0 = -16*u + 9*u + 476. Is u >= 1?
True
Let r = 0.23 - -0.07. Let j = 0.8 - r. Is j bigger than -1/4?
True
Let w = 961 - 961. Let c = -0.09 + 0.05. Is w <= c?
False
Let q(j) be the first derivative of j**4/4 + 7*j**3/3 + 5*j**2/2 - j + 1. Let g be q(-6). Let d be ((-1)/(-1))/(8 - g). Do d and 1/7 have different values?
True
Let h be 6/16 + (-15428)/42336. Is h > -1?
True
Let k(x) = -3*x - 2. Suppose -2*p - 3 = -3*p. Let f be k(p). Let l be (4/15)/(f/(-99)). Which is smaller: l or 3?
l
Suppose -46*a + 42*a - y + 6 = 0, 3*y = 2*a - 10. Is -6/205 less than a?
True
Suppose -45*v = -54*v + 243. Is v smaller than 30?
True
Suppose -5*h + 180 = -15*h. Let f be (4*(-3)/(-24))/(2/h). Is -6 <= f?
True
Let l = -201/10 - -20. Let t = -61 + 29. Let n be 40/t - 1/(-4). Is l equal to n?
False
Let x(m) = 7*m - 343. Let u be x(57). Which is greater: u or 47?
u
Suppose -5*h - 5*b + 5 = 0, -b - 3*b = 2*h - 8. Let m = h + 13. Which is bigger: m or 9?
m
Let n = 126.96 - 90. Let r = n - 37. Does r = 2?
False
Let q be (-5 + 7)/(13/15 - 1). Is -100/7 less than q?
False
Let b = 0.153 + -73.853. Let q = b + 13.7. Do -1/3 and q have different values?
True
Let p = -7829715/481 - -16278. Is p greater than -1?
True
Let m = 351.15 - 351. Is 0.4 less than m?
False
Suppose 22 = -2*d - 2*d + r, 5*d + 32 = -r. Let m be 70/(-3)*(0 - d). Let y be (-1060)/m + 6/14. Is y bigger than 7?
True
Let u(j) = j**3 + 3*j**2 - 12*j - 17. Let s be u(-5). Suppose -4*k = -0*k - 2*z + 24, 0 = 2*k + 5*z + 12. Does s = k?
False
Let x = 221.1 - 221. Is -1.08 bigger than x?
False
Let r(u) = u**3 - 5*u**2 + u + 6. Suppose -v - 4*h + 15 = -2*v, -h - 20 = -5*v. Let w be r(v). Let s be 2*(2 - w/6). Are -4 and s equal?
False
Let n = 26 - 52. Let m = -26.1 - n. Is 11 equal to m?
False
Let m = 305 + -628603/2061. Is 1 != m?
True
Let s = 395.8 + -393. Which is bigger: s or -16?
s
Let r = 14 + -12.2. Let z = r + -1.68. Let a = z + -0.52. Which is smaller: 0.1 or a?
a
Let w = 1 - 3. Let u be 1 - 13/w*2. Suppose -4*f = 4*c - c - 20, -u = -3*c - f. Is 4 at most as big as c?
True
Let m = -17 - -95. Let w = m + -77. Is w > -4?
True
Let o = -61.2 - -23.2. Is 14/3 bigger than o?
True
Suppose -62*g - 13608 + 4370 = 0. Which is smaller: -752/5 or g?
-752/5
Let t b