= -41 + 119. Let j be 3/(12/x)*(0 - 4). Let b be (-2)/j*-2 + 1071/221. Which is greater: b or 2?
b
Let o = -18 - -48. Suppose -z + 4*s - o = 2*s, -s = 4*z + 84. Let c = z + 31. Is c != 9?
False
Let u = -6 - -6. Suppose -7*o + o + 480 = u. Let q be 8*5/(o/(-36)). Is q >= -19?
True
Let p(t) = t**2 - 8*t - 66. Let o be p(-5). Is o equal to -1/2398?
False
Suppose 8 = -9*u + 35. Suppose 2*y + u = -3*d, -4*y + 11 = 3*d + 20. Is -2/153 bigger than d?
False
Let m = -121 - 85. Let q be (20/100)/((-15)/15450). Is m less than or equal to q?
True
Let u(v) = v**2 - 4*v - 6. Let g be u(5). Let q be (218/(-7085))/(4/15). Which is smaller: q or g?
g
Let x be -1 + 2 - (-50)/(-2). Let d(i) = 29*i - 82. Let n be d(2). Is x less than or equal to n?
True
Let w = -41 - -69. Let b = w + 5. Let u = 36 - b. Which is greater: u or 2?
u
Let f = -214 - -232. Let z be (-104)/f + (-15 - -21). Let t = 0.01 - 0.01. Which is greater: z or t?
z
Let n = -19075.2 - -19075. Is n at most 0.04541?
True
Suppose 2*c + 3*w = -676, -w = -523*c + 522*c - 323. Is c bigger than -326?
False
Suppose 8*h = 10*h - 156. Let r be 1134/(-10) + h/(-130). Let b = 129 + r. Is -1 >= b?
False
Let n be (-4)/(-15)*70/6. Suppose -785*o = -1606*o + 801*o + 40. Which is smaller: n or o?
o
Suppose 14908*w - 14912*w = 0. Which is greater: 6/5 or w?
6/5
Let u = 178.62 + -178. Let a = -17.38 - u. Are -2 and a equal?
False
Suppose 35*r = 38*r - 12. Let w(y) = 2*y - 8. Let a be w(12). Let k be a/r + 122/(-32). Is k less than 2?
True
Let q = -798648/265045 + 238/79. Which is bigger: 10 or q?
10
Let b be ((-138)/(-621))/(8/17364) - 5/(-3). Is 486 greater than b?
True
Let x = 26 + -26.123. Let q = 0.323 + x. Let m = 33 - 35.8. Which is bigger: m or q?
q
Let y be (-1 + 4)/((10/155)/((-10)/15)). Let s = 32 - 62. Which is smaller: s or y?
y
Suppose -4*u + f + f + 14 = 0, 0 = -2*u - 2*f - 2. Let g = u + -24. Suppose 94*k + 55 = 94*k - 5*z, k + z + 32 = 0. Which is greater: k or g?
k
Let w = 160.552 + 0.348. Let u = 161 - w. Is -2/119 at most as big as u?
True
Let h = 52.845 + -53. Let k = 137.155 + h. Let o = k + -138. Which is bigger: o or 0.1?
0.1
Let x = 0.053 - 0.003. Let j(r) = 2*r**3 - 2*r**2 + 4*r. Let s be j(3). Let c = 145/3 - s. Which is bigger: x or c?
c
Let u(g) = 49*g + 1175. Let c be u(-24). Which is smaller: c or -1060?
-1060
Let y be -240*4/(-16)*-4. Let r = y + 316. Which is greater: 75 or r?
r
Let k(l) = -l**2 - 52*l + 1348. Let v be k(-71). Which is smaller: -1/1041 or v?
v
Let s(a) = 46*a**2 - 2*a - 2. Let c be s(-2). Which is smaller: c or 0.15?
0.15
Suppose -4*h - 6*w = -5*w - 800, -5*h + 989 = 4*w. Suppose 0 = 5*p - 4*l - h, 3*p - 5*l - 60 = 58. Suppose -2*i - 39 = p. Is -39 at most as big as i?
False
Let g = 117/2627 - -27297561/49913. Let n = -547 + g. Suppose 3*z + m + 13 = -3*m, 1 = 5*z + m. Is n <= z?
True
Let g = -5912468 - -159656695/27. Let r = 743 - g. Is -1 at most as big as r?
True
Let b(x) = -2*x**3 + x + 1. Let y(v) = -11*v**3 + 5*v**2 - 11*v - 11. Let f(q) = 6*b(q) - y(q). Let i be f(-7). Are -11/4 and i equal?
False
Let r(y) = y**2 - 3. Let q be r(0). Let l = 246 - 1297/3. Let j = l + 184. Which is smaller: j or q?
q
Let y(u) = 4*u**2 + 88*u + 127. Let w be y(-19). Which is greater: w or -53?
-53
Let x(j) = 21*j - 336. Let g(o) = 14*o + 212. Let d be g(-14). Let c be x(d). Which is greater: -3.6 or c?
c
Let l = 25.4 - 24.4. Let k = -21 - -25. Is k > l?
True
Let h = 394247 + -394914.338. Let l = 686.3 + h. Let s = l + 0.038. Which is bigger: s or 0.1?
s
Suppose 4*o + b + 12 = 0, -44*b = -45*b + 4. Suppose 5 = 2*c - 11. Let d = c - 11. Is o smaller than d?
True
Let p be ((-1)/(-4))/(63/36). Let y = 390 - 391. Which is greater: p or y?
p
Let p(b) = -b**2 - 109*b - 2158. Let i be p(-26). Is i less than 4/857?
True
Let o = -331 - -332. Suppose -4*x - x = -15. Let q be (-1)/x*-3 - (-4)/7. Are q and o unequal?
True
Suppose 3*f + 0*f - 24 = 0. Suppose f = -2*b + 22. Suppose b = -2*n - 3*a - 2, -5*n = -3*a - 9. Which is smaller: 42 or n?
n
Suppose -4*v + 1697 + 5449 = -12450. Is v less than 9799/2?
True
Let y = -11548 + 6189. Let f = y - -64397/12. Which is smaller: 6 or f?
6
Let r be (1 - (-1)/(-1))*347/694. Which is smaller: -4/8333 or r?
-4/8333
Let u be 252229/(-22916) + 7 - -4. Which is greater: -1 or u?
u
Let a = 15466 + -7934060/513. Is -1 not equal to a?
True
Let r be 1/(-1)*2*1. Let d be 18 + (-1120)/63 + (-3)/(27/2). Is r at least d?
False
Let y(k) = -k**2 + 20*k - 19. Let w(f) = -f**3 + 25*f**2 + f - 6. Let i be w(25). Let n be y(i). Suppose -44 = -4*x - j, 3*x - 18 = 3*j - n*j. Is x > 48/5?
True
Let p = -2566 + 2610. Which is smaller: p or 29?
29
Suppose 0 = 405*x - 407*x - 2*u + 4648, 3*x = u + 6992. Is 2328 smaller than x?
True
Let d = 3 - 2.6. Let o = 0.002 + 0.298. Let b = d - o. Do -35 and b have different values?
True
Let y = 76 - 112. Let f = 21.4 - 795.4. Let t = f + 772. Is y greater than or equal to t?
False
Let x = -132361 + 132083. Suppose 319 = 2*z + 873. Which is greater: x or z?
z
Let b = 10283827/635 + -16195. Let p = b - -1877/8890. Let l(f) = -f**3 + 4*f**2 + f - 3. Let w be l(4). Which is bigger: p or w?
w
Let t be (-28)/77 + 13892/(-33). Is -420 at least t?
True
Suppose 4*p + 2*s = 8518, 4*p - 8460 - 56 = -4*s. Let m be (-2)/(((-36)/p)/(3/(-10))). Is -37 at least as big as m?
False
Let m be (-14 - 1173/(-85))/(2/10). Which is smaller: m or 3/430?
m
Let n be 8/24 - 2*(-2)/(-12). Suppose 6*i - 2*i - 272 = n. Let w = 43 - i. Which is smaller: -26 or w?
-26
Suppose -4 = a + v, -7*a + 4*a + 4 = -v. Is a greater than -1494?
True
Let f = 5 - 2. Let i be (-28)/(-16) - 6/f. Let l = -885 + 884. Is i greater than l?
True
Suppose -52*m + 45*m = -7. Let j be 2120/728 + -5 - (-1 - 1). Is j smaller than m?
True
Let k = -462 - -458. Let z be k*(-6)/8 - 35/19. Which is bigger: z or 2?
2
Suppose 3*w - 695 = -2000. Let n = w - -436. Which is smaller: -1/667 or n?
-1/667
Let m(u) = u**3 + 6*u**2 + 3*u - 10. Let s = 209 - 214. Let r be m(s). Which is smaller: r or -7/8?
-7/8
Let r = 6164 + -6102. Is -19 equal to r?
False
Let p = 0.2 + -0.2. Let y be (-6)/(-4) + (-4410)/(-36). Let w be (6/6)/(2/y). Which is greater: w or p?
w
Let v be 0 - 579/2 - (-26)/52. Let c = v + 204. Do c and -85 have different values?
False
Let y = 6261 + -6261. Is 34/73 equal to y?
False
Suppose -l = 5*z + 6, -5 + 1 = 3*l + z. Let i be (-4)/30 - (-2)/15. Let b = -3 + i. Which is bigger: l or b?
l
Let y = -219.4 + 181. Let w = 12.6 - y. Is 2/5 smaller than w?
True
Let v be 0/(6 - (4/20)/(1/25)). Which is smaller: 1710/13 or v?
v
Let o = -289/3 + 98. Let j = 59 + -695. Let i = -634 - j. Is i smaller than o?
False
Suppose -81959*d + 81977*d + 3564 = 0. Which is greater: d or -216?
d
Suppose -5*v = -3*l + 39, 0*l + 27 = l + 3*v. Let s be (18 - l)*(-1)/(-4). Let d be 3*((-5)/50 + s). Which is smaller: d or 0?
d
Suppose 0 = 39*p + 431 - 470. Are p and -19392 equal?
False
Let v = -203768015/42 - -4852230. Let h = -3751/6 + v. Let t = -50 + 35. Which is bigger: t or h?
h
Let h(y) = 4*y**2 + 121*y + 35. Let n be h(-30). Suppose 24*c = -n*c - 4147. Which is bigger: c or -144?
c
Suppose 23397 = 102*x - 29643. Which is greater: x or -1/6?
x
Let c(h) = -5*h + 10. Let a be c(-4). Suppose -29*o + a*o + 2 = 0. Let y be (-9)/18*((o - -2) + 0). Is 45 <= y?
False
Let q be 1417/(-39)*(-3 + 9). Are q and -215 unequal?
True
Let l be 4*(-562)/(-12) - (-93 - -99). Which is smaller: 182 or l?
l
Suppose 22*v + 2*j + 4 = 24*v, -v + 4*j = -5. Are -1/2733 and v equal?
False
Suppose 2*s + 52 = -2*s. Let i be ((-32)/56)/((-7)/735). Let z be s/(26/i) - -5. Which is greater: z or -26?
z
Let l be -2*(-27)/(-12)*44/(-18). Let j(y) = 12*y + 1. Let x be j(1). Which is smaller: l or x?
l
Let p be 12 + (29/(-3))/(144723/179892). Is 0 > p?
True
Let g be (4/(-3))/(((-130)/105)/(-13)). Let a be 120/40 - -14*g/32. Which is smaller: a or -2?
a
Suppose 14*v - 30 = 12*v. Let i be (41 - 1)*(-6)/v. Let g be (-374)/276 - i/12. Is g at most -1?
False
Let f be ((-321)/(-54) + -6)/(261/(-25567)). Let n = 158/29 - f. Are n and 0 equal?
False
Let l = -204 - -206. Suppose -915 + 721 = l*i. Does -98 = i?
False
Let h = -114.71 - -120.7. Let m = h - 2.69. Let p = -2 + 2.2. Which is greater: p or m?
m
Suppose -2*t - 142 = -5*s, s = 3*t - 0*s + 213. Suppose -