= -a*o + 22. Let v = -18 + 20. Is v <= o?
True
Let b = -5403 + 5403. Which is greater: 48/65 or b?
48/65
Let h = 23429 + -23427. Which is smaller: -4.622 or h?
-4.622
Let a = 94 + -80. Let u(w) = -w**3 + 13*w**2 + 12*w + 12. Let x be u(a). Let f(i) = i**2 + 16*i + 2. Let m be f(x). Is 17 != m?
True
Let p be (-4)/10 - 6890/(-350). Let z be 7 + -15 - 1*(6 + -32). Is p <= z?
False
Suppose 0 = 6*r + 505 - 91. Let w = r - -74. Let v = 57 - w. Is 52 smaller than v?
False
Let h(g) be the third derivative of g**5/12 + 43*g**4/8 - 9*g**3/2 + 194*g**2. Let s be h(-26). Which is smaller: s or -1/256?
s
Let d be 635/25 - 10/25. Suppose 3*p = 6*p - 5*i + 25, 5*i = -p + d. Which is bigger: 1 or p?
1
Let f = -2121 + 2123.7. Is -4 at most as big as f?
True
Suppose -2*h + 3 = 7. Let j = -415 + 392.07. Let p = j + -0.07. Which is bigger: h or p?
h
Let s = 12 + -11.7. Let x = -3 - -4.8. Let a = x + -2.8. Which is smaller: s or a?
a
Let s be (-23*(-34)/(-85))/((-34)/5). Let t = -16 + 16. Which is bigger: s or t?
s
Let f = 46 - 21. Suppose 23*i + 136 = f*i. Suppose 40 = 6*p - i. Is 18 != p?
False
Let g = -0.0664 - -0.6664. Let w be (-9)/4*1*1400/975. Is g <= w?
False
Suppose -2*z = -3*n - 8, -4*n - 8 = -4*z + 4. Let u(x) = -2*x + 18. Let g(k) = -k + 19. Let a(r) = n*u(r) + 3*g(r). Let s be a(-21). Which is greater: 7/5 or s?
7/5
Let g = 59 + -54. Suppose -g = t - 8. Suppose 2*m = -3*h + 7, -5*m + m = -5*h - t. Is 1/83 at least as big as h?
False
Suppose p + 2*g = 70, 3*p - 3*g = -8*g + 205. Suppose 25 = t - 30. Let z = t - p. Is -2/11 >= z?
True
Suppose -5*a = 10, 0 = -2*s + 5*a - 7633 - 35695. Which is smaller: -21668 or s?
s
Let v be ((-1282)/(-7))/((-47736)/1638) - 1/(-6). Let f be (-8)/(-1 - -5) - 5. Which is smaller: v or f?
f
Suppose -16*w = -8*w - 120. Let t be (-1)/(-4)*w/(135/(-12)). Which is smaller: t or -169?
-169
Let u be (468/40 + 2/(-4))*(-17)/(-340). Which is bigger: u or -1/4?
u
Let t be -40*((-567)/72 - -6). Let l = -61 + t. Which is smaller: l or 15?
l
Let b be ((-28)/(-42))/(((-40)/4932)/(0 + 2)). Which is smaller: b or -163?
b
Let x be 9 - ((-1268)/(-144) + (-14)/(-126)). Is -12 smaller than x?
True
Suppose 0 = 314143*i - 314089*i + 54. Let b = 518651/451 + -1150. Is i at least as big as b?
False
Let a be 4/(-110)*10 + ((-226296)/87450)/(-7). Which is smaller: a or 1?
a
Suppose 0 = i + 4*u - 143, 2*i - 781 = -3*i + 2*u. Suppose -i = 2*s - 35. Is -57 greater than s?
True
Let k = -1047 + 1561. Which is smaller: 511 or k?
511
Let h = 6057 - 6240. Which is smaller: h or -229?
-229
Let d = -3802 + 3801.9. Is 8680 < d?
False
Let d(a) = 57*a**2 + 113*a + 445. Let f be d(-4). Is 902 smaller than f?
True
Let c(n) = n**3 - 6*n**2 + 4*n - 2. Let j be c(5). Let u = 296 + -233. Let l = -65 + u. Which is greater: j or l?
l
Let j be (-12412)/26 - 9*(-208)/234. Which is greater: -470 or j?
j
Let q = 536352471/1963 + -273231. Let v = -761554/9815 - q. Let u = 79 + v. Which is smaller: 0 or u?
0
Suppose 4*l + 112 = 2*c + 738, 2*c = -4*l - 586. Let z = -521 - c. Does z = -217?
False
Let r be ((-814)/66 + 12)*6927. Is 1 > r?
True
Let c = 70 + 14. Let m = 83 - c. Let n be (-2)/(530/(-30) - (-1)/(-3)). Are n and m nonequal?
True
Let t = -73 + 73. Let u be 16/(-216)*-89 - 6. Is t at most u?
True
Let q = 7779 - 7882. Which is greater: q or -107?
q
Let t = 6 + -4. Suppose 21 = 4*g - l, t*g + g - 17 = 2*l. Let m(o) = -o**2 + 66*o - 186. Let i be m(63). Is i greater than g?
False
Let q(b) be the first derivative of b**4/4 + 13*b**3/3 - 10*b**2 + 33*b + 41. Let m be q(-15). Let i be 39/65 - m/5. Do i and 26 have different values?
True
Let w = -2793 - -2716. Is w at most 0.2?
True
Let c = -154 - -158. Suppose 12*g = 14*g + c. Is -0.5 at most g?
False
Suppose 0 = -2*k - 3*m, -66 = -4*k + 43*m - 38*m. Is k less than or equal to 143?
True
Suppose -2*f = -8*f - 3*f + 9. Which is greater: f or 41/306?
f
Let z be (-3)/12*-4 - (-4 - 29). Suppose -21*j + z*j - 390 = 0. Is j at most 1?
False
Suppose 0 = 92*c - 99*c - 273. Is c at least as big as -31?
False
Let q = -193/1865 - 36/373. Which is greater: q or 51/4?
51/4
Suppose s - 4*a = 1 + 30, 0 = -s + a + 19. Let w be ((-2 - -166)*s/12)/1. Let l be 24*(w/70 + 1 + -4). Which is smaller: -1 or l?
l
Let n = 37 + -38. Let l be 0 + -1 - n*5. Suppose l = -2*y - 3*s - 27, -24 = 3*y - 3*s. Which is smaller: y or -12?
-12
Let s be 26/(-143) + (-20)/11. Let v be 4/(31 + -3)*s. Let p = -14 - -25. Which is smaller: v or p?
v
Suppose -5*b + 3*v + 306 = 0, -11*v = 5*b - 13*v - 309. Is b >= 52?
True
Let l = 248541/170 + -1462. Let q = -503/1190 - l. Let z be 0*(2 - 5/2). Which is smaller: z or q?
q
Let t = -52768/15 - -3518. Which is greater: t or -0.91?
t
Let j = 843522/29393 - 13/2261. Is 29 less than or equal to j?
False
Let t be (-127)/2 + 2/4. Let c(h) = h**3 - 19*h**2 + 6. Let y be c(19). Suppose 0 = -2*i - y, -3*g - 11*i + 14*i = 180. Is t at most g?
True
Suppose -d - 5*p = 221, 3*d + d + p + 827 = 0. Is d smaller than -218?
False
Let r = -89828815/564 - -159271. Do 0 and r have different values?
True
Let b = 157 - 157. Let o = 589366106/1220225231 + -50/376729. Let j = o - 42/79. Which is smaller: b or j?
j
Let o = -58 + 3. Let g be (-3)/(15/(-2)) + (-1463)/o. Let i be (-3)/12 + g/(-36). Which is smaller: -1/60 or i?
i
Let j = 461212/1103885 + -4/9599. Let d = 18/23 + j. Which is bigger: d or 0.8?
d
Let h(c) = 51*c**2 + 14*c - 3. Let n be h(1). Which is smaller: 556/9 or n?
556/9
Let d = -392 + 211. Let b = 180 + d. Which is bigger: b or 7/34?
7/34
Let h = -4 + 5.74. Let q = 0.48 - h. Is q > -1/2?
False
Let k = -65 + 41. Let u = 49 + k. Suppose 0 = -h - 5*n + 69, -19*n = -5*h - 23*n + 156. Is h less than u?
True
Let t be (2/6)/((-1)/(-27)). Suppose -29 = 4*o - t. Let p be (-2 + -8)/o + -1. Is p at least -3/8?
True
Suppose 23*b - 1 = 22*b. Let w = -88613/162 + 547. Do b and w have the same value?
False
Let i be 2/(-8) + 91/28 + -3. Which is greater: i or 1/978?
1/978
Suppose 1696 = 27*i - 5000. Let w be 1 + -9 + i/31. Is w > -9/59?
True
Suppose 5*s + 2*l = -2145, -34*s + 37*s - 4*l = -1287. Which is smaller: s or -428?
s
Suppose 0 = -2*r + i + 79, 3*i = -2*r - 2*i + 109. Suppose -r*j + 37*j + 2455 = 0. Does j = 492?
False
Let o = -79477/5 + 15945. Is o less than or equal to 50?
True
Suppose -49*w + 1422 = -31*w. Which is smaller: 3/10 or w?
3/10
Let q be ((-6)/5)/((-56)/35). Let b = 8.4 + -13.45. Let i = b - -5. Is q bigger than i?
True
Let j = 711 + -134. Let d = 379 - j. Let g be d/69 + (-2 - -3) + 2. Does 1 = g?
False
Suppose 398*p = 394*p + 3*k + 2, p - 2*k - 3 = 0. Which is greater: p or -27/22?
p
Let d = 758 + -3023. Is d at most -2262?
True
Let j = 3.14 + -3. Let v = -120 - -165. Let q = 45 - v. Which is smaller: j or q?
q
Let a be 0 - (1 - (-39)/(-33)). Let r = -215 + 342. Let f = r + -116. Which is smaller: f or a?
a
Suppose 5*j - 5 = 0, -j = 4*a - 10*a + 263. Which is bigger: -36 or a?
a
Suppose -2*t + 3*q - 83 = 0, -201*q - 119 = 3*t - 200*q. Let u = 177 + -253. Let x = 36 + u. Is x > t?
False
Let n(v) = v**2 - 444*v - 1791. Let o be n(-4). Is o not equal to -19/307?
True
Suppose 0 = 277*r - 520*r - 243. Which is smaller: -2/20257 or r?
r
Let o(u) = 41*u + 165. Let n be o(-4). Which is greater: -0.118 or n?
n
Let f = -14/12979 + -16184659/142769. Let a = -113 - f. Which is greater: -10 or a?
a
Suppose 2*r - 2 = -n - 3*r, -2*n - 5*r + 19 = 0. Suppose n*g + 40 = 21*g. Let y = 22 - g. Is y != 10?
True
Suppose 0 = 11*p - 64 - 3247. Let r = p - 302. Is r bigger than -2/559?
False
Suppose -5*u + v - 1 + 15 = 0, -u = -5*v + 2. Suppose 0 = -y - 5, u*y = 2*t - 2*y - 41. Let o(c) = -c**2 + 4*c + 18. Let a be o(t). Which is smaller: a or -12?
a
Let n = 332 + -317. Let x be (6/10 + -1)*(n + -10). Is -18/31 bigger than x?
True
Suppose -244*s + 1012 + 50716 = 0. Let k be (1/(-2))/(6/(-2532)). Which is smaller: s or k?
k
Suppose 5*s - 15 = 10. Let y = -38 + 179. Suppose y = -s*u + 376. Which is smaller: u or 48?
u
Let c be 10075/(-60) + (-3 - -2). Let s = -169 - c. Suppose -i - 7*j + 1 = -6*j, 3*i - 3*j = 3. Is s smaller than i?
True
Let t(q) = -34*q + 86. Let x be t(-2). Let a = -156 + x. Is a > 1.64?
False
Let c be 1590 + (4 - (-1 + 10)). Is c greater than or equal to 1586?
False
Let w(m) = m**2 - 12*m - 588. Let h be w(-19). Let t = -