Let u be b(4). Are u and t equal?
False
Suppose -1445 = 13*x + 37. Let m = x + 115. Which is bigger: 1/102 or m?
m
Let d = -144 - -126. Let l be ((-3)/(-9))/(53/d + 3). Are 66/13 and l nonequal?
True
Let n = -17674 + 18110. Does n = 8/5?
False
Suppose 455*d - 324*d - 174 = -1353. Suppose 2 - 14 = 4*z + 5*p, -20 = -4*z + 3*p. Suppose 2*o = 3*o - z*k + 13, 3*k - 44 = 5*o. Which is smaller: o or d?
d
Let t(s) = -754*s + 2371. Let a be t(3). Is 137 not equal to a?
True
Let u = -38768 + 38766. Is -6246 bigger than u?
False
Suppose 963 = -18*n + 7101. Is 341 equal to n?
True
Let u be 78918/(-52614) - (-15)/10. Is u != 0?
True
Let d = 252.4 + -252.3. Are 247 and d equal?
False
Let g be 145/15 + -4 - 2/6*2. Do -115 and g have different values?
True
Let g = -133.7 - -140. Let q = -46 + 39.4. Let a = g + q. Which is smaller: a or -4?
-4
Let i be (-15)/(95/25 - 4). Let f be ((-6)/i)/((-648)/60). Which is smaller: 0 or f?
0
Let u(o) be the second derivative of o**4/12 - 3*o**3/2 - 2*o**2 - o. Let l be u(11). Let s be 4/(-2) - (-40)/l. Is s <= -2/71?
False
Suppose -20*k + 50 = -15*k - 75. Which is greater: 15 or k?
k
Let y = 32358 + -32314. Let w = 277.482 + -233.43. Let l = w - y. Is l smaller than 0.1?
True
Let p = 64.07 - -4.93. Is 4/3 at most as big as p?
True
Suppose -33*v = 2*v - 24360. Suppose -5*b + 124 = -v. Which is greater: 165 or b?
165
Suppose 4*v + 10*v = -4*v + 18. Is -339/26 greater than or equal to v?
False
Let h be (-3)/1*3/9. Let t = -17907924139/131 + 136702883. Let v = t + -1172. Is h smaller than v?
True
Let l = 124 + -131. Let a be -5 - l/(-2)*-2. Let d be -44 + (4 - a - 5)/3. Is -45 < d?
False
Let j = 56 + -57. Let f = -145 - -145. Let g be (-12)/18 + f - (-2 + 5). Are j and g equal?
False
Let g be 12*1/(-6) + 678/38 + -7. Is 9 less than or equal to g?
False
Suppose -172*r = -168*r - 216. Let s be (-59)/2 + (-81)/r. Is s > 1?
False
Let s(w) = -12*w + 110. Let f(v) = v - 2. Let u(a) = 5*f(a) + s(a). Let l be u(11). Let t be 23 - (-2 + 1 - -2). Which is bigger: l or t?
l
Let m(g) = -177*g - 19. Let i be m(3). Suppose -374 = -6*o - 3680. Is i greater than o?
True
Let q = 9 - 9. Let a = 1272.9 - 1278. Is a bigger than q?
False
Let y = -1.59 + 1.7. Let v = y - 0.09. Let d = 0.0721 + 2.9279. Is v < d?
True
Suppose -2*q = -o + 2, 0 = q - 4*o + 18 - 17. Let k be (-3627)/52*q*(-2)/(-6). Which is smaller: 24 or k?
k
Suppose -4*p + 27 = -3*p. Let a(g) = g**3 + 12*g**2 - 8*g - 41. Let s be a(-11). Suppose 28*n = 21*n + s. Is n equal to p?
False
Let c = -1954 - -1935. Let i = -19 - -38. Let v = c + i. Is -0.5 bigger than v?
False
Let a = -2.8124 - 0.1876. Does a = -646?
False
Let d(z) = -z**2 - 9*z + 25. Let x be d(-11). Suppose 6*q - q - x*l = 4, -5*q = 3*l - 16. Let i be 56/(-480) - q/15. Which is smaller: 2 or i?
i
Let o = 11384 + -11287. Let z = -35 + 131. Is z < o?
True
Let x(g) = g**2 - 28*g - 15. Let s be x(-3). Suppose 4*d = 514 + s. Is 152 at most as big as d?
False
Let d be 3/2 + (-9)/6. Let u be ((-69)/3174)/(2/(-4) + 0). Which is greater: u or d?
u
Let n be 30/240 - (-69021)/24. Is 2876 > n?
False
Let m(p) = 3*p**2 - 22*p + 5. Let v be m(10). Suppose v + 120 = 5*q + 5*r, -2*r + 45 = q. Let d be 36 - (-2)/6*0. Which is smaller: q or d?
d
Suppose o + 5*v = 184 + 96, -4*o = -5*v - 1320. Which is smaller: 324 or o?
o
Let k = -17 - -214. Let x = 200.2 - k. Which is greater: -2 or x?
x
Let q(o) = o**3 - 4*o**2 - 5*o - 36. Let w be q(6). Let m(s) = -s**2 + s + 7. Let u be m(w). Is -19 smaller than u?
False
Let o be 0 + 2/(-1) - -47. Let n(h) = -h**3 + 4*h**2 + h - 11. Let c be n(3). Let q be 36 - -4 - c - (-5)/1. Which is smaller: q or o?
q
Let u = 10 - 14. Let n = -33246 - -33237. Which is greater: n or u?
u
Let g = 76 + -71. Suppose -g*j + j - 2*z + 310 = 0, 2*z + 306 = 4*j. Suppose 0 = 4*k + d + j, -6*d = 2*k - 5*d + 41. Which is smaller: k or 0?
k
Suppose 0 = -3*d - 24, 2*y + 21*d - 38 = 26*d. Which is smaller: -10/4907 or y?
y
Suppose -4*c + 524 - 100 = -4*h, -h - 115 = -4*c. Let d be ((-1134)/(-243))/(2/(-45)). Does h = d?
False
Let a be 2*-21*(-12)/14. Let s = a + -17. Suppose 0 = -123*b + 62*b + 463 + 757. Which is greater: s or b?
b
Let c = 0.4 + 1.6. Let j = 27062 - 26895.93. Let p = j - 166. Is p <= c?
True
Suppose 596*w + 78 = 622*w. Let p(l) = -l**3 + 6*l**2 - 4. Let s be p(5). Suppose -2*n - d = -1, 2*n + n + s = 3*d. Which is bigger: n or w?
w
Let t(c) = -c - 1. Let a be t(-5). Suppose 3*q = 3*f + 18, -a*f - f = 5. Suppose 2*z - 18 = 3*o, -2*z + q + 13 = 3*o. Do z and 8 have the same value?
False
Suppose -3*j = -2*j - 2. Let q be -7 + 0 - -7 - (-206)/j. Which is bigger: 102 or q?
q
Suppose -2*x - 175 = 180 + 193. Which is smaller: -272 or x?
x
Let z(o) = -2*o**3 + 9*o**2. Let w be z(4). Suppose -9*n + w*n = -7. Which is greater: n or -0.13?
-0.13
Suppose -35*s + 64697 = 14122. Which is smaller: s or 1448?
s
Suppose 3*a - 2*a - 4*f = -8, 3*a - 2*f - 6 = 0. Let o be (a - 500/112) + 9/12. Which is smaller: o or -0.89?
-0.89
Suppose 44*v - 40 = 39*v. Let f be v/(-12) + (-636)/(-9). Suppose 0 = 2*w - 2*g - 3*g - f, 0 = w - 3*g - 35. Is w equal to 36?
False
Suppose 8*l - 11*l + 180 = 0. Let h = 206 - 146. Do l and h have the same value?
True
Let c be (54 + 2)*(-2)/4. Let l(b) = b**3 + 9*b**2 - 9*b - 9. Let k be l(-9). Suppose k*m - 70*m + 2 = 0. Which is bigger: m or c?
m
Let m be 2/6 - 4615/5124. Let k be (15/1098*3/10)/(-1). Let g = m + k. Is 5 less than g?
False
Let k be 7 - 15/(6 - 9)*-14. Which is greater: -1/17 or k?
-1/17
Suppose -13685*i + 13688*i = 2*t + 34, -4*t - 68 = i. Let r be 1*-1 - (-217)/220. Are i and r non-equal?
True
Let r be 6724/(-1107) - (-6 - 0). Suppose 5*v + 3*k - 6 = 0, 2*v - 2 = -4*k - 8. Suppose -v*p + 4 = 7. Is r at least as big as p?
True
Let u(s) = s**2 - 5*s + 1. Let r be u(-5). Let f(p) = -2*p**3 - 15*p**2 - 17*p - 17. Let z be f(-7). Is r greater than or equal to z?
False
Suppose 34*g - 44*g = 120. Let l be 3 + (-54 - g/(-3)). Which is smaller: l or -56?
-56
Let l = 147685 + -545105343/3691. Is l <= 0?
True
Let d = -221/59263 + -775192783/7111560. Let m = -213 - -322. Let r = m + d. Which is smaller: r or -1?
-1
Let w(s) = 71*s**3 + 3*s - 8*s + 7*s**2 - 72*s**3 - 12. Let y be w(5). Suppose -145 = 2*u + y. Is -79 at least u?
True
Let g(h) = 5*h - 61. Let m be g(16). Let p(w) = -w**3 - 12*w**2 - 12*w - 14. Let y be p(-11). Let a(q) = q**2 - 3*q + 1. Let v be a(y). Is v less than m?
False
Let z = 520 - 517. Suppose -u + z*b + 358 - 109 = 0, -5*b = 4*u - 962. Which is smaller: u or 483/2?
483/2
Suppose -17*f + 9 = 9. Let g be (-3 - 91)*(f - 2). Which is bigger: 187 or g?
g
Let g be ((-316)/4)/((3/198)/((-231)/(-126))). Does -9558 = g?
False
Let g be (9/186)/(30/(-580)). Is g greater than or equal to 0?
False
Let w = 2757 - 2757. Is -6/1037 bigger than w?
False
Suppose 0 = u - 2*u - 3. Let q(a) = a**2 + 4*a + 1. Let b be q(u). Suppose 5*n - 21 = 2*d, 203*d - 200*d - 5*n + 24 = 0. Which is greater: b or d?
b
Let o = 6.3206 + -6.28. Let h = -0.1706 + o. Which is smaller: -1 or h?
-1
Let r(u) = 4*u**2 - 9. Let l be r(8). Let a = 2959/12 - l. Suppose 0 = 778*k - 803*k. Which is smaller: k or a?
a
Suppose 0 = 33*f - 294 - 201. Suppose -5*o = -2*o - 12. Suppose 20 = o*s, 2*k + 3*s - 48 = -s. Are f and k nonequal?
True
Let t be 133/4*(-1116)/42. Let u = 958 + t. Let x = -75 + u. Which is smaller: -1/16 or x?
x
Let b be (-8 - -4)*(56 - 3). Suppose -t - 10*p - 28 = 3, -5*t = 5*p + 20. Are b and t nonequal?
True
Suppose -4*q = -5*k + 4 + 8, 5*k - 5*q - 15 = 0. Which is smaller: k or 8/233?
k
Let v be (-76)/8*(-6)/51 + (-22)/187. Let t be (1/((-1)/(-26)))/11. Let l = t - 23/33. Which is greater: v or l?
l
Suppose 5*x - 122 = -147, 5*m - 4*x = 1075. Which is smaller: 38 or m?
38
Let b(f) = 3*f + 11. Let c(n) = n. Let p(s) = -b(s) + 2*c(s). Suppose -96*x + 28 = -m - 91*x, -2*x = -m - 16. Let z be p(m). Is z at most as big as -3?
True
Let d be (4/(-8)*5 + 2)*-36. Let o be d/(-3) - (3 - 9). Which is smaller: o or 2/365?
o
Let d be (-5*12/(-50))/(12/(-40)). Let s be d/(-14) + (-401)/7 + 2. Which is smaller: s or -56?
-56
Let s be (4/5 + (-4 - (-702)/210))*2. Which is smaller: -2 or s?
-2
Let c be 2/4 - 45/6. Let x(l) = -l**3 - 4*l**2 + l - 2*l**2 + 0*l - 6 + 2*l. Let o be x(c). Which is greater: 21 or o?
o
Suppos