318/7. Let z = -1139 - -1148. Is o smaller than z?
False
Suppose 0 = 4*c - 0 - 4. Let s = -96 - -103. Let g be ((-978)/(-144) - s) + 2/8. Is c smaller than g?
False
Let q = -7049.1 - -7049. Is q < -2458?
False
Suppose -103*w - 5*k = -100*w, 4*w = 5*k. Which is greater: 7/22 or w?
7/22
Let a be 180/108 + 8/(-3). Which is smaller: a or -2/9291?
a
Suppose -3*w + 5*t - 5760 = 0, 89*w = 86*w - t - 5796. Do w and -1929 have different values?
True
Suppose 2*o + a - 6*a = 0, -3*a = 4*o - 26. Suppose 10*h + 5 = o*h. Let g be 4*18/(-120) - (-216)/410. Is g != h?
True
Let a(v) = v**3 - 7*v**2 - 12*v + 47. Let x be a(8). Suppose 4*p - 2*p = -56. Let m = p - -42. Are x and m equal?
False
Let n = -118793/62868 + 5/2028. Is n at least -1?
False
Let w be 13 + 3*3/9. Suppose 2*l = -2*v - 3*l + 64, 4*v - 160 = -2*l. Suppose 4*c = c + v. Is c equal to w?
True
Let b be (-688)/860 - (1 + 0 - 4137/15). Which is bigger: b or 278?
278
Let q = 211 + -208. Suppose -14*g + q*g = 2*g. Are g and -3/233 equal?
False
Suppose -121*w = -119*w - 10. Suppose -3*v = -3*n + n + 1, -5*v - w = 0. Which is smaller: n or -1/258?
n
Let o = -54 + -3. Let i = 10.26 - -47.74. Let j = o + i. Is j equal to 0.8?
False
Let z = 22496 + -832312/37. Which is smaller: z or 2/5?
2/5
Let p = 5917 - 449677/76. Which is greater: p or 1?
1
Let g be -11 - -15 - (1 + -132 + 2). Suppose 3*w - 136 = -g. Let j be 3/(-50)*(-35)/14. Is w less than j?
False
Suppose 5*i - 39 = k, -4*k - 93 - 15 = -4*i. Let v(o) be the first derivative of -o**4/4 + 4*o**3/3 - 5*o**2/2 - 3*o - 14. Let p be v(4). Does k = p?
False
Suppose -6*c - 2*c + 608 = 0. Suppose -3*b = 28 - c. Suppose -2*k - 5 = y - 1, 4*y = -b. Which is greater: k or 2/35?
2/35
Let x = -4416 + -1422. Is -5839 greater than x?
False
Let g(x) be the first derivative of 5*x**2/2 - 92*x + 120. Let n be g(19). Let u(v) = v. Let w be u(4). Which is smaller: w or n?
n
Suppose -5*c + 9*c + 18*c = 0. Suppose -7*a = -3*a + 12, -4*o - 3*a - 9 = c. Which is greater: o or 1/45?
1/45
Suppose 2*x = -2, -2*f + 544 - 1755 = -x. Which is smaller: -593 or f?
f
Let h be (7 - (-190)/(-30))/(1/3) - -561. Is h at least as big as 561?
True
Let b = -8417 + 8419. Are b and 11/252 equal?
False
Let g be (-14)/(-21)*(-882)/77. Suppose 0 = -2*d - 5 + 25. Suppose d = -h + 2. Is h smaller than g?
True
Suppose x - 5*z = -8, 0 = -0*x - 3*x + 5*z - 24. Let q be 381/(-540) - 6/x. Suppose -3*f + 13 = 2*r, 4 = -f - 5*r + 6*r. Which is greater: f or q?
f
Let o be 3 - 10416/(-102) - (-16)/(-136). Is o smaller than 85?
False
Let u = 15872/819 + -11/117. Let f be -6 - (-627)/24 - 2/16. Is u at most f?
True
Let w = 12481 - 12478. Which is smaller: 86 or w?
w
Let d = 9.2 - 7.7. Let p = d - 1.52. Is -8/11 at most as big as p?
True
Let j = -3.235 + -9.765. Which is greater: 4.3 or j?
4.3
Let d be 12/28*140/12. Which is smaller: 43/12 or d?
43/12
Let i = 815.1 + -1011.92. Is 1 bigger than i?
True
Let s be 29/((285/60)/(-19)). Does s = -467/4?
False
Suppose 3*w + m + 57 = 4*m, -4*w - 74 = -5*m. Suppose u + 8 = 6. Let c(l) = 11*l. Let f be c(u). Is f != w?
True
Let g = -18441 + 129089/7. Is 1.827 < g?
False
Let y = -0.10703 - -0.00703. Let b = -3 + 5. Which is smaller: b or y?
y
Let r = -5 + 7. Let b be (-10)/70 - 478/(-210) - (-14)/21. Which is smaller: b or r?
r
Suppose -30*c - 22*c + 12272 = 0. Which is smaller: -7 or c?
-7
Let l be 17328/912 + (-58)/3. Suppose -15 = -c + 71. Is c < l?
False
Let g be 384/256*(-2044)/(-3). Which is smaller: g or -0.1?
-0.1
Let g(r) = -5*r**2 - 233*r - 343. Let j be g(-45). Are j and 152/9 equal?
False
Suppose -324 - 518 = -6*v + 760. Which is greater: v or 1872/7?
1872/7
Suppose 14*o - 34 = 3*o - 23*o. Which is smaller: 4/461 or o?
4/461
Suppose 115*f = 123*f + 48. Let z(s) = -s**3 - s**2 + 29*s - 5. Let q be z(f). Is 8 != q?
True
Suppose 3*g = -131*l + 126*l + 16, -2*g - 11 = -l. Is l != 5?
False
Let x = -97126639/91860 - 1/91860. Which is bigger: x or -1057?
-1057
Let j = -8060 - -8732. Is j >= 1341/2?
True
Let r = -1 - -1. Let f(k) = 50*k + 29. Let h be f(2). Let z be (-4)/10 - h/240. Which is smaller: r or z?
z
Let z(b) = -2*b**3 + 17*b**2 + 14*b - 7. Let m be z(9). Suppose -5*r = -63 + m. Suppose 2*i - r*i = -5*u + 10, 2*i + 8 = 4*u. Which is smaller: i or -1/111?
-1/111
Let w = -307.1 + 56.1. Let s = 250 + w. Are 36/7 and s unequal?
True
Let p = 2201 - 2330. Which is smaller: p or 6?
p
Let j(u) = -u**2 + 6*u + 6. Let v be j(6). Let h be 43 + 2/(v/(-9)). Let d(z) = -20*z + 301. Let p be d(13). Which is smaller: h or p?
h
Let a = -702.8545 - -703. Let s = a - 0.0555. Let j = 0.26 + 0.04. Which is greater: j or s?
j
Suppose -4*w = -5*r + 19, r + 5*w = 6*w + 4. Let f be 1 + -2 + r - 2. Suppose 0 = -c + 3, -5*d = -f*d - c - 202. Do d and 41 have the same value?
True
Let h = 142.8 - 40.8. Let a = h - 101. Which is bigger: 125/2 or a?
125/2
Let s(b) = 3*b - 8. Let p be s(6). Let o be (-308)/p - 3/15. Let u = -13298 + 13297. Which is smaller: u or o?
o
Let b = -61/15 + 22/5. Let l be ((-10)/(-5) + 9)*8/(-24). Is l < b?
True
Let z be ((-20)/5 - -1)*-1. Suppose 2*t = -0*d - 5*d - 14, -z*d - 12 = 0. Suppose -4*a = 5*i - t*i - 26, 3*a - 12 = 0. Is 4 at least as big as i?
False
Let k be ((-18)/27)/(2/120). Let d be ((-4640)/k)/((-8)/(-6)). Which is smaller: d or 86?
86
Let s = -11563 + 11447. Is -815/7 greater than s?
False
Let z(a) = 4*a**3 - 6*a**2 - 46*a + 317. Let o be z(7). Which is bigger: o or -2/5?
o
Suppose 3*s = -18*s - 882. Let r be (2 + s/12)*580/(-21). Is r > 41?
True
Let h(u) = -u**3 - 13*u**2 - 16*u + 12. Let m(b) = 6*b - 2*b**3 - 3*b - 36*b - 25*b**2 + 23. Let o(n) = -5*h(n) + 2*m(n). Let v be o(-14). Is v equal to -13?
False
Let a = -1/6339 + -38027/44373. Let u = -19 - -20.4. Are a and u nonequal?
True
Let b be (-208)/312*(0/4 - -14262). Is b at most -9508?
True
Let o = -13720.41 - -13720. Which is greater: -83 or o?
o
Let r = -13164 + 671362/51. Which is smaller: 6 or r?
r
Let x = -6073 + 6075. Are 158 and x equal?
False
Let q be (4/6)/(182/(-5187)). Let h = -238 - -227. Which is smaller: h or q?
q
Let q(g) = 3*g + 63. Let h be q(-16). Let n be -1 + 10/h - 2/3. Is -2/29 <= n?
False
Let f = -936863516909/12986 + 72144118. Let l = 1/302 - f. Which is smaller: 1/3 or l?
l
Suppose 53*s - 56*s + 35349 = a, 0 = -5*s + 3*a + 58901. Is s <= 11783?
True
Let y = -22.06 + 22. Let f be 0 + 4 + (-37 - 132/(-12)). Which is bigger: f or y?
y
Suppose d - 987 = 2*s, -200*d = 3*s - 201*d + 1480. Is -495 smaller than s?
True
Let l be (57/(-114))/((-2)/((-4056)/(-2))). Suppose 506*z = l*z - 493. Which is smaller: 2/7 or z?
2/7
Let w be ((-1)/3)/((-75)/150) + (-5)/3. Which is smaller: w or -322?
-322
Let a = -4/91 + 379/6552. Let m = 811/72 - a. Which is greater: 10 or m?
m
Let s = -3211 - -3210.91. Which is smaller: s or 0.1?
s
Let t(i) = -13*i**2 - 205*i + 1236. Let f be t(6). Which is greater: f or 4?
4
Suppose 12*j - 4 - 8 = 0. Let a be (-2)/4*12/194. Are j and a non-equal?
True
Suppose -10*j + 4600 = -5*j. Let k = j - 11047/12. Which is bigger: k or 0?
0
Suppose 2*g - 237 = -3*v + 5*g, -5*v - g = -413. Let p = 2641 + -2560. Which is smaller: p or v?
p
Let o = 0.01 + -9.01. Let k = o + 7.6. Let h = 1.4 + k. Which is bigger: h or 12?
12
Suppose -2*p - 35 = -9*p. Let j be (p/(-10))/(1/(-4)). Let r be (-122)/(-720) - 6*j/96. Which is smaller: -1 or r?
-1
Let x = -0.00652 - -0.00652. Is 182 != x?
True
Let m(v) be the third derivative of -v**4/12 + 5*v**3/3 + 25*v**2. Let q be m(10). Let n = 0.883 - -0.117. Is n equal to q?
False
Let u = 21 + -9. Let k be (u/8 - 0)*40. Let y = 1745 + -1684. Which is bigger: k or y?
y
Suppose -4*i - 3 = -3*x + 258, 4*x = -2*i - 136. Let w be i/(-88) + (-17)/(-4). Let y(t) = -t**3 - 5*t**2 - 6*t - 2. Let b be y(-4). Which is bigger: w or b?
b
Let g = -399.56 + 5.56. Let m = -361 - g. Which is bigger: -2 or m?
m
Suppose -3*f - 87 = -669. Suppose 7*d - f = 457. Which is smaller: 92 or d?
92
Let s = 2216 - 15510/7. Is 951 at most s?
False
Suppose 0 = 5*l - 3*l, -z + 4*l = 1. Let f = -2/659 - 573/28337. Is f greater than or equal to z?
True
Let t be (149/6)/(-13 - (-200)/15). Does 75 = t?
False
Suppose 2*c + 127*h + 4778 = 131*h, -4*c + 5*h = 9571. Do -2399 and c have different values?
False
Let s = -312 + 215. Let m = -54 - s. Let k = 807.798 - 