 h = c - 2. Suppose 2*k + 0 = -h. Does k = -25/2?
False
Let i(v) = -v + 5. Let s be i(4). Let a be (-852)/660 + -4 - (-4 - 86/(-22)). Are a and s equal?
False
Suppose 0 = -2*m - 7 + 3. Let g = m - -2. Let k = -5740 - -235341/41. Is g greater than k?
False
Let q = 93 + -90. Let r = 3/14 - 1/14. Which is smaller: r or q?
r
Let f = -0.9 - 0.1. Let d = -1 + f. Let n = -13151 + 13150.8. Is n <= d?
False
Let d = -13072 + 13079. Suppose -5*v - 15 = 0, 2*q = -v - 3*v - 8. Suppose a - 3*a = -l + 8, 3*a - q = -2*l. Is a > d?
False
Let m be (-1)/(-4)*952/98. Let n(p) = 40 + 59 + 0*p - 16*p. Let s be n(6). Is s equal to m?
False
Let p = 525915028/235 + -8497542877/1692. Let j = p + 2784241. Let f = 26/45 - j. Is f equal to 13?
False
Let c be 1756/(-4) + (-30)/(-1 - 5). Let t = 497 + c. Which is greater: t or 3/4?
t
Let x be (-1)/(-7) - 33/(-7). Suppose -5*t + 373 = 3*d - 282, -3*d - 2*t + 667 = 0. Let n = 229 - d. Is x bigger than n?
True
Let d be 1 - (1 - (-2 - -2)) - -5. Let k(w) = 2*w - 10. Let v be k(d). Let n be (-2)/(-14) - (2 - 2). Do n and v have the same value?
False
Let d = -0.3 + 0.1. Let h(s) = s**2 - 23*s + 101. Let j be h(6). Let i be ((-28)/(-16) - 2) + j/(-2). Which is smaller: i or d?
d
Let b = -31/7 + -152/21. Are b and 0.14 nonequal?
True
Let p be 23/(1265/48220) + (-3)/(-11). Which is smaller: 878 or p?
p
Suppose -5*g + g + 28 = 0. Let l = 2737 + -2737. Which is smaller: l or g?
l
Let m(h) = 16*h**2 + 9*h + 20. Let s be m(-2). Let f be ((-15)/(-14))/(99/s). Are 1 and f equal?
False
Let k be (-38)/(-29) - (-1 + 2). Suppose -38*s + 57 = -95*s. Which is greater: s or k?
k
Let d = 0.005 + -2.085. Let s = -1.56 - d. Which is bigger: s or -0.1?
s
Suppose -a = o, -a + 12 = -9*o + 8*o. Suppose -6*s - 180 = -2*s. Let w be (a/(-15))/((-63)/s). Which is smaller: w or -35?
-35
Let v be 4345*1 - (-60 + 77). Is v != 4329?
True
Let h(b) = 2*b + 11. Let u be h(-4). Suppose -k + 193 = -2*y, -u*k = -0*y + y - 558. Is k at least as big as -2/3?
True
Let n(v) = -4*v**3 + 84 - 85 - v**3 + v + 4*v**3 + 14*v**2. Let h be n(0). Which is greater: 2/639 or h?
2/639
Let x(y) = 78*y**2 - 107*y - 875. Let d be x(-10). Which is greater: d or 7994?
d
Let m = 24 + -40. Let j be 28815/(-6475) - m/(2 - -2). Let y = 4/185 + j. Which is smaller: y or 0?
y
Let o = -4317 - -4322. Which is bigger: 41 or o?
41
Let m = -322 - -320. Which is smaller: 1/33 or m?
m
Let t(y) = 87*y - 434. Let l be t(5). Let j be ((-4)/(-2404))/((-3)/(-6)). Is j at most as big as l?
True
Suppose 0 = 5*r + 4*n - 1717, -4*n - 1043 = -18*r + 15*r. Which is bigger: r or 689/2?
r
Let r = -3424 - -3924. Are r and -1 non-equal?
True
Let n(b) = -27*b + 52. Suppose -4*t - 2 = 5*j - 12, 0 = 4*j + 2*t - 8. Let q be n(j). Which is smaller: q or 13?
q
Let w(t) = -2*t**2 + 28*t - 17. Let s be w(13). Suppose -20*f = s*f - 6235. Which is bigger: 214 or f?
f
Let h = 1.28 + -0.8. Let a = 267.47 - 268. Let i = a + h. Which is greater: i or 1?
1
Suppose 0 = 5*n - 252 + 2952. Let w be 4 - (6/(-63) + n/(-133)). Which is smaller: w or 0?
0
Let k = -408 + 415. Let j be 12/k*(-147)/(-2226). Is j >= 0?
True
Suppose 35*l = 25*l + 120. Suppose -12*m - l*m = 3*m. Which is greater: m or 1/44?
1/44
Let d(z) = -z**3 - 58*z**2 - 159*z + 330. Let b be d(-55). Which is bigger: b or -14/71?
b
Let r = 9244617/325 + -28445. Does r = 1?
False
Let f = 17/4255 - 62303/12399070. Is f >= -1?
True
Suppose -10*u - 45 = 35. Let k = -15011/7 + 2135. Is u < k?
False
Let t = 31 + -28. Let k be 15/36 + 3 - t. Let z = 758 - 759. Is k >= z?
True
Suppose 2*h = -9 - 5. Suppose 168 = 797*n - 821*n. Does h = n?
True
Suppose -2*v = 3*v + 3*s + 154, -2*v - 70 = 4*s. Let y be ((-72)/48)/(1/20). Are y and v equal?
False
Let l be ((-20)/(-30))/((-4)/(-6)) - -4. Suppose 0 = 4*y - 5*y - l*j - 51, 0 = -4*j + 8. Let u = y - -115. Which is smaller: 53 or u?
53
Let z be (2 - (-78)/(-48))*8. Let v be (24/(-16))/(z/(-40)). Which is smaller: v or 104/5?
v
Suppose -25 = -4*p - 5*o, -75*p - 15 = -74*p - 3*o. Suppose d + 14 - 21 = p. Which is smaller: d or 8?
d
Let m be 180/50*25/10. Is -60 less than m?
True
Let a = -0.3 + -0.2. Let u = -2536.554 + 2536. Let x = u - a. Is x at least 0.1?
False
Suppose 159*o + 215306 = -10*o. Which is smaller: o or -3826/3?
-3826/3
Let f = 96 + -55. Suppose -35*a = -f*a. Is a != 1/81?
True
Suppose -13*v + 32*v - 1976 = 0. Let a be ((-2)/8 + v/288)*6. Do a and -7/40 have the same value?
False
Let i = 71101 + -2915381/41. Is i <= -5?
True
Suppose -5*z + 5*d = 0, -18*d + 5 = z - 14*d. Are -2/1095 and z nonequal?
True
Let x be ((-1140)/18)/(8/96). Which is bigger: x or -5312/7?
-5312/7
Let d(h) = -1636*h**2 - 54*h - 15. Let z be d(-1). Is -1595 equal to z?
False
Suppose 2 = 42*g - 43*g. Let y be 144/(-12)*g*(-10)/(-8). Is y equal to 2?
False
Let s be (-166)/(-55278)*(27/(-15) + 2)*1. Is s less than or equal to 1/5?
True
Let f = -45 + 494/11. Let s = 3418 + -3420. Which is smaller: f or s?
s
Let c = -15205.9 - -15206. Which is bigger: c or -624?
c
Let u = 0.59318 - 0.29318. Let k(n) = n**2 - 3*n - 1. Let h be k(3). Let r be h - 0 - (-3)/2. Is r equal to u?
False
Let a(r) = -163*r + 253. Let k be a(3). Which is smaller: k or -239?
-239
Suppose 0 = 4*k + 5*y - 134, 4*k - 119 = -4*y + 17. Let n be 5*k/(-225) - (-82)/80. Which is greater: 0 or n?
n
Let r be (4060/5325 - -1) + 9/(-5). Which is smaller: 1 or r?
r
Let s = 15 + -15. Let q = 171 - 233. Let j = 66 + q. Is j != s?
True
Let i = -49.5764 + -0.9536. Let z = i - -0.53. Which is greater: 2 or z?
2
Suppose -h - 27*h = -4200. Suppose h*x + 3 = 153*x. Is 7/18 at most as big as x?
True
Let l = 4.2 + 24.1. Let s = -5.7 - l. Let q = s + 61. Which is smaller: q or 1?
1
Suppose 5*p + 2*j - 5*j = -125, p + 47 = 5*j. Suppose 8*q = -11 - 34 + 21. Which is greater: p or q?
q
Suppose 0 = -4*d + 3*j + 25 + 38, -d - 2*j = -24. Suppose -8*q + 750 = -d*q. Let m = 88 + q. Is m <= 11?
False
Let c = 7.81 + -7.6. Let j = c - -0.69. Let y = -1.3 + j. Is 0.2 at least y?
True
Let a be (-329745)/1322628 - -1*(-1)/(-4). Do -1 and a have the same value?
False
Let w = 5061707 + -1948752284/385. Let u = 140/11 - w. Which is bigger: u or -0.4?
u
Suppose 3*v - 13*v = -550. Let i(x) = 2*x**3 - 32*x**2 + 4*x - 8. Let r be i(16). Which is greater: r or v?
r
Let h(i) = -i**3 + 6*i**2 - 97*i + 544. Let u be h(6). Is u > -7?
False
Let t(y) = -y**3 - 7*y**2 - 39*y - 157. Let p be t(-7). Is 79 not equal to p?
True
Let n = -229 + 229.0059. Let y = 24.0059 - n. Which is greater: y or 7?
y
Suppose 0*j + 3 = s + 3*j, -2*j = -s + 8. Suppose -s*i = 112 + 14. Let o be ((9/i)/(4/(-28)))/(-20). Is 1 > o?
True
Suppose -330*g = -350*g + 34800. Is g > 1740?
False
Let v(p) = -p**2 - 4*p - 8. Let g be v(-5). Let u = 24500/9 + -2722. Is g at least u?
False
Let c = -91 + 93. Suppose -3*t = 3*o - 18, -c*t - o = 2*o - 16. Let i(h) = h**2 + 2*h - 1. Let l be i(1). Is l <= t?
True
Let i = 0.105 - -0.895. Suppose 7*p - 38 = l + 10*p, 51 = -2*l - p. Do l and i have the same value?
False
Let m be (38/(-57) + 1)*(-11727)/15. Is m <= 0.2?
True
Let d = 0.6105 + 0.2695. Which is greater: -0.07 or d?
d
Let c = 32292048/61 - 529378. Let u(n) = n**2 - 4*n - 4. Let h be u(5). Is c greater than or equal to h?
False
Let p(d) = d**2 - 6*d + 12. Let b be p(5). Let q(x) = -3*x**2 + 13*x + 3. Let o(v) = 2*v**2 - 9*v - 2. Let n(r) = 8*o(r) + 5*q(r). Let t be n(b). Is 4/45 > t?
True
Let d(f) = -4*f + 203. Let o be d(29). Let s be o/(-8 + 5) + (-2 - 3). Which is greater: -37 or s?
s
Let n be (4/(-21))/(12/2). Let t be 38/(-66) + (-15)/165. Is t at most n?
True
Suppose 0 = -21*s + 20*s + 6. Let y be ((-2)/3)/(s - 13200/2196). Is 61 less than or equal to y?
True
Suppose 3*p = 3, -3*z + 4*z + 6 = -5*p. Suppose 0 = 14*x - 7 - 49. Let s be 2/4*(2 + -16) - x. Do z and s have the same value?
True
Let o be ((-76)/152)/(1 + (-6)/4). Let a be (-2)/o*(-92)/8. Is a at most 21?
False
Suppose 9*i - 4*i + 38 = 4*r, -3*i = -4*r + 26. Let m(a) = -a**3 + 13*a**2 + 25*a + 6. Let p be m(-1). Which is bigger: i or p?
p
Let r = 91 - 92. Let d be 7/21 - (r - -2). Suppose 0 = 2*f + 3*k - 9, f = 4*f - 4*k - 22. Is d smaller than f?
True
Let w = -110317/9 + 12258. Which is bigger: 2/33 or w?
w
Suppose k + 0*k = -2*f + 28, 3*k - 79 = -f. Suppose -26*w + k = 78. Which is smaller: w or 16?
w