8 - -680593/506844. Which is smaller: -1 or d?
-1
Let x = -2187.9 - -2053. Let j = x - -135. Is j at least -0.014?
True
Let x = 14318 + -19866. Is -5548 at least as big as x?
True
Suppose 12*v + 385 = 19*v. Which is smaller: v or 59?
v
Suppose 113*p - 4 = 117*p. Are 5/107 and p equal?
False
Let y be ((-726)/(-180) - (-6)/(-4)) + (-2)/10. Which is smaller: y or 0?
0
Let q = -349336/5 - -70437. Are 570 and q non-equal?
True
Let q be (-1)/5 - 3/(-5). Let g = 69 + -80. Let j = g + 9. Is q >= j?
True
Let o be 6/(-4)*((-12)/(-62794))/(162/36). Which is greater: o or 1?
1
Suppose -2*j - 7*j = 90. Let p(q) = -q**3 - 9*q**2 + 19*q + 10. Let o be p(j). Let w be (84/16)/((-5)/(o/(-6))). Which is smaller: -15 or w?
-15
Let v be (48/(-4))/(-4) - -6. Let d be (-184)/18 - (-8)/36. Let q be d/2 - -1 - (6 - v). Is -1/85 >= q?
True
Let b = 1.192 + -1140.192. Let o = 1158.28 + b. Let c = o - 19. Is c less than -1/3?
False
Let r(b) = b**3 + 5*b**2 - b + 32. Let v be r(-6). Suppose 15 = -3*n, 3*f - v*n = n + 273. Suppose 3*j - 100 = f. Which is greater: j or 63?
63
Let r = 6998 - 7074. Is r at least as big as -79?
True
Let u be (-92)/40 + 2 - (-1236)/120. Which is bigger: u or -12?
u
Let h be -5 + 192/320 + 4/1. Is h != 755?
True
Suppose 0 = 21*m - 278 + 1137 + 464. Is -0.4 > m?
True
Let a be (4/3)/((-2)/(-141)). Suppose -5*j - 5*d = -535, -j + 258 - 121 = 3*d. Is j bigger than a?
False
Let r = 69 + -51. Let z be 96/(-396)*2/((-4)/r). Are 1 and z non-equal?
True
Let m = 10013 + -1011418/101. Which is bigger: m or -2?
m
Let l(i) = -2082*i + 7615. Let n be l(3). Is n <= 1369?
True
Let a = 13341 - 13296. Let k(w) = 4*w + 9. Let t be k(9). Is t greater than a?
False
Let w = -32399 + 32386.9345. Let h = w - 0.1145. Let y = -1.18 - h. Is 1/4 greater than or equal to y?
False
Suppose 74 = 9*d - 8*d + 2*o, -5*o + 35 = 0. Is 81 greater than d?
True
Let w = -4304 + 4107. Is w <= 0.11?
True
Suppose -214 - 151 = 5*p. Suppose 16*m = 15*m + 1. Let y be -1*(4 - m - 4) + -73. Does y = p?
False
Let n = -3592 + 1138662/317. Let w be (-18)/(-8)*256/576*0/(-2). Is w at least as big as n?
True
Let h = 8337/145 + -283/5. Is 0 greater than or equal to h?
False
Let v be ((-61)/(-4) + -14)*74/(-115). Which is greater: v or -2?
v
Let w(j) = 7*j + 1. Let z = 49 - 52. Let n be w(z). Let u be 10/n*(2/(-2) + 1). Is u > 4?
False
Suppose r + 128*m - 6570 = 126*m, 5*r = 2*m + 32946. Which is bigger: r or -0.2?
r
Let q be (-24)/2 - 148824/(-11772). Which is smaller: 2 or q?
q
Suppose 3*u + 5*w + 125 = 4*u, 0 = 2*u + w - 195. Let h be (3/18)/(2/(-1191)). Let c = h + u. Which is greater: c or 0?
c
Let d = -17612 + 17611.9. Which is smaller: d or -1673?
-1673
Let j = -3.6 - -0.3. Let k = j - -4.3. Let w = 0.08 - 0.18. Which is greater: k or w?
k
Let k(o) = -7*o - 113. Let m be k(-11). Let s(d) = 135*d + 15. Let g(v) = -17*v - 2. Let l(c) = -25*g(c) - 3*s(c). Let z be l(-2). Is z at most as big as m?
False
Suppose 4*k = 9*k - 105. Let f = 20 - k. Let p = -18549/308 - -241/4. Is p at most as big as f?
False
Let v be 1/(6/(-5 + 17)). Let p be (64/6)/(v/(-9)). Is -48 less than p?
False
Suppose 49*v - 54*v = 420. Let a be (-1 + 2)*-2 + v/(-66). Let o(f) = f - 9. Let w be o(9). Is w <= a?
False
Let g = 18.96 + -16.96. Which is greater: 4.058 or g?
4.058
Let a(l) = 3*l + 20. Let q be a(-6). Suppose -1 = -3*d - h, -2*d - q*h = -d + 8. Suppose 1 - d = u. Which is bigger: u or -2/65?
-2/65
Let u = -10420 - -10432.384. Which is smaller: u or -0.1?
-0.1
Suppose -14 = 2*n + 4*d, 20*n - 16*n + 8 = 2*d. Let q(t) = t. Let j be q(n). Let y = 2 - 5. Is j > y?
False
Let a(b) = 9*b - 24. Let i be a(2). Let d be (9/i)/1*(-6)/(-1413). Which is smaller: -1 or d?
-1
Suppose 0 = -8*g - 17*z + 21*z + 32760, 5*g + 5*z - 20520 = 0. Which is bigger: 4100 or g?
4100
Suppose 5*y = -s + 42, 5*s - 3*y + 38 = 192. Suppose 31 = -3*u - z + 134, -u = 2*z - 41. Which is greater: u or s?
u
Suppose 163*c - 6871 = -3215 + 6776. Let p(a) = 62*a**3 + a**2 - 1. Let f be p(1). Is f > c?
False
Let m = -18 - -10. Suppose -4*b = -952 - 60. Let q = b - 259. Is m at most as big as q?
True
Let m be 57/1539*(-12)/5. Suppose 4*c + 0*c + 16 = -n, -5*c - 45 = -5*n. Suppose j + j - 6 = 4*o, -n*o = 4*j. Which is smaller: o or m?
o
Let g(w) = 73*w**2 - 12*w - 56. Let h be g(4). Are 1063 and h nonequal?
True
Let f = 14.478 - 10.478. Is 0.112 < f?
True
Let k = -20149 - -20098. Suppose -3 = l - 10. Which is smaller: l or k?
k
Suppose -3 = -2*h - 11. Let o be ((-2)/1)/(40/h). Let r = -361 + 361.05. Is r > o?
False
Let i(f) be the first derivative of 3*f**2/2 + 53*f - 68. Let h be i(-23). Is -16 equal to h?
True
Let y = 0.3 + -0.2. Let s = -0.5856 + 0.0376. Let c = s - -0.618. Is c less than y?
True
Let i be (-285)/10*56/(-6). Suppose 0 = -43*a - 670106 + 681630. Are i and a equal?
False
Let n = 3241 + -3240. Is -1/8497 greater than or equal to n?
False
Suppose 9*c = 5*c + 36. Suppose -4*q = 2*l + 14, 0*l + c = -3*q - 2*l. Let n(h) = -h**2 - 12*h - 35. Let b be n(-7). Which is smaller: q or b?
q
Let l be (-5)/(-40) - 9118/(-16). Let j be (13/((-455)/l))/(8/(-14)). Is 29 greater than or equal to j?
True
Let x be 1*15 + (-4)/1. Suppose 5 = -3*u + x. Suppose -4*o = -u*o + 4. Which is greater: 6 or o?
6
Let q = 3281 + -3246.052. Let c = -0.052 - q. Let y = 34 + c. Which is greater: -0.5 or y?
-0.5
Let u(r) = 51 - 3*r + 15 - 13 - r. Let c be u(8). Which is smaller: 25 or c?
c
Let r = 910 + -641. Let y = -159 + r. Let d = y - 107. Which is bigger: d or -4/5?
d
Suppose 197*n - 2583 = 156*n. Is 257/4 > n?
True
Suppose y - 6*y = -5, -19 = -2*u + y. Let k = -6.26 - -1.26. Let n = k + 5.1. Which is greater: n or u?
u
Let d = -2494 + 2542. Let o(r) = -r**3 + 6*r**2 - 8*r + 6. Let h be o(6). Let n be (-55)/266 + (d/h)/(-4). Is -1 > n?
False
Suppose -40*n = -34*n - 438. Let p = n + -62. Suppose -5*l + 16 = p*l. Are 58 and l equal?
False
Let m be (-1)/4 + 135/508. Let g(l) = -15*l - 391. Let h be g(-26). Is m less than or equal to h?
False
Let x = -2 + -21. Let a = 0.735 - -22.565. Let z = x + a. Are z and -3/2 non-equal?
True
Let y be (-6 - -5)/(4/(-8)). Suppose y*t = 5*r - 466, t - 2*r = 11 - 244. Is t smaller than -234?
False
Let t = 6345 + -19277/3. Which is smaller: -82 or t?
-82
Let l be ((-6)/(-8))/3*(-73 - -77). Let u be (0/(l - 3))/(7/7). Is 1/355 at most as big as u?
False
Suppose 9*b = 28*b + 918 + 13. Which is greater: b or -45?
-45
Let t(y) = -y**2 + 17*y - 11. Let q(p) = 18*p - 10. Let g(s) = -2*q(s) + 3*t(s). Let d be g(5). Let o be (8/6)/(d/195). Do -17 and o have the same value?
False
Let z = -443934 - -2219658/5. Let k(h) = 4*h**2 - h. Let p be k(1). Suppose -3*m - p = -2*m. Which is bigger: z or m?
z
Let d be (-1 + 1)/(-30 - -32). Let v = 11879/25 - 475. Which is smaller: d or v?
d
Suppose 0 = -3*u - 4 - 8. Let h be 4 - (-6)/40*u. Let x = -63/20 + h. Which is greater: 1 or x?
1
Let g(j) = j**3 - 15*j**2 + 8*j - 14. Let t be g(15). Suppose t = 12*m + 490. Let d = -35 - m. Which is greater: d or 0.08?
0.08
Suppose -5*f = 3*q - 7, 8*q - 3*q - 1 = -3*f. Suppose 68 = 11*c - 185. Suppose n = 5*r - c, -2*r + 4*r - 8 = n. Is n less than or equal to f?
True
Suppose 5*w - 6 = 3*w. Let q be (-16)/(-72) + (-1936)/(-36). Which is smaller: w or q?
w
Suppose -3*s + 3*i + 12 = s, 0 = 2*i. Suppose -2*p - 1 = 5*u - 7, 5*u - 9 = -s*p. Suppose 4 = -p*n - l, 0 = n + 3*l - l + 8. Is n less than or equal to 22/15?
True
Suppose -4*k - 132 = d, 0*d + d - 174 = 5*k. Let s be (-840)/3080*(-3420)/(-27). Which is bigger: k or s?
k
Let x(p) = -2*p**3 + 33*p**2 - 20*p + 55. Let u be x(16). Which is bigger: u or 20?
20
Let p be 178 + (4/(-10))/(6/90). Suppose 2*g + p = -3*f + 22, 50 = -f - 2*g. Is -53 < f?
True
Let t(s) = -4*s**3 - 4*s**2 + 3*s**3 - 10*s + 12*s**2 - 9*s - 137 + 129. Let y be t(5). Is -28 at least as big as y?
True
Let r = -39272 - -40606. Which is smaller: r or -8?
-8
Let n(g) = -4*g**2 + 22*g + 248. Let v be n(-6). Which is greater: 40 or v?
40
Suppose 2777 = 33*s - 1645. Which is greater: s or 123?
s
Let d = -42.2 + 46. Do d and -4 have different values?
True
Let u = -0.21247 - -0.26647. Is -2.8 smaller than u?
True
Let v = -1 + 1. Let f = -18548 - -1168526/63. Which is greater: f or v?
f
Suppose 0 = -5*s - 4*b + 3*b - 1023, -s + b = 207. Let k be (-123)/s*(-8)/174.