o + 4*c. Which is smaller: o or 1/7?
o
Let t = 0 + 0.2. Let h = 0.4 - t. Let c be (-6)/15 + (-7)/(-5). Which is smaller: h or c?
h
Suppose 2*v - 1 = 3*v + y, -4*v - 10 = y. Which is greater: 3 or v?
3
Let z(h) = -h**2 - 2*h - 2. Let q be z(-2). Suppose -3*w = -m + 4, 5*m = -2*w - w + 2. Does q = w?
False
Let v(n) = n**2 + 3*n - 5. Let h = -5 - -1. Let g be v(h). Is g smaller than 4/9?
True
Suppose 0 = -4*o - 4*c + 4, c + 0*c + 2 = 0. Let l be -4*(o - 7/2). Let b(k) = k - 2. Let t be b(5). Which is smaller: t or l?
l
Let z = -6.4 + 6.6. Which is smaller: z or -0.001?
-0.001
Suppose -i + 6 = -4*i. Is -1/2 greater than or equal to i?
True
Let j be ((-1)/22)/(2/(-8)). Let c = 5 - 0. Suppose -k = 6*z - 2*z - 3, 0 = -c*z + 2*k + 7. Which is bigger: j or z?
z
Let n = -133/3 - -44. Which is greater: -1 or n?
n
Suppose -3*v = 2*l - 95, 24 + 21 = l + 4*v. Let y = 101/2 - l. Let n(s) = s**2 + 3*s - 1. Let j be n(-4). Which is smaller: y or j?
y
Suppose 5*k = 4*b - 7, 5*b - 2*b = -k + 10. Which is smaller: b or -6?
-6
Let q = 1 + -1. Let w be (-2)/4*1 + 0. Which is smaller: q or w?
w
Let n(z) = 3*z**3 + 2*z**2 - z. Let o be n(1). Suppose 2*s - 11 = d, 4*d - o = 2*s + 8*d. Suppose -s*p = -p. Which is smaller: p or 1/4?
p
Let x = 0.45 - 7.45. Is -1/4 at most x?
False
Suppose 4*k - c = -2*c - 6, 5*k + 2*c = -9. Let r be (-175)/55 - k*3. Is 1 < r?
False
Let l = -8837/3857 + 3/551. Do -3 and l have different values?
True
Suppose 2*u + 0 = -4. Let k be (u - 20/(-7))/(-2). Which is smaller: k or 1?
k
Let i(c) = -c - 16. Let w be i(-17). Which is greater: w or 4?
4
Suppose 4 = -w - 3*w. Which is smaller: w or -20/9?
-20/9
Let t be ((-2)/(-7))/(8/14). Let z be 1 - 1*(1 + 0). Let j = z + 2. Which is smaller: j or t?
t
Suppose 5 = 2*z - 1, 0 = 4*b - 5*z + 27. Let d(c) = -c**2 - c + 2. Let k be d(2). Is k at most b?
True
Let k(p) = -p**2 - 13*p - 26. Let l be k(-12). Which is bigger: l or -15?
l
Suppose -5*m - 3*o = -3*m, 2*m = -4*o. Is 0.6 smaller than m?
False
Let g = -175 - -228. Is g greater than or equal to 55?
False
Let s(t) = -t**2 - 19*t + 2. Let z be s(-14). Which is smaller: z or 71?
71
Suppose -4*q + 8*q = 20. Which is greater: q or 0.1?
q
Let b = 16 + -10. Let a = -349/9 - -39. Is a not equal to b?
True
Suppose 2*k - 5*w + 22 = 0, 2*w = -5*k + 7*w - 40. Let n be ((-4)/k)/(2/(-12)). Let c = -5 + 3. Is n at most c?
True
Let k be (12/9)/(2/3). Suppose t = m - 8, 21 = -2*t + m + k*m. Let d be 6/(2/(-1)) + -1. Does t = d?
False
Suppose -4*z = -3*t - 16, -9*z + 11*z = 8. Let p be ((-5)/10)/(3/(-2)). Which is greater: p or t?
p
Let l = 39 - 39.4. Which is smaller: l or -0.2?
l
Let c be ((-2)/(-59))/(13 + -15). Which is bigger: c or -1?
c
Let d = 1846 - 31364/17. Which is greater: d or 2?
2
Let a = -0.17 - -0.17. Let t = a - 4. Which is smaller: t or 2?
t
Let f be (-3)/(36/(-154)) - 6. Do 6 and f have different values?
True
Suppose 2*q + 20 = 7*q. Let h be 0/9 - (3 + -6). Which is greater: q or h?
q
Suppose 3*j + 2*j - 21 = -2*z, 0 = 4*j + 4*z - 24. Let s be 4 + (-2)/(-2) + 0. Suppose s*m = 8*m + j. Which is bigger: 1/4 or m?
1/4
Let j(z) = z - 8. Let k be j(6). Let p = k - -4. Let d = -5 - -8. Which is greater: d or p?
d
Let f be (-15 - -3)*(-2)/(-9). Which is smaller: f or -2?
f
Let l be (-1282*2/40)/(-5). Let b = -129/10 + l. Is -1 at least b?
False
Let x = -6 - -5. Which is greater: -3/5 or x?
-3/5
Let x be (-5 + 5)*(-2)/4. Are x and 13 non-equal?
True
Suppose -4*d - 30 = -d. Let p be 12/(-3)*-1*2/(-8). Do p and d have the same value?
False
Let t be -3 + 1 - 3/(-6). Suppose -5*i = -5 - 5. Suppose 0 = -2*m - 4 - i. Which is greater: m or t?
t
Let w = -42 - -461/11. Suppose 0 = -2*z - 6, 2 = -3*y + 5*z + 20. Is y less than or equal to w?
False
Let c = 12 + -7. Let o be (-12)/4 - c/(-2). Which is bigger: 0 or o?
0
Suppose 0 = -22*y + 24*y + 2. Is -1/7 greater than y?
True
Let s = 10.1 + -10. Let n = 3 + -2. Is n <= s?
False
Suppose -a - a = -2*g - 26, 4*g - a = -58. Let k = -14 - g. Let o = -5 - -7. Which is bigger: k or o?
o
Let n(i) = i**2 + i. Let t be n(-2). Which is bigger: 1 or t?
t
Let o(s) = s + 5. Let y be o(-5). Suppose -3*k = -y*k + 24. Which is bigger: k or -7?
-7
Let p be (2/(-21))/((-4)/4206). Let m = 101 - p. Is m >= 2?
False
Suppose -3*u = -7*u. Suppose -4*g - v = u, 2*g + 5*v = 4*g. Which is smaller: 2/17 or g?
g
Suppose -b - 8 = 3*b. Let o be -1 - 116/110 - b. Let t = -241/385 - o. Which is greater: -1 or t?
t
Suppose 4*c = -5*k - 11 - 1, 18 = -5*k - c. Suppose 4*t - w - 9 = 0, 0*t - 5*w = 4*t - 3. Let o(r) = r - 5. Let i be o(t). Is k at most as big as i?
True
Suppose 0 = 5*t - 13 + 3. Let o(w) = -w**2 + 4*w - 7. Let c be o(5). Let i = c + 37/3. Which is bigger: t or i?
t
Let s = 1.6 - 1.59. Let n = s + -0.1. Which is smaller: n or -1?
-1
Suppose 5*s - 4*s + 2 = 0. Which is smaller: -4 or s?
-4
Let v(k) = k**3 - 2*k**2 + 2*k - 1. Let j be v(2). Let q be j*1 + (-2)/1. Is 0 < q?
True
Suppose 5*t + 2*i = -90, -7*i = -2*i. Let c = t + 13. Is c greater than -4?
False
Let u be ((-24)/(-10))/((-18)/(-45)). Let k(o) = -o**2 + 6*o. Let g be k(u). Which is smaller: -1 or g?
-1
Let d = -4576/23 + 199. Does 1 = d?
False
Suppose 0 = -8*c + 3*c + l + 20, -3*c - 1 = 2*l. Suppose 0*y + c*y = 9. Let f(x) = x + 9. Let o be f(-6). Are o and y non-equal?
False
Let w = -31/5 - -29/5. Is w <= 2/7?
True
Let m = -10 + 7. Let z = -1 - m. Let c = z + -3. Is c greater than or equal to -0.01?
False
Let j be (4*-2)/2*(-324)/(-48). Are j and -28 non-equal?
True
Suppose 2*n = m - 1, -59*m + 57*m = -2*n - 4. Let o be (0 - 0) + 6/(-14). Which is smaller: o or n?
o
Let p be (2 - 3) + 4/(-152)*-30. Which is smaller: p or 1?
p
Let n = 456 + -461.075. Let j = 0.025 - n. Let i = 5 - j. Are i and 2/7 equal?
False
Let g be 170/123 - (-24)/(-12). Let r = 2/41 - g. Is -0.1 at most as big as r?
True
Suppose -4*c + 1 = 17. Let y = -20 + 20.3. Are c and y equal?
False
Let i be (-10440)/66 + (-4)/(-22). Let p = i - -1110/7. Is 0 > p?
False
Suppose 3*d = -38 + 2. Which is greater: d or -0.1?
-0.1
Let q be (-2)/(-4)*6 + -13. Let t be (-3)/(3 - q/(-3)). Is 9 less than t?
False
Let s = 9 - 9. Let w(k) = 2*k**3. Let i be w(-1). Let y be (i/(-65))/(3/15). Which is smaller: y or s?
s
Suppose 4*p + 5*u - 7 = 2*p, 5*p + 5*u = 40. Suppose -p = -3*r + 4. Suppose r*k - 3 = 2*k. Which is bigger: 4/3 or k?
4/3
Let d be 36/90 + (47/(-80) - 0). Which is bigger: 0 or d?
0
Let k = 0.1 + -0.1. Let i = -124 + 117. Which is greater: i or k?
k
Let r = -19 + 14. Is 0.1 != r?
True
Let x = -23.8 - -24. Suppose 0 = -5*k + l + 11 + 4, k = -5*l - 23. Do k and x have the same value?
False
Let u = 1910412 + -21000134/11. Let y = -1310 + u. Is y bigger than -1?
False
Let i(v) = 11*v - 11. Let y(h) = -6*h + 6. Let p(b) = -3*i(b) - 5*y(b). Let a be p(-6). Let m be ((-2)/6)/((-7)/a). Which is smaller: 1/3 or m?
1/3
Let n = 1 + 0. Let z be 22/24*3 + -3. Which is greater: n or z?
n
Let c(n) = -3*n - 2. Let j be c(-3). Let d(s) = 5*s**2 + 8*s + 2*s - 17*s**2 + s**3 + 18 - j. Let l be d(11). Is l < -1?
False
Suppose 0 = -t + 3*c - 8, 0 = 3*t - 3*c + 8 - 2. Suppose -w = d - 5 + 1, -2*w = 5*d - 14. Let z = -3/2 + d. Which is bigger: z or t?
t
Let c = 13 + -27. Let f = c - -13.99. Does 0 = f?
False
Let z = 0.75 + -0.7. Let v = z + 0.03. Which is bigger: 0.1 or v?
0.1
Let u = -3.4 - -1.4. Is 20 > u?
True
Let l = -16 - -11. Let p = 6 + l. Does p = -1?
False
Let k = 7 + -7. Suppose k*y + 14 = 2*y. Suppose 0 = 5*l - 28 - 12. Is l <= y?
False
Let w = -7 + 14. Let i be 6/(-21) - (-9)/w. Let n be (3/2)/((-3)/(-4)). Which is smaller: n or i?
i
Suppose u = -4*u + 15. Let j be (-7)/((-14)/24) - u. Let b be (-2)/13 + j/39. Do 0 and b have different values?
True
Suppose l = -4*l + 2*z - 29, 0 = 5*l + 3*z + 19. Let j = l - -3. Let i be 1/j + (-4)/(-56). Do 0 and i have the same value?
False
Let w = 3135/16 - 196. Which is smaller: w or 1?
w
Suppose -n + 15 = -0*n. Suppose 2*j + n = 3*j. Suppose 3*u - j = 3. Which is smaller: u or 5?
5
Suppose 3*r = -3*r + 90. Is -1 > r?
False
Let u = 0.4 + -0.3. Let z = -21 - -20.91. Let r = -0.09 - z. Which is greater: u or r?
u
Let a(n) = n + 1. Let y be a(-2). Let h = y + 2. Is h bigger than 0?
True
Let r be -1*(-4)/12*-10. Is r <= -4?
False
Let u be (-23)/(-7) - (-4)/(-14). Suppose -u*l = 5 - 14. Ar