627/34. Let r = -9/11 - p. Which is bigger: -1 or r?
r
Let q = 1.24 + 28.76. Which is smaller: q or -3?
-3
Let f = -10.24 - -0.24. Is -1 smaller than f?
False
Suppose 1 = 4*t + 5. Let v be (6/16)/((-21)/3516). Let a = -125/2 - v. Which is greater: a or t?
a
Let j = -0.11 - -4.11. Let g = j + -5. Are g and 1/6 nonequal?
True
Let p = 2/5051 + -126383/272754. Let a be (-4)/(-54)*((-3)/2)/(-3). Let r = a - p. Do r and 1 have different values?
True
Suppose 0 = x + 2*x. Let b = 553/33 - -54/11. Let m = b + -194/9. Are x and m equal?
False
Let u = -14 + 7. Let b = u - -4. Let t = -2 - b. Is t greater than or equal to -2/3?
True
Let d = 45 + 20. Suppose -2*x + 40 = -l - 0*x, -2*l = x + d. Let f = l - -135/4. Which is smaller: 1 or f?
f
Let h = -16/3 - -6. Is h > -0.22?
True
Suppose -t - 3 = -4*t. Let v be (2 - t)/(-1 - 0). Let m(s) = -2*s**3 - s**2 - s. Let c be m(v). Is c at most as big as 1?
False
Let k = -33 + 22. Which is greater: -21/2 or k?
-21/2
Let b be 0/(8/(-5 - -1)). Let m = 1/35 - -13/35. Is m < b?
False
Suppose 2*h - 30 = -3*h. Suppose -2*v - 4*p = -h, -p - 4 = -3*v - 2*p. Which is greater: 3 or v?
3
Let d(y) = y + 6. Let v be d(-6). Let c be 2/(-6) - 40/(-30). Let s = c - v. Which is smaller: s or 2?
s
Suppose 14*l + 9 = 17*l. Suppose -l*b - 3 - 12 = 0. Let z = -16 + 11. Are z and b unequal?
False
Let n(z) = -z**3 + 12*z**2 + 12*z + 11. Let y be n(13). Suppose 0 = g + 4*g - 25, 0 = 4*l - 3*g + 31. Which is bigger: y or l?
y
Let c be -2*1/(-2) - 0. Let s = 98 + -98. Is s > c?
False
Suppose -22 = 2*z - 0*l + 5*l, -4*z = -l. Is z at least as big as 0.4?
False
Let j = 25 - 16. Let k = 5 - j. Let z = -4 - k. Which is smaller: z or 1/4?
z
Let r = -273 + 275. Let y = 2.1 - 2. Let s = 0.1 + y. Which is smaller: r or s?
s
Let p = -77 + 141. Which is smaller: 63 or p?
63
Let q be 2/(-3) - 592/(-24). Suppose 5*k - q = 4*r, -2*k + 4*k = -3*r + 5. Which is bigger: -1/6 or r?
-1/6
Let n(v) = -2*v**2 + v - 8. Let a(p) = 5*p**2 - 4*p + 23. Let w(s) = 3*a(s) + 8*n(s). Let m be w(-5). Which is bigger: -5/11 or m?
m
Let u(r) = 11*r**3 - 2*r**2 + 1. Let m be u(1). Is 8 > m?
False
Let a = -8.4 - 5.6. Which is greater: -1/3 or a?
-1/3
Suppose 8*h - 3*h = 90. Suppose d = -5*d + h. Which is smaller: d or 1?
1
Let r be 10/(-18)*1/(-5). Let q be (-14)/(-6) - 1/3. Suppose -q*c = -7*c. Which is greater: r or c?
r
Let q(b) = -3*b - 9. Let c be q(-3). Is c at least as big as 1/11?
False
Let q = 4 + -3. Which is smaller: 0.1 or q?
0.1
Let f(a) = -a**2 + 5*a - 6. Let v be f(5). Let k(p) = -p**2 - 5*p + 6. Let h be k(v). Which is greater: h or -0.2?
h
Let a = 12832/31 - 414. Which is smaller: a or 1?
a
Let j = 0.06 + 0.34. Let y = -0.3 + j. Let l = 0.08 + 0.12. Which is greater: l or y?
l
Suppose 2*m - 13 = -u, 0*m - 2*u = -4*m + 38. Suppose -3*s = -15 - 6. Is s < m?
True
Let z = -70/3 + 23. Let c be (-3)/12 + (-2)/24. Is z less than or equal to c?
True
Let f = 130 + -43. Let i be (-64)/f - (-4)/6. Which is greater: 0 or i?
0
Let b = -45 + 45. Suppose 0 = -4*t - i + 5, 0*t = -t + 5*i - 4. Let n be t/(-4) - (-1)/(-4). Which is smaller: b or n?
n
Let w(z) = -5*z + 14. Let p be w(3). Which is greater: -1/18 or p?
-1/18
Suppose -7*n + 13*n = -30. Which is greater: n or 6/7?
6/7
Suppose 0*k = -4*k + 8. Let g be ((-1)/k)/((-1)/(-20)). Is -11 less than g?
True
Let h = 0.06 - -0.04. Let w = 7/23 - 141/161. Which is greater: w or h?
h
Let v = -11653/16038 + -1/1458. Is v greater than or equal to -1?
True
Let y = 11 + -20. Let x be 0 - (15/y - -1). Is 4 greater than or equal to x?
True
Let p(a) = a + 1. Let c be p(-3). Let v be 3/(63/c)*3. Let n = -4 + 3. Which is greater: n or v?
v
Suppose -4*f + 8*f = 112. Let y be 54/(-280) - (-7)/f. Which is greater: y or 0?
y
Let l = -7.1 - -6.9. Is 1 at most l?
False
Let y(r) = 6*r**2 + 3*r - 2. Let z be y(-2). Is 18 bigger than z?
True
Suppose 0 = -15*i + 45 - 240. Which is greater: i or -1?
-1
Let j = -51/2 + 155/6. Which is smaller: -10/3 or j?
-10/3
Let z = 18.01 - 0.01. Let p = z + -17.3. Which is bigger: p or -0.1?
p
Let w be 9/(-14)*(-4)/6. Suppose 85 = z + z - s, 0 = -2*s + 2. Let b = 43 - z. Are w and b equal?
False
Suppose -4 - 2 = -3*k. Let i = k + -1. Let w = i + -1. Is -2/3 less than w?
True
Let j = -90 - -453/5. Let p = 4 - 2. Which is smaller: j or p?
j
Let g(y) = -y + 1. Let d be g(0). Let f be (-5)/(-15) + 34/(-90). Is f less than or equal to d?
True
Let n(v) = 8*v + 6. Let q be n(-6). Let k be ((-8)/q)/((-2)/3). Let w be 1*(2 + -3) - -1. Which is smaller: w or k?
k
Let g = 15/7 + -52/21. Let x = 0.09 - 0. Which is bigger: x or g?
x
Let q = -81 - -79. Which is smaller: 3/11 or q?
q
Let r be (-6)/14 - (-4 + 5). Is r >= -2?
True
Let z = 0.06 - -2.94. Let w = -0.7 - -3.7. Let h = w - z. Is 0.3 < h?
False
Let f be 1/2 - (-5)/(-10). Suppose t + 3*t - 4 = f. Let g = t - 6. Is -3 greater than g?
True
Let c(r) = -3*r + 1. Suppose 3*u - 15 = 8*u. Let l be c(u). Let w be 3/(5/(l/6)). Is 1/4 != w?
True
Suppose -g = -5 - 4. Is 4 greater than g?
False
Suppose 28 = -3*x - h, x + 5*h + 44 = -2*x. Suppose -5*i + 5*w + 14 + 1 = 0, 4*i - 2*w - 12 = 0. Let s = x + i. Is s less than -5?
False
Let z = -0.23 + 0.13. Are z and -1 unequal?
True
Let q(x) = -x**3 + 6*x**2 + x - 5. Let j be q(5). Suppose 5*y - j = -4*u, 2*u + 17 - 7 = 2*y. Let t = -521/51 - -31/3. Which is greater: u or t?
t
Let c = -433 - -6925/16. Suppose -7*v + 6*v = 0. Which is bigger: v or c?
v
Suppose -5*k - w = -15, 6 = -k + 3*w - 5*w. Suppose -k*g + 4 = -t, 0*t = -g - t - 4. Let h be g - 3/((-63)/(-6)). Is h less than -0.2?
True
Suppose -5*j + 14 = -3*y, 5*j + 10 = -y - 4*y. Let i = 12 + -20. Let l be (-5)/(-20) - (-2)/i. Which is greater: l or j?
j
Let u = 4 - -3. Let d = u - 6.9. Which is greater: d or -1?
d
Suppose 4*v + 2*s = -18, 2*v - 6*s + 2*s - 6 = 0. Let a = 3 + v. Let d(q) = q**2 + 7*q - 7. Let o be d(-8). Is o equal to a?
False
Suppose 5*d + 5 = -3*p, -d = 3*p - 0*d - 11. Suppose -p*q = -4*q. Is 2/17 bigger than q?
True
Let r(f) = -3*f + 9. Let m be r(3). Let p be -1 + 4 + 2*-1. Which is bigger: p or m?
p
Suppose 4*a - 2*v = -a - 11, -2*a - 12 = 3*v. Are 0.1 and a unequal?
True
Suppose 0 = 3*r - 6*r + 3. Suppose 3*q - 2*q - r = 0. Is 1 less than q?
False
Suppose 3*y - 4*q = -74, -4*y + 4*q = -0*y + 92. Which is bigger: -89/5 or y?
-89/5
Let b = 6/61 - 97/366. Let r = -18 - -19. Which is smaller: b or r?
b
Let p be ((-3)/(-18))/(-1) - 23/6. Is -5 greater than p?
False
Let b = -3.4 + 3.4. Let x = 0.1 + -0.1. Let u = 0.3 + x. Which is bigger: u or b?
u
Let j = 29 - 59/2. Suppose 0 = -5*i - g + 3, 6*i = i + g - 3. Let t(u) = u**2 - u - 2. Let w be t(i). Is w smaller than j?
True
Let v = -26 - -23. Let q be (-2)/v*3/(-2). Let u(o) = -3*o**2. Let l be u(1). Is l <= q?
True
Let p be (-1008)/(-2170) + (-4)/10. Which is smaller: p or 1?
p
Let u be 1/(-3)*2*-45. Let y = u - 59/2. Is 0 <= y?
True
Suppose 0 = -5*h + 5*d + 38 - 8, 3*h - 2*d - 16 = 0. Let o be 8/(-2) - (h - 1). Which is greater: o or -1?
-1
Suppose 0*n - 3*n - 84 = 0. Let u be ((-2)/n)/((-3)/(-12)). Let t(z) = -z**3 + z**2. Let w be t(0). Which is smaller: w or u?
w
Let d = 6 + -3. Let v = 2 - d. Is v greater than -3/2?
True
Let o = 4 + -2. Suppose 5*p + w - 6*w = 25, 9 = -3*w. Are p and o equal?
True
Let w = 2.842 + 0.058. Which is smaller: w or 1?
1
Let h = -43 - -131/3. Let l = -18 - -20. Which is smaller: l or h?
h
Let g be 99/15 + (-2)/(-5). Let x = -2 + g. Suppose 0 = 2*l + 3*l - x. Is -1/5 bigger than l?
False
Suppose -13*d - 3 = 23. Which is smaller: d or -16/17?
d
Let m(d) = d**2 - 4*d + 5. Suppose -3*r + 15 = -0. Let n be m(r). Suppose 3*p + 0*t = t + 6, -4*t - n = -5*p. Is p smaller than 1?
False
Let v be 1/4 + (-305)/20. Is -15 at most as big as v?
True
Suppose -3*y + 10 = 5*t - 5*y, -2*t + 4 = 2*y. Which is bigger: t or 1?
t
Let d = -0.06 + -4.94. Which is smaller: d or 1?
d
Let a be (1 + -2)/(4/12). Let k be (-6)/(-8)*1/a. Which is greater: k or -3/4?
k
Suppose q = 3*q - 14. Let z(i) = 2*i**2 - 3*i + 1. Let o be z(3). Let t = q - o. Which is bigger: t or -4?
t
Let b(m) = -m**3 + 2*m**2 + m - 2. Let w be b(2). Let a = 5 + -3. Let c be -1 + 1 + (a - w). Which is bigger: c or 3?
3
Let u be (2/(-68) - 0)/((-3)/(-12)). Is 1 smaller than u?
False
Let u = 997/30 + -67/2. Are 0.3 and u equal?
False
Su