l to 13?
False
Let f be (-30)/110 + (1 - 2260/(-825)). Is f greater than or equal to -3/14?
True
Let y = -200.61 - -121.61. Which is smaller: y or -44?
y
Let m be -6 + -1 + 3 - 7*-2. Suppose 13*o + 3 = m*o. Which is greater: 85 or o?
85
Let l = 1/22524 - -37441/2229876. Which is smaller: 1 or l?
l
Let j = 58 + -58.038. Let o = j - 0.062. Which is smaller: o or 0.3?
o
Let b be -1 + (-20)/(-6) + -2. Let m be (1185/(-100))/((3*16)/(-2)). Let i = m + 1/160. Which is bigger: b or i?
i
Let b = 1731 - 1731.05. Which is greater: b or -3/244?
-3/244
Let b = -8.3 + 8.2. Let u be 0 - 4/(-4*1). Which is greater: u or b?
u
Let s = 71985 + -2879763/40. Is -9 smaller than s?
False
Let n be (5 + -8 - -28) + -4. Suppose 5*g = -n + 81. Let s = g + -12. Which is greater: s or 1/3?
1/3
Let p = 61.81 - 61.86. Which is greater: -152 or p?
p
Let f(n) = -26*n**2 + 1 + n - 1 - 3 + 1. Let v be f(-2). Is v < -107?
True
Let z be (-37695)/(-63)*3 - (-4)/(-1). Which is bigger: z or 2?
z
Let m be (-2)/10 + 6/(-1) + 1578/240. Which is smaller: m or 1/35?
1/35
Let u = 5746 + -5024. Is u <= 722?
True
Let f be 0 + 2 - -7 - (-189516)/(-102). Is f less than -1849?
False
Let f(h) = 2*h**3 + 15*h**2 - 30*h - 178. Let p be f(-8). Is p less than -106/111?
True
Let d be 27/(-2)*(2 - 1). Suppose 0 = -5*v, -4*u - 35 - 17 = -24*v + 19*v. Are u and d unequal?
True
Let u be ((-12)/(-54)*-15)/(4/(-3)). Let c = u - 3. Is c <= 85?
True
Let g be (-70280)/(-93408) - (-1)/4*-3. Which is bigger: g or -1?
g
Let b = 2646 + -2647. Is -8/101 less than or equal to b?
False
Let m = 380 + -442. Which is greater: -0.15 or m?
-0.15
Let z(t) = 4*t - 4. Let p be z(3). Suppose 47*f - 40*f = 42. Suppose -f = 7*b - 4*b. Which is greater: p or b?
p
Let v = 0.58113 - 0.38113. Let r = -0.1 + 0.1. Let j = -1 + r. Are j and v non-equal?
True
Suppose -828 = 13*c - 1426. Is 314/7 >= c?
False
Let w(a) = a**3 + 11*a**2 - 12*a - 1. Let z be w(-12). Let v(l) = -46*l + 6. Let h be v(z). Is 55 at most h?
False
Let t = -4/8467 + -2167532/42335. Suppose 0 = 6*y + 384 - 78. Do t and y have the same value?
False
Let n = 530.4 + -532.4. Is 1805 greater than or equal to n?
True
Let g = 66 - 213. Let q = 147 + g. Is q bigger than -1.7?
True
Let l(w) = -w**3 - 170*w**2 + 316*w - 95. Let n be l(-172). Which is bigger: 4720 or n?
n
Let m be (10 - (18 + -12))/((-4)/(-26)). Let k = -21 + 47. Is m >= k?
True
Let t = 3314 - 3313. Let c be -2 - (-110)/(-57) - -4. Are t and c nonequal?
True
Let n be (-407)/(-148) + (-3)/4. Which is bigger: 25/18 or n?
n
Let m(w) = 5*w - 93. Let r be m(19). Let b be 2*(r + 6 + -6). Is b greater than or equal to 10?
False
Let c(s) = -6*s**2 + 505*s + 198. Let x be c(87). Which is smaller: x or -11518/9?
x
Suppose 0 = z - 2*c - 261, 4*c + c = 4*z - 1026. Which is greater: z or 252?
252
Let j = 1.38465 + 0.21535. Is j > -372?
True
Let q = -1876.9 - -1837. Which is bigger: q or -4/5?
-4/5
Let u(w) = 1003*w - 2446. Let z be u(3). Is z at least 561?
True
Let p(b) = -1792*b**2 - b - 13. Let h be p(1). Is -1806 at least as big as h?
True
Let y = 7.1 + 7.7. Let j = y + -4.8. Is j less than or equal to -2/3?
False
Let k = 21967 - 21855. Is 0.22 bigger than k?
False
Let t(l) = 68*l**2 + 4*l + 53. Let n be t(13). Let s = n + -80883/7. Do 42 and s have different values?
True
Let m be 9/12*4*2. Let j(x) = -9*x - 5. Let s be j(m). Let w be 118/((-267)/(-178) - (-1)/(2/(-7))). Do s and w have different values?
False
Let o(a) = 18*a**2 - 3*a - 3. Let j be o(2). Let n = j + -67. Let t be n + 2 - (-1 + 2/(-18)). Which is smaller: -1 or t?
-1
Let r = -898.27 - 11.73. Let x = -915 - r. Which is smaller: -0.2 or x?
x
Let c be 1*593*(-6 - (-319)/55). Is -120 smaller than c?
True
Let x = -0.3 - -3.3. Let z = -0.62 + -2.58. Which is greater: x or z?
x
Let s = -129 - -144. Let k(f) = f**2 - 13*f - 52. Let i be k(s). Which is smaller: -1 or i?
i
Suppose -4*r = v + 14, 20 = 2*v - 7*r + 3*r. Suppose 4*z - 55 = -3*t, z = -v*t - z + 36. Let c be (0 - 2/4)*(t - 141). Which is greater: c or 63?
63
Let o(b) = b**2 + 4*b - 144. Let y be o(10). Let g be 32 - -6*(-2)/y. Is g <= 35?
True
Let t be -1 + (-11)/(-8)*518. Suppose 54*q = 99*q - 57*q - 8592. Let g = q + t. Which is smaller: g or -4?
g
Let o = 1.393 + 0.337. Let k = o - 1.751. Which is smaller: 1/2 or k?
k
Let x be (-1097)/3654 - 45/225 - 1/(-2). Which is greater: x or -1?
x
Let s be 310/248 - (2 - 4473/(-4)). Is -1121 equal to s?
False
Let l = -767549/75145 + -1/21470. Let n = l + 21/2. Let b be 0/(1/2 - (-2)/4). Which is smaller: b or n?
b
Let l(q) = -q**2 + 10*q + 11. Let v be l(0). Let g be -1*4/(-8)*(v - 1). Is 63/11 less than g?
False
Let x = -1138.8 + 1254. Let p = 92 - x. Let s = 23 + p. Which is greater: 10/9 or s?
10/9
Suppose -z + 9 = -3*n, 11*n - 12*n = -5*z + 17. Let v be (-2 - n - 6) + 7. Which is greater: 10/67 or v?
v
Let j = 91704 - 1192032/13. Let k be 3*-1*(-6)/2. Which is bigger: j or k?
j
Let h = 482 + -46. Let x = -7590 - -8025. Is h > x?
True
Suppose 0 = 3*v - 3*m + 5*m - 111, -5*m = -2*v + 93. Suppose v*p - 34*p = 65. Let y be p/(-2)*(-2)/4. Are y and 0.1 nonequal?
True
Let q be (3/(-6))/((-2)/8). Suppose -10 - 11 = -7*y. Let s be (-2 + y)*q/1. Which is bigger: s or 6/7?
s
Let i be -13 - -7 - (-796)/133. Let l = -120/9709 + i. Let j(d) = d**3 - 3*d**2 - 3*d - 5. Let c be j(4). Which is bigger: l or c?
l
Let a(z) = z**3 - 31*z**2 - 90*z - 50. Let k be a(30). Is k at most -2/5?
True
Let h = 4674 + -4670. Which is smaller: h or 210/47?
h
Let o = -5998 - -4697. Which is greater: o or -1300?
-1300
Suppose -21 = -5*f + 4. Let x be 31/5*1 - 1/f. Suppose -4*b = -6 - x. Are b and 1 equal?
False
Suppose -2*d + 2138 = 2146, 2*d + 13 = -5*c. Which is smaller: 3578 or c?
c
Let b = 0.73 + 30.27. Let t = 31.1 - b. Which is bigger: -25 or t?
t
Let d = -292 - -291. Let r be (-136)/(-24) + -4 - 298/(-66). Which is smaller: d or r?
d
Let n = 552 + -641. Let d = 51 - 152. Let r = n - d. Which is bigger: r or 0?
r
Let d = -16.65 + 16.85. Which is smaller: d or 21.55?
d
Suppose -30*c + 7 + 14 + 9 = 0. Is -1200 <= c?
True
Let g be (-2 + 10/4)*332/(-56). Let q = 75 - 313/4. Let b = g - q. Which is greater: b or 0?
b
Let y(i) = -i**2 + 4*i - 2. Let z be y(2). Suppose -2 = -n + 3*l, 4*l + 3 = 3*n + z. Is n >= 2/419?
False
Let m = -50440 + 352420/7. Which is greater: m or -94?
-94
Suppose q = -5*c + c + 1330, 3*q + 1671 = 5*c. Suppose -c = 4*r + 195. Let z = r + 117. Are z and -72/5 unequal?
True
Let z = 696 + -514. Let f = z - 185. Which is bigger: f or 3.7?
3.7
Let a be (-4)/1 - (-54)/18. Let f be a/(-108)*-10*1. Let b = f + 197/378. Which is bigger: b or -1?
b
Let s be -6 + (8/16086)/(12/144788). Is s bigger than 0?
True
Suppose 4*a + 30 = 2*x + 216, 4 = 4*x. Which is smaller: a or 24?
24
Let w = -2142853682/1197 + 1790187. Let c = w + 2/171. Is -8 bigger than c?
False
Let g = -279/91 + 25/13. Let c(b) = b**2 - 2*b - 4. Let w = -4 + 7. Let j be c(w). Which is smaller: j or g?
g
Let l = 304.5902 + 1.4098. Which is bigger: -1/30 or l?
l
Let h = 730 + -1093. Let g = h + 398. Are -2 and g equal?
False
Let a be (-3 - 0)/(-3)*1. Let i = -32/119 + -2/119. Which is smaller: a or i?
i
Suppose 42*i = 199*i. Is -1697 != i?
True
Let o = -123 - -95. Let j be 20/(-40) - (1 - (-234)/o). Which is greater: 2 or j?
j
Suppose -6*i - 7*i = -4*i. Suppose i = 26*w + 101 + 3. Does w = -10?
False
Let n = 28 - 42. Let f be (-4)/n - (-26)/(-140). Is f != -1?
True
Let g be ((-6)/(-2) - -2)*1. Suppose 0 = g*o + 41 - 356. Let u be ((-10)/(-5) - 23)*11/(154/(-42)). Is u equal to o?
True
Let i = -1.468 - -1.39. Let m = -0.084 - i. Let l = 0.306 + m. Is l less than -2.2?
False
Let c = -0.3624 + 8.3624. Let u = 0.43 - 0.83. Which is smaller: c or u?
u
Suppose -2*m = 3*r - 42, -2*r + 630*m = 625*m - 9. Is -116 >= r?
False
Let y = -31 + 34. Let h be y/(-9)*3 - (-701)/699. Let b = 10501/5592 - h. Are b and 3 non-equal?
True
Suppose -2*x - 28*k + 27*k + 6584 = 0, -5*x + 16460 = 3*k. Is 3291 > x?
False
Let c = 0.07 - 11.07. Let g = 11.1 + c. Let t = 1445/42 - 209/6. Is g greater than t?
True
Suppose -2*m = -6*m + 16. Suppose -2 = 2*r - m. Let o = 45286/9 + -1132168/225. Is o less than r?
True
Let r(c) be the second derivative of -c**5/20 + 2*c**3/3 + c**2/2 - 16*c. Let m be r(-2). Is m greater than 1/289?
True
Let i 