+ -355.2. Which is bigger: 2809 or d?
2809
Let p = 82 - 10. Suppose -p*f + 76*f = 104. Do 22 and f have different values?
True
Let w = 5.226 - 0.126. Let m = -0.1278 - -0.1278. Which is smaller: m or w?
m
Suppose -9 = 2*t - 4*g + 19, 5*t - 3*g = -91. Let w(b) = 3*b + 58. Let a be w(t). Is a less than or equal to -9/4?
False
Let g = 1287.1 - 1223. Let c = -64 + g. Which is smaller: c or 32?
c
Let g(t) = -108*t**2 + 8746*t - 165. Let v be g(81). Let u be -1*-327*1*-1. Is u less than v?
False
Suppose -t - 7768 = -4*g, 5*t + 588 = g - 1373. Suppose -31*j + g = 608. Suppose 2 = -2*f + 4*f, 4*f = -3*z + 133. Is j < z?
False
Let v = -1564 + 575553/368. Which is greater: v or 0?
v
Let y(w) = -w**3 - w**2 - 2*w - 4. Suppose -5 = -3*f + 2*f. Suppose 5*l + 6*r - 2*r + 5 = 0, 5*r + 10 = -f*l. Let a be y(l). Is a smaller than -44?
True
Let w = -0.392 - 9.258. Let j = -9.6 - w. Which is smaller: -2/7 or j?
-2/7
Let i = 0.392 - 0.932. Is i at least as big as -4/23?
False
Let p = 397 + -427. Let o be -12*10/135*p. Is 28 at most o?
False
Let k = 691.2 + -643. Let n = k + -44.2. Let s = 5 - 4. Is n <= s?
False
Suppose -179*a + 192*a = 23530. Which is smaller: 1811 or a?
a
Let a = 33 - 39. Let z be a - (1 - 4) - 59/5. Which is smaller: -14 or z?
z
Let g be 0*-3*3/36. Let h be 0/(0 - (2 - g)). Let b be (-2 - h)*(-27)/6. Which is smaller: 0.2 or b?
0.2
Let h = 20465 - 35746. Is h > -15281?
False
Let o = 2808 + -2808. Let s = 3.6 - 3.7. Which is smaller: s or o?
s
Suppose -149 = -22*k - 17. Let q(w) = -w**3 - 9*w**2 - 9*w - 5. Let c be q(-8). Let g be (-13)/(-2) - (5 - c). Is g at most as big as k?
True
Let w be ((-584)/(-511))/(16 + -4). Let k = 1.11 + -0.21. Let s = k - 1. Is s greater than w?
False
Let v = -11224 + 11222. Are -71/98 and v non-equal?
True
Let h(l) be the second derivative of -11*l**3/6 + 15*l**2 - 34*l. Let q be h(-6). Let p = q + -60. Which is smaller: p or 38?
p
Suppose 171 = 17*x + 120. Is x at least as big as -881?
True
Let n = -22 + -21. Suppose 6*o - 30 = 0, 6*a - 7*a - 62 = -4*o. Is n at most a?
True
Let r(i) = -i**3 + 16*i**2 + 126*i - 71. Let n be r(21). Which is bigger: 2961/8 or n?
2961/8
Let b = -2507.8 + 2507. Which is bigger: 7/58 or b?
7/58
Let v be ((-24)/(-10))/((-40)/3100). Is -187 >= v?
False
Let m be 2 - ((-12)/30 + (-4464)/15). Let f = 298 - m. Let i be (-1)/2 - (-10)/(-12). Which is smaller: f or i?
f
Let t(o) = 23*o**2 + 17*o - 30. Let u(p) = -4*p**2 - 3*p + 5. Let w(s) = -6*t(s) - 34*u(s). Let d be w(-4). Is -153/7 smaller than d?
False
Let j be 642/10*(-20)/26. Which is smaller: j or 0.3?
j
Let h be 178/380 - (-1)/(-2). Suppose 6*g - 4*l = 10*g + 4, 0 = 2*g - 5*l - 12. Are g and h non-equal?
True
Let a = -2/665 + -3321/1330. Let d = -199/80 - a. Is d smaller than -1?
False
Suppose 18*i - 21*i = 4*q + 358, 2*q = 4*i + 448. Which is smaller: -121 or i?
-121
Let w be (-70)/455 - 2/(-13). Which is smaller: w or -7/143?
-7/143
Let s = 69 + -66.1. Let k = s + -2.8. Let t = -430 + 387. Is t at most as big as k?
True
Let s(t) = -t**2 + t. Let q be s(1). Suppose -25 = -5*c + 2*a, 9 = 2*c - 2*a + a. Let h be (c + (-222)/33)/(18/8). Which is smaller: q or h?
q
Let o be 32/114 + (-2)/(-3). Let p = -83 + -33. Let r be (10/45)/(-3 - p/36). Which is smaller: o or r?
o
Let l be (-2 - (-98)/30) + -1. Let p(a) = -5*a**2 - 3*a + 4. Let i be p(3). Let f = 51 + i. Do f and l have different values?
True
Let y be (-16)/(-288)*12*(-12)/428. Let i(l) = -l + 4. Let j be i(-5). Let w be (-15)/j*4/10. Which is bigger: w or y?
y
Let j = -157 + -228. Which is smaller: -379 or j?
j
Let u(v) be the second derivative of v**5/20 - 5*v**4/12 - 7*v**3/3 - 2*v**2 + 10*v - 5. Let s be u(7). Which is bigger: s or -7?
s
Let v = -4.521 - -3.961. Does v = -12?
False
Let z = 76.027 + -0.027. Let m = -157 + z. Let n = m + 79.7. Which is smaller: 0 or n?
n
Let a(v) = -2*v**2 - 32*v - 129. Let p be a(-8). Let d = -4738 - -1753059/370. Which is greater: p or d?
d
Let z be (49 - 56012/1139) + (-19)/85. Suppose -2*v = -0*v + 18. Which is smaller: z or v?
v
Let a = -2/51319 + -139946909/102638. Let m = 1408 + a. Which is smaller: m or 45?
m
Let m be ((-1)/(-2) + -4)*(-2784)/84. Which is greater: 107 or m?
m
Let b be 7 + 1 + (67 - 78 - 5/(-2)). Which is smaller: b or 472?
b
Suppose 5*i + w + 5530 = -10784, -5*i - 4*w - 16326 = 0. Is -3263 smaller than i?
True
Suppose 1816*p - 8131 - 32219 = 1841*p. Which is bigger: -1612 or p?
-1612
Let x = -4824 + 4801. Which is bigger: x or -26?
x
Let u = -367237 - -367191. Let w = -4.02 + 0.02. Which is bigger: u or w?
w
Suppose 0 = -v + 2*v - 91. Suppose -19*r + 3493 = 10*r + 767. Which is smaller: v or r?
v
Let z = -3645.86419 + -3.28081. Let j = -3635 - z. Let g = -0.145 + j. Are g and -5 non-equal?
True
Let s = 3438 + -13751/4. Which is greater: s or -2?
s
Let w be 5 - (32/56 + (-35610)/(-770)). Is w greater than or equal to -41?
False
Let u = -1163 + 1163.7. Let p be 2 + 2 + 8/(-4). Let v be p/(-5)*-5 - -7. Which is smaller: u or v?
u
Let a = -1.42102 + 0.27572. Which is smaller: a or -0.2?
a
Let b = -0.171 + -212.829. Let y = b + 212.5. Are -0.13 and y unequal?
True
Let i = 3/46 - -65/414. Let v = -3/764 + -10299/3820. Which is bigger: i or v?
i
Suppose 4 = -4*d - 12. Let y be ((-256)/d + -3)*1 - -3. Which is bigger: y or 63?
y
Let s = -12.2 - 0.8. Let v = s - -12.979. Let d = 0.521 + v. Which is smaller: d or -2/11?
-2/11
Let l(i) = -i**2 + 5*i + 6. Let b be l(6). Suppose 831*f = 816*f + 1118 + 1537. Is b at least as big as f?
False
Let i be -12 - 43192/(-21552)*6. Which is smaller: 1 or i?
i
Let y = 1.03 + -50.03. Let b = 69004.7 + -69005. Which is bigger: y or b?
b
Let c = -12306.9 - -12307. Is c at most as big as 508?
True
Let g = -353 - -230. Let w = 122.8 + g. Are -1/5 and w nonequal?
False
Let o = -0.1 - -69.1. Let k = -5 - o. Let q = -75 - k. Is 12/5 bigger than q?
True
Let x(s) = -6*s + 88. Let j be x(16). Let c be (36/j + 4)*12/19. Let n = 2 - 1. Which is greater: c or n?
n
Let v = 104609 + -727768/7. Suppose 0 = -4*b - 4*g - 2548, -b - 2*g = 4*b + 3194. Let m = b + v. Is 1/2 < m?
True
Let r be (-3)/6*9*(31717/(-6348) + 5). Let z = 0.9 - 1. Is r greater than z?
True
Suppose -f + 1248 = 5*l, -2*f - 248 + 1244 = 4*l. Suppose 9*z - 2 - l = 0. Suppose -z*n + 25*n + 12 = 0. Which is smaller: n or 3?
3
Let c = 16552/21 - 2380/3. Let v = -60 - -55. Are v and c nonequal?
True
Let z(a) = -3*a**2 - 4*a - 13. Let f be z(-3). Is f at least as big as 13?
False
Let w = 1802 + -1801. Suppose 387 = y - 5*r, 0*y + 4*r + 774 = 2*y. Let c = 2715/7 - y. Which is bigger: c or w?
w
Let u = -340 - -348. Let r = -14 - -16. Suppose -5*d = -r*d - 12. Which is smaller: u or d?
d
Suppose -11 + 4 = -s - 2*v, -2*s + 15 = 5*v. Let h be (s + -1)/(-2) + 1. Let n be h/5 - 4/5. Which is bigger: n or -1/35?
-1/35
Suppose -8*s + 3*s = -20, 0 = 2*n - 2*s + 8. Which is smaller: n or 11/131?
n
Let l = 0.649 + -0.549. Let m = -46 - -42. Is l != m?
True
Let d = -7960819879/25271 + 315018. Is d less than or equal to 1?
True
Let j be 12/(-66) - -7*108/44. Suppose j*u - 2 = 15*u. Which is smaller: u or -5?
-5
Let h = -2.4 - -1. Let n = h + -6.6. Let o = 10.45 + -10.55. Is n > o?
False
Let z(t) = -t**2 + 20*t + 1. Let q be (3*(-4)/18)/((-2)/66). Let w be z(q). Is -42 != w?
True
Suppose 0 = -3*f + 4*u - 9, 4 = 5*f - 5*u + 19. Let d(l) = 3*l**2 + 6*l + 1. Let s be d(f). Let i be 0 + 2/s + 13/(-5). Is i at most -2?
True
Let v = 228 + -1598/7. Is 4/13 less than or equal to v?
False
Let f(o) = 33*o - 129. Let r be f(4). Suppose -254 = r*h - 0*h - 5*p, 20 = -4*p. Which is smaller: -92 or h?
h
Let a be 3260 - (272/16 + -14). Which is smaller: a or 3258?
a
Suppose -h = 3*n - 5, 0 = 2*n + 3*n + 3*h - 3. Suppose -5*t - 14 = -n*k, -t = -2*k - 4*t + 22. Let u be k/(-32) + (-13)/(-8)*10. Is u less than 14?
False
Let i(u) = u**3 + 2*u**2 - 3*u + 20. Let m be i(-4). Let h = -5867/3990 - -1/266. Does h = m?
False
Let p(r) = r**3 - 105*r**2 + 119*r - 2042. Let q be p(104). Is q not equal to -3847/8?
True
Let f(u) = 2*u**3 - 7*u**2 + 10. Let c be f(2). Which is bigger: c or -49/81?
-49/81
Let k(l) = -l**3 + l**2 + 2*l + 53. Suppose -7*d - 3 = -3. Let h be k(d). Do 52 and h have different values?
True
Let w = 41012 + -247671467/6039. Is w bigger than 1?
False
Suppose 5*o - 5*l =