ch is smaller: o or u?
u
Let h be (-33 - -1)*1/2. Let t be ((-1)/(-4))/(6 - 276/48). Let x be 128/h - (t - -3). Is x less than -11?
True
Suppose 5*q + 41 + 4 = 0. Let u be (-12)/(-18)*q/21. Which is smaller: u or 2/65?
u
Suppose 2*c - 1 - 5 = 0. Suppose c*r + 4 = -4*s, s + 1 = -3*r - 2*r. Suppose -2*y + y - 5 = z, r = z + 4*y + 20. Which is smaller: -3/5 or z?
-3/5
Let g(m) = -m**3 + 6*m**2 - m + 9. Let h be g(7). Let n = h - -47. Which is bigger: -2/9 or n?
n
Suppose -60 = -5*n + 90. Let q be (7/10)/(5/n). Suppose 4*y + 11 = 23. Is q > y?
True
Suppose 0 = 3*m - 9*m - 6. Let a be (-15)/30*8/306. Which is greater: a or m?
a
Let f be 0*((-1)/(-2))/(-1). Let w = 50 + 77. Let c = -1906/15 + w. Which is smaller: c or f?
c
Let o(d) = d**3 + 6*d**2 + 4*d - 1. Let f be o(-5). Let w be 4/22 - 1274/(-11). Suppose 0 = -6*b + w + f. Is b at most 19?
False
Let a = -434 + 363. Which is smaller: a or -69?
a
Let b be 78/3 + (2 - 0). Suppose -2*h - b + 10 = -3*n, -5*n = -h - 23. Which is bigger: h or -7/4?
-7/4
Let y be (-2028)/616*((-2)/(-10) - 1). Let i be (4 - 0)/(462/27). Let u = i - y. Is u <= -1?
True
Let a = -134 - -24. Is -110 bigger than a?
False
Let d be 1 + 34/10 + 4/(-10). Suppose d*i = 3 + 1. Which is smaller: 6/7 or i?
6/7
Suppose 4 = -3*l + 1. Let h = 6 - 4. Let r be (-6)/h - 360/(-132). Is l at most r?
True
Let c = 15/62 + -611/3038. Let l = c + -109/1470. Is l at least -1?
True
Let h = 18/29 + 4/87. Which is smaller: h or 1/34?
1/34
Let q be 3*(-7)/((-42)/(-8)). Let a be 46/(-1 + 3 + q). Let l be a/30 + (-10)/(-60). Is -0.3 at least l?
True
Let n = -471 - -470. Is n <= 2/3673?
True
Suppose 15*a + 288 = 9*a. Let d be 3/a*-7*(1 - 2). Which is smaller: d or 1?
d
Let i(d) = -d - 5 + 4*d + 4 + 2 - d**2. Let u be i(4). Let l be -6*(8/u)/4. Which is greater: 5 or l?
5
Let m = 80.3 + -80.3. Which is smaller: 79 or m?
m
Let b be 58 + (-17 - (-45)/5). Which is greater: b or 344/7?
b
Suppose q = -5*b - 1 - 3, 2*q = 3*b + 5. Let i be (-10)/(-12)*(-3)/(-11). Which is greater: b or i?
i
Let g = 2184 + -646461/296. Is -1 at least as big as g?
False
Suppose 128 = 5*w + 38. Suppose -6*d = -d - 2*c - 62, 0 = -d - c + w. Is d less than 13?
False
Suppose 15*i + 3*l - 97 = 20*i, -4*i + 4*l = 84. Are -1/3 and i equal?
False
Let k = 15.8 + 10.2. Which is smaller: k or 6?
6
Let q be 1 + ((-742)/146 - -4). Let g = q - -176/365. Which is smaller: g or 10?
g
Suppose 17*z = 19*z + 112. Let v = z + 56. Is v at most as big as -3?
False
Let i = -0.4 - -0.4. Let r = -84 - -81. Which is smaller: i or r?
r
Let y(a) = a**3 + 17*a**2 - a + 8. Suppose -5*k = -4*q + 86, 0 = -3*q + 12. Let w be y(k). Let c be w/(-400) + 4/10. Which is smaller: 0 or c?
c
Let r be -2 - (-1 - -23)*-1. Let t = 72 + -27. Suppose -5*l + 38 = 3*c - r, -c = 4*l - t. Which is smaller: l or -2/7?
-2/7
Suppose 2 = 2*a - 8. Let r be (-5)/(a/4)*-2. Let n(k) = -k + 17. Let p be n(r). Which is greater: p or 7?
p
Let f(z) = z**3 - 5*z**2 - 2*z - 7. Let m be f(5). Is m less than or equal to -35?
False
Suppose -5*p - 4*r = -26, p + 4*r - 14 = 4. Let a = -548 + 556. Is a equal to p?
False
Suppose 0 = 7*m + 17*m. Suppose -2*s - 2*d = -2 + 14, 2*s = d. Let t be ((-6)/9)/(s/3). Which is bigger: m or t?
t
Suppose 4*t - 8 - 32 = -3*j, 4*j + 5*t - 53 = 0. Let g be -2 + 2/j - 0. Let f(i) = 73*i - 512. Let v be f(7). Is v at most g?
False
Let c be (1 - -5) + (5 - 8) - -12. Let s = c + -33. Is -18 less than or equal to s?
True
Let x(m) be the second derivative of -m**4/12 - 2*m**3 - 19*m**2/2 - m. Let t be x(-13). Let j = -164/5 - t. Which is bigger: j or -1?
j
Let d(h) = h**2 + 6*h + 1. Let v be d(-5). Let u = v + 2. Let w be 6/(-4) - 21/14. Which is bigger: u or w?
u
Let i = 10 - 5. Suppose -i*w + 5*v = -30, -w + 0*w - 4*v - 19 = 0. Let u = 48 + -242/5. Which is smaller: u or w?
u
Let d be (-8 + 9)*-3*1. Let r be 20/(-2) + (0 - -1). Let g = -28/3 - r. Which is smaller: g or d?
d
Let s = -0.84 + -0.16. Which is smaller: s or 337?
s
Let z = 4.6 - 5. Let c be (-3)/(9954/(-184))*-5. Let j = -2/237 + c. Which is greater: j or z?
j
Suppose 6*t = 178 - 58. Do t and 16 have the same value?
False
Suppose -1 = -6*u - 31. Let w = 14 + u. Which is bigger: w or 7?
w
Let b be (4/2096)/(1/3). Let c = b - -8363/3668. Do c and 3 have different values?
True
Suppose -5*d = -3*d + 18. Let a be (-1 + (-20)/(-5))*d. Is a < -27?
False
Let r = 1000/11 - 16846/187. Let o = -280/51 + r. Let f = -5 - o. Is f less than or equal to -1?
False
Let c = -0.082 + 0.252. Let n = 0.2 - c. Is -1 != n?
True
Let j = 343/15 - 71/3. Let n = 22 - 31. Let c = n - -8.8. Which is smaller: j or c?
j
Let r(d) = -d**2 + 5*d + 9. Let k = -16 - -28. Suppose 0 = 6*o - 8*o + k. Let b be r(o). Are b and 4 equal?
False
Let m = 4 + 4. Let w be m/(4 - 5) + 3. Let v be 12/(-4 + 1) - w. Which is smaller: -2 or v?
-2
Let d = 6 - 4. Let y be (d/(-2))/((-1)/(-5)). Let o = 7979 - 7983. Which is greater: y or o?
o
Let g = 5.46 - 8.35. Is 1/3 < g?
False
Let m = -8 + 14. Let t = m + -4. Let k = -158.4 - -159. Is t at least as big as k?
True
Let z = -571 + 7429/13. Which is smaller: z or 7?
z
Let h be (-165 - 1) + 35/((-75)/(-15)). Is -161 >= h?
False
Let u = 13 + -11. Suppose 0 = u*f - 7*f - 1125. Let s be f/(-108) - (-1 + 3). Is s greater than 0?
True
Let d be 4 + -8 - -4 - -12. Suppose 0*j - d = 2*j. Which is bigger: -2 or j?
-2
Suppose 3 = 3*q - 2*y + 1, -4*y - 6 = -5*q. Suppose 0 = -3*t + 521 + 193. Let x = t + -721/3. Is q not equal to x?
True
Let s(v) = v**2 - 107*v - 444. Let q be s(-4). Does 1/138 = q?
False
Let r be 4*1*(930/84 + -11). Is -98 at least as big as r?
False
Let o = -0.14 + 0.04. Suppose -5*c + 2*c - 210 = -5*j, 80 = 2*j - 2*c. Suppose d - j = 4*d. Is o at most as big as d?
False
Let f be 5/(-10) + (-21)/18. Let h be 9*(0 + (-4)/(-4)). Suppose h = 3*t - 6*t. Are t and f equal?
False
Suppose -c + 1 = j + 4, 3*j = -4*c - 12. Suppose 0 = 2*r + g - 2544, 6*g = 2*g. Let m = 21630/17 - r. Which is greater: j or m?
m
Let x(u) = -10 - 4*u**3 + 7 - 2*u**2 + 4. Let n be x(-1). Let w = 647/420 + 5/84. Which is bigger: w or n?
n
Let q = -52 - -74. Let l = 10 - q. Let s = l - -12. Which is bigger: -3/10 or s?
s
Let a = -294880 + 84040681/285. Let q = -439/969 - -8/17. Let d = q + a. Do d and 1 have the same value?
False
Let f(s) = -s**2 - s + 2. Let d(k) = 4*k**2 + 3*k - 8. Let u(t) = -2*d(t) - 9*f(t). Let l be u(-5). Let y be ((-4)/l)/((-37)/2). Which is smaller: 1 or y?
y
Let a = 0 - -1. Let j = -5 - 35. Let t = -33 - j. Which is bigger: a or t?
t
Let i = 0.6 + 0.4. Let o = -1411/5 + 281. Is i < o?
False
Let y(p) = 3*p - 2. Let f be y(2). Suppose 4*s + 7 + 9 = 4*b, f*b = 3*s + 12. Is b greater than -2/119?
True
Let o(x) = 9*x. Let t be o(-1). Let q be (-3)/t*3 + 8. Suppose r - 5 = -5*z + 1, -4*r - 5*z = -q. Is 5/9 > r?
False
Let f(c) = -8 + 18 + 2 - 2*c. Let x be f(9). Let y be (2/x)/((-4)/(-12)). Are 0 and y equal?
False
Suppose -4*o + 0*o - 72 = 0. Let t be (-3 + -2)*3 - (4 + -1). Is o not equal to t?
False
Let c be 8/(-6) - 4/6. Let x(g) = g**2 + 6*g - 5. Let a be x(-7). Suppose a*p = 2*f + 8, 2*p + 25 = -3*p - 4*f. Do p and c have different values?
True
Suppose 0 = -43*b + 1070 + 693. Let y(o) = 21*o - 3. Let d be y(2). Is d smaller than b?
True
Let b = 1252485/7 + -179799. Let h = b - -874. Do 2 and h have the same value?
False
Let d = 2447118/371 - 6596. Which is smaller: -1 or d?
-1
Let z = -10 + 28. Let f = z - 18. Let q = -1029/820 - -1/205. Which is smaller: q or f?
q
Let d be (-4)/10 + (-8)/(-20). Let t = -18 - -19. Is t smaller than d?
False
Let q be (-1135298)/798 - 2/7. Suppose 2571 = 4*k + 8263. Let a = k - q. Is 1 != a?
True
Let w be (-1)/12*(-19 - 7). Let f = w - 17/6. Which is smaller: f or 4?
f
Let g = 260 + -528. Are g and -268 equal?
True
Let h = 49 + -57. Suppose -4*v + 6 = -2. Which is bigger: h or v?
v
Suppose -4*q + 17 = -7. Suppose -x + 2*x - 12 = -3*n, -2*x + 9 = n. Suppose w + x*w = 20. Which is smaller: w or q?
w
Let g(j) = -j**3 - 2*j**2 + 2*j - 2. Let a be g(-3). Let n(y) = 6 - 3*y**3 + 4*y**3 + 17*y**2 - 5. Let x be n(-17). Is a greater than or equal to x?
True
Let w(n) = 2*n**2 + 9*n + 17. Let z be w(-6). Suppose 33*d = z*d - 2. Is -0.26 bigger than d?
False
Suppose 0 = 2*d - 3*d - 779. Is -779 < d?
False
Let f be (-21)/28*1/((-9)/12). Let 