 equal to -11?
True
Let f = 33.67 - -0.33. Let j = -270.1 + 271.1. Which is smaller: f or j?
j
Suppose -5*v - 3*s = -6*s - 13, 3*v + 39 = -6*s. Which is smaller: 33/236 or v?
v
Suppose -14322 = -112*r - 105*r. Which is bigger: 0.43 or r?
r
Let r = 37533/2 + -18761. Which is smaller: r or -0.73?
-0.73
Suppose 49*i + 2954 = 112. Is -54 < i?
False
Let h be (3/2)/(5859/(-372)). Is 193 != h?
True
Let x = -51790 + 51835.414. Let d = -0.414 + x. Which is greater: -1/2 or d?
d
Let b be (-1566)/(-81) + -18 - 31274/6. Which is smaller: b or -5213?
-5213
Suppose 0*p = 2*p - 98. Let h = 790 + -840. Let z = h + p. Is z at most 5/14?
True
Let v(m) = m**3 + m - 15. Let a(n) = n**3 + n + 1. Let w(c) = -2*a(c) + v(c). Suppose 0 = -15*p + 9*p. Let x be w(p). Which is smaller: -15 or x?
x
Let z = 663 + -756. Let t be (-18)/8*620/z. Is t at least as big as 24?
False
Let h = 2.378 + 2.622. Which is smaller: 48 or h?
h
Let j = -387 - -2689/7. Suppose 3 = -1109*f + 1112*f. Is j less than f?
True
Let n = 545.8 + 1097.5. Let d = -1553 + n. Let f = 90 - d. Which is bigger: -26 or f?
f
Let x(c) = c**3 - 24*c + 4. Let o be x(-5). Is o > -3/5581?
False
Let h = -136884/227 - -603. Which is bigger: 1 or h?
1
Let m = -731 - -735. Suppose m*x = 2*v - 110, -2*v = -0*v + 4*x - 134. Which is greater: v or 60?
v
Let h = 4 - 3. Let v = -539 + 544. Suppose v*q = -3*t + 60, -q - 42*t + 37*t = 10. Which is smaller: q or h?
h
Let j = -80359/54 - -2977/2. Suppose n + 1 + 1 = 0, 5*n = -z - 10. Is j at least z?
True
Let a = -3634 - -4167. Is a at most as big as 533?
True
Let q = 260.7 + -260.5. Which is smaller: 0.1084 or q?
0.1084
Suppose -17*r + 24*r = 18459. Let j = -52761/20 + r. Is j greater than 0?
False
Let u = -586 - -597. Suppose y = -2*i - 8, -u = 3*i + 14*y - 12*y. Are i and 4 non-equal?
True
Suppose -n = -3*n + 10. Suppose -12*h + n = -17*h. Is 1/176 at least as big as h?
True
Suppose -12*r = -33 + 45. Let k be r + (-26)/(-18) - (-2)/(-12). Which is bigger: k or 1?
1
Suppose -6911 - 5059 = -126*i. Let t = 29459/3 - 9724. Is t equal to i?
False
Suppose 24 = -3*n - 2*o, 2*n - 5*o = 5*n + 24. Let v(r) = -r**2 + r + 73. Let h be v(n). Which is greater: 4/47 or h?
h
Let s = 0.19 - 73.69. Let o = 79 + s. Let v = o + -6.5. Which is smaller: v or 15?
v
Suppose 2*v - 4 = 0, -2*v + 6 = 29*y - 31*y. Which is bigger: 49/116 or y?
49/116
Let h be (-3)/5 - (-132)/195. Let z be (-2740)/60 + 5/3. Let y(f) = f**3 + 46*f**2 + 90*f + 87. Let m be y(z). Which is smaller: h or m?
m
Let s = 0.0673 + -453.0673. Which is bigger: -1 or s?
-1
Let j be (-13797)/12 + 2 - (-17 - 219/(-12)). Which is greater: -1145 or j?
-1145
Let c(g) = -g - 1. Let u(a) = -a**3 + a**2 - 3*a - 3. Suppose -o - 3 = -4*o. Let z(y) = o*u(y) - 3*c(y). Let b be z(0). Which is greater: b or 2/17?
2/17
Let r be (-4)/(-16)*0 + 20/(-2). Let u = -10 - r. Suppose -3*d = -3*h - 219, 2*d - 153 = -u*d - 5*h. Which is smaller: 75 or d?
d
Let w(j) = 3*j**2 + 140*j + 27. Let n be w(-47). Which is greater: 966/13 or n?
966/13
Let r be -44*(-1 + 5/10). Suppose -f = -3*f - 2*w + 18, -4*f + 3*w + r = 0. Suppose 6*g = f*g. Do g and -1/15 have different values?
True
Let o = -273 - -274.27. Let k = -1.2 + o. Let i(v) = -5*v**3 - 196*v**2 - 60*v - 819. Let h be i(-39). Which is smaller: h or k?
h
Let g = 285 - 280. Suppose 0 = 4*r + 4, -53 = g*n - 3*r + 64. Which is bigger: n or -27?
n
Let s be (3 - 6) + 22 - 3. Let y be (0 + 1)/((-6)/((-1020)/10)). Does y = s?
False
Let o = -4445 - -4444. Is o not equal to -1/8328?
True
Let j = 2.43 + -1.43. Let z = -398.5 + -69.5. Do z and j have the same value?
False
Suppose 157*z + z - 47943 = 18575. Are z and 422 non-equal?
True
Let a = -1.35 - -1.4. Let m = -0.25 + a. Let n = -189/8 + 961/40. Which is smaller: m or n?
m
Let d be 8/(-6) - (-2294)/(-93). Let s = -234 - d. Which is bigger: -207 or s?
-207
Let j(o) = 2*o**3 - 34*o - 82. Let s be j(-11). Let h be (-190)/(-114)*(-4)/s. Is 0 at least as big as h?
False
Let z be 0 + -2 + -6 + 25 + -2. Which is bigger: z or 396/29?
z
Let i be 265/(-126)*4 + 7 + (-1)/7. Is 3/2 greater than or equal to i?
True
Suppose -y = -4 - 0. Let n = 1127 - 1109. Suppose 0 = -y*v + n - 6. Is v >= 3/8?
True
Let c be 4/18 - 74/252. Suppose -v - 1 = -3. Suppose -4 = 3*n + v. Which is smaller: c or n?
n
Let u = -1268 + 1346. Is u at most as big as -0.11?
False
Suppose -54*f + 3*f + 820 = -10*f. Which is bigger: 21 or f?
21
Let w(h) = h**3 - 5*h**2 + 5*h - 23. Let d be w(5). Suppose -3*c + 4*c - 10 = 2*b, 0 = d*c + 2*b - 14. Is 6 > c?
False
Let t = 7898 - 24809/3. Let b = t + 372. Is -199 < b?
True
Suppose 1172 = -5*u - 843. Let k(w) = -398*w**2 + 24*w - 29. Let y be k(1). Are u and y equal?
True
Let h be (-54)/45 + 269328/224340. Is h smaller than 0?
False
Let m be (-6262)/(-5)*(-385)/(-56). Let h = 8564 - m. Is h less than or equal to -46?
True
Suppose 0 = -274*d + 286*d + 3612. Is -302 <= d?
True
Let g(n) = n**3 + 8*n**2 + 3*n + 1. Let u be g(-6). Let w(q) = -17*q - 2. Let x be w(-2). Let t = x - u. Is t at least as big as -23?
True
Let n = -164089/3 + 54775. Suppose -i = i + 10, -3*v + 5*i + 262 = 0. Which is bigger: v or n?
v
Let s = 37/248 - 96335/744. Let a = 3041/24 + s. Suppose -3*m + 2*m = 3, p - 3*m - 6 = 0. Are p and a nonequal?
True
Let k be (-2524)/3130 + 164/205. Are k and -4 non-equal?
True
Suppose -3*k - 3 = -3*t, 5*k + 10 = 3*t + 3. Let w be k/3 - (-8)/12. Let c be 1/8*(2 + w)*-3. Which is smaller: c or -2?
-2
Let c be 3870/4*4*(-4)/(-24). Is c > 645?
False
Let m = 165052 + -165046. Suppose 0 = 2*o + 6 - 60. Is m greater than or equal to o?
False
Let g(w) = 86*w - 1690. Let u be g(14). Which is greater: u or -4364/9?
-4364/9
Let w(n) = -3*n**2 + 76*n + 401. Let y be w(-8). Is -402 at least y?
False
Let k = -31 - -22. Let z = 2651 + -2650.9. Is z less than k?
False
Let m = -224 + 193.44. Let r = 2.56 + m. Is -1/6 not equal to r?
True
Let p(f) = -4*f**2 + 117*f - 603. Let b be p(23). Let v be -30 - 4/8*0. Is b less than v?
False
Suppose -23237 + 34873 = 50*i + 242836. Is i equal to -4624?
True
Suppose 111447 = -94*b - 31809. Do -1524 and b have the same value?
True
Let j be 259064/345248 + (((-297)/12)/9 - -2). Which is bigger: j or -1?
j
Let n be (-2 - -6) + 14 - -5. Let f(s) be the second derivative of s**5/20 - 25*s**4/12 + 47*s**3/6 - 33*s**2/2 - 15*s. Let g be f(n). Is -4 <= g?
False
Let x be (-531)/(-12)*429/(-18) - 42/112. Which is smaller: -1065 or x?
-1065
Let b = -285 + 1997/7. Let x(m) = -m**2 - 7*m + 5. Let q be x(-7). Is q bigger than b?
True
Suppose -4*z = 9*n - 14*n + 15947, 2*z = -4*n + 12742. Which is bigger: 3185 or n?
n
Let x = -83869 + 284902997/3397. Which is smaller: 1 or x?
x
Let w = 89001/13 + -70934499/10361. Is w greater than or equal to 0?
False
Let q(l) be the first derivative of l**2 - 144*l - 281. Let f be q(54). Which is smaller: -33 or f?
f
Let i be 5*2/(-15)*562/176. Let j = i - -43/12. Which is smaller: j or -1?
-1
Let z = 50 - 48. Let b = 0.197 - 5.197. Let v = z + b. Do -3/10 and v have the same value?
False
Let x = -2.753 - -2.77. Let j = -6.5 + 6.558. Let p = x - j. Which is smaller: 1/3 or p?
p
Let o be (128/(-40))/((-6)/15). Let c be (o/(-52))/(-1)*10. Let s(t) = -t**2 - 12*t + 1. Let p be s(-12). Which is smaller: c or p?
p
Let c = 344 + -319.5. Let q = c - 25.2. Is q greater than 24?
False
Let n be 6*(-240)/8*4/(-12). Is 672/11 at most n?
False
Let v = -156.9 + 171. Let x = v + -14.08. Is x smaller than -2/7?
False
Let h be (-1 + 8/16)*-14. Let l be (-1 - (-3630)/h) + (-189)/(-441). Which is smaller: 519 or l?
l
Let k = -85.197 + 0.197. Let f = 83.58 + k. Let u = f + 0.42. Which is smaller: 2.8 or u?
u
Let m = -493.56 - -493.6. Is -8 < m?
True
Let h = -3565 - -445622/125. Let k = h - -53/125. Is k greater than or equal to 0.2?
True
Suppose -6*f + 64 = 4. Suppose -3*b = 2*l - 4*b + 1, 5*l - 5*b = -f. Let v be 5/(-2)*(7/60)/(-7). Is v equal to l?
False
Let b = 310 - 300. Let q be (-5)/70*b*22/15. Is 0 > q?
True
Let m = 141841/55 + -2579. Suppose u - 3*g = 0, 9*u = 6*u + 5*g. Are m and u unequal?
True
Suppose 0 = 4*z - 5*w - 18, -3*z = -5*w + 6 - 22. Let h(d) = -5*d - d + 0*d - 4 - z*d**2 + 5*d + 3*d**3. Let y be h(3). Which is smaller: y or 1?
1
Let f be (105/7)/((-2)/(-24)). Suppose 184 = -4*n + f. Which is smaller: n or 3/3