
True
Suppose 0*s = -3*s + 96. Let u = -2110 - -2109.9. Does s = u?
False
Let q = 348 + -96. Is q smaller than -2/9?
False
Let b = 94.598 + -1.598. Is b > -6/11?
True
Let h = 18.7 - -3.3. Let i = -0.53 - 20.47. Let s = i + h. Is -4 at least s?
False
Let v = 104959/21 + -4993. Is 6 >= v?
True
Let m = 175 + -66. Let n = -105 + m. Is 23/5 greater than n?
True
Suppose 68*p + 2088 = 65*p. Which is smaller: -695 or p?
p
Let x(y) = y**3 + 3*y**2 + 2*y + 2. Let n be x(-2). Let g be (-1)/n*(-98 + 6). Let q be g/4 + (-1)/2. Is q at most 11?
True
Suppose 2*h + y = 4*y + 99, 15 = -5*y. Let j be (-6)/4*(-12)/h. Suppose -2485*u + 2 = -2487*u. Which is smaller: j or u?
u
Let i be 3 + (2 - 0 - 6) - -7. Let g be -1 - (0 - (-93)/(-15)). Is g smaller than i?
True
Let j = 74 - 73. Suppose 0*o = -3*m - 5*o + 22, 0 = 4*m + o - j. Let t be ((-2)/7)/(99/21). Which is bigger: m or t?
t
Let s(z) = -z**2 + 5*z + 11. Let m be s(6). Suppose m*y - 5*k - 33 = y, -y + 5*k + 27 = 0. Let r be 4/7*1/y. Is r > -1?
True
Let l = -10 - -14. Let t be 7 - 6/l*2. Suppose 5*k + 16 = -t. Is -4 >= k?
True
Let q be (-27)/5 - ((-72)/(-20) + -3). Let a be (11/(-924))/(q/(-8)). Which is bigger: a or 1?
1
Let c = -974528/31 + 31439. Which is smaller: c or 2?
2
Suppose 21 = 6*z - 3*z. Let d be 6/(-18) + z/12. Is d smaller than -0.2?
False
Let z be -6*((-188)/(-8) - 2). Which is bigger: z or -128?
-128
Let u = -1487388 + 28254165/19. Let q = u + 327. Which is smaller: -1 or q?
-1
Let q(n) = -6*n - 36. Let u be q(-15). Suppose -11 = 53*c - u*c. Which is bigger: c or 58/5?
58/5
Let j be (-8 - -5)*(-4)/(-14). Let r(p) = p**3 - 7*p**2 - 7*p - 13. Let y be r(8). Let i(w) = -w**3 - 7*w**2 - 9*w + 4. Let o be i(y). Which is smaller: o or j?
o
Let y(z) = z**2 + 20*z + 63. Let l be y(-9). Which is bigger: l or -33?
-33
Let g(n) be the second derivative of n**4/12 + n**3 - 4*n**2 + 31*n + 1. Let f be (14/(-6))/((-1)/(-3)). Let i be g(f). Which is smaller: -6/11 or i?
i
Let l = 0.1 - 0.1. Let d = 147 + -130.2. Let s = d + -17. Is l < s?
False
Let u = 2.5 + -2.67. Let d = 0.77 + u. Let b = -75 + 77. Is b at most as big as d?
False
Let s = -12 + 15. Suppose -s*g - 20 = -0*d - 5*d, -5*d + 20 = 5*g. Let x = -65/204 + -1/68. Do x and g have different values?
True
Let h = 7659/77 - 681/7. Is h < -0.5?
False
Let p(f) = -54*f - 483. Let r be p(-9). Which is smaller: 6 or r?
r
Let m = 5.6 + -5. Let u = m + -1.8. Let v = 0.8 - u. Is 1/3 < v?
True
Let i = -180 + 275. Which is bigger: -1 or i?
i
Let l = -2141/5 + 429. Does 0 = l?
False
Let t = 1903/5 + -380. Let w(v) = v**2 - 5*v + 5. Let o be w(4). Which is greater: o or t?
o
Let y = 238 - 220. Let d be 2/1 + -2 - -17. Which is smaller: y or d?
d
Let a be 66902/37521 - (0 + 1). Let l = a + -2/379. Is 0 bigger than l?
False
Let v = -19794751 + 258321501619/13050. Let m = v - 1/522. Is m greater than or equal to 2?
False
Suppose 0 = 4*s + 5*p - 18, -6*p + 2*p + 10 = s. Suppose s*d - 6*d = -24. Let q be 7*-2*(10 + (-370)/35). Which is smaller: q or d?
d
Let s(b) be the second derivative of -b**3/6 - 9*b**2 - 38*b. Let z be s(-17). Is z less than or equal to 2/199?
True
Let y be ((-11)/(-2))/((6/(-12))/(8/8)). Let h be -4*(-2 + (-22)/(-8)). Let x = -13 - h. Is x less than y?
False
Let p = -10 + 19. Let o = -218 - -216. Let y be 1*o*3/p. Is -1 at most y?
True
Let a(w) = -9*w**3 + w. Let y be a(1). Let h = y - -11. Let k be h - 0 - (-4)/4. Which is smaller: k or 1?
1
Suppose 5*a - y + 458 = 0, -y - 78 = -76. Are a and -93 non-equal?
True
Suppose d - 10 = -34. Let x = 19 + d. Which is smaller: x or -8?
-8
Suppose -10*p + 1749 = -91. Suppose 4 = n + 2*c - 0*c, -4*n + 3*c = -27. Let u be p/24 - 4/n. Is 7 != u?
False
Let r be (5/75)/((-1)/(-10)) + (-94)/6. Let b(m) = -m**3 + 6*m**2 - m - 6. Let x be b(6). Is r at most as big as x?
True
Let l = 7704/2755 - -2/551. Let v = -0.27 + 0.17. Are l and v non-equal?
True
Let b be 5 - 1 - (-3 - -51). Let m = b + 45. Is 5 smaller than m?
False
Suppose -5*o - 5*r + 1076 = -9*o, 4*o + 2*r = -1104. Let i = 1922/7 + o. Is i greater than 2?
False
Let y(i) = -21*i + 58. Let k be y(-5). Which is greater: 164 or k?
164
Let i be 115*((-154)/(-15) - 10). Let z(v) = -2*v**3 - 3*v**2 - v + 1. Let x be z(-3). Which is greater: x or i?
x
Let c = -5 + 4.8. Let h = c + 0.1. Suppose 0 = 3*r - 7*v + 8*v + 12, r + 5*v = -4. Which is bigger: h or r?
h
Let s be (-31)/(-31) - (-2 - -1). Suppose 0 = -2*n + 5*o - o - 14, s*o = 0. Let k be (-19)/3 - (-8)/(-12). Are k and n unequal?
False
Let t be (-2 - -1)*17*(-1 - 0). Which is smaller: t or 35/2?
t
Let s = -122 - -124. Let k be (-28)/20 - s/(-5). Is -6/31 != k?
True
Let c(l) = -l**2 - 18*l + 18. Let h be c(0). Is h < 19?
True
Suppose 15*q - 23*q + 3752 = 0. Is 468 at least q?
False
Let d = -0.24 + -4.76. Let u = -312 - -312.08. Is d at least u?
False
Suppose 3*o + 269 = 3*z - 16, 5*o + 190 = 2*z. Let l = z + -94. Which is smaller: l or -1/66?
-1/66
Let f(v) = -v**3 - 12*v**2 - 10*v + 10. Let p be (-100)/8 + 6/4. Let s be f(p). Let c be 4 + (-1 - (3 + s)). Which is greater: c or 4/3?
4/3
Let r = -133 - -135. Suppose -12 = -2*q - q. Suppose 3*c = -3*k - r*k + 14, -3*k + 15 = q*c. Which is bigger: k or 2/39?
k
Let i = -71 + 71. Let u be (i + 3 - 3)/(-2). Is 4/33 smaller than u?
False
Suppose 63 = -15*u + 22*u. Suppose 22 = -u*n + 11*n. Which is smaller: n or 9?
9
Let x be (-3 + (-74)/(-15))*21/(-33). Let a = x + 13/15. Let n be (-2)/(-5) - 14/10. Is n not equal to a?
True
Let i be (12/(-27))/(534/(-9)). Is 0 less than i?
True
Let l = -6.32 - -6. Let r = 0.32 + l. Is r at most as big as 2.5?
True
Let v(g) = 7*g**2 + g + 7. Let s be v(-3). Suppose s*t - 65*t = 130. Is 1 greater than t?
False
Suppose 3*l + l = -4*m - 56, -4*m + 14 = -l. Which is smaller: l or -29?
-29
Let k(l) = 3*l - l - l. Suppose 31 = -11*h + 20. Let j be k(h). Is j equal to -2/9?
False
Let d = 57.024 + -57. Let j = 0.076 + d. Let g(o) = -o + 4. Let p be g(5). Which is bigger: p or j?
j
Let w be 1/(-30)*325126/(-12). Let l = w - 11417/12. Let g = 237/5 + l. Which is smaller: 1/5 or g?
g
Let a(s) = -s**2 + 4*s - 3. Let t be a(3). Suppose -5*f - 10 = -0*p - 5*p, t = -3*f - p + 6. Suppose -5*h + f = -6*h. Do h and -2/19 have the same value?
False
Let c be (-9)/(-81) - (-4)/(-36). Which is greater: c or -4/505?
c
Let d(z) = -9*z + 147. Let r be d(14). Let l be (-414)/(-22) - (-6)/33. Which is smaller: r or l?
l
Let c(a) = -a + 1. Let y be c(-1). Suppose 0 = y*i - 7*i. Let u be (-1530)/(-126)*6/15 + 2 + -7. Which is bigger: i or u?
i
Let z = -20841547/84 + 1256056373/1932. Let g = z - 401699. Let q = 320 - g. Which is smaller: q or 1?
q
Let d be (1 + (-85)/86)/((-23)/(-828)). Is 0 > d?
False
Let g(w) = -6*w**3 - w**2 + 4*w + 3. Let l be g(-1). Let y be l/(-18)*((-56)/(-12) + -5). Suppose -3*c + 0 = -3. Are c and y equal?
False
Let w(r) = -r**2 + 13*r - 43. Let m be w(6). Which is bigger: m or 2/299?
2/299
Let w = 97 - 35. Let m = 51.8 - w. Let x = m + -2.8. Which is greater: 1 or x?
1
Let c = -265 + 361. Let z be (-968)/(-10) - (-5)/25. Which is smaller: z or c?
c
Suppose -11*c = c - 900. Is c smaller than 76?
True
Let m(j) = 2*j**2 + 7*j + 1. Let r be m(0). Which is bigger: 2/1345 or r?
r
Suppose 3*q - 17 = v, 3*q = -10*v + 15*v + 25. Let y be (-5)/(-15)*36/v. Is y >= -6?
True
Let j = 18 + -39.1. Let c = j + 3.1. Is c less than or equal to -0.1?
True
Suppose 2*d = 5*l + 360, 5*l - l = -3*d + 563. Is 185 bigger than d?
False
Suppose -l + 2*c - 17 = 57, 4*l + 2*c = -256. Let r = l - -36. Let y be 567/(-18) + (-6)/(-4). Is y > r?
False
Let h = 6503 + -6504. Let o = -6739/898 - -2/449. Let v = 112/15 + o. Which is smaller: h or v?
h
Suppose -4*y - 4*i + 15 = -1, -11 = y - 2*i. Let c be (-2*(-5)/(-255))/((-16)/(-9)). Let q = -199/2856 - c. Is q less than or equal to y?
False
Let b = -197 - -1771/9. Suppose -5 = s - u + 33, s - 2*u + 35 = 0. Which is bigger: b or s?
b
Let u(j) = 5*j + 38. Let b be u(-8). Which is smaller: -13/18 or b?
b
Suppose 9*l - 2814 = 11631. Let w be 20/(-8)*(-18)/l. Is w less than 1?
True
Suppose -9 = -4*l - 49. Suppose -4*s = -5*z + 141, 2*s + 0*s + 81 = -z. Let k = s + 29. Is k greater than l?
False
Let f = -22617/4 - -5585. Which is bigger: f or -68?
-68
Let r(m) = -23*m + 24. Let q(y) = -8*y + 8. Let l(u) = -17*q(u) + 6*r(u