ich is smaller: i or u?
u
Let a = -289 - -287. Which is smaller: a or 21?
a
Let r be 2*1/(-12) - 370/(-60). Suppose -10 = -5*n + 10, -3*n - r = -2*z. Which is smaller: 8 or z?
8
Let t be (-88)/14 + (-13)/((-78)/36). Let u(h) = -h**2 - 7*h - 3. Let j be u(-6). Suppose 15 = -j*v, -5*n = v + 1 + 4. Which is bigger: t or n?
n
Let y(r) = r + 1. Let i be y(5). Suppose -23*v + 368 = 23*v. Is i at most v?
True
Let s = 4/101 - 238/909. Does s = -0.3?
False
Let z = -104 - -109. Which is greater: z or 1?
z
Let j(b) = b + 12. Let g be j(-8). Let r(l) = 6*l - 21. Let d be r(g). Which is smaller: d or -1?
-1
Let x = -6407 - -6484. Let p = 64 + 13. Is x < p?
False
Suppose -13*r - 4 = -4. Is r < -1/26?
False
Let l be 2/(-658) - (-3 - -3). Let o = l + -306/7567. Which is greater: 2/11 or o?
2/11
Suppose 2*f + 3*j + 28 = 0, 5*f - 5*j + j + 24 = 0. Let m = -6 - f. Suppose -4*v - 2*o + 8 = -6*o, m*o = 5*v - 10. Which is greater: v or 0?
v
Let q = -82.8 - -6.8. Let y = q - -75.9. Which is smaller: y or -33?
-33
Let f = -42 + 46. Let d = 14 - 13. Are f and d unequal?
True
Let r be (-2964 + 7)*(-2)/(-22). Suppose 0 = d + 5*n - 259, -2*d = d - 4*n - 815. Let b = r + d. Which is greater: b or -1/4?
b
Let q = -252 + 66. Let l = 195.3 + q. Let n = 9 - l. Is n at least as big as -2/3?
True
Let o be (-1062)/75*(17 - 7). Which is smaller: o or -143?
-143
Suppose w = 4*w - 12. Let j = 3/26 - -31/13. Which is smaller: j or w?
j
Let r be (12/8)/((-600)/(-8)). Which is smaller: -1 or r?
-1
Suppose -4*o = -7*o + 3. Let h(k) = k - 2 + o + 3*k**2 + 2*k**2 - 4*k**2. Let u be h(2). Is u bigger than 5?
False
Let g(s) = 3*s**2 - 3*s + 1. Suppose -2*i + 5 = 1. Let b be g(i). Let d = b - 8. Which is bigger: 2/9 or d?
2/9
Suppose -2*p + 20 = -12*p. Let f be (p - -4)/(-4)*-1. Is 0.01 less than or equal to f?
True
Let j = 598 - 612. Which is smaller: j or -12?
j
Let l = -5 - -4.995. Let t = 4.995 - l. Which is smaller: t or -2?
-2
Let m = -0.02 + 0.42. Let y = 0.226 + 2.774. Which is smaller: y or m?
m
Suppose 0 = 4*r + r + 125. Let l be ((-8)/10)/((-10)/r). Let c be -2 - l - (-2 - -3). Is -1/8 greater than c?
True
Let t be (-2 - 16936107/(-99582)) + -1. Let w = t - 9/16597. Let o = -333/2 + w. Is 1 not equal to o?
True
Let p be (50/(-250))/(26/18). Is 1 less than p?
False
Let g = -13.15 - -14. Let q = g + -8.85. Are 0 and q equal?
False
Suppose 4*g + 32 = -5*m, 2*m + 4*g + 17 = g. Let o = m + -2. Is -8 at least o?
False
Let q = 0.865 + -3.865. Which is bigger: 12 or q?
12
Suppose -b = 3*b + 4*u - 164, -4*b + 4*u + 132 = 0. Which is greater: b or 36?
b
Let j = 6 - -1. Suppose -x - j*m + 24 = -2*m, x - m = 0. Suppose 7*w = 3*w - x. Which is smaller: 0.5 or w?
w
Let d = -43 - -43. Let u = 17 + 1. Let i be (-57)/u - 2/(-12). Is d greater than or equal to i?
True
Let n be 36/24*14/3. Suppose 2*r - 80 = n*r. Let p = 16 + r. Is p not equal to 0?
False
Suppose 0 = 4*u + 4, -6 = -0*k - k + 4*u. Let p be (-2)/(-1)*((-7)/k)/(-1). Is p < 1?
False
Let h be (-151)/462*(-2)/3. Let m = h - -1/231. Is m smaller than -2/7?
False
Suppose -x - 14 + 11 = k, x + 11 = -3*k. Is x at most as big as 177?
True
Suppose 0*h - 6*h = 2*h. Is h != 1/35?
True
Let p = -0.1575 - -0.0575. Do -114 and p have the same value?
False
Let n = 942 + -987. Which is bigger: n or 1/5?
1/5
Let g = 5735 - 5713. Let n = 0 + -0.2. Which is greater: g or n?
g
Let a = 199/145 - -4/145. Let o = 1.01 + -1.21. Which is bigger: o or a?
a
Suppose -3*l = a - l + 6, -5*a + 6 = l. Suppose 4*v - 2*v + a*c - 2 = 0, 0 = 5*v - 2*c - 12. Let x be 5/15*(-1 - v). Are x and 1 unequal?
True
Let h(o) = -4*o**3 + 5*o**2 + o + 3. Let x be h(5). Let z = x + 1461/4. Which is bigger: -2 or z?
z
Let q = -0.069 + 0.899. Let m = 0.43 - q. Is m greater than or equal to 0.3?
False
Let i = 109.1 + -119.49. Let s = 0.61 - i. Which is bigger: s or -1?
s
Suppose 0 = 17*b - 22*b + 4*s + 179, s - 104 = -3*b. Which is bigger: 34 or b?
b
Suppose -1 = 4*n - 3*y + 5, 10 = 5*y. Let h = -51 - -61. Which is bigger: n or h?
h
Suppose 0 = -4*p + 2*w + 22, -3*p + 23 = 2*p + 2*w. Suppose -p*b - 4*i = 13, -3*b - i - 7 = i. Let q = 58/7 - 60/7. Which is smaller: b or q?
b
Let j be 735/210*(-6)/(-7). Which is smaller: j or -37?
-37
Suppose -17*h + 8 = -19*h. Let i be 1 + (8/(-12))/(h/(-2)). Is 2.8 bigger than i?
True
Let q(x) = 6*x**2 + 27*x - 9. Let v be q(-5). Is v at least as big as 21?
False
Let l = -98.6 - -109. Let w = l - 10. Let o = -8 - -7. Which is smaller: o or w?
o
Let z be ((-2)/185*-1)/(6/(-789220)). Let y = -1422 - z. Is y smaller than 0?
False
Let u = 33 - 22. Let k = 2.004 + 84.896. Let y = -87 + k. Is u <= y?
False
Let u be (2 + 2)*288/(-1044). Which is smaller: -2 or u?
-2
Suppose 0 = -z - 2*p - 78, -4*z - 3*p - 194 = 98. Let y be (-72)/(-5) - 3/(-5). Let b be (z/y)/((-2)/(-6)). Is b > -13?
False
Suppose -3*u - 16*u = 0. Is -24/61 equal to u?
False
Let v(c) = -3*c - 43. Let k be v(-14). Which is smaller: k or -16/9?
-16/9
Suppose 0 = -133*y + 120*y - 585. Which is smaller: y or -0.4?
y
Let w(n) = n**3 - 12*n**2 + 2*n + 6. Let a be w(12). Suppose 6*p + a = 3*p. Let t be p/7*-7*1. Is 11 greater than or equal to t?
True
Let z(f) = f**3. Let g be z(-1). Let o = 50/9 + -473/90. Is g at most o?
True
Let u = 0 + 0. Suppose 165 = 4*n + 37. Let z be n/64*2/23. Which is smaller: u or z?
u
Let x = 97 + -871/9. Let v = -481 - -477. Is v smaller than x?
True
Let v = 1285 + -1303. Which is bigger: -20 or v?
v
Let d(q) = -8*q + 210. Let h be d(-5). Is h > 250?
False
Let v be (-1 + (-65)/(-75))*261. Is v < -36?
False
Let r be (-2 + 3 - 69)*52/(-16). Let u = r - 1109/5. Are u and -2 nonequal?
True
Let t(k) = -4*k - 30. Let f be t(13). Let d = -28 - f. Which is smaller: 55 or d?
d
Let s = 65 - 401. Let b = s + 1022/3. Is b > 5?
False
Let z = 4629/4 - 1157. Which is smaller: 5.7 or z?
z
Suppose -s - t = 3*t + 5, 20 = -2*s + 2*t. Do s and -13 have different values?
True
Let j(b) = b**3 - 3*b**2 + 2*b - 3. Let f be j(3). Let s be 1/(((-18)/134)/f). Let c = s - -23. Which is bigger: c or 0.04?
c
Let y = 15133646818164340/1449 + -10444202639133. Let z = y + 1936467. Let m = 2/161 - z. Which is smaller: m or 0?
m
Let x be (2 + -3)/(1/(-19)). Let s = 10 - x. Let r = s - -24. Is 15 equal to r?
True
Suppose -2*i + 4 = 2*l - i, -i - 8 = -l. Let z be -2*((-575)/145 + l). Let v = 0.2 - 1.2. Which is greater: v or z?
z
Let r = 41 - 499. Let g = 9620/21 + r. Is g greater than or equal to -1?
True
Let j = -547/84 - -45/7. Is j greater than -1?
True
Let r = -485/4 - -1481/12. Are 0.2 and r unequal?
True
Let j = -26.24 + 3.24. Is -0.3 <= j?
False
Let w(h) = 10 + 2*h - 19*h**2 + h**3 - 6*h + 24*h**2. Let d be w(-6). Which is smaller: -26 or d?
-26
Suppose 2*l - f = 15, -2*f = -0*f + 6. Let w = 8 - l. Let a = -149 - -152. Which is greater: w or a?
a
Let x be ((-1244)/(-6))/(6 + (-22)/6). Is x > 89?
False
Let x = 497 + -266. Is 231 smaller than x?
False
Let x = 1190.1 - 1190. Do x and 32/21 have the same value?
False
Let f = 7 - 7.34. Let l = 0.54 + f. Which is smaller: l or -1.1?
-1.1
Let q = 320 + -269. Which is bigger: q or 0?
q
Let x = -20017206/85 - -235538. Let m = 202/5 - x. Which is bigger: -1 or m?
-1
Let x = -146 - 72. Let o = x - -210.16. Let m = o + -0.16. Are 0.1 and m non-equal?
True
Let a = 1064.72 - 1065. Which is bigger: -11 or a?
a
Let k be (-1507)/165 + 9 - (-4004)/31380. Is 0.1 equal to k?
False
Let s(i) = -i**2 + 16*i - 11. Let z be s(15). Which is greater: 13/4 or z?
z
Let b = 2/189 + 551/1512. Suppose 3*x - 6*x = 27. Let y be (-4 - (-145)/45) + 2/x. Is y at most as big as b?
True
Suppose -3*d + 4*j - 291 = 2*j, -2*d - j - 187 = 0. Are d and -87 equal?
False
Suppose 2*w = 2*p - 3*p - 1, 1 = 4*w + 5*p. Let h be 4/(-14) - 108/14. Let k be (h + w)/((-66)/4). Which is greater: k or 2?
2
Suppose y = -5*p - 24, 3*p - 6*y + 4*y = -4. Let n be (1/2)/(7/(-2)). Does p = n?
False
Let a be (-8100)/432 + (7 - 1 - -1). Let j be 1/4 - (-53)/(-4). Is j at least as big as a?
False
Let i be (24 - -2) + (-2 - -2). Let s = 38 - i. Suppose -3*m + s = -0. Which is smaller: m or 1?
1
Suppose -8 = -3*z - 158. Let k be (-3)/(-16)*z/15. Is -1 less than k?
True
Let l = 485/4 - 119. Does l = 1?
False
Let t(y) = -y**3 - 13*y**2 + 13*y - 14. Let i be t(-14). Which is smaller: 44 or i?
i
Let z = 15 + -8. Let