ch is bigger: 146 or z?
146
Let s be (13635/54)/(1/(-2)). Which is bigger: -504 or s?
-504
Let u = 0.131 - 5.631. Let m = -1.5 + u. Let c = 0 - 2. Is m at most as big as c?
True
Suppose 5*w - w - 38 = -2*y, 0 = -3*y + 3*w + 39. Suppose 4*h - 3*q - 53 = 2*q, 0 = -3*h + 3*q + 42. Which is smaller: y or h?
y
Let n(h) = -h**2 - 17*h - 6. Let x be n(-4). Suppose 3*y = 5*b - y - x, -b - y + 2 = 0. Is b at most as big as 2?
False
Let o = -61 + 41. Let d be ((-6)/o)/(18/30). Which is smaller: 25 or d?
d
Let d(i) = 4*i**2 - 8*i + 22. Let q be d(3). Which is greater: q or 35?
35
Let z = -219 - -219. Is z at least as big as -4/103?
True
Let t = 1 - 7. Let m be 0/(-4) - (-4 - -2). Suppose 2*l + 3*x + 0*x - m = 0, -5*l = -2*x + 33. Is t < l?
True
Let b(l) = l. Let v be b(2). Suppose -10 = -v*s - q + 3*q, -2*s + 3*q + 14 = 0. Let n be (s - 16/12)*-1. Is 1 != n?
True
Let l = 39002/33 + -1182. Let i = 170333/348645 - -69/2113. Let y = i + l. Which is bigger: y or 0?
y
Let z = -0.1 - -1.1. Let v(y) = y**2 + 21*y. Let h be -19 + 5/(-10)*6. Let g be v(h). Is g != z?
True
Let z be 7 - 258/66 - (-2)/(-1). Suppose -9 = -4*u - 5*y, -2 = -3*y + 1. Is z smaller than u?
False
Let d be 6*3/(9/7). Let m(g) = -g**2 + 16*g - 23. Let f be m(d). Do f and 3 have the same value?
False
Suppose 2*f - 23 = -5*a, 16 = -0*f - f + 3*a. Let x = -618 + 1278. Let o = x + -44218/67. Which is bigger: o or f?
o
Let q = 132 - 131.768. Which is bigger: 0.1 or q?
q
Let n be (-168)/(-395) - (-18)/(-45). Suppose 27*o + 61 = 88. Is o at least as big as n?
True
Let l(a) = -a**2 + 2*a + 1. Let o be l(2). Suppose r + o = -0*r. Which is bigger: r or 0?
0
Let w be 7 + (-216)/30 - 2/(-10). Which is smaller: -1 or w?
-1
Let t = 5/47 - 119/235. Which is smaller: 0.63 or t?
t
Let u(t) = t**3 + 19*t**2 - 51*t - 89. Let m be u(-21). Is m > 104?
False
Suppose 2*y - 4*y - 3 = -5*n, 0 = -4*n + y + 3. Let d = -58379/79 + 739. Which is smaller: n or d?
d
Let p(s) = s**3 - 3*s**2 + 3*s - 2. Let x be p(4). Let k be 2 + x/(-6) + 2. Let m(n) = -n**2 + 2*n + 4. Let q be m(3). Which is smaller: k or q?
k
Suppose -25*m = -m + 4080. Is -683/4 smaller than m?
True
Let w = -3457/1508619 + -2/4179. Which is greater: w or 0.1?
0.1
Suppose -5*z + 415 = 5*w, -6*z - 73 = -7*z + w. Which is smaller: z or 76?
76
Let d be 8/(-20) - (2 + 144/15). Let q = 24 + d. Is q greater than 14?
False
Let i = -25279/4 + 6360. Do 41 and i have different values?
True
Let t be (-212942)/(-752) + (-29)/232. Let z be 2/(-3) - 1702/(-6). Let u = z - t. Which is bigger: u or -1?
u
Let q be 4/1 - (-3325)/56. Let z = -63 + q. Which is smaller: 2/13 or z?
2/13
Suppose -4 = 3*h - 2*r, -6*r = 4*h - 2*r - 28. Suppose 64 = -2*i - h*i. Let k(b) = b**2 - 10*b - 16. Let q be k(10). Is q smaller than i?
False
Let b = -11.8 + -2.2. Let m = b - -27. Let q = m + -12. Are q and 1/2 non-equal?
True
Let o = 1.4 - -1.6. Let l = o - 1. Let s = l - 2.1. Which is smaller: 6 or s?
s
Suppose 2*l - 4*m = 6, 4*l + m + 19 = l. Let y be -14 - -17 - (-14)/l. Is 1 greater than y?
True
Let j be 1 - -3 - (19 - 20). Suppose j*k + 4 = o, 2*o + 0*o = 2*k. Do o and 1 have the same value?
False
Let g = 8 + -4. Let x = -7.82 - -8. Let r = x + 0.82. Is g at least as big as r?
True
Let b = -331 - -327.7. Which is bigger: -1/4 or b?
-1/4
Let w(q) = -23*q - 13. Let o be w(4). Let h = -39 + 25. Let d be 270/o - 6/h. Is -2 at least as big as d?
True
Let n = -7.3 - -7. Let z be ((-3)/(-18))/(13/(-52)). Is z at least as big as n?
False
Let x = -0.206 - -27.006. Let p = x + -27. Let h = -1 + p. Which is greater: h or 0.1?
0.1
Let n be ((-6)/(-9))/(-1 + (-142)/(-144)). Let s = n - -52. Is 3 at most s?
True
Let g(z) = z**3 - 3*z**2 + 2*z - 2. Let p be g(2). Let b = p - -2. Suppose 5 = 5*j - b. Which is bigger: j or 1/4?
j
Let z = 85/6 + -14. Let f be 4/(-18) + 138/621. Which is greater: f or z?
z
Suppose 0 = k - 2*h + 4, -4*k + 2*k = 2*h + 20. Let w(n) = n**3 + 2*n**2 - 3. Let c be w(-3). Let q be (c/(-15))/((-2)/20). Is q less than k?
False
Let s = -5.26 - 41.94. Let t = -50 - s. Is t bigger than 0?
False
Let b be (585/81 - 7) + 86/18. Is 11 less than b?
False
Let f = -31 - -47. Let v = -150 - -176. Let l = v - 25. Is f smaller than l?
False
Let g = 181 + -181.065. Do -1 and g have the same value?
False
Let n = 0.3 + -1.3. Let c = n - -1.5. Let k = -2.17443 - -0.17443. Which is smaller: c or k?
k
Let v be (30/6 + -6)/((-2)/50). Which is greater: v or 97/4?
v
Suppose -3*m - 66 + 60 = 0, 2*p + 3*m + 2 = 0. Which is bigger: 24/13 or p?
p
Let v be 6*(-1 + (-3)/(-6)). Let l be 3/9*(-18)/v. Let j = 6 - l. Is 2 > j?
False
Suppose -3*w - 76 = -7*w - 2*q, 50 = 3*w - 2*q. Let s be 3/((w/4)/3). Let l(r) = r**2 - 7*r + 9. Let j be l(6). Is j at most s?
False
Suppose -8 = -2*u - 2*v, 0 = -3*u - 0*u + 4*v - 9. Let p = -73 - -52. Let d be (-6)/p + 165/(-357). Which is smaller: d or u?
d
Suppose -3*p + 2*u = -31, 0 = u - 3*u - 10. Suppose 12*l - 50 = p*l. Is l less than 10?
False
Let y = 0.2 + -0.17. Let b = 50.646 - -0.554. Let s = -51 + b. Which is smaller: y or s?
y
Let z be ((-6)/(-1))/((-16)/72). Suppose 6*l - l + 130 = 0. Which is bigger: z or l?
l
Let d be ((-12)/(-8))/(6/2). Let f be 88/(-484) + (-4)/(-22). Which is smaller: d or f?
f
Let q(i) = i**3 + 7*i**2 + 6*i. Let n be q(-6). Let m be 1*(-12 + n/(-2)). Is m < -12?
False
Let m = 176 + -179. Which is greater: m or -35?
m
Let a = 0.05 - -129.95. Let o = a - 131. Is 1/18 < o?
False
Let g(t) = -52*t - 208. Let w be g(-4). Which is bigger: w or 2/2101?
2/2101
Let v = 11 - 20. Let d be 1*-2 - (v - 5). Let n be 2 - (d/(-3) + 6). Is n <= 1?
True
Let v be 2 + (-5)/(-2070) + -2. Which is smaller: 0 or v?
0
Let j(d) = d**3 + 13*d**2 + 12*d - 22. Let l be j(-12). Let b be (-74)/407 + (-4)/l. Suppose 30 = 5*w + v, -3*w + 10 = -0*w - v. Is w at most b?
False
Suppose -2*c - 2*a = -50, -2*c + 0*a - 4*a + 58 = 0. Let v = c - 31. Let m = -11 - v. Is 2/9 less than or equal to m?
False
Let p(r) = 3 - r - 11*r - r**2 + 4*r. Let v be p(-9). Let d be ((-6)/4)/(3/16). Which is smaller: v or d?
d
Suppose 62*x + 2394 = 68*x. Let v be x/(-38)*(-4)/(-3). Which is smaller: -13 or v?
v
Let b = 100/41 - 136/123. Which is bigger: 21 or b?
21
Suppose -5*i + 4*q = 40, -q + 0*q = 5*i + 15. Suppose 4*t + 5 + 11 = 0. Let j = i - t. Is j at least as big as -1?
True
Suppose 3*y = 108 - 24. Let n = 33 - y. Is -0.4 greater than n?
False
Let t be (1/11 + (-234)/396)*2. Is t != -8/19?
True
Let n(j) = -j**2 + 3*j + 15. Let h be n(8). Let z be (-6)/(-15) + (-140)/h. Which is smaller: z or 0.2?
0.2
Let a be -3*(-1)/(9/(-33)). Let i(w) = w**2 + 10*w + 12. Let o be i(-6). Which is smaller: o or a?
o
Let g = 0 + 0. Let u = -29 + 49. Let l = 27 - u. Is g at least as big as l?
False
Let z(j) = -j**3 - 3*j**2 + 6*j + 10. Let r be z(-4). Suppose 4*s + 88 = r*s. Are -0.1 and s equal?
False
Let h = 4.45 - 4.55. Is 28.1 at most h?
False
Let v = -37 - -21. Let m = 52 - 51. Is m < v?
False
Suppose t + 2*r = 9, -5*r + 30 = -5*t - 0*r. Which is smaller: t or -3/103?
t
Let z = 5.43 - 1.43. Which is bigger: -0.09 or z?
z
Suppose -3*p + 17 = -5*j, 5*p + 5*j + 25 = -0*j. Let k = 17.1 - 47.1. Which is bigger: p or k?
p
Let o(u) = -u**2 + u. Let q be -1*1*(1 + -1). Let n be o(q). Which is bigger: 2 or n?
2
Let j(o) = -o**3 - 2*o**2 - 5*o - 24. Let u be j(-3). Which is bigger: u or 1/1352?
1/1352
Let q be (-31)/(-9) + (-6)/(-27). Let v be (-5 + (-16)/(-4))/1. Let z be 24/4 + -5 + (-2)/v. Which is bigger: z or q?
q
Let h(k) = 6*k - 49. Let m be h(6). Which is smaller: m or -15?
-15
Let m be (5 + -45)*(-112)/(-40). Is m smaller than -109?
True
Suppose 5*s + 240 = -2*m, 2*m + 14 - 4 = 0. Let o = 43 + s. Are -5 and o nonequal?
True
Suppose 9*p = 13 + 203. Which is smaller: p or -0.1?
-0.1
Let z(v) = -2*v + 7. Let m be z(15). Let o = m + 31. Which is smaller: o or -2?
-2
Let u = -0.6878 - -0.6878. Let f = 5288/13 + -406. Which is smaller: f or u?
u
Let s = -11 + 7.4. Let k = s + 1.6. Let r be (-2)/(-9) - 91/126. Does k = r?
False
Let c be (0 - 1/(-6))/((-4)/8). Which is smaller: c or -1/98?
c
Let s be ((-336)/20)/((-4)/(-40)). Let t = -240 - s. Are t and -70 unequal?
True
Let y(z) = z**2 - z - 2. Let i be y(-4). Suppose -1190 = -13*s + 136. Suppose -5*u + s = u. Which is bigger: u or i?
i
Let i = 5.582 + 0.018. 