: -2/9 or u?
-2/9
Let f = -103 - -102. Is 7 bigger than f?
True
Let j = 12 - 12.2. Let u = 0.065 - 0.165. Which is bigger: u or j?
u
Suppose -2 = -5*q + 2*o, 4*q + 1 = -o - 0. Suppose q*l = -l - 3*d - 13, 4*l = d. Which is smaller: -37 or l?
-37
Let p = -603/572 - -14/13. Suppose -5 = 2*o + a, -4*a = -4*o - 3*a + 5. Is p > o?
True
Suppose 0 = -2*w + 3*u - 32, 48 = -3*w - 5*u + u. Let f(v) = -v**3 + 10*v**2 + 11*v - 16. Let m be f(11). Is w <= m?
True
Let n be ((-3)/(-9) - 1)*2793/(-14). Suppose n = -3*o - 4*j, -3*o = -o - 2*j + 84. Is -43 smaller than o?
False
Let x = -1890 + 818. Is x greater than or equal to 0.2?
False
Let z(y) = y**3 - 3*y**2 - y + 4. Let a be z(3). Suppose -2*v - 138 = 3*r + v, -v - 196 = 4*r. Let m = r - -50. Which is greater: a or m?
a
Let t(q) = -q**3 + 22*q**2 - 42*q + 31. Let j be t(20). Which is greater: -6 or j?
-6
Let u be ((-6)/(-1012))/((-5)/295*-3). Let m = u + 3/46. Are 1 and m non-equal?
True
Let w = 68 - 53. Let r = 5 - w. Is r at most -1/2?
True
Let l = 0.272 - 2.702. Let h = 0.43 + l. Which is smaller: h or -4?
-4
Suppose 13*b - 5*b = 1272. Is b at most 1116/7?
True
Let f = -271 - -269. Which is greater: f or -0.14?
-0.14
Let z be 8/(-1 + -7 + 3). Let m be (4/5 + -1)*-7. Let d = m + z. Are d and -0.4 non-equal?
True
Let b = -147 + 142. Suppose -5*c = -4*k - 38, 3*k + 2*c + 6 = -11. Let w = k - b. Is w not equal to 0?
True
Let z be 6/39*(-10)/4. Suppose -3*i = b + 5, -i + 4*b + 104 = 97. Which is smaller: z or i?
i
Suppose -2*p + 5*p - g - 146 = 0, -3*p - 2*g + 140 = 0. Let w be 4 - p*3/(0 + -3). Are 52 and w non-equal?
False
Let b be 12 - (2 + 0 - 3). Let s be (1 - -1)/((-6)/(-33)). Which is smaller: s or b?
s
Let r = 92 - 30. Let l = r - 48. Which is smaller: -2 or l?
-2
Let y(x) = -4*x - 1. Let h be y(-1). Let w be (1 + -1)/((-14)/7). Suppose -h*g + 7*g = w. Do -3/4 and g have the same value?
False
Let p be 23 - 30 - 96/(-14). Let b be (-12)/(-42) + (-2)/7. Which is smaller: p or b?
p
Let z = 16 + -10. Suppose -222*m - 16 = -214*m. Which is bigger: m or z?
z
Suppose 0 = k - 4*o - 9, -5*k + 2*o - 4*o + 23 = 0. Let f be 108/(-18) + 12 + 4 + -3. Are f and k equal?
False
Let w = 3/94 + 51/7238. Are 0 and w nonequal?
True
Let i be 2/6 + (-3 - 46/(-6)). Suppose 48*q = 49*q + i. Which is smaller: q or -6?
-6
Let k be 5879/(-1905) + (-138)/(-1035) + 3. Is k greater than 1?
False
Let u = 1980 - 1888. Which is greater: u or 0.03?
u
Let t(a) = -2*a**2 + 26*a - 7. Suppose 5*z + 5*k - 75 = 0, -3*z + 28 + 15 = 2*k. Let s be t(z). Which is smaller: s or -4?
s
Suppose -21*g = -9*g - 72. Suppose 3*i = -2*u + 21, -i - 3*i = 2*u - 26. Which is greater: i or g?
g
Let g be 2/7 + 136/14. Let w = g + -16. Let a be (-63)/w + (-1)/2. Is a at most 0.1?
False
Let x be 200/(-10) - (-2)/2. Let j = -18 - x. Which is greater: 2/37 or j?
j
Suppose 0 = 4*f + 16, -2*f + 2 - 155 = -5*w. Is 30 greater than w?
True
Let b = -976/273 + 44/13. Which is greater: 1 or b?
1
Let g = -14 - -3. Let b = -6 - g. Suppose -3*i + 6*i + 9 = 0, -3*a + 18 = -b*i. Do a and 2/29 have the same value?
False
Suppose 4*g + 120 - 124 = 0. Is g >= 1/163?
True
Suppose 136 = -3*f - f - 2*v, -5*v + 89 = -3*f. Let k = f + 33. Is -3/10 at least as big as k?
False
Let l be 2*(2*63/12 - 2). Suppose z - l = -15. Which is bigger: 50 or z?
50
Let u(a) = -59 + 41 + 36 - 2*a + 5*a - 2*a. Let l(g) = -2*g**2 - 4*g + 1. Let r be l(-4). Let j be u(r). Is 7/3 smaller than j?
True
Let z be 371/(-28) - 6/8. Let j be 3 + (0 - -4)*-4. Which is greater: z or j?
j
Let g(c) = c**3 + 16*c**2 - c - 19. Let i be g(-16). Let h be (-2 + 13 - 4) + i. Suppose -8 = -7*q + 5*q. Are q and h nonequal?
False
Suppose -n + 4 = -3*n. Suppose -3*s + 3 = -2*s. Let i = n + s. Which is bigger: -2/25 or i?
i
Let s = -246 + 254. Is s at least -2/15?
True
Let f be (-32)/(-180)*(-5 - (-2 + 2)). Suppose -7*w - 6 = -w. Do w and f have different values?
True
Let d be 93/(-15) + (-6)/15. Let l = 43 + -42. Which is smaller: l or d?
d
Let x = 481 - 455. Which is greater: x or 24?
x
Let w(v) = 4*v**2 - 3*v - 2. Let d be w(3). Let s be ((-12)/d)/((-18)/60). Let i(k) = k**2 + 3*k - 7. Let n be i(-5). Which is smaller: s or n?
s
Let f(x) = x**3 + 37*x**2 - 169*x - 60. Let z be f(-41). Is z less than or equal to 152?
True
Suppose 3*s - 128 = 5*l, 4*s + s - 4*l = 222. Is 38 at most as big as s?
True
Suppose 4 = -46*n + 48*n. Suppose -4*y - n*b = 14, -4*b - 24 = 5*y - 8*b. Is -18/5 less than or equal to y?
False
Let t be (-2)/(-4) + (-39)/6. Let m = -173/42 - 50/21. Which is smaller: t or m?
m
Suppose -11 = -3*b - 3*g - 5, 0 = -3*b + g + 26. Suppose 0 = 11*i - b*i - 8. Suppose 3*u + 18 = 5*r, -u + 0*u - r = -i. Is 1/26 bigger than u?
True
Let y(n) = -n**2 - n + 31. Let s be y(-5). Which is smaller: 114/11 or s?
114/11
Suppose i + 5*u = -i - 39, 3*i + 27 = 3*u. Let d be i/188*2/3. Suppose -4 = 9*t - 13*t. Do d and t have the same value?
False
Let s(i) = -i**2 - 5*i + 445. Let c be s(0). Which is bigger: c or 444?
c
Let b(x) = -12*x + 320. Let o be b(33). Does o = -76?
True
Let p(z) = -z**3 + 17*z**2 + 17*z + 5. Let c be p(18). Is -9 at most as big as c?
False
Let a be 1/(-2 + 21/9). Suppose 0 = 5*z + 43 - a. Suppose -2*q + 2 - 16 = 4*b, -5*q - 5*b = 40. Is q at least as big as z?
False
Let k be (-2296)/246*(0 + -20 + 2). Which is smaller: k or 170?
k
Let x be (-21)/9*(-104)/28. Are x and 8 non-equal?
True
Let c be 11 + (-28)/(-16) + -13. Is c less than or equal to 1?
True
Let y = 2.03 + -2.16. Do 1 and y have the same value?
False
Let i be 13/5 + (-6)/10. Which is smaller: i or 28/13?
i
Suppose -5*w = 11 - 16. Which is greater: 26/37 or w?
w
Let q = -53 - -101. Suppose 5*a + p - 248 = 0, 4*a - 3*p + p = 190. Which is smaller: a or q?
q
Let i = 3/17 + -57/34. Let s be (21 - 17 - (1 - -3)) + -3. Are i and s equal?
False
Suppose 2*i = -3*y + 20, 3*i = 3*y - 0*y + 60. Let z = -4 - -18. Let g = i - z. Which is smaller: 3/5 or g?
3/5
Let q = -75977/145 + 524. Is 0 bigger than q?
False
Suppose 3*b = w - 3*w + 2, 8 = -4*b. Let h be (-6)/w*19/(-114). Is h <= -15?
False
Suppose -1 + 4 = -3*a + 4*y, -4*a = -y + 4. Let f be (1 - 3 - a)/3. Let k be 4/(-10) + (-14)/(-10). Are k and f equal?
False
Let b(d) = -4*d**2 + 7*d - 22*d - 6 + 3*d**2 + 11*d. Suppose h - 3*h = 10. Let y be b(h). Which is smaller: y or -1?
y
Suppose -16*s - 1440 = -56*s. Which is smaller: s or 5?
5
Let h = 0 + 0. Let q = -90 + 46. Let r = q - -43. Which is smaller: r or h?
r
Suppose 2*s - 74 = -2*y, 8*s = 3*s + 20. Let g be (-2*11)/(65/15 - 5). Are y and g equal?
True
Let q be (-72)/(-96) - (-755)/(-4). Is q at most as big as -186?
True
Let s = -8.733 - -0.033. Is s less than 0?
True
Let d(w) = -w**2 - 19*w - 18. Let h be d(-18). Suppose 0 = 2*x + t - 1, 2*x + 5 = 6*t - t. Is x bigger than h?
False
Let p = 0.3 + -2.3. Let n = 2.3 + p. Let m = -13.5 + 13.3. Is m greater than or equal to n?
False
Suppose 3*g + 11 = 2*i, 0 = 5*g - 0*g - i + 23. Which is greater: g or -14?
g
Let d = -317 + 301. Let n = -145.1 + 129. Let t = d - n. Which is greater: t or 8/5?
8/5
Suppose -4*j = -7*j - 9, -4*j + 63 = -5*h. Let d = -16 - h. Which is smaller: -6 or d?
-6
Suppose 0 = 3*c + 11*c + 280. Let q = c + 7. Let k be (-12)/1 + 0/(-2). Is k smaller than q?
False
Let l be 0 + (-7)/((-2135)/10). Let p = 73/366 - l. Let s(m) = m**2 + 1. Let h be s(0). Is h at most p?
False
Suppose 11*h + 24 = 15*h. Which is bigger: 5 or h?
h
Suppose -28*u - 545 = -125. Which is smaller: -85/6 or u?
u
Let p be 1/(1 + (-3)/6). Suppose -p*f = 3*f. Suppose f = -3*y + y. Is -1/5 smaller than y?
True
Suppose 4*z - 9*b = -6*b, 4*b = 3*z. Let g(l) = l**3 - l**2 + 1. Suppose 0 = -4*r + 3*r. Let i be g(r). Is i less than z?
False
Let h(o) = o**3 - 10*o**2 - 12*o + 12. Let f be h(11). Let t be (-70)/(-60) + f/(-2). Is -4 smaller than t?
True
Let n = -11/6 - -89/42. Suppose -2*b = 2*z - 16, 8 = b + 3*z - z. Which is smaller: n or b?
n
Let c(r) = -r**3 + 4*r**2 - 2*r. Let w be c(2). Let b(o) = -2 - o + 2 - o - w. Let a be b(-3). Is -1/2 bigger than a?
False
Suppose -130 - 220 = 50*l. Suppose 3*k - 8 = 2*r, 0*k - 5*r + 2 = -2*k. Suppose 0 = 3*a - k*b + 33, 2*b = 2*a - b + 23. Is l less than or equal to a?
True
Let o(k) = k**2 + 11*k + 11. Let a be (42/(-4))/(-7) - (-51)/(-6). Let l be o(a). Is l < -17?
False
Let y 