qual to -1217?
True
Let v be 2*(-42)/(-98)*7/2. Let q = -34 - v. Let a = 41 + q. Are 7 and a nonequal?
True
Let c = -11077 - -8618. Which is smaller: -2456 or c?
c
Suppose 5*r = 5, 5*j - 12*r - 9300 = -17*r. Is 1859 greater than j?
False
Let x be 648/243 - (-15)/(-27)*3. Which is smaller: 2/9617 or x?
2/9617
Let s = -104.02 - -105. Let n = s + -13.58. Let m = n + -0.4. Do -0.2 and m have different values?
True
Let b = -71 - -71.086. Let z = 0.414 + b. Which is bigger: z or 0.02?
z
Let q(o) = -4*o**3 + 11*o**2 - 153*o - 78. Let a be q(10). Is -4510 smaller than a?
True
Let o be (-13 + 15)*18*128/228. Which is smaller: o or 21?
o
Suppose -8*r = -9*r - 4*k + 112, -2*k = 5*r - 470. Let w = r + -278/3. Let z = -0.01 + 0.67. Is w smaller than z?
True
Let c = -47 - -29. Let o be 1 + -1 + 73504/(-4128). Let w = o + 6/43. Is c bigger than w?
False
Let y be (-10608)/(4 + -16)*(-1)/(-6). Suppose -2*z + 590 = 4*q, z - 5*z - 143 = -q. Which is greater: y or q?
y
Let m = -11.327 - -11.527. Let d(t) = t**2 - 6*t + 5. Let k be d(5). Suppose k*g + 5*g = 75. Is m greater than or equal to g?
False
Suppose 0 = -0*q + 9*q + q. Let z be 3/15*-2 - (-738724)/(-290). Let h = z + 2548. Which is smaller: h or q?
q
Suppose 19*s + 2180 = -2741. Which is smaller: s or -261?
-261
Let m(k) = 25*k + 153. Let t be m(0). Do t and -4 have different values?
True
Let y be (-1176)/(-5)*25/(-50). Let w = y - -118. Is w bigger than 26/17?
False
Let i = -1805/9 + 201. Let p = -44/5 - -877/90. Let a = p - i. Which is smaller: a or 2/5?
2/5
Let z be (-1)/((-3)/21) + -2. Let f = z + 1. Let h be (-2 - -3)*(-2)/6. Which is smaller: f or h?
h
Let c = 2556.32 - 255.32. Is c <= 1?
False
Let z = 29151/154475 - -2/4175. Suppose -2*f = f. Is f smaller than z?
True
Suppose 5*h = 5*w + 540, 5*h = 3*w + w + 536. Let s(r) = 22817*r - 113979. Let p be s(5). Is h greater than or equal to p?
False
Suppose y - 36 = -3*l, -6*l + 5*y = -4*l - 7. Let t(v) = l + 12*v**2 + 7*v + 14*v**2 - 25*v**2. Let p be t(-3). Is p != -9/4?
True
Let h be (-1067)/(-77) - (-2 - -16). Which is bigger: h or -0.31?
h
Let p(x) = -x - 5. Let i be p(-8). Suppose t = -3*o - 7, -t + o = -2*t - i. Let s = 2/275 - 279/550. Is s at most as big as t?
False
Let v = -11171/39 + -939/13. Let r = 369 + v. Is 9 less than r?
True
Suppose -25*u + 5*h = -19*u + 1351, 0 = -3*u - 4*h - 682. Is -227 equal to u?
False
Suppose 5*y + 2*n = 14, -3*n + n + 4 = 0. Let f(v) = 7 - v + 0*v + 3*v**y + 2*v. Let b be f(3). Is 36 at most as big as b?
True
Let t be (-1754)/3*1*-1*66/22. Are -1/3 and t equal?
False
Suppose 329*p + 41902 = 2422. Are -100 and p equal?
False
Let s = -4845.9 - -4846. Which is bigger: 8.55 or s?
8.55
Suppose 5*u - 25 = -5*h, 2*u - 8 = -4*h + u. Suppose -2*m - 4*p = 1784, 14 = -2*p + 4. Let v be (-40)/12 + 3 - 240/m. Which is smaller: h or v?
v
Let u(j) = -14*j - 42. Let w be u(10). Let b be (-47)/(-72) - (w/(-63))/(-13). Which is smaller: 1 or b?
b
Let d be (-204)/1243 - 18/(-99). Let t = 365/1469 - d. Let f = t - -37/65. Is f greater than -1?
True
Let c = 1590 + -3177/2. Is c greater than or equal to 590?
False
Let s(u) = 4*u - 10. Let l(i) = -3*i + 9. Let q(x) = 2*l(x) + 3*s(x). Let m be q(4). Is m less than or equal to 12?
True
Let m(h) = 2*h**2 + 23*h - 308. Let s be m(8). Which is smaller: s or 26/9?
26/9
Let g(k) = k**3 + 8*k**2 + 7*k + 8. Let w be g(-7). Suppose -9*t = -11*t - 8*t. Suppose 4*p - 5*p = t, -5*a + 30 = -2*p. Is w at least a?
True
Suppose 24 = -50*s + 56*s. Is s smaller than 31/6?
True
Let m be (1 - 46/(-10))/(158/16195). Let a be (4*3/(-6))/(28/m). Do 0 and a have the same value?
False
Let n = 7.13 - -0.67. Let y = n + -7.71. Is y > 1?
False
Let p(q) = -12*q**2 + 12*q - 4. Let r be p(0). Let o = 1973/20 - 405/4. Which is smaller: r or o?
r
Let l = -130 + 525/4. Suppose 0 = 5*g - 2*g. Is l not equal to g?
True
Suppose 514*i - 536*i = -22. Which is smaller: i or -2/3085?
-2/3085
Let i(t) = 180*t - 4679. Let c be i(26). Which is bigger: c or -48/235?
c
Suppose -128*c + 129*c - 10 = 4*g, 45 = -4*c - g. Is -112/11 smaller than c?
True
Let j(z) = z**3 - 16*z**2 - 12*z + 23. Let t be j(17). Suppose t*i = 105*i + 9. Is 0 != i?
True
Let p = 60 - 59. Let l be ((-27)/(-15) - p)/((-298)/(-10)). Let x = l - -190/4023. Is x smaller than 0?
False
Let h(d) = d**2 - 9*d + 13. Let f be h(4). Is 41/6 smaller than f?
False
Let p(m) = 2*m**3 - 12*m**2 - 11*m - 2. Let s be p(7). Suppose s*r + 12 = -7. Is r greater than or equal to -1/91?
False
Let a be 2*1/6*(-3 + (-50571)/(-16911)). Is 1 not equal to a?
True
Let o = -0.0269 + -161.3731. Is o less than -0.2?
True
Let a = 3663 + -3656. Are 64 and a unequal?
True
Let x = -369 - -429. Let m be (-2)/26 + x/(-65). Which is smaller: m or -2/939?
m
Let q = -573 + 563.4. Let t = 191 + -193. Is q at most t?
True
Suppose -12 = 3*s - 4*s. Let w(r) = r**3 - 11*r**2 - 11*r - 19. Let q be w(s). Let c be -3 + q + (-1 - -3). Is c < -8?
False
Let d = 725 - 806. Is d greater than or equal to -81?
True
Suppose 9*p = 4*p + 3*m - 1, 5*p + 7 = m. Let y be (-2)/((-1144)/(-148)) - (-4)/22. Let k = y - 101/39. Which is bigger: p or k?
p
Suppose 26*u - 11*u - 6956 = -32*u. Is 157 smaller than u?
False
Let j(f) = -f**2 - 9*f + 20. Let p be j(-11). Let a = -7992 - -7992.046. Which is smaller: p or a?
p
Suppose -2*q + 886 = -4*w, 3*q - 2*q = -1. Is w at least -9?
False
Let p be 299/234 - (-4)/18 - 75/30. Is -2/2207 less than or equal to p?
False
Let n = -6438 + 6360. Is -23 smaller than n?
False
Let k be 331 + (-8)/(-12)*-4*18/6. Which is bigger: k or 317?
k
Let m = -20.512 - -17.6. Let x = m - 0.088. Which is smaller: -7 or x?
-7
Let n = 32610 - 32609. Which is smaller: n or -0.00974?
-0.00974
Let w be (-385 - -2040)/(1/3*5). Which is smaller: w or 994?
w
Let r = -147.877 + 145.3. Let k = -0.423 + r. Is 1/4 > k?
True
Let o = -105 - -105.22. Let p = o + 0.68. Is p at most -0.3?
False
Let t = 19 + -34. Let h = 50 + t. Let r = 275 - 241. Which is bigger: h or r?
h
Let o = 1.75 - -1.76. Let u = 164.51 - o. Which is bigger: 0.2 or u?
u
Let v(t) = -t**2 + 40*t + 38. Let w be v(42). Which is smaller: w or -47?
-47
Let s(a) = -4*a**2 + 67*a + 462. Let d be s(22). Is d > 4/1941?
False
Let q(z) = -8*z - 39. Let u be q(-4). Let m be u + -13 + 7 - -8. Is m >= -5?
True
Let y be 2*-1 - 400/620*(-685)/2. Let c be (-656)/3 - 3/9. Let d = y + c. Is 0.2 <= d?
False
Let a be 2/9 + 16 + 438/(-27) - 0. Which is smaller: 1/109 or a?
a
Let l = -35245369978/2664255 - -3187960/241. Let x = -4/737 + l. Is -2 greater than or equal to x?
False
Let d be (-80)/(-100)*(-1)/(-2) + 3924/(-960). Is d bigger than -5?
True
Let o be (-869)/(-99) - (-4)/18. Suppose x - 5*m = o, -5*x - 3*m + 20 = 31. Is x less than 2.1?
True
Let r = -9 - -5. Let u = 3 + r. Let t be -1 + 1 - (-4 + 1/u). Which is bigger: 6 or t?
6
Let u(z) = 2*z**3 + 4*z**2 - z - 3. Let d be u(-2). Let w be (-6 - (-3865)/645)/(d/9). Which is greater: w or 0?
w
Let f(t) = 291*t + 255. Let j be f(15). Suppose -7*w = -40*w + j. Is 139 at least w?
False
Suppose -558 = -2*j - 14*b + 13*b, 3*j - 816 = 2*b. Do 277 and j have different values?
True
Let y be (-7)/7 + -12 + 12. Is y greater than or equal to 4/41?
False
Let d(l) = -28*l. Let q be d(-1). Let o be 4*(34/q - (4 - 3)). Let y = o - 11/21. Which is bigger: y or 1?
1
Let f = -959 - -1422. Let z = -463.11 + f. Which is smaller: z or -0.17?
-0.17
Let c be (-1006)/7 + 15 + (-1498)/98. Which is greater: -140 or c?
-140
Let g = 93 + -93.015. Let w = 0.005 - g. Do -1/3 and w have different values?
True
Let j = -418 + 196. Let u = 211 + j. Does -3 = u?
False
Suppose -31*j + 7*j = -8*j. Which is greater: -300.6 or j?
j
Let x be (-59310669)/9042 + 6/(-4). Let t = 6561 + x. Which is smaller: -1 or t?
-1
Let v = 2263.8 + -2237.7. Is v at most as big as 0.2?
False
Suppose 0 = 27*m - 73 + 181. Let h = 35 - 40. Which is greater: h or m?
m
Let h be ((-20)/(-14))/(18/25704*24). Which is bigger: 52 or h?
h
Let r be (-4)/(-10) + (18 + -10 - -2). Let y be (1/9)/(20/(-1832)). Let a = y + r. Which is smaller: 1 or a?
a
Let y = -19423/333645 - -16/1131. Which is bigger: 0 or y?
0
Suppose -2*v - 2*q = -26, -7 - 26 = -v - 5*q. Let y be v/2 + (-25 + -7)/8. Is 4/85 bigger than y?
True
Let w = 1.3237 + 0.6763. Which is smaller: -396 or w?
-396
Let t = 0.36 