 smaller: h or 21?
21
Let r = 74 + -71. Suppose -m - 13 = 3*u, 7 - 1 = 2*u - r*m. Is u smaller than -34/9?
False
Let i(s) = -3*s**2 - 2*s + 128. Let w(h) = -h**2 - h + 64. Let z(q) = 2*i(q) - 5*w(q). Let j be z(0). Let n be j/(-48)*3/(-10). Is 0 less than or equal to n?
False
Let u = -937 + 1033.4. Let v = -96 + u. Which is bigger: v or 2/17?
v
Let o(t) = -t**3 + 9*t**2 + 10*t - 14. Let m be o(10). Let l be ((-7)/m)/(3/12*206). Which is smaller: l or 1?
l
Let v = 0 - 1. Let p be 2 - 9 - (-420)/80. Are p and v equal?
False
Let l(w) = -7*w - 10. Let f be l(-3). Let p be (-2)/(-6) + (-116)/(-12) + -1. Which is smaller: f or p?
p
Let n = 32/17 + -313/85. Let o(j) = -j**2 - 5*j + 3. Let f be o(-6). Are f and n unequal?
True
Let c be 4 + 30/(-9) + (-4)/6. Let z be 2 + -3 + (1 - c). Which is smaller: z or 6/65?
z
Suppose 871 = 5*b + 2*a, 4*a - 3*a - 695 = -4*b. Let f be 1559/3*(-2)/(-6). Let x = f - b. Which is greater: -1 or x?
x
Suppose 1 = -2*l + 3*l. Let o be 1/(-1110)*-242 + 16/(-80). Is l less than o?
False
Let b(q) = 8*q + 5. Let x be b(4). Suppose 7 = 2*o - x. Which is smaller: o or 23?
o
Let i = -352 - -572. Which is smaller: i or 217?
217
Suppose -2*y + 32 = 6*y. Suppose 0 = 2*n + y*n - 144. Which is greater: 26 or n?
26
Let r = -1475/22 + 67. Let i = 30 + -28. Is r <= i?
True
Let k = 247 + -246. Which is greater: -0.248 or k?
k
Let s(q) = -6*q**2 + 85*q + 5. Let k be s(14). Is k < 2?
False
Let q(x) = -x**3 + x**2 + 2*x + 4. Let r be q(0). Suppose -44 = -r*l - 8. Suppose 2*t + 0*t = -4*h - 18, -l = h + 2*t. Which is smaller: -6 or h?
-6
Let o be 508/32 + 2/(-16). Do o and 16 have the same value?
False
Suppose -21*h + 278 = -37. Is 13 less than or equal to h?
True
Let y(u) = -9 + 9*u - 11 + u**2 - 2*u. Let b be y(-9). Which is smaller: b or -7?
-7
Let x be 295 + (1 + -2)*(-12)/(-4). Suppose -4*q + 5*j = -230, -5*q - 4*j - x = -10*q. Are 60 and q equal?
True
Let l = -4 - -5. Which is smaller: l or 19/5?
l
Let v = 3 - -25.4. Let c = 27 - v. Let n = 10.4 + c. Are n and -0.1 non-equal?
True
Suppose -46*g - 24 = -40*g. Which is smaller: -13/5 or g?
g
Suppose n = -4 - 7. Let d = 8 + n. Let u be 2/1 + -1 - -2. Is u <= d?
False
Suppose 14*n = 5*n - 540. Is -61 > n?
False
Let r be -1*(-7 + 2 - -7). Let d(h) = -h**2 - 4*h - 3. Let i be d(r). Which is smaller: i or 3/107?
3/107
Suppose -135 = -3*i - 6. Which is smaller: i or 41?
41
Suppose 2*t - 23 = -5*i, t - 3*i - 4 = -20. Let v be t - (-4 + (0 - -2) + 5). Suppose -4*c - 10 = -2*c. Which is smaller: v or c?
c
Let w = -29.3 + 28. Let h = -1.2 - w. Let o = h - -6.9. Is o > -0.1?
True
Let k(r) = -r**3 - 3*r**2 - 5. Let j be k(-4). Suppose -2*b - j = -5. Which is smaller: b or -0.01?
b
Let n(a) = a + 2. Let s be n(0). Let y be -3 + s*(-2)/(-4). Let x be -10*(25/10)/(-5). Which is bigger: y or x?
x
Let p(w) = -w**2 + 11*w + 49. Let l be p(15). Let b = l - -16. Is 24/5 greater than or equal to b?
False
Suppose 0 = k - 5*k + 88. Suppose 4*o - 4*c - 29 = 79, -5*c = -3*o + 91. Are k and o nonequal?
False
Let j = 38 + -115/3. Suppose 0 = 3*l + 52 + 11. Let p be -1 - 3 - 90/l. Which is smaller: p or j?
j
Suppose 0 = -341*l + 336*l - 225. Is l bigger than -47?
True
Let t be 4 + 0 + ((-2128)/(-49))/(-8). Which is bigger: 0 or t?
0
Let j = 12852/1190137 - 16/1103. Let u = 8548/22659 - j. Is u at least as big as 0?
True
Let x = 10 + -7. Let m be 116/638 - ((-688)/88 - (-3 + 0)). Is m > x?
True
Let h be 4/((-48)/9213)*-19. Let q = 14665 - h. Let y = q - 277/4. Which is smaller: y or 1?
1
Let z = 0.0006 + -3.6006. Which is smaller: -0.01 or z?
z
Let l(a) = -5*a + 42. Let c be l(-8). Suppose 5*h + 0*g - 155 = 3*g, -3*h = -4*g - c. Are 35 and h non-equal?
True
Let t = -277455 + 1393693/5. Let z = 1279 - t. Is z greater than or equal to -6?
True
Let k = 1.46 - 8.16. Let g = k - -7. Suppose -3*r - 18 = 2*u, -407*u - 5*r = -411*u + 52. Which is greater: u or g?
u
Let y = -5 - -3. Let n be 32/(-132) + y/(-6). Suppose 19*h = 20*h - 1, 0 = 3*o - 3*h. Which is smaller: o or n?
n
Suppose 0 = -0*b - 3*b + 3*c + 3, -4*b + 7 = -3*c. Is b bigger than 54/11?
False
Let q be (24/(-9))/(6/(-27)). Suppose 2*a + 5 = 3*p + 26, -3*p = a + q. Suppose -3*x - 2*x - 4*z + 11 = 0, 0 = -3*x + a*z - 15. Which is greater: 1/14 or x?
1/14
Let o = 56 - 54. Suppose p + 6 = -o*p + 2*l, p - l + 1 = 0. Which is smaller: -3 or p?
p
Suppose -3*o - 3*z + 24 = 0, -4*o - 2*z = -25 + 3. Suppose -2*l + v + o*v = -14, 11 = -4*l - 5*v. Which is bigger: l or 1/93?
l
Let b be -2 - (-8 + 4) - 32. Let i = b - -35. Suppose i*r + 4*n + n = 60, -r + 3*n = 0. Is r greater than 9?
False
Let m = 122 + -118. Suppose s + 3*o = 2*s + 8, -m*o = s - 20. Which is bigger: s or 14?
14
Let x = -402/247 + 28/19. Let c = 1 + -1. Which is greater: c or x?
c
Let w = 680527/167 - 4075. Let z = w + 161/501. Let h = 0.19 + -0.08. Which is smaller: z or h?
h
Let n be ((-6)/((-2)/1) + -1)/(-5). Let w = -14.4 - -14.5. Which is smaller: w or n?
n
Let n(y) = -y - 3. Let f be n(-9). Suppose -f*t = 7 + 11. Is t equal to -0.1?
False
Suppose -3*b = -0*j - 4*j + 19, 5*b + 4*j = 11. Let d be (30 - 26) + (b/(-1) - 2). Let z = -18/17 + 241/51. Is d at least z?
False
Let o = -468.9 + 468. Let a = -0.7 - 0. Let x = o - a. Which is bigger: x or -5?
x
Suppose 4*y = 4*q - 44 - 364, -q = 3*y - 118. Which is bigger: 104 or q?
q
Suppose 3*y + 14 = l, -4*l + 5 = 5*y - 0. Suppose -2*n - l*j = 2, n + 10 = 5*n + 3*j. Is n not equal to 4?
False
Let s(f) = f + 2. Let c be s(2). Let p(u) = u**2 - 3*u - 1. Let t be p(c). Suppose t*a + 4 = 7*a. Which is bigger: a or 2/25?
a
Let k = 25 - 83. Let d = k - -408/7. Suppose -2*r + 5 + 9 = 2*t, -12 = 4*t. Which is greater: d or r?
r
Suppose 0 = 13*x - 37*x + 168. Are 88/13 and x unequal?
True
Suppose 0 = 5*j - 54 + 14. Suppose -s + 10 = k + 3*k, s + 2*k = j. Which is smaller: s or 2?
2
Suppose -9*y = m + 25 + 25, y - 20 = 5*m. Which is bigger: y or 7?
7
Let j = -1 + 1.1. Let b be ((-40)/(-30))/(1 + 1). Is j > b?
False
Let y be 2/(-6) - (37936/(-36) + 3). Let l = 1049 - y. Is l not equal to -2?
True
Suppose 6 = 4*n - n. Let m be 1 + (-2 - n) + 11. Let r be (-10)/(-30) + (-46)/(-6). Is r not equal to m?
False
Suppose 31*o = 37*o - 144. Does 18 = o?
False
Let d = -4925 - -64069/13. Which is bigger: d or 4?
4
Let h = -0.1851 + -1.6149. Let r = -6 + 8. Which is greater: r or h?
r
Let q = 553 + -525.95. Let n = -27 + q. Which is smaller: n or 0.1?
n
Let g(k) be the first derivative of k**3/3 + 2*k**2 + 4*k + 16. Let d be g(-5). Is d != 11?
True
Let d be ((-12)/10)/(12/(-20)). Suppose q - 15 = d*h, 5*q - 102 = -0*h + h. Suppose q*v = 16*v. Is -5/7 at least v?
False
Let x be (-3)/(6*(-2)/16). Let c be 24/66*((-5)/x)/(-5). Which is smaller: c or -1?
-1
Let j = 937 - 2836/3. Let x = -169/21 - j. Let d = -2673 - -2673. Are d and x equal?
False
Let v = -15.4 + 9.6. Let g = v - -5.8. Which is greater: 20 or g?
20
Suppose 10 = 2*o + 2*p, -15 = 4*o - 4*p + p. Suppose o = i + 5*i + 42. Is i > -3?
False
Let y = 113.2 - 113. Let o = -2 + -2. Is o > y?
False
Let c = -25.711 + 0.511. Which is bigger: c or 0.1?
0.1
Let n be (1722/430 + -4)*(2 + 0). Which is greater: n or 0?
n
Let j = 17.3 - 17. Let i = 8.3 - j. Let z = -4 + i. Which is smaller: -1/5 or z?
-1/5
Suppose -19*w - 195 = 109. Which is smaller: w or -50/3?
-50/3
Let s be -4 - ((-24)/(-6) - 162/20). Is s > -8?
True
Let z = 0.0099 + 0.0106. Which is smaller: 1 or z?
z
Let n(v) = -9*v + 9. Let f be n(1). Is f equal to 4/541?
False
Let t = 0.759 - -52.241. Which is greater: 3 or t?
t
Let w = -6.98 + 7. Let t = w + 0.13. Let v = -0.05 + t. Which is greater: v or 1?
1
Suppose 5*f - 15 = 0, 5*q = -4*f + 8*f - 12. Let v be 14/(-10) + -1 + 3. Is q at least v?
False
Let w = 834 - 1785/2. Which is smaller: w or -58?
w
Let i be -8 + (7 - 4) - (-4 + 0). Are -313 and i nonequal?
True
Let d be (-3)/1 - 2/2. Let f be d/10 - 64/(-85). Suppose 56*l + 8 = 48*l. Is l <= f?
True
Let z = 380 + -380.1. Do -1/8 and z have the same value?
False
Let p be 44/91*56/80. Let q = 7/13 - p. Is q less than 1/4?
True
Let m(q) = -q + 12. Let y be m(11). Let s = 14 + -4. Which is bigger: s or y?
s
Suppose 2 = 3*u - 13. Suppose -5*x + 22 - 7 = 0. Suppose 0 = 5*a - x*i + 14, -u*a - 5*i = -0*i - 10. Which is smaller: a or 0.2?
a
Let l(k) = k**2 - 6*k - 401. Let y be 