 x = -114/11 + c. Which is smaller: x or 0?
0
Let h be (-6)/9 + 1114/24. Let q = -46 + h. Suppose -6*s + 2*s - 8 = 3*z, -4*z + 4*s = -8. Which is smaller: z or q?
q
Let o = -1 + 1. Let a be 1 - (130/(-22))/(-5). Do o and a have the same value?
False
Let u = -22408 + 155236/7. Let k = u - -231. Do k and 1 have different values?
True
Let k(v) = -v**2 + 6*v + 8. Let z be k(7). Suppose 2*m - 13 + z = 0. Is 5 != m?
True
Let l be (1/(-6))/(6/(-8)). Let c = 16 - 15. Is c smaller than l?
False
Suppose 12 = -3*o, 2*g - 2*o + 0*o + 524 = 0. Let q be 2/6 + g/42. Is -7 smaller than q?
True
Let s(d) = -d**2 - 12*d - 9. Let r be s(-10). Is r greater than 11?
False
Let q = 25 - 12. Suppose 0 = -v + 5*z + q, -2*v - z - 3*z = 16. Do -1/2 and v have different values?
True
Suppose 8 = 4*b - g - 6, b - 5 = g. Let x(k) = k**3 - 8*k**2 + 9*k - 9. Let r be x(7). Is r less than or equal to b?
False
Let g be 2/(-9) + (-12)/(-54). Suppose -u + 2 + g = 0. Let i(z) = -2*z + 3. Let r be i(u). Which is smaller: -2/9 or r?
r
Let g = 0.4 + -0.6. Is g less than -3?
False
Suppose -4 = -2*a + 10. Let m = 8 - a. Is 4/7 greater than m?
False
Let d = -188 + 944/5. Let k = 2 + 0. Which is smaller: d or k?
d
Let o be (-4)/5*(-60)/24. Which is greater: o or 7/5?
o
Let n = -24 - -25.9. Let a = 0.1 - n. Let r = a - -2. Which is smaller: r or -1?
-1
Suppose -14*a - 8 = -6*a. Is a at least as big as -10/9?
True
Suppose 2*n - 1 = -3. Let v = 6 - 8. Let p = v + 0. Is n greater than or equal to p?
True
Let j = -1.72 + -0.28. Let u = -0.6 + 0.2. Is j < u?
True
Let s = -0.41 - -0.1. Let g = s + 3.21. Let p = g + -3. Is 4/9 bigger than p?
True
Let n = -53 + 53. Which is greater: 15/2 or n?
15/2
Let j be 4 + -1 + -4 + 2. Let y be ((-1)/9)/((-145)/30). Is y equal to j?
False
Suppose 3*c = -5*f + f - 81, 5*f = 2*c - 130. Let o be 4/6*f/16. Which is bigger: o or -3/4?
-3/4
Let x = 20 + -7. Let h = -12 + x. Is h at most -3?
False
Suppose -3*r - 13 - 14 = 0. Which is greater: -7 or r?
-7
Let t be (4/(-3))/(-2) - 0. Let y be (-8)/28 + (-29)/(-126). Let s = y - 11/18. Is t at least as big as s?
True
Let q = -10 + 15. Let a = q - 5.5. Let t = 1.5 - a. Which is greater: 0.1 or t?
t
Let g be ((3 - 5) + 0)*-2. Is g <= 0.2?
False
Let w be 1/3 - 74/(-12). Let i be (-12)/(-30) + (1 - 84/(-15)). Are w and i equal?
False
Suppose -4*h = -3*m - 35, 2*h + 4*m - 5 = -3*h. Let l = 16 - 11. Is l at least h?
True
Suppose 2*y = -5*a + 19, 0*a - 4*y = 2*a + 2. Suppose 4*s = a*s + 8. Let b be (-12)/s - (-1 + 2). Which is greater: -3 or b?
b
Let z = 11/7 + -26/21. Let j be 2*1/2*-2. Which is bigger: j or z?
z
Let z be (2/(-3))/((-2)/6). Let i be ((-1)/(-2))/(z/(-4)). Let n = -5242/11 + 476. Is n at most as big as i?
False
Let b = -24.03 - -24. Which is smaller: b or -1?
-1
Let g = -2 + 2. Let v(n) = -n**2 - n - 2. Let x be v(g). Is -3 at least as big as x?
False
Let a = -0.2 - -0.3. Let m = 3.07 + -0.07. Let b = -2 + m. Is b greater than or equal to a?
True
Let w = -15/7 + 54/35. Let s be 2/(-28) + (-2)/(-4). Is s bigger than w?
True
Let b(h) = h**2 - h - 5. Let i be b(-3). Do 6 and i have the same value?
False
Suppose -2*k = -5*p + 2*p - 11, 0 = -p - 2*k + 7. Let v be 3/(-1)*p/(-2). Which is smaller: v or -3?
-3
Let l = 49/16 - 663/112. Which is bigger: l or -2?
-2
Let c = 1520 + -7573/5. Let w = -86/15 + c. Is w less than or equal to -3?
False
Suppose 8*g = 3*g + 30. Suppose 3*l = g*l + 6. Which is greater: -1 or l?
-1
Suppose 0 = c - 3*l - 8, 0 = 4*c - l - 1 + 2. Is -41 at most as big as c?
True
Let d(a) = 3*a + 4. Let l be d(-3). Let t be (-42)/10 + (-1)/(-5). Is l >= t?
False
Let b be (-2)/(-10) + 52/(-160). Is -0.2 less than b?
True
Let q = 0.12 - 1.12. Let i = -0.02 - -1.02. Is q > i?
False
Let q = -2 - -6. Let z = 34 - 33.8. Which is bigger: z or q?
q
Suppose 0 = 8*t - 5*t. Let a be 122/(-4) - (3 - 1). Let n = a + 187/6. Is t greater than or equal to n?
True
Let g(m) = m - 1. Let c = -4 + 6. Let h be g(c). Are 3/7 and h nonequal?
True
Suppose 2*u - 7 = 9. Let t be 2/(-7)*(12 - u). Which is smaller: -2 or t?
-2
Let w = -582/5 - -41312/355. Are w and 0 non-equal?
True
Suppose 0*u = -2*u + 2. Let v be (-2)/(-10) - 136/1080. Are u and v equal?
False
Suppose 5*y - 15 = -4*w, 3*y - 2 = 4*w + 7. Let n be (y/9)/(4/108). Which is smaller: 10 or n?
n
Let d be 2/(-24)*(318/(-54) - -6). Is 0 equal to d?
False
Let i = -21 + 12. Let z = 7 + i. Let o(a) = -a - 3. Let x be o(0). Which is smaller: x or z?
x
Let b = 76 + 2. Which is bigger: b or 79?
79
Let c(h) = -h + 1. Let i(l) = -3*l + 4. Let p(w) = 14*c(w) - 4*i(w). Let q be p(-2). Let o = -43/5 - -9. Which is smaller: q or o?
o
Let x = 27 + -17. Let s = x - 10.8. Let a = s + 1. Which is greater: -1 or a?
a
Let q = 0.3 - 0.4. Let u = 12 + -9. Suppose -u*j + 0*j = 3. Which is smaller: j or q?
j
Let r = -0.1 + 0.4. Let u = r + -0.3. Is u bigger than 0?
False
Let i(m) = 15*m**3 + 2*m - 1. Let p be i(1). Suppose 3*f - 12 = -3*x, -5*x = -f - 2*x - p. Let y be 2 - (0 + 14/8). Which is smaller: y or f?
f
Let m = -7 - -15/2. Let u = 0.143 - -1.857. Which is bigger: u or m?
u
Suppose 2*r + 11 = 3. Let o = -24 - -26. Let y be (-5)/10 - 5/o. Which is smaller: y or r?
r
Suppose -5*t + 8 = 3*k, t - 1 = 5*t - 5*k. Which is smaller: 2/23 or t?
2/23
Let v = -6 + 16. Suppose -l - l + 2*t = v, l = 5*t - 9. Let z = 3 + l. Which is greater: z or 1?
1
Let x = 1.3 - 2.3. Suppose -2*p + 3 = 2*v - p, -4*v + 1 = p. Is v != x?
False
Let p(h) = -4 + 10*h**2 + 5*h**2 - 14*h**2. Let o be p(0). Let n be (-1)/(1/4)*1. Is n smaller than o?
False
Let s = -5549/39 - -428/3. Is s != 1?
True
Let g = -23 - -32. Let q = g - 9. Which is greater: -0.1 or q?
q
Let s be 3 + (2 - 1) + -1. Let r = 3 - s. Let v be (1*-1 - 0)/(341/31). Is v not equal to r?
True
Let c = -16 + 11. Let j be (-1)/2*(5 + c). Is -1/7 greater than j?
False
Let j(o) = -o. Let y(z) = -1. Let t(d) = -j(d) + 2*y(d). Let q be t(5). Suppose 3*c = -3*v - 2 - 1, q*v = -5*c - 3. Is v not equal to -2?
True
Let f(t) = -t**2 - 8*t - 3. Let v be f(-7). Suppose 0 = -d + 3 - v. Which is bigger: -2/25 or d?
-2/25
Let g(s) = s + 8. Let v be g(-8). Let q(y) = -y**3 - 4*y**2 + 2*y - 7. Let h be q(-5). Suppose -3*t + 5*n = h, -3*n + 9 = -4*t + 2. Which is greater: t or v?
v
Let u(l) = -l**2 + 4. Let y be u(3). Suppose c + 11 = -c - 3*d, -4*c - 4*d = 20. Which is smaller: y or c?
y
Suppose 0 = 4*a, 4*t - 5*a - 11 = 13. Let q be (t/(-16))/((-12)/8). Is q greater than 0?
True
Let b(u) = u**3 - 3*u**2 + u. Let j be b(2). Is 1 equal to j?
False
Let h = 39 + -39. Which is greater: h or 14?
14
Let w = -0.7 + -0.1. Let n = w - -7.8. Let m = -0.6 + 0.5. Is m > n?
False
Suppose -4*o + 4*d - 2*d = 18, -5 = o - d. Suppose 6*r + 6 = 4*r. Which is smaller: r or o?
o
Let s = -164 - -1967/12. Is 0 >= s?
True
Let h = -0.2 + 0.3. Let t = h - 0. Let y be 3*(-2)/9*3. Is y greater than t?
False
Suppose -4*v + 46 = 18. Let w = v - 12. Which is smaller: w or -4?
w
Let i be (2/8)/((-3)/4). Let v = 8 - 7. Let c be (v - 0)*-1*0. Is c bigger than i?
True
Let z be 3 + 2 - (2 + 2). Is z < -0.2?
False
Suppose -b - 20 = 4*j - 0*j, 4*b + j + 20 = 0. Which is smaller: -28/9 or b?
b
Let t be -3*48/40 - 3/(-5). Is t bigger than 2?
False
Suppose 0 = 3*l - l + 16. Let g = 13 + l. Suppose -w + 4*f = 0, 3*f = g*w - 0*f. Is w greater than or equal to -1?
True
Suppose y + 2*y - 9 = 0. Suppose y*v = -9 - 3. Let r be v/(-10) - (-6)/10. Is -1 greater than r?
False
Let a = 0.08 + -0.07. Let t = a - 0.01. Let m = 1/3 + 1/6. Which is bigger: t or m?
m
Let k = -13 - -16. Let l = 7 + -5. Let y = l - k. Which is smaller: 2 or y?
y
Suppose 0 = w - 4*g + 2*g - 9, 3*w = 2*g + 15. Let r(k) = -k**3 - 6*k**2 - 7*k - 7. Let c be r(-5). Let q = w - c. Are 0 and q nonequal?
False
Let f = 145/24 - -5/8. Is f at least 7?
False
Let b = 175/8 - 25. Which is smaller: b or -2?
b
Let s be 8/16*1/3. Which is greater: 3 or s?
3
Let l be -37 - (-4 - (-1)/1). Is l at most -34?
True
Let l be (-4)/(-14) + 63/49 + -1. Let w = -15/2 + 7. Is w <= l?
True
Let q be (-2)/(-6) - (2 + -2). Let v = 1.8 + -1.8. Are v and q equal?
False
Let n(r) = -1 + 4 + 1 + r. Let p be n(-3). Which is greater: p or 1/4?
p
Suppose -z = -3*k + 13, -5*z - 20 = -5*k + 15. Let y = k - 1. Suppose -2*b - 6 = -b + 3*t, -y*b - 5*t = 10. Is -1 less than b?
True
Let