False
Let g = 8834 + -13465. Is -4632 not equal to g?
True
Let q = -171 + 105. Let s = q - -65.974. Let i = s - -0.026. Is 1.9 at least as big as i?
True
Let b = 32 + -31. Let t = 53/2407 - 19/83. Which is smaller: t or b?
t
Suppose -12*g = 8*g + 20. Which is bigger: g or -6/8695?
-6/8695
Let x be (-1)/(-3) + (-570)/9. Let n = -61 - x. Let g be ((-36)/10 - 14/35)/n. Is -20/7 smaller than g?
True
Let g(r) = 5*r - 28. Let a be g(14). Suppose -a*h = -14*h. Is 3/11 >= h?
True
Let w = -405 - -400. Let k(l) = -3*l + 12. Let q be k(0). Suppose v + q = -v. Which is smaller: v or w?
v
Let y(o) = 2*o + 6. Let f be y(-2). Suppose -f*r - 3*b = 3, 4*r + r - 4*b - 50 = 0. Suppose a - 4*d = -7*d + 6, 3*d - r = 0. Is a at most -3/11?
False
Let n(h) = h**3 - 67*h**2 + 125*h - 197. Let k be n(65). Is -522 bigger than k?
False
Let m be 1/((-24)/704) + 1. Let j = -155/6 - m. Let t = 3.3 + -0.3. Is t <= j?
False
Let k = 57.9 - 55.6. Is -5/8 <= k?
True
Let b be -30 + -2 + 10 + -16. Which is smaller: b or -53?
-53
Let s(c) = 12*c**2 + 11*c + 2. Let w be s(-2). Let m be (w/8)/7*71. Let g = -60 + 95. Is g less than m?
True
Let d = 26186/18817 - -56/607. Let i = 691/403 - d. Is 30 greater than or equal to i?
True
Suppose -2*t - 3*s = -28, -20 = -2*t - s - 0*s. Suppose t = 5*n - 32. Let d(w) = 269*w + 4584. Let j be d(-17). Are n and j equal?
False
Let s = 12272/1433501 + -6/5329. Is -18 not equal to s?
True
Let x = 3971 - 3972. Is -3123 > x?
False
Let w = -218.43 + 257.461. Let p = w + -0.031. Let i = 38 - p. Which is greater: i or 3.2?
3.2
Let b(o) = 3*o**2 + 11*o - 5. Let p(t) = -5*t**2 - 21*t + 9. Let s(x) = 7*b(x) + 4*p(x). Let g be s(7). Which is bigger: 62 or g?
62
Let i = -1.47 + 0.07. Let p = i + -7.6. Suppose 0 = 5*k - f + 32 - 34, -f + 6 = 3*k. Is p greater than k?
False
Suppose 33*m = 21*m. Suppose 34*j - 29*j = m. Is -1/26 <= j?
True
Let m = -2210 - -2223. Is 4 at most m?
True
Let c = 15 - 6. Let q be (3 - 4)*20*8/(-20). Which is smaller: c or q?
q
Suppose 81180 = 9*h + 9*h. Suppose -1864 = -14*j - h. Is -188 at most as big as j?
False
Let c = -66 - 166. Let b = -216 - c. Which is smaller: b or 12?
12
Let d = -0.175 - -57.475. Is d greater than or equal to 1?
True
Suppose -z = 4*z + 5. Let q = 437/3 - 1717/12. Let h = 57/20 - q. Are h and z nonequal?
True
Let a be (-36 - 3525/(-100))/((-402866)/(-16) - 2). Which is smaller: a or -1?
-1
Let h(w) = 8*w**3 + 2*w**2 + 13*w + 283. Let r be h(-6). Which is smaller: r or -1447?
r
Let t = 110 + -109.971. Let k = 118.029 - t. Let x = -115 + k. Which is greater: -0.01 or x?
x
Suppose 6*w - 3*w = -z - 9, -3*z + 5*w = -29. Suppose z*v - 2*v = 1472. Let y = v - 122174/83. Is -1 at least y?
False
Suppose -6*t + 7*t - 5 = 0. Suppose 4*l + 4*q - 28 = l, -t*q = l - 13. Let d be (1 - 1)/(-10 + l). Is -2/57 less than or equal to d?
True
Let m be (0 - 1)/(91/(-37436)*-2). Which is greater: m or -206?
m
Let x = 1.05 - 0.47. Let j = 0.68 - x. Let s be -2 + (-18)/4 + (-14)/(-7). Which is bigger: j or s?
j
Let o(w) = 96 - 33*w + 0*w + 9*w + 31*w. Let p be o(13). Which is smaller: 185 or p?
185
Let l(q) = -71*q + 8661. Let n be l(122). Is 4/2885 less than n?
False
Let n(t) = 2*t**3 + t**2 - 6*t - 3. Let y be n(2). Suppose -5*z + 5*d + 25 = 0, -y*z = -d + 5*d - 61. Is -2 > z?
False
Let p = 172.817 + 0.183. Let w = p + -172.9. Let k = -11/4 - -21/8. Is k less than w?
True
Let u = -80 - 13. Let o = u - -93. Are o and 7.5 equal?
False
Let c = -2/8557 - 42781/17114. Is 187 < c?
False
Let p = -140351/7 - -19899. Is -150 at most as big as p?
False
Let x = 8.698 + -0.098. Let p = x + 10.3. Let c = -18 + p. Is 3 > c?
True
Let b be (-5 + (-721)/(-147))*3198. Let d = -310 - b. Is d > -5?
False
Let z be 10/(-35) + 192/(-14) - -5. Let c be (-1)/((-6)/z) - (-10)/4. Are 177 and c nonequal?
True
Let a = -3118 + 3114. Which is smaller: 199/4 or a?
a
Let y(m) = m + 7. Let p be y(-2). Suppose 2*u + 3*d = 3, p*u - 5*d - 39 = u. Let n(z) = z - 2. Let g be n(u). Which is greater: 8 or g?
8
Let v be (3 - 2) + (-76)/18. Let n be (-15)/(-2)*-2*(-5)/(-38 - -13). Which is smaller: v or n?
v
Let t be ((-140)/210)/((-1)/(-57)). Which is smaller: -52 or t?
-52
Let z = 10519 - 10519.17. Is z at least as big as -3.07?
True
Let p be 3 - (-24)/8 - 21*-2. Let h be 24/p*4*1. Let v be (14/(-36))/(2/(-6)). Which is bigger: v or h?
h
Let l = -1268 + 8896/7. Let r be 4/((-32)/28)*450/(-525). Which is bigger: l or r?
r
Let v be 1/(-9)*(-7)/(-1). Let o be ((-4)/14)/((-60)/(-42)). Is o greater than or equal to v?
True
Let l = -15711 - -15680. Let o be (-1)/(-1) + 1 + -35. Which is greater: o or l?
l
Let i(w) = w**2 + 3*w - 182. Let p be i(-15). Let r be -6 + (1224/294 - p). Which is smaller: 1 or r?
r
Let k = 40 - -112. Let o = -160 + k. Which is smaller: -36/5 or o?
o
Suppose 3*k + 4*n = 23, n = 4*k - 5*k + 7. Suppose 3*l + 2*m - 300 = 0, k*m = l - 17 - 100. Is l greater than 103?
False
Let p = 2644 - 2765. Which is bigger: -22 or p?
-22
Let a be 10/(-4)*(392/(-49) - 38/(-5)). Let s = 9568/2263 + -238/73. Let k = -208/279 + s. Is a at least k?
True
Let l be (-363610)/455 - (5 - 4 - 3). Which is smaller: l or -796?
l
Let h = 1/4137 - 1516/566769. Let t = h + -2455/4521. Is t greater than or equal to -0.6?
True
Let s = 224 + -222. Let b be (7/4)/((-15)/(-20)). Do s and b have the same value?
False
Suppose 2*q + 5*a - 67 = 70, -4*q - 4*a + 280 = 0. Suppose 3*j + q = -0*g + 4*g, -g = j - 16. Let t be g/(-4) + (-5)/40*-4. Which is greater: t or -4?
t
Suppose -28*h - 1219 = -13931. Are h and 454 unequal?
False
Let b be (-4)/48*-135 + 15/20. Suppose 0 = -3*k - 4*w - 88, -2*k + w + 113 = -6*k. Let i = k - -41. Which is greater: b or i?
i
Let m = -890 + 1564. Let t = m - 673. Are 2/293 and t non-equal?
True
Suppose 0 = 3*r + 5*c + 718, 248 = -2*r + 5*c - 264. Let u = -0.444 - -0.544. Is r equal to u?
False
Let y = 0.0591 - 28.3591. Let u = y - -79.4. Let d = 51 - u. Which is smaller: -22 or d?
-22
Let a = 100.7 - 6.7. Let k = -111 + a. Is 0.3 greater than or equal to k?
True
Suppose -459 = a - 143. Let k = a - -639/2. Are k and 5 equal?
False
Suppose 5*d + 228 = 17*d. Suppose -16 = 3*m - d. Let y = 7/4 + -17/44. Is y not equal to m?
True
Let t be ((3 + -1)/12)/(598/(-1092)). Let z be ((-6)/(-2) + -2)*1. Which is greater: z or t?
z
Let n be (-4)/(-3) + (-3225)/765. Which is smaller: -3 or n?
-3
Let r = 0 + -1. Suppose 38*w - 403*w = -20*w + 50370. Is w greater than r?
False
Let u = 6185 + -6185. Which is bigger: u or -102/397?
u
Let o = -0.85 + 608.85. Let z = o + -605.99. Which is smaller: z or 0?
0
Let j be ((-14)/77)/(4/(-2648386)). Let q = j - 120152. Let p = -229 + q. Is p greater than or equal to 2/3?
False
Let z(m) = -75*m + 949. Let g be z(11). Which is greater: 20 or g?
g
Let c = -241.17 + 241. Let a = c - -0.27. Is 5/16 bigger than a?
True
Let k = 405 - 405. Let i = -395.91 - -396. Which is bigger: k or i?
i
Let l(a) = 57*a + 734. Let t(f) = -39*f - 489. Let z(u) = -5*l(u) - 7*t(u). Let b be z(-21). Suppose 4*m + 0*o + o - 18 = 0, -4*o - 8 = 0. Is m > b?
False
Let i(h) = -h**2 - 2*h + 13. Let t be i(-4). Suppose 0 = 2*c - 1 + 11, -c - 5 = t*a. Suppose a*m - 5*m = 45. Which is bigger: -5 or m?
-5
Let p = -0.1306 - 199.8694. Is 2/3 at most as big as p?
False
Suppose 0 = 4*p + 4*u + 12, 7*p - u - 3 = 4*p. Suppose p = 6*f - 49 + 19. Let w be (-5)/f + (-8)/(-6). Which is bigger: -21 or w?
w
Let r be (74/(-8))/((-4)/(-16)). Let x be 138*(-6 + 3 - 40/(-15)). Let j = x + 8. Which is bigger: r or j?
r
Let f = 502 - 489. Is 39 <= f?
False
Let n be 6/7*28/(-6). Let k(s) = -3*s**2 - 4*s - 7. Let x be k(n). Is x bigger than -198/5?
True
Let o be 3/15 - ((-63)/(-15) + 4 - (-134 + 142)). Suppose 0 = -t + b - 4, -2*t - 16 = -0*t - 4*b. Let y be 1*(-1 - -1 - t). Is y smaller than o?
False
Suppose 4*b + 278 = 2*m, 118*b = 3*m + 121*b - 399. Let r = -43359/4 - -10976. Is m smaller than r?
True
Let w(p) be the first derivative of -13 - 10/3*p**3 - 1/2*p**2 - p. Let r be w(-1). Is r less than -10?
False
Let q be (3 + (0 - 3))/2. Let s be (9/(-12))/((-3)/(-6864)*4). Let h = 7295/17 + s. Is h less than or equal to q?
False
Suppose 10497 = 13*w + 3256. Is w <= 557?
True
Let y = 740 - 735. Suppose -y*t - 728 = -2*g - 0*g, -357 = -g - t. Which is smaller: 361 or g?
g
Let s = 24.893 - -0.107. L