3*o. Suppose 3*h + 5*k = -25, 3*h - 2*k = -k + o. Are h and 2/9 equal?
False
Suppose -4*l = -2*l. Suppose l*s - q = 4*s + 5, -5*q = 2*s + 25. Which is smaller: 7/6 or s?
s
Let r be ((-16)/(-28))/(36/28). Let h = -5 - -5. Which is smaller: r or h?
h
Let b = -773/455 - -9/91. Let j be (-2)/(-1) - (-10)/(-2) - -2. Is j less than b?
False
Let k = 13.6 + -17.6. Is k less than 2/11?
True
Suppose -4*m + 5*m = 20. Is m > 20?
False
Suppose -4*f + 2*f = -6. Suppose -2*q = -5*d, q = -f*q - 3*d. Which is smaller: 4/11 or q?
q
Let m(k) = k**3 - 4*k**2 + 3*k. Let z be m(3). Suppose -3 = -3*x - 0*x. Is z <= x?
True
Suppose 4*c = -c. Suppose -2*g - 12 = -c*g. Let m = 6 + g. Which is smaller: m or 1?
m
Let s = 38 - 11. Suppose 0*m - s = -4*a + m, 2*a + 3*m - 17 = 0. Suppose a = 5*p - 18. Which is smaller: 6 or p?
p
Let n be (3 + (-6)/2)/(-2). Do 4/5 and n have the same value?
False
Suppose -3*s - 1 - 11 = 0. Let i = 0 + s. Is -4 bigger than i?
False
Suppose -2*p - 3*p = 5*t + 75, 4*p - 3*t + 46 = 0. Suppose 4*s = -27 - 25. Is s at most p?
True
Let d = -13.2 - -13.14. Which is smaller: d or 2?
d
Let b(z) = 7*z**3 - z**2 + 3. Let j(u) = -u**3. Let k(c) = b(c) + 6*j(c). Let f be k(0). Is 1 at most f?
True
Let v be 644/(-112) + (-10)/(-4). Which is smaller: 1/3 or v?
v
Suppose 9 = 2*r + r. Suppose -r*s = 3*s. Is -4 <= s?
True
Let h = 1051/698 + -2/349. Let k = -18 - -18.07. Let t = k - 0.37. Is h at most t?
False
Let z = 10054/15 - 670. Does z = 0?
False
Let w = 150/253 - 7/11. Is 0 greater than or equal to w?
True
Suppose -26 = 3*a + 7. Let j = a - -7. Which is bigger: j or -1?
-1
Let g = 3367 + -57257/17. Which is smaller: g or -1?
g
Let r be (2 + -3)/((-1)/2). Let c(d) = -d**2 - 7*d - 7. Let s be c(-6). Let b be 1 + s + 3/6. Is r <= b?
False
Suppose -2*c = -3*p + 15, 0 = -p + 2*c - c + 5. Suppose 4*t + 2*d - 2 - 4 = 0, 0 = -p*t - 5*d + 10. Is t at most as big as 0.1?
False
Let f(z) = -z**2 - 10*z + 8. Let r be f(-10). Let k be (6/4)/((-6)/r). Are -5 and k nonequal?
True
Let n = 7/15 + -41/45. Let p = 3.23 + 0.87. Let z = -4 + p. Which is smaller: z or n?
n
Let n(v) = -v - 3. Let k = -2 + 0. Let d be n(k). Is 2/17 < d?
False
Let q = 38 + 32. Are q and 69 unequal?
True
Let d be 3/(0 + (-9)/(-6)). Let z be 34/(-12) + d/1. Is -2/3 greater than z?
True
Let q be (6/(-4))/(2/48). Let j be (-16)/90 - (-8)/q. Is -1 bigger than j?
False
Let t be (-3 - (-3 + 1)) + 2. Let p = t - -1. Let o = p - 2. Which is greater: -1/2 or o?
o
Let g = -1 + 0. Let r be (9 - (-3)/g)/1. Let n be (-3 - -1)*(-3)/r. Which is bigger: 2/17 or n?
n
Let v(t) = 2*t + 24. Let z be v(-8). Which is smaller: 17 or z?
z
Let u = 0.35 - 0.35. Is u smaller than 4?
True
Let y = 12937 + -6429691/497. Let a = -215/497 - y. Is 1 at least as big as a?
True
Let i = 3.5 - 0.1. Let u = 1.4 - i. Which is smaller: u or -0.1?
u
Suppose -2*l = -5*l + 21. Which is smaller: l or 8?
l
Suppose -5*h + 4*g = -31, -3*h = -8*h + 2*g + 23. Suppose 0 = 5*w + 8 - h. Do w and -3/5 have different values?
True
Let d = -185.9 + 199. Let g = 13 - d. Which is smaller: g or 1/2?
g
Suppose x = -n + 4, -9 = -n - 3*x + x. Let l = -3/44 + -51/220. Which is bigger: n or l?
l
Suppose 0 = t - 2*t - 4*d - 8, 5*d + 10 = 0. Let s = -3/10 + 49/130. Are s and t nonequal?
True
Let c = 0.18 - 9.18. Let g = -9.7 - c. Is 0 >= g?
True
Let x = 1.08 + -0.08. Which is greater: 1/3 or x?
x
Suppose 0 = 4*i + 111 + 1. Let m be i/(-105)*(-5)/2. Is m less than or equal to -1?
False
Suppose -4*h = -5*h. Suppose -2*x - 4 = 3*m, -m + 9 = -6*m - x. Let l = m - -2. Is h at most as big as l?
True
Let m = 1 - 1.2. Let r = -0.8 + m. Let d = 0 + 0.3. Is d less than r?
False
Let c be (-1)/(100/(-32) - -3). Suppose -11*i + 7*i = c. Let r = 1/19 - 83/133. Which is bigger: r or i?
r
Let a = -57 - -229/4. Which is bigger: a or 2/83?
a
Let u = 21 - 20.9. Let s = -4.9 - -5. Is u at least as big as s?
True
Suppose -13 = -4*q - 5*h - 28, -2*q = 2*h + 6. Let k be 58/(-30) + (-4)/(-10). Let d = k - -4/3. Which is smaller: q or d?
d
Let q = -0.074 - 2.826. Let h = q + -0.1. Is -1 at least as big as h?
True
Let p be (-1)/3 - (-1)/3. Let h be (1 + -1)/((-12)/(-6)). Suppose 0 = -3*q - h*q. Are q and p equal?
True
Let c(p) = p**3 - 9*p**2 + 8*p + 1. Let i be (12/(-9))/((-1)/6). Let w be c(i). Let y = w - 3. Is -4 smaller than y?
True
Suppose -5 = j - 4*m, -6 = -2*m - 2. Suppose t = 2*t + j. Which is bigger: t or -4?
t
Let r = 3 + -4. Let o = 0.024 + 20.976. Let d = -12 + o. Which is bigger: d or r?
d
Let p be (2/(-8))/(52/16). Let x(i) = 2*i + 12. Let g be x(-9). Let w be g/9*6/4. Is w >= p?
False
Let x = -18 - -18. Let f be (-2)/131 - 0/3. Let a = -252/655 + f. Are a and x nonequal?
True
Let f = 0.3 + -1.3. Let n = f - -0.7. Let s = 0.6 - 0.6. Which is smaller: n or s?
n
Let x(y) = -y + 15. Let q be x(7). Suppose 2*m + 0*m = -5*l - 24, -q = 2*m + l. Let j = -3 - m. Which is smaller: 1/4 or j?
j
Let g = 1 + -0.97. Let i = 2 + -1. Which is smaller: g or i?
g
Let i = -155 - -159. Which is bigger: i or 3?
i
Suppose 0 = -2*g + m + 3*m - 16, -15 = -5*m. Let x be 2/((-3)/(g*3)). Suppose x*k - 5*k = 0. Are 0 and k unequal?
False
Let c(g) = g**3 + 2*g**2 + g - 19. Let o be c(0). Are -19 and o unequal?
False
Suppose 2 = -t + 3*s + 1, 0 = -3*s + 6. Let g be (-1)/2 + t/20. Which is bigger: g or -1?
g
Let v be (-385)/(-150) - (-3)/30. Is 4 at most v?
False
Let i = -22.55 + 23. Let u = i - 0.5. Let k = -0.05 - u. Is 1/4 equal to k?
False
Suppose -17*t - 33 = -20*t. Is 10 bigger than t?
False
Let h = -91 + 90.4. Which is bigger: 1/6 or h?
1/6
Let v be (4 + -3)/(1 + 0). Let w be (-3)/60 + 7/(-35). Which is greater: w or v?
v
Suppose -5*b = -5*d - 5, -2*d - 6 + 7 = b. Is -5/6 >= d?
False
Suppose -7*p + 4*p + 24 = 5*j, 16 = 2*p + 2*j. Is 7 at least as big as p?
False
Let n = -0.32 + 0.51. Which is bigger: n or -1?
n
Let t = -0.1 + -0.1. Let o(k) = -2*k**2 - 6*k - 6. Let v be o(-4). Let a be v/18 + 14/(-63). Which is greater: a or t?
t
Let f = -8.93 + 9. Are f and 1/3 non-equal?
True
Let g = -0.42 - -0.6. Let j = g + -0.1. Let s = 0.92 + j. Which is greater: -3/2 or s?
s
Let g = -6 + 6.03. Let j = g + 3.97. Let v = j - 4.1. Which is smaller: -1/2 or v?
-1/2
Let k = -58.8 + 59. Is k > -11?
True
Let g = -0.05 + -7.95. Let a = g + 7.9. Is a equal to 0.1?
False
Let g = -10 + 27. Let l = g - 10. Let d = l + -5. Is 1 at most d?
True
Let d = -0.16 + 0.06. Let k = 0.9 - d. Let g = -14 + 8. Which is smaller: g or k?
g
Let x = -31 + 32. Is 2 >= x?
True
Let q = -52/7 - -8. Do 5 and q have different values?
True
Let r = -1.7 + 1.9. Which is bigger: r or -0.08?
r
Let n be (-6)/(-4)*(-12)/(-9). Let g be (-1)/(-2*1/4). Suppose g*q - 4*q = -2. Which is greater: q or n?
n
Let b = -10 + 16. Let k(o) = -o**2 + 7*o - 3. Let x be k(b). Let t = -2 + x. Are t and -0.1 nonequal?
True
Let t(a) = a**2 + 9*a + 7. Let m be t(-8). Is m smaller than 6/13?
True
Let s be 18/8 + (-3)/(-4). Suppose -2*q - 36 = 4*t, -37 = 4*q + 4*t - s*t. Let n = 7 + q. Which is smaller: n or -2/17?
n
Suppose o + 2 = -2, 0 = -3*w - 4*o + 2. Do 6 and w have the same value?
True
Suppose -8 = b - 3*b. Suppose 0 = b*l - 15 - 21. Suppose -4*y + l*y = 3*s - 17, 4*s - 15 = -y. Are 2 and s unequal?
True
Let m(v) = -v + 1. Let g be m(-3). Suppose g*z + 36 = 4*w, z + 2*w - 4 = 2. Is 1/2 at least as big as z?
True
Let x = -5/66 + 1/6. Which is bigger: x or 0?
x
Let j = -1.2 + 0.2. Let g = 154 - 150.08. Let p = g - -0.08. Are j and p equal?
False
Let i = 10 - 5. Which is greater: i or 7?
7
Let b be 3/33 - 4/(-12)*0. Let w be (0 - -2)/((-14)/2). Is w != b?
True
Let l(d) = 3*d**2 + d. Let j be l(1). Let s = -8.3 - -8.1. Is j > s?
True
Let b = 24 - 28.6. Let o = b - 0.4. Let w = -6 - o. Does w = -1?
True
Let d = -4 + -1. Let i be d/8 - 15/20. Let f = i - -15/8. Is 1 <= f?
False
Suppose -4*x + 0*x + 32 = 0. Let c = x - 7. Which is bigger: c or -2/29?
c
Suppose p + 6*p - 21 = 0. Let y be (-2)/(0 - (-2)/(-5)). Is p >= y?
False
Let n = -13 + 4. Which is greater: n or -0.1?
-0.1
Let o be -26*(-14)/4*1. Suppose 0 = -5*l - 4 + 19, o = 2*w + 5*l. Let r be w/(-9) + (-2)/(-9). Is r less than -3?
True
Let b be (-32)/(-21) - (-6)/(-9). Let q = b - 11/21. Let f(i) = 2*i + 3. Let a be f(-2). Which is smaller: q or a?
a
Let w be 1/((26/(-12))/(-1)). Is w less than -1?
False
Sup