22/27 or v?
-22/27
Let x = -10136 + 9216.8. Is x less than or equal to 0.1?
True
Suppose 21 - 1125 = 8*c. Let g = 1657/12 + c. Which is smaller: 1 or g?
g
Let t = 181630 - 181749.009. Let l = t - -0.009. Are l and -0.2 equal?
False
Suppose 0 = -103*l + 24019 - 5888 + 821. Which is bigger: l or 195?
195
Let l = -1151 + 1856. Let v = 704.48 - l. Which is smaller: -7 or v?
-7
Let n be (-50)/4625*140*130/8. Which is bigger: n or -24?
-24
Suppose -4*c - c = z - 160, 4*c - 129 = -z. Suppose 0 = c*b - 14*b + 2618. Which is smaller: 0 or b?
b
Let t = -2/6113 - 3919/6705961. Is t < 0?
True
Let w(v) = 6*v - 52. Let q be w(15). Let z = q - 37. Let r be z/(-10)*(-5)/3. Is -2/5 < r?
True
Let a be 2/3 - (-5)/(-30)*-26. Suppose -4*q - 2*r = -17 - 81, a*q - 127 = 2*r. Suppose 22 = -2*s + 4*m, -m + q = 4*m. Is -4 at least as big as s?
False
Let h = -440 - -336. Let s be -6 + 4/(-26) + (-536)/h. Let o be 6/(-4)*4/183. Is o >= s?
True
Let p(o) = 1222*o - 1708. Let b be p(-3). Which is smaller: b or -5373?
b
Suppose 155*a - 940076 + 5050676 = 0. Is -26519 less than a?
False
Let d be 17/((-418)/(-30) + -14). Which is smaller: -256 or d?
-256
Let m = 0.04364 + -106.04364. Which is smaller: -1.9 or m?
m
Let n = -18993/14 + 2719/2. Which is smaller: n or 3/8?
3/8
Let y = -143656 - 15932. Let c = -1114475/7 - y. Let k = c + -376. Which is smaller: k or 0?
0
Suppose v + 3*n - 44 = 3, -3*n - 3 = 0. Let c = -57 + v. Let l be (-8)/c - (-1)/(-7) - 1. Which is smaller: l or -3/47?
-3/47
Suppose -448*f + 451*f - 152 = -5*g, -4*f = 2*g - 198. Does 12 = f?
False
Suppose 1372 = 56*l + 8426 + 10642. Which is smaller: l or -318?
-318
Let o be 206976/(-207417) - ((-1)/(-1 + 2))/1. Are o and 1 non-equal?
True
Suppose -16*a - 5 = 4*l - 19*a, a + 2 = 5*l. Let x(n) = 4*n**2 - n - 4. Let o(d) = 4*d**2 - 3. Let w(q) = 3*o(q) - 2*x(q). Let b be w(l). Is b >= 5?
True
Let r = -67 - -133. Let q = r - 183. Let b be (((-13)/q)/((-2)/4))/(-22). Which is greater: b or 1?
1
Suppose 2*t - 10 = 0, 5*c - 13*t - 720 = -8*t. Which is greater: 1040/7 or c?
c
Suppose 0*b = -5*q + 3*b + 118, 2 = -2*b. Suppose 0 = 2*c - v - 53, -16*c = -13*c + 2*v - 62. Is c at least as big as q?
True
Let y = 21874 - 36097. Are y and -14222 nonequal?
True
Suppose 6133 = 24*p + 349. Is 236 less than p?
True
Let k = -21 + 189.5. Let z = k - 169. Is -0.13 < z?
False
Let d = -65 + 77. Let n(x) = -11*x**2 + d*x + 11 - 7*x**2 + 30*x**2 - x**3. Let h be n(13). Which is smaller: 9 or h?
h
Let m = -147.4 + -3.6. Let i = m - -151.2. Which is smaller: -3 or i?
-3
Suppose -2*a - 20 = -26. Let p be (a - 7) + -1 + 3. Let o be p*20/32 - -1. Is o greater than 1/31?
False
Let t = 182.1 - 153. Let u = 29.1 - t. Which is greater: u or 13/9?
13/9
Let i be ((-11)/(-121))/(6/198) + -7. Let d(j) = 3*j - 2*j - 3 - 1. Let c be d(3). Is i > c?
False
Let g(m) = -3*m**3 - 3*m**2 + 7*m + 7. Let b be g(-5). Suppose -4*f + 4*s = b, -4*s + 0*s = 16. Let q be 352/(-5) + (64/10 - 7). Which is greater: q or f?
q
Suppose 0 = -9*c - 675 + 684. Is c at least as big as 2/643?
True
Suppose 0 = 7*d - 32*d. Suppose 3*w - 3*r + 279 = d, 84*r = 3*w + 87*r + 267. Do 0.3 and w have the same value?
False
Suppose -2*a = -11*o + 1298 + 1191, -3*a = 5*o + 3798. Is -1261 less than a?
False
Let n = 63633/17 - 3739. Is 3 bigger than n?
False
Let c be 2/(-6)*-3*-15. Let v be (-1156)/153*c/2. Let k = 56 - v. Is 0.6 bigger than k?
True
Let h(s) = s**3 - 19*s**2 - 24*s - 76. Let b be h(21). Let n = 274 - b. Is -206/7 < n?
True
Let m = -5180 + 5196.172. Let z = m + 0.228. Is -3 smaller than z?
True
Let j = 12.0519 - 0.0519. Which is bigger: j or 1.05?
j
Let j = -7795 + 7425. Is j not equal to 2/59?
True
Suppose 3*y - 4*f + 8*f - 20 = 0, 5*f = 25. Suppose -2*s - 2*v - 566 + 140 = y, -s + v = 219. Are s and -216 unequal?
False
Let j = 55 + -55. Suppose j = 2*s - 3*s + 5. Let m(q) = -q**2 - 7*q - 5. Let l be m(-5). Do l and s have different values?
False
Let h be ((-24)/4 + 8)*(-64)/(-238). Is 1 bigger than h?
True
Let g(m) = -21*m - 13 + 2*m**2 + 20*m - 3*m**2 + 14. Let v be g(0). Which is greater: 47 or v?
47
Let o = 211 - 211. Which is greater: o or 2/7373?
2/7373
Suppose 17*n - 8*n + 55*n = 256. Is 163/35 < n?
False
Let q(a) = -a + 2. Let l be q(2). Let t = -427 - -275. Let x = -173 - t. Which is bigger: x or l?
l
Let k = 252 - 252. Suppose 4*r + 1 - 1 = k. Which is greater: r or -0.11?
r
Let z = 18829 + -18837. Is z bigger than 2/133?
False
Suppose -78*k + 81*k - 237 = 0. Let l = k + -76. Let f be ((-12)/32)/(l/(-24)). Is f greater than -9?
True
Suppose 9 + 19 = 7*g. Suppose 2*u + t = -140, u + 350 = -g*u - 2*t. Does u = 1/3?
False
Suppose -5*l = -l - 41*l + 37. Is l equal to -2/563?
False
Let d(m) = -9*m**2 - 23*m + 3. Let a(k) = 9*k**2 + 23*k - 3. Let g(u) = -3*a(u) - 4*d(u). Let z be g(-3). Are 15 and z unequal?
True
Let f(h) = -8*h**2 + 5*h - 4. Let j be f(2). Let o(c) = 16*c - 18. Let l be o(-11). Let p be (485/l)/(j/24 + 1). Which is smaller: p or 31?
p
Let p be 647550/2142 + -2 - (-2)/17. Is p > 300?
True
Let t be (1300/(-250))/(502/45). Which is smaller: t or 1?
t
Let a be 22/6 - 7/(-21). Suppose -3*b = -5*c - 310, a*b = b. Let l = 44 + c. Is -20 > l?
False
Let g(u) = -u**3 + 19*u**2 + 41*u + 49. Let i be g(7). Is i less than 914?
False
Let a = -0.362 + 0.32. Let l = -0.248 + a. Let v = 0.29 + l. Which is greater: 0.1 or v?
0.1
Let j = -10902.9 - -10903. Which is smaller: -708.7 or j?
-708.7
Suppose -59*g - y = -64*g - 14891, -8 = 2*y. Are -2979 and g unequal?
False
Let g = -0.467 + 208.467. Let f = 209 - g. Is -2/63 <= f?
True
Let m(o) = -o**3 + 3*o**2 + 4. Let n be m(3). Let k(r) = -r**3 + 5*r**2 - 4*r. Let b be k(n). Let g = 173 + -144. Is g <= b?
False
Let m be ((-2650)/(-375) - 7)/(2/(-5)). Is m not equal to 800?
True
Let h(f) = 14*f - 33. Let z = -510 - -511. Let b be h(z). Let c = -599/15 + 98/5. Which is bigger: c or b?
b
Let y = -262/87 + 3580/1131. Which is bigger: y or 0.072?
y
Let d be ((-6946)/(-345) - 20) + (-7076)/52995 + 0. Is 1 < d?
False
Suppose 0 = 2*p - 4*p + 4. Let q(a) = -7*a + 17. Let s be q(p). Is 3 >= s?
True
Let y be (8/(-6))/(-1*5/15). Suppose -5*r + y = -7*r. Let f be (19*2/r)/(-2 - -1). Which is smaller: f or 18?
18
Let p(w) = 649*w**3 + 15*w**2 - 3*w + 10. Let o be p(6). Let u = o + -6191865/44. Let s = u - -33/4. Which is greater: 0 or s?
s
Let c = -39926 - -203321/5. Let u = -749 + c. Let g be 1/3 + 37/(-3). Which is smaller: u or g?
g
Let i be (2 - 2/2)/((-140)/40). Are i and 390 unequal?
True
Let i(m) = -m**3 - 5*m**2 - 3*m. Let w be i(-4). Let y be (0 - w/10) + 0. Let o = 408 - 404. Is o <= y?
False
Let n = 11.36893 + 0.13107. Is n less than or equal to -5/6?
False
Let r = 82 - 331/4. Which is greater: r or 0.01?
0.01
Let d be ((-11)/(-2))/(-21 - (-23645)/1126). Is d not equal to -6194?
True
Let c = -48681/7 + 6949. Suppose g + 12 = -3*j, -3*g - 5*j - 16 = 4. Are g and c unequal?
True
Let c be 9/(-3) - (-1276)/385. Is -9 != c?
True
Let w = -239 - -238.61. Let l = 0.89 + w. Which is smaller: l or 15?
l
Suppose 8547 = 92*m + 36331. Which is greater: -301 or m?
-301
Let c be 16/(-5) + 12/3. Let d = 17 - 13. Let m be 3/(-4) - d/(-8). Which is greater: c or m?
c
Let o(d) = 3*d + 20. Let c be o(-3). Let a be ((-33)/6)/c*(-4)/2. Which is smaller: a or -2/25?
-2/25
Let c be (132/(-70))/(-2) + -1. Let w be (22 - 20)/((-2)/(-7)). Suppose -w*z = -4*z - 2*s - 11, 4*s + 16 = 0. Which is smaller: z or c?
c
Suppose 4*u = -p - 61, 3*u = 3*p - 2*u + 115. Suppose -153896 = 6*c - 153638. Is c less than or equal to p?
False
Let r be (-2 - (-94796)/2)*(-15)/(-5). Let z be r/(-130) - (-16)/104. Let c = -1102 - z. Which is smaller: c or -9?
-9
Let m = -174 + 166. Let v = 96.3 + -97. Which is greater: v or m?
v
Let p be 390/50 + (-8)/10. Suppose 3*s + 3*n = -378, -5*s - p*n + 4*n = 638. Which is smaller: s or -129?
s
Let r = 29.79 + -29.75. Is r smaller than 142?
True
Suppose 0 = -2*w + 6*w. Let x(l) = 2*l**3 + 78*l**2 - 78*l + 90. Let h be x(-40). Let r be (w - h/(-705))*3. Which is smaller: 0 or r?
0
Let r = 1204 + -1395. Let a be (12 - -16)*(-54)/8. Is r less than a?
True
Let a be (2/(-3))/2*-3. Let m be (-6)/((-30)/115) - -3. Suppose -25*l = -5*n - m*l - 122, 4*l = 2*n + 62. Which is greater: n or a?
a
Let p(s) = -s**3 + 7*s**2 + 5*s + 23. Let r be