0/(-225)). Let l be 36/(-6) + 11*-3. Let p = -24 - l. Is p greater than r?
False
Suppose c - 5*t - 6 = 0, 674 = -3*c + 5*t + 682. Is c > -3/2587?
True
Let v(j) = 8*j - 89. Let p be 1 + -1*(-20)/2. Let a be v(p). Is a < 2/131?
True
Let v be 24/13 + 2 + 96/(-52). Let g be ((-24)/18 + 8)*v/(-12). Let i = 376/495 - -4/99. Is i equal to g?
False
Suppose 5*d + 75 = 4*j, -3*j - 49 = 3*d + 23. Suppose -12*v + 24 = -24. Suppose -p + y = -v*y + 2, -4*p - 65 = -y. Is d at least p?
False
Suppose -24 = 5*j - 3*q, 5*j + 36 = -2*q + 2. Let m(o) = -o**2 - 3*o + 23. Let y(i) = 1. Let p(t) = m(t) + 5*y(t). Let w be p(j). Is w smaller than 2?
False
Let a = -567 + 567.0606. Let z = a + 0.0394. Which is smaller: z or 190?
z
Let n = 0.0746 + 351.9254. Let f = n + -355. Which is greater: f or 12?
12
Let m = 318 - 4494. Which is greater: m or -4174?
-4174
Let z = 8432 - 19098479/2265. Is z not equal to 0?
True
Let d = 176 + -171.948. Let n = d - 0.052. Is -4 > n?
False
Let y be (-6)/(-15)*(-1100)/154. Let k be ((-44)/110)/(1/5). Which is bigger: k or y?
k
Let i = 4 - -42. Let w = i + -44. Suppose -w*c = 3*c. Is -5/8 equal to c?
False
Let y(o) = 22*o - 52. Let w be y(5). Suppose -3*f = j - 35, -5*j + 2*f = -117 - w. Is 34 bigger than j?
False
Let f be (-1*(30945/(-7760) + 4))/((-9)/36). Do 1 and f have the same value?
False
Let w be ((-652)/156 - 4/26) + 4. Let m be (-5 + 724/144)/((-5)/3). Which is bigger: m or w?
m
Let n be (-8)/7 + -19*(-352)/8512. Which is smaller: 58 or n?
n
Let a = -633/179669 - 78552534355/2874704. Let h = 27317 + a. Is -9 at least h?
False
Let l = 237.9833 - 238. Let i = l - -0.0167. Does i = -0.89?
False
Let b = -6950 - -6953. Which is smaller: 1309 or b?
b
Suppose 216*f - 324 = 204*f. Let s be 777/f + 38/171. Suppose 10*b - 130 = 5*b. Which is smaller: b or s?
b
Suppose -3*j - 4*n = -22, 0 = -j + 4*n + 2 - 0. Let c be (-36)/166*-2*1/j. Is c at least 0?
True
Let v = 14632/15 - 43996/45. Let x(r) = -4*r + 4. Let h be x(4). Which is bigger: h or v?
v
Suppose 3*a - 153 = 4*x, 4*x + 82 = 2*a - 68. Let i be 14/(-3)*x/(-24). Do -21 and i have the same value?
False
Let h = 217 + -11. Let f = 205.3 - h. Which is smaller: f or 0.4?
f
Let l be (-1 - 637/(-26))*48. Is 1129 bigger than l?
True
Let y(s) = -26*s - 634. Let o be y(-11). Which is smaller: 0.13 or o?
o
Let w be ((-16928)/(-24) - 35/(-21)) + (1 - 3). Which is greater: 699 or w?
w
Let b be 3/((-150)/4) + (-84)/(-1925). Let k be (0 - -4)/4 + -1. Which is bigger: b or k?
k
Let y = -128 + 128. Suppose -5*u - 239 + 1319 = y. Are u and 215 unequal?
True
Let h(s) = -2*s**2 - 2*s - 2. Let k be h(5). Let v = -59 - k. Suppose b - 5 = v*m + 4, -6 = 2*m - 5*b. Which is smaller: m or 2?
m
Suppose -p - 3*b = -17, -b + 5 = 13*p - 12*p. Which is smaller: 6/1703 or p?
p
Let x be (48/18)/(-8) - 717/9. Let k be 80/x*3/((-9)/(-4)). Is k bigger than -3/4?
False
Let y(q) = -44*q**3 + q**2 - 117*q - 459. Let j be y(-4). Which is bigger: j or 2842?
2842
Suppose 5*w - 25 = -5. Suppose -c - w*j - 59 = 0, 4*c + 146 = 3*j - j. Let z = c + 34. Is z at most -9?
False
Let u = 657.862 - -0.138. Let g = u - 775. Which is smaller: g or -1?
g
Suppose 185 + 433 = 3*z. Let q be z/18 - (-40)/(-90). Which is greater: q or 0.04?
q
Let a be -446*(-7)/14*4. Let j = -20514/23 + a. Which is smaller: 11 or j?
j
Let a = -2/97451 - -1073201/60419620. Is -1 <= a?
True
Let q be (856 - -10)*92/58. Let f = 1373 - q. Is f at least -2?
True
Let s = 746 - 701. Suppose -s*r - 15 = -30*r. Let b = -0.18 + -12.82. Are r and b non-equal?
True
Let b be (-46)/161 + 31/(-14)*22. Let u = b + 49. Let o be -1*(0 - u)/1. Which is bigger: 20 or o?
20
Let n be (1 - -322) + (-6)/(-6). Let k = 3434699/21 + -163233. Let v = k - n. Is v smaller than 0?
False
Let u be -54*27/714 - -2. Let q = u + 2752/357. Suppose 7*i - 10*i - 3*s = -21, -2*s - 31 = -3*i. Which is smaller: i or q?
q
Let m be -1*2/1 - -9. Let x be 3 - 6/((-4)/2). Let z be x/((-45)/(-6) + -6). Is m < z?
False
Suppose -3*v = -0*v. Suppose -3*p + 6*p = v. Let r(u) = 4*u. Let q be r(p). Is q >= 2/11?
False
Let q = 0.48597 - 0.28597. Let l = -8 + 6. Let d = l + 4.2. Is d at most as big as q?
False
Let p(f) = 31*f**2 - 13*f + 4. Let d be p(1). Let c be (0 - 1)/((-2)/86). Suppose -a + 3*i + 9 = 0, -3*a = 5*i - 40 - c. Which is greater: a or d?
d
Let s be 72/108 - (-32)/(-51). Suppose -3*b + 5*m = 5, -5*b - 4*m - 1 = -5. Suppose 5*c - 5 = -b*c. Which is smaller: s or c?
s
Let c = -206.6031 + 205.59. Let h = c + -0.0869. Which is smaller: 24/7 or h?
h
Let n = -195.983 - -196. Let t = n + -0.217. Which is greater: t or -1/12?
-1/12
Let w = -1122 - -1123. Is w bigger than -2/7609?
True
Let q be (-6 - -6 - 1)*(269 - 0). Let i = q + 282. Is i bigger than 47/4?
True
Suppose 0 = -211*j + 237*j. Which is smaller: j or -22.87?
-22.87
Let m = -19126685 - -2084710782/109. Let j = -898 - m. Are -1 and j nonequal?
True
Let v(m) = 37*m - 9. Let p be v(0). Suppose 5 + 5 = 5*o. Which is bigger: p or o?
o
Let y = -29186/122265 + -14/1881. Is y at least as big as -1?
True
Let m be 14*-1 - (-16848)/1170. Is -81 not equal to m?
True
Let j = 4811 - -8971. Which is smaller: j or 1?
1
Let n = -145.2 - -3.2. Let c = -836 + 835. Which is smaller: c or n?
n
Suppose 5*o = i - 830, 39*o = i + 35*o - 835. Which is smaller: 5137/6 or i?
i
Let t = -38166 - -38173. Are t and 177/25 non-equal?
True
Suppose -42 = 5*w - 0*f - f, 3*w + f = -30. Let v(x) = -x - 3. Let a be v(w). Let s be (-4)/6 - (-16)/a. Which is smaller: s or 6?
s
Let n be 38/(-19) + (-294)/(-207). Is n >= 2?
False
Let t = 12576 - 12592. Let n = 1.6 + 21.4. Let r = t + n. Which is bigger: r or 6?
r
Let y = 0.08499 + -388.08499. Is -10 smaller than y?
False
Let m be (-44)/33*-4*(33 - 0). Suppose m = 3*x + x. Does 44 = x?
True
Let j be (-6)/(-357)*694 + (528/(-77))/16. Which is bigger: -0.2 or j?
j
Let v be (36/(-15))/4 + (-390)/(-25). Suppose 3*i = 207 + v. Let y = -70 + i. Is y less than 7/2?
False
Let z = -33 - -159. Let s = z + -129. Which is bigger: 0.1 or s?
0.1
Suppose -67 = -4*h + 3*j, -9 = -3*h + 3*j + 42. Suppose -15 = -5*k + 3*d, 3*k = -5*d - h - 9. Suppose -8*a + 182 + 26 = k. Are 23 and a nonequal?
True
Let d(l) = 61*l + 5. Let p be d(-1). Let f = -57 - p. Suppose 2*z = -2*z + 8. Are f and z nonequal?
True
Suppose 0 = -3*f, 3*a + 4*f - 8 = -a. Suppose -h = 5*z + a, 2*z + 1 = 4*h - 13. Let v be 6/(-15)*25/(-10). Which is bigger: v or h?
h
Let n = -2899.8 - -2900. Which is bigger: 1809 or n?
1809
Let s(h) = 2*h**3 - 18*h**2 - 8*h + 11. Let l be s(9). Suppose 325 = -5*z - 3*o, 2*o + 10 = -0*o. Which is smaller: l or z?
z
Let w = 174.41 + -174.31. Is -927.7 < w?
True
Let p(q) = 713*q - 1122. Let f be p(-3). Is -3261 smaller than f?
False
Suppose -3194 = -32*x + 3622. Let q = -208 + x. Let a be 2/(0/(-2) - -2). Which is smaller: a or q?
a
Let o = 6048 + -6110. Which is bigger: -11.2 or o?
-11.2
Let a = 172 - 182. Let h be a/8*432/(-90). Is h > 2?
True
Let h be ((-4)/6)/(-2) + 8/3. Let u be 35 + -22 + -1 + h. Let t be (-7)/(70/u)*(-2)/(-21). Does 0 = t?
False
Let f = -740558241622 - -183695471834614891/248050. Let n = -1/9922 - f. Which is bigger: -2 or n?
n
Let u = 6.4 - 6.6. Let q = 0.061 + 8.839. Let v = -0.1 - q. Which is bigger: v or u?
u
Let a be -2 + (-24)/(-2)*11/33. Let k be (-6)/(-4)*(332/3)/a. Do k and 84 have the same value?
False
Let d(t) be the third derivative of -t**5/60 - 2*t**4/3 - 17*t**3/2 - 39*t**2. Let z be d(-12). Let o be -2 - 2*(-2)/11. Which is smaller: z or o?
z
Let v(m) = 2*m**3 + 3*m**2 - 6*m + 40. Let n be 3 + 1 + (-18)/(-18). Let w be v(n). Is w smaller than 336?
True
Let y = 773/18 + -13249/306. Is y bigger than 957?
False
Suppose -2*a - 3*i - 56 = i, -3*a - 68 = -2*i. Let c be 4/a - ((-70)/(-12))/(-5). Is -2/165 equal to c?
False
Let c be (-1)/((75/(-9))/5). Let l = 141/4 + -427/12. Is l smaller than c?
True
Let u = 39 - 36. Let c be (22/6 - u)*(3 - -87). Let v = c + -53. Which is smaller: 6 or v?
6
Let m = 4440 - 4414. Is m at least 190/7?
False
Let g be (-4)/(-6) - (-464)/6. Let q be (2/((-12)/14))/((-632)/(-20856)). Let a = q + g. Which is bigger: a or 18?
18
Let n(m) = 3*m - 31. Suppose 4*u - r = 39, -2*u + 0*r + 27 = r. Let a be n(u). Let y be 124/234 + 2 - a/9. Is y at most 2?
False
Let x = 10.923 - 0.923. Let a = 0.14 - 0.17.