t j = -763/4 + 189. Let x = j + 97/56. Let s = x - 39/56. Which is bigger: -1 or s?
s
Let x = 40 - 36. Suppose -4*p + x*l = 20, -10 = -3*p - 3*l - 49. Let w = -2 - 6. Is p greater than w?
False
Let w(b) = -b**3 + 2*b**2 + 4*b + 31. Let d be w(5). Do d and -25 have the same value?
False
Let l = -24 + 24. Suppose 2*y - 2*j + 4 = 0, l = j - 5*j - 8. Let n be -2 - (-2)/4*-2. Which is bigger: y or n?
n
Let y(m) = m**2 - 4*m + 9. Let s be y(6). Let x be ((-6)/s)/((-4)/16). Let t(n) = -n**3 - 8*n**2 + 34*n + 12. Let l be t(-11). Which is smaller: l or x?
l
Let o = 335 - 761. Which is smaller: o or -2/7?
o
Let q be 28/(-10)*(-90 + 7 + -2). Let b be (4 + -2)*2 - q/58. Which is bigger: b or 1?
1
Let d be ((-18)/15)/((-15)/50). Suppose -4*c + 13 = -11. Suppose d*h = 3*o - 15, -2*h - 1 = -o + c. Are h and -3 nonequal?
False
Let w = -22 + 26. Suppose 5*v + 1 = -0*p - w*p, 5*p - 8 = 3*v. Is p > -2/17?
True
Let x = -1.072 + 1.012. Is x less than or equal to -0.12?
False
Let g = -1/746 + -2221/12682. Suppose -4*a - 2*b - 12 = 0, 3*a + 21*b = 18*b - 18. Is a equal to g?
False
Let u(o) = -o**2 + 6*o - 5. Suppose -7 = s + 5*a - 1, 5*a - 6 = -4*s. Let r be u(s). Let q be 2/(-24)*r/5. Is 1 at most q?
False
Let g(z) = -5*z**3 - 3*z**2 - 2*z + 2. Let r be g(-2). Suppose 6 = -6*n + 24. Suppose -3*o + r = -3*s + 5*s, 3*s = n*o + 21. Is s < 12?
True
Suppose 5*h = -4*i + 1810, 16*h - 19*h + 5*i + 1049 = 0. Is h greater than 358?
False
Let a = 129 - 66. Let w be (-1)/((-12)/a - (-3)/9). Is w greater than or equal to -11?
True
Suppose 2*y + 2*f + 966 = 0, 20*y - 471 = 21*y - 5*f. Are y and -482 non-equal?
True
Let v be (285/45)/(1/6). Let j = -115/3 + v. Is 2 < j?
False
Suppose -833 + 6919 = 17*r. Is r smaller than 357?
False
Let k = 1.5 - 1. Let t = 0.5 - k. Let n = 0 + 0.05. Is t at most as big as n?
True
Let x(k) = -k**2 + 6*k - 8. Let f be -1 + 2 + -3 + 2. Let o be -2 + f + 2 - -4. Let t be x(o). Are t and -2 non-equal?
True
Let z be 24/(-2370)*60/(-18). Is z smaller than -1?
False
Let t(j) = -2*j**2 + j - 1. Let h = 11 - 10. Let p be t(h). Let s = 7654/9 + -852. Is p at least s?
False
Let b be (0 - -3) + 0/(9/3). Suppose -b*g + 22 = -r, -r = g - 6*r + 2. Which is greater: g or 5?
g
Let m = 0.57 - 0.37. Suppose 16 = -4*y - 0*y. Let j = 1 - y. Is j at least m?
True
Let z be (-75 + 75)/(-1 - 1). Which is smaller: -29/22 or z?
-29/22
Let a(m) = m**3 + 8*m**2 - 6*m - 12. Let r be a(-9). Let v be (84/r + 2)*-2. Let s = -3 - -2. Which is smaller: s or v?
s
Let n = -26/87 - -4672/15051. Let w = n - 181/692. Is 0.02 at least as big as w?
True
Let h = 50.1 - 50. Let l = 0.1 - h. Is l <= 48?
True
Let k be (1859/3380)/((1 + 0)/14). Are k and 8 unequal?
True
Suppose -5*g = 3*y - 7*y - 65, -2*y - 29 = g. Which is smaller: -12 or y?
y
Let o = -136 + 1357/10. Let g be (28/42)/((-2)/3). Let c be 0*(g + 12/8). Do o and c have the same value?
False
Let n = 88 + -83. Suppose -18 = -3*u - 5*y, -5 = n*u - 5*y + 5. Let h be (-5)/((-1 - -1) + -3). Which is greater: u or h?
h
Let n = 31 - 28. Suppose -n*r = -42 + 18. Is r equal to 9?
False
Suppose 0 = -y - 3*k - 16, 4*y - 2*k - 1 = -k. Let a = 23617/1011 - 9/337. Let s = -116/5 + a. Does s = y?
False
Let a = 519 - 518. Which is smaller: a or 12?
a
Let w be 10*1*(-1)/(-2). Suppose 0 = -3*g + w*r + 2, -17 - 1 = -5*g + r. Suppose -15 = j + 5*z, -g*j = -3*j - 3*z + 15. Is j less than or equal to -14?
True
Let i = -247 + 171. Let s = i - -75.9. Does 44 = s?
False
Suppose 32*r = 48*r - 8752. Is r at most as big as 548?
True
Let l be 0*3*(-11)/165. Is -2/2061 > l?
False
Let v be 2/(-9) + -2 + 2. Let a(i) = 9*i + 3. Let y be a(2). Let w = 20 - y. Which is smaller: w or v?
w
Let n(w) = 5*w**2 - 2*w + 1. Suppose 0 = -4*i - 8 + 12. Let y be n(i). Let c(p) = -p + 4. Let a be c(0). Is y != a?
False
Let o(p) = -p**2 - 6*p + 4. Let t be (-4)/14 - 120/21. Let u be o(t). Let h be u - (6/(-2) + 11). Is h at most -3?
True
Let a be (18*(-9)/(-78))/((-6)/(-8)). Which is smaller: 4 or a?
a
Let n = 191 - 85. Let b be n/224 + 3 + 23/(-7). Which is greater: b or -1?
b
Let s = -0.677 + 2.237. Which is bigger: 0.5 or s?
s
Let u = -292 - -299. Which is smaller: u or -0.03?
-0.03
Let q(s) = -s**2 - 15*s + 1. Let u be q(-14). Let n be (12/(-9))/(55/u). Is 0 at most as big as n?
False
Suppose 3*p + 2*p - 15 = 0. Suppose 2*h + p*h + 10 = 0. Let j = -0.021 + 0.321. Is h at least j?
False
Let c = -5 + 6. Let r be c/((-1 + -2)/(-1)). Let d = -552 - -552. Is r smaller than d?
False
Let a be 4 + -6 + -2 + (-1080)/(-267). Let l = a + -853/1157. Do l and 0 have the same value?
False
Suppose -3*j + 86 = 4*y - j, 85 = 4*y + 3*j. Suppose 5*x = -y + 32. Is x greater than or equal to 1?
True
Let l = 12 - -3. Let m = 1/806 + 1607/4030. Is m >= l?
False
Let c be 1 - 19/(-21)*-1. Let h = c - 1/21. Which is smaller: h or -1?
-1
Let u = 119 + -86. Which is smaller: 100/3 or u?
u
Let r be (0 + -3 - -2)*-1. Let x be r/(-66) + 19 + -19. Which is greater: 1 or x?
1
Let d = -1.48 - 3.52. Is 22 > d?
True
Let t be 8/(-2)*((-114)/36)/19. Which is smaller: t or 15?
t
Let i be -4 - (-3)/(12/328). Let b = i - 71. Which is greater: b or 9?
9
Let w = 1810 - 1820. Is w at most 3?
True
Let g = -71.9 - -44.2. Let l = 28 + g. Let c = 16.7 + l. Is c equal to -1?
False
Let k(y) = -y**3 - 3*y**2 + y + 5. Let l be k(-4). Let c = l - -7. Let s = c - 24. Which is bigger: s or -2/11?
s
Suppose -n + 5*l + 4 = 3*l, -3*l + 3 = 0. Suppose 10*w = n*w. Suppose w = 7*g - 2*g - 30. Which is smaller: g or 2?
2
Let b be 9/6 - (-1352)/16. Let m = 1090 + b. Let a = m - 8216/7. Which is greater: a or 2?
a
Suppose 2*p - 37 = 67. Let o = p - 73. Suppose -2*s = 19 + 25. Which is smaller: o or s?
s
Let h = -1381/455 - 7/65. Let a be 0 + ((-231)/(-7))/(-11). Is a less than h?
False
Suppose 2*o - 45 = -o. Suppose 20 = 5*x - 4*z, 0*x + 3*z + o = x. Which is smaller: x or -14?
-14
Let s = -1309 + 9211/7. Let k = s - 10. Is -4 > k?
False
Let f = -1118 - -1115. Which is bigger: -25/2 or f?
f
Let i be (7 - 1) + (-384)/66. Is i at most as big as 0?
False
Suppose -30 = g + 4*g. Let c be ((-3)/6)/(g/4). Let x = 115 - 116. Are x and c equal?
False
Let h = -3 + 2. Let u(w) = 280*w + 2 - w**2 - 138*w - 140*w. Let r be u(h). Which is smaller: 2/27 or r?
r
Let g = 31 - 23. Suppose -g*c - 287 - 281 = 0. Do -71 and c have different values?
False
Let i(u) = -2*u**2 + 2*u + 3. Let p be i(3). Let j be 5*(p/(-3))/(-1). Let k be 4/j*(-15)/18. Which is smaller: k or 1/3?
k
Let r = 0.036 + 0.504. Let x = r - 0.4. Let m = x - 0.24. Are 3/2 and m unequal?
True
Let i = 247 + -371. Which is smaller: -126 or i?
-126
Let h = 0.031 + 60.969. Let m = h - 73. Which is bigger: -0.1 or m?
-0.1
Let a be (6/7)/2 + (-42)/98. Are a and -3/452 non-equal?
True
Let k be (-8)/2 - (-28)/14. Let c be (-19)/(-57)*(-18)/4. Which is smaller: c or k?
k
Let z be (1 - -44)*8/(-16)*2. Let i = -36 - z. Is i less than or equal to 11?
True
Suppose -o - u = -94, -o + u = -u - 109. Let g = o - 98. Which is greater: -3/31 or g?
g
Suppose 5*v = -12 - 3. Let q = 11 - 15. Let t(k) = 2*k + 6. Let h be t(q). Which is smaller: h or v?
v
Suppose 0 = -2*d + 5 - 21. Let i be (2/d*2)/((-4)/(-16)). Do -7/13 and i have the same value?
False
Let o = 224 + -1296. Is o equal to -1071?
False
Let x be (42 - -2)/((-63)/(-28) - 2). Let u = -62 + x. Which is smaller: u or 113?
113
Suppose 2*k + 10 = 6. Let j be (-27 + 0 + k)*-1. Is j > 29?
False
Suppose -3*u - 325 = -2*i - 87, -3*u + 5*i = 253. Which is greater: -77 or u?
u
Let u(v) = -53*v + 6. Let t be u(4). Let q = -8971 - -26284/3. Let z = t - q. Is 5 greater than z?
True
Let c be (-15)/(-20) - (-215)/(-284). Are c and 0 unequal?
True
Let q(n) = n**3 + 7*n**2 + 9*n + 7. Let k be q(-6). Let u(i) = 11*i**3 - 3*i**2 - 4*i - 2. Let h be u(-1). Which is smaller: k or h?
h
Let g = 95 - 13. Is 81 equal to g?
False
Suppose 33*i + 5*y + 1504 = 31*i, 5*y + 3730 = -5*i. Which is smaller: -741 or i?
i
Let z = -1470 - -1471. Are z and -3/409 nonequal?
True
Suppose 5*i + 1009 = 4*w, -4 + 1 = -i. Is 255 > w?
False
Suppose -2*o - 3*o = -10. Suppose -o*y + 16 = 4. Is y at most 6?
True
Suppose -4*z = 2*n - 210, -2*z + 501 = 5*n + 2*z. Let l = n - 397/4. Let r = -231 - -228. Which is bigger: r or l?
l
Suppose -3*y = 3*k - 0*y - 12, -5*k + 2*y = -20. Suppose -5*g = k