 = -196. Let a = z - -1923/13. Is a != t?
True
Let k be (3/(-6))/((-5)/60*-6). Is 8/17 > k?
True
Let c = -1478 + 1477. Is c less than 6.5?
True
Let x = -27 - -16. Let w(l) = -l**3 - 12*l**2 - 11*l - 12. Let v be w(x). Let d = v + 19. Which is greater: 1 or d?
d
Let l = 310/3 - 3452/33. Let r be (-12)/(4 - 0)*1/3. Is r greater than or equal to l?
True
Let y = -8 - -7. Let j be 2 + -13 + 1 - y. Let r = j - -12. Which is smaller: 6 or r?
r
Let r = -5580 - -730984/131. Which is bigger: -2/3 or r?
r
Let v = -2.8 + 3.3. Let n = -1.5 - v. Is 9 > n?
True
Let o = 0.8575 - 0.692. Is o smaller than -1?
False
Let n = 29 - 27. Let y be 3 - (7762/1330 + -3). Let u = y + -2/95. Which is bigger: u or n?
n
Suppose -4*o - 820 = 536. Let d = 3393/10 + o. Suppose -10 = f + f, -20 = -5*m + 3*f. Which is smaller: d or m?
d
Let s be (9/(-6))/(279/(-132)). Is s at most as big as 1?
True
Suppose 17 = 2*w + 3*v, 4*w - w + 4*v = 27. Suppose 10*m + 3 = w. Let l = -115 - -1839/16. Which is smaller: m or l?
l
Suppose -8349 + 1290 = -13*h. Is 544 greater than h?
True
Let w = -0.0169 + 26.9169. Let s = w - 27. Is 1/3 smaller than s?
False
Let q(v) = -7*v - 41. Let h be q(-10). Suppose b - o - 12 = -3, 3*o - h = -4*b. Which is greater: 11 or b?
11
Let b = 13 - 11. Suppose -4*t - 31 = -2*d + 23, -b*d - t + 44 = 0. Suppose -25 = -6*c + d. Which is smaller: c or 6?
6
Let f = -10.5 - -0.1. Let s = 7.4 + f. Which is smaller: s or -15?
-15
Let a = 509 + -299. Let t = 210.14 - a. Let b = -1 - -1. Which is greater: t or b?
t
Let o be 44*(-1)/(-7) - 4/14. Is 60 at most as big as o?
False
Let g(u) = -u**2 - 2*u + 27. Let f be g(9). Let w = f - -72. Is 2/29 >= w?
True
Let d = -1 - -0.9. Let t = -107 - -184. Let j = -100 + t. Which is bigger: d or j?
d
Let j = 2132 + -2139. Which is greater: 15/8 or j?
15/8
Let d be (-4)/((-240)/21)*2. Let r be (2/(-15))/((-4)/6). Let u = r - d. Is -1 greater than u?
False
Suppose 0*x + 3*x - 6 = 0. Suppose -g + 1 = -1. Suppose -l = -x*l + g. Is l at most as big as 2?
True
Let z be ((-24)/49)/(3 - (-4)/(-4)). Which is smaller: 1 or z?
z
Let c = 24.59 - 24. Let v = -492.9 - -493. Which is smaller: v or c?
v
Let r = -0.04 + -0.06. Let x = 362 + -1088/3. Which is smaller: r or x?
x
Suppose 0 = 3*v - 3*o - 21, 0 = v - 4*o + 9*o - 7. Suppose -r + 2 = -4. Suppose r*i = 43 + 11. Is v > i?
False
Let p be (-195)/30*(0 - 6). Let r = p - 69. Are r and 1 unequal?
True
Suppose -7*k = 3*k - 18110. Let p = k + -19891/11. Is 3 > p?
True
Suppose 30*h - 386 - 694 = 0. Which is bigger: h or 35?
h
Suppose -8*u - 1312 = -40*u. Is u smaller than 42?
True
Suppose 7696*v - 105 = 7691*v. Which is bigger: 16 or v?
v
Let c(f) = f - 16. Let m = -35 - -27. Let o be c(m). Let r be (-2)/9 + 615/(-27). Which is greater: r or o?
r
Let r(l) = -27*l**2 + 222*l - 9. Let f be r(8). Which is bigger: 3/2 or f?
f
Let d = 6.8 - 48.8. Which is smaller: d or -4?
d
Suppose 150 = 2*t + 4*t. Let q(w) = -t*w - 27*w - w**3 + 51*w. Let j be q(0). Which is bigger: j or -6?
j
Let p be -108 + -1 + -9 + 6. Let k be (-82024)/p + 1/(-2). Let d = k + -733. Which is bigger: -2 or d?
d
Let k = -0.205 + -96.795. Let t = 95 + k. Let a = 5 + -4.6. Do a and t have the same value?
False
Let g = 38 + -56.5. Let k = -17.5 - g. Suppose -2*f = -3*f. Which is smaller: f or k?
f
Suppose 0 = 4*j + d - 15, 0*j - 21 = -4*j - 3*d. Let r(c) = 2*c**2 - c - 3. Let a be r(j). Which is smaller: -3 or a?
-3
Let p = -122 - -108. Is p greater than -18?
True
Suppose 0 = 5*a - 5*u + 7*u - 838, 5*u + 341 = 2*a. Which is greater: a or 671/4?
a
Suppose -u = -x - 2, 0*u - 6 = -5*x + u. Suppose -3*z = 3*g - 24, -3*z + 8*z - 90 = 5*g. Suppose 4*y + z = 41. Is x at least as big as y?
False
Suppose -50*u + 45*u + 365 = 0. Is 72 bigger than u?
False
Let g = -3.7 + -12.3. Let o = g - -19. Let m = 8/7 + -41/42. Which is bigger: o or m?
o
Let s(c) = -c**2 + 7*c - 3. Let g be s(3). Let w be (-81)/(-158) - g/18. Are 1 and w nonequal?
True
Let v = 2732 - 2732. Which is greater: v or -4/1067?
v
Suppose 69*c - 29*c - 600 = 0. Do 14 and c have different values?
True
Let s(i) = i**3 - 3*i**2 - 4*i + 4. Suppose 12 = r + r - 2*t, -2*t = 4. Let z be s(r). Suppose -z*v = v. Is v at most 2/33?
True
Let d(v) = -2*v - 5. Let y be d(-4). Suppose 0 = -4*a + 3*s + 3, -1 = -s - 2. Suppose a = -3*b + t + 2, 5*t - y = -b + 19. Which is smaller: b or 1?
1
Let f = -1/95 - 191/8930. Do f and -1 have the same value?
False
Let y = 19 - 10. Let k = -10 + y. Is k at most as big as -8/9?
True
Suppose 495*k + 432 = 487*k. Is k at least 0.12?
False
Let u(l) = l + 1. Let f be u(-7). Let o(y) = -2*y - 3. Let z be o(f). Suppose -5*b + z*b + 40 = 0. Which is smaller: b or -9?
b
Let t = 1.593 - 0.043. Let a = 1.5 - t. Let b = 0.35 - a. Is -0.1 equal to b?
False
Let z be (-42)/(-30)*(3 - (-152)/(-54)). Is z smaller than -1?
False
Let z = 1120 - 1127. Which is bigger: -82 or z?
z
Let i(r) = -2*r - 7. Let d be i(-5). Suppose -6 = -d*s - 0*s. Let h be 28/35*77/44. Does s = h?
False
Suppose 0 = -3*t + 2*t - 4*j + 26, -j = -5. Let q be 1/(27/t) + (-28)/(-198). Which is smaller: -1 or q?
-1
Let p = -4774184 - -157526360/33. Let l = -658 - p. Is l equal to 0?
False
Let j = -38.9242 - 0.0758. Do 0.15 and j have the same value?
False
Let m(x) = x**2 - 8*x - 5. Let u be m(9). Suppose u*y + 2 = -2. Which is smaller: y or -2/13?
y
Suppose -207*t = -214*t - 119. Which is smaller: t or 8?
t
Let j = -476 + 499. Which is bigger: 212/9 or j?
212/9
Let l(w) = -17*w - 75. Let v be l(0). Which is smaller: -72 or v?
v
Let n(s) = -5*s + 40. Let a be n(7). Suppose -a*m - g - 19 = g, -3*g = 6. Which is greater: m or -13/3?
m
Let d(v) = -2*v + 23. Let x be d(-12). Let n = -42 + x. Suppose 0 = m - 0 - 1. Are m and n non-equal?
True
Let b = 13 + -25. Let d = 11 + b. Which is smaller: 2/23 or d?
d
Suppose -14 = -4*f - m, 2*f - m - 2 = m. Which is smaller: f or -12/7?
-12/7
Let g = 264 + -262. Which is smaller: 46 or g?
g
Let t = -0.1088 + 33.1088. Which is greater: 4 or t?
t
Let g = -58.5 - -99.5. Is -1/4 at most g?
True
Suppose 0 = -16*t + 9*t - 392. Which is smaller: t or -53?
t
Let j = 4.833 + -4.533. Let a = -2035/3 - -10013/15. Let m = 211/20 + a. Are j and m equal?
False
Let j = -4488439/2 - -525158233/234. Let x = -425/9 + j. Which is bigger: x or 0?
0
Let m(i) = i**3 - 8*i**2. Let w be m(8). Suppose 0 = -t - 0 - 4. Let l be 8/(-20)*t/16. Which is smaller: l or w?
w
Let o be ((-5800)/42)/(-5) + 11/(-33). Is o equal to 2/7?
False
Let q = 68.8 - 55. Let h = 0.2 + q. Which is smaller: -1/2 or h?
-1/2
Let u be 9/3 - (-28 + 2). Let c = u - 31. Let g(i) = i**3 - 5*i**2 - 9*i + 9. Let o be g(6). Is o bigger than c?
False
Let t = 11 + 4. Let f = t - 13. Suppose -f = 3*r + 2*s, 0*r - 4*r = 4*s + 4. Which is greater: 2/25 or r?
2/25
Suppose -5*v = v - 36. Let m be (0 + 0)/(v/(-5 + -1)). Is 8/19 equal to m?
False
Suppose 3*f - 54*g - 31 = -53*g, -35 = -5*f + 5*g. Which is bigger: f or -2/5?
f
Let a(w) = -w**2 + 14*w + 44. Let o be a(19). Let d = 78 + o. Is d greater than 22?
True
Let q be (3 - 2/1)*2. Let r = -15.91 - -16. Let i = r + -0.49. Which is greater: q or i?
q
Suppose 0 = 8*b - 16*b + 112. Let n be ((-4)/10)/(b/70). Which is greater: n or -14/13?
-14/13
Let d = 1433 - 1433. Which is bigger: d or 18/67?
18/67
Let y be 3 - 23/7 - 651/(-49). Let i be -11 + y + (-17)/9. Let s be (-1)/4 + (-3)/4. Does s = i?
False
Let r = -0.24 + -20.76. Let f = r + 21. Let m be 2/(-8) - 7/(-12). Which is smaller: m or f?
f
Let v be 1*(2 + (-1 - 0)). Let t be (-6)/(-5 + 26 + 2). Are v and t unequal?
True
Suppose 0 = 2*z + 2 - 6. Let r be 1/2 + z/4. Let c = 18088 - 90436/5. Is c >= r?
False
Suppose 12 = 3*o - o. Suppose o - 14 = l. Let z = 11 + l. Which is smaller: z or 2?
2
Let u = 20 - 24. Which is smaller: -15 or u?
-15
Suppose 6*o - 2*o + 3*b = -22, 3*b + 26 = -5*o. Which is smaller: o or -84/17?
-84/17
Let z = 10 + -7. Suppose d - 3*h = 9, -4*d - 3*h = -17 + 41. Which is bigger: z or d?
z
Let g = -205/27 - -4/189. Which is smaller: -8 or g?
-8
Let x = -17 + 19. Suppose -4*d - 10 = -x*d, 5*r = -3*d - 200. Which is greater: r or -39?
r
Let r be -4 - -6 - (-2 + 7). Let t be (-3)/(-6)*(1 + r). Let n be (-1 + 2)*t*3. Which is smaller: -1 or n?
n
Let m = 14 + -26. Let f(g) = 27*g - 4. Let n be f(m). Let i = -2956/9 - n. Whi