Is c equal to f?
False
Let c be ((-1)/(-153))/((3531/(-198))/(3/12)). Is -1 > c?
False
Let p = 167 - 119. Let x be 141/p + 0 + -3. Suppose 0 = -127*k + 134*k. Do k and x have the same value?
False
Let j be ((-2042)/5)/(5 - (-505)/(-100)). Suppose -11*d - j = -2987. Is d bigger than -472?
True
Let u be 2 - (5 + (-48)/16). Which is greater: 2/3289 or u?
2/3289
Let h(z) = -10*z**2 + 52*z - 9. Let f be h(5). Is f less than -44/251?
False
Let s = -487 - -463. Let x = 41.3 + -26.3. Which is greater: x or s?
x
Let l be 10/34 + (-1)/4. Let m(n) = n**3 - 10*n**2 + 21*n + 19. Let j be m(6). Is l less than or equal to j?
True
Let g be ((3808/(-21))/8)/(2/(-327)). Suppose 59*y - g = 42*y. Is 219 greater than y?
True
Let v = -3 + 3. Let j = 127.04 + -126.88. Is v not equal to j?
True
Let s = -20.036 + 0.036. Let m = -847.818 - -849. Let y = m - 0.182. Which is greater: s or y?
y
Let j(k) be the first derivative of -3/2*k**2 - 4*k + 10 + 4/3*k**3. Let x be j(-1). Do x and 6 have different values?
True
Suppose 0 = 3*v - 49 - 2. Suppose -3*h + 62 = v. Let t = -263 - -276. Which is greater: t or h?
h
Let s = -41.71 + 41. Let w = 11.83 - 7.94. Let t = w - s. Do 1 and t have different values?
True
Let o(s) = s**2 - 7*s + 26. Let y be o(5). Let n be (-2*(-2)/y)/(27/(-24)). Is 2 bigger than n?
True
Let a = 24045.102 - 24044. Are 1 and a unequal?
True
Let t(x) = -10 - 7 + x + 13 - 11 - 3*x. Let r be t(-8). Which is smaller: r or 2/539?
2/539
Let y(n) = 319*n - 9. Let r be y(2). Let s be 2/(0 + 3 + r/(-221)). Is s >= 20?
False
Suppose -3*o + 83*t - 88*t = 14907, -4*o = 3*t + 19887. Which is smaller: o or -4975?
-4975
Let l = 248.88 - 250. Let h = 3.12 + l. Is h at most as big as -7?
False
Let x(p) = p + 39. Let n be x(0). Suppose 2*r - 3*z - 112 = -51, -4*r + 157 = -z. Is r != n?
True
Let z = -0.03152 - -2089.03152. Let o = z + -2139.98. Let h = o + 51. Are -6 and h unequal?
True
Suppose -6*f - 28 = l, -5*f - 5*l - 300 = -285. Let j be (-6)/(-27) + 201/(-54). Is f at least as big as j?
False
Let f(t) = -38*t - 40. Let l be f(-4). Suppose 0 = 4*i + p - 55, 0 = i - 5*p - 56 + 16. Let h be l/(-390) + 2/i. Which is greater: -1 or h?
h
Let s(m) = m**2 + 15*m + 94. Let k be s(-8). Let j be (k/(-24))/(3/(-24)) + -5. Is j != 7?
True
Let z = -1513 - -1484. Let v = -16 + -13. Let m = z - v. Is 11 less than m?
False
Let r = 9498 + -9516. Let p = -6/6929 - -990895/55432. Let d = p + r. Do d and 0 have different values?
True
Suppose -129*j + 110*j + 684 = 0. Suppose 17*x - 22*x = -4*k - 93, 0 = -2*x + k + j. Is x != 17?
False
Let h = -2140 + 3619. Do 1479 and h have the same value?
True
Let j = -16283/4 + 7811/2. Let l(g) = -g**3 - 16*g**2 - 3*g + 13. Let t be l(-15). Let u = j - t. Which is smaller: u or 0?
0
Suppose -4*j - 128 = -64*n + 62*n, -5*j + 440 = 5*n. Suppose -c + g + 320 = 3*c, -409 = -5*c - g. Is n at least c?
False
Let a = 26579286/851 + -31233. Are 0 and a unequal?
True
Let b = 51673/8 + -6462. Let s = -12 + 8. Is s less than b?
True
Let r(k) = -k**2 + 41. Let f be r(8). Let n be f/((-690)/20)*2/(-4). Is n not equal to 60?
True
Suppose 15*n - 138 = 14*n. Let v(p) = -p**2 + 19*p - 8. Let h be v(19). Let t be (n/24)/((-2)/h). Are t and 22 unequal?
True
Let i(w) = -w**3 + 7*w**2 + 2*w - 12. Suppose -2*l + 138 = 21*l. Let u be i(l). Is u equal to 36?
True
Let d = -4156 - -4158. Which is greater: d or -1408?
d
Suppose i = 4*i - 6. Let k = -0.0076055 + -0.0853945. Which is smaller: i or k?
k
Suppose 96*c = 36 + 4476. Let r(i) = i**3 - 29*i**2 + i + 20. Let h be r(29). Which is smaller: c or h?
c
Let b = 162918/1493 + 423443164/147807. Let y = 2974 - b. Which is smaller: y or 0?
0
Let w(j) = -j**2 - 18*j - 85. Let u be w(-9). Let c be u*((-460)/(-16))/(-5). Which is bigger: 70/3 or c?
70/3
Let d(r) = -17*r**2 + r. Let i be d(1). Suppose 4*b = g + 40, -4 - 1 = -b - g. Let q be (-46)/3 - ((-48)/b)/4. Is i <= q?
True
Let k = -225.335 + 225. Let v = -95.665 + k. Is v less than -0.1?
True
Suppose 8*f + 20 = -2*f. Let r = -44.3 + 77.3. Which is greater: r or f?
r
Let p = -18 - -17. Let u be -16*1 + -1 + p. Let r = 372 - 391. Is r smaller than u?
True
Suppose 2*p + 15 = 4*j - 7, 0 = j - 5*p - 19. Suppose -b = 3*b - 4*k - 56, 88 = 5*b + j*k. Which is smaller: b or 17?
b
Let u = -1774 - -1743. Which is greater: 0.8 or u?
0.8
Let k = -143604 + 143603.4. Let q = 3.8 + -3.837. Which is bigger: k or q?
q
Let n(z) = z**3 + 23*z**2 + 43*z + 21. Let i be n(-21). Suppose m = -i*m + 4*f - 31, -m = 4*f - 9. Let x = -32 - -23. Is x greater than or equal to m?
True
Let s = -3081/4 - -10069/12. Which is smaller: 69 or s?
s
Let u = -1105 - -1796. Let f = -690.95 + u. Are f and -0.07 unequal?
True
Let f be (0*(0 - 1))/2. Let m = -113 + 107. Let w be (m/(-84)*-1)/((-2)/(-8)). Which is greater: w or f?
f
Let y = -6 - 8. Let b be (-5)/y*8/30. Let n = -799.2 - -799. Which is smaller: b or n?
n
Let p = -90 - -82.9. Let x = -7.8 - p. Which is smaller: x or -1?
-1
Let k = 34.98 - 34.7. Let h = 0.48 - k. Let p = 2.23 - 2.2. Is p at least as big as h?
False
Let n(z) = z**3 - 7*z**2 + 7*z - 4. Let b(c) = -4*c - 35. Let u be b(-10). Let k be n(u). Let v be k/(-19)*(4/(-42) - 0). Is 2/5 at least as big as v?
True
Let o = 2.8 + -4.1. Let z = 1.42 + o. Let t = 24 + -26. Are t and z nonequal?
True
Let j(u) = u**3 - 11*u**2 - 19*u + 203. Let w be j(11). Let q be (-8)/((-12)/w) + 565/110. Which is greater: q or 2?
2
Let n = 11761/15 + -785. Let p = -413/330 - n. Which is greater: 1 or p?
1
Let l = -61.6 - -57. Let m = -516542 - -516536. Are l and m unequal?
True
Let g = -2.9 - 0.3. Let d = g - -11. Is d less than -1?
False
Let f = -161 - -163. Suppose 5*k - 5*a - 90 = 0, 6 = 2*k + 2*a - 22. Suppose 0 = 11*n - 12*n + k. Is f greater than n?
False
Let m = -258/689 + 28/53. Is m at most -3.7?
False
Let n(x) = -x - 10. Let b be n(0). Let l be 2/b + 55/25. Suppose -8*a + 3*a = 0. Is l < a?
False
Suppose 0 = 40*y - 42*y + d + 4669, d + 16349 = 7*y. Is y >= 2336?
True
Let y = 1.448 + 0.552. Suppose 3*j = 4*j + 3*q - 7, 3*j + 5*q = 25. Is y >= j?
False
Suppose 0 = -2*q - 5*w + 48, 142*w = -q + 145*w + 13. Which is smaller: -63 or q?
-63
Let b = 211.053 + -211. Let v = 1.8 + -1.843. Let j = b + v. Is 0.02 greater than j?
True
Suppose -g + 39 - 34 = 2*b, -4*b - 3*g = -15. Is b at least -21/65?
True
Let o be -2*(-1 + (1 - (-4)/8)). Let f be o*10*24/(-40). Let c = f + -6. Is c less than or equal to -2/57?
False
Let g(q) = 2*q + 1. Suppose -2*l + 7*l = 2*l. Let v be g(l). Let a = -0.574 - 0.026. Is a <= v?
True
Let z = -508 + 537. Let f = z + -29. Is f at least -12/89?
True
Let b = -395.5 + 391.5. Let o = 74 - 36. Which is smaller: b or o?
b
Let r be (1/(-1))/(1/(-2)). Let x = r + 15. Let a be 2 - (240/4)/(-4). Is x greater than a?
False
Let x(m) = 3*m + 11. Let v be x(-6). Let i be (v/(-14))/(-2 + 4). Are i and -76 non-equal?
True
Suppose 0 = -11*q + 70*q + 708. Suppose 2*r + 5 = -3*r. Let d be (-1)/4*r*-43. Which is greater: q or d?
d
Let g(b) = -2 - 306*b**3 + 0 + 305*b**3 + 22*b**2. Let a be g(22). Which is bigger: a or -8?
a
Suppose g + 8 = q + 3*q, 0 = 2*g - 5*q + 13. Let d be -3*2*(-5 - 51/(-9)). Is g <= d?
True
Let l be (3 + 0)*(-2)/(-3). Suppose 3*c = -l*s + 4*s - 48, -5*s + 127 = -4*c. Suppose -4*q = 2*y - 0*q + 6, -5*q - s = -4*y. Which is bigger: y or 1?
y
Let i(x) = -24*x**2 + 54*x + 84. Let f be i(5). Is -12 >= f?
True
Let t(k) = -k**3 + k + 7. Suppose -4*g = -7*g. Let p be t(g). Let b = 17/180 - -1099/180. Which is greater: p or b?
p
Suppose s + 1 = -1, 3*s - 74 = 5*y. Let o = y + 36. Suppose 0 = 5*i + 40 + o. Are i and -12 non-equal?
False
Let c = 4 - 3. Let a = -10.789 - 0.111. Let o = -0.1 + a. Are o and c equal?
False
Let u be 26 - (-166)/(-6) - -2*(-5)/(-6). Which is greater: u or 75/194?
75/194
Suppose 5*z - 4*f + 248 = 0, f = 5 - 3. Let n = z - -53. Suppose -4*t + 4 = -n*u - 0, 0 = 4*t - 2*u - 4. Is t <= -0.027?
False
Let h = -203.0002 + 1.9402. Let d = h + 201. Which is bigger: 2/5 or d?
2/5
Let w = 118 - 120. Let g be ((-5)/w)/((-54)/12). Which is bigger: -2 or g?
g
Let x be 2/(-6) + 319/(-33). Let i be (-52)/(5*(15 - 4))*10. Is i at least x?
True
Suppose 107 + 415 = -9*m. Let k = 48 - -1. Let s = -8 - k. Are s and m unequal?
True
Let l = -983/27612 + 4/117. Is l at least as big as 0?
False
Supp