 or equal to g?
False
Let p = -191.03 - -192. Let n = 60.97 - p. Let s = -58.8 + n. Which is smaller: s or 0.1?
0.1
Let b = 407.67 - 43.67. Is 1/4 less than b?
True
Let a(g) = 4*g**2 + 26*g + 8. Let f be a(-11). Suppose -30 = 11*m - f. Which is greater: m or 120/7?
120/7
Let b = -5615 + 5618. Which is smaller: 2/105 or b?
2/105
Let l = -1549/10329 - -9/313. Let s = 1 + 0. Which is smaller: s or l?
l
Let w = -0.0499 + 0.0439. Let y = -0.106 - w. Which is smaller: y or -2?
-2
Suppose 8 = 4*x - 4. Let r be (-36)/48 - (-3 + (-140)/16). Let k be (-2 + r - 4) + 0. Which is bigger: x or k?
k
Let w = 70353/8 + -8831. Which is smaller: w or -38?
-38
Let g = 21312 + -21312. Let m = -5 + 18. Which is greater: m or g?
m
Let z(d) = d**3 - 11*d**2 + 13*d - 9. Let i be z(10). Let r = -41 + i. Let h be 4 + 1*-23*(-1 - -2). Which is smaller: r or h?
r
Suppose -48048 = 7*j - 18*j. Is j less than or equal to 4367?
False
Let v be ((-2)/(-8))/((-15)/(-300)) - -151. Which is greater: 15 or v?
v
Let p be (2/(-932))/(5/50 + 91/(-1560)). Which is greater: -1 or p?
p
Let p = -10 - -9. Let f be 1/3 - 1140/2016. Let b = -1283/5768 - f. Does p = b?
False
Let j = -8/857 - 649/22282. Which is smaller: j or -15/14?
-15/14
Let h be 977/13 - 3*18/351. Is 69 bigger than h?
False
Suppose -25*k = -101*k + 117496. Is k >= 1545?
True
Suppose 6*p - 55 + 49 = 0. Let l be (-1)/(-34)*140/(-30). Which is greater: l or p?
p
Suppose -4*p + 4*h - 2*h = 10038, -12567 = 5*p + 4*h. Let b = 37679/15 + p. Suppose 0 = 3*n - 2 - 1. Which is greater: n or b?
n
Let t be 39/6 - (2 + (-2)/4). Suppose 2*n = t*n. Let u = 43 - 1031/24. Which is bigger: u or n?
u
Let v be 1*(-1*23/15 - -2). Let k = v - -16/5. Let z be ((8/3)/(-8))/((-1)/3). Are k and z non-equal?
True
Let s = -3 + 4. Let d(y) = 18*y**2. Let i be d(s). Suppose 0 = -14*a + 2750 - 2512. Is a not equal to i?
True
Let w be -6 + 2 - (5 - 7)*38. Suppose 3*i = 2*v + 67, -v = 3*i + w - 43. Let l = -60 - -29. Is l < v?
False
Let a = 9501.8 - 10651. Let b = -1007 - a. Let q = b + -142. Which is smaller: q or 0.009?
0.009
Let j = 406 - 426. Let d be (-4)/32*j*(-327)/(-45). Which is bigger: d or 17?
d
Let o = -27.02 + 27.02. Which is bigger: -27723 or o?
o
Suppose -2 = -2*g - 2*i + 2, 4*i - 4 = 0. Let t = -4346/5 - -871. Is t greater than g?
True
Let b = 500.2 - -41.4. Let t = -560 + b. Which is greater: 0 or t?
0
Let x(w) = -146*w**3 - 13*w**2 + 39*w + 10. Let m be x(3). Is m greater than -3931?
False
Let m be 23/(0 + (-5)/25). Let h = -25 - m. Let u = -91 + h. Which is smaller: u or -2?
-2
Let l = 4585 - 59638/13. Which is greater: l or -3?
l
Let l = -0.392 - -0.395. Which is smaller: 16 or l?
l
Let c = 4.65 + -1.55. Which is greater: -52 or c?
c
Let l = 17089 - 16866. Let t = -51/2 - -25. Which is bigger: t or l?
l
Let i be (-13954)/(-644)*(-133)/1254. Let f = i + -30/253. Which is smaller: f or -1?
f
Let v be 0*((-2)/(-2) - 0). Let c be (6/5)/(28 - (594/6)/11). Which is smaller: v or c?
v
Suppose -13*x + 10*x + 2*u = 2, 5*x + 15 = 5*u. Is x <= 795?
True
Let f = 101.9 - 107. Let x = -34.9 - -38. Let p = x + f. Which is smaller: p or 2/7?
p
Let v(r) = -30*r**3 - 7*r**2 - 15*r - 15. Let a be v(-2). Let m = -464 + 692. Which is bigger: m or a?
m
Let i = -345.9663 - -346. Let k = i + 0.0663. Is k not equal to 245?
True
Let n be (-161637)/(-364) - (616/32)/11. Which is bigger: n or 442?
n
Suppose -t + z + 7 = 0, -4*t + 5*t = -3*z - 1. Suppose -37*o - t*s - 77 = -33*o, -91 = 5*o + s. Do o and -115/6 have different values?
True
Let r(x) = -25*x - 1012. Let j be r(-14). Is j less than -660?
True
Suppose 0 = 4*g + 2*i - 50, 5*i - 16 + 3 = -2*g. Suppose -4*n + g*n = 10. Which is smaller: 2/67 or n?
2/67
Let m = -1886 - -1248. Is -638 less than or equal to m?
True
Let f = -196 + 196.058. Let s = -0.318 + f. Let h be 1/(-5) + (-24)/(-20). Is s < h?
True
Let z(v) = 2*v**3 - 12*v**2 - 2*v + 7. Let p = -92 + 98. Let n be z(p). Are n and -14 equal?
False
Let h(c) = -22*c + 78. Let z(r) = -2*r. Let t(a) = -h(a) - 5*z(a). Let o be t(-5). Is o > -239?
True
Let w = 914.7 + -1181. Let a = -266 - w. Is a > 0.049?
True
Suppose -u + 479 = 42. Let p = 453749 - 453749. Which is greater: u or p?
u
Let v(x) = -29*x + 5. Let r be v(0). Suppose j - 100 = -2*u + 4*u, j - 93 = -r*u. Which is greater: 97 or j?
j
Let l = -1012.8 + 169.8. Let w = 767 + l. Which is bigger: 0 or w?
0
Let f = 103 + -69. Suppose 3*m + 5*q - 4 = 0, 4*m - 17 = 11*q - 6*q. Let g be m/7 + 1347*9/378. Which is smaller: f or g?
g
Suppose -2380 = 478*c - 483*c. Let p = c - 474. Which is bigger: p or 14/17?
p
Let b be (1612/13)/(-31) - 1300/(-46). Is b greater than 24?
True
Let d = -3925 - -3563.8. Let t = d + 361. Is -22 > t?
False
Let s = 8900 + -9246. Which is smaller: -1/4 or s?
s
Suppose -2*y + 6424 = 4*q, -2*q - 369 + 3589 = 3*y. Let u = q + -4966/3. Let k = -4768/93 - u. Is 0 greater than or equal to k?
False
Let d(b) = -56*b - 148. Let j be d(-4). Let l = j - 121. Is -45 <= l?
True
Suppose 0 = -5*y + a + 109, -5*y + 2*a = -53 - 60. Let j = y + -16. Suppose 22 - 22 = -11*w. Which is smaller: j or w?
w
Let p be (-1 - -2)*46417/(-36803) + (-12)/(-78). Are -2 and p equal?
False
Let u = 12861 - 12861.0981. Is 0.8 bigger than u?
True
Suppose k + 3*k = 44. Let v = 13/480 - -69911/6240. Is v greater than k?
True
Let q = 1.72 - -14.04. Let b = -1038.24 + 1038. Let j = q - b. Is -1/3 at least as big as j?
False
Suppose -41 = a + 9*b - 7*b, 3 = -3*b. Which is greater: a or -52?
a
Let t = -53.496 - -0.496. Let v = -54 - t. Let d = -5 - -1. Which is bigger: d or v?
v
Let b = 985 - 977. Let h be (-3)/b - 25487/(-616). Is 30 bigger than h?
False
Let g be 3 - (-6)/(-579) - (-9)/(-3). Let m be ((-122)/(-30))/((-1158)/(-54)). Let t = m - g. Is t > 6/7?
False
Let d(p) = -p**3 + 14*p**2 - 10*p - 44. Suppose -2*j = 5*a - 69, 0 = -5*a - 0*j - 4*j + 73. Let s be d(a). Is -5 bigger than s?
False
Let q = 0.393 + 15.707. Which is smaller: q or 1?
1
Suppose 0 = -3*o + 97 + 20. Suppose 0 = i + 3*j - 59, -455*i + 460*i = -3*j + 223. Do i and o have the same value?
False
Let c = -70 + 34. Let o = c - -30. Let a = o + 8. Is a at most 12?
True
Let a = 41.82 + -37. Let h = 19.08 + a. Let c = h + -23. Is c < 4?
True
Let p = 1666 + -1666. Which is smaller: -6/5327 or p?
-6/5327
Suppose 29*z - 4 = 28*z. Suppose z*p = -r + 1 - 0, -5*r + 5 = p. Let l be ((-2)/8*0)/r. Is l at least -3/34?
True
Let s = -759 - -305. Let a = s - -478. Which is smaller: -7 or a?
-7
Let c = 3732 + -3306. Is -4 bigger than c?
False
Let n = -29/234 - -1717/14274. Suppose -2*q - 4 = -2. Which is smaller: n or q?
q
Let s = -97 - -100. Suppose s*h = 566 + 712. Let y be (h/(-84) - -5)*-1*4. Is y bigger than 84?
False
Let o be (-97 + 103)/(1049 - 4/2). Which is greater: -1 or o?
o
Let h(x) = 4*x + 7 - 3 + 0 - 3*x**2. Let l be h(-1). Let r be l/(-3 + 2 + 2). Which is smaller: r or -10?
-10
Let n = 94 + -94. Suppose -16*p + 208 = -n*p. Is p at most -2?
False
Let g = -0.1907 - 12.8093. Which is greater: -0.64 or g?
-0.64
Let h(g) = g**3 + 4*g**2 - 4. Let j be h(-3). Suppose 0 = 2*o - 0*o + s - 3, -j*s + 25 = 0. Let x be (9/(-78))/((7/(-2))/7). Are x and o non-equal?
True
Suppose 122 = 2*o - 32. Suppose -j = -y + o, 4*y - 3*j = -6*j + 294. Let p be 610/y + 6/(-45). Which is bigger: p or -3/4?
p
Let t(p) = 5632*p - 39423. Let k be t(7). Let q be 4*(6/4 + -1). Suppose q*b = -b + 9. Are b and k equal?
False
Let x = 5348 + -5288. Is x greater than or equal to 1?
True
Let r be 75544/(-38) + (0/(-2))/(-3). Is r < -1989?
False
Let x = -3.76 - -2.23. Let f = x - 0.47. Which is smaller: f or -1.1?
f
Let o(c) be the third derivative of -c**5/60 - c**4/4 + c**3/3 + 32*c**2. Let d be o(0). Suppose -d*a + 9 = 7. Which is greater: a or -1/5?
a
Suppose 3*n - 35 - 28 = 0. Let k = 79 + -74. Suppose k*v + 5*s - 95 = 0, -5*s = -v + 3*v - 32. Is v < n?
False
Let q be 26/(-65)*10/1146. Let y = -577/1146 - q. Which is greater: y or 1?
1
Let r = -4531 - -4560.27. Let d = r + 0.73. Let b = d - 30.1. Which is smaller: b or -0.04?
b
Let r be ((-3)/9 - -1)/2. Suppose -536*n + 975 = 1511. Is n smaller than r?
True
Let x = 0.5169 - -38.5271. Let d = x + -39. Let p = d + 2.956. Which is greater: -5/2 or p?
p
Suppose -49*y + 16 = -47*y. Suppose 0 = s - y*s - 266. Suppose l = 4*l + 111. Which is big