ch is bigger: f or z?
z
Let v be 255/25 - 9/45. Is v < 14?
True
Let s be (-13 - -6)*(3 - 1). Suppose 0 = 3*c + 47 - 8. Which is smaller: s or c?
s
Let v(u) = -74 - u**2 - 102*u**3 - 4*u**2 + u + 101*u**3 + 4*u**2. Let x be v(0). Is -74 greater than or equal to x?
True
Let b = 267 + -264. Which is greater: 5 or b?
5
Let p be (124/(-16) + 2/(-8))/(-1). Is p < 8?
False
Let y be ((-24)/(-16))/(-3) + 4. Is 3 <= y?
True
Let y(w) = 3*w**2 - 15*w - 2. Let h be y(5). Let a be (-3 + 1/h)*-3. Is a equal to 0?
False
Let r = -1937 - -1512. Which is smaller: r or -424?
r
Suppose -509 = 20*f - 329. Suppose -5*n + 22 - 62 = 0. Is f less than n?
True
Let h(t) = t - 2. Let s be h(2). Let z = 333 - 329. Let d be s - z - -3 - -2. Is 1/2 at least d?
False
Let z be (-1 + -4)*4/(-20). Let a(k) = -k**2 - 8*k. Let x be a(-8). Suppose r + 4*r = x. Which is bigger: z or r?
z
Let a(w) = w**2 + 5*w + 1. Let u be a(-3). Let b be (5*1)/(u + 3 + 3). Do 38/9 and b have different values?
True
Suppose -5 - 2 = -g. Suppose -4*k - w = -g, 0 = 4*k - 3*w - 2 + 7. Is 1 < k?
False
Let m = 403/84 + -145/12. Let z = m - -7. Is 0 less than z?
False
Suppose 0 = -31*t + 36*t + 5. Let v be (-41)/117 + (-28)/252. Is t less than or equal to v?
True
Let y = -126577/105 - -2411/2. Do y and -1 have the same value?
False
Let w = 313.458 + -314. Are w and 0.1 unequal?
True
Let l be -7*(-27)/6 + (-2)/4. Suppose l*z = 27*z - 56. Which is greater: -1 or z?
-1
Let q be 4/6 + 350/42. Let b = -21 + 31. Let d = q - b. Which is bigger: 1 or d?
1
Let i = -0.3 - 0.7. Let v = -3 + -32. Let q = v + 49. Is q less than or equal to i?
False
Let q be 4*(-2)/84*(-147)/126. Does -0.102 = q?
False
Let r(x) = -x**2 - 40*x + 141. Let w be r(-19). Is 540 less than or equal to w?
True
Let p = 154 - 155. Which is bigger: -15/32 or p?
-15/32
Let g be (602/(-168))/(2/8). Which is smaller: -15 or g?
-15
Let u = -102 + 100.7. Let s = -0.3 - 0.7. Is s greater than or equal to u?
True
Suppose 42*h - 43*h = -5*d - 11, 5*d = -10. Which is bigger: -14/75 or h?
h
Let r be 1 + ((-243)/(-135))/(3/(-44)). Which is smaller: -25 or r?
r
Suppose 0 = 3*b + o + 1040, -4*o = -b + 5*b + 1392. Let p = -5188/15 - b. Let w(u) = -14*u - 55. Let m be w(-4). Which is bigger: m or p?
m
Let o(x) = x**3 - 11*x**2 + 9*x - 1. Let z be o(4). Let a = 1467/19 + z. Which is smaller: a or 0?
0
Let a be (-558)/(-3) + (32 - 34). Which is smaller: 181 or a?
181
Let v = 1194 + -1192. Is -303 equal to v?
False
Let u = 1974 - 424412/215. Is u bigger than 1?
False
Let j(r) = 6*r**2 + 0*r**2 + 58*r**3 + 3 - 32*r**3 - 24*r**3 + 5*r. Let i be j(-2). Which is smaller: i or 4/13?
4/13
Suppose 4*b + 3*n = -5, -b - n - 1 - 1 = 0. Let a = 17/10 + -7/5. Does a = b?
False
Let c = 13 - 14.6. Let b = -7.8 - -8.4. Let d = b + c. Which is greater: d or -3/7?
-3/7
Let g = -47 + 46. Which is smaller: g or 884?
g
Suppose 0 + 18 = 6*s. Let l = 2 + -2.2. Which is smaller: l or s?
l
Let l = 6 - 10. Let k be 22/55 + 7/(-5). Let f be k/(-2) - (-10)/l. Is -8/7 at least f?
True
Let s be 2/6 - (-14)/(-6). Let q be (s - -3)/(2/(-4)). Let m = -202 - -199. Is q >= m?
True
Suppose 5*u + 2*o = 4*u - 34, -3*u - 70 = -2*o. Let y = -24 + -1. Are y and u non-equal?
True
Suppose -4*y - 58 = -f, 3*y + 156 = 4*f - f. Which is smaller: f or 51?
f
Let d = 1 + -2.7. Let q = -1.3 - d. Which is greater: q or -2/7?
q
Let z be (-12970)/(-13000) - -2*1/(-2). Is 0 < z?
False
Let a be ((-4)/5)/(4/(-30)). Let g be 6/(-28)*63/a. Let m be (1 + 5/(-3))/((-24)/(-36)). Which is smaller: g or m?
g
Let k = 0.35 - 0.19. Let y = k - 0.16. Let g = y - -7. Which is greater: 1 or g?
g
Let c be 1*(-35 + 3 + -6). Is -112/3 < c?
False
Let n = 6.9 + -0.9. Let l = 2 - n. Is l <= -0.06?
True
Let p = -21201/13 - -1627. Which is smaller: p or -5?
-5
Let i = 265 + -636. Which is greater: i or -372?
i
Let d(l) = l**3 + 6*l**2 + 2*l + 3. Let c be d(-6). Let w be c/10*(-12)/9. Which is greater: 0 or w?
w
Let r = 1.1 + -2.1. Let n = r + 1.01. Let y = 9.01 - n. Which is bigger: y or -1?
y
Let g = 3.22583 + -0.06683. Let l = 0.059 - g. Let o = 3 + l. Which is smaller: o or 8?
o
Suppose 0 = 5*v + 22 - 7. Let i be (-10 - 1) + v/(-3). Let g = i + 11. Do 2/7 and g have different values?
True
Let r be (1/14 + (-4)/7)/2. Let y = 304 - 3950/13. Is r < y?
True
Suppose 19*s - 14*s - 3875 = 0. Which is greater: s or 774?
s
Suppose -2 = w - x + 3, -4*x + 10 = w. Let u be (21/98)/(1/w). Suppose 3*o - 4*o = 1. Is o at least as big as u?
False
Suppose 4*o = 5*r + 4644, -41*r + 2*o = -44*r - 2782. Is r >= -928?
True
Let z = -3159/7 - -11189/35. Suppose m - 132 = 4*i, 511 = 3*m + 3*i + 115. Let y = z + m. Is 3 <= y?
False
Suppose m + 27 - 2 = 0. Let f = m - -27. Suppose 5 + 1 = -f*j. Which is bigger: j or 1?
1
Let b = 40.1 + -40.1. Which is greater: b or -94?
b
Let x be 9/(-228)*(3 + -11)*6. Is 1 bigger than x?
False
Let p = 28321693921948/20383 - 1389476226. Let j = p - -2/1853. Are -1 and j unequal?
True
Let r = -2/1375 - -27558/39875. Is 1 greater than or equal to r?
True
Let r = -7.1 - 0.9. Let m = 7.82 + r. Let a = 0.08 + m. Are -5 and a unequal?
True
Suppose -2*h = 4*o - 98, o - 6 = -2*o. Let n be (-1380)/h + 2/3. Is n greater than -30?
False
Let v = 63 + -108. Let d = v - -62. Are 17 and d nonequal?
False
Let y = 676 + -680. Let a be ((-1)/(-3))/((-2)/(-6)). Let f be y + 52/36 + a. Is f greater than or equal to -1?
False
Let s be 8/(-20) - (-114)/(-15). Let a be ((-52)/(-2) - 1)*(-37)/111. Which is bigger: s or a?
s
Let s(p) = p**3 + 2*p**2 - 18*p - 11. Let m be s(-5). Is -9 at least m?
False
Let d = 23 + -34.5. Let p = d + 11.3. Which is greater: -2 or p?
p
Suppose 0 = 20*s - 15253 + 5913. Do s and 466 have different values?
True
Let j be (-2)/8 + (-1)/(-4). Let a be (j - -1) + 0 + -1. Let q be (-4)/42 - 60/(-630). Is q > a?
False
Let g(c) = -c**2 + 14*c + 14. Let u be g(11). Let s = u + -20. Is 26 smaller than s?
True
Let m = 422 + -403. Which is bigger: -3 or m?
m
Let q = -2/4599 - -14456/4599. Let a be (-15)/14*(-2 - 4/3). Let s = a - q. Which is bigger: 0 or s?
s
Let c(r) = -11*r + 15. Let n be c(0). Suppose 0 = -n*f + 4*f - 44. Let y be (0 + -3)/(0 - -1). Which is smaller: f or y?
f
Let k be (4 - (3 + -2)) + -6. Let m be (-3 - 0)/(((-8)/(-2))/(-40)). Suppose -l = -0*l + 4*i, 5*l + m = -5*i. Which is greater: k or l?
k
Let u be -6 - (-30)/5 - 24/(-100). Is 1 > u?
True
Suppose -73 = 4*t + 3*d, 5*t + 5*d + 80 = -15. Suppose 14*x = 13 + 15. Which is smaller: t or x?
t
Suppose -20 + 381 = -2*c - m, 4*m + 4 = 0. Is -181 smaller than c?
True
Let j(l) = -2*l**3 - 6*l**2 - 6*l. Let v be j(-5). Let d = -1692/13 + v. Suppose 0 = -z + 4*o + 5, -2 = -4*z - o - o. Which is smaller: z or d?
d
Let o = 91.92 + -92. Are -1.6 and o nonequal?
True
Let y be (-8)/2 - (-23 + 6). Let w = 13 - y. Which is greater: -2/43 or w?
w
Let i(u) = u**2 - 6*u - 7. Let d be i(0). Is d at least -2?
False
Let h be 6235/(-87) + (-2)/(-3). Is -139/2 at most as big as h?
False
Suppose 0 = 3*i - 16*f + 14*f - 16, 2*f + 18 = 4*i. Which is bigger: i or -0.11?
i
Suppose 4*r = 5*h - 5, 5*r - 2*h + 5 = 4*r. Let b be (-2)/r*(-45)/9. Let n(o) = -3*o - 3. Let z be n(b). Which is greater: z or -10?
z
Let y be 12/(-54) - 76/(-18). Let g be (-17)/36 - y/(-18). Let o = -12.5 + 12. Is o greater than or equal to g?
False
Let d = -106 - -91. Let k be (4/5)/(6/d). Is k >= -3?
True
Let j = -18 - -11. Let o = j - -6.8. Is o < 10?
True
Suppose 0 = -3*m - 3*g, 36 = 4*m - 3*g + 1. Let u = -14 - m. Is u less than -18?
True
Let w = 25 - 21. Let x = 65 - 63. Which is smaller: x or w?
x
Let g be 2/(-18) + (-1)/(45/(-140)). Suppose 3*v - 11 = -4*a, g*a - a = -3*v + 19. Which is smaller: v or 23/3?
23/3
Let f = -688 + 4814/7. Is f >= 252?
False
Suppose -6*v + 5*v = -3. Suppose 3*n - 3*j = v, -4 = n - 2*n + 4*j. Suppose 0*w + w = 2*b - 1, -5 = w. Which is smaller: n or b?
b
Let d(o) = 8*o - 15. Let w be d(4). Are 15 and w equal?
False
Suppose -5*o - 4*q = 0, 3*o + q = 8 - 1. Suppose 2*x + 14 = 4*r, 32 - 11 = -o*r - 5*x. Is 18/17 < r?
False
Suppose -142 = -4*o - 0*b + 2*b, 179 = 5*o - 2*b. Which is greater: o or 215/6?
o
Let c(r) = -r**3 - 8*r**2 - 7*r + 9. Let d be c(-7). Suppose 18 = -3*l + d. Is l bigger than -30/13?
False
Let b(j) = -j**3 - 11*j**2 - 5*j - 7. Let x be b(-7). Let w = x + 109. Let n =