
Let t = -4.4 + -14.6. Let q = t + 43. Let i = -22 + q. Is i smaller than 0.1?
False
Let f(w) = 11*w**2 + 4*w - 3. Let y be f(-3). Let x = y + -79. Which is smaller: x or 10?
x
Let o(d) be the first derivative of -d**4/4 + 37*d**3/3 + 20*d**2 + 170*d - 245. Let t be o(38). Is t smaller than 247?
True
Let n = 0.05915 - 0.35915. Are 103.4 and n equal?
False
Let r = -0.23 - -0.2. Let h = 144 - 140. Suppose 5*y = -7*p + 2*p + 10, h*y = 4*p. Which is smaller: p or r?
r
Let v(u) = u**3 + 7*u**2 + 7*u + 8. Let h be v(-6). Let w be (-17)/(-2)*(-4 + h). Suppose -2*g + 23*g + 336 = 0. Is g at least as big as w?
True
Let z(k) = 10*k**3 - 41*k**2 + 29*k + 24. Let g(l) = -8*l**3 + 41*l**2 - 28*l - 27. Let q(h) = 4*g(h) + 3*z(h). Let f be q(20). Are f and -136 nonequal?
False
Let c be (2948/110)/(111/5). Let w = c - 26/185. Which is bigger: w or 1?
w
Let x(n) = n**2 - 3*n + 35. Let z be x(24). Let m = 552 - z. Do m and 28 have different values?
True
Let m be 1174/10 + (-4)/10. Let a = 397 - 409. Let k be ((-3)/2)/(m/a). Which is smaller: k or -0.3?
-0.3
Let b(o) = o - 1. Let r be b(-8). Let l be 695/r + (-2)/(-9). Let y = -71 - l. Is 9 equal to y?
False
Let f = 14655 - 11469. Is f less than 3185?
False
Let l = 181.291 + -181. Let f = 0.379 + l. Is f < 1?
True
Let h = 585 + -585.273. Let l = -0.073 - h. Which is bigger: l or -1/6?
l
Let g(w) = -78*w + 1. Let s be g(-2). Let t be 123 + 16 + (-500)/(-25). Is s >= t?
False
Let v = 514.918 + -505. Let g = v - 10. Does -2/5 = g?
False
Let d = 25604/90585 + -82/297. Which is bigger: -2/5 or d?
d
Let s(u) = 10*u + 30. Let q be s(-3). Suppose q = -3*t - 2*z - 54, -7*t = -2*t + 2*z + 86. Let i = -21 + 7. Which is greater: i or t?
i
Let n(b) = -b**3 + 8*b**2 - 65*b + 216. Let f be n(16). Which is greater: -5 or f?
-5
Let s be (-2 - 3)*(-2)/30*-4. Let m = 9 + -24. Is s at most as big as m?
False
Let k = -28405 - -28406. Is 46/473 less than or equal to k?
True
Let k be (-5614110)/(-4640) + 2/32. Is 1209 less than k?
True
Let o = -4 - -13. Suppose 0 = -s - o - 10. Let z be 44 - 46 - (-3)/(-18)*-4*-24. Is z >= s?
True
Let v = -4793/9 + 28358/63. Let g = -50171/609 - v. Is g >= 0.2?
False
Let h be 3 + 56/(-20) - (-14)/(-70). Let w = -117 - -3. Let q = w - -34. Which is bigger: q or h?
h
Suppose -2*m + 13688 = -12*m + 68*m. Are m and 223 unequal?
True
Let t be 17*-940 + (-48 - (-50 - -3)). Which is smaller: t or -15982?
-15982
Let v = 34.88 - 14.88. Is 120/11 at least as big as v?
False
Let x be (-36)/162*2961/(-14). Which is bigger: 320/7 or x?
x
Let h = 12523/8 + -1570. Suppose 11*s - 2*s = -45. Which is smaller: h or s?
s
Let i = 413 + -327. Let l = i + -323. Are -237 and l unequal?
False
Let m = 60 + -133. Let s = 53 + m. Is -18 bigger than s?
True
Let c = -5852 - -11897. Let y = c - 42437/7. Is -16 < y?
False
Suppose 5*w - 75 = 3*x, 0 = 4*w - x - 2*x - 63. Let z(f) = -4*f**2 - 3*f - 5*f**2 + 1 - f**3 + 2*f + 1. Let r be z(-9). Which is smaller: w or r?
r
Let l = 2.57 + -1.57. Let p = 166 + -163.18. Let w = p - -0.18. Are w and l nonequal?
True
Suppose 39*t - 34*t + 2*d - 56 = 0, 3*t = -3*d + 48. Let h = -16934 - -287990/17. Which is smaller: h or t?
h
Let q(p) = -373*p - 1293. Let w be q(-3). Which is bigger: w or -164?
-164
Let x = -773 - -772.9. Let t(a) = a - 1. Let o(y) = -4*y - 10. Let m(b) = o(b) + 3*t(b). Let r be m(13). Which is smaller: r or x?
r
Let p be (-1)/((4/134)/(-2)). Let g = 729 - 661. Do p and g have different values?
True
Let l = 684 + -1597. Let z = 996.2 + l. Let m = z + -83. Which is greater: 0.29 or m?
0.29
Let y = -26.922 - -27. Let p = -0.2237 + -0.3543. Let o = p + y. Is o less than or equal to 1/2?
True
Let v(q) = -158*q - 6 - 10 + 169*q + 3. Let w be v(9). Let i = w - 58. Is i less than or equal to 30?
True
Let s = -3872.6 + 3839.6. Let l = -10/189 + -27733/945. Let i = -29 - l. Which is bigger: i or s?
i
Let f be (-12)/(-8)*(6 + -4). Suppose -5*d + 2*y + f = 1, -3*d = -4*y - 4. Suppose -53*p = -56*p. Is p < d?
False
Suppose -2*r - 192 = -6*r - 5*k, 3*r - 141 = -3*k. Let n = r - 39. Suppose f + 2*f = -6, 0 = -n*q + 2*f + 16. Which is bigger: q or 9/4?
q
Let c = 4 + -4. Let p(a) = -5*a - 32. Let n be p(-7). Let b = n - c. Which is smaller: -2 or b?
-2
Suppose -3*r - 92*s = -87*s - 38, s = 4*r + 3. Which is smaller: r or -590?
-590
Suppose -7*x + 5*y = -2*x + 10, -y + 2 = 0. Do x and 1197 have the same value?
False
Let d(j) = -j**2 + 12*j - 6. Let a be d(-6). Let f = a - -108. Is f equal to -3?
False
Let q = 63.9 - 66.97. Let h = q - -0.07. Let y be ((-8)/(-36))/(125/(-225)). Which is bigger: y or h?
y
Let q = -1.06 + 1. Let x = q - 5.94. Let k = -0.13 - -0.03. Which is smaller: k or x?
x
Let y = 330 - 547. Let a = y + 216.5. Is 11 greater than a?
True
Let p = -1.6 + 1. Let d = p - 23.4. Is -1 > d?
True
Let p be ((-112)/(-84))/(40/30). Which is greater: 1/8227 or p?
p
Suppose -h - 12 = -37. Let d = 402 + -377. Is d less than h?
False
Let d = -20/77 + 6/11. Let q(o) be the second derivative of -o**4/12 - o**3/2 + o**2/2 + o + 88. Let b be q(-3). Which is smaller: b or d?
d
Let z = -521625269/36041330 + 1/487045. Which is smaller: -14 or z?
z
Suppose -3 = -a, -4*x - a = 3*a - 128. Suppose -320 = 37*o - x*o. Let q be 2/4 + 85/(-2). Is o < q?
False
Let f = -13.627 + 21.331. Is f greater than 1/2?
True
Let u be (-18)/4*(-8 - -4). Let g = -5.794 + 0.094. Let i = 5.7 + g. Is u greater than i?
True
Suppose -1151*x = -1152*x + 1173 - 2973. Is x > -9004/5?
True
Let w(g) = -g**3 - 3*g**2 - 2*g - 3. Let l be w(-2). Let k be 14 + -5 + -11 - (-5 + 1). Suppose k = -3*h + 5*y - 0, -h + 2*y = 0. Which is greater: h or l?
l
Let f be 8 + -1 - (-290)/(-58). Let r = -24 + 44. Let z be (1/f)/(-1) - 26/r. Is z greater than or equal to -1?
False
Suppose -538 - 338 = -91*d - 57. Suppose u = -2*h - 1, 0*h - 5*h - 52 = -3*u. Is d >= u?
True
Let u be (20 + (-231)/22)*-2. Let z(y) be the first derivative of y**3/3 + 10*y**2 + 14*y + 1. Let f be z(u). Is f at least -7?
True
Let k be (1/919)/(301/129). Which is bigger: k or -1?
k
Suppose -78*a - 17*a - 105*a + 200 = 0. Is 15.181 <= a?
False
Let r = 400 - 385. Suppose -r*j = -j - 0*j. Does -3/95 = j?
False
Let j = 372 - 374. Let a = 12 + -12.5. Let r = a - 0.3. Which is bigger: j or r?
r
Suppose -b + 6 = 1. Suppose -m = -0*v - 2*v + 7, -2*m + 31 = b*v. Let d(l) = -l**3 + 4*l**2 + l + 12. Let p be d(v). Is -8 less than p?
False
Let h = -64.95 - 4.05. Let t = -120 - h. Is t >= -2?
False
Let z = 3309 + -1148226/347. Is z < 0?
True
Let a = -0.089 + 2.779. Let h = -2.31 - a. Which is smaller: -9/8 or h?
h
Let r = 41317 - 288739/7. Is r less than or equal to 68?
False
Let i be 71712/6032 + -8 - 4. Is i at least 0?
False
Let v = -19 + 22. Suppose -v*u = -2*u + 3, -u = -2*l + 675. Let a be (-1)/(4/l*4). Which is greater: a or -20?
-20
Let a = -140 - -145. Suppose -a*d + 270 = -5*t, 2*t = -t + d - 160. Are -53 and t equal?
True
Let k = -224.249 - -213.74. Let z = k - -10.6. Which is bigger: -2 or z?
z
Let x = -28.373 + 28.673. Is 117/7 > x?
True
Suppose -3*m - 5*v - 92 = 0, -v - 56 = 3*m - 5*v. Let s be (-1 - -3)/(4/m). Is s smaller than -12?
False
Let b be 3694*(6/16)/(182/28 + -8). Which is smaller: 0.1 or b?
b
Let h = -230 - -165. Let j be (104/h)/(2/(-4)). Which is greater: 2 or j?
j
Let f(g) = 2*g**2 + 5*g + 14. Let v be f(6). Let t = 111 - v. Which is bigger: -6 or t?
t
Let c = 2 - 2.2. Let z be (2/4)/(686/140 + -5). Which is smaller: z or c?
z
Let f(x) = -4*x**2 + 53*x + 171. Let o be f(-5). Is o > -191?
False
Let w be -10*((-108)/10)/9. Let p be 146/w - (1 - 35/42). Is p at least 12?
True
Let w = -3007 - -3000. Is w < -15/2?
False
Let f = 3463 + -3463. Which is bigger: f or -1382?
f
Suppose -1134 = -186*d + 139*d - 5082. Which is bigger: -79 or d?
-79
Let t be (-4 + 1 + 3)/(-1 + -1). Suppose -19 - 57 = -w + 3*c, t = 5*w - 4*c - 336. Let y be 33/4 + (-16)/w. Does 5 = y?
False
Let m = -1107 + 1106. Let a = -982 + 55976/57. Is m <= a?
True
Let w be (2 - 26/12) + 116842/3948. Which is smaller: 30 or w?
w
Suppose -3*g + v = -15, 2*v + 25 = 17*g - 12*g. Which is smaller: 1/256 or g?
1/256
Let h = -96644/325809 + 4/12067. Which is smaller: -21 or h?
-21
Suppose 0 = 5*g + j + 117 - 535, -4*g = 2*j - 344. Let x = 51 - -32. Is x less than g?
False
Let s be 11/(-451) - ((-4)/(-2) 