Let u = -93 + 250. Let f = 4940 - 4783. Does u = f?
True
Let q = -320187/61 + 5249. Is q < 0?
False
Let h be (-45 + -4)*(5 - (-2 + 2)). Let j = 241 + h. Is j at least as big as -0.17?
False
Let w = 457436/6015 - 394/401. Which is smaller: 74 or w?
74
Let n = 192 - 14017/73. Let z = 220/101 + -88381/44238. Let i = z + n. Which is smaller: 1 or i?
i
Suppose 0 = 4*k + 1037 - 1041, -2*p - 3421 = -5*k. Is p > -1705?
False
Let k be ((-12)/10)/(((-27)/28335)/3). Which is bigger: k or 3779?
3779
Let g be (-3 - 53/(-21))*(-18)/(-30). Let y = 125.096 - 0.096. Is y less than g?
False
Suppose 128*a = -3635 - 1997. Which is smaller: a or -661/15?
-661/15
Let j be (-9)/((-882)/(-28))*-1. Let b be -1 + -14 - 6/18. Is b at most j?
True
Let b = 1523 + -162960/107. Let q(y) = y - 1. Let p be q(-3). Let o(v) = -v**2 - 5*v - 4. Let u be o(p). Is u greater than b?
False
Let t = -5055218 - -25174683/5. Let u = 20219 + t. Is u <= -62?
True
Let a be -723*(-25)/(-45)*3. Are a and -1204 unequal?
True
Let t = 499.1005 + -0.1005. Let h = 498.9 - t. Is h equal to 2/155?
False
Let c be (1528/20)/(31/(-155)). Let h = 375 + c. Let b = 560 - 2271/4. Are h and b nonequal?
True
Let d be 2/((5 - 3) + 0 + 0). Let z be (-9)/(-36)*-4 + d/1. Is z at least -2/9?
True
Suppose x = -5*t + 2, 3*x - 3*t - 3 - 3 = 0. Let w be 54/9 + 4*(-2)/x. Suppose -9 + w = p. Is -7 >= p?
True
Let d(r) = 118*r + 467. Let v be d(-2). Is v < 239?
True
Let z be (51/(-85))/((-1)/(-10)). Let g be 4/z*(3 - 21/14). Which is smaller: 12/157 or g?
g
Suppose 0 = 2*c + 3*x + 10, 19*c - 18*c - 4*x = 17. Which is smaller: c or -5/671?
-5/671
Let a(f) = 2*f**2 - 4*f + 2. Let q be a(1). Let i be (-30)/5 + -22 + q. Which is smaller: i or -113/4?
-113/4
Let p(z) be the first derivative of z**4/4 + 4*z**3 - 13*z**2/2 - 4*z + 198. Let u be p(-10). Which is greater: 324 or u?
u
Let z = -31 + -24. Let a = z + 97. Suppose -54 = a*l - 44*l. Do 26 and l have different values?
True
Suppose 4*r = -g + 44, 4*r - 5*g - 101 = -33. Let u(c) = c**2 - 12*c + 37. Let p be u(r). Which is smaller: 2 or p?
2
Let f(r) = 8*r - 2. Let p be f(-6). Let n be p/(-18) + -5 + 2. Let y = -153 + 154. Which is bigger: n or y?
y
Let g be (-24)/9 - 4819/(-1896). Let i = -56 + 62. Which is smaller: i or g?
g
Let d be 2 - (2 + 2/68). Let u = d - -73/170. Let g = 4853 - 4861. Which is smaller: u or g?
g
Let k be (-2)/36*(-1 + 21). Let h be (714/4 - -1)/(4/8). Let r = h + -360. Which is smaller: k or r?
k
Let j be 2*(-7)/((-9688)/3). Let q = j + -3529/15916. Let l(c) = -c + 7. Let z be l(7). Is q < z?
True
Suppose -5*v - 106 + 676 = -o, -3*v - 5*o + 314 = 0. Let r = -118 + v. Let w be 3*3/(-9)*r. Which is smaller: w or 4?
4
Suppose 67*b + 31*b = -3136. Let r = -43 + 13. Which is greater: b or r?
r
Suppose -u + 17 = 3*r, 0 = u + u + 3*r - 28. Let l = u + -9. Suppose 5*c + 5*d = 10, 0 = l*c + 2*d - d. Is c != -1/2?
True
Suppose 3066 = 4*u + 746. Suppose -142 = -6*k - u. Is k != -71?
True
Let k(d) = -d**3 - 2*d**2 - 23*d + 141. Let w be k(10). Is w bigger than -1289?
False
Let b = -33 + 51. Let u be 10/(-45) - 50/b. Let l = -110 - -113. Which is smaller: l or u?
u
Let t be (-1308)/9 + (-2)/3. Let n = -53560 - -53415. Which is smaller: n or t?
t
Let m = -780859/865 - 63/865. Which is smaller: m or -903?
-903
Let h be (-97 + (3 - 0))/1. Let p = h - -61. Let t be 262/110 - (1 - (-27)/p). Which is smaller: t or 3?
t
Let w = -263 + 259. Let s be (2/w)/(8/((-40)/125)). Does 0 = s?
False
Let x = 34.214 - 30.214. Does x = 5.092?
False
Let m be (4/30)/((3400/125)/(-34)). Which is smaller: -3044 or m?
-3044
Let u = -2/11963 + 24296/2213155. Suppose 4*k + 3*g - 2*g + 7 = 0, -k = -2*g - 5. Is u greater than k?
True
Suppose 4*b = 12*b - 112. Let c be 3 - (-2*(-1)/(-2) + b). Is c less than -10?
False
Let k = 774724 + -774742. Suppose 0*t + 78 = -5*o - 2*t, -3*o + t - 38 = 0. Do k and o have the same value?
False
Let d = -718.4 + 679. Let z = d + 39.3. Which is bigger: z or -1/119?
-1/119
Let j be (-231)/(-63)*30/2. Suppose -2*c - 417 - j = 3*t, 3*c + 786 = -5*t. Which is greater: t or -0.1?
-0.1
Suppose 4*w + 4 = -2*q - 0, 10 = -5*q + 5*w. Let x = -22 + 85. Suppose -3*u - x = -3*g, u - 101 = 6*u - 4*g. Is u less than or equal to q?
True
Suppose -8*z = -1639 + 623. Let c = z - 119. Let q be (c/10)/((-3)/45). Is q bigger than -12?
False
Let t = -36 + 22. Let d be (-70)/(-4)*(-48)/t. Suppose -m - 22 + 81 = 0. Which is smaller: m or d?
m
Let c = -5616 - -5855. Which is greater: c or 959/4?
959/4
Let y(m) = m**3 - 9*m**2 + 2*m + 6. Let d be y(6). Which is bigger: d or -84?
-84
Let v be (-9)/(-1104)*(-12)/(-90). Which is greater: v or 1?
1
Let z = -568 - -563. Let t be (z + 11/2)/(-216) - 0. Is -1 at least as big as t?
False
Let l be ((-89)/(8900/1080))/((-16)/10 - -2). Is -0.2 greater than or equal to l?
True
Let k = 0 + 0. Let p(s) = s**3 + 5*s**2 + 6*s - 3. Let n be p(-3). Let q be (55/(-15) - n)*(-2)/(-11). Which is bigger: k or q?
k
Let x(s) = -4*s**2 + 14*s - 3. Let d be x(4). Which is smaller: 1 or d?
d
Let p(o) = 2*o**2 - 5*o - 4. Let q be p(4). Suppose 6 = -7*c - q. Let y be 4/(-40)*15/c. Which is bigger: y or 0.1?
y
Let v(f) = 18*f - 4*f - 6*f - 9*f + 49. Let z be v(-32). Is z equal to 82?
False
Let d = -36545658/19 + 1917856. Let a = d - -5601. Is 1 greater than a?
False
Let u(m) = 2*m**3 + 38*m**2 + 171*m + 37. Let w be u(-12). Which is bigger: -27/1234 or w?
w
Let r(p) = 2*p + 12. Let z be r(8). Let c = z + -34. Let u be (65/(-39))/(2/c). Is u < 5?
False
Let a be (11160944/(-59285))/(4324/(-10)). Let c = -195111055/3337 + 58469. Let j = c + a. Is -1 < j?
True
Let a = 0.98 + 0.02. Let z = -517.2 - -491.2. Which is smaller: z or a?
z
Let p = 111 + -141. Let l = p + 29. Is l not equal to -0.042?
True
Let t = -2.772 - -3. Let c = t - -1.772. Which is bigger: c or -42?
c
Suppose 5*c + 7*y = 8*y + 28559, 5*c + 8*y = 28478. Which is greater: 5709 or c?
c
Suppose -2*z + 4*f - 7 - 3 = 0, -3*z + 4*f - 23 = 0. Let d = -6 - z. Let k = 0.2183 - 0.1983. Which is bigger: d or k?
d
Let k be (52/(-312))/((-1)/5958). Which is greater: 992 or k?
k
Let i be 4/(-46) + (-572)/299. Let j be 0 - i - 2 - -2. Which is smaller: j or 20?
j
Suppose 0 = 99*z - 136*z - 407. Let j be (73/(-5))/((-6)/(-5)). Which is smaller: z or j?
j
Let b = 19 + -9. Suppose 74*d - 72 = -2*y + 69*d, 2*y - 56 = -d. Suppose -y*s = -388 + 102. Which is greater: b or s?
s
Let s = 0.083 + -100.333. Let v = 0.75 - s. Is v smaller than 0?
False
Let l(u) = -u**3 + 4*u**2 + 9*u - 11. Let f be l(6). Let q = -25 - f. Let k be ((-4)/(-20))/(q/3). Is k <= -1?
False
Let l(g) = g**2 - g - 1. Let u be l(-1). Let w be (-2)/(-8)*(1 - 2277). Let o = w - -7967/14. Is u at least o?
True
Suppose -576 = 24*c + 1584. Let b be 88/(2/(0 - 2)). Is c equal to b?
False
Let m = 12165 - 596021/49. Is 0 >= m?
False
Suppose -107*m = -126*m + 32471. Is m bigger than 1710?
False
Suppose 5*z - 3*a = a - 3475, 0 = -3*z + 3*a - 2088. Which is smaller: -2767/4 or z?
-2767/4
Let z(t) = t**2 - 431*t + 12400. Let h be z(31). Let k = 20904/17 - 1230. Is h greater than k?
True
Suppose 4*d = -4*a + 9*a + 17, -5*a = 25. Let k be (d - -1)/((-2)/6) + -3. Which is smaller: k or -8/139?
-8/139
Let p = -11 + 16. Suppose 2*y - p = 5*t, 0 = -2*t - t + 4*y - 17. Let w(b) = -b**3 - 10*b**2 + 95*b + 8. Let g be w(6). Are g and t nonequal?
True
Suppose 0 = -78*g + 30*g. Which is smaller: -1/823 or g?
-1/823
Let m(l) = -2*l + 10. Let p be m(-9). Suppose u - o + 2*o = -p, -4*u = 5*o + 114. Let c be (-12)/60 - u/30. Is -3/11 greater than c?
False
Let w = -0.0695 + 2.0695. Which is smaller: w or 2925?
w
Let v = 1030.26 + -1034.4. Which is greater: v or -13?
v
Let l = 0.006 + 66.994. Let q = -0.068 + -32.932. Let j = q + l. Are j and -1 nonequal?
True
Let z = 364 + -341. Suppose -2*p = 5*g + 16, z*g = 20*g. Which is smaller: p or -7?
p
Suppose -2*i + 5*p + 39 = 0, -5*p - 64 = -4*i - 1. Let h be 1 - 2668/i - 11/(-33). Which is greater: h or -222?
h
Suppose 1347 = 126*r - 289 - 884. Which is greater: 23 or r?
23
Let j be 43/(4 - 52/12). Suppose 0 = -194*p - 11209 - 13623. Are j and p equal?
False
Let f(c) = c**2 + 8*c - 18. Let w be f(-10). Let p be 9/(-22) - w/(6/(-3)). Which is bigger: 0 or p?
p
Let y(m) = m**2 - 19*m + 17. Let p = 45 + -27. Let w be y(p). Let k be (18/(